Nice thread. For a brief period in grad school I was nerdsniped by Brouwer intuitionism and wanted to dive deep, but then realized it’s sort of a lifetime deep dive sorta thing.