Don't forget the Boring Company. And Hyperloop. And Zip2.
Suck comes standard.
The image of a chain reaction of RRs popping up like popcorn when another appears to be about to land on it pretty hilarious, though.
Nitrogen, actually.
In business terms they did the first part and will fail on the second.
Best summary: | ... cybertruck of sports cars ...
There are open references to usage by ECMWF ASML Pumas JPMorgan Chase and many other companies. I use it routinely, but it isn't a company standard where I work.
This is a definite integral. The specific endpoints might allow substantial simplifications that obscure the anti-derivative in question. This is similar to the way that $\int_{-\infty}^\infty exp(-x^2) dx = \sqrt \pi$.…
Depends on the click-through license that linked to the terms of service that you agreed to as part of buying the machine.
Counter evidence: 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…
A non-carbon containing fuel that is almost entirely created by burning fossil fuels is effectively the same (and often worse) than just using the fossil fuels directly. Biodiesel or biomethane looks at first glance to…
After 1974 is when they decided to not award it posthumously. In 1962 that rule was still in the future.
That's nice and probably true. On average. 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.
These new drones fly at 6000+m (20,000 ft). Machine gun turrets aren't going to touch that.
Generating the lean proof first is a viable approach as well followed by an explanatory pass. Actually, they are questioning whether the natural language description of the proof is either not faithful to the formal…
Because it is really hard to read and the level of detail is so high that even lemmas that you can read may have such enormous levels of detail that makes real understanding difficult given that humans have limited…
Natural language is ambiguous, but the Lean formalization is very well defined and unambiguous. It's not the form language that is the real problem here. It's the ambiguity on the other side and the extreme difficulty…
This is the common experience in replicating a published paper by hand ... it is common to find "obvious" aspects that are anything but. The scary thing is when AIs generate unreadable formal proofs and then effectively…
It actually doesn't do that. Did you even read what was written?
They put him on the Beagle to have dinner with the captain so that the captain wouldn't go mad. The captain himself was the one who went looking for a dinner companion. Also, Darwin had to pay his own way (with his…
If you think that the US is the same US as ten years ago when that was an insane delusion, then you are the one smoking too much weed. This administration has gone to very great lengths to tear down the safety walls.…
But the rate for milligram sized particles hitting a 100m x 100m patch is 2-3 per month. At 20km/s, that's plenty big enough to ruin your day.
In normal English usage, "with extreme prejudice" is commonly understood to mean that you advocate killing the person in question. Either you don't know what you are saying and should improve your language skills Or you…
It would be nice to be able to back up in the sequence. There were a few times where I realized I had not fully understood a previous step and would have like to be able to review some previous steps. Otherwise this is…
The average one way commute distance in the US is only 14.4 miles and the median is around 9 [1]. The one way average commute time is about 27 minutes. As such, I don't think that "most" commutes in US cities are 30+…
Don't forget the Boring Company. And Hyperloop. And Zip2.
Suck comes standard.
The image of a chain reaction of RRs popping up like popcorn when another appears to be about to land on it pretty hilarious, though.
Nitrogen, actually.
In business terms they did the first part and will fail on the second.
Best summary: | ... cybertruck of sports cars ...
There are open references to usage by ECMWF ASML Pumas JPMorgan Chase and many other companies. I use it routinely, but it isn't a company standard where I work.
This is a definite integral. The specific endpoints might allow substantial simplifications that obscure the anti-derivative in question. This is similar to the way that $\int_{-\infty}^\infty exp(-x^2) dx = \sqrt \pi$.…
Depends on the click-through license that linked to the terms of service that you agreed to as part of buying the machine.
Counter evidence: 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…
A non-carbon containing fuel that is almost entirely created by burning fossil fuels is effectively the same (and often worse) than just using the fossil fuels directly. Biodiesel or biomethane looks at first glance to…
After 1974 is when they decided to not award it posthumously. In 1962 that rule was still in the future.
That's nice and probably true. On average. 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.
These new drones fly at 6000+m (20,000 ft). Machine gun turrets aren't going to touch that.
Generating the lean proof first is a viable approach as well followed by an explanatory pass. Actually, they are questioning whether the natural language description of the proof is either not faithful to the formal…
Because it is really hard to read and the level of detail is so high that even lemmas that you can read may have such enormous levels of detail that makes real understanding difficult given that humans have limited…
Natural language is ambiguous, but the Lean formalization is very well defined and unambiguous. It's not the form language that is the real problem here. It's the ambiguity on the other side and the extreme difficulty…
This is the common experience in replicating a published paper by hand ... it is common to find "obvious" aspects that are anything but. The scary thing is when AIs generate unreadable formal proofs and then effectively…
It actually doesn't do that. Did you even read what was written?
They put him on the Beagle to have dinner with the captain so that the captain wouldn't go mad. The captain himself was the one who went looking for a dinner companion. Also, Darwin had to pay his own way (with his…
If you think that the US is the same US as ten years ago when that was an insane delusion, then you are the one smoking too much weed. This administration has gone to very great lengths to tear down the safety walls.…
But the rate for milligram sized particles hitting a 100m x 100m patch is 2-3 per month. At 20km/s, that's plenty big enough to ruin your day.
In normal English usage, "with extreme prejudice" is commonly understood to mean that you advocate killing the person in question. Either you don't know what you are saying and should improve your language skills Or you…
It would be nice to be able to back up in the sequence. There were a few times where I realized I had not fully understood a previous step and would have like to be able to review some previous steps. Otherwise this is…
The average one way commute distance in the US is only 14.4 miles and the median is around 9 [1]. The one way average commute time is about 27 minutes. As such, I don't think that "most" commutes in US cities are 30+…