Saw the RPi 4B was out and went to the two online stores I usually use. Store 1 had sold out of the 4GB one, and so had store 2. Clicked the 'Notify me' link on both and within 30 minutes store 2 had emailed back. So I ordered a 4GB 4B (with 3amp PSU), and a while later got a confirmation that it's been shipped!!
I'll be running this one off an SSD with no SD card. I just set up a 3B+ to do it and it's looking good.
A certain young doctor-in-training that I know (my son's gf) is printing half a human heart on my 3D printer today. Nearly finished at around 6 hours! Still, the other half with all the main vessels and valves, took about 14 hours. I don't use the printer much myself, so it's good to see it in use.
@timttmy I just requested a table for HPR at Oggcamp. Not sure exactly what is being organised but there'll be plenty of space apparently.
Also, FYI, ticket booking is open now.
That's show 16, the last in the Gnu Awk #HPR series recorded on Mumble with my long-term co-host b-yeezi. It's been an interesting journey since July 2016.
#TIL (3) In the scenario where you have deleted an obsolete gpg key from your keyring, checking to see it it has gone with gpg --list-keys <dead_key_id> might be unwise because you'll get a trustdb rebuild which might be very slow.
#TIL (2) If you use gpg and someone on your keyring with two keys has merged them, you might need to delete the old key with gpg --delete-keys <key_id>
If you don't Enigmail might keep using the old 'dead' key to encrypt mail to them when you don't want it to.
#TIL (1) If you use gpg and you've been to a key signing event at some point and have a lot of keys on your keyring, running gpg --refresh-keys can take a very very long time. Also, if you haven't been managing your (bloated?) keyring regularly there'll be even more work to do.
It's a full moon and a so-called blue moon today, 18th May at 21:11 UTC, I discover. It's "an additional full moon that appears in a subdivision of a year" to quote Wikipedia. See https://en.wikipedia.org/wiki/Blue_moon for details. Before finding out about this I thought the blue moon thing was just an expression. It's overcast and rainy here in Edinburgh, so nothing much to see.
My two kids, one with his partner & the other with her friend arrived in Tokyo not long ago and messaged to say they were OK. They are spending a three week holiday there, all being Japanophiles. They all did Duolingo courses on Japanese in the past year or so, so I wonder how that will help them there.
Further to Patreon's RSS feed changes, I just noticed that they changed all the guid values too. Many podcatchers use this and the URL to determine if an episode has already been seen. Looks like mine downloaded everything in the feeds last night, all overwriting the one file '1.mp3'.
Is it me or is this really really stupid?
I subscribe to two podcasts on Patreon and get a special feed from them for each. Originally the enclosures contained URLs with hex string file names. Recently they changed to everything being called 1.mp3 with a bunch of parameters following the name. I run a Bashpodder derivative and it happily strips the parameters making everything '1.mp3'. This is very very inconvenient!! Why Patreon??
I hear the venue for this year's OggCamp 19/20 October is decided. It's the Pendulum Hotel https://www.pendulumhotel.co.uk
Old guy, retired IT Manager, helping to administer Hacker Public Radio. Coding in Bash, Perl, sed, awk.
Now using Mastodon on SDF after quitter.se died.
"I appreciate SDF but it's a general-purpose server and the name doesn't make it obvious that it's about art." - Eugen Rochko