FStar
An ML-like language aimed at program verification
Founders helping founders nail their startup pitches and launch their products
2020-09-22
Advice on Starting Out
2020-09-22
Ask HN: What tools do you use to improve your product?
2020-09-22
Load Testing APIs and Websites with Gatling: It’s Never Too Late to Get Started
2020-09-22
TikTok U.S. fiasco is a classic case of 'Rome Fire Fighting Brigade'
2020-09-22
Ultra-Secret Battery Startup Hints That It’s Blown Past Tesla
2020-09-22
Starloop
2020-09-22
Just hit 300 cofounder listings – find your startup cofounder, or side-hustle
2020-09-22
Get more leads by applying optins to your website
2020-09-22
Notes Essays–Peter Thiel’s CS183 [pdf]
2020-09-22
