peterb from Tea Leaves Programming @peterb.bsky.social · 29/09/2026This is a man who may have never read a single comic book. 030
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 · 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 · 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 · 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. 185
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 · 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 · 04/09/2026Me hitting 99% of my Claude token limit seconds before the reset. 020
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 · 01/09/2026Seriously WTF is wrong with you 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 · 21/08/2026A small preview of upcoming #lean and #rust videos on my channel at www.youtube.com/TeaLeavesPro.... Videos go public every Friday at 10:30 am; "early access" members get access to all videos when they are posted (so if you're early access, you can watch all of the below videos *right now*.) 010
peterb from Tea Leaves Programming @peterb.bsky.social · 17/08/2026This is how I actually write code. 030
peterb from Tea Leaves Programming @peterb.bsky.social · 13/08/2026The pro-AI and anti-AI people are holding a competition to see who can make me hate them and their stupid arguments more. This post puts the anti's FIRMLY in the lead. 100
peterb from Tea Leaves Programming @peterb.bsky.social · 12/08/2026A, Always. B, Be. TWUS, Typing Weird Unicode Symbols. 000
peterb from Tea Leaves Programming @peterb.bsky.social · 10/08/2026After reading this I now support a Constitutional amendment permitting the family of Joan Rivers to have Ben Stein imprisoned for life. 000
peterb from Tea Leaves Programming @peterb.bsky.social · 06/08/2026Accountants have things like this too. 010
peterb from Tea Leaves Programming @peterb.bsky.social · 05/08/2026My most AI-booster coded opinion is that every compiler (yes, EVERY COMPILER) needs to ship with a small local ML model that runs whenever a compile fails and tells you what the syntax error in your code actually is instead of whatever useless bullshit the compiler's error message contains. 010
peterb from Tea Leaves Programming @peterb.bsky.social · 02/08/2026I am in love with this "centered dot as the value waiting to be applied" syntax. 001
peterb from Tea Leaves Programming @peterb.bsky.social · 02/08/2026Restructured the shift operations (ASL, LSR, ROL, ROR) to be a little more Clever™ and streamlined in the Lean 6502 emulator. Lean on the left, Haskell on the right. There's nothing intrinsically lean-specific about this, it's just me repeating myself less. 010
peterb from Tea Leaves Programming @peterb.bsky.social · 24/07/2026They are, in fact, all competing in the same market. 010
peterb from Tea Leaves Programming @peterb.bsky.social · 23/07/2026My new favorite genre of Dumb Internet Post is "Why in Nolan's Odyssey did Thing Happen?" when, in every case, when Thing Happened, someone on screen looked directly at the camera and says "We're Doing Thing, Because X." I didn't want to believe "people are bad at watching movies," but it's true. 210
peterb from Tea Leaves Programming @peterb.bsky.social · 21/07/2026`sorry` as the undefined value in Lean 4 makes it MUCH funnier to stub out code than #haskell 020
peterb from Tea Leaves Programming @peterb.bsky.social · 19/07/2026I regret to inform you that I am back on my bullshit. 130
peterb from Tea Leaves Programming @peterb.bsky.social · 19/07/2026And I've really tried to follow the Dragon's advice. It's good advice. 010
peterb from Tea Leaves Programming @peterb.bsky.social · 08/07/2026Can we just appreciate that @joycecaroloates.bsky.social has spent an ENTIRE LIFETIME punching above her weight and calling bullshit on dumb things that everyone around her stupidly believes? 000
peterb from Tea Leaves Programming @peterb.bsky.social · 01/07/2026Nice, they used an actual reference photo #Pittsburgh. (The Fury of Firestorm #2), Lenore/De La Torre) 030
peterb from Tea Leaves Programming @peterb.bsky.social · 29/06/2026Just found a second fantastic example! 110
peterb from Tea Leaves Programming @peterb.bsky.social · 29/06/2026I found a great one on this exact thread, some totally unhinged dude. 100
peterb from Tea Leaves Programming @peterb.bsky.social · 28/06/2026Happy to announce my new #Haskell library, BetterNaming, which at just 5 lines massively improves the ergonomics of the language. 1182
peterb from Tea Leaves Programming @peterb.bsky.social · 26/06/2026The thing about engagement bait is that by its nature it makes you turn up the enshittification dial higher and higher until eventually you're just pooping out stuff like this that you don't actually believe because you want the meat pellet machine to give you a kibble. 120
peterb from Tea Leaves Programming @peterb.bsky.social · 23/06/2026Superman vs. Meshi: look i'm not gonna lie, "Superman flies to Japan every day just to eat japanese family restaurant lunch food" is a great premise because this is absolutely what i would do with my powers if i were Superman. 000
peterb from Tea Leaves Programming @peterb.bsky.social · 14/06/2026Allowing your #haskell code to be lazy by default on any program of meaningful size. 010
peterb from Tea Leaves Programming @peterb.bsky.social · 11/06/2026Wednesday nights in #Pittsburgh are for Rick Sebak spinning discs at The Independent. @opg.bsky.social 040
peterb from Tea Leaves Programming @peterb.bsky.social · 05/06/2026Hi folks, in this difficult time of Graham Platner discourse I'd like to offer this set of Rumiko Takahashi panels as a reaction image for anyone who needs it. 020
peterb from Tea Leaves Programming @peterb.bsky.social · 01/06/2026OK I'm going to say something controversial here: no you wouldn't. 100
peterb from Tea Leaves Programming @peterb.bsky.social · 28/05/2026We are reaching never before seen levels of Too Online. It is 100% impossible that this person wrote this post without using an LLM to maximize the engagement rage. 110
peterb from Tea Leaves Programming @peterb.bsky.social · 26/05/2026Chile (aka "Vertical Russia" is the WORST. 000
peterb from Tea Leaves Programming @peterb.bsky.social · 23/05/2026@whstancil.bsky.social A play in 4 acts. I call it "Rich people really hate being told they're rich." 001
