It's been a minute, so I'm revising the look of the thumbnails on my channel; instead of using AI-generated pixel art, I'm raiding the world's vast store of out-of-copyright paintings. Also trying to be a little more considered about the font. Before/After images for the next video are below.

Jerome Powell...welcome to the Revolution. www.federalreserve.gov/newsevents/s...

I've read several books about Hiroshima and Nagasaki lately and what I've learned is that the advice in the "Duck and Cover!" video that everyone makes fun of is in fact based on the experiences of the few survivors...most of whom ducked and covered. www.youtube.com/watch?v=C4rM...

Peeled a navel orange and it had two seeds in it. Day ruined.

@opg.bsky.social Did you see this shirt on Dr. Robbie yet?

People griping about software I write: rude, entitled, symptom of a world where unpleasantness is rewarded Me griping about software other people write: radically honest, fair-minded, an exercise of belief that we can all do better

Last week I had a brainwave and, while trying to learn Lean 4, I pulled out the Incredible Proof Machine to work the same proofs visually (in IPM) and in code (in Lean). This turned out to be incredibly effective in helping me understand the mechanics of each. youtu.be/7dx3j5Ze5vw

SUPER IMPORTANT POLL: You are going to see a movie in the movie theater. You're figuring out when to time your arrival. The ideal time for arriving is: (A) Before the trailers, so you can see the trailers (B) You sit down just a moment before the actual movie begins

Hell yeah.

I'm voting for whichever candidate maximally adopts the "Prosecute ICE" position.

Shocking that the woman who enjoys shooting dogs for fun turns out to like murdering bystanders.

I am utterly certain that at this very moment, as you read this, someone is filing for divorce over this idea.

Trade offer!

I like how every ABBA video seems like it might have been filmed in the domed city from _Logan's Run_.

My hottest financial take is that if your bank can't generate a statement of activity, at, like, 12:01:01 am of the 1st of each month, you are bad at your job of being a bank. If the bank you run hasn't made December statements available yet I MIGHT BE TALKING ABOUT YOU.

Cutting down a video from 30 minutes to 12 just by removing every time I say "uhhhh".

God help me I'm gonna actually make a video mashing together Lean 4 and the Incredible Proof Machine, huh? WHAT IS WRONG WITH ME

Alert

My summary of 2025 is it's the year that large tech companies decided "A computer can never be held accountable" was a feature instead of a problem.

So you say your New Year's resolution is to learn #Haskell? I've got you covered. This video's exercises focus on what is unquestionably† Haskell's greatest feature: type classes. youtu.be/sDqD_xwF-cY † OK, I lied, you can question it but I will still say it's the greatest feature.

OK, yes, so your language has function composition built-in, sure, but what if I wanted it spelled out in a very longwinded way for me, an extremely stupid person?

STATUS: back on my BS

Happy New Year's Day! Time for a ridiculous livestream. Not Haskell this time, but smooshing together "Let's learn Lean 4" with "Let's play Joachim Breitner's Incredible Proof Machine". youtube.com/live/BgVnnjy...

Someone please stop me from doing a New Year's Day stream translating the Incredible Proof Machine's examples into Lean proofs.

The strongest sign that you're old like me is if part of your brain does insist that "the year 2000" IS IN FACT the distant future.

Big Mr T Atari mood youtube.com/watch?v=Jp6B...

Producing my upcoming videos and I think I'm going to experiment with moving the thumbnails from AI-generated videos to out-of-copyright romantic paintings from the 1800s.

What Gracchi is talking about has basically been BlueSky All. Weekend. Long.

It's actually more efficient to provide goods and services by allocating money than for neighbors to barter with each other.

People are enraged about this point but Clark is 100% right.

New #haskell video - "Lost in the Folds". Set5b of the Haskell MOOC felt light, so I assigned myself an optional side quest to write a Foldable instance for it. You will be shocked† to learn that I made lots of mistakes. www.youtube.com/watch?v=nhHG... † No one was shocked.

Short: VSCode's intrusive LLM ruined one of my #Haskell livestreams. www.youtube.com/shorts/rs0Gv...

Ho, ho ho! Christmas Eve (morning) Haskell streaming. Who says you can't get your presents early? youtube.com/live/DG34klc...

Doctor says "Treatment is simple. Great clown Bari Weiss is in town tonight. Go and see her. That should pick you up." Woman bursts into tears. Says "But, doctor...I am Bari Weiss." Good joke. Everybody laugh. Roll on snare drum. Curtains.

Proud to announce the release of my new anime where the main character is a high school student, but is also a monoid in the category of endofunctors.

Just broke my brain when I learned that Sisters of Mercy's two most well-known songs were produced by Jim Steinman (_Bat Out of Hell_)

I'm shook to my very core whenever I am exposed to people who pronounce "Haskell" as if it rhymes with "Pascal".

As Pittsburgh heads into Property Tax Hike Season, everyone should memorize this Venn diagram @opg.bsky.social

I’ve encountered this also. It’s extremely weird, just legions of people waiting around to yell at you and tell you you’re a murderer for not sharing their religion.

Sunday morning Haskell streaming. This is normal, right? youtube.com/live/R0138Rp...

Live-streaming Set 9a of the Haskell MOOC: youtube.com/live/fFNKBC9...

Yossarian was moved very deeply by the absolute simplicity of this clause of Catch-22 and let out a respectful whistle. "That's some catch, that Catch-22," he observed.

This is the ideal computer. You may not like it, but this is what peak performance looks like.

With apologies to Dorothy Gambrell. @catandgirl.bsky.social

@troyg.bsky.social I gave away my C&C Ancients and Napoleonics sets (literally every expansion) because I just couldn't justify spending the space on it. I wish there was a good computer game implementation of it (and, frankly, of every other game in the series.)

New #haskell for Dilettantes Video: Data Makes the World Go Round. We work through Set 5a of the Haskell MOOC from haskell.mooc.fi. This set focuses on algebraic data types, modeling, and record syntax. As always...many mistakes are made. youtu.be/Sw3wnzurFr0

Spitting facts

The weirdest thing to me in the entire comic book industry is Dark Horse's innovative business model of "We publish great works at huge expense and then, slightly later, make them absolutely impossible for you to buy at any price." @darkhorse.com

Superman’s mini-me is named “Kal-Elf”. (The Kryptonite Spectrum #4)

A lot of people don’t know that Batman majored in French structuralism in college.