FStar
An ML-like language aimed at program verification
Megathread on some use cases of ChatGPT at a startup
2022-12-06
Ask HN: How to switch from SE to consulting on process and quality improvement?
2022-12-06
Advise HN: My co-founder is stealing money from the company
2022-12-06
Ask HN: What do you use to backup email?
2022-12-06
Sherpa. The best, free startup guide
2022-12-06
Ask HN: How do you cope with existential threat regarding career?
2022-12-06
Show HN: Zuplo – Programmable, Serverless API Management for Developers
2022-12-06
SpaceX Launches New Military-MInded 'Starshield' Division
2022-12-06
Ask HN: How Federatable is the Fediverse?
2022-12-06
PR for startups: is it only for the rich and famous? (2020)
2022-12-06
