FStar
An ML-like language aimed at program verification
On the Paradox of Learning to Reason from Data [pdf]
2022-09-20
Musk says Starlink will ask for exemption to US sanctions on Iran
2022-09-20
PR for startups: is it only for the rich and (already) famous?
2022-09-20
Ask HN: How do you convince an investor to lead a round, if others will follow?
2022-09-20
Bleeding edge Java – Java 19 and modern JSON processing
2022-09-20
Go ahead and stare at my prosthetic arm. I know it’s awesome
2022-09-20
Spotify brings audiobooks to U.S. users with a catalog of 300k titles
2022-09-20
Launch HN: Spinach.io (YC W22) – Better daily standups
2022-09-20
Portable Raspberry Pi Tricorder Detects Starlink Satellites
2022-09-19
I accidentally started a movement – Policing the Police by scraping court data
2022-09-19
