FStar
An ML-like language aimed at program verification
I came up with the stupidest startup possible and got traction (2016)
2022-10-27
Tell HN: Google won't let us get control of our own domain on Google
2022-10-27
Telegram starts auctioning off rare usernames on the blockchain
2022-10-27
Launch HN: MovingLake (YC S22) – Real-time data connectors for almost anything
2022-10-27
Show HN: A Productized Service in the new world of AI and Automation
2022-10-27
Staring Down the Twitterpocalypse
2022-10-27
Ask HN: How did you learn to draw diagrams?
2022-10-27
Set Your Garden Free: Start by Rewilding One Half
2022-10-27
Argo.ai, driverless startup backed by Ford and VW, is shutting down
2022-10-26
YouTube mega-star MrBeast seeks 10-figure valuation
2022-10-26
