There's lots of activity happening over on mathstodon.xyz, the Mastodon instance that @ColinTheMathmo and I run.
One highlight: ways of deriving the formula for the sum of squares without using induction mathstodon.xyz/@karenshancock…