Raemon comments on The Hamming Problem of Group Rationality

[Raemon]

Yup, happy to discuss that privately. Will probably ping you later tonight.