Hacker News new | ask | show | jobs
by synack 2606 days ago
Ada/SPARK for anything that modifies a currency value, because safety is worth a few microseconds overhead.