Designing Reliable Permission Models with Lean 4

Shrijith Venkatramana présente git-lrc, un réviseur de code basé sur l'IA, et discute de la complexité croissante des systèmes d'autorisation, en particulier avec le code généré par l'IA. Il suggère d'utiliser l'application mathématique, telle que Lean 4, pour assurer la sécurité du code généré par l'IA en rendant certains états invalides mécaniquement impossibles.