FStar
An ML-like language aimed at program verification
“Someone tried to kidnap me” – A founder interview about starting over
2022-07-29
Applying the hacker / engineering mindset to Spirituality
2022-07-29
Stargate A.I Highlight Reel
2022-07-28
Technical Evaluation of a Startup
2022-07-28
My biggest mistake as a startup founder
2022-07-28
Show HN: Equities.fyi – Startup valuations based on public company data
2022-07-28
The World Needs to Start Planning for the Fire Age
2022-07-28
The Strong Dollar Is Wreaking Havoc Globally – and It’s Just Getting Started
2022-07-28
Ask HN: MBA if I want to run a business one day?
2022-07-28
Show HN: Parsnip – “Duolingo for Cooking”
2022-07-28
