Comment Comment by lxgr They seem to be unrelated, but sharing an etymology: https://arxiv.org/abs/2201.02177 parent lxgr 2 years ago
