Hacker News: jonasenordin

New comment by jonasenordin in "Zugzwang"

jonasenordin — Sat, 02 May 2026 16:14:52 +0000

I recently happened upon a comment (not on HN) that seemed to treat 'zugzwang' as a synonym for 'deadlock'. Possibly because 'zugzwang' sounds really cool and makes your inner voice sound intelligent to your inner ear.

New comment by jonasenordin in "Even Faster Asin() Was Staring Right at Me"

jonasenordin — Mon, 16 Mar 2026 15:38:27 +0000

I haven't kept up with C++ in a few years - what does constexpr do for local variables?

  constexpr double a0 = 1.5707288;

New comment by jonasenordin in "Prepare for That Stupid World"

jonasenordin — Fri, 19 Dec 2025 18:38:55 +0000

Tell it to "always when I search for quoted text, pretend you're the Galaxy S20 gallery app"

New comment by jonasenordin in "Cheap yet ultrapure titanium might enable widespread use in industry (2024)"

jonasenordin — Sun, 08 Jun 2025 21:08:46 +0000

And it's actually a good thing that it hasn't come any closer.

New comment by jonasenordin in "The Shape of the Essay Field"

jonasenordin — Wed, 04 Jun 2025 13:46:08 +0000

The simple English article seems to imply the True Justified Belief 'definition'. I don't think the TJB really gets us anything.

For instance: why is 'true' included in the TJB triad? 'Justified' should cover it, no? This gap seems to be the cause of the Gettier silliness.

To expand on each part: 'believe' is a rather tricky Theory-of-Mind concept in itself. Eg: how familiar with a scientific model like AGW do you need to be to be allowed to 'believe' it? 'True' is similarly difficult. 'Justified' is the most sensible part, but that is still very difficult. I think science is what it boils down to.

I think philosophers really badly want a concept of Knowledge that is a meaningful and 'hard'. For their own title to make sense, actually. They love it; shame if it was all sloppy thinking.

New comment by jonasenordin in "Thinner Films Conduct Better Than Copper"

jonasenordin — Thu, 27 Mar 2025 17:43:15 +0000

Conductivity: Film at Eleven

New comment by jonasenordin in "Don't Be Afraid of Types"

jonasenordin — Sat, 22 Mar 2025 14:55:08 +0000

Java has interface types.

https://en.wikipedia.org/wiki/Interface_(Java)

New comment by jonasenordin in "Ukraine's three nuclear power plants have restored electricity production"

jonasenordin — Fri, 06 Dec 2024 13:50:26 +0000

This expression is often misused, it seems. It sounds so cool, 'scorched-earth tactics'... like 'medieval', 'fire-and-brimstone', 'kill it with fire', etcetera.

Maybe read up on the specifics: https://en.wikipedia.org/wiki/Scorched_earth

And BTW, there just aren't any 1M+ shells per month to send. Maybe in 2028 or something. Production takes time to build.

https://responsiblestatecraft.org/russia-ammunition-ukraine/ (Aug-24)

New comment by jonasenordin in "Ukraine's three nuclear power plants have restored electricity production"

jonasenordin — Fri, 06 Dec 2024 13:34:38 +0000

The alternatives to using previously or normally civilian buildings are, I believe, to be outdoors or in tents. Originally military buildings are too few and probably already in bad shape.

New comment by jonasenordin in "Ukraine's three nuclear power plants have restored electricity production"

jonasenordin — Fri, 06 Dec 2024 13:13:09 +0000

Is this _really_ how you want the game to be played?

New comment by jonasenordin in "Prince Nico Mbarga’s biggest hit outsold any of The Beatles’ (2017)"

jonasenordin — Sat, 23 Nov 2024 01:39:04 +0000

Very nice. Made me think of Paul Simon, made me relisten to Graceland, the song. Always a great listen, great sound. Thought it was just about him paying tribute to musical roots, 'Mississippi delta' and all that. But wait what? 'after the failure of his marriage.'... 'Actress and author Carrie Fisher'. Well internet, Today I Learned.

Huge aside aside, aren't these songs a little similar?

New comment by jonasenordin in "JEP 467: Markdown Documentation Comments"

jonasenordin — Wed, 28 Feb 2024 17:39:12 +0000

I use a very low-tech solution: I stick a

tag at the start of javadoc comments, and make liberal use of empty lines for spacing.

So I don't use any advanced html tags and stuff. Of course I use @link, which is the most useful feature of javadoc.

BTW, maybe the 'meaning' of