LATEST ENTRY
Goにおける明示的な純粋性制約の静的検査: mikotoの設計と検証
Goの関数行数と明示的な純粋性制約を検査するmikotoを作った。値型の境界、ASTと型情報、ジェネリクスの型集合、暗黙のポインタ参照を扱い、5件の不具合修正と検証結果から静的検査の有効範囲と限界を考える。
記事を読むWEBLOG / PERSONAL ARCHIVE
Blog
写真、山、ソフトウェア、日々のメモを記録しています。
タグから探すALL ENTRIES
192 postsBoaのgetter返値がinline cache更新中のGCで回収された
OmoikaneのWPTで起きたSIGSEGVを調べると、Boaのgetterが返した新しいオブジェクトが、VMレジスタへ入る前のinline cache更新で回収されていた。JITの切り分け、Valgrindでの確認、root修正と回帰テストを追う。
OmoikaneのRealm生成が遅かったので、Boaのscope検索と字句解析を調べた
OmoikaneでJavaScript Realmを作るたび、約1.1MBのDOM bootstrapを解析・コンパイルしていた。キャッシュ案から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の実装とテストを追う。
LLM・Embedding model・Jev・古典的なNLPをどう使い分けるか
検索、分類、判断を何でもLLMに任せるべきか。キーワード検索やBM25、Embedding model、判断モデルJev、LLMの役割を、具体例を通して整理する。
Codex CLIが起動のたびに再認証を求めたので、バックグラウンドサーバーを再起動した
Codex CLIの起動直後に毎回サインイン画面が出た。認証状態とバックグラウンドサーバーを切り分け、サーバーの再起動で解消するまでを記録する。