meithecatte

Perhaps Signal should force the notification settings to "don't show the content" when disappearing messages are enabled in a particular chat?

No, they are correct, because the deciders themselves are just a cog in the proof of the overall theorem. The specification of the deciders is not part of the TCB, so to speak.

The discord link will die soon. The attachment links started expiring at some point last year IIRC.

I'm pretty sure this is a feature that's available at least to big creators – I remember a Tom Scott video doing a bit involving scheduling an ad at a particularly fitting moment.

You might have to be a YouTube partner or something like that to make use of this stuff, though.

I must admit, this is the kind of description that's enough to make me want to maybe get into ham radio someday.

I have heard of at least one instance of an exam a while ago, where some questions – ones that need diagrams in their statement – would be written onto the blackboard in the exam room, due to limitations of the duplication techniques used for the exam paper.

Exactly, the comment in question is basically a noisy upvote.

Probably trimmed due to HN's length limit

You're talking about industrial PLCs. They're programmed using a-bit-more-fancy Scratch snappy blocks. There is no version control. The firmware contained paths embedded as strings, so we know that firmware for each model and customer was developed in a separate folder on disk. I wouldn't be surprised if they also had .zip files with backups of previous versions.

As explained by the linked article in Polish, the workshop reached out to them and asked of they could figure out why the train isn't working.

I've seen a lot of discussion about YouTube banning adblockers, but as a user of Firefox + uBO, I have never seen it happen for me. Perhaps the Firefox extension ecosystem makes it easier to push blocklist updates or something. Or YouTube's detection is browser-specific and they bothered with the largest first.