Using group theory to explore the space of positional encodings for attention | Dark Hacker News