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

QFMFT

Mike Caulfield@mikecaulfield.bsky.social · 11h ago

What boot theory is online is not really policy but a bunch of people who have formed some portion of their identity around the quality of goods they buy who also want to be supportive of the poor and are trying to figure out a way to reconcile the two.

They're calling it the KFC Famous Bowl of operas! @pattonoswalt.bsky.social Tangent: my hottest opera take is: We need to stop being afraid of editing Wagner. It's normal for productions to cut scenes out of Hamlet. It should be normal for productions to cut scenes out of Wagner.

Josh Spero@joshspero.ft.com · 3d ago

"At first you think you might die of boredom. Then you fear that you might not." as.ft.com/r/dee29232-a...

I am in love with this "centered dot as the value waiting to be applied" syntax.

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

Porting a Nintendo Emulator from #haskell to #lean4 Today we're porting some of the opcodes/instructions from my Haskell 6502 emulator to Lean 4. youtube.com/live/IUIOexO...

Emulating a Nintendo in Lean Prover

YouTube video by Tea Leaves

youtube.com

Live Lean 4 NES emulator development youtube.com/live/tSajD4F...

Lean 4 NES Emulator Development Stream

YouTube video by Tea Leaves

youtube.com

New Video: Rust for Dilettantes We continue working through Rustlings - in this episode, looking at the "if" section. The thumbnail painting is "Magdalene With The Smoking Flame", by Georges de La Tour (1640) youtu.be/bVxTXu-vlgg

Rust for Dilettantes 3 - If

YouTube video by Tea Leaves

youtu.be

HELL YEAH.

greeble 🌙@greeble.io · 6d ago

You should be mad about the books they aren’t scanning, if anything

(I Can't Get No) Satisficing (yes this is @besttrousers.bsky.social-bait)

I'm sorry, Pittsburgh, but Mancini's bread is awful and I'm tired of everyone pretending it's not.

lo-fi music is Gen Z Muzak send tweet

100% accurate.

Vituperative Erb@vituperativeerb.bsky.social · last wk.

It is pretty clear to me that if Stancil had proposed the idea “the mayor should open a store and sell food to poor people” these exact same people would be denouncing him as a neoliberal ghoul

Listen I know I'm an easy date, but I will ABSOLUTELY 100% watch a new film adaptation of The Iliad in which every single character has a dog.

Louise@selkies.bsky.social · last wk.

Is this a good time to mention that in college my History of Translation lecturer (Michael Cronin) told us that one of the first vernacular translations of The Illiad was into Irish, and the translator had to give the main characters dogs because in Gaelic society a free man had a dog

My reaction to any programming language introducing macros in chapter 1 of their tutorial is “Oh, so you forgot to actually design your programming language, huh?”

can I say something without everyone getting mad

Lexi Darling@lexidarlingxoxo.bsky.social · last wk.

me trying to get pictures to explain my taste in men to someone but not wanting to just google something generic like 'large guys' so i google 'husky gentlemen' and well. i don't know what i expected

A #lean4 paper cut that I hate: it absolutely kills me that they mixed the fields `val` and `property` on Subtype, so every time i try to use it i go down the dead ends of trying BOTH `value` and `prop` and being wrong.

The best David Bowie album, and it is not close, is Scary Monsters (And Super Creeps). I will be taking no questions at this time.

"Gen Z’s relationship to labor is more transactional than sentimental." Hi, Gen X here. EVERYONE'S RELATIONSHIP TO LABOR IS TRANSACTIONAL. THAT'S WHY IT'S CALLED "WORK". www.nytimes.com/2026/07/23/o...

Opinion | Gen Z Fell Out of Love With Work. I Don’t Blame Them.

For Gen Z college graduates, the way millennials lived out their ambitions no longer makes sense.

nytimes.com

New video: An NES emulator in a theorem prover???!? youtu.be/3TBUiTS6wyY Thumbnail Painting: "Spear Fishing on Lake Krøderen" (1851) by Hans Gude and Adolph Tidemand

An NES Emulator in Lean Prover?

YouTube video by Tea Leaves

youtu.be

My only opinion about this is that the protagonist of Yar's Revenge MUST be named Ray. @sehugg.bsky.social

Wario64@wario64.bsky.social · 2w ago

Atari Makes Universal Movie Deal For 10 Iconic Game Properties -Asteroids -Adventure -Berzerk -Breakout -Centipede -Crystal Castles -Millipede -Missile Command -Pong -Yars’ Revenge deadline.com/2026/07/atar...

I regret to inform you they continue to make games solely for me: store.steampowered.com/app/3950130/...

Save 15% on Database Detective: Minor Crimes Division on Steam

Solve criminal cases through the power of SQL queries! Help out the city of Los Zorangeles by becoming a Database Detective in this new (unpaid) work from home opportunity.

store.steampowered.com

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

Nolan's Odyssey is a melding of two movies. One is a thoughtful Nolan psychological drama. The other is a Ray Harryhausen stop-motion adventure like "The 7th Voyage of Sinbad" or "Jason and the Argonauts". This is not a complaint.

Let me do one quick load-bearing check. What would you like me to do regarding the next step for this task? 1. Actually do what you asked of me. 2. What if, instead, I just don't do it 3. Let's go off on this unrelated tangent. 4. Chat about this.

`sorry` as the undefined value in Lean 4 makes it MUCH funnier to stub out code than #haskell

I don’t know how to explain this rigorously, but perhaps the best thing about Pittsburgh compared to many of the other places I go is that in popular places the Douchebag Quotient is astonishingly low.

I regret to inform you that I am back on my bullshit.

The cookie table is not the only example of why Pittsburgh > San Francisco, but it might be the best.

Shaenon K. Garrity@shaenon.bsky.social · 3w ago

I posted too soon, they added more cookies

And I've really tried to follow the Dragon's advice. It's good advice.