Blog: Experiments with Memory Integrity Enforcement octet-stream.net/b/scb/2025-1... TL;DR this thing is awesome

Dear lazyweb, does anyone know of a switchable smart power outlet that is controllable either by straight BLE or LAN API without complex auth or cloud stuff? Trying to avoid going to a full-on PDU as it’s a small job.

posted about my Apple ID woes, please share widely? hey.paris/posts/appleid/

Arc<MuTeX> (pronounced mu-tech)

Well that will be interesting - 5 years of social media accounts, 10 years of email addresses used, details of family members to enter the US www.abc.net.au/news/2025-12...

Kids literature is wild these days

Hot take: maintaining a GUI layer of anything (iOS, Android, Mac, GTK, Qt, whatever Windows is doing this year) is a cursed treadmill that is fundamentally unkind to expect open source maintainers to do for free. We should normalise open source core software and data formats with proprietary GUIs.

New blog post! ✨ I argue that AI will make formal verification go mainstream. martin.kleppmann.com/2025/12/08/a... Three reasons for this: 1. LLMs are getting increasingly good at writing proofs using proof assistants. This will make formal verification vastly cheaper than it's been to date.

This AI stuff is getting out of hand

I like to hope that the team which designed the Thinkpad X220 feels a lot of professional satisfaction these days

Rust: the compiler will be very mad if you try to read and write a HashMap on two threads Go: try not to read and write a map on two threads Java: heeey relax we got ConcurrentHashMap, life is goood

Is it just me or are GitHub PR pages _especially_ slow to render/update in Safari?

🚨 New Socket Threat Research: We found a malicious Rust crate disguised as an EVM version helper that downloads & silently executes OS-specific payloads, likely for crypto theft. The crate was live for 8 months and was swiftly removed after we reported it. socket.dev/blog/malicio... #Rustlang

GitHub should add a 2025 recap, with things like: "Angriest commit message" "How often you added a separate commit just to fix linting" "Number of curse words added to the codebase" "What file caused the most bug reports" "Number of abandoned side projects"

My favourite semaphore signal? It's got to be the end-of-word sign, hands down

I wonder if there’s a market for platform-specific productivity apps. Like a bug tracker that literally only works on Windows, or only Mac/iOS, and you’re guaranteed a polished native UI experience in every single interaction.

I think Linear is the first PWA I’ve come across where refreshing the page isn’t enough to get out of an error state; sometimes I have to quit the entire browser to flush out whatever background thing broke. I could install the electron app but this feels like rewarding bad behaviour.

I recently added a lint in the rust compiler and considering that it could prevent CVEs, I think it's worth talking about it. Blog post is here: blog.guillaume-gomez.fr/articles/202... spoiler alert: double cat dose!

This is what Peak Male Performance looks like.

The appeal of AI agents is basically that it’s no longer a human waiting for the Rust to compile

Probably my favourite thing about this website is that people being dorks in the replies is normal and encouraged. I haven’t seen people having this much actual fun microblogging for like 15 years

movie: we can't trace their payload, it's behind two layers of base64! computer knowers: *groan* reality:

“A wise device needs only one cable but understands two.” - Edgar Allan PoE

Okay then, TIL Cloudflare does in fact have lava lamps www.cloudflare.com/en-au/learni...

What a surprise. "Meta shut down internal research into the mental health effects of Facebook after finding causal evidence that its products harmed users’ mental health"

Not too concerned yet about AI replacing network engineers.

Free terrible startup idea: resell browser storage. SaaS vendors who need some extra cash agree to put blobs in their users' LocalStorage and retrieve it on demand via their WebSocket-connected PWAs. Then others who want to persist data can keep it inside random people's browsers.

Magnificent www.youtube.com/watch?v=iu5r...

Internet in 00s: haha why would you buy an encyclopedia any more Internet in 20s: ohgod I need an encyclopedia

If you think the em dash gang is mad about LLMs you should talk to the people who put non-breaking spaces in front of their units like 3 MB

Of all the ways to fix "there are too many small dependencies", everyone vibe coding bespoke versions wasn't on my radar. nolanlawson.com/2025/11/16/t... I suspect this kind of works unless your LLM gets trained on enough compromised code that it starts connecting you to CNCs just for funsies.

Oh the futility of clicking on "never ask again".

I feel like half the backlash against Mozilla's recent product directions is not just direct disapproval but lashing out at the realisation freedom 1 ("change it so it does your computing as you wish") isn't worth a damn unless you can fund a team to make it so

Walshy is such a champ www.abc.net.au/news/2025-11...

I bought a CO2 sensor just to see how things are going around the home. Not very well, as it happens.

I don't even see the code. All I see is blonde, brunette, redhead

My neighbours are still rocking a bigpond-dot-com email address and honestly by this point it seems more retro than uncool

I’m still staggered how ambitious MIE is, and it’s already shipped. Unless others catch up quickly, PC vs Apple is going to become “do you want the one where UAFs become RCE or the one where they don’t?”

I assume Musk will be along any minute “yeah we call it Aviation FSD - my people put it together over the weekend - strap one to every plane and they’ll do ATC on their own”

To English natives like me, many Polish words look impossible to pronounce with all their consonants up until you learn how the clusters fit together and then it's all pretty reasonable. Then there are words like "srebrny" (silver) which sound exactly how they look and good grief my tongue will not

If I wanted to stir the pot I'd pen a passionate take describing self-hosted server hardware (and especially buying beefy equipment for local LLM inference) as an environmental travesty vs renting your meagre CPU time needs on shared cloud hardware. But everyone means well so I'll behave myself.

People are putting markdown into RSS now? Sounds like a great idea

Apropos of nothing, please enjoy a chill sheep I saw today

Hot Diggity Dog, a fun AR game by Mel Huang where you have to move your face around and bite hotdogs, on display at the Science Gallery in Melbourne. The nod to the Windows 3.1 theme is a nice touch.

I continue to be in awe of the amount of Lua glued together across 60,000+ Wiktionary Module: pages to make the whole thing work

Since technocrats continue to miss the point I'll say it again: Australia's underage social media ban doesn't need to be watertight to work. Network effects rule. If your median teen is no longer on Snapchat because "it's illegal" then being on there and maintaining your streaks matters far less.

The bsky feature where follow-spammers don't generate notifications is the smart kind of thinking I'm here for

The pronunciation of "git clean -fxd" can be either "fixed" or something else depending on how much you wanted your .jj directory

HTTP/1.1 200 Good Request 👍