FStar
An ML-like language aimed at program verification
Clubhouse Rooms Recommendations
2021-02-03
Amazon officially starts using Rivian electric van to make customer deliveries
2021-02-03
Launch HN: Emerge (YC W21) – Monitor and reduce iOS app size
2021-02-03
Ask HN: How did you find your first 100 users in a B2C environment
2021-02-03
Jet 4.4 with SQL support is released
2021-02-03
'Got to work on that landing': SpaceX rocket in fiery crash, again
2021-02-03
Combo 1:1 Starter Pack and 1:1 Manager Pack – Plucky
2021-02-03
This Week in Programming: Gitlab Goes Premium, Ditches Starter Tier
2021-02-03
Putting the latest Starship crash into perspective–it’s “stupidly difficult”
2021-02-03
SpaceX Starship launch: Starship SN9 explodes in failed landing
2021-02-02
