@dunhamsteve.bsky.social

Programmer and father of two. Currently dabbling in dependent type theory.