Hacker News new | ask | show | jobs
by gnarly 3389 days ago
It goes to considerable lengths to discuss formal methods, reasonability, and saner programming languages, yet it doesn't even mention Ada/SPARK? What garbage.