FStar
An ML-like language aimed at program verification
Good enough engineering to start an Internet company
2023-02-17
I love building a startup in Rust but wouldn't pick it again
2023-02-17
I just shut down my first startup. Here’s my retro
2023-02-17
Ask Ethan: Can black holes cause dark energy?
2023-02-17
John Carmack helps debug satellite startup's images
2023-02-17
Ask HN: What tricks have made you a better programmer?
2023-02-17
Ask HN: Could you be interested by a Web3 blockchain DB toolkit/SDK?
2023-02-17
Show HN: Prompt Engineering to extract data from a story and into a database
2023-02-17
Window Snyder's Startup Thistle Launches Security Platform for IoT Device Makers
2023-02-16
Ask HN: Joined a company and the project/team is splintered
2023-02-16
