Looks like they rotated all signings keys a day earlier:

https://my.f5.com/manage/s/article/K000157005

In October 2025, F5 rotated its signing certificates and keys used to cryptographically sign F5-produced digital objects.

As a result:

    BIG-IP and BIG-IQ TMOS product versions released in October 2025 and later are signed with new certificates and keys
    BIG-IP and BIG-IQ TMOS product versions released in October 2025 and later contain new public keys used to verify certain F5-produced objects released in October 2025 and later
    BIG-IP and BIG-IQ TMOS product versions released in October 2025 and later may not be able to verify certain F5-produced objects released prior to October 2025
    BIG-IP and BIG-IQ TMOS product versions released prior to October 2025 may not be able to verify certain F5-produced objects released in October 2025 and later

I wonder if there's a bet to be made on future 8K disclosures following quietly updated signing keys. A bet against F5 placed this morning would've only made 3.6%.

Kurzgesagt uploaded a video about this recently. https://www.youtube.com/watch?v=yiw6_JakZFc

I can highly recommend Zplug instead of oh-my-zsh, I find it much faster. https://github.com/zplug/zplug

I also like FZF a lot for fast history search: https://github.com/junegunn/fzf

I know this is territory that gets rehashed every time someone says "hey, I like tool X..." but I still get a kick out of browsing these threads to see what tools people are using.

On that front, I've been using ZIM: https://github.com/zimfw/zimfw

I also recently added sandboxd so certain things are not run during shell init (rbenv/pyenv/asdf/etc): https://github.com/benvan/sandboxd

I guess this inspired Stuart Mcmillen with this strip: https://therionorteline.files.wordpress.com/2014/08/huxley-v...

I can highly recommend History of Byzantium podcast by Robin Pierson.

"The History of Byzantium” is a podcast dedicated to the story of the Roman Empire from the collapse of the West in 476 to the fall of Constantinople in 1453. Byzantine history is fascinating, world changing and largely forgotten. Listen and discover who they were."

Thanks for the recommendation. I've been listening to Dan Carlin and his history podcasts and am almost done with all of them. I needed something to add to the queue.

You may want to consider checking out Mike Duncan's podcasts the History of Rome and Revolutions as well. History of Rome especially since it was the ending of that podcast at the fall of the west that encouraged the creation of the History of Byzantium podcast.

Duncan in particular gets much better at doing his podcast after a few dozen episodes. I'm pretty attuned to audio issues and almost dropped the podcast about halfway in, but eventually he figured a few things out and it got a lot nicer to listen to.

I've been listening to https://12byzantinerulers.com/ and it's very good, though the audio quality is a bit low.

I concur, and if you want the full story you'll want to start with Michael Duncan's The History of Rome Podcast:

http://thehistoryofrome.typepad.com/

Pierson describes in the first episode how he was inspired to pickup where Duncan left off at the fall of the western empire.

Forgot the link: https://thehistoryofbyzantium.com/

Oh my goodness, he's at episode 150+ and he is only at 1000 AD! I thought Dan Carlin was thorough / long-winded, but this guy make Carlin look like a short summary!

A more common criticism of Carlin is that he is not thorough. That isn't a shot at him, usually (though a couple of the historians I know aren't big on his sources), but a lot of that is the format he's decided to go with--when you are limited to mere hours, you're going to necessarily be shallow about things.

Cross-posted from http://www.reddit.com/r/Documentaries/comments/2ghj8d/comput...

This one might be a good start. https://www.youtube.com/watch?v=3S9eZRHjP8g

EDIT: Added http://www.cryptotextbook.com/ as well.

Thanks for linking these :)