HNHacker News
TopNewBestAskShowJobs

leethargo

305 karma · joined May 10, 2016

rschwarz.net
submissionscomments
leethargo··on Go grandmaster Shin defeats AI KataGo with a two-stone handicap
Yes, so calling it a "defeat" is improper to me.
leethargo··on The human-in-the-loop is tired
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.
leethargo··on How do you design a $30k electric pickup? Inside Ford's skunkworks
From the title, I expected this to be about electric guitars :-(
leethargo··on Ghostty is leaving GitHub
I didn't know this was a sport. I'm GitHub user 43053 :-)
leethargo··on Beyond has dropped “meat” from its name and expanded its high-protein drink line
Interesting. At Burger King in Germany, there's no such difference, last time I checked.
leethargo··on Lenovo’s new ThinkPads score 10/10 for repairability
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...

leethargo··on New evidence that Cantor plagiarized Dedekind?
This is to signal non-AI slop?
leethargo··on Making Wolfram tech available as a foundation tool for LLM systems
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

leethargo··on Six Math Essentials
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...

leethargo··on I Love Board Games: A Personal Obsession Explained by Psychology
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 ;-)

leethargo··on I Love Board Games: A Personal Obsession Explained by Psychology
I really like "Root" (for the asymmetry) and "Arcs" (for the openness), although they are quite "heavy" in terms of rules and interactions.
leethargo··on Mathematicians disagree on the essential structure of the complex numbers (2024)
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?

leethargo··on We Need to Die
And we know how reliable normies are with the backup of their personal data...
leethargo··on Stoop Coffee: A simple idea transformed my neighborhood
"I want to make cypherpunk friends, but none of them are on Facebook!"
leethargo··on AI or Ain't: Eliza
Not only his secretary, also some psychiatrists wanted Eliza as a tool to scale up their work clinically.
leethargo··on Using linear programming to assess spatial access
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.

leethargo··on Using linear programming to assess spatial access
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.

leethargo··on Don't wake me up too soon
In what world is a biography of Gauss audience-pleasing? (I enjoyed it a lot back then).
leethargo··on Daisugi, the Japanese technique of growing trees out of other trees (2020)
OK, maybe I was misunderstanding something. It was also not at the sea, but more water between agricultural plots, so maybe just for drainage?
leethargo··on Daisugi, the Japanese technique of growing trees out of other trees (2020)
My Dutch boss explained to me that the willow branches harvested there are used to reinforce the dykes nearby.
leethargo··on Young climate activist tells Greenpeace to drop ‘old-fashioned’ anti-nuclear
I later looked up the resources on Wikipedia which also listed Canada as having significant mining capacity. So maybe that argument is not strong either.
leethargo··on Young climate activist tells Greenpeace to drop ‘old-fashioned’ anti-nuclear
To add: Not that it's wrong to work for a lobbying organization while having vested interests because of one's employer, but transparency goes a long way here.
leethargo··on Young climate activist tells Greenpeace to drop ‘old-fashioned’ anti-nuclear
I see, thanks for providing some evidence :-)

I followed RePlant before, when they talked about "future of food" topics, and knew that most involved persons were really early-stage scientists, so I thought that this was truly grassroots.

leethargo··on Young climate activist tells Greenpeace to drop ‘old-fashioned’ anti-nuclear
So, following your argument, we should at least continue to run existing infrastructure?

I wonder why these debates only focus on problems such as waste, catastrophic risk or investment/financing, but not sourcing of uranium, which might not be available from "friendly countries".

leethargo··on Young climate activist tells Greenpeace to drop ‘old-fashioned’ anti-nuclear
What makes you think that? There is no matching name or photo on that "about us" page, is it?

The person is also a teenage student.

leethargo··on Bioregions 2023
I would have used that map a different way: Find close locations (to save on transportation cost, time and footprint) with a radically different climate (for the change of scenery etc).
leethargo··on The decline and fall of the hit instrumental song
I know Zoe Keating (the cellist) mostly because of her looping setup.
leethargo··on Ask HN: GitHub Push Down?
Yes, I had the same issue. When I looked up githubstatus, it only had "Issues" marked as yellow (some minutes ago), but now it looks that more aspects are affected.

I also couldn't create a new branch from the website.

leethargo··on The Framework Laptop 16 is trying to bring back snap-on removable batteries
Isn't this something that ThinkPads have supported all the time?
leethargo··on Rice fuels diabetes and climate crises
Italian rice also doesn't have the methane problem.
Page 1 of 7Next →