Decidability, Type Systems, and the Limits of Open Source Trust
This presentation delves into the fundamental limitations of static analysis and the implications for trusting open-source software, leveraging concepts like Rice's Theorem and type system decidability.