IsTom

To be able to propose interesting conjectures you need to walk the walk of trying to prove things yourself. That's not great for future generations.

You start with .22 and build up resistance from there.

If demand doesn't fall down or current manufacturers supply go up, somebody (presumably in China) will spin up fabs. Apple wanted to use blacklisted Chinese RAM already.

Deciding if two programs do the same thing is provably impossible in the strict mathematical sense.

With programs large enough tests aren't going to ever be enough. Formal verification might work, but then who checks the specification for bugs?

Is it? Compressed (text) Wikipedia is in ballpark of dozens of GBs.

Pure aluminium maybe not, but it's a major component of clay.

All you have to do is open the wikipedia page on erf and it's right there.

So a suction pump?

In case P /= NP the gap doesn't necessarily have to be exponential, just superpolynomial (e.g. n^loglogn).

I'm not sure if it's has any real bearing on real-world performance, but technically next token prediction makes it an online algorithm and they can be provably worse than (good) offline algorithms.

If IKEA was a monopoly then perhaps.

What is illegal is using your monopoly in one area to further your other enterprises.

I haven't used windows in a long time, but on Android there's a dialog to pick browser and search engine on setup. So I'd assume that they're also bound by DMA in the same way.

Have you checked in EU?

On the other hand you can scale production of reactor themselves. And I don't think the idea is to scatter them around, but to have a power plant with dozens of them in one place (instead of 3-4 regular reactors in a regular nuke power plant).

I find it slightly funny that I don't use LLMs at all and just beat all the levels in a few tries.

EDIT: Ok, didn't notice the 8th level because of the UI. This one I couldn't trick in 5 minutes.

And then USA will have a disadvantage compared to rest of the world with cheaper LLMs and american AI companies will have tougher time surviving on domestic spend alone.

I wonder how's model improvement/dollar invested ratio going. If gains are made by simply spending increasingly vast amounts of cash that's not going to last.

You need at least 7.5B euro turnover and 45M MAU in the EU to have a chance to qualify. It's not going to be everyone.

So if I get this right all she can force is conciliation, which needs the parliament to agree on it in third reading anyway?

If it goes on long enough new manufacturers will eventually spin up and sell RAM cheaper.

So "no ads, no subscription" on its front page is a lie? I am shocked, so very shocked.

You can't do that with CGNAT.

True type already has hinting virtual machine. It's not an entirely new thing.

Now imagine decades of LLM code. Extrapolating the rate of increase of LoC, the source code ain't gonna fit on hard drives anymore.

At least spinal cord has a kind of memory related to movement, but that's something else than episodic memory obviously.

It raises cost, makes access difficult in case a recoverable accident happens and there's still possibility of groundwater contamination if things go wrong.

Sure, but that's one of examples OP gave and it doesn't match my experience. Doesn't leave a great impression of the rest of the argument.

> any reference to them will have the political left call you a nazi, racist, sexist and pedo to boot

I think this boils down to the fact it's typically just a thin veil for motivated reasoning.