Hacker News: dudeinjapan

New comment by dudeinjapan in "Sharing AI progress in mathematics"

dudeinjapan — Wed, 07 Oct 2026 12:48:26 +0000

AI math: "We believe this resolves all remaining questions on this topic. No further research is needed." https://xkcd.com/2268/

New comment by dudeinjapan in "SAML: A fractal of bad design"

dudeinjapan — Wed, 23 Sep 2026 04:32:56 +0000

The issue is not that SAML is XML per se, but rather: (1) auth happens over public internet rather than server-to-server, allowing the user to MITM the message flow and (2) the various XML parsing libs in various languages do not have consistent behavior when it comes to looking up a node by name (i.e. if there are dupes) or finding a child node. MITM can exploit these divergences for auth bypasses, etc.

A SAML lib needs an extreme amount of XML sanitization, while still handling all the various “in-the-wild” XML format funkiness

New comment by dudeinjapan in "Claude Opus 5.5"

dudeinjapan — Wed, 23 Sep 2026 04:19:21 +0000

It’s what old cowboys do when they get Alzheimer’s.

New comment by dudeinjapan in "If math is more than proof, we need to better celebrate the rest of it"

dudeinjapan — Sun, 20 Sep 2026 07:23:29 +0000

Arxiv is a good blueprint for what we should build on. Terry Tao gave a recent talk about how "canonicalization" is the key bottleneck. The limitation of Arxiv is that is non-canonical, non-peer reviewed. However, there is no reason that journals should have a monopoly on peer review (it should be noted that peer reviewers aren't even directly compensated for it, granted it is supposedly "priced in" to academic salaries.)

New comment by dudeinjapan in "If math is more than proof, we need to better celebrate the rest of it"

dudeinjapan — Sat, 19 Sep 2026 09:36:30 +0000

The issue here is not AI--it's academic papermill culture and paywalled journals.

AI gives us greater freedom to "stop and smell the roses", explore hidden structures, etc in mathematics. It is a dream come true for curious minds.

New comment by dudeinjapan in "Navier-Stokes – Tristan Buckmaster [pdf]"

dudeinjapan — Wed, 09 Sep 2026 01:56:44 +0000

Sounds like the plot for Good Will Hunting 2.

New comment by dudeinjapan in "AWS: Inaccurate Estimated Billing Data – $1.7 billion"

dudeinjapan — Sat, 18 Jul 2026 13:53:25 +0000

I'd talk to your Amazon rep and see if you can get them to agree to $800 million as a compromise. They are usually pretty good at that stuff.

New comment by dudeinjapan in "Solving 20 Erdős Problems with 20 Codex Accounts Running in Parallel"

dudeinjapan — Thu, 16 Jul 2026 12:12:35 +0000

> Inventing completely new mathematics

There will be fewer good mathematicians, but more great mathematicians!

New comment by dudeinjapan in "Ancient Tablets Show Markets Worked 4k Years Before Economists Explained Them"

dudeinjapan — Sun, 28 Jun 2026 05:34:04 +0000

Also, should we capitalize the "C" in "Capitalism"? One might think we should, because C is a capital letter. But capital itself is lowercase, and therein lies the paradox.

New comment by dudeinjapan in "Ancient Tablets Show Markets Worked 4k Years Before Economists Explained Them"

dudeinjapan — Sun, 28 Jun 2026 05:31:53 +0000

I'm looking for the tablet that says "We're an anarcho-syndicalist commune..."

New comment by dudeinjapan in "Quebec town recognizes trees as living beings with rights"

dudeinjapan — Wed, 24 Jun 2026 17:24:26 +0000

You're forgetting about property taxes (adverse possession / squatter's rights.)

New comment by dudeinjapan in "Quebec town recognizes trees as living beings with rights"

dudeinjapan — Wed, 24 Jun 2026 17:23:24 +0000

In rare cases, yes. https://nypost.com/2009/04/16/small-tree-found-growing-insid...

New comment by dudeinjapan in "Quebec town recognizes trees as living beings with rights"

dudeinjapan — Wed, 24 Jun 2026 17:20:00 +0000

No, they are tax cheats. It has been notoriously hard to arrest them and send them to jail however.

New comment by dudeinjapan in "Genuinely, my all-time favourite image: Mamenchisaurus hochuanensis"

dudeinjapan — Wed, 24 Jun 2026 17:04:05 +0000

meh just put the head on the end of the tail, a lot less effort and no one will be any the wiser.

New comment by dudeinjapan in "Splash Is a Colour Format"

dudeinjapan — Sun, 07 Jun 2026 07:00:12 +0000

> Splash colours can help you avoid decision paralysis when picking colours. It's an emotional tool that stops you fussing around— trying to pick the "perfect" colour.

OK I missed this. The intro paragraph explains "what" not "why". As this "why" is not immediately obvious (nor is something I've ever considered a "problem"), would suggest to put something short in the intro.

New comment by dudeinjapan in "Splash Is a Colour Format"

dudeinjapan — Sat, 06 Jun 2026 16:17:53 +0000

The site doesn't explain--what's the actual point of this? If we are seriously concerned about characters (which is generally silly in a gzipped CSS) why not just use 3-char hex like #a5c?

New comment by dudeinjapan in "Snowboard Kids 2 is 100% Decompiled"

dudeinjapan — Sat, 30 May 2026 10:18:30 +0000

Was recently discussing N64 games with friends in Japan. Nobody here knew Goldeneye.

New comment by dudeinjapan in "Snowboard Kids 2 is 100% Decompiled"

dudeinjapan — Sat, 30 May 2026 08:00:29 +0000

This is a game released in 1999. It's silly that source code isn't released for games this old.

New comment by dudeinjapan in "Moving away from Tailwind, and learning to structure my CSS"

dudeinjapan — Sat, 16 May 2026 21:36:54 +0000

The elephant in the room is AI. The frontier LLMs seem to prefer Tailwind by default. And they do a good job with it--likely because coupling style definitions to your HTML document structure is the least overhead way for an LLM to write code. The alternative--reasoning about a platonic ideal CSS structure, mapping the document structure to that an inferring how the layout will look, then juggling all that while making iterative edits--is a lot more "cognitive" work!

New comment by dudeinjapan in "Japan’s robot wolf sells out as record bear attacks drive demand"

dudeinjapan — Sat, 16 May 2026 19:59:29 +0000

> The robot scarecrows are used to ward off bears in rural areas

Two thoughts on this captioned image: (1) holy $&!# that is horrifying (2) if its designed to ward off bears, isn't it a scarebear?