FStar
An ML-like language aimed at program verification
I have gotten so much value from YC, without even getting in.
2022-02-03
Ask HN The wormhole WETH hack on Solana is being ignored
2022-02-03
Feeling like I started my career too early at 18
2022-02-03
Steam will start showing actual download size
2022-02-03
Peter Thiel Funded a ‘Cyber Warfare’ Startup That Hacked WhatsApp
2022-02-03
I took down my Starlink dish (but haven't cancelled)
2022-02-03
Saudi Arabia to invest billions of dollars in technology and startups
2022-02-03
Why are there no descent Go or Rust alternatives to Ansible?
2022-02-03
Siemens, Thales and Trumpf launch European nuclear fusion startup
2022-02-03
Apple Podcasts suddenly became a five-star app
2022-02-03
