FStar
An ML-like language aimed at program verification
Please, stop pushing for static typing in Python
2022-02-01
The Charismatic Developer and the Ponzi Scheme That Suckered San Diego
2022-02-01
How to Work with Serverless Stack
2022-02-01
Ask HN: Is anyone having date comparison issues starting Feb 1, 2022?
2022-02-01
Show HN: Circles. A privacy focused social app for close friends and family
2022-02-01
Europe launches fund to invest in space startups
2022-02-01
Ask HN: Starting a remote-first company, how should I pay people?
2022-02-01
The web starts on page four
2022-02-01
Show HN: Staat – mission control for eng managers
2022-02-01
Peter Thiel Funded a ‘Cyber Warfare’ Startup That Hacked WhatsApp
2022-02-01
