@dunhamsteve@mathstodon.xyz
Joined: 11/08/2022
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.
dunhamsteve has no public lists
dunhamsteve has no activity yet