FStar
An ML-like language aimed at program verification
TechCrunch has a new book club, first selection is Ted Chiang's Exhalations
2020-01-09
Response to Dominic Cummings: The dos and donts of starting a data science team
2020-01-09
We Had a Successful AMA on Reddit Covering CBD. AMA
2020-01-09
Ask HN: Advice for Starting a B2B SaaS
2020-01-09
Microsoft's LinkedIn purchase is starting to pay off
2020-01-09
How to Win the High Risk Gamble of a Hardware Startup
2020-01-09
How to Start with Logging in Go Projects. Part 2
2020-01-09
Ask HN: What are good career switch options for data scientist
2020-01-08
Remote-first Online Conference for startup founders
2020-01-08
Ask HN: Who wants to partner on my SaaS project? I have revenue and customers
2020-01-08
