FStar
An ML-like language aimed at program verification
Ask HN: What Stack for mobile/desktop cross-platform native development in 2021?
2021-10-20
Startup Studios
2021-10-20
Ask HN: How does one start a web app nowadays? (2021)
2021-10-20
The Travelling Telescope helps Kenyan students explore the night sky
2021-10-20
WHO asks South African startup to replicate Moderna's mRNA vaccine
2021-10-20
Retool's org chart and how Retool started off as a fintech
2021-10-20
The Car Shortage Is About to Get a Whole Lot Worse
2021-10-20
Museum Starts OnlyFans Account After Its TikTok Is Banned for Posting Nudes
2021-10-20
What I learned after running my startup while traveling for a year
2021-10-20
How Much Technology Does Your Startup Need Now?
2021-10-20
