spaduf

Things have definitely changed for the worse in the past few years. You won't hear anybody with a similar story coming into the field today.

Wasn't that a project of Reagan's?

Terrence talks a lot about his experiences with Lean and the field more generally on his Mastodon over at @tao@mathstodon.xyz

Really like the explore feature. It lets you put in a url and shows you similar sites. Very promising project. Love to see people actually thinking about what search would be rather than rehashing decades old ideas.

It feels like there's an easy fix for this too. Instances already have an about section. Simply add a short form version that can be used in circumstances like this.

Keep in mind a lot of instances are preparing for what they anticipate to be the largest migratory wave yet when third party apps shut down at the end of the month.