Sign in

peterb from Tea Leaves Programming

@peterb.bsky.social
266 followers 176 following 2.4K posts

effort + coffee = software. See also @peterb@mathstodon.xyz

PostsRepliesMedia
peterb from Tea Leaves Programming @peterb.bsky.social · 29/09/2026
Martin Amis once wrote "It was...a symmetrical convenience—for Stalin—that a true description of the Soviet Union exactly resembled a demented slander of the Soviet Union." So anyway this is a subtweet about the EA / AI community in the Bay Area.
000
peterb from Tea Leaves Programming @peterb.bsky.social · 28/09/2026
The entire problem with monads - the WHOLE ISSUE - is that it's a dumb name, and I'm tired of pretending it isn't. If they were called "sequenceables" everyone would understand them immediately.
000
peterb from Tea Leaves Programming @peterb.bsky.social · 28/09/2026
Some magnificent bastard basically made Haskell but for Proto-Indo-European.
170
peterb from Tea Leaves Programming @peterb.bsky.social · 28/09/2026
How is it possible that Slapp Happy's _Casablanca Moon_ hasn't made it into a TV or movie soundtrack yet? www.youtube.com/watch?v=ppq9...
youtube.com
Slapp Happy - Casablanca Moon
YouTube video by shutalo
000
peterb from Tea Leaves Programming @peterb.bsky.social · 27/09/2026
Average AI dude on social media this weekend. IYKYK.
000
peterb from Tea Leaves Programming @peterb.bsky.social · 25/09/2026
6502 Opcodes in Lean! I continue porting my NES emulator from #Haskell to #Lean. In this edited (and much shorter) version of the 4-hour livestream, I muse about syntax and my philosophy of programming. The thumbnail painting is Gisele (1908) by Kees Van Dongen www.youtube.com/watch?v=EuYn...
youtube.com
6502 Opcodes in Lean
YouTube video by Tea Leaves
000
peterb from Tea Leaves Programming @peterb.bsky.social · 23/09/2026
People who believe they it's meaningless authoritarianism to say people can't bring an iced coffee to a job interview are going to lose their minds when they learn about what the "no brown M&M's" rider was for.
100
peterb from Tea Leaves Programming @peterb.bsky.social · 23/09/2026
"Pffft PittGirl is overreacting again, this sounds like normal Pittsburgh politics, it couldn't possibly be as bad as she is sayiJUMPIN' JEHOSEPHAT WHAT? HAHAHAHAHAHAHAHAHA"
100
peterb from Tea Leaves Programming @peterb.bsky.social · 22/09/2026
Reading "text elemental" as the description of an LLM is a real Oscar Wilde "I wish I had said that" moment.
020
peterb from Tea Leaves Programming @peterb.bsky.social · 22/09/2026
Those aren't pen lines. Those are freaking BRUSH LINES.
010
peterb from Tea Leaves Programming @peterb.bsky.social · 21/09/2026
This is absolutely the dynamic in rationalist and EA-adjacent spaces. Do they just not teach Pascal's wager at school anymore or....?
020
peterb from Tea Leaves Programming @peterb.bsky.social · 21/09/2026
This latest "EA's are determined to prove they understand neither altruism nor being effective" discourse about insects is an example of Kurt Vonnegut's advice from the book Mother Night: "We are what we pretend to be, so we must be careful about what we pretend to be."
000
peterb from Tea Leaves Programming @peterb.bsky.social · 21/09/2026
What city were the Midway City exterior scenes filmed at? #Lanterns @jamesgunn.bsky.social
000
peterb from Tea Leaves Programming @peterb.bsky.social · 19/09/2026
FACT CHECK: true.
001
peterb from Tea Leaves Programming @peterb.bsky.social · 18/09/2026
Tired: "What's your p(doom)?" Wired: "What are the assumptions and probabilities that go into calculating your p(doom)? Show your work."
000
peterb from Tea Leaves Programming @peterb.bsky.social · 18/09/2026
ChipWits was a 1984 Mac programming game recently remade for Mac+Windows. In Chipwits Worlds, you program bots directly in 6502 assembly language. Let's check it out. Thumbnail image: A still from Fritz Lang's movie Metropolis. www.youtube.com/watch?v=wHLB... (@snell.zone probably cares...)
youtube.com
6502 Forever: Chipwits Worlds
YouTube video by Tea Leaves
010
peterb from Tea Leaves Programming @peterb.bsky.social · 17/09/2026
Every single fact I have learned about effective altruists has been against my will, so at least their practices are consistent.
010
peterb from Tea Leaves Programming @peterb.bsky.social · 17/09/2026
Gamers, Just Let People Enjoy Things Challenge (level: impossible)
000
peterb from Tea Leaves Programming @peterb.bsky.social · 16/09/2026
ML Researchers: we added an input to the system that introduces randomness. LLM: [does something unpredicted] ML Researchers:
000
peterb from Tea Leaves Programming @peterb.bsky.social · 14/09/2026
I used to like Talking Heads, but I was really disappointed in how David Bowie treated the other members of the band.
000
peterb from Tea Leaves Programming @peterb.bsky.social · 13/09/2026
the Substack article has very strong “I can fix her” energy
010
peterb from Tea Leaves Programming @peterb.bsky.social · 13/09/2026
Me and @psu-1313.bsky.social did a “let’s read” of this issue. Zero Page: Reading Byte's 1979 "LISP Issue" youtu.be/WQEJ1aDY9Z4
youtu.be
Zero Page: Reading Byte's 1979 "LISP Issue"
YouTube video by Tea Leaves
000
peterb from Tea Leaves Programming @peterb.bsky.social · 12/09/2026
Software developers when asked if maybe they could reduce the number of security holes and bugs in their software by using formal verification techniques.
063
peterb from Tea Leaves Programming @peterb.bsky.social · 11/09/2026
For those of us who remember Tony Mowod music.apple.com/us/album/hym... @opg.bsky.social
music.apple.com
Hymn To Friday by Oscar Brown, Jr. on Apple Music
Song · 1960 · Duration 2:11
000
peterb from Tea Leaves Programming @peterb.bsky.social · 11/09/2026
Today we get into the first chapter of Rustlings that tackles something truly Rust-specific: move semantics. Peter is unimpressed with Rust so far, and also with Rustlings as a didactic tool. Thumbnail painting: "The Execution of Lady Jane Grey" (1833) by Paul Deleroche youtu.be/-0fkGKg9MeE
youtu.be
Rust for Dilettantes 6: Move Semantics
YouTube video by Tea Leaves
000
peterb from Tea Leaves Programming @peterb.bsky.social · 10/09/2026
I know the Zelda remake is on everyone's mind, but this topic actually came up in context of the Wizardry I remake. Remakes are good. Engaging with art is good. Remaking a work of art is not inherently disrespectful.
Remaking art is not disrespectful.
000
peterb from Tea Leaves Programming @peterb.bsky.social · 10/09/2026
I've arrived at the conclusion that "AI Doom" takes are wrong by applying the ironclad rule of "religious apocalyptic predictions are always, 100% of the time, wrong" and AI doomerism seems to simply be the latest bad religion.
100
peterb from Tea Leaves Programming @peterb.bsky.social · 10/09/2026
Today: The best Wikipedia page you never read.
000
peterb from Tea Leaves Programming @peterb.bsky.social · 10/09/2026
If you want a "non-adaptation" example, _La Traviata_ has been staged approximately 6,700 times.
000
peterb from Tea Leaves Programming @peterb.bsky.social · 10/09/2026
My main observation to people upset at the existence of the Ocarina of Time remake (yes, I am going to play it) is: The Count of Monte Cristo has been made into a film over 25 times.
110
peterb from Tea Leaves Programming @peterb.bsky.social · 08/09/2026
/signed. This is an AAA+++ 10/10 would buy on eBay again use of LLMs.
000
peterb from Tea Leaves Programming @peterb.bsky.social · 08/09/2026
TLDR: OpenAI researcher saying "Awfully nice proof you've got there. Would be a real shame if something...*happened* to it."
020
peterb from Tea Leaves Programming @peterb.bsky.social · 06/09/2026
My friend Nate is taunting me by posting AI summaries of my video from last year about how I'm ambivalent about AI. (Original video: www.youtube.com/watch?v=oOcL...)
AI summary of my video
100
peterb from Tea Leaves Programming @peterb.bsky.social · 05/09/2026
DARK SOULS (From Software, 2011)
040
peterb from Tea Leaves Programming @peterb.bsky.social · 04/09/2026
Me hitting 99% of my Claude token limit seconds before the reset.
020
peterb from Tea Leaves Programming @peterb.bsky.social · 04/09/2026
As part of boot-strapping the NES emulator, I port my 6502 CPU emulator from #Haskell to #Lean. Some architectural changes are made. Thumbnail painting: La Bohémienne Endormie (1897) by Henri Rousseau www.youtube.com/watch?v=li1D...
youtube.com
NES Emulator in Lean - Porting the CPU
YouTube video by Tea Leaves
100
peterb from Tea Leaves Programming @peterb.bsky.social · 03/09/2026
FINALLY I have discovered a great use for LLMs (that will make Irish people want to murder me.)
Here's a challenge for you. This is the first page of Finnegan's wake. *without footnotes or deep explanations", try to translate it "directly" into middle-school level English. It is fine if you lose detail as long as you follow the main thrust (if you can discern it) of the words.
A river flows past Dublin, looping around from the shore to the bay, and brings us in a big circle right back to Howth Castle and its surrounding towns.
A guy named Sir Tristram sailed across the short sea from France back to Ireland to fight his battles over again. Things were happening along the rivers and towns, people were arguing and playing games, and nobody had shouted out baptisms or strange curses yet. A young guy hadn't attacked an old man yet, and twin sisters weren't mad at anyone yet either. Nobody had even brewed any beer yet, and the rainbow hadn't shown up over the water.Then, with a giant, noisy crash, an old guy named Finnegan fell down and died. His big fall is talked about everywhere from when you wake up in bed to later on in life, told through songs and stories. Because Finnegan, a solid working man, fell off a wall so suddenly, his bumpy hill of a head makes people go look for his toes. Where he fell and where his grave is located is at a specific spot in the park where fruit has been rotting on the grass since the beginning of time.
130
peterb from Tea Leaves Programming @peterb.bsky.social · 03/09/2026
Really looking forward to not being able to download models from HuggingFace except by booting my Windows machine and running the NVIDIA App.
000
peterb from Tea Leaves Programming @peterb.bsky.social · 03/09/2026
The replies to this post are an incredible resource that tells you who to block based on how upset they are at being told "Don't form an angry mob."
4181
peterb from Tea Leaves Programming @peterb.bsky.social · 02/09/2026
Working on a personal project with Claude Opus, restarted a few hours later and didn't notice the client had defaulted me to the Haiku model, and it was like the final 20 minutes of _Flowers for Algernon_.
010
peterb from Tea Leaves Programming @peterb.bsky.social · 01/09/2026
I see this ALL THE TIME.
000
peterb from Tea Leaves Programming @peterb.bsky.social · 30/08/2026
This Really Bad Chess leaderboard placement will never ever happen again.
000
peterb from Tea Leaves Programming @peterb.bsky.social · 30/08/2026
Tragic: through a series of bad decisions I have managed to put the best ink I've ever bought in the worst fountain pen I've ever bought.
150
peterb from Tea Leaves Programming @peterb.bsky.social · 29/08/2026
Zitron's best point is the extent to which people aren't engaging with their cost because they're subsidized. That's lost in his loggorhea because he captured himself - this is how he's monetized. If he changed his mind about LLMs, it is impossible for him to say that and still make a living.
000
peterb from Tea Leaves Programming @peterb.bsky.social · 28/08/2026
Rust for Dilettantes: Vectors Thumbnail Painting: "Portrait of Bianca degli Utili Maselli and Her Children" (1604) by Lavinia Fontana youtu.be/C97AxzFqfgc
youtu.be
Rust for Dilettantes 5 - Vectors
YouTube video by Tea Leaves
000
peterb from Tea Leaves Programming @peterb.bsky.social · 25/08/2026
Carthago delenda est
000
peterb from Tea Leaves Programming @peterb.bsky.social · 25/08/2026
Tweet of the year here.
000
peterb from Tea Leaves Programming @peterb.bsky.social · 23/08/2026
Excellent thoughts on LLMs/"AI" here. Pete (the other Pete) wrestles directly with the contradiction between "Coding LLMs create real value for individual programmers" and "They're still not a silver bullet" both being true. Everyone's favorite law, Amdahl's Law, is discussed.
131
peterb from Tea Leaves Programming @peterb.bsky.social · 23/08/2026
My hot Omarchy take is that being mad that someone wants to waste money funding it is weird.
000
peterb from Tea Leaves Programming @peterb.bsky.social · 22/08/2026
Gustavo Gordillo is the reification of the girl in the song "Common People" send tweet
010