layer8

19 ms·

481.
by layer8 2mo ago
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 build the usual diagonalizations on.
482.
by layer8 2mo ago
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 languages, it means that for any programming l
483.
by layer8 2mo ago
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 to forgo integer arithmetics with multi
484.
by layer8 2mo ago
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’t look like Apple will be going back to
485.
by layer8 2mo ago
Around 20% apparently do: https://c9ac71a8282e1fecd95e-f07dbcddcacf0d4c572ea7178ee6902... From: https://www.sellcell.com/blog/how-often-do-people-upgrade-th...
486.
by layer8 2mo ago
It’s pretty clear that the premise won’t be becoming reality.
487.
by layer8 2mo ago
> 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, because presumably it doesn’t compare it t
488.
by layer8 2mo ago
Eh, I’m using an 15-year old LCD monitor and its still fine. One generally doesn’t use these at full brightness.
489.
by layer8 3mo ago
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 section 3 for their requirements) who verify t
490.
by layer8 3mo ago
Indeed. It doesn’t meet the requirements of EU qualified signatures or seals, for example.
491.
by layer8 3mo ago
These are still open: https://ec.europa.eu/commission/presscorner/detail/en/ip_25_... https://www.epceurope.eu/post/european-publishers-council-fi...
492.
by layer8 3mo ago
Google’s moat is that websites aren’t blocking their crawler.
493.
by layer8 3mo ago
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 affect our everyday applications. Unless your
494.
by layer8 3mo ago
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 fine. Or course you plan with some redun
495.
by layer8 3mo ago
At least he isn’t abusing some existing term.
496.
by layer8 3mo ago
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 for any undecidable problem. There is no a
497.
by layer8 3mo ago
From the other dev-op work you’re doing.
498.
by layer8 3mo ago
August 2025.
499.
by layer8 3mo ago
Sure, but influence tailored to the person is much worse than non-personalized influence by the general environment.
500.
by layer8 3mo ago
“Virtue signaling” is when you don’t take meaningful action. The article author went out of their way to take meaningful action.
501.
by layer8 3mo ago
It saves you from having to perform date-time calculations.
502.
by layer8 3mo ago
27–7 would be 20.
503.
by layer8 3mo ago
You mean a Big Endian.
504.
by layer8 3mo ago
> Beamer Spotted the German guy. ;)
505.
by layer8 3mo ago
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 and preferences makes you prone to manipu
506.
by layer8 3mo ago
> 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 never had such subscriptions for small- to
507.
by layer8 3mo ago
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 comment implies.
508.
by layer8 3mo ago
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.
509.
by layer8 3mo ago
Your `$foo` example confused me at first because I thought the backticks are part of the example.
510.
by layer8 3mo ago
I’m happy to report that I work for ones that do. Privately owned company with decades-long history, no VC, no profit maximization mindset.

More ›