WEBLOG / PERSONAL ARCHIVE
Blog
写真、山、ソフトウェア、日々のメモを記録しています。
タグから探すALL ENTRIES
219 posts北海道で仕事の日
北海道でリモートワークをした10月5日の記録。昼は千歳でラーメンと巨大なザンギ。夜はお土産を買いに新千歳空港へ行き、ジンギスカンを食べて小樽に戻りました。
札幌マラソンの日
札幌マラソンのハーフを走った一日の記録。朝の会場での世間話、18kmからの失速、走り終わってからの小樽散歩を写真とともに振り返ります。
小樽で過ごすマラソン前日
札幌マラソン前日は小樽と余市へ。ウイスキーを買い、石と鉄さんで昼食をとり、おたる水族館や神社を巡った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での実測を記録する。