-
Essay
Solving Futbol Like Chess
European futbol optimized what is measurable and converged on a monoculture. On variance, the duel, deep blocks, and the danger of optimizing proxies.
-
Concrete
When the Compiler Is the Oracle
I ran an autoresearch-style loop on a Concrete program. The compiler told an agent where authority, allocation, and proof surface could improve and confirmed when those properties changed. No profiler, no benchmark noise. Your compiler can answer questions instead of saying pass/fail.