FStar
An ML-like language aimed at program verification
What Happens When You Smoke Marijuana, According to the Washington Post in 1905
2019-04-21
What Startups Can Learn from Old Video Games – Quake, Diablo, Starcraft etc.
2019-04-19
Deep Lessons from Our First Image of a Black Hole’s Event Horizon
2019-04-19
Apple owes everyone an apology and it should start with me, specifically
2019-04-19
Why Selling for $20M Can Be Better Than $200M (2014)
2019-04-19
The Cataclysmic Break That (Maybe) Occurred in 1950
2019-04-19
The Case Against Email Sign in for Startups
2019-04-19
Fable REPL
2019-04-18
South Korea Constitutional Court Overturns Abortion Ban
2019-04-18
Salesforce is buying MapAnything, a startup that raised over $84M
2019-04-17
