Lobsters Daily — 2026-07-29
- AI Mania Is Eviscerating Global Decision-Making
- It doesn’t matter whether “Matz is nice”
- Overengineered calculator: Zig + QBE
- First CHERIoT Silicon
- Some notes about Anthropic’s new results
- PostgreSQL MVCC: tradeoffs compared to other engines
- Why Rocq is better than Lean for program verification
- Inside Zig's Incremental Compilation
- GNU Hyperbole Implicit Buttons: Build your Hyperverse
- User Interfaces of the Demo Scene