4 articles · page 1 of 1
Politician reads AI prompt during assembly
2026-07-25
I Think They [Anthropic] Are Lying to You [video]
2026-06-12
Zig 2026: No-AI Policy, $670K Foundation, Left GitHub and Why Zig Isn't 1.0 [video]
2026-05-28
Terence Tao: Formalizing a proof in Lean using Claude Code [video]
2026-03-09