FStar
An ML-like language aimed at program verification
Google+ class action starts paying out $2.15 for G+ privacy violations
2021-08-04
Ask HN: Stealth mode seems like a weakness; why would anyone?
2021-08-04
Be part of the Beta program for a Techstars backed company
2021-08-04
Ask HN: Request for Startups Update?
2021-08-04
Ask HN: Perspective Shifting and how to stop it?
2021-08-04
Planning for a Zero Trust Architecture: Draft White Paper Available for Comment
2021-08-04
How to understand taxes on RSUs, options, and startup equity
2021-08-04
The Sostenuto Pedal
2021-08-04
Launch HN: Turion Space (YC S21) – Space debris removal and satellite servicing
2021-08-04
Neither Star nor Planet: A Strange Brown Dwarf Puzzles Astronomers
2021-08-04
