Tech Digest

子どもにスタックベースの言語Forthを教える試みを綴った記事。連結型プログラミングを題材にした教育的なアプローチを紹介する。

OCamlやCompCertで知られる計算機科学者Xavier Leroyが、プログラミング・言語設計・形式検証について語る動画。

Rust製のメール管理コマンドラインツール「Himalaya」v2.0.0のリリース告知。

SQLiteのWAL（Write-Ahead Logging）モードで、短命な読み取り専用接続がロックされうる挙動を解説したTIL記事。

Redis互換のインメモリデータストアValkeyにおける、内部データ構造の実装を掘り下げた解説記事。

証明支援系Leanで実装したDEFLATE圧縮の性能を、Rust実装と比較して論じた記事。

連結型言語ForthとLisp系言語の相互関係を探る技術的な読み物。

C++製のオープンソース輸送シミュレーションゲーム「OpenLoco」のバージョン26.07リリース。

Claude CodeをOpus 5に切り替えた後に応答が散文的で思考が浅く感じる原因を、モデル本体のsystem prompt変更に起因すると分析し、既存のrules設計を見直す対策を示す。

AIコーディングエージェントの速度に任せて人間の理解を後回しにする進め方への警鐘。理解を手放さないことの重要性を論じる。

React習熟度を測る独自ベンチマークで、Opus 5が従来最強だったFable 5を上回りトップに立ったとの検証結果。effortの効果は限定的になると考察する。

Opus 5は放置すると応答が長くなるため簡潔さの指示を基本とし、公式ガイドが「検証して」の指示削除を明言するなど、従来のプロンプト常識が逆効果になる点を解説。

ランサムウェア攻撃を受けたニチレイが約10日で全面復旧できた背景を分析。強固なバックアップ体制と現場の事業継続力が早期復旧を支えたとする。

iRobot破産の一因として、自社特許の光学カメラ方式に固執しLiDAR方式への転換が遅れた点を指摘し、かつての日本の電子産業になぞらえる議論。

デスク上に必要な情報を集約できるSwitchBotの電子ペーパー端末を紹介するガジェットレビュー。

AIツール連携の業界標準MCP（Model Context Protocol）の7月28日版仕様でステートレスな接続が正式化される。GitHub MCPサーバが早くも対応を発表した。

Unity社が次世代版「Unity 7」を発表。ランタイム基盤をMonoから.NET CoreCLRへ移行し、高速化によりプレイモードがほぼ瞬時に起動する。