C*: Unifying Programming and Verification in C
Article, Comments
Post #231822
2.11K
- Oct 12, 2026Fable Took My Job Article, Comments
- Oct 12, 2026Research Firm Calls Anthropic's IPO 'Unprecedented Test of Investor Gullibity' Article, Co…
- Oct 12, 2026Do not install Zod 4.6.6 – might be infected Article, Comments
- Oct 12, 2026Postgres isn't slow, your storage is Article, Comments
- Oct 12, 2026Show HN: Atticus – Hold-to-talk voice assistant for macOS that runs on Claude -p Article,…
- Oct 12, 2026Attack of the Vibe Coded Photoshop Clones Article, Comments