FStar
An ML-like language aimed at program verification
Data and Intuition: A Hybrid Approach to Developing Product North Star Metrics [pdf]
2021-05-15
Values I'm Starting a Company On
2021-05-15
Ask HN: Where/How to start re-learning math?
2021-05-15
F# Cheat Sheet [pdf]
2021-05-15
In the Search to Stall Aging, Biotech Startups Are Out for Blood
2021-05-15
Show HN: I'm building an equity crowdfunding platform that puts founders first
2021-05-14
Show HN: Email Capture Next.js Starter Using Notion API
2021-05-14
Breathing Through the Rectum Saves Oxygen-Starved Mice and Pigs
2021-05-14
Innovation Method Could Change the World
2021-05-14
Ask HN: How do you promote a bootstrapped niche startup
2021-05-14
