FStar
An ML-like language aimed at program verification
Israeli startup to combat spread of coronavirus using touchless tech
2020-04-27
Starship chilled. Starship pressurized. And for the first time, didn't explode
2020-04-27
Sequoia's Surgeahead 2020 Startups
2020-04-27
Ask HN: Examples of startups that survived layoffs?
2020-04-27
Everywhere to List Your Startup
2020-04-27
Scattered observations from six-weeks of “work from home” at startups
2020-04-27
Show HN: Curated list to achieve visibility for your product / startup
2020-04-27
Start-Ups Pursue ‘Free Money’ with Relief Funds, Prompting Backlash
2020-04-27
Ask HN: Resources to move from intermediate to advanced programmer?
2020-04-27
How Startups Remove Customer Friction
2020-04-27
