Steve Dunham's Avatar

Steve Dunham

@dunhamsteve.bsky.social

father, computer programmer, hobbyist computer scientist, he/him. Currently dabbling in dependent type theory. @dunhamsteve@mathstodon.xyz

10 Followers  |  11 Following  |  16 Posts  |  Joined: 14.11.2024  |  2.6696

Latest posts by dunhamsteve.bsky.social on Bluesky

Oh nooooo, Lindsey Halligan, this is not how any of this works

(15 screens into a Signal exchange) www.lawfaremedia.org/article/anna...

20.10.2025 22:37 β€” πŸ‘ 10200    πŸ” 2667    πŸ’¬ 176    πŸ“Œ 546
graphite drawing on vellum of a sink with eyes

graphite drawing on vellum of a sink with eyes

bub?

15.09.2025 05:24 β€” πŸ‘ 194    πŸ” 26    πŸ’¬ 1    πŸ“Œ 1

Just gonna repost this for no reason at all.

07.09.2025 18:22 β€” πŸ‘ 12    πŸ” 6    πŸ’¬ 0    πŸ“Œ 0
Video thumbnail

National Guard is now tasked with picking up garbage in DC

26.08.2025 22:22 β€” πŸ‘ 9539    πŸ” 2623    πŸ’¬ 1729    πŸ“Œ 2385
Pink knitted pig on wood floor

Pink knitted pig on wood floor

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.

17.08.2025 21:36 β€” πŸ‘ 1    πŸ” 0    πŸ’¬ 1    πŸ“Œ 0

This is pretty much a prΓ©cis of my lecture to software engineering students.

12.08.2025 21:43 β€” πŸ‘ 47    πŸ” 5    πŸ’¬ 0    πŸ“Œ 0

Summer Undergraduate Internship - reposts welcome!

Are you a senior undergrad, interested in Programming Languages? Do you want to visit Canada for a paid 12-week internship?

06.08.2025 19:25 β€” πŸ‘ 8    πŸ” 12    πŸ’¬ 1    πŸ“Œ 0
drawing of a whale with an armpit fold

drawing of a whale with an armpit fold

morning

31.07.2025 03:53 β€” πŸ‘ 121    πŸ” 16    πŸ’¬ 4    πŸ“Œ 0
Post image Post image

i got to make these cutie bat friends for the nytimes for kids section of the new york times this sunday.

27.07.2025 12:53 β€” πŸ‘ 249    πŸ” 33    πŸ’¬ 2    πŸ“Œ 0

When I was little, the U.S. military came to our home at gunpoint and took me and my family away. We were imprisoned for years in barbed wire camps simply because we were Japanese American. I have spent my life telling that story, hoping it would never be repeated.

21.07.2025 17:20 β€” πŸ‘ 69004    πŸ” 21101    πŸ’¬ 1601    πŸ“Œ 753
Spinal Tap - "These go to eleven...."
YouTube video by goto11tv Spinal Tap - "These go to eleven...."

You should get one of those amps that go to 11: m.youtube.com/watch?v=4xgx...

21.07.2025 14:31 β€” πŸ‘ 1    πŸ” 0    πŸ’¬ 0    πŸ“Œ 0

Happy to have my biases confirmed in this way ...

11.07.2025 07:36 β€” πŸ‘ 14    πŸ” 6    πŸ’¬ 0    πŸ“Œ 0
Caption: Our team is working on these unsolved mathematical problems, but also pitching them as a trilogy of action movies starring Matt Damon 


Images: Posters for the three movies

The Riemann Hypothesis starring Matt Damon
(image of Matt running heroically surrounded by elements of a formula)

The Yang-Mills problem starring Matt Damon
(image of Matt fearlessly jumping a motorbike surrounded by eparts of a quantum equation)

