Maybe a better term would be "critical projects" instead of "important projects" in that case?
In a slightly different vein, I love this site for helping me study and understand deeper practical implications and corner cases of type system designs: https://counterexamples.org/
For me the click came while finishing To Mock a Mockinbird by Raymond Smullyan. https://en.wikipedia.org/wiki/To_Mock_a_Mockingbird Smullyan "tricks" you into deriving the Gödel Incompleteness Theorem from the BCKW…
Maybe a better term would be "critical projects" instead of "important projects" in that case?
In a slightly different vein, I love this site for helping me study and understand deeper practical implications and corner cases of type system designs: https://counterexamples.org/
For me the click came while finishing To Mock a Mockinbird by Raymond Smullyan. https://en.wikipedia.org/wiki/To_Mock_a_Mockingbird Smullyan "tricks" you into deriving the Gödel Incompleteness Theorem from the BCKW…