peterb from Tea Leaves Programming's Avatar

peterb from Tea Leaves Programming

@peterb

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

210
Followers
145
Following
1,439
Posts
03.07.2023
Joined
Posts Following

Latest posts by peterb from Tea Leaves Programming @peterb

Me implementing the Pixel Processing Unit in EmuDevz: Gosh, Nintendo Entertainment System graphics are sort of complicated.

Me implementing the Audio Processing Unit in EmuDevz: GRAPHICS ARE FOR LITTLE BABIES. ABANDON ALL HOPE YE WHO ENTER HERE.

07.03.2026 14:20 ๐Ÿ‘ 0 ๐Ÿ” 0 ๐Ÿ’ฌ 0 ๐Ÿ“Œ 0
Post image

I'd like to share the good news that I may or may not be the Queen of Roumania.

06.03.2026 18:19 ๐Ÿ‘ 0 ๐Ÿ” 0 ๐Ÿ’ฌ 0 ๐Ÿ“Œ 0
OK, I Give Up (EmuDevz)
OK, I Give Up (EmuDevz) YouTube video by Tea Leaves

New video: "OK, I Give Up". The brief story of how and why I ragequit EmuDevz. (Spoiler: in the next episode I un-rage-quit and keep up with it.)

Thumbnail painting: "The Death of Socrates" by Jacques-Louis David (1787)

youtu.be/Ye-T9E3GFRI

06.03.2026 15:51 ๐Ÿ‘ 0 ๐Ÿ” 0 ๐Ÿ’ฌ 0 ๐Ÿ“Œ 0
Post image
06.03.2026 15:00 ๐Ÿ‘ 0 ๐Ÿ” 0 ๐Ÿ’ฌ 0 ๐Ÿ“Œ 0

Kevin Hassett right now:

06.03.2026 15:00 ๐Ÿ‘ 1 ๐Ÿ” 0 ๐Ÿ’ฌ 0 ๐Ÿ“Œ 0

๏ผˆใ‚ขใƒกใƒชใ‚ซใงใ€ŒGodzilla vs. the Smog Monsterใ€ใจใ—ใฆ็Ÿฅใฃใฆใ„ใŸๆ˜ ็”ปใซใคใ„ใฆใ‚‚ใ“ใ‚Œใ‚’่จ€ใ„ใพใ™ใ€‚ ใŠใใ‚‰ใใ€ไธกๆ–นใฎๆ˜ ็”ปใŒๅฝผใ‚‰ใฎๆ™‚ไปฃใซใฉใ‚Œใปใฉใ‚ณใƒŸใƒƒใƒˆใ—ใฆใ„ใ‚‹ใ‹ใงใ™ใ€‚๏ผ‰

06.03.2026 14:52 ๐Ÿ‘ 0 ๐Ÿ” 0 ๐Ÿ’ฌ 0 ๐Ÿ“Œ 0

ใ‚ฌใƒกใƒฉๅฏพใ‚ฎใƒญใƒณใฏใ€ๅคงไบบใซใชใฃใฆใ‚‚ใพใ ใ‚ˆใ็†่งฃใงใใชใ„็†็”ฑใ‹ใ‚‰ใ€ๅญไพ›ใฎ้ ƒใฎ็งใซใจใฃใฆๅฝขๆˆ็š„ใงใ—ใŸใ€‚

06.03.2026 14:47 ๐Ÿ‘ 1 ๐Ÿ” 0 ๐Ÿ’ฌ 1 ๐Ÿ“Œ 0

This is "Little Fugue in G minor, BWV 578".

@psu-1313.bsky.social

05.03.2026 19:59 ๐Ÿ‘ 2 ๐Ÿ” 0 ๐Ÿ’ฌ 0 ๐Ÿ“Œ 0
Post image

Three Cheers to brave hero Kristi Noem for reifying this meme.

