Have you ever said to yourself "OK, this rage baiting reply to my BlueSky post CAN'T POSSIBLY be authentic? Well now with this labeler you'll have a pretty good idea when that's true. (Spoiler: it's usually true. Tagging @aaronsofaer.bsky.social for this one.)

It is by my order and for the good of the state that the Poster of this has posted what has been posted. -Richelieu

My answers to the current Programming Discourse Article going around at the moment. "At what point is the user of a system doing capital-P Programming? Is Excel a programming language? " Yes. "What about The Last One? " Also yes. "If scratch is a programming language," It is. "does […]

The extent to which the best use of coding agents is "Fix the deficiencies of the platform's terrible tooling" cannot be overstated.

A lot of people don't know that Pittsburgh has a contemporary art platform dedicated to Black culture, but the Carnegie Library does. www.carnegielibrary.org/staff-picks/... (tagging @opg.bsky.social and @chrisbriem.bsky.social for local interest)

The addition of ludicrous numbers of imports will continue until morale improves.

I have bad news for Dan Jurgens about what “gunsel” actually means. @gwillow.me can you tell him? (This is a very common editorial fail, because of The Maltese Falcon)

Normalize talking about code with less precision. Less precision is often good. The entire point of a function is to allow us to think about code with less precision, and thus accomplish more. Yes, sometimes you need precision. Often, it just gets in the way.

It's fine with me if people wanna be mad about coding LLMs but "Write me a unit test for this module that mirrors the tests I already ponderously wrote by hand for these other components" is the greatest thing since sliced bread, and I will die on that hill.

It is COMPLETELY INSANE (complimentary) that this works. TLDR: HKD parameterizes your types into variants. The live version has a bunch of types, all of which are mutable. For the snapshot version the type-level function erases the param and you're left with the underlying 'bare' values.

Speaking truth to #haskell

☝️

New video: "Beyond Purity" - Haskell as the world's best imperative programming language www.youtube.com/watch?v=k6ow... The thumbnail painting is "Tintoretto Paints His Dead Daughter" (1873) by Henry Nelson O'Neil

What I’ve learned from working on this emulator: CPU (computing): difficulty 3 PPU (drawing pixels): difficulty 7 APU (producing sound): difficulty OVER NINE THOUSAND

I’m saying that a bunch of you have just realized you’ve been in the Nazi bar for a long time and that the people you’ve been picking up opinions from are Nazis, so you might want to take this as an opportunity to ask if the views you have about prominent Jewish politicians need reevaluation

@opg.bsky.social ok now they're just trolling me

Who says you can't write high performance 60 FPS code in #haskell? [Don't @ me about the flickering. I'M WORKING ON IT.]

BLOODBORNE (2015) by FromSoftware

@yashiro-manabu.bsky.social 学ぶ先生。。。これは見てください！

New video about EmuDevz: "I Was Wrong" www.youtube.com/watch?v=zQ4b... Painting: Jan Matejko's "The Fall of Poland" (1866) I had rage quit Emu DEvz because I felt the game was forcing me a specific bad style of JavaScript; I've had a sit down and a nice cup of tea, and I'm much calmer now.

The importation of subtly different variants of Vector will continue until morale improves.

I swear this isn't a shitpost but I wonder if the great divide between "Coding agents are a useful tool to help you figure out problems" and "Coding agents are slop that lies to you" is between people who habitually talk to themselves out loud and people who don't.

I HAVE MADE THE WORLD'S SLOWEST NINTENDO EMULATOR. (Also it's still broken.)

Both Hindley and Milner are VERY disappointed in me.

@rahaeli.bsky.social I noticed I was added to your "Manipulative search engine ranking" list - can I understand why? (I do post my new YouTube videos on bluesky, but I figure that's part of sharing what I do.) @aaronsofaer.bsky.social knows me from other contexts and I think would vouch for me.

Haskell and javascript have the opposite problems Haskell: Misplaced space. I have no idea how to communicate what is wrong to an actual person, so i will emit a 273 line error. javascript: yeah this looks fine. [crashes in production]

I really liked this meme, but I felt compelled to make it both better and more accurate.

Are you kidding me

I'm sorry but writing mega-imperative Nintendo emulator code in #haskell is in fact both hilarious and weirdly enjoyable. (I have no plans to stream this one, although I might make a video talking about it when I'm further along.)

New video: Drifting on the Seas of IO Thumbnail painting: The Raft of the Medusa (1819) by Théodore Géricault. This week we do a brief refresher on the IO Monad and "do" notation in #haskell youtu.be/5McozSwG8uU

I would love to see a chart that is precisely the Consumer Price Index but with computers and consumer electronics removed.

i can hear this post

I'm not going to tag any of the participants but I am amazed by how many people are willing to confidently say incorrect things like "LLMs are no good at translating language" in public.

I will be taking no further questions at this time.

OK, 6502 nerds. Is the name of the addressing mode with no arguments "Implied" or "Implicit"? Lance Leventhal: Implied or Inherent Rodney Zaks: Implied Randy Hyde: Implied Call -APPLE: Implicit nesdev. org: Implicit pageable. org: Implied Assembly Lines: "Implicit / Implied"

It turns out #Haskell is the world's best imperative language.

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.

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

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

Kevin Hassett right now:

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

Ok, @opg.bsky.social, you're on. www.maptap.gg March 4 100🎯 99🎯 99🎯 100🤯 92🏆 Final score: 973

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

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

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

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

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

#Haskell livestream: What the Functor? youtube.com/live/7RasneK...

“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.”