Steve Dunham
dunhamsteve.bsky.social
Steve Dunham
@dunhamsteve.bsky.social
father, computer programmer, hobbyist computer scientist, he/him. Currently dabbling in dependent type theory.

@dunhamsteve@mathstodon.xyz
I knitted a pig (very new hobby). There is a certain freedom in not expecting to be good at what you're doing. I also wrote a language, inspired by Idris, to see if I could. Maybe someday I'll give drawing a try.
August 17, 2025 at 9:36 PM
You should get one of those amps that go to 11: m.youtube.com/watch?v=4xgx...
Spinal Tap - "These go to eleven...."
YouTube video by goto11tv
m.youtube.com
July 21, 2025 at 2:31 PM
They're now using LLMs to generate the lessons, so I'm no longer interested in trying it. (I don't want to waste my time on something that is potentially inaccurate.) blog.duolingo.com/large-langua...
How Duolingo uses AI to create lessons faster
Artificial intelligence allows Duolingo learning experts to create new lessons faster than ever. Here's how the humans behind the lessons use new technology to improve the app.
blog.duolingo.com
June 24, 2025 at 1:58 AM
Meanwhile parades in seattle be like:
June 16, 2025 at 12:32 AM
I went through most of the lectures and had fun playing with ask. Thanks for sharing both ask and the videos.
May 30, 2025 at 3:12 AM
Here you go - owls in towels: owlsintowels.org
Owls in Towels
owlsintowels.org
May 27, 2025 at 3:00 AM