Why LLM-driven software rewrites hit a wall: kernel breaks compat, compat blocks provability

jd_pressman · x · 2026-10-23

jdpressman discusses with lusichu the practical difficulty of LLM-assisted code hardening: application software is nearly disposable, so a 'toothpicks and tweezers' approach there is insane, and dependencies remain in C, limiting protection. Starting from the kernel breaks downstream compatibility for all other software; insisting on compatibility forces hard-to-prove programming patterns. His takeaway: only by actually doing it with an LLM can you see the real difficulty.

Related event: jd_pressman: Formal verification stalled on labor costs, not complexity—LLMs may change that(7 posts)→

Original post →

More from coding & agent

coding & agent channel →