FStar
An ML-like language aimed at program verification
Launch HN: Manara (YC W21) – Connect Middle East engineers with global companies
2021-01-20
The Roles and Responsibilities of a Father and Son (2009)
2021-01-20
Ask HN: Is it worth to move to another country for 1mil$?
2021-01-20
New starfish-like fossil reveals evolution in action
2021-01-20
A look at obscure defense startup Rebellion Defense, backed by Eric Schmidt
2021-01-20
Ask HN: How can I order Starlink beta in North Africa?
2021-01-20
Ask HN: Selling shares to my co-founder
2021-01-20
SpaceX Starlink Mission #17 [video]
2021-01-20
With latest Starlink launch, SpaceX to set record for rapid reuse
2021-01-20
Hollywood and hyper-surveillance: the story of Gorgon Stare (2019)
2021-01-20
