layer8

You run into the same problems when you have True(x) = NOT (False(x) OR Paradox(x)). You can define NotTrue(x) := False(x) OR Paradox(x), and then you have True(x) = NOT NotTrue(x), which one can buil…

The issue is that you can’t generally determine whether a statement is “buggy” in that way, because under the assumption that you could, you can construct another paradox. Regarding programming langua…

Of course this has been explored: https://en.wikipedia.org/wiki/G%C3%B6del%27s_incompleteness_... The bar is rather low, however (like Robinson arithmetic). Basically, you’d have…

New ones don’t seem to be available any more, you probably need to go refurbished. Last year some third-party sellers still had new units available. Replacing the battery is always an option. It doesn…

Around 20% apparently do: https://c9ac71a8282e1fecd95e-f07dbcddcacf0d4c572ea7178ee6902... From: https://www.sellcell.com/blog/how-often-do-people-upgrade-th... …

It’s pretty clear that the premise won’t be becoming reality.

> They do tend to overengineer. The other day 5.6 Sol generated a while loop around a uuid4 call to make sure the generated ids were unique... That’s not overengineering, it’s plain nonsensical, be…

Eh, I’m using an 15-year old LCD monitor and its still fine. One generally doesn’t use these at full brightness.

See eIDAS annexes I to III: https://eur-lex.europa.eu/legal-content/EN/TXT/?uri=CELEX%3A... Certificates must be issued by qualified trust service providers (see sectio…

Indeed. It doesn’t meet the requirements of EU qualified signatures or seals, for example.

These are still open: https://ec.europa.eu/commission/presscorner/detail/en/ip_25_... https://www.epceurope.eu/post/european-publishers-counci…

Google’s moat is that websites aren’t blocking their crawler.

An infinite loop doesn’t mean that you can’t prove whatever property you want to prove about your program, if you’ve designed it for that. The limitations coming from undecidability don’t really affec…

Not my experience, from an SMB that maintains its own hardware and services. You have a certain contingent of competent engineers who distribute their work across projects, and it generally works out …

At least he isn’t abusing some existing term.

This has little to do with the halting problem, because we can choose to not deploy programs (or subroutines) that we want to be terminating but can’t prove that they are terminating. And that goes fo…

From the other dev-op work you’re doing.

August 2025.

Sure, but influence tailored to the person is much worse than non-personalized influence by the general environment.

“Virtue signaling” is when you don’t take meaningful action. The article author went out of their way to take meaningful action.

It saves you from having to perform date-time calculations.

27–7 would be 20.

You mean a Big Endian.

> Beamer Spotted the German guy. ;)

Tracking usually happens across websites, meaning the information is shared with third parties outside the people running the website where you accepted the cookies. Knowing your interests, behavior a…

> In my workplace, we're going to decline to renew some software subscriptions because a non-programmer vibe-coded their replacement in a week. This is curious to me, as at my workplace we nev…

This is usually due to time pressure and cost. AI arguably substantially reduces that kind of pressure. I’m overall skeptical as well, but the argument about tech debt is more nuanced than your commen…

Echo will fail here when stderr is closed. For example when the caller of the script pipes stderr to another command and that command exits.