@eshear once the Curry-Howard correspondence and the Boltzmann-Shannon correspondence are fully integrated with each other (and assuming they play nice with GL) i'll get back to you

Posters: slimepriestess. slimepriestess

3 likes recorded by the source corpus.

Topics: Philosophy, Math

View Post: https://x.com/slimepriestess/status/1761659473679249617