05.03.2026 18:09 ๐Ÿ‘ 0 ๐Ÿ” 0 ๐Ÿ’ฌ 0 ๐Ÿ“Œ 0
Post image

Ok, @opg.bsky.social, you're on.

www.maptap.gg March 4
100๐ŸŽฏ 99๐ŸŽฏ 99๐ŸŽฏ 100๐Ÿคฏ 92๐Ÿ†
Final score: 973

04.03.2026 19:48 ๐Ÿ‘ 0 ๐Ÿ” 0 ๐Ÿ’ฌ 0 ๐Ÿ“Œ 0

Ico ใจ Shadow of the Colossus ใŒๅคงๅฅฝใใงใ™ใŒใ€The Last Guardian ใฎๅบ็›คใง่กŒใ่ฉฐใพใ‚Šใ€ใ“ใ‚ŒไปฅไธŠ้€ฒใ‚€ใ“ใจใฏใ‚ใ‚Šใพใ›ใ‚“ใงใ—ใŸใ€‚ใ‚‚ใ†ไธ€ๅบฆใ‚„ใฃใฆใฟใ‚‹ในใใงใ™ใ€‚

04.03.2026 17:32 ๐Ÿ‘ 1 ๐Ÿ” 0 ๐Ÿ’ฌ 1 ๐Ÿ“Œ 0

They seem like theyโ€™re being very cagey. Who are they and what do they do?

04.03.2026 01:48 ๐Ÿ‘ 0 ๐Ÿ” 0 ๐Ÿ’ฌ 1 ๐Ÿ“Œ 0

Not gonna lie I misread this and my first thought was "Tory Verdi was acting on The Pitt?"

03.03.2026 17:01 ๐Ÿ‘ 2 ๐Ÿ” 0 ๐Ÿ’ฌ 0 ๐Ÿ“Œ 0

OK.

03.03.2026 15:08 ๐Ÿ‘ 0 ๐Ÿ” 0 ๐Ÿ’ฌ 0 ๐Ÿ“Œ 0

Do...do you....do you not know what the word "benefactor" means? Holy smokes.

03.03.2026 13:15 ๐Ÿ‘ 6 ๐Ÿ” 0 ๐Ÿ’ฌ 0 ๐Ÿ“Œ 0

It turns out that clamping our hands over our ears and shouting "LA LA LA I CAN'T HEAR YOU, MARY HAD A LITTLE LAMB LITTLE LAMB LITTLE LAMB" has not, in fact, led to electoral success.

03.03.2026 13:13 ๐Ÿ‘ 4 ๐Ÿ” 0 ๐Ÿ’ฌ 1 ๐Ÿ“Œ 0
Preview
a close up of a cartoon character 's face with a helmet on ALT: a close up of a cartoon character 's face with a helmet on

Sounds like the sort of thing thatโ€ฆ

01.03.2026 23:26 ๐Ÿ‘ 1 ๐Ÿ” 0 ๐Ÿ’ฌ 0 ๐Ÿ“Œ 0
Preview
This War Will Destabilize The Entire Mideast Region And Set Off A Global Shockwave Of Anti-Americanism vs. No It Wonโ€™t George W. Bush may think that a war against Iraq is the solution to our problems, but the reality is, it will only serve to create far more.

This article is 23 years old theonion.com/this-war-wil...

01.03.2026 01:50 ๐Ÿ‘ 0 ๐Ÿ” 0 ๐Ÿ’ฌ 0 ๐Ÿ“Œ 0

But now you're missing my series of witty observations on the beloved British-American actor most well known for his portrayal of cynical but lovable police Captain Louis Renault in Casablanca!

28.02.2026 16:42 ๐Ÿ‘ 2 ๐Ÿ” 0 ๐Ÿ’ฌ 0 ๐Ÿ“Œ 0

Look, it's not fair to say that EVERYTHING in JavaScript is bad. Don't forget that it has...

Hmm.

Oh! Wait! The way that it...no, no. Hmm. That's bad too.

