FStar
An ML-like language aimed at program verification
Ask HN: Should I quit software development?
2021-06-12
Ask HN: Is Apple really phoning home every time I start an application on macOS?
2021-06-12
The Nazis’ Nightmarish Plan to Starve the Soviet Union (2017)
2021-06-11
Apple Starts Leaving Intel Macs Behind in macOS Monterey
2021-06-11
Show HN: LaunchVitamins – daily SMS messages to stay productive and accountable
2021-06-11
Tesla Introduces Upgraded Model S to Jump-Start High-End Model Sales
2021-06-11
Microsoft teases new Windows 11 startup sound with 11-minute video
2021-06-11
Onset of SelfStorage Startup – StowNest – Decluttering Lives
2021-06-11
Ask HN: How to Perform a Maturity Assesment
2021-06-11
Giant blinking star spotted near center of Milky Way galaxy
2021-06-11
