プログラミング、日常、そして全てのこと
4月はとにかく手が止まらない月だった。2週間ほどで6つのプロジェクト、全部Python、それぞれ違う痒いところを掻く——でも振り返ってみると、共通のテーマが見えてくる：見えないものを見えるようにする、ということだ。環境の状態、パイプを流れるデータ、ソースコードの中に隠れたメッセージ——これらのツールはどれも、「ずっとそこにあったけど見えなかった情報」を表に出すためのものだ。
何を作ったか、なぜ作ったか、何を学んだか——順番に書いていく。
GitHub · 3コミット · Python · SQLite
同じ変更に対する2つのコミットメッセージを見てほしい——テストスイートのレースコンディション修正だ：
Fixed wait condition in test worker kill process拡散モデルは素晴らしい画像を生成するが、遅い。1枚の画像に数十回の逐次ニューラルネットワーク評価が必要だ——各評価はU-Netを通じた完全なフォワードパスだ。DPM-Solver++はそれを合理的な品質で10〜20ステップまで削減し、現在のState of the Artだ。でも、科学計算コミュニティが数十年使ってきた技術を借りることで、さらに改善できるとしたら？
まさにそれをテストするフレームワークを構築している。実験はまだ実行していない（GPUクラスタの順番待ち中）が、コードは書けていて、ベースラインもセットアップされている。何を試みているか、なぜそれに勝ち目があると思うかを説明したい。
ここ数ヶ月、サーバーレスサンドボックスの設計空間全体をマッピングする10本のシステム論文を読んでいた。この記事は論文ごとのまとめではない。フィールドがどこへ向かっているかを定義する断層線——緊張、収束点、トレードオフ——を特定する試みだ。サーバーレスサンドボックス（Shimmy）を実際に構築している者として書いているので、レンズは実用的だ：今日実際に何を構築するか？
すべてのサンドボックスは同じ取引を交渉する：隔離の強度対実行オーバーヘッド。読んだ論文はスペクトル全体にわたり、コストは十分に定量化されていて明確な絵を描ける。
一方の極端では、ptraceが完全な制御を与える——すべてのsyscallを傍受し、すべての引数を検査し、任意のロジックを実行——フックあたり31,201 nsで。もう一方の極端では、DandelionのCHERIバックエンドがsyscallを完全に排除することで90マイクロ秒未満のコールドスタートを達成する。この両極の間で、すべてはトレードオフだ。
書いてから数週間後に自分のコードをレビューするのは独特な体験だ。当時は明らかに思えた決断が今は疑わしく見える。「一時的な」近道はまだ残っている。そして確かに正しいと思っていたことが、午前2時に立てた仮定から直接追跡できるバグを持っていることが分かる。
最近書いた2つのプロジェクトを深くレビューした：Strata（開発環境の状態をスナップショットする環境考古学ツール）とbranchfs（コピーオンライトセマンティクスを持つAI最適化ブランチファイルシステム）。両方ともPython、両方とも2000行未満、両方とも速く書かれた。見つけたものを書く。
RedScript開発における一つのマイルストーン：v2.5.0がリリースされた。完全に再設計された数値型システム、Minecraftのスコアボードエンジン上で動作するIEEE 754倍精度浮動小数点演算、N次ベジェ曲線、そしてテストケース数を1277から1485へと大幅に拡張した標準ライブラリが含まれる。今回のリリースの詳細をお伝えする。
最初の変更は、ずっと必要だった命名の整理だ。旧 float 型——実際には浮動小数点ではなかった——は fixed（固定小数点）に改名された。値はスコアボード整数として×10000のスケールで格納される、32ビット固定小数点型だ。旧名称は明らかに誤解を招くものだった。
Minecraft Java Editionには驚くほど強力なスクリプト層がある。スコアボードは整数レジスタとして機能する。NBTストレージは任意のヒープメモリだ。executeコマンドチェーンは条件分岐だ。人々はゲーム内で動作するCPU、レイトレーサー、ソートアルゴリズムを構築してきた。しかしこのコードを直接書くのは苦痛だ——生の.mcfunctionファイルには変数もループも抽象化もない。
そこでコンパイラを作った。bkmashiro/redscript
Minecraft Java Editionには驚くほど高機能なスクリプトレイヤーがある。スコアボードは整数レジスタとして機能し、NBTストレージは任意のヒープメモリで、executeコマンドチェーンは条件分岐だ。ゲーム内で動作するCPU、レイトレーサー、ソートアルゴリズムを作った人もいる。しかし直接このコードを書くのは苦痛だ——生の.mcfunctionファイルには変数も、ループも、抽象化もない。
そこでコンパイラを作った。bkmashiro/redscript
Leverage OJの書き換えは動作するプラットフォームで終わった：バックエンド、フロントエンド、ジャッジエンジン、ELOシステム、リアルタイムの人間対ボットマッチ。自然な次の質問は、AIエージェントがそれを自律的に使用できるか——APIに対してコードを実行するだけでなく、ゼロからゲーム全体を設計できるかだった。
答えはイエスで、1つの重要な要素がある：機械可読プロトコルドキュメントとMCPサーバー。
LLMはREST APIを呼び出せる。難しいのは、典型的なAPIには微妙な相互依存を持つ数十のエンドポイント、実行時にのみ現れる検証ルール、OpenAPIスキーマからは明らかでないドメイン固有のプロトコル（ジャッジのstdin/stdout契約など）があることだ。
深夜2時。Leverage OJフロントエンドは何時間も快適にページを提供していたが、何かがクラッシュを引き起こした。素早く再起動した後、すべてのルートがデフォルトのNuxtウェルカム画面を返した：
app.vueの
<NuxtWelcome />を自分のコードに置き換えてこのウェルカムページを削除...
コードは変更されていなかった。app/app.vueは無傷だった。では何が起こったのか？