Near-zero code costs won't fix security as institutions lag

jdpressman argues that with $50 of tokens he can rewrite Apache2 into formally verified Verus Rust, but cautions that most institutions won't migrate their software stacks even as code costs approach zero, recalling how Flash-era insecure defaults were eventually torn down.

2026-10-24 ~ 2026-10-24 · 4 related posts