FStar
An ML-like language aimed at program verification
Travis Kalanick on Fundraising (2009)
2021-04-18
A New Super-Earth Detected Orbiting a Red Dwarf Star
2021-04-18
The Crisis of Venture Capital: Fixing America’s Broken Startup System
2021-04-18
Ask HN: Opportunities for the Highly Ambitious
2021-04-18
Ask HN: Advice for a developer leading their first major project
2021-04-18
Tips I Learned While Building My Startup That Helped Keep Me Mentally Sound
2021-04-17
Minus Zero tests autonomous three-wheeler in India, working on self-driving car
2021-04-17
Ask HN: Advice for someone starting out (in tech)?
2021-04-17
Starlink geofencing to be removed later this year
2021-04-17
Ask HN: Would you fly on a 737 Max 8?
2021-04-17
