Viewing profile — mkckto

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 ou…

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/co…

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 embr…

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