Using Codex and Claude to build a verified SQLite-compatible DB engine
OfirPress · x · 2026-08-18
The author used 100M tokens with Codex and Claude to generate SQLeanite, a verified database engine bidirectionally byte-compatible with SQLite. While it runs 2-10x slower than SQLite, it demonstrates the potential of agents in implementing complex, verified systems.
Related event: AI Writes Lean 4 SQLite-Compatible Database Engine SQLeanite(2 posts)→
More from coding & agent
- Meta open-sources Muse Spark Open agent model with day-0 TPU support in SGLang — BanghuaZ · 2026-10-16
- Saying "load-bearing" in your prompt makes Opus 5.5 stop holding back — zacharynado · 2026-10-16
- You.com partners with Paperclip to give every agent live web access — PolarBearby · 2026-10-16
- I priced every Grok Bot call: $20 to $200 plan in 5 days, long jobs eat 52% — jonathanmalkin · 2026-10-16
- GitHub is criminally underrated as a free data store, devs argue — blelbach · 2026-10-16
- Claude Desktop doesn't support MCP sampling — here's a workaround for two-way MCP apps — wuj · 2026-10-16