FStar
An ML-like language aimed at program verification
Show HN: More ChatGPT series.Engilish not my first language
2023-02-22
Ask HN: Where and how to start in Non deep learning AI research?
2023-02-22
Starbucks launches olive oil coffee drinks in Italy
2023-02-22
Ask HN: Shift from Product to Data Engineering
2023-02-22
Ask HN: How to give up on my startup
2023-02-22
Juddc/jxc: JXC is a structured data language similar to JSON
2023-02-22
Show HN: Preact Multi-Page Website Starter Template – Esbuild and Express
2023-02-22
Launch HN: Depot (YC W23) – Fast Docker Builds in the Cloud
2023-02-22
Show HN: We’re open-sourcing our session replay tool
2023-02-22
Show HN: Test distributed systems with 10 lines of code
2023-02-22
