Oh no. 3am brain is trying to construct a total order over the computable numbers.

Specifically, trying to wrap my head around a mapping from the computables to the counting numbers via a Huffman code weighted for the probability that each computable will be computed by a simulation of the universe. Add "data is code" to brain, stir gently.

Note to self: construct a Huffman coding for computation itself, the maximum possible lossless compression for executable code.

Fleeting thought: 0 is a combinator that takes func x and continuation y and which ignores x and returns to y.

Compare to SKI calculus, people.cs.uchicago.edu/~odonne

Sign in to participate in the conversation

This is a brand new server run by the main developers of the project as a spin-off of mastodon.social 🐘 It is not focused on any particular niche interest - everyone is welcome as long as you follow our code of conduct!