Hacker News: cubefox

New comment by cubefox in "US Bill Mandates On-Device Age Verification"

cubefox — Fri, 17 Apr 2026 12:57:14 +0000

> A bill introduced by Representative Josh Gottheimer in the House on April 13

Josh Gottheimer is indeed a Democrat.

New comment by cubefox in "IPv6 traffic crosses the 50% mark"

cubefox — Thu, 16 Apr 2026 10:24:26 +0000

Spain: 9.9%

What's going on in Spain?

New comment by cubefox in "IPv6 traffic crosses the 50% mark"

cubefox — Thu, 16 Apr 2026 06:56:20 +0000

Nice. But note that the average is still significantly below 50%. It's also a bit concerning that the growth rate seems to be levelling off. It currently looks like a sigmoid curve with a maximum far below 100%.

New comment by cubefox in "ChatGPT for Excel"

cubefox — Wed, 15 Apr 2026 23:12:30 +0000

Gemini is very good with SVG, but I don't really see the similarity to spreadsheets.

New comment by cubefox in "Picasso’s Guernica (Gigapixel)"

cubefox — Wed, 15 Apr 2026 13:38:16 +0000

I was always puzzled by Guernica. It looks so ugly (I think most people who saw it for the first time and didn't know it was a famous painting by Picasso would agree), so how did it get so famous in the first place? Perhaps the point was that war is ugly, so the painting also had to be ugly? But it looks literally like a bad children's drawing. Maybe it got famous because a famous painter making an ugly painting on a serious subject was a novel and unconventional idea.

New comment by cubefox in "Google Gemma 4 Runs Natively on iPhone with Full Offline AI Inference"

cubefox — Wed, 15 Apr 2026 13:18:28 +0000

It's both ironic an confusing that this website itself promotes an AI detector.

New comment by cubefox in "Not all elementary functions can be expressed with exp-minus-log"

cubefox — Wed, 15 Apr 2026 10:03:26 +0000

Maybe I'm misunderstanding, but the table says that the "root of a polynomial that is not an algebraic solution" doesn't count as closed-form.

New comment by cubefox in "Amazon to acquire Globalstar and expand Amazon Leo satellite network"

cubefox — Wed, 15 Apr 2026 09:53:28 +0000

> SpaceX and Amazon seem to be headed for competing with traditional telecoms and ISPs.

Traditional ISPs already have a nice network of copper and fiber optic cables. I don't think satellites offer any advantage to most people here, except for those living in an area with slow wired connections.

New comment by cubefox in "Not all elementary functions can be expressed with exp-minus-log"

cubefox — Wed, 15 Apr 2026 07:44:48 +0000

> Odrzywolek's result is immediately obvious

Many things that in retrospect seem immediately obvious weren't obvious before, let alone immediately obvious.

New comment by cubefox in "Not all elementary functions can be expressed with exp-minus-log"

cubefox — Wed, 15 Apr 2026 07:28:02 +0000

Where would EML expressions sit in this fascinating table?

https://en.wikipedia.org/wiki/Template:Mathematical_expressi...

New comment by cubefox in "Let's talk space toilets"

cubefox — Tue, 14 Apr 2026 21:00:42 +0000

Thanks! Any idea why simultaneous operation of seat and hose wasn't possible before ISS/Orion (not sure which)? And why were they able to get rid of the Space Shuttle camera?

New comment by cubefox in "Let's Talk Space Toilets"

cubefox — Tue, 14 Apr 2026 19:00:40 +0000

This goes into a bit more mechanical detail than the Substack post (which only gestures at "air suction"). I'm still not sure whether there are different urine hose adapters for men and women or not.

New comment by cubefox in "No one can force me to have a secure website!!!"

cubefox — Tue, 14 Apr 2026 11:50:40 +0000

It's more involved than that. You might want to click on the video link, or read the PDF. :)

New comment by cubefox in "Is math big or small?"

cubefox — Tue, 14 Apr 2026 10:02:59 +0000

It's true!

https://www.wolframalpha.com/input?i=Geometric+mean+of+%28Pl...

New comment by cubefox in "Lean proved this program correct; then I found a bug"

cubefox — Tue, 14 Apr 2026 09:48:54 +0000

> This has been insanely valuable to me lately.

This surprises me. Formal verification so far has been a very niche thing apart from conventional type systems. I didn't think lack of vibe coding was much of a bottleneck in the past. Where do you use it?

No one can force me to have a secure website!!!

cubefox — Tue, 14 Apr 2026 08:47:15 +0000

Article URL: https://tom7.org/httpv/

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

Points: 10

# Comments: 3

New comment by cubefox in "MEMS Array Chip Can Project Video the Size of a Grain of Sand"

cubefox — Tue, 14 Apr 2026 06:15:53 +0000

Sure!

It was a joke :)

New comment by cubefox in "MEMS Array Chip Can Project Video the Size of a Grain of Sand"

cubefox — Mon, 13 Apr 2026 18:06:29 +0000

> The chip projected a roughly 125-micrometer image of the Mona Lisa.

This may seem small (barely visible as a dot to the naked eye), but that's also the geometric mean of the Planck length and the diameter of the observable universe. So average size actually.

New comment by cubefox in "Bring Back Idiomatic Design (2023)"

cubefox — Mon, 13 Apr 2026 15:45:03 +0000

It's even worse on some websites. For example, Grok sends on enter. Even on mobile. Where you can't even press ctrl+enter, because mobile software keyboards don't have a control key. So you can't include line breaks at all when talking to Grok. You can merely accidentally send a message prematurely. (Maybe they have fixed it by now.)

New comment by cubefox in "Is math big or small?"

cubefox — Mon, 13 Apr 2026 13:24:48 +0000

The geometric mean seems to be the natural mean for relative comparisons between lengths, because the mean of (Planck length, observable universe) is clearly very different from the mean of (house, observable universe).