Comment by kapslock on Organisation for Program Equilibrium reading group · 2024-08-17T13:56:30.697Z · LW · GW

I didn't check my notifications frequently enough to see this. How far did you get into the theorem, and will there be another session?