PAC for everyone: https://developer.apple.com/documentation/xcode/enabling-enhanced-security-for-your-app

@blair “Accidentally?” (They’re adorable!)

@vrhermit My understanding is that it takes a lot of careful tweaking to make things like this not happen: https://blender.stackexchange.com/questions/206819/why-is-my-rigidbody-broken

It's been a while since I've written about the innards of @compiler_explorer. https://xania.org/202506/how-compiler-explorer-works has the details, some statistics and some fun war stories.

I have just launched a "Lean companion" to my real analysis undergraduate textbook "Analysis I" at https://github.com/teorth/analysis . This gives a Lean translation (or paraphrasing) of the various definitions, theorems, and exercises in the textbook into Lean, thus allowing for an alternate way for students to work through the text. It is also designed to gradually transition into the standard Lean library Mathlib, thus also potentially serving as an introduction to that library as well.

Further discussion at https://terrytao.wordpress.com/2025/05/31/a-lean-companion-to-analysis-i/

@jplebreton A tour guide claimed that there’s one clubhouse on every uninhabited island around Heimaey, and they have a keeping-up-with-the-joneses rivalry for which club has the nicest one—so the answer is probably “locals drinking beers in a hot tub” (at least, when you don’t have a tourist group)

Biggest commitment to a 3 second joke I've ever seen

accidentally built like…an art deco stained glass window generator. some really cool behavior emerging out of this one!

Google are breaking my mittens - Sonofa. Twelve years ago I knitted a pair of “self-replicating mittens” (https://www.web-goddess.org/archive/14046) with a QR code that pointed you to the pattern for the mittens, and I entered them in the Sydney Royal Easter Show. I was pretty proud of my cleverness. In the blog post (https://www.web-goddess.org/archive/11192) where I talked about making the mittens, I said:

I wanted my code to be as simple as possible, so I needed to use a URL shortener to mask my intended address. I settled on using Google‘s, reasoning that it was likely to be around the longest. (Though who knows these days, right?)

You can guess what’s happened, right? Google URL Shortener links will no longer be available (https://developers.googleblog.com/en/google-url-shortener-links-will-no-longer-be-available/) as of August this year.

Bastards are breaking my mittens. Perhaps I’ll have to add some embroidery. https://www.web-goddess.org/archive/56383

opening two builds of a game at once, one on the left monitor and one on the right, both receiving input from the same controller? an actual solid regression testing praxis

Symbolism is when someone who is happy draws a happy face

aaaaaand it's up.

just incredible work here, and it's at least as funny as any other zelda speedrun.
#agdq2025
https://www.youtube.com/watch?v=GbR_QqEGBcM&list=PLz8YL4HVC87VeDl0NeZJLKf0Zsdrl1ioA&index=7

@mcc or Angeline

@schwa 🥲

I wrote a thing and I'm not going to talk about it. https://bluh.org/post/pain-doesnt-radicalize/

@schwa Fun idea! Rendering backends seem to converge on declarative / graphs anyway… might as well lean in.

@fay59 \\?\

Words that make you feel a specific kind of way:

//depot/

I guess the rest of my professional career is just going to consist of the following half-dozen-odd interactions:
1. Taking off my spectacles, pinching the bridge of my nose then asking "What is the problem you are actually trying to solve?".
2. Peering over my spectacles and asking "…and at the time, did anyone express any concerns about that course of action?".
3. Taking long drag from my cigarette and intoning the ancient proverb "The root cause is that our processes are not robust enough to prevent a person from making this mistake." before being told "Amy please not right now.".
4. Riffling my notes and beginning the explanation to the auditor or committee with "So, you see, what had happened was…".
5. Making direct eye contact with an engineer through a webcam and asking first how long that will take and then whether the plan is missing any steps.