Steve Dunham
father, computer programmer, hobbyist computer scientist. Currently dabbling in dependent type theory.
@dunhamsteve@mathstodon.xyz
@edwin.type-driven.org.uk
Reader in Computer Science at the University of St Andrews. Will play ukulele for free, will stop for money. Cricket. Go. Woke Prick. He/him. Avatar by Joo (www.siajoohiang.com) https://www.type-driven.org.uk/edwinb/ https://www.lambda-miners.org.uk/
@was.tl
Created http://adventofcode.com, http://compute-cost.com, http://anoik.is, http://was.tl/projects/; Principal Architect at https://acvauctions.com
@theoatmeal.bsky.social
Cartoonist and creator of The Oatmeal and Exploding Kittens https://linktr.ee/theoatmeal
@stringdiagram.bsky.social
Categories, computer science and logic. Also: @stringdiagram@mathstodon.xyz Website: https://stringdiagram.com/
@reneefrench.bsky.social
painter, animator, writer/illustrator of books http://reneefrench.tv
@sarahgibbs.bsky.social
Teacher. Writer. Book person. Dog mom to a Canine of Significant Opinions, she/her, Gen X, MI, a smidge of queer + a pinch of neurospice, wait what were we talking about...?
@pigworker.bsky.social
they/them I'm Conor. I'm a nonbinary Computer Scientist. God loves irony. @pigworker@types.pl on fedi
@robpike.io
Long career as a dilettante at Bell Labs Research and Google, mostly building weird stuff no one uses, but occasionally getting it right, such as with UTF-8 and Go.