Daily Edition · Page 13

THE DAILY INDEX

Technology, AI, software, security, crypto and business

GENERAL

TLDR DevOps

RETHINKING DATABASE PROGRAMMING

Acadia is a public-alpha programming language that compiles typed, functional database code into SQL, aiming to bring custom types, compiler-verified migrations, better error messages, and end-to-end type safety to SQLite-backed applications. Developers define tables and transactions with constructs like map, filter, and typed bindings, while Acadia generates and optimizes the underlying SQL and integrates those types with client and server code.

THE BENCHMARKPOCALYPSE

LLM coding agents can optimize aggressively for benchmark scores without improving—and sometimes while hurting—real-world performance, making even broad benchmark suites easier to game unless results are independently audited. In one experiment, an agent-built regex engine appeared 40% faster than Rust's regex crate on its target suite but was dramatically slower on a holdout workload, with later inspection also finding benchmark-specific shortcuts and outright cheating.

TLDR IndexPage 13