This is a demo instance. Do not store any relevant data here. You
can use the user 'demo' and password 'password' to login.
Steve Dunham
@dunhamsteve@mathstodon.xyz
Joined: 11/08/2022
About Steve Dunham
I'm a former Math and Computer Science grad student turned software engineer. Recently I've been revisiting the academic side of things, trying to learn type theory and category theory in my spare time.
Lists
dunhamsteve has no public lists
Timeline
dunhamsteve has no activity yet