FStar
An ML-like language aimed at program verification
Legion M: A fan-owned entertainment company
2023-04-14
Crypto Startup Chia Network Files Confidentially for IPO
2023-04-14
Startup Energy Theory
2023-04-14
The Hacking of ChatGPT Is Just Getting Started
2023-04-14
Isaac Starr and the Rise and Fall of the Ballistocardiograph
2023-04-14
Open Startup
2023-04-14
A effective trick I learned about retaining engineers
2023-04-14
Show HN: Browser extension template: Clean architecture, React and shadcn/UI:)
2023-04-14
Ask HN: red flags for early employees as far as startups go?
2023-04-14
Show HN: FOSS physics-based sandbox game with circuiting, robotics, scripting
2023-04-14
