layer8

How do you handle UI state vs. underlying data (model) state, and dependencies between them? By UI state, I mean things like scrollbar position and selection state. When displaying a scrollable and se…

As someone who hasn’t used the language, I’m curious about what the valuable lessons of Objective-C are that the programming industry is resisting learning.

Also, “honest reading” — without any context explaining why one would contemplate a dishonest reading.

It’s undeniable: https://i1.kwejk.pl/k/obrazki/2017/04/4785e864a82730b16d00fe... …

That presentation is so hilarious and sad at the same time.

Why are you assuming that the boundaries are whole calendrical years? Clearly, I meant exactly between the precise moment 1000 years ago and the precise moment 3000 years ago. ;)

Trust in formal reasoning is necessarily always conditional. You have to start somewhere. The good thing about verified formal proofs is that the only way they can be in error is if the verifier is fa…

Knowing multiple languages, in particular less related or unrelated ones, is mentally enriching. If you only know a single language, you don’t know what you are missing in terms of diversity of though…

The longevity of a city is difficult to achieve as an engineer/architect/builder nowadays. One might have better chances as a scientist.

The order is alphabetical, not random. ;)

Less ambiguously: between 1000 and 3000 years ago. ;)

Not to excuse the site, but you should really be using an ad blocker that takes care of that. I see nothing, neither on mobile nor desktop.

Hot-swappable, lockable drive bays with individual LED indicators. Needing more SATA ports than PCs typically come with. Features like auto-shutdown on USP failure that work out of the box. NICs with …

I don't particularly like coffee, so it's not addictive for me as well. But neither are the energy drinks that I actually like. Conversely, there are people heavily addicted to coffee, wheth…

I meant specifically the Monster drinks. Red Bull for example is closer to 2 € here. The cheapest Aldi energy drinks are 0.29 €.

Sugar-free energy drinks aren’t rare (at least here in Europe), and people are putting fat and sugar in their coffee as well.

$3-4 is a lot. They are 0.99 € here (tax included).

I mean, you could say the same thing about coffee.

While I disagree with the root comment, sentience, consciousness and reasoning ability seem largely orthogonal to me. It’s certainly worthwhile to consider sentience and consciousness in AI, but so is…

Like a diver ascending from the depth? ;)

That’s not a counterexample to P != NP, it’s a proof that P = NP. You can’t prove that two sets are the same by counterexample. What you could do is dis prove P = NP by counterexample, by showing tha…

If it’s an NP-complete [0] problem like SAT, as many NP problems are, then we are done, because all NP problems can be reduced to it (in polynomial time). [0] https://en.wikipedia.org/…

Disprove, you mean.

I’m pretty sure “counterexample” is the wrong word here.

AI isn’t “supposed to be” anything (other than “intelligent”). It just turned out that LLMs have to be used in particular ways to be useful. Nobody planned or designed them to be that way. We all as…

It’s not the same thing, in particular if you work in a dynamically-typed programming language, have mutable state, parallelism, and infinite loops. The Curry–Howard correspondence only applies in a l…

The reason you can't always determine if a program is going to finish is due to the undecidability of the halting problem, which is equivalent to Gödel’s first incompleteness theorem (you can pro…

As mentioned, what constitutes "hidden text" is not well-defined. Is #fffffe on #ffffff "hidden text"? Is text hidden behind an image or behind some other object "hidden text&…

As the sibling comments illustrate, “hidden text” isn’t well-defined, and it has legitimate purposes that end users consciously make use of. The AI needs access to it, for one because the user might a…