Why AI can't build the next Linux: 41M-line kernel and the verification gap
AryHHAry · x · 2026-10-31
Responding to "if AI can build any app, why not the next Windows or Linux?", the author argues the blocker isn't code generation. The Linux kernel is now 41 million lines (Phoronix/cloc, 7.2–7.3 cycle), largely drivers for hardware that's already off the market — 30+ years of human-machine interaction, field-tested, debugged on edge cases big models have never seen, and maintained by people who know what to keep or discard. An OS isn't many lines of code; it's stability under hardware failures, concurrency, security exploits, years of entropy, and millions of dependents. AI today is strong at generation, weak at long-horizon verification.
More from AGI Musings
- Three Mathematicians Join Lex Fridman to Discuss AI Solving Navier-Stokes, Quasi-Riemann — khademinori · 2026-10-31
- 20 years of Linux ops mastery erased: AI agents make server ops zero-barrier — tinyfool · 2026-10-31
- Fashion models looked "unexposed" in OpenAI data — then Glif launched an AI modeling agency — WillRinehart · 2026-10-31
- Domingos: Marketing Is What You Do When Your Product Isn't Better — pmddomingos · 2026-10-31
- UC San Diego launches Center for Principled Agentic Intelligence with $1.25M backing — sethlazar · 2026-10-31
- AI safety researcher warns: everyone starting new orgs may be collectively self-defeating — sethlazar · 2026-10-31