Viewing profile — 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. …

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 r…

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…

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…

Some sort of checksumming to detect segments differing between users would probably be doable.

Checking whether a string of bits encodes a proof of False in ZF is decidable. Now enumerate the bitstrings and check each.

Only one of the two bugs listed requires a ProMotion display. The other one can occur on all Apple silicon machines.

I suppose we need to know if it's secure boot (tivoization), or verified boot (remote attestation).

Pretty sure you can just click the dotted menu button on that popup and select "do not translate from $LANG".

How do you make the new machine compute BB(754)? BB is the canonical example of an uncomputable function, precisely because you can decide the halting problem if you can compute it…

Do note that any function f(n) that is always (or even just eventually always) greater than BB(n), is uncomputable, for very similar reasons.

The standards claim that the existence of such a (SEED, a, b) tuple is enough to show that there is nothing special about the curve in question. But if one in a billion curves have…

There are two known ways to achieve this: - Multi-party computation. Too much overhead for something like this. - Remote attestation, as seen in e.g. Intel SGX. Usually provided by…

They want to consider normal connections legitimate, and only detect tunnels.