Hacker News: leethargo

New comment by leethargo in "Go grandmaster Shin defeats AI KataGo with a two-stone handicap"

leethargo — Thu, 03 Sep 2026 07:59:37 +0000

Yes, so calling it a "defeat" is improper to me.

New comment by leethargo in "The human-in-the-loop is tired"

leethargo — Fri, 17 Jul 2026 08:43:34 +0000

That's perfect, I will use that term from now on whenever somebody proposes any kind of automation and will see how often somebody will try to correct me.

New comment by leethargo in "How do you design a $30k electric pickup? Inside Ford's skunkworks"

leethargo — Wed, 10 Jun 2026 09:43:16 +0000

From the title, I expected this to be about electric guitars :-(

New comment by leethargo in "Ghostty is leaving GitHub"

leethargo — Wed, 29 Apr 2026 12:23:21 +0000

I didn't know this was a sport. I'm GitHub user 43053 :-)

New comment by leethargo in "Beyond has dropped “meat” from its name and expanded its high-protein drink line"

leethargo — Wed, 18 Mar 2026 07:45:59 +0000

Interesting. At Burger King in Germany, there's no such difference, last time I checked.

New comment by leethargo in "Lenovo’s new ThinkPads score 10/10 for repairability"

leethargo — Wed, 04 Mar 2026 06:45:10 +0000

Could you share some of "what you now know bout them"?

Was there some issue in customer support, or getting spare parts?

Is it about the new products that have since come out?

I'm also using a Framework notebook for the past two years and have been quite happy, but nothing needed replacement so far...

New comment by leethargo in "New evidence that Cantor plagiarized Dedekind?"

leethargo — Sun, 01 Mar 2026 08:03:50 +0000

This is to signal non-AI slop?

New comment by leethargo in "Making Wolfram tech available as a foundation tool for LLM systems"

leethargo — Tue, 24 Feb 2026 08:16:40 +0000

SageMath is much broader than SymPy, by integrating a lot of third-party niche tools that have been developed for decades, often as C libraries.

Unfortunately, SageMath is not directly usable as a Python package.

That's where passagemath [0] comes in, making the rich ecosystem of SageMath available to Python devs, one package at a time.

[0] https://github.com/passagemath/passagemath

New comment by leethargo in "Six Math Essentials"

leethargo — Mon, 23 Feb 2026 08:41:20 +0000

There's also the argument that human intuition can and should be trained, rather than just dismissing it, in particular when it comes to mathematics.

See, for example, the book "Mathematica" by David Bessis, or this blog post: https://davidbessis.substack.com/p/thinking-fast-slow-and-su...

New comment by leethargo in "I Love Board Games: A Personal Obsession Explained by Psychology"

leethargo — Mon, 16 Feb 2026 10:04:31 +0000

Carcassonne is also really nice with children. You can start them on just the "puzzle" aspect on attaching matching tiles, without scoring.

Our oldest child is now capable of the base game, and I can still make it interesting for me by going for secondary objectives, such as filling difficult gaps ;-)

New comment by leethargo in "I Love Board Games: A Personal Obsession Explained by Psychology"

leethargo — Mon, 16 Feb 2026 07:48:10 +0000

I really like "Root" (for the asymmetry) and "Arcs" (for the openness), although they are quite "heavy" in terms of rules and interactions.

Human Line Project – Protecting emotional well-being in the age of AI

leethargo — Wed, 11 Feb 2026 08:55:59 +0000

Article URL: https://www.thehumanlineproject.org/

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

Points: 1

# Comments: 0

New comment by leethargo in "Mathematicians disagree on the essential structure of the complex numbers (2024)"

leethargo — Wed, 11 Feb 2026 08:28:09 +0000

In particular, the core disagreement seems to be about whether the automorphisms of C should keep R (as a subset) fixed, or not.

The easy solution here would be to just have two different names: (general) automorphisms (of which there might be many) and automorphisms-that-keep-R-fixed (of which there are just the two mentioned.

If you make this distinction, then the approach of construction of C should not matter, as they are all equivalent?

New comment by leethargo in "We Need to Die"

leethargo — Wed, 10 Dec 2025 08:28:55 +0000

And we know how reliable normies are with the backup of their personal data...

New comment by leethargo in "Stoop Coffee: A simple idea transformed my neighborhood"

leethargo — Wed, 26 Mar 2025 06:38:31 +0000

"I want to make cypherpunk friends, but none of them are on Facebook!"

New comment by leethargo in "AI or Ain't: Eliza"

leethargo — Sun, 07 Jan 2024 13:11:03 +0000

Not only his secretary, also some psychiatrists wanted Eliza as a tool to scale up their work clinically.

New comment by leethargo in "Using linear programming to assess spatial access"

leethargo — Sat, 30 Dec 2023 17:02:25 +0000

True, especially on difficult problems. Open-source can be good enough for many practical applications, though.

In my opinion, the gap in performance is less important, but the commercial offerings are typically more robust/reliable.

New comment by leethargo in "Using linear programming to assess spatial access"

leethargo — Sat, 30 Dec 2023 14:17:09 +0000

To add to the above: The high-performance commercial solvers typically offer a free (as in beer) licence for academics (students and researchers), so this subgroup has a smaller incentive to develop a competing solver.

Similarly, researches who do spend their time implementing solver algorithms and running tedious computational experiements (the work that the software vendors put in) have historically had difficulties getting academic credit for their work, because the journals favored theoretical work.

That being said, with HiGHS and SCIP, we have two open-source solvers developed in an academic setting, with a lot their graduates joining commercial software vendors. So it's not like these are two completely separate worlds.

New comment by leethargo in "Don't wake me up too soon"

leethargo — Mon, 18 Dec 2023 08:03:53 +0000

In what world is a biography of Gauss audience-pleasing? (I enjoyed it a lot back then).

New comment by leethargo in "Daisugi, the Japanese technique of growing trees out of other trees (2020)"

leethargo — Wed, 04 Oct 2023 16:01:39 +0000

OK, maybe I was misunderstanding something. It was also not at the sea, but more water between agricultural plots, so maybe just for drainage?