FStar
An ML-like language aimed at program verification
How to Build a Startup Without Funding by Pieter Levels (2018)
2023-06-16
Show HN: An attempt to make IMDB _more_ honest (using user reviews)
2023-06-16
Show HN: Typoas – TypeScript OpenAPI client generator
2023-06-16
AI Startups Have Tons of Cash, but Not Enough Data. That’s a Problem
2023-06-16
Tell HN: MS Teams on Linux with Firefox is pain
2023-06-16
Intel to start shipping a quantum processor
2023-06-16
Show HN: Free running back end server for you on publicly accessible IP
2023-06-16
Anthropic Trust Portal
2023-06-16
Show HN: Meg-4, the Open Source PICO-8 alternative
2023-06-16
Reddit App – Suspicious high number of recent 5 star, one word reviews
2023-06-16
