Hacker News: Tyr42

New comment by Tyr42 in "The Maxwell Conjecture Is False (GPT 5.6 Sol)"

Tyr42 — Fri, 31 Jul 2026 15:18:29 +0000

You can prove something is in NP by providing a (polynomial) reduction from a known NP hard task, and vice versa. All the known NP problems (Knapsack, SAT, etc) are mutually reducable in this way, so solving one lets you solve the others. So if X was shown to be NP, then given a polynomial time solution to X, you can stack the polynomial time reduction from X to SAT to solve SAT in polynomial time too.

Art Doesn't Scale

Tyr42 — Fri, 17 Jul 2026 12:46:12 +0000

Article URL: https://matduggan.com/art-doesnt-scale/

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

Points: 4

# Comments: 1

New comment by Tyr42 in "Half-Baked Product"

Tyr42 — Fri, 03 Jul 2026 14:45:38 +0000

That's handwashing right?

New comment by Tyr42 in "Calvin and Hobbes and the price of integrity"

Tyr42 — Tue, 16 Jun 2026 18:52:45 +0000

Man, I always wonder what would have happened if Bill Watterson had been around for the era of webcomics. Much more creative freedom, and no editor or syndicate to tell you how to layout your panels. Would he have loved it?

Or would he have hated it? He certainly wouldn't have wanted to build a website for it.

New comment by Tyr42 in "Every Frame Perfect"

Tyr42 — Sat, 13 Jun 2026 19:50:50 +0000

Ty but the animations don't seem to animate on mobile chrome on Android.

New comment by Tyr42 in "Reverse engineering the Creative Katana soundbar to control it from Linux"

Tyr42 — Thu, 11 Jun 2026 15:09:28 +0000

Same blog eh?

New comment by Tyr42 in "Claude Code – Everything You Can Configure That the Docs Don't Tell You"

Tyr42 — Fri, 29 May 2026 10:12:07 +0000

Can I do

  echo blah blah >> ~/.ssh/authorized_keys

And that'd be auto approved?

New comment by Tyr42 in "What Apple and Google are doing to push notifications"

Tyr42 — Wed, 27 May 2026 20:02:35 +0000

> None of this bites evenly. The editing falls hardest on broadcast and promotional push; the notifications people actually want tend to pass through untouched or amplified.

Sounds fine with me?

New comment by Tyr42 in "“Kitten Space Agency”, a Spiritual Successor to “Kerbal Space Program” (2025)"

Tyr42 — Tue, 05 May 2026 01:37:27 +0000

What's the best way to play on Linux? I'm sure proton would work but it's not on steam...

New comment by Tyr42 in "Where the goblins came from"

Tyr42 — Thu, 30 Apr 2026 14:09:36 +0000

My instructor for Epsilon Delta proofs and limits would always talk about "his cousin in Romania" picking the Epsilon and him picking the Delta.

i.e. forall epsilon > 0. exists delta > 0. forall d with |d| < delta. |f(x) - f(x+d)| < epsilon.

If we had a proof, no matter what epsilon his cousin from Romania picked, we could always find a new delta which would satify his cousin and let him pick the worst d in range.

This worked better than just saying "pick any epsilon", as it convayed the adversarial approach better.

Another book I read used the Devil as the one you are trying to convince, but it's nowhere near as fun as "his cousin from Romania".

New comment by Tyr42 in "Aspartame is not that bad? (2022)"

Tyr42 — Fri, 24 Apr 2026 13:48:04 +0000

Health outcomes of lottery winners suggest it's not great.

New comment by Tyr42 in "Filing the corners off my MacBooks"

Tyr42 — Fri, 10 Apr 2026 23:38:51 +0000

I second this proposal. Three weeks shift can feel about right.

But we lost a lot of nice symmetries that way, which is unfortunate

New comment by Tyr42 in "The MacBook Neo"

Tyr42 — Thu, 12 Mar 2026 00:44:51 +0000

Ah but then you'd need to hard shut down to carry it home. The battery should keep the ram active to commute while sleeping

New comment by Tyr42 in "After outages, Amazon to make senior engineers sign off on AI-assisted changes"

Tyr42 — Tue, 10 Mar 2026 21:49:58 +0000

Heck, doing a self review when you wrote the code catches stuff like forgetting debug prints.

New comment by Tyr42 in "The “JVG algorithm” only wins on tiny numbers"

Tyr42 — Tue, 10 Mar 2026 01:34:53 +0000

Hey hey, 15 = 3*5 is factoring.

New comment by Tyr42 in "Banned in California"

Tyr42 — Thu, 26 Feb 2026 00:10:58 +0000

Being unable to start a project without doing 5 years of legal wrangling once you put shovel to earth may not be a "ban", but it sure doesn't encourage development.

New comment by Tyr42 in "Zero-day CSS: CVE-2026-2441 exists in the wild"

Tyr42 — Wed, 18 Feb 2026 19:39:11 +0000

Funny you'd mention that, when Notepad had a CVE in it's markdown parsing recently.

New comment by Tyr42 in "I now assume that all ads on Apple news are scams"

Tyr42 — Fri, 06 Feb 2026 12:53:39 +0000

I mean I remember when Penny Arcade Ram ads for games and such and they only ran the ads if the approved of the game. The ads were worth clicking into. They sold a real product for a cost approximating its value.

Now ads are just scams

New comment by Tyr42 in "Kotlin's rich errors: Native, typed errors without exceptions"

Tyr42 — Fri, 23 Jan 2026 21:06:54 +0000

I think bridging this syntax onto legacy checked exceptions from java would make a lot of sense.

New comment by Tyr42 in "Kotlin's rich errors: Native, typed errors without exceptions"

Tyr42 — Fri, 23 Jan 2026 21:05:38 +0000

Sounds like checked and unchecked exceptions.

I mean, this could be a syntax wrapper for java checked exceptions right?

Those are isomorphic to Result<_, Err> in that you must handle or propagate the error. The syntax is different, sure.