FStar
An ML-like language aimed at program verification
Show HN: Python Static Blog Generator
2020-03-27
Another startup that raised $2 from SoftBank bites the dust
2020-03-27
How I Started EllisX, the First Visibility-as-a-Service Platform
2020-03-27
Pregnant Startup CEO on Work-Life Challenges During Coronavirus Pandemic
2020-03-27
Ask HN: Does the CEO need to set the strategy or can a co-founder do that?
2020-03-27
Show HN: YC's startup advice, organized and searchable
2020-03-27
SBA Disaster Loans: Unofficial guide for freelancers and startups
2020-03-27
Ask HN: How are you building work from home dev environments?
2020-03-27
Ask HN: What do you think about media on Covid-19?
2020-03-26
Covid-19 Will Kill a Ton of Startups (Or So It Will Seem)
2020-03-26
