FStar
An ML-like language aimed at program verification
Twitter to start removing tweets containing fake news about Covid-19
2020-04-24
Online collaborative whiteboard startup Miro raises $50M
2020-04-24
Can Starlink and astronomy happily coexist?
2020-04-24
Security startup Randori raises $20M to help enterprises hack themselves
2020-04-24
Covid-19 hackathon concluded in Namibia
2020-04-24
Darkstar: A Xerox Star Emulator – Engblg
2020-04-24
Results of coronavirus serosurveys are being released. How to kick their tires
2020-04-24
Ask HN: Alternatives to YouTube?
2020-04-24
The “Star Wars” Collection
2020-04-24
How a New Medical Device Startup Is Navigating the Covid-19 Shutdown
2020-04-24
