FStar
An ML-like language aimed at program verification
Astronomers solve centuries-old mystery of supernova observed in 1181
2021-09-19
Ask HN: Micro-SaaS
2021-09-19
Bye YouTube, Hello PeerTube (video)
2021-09-19
Ask HN: Any way to get MacBook Pro battery replaced same day?
2021-09-19
Ask HN: How did Google botch messaging/video/hangouts so badly?
2021-09-19
What it looks like when a black hole snacks on a star
2021-09-19
Secondary Sales in VC-backed startups: A Primer for Entrepreneurs (2017)
2021-09-19
2021-09-19. New Volcanic Eruption in Canary Islands, Spain
2021-09-19
Ask HN: How back end engineer building startup should focus on UI?
2021-09-19
The home-sharing startups coming for Airbnb’s throne
2021-09-19
