Hacker News: jhanschoo

New comment by jhanschoo in "The Seasons Are Wrong"

jhanschoo — Sat, 11 Apr 2026 10:30:52 +0000

In my mind this is it, the colloquial seasons, and with vague boundaries depending on feeling, whereas the calendar "seasons" are there just to quarter the year artificially.

New comment by jhanschoo in "Modeling what makes paper-folding puzzles hard"

jhanschoo — Thu, 02 Apr 2026 10:51:00 +0000

Hmm I think you made the grid lines thicker? I prefer it, but the thickness looks inconsistent (several divisions of the paper do not seem have thicker grid lines on my display)

New comment by jhanschoo in "Iran says it will target US tech companies in Middle East"

jhanschoo — Wed, 01 Apr 2026 10:01:17 +0000

It's so funny to me that you compare a decapitation strike with the stated aim of regime change to vandalism; I'd compare the actions taken to Iran in 2025 to vandalism over this.

New comment by jhanschoo in "In math, rigor is vital, but are digitized proofs taking it too far?"

jhanschoo — Wed, 01 Apr 2026 06:47:18 +0000

You're right, I misread your comment. Apologies.

New comment by jhanschoo in "In math, rigor is vital, but are digitized proofs taking it too far?"

jhanschoo — Mon, 30 Mar 2026 16:06:01 +0000

There are areas of mathematics where the standard proofs are very interesting and require insight, often new statements and definitions and theorems for their sake, but the theorems and definitions are banal. For an extreme example, consider Fermat's Last Theorem.

Note on the other hand that proving standard properties of many computer programs are frequently just tedious and should be automated.

New comment by jhanschoo in "Modeling what makes paper-folding puzzles hard"

jhanschoo — Mon, 30 Mar 2026 07:54:34 +0000

thanks!

New comment by jhanschoo in "Modeling what makes paper-folding puzzles hard"

jhanschoo — Mon, 30 Mar 2026 06:01:39 +0000

I think I have your new build(s) as I can play from the archive, but the contrast is still too low for me. Note that displays are different, so it's likely that things are more indistinct for me than for you. I've just played through the archive, and all my mistakes came from off-by-one errors because the grid lines were indistinct and I misplaced the holes.

New comment by jhanschoo in "Epoch confirms GPT5.4 Pro solved a frontier math open problem"

jhanschoo — Wed, 25 Mar 2026 04:30:22 +0000

I think we may have similar perspectives. Regarding empirical knowledge, consider when the knowledge is in relation to chaotic systems. Characterize chaotic systems at least as systems where inaccurate observations about the system in the past and present while useful for predicting the future, nevertheless see the errors grow very quickly for the task of predicting a future state. Then indeed, prediction is difficult.

One domain of knowledge I think you have yet to mention. We can talk about fundamentally computationally hard problems. What comes to mind regarding such problems that are nevertheless of practical benefit are physics simulations, material simulations, fluid simulations, but there exist problems that are more provably computationally difficult. It seems to me that with these systems, the chaotic nature is one where even if you have one infinitely precise observation of a deterministic system, accessing a future state of the system is difficult as well, even though once accessed, memorization seems comparatively trivial.

New comment by jhanschoo in "Iran war energy crisis is a renewable energy wake-up call"

jhanschoo — Mon, 23 Mar 2026 13:19:43 +0000

In the US context, it is much harder for distant enemies to target energy supply chains that are entirely located on domestic soil, like, say, most renewables.

New comment by jhanschoo in "Iran war energy crisis is a renewable energy wake-up call"

jhanschoo — Mon, 23 Mar 2026 04:55:53 +0000

Today's mainstream solar panels use abundant, widely available materials.

New comment by jhanschoo in "Profiling Hacker News users based on their comments"

jhanschoo — Sun, 22 Mar 2026 12:03:54 +0000

Currently in the process of migrating from Gemini to Claude, this post has been a boon to me in getting Claude to know about myself into its memory.

New comment by jhanschoo in "Iran launched unsuccessful attack on UK's Diego Garcia"

jhanschoo — Sun, 22 Mar 2026 05:55:42 +0000

Why would Iran end up further isolated due to this war, and out of escalation? (your sentence is slightly ambiguous so I assume that you are referring to it.) If it successfully asserts control over the Strait as it seems to presently be doing, it should be able to negotiate a peace favorable to itself. Even with the status quo, I don't know how that figures into things, but the US has temporarily lifted sanctions on Iranian oil.

I don't follow the news very well, but from what I know the claim that you make isn't very obviously true but needs some evidence for it to stand.

New comment by jhanschoo in "Google details new 24-hour process to sideload unverified Android apps"

jhanschoo — Fri, 20 Mar 2026 10:34:31 +0000

My take is quite different. Every device that I use to do internet banking or things of that nature, I'm very happy to delegate security to companies, and consider that already I trust said bank with my finances. If I want a device I "fully control", then I don't expect a bank to trust it, I don't expect to do internet banking on it or other sensitive stuff of that nature. And that's the status quo even with Google implementing this, open-source OSes still exist, just don't expect internet banking to happen on them.

New comment by jhanschoo in "Psychology: Who dont maintain many close friends, learned independence too early"

jhanschoo — Mon, 02 Mar 2026 09:53:03 +0000

It seems to me that there are nevertheless many people for whom the article's assessment is a true one.

New comment by jhanschoo in "Palantir's secret weapon isn't AI – it's Ontology. An open-source deep dive"

jhanschoo — Sun, 22 Feb 2026 06:59:09 +0000

> fancy corp speak

Perhaps gov contractor speak would be more accurate. I'd think a corp with an org sufficiently aligned to their business value and profit motive wouldn't stand for the fancy speak either

New comment by jhanschoo in "FCC asks stations for "pro-America" programming, like daily Pledge of Allegiance"

jhanschoo — Sat, 21 Feb 2026 04:39:25 +0000

I think it reasonable to assume that the principal, at least, would be such a parent

New comment by jhanschoo in "Martial arts robots at 2026 Spring Festival Gala [video]"

jhanschoo — Thu, 19 Feb 2026 12:02:34 +0000

That's true, and the wobbliness of the cane is indeed characteristic of this device.

New comment by jhanschoo in "Martial arts robots at 2026 Spring Festival Gala [video]"

jhanschoo — Thu, 19 Feb 2026 11:57:53 +0000

> I don't want something with the arm strength of a forklift taking care of my parents or kids.

Robots in such an environment are designed with the appropriate affordances so that they cannot use too much force... but the concern about weight I suppose is quite salient.

New comment by jhanschoo in "Kim Dotcom says Palantir allegedly hacked"

jhanschoo — Wed, 18 Feb 2026 16:03:22 +0000

This is like a 4chan teenager's fantasy of what Palantir is capable of.

New comment by jhanschoo in "OpenAI Has Murdered Orion"

jhanschoo — Sun, 15 Feb 2026 06:52:49 +0000

> A chance for real connection and healing that isn't vulnerable to the whim of a tech giant and its compulsion for profit.

That "chance" had years to materialize that did not. Perhaps the worst thing that happened here was that the chatbot did not steer her to resilient human connection when she was in a self-reported better state after the help of the chatbot