Blog

• 「あちこち」

  2026-05-07 · 1 min

  ボン大学での出会いと、あちこちで過ごした数週間の振り返り。

• The Autonomy of AI Software Engineering Agents

  2026-04-19 · 5 min

  Autonomous software engineering advances only as fast as cheap, sound verifiers do. A stack of theorems from Rice to Goodhart explains why.