This is a demo instance. Do not store any relevant data here. You can use the user 'demo' and password 'password' to login.
avatar

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