ParentFull threadviralpraxis·I don’t know, 210 is a lot. I’d expect him to solve the P =? NP problem during his morning coffeView on HN