FStar
An ML-like language aimed at program verification
How do you have deep, written discussions with your teams?
2020-01-18
Ask HN: What are some of the best written macOS apps?
2020-01-18
Six Mantras for a Technical Startup Co-Founder
2020-01-17
Breakout Startups Pro #5- Repl.it
2020-01-17
7B-Year-Old Stardust Is Oldest Material Found on Earth
2020-01-17
Best Way to Show Home Feed According to User Preference
2020-01-17
Ask HN: How can I continue learning as a solo, remote freelancer?
2020-01-17
Google Acquires Pointy
2020-01-17
KreMLin: A tool for extracting low-level F* programs to readable C code
2020-01-17
Ask HN: More open than open source products
2020-01-17
