gdp-ts: compile-time proofs that stop AI-written IDOR bugs in TypeScript
cramforce · x · 2026-10-05
rauchg introduced gdp-ts, a library/linter/AI skill applying Ghosts of Departed Proofs: sensitive functions require compile-time-verifiable proofs that callers performed authorization checks, preventing agents from shipping IDOR-class bugs. cramforce argues that as code gets cheap, robustness-enforcing tech once deemed too costly is now worth it — his team uses type-enforced proofs to curb IDOR vulnerabilities.
More from coding & agent
- Zero Game-Dev Experience: He Built a Game Boy Game for His 9-Month-Old With Codex — Hacubu · 2026-10-05
- Chris Lattner to talk Mojo type system, dependent types and comptime at SPLASH conference — clattner_llvm · 2026-10-05
- Claude Code can now read full docs via NotebookLM MCP without spending a token — Aiden_Tech_Ai · 2026-10-05
- Jacky Zhao leaves Replit to join Anthropic — Kyrannio · 2026-10-05
- Chinese agent swarms discovered in the wild, new report documents the fleet — Puzzleheaded-King584 · 2026-10-05
- OpenAI Codex Pledges Daily Improvements for 28 Days or Users Get Free Resets — udmrzn · 2026-10-05