FStar
An ML-like language aimed at program verification
How we got 1500 GitHub stars in 1 week
2022-03-15
Startup Ideas (2015)
2022-03-15
Tiny star unleashes gargantuan beam of matter, anti-matter
2022-03-15
Ask HN: What Happened to NFTs?
2022-03-14
Ask HN: My Google account was hacked, Google says they can't help
2022-03-14
Ask HN: Any Coursera Engineers Available?
2022-03-14
ATS for Startups
2022-03-14
Günter Faltin Big Success with Meager Start Capital (2010)
2022-03-14
Ukraine has started using Clearview AI’s facial recognition during war
2022-03-14
Launch HN: Lifecast (YC W22) – 3D video for VR
2022-03-14
