FStar
An ML-like language aimed at program verification
Ask HN: Story of switching from a programmer job to own business/startup
2020-11-29
Survey for my fellow SaaS startups
2020-11-29
The Truth About Starting a Startup
2020-11-28
Ask HN: How hard will porting and compiling for the M1?
2020-11-28
Stripe, Netflix, Spotify, Slack, and Airbnb got their first customers
2020-11-28
A True Google Mess
2020-11-28
Ask HN: Anyone else feeling more fatigue lately? Thoughts on fuzzy Covid states
2020-11-28
SpaceX Is About to Launch Its Prototype Mars Rocket on Its Most Ambitious Flight
2020-11-28
Netflix to start declaring £1bn-plus UK revenues to HMRC
2020-11-28
Star Wars Legend Alan Dean Foster Says Disney Is Withholding Book Royalties
2020-11-28
