FStar
An ML-like language aimed at program verification
Neutron Star Merger Visualized
2023-04-03
Ask HN: Is Eliezer Yudkowsky a genius playing the long game?
2023-04-03
Show HN: A simple and interactive CLI tool for OpenAI Chat Completions
2023-04-03
Ask HN: Why not give access to everything, to everyone in an an organization?
2023-04-03
Startups, 12 Months
2023-04-03
$70 RISC-V Computer from Pine64 Goes on Sale April 4 – OMG Linux
2023-04-03
Ask HN: Is a back end worth $35/mo?
2023-04-03
Tell HN: Instagram suspended my friend's business without warning or recourse
2023-04-03
Get Started with Kotlin/WASM in IntelliJ Idea
2023-04-03
The Challenges Facing European Startups in the Global Tech Race
2023-04-03
