Hacker News: OxO4

New comment by OxO4 in "Tesla to wind down Cybertruck production"

OxO4 — Fri, 06 Nov 2026 23:35:49 +0000

> I've heard there's power stations with pull throughs but havent' seen them personally.

FWIW Rivian has pull through charging stations along I-5, so they do exist. In general, their charging infrastructure is very reliable, uses renewable energy (matching), and is fast (even for my non-Rivian EV) and is not associated with a fascist.

New comment by OxO4 in "The recently proposed o(n log n) integer multiplication algorithm [pdf]"

OxO4 — Fri, 23 Oct 2026 06:49:23 +0000

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.

New comment by OxO4 in "The recently proposed o(n log n) integer multiplication algorithm [pdf]"

OxO4 — Fri, 23 Oct 2026 06:42:40 +0000

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.

New comment by OxO4 in "The recently proposed o(n log n) integer multiplication algorithm [pdf]"

OxO4 — Fri, 23 Oct 2026 06:36:07 +0000

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.

New comment by OxO4 in "The recently proposed o(n log n) integer multiplication algorithm [pdf]"

OxO4 — Thu, 22 Oct 2026 07:23:49 +0000

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.

New comment by OxO4 in "Tesla Roadster"

OxO4 — Fri, 16 Oct 2026 21:21:09 +0000

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.

[0] https://www.bauer-kompressoren.de/en_en/pe-ve1

New comment by OxO4 in "Tesla Roadster"

OxO4 — Fri, 16 Oct 2026 21:03:05 +0000

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

New comment by OxO4 in "Tesla Roadster"

OxO4 — Fri, 16 Oct 2026 20:23:08 +0000

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...

[1] https://youtu.be/JdkIOhFmbKI?si=ULvyIRWDRZRWlIWA&t=1340

The White House is making arcade games racist

OxO4 — Fri, 04 Sep 2026 23:55:37 +0000

Article URL: https://www.theverge.com/policy/990520/trump-arcade-games-maga-copyright

Comments URL: https://news.ycombinator.com/item?id=49571569

Points: 33

# Comments: 20

New comment by OxO4 in "Latest Airbus single aisle aircraft innovations"

OxO4 — Fri, 24 Jul 2026 16:56:41 +0000

There are people that are taller than six foot and it also depends heavily on whether you have long legs or a long torso.

New comment by OxO4 in "Latest Airbus single aisle aircraft innovations"

OxO4 — Fri, 24 Jul 2026 16:50:53 +0000

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.

New comment by OxO4 in "Steam Machine launches today"

OxO4 — Mon, 22 Jun 2026 20:54:14 +0000

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.)

New comment by OxO4 in "Trump fires NSF's oversight board"

OxO4 — Sun, 26 Apr 2026 16:20:41 +0000

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.

New comment by OxO4 in "I didn't reverse-engineer the protocol for my blood pressure monitor in 24 hours"

OxO4 — Tue, 11 Nov 2025 23:09:33 +0000

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

New comment by OxO4 in "Decreased CO2 during breathwork: emergence of altered states of consciousness"

OxO4 — Fri, 18 Apr 2025 11:27:08 +0000

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.

New comment by OxO4 in "The young, inexperienced engineers aiding DOGE"

OxO4 — Tue, 04 Feb 2025 06:52:55 +0000

> I don't think the government leadership has my best interests at heart

And for-profit companies have your best interest at heart? With government services you can at least optimize for goals other than profit.

New comment by OxO4 in "The economy is going great, except for the housing market"

OxO4 — Fri, 01 Nov 2024 01:14:42 +0000

Great. Housing should not be an investment and chasing ever-increasing property values as a society is obviously unsustainable. If you own a house as your primary residence, then its market value shouldn't really matter, because the value has no impact on your quality of life.

New comment by OxO4 in "Boeing workers vote to strike"

OxO4 — Fri, 13 Sep 2024 06:50:45 +0000

Often, people try justify high pay for management positions by pointing out the responsibilities that comes with such a position. If that's the case, then it only makes sense to place blame on management when things go sideways. If not, then what exactly is the value that management adds to the company that justifies their high pay?

New comment by OxO4 in "Tire dust makes up the majority of ocean microplastics"

OxO4 — Sun, 01 Oct 2023 20:50:01 +0000

How so? The 2023 models of the F150 seem to get about 17.19 MPG [0] which is significantly worse than the 32.34 MPG [1] of the 2023 Escape.

[0] https://www.fuelly.com/car/ford/f-150/2023

[1] https://www.fuelly.com/car/ford/escape/2023

New comment by OxO4 in "Apple’s Self Service Repair now available"

OxO4 — Wed, 27 Apr 2022 17:54:33 +0000

It seems that iFixit will officially be selling replacement parts for Google's Pixel phones [0] and Valve's Steam Deck [1], so hopefully, they are not going anywhere.

[0] https://www.blog.google/outreach-initiatives/sustainability/...

[1] https://store.steampowered.com/news/app/1675180/view/4347665...