allen · 3w TIL it’s an open problem whether there exists a polynomial bijection from Q to QxQ and therefore apparently a very very difficult question. who knew? awayslice @awayslice 1769351558 nostr needs a translate button.