Individuals will always outpace institutions on adopting AI-rewritten secure stacks

jd_pressman · x · 2026-10-24

In a discussion with MIRI's Anna Salamon, jdpressman argues that even if code cost dropped to zero and an unhackable software stack existed tomorrow, many institutions still wouldn't migrate on a reasonable timeline — where "reasonable" against AI-driven vulnerabilities might mean days.

His core point is the individual-vs-organization speed gap: a person can vibe-code a verified Apache server and host their site from it immediately, while a bank IT admin's proposal would take six months just to reach management. Institutional friction sets the ceiling on how fast secure stacks get adopted.

Related event: $50 in DeepSeek tokens replaces Apache2 with formally verified Verus Rust(4 posts)→

Original post →

More from AGI Musings

AGI Musings channel →