October 5, 2026
AI agents get an error for skipping permission checks: gdp-ts requires proof in types
gdp-ts ties calls to sensitive functions to proof that the calling code has checked access permissions.
Source
Loading the page.
who it's about
about the same entities
Release
Compare AI reviewers on shared tasks: ReviewBench brings together 219 pull requestsOctober 6
Insight
AI now writes more GitHub PRs than humans, Gergely Orosz estimatesOctober 6
News
Less waiting in ChatGPT: GPT-6 Astra and GPT-6.1 Sol generate text 50% fasterOctober 6
Insight
Built-in OpenAI Web Search catches up with standalone APIs: 74 points in Artificial AnalysisOctober 6
Insight
AI agent teams change with each model: lessons from the Codex leadOctober 5
All news
One email a week - only what changes how you work. Subscribe