Hacker News new | ask | show | jobs
by timbit42 482 days ago
ADA and SPARK are used in writing air traffic control systems. I find that impressive.