My website has been my biggest personal project so far, ongoing for more than five years. It has accumulated so many features by now that I had to make a list today (for mostly myself):

· · Web · 0 · 0 · 0
Sign in to participate in the conversation

A Mastodon instance for programming language theorists and mathematicians. Or just anyone who wants to hang out.