Building an Unverified Compiler with Agents
Four agents spent 14 days and 93,000 lines of Lean building a verified JS-to-WASM compiler from scratch. The compiler ran; the proofs didn’t close.
People
Jack Feser
Research Scientist
Jack Feser is a research scientist at Basis. He was previously an assistant professor of computer science at Hamilton College and completed his Ph.D. at MIT with Armando Solar-Lezama. His research interests are in programming languages and automated programming, particularly as applied to relational databases.
Articles
Basis essays and updates this person wrote or contributed to.