FStar
An ML-like language aimed at program verification
I'm starting a zero waste grocery delivery service in NYC. Anybody interested?
2023-02-16
Australia's NBN sat division loses 10% of customers in 1 year, probably Starlink
2023-02-16
Ask HN: Tech Layoffs, What Are the Effects of Them on the Job Market?
2023-02-16
Launch HN: Neptyne (YC W23) – A programmable spreadsheet that runs Python
2023-02-16
Show HN: JinbuPal – Learning Chinese doesn't have to be difficult
2023-02-16
Show HN: Duffel (YC S18) – The fastest way to sell flights
2023-02-16
Ask HN: How real is the AI thing?
2023-02-16
Tech startups face dilemma over expiring staff stock options
2023-02-16
Founder who sold startup to Google says G has lost its mission, is mismanaged
2023-02-15
Startup Replit launches a ChatGPT-like bot for coders
2023-02-15
