mkckto

3 ms·

1. 1.▲
   by mkckto 2mo ago

   Without knowing anything about the specifics of the conjectures that are falling, I wonder if this affair highlights an issue with the quality of the "open conjectures" that are out there. There are a lot of reasons you might make
2. 2.▲
   by mkckto 3mo ago

   This reminds me of bear games: https://en.wikipedia.org/wiki/Bear_games Here's a tablebase analysis for a simple bear game I constructed a while back: https://emarzion.github.io/coqtbgen/
3. 3.▲
   by mkckto 1y ago

   I think this article highlights a misconception that type skeptics often have, which is that type systems are some sort of enterprise solution that cargo-cultists have come to embrace as "best practices". Either that, or that type
4. 4.▲
   by mkckto 1y ago

   Here's a write-up I did on deriving the Y combinator from Lawvere's fixed-point theorem: https://emarzion.github.io/Y-Comb/