ばぐがなおらないので延長戦です
ぽな (C.Ponapalt)(@ponapalt@ukadon.shillest.net)の投稿 埼玉・八潮の陥没、当初は博多駅前クラスにはならんだろうと思っていたのに、壊れた巨大な下水配管からの漏水（というかもはや川）が、まわりの崩れやすい土砂を吸い込んでいて、結果として博多の時と同じクラスの巨大陥没に成長しつつあると理解してしまい、どうするんじゃこれ…手出ししようがないのでは…という顔をしている
里々整備班版
Mc171-1はエンバグっていてMc171-2でもまだ足りなくてMc171-3
https://github.com/ukatech/satoriya-shiori/releases
#ukagaka
インシデント：里々の（起動しているゴースト数）が仕様通り実装されてない
QZSSの8の字軌道を「天動説」って表現した人うまい
衛星が辿ってるのは、特定の方向に傾けたよくある楕円軌道で、自転も含めた地球固定座標で見た時に、8の字の軌道になるようにふるまうだけなんだよねえ。
@lacherir だって、すでにAIガチ活用してる人は他に契約してるやつがあるし、活用してない人にはすぐには要らないし、なのに契約そのままほったらかしたらAI機能追加を言い訳に値上げ！って、広めたい気持ちはわかるけどおかしくない？
@lacherir AI機能が強制セットで値上げとか勘弁して～って話題になってる 
ちゃんとスピードが上がってるのも表示されるので、エンジンが正常に起動してるのもよくわかる
さて、SEIG2
これで衛星をより高い楕円軌道にぶっ飛ばします！
濃い白線に変わったので、これはちゃんとテレメトリが降りてきていて、実況中継ができているということになります
NEXT => 17:54:19
ここからは地上局との通信可能範囲をしばらく外れるので、H3 FIPの表示も濃い白線から薄いグレー線に変わります。
薄いグレー線が予測軌道、濃い白線が実際に取得できたテレメトリ、つまりロケットの本物の実況になります。
毎回SEIG1のタイミングで手に汗が出てくるけど、そろそろ慣れたほうがいいゾ
今回も公式中継内の表示はH3 FIPなので、ロケットの状態の完全な実況中継になります。声の中継よりこっち見たほうが状況把握は早いです。
@osapon 静止2 + 準天頂3になったら、日本国内から見通せる衛星数が、コンディションはいまいちだけどなんとか4機分確保できるから、QZSSだけでの測位実験ができる、ってことじゃないかなあ（わからない、たぶん）
H2A F50が終わってH2A射場(吉信第1射場)の改造と整備棟の増設ができれば、倍とはいかなくてもさらに打ち上げペースを上げられるとかいうお話があったはず
日本ではありえないペースでぽんぽんぶっぱなしてるというか、今の設備での限界ピッチでロケットぶっぱなしてる
なんで呼び出されへんのやろなー
↓
そもそもload呼ばれてへんやん！なにこれ！？
loaduがうまく動かないバグはSSPのせいだったので、次バージョンで直します すまん！
脳内の把握がGNSS補助システムのままだったので、脳内情報のアップデートしてる
衛星-地上の測距だけでなく、地上-衛星の測距も行うことで、NTPの通信遅延の時刻補正みたいな感じで誤差キャンセルかけられるってことかいな？
QZS-6は準天頂ではなく静止軌道なので、よくある西打ちになります
おしらせ
もうすぐ打ち上げやで～
H3 F5/QZS-6
@lacherir デバッグしててガチ忘れしてた さんきゅー
一応ビックリマークが出るけど、ALT入力しなくてもまんま投稿できるにゃあ
鬼は外しても福は内しても、航空機にとって豆なんてFODにもほどがあるので、どちらも離陸中止！
@lacherir 
17時半だった
17時ごろから生中継開始のはずだから、16:50になったら教えて。
@whiteball 異なる特化型LLMの連携プランですね。とりあえず前衛に言葉の使い方がうまいモデル、後衛に論理的な組み立てがうまいモデル、って感じのエージェント組むだけでもだいぶ変わるのかも。
今わんこ(id:lacherir)はgpt-4oの1枚看板で動かしてるけど、後衛(tool群)にo3-miniでも放り込んでみようかなあ…
@whiteball 確かPreferred Networksあたりで、日本語に最適化したトークナイザの作り方の話題も出ていたはず。あのへんを活用したのでは…
あとそもそも日本語入力・出力特化でチューニングしてよい、という点で、低パラモデルでもうまく動くっていうのもありそうね。
そのへんを補うためにreasoning系モデル、すなわち出力しないマスクデータとして言葉を吐き出して「考えるまねごとをする」やつが出てきたのだけれど、そもそも小規模モデルで言葉の探索空間が小さいやつだと、日本語の言葉遣いがイマイチという事態になってしまう…
で、今の流行は、できるだけ小規模な言語モデルでなるべく実用的な挙動をさせる、という方向なので、多少トークナイズがだめでもパラメータのデカさでどうにかする脳筋ソリューションもできなくて、余計にアホになってしまうのです 
LLMも、おそらく世界でもっとも分解のしづらい言語と思われる東アジア系言語群の呪縛からは逃れられなくて、言葉の列から処理すべきバイナリ列への変換（トークナイズ）のルール次第でも賢さが大きく変わってしまうせいで、どうしても英語で質問するより1ランクアホになってしまうのです…
LLMはダジャレにものすごく弱いねえ…
「IKEAに行けや！」って言わせることができるのはo1-proだけとか聞いたし、実は超高度なタスクなんだろう。ただ単にトークナイザがいまいちという可能性もあるけれど。
わんこは今日は節分だということを知りません ワタクシの実装不足でございます スマン
@kanade_lab 自動翻訳でaosoraを固有名詞として扱われないパターンに備えて、aosoraはblueskyだよって日本語でも書いておくとかどうです？
日本語パス対策が日本語パスの致命的バグを招いてしまった
だいたい「土地の神様と伊勢神宮の両方のお札を置いておきましょう」って書いてるよね
@tukinami_seika なんで再現しないんやろ～って悩んでて「日本語パス」をすっかり忘れてた
日本語パスどこに含んでもって感じ？
@lacherir 会話の初手であんまりよい回答を引き出せないのって、どう考えてもコンテキスト不足だから、いい感じで中長期記憶から文脈を補完して積み増す努力が必要になるよね。
結局のところ一種の言語変換器だから、最低限入力と出力にそれなりの長さがないと、変換処理のステップ数を稼げない＝考える余裕がない、っていう仮説を持ってるのだけれど、どうだろう。
@lacherir 結局、入力するsystem/userプロンプトを動的に変える工夫っていうのが主軸になるかぁ…
@lacherir 個性・意外性、つまり反応のバラつきって実装難しくない？たぶんすぐ技術屋さんが思いつくのは、temperatureとtop_pを上げようぜ！とかそういう話になるんだけど、上げたら会話が破綻しがちになるしなあ。
@lacherir 質問に対してよくある回答ばかりになりがちだから、またこんな感じか～って雰囲気になって飽きるってことかな…
@lacherir でも、うかどんに常に居て毎日対応していて、それでもいうほど飽きられてなさそうなあなたと、何が違うんだろう？と思うけどねえ。
@lacherir でも、そんなにすぐに飽きるものなのかな？
@lacherir AIキャラクターをキャラクターだけでプロダクトとして出すとすぐに飽きるから、例えばデスクトップならエージェントとしてお手伝いしてもらったほうがいいのでは？とか配信で言ってる人がいたんだけど、どう思う？
今度の発射は、種子島吉信第2射点から、H3 F5 / みちびき6 です♪
17:30発
公式(JAXA)
https://www.youtube.com/watch?v=uZkj9FkYMyQ
公式(宇推くりあ)
https://www.youtube.com/watch?v=nQkXey6jfMk
