peterb from Tea Leaves Programming
@peterb.bsky.social
effort + coffee = software. See also @peterb@mathstodon.xyz
My favorite medical thing is when i "save time by pre-registering" for an appointment and then i get to the appointment and i have to register anyway. Yes, UPMC, I am subtweeting you.
January 16, 2026 at 3:10 PM
My favorite medical thing is when i "save time by pre-registering" for an appointment and then i get to the appointment and i have to register anyway. Yes, UPMC, I am subtweeting you.
New Haskell for Dilettantes video: Monoids
Thumbnail painting: "A Tale From The Decameron" by John William Waterhouse (1916)
www.youtube.com/watch?v=9Fgv...
Thumbnail painting: "A Tale From The Decameron" by John William Waterhouse (1916)
www.youtube.com/watch?v=9Fgv...
Haskell For Dilettantes - Monoids and Abstraction
YouTube video by Tea Leaves
www.youtube.com
January 16, 2026 at 1:51 PM
New Haskell for Dilettantes video: Monoids
Thumbnail painting: "A Tale From The Decameron" by John William Waterhouse (1916)
www.youtube.com/watch?v=9Fgv...
Thumbnail painting: "A Tale From The Decameron" by John William Waterhouse (1916)
www.youtube.com/watch?v=9Fgv...
relevant to our earlier thread: @lesbianmonad.com
This post got mentioned in the ether, so here is a link to it:
"The thing you think you want, but don't have, is always better in your brain than it actually will be in real life"
mutable-states.com/the-latent-o...
"The thing you think you want, but don't have, is always better in your brain than it actually will be in real life"
mutable-states.com/the-latent-o...
Mutable States - The Latent Object
mutable-states.com
January 15, 2026 at 8:41 PM
relevant to our earlier thread: @lesbianmonad.com
Danbo is the best cheese for omelettes and it isn't close.
January 15, 2026 at 1:38 PM
Danbo is the best cheese for omelettes and it isn't close.
Genndy Tartakovsky's "Unicorn: Warriors Eternal" was too pure for this world.
January 15, 2026 at 1:31 AM
Genndy Tartakovsky's "Unicorn: Warriors Eternal" was too pure for this world.
Reposted by peterb from Tea Leaves Programming
ive seen more articles this week about how the phrase “abolish ice” could hurt dems in the midterms than ive seen articles about how paramilitary death squads terrorizing cities will hurt republicans in the midterms
January 14, 2026 at 1:09 PM
ive seen more articles this week about how the phrase “abolish ice” could hurt dems in the midterms than ive seen articles about how paramilitary death squads terrorizing cities will hurt republicans in the midterms
It's been a minute, so I'm revising the look of the thumbnails on my channel; instead of using AI-generated pixel art, I'm raiding the world's vast store of out-of-copyright paintings. Also trying to be a little more considered about the font. Before/After images for the next video are below.
January 12, 2026 at 4:56 PM
It's been a minute, so I'm revising the look of the thumbnails on my channel; instead of using AI-generated pixel art, I'm raiding the world's vast store of out-of-copyright paintings. Also trying to be a little more considered about the font. Before/After images for the next video are below.
I've read several books about Hiroshima and Nagasaki lately and what I've learned is that the advice in the "Duck and Cover!" video that everyone makes fun of is in fact based on the experiences of the few survivors...most of whom ducked and covered. www.youtube.com/watch?v=C4rM...
Let's Play B-1 Nuclear Bomber (1980)
YouTube video by Tea Leaves
www.youtube.com
January 10, 2026 at 9:05 PM
I've read several books about Hiroshima and Nagasaki lately and what I've learned is that the advice in the "Duck and Cover!" video that everyone makes fun of is in fact based on the experiences of the few survivors...most of whom ducked and covered. www.youtube.com/watch?v=C4rM...
Peeled a navel orange and it had two seeds in it. Day ruined.
January 10, 2026 at 7:44 PM
Peeled a navel orange and it had two seeds in it. Day ruined.
@opg.bsky.social Did you see this shirt on Dr. Robbie yet?
January 10, 2026 at 4:38 PM
@opg.bsky.social Did you see this shirt on Dr. Robbie yet?
Reposted by peterb from Tea Leaves Programming
People griping about software I write: rude, entitled, symptom of a world where unpleasantness is rewarded
Me griping about software other people write: radically honest, fair-minded, an exercise of belief that we can all do better
Me griping about software other people write: radically honest, fair-minded, an exercise of belief that we can all do better
January 10, 2026 at 12:57 AM
People griping about software I write: rude, entitled, symptom of a world where unpleasantness is rewarded
Me griping about software other people write: radically honest, fair-minded, an exercise of belief that we can all do better
Me griping about software other people write: radically honest, fair-minded, an exercise of belief that we can all do better
Last week I had a brainwave and, while trying to learn Lean 4, I pulled out the Incredible Proof Machine to work the same proofs visually (in IPM) and in code (in Lean). This turned out to be incredibly effective in helping me understand the mechanics of each.
youtu.be/7dx3j5Ze5vw
youtu.be/7dx3j5Ze5vw
Proofs Twice
YouTube video by Tea Leaves
youtu.be
January 9, 2026 at 1:46 PM
Last week I had a brainwave and, while trying to learn Lean 4, I pulled out the Incredible Proof Machine to work the same proofs visually (in IPM) and in code (in Lean). This turned out to be incredibly effective in helping me understand the mechanics of each.
youtu.be/7dx3j5Ze5vw
youtu.be/7dx3j5Ze5vw
SUPER IMPORTANT POLL: You are going to see a movie in the movie theater. You're figuring out when to time your arrival. The ideal time for arriving is:
(A) Before the trailers, so you can see the trailers
(B) You sit down just a moment before the actual movie begins
(A) Before the trailers, so you can see the trailers
(B) You sit down just a moment before the actual movie begins
January 9, 2026 at 4:16 AM
SUPER IMPORTANT POLL: You are going to see a movie in the movie theater. You're figuring out when to time your arrival. The ideal time for arriving is:
(A) Before the trailers, so you can see the trailers
(B) You sit down just a moment before the actual movie begins
(A) Before the trailers, so you can see the trailers
(B) You sit down just a moment before the actual movie begins
Hell yeah.
January 9, 2026 at 4:08 AM
Hell yeah.
I'm voting for whichever candidate maximally adopts the "Prosecute ICE" position.
AOC: This has now become what we feared most about ICE for a long time—that it would be used as an anti-civilian force with no accountability. At the end of the day, what we saw today was a murder, and murders in cold blood need to be prosecuted.
January 8, 2026 at 6:07 PM
I'm voting for whichever candidate maximally adopts the "Prosecute ICE" position.
Shocking that the woman who enjoys shooting dogs for fun turns out to like murdering bystanders.
This kind of crass, absurd and obscene embrace of willful murder from a top official is basically participation in murder after the fact
Noem: "People need to stop using their vehicles as weapons ... it's clear that it's being coordinated. People are being trained"
January 8, 2026 at 1:16 AM
Shocking that the woman who enjoys shooting dogs for fun turns out to like murdering bystanders.
I am utterly certain that at this very moment, as you read this, someone is filing for divorce over this idea.
January 7, 2026 at 1:12 PM
I am utterly certain that at this very moment, as you read this, someone is filing for divorce over this idea.
Trade offer!
January 7, 2026 at 1:06 AM
Trade offer!
I like how every ABBA video seems like it might have been filmed in the domed city from _Logan's Run_.
January 6, 2026 at 11:02 PM
I like how every ABBA video seems like it might have been filmed in the domed city from _Logan's Run_.
My hottest financial take is that if your bank can't generate a statement of activity, at, like, 12:01:01 am of the 1st of each month, you are bad at your job of being a bank.
If the bank you run hasn't made December statements available yet I MIGHT BE TALKING ABOUT YOU.
If the bank you run hasn't made December statements available yet I MIGHT BE TALKING ABOUT YOU.
January 6, 2026 at 4:31 PM
My hottest financial take is that if your bank can't generate a statement of activity, at, like, 12:01:01 am of the 1st of each month, you are bad at your job of being a bank.
If the bank you run hasn't made December statements available yet I MIGHT BE TALKING ABOUT YOU.
If the bank you run hasn't made December statements available yet I MIGHT BE TALKING ABOUT YOU.
Cutting down a video from 30 minutes to 12 just by removing every time I say "uhhhh".
January 4, 2026 at 8:15 PM
Cutting down a video from 30 minutes to 12 just by removing every time I say "uhhhh".
God help me I'm gonna actually make a video mashing together Lean 4 and the Incredible Proof Machine, huh? WHAT IS WRONG WITH ME
January 4, 2026 at 2:05 AM
God help me I'm gonna actually make a video mashing together Lean 4 and the Incredible Proof Machine, huh? WHAT IS WRONG WITH ME
