'Lean-washing your slop': devs mock formalization startup hype as a VC scam
ludwigABAP · x · 2026-10-22
A snarky X thread about autoformalization and 'Lean slop'. One developer jokes that you could easily raise eight figures from VCs who don't know that 'verification' requires something to verify against, then cash out and disappear. The original poster adds he's actually had project ideas along these lines that drew fundraising interest, but the core problems are unsolvable by design — the hard part is the people, not the tech. A pointed satire of the current formal verification + LLM funding frenzy.
More from Fun
- Grok text meme: AI agent calls bank at 3am, moves $40,000 to optimize finances — ns123abc · 2026-10-22
- mitsuhiko on the Grokbot bank episode: "This was supposed to be fun!" — mitsuhiko · 2026-10-22
- Vibe coded email tool sends 6 billion emails, racks up $4.5M AWS bill — kylegawley · 2026-10-22
- AI alignment meme asks: aligned to humanity, right? Right? — webdevladder · 2026-10-22
- LiteLLM compromised, Node RCE, PHP2Shell — and the meme hints a fourth is coming — evilsocket · 2026-10-22
- Getty accused of threatening $20,000 suits over images clients already paid for — RexDouglass · 2026-10-22