FStar
An ML-like language aimed at program verification
SpaceX violated launch license in Starship test, triggering an FAA probe
2021-01-30
ActiveLambda – Simple and intuitive No Code internal applications
2021-01-30
Original Apple 1 from 1976 on bid on eBay, starting at $1,5M
2021-01-30
SpaceX violated its launch license in Starship test, triggering FAA probe
2021-01-30
In Philadelphia, a scandal erupts over vaccination startup led by 22-year-old
2021-01-30
Twitch Bans Streamers Who Started When Under 13, But Only If Not Too Big
2021-01-30
Ask HN: I just got ousted as CTO, Is it justifiable?
2021-01-30
Product Analytics at Startups
2021-01-29
Starship: Cross-Shell Prompt
2021-01-29
Elon Musk blames FAA for holding up the next Starship test (SN-9)
2021-01-29
