Guillermo Rauch(@rauchg)· Guillermo Rauch (@rauchg)·· 5 天前AI 评估 · 60/100分数表示内容值得关注的程度，依据实质份量、信息增量、证据强度、读者相关性和可用性，按内容类型加权。显示分数为两次独立评分的平均值。AI 判断可能有误，评分不代表事实已被核实，也不同于热点榜的讨论热度。
Guillermo Rauch 推出 gdp-ts：面向 TypeScript 的类型证明库、linter 与 AI 技能
Introducing gdp-ts: Ghosts of Departed Proofs for TypeScript. gdp-ts is a library, linter and AI sk...
AI 导读
Guillermo Rauch 发布 gdp-ts，一个面向 TypeScript 的库、linter 和 AI 技能，用于更安全的 API 设计。按该约定，敏感函数需要调用方提供已执行授权检查的 proof，由类型检查器在编译期验证这些 proof，防止团队和智能体提交严重安全 bug。
来源：Guillermo Rauch(@rauchg) · x.com