Hackers News "Homotopical macrocosms for higher category theory" identified as woke DEI grant adminFebruary 14, 20250 Comments