I'm really enjoying mastodon - two of my favourite groups (infosec and mathematics) are thriving over there. Currently Terry Tao (yes, that Terry Tao) is learning Lean and documenting his journey:
mstdn.ca/@tao@mathstodo…
Just came back to say :wave:
