Terence Tao on Nostr: nprofile1q…cl6dx We don't have an exact count (and I guess it would depend on what ...
nprofile1qy2hwumn8ghj7un9d3shjtnddaehgu3wwp6kyqpqdm4dh28macnl02qrsfrhel2u4ct55230rj58j3unxag4dpgdsj8q3cl6dx (nprofile…l6dx) We don't have an exact count (and I guess it would depend on what threshold one would set for "participation"), but for instance our github repository has 45 contributors, and I expect the list of coauthors to end up at roughly this number.
The twins ended up having at least a partial explanation: any finite magma that obeyed one equation could be transformed (by "inverting" the multiplication table) to a magma obeying the other. (See https://leanprover.zulipchat.com/#narrow/channel/458659-Equational/topic/Austin.20pairs/near/483169215 .) This doesn't fully explain the twinning, but at least shows that the two equations are related.
The twins ended up having at least a partial explanation: any finite magma that obeyed one equation could be transformed (by "inverting" the multiplication table) to a magma obeying the other. (See https://leanprover.zulipchat.com/#narrow/channel/458659-Equational/topic/Austin.20pairs/near/483169215 .) This doesn't fully explain the twinning, but at least shows that the two equations are related.