×
You are not logged in
Bluesky Profile
Steve Dunham
Registered: 14 Nov 2024 00:21
Last post: 13 Dec 2025 22:57
father, computer programmer, hobbyist computer scientist, he/him. Currently dabbling in dependent type theory.
@dunhamsteve@mathstodon.xyz
This account allows followers on Bluesky to be notified of new posts from this account.
| dunhamsteve.bsky.social PDS: gomphus.us-west.host.bsky.network 2024-11-14 00:20:57 |