@kipheath.bsky.social Guess who has a printer and sticker sheets now

I hate when my phone has great signal but my apps aren't loading any data, and it's because my phone has decided to try connecting to a free WiFi network, so every request is silently getting redirected to the portal login screen in the background.

I'm catching up on this year's Advent of Code puzzles - this time around I remember that `ARGF` exists, which makes it much easier to write code that _receives_ the input rather than having to hardcode it.

gareth.fyi/2024/12/04/a...

Having my laptop stolen is really going to test how much of my stuff is really restorable. Do I need to remember how PGP keys work again?

Just found an unprecedented FIVE Bertie Bassetts in a single pack of Liquorice Allsorts. (I feel like this is the kind of energy I should be aiming for at this stage of Bluesky)

Or you can use the attribute selector

[id="123"] {
color: red;
}

Fun learning about CSS today.

Since HTML5, element IDs can start with numbers. But in the CSS selectors spec, and therefore in `document.querySelector`, identifiers *can't*. So how do you target an element with a numeric ID?

<div id="123">Hello</div>

#123 { color: red } /* No */