OxO4
Joined 12 years ago
Karma
224
Submissions
83
Member since
Dec 12
Recent submissions
Comment · 10 days ago
To an extent, that is what automated theorem provers (e.g., SAT/SMT solvers) do quite successfully. The monkeys have very good heuristics and avoid going down unnecessary paths, but they are still monkeys. Similarly, AI might be very good at recognizing patterns (which is very useful!), but doesn't necessarily demonstrate any kind of real understanding.
Comment · 10 days ago
Of course humans make mistakes, but (outside of Lean at least) they attempt to solve it with experience, understanding, and a certain amount of creativity instead of mashing things together until something works out.
Comment · 10 days ago
Right, my comment was not about its usefulness. I was merely pointing out that those results do not necessarily imply any kind of actual understanding.
Comment · 11 days ago
The recent progress does not imply that the "impersonator" has a deep understanding of mathematics. By formalizing a problem in Lean, constructing the proof is essentially a complex search. Because Lean is the arbitrator of correctness, the "impersonator" can make as many mistakes as they want until they find a solution that passes the checker. That is very different from checking a paper for correctness.
Comment · 17 days ago
The Top Gear video mentions that kind of recharge time using an external system (though they do claim that they are trying to get it down to 30min).
I've seen some claims that the gas is stored at a pressure of 10000 psi/690 bar in a 200 l tank. If that's true, then that is a gas volume of 138000 l. A commercial, stationary scuba compressor compresses around 850 l/min [0] to 350 bar. A compressor like that would take around 160 min just to compress 138000 l to 350 bar (so significantly less than 690 bar), is a _large_ appliance, and _loud_. Compressing gas quickly also produces heat. An on-board compressor seems quite unrealistic to me unless I'm missing something.
Comment · 17 days ago
Based on a cursory search, propellant-grade nitrogen requires a high purity (99.99%) [0]. I am no aerospace engineer, but I'd be interested to know what the actual requirements are for a system like that to work reliably. If 99.99% nitrogen is actually required, then I'd assume that the corresponding compressor would neither be compact nor particularly maintenance-free.
[0] MIL-PRF-27401
Comment · 17 days ago
The funny thing is that during the event, Elon claimed that the car can recharge the tanks itself [0], but in the Top Gear video, the Tesla folks say that it is recharged from an external source [1]. In the Top Gear video, they also say that they are filling it from a "high pressure nitrogen system", whereas Elon claims that the tank is filled with air. They can't even keep their own messaging straight.
[0] https://www.youtube.com/live/qt5p-_tE8d0?si=V5csPghK02wwd0or...
Comment · 3 months ago
There are people that are taller than six foot and it also depends heavily on whether you have long legs or a long torso.
Comment · 3 months ago
If you are tall, then no amount of reclining is going to give you more space. The knees are too far forward to stretch your legs, _especially_ when the person in front of you reclines.
In other words, you are inconsiderate.
Comment · 4 months ago
Are you suggesting that you can tell the types of games someone enjoys by just looking at them?
(Your reply is another example of right-wing discourse being around prejudiced assumptions instead of reality.)
Comment · 6 months ago
People like you sanewashing the actions of this admin are a major part of the problem.
Even if this were how the system was designed, it is time to acknowledge that it is fundamentally broken and needs change. It is mind boggling that the response to these issues amounts to WONTFIX.
Comment · 11 months ago
FWIW, some "smarter" machines (e.g., [0, 1]) support taking three readings with a minute pause in-between and then spit out a single reading.
[0] https://www.garmin.com/en-US/p/716808/ [1] https://www.withings.com/us/en/bpm-connect
Comment · 1 year ago
Freedivers are also taught not to exhale underwater, because it wastes oxygen and lowers your CO2 level, making it harder to know when you actually have to come back up. Your body can't sense the level of oxygen it has, so freedivers rely on CO2 levels as a proxy, so messing with it is dangerous.