I’m not so sure. What about an observation like “The empty set contains no elements.” ?

JXL is based.

Holy cow that’s long

What if I don’t want to do anything?

I love railroad cycleways! The asphalt tends to be pristine and there’s usually ok views from the embankment.

Endura MT500 Waterproof Jacket II is a top notch cycling jacket. Intended for mountain biking but imo outperforms most road stuff. Ridiculously good ventilation. Over-the-helmet hood is much less claustrophobic than wearing it underneath.

My only quarrel is that it’s not all that packable, but that really isn’t a problem in commuting.

Has held up for two years now.

That someone was correct.

Teens blowing their vapes directly into the alarm competing who can set it off

Could you just pass it up?

Cool, now drop the CLAs and we’re good.

Right now I’m solving this by having two separate ingress controllers in one cluster - one for private stuff only available over a vpn, and one only available over public ips.

How’s this working out? What kinda alternatives are there with a single cluster?

They actually got better? Nice work

Tasks.org for tasks and Joplin for notes. Both can be synced with various technologies.

When installing an encrypted Arch system, I couldn’t figure out how to change the keymap in GRUB stage 1, which asks for the passphrase and then decrypts /boot. I just entered my passphrase with the default en-us keymap without really knowing what characters it outputs.

After some research, the akasa seems to be as good as it gets today. I did find one Graugear with identical ports: https://graugear.de/en/portfolio-item/g-mp01/

All the ones with more USB-Cs seem to achieve this by splitting the 20G connector into multiple slower ones, which is not worth it IMO.

There also seems to be 3.2 Gen 1 (the blue connector) to “Type-E” adapters: https://graugear.de/en/portfolio-item/g-ad-19te-90/

A clever solution! But yeah, the board connectors don’t seem to be too numerous…

Edit. I’m really leaning towards just ordering a couple of these Type-E to USB-C cables and just drilling them into the 5.25 cover panel.

A panel with only USB-Cs would be classy, but they don’t seem to be around…

Good point. ATM I got the 30-pin header. But I’m getting a new board anyway too, so just gotta check that it has the newer headers as well.

Yeah I do have the usb header. Connected to the case ports atm, but it’s fine to replace that for the upcoming panel. I suppose that the standard header poses some limitations on what ports one can expect from these things.