FStar
An ML-like language aimed at program verification
Gamers Can Earn Crypto Cash Hunting for Broken Manholes
2023-05-20
A Crowd-Funded Startup Is Making a Coffee Cup That Can Be Eaten
2023-05-20
Star Wars Galactic Star Cruiser Hotel Is Shutting Down
2023-05-20
Ask HN: Resources to learn about early startups engineering decision?
2023-05-19
Startup Equity Negotiation for Software Engineers: Tips for Success
2023-05-19
IBM buys data security startup Polar Security in reported $60M deal
2023-05-19
SpaceX launches 22 new-generation Starlink satellites
2023-05-19
Ask HN: Would a top-rated MBA mid-career help to break into Big Tech?
2023-05-19
Ask HN: Finding small/micro startup ideas
2023-05-19
Navy ready to start implementing fixes to notoriously slow computers
2023-05-19
