FStar
An ML-like language aimed at program verification
Startup Ideas
2021-10-05
Ask HN: How to raise money when the revenues are down but the product is liked?
2021-10-05
Does anyone want to do one-to-one discussion over YC videos?
2021-10-05
I created the best placeholder service ever
2021-10-05
Karpathy on Twitter: A fun story of trying to buy one small coffee at Starbucks
2021-10-05
Ask HN: How to start with formal verification to find bugs
2021-10-03
Ask HN: Starting a startup with typed code x none typed code
2021-10-03
Pandora Papers: An offshore data tsunami
2021-10-03
Amethyst – Starting Fresh: Halting Development of Amethyst Engine
2021-10-03
Star Trek Ego Quest [video]
2021-10-03