But...

ok yeah it's bad.

28.02.2026 04:47 ๐Ÿ‘ 1 ๐Ÿ” 0 ๐Ÿ’ฌ 0 ๐Ÿ“Œ 0
The banality of evil

The banality of evil

Saving this exchange in my "memes" folder with the filename the-banality-of-evil.jpg

28.02.2026 01:51 ๐Ÿ‘ 0 ๐Ÿ” 0 ๐Ÿ’ฌ 0 ๐Ÿ“Œ 0
Great Programmers Are Lazy
Great Programmers Are Lazy YouTube video by Tea Leaves

New video: "Great Programmers Are Lazy". An exploration of Haskell's principle of laziness, in the context of Set 10 of the #Haskell MOOC.

Thumbnail painting: Hubert Robert, "A Fishing Party" (1805).

youtu.be/alcv2Eu1wJk

27.02.2026 16:56 ๐Ÿ‘ 0 ๐Ÿ” 0 ๐Ÿ’ฌ 0 ๐Ÿ“Œ 0

Note: this isn't a joke! Tankies get really mad when you point out the (true) fact that nearly all successful revolutions are started by the middle class (though not always finished by them).

26.02.2026 23:18 ๐Ÿ‘ 0 ๐Ÿ” 0 ๐Ÿ’ฌ 0 ๐Ÿ“Œ 0

It's even funnier if you read the full bug report

"A dwarf who is stressed but does not gain a good thought from shouting at someone in charge seems to prioritize shouting at someone in charge over any other activities."

26.02.2026 21:32 ๐Ÿ‘ 390 ๐Ÿ” 132 ๐Ÿ’ฌ 6 ๐Ÿ“Œ 6

Honestly this was a real missed opportunity to say "(It's not)^2".

26.02.2026 17:59 ๐Ÿ‘ 0 ๐Ÿ” 0 ๐Ÿ’ฌ 0 ๐Ÿ“Œ 0

The weird part of this is that every successful revolution has started with the lawyers and accountants.

26.02.2026 16:05 ๐Ÿ‘ 3 ๐Ÿ” 0 ๐Ÿ’ฌ 0 ๐Ÿ“Œ 1
Preview
What The Functor? YouTube video by Tea Leaves

#Haskell livestream: What the Functor?

youtube.com/live/7RasneK...

26.02.2026 03:23 ๐Ÿ‘ 0 ๐Ÿ” 0 ๐Ÿ’ฌ 0 ๐Ÿ“Œ 0
Prediction: AI will make formal verification go mainstream โ€” Martin Kleppmannโ€™s blog

โ€œIf formal verification becomes vastly cheaper, then we can afford to verify much more software. [โ€ฆ] AI also creates a need to formally verify more software: rather than having humans review AI-generated code, Iโ€™d much rather have the AI prove to me that the code it has generated is correct.โ€

26.02.2026 00:31 ๐Ÿ‘ 6 ๐Ÿ” 3 ๐Ÿ’ฌ 1 ๐Ÿ“Œ 0
Post image

Anthropic: "Weโ€™ve identified industrial-scale distillation attacks on our models by DeepSeek, Moonshot AI, and MiniMax.

These labs created over 24,000 fraudulent accounts and generated over 16 million exchanges with Claude, extracting its capabilities to train and improve their own models."

24.02.2026 14:29 ๐Ÿ‘ 2 ๐Ÿ” 2 ๐Ÿ’ฌ 0 ๐Ÿ“Œ 0

If one actually wanted to entertain the dumb notion that Helen should look โ€œaccurateโ€ we already know these right wing softboys would fall on the fainting couch if she looked Greek, because thatโ€™s what they did for the Greek-looking Wonder Woman in the suicide squad game.

24.02.2026 05:48 ๐Ÿ‘ 1 ๐Ÿ” 0 ๐Ÿ’ฌ 0 ๐Ÿ“Œ 0