$50 in DeepSeek tokens replaces Apache2 with formally verified Verus Rust
jd_pressman · x · 2026-10-24
jdpressman offers an optimistic data point in an AI safety debate: code is now so cheap that painful compromises may be unnecessary. He is replacing the Apache2 web server with formally verified Verus Rust for about $50 in DeepSeek 4.1 flash tokens, suggesting rewrite-the-insecure-thing becomes viable when cost approaches zero.
More from coding & agent
- AI security workflow: repo scanner plus log-reading bot triaging vulnerability PRs daily — saranormous · 2026-10-24
- Having agents bring recommendations with items needing your input, 'I've reinvented Management' — josh_wills · 2026-10-24
- Agents made screwing around so cheap that 'finding out' stopped being exciting, dev says — zack_overflow · 2026-10-24
- Dev gives up on Google's Argon coding model, makes it write an apology handoff prompt — lowiqdoctor · 2026-10-24
- Building a patient-triage AI agent: handoff and compliance logs are harder than LLM reasoning — Frid-267 · 2026-10-24
- Codex is now fully usable inside the ChatGPT iOS app — dkundel · 2026-10-24