Hacker News: meithecatte

New comment by meithecatte in "FBI Extracted Deleted Signal Messages Saved in iPhone Notification Database"

meithecatte — Thu, 09 Apr 2026 13:38:02 +0000

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

New comment by meithecatte in "Determination of the fifth Busy Beaver value"

meithecatte — Wed, 17 Sep 2025 19:06:07 +0000

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.

What I mean when I say "my union"

meithecatte — Mon, 16 Jun 2025 18:21:34 +0000

Article URL: https://posts.demarko.org/2025/06/07/what-i-mean-when-i-say-my-union/

Comments URL: https://news.ycombinator.com/item?id=44292051

Points: 2

# Comments: 0

New comment by meithecatte in "Plane crashes, overturns during landing at Toronto airport"

meithecatte — Tue, 18 Feb 2025 03:50:55 +0000

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

New comment by meithecatte in "Why is Warner Bros. Discovery putting old movies on YouTube?"

meithecatte — Wed, 05 Feb 2025 16:57:34 +0000

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.

New comment by meithecatte in "Long term technologies, waiting in the background"

meithecatte — Mon, 02 Dec 2024 14:50:22 +0000

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

Long term technologies, waiting in the background

meithecatte — Mon, 02 Dec 2024 14:34:02 +0000

Article URL: https://shkspr.mobi/blog/2024/12/long-term-technologies-waiting-in-the-background/

Comments URL: https://news.ycombinator.com/item?id=42296597

Points: 4

# Comments: 2

"War on WPE", or the single-member community of Automattic CEOs

meithecatte — Fri, 18 Oct 2024 00:53:33 +0000

Article URL: https://liberda.nl/current/mullenweg-cash-grab/

Comments URL: https://news.ycombinator.com/item?id=41875374

Points: 10

# Comments: 0

New comment by meithecatte in "Harvard Railroad Economics Exam (1906)"

meithecatte — Sun, 16 Jun 2024 12:01:43 +0000

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.

New comment by meithecatte in "TimeLapze: Open-source screen recorder"

meithecatte — Sat, 09 Mar 2024 10:42:40 +0000

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

New comment by meithecatte in "California Pizza Hut Lays Off Delivery Drivers Amid New Wage Law"

meithecatte — Wed, 27 Dec 2023 03:45:12 +0000

Probably trimmed due to HN's length limit

New comment by meithecatte in "Trains were designed to break down after third-party repairs, hackers find"

meithecatte — Thu, 14 Dec 2023 10:59:40 +0000

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.

New comment by meithecatte in "Polish trains lock up when serviced in third-party workshops"

meithecatte — Tue, 05 Dec 2023 14:57:19 +0000

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.

New comment by meithecatte in "Show HN: YouTube banned adblockers so I built an extension to skip their ads"

meithecatte — Sun, 19 Nov 2023 08:20:35 +0000

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.

New comment by meithecatte in "Show HN: YouTube banned adblockers so I built an extension to skip their ads"

meithecatte — Sun, 19 Nov 2023 08:14:38 +0000

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

New comment by meithecatte in "The 8000th Busy Beaver number eludes ZF set theory (2016)"

meithecatte — Thu, 02 Nov 2023 18:58:23 +0000

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

New comment by meithecatte in "macOS Sonoma Boot Failures"

meithecatte — Wed, 01 Nov 2023 00:31:55 +0000

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

New comment by meithecatte in "The Cloud Computer"

meithecatte — Thu, 26 Oct 2023 20:31:46 +0000

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

New comment by meithecatte in "Localization Failure: Temperature Is Hard"

meithecatte — Wed, 18 Oct 2023 08:37:22 +0000

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

New comment by meithecatte in "BB(3, 3) is Hard"

meithecatte — Tue, 17 Oct 2023 06:21:52 +0000

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 (or any upper bound). Granted, BB may be computed for specific arguments, as OP mentions for 1–4, but the existence of the ZFC-dependent machine is, at least to me, a very good argument that the boundary of what's possible is much lower.