father, computer programmer, hobbyist computer scientist, he/him. Currently dabbling in dependent type theory. @dunhamsteve@mathstodon.xyzhttps://blacksky.community/profile/dunhamsteve.bsky.socialhttps://blacksky.community/profile/dunhamsteve.bsky.social/post/3m7vpaiwjrs26Look, I made a hat ... where there never was a hat.13 Dec 2025 22:57 +0000at://did:plc:7oecg2ipogepq5tlh2oxdp5y/app.bsky.feed.post/3m7vpaiwjrs26https://blacksky.community/profile/dunhamsteve.bsky.social/post/3ljek3outak23My five year old: “I never get popcorn! I think it’s not popcorn season yet. When is popcorn season?”02 Mar 2025 03:55 +0000at://did:plc:7oecg2ipogepq5tlh2oxdp5y/app.bsky.feed.post/3ljek3outak23