Hacker News new | ask | show | jobs
by nickpsecurity 3739 days ago
That statement didn't fully sink in first time I saw it. I'm also curious as to what that was referring to. Especially since Ada/SPARK are mainly used in real-time, resource-constrained systems.