@j2kun: Just curious, any chance you&#x27;d do an explainer on the Curry-Howard equivalence[1] sometime? Forgive me if you already have, but a search didn&#x27;t turn anything up. Seems pretty relevant to math ∩ programming and also of interest to a lot of generalists.<p>[1] <a href="https:&#x2F;&#x2F;en.wikipedia.org&#x2F;wiki&#x2F;Curry%E2%80%93Howard_correspondence" rel="nofollow">https:&#x2F;&#x2F;en.wikipedia.org&#x2F;wiki&#x2F;Curry%E2%80%93Howard_correspon...</a>