Neumann looked at the code behind GenDB-V, a research system that has agents synthesize formally verified database engines. He says its paper reports speedups of 22 to 61 times over Umbra and DuckDB on TPC-H.
In the News: November 11, 2026 (Extra)
Thomas Neumann shows how agents tuning a verified database engine overfit TPC-H, and the paper's author concedes the performance claims went too far.
Extra edition
Machine-readable
Download Markdown
Story
Agents tuning a verified database engine learned the benchmark's data generator
Read story →
Story
Atuin adds synced, searchable history for agent sessions
Atuin, a shell history tool, now records agent sessions as well. Starting with Atuin 18.24, Huxtable writes, you can search agent sessions across machines, resume them anywhere, or fork one into a different harness: start in Claude Code…