FStar
An ML-like language aimed at program verification
Arc raises $70M for electric wakesport boat
2023-09-29
Ask HN: How are people testing demand for their new product ideas these days?
2023-09-29
A peek into Argentina’s video game scene
2023-09-29
Ask HN: Best no-code workflow builders for LLMs
2023-09-29
You can't control your data in the cloud
2023-09-29
Show HN: Built a Tool to Automate Tedious Tasks with AI, Without Coding
2023-09-29
How to get started hacking NetBSD [pdf]
2023-09-29
In the Milky Way’s Stars, a History of Violence
2023-09-29
Ask HN: ADHD Symptoms
2023-09-29
What is the use case for NPM run?
2023-09-29
