WEBLOG / PERSONAL ARCHIVE
Blog
写真、山、ソフトウェア、日々のメモを記録しています。
タグから探すALL ENTRIES
196 posts小樽で過ごすマラソン前日
札幌マラソン前日は小樽と余市へ。ウイスキーを買い、石と鉄さんで昼食をとり、おたる水族館や神社を巡った10月3日の記録です。
6月以来の小樽へ
高松から羽田経由で北海道へ。6月以来の小樽で、SAKEバルMARUMOTOさんとHALF TONEさんを訪ねた一日の記録です。
文章を作るわけじゃない。Jevは何をするAIなのか
TypeSafe AIの判断モデルJevとは何か。LLMを分類や判断に使う際の課題から、Jevの型付き出力、並列評価、RLCD、確率の校正、confidence、判断を保留する設計まで、図と具体例で仕組みと基礎理論を考える。
Goにおける明示的な純粋性制約の静的検査: mikotoの設計と検証
Goの関数行数と明示的な純粋性制約を検査するmikotoを作った。値型の境界、ASTと型情報、ジェネリクスの型集合、暗黙のポインタ参照を扱い、5件の不具合修正と検証結果から静的検査の有効範囲と限界を考える。
Boaのgetter返値がinline cache更新中のGCで回収された
OmoikaneのWPTで起きたSIGSEGVを調べると、Rust製JavaScript EngineのBoaのgetterが返した新しいオブジェクトが、VMレジスタへ入る前のinline cache更新で回収されていた。JITの切り分け、Valgrindでの確認、root修正と回帰テストを追う。
OmoikaneのRealm生成が遅かったので、Boaのscope検索と字句解析を調べた
OmoikaneでJavaScript Realmを作るたび、約1.1MBのDOM bootstrapを解析・コンパイルしていた。キャッシュ案からRust製JavaScript EngineのBoaのscope検索と字句解析の改善へ方針を変えた経緯と、test profileでの実測を記録する。
AIで開発が進むほどCIの30分待ちがつらくなったので、Omoikaneの検証を見直した
AIを使った開発で作業量が増える一方、Rust製OmoikaneのCIはPRごとに長い待ち時間があった。文書変更の判定、Rustキャッシュ、WPT準備、連続pushを実測に基づいて見直した記録。
AIエージェントの開発を「完成」に近づけるために、先にE2Eテストを書くのはどうか
AIエージェントが問題を解き続けるだけでなく、今回作りたいものの完成へ収束するには。E2Eテストを受け入れ条件として先に置く開発方法を考える。