“We should be more ambitious with the software we build”

kept by eddie oct 26

The article argues that developers should leverage AI to tackle more ambitious software projects instead of settling for minor improvements.

AI will make formal verification go mainstream
Formal verification will become mainstream as AI coding agents leverage proof systems like Lean for validation, according to a Hacker News discussion.
also on Kani, Lean, #rust, #ai-coding, #software-engineering
There's no reason for software to be slow anymore
AI dramatically reduces the cost of software optimization, enabling workload-specific performance gains that were previously too expensive to pursue.
also on Dan Luu, pgrust, #ai-coding
Nobody knows how large software products work
Large software products are so complex and rapidly changing that even engineers often cannot answer basic questions about them without investigative research.
also on Dan Luu, #software-engineering
JIT Compiling Code in 5μs - malisper.me
The article demonstrates a Rust copy‑and‑patch JIT compiler that compiles regexes in ~5µs, matching handwritten speed and enabling per‑query JIT in databases.
also on pgrust, #rust, #software-engineering
You can just choose how many bugs you want now
AI coding makes bug discovery cheap, letting teams decide how many bugs to tolerate, while fixing them remains costly and complex.
also on pgrust, #ai-coding, #software-engineering