WEBLOG / PERSONAL ARCHIVE
Blog
写真、山、ソフトウェア、日々のメモを記録しています。
タグから探すALL ENTRIES
194 posts文章を作るわけじゃない。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テストを受け入れ条件として先に置く開発方法を考える。
日本の電話番号判定ライブラリを久しぶりに更新した
2018年に作ったGoの電話番号判定ライブラリgo-tel-num-parser-jpを更新した。060や0200などの番号区分に加え、部分一致による誤判定も修正した。
URLのフラグメントがCSSの:targetになるまでをOmoikaneで追う
URLの#fragmentがどの要素を指し、CSSの:targetやquerySelectorの結果へどう反映されるのか。HTMLとSelectorsの仕様を手掛かりに、Omoikaneの実装とテストを追う。