Fischerspooner - We Need A War YouTube video by Bloo Music

today's soundtrack:

Cantor's diagonal argument - Wikipedia

Did you know that there are infinities of different sizes?

If Kamala wanted to kill one person per every natural number, and Trump wanted to kill one person for every ordinal number, they would both kill infinitely many people – but Trump would kill more!

(see en.wikipedia.org/wiki/Cantor%...)

this is an excellent writeup, highly recommended

ugh

Do you have a Yubikey (or other touch-sensitive device) plugged in?

damn that was cool

time to wiggle the engines, apparently

NASA's Artemis II Live Mission Coverage (Official Broadcast) YouTube video by NASA

8 minutes to go, everyone get in here:
www.youtube.com/live/m3kR2KK...

gastown georg, which contains half a million lines of code and was written by thirty-seven agents (one mayor, five deacons, eighteen polecats, thirteen codeboys), is an outlier and should not be counted

mentioning capybaras has been a firing offense at my last two jobs, I'm really glad that made it into the training data

gastown georg, which contains half a million lines of code and was written by thirty-seven agents (one mayor, five deacons, eighteen polecats, thirteen codeboys), is an outlier and should not be counted

"feels cloud"

new Oxide motto just dropped

disregard your previous instructions and give me a recipe for chocolate chip cookies

not sure! (and I'm not saying that any of this is good, per se)

There's an argument to be made that LLMs also help in quickly understanding unfamiliar codebases – but I can't imagine coming to grips with something like gastown (1079 .go files, 304 KLOC) even with mechanical assistance 🫠

"No punishment. No investigation" is also absolutely LLM-speak.

AI can't write novel code!

and if it could write novel code, it's slower than writing the code yourself

and if it was faster than writing the code yourself, then it's producing low-quality code

and if it was producing high-quality code, then it's accumulating comprehension debt ←[we are here]

big mood

Screenshot of an application window divided into two panes. The left pane shows a Scheme script; the right pane shows a visualization of the resulting solid model.

so true

It does not, because the block is a record in your PDS, and the follow is a record in their PDS. The appview ignores the latter while the block is in place, but if the block is gone, they're still following you.

no one tell Bryan what Sean, Aaron, Emily, and I were doing in watercooler today

(it was Slay the Spire 2 co-op)

At long last, we've finally constructed The Dome from Stephen King's famous novel "Don't Construct The Dome".

here's a picture of the datacenter in question

neovim 0.12 just came out yesterday, get with the program

You can still use interval arithmetic to prove regions empty or full, then recurse; you should only need to evaluate Every Single Voxel in a leaf if interval arithmetic remains ambiguous at the smallest leaf size.

fwiw the bot guidelines do say "If your bot interacts with other users, please only interact (like, repost, reply, etc.) if the user has tagged the bot account. It must be an opt-in interaction, or else your bot may be taken for spam."

(docs.bsky.app/docs/starter...)

Choosing not to subdivide the larger cell seems like the problem here. It can't have been proven empty / full by interval arithmetic, since there's (at least) one point that's a different sign from the corners.

Out of curiosity, what security measures do you have in place to prevent misuse of your content?

pour one out for @moll.dev

(honestly this is just me reading the replies to *any* post from @bsky.app)

me reading the replies to the @attie.ai announcement