https://arxiv.org/abs/2603.00042

It is true that block-headed quantization of everything doesn't work. But, as I am sure will read, if you remove the spiky parts of the parameter values, the residue can be dramatically quantized and compressed while retaining performance.

This is a multi-modal sort of compression where you use different techniques for different phenomena. Simply compression all of the weights, each in isolation, ignores the benefits of compressing them collectively.

Biodiesel or biomethane looks at first glance to escape this, but it has serious other costs.

It is much less true when Russians invade your country planning to assassinate your chief executive.

Disorganized rabble aren't going to be able to stop that.

Actually, they are questioning whether the natural language description of the proof is either not faithful to the formal proof, or simply wrong, or both.

It's not the form language that is the real problem here. It's the ambiguity on the other side and the extreme difficulty of doing a useful and accurate translation.

The scary thing is when AIs generate unreadable formal proofs and then effectively lie (or fabulate, to be polite-ish) about the natural language version of the steps. Since the natural language version is arguably the most important aspect of a solution to a flagship problem, this fabulation deflates the value of the solution while the existence of the solution discourages further work on the problem.

Did you even read what was written?

Also, Darwin had to pay his own way (with his father's money) as a civilian passenger and received no salary for the trip.

So "the British" didn't put Darwin on the Beagle.

This administration has gone to very great lengths to tear down the safety walls.

The boats in the Caribbean demonstrate this well. Service members who object to targeting civilians without any due process are forced out.

The difference between that is only a matter of scale. And even that scale factor has been breached in terms of the number casualties from the termination of USAID.

It may be delusional right now to imagine service members following a nuclear attack order on Iran, but it isn't clear it will stay that way.

At 20km/s, that's plenty big enough to ruin your day.

Either you don't know what you are saying and should improve your language skills

Or you do and should be dropped from this site for advocating violence.

Otherwise this is completely excellent!

As such, I don't think that "most" commutes in US cities are 30+ miles and 45 minutes or more.

[1] https://truedrivingcost.com/articles/average-commute-distanc... Data sourced from US census data.

What would you do better?

Also, the author didn't say that there were no other tests. They just said that they use fuzz + property tests a fair bit.

Seriously.

The stupider you are, the more likely it is that there is something valuable that you don't know about.

But sophistry on that level doesn't actually change the minimal economic value of putting people on Mars.