FStar
An ML-like language aimed at program verification
Show HN: My Indie Hacker goal - Earn $100 a day to keep your desk job away
2020-08-28
NZ startup launches world-first long range wireless power transmission
2020-08-28
Delivery Hero picks up InstaShop in $360M deal
2020-08-28
Content writer at AI startup in London
2020-08-28
Ask HN: Should I sell equity in a past startup on the private market
2020-08-28
Gas reaches young stars along magnetic field lines
2020-08-28
Charity.wtf's about tech, db, startups, engineering management, and whiskey
2020-08-27
Ask HN: How can I help spread important labor advice to career-beginners?
2020-08-27
Ask HN: What's the Stripe Atlas for existing businesses?
2020-08-27
Chinese EV startup Xpeng Motors raises $1.5B in U.S. public market debut
2020-08-27
