peterb from Tea Leaves Programming @peterb.bsky.social · 29/09/2026Martin 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/2026The 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/2026Some magnificent bastard basically made Haskell but for Proto-Indo-European. 170
peterb from Tea Leaves Programming @peterb.bsky.social · 28/09/2026How 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.comSlapp Happy - Casablanca MoonYouTube video by shutalo 000
peterb from Tea Leaves Programming @peterb.bsky.social · 27/09/2026Average AI dude on social media this weekend. IYKYK. 000
peterb from Tea Leaves Programming @peterb.bsky.social · 25/09/20266502 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.com6502 Opcodes in LeanYouTube video by Tea Leaves 000
peterb from Tea Leaves Programming @peterb.bsky.social · 23/09/2026People 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/2026Reading "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/2026Those aren't pen lines. Those are freaking BRUSH LINES. 010
peterb from Tea Leaves Programming @peterb.bsky.social · 21/09/2026This 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/2026This 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/2026What city were the Midway City exterior scenes filmed at? #Lanterns @jamesgunn.bsky.social 000
peterb from Tea Leaves Programming @peterb.bsky.social · 18/09/2026Tired: "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/2026ChipWits 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.com6502 Forever: Chipwits WorldsYouTube video by Tea Leaves 010
peterb from Tea Leaves Programming @peterb.bsky.social · 17/09/2026Every 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/2026Gamers, Just Let People Enjoy Things Challenge (level: impossible) 000
peterb from Tea Leaves Programming @peterb.bsky.social · 16/09/2026ML 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/2026I 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/2026the Substack article has very strong “I can fix her” energy 010
peterb from Tea Leaves Programming @peterb.bsky.social · 13/09/2026Me and @psu-1313.bsky.social did a “let’s read” of this issue. Zero Page: Reading Byte's 1979 "LISP Issue" youtu.be/WQEJ1aDY9Z4youtu.beZero Page: Reading Byte's 1979 "LISP Issue"YouTube video by Tea Leaves 000
peterb from Tea Leaves Programming @peterb.bsky.social · 12/09/2026Software 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/2026For those of us who remember Tony Mowod music.apple.com/us/album/hym... @opg.bsky.socialmusic.apple.comHymn To Friday by Oscar Brown, Jr. on Apple MusicSong · 1960 · Duration 2:11 000
peterb from Tea Leaves Programming @peterb.bsky.social · 11/09/2026Today 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/-0fkGKg9MeEyoutu.beRust for Dilettantes 6: Move SemanticsYouTube video by Tea Leaves 000
peterb from Tea Leaves Programming @peterb.bsky.social · 10/09/2026I 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. 000
peterb from Tea Leaves Programming @peterb.bsky.social · 10/09/2026I'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/2026Today: The best Wikipedia page you never read. 000
peterb from Tea Leaves Programming @peterb.bsky.social · 10/09/2026If 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/2026My 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/2026TLDR: 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/2026My 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...) 100
peterb from Tea Leaves Programming @peterb.bsky.social · 05/09/2026DARK SOULS (From Software, 2011) 040
peterb from Tea Leaves Programming @peterb.bsky.social · 04/09/2026Me hitting 99% of my Claude token limit seconds before the reset. 020
peterb from Tea Leaves Programming @peterb.bsky.social · 04/09/2026As 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.comNES Emulator in Lean - Porting the CPUYouTube video by Tea Leaves 100
peterb from Tea Leaves Programming @peterb.bsky.social · 03/09/2026FINALLY I have discovered a great use for LLMs (that will make Irish people want to murder me.) 130
peterb from Tea Leaves Programming @peterb.bsky.social · 03/09/2026Really 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/2026The 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/2026Working 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 · 30/08/2026This Really Bad Chess leaderboard placement will never ever happen again. 000
peterb from Tea Leaves Programming @peterb.bsky.social · 30/08/2026Tragic: 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/2026Zitron'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/2026Rust for Dilettantes: Vectors Thumbnail Painting: "Portrait of Bianca degli Utili Maselli and Her Children" (1604) by Lavinia Fontana youtu.be/C97AxzFqfgcyoutu.beRust for Dilettantes 5 - VectorsYouTube video by Tea Leaves 000
peterb from Tea Leaves Programming @peterb.bsky.social · 23/08/2026Excellent 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/2026My 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/2026Gustavo Gordillo is the reification of the girl in the song "Common People" send tweet 010