Our Lean 4 + mathlib project used to spend 41 minutes in CI on every single PR. Today, the worst case...
Taming a 40-Minute Lean CI: Three Rounds, Three Wrong Suspects
Related
6 Questions Every Enterprise Has to Answer About AI
You've probably sat in this meeting. Someone asks, "so where are we with AI, actually?" — and six...
Taming a 40-Minute Lean CI: Three Rounds, Three Wrong Suspects
Our Lean 4 + mathlib project used to spend 41 minutes in CI on every single PR. Today, the worst case...
Our AI builder said "done" when the output matched a regex
We build Zugo, which turns one written sentence into a running game, site or app. For a while, the...