Scarblac

It's French, sponsored by the French government. They may well end up translating it to all those languages except English.

The French government for instance sponsors LaSuite ( https://lasuite.numerique.gouv.fr/ , no English language web page of course ).

But I think the hardest thing to replace is Active Directory, Outlook, all the integration with Windows, all the admins certified on Microsoft technology. It's not about the actual application "MS Office", it's about all of IT (that line was not AI).

But antimatter rights antimatter? Or do they become lefts.

Primarily because sheep owners refuse to install good fences.

But BB(10) is also just an integer. So it should be computable?

It's impressive that a Turing machine of only 10 states can run for Graham's number steps and still halt.

I'd call it absolutely mind boggling, actually.

Note that this casually solves the halting problem, usually a hint that something is wrong.

So what if we set C = BB(10)?

Also, how much fuel do you need to bring along to accelerate a human and life support system and the whole craft including fuel, for a lifetime? Is it larger than a planet?

Albert Heijn has 40% market share of Dutch supermarkets, and their distribution centers are shut down while they are working on this. Could become quite ugly quickly.

On the platform, my code is split between HTML, JS and CSS files.

I like modules. They exist in some form or another in most programming languages and they are one of the few definitively good ideas in software engineering. Give me the ability to split off parts of my work with some public API and hidden internals. Works on different levels too, like with a reusable library that consists of modules.

JS has a module story. But HTML and CSS just aren't connected to it, without using something like JSX.

That's why I end up abandoning "using the platform" every time.

I dont know any other environment except the browser where code is split into three in a similar way.

And a datacenter for Emacs.

If it didn't melt in summer, its start would have been further to the south.

It is correct though, since 2010 Saba is a "speciale gemeente" of the Netherlands, and its mountain is thus our highest point. Before that it was organised as a separate country "Nederlandse Antillen" with the other Caribbean islands.

That genus is part of the Canidae family though. Dogs and wolves are in the Canis genus in the Canidae group.

Jackals and foxes are also each their own genus, and there are a number more genuses.

Afaik, in Europe there is no person who "owns" the tip. It goes into a centralized pot that is shared by all the employees.

Especially because most payments are by card (where I live), the tip first ends up with the restaurant itself anyway, not individual waiters.

If they cant figure that out, then they shouldnt do it at all. Duh.

Anyway, if they're so large and special then they can hire a bunch of people. Large scale should make it easier.

People's lives, not just employees.

Yes but it's also possible that there are other proofs. The point remains, the content of the proof is what matters, not that the statement is proven.

Why would it not be able to find reductions now, but be able to find them just by being told that P=NP is definitely true?

Well then, just tell the AI that the statement is true and it will find reductions!

In reality, it wouldn't depend on the truth value of the statement, but on the AI understanding the proof. If it understands it then it might be able to use it to find reductions.

So the point remains, knowing that P=NP isn't what's important, it's the proof that matters.

Sure, but just that some random statement is true isn't interesting. It's interesting if it helps understand some abstract structure better.

How would the mere knowledge that it holds, without any understanding why, be useful?

Note that for the second, that's not really a house, it's a boat (woonboot). It floats. The page lists the legal requirements for any replacement boat new owners may want to put there.

As usual this discussion is people talking past each other because some people work on web sites and others on web applications.

React is great for applications, perhaps not as much for sites. I wouldn't know though.

I feel the killer feature of doing everything in JS is components. I just want to import something from a library and use it.

Web pages have their code split between HTML, CSS and JS. There is no common story that works for all three except for using JS.

Spreadsheet software, like Excel.

OTOH, there's spreadsheets. The abstraction is just so great that users can and do use them for anything.

The problem seems to be that there's not many such great abstractions to be found.

What is done in practice, for daily development use? Building the image in memory from source files at startup?

At any rate, if the AI's side in this conversation were a human, that would be an extremely intelligent human indeed.

But there's no way the thinking times would have been that short, of course.