FStar
An ML-like language aimed at program verification
Ask HN: Advice for new tech startup founder
2021-03-16
Ask HN: The Signal and the Noise in the Startup World
2021-03-16
How far is too far?
2021-03-15
A 2006 NASA program shows how government can move at the speed of startups
2021-03-15
Voyage Acquired by Cruise
2021-03-15
Launch HN: Enode (YC W21) – API for energy consumption
2021-03-15
Launch HN: Mezli (YC W21) – Robotic restaurants that serve healthy fast food
2021-03-15
Cruise acquires driverless vehicle startup Voyage
2021-03-15
Stripe now most valuable US startup
2021-03-15
Stripe Now Valued at $95B
2021-03-15
