FStar
An ML-like language aimed at program verification
SRE has 5 full-time jobs and makes $1.2M a year
2022-01-11
1MDB Scandal
2022-01-11
Ask HN: Automated fake AI / LinkedIn accounts for sales or worse?
2022-01-11
Looking for a Non-Tech CoFounder for an Already Built App
2022-01-11
Ask HN: SaaS Princing Resources
2022-01-11
Glitch puts Star Fox 64 ships in unmodified Zelda cartridge (2020)
2022-01-11
Ask HN: Why is software quality always decreasing?
2022-01-11
The Associated Press is starting its own NFT marketplace for photojournalism
2022-01-11
Cat on a hot satellite dish: Elon Musk’s Starlink antenna hits surprise problem
2022-01-11
Ask HN: My experience with Common Lisp. Is there a better way?
2022-01-11
