Hacker News new | ask | show | jobs
by gilcot 974 days ago
Ada/SPARK is already popular in safety critical systems