Dev argues Rust rewrite of Apache2 with Verus spec beats running C code in expectation
jd_pressman · x · 2026-10-24
Developer jdpressman laid out the security logic behind rewriting Apache2 in Rust: the rewrite doesn't need to be perfect, just better in expectation than continuing to run the C-based apache2 — and a Rust implementation with a Verus spec that has undergone adversarial pressure probably is. He plans to have other models perform adversarial review, though he worries about getting cyber-filtered without Daybreak access.
More from coding & agent
- Dev experiments with autoencoders over functions; low-dim search may be key to local FunSearch — cephaloform · 2026-10-24
- Agent with SSH access successfully upgrades an ancient PHP 5.6 server end-to-end — DanielLockyer · 2026-10-24
- DeepMind researcher demos a playable 3D racing game built right on her desk — thursdai_pod · 2026-10-24
- Cut LLM costs: route requests, disable thinking, cache answers, escalate only on low confidence — colinmcnamara · 2026-10-24
- NVIDIA's OpenShell: Apache-2.0 runtime sandbox for autonomous agent fleets, 18.6k stars — petrusenko_max · 2026-10-24
- Claude Code Routines runs overnight, screens 380 clinics into 30 outreach drafts — Arindam_1729 · 2026-10-24