FStar
An ML-like language aimed at program verification
Google wants every account to use 2FA, starts auto-enrolling users (2021)
2022-10-29
Ron Gilbert – Starting Jan first I will be leaving Twitter permanently
2022-10-29
StarFighter
2022-10-29
Show HN: I made a pastebin that stores its contents in the URL
2022-10-29
The Subway That Sunk
2022-10-29
Amazon’s constellation may buy Starship launches
2022-10-29
Tell HN: Archive.ubuntu.com repositories appear to be down
2022-10-29
Putin could try to shoot down Elon Musk’s Starlink satellites
2022-10-29
Jerry Lee Lewis, notorious US rock’n’roll star, dies aged 87
2022-10-28
How to stop firefighting and start working proactively
2022-10-28
