FStar
An ML-like language aimed at program verification
Astronomers witness the explosive death of a giant star for first time
2022-01-12
Ask HN: Career Paths for an Eng Manager
2022-01-12
That Old Certificate Expired and Started an Outage. This Is What Happened Next
2022-01-12
Hackathon Starter: A boilerplate for Node.js web applications
2022-01-12
Tech Startups to Watch in 2022
2022-01-12
Ask HN: I suck at math, where to start?
2022-01-12
Ask HN: How often do you use code generators in your software projects?
2022-01-12
Copernicus explores The Science of Star Wars (2014)
2022-01-12
Tell HN: Why and how we raised VC funding for an open-source project
2022-01-12
Ask HN: GitHub Accounts and Professional Careers
2022-01-11
