FStar
An ML-like language aimed at program verification
Launch HN: Curvenote (YC W21) – Collaborative writing tools for science
2021-05-24
Show HN: An Anti-StackOverflow. A place to ask broad questions on how to start
2021-05-24
Ask HN: How to Find Customers (SaaS)?
2021-05-23
For soccer players, the less brain they use, the better for penalty kicks
2021-05-23
Salesforce outage: Global DNS downfall started by an engineer trying a quick fix
2021-05-23
Ask HN: What career would you try if you could start over again?
2021-05-23
I've bought 6 VC-funded startups with my own money
2021-05-22
The Typical Unicorn Founder Started Their Business at 34
2021-05-22
The Lack of Options for (Startup Employees’) Options [2016]
2021-05-22
Show HN: iOS app to help me hit my daily step goals
2021-05-22
