X post:Chris Tate
gdp-ts: Type-Level Authorization Proofs for Sensitive Operations and Agent Code
Chris Tate and Guillermo Rauch showcase gdp-ts, a TypeScript library implementing 'Ghosts of Departed Proofs' to enforce authorization checks at compile time via the type system.
99bookmarks16kviews