All Code Is Slop (Except Mine) — Lauren Tan, SpaceXSI

11,000 pull requests in one month, with a revert rate around 0.5%. Lauren Tan (poteto) shares how the Grok Bot team at SpaceXSI scales AI coding agents through software architecture, lint rules, automated testing, runtime verification and formal verification with TLA+ and Lean. See how Cursor agents and pstack turn these software engineering foundations into reliable software factories. Speaker info: - https://x.com/poteto - https://github.com/poteto - https://github.com/cursor/plugins/tree/main/pstack Timestamps: 0:00 - Turning slop into gold 2:03 - The trust pyramid and codebase quality 5:00 - Dune and enforceable architecture 6:56 - Replacing comments with lint rules 9:40 - Runtime verification and feature maps 10:50 - Formal verification and UI testing 11:51 - Spending tokens on verification 13:32 - 11,000 PRs and a 0.5% revert rate 15:11 - Foundations before software factories