October 12, 2026 「同じDBをローカルSSDに載せ替えたら9倍高速化した」:ボトルネックはCPUではなくネットワーク越しのクラウドストレージだった データベースクラウドコンピューティングストレージ性能システムアーキテクチャ
July 4, 2026 「16年、数十億人が使って見つけられなかったバグを、数学は20ステップで発見した」——SQLiteのWALに潜んだ競合状態をTLA+が暴く SQLiteTLA+形式的検証WAL