分类: AI 资讯

Introducing gdp-ts: Ghosts of Departed Proofs for TypeScript. gdp-ts is a library, linter and AI skill for safer API design. Under this contract, sensitive functions require ‘proofs’ that the caller performed an autho…

Introducing gdp-ts: Ghosts of Departed Proofs for TypeScript. gdp-ts is a library, linter and AI skill for safer API design. Under this contract, sensitive functions require 'proofs' that the caller performed an autho...

Vercel CEO Guillermo Rauch 发布了 gdp-ts,一个为 TypeScript 提供"授权证明"机制的库、linter 与 AI skill,让敏感函数在编译期就必须拿到调用方完成过权限校验的证据。它把 Haskell 等生态里长期小众的类型安全模式,重新包装成面向 AI 写代码时代…

v2.1.291

v2.1.291

Claude Code 发布 v2.1.291 补丁,修复了前两个版本引入的两处回归问题:云端会话可能丢失权限询问的回答,以及退出时可能丢失会话最后几条消息。这是一次典型的“回滚式修复”,值得关注的是它暴露了 AI 编程工具在会话状态管理上的脆弱点。