Hacker News new | ask | show | jobs
by canyp 204 days ago
Great website, massive rabbit hole I didn't know existed. There's a verified Ada/SPARK OS in there...