FStar
An ML-like language aimed at program verification
The pitch deck we used to raise our seed round in Korea, as a global startup
2021-04-28
So you want to tax the rich? OK, let's start with Harvard
2021-04-28
Ask HN: Career paths going to college: cybersec, CS+cybersec, or something else
2021-04-27
Help me get users for my finished MVP and change the world
2021-04-27
It’s Time to Knock the Toilet Off Its Pedestal
2021-04-27
Ask HN: How to validate a product-market fit initially?
2021-04-27
Coronavirus vaccines, Intellectual property, currency value and Bill Gates
2021-04-27
"5-star" rating attack on Electrum Bitcoin wallet Android app
2021-04-27
The Startup Maturity Framework (2014)
2021-04-27
And the Most Sexist Invention Award Goes to This German Startup
2021-04-27
