Curated. A core piece of LessWrong, for me, is noticing that we are physically instantiated algorithms, and live in a world made out of computation, and exploring the implications of that, eg by contrasting actual-human cognition to ideal mathematical reasoners. This post takes that premise, plays with it, and discovers some interesting possibilities. There are some reasons why these cryptographic schemes aren’t likely to ever become practical (described by Paul in the comments), but they helped me build up intuition for what it means to be a computation.
Curated. A core piece of LessWrong, for me, is noticing that we are physically instantiated algorithms, and live in a world made out of computation, and exploring the implications of that, eg by contrasting actual-human cognition to ideal mathematical reasoners. This post takes that premise, plays with it, and discovers some interesting possibilities. There are some reasons why these cryptographic schemes aren’t likely to ever become practical (described by Paul in the comments), but they helped me build up intuition for what it means to be a computation.