The Goldbach Conjecture starring Matt Damon
(image of Matt falling bravely from a building surrounded by numbers and symbols.

Caption: Our team is working on these unsolved mathematical problems, but also pitching them as a trilogy of action movies starring Matt Damon Images: Posters for the three movies The Riemann Hypothesis starring Matt Damon (image of Matt running heroically surrounded by elements of a formula) The Yang-Mills problem starring Matt Damon (image of Matt fearlessly jumping a motorbike surrounded by eparts of a quantum equation) The Goldbach Conjecture starring Matt Damon (image of Matt falling bravely from a building surrounded by numbers and symbols.

My cartoon for this week's @newscientist.com #science #mattdamon

02.07.2025 14:21 β€” πŸ‘ 909    πŸ” 240    πŸ’¬ 19    πŸ“Œ 11

I work as an elder and hospice caregiver, which I am oddly passionate about. I can love on them shamelessly and no one complains about my codependence. It's a win-win situation. 

Many of my caregiving colleagues complain about the repetitive questions and, sometimes reactions, of the elderly, especially when those patients happen to read the newspaper, especially with the current downward spiral of our country β€” as if these people haven't lived through enough horror...

I love my dementia peeps, but sometimes wonder if there's a Guinness Book World Record for how many times an hour a dementia patient can repeat the same question β€” it's got to be in the hundreds. At least with small children, they ask different questions. Dementia patients will get stuck on one short question and ask it until you can interrupt their train(carousel) of thought and successfully redirect their attention. That carousel is pretty manic sometimes. 

A couple days ago, I picked up my mail from the post office and drove over to the nursing home to take (let's call her "Miss Daisy") Miss Daisy out for a drive. Before we took off on our road trip, to the end of The Road and back, in our landlocked little town (Juneau, Alaska), I set my copy of The Onion down in front of her. 

Over our two-hour excursion, tiny Miss Daisy read that front page at least a dozen times and each time she would snicker, giggle, and guffaw, then put it down on the dash board and, a minute later, discover it anew. I think it was the best afternoon of my life. We don't often hear them laugh and when they do, it's the sweetest thing you've ever heard. 

...

Thank you, thank you, thank you, for the really important work all of you do. You make the world a better place.

I work as an elder and hospice caregiver, which I am oddly passionate about. I can love on them shamelessly and no one complains about my codependence. It's a win-win situation. Many of my caregiving colleagues complain about the repetitive questions and, sometimes reactions, of the elderly, especially when those patients happen to read the newspaper, especially with the current downward spiral of our country β€” as if these people haven't lived through enough horror... I love my dementia peeps, but sometimes wonder if there's a Guinness Book World Record for how many times an hour a dementia patient can repeat the same question β€” it's got to be in the hundreds. At least with small children, they ask different questions. Dementia patients will get stuck on one short question and ask it until you can interrupt their train(carousel) of thought and successfully redirect their attention. That carousel is pretty manic sometimes. A couple days ago, I picked up my mail from the post office and drove over to the nursing home to take (let's call her "Miss Daisy") Miss Daisy out for a drive. Before we took off on our road trip, to the end of The Road and back, in our landlocked little town (Juneau, Alaska), I set my copy of The Onion down in front of her. Over our two-hour excursion, tiny Miss Daisy read that front page at least a dozen times and each time she would snicker, giggle, and guffaw, then put it down on the dash board and, a minute later, discover it anew. I think it was the best afternoon of my life. We don't often hear them laugh and when they do, it's the sweetest thing you've ever heard. ... Thank you, thank you, thank you, for the really important work all of you do. You make the world a better place.

I got permission to share this, and I'm extremely grateful for that.

The Onion got this letter from one of our subscribers in Alaska. She works with dementia patients and decided to leave a copy in the car for each one.

This email made my year. Read it and you'll see what I mean. People are good.

01.07.2025 18:46 β€” πŸ‘ 37286    πŸ” 6830    πŸ’¬ 642    πŸ“Œ 507
Google search for β€œall you can eat buffet near me”
Al Overview
To find an all-you-can-eat buffet near you, you can use online search engines like Google or Yelp, specifying "all you can eat buffet near me". These searches will typically provide a list of nearby restaurants offering buffet-style dining, including their addresses, contact information, and customer reviews. You can also refine your

Google search for β€œall you can eat buffet near me” Al Overview To find an all-you-can-eat buffet near you, you can use online search engines like Google or Yelp, specifying "all you can eat buffet near me". These searches will typically provide a list of nearby restaurants offering buffet-style dining, including their addresses, contact information, and customer reviews. You can also refine your

The singularity is awesome

28.06.2025 17:18 β€” πŸ‘ 21041    πŸ” 4408    πŸ’¬ 280    πŸ“Œ 303
Preview
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.

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...

24.06.2025 01:58 β€” πŸ‘ 0    πŸ” 0    πŸ’¬ 1    πŸ“Œ 0
A "flying spaghetti monster" from the Fremont solstice parade. Large ball of what looks like spaghetti with two meatballs attached and helpers with pool noodles to reach out to bystanders.

A "flying spaghetti monster" from the Fremont solstice parade. Large ball of what looks like spaghetti with two meatballs attached and helpers with pool noodles to reach out to bystanders.

Meanwhile parades in seattle be like:

16.06.2025 00:32 β€” πŸ‘ 1    πŸ” 0    πŸ’¬ 1    πŸ“Œ 0

Omg it's a wee bunny having a little strawberry snack!!

I wish I was a wee bunny having a little strawberry snack.

14.06.2025 03:00 β€” πŸ‘ 0    πŸ” 1    πŸ’¬ 0    πŸ“Œ 0

I went through most of the lectures and had fun playing with ask. Thanks for sharing both ask and the videos.

30.05.2025 03:12 β€” πŸ‘ 1    πŸ” 0    πŸ’¬ 0    πŸ“Œ 0

This is not the future that 15 year old me imagined back in 1985.

Somehow being logged out of one’s toothbrush hits me as incredibly dystopian.

29.05.2025 14:55 β€” πŸ‘ 91    πŸ” 12    πŸ’¬ 7    πŸ“Œ 1
Owls in Towels

Here you go - owls in towels: owlsintowels.org

27.05.2025 03:00 β€” πŸ‘ 4    πŸ” 2    πŸ’¬ 0    πŸ“Œ 2
Two raccoons are seen rummaging through an open trash can in a grassy area. Their tails and backs are visible as they search for food.

Two raccoons are seen rummaging through an open trash can in a grassy area. Their tails and backs are visible as they search for food.

A squirrel is perched menacingly on top of a black garbage can on a street. A parked car is visible in the background.

A squirrel is perched menacingly on top of a black garbage can on a street. A parked car is visible in the background.

Our new neighbors threw their takeout containers in the trash, and the raccoons dug in and got the good bits. The squirrels had a feast for days on what was left. When they rolled the can to the curb, the alpha squirrel turned aggressive and tried to stop the garbage men from taking its pantry away.

10.05.2025 00:14 β€” πŸ‘ 20    πŸ” 3    πŸ’¬ 2    πŸ“Œ 0
Video thumbnail

Quite the payoff

05.05.2025 00:27 β€” πŸ‘ 5590    πŸ” 2040    πŸ’¬ 81    πŸ“Œ 166

if you know a lot of stuff i think it is your moral duty to be kind and excited when people learn stuff for the first time. the world is full of stuff we don't know about, don't be mean

27.04.2025 02:19 β€” πŸ‘ 9253    πŸ” 1628    πŸ’¬ 145    πŸ“Œ 119
A pink construction paper envelope with children’s handwriting that reads β€œTo: Bus driver From: Me”

A pink construction paper envelope with children’s handwriting that reads β€œTo: Bus driver From: Me”

Among my regular passengers on the 44 are two young boys who ride with their grandma from California and 6th Ave all the way to Silver and Palou. The older brother is possibly a 2nd grader. Last night as they were getting off my bus, he handed me this hand made envelope.

24.04.2025 19:26 β€” πŸ‘ 2501    πŸ” 441    πŸ’¬ 40    πŸ“Œ 117

So someone who studies type theory is typical?

18.04.2025 17:42 β€” πŸ‘ 0    πŸ” 0    πŸ’¬ 1    πŸ“Œ 0
Chart showing Tariffs including Norfolk Island, Tuvalu and Heard and McDonald Islands

Chart showing Tariffs including Norfolk Island, Tuvalu and Heard and McDonald Islands

Norfolk Island is an Australia Territory (population 1748), and Heard and McDonald Islands are literally volcanoes near the Antarctic with NO population.

Talk about padding out your homework.

02.04.2025 21:35 β€” πŸ‘ 32    πŸ” 13    πŸ’¬ 6    πŸ“Œ 0
Author here. I think the Rust vs. Go question is interesting. I actually origina... | Hacker News

I agree - I wouldn't want to do this in a language that lacks algebraic data types and pattern matching. But it is interesting that `esbuild` also chose to use Go (after attempting Rust): news.ycombinator.com/item?id=2233...

11.03.2025 23:49 β€” πŸ‘ 5    πŸ” 0    πŸ’¬ 0    πŸ“Œ 0

My five year old: β€œI never get popcorn! I think it’s not popcorn season yet. When is popcorn season?”

02.03.2025 03:55 β€” πŸ‘ 0    πŸ” 0    πŸ’¬ 0    πŸ“Œ 0
Video thumbnail

here's one from 2022 the #stinkeggs song with the velvet voice of @tinybabbyboy.bsky.social and piano accompaniment by @sarahlynneguthrie.bsky.social

28.02.2025 00:44 β€” πŸ‘ 58    πŸ” 5    πŸ’¬ 5    πŸ“Œ 0

@dunhamsteve is following 11 prominent accounts