FStar
An ML-like language aimed at program verification
How to validate startup ideas? No how?
2020-05-27
Show HN: To Listen to Any Page Prefix the URL with Playthis.link
2020-05-27
World 2.0 Startups
2020-05-27
DefinedCrowd lands $50M to help Mastercard, BMW, improve their AI services
2020-05-27
Show HN: To Listen to Any Page Prefix the URL with Playthis.link
2020-05-27
Bird lets you rent a scooter with a tap
2020-05-27
Gatsby raises $28M Series B led by Index Ventures
2020-05-27
Why Numbering Should Start at Zero
2020-05-27
Social Autopsy: Anti-Harassment Startup That Descended into GamerGate Trutherism
2020-05-27
Ask HN: Getting Started with SVG
2020-05-27
