FStar
An ML-like language aimed at program verification
Winterfell: A STARK prover and verifier for arbitrary computations
2021-08-08
Covid Variants Could Be Named After Constellations
2021-08-08
Launch HN: HyperLinq (YC S21) – Desktop trading terminal
2021-08-08
Rust's Vector
2021-08-08
LinkedIn challenger Polywork nets $13m from A16z, Collisons and more
2021-08-08
The Big Five Are Buying Far Fewer Startups This Year
2021-08-08
Starbase Tour with Elon Musk [Part 1]
2021-08-08
Starbase Tour with Elon Musk (part 2) [video]
2021-08-08
Increase HTTP performance by fitting in the initial TCP slow start window
2021-08-08
Ask HN: What is the best tool/service to keep credentials out of GitHub?
2021-08-08
