Documentation
Journal
Frontend
Backend
Admin
CI/CD
Loading the page.
Loading the page.
November 11, 2026
Google DeepMind reported on Nov 10 that a team working with AI agents proved key security properties of Signal's code in 4 weeks. Experts decided what to prove, while agents built the mathematical proofs.
story · 2 stories — how events unfolded
who it's about
about the same entities
News
AI agents search for ruins beneath the forest: 48 assistants find a possible Maya settlementNovember 11
News
KORA: OS with a shared chat for AI agents planned for PC in 2027November 11
Release
Gemini CLI remembers your model choice through cancellations and rollbacksNovember 11
Release
/stats heatmap: Gemini CLI shows daily token usageNovember 11
One email a week - only what changes how you work. Subscribe
