FStar
An ML-like language aimed at program verification
Venture scale startups targeting Africa should have a multi-country mindset
2020-09-03
SoftBank-Led Funding Triples Asia Health Startup’s Valuation
2020-09-03
Elon Musk’s space Internet service Starlink officially reveals download speeds
2020-09-03
Missing: Working Class Founders
2020-09-03
The State of Marketplace Startups 2020 [Overview]
2020-09-03
Launch HN: Slapdash (YC W19) – A uniform, low-latency interface for cloud apps
2020-09-03
Elon Musk to build ‘glorious’ Martian city with 1k-starship fleet
2020-09-02
Free Legal Guide to Starting Company, as Told by Internet Memes
2020-09-02
Ask HN: Does this AI-marketplace startup have a viable business model?
2020-09-02
Biggest Startup Markdowns: Magic Leap, WeWork, Airbnb
2020-09-02
