LATEST ENTRY
計算量の調査を手伝う静的解析ツールnayutaを作った
コーディングエージェントとの性能改善で調査の手がかりを得るため、Rustコードのループから計算量が増えやすい箇所を探すnayutaを作った。
記事を読むWEBLOG / PERSONAL ARCHIVE
Blog
写真、山、ソフトウェア、日々のメモを記録しています。
タグから探すALL ENTRIES
230 posts人間は文章でシステムを理解しているのか？ という疑問からRuykaを作った
コードの変更を文章と差分だけで理解する回りくどさを減らすため、GitHubのPull Requestを図が主役の解説ページに変換するClaude Codeスキル、Ruykaを作った。
蒜山高原マラソンを走ってきた
蒜山高原マラソンの10kmを走ってきた。今年は坂が少なく、下蒜山を眺めながら約50分でゴール。温泉に入って、ジンギスカンとデザートも食べた。
ペガサスプラス2を買って走ってみた
ボメロプラスを3足ほど履いたあと、ペガサスプラス2を買って8.54km走った。反発力、接地感、脚への負担とサイズ感を比べてみた。
今更Spectreをちゃんと理解したら、SharedArrayBufferが思っていた方向と違うまずさだった
SharedArrayBufferの制限がSpectre対策なのは知っていたが、低レイヤーAPIがメモリ周りで悪さをするのだろうと漠然と思っていた。投機実行とキャッシュの痕跡、共有メモリで作る時計から、Site Isolation、COOP・COEP、WindowProxyとRealmまで順に調べた。
Sarashina Translate APIでブログの技術記事を英語にしてみた
Sarashina Translate APIを使って、2026年の技術記事51本に英語版を作った。長文の分割、Markdownとコードの保護、翻訳後に見つかったリンクの欠落やHugoのビルドエラー、公開までの確認を記録する。
OmoikaneのDOMと例外通知を実装したら、コピーとGCの寿命まで調べることになった
OmoikaneのPR #1322で追加したDOM操作、HTML解析とSanitizer、例外・Promise rejection通知を詳解する。Rust製JavaScript EngineのBoaのPromise.finallyで起きたGC寿命不備、iframe遷移と文書の所有、コピー削減、局所計測と最終CI、残る課題まで追う。
Izanagiの行動分析にJevを組み込む
自作のサンドボックスIzanagiにJevを使った行動分析を追加した。資格情報へのアクセス試行とHTTP POSTの相関、外部へ送る特徴量、Choice応答の検証、棄権と障害の扱い、実モデルとQEMUでの検証結果を説明する。
Izanagiでできること
自作の開発用サンドボックスIzanagiでできることを説明する。コマンドの隔離実行、syscallの記録と検知、DNS・HTTPSの通信制御、シークレット置換、MCPからの操作を、現行実装と検証記録に沿って説明する。