Post from wezm on 28 Apr 2022

This is a static archive of wezm@decentralised.social

https://mastodon.decentralised.social/@wezm is now my primary account

☜ Back to home page
wezm
@brendan of course there's a Mastodon instance for programming language theorists and mathematicians :)