Hacker News new | ask | show | jobs
by pjmlp 383 days ago
Ada/SPARK, with better ergonomics than Rust, but its use will stay niche in high integrity computing.