Daily Grug
April 1, 2025
some type big brain think in type systems and talk in lemmas, potential danger!