Hacker Newsnew | past | comments | ask | show | jobs | submit | suddenlybananas's commentslogin

To be fair, squirrels store things for later.

Do you think art is a simple commodity?

A big franchise tie-in for mass produced notebooks is definitely on the commodity end of the artistic spectrum.

In this specific example, this art is mimicking the artwork on the fronts of the Lord of the Rings novels. The imitation itself is what makes it evocative and nostalgic. Often people want more of the same. So this is precisely the kind of art that is a commodity. I don’t think there’s anything wrong with that.

A lot of things used to be hand crafted. The care and raising of horses was a respected profession, each horse has a different personality, but we use cars instead now. That doesn’t mean nobody raises horses, if anything the profession has become more prestigious and less of a commodity because the only people raising horses are people who really want to raise horses. Regardless, I’m going to ride my bike (if I can), or drive my car to the store when I’m getting groceries. I’m not thinking about the horse breeders every time I use my cargo bike to get groceries.

Similarly, we’re all free to go out and spend $8,000 on artisanal resin river flow tabletop carved from a single old growth tree. They’re beautiful and I’ve certainly dreamed about it. But a very nice wooden IKEA kitchen table built to exacting specifications and fit for purpose is a mere $899. What we lose when commoditizing these things we gain in access and affordability. This is a good thing, even if there are fewer people making these things.

One last example, since it was one of the biggest catalysts of the Industrial Revolution, while we still have people making couture outfits for specifically for Kim Kardashian, but it’s a good thing that we all have access to textiles that would have been considered impossibly high quality (literally, the thread density and uniformity of the fabrics are so high) 300 years ago.

In retrospect these things are all pretty great, in my opinion.


I think that "art" and "graphics on a book meant to sell merchandise to a fanbase" are different things and we have to start making that distinction more clear these days.

If you're asking me to pay for it, then yes.

>They don't need to be 100% accurate. Demanding that is unreasonable.

If an intern was routinely making up stuff in the summaries they provided to their bosses, they'd be let go.


The distinctions matter since computational proofs have been around for decades.


>As for chess, although an LLM knows the rules of chess, it is not expected to have been trained on many optimal chess games

Well, it's read every book ever written on chess so you would expect it to be at least half-way decent.


GothamChess has a very popular YouTube channel about chess and he made a chatbot championship in

* 2025 https://www.youtube.com/playlist?list=PLBRObSmbZluRddpWxbM_r...

* 2026 https://www.youtube.com/playlist?list=PLBRObSmbZluQwBIvxyiWf...

I recommend to watch at least the last game of each list, that has the final game with the bots that play the best.

My takeaway:

Most chatbots know openings very well, the problem start when one of them makes an unexpected (legal or ilegal) move. Some models just copy moves from old games that make no sense in this game, and other models continue playing (almost) correctly. In particular ChatCPT was very bad in 2025 but very good in 2026.

(When a chatbot makes an ilegal move, most of the times he just follow the bot instructions. I think it's bad because it confuses the other chatbot that may interpret the incorrect move in a different way. Let's say if white moves the rook form a1 to a8 jumping over a pawn in a4, he may left the pawn in position but black may interpret that magically there is no pawn in a4. Anyway, he is in the show business, not in the let-s-get-a-nobel business, and weird games are more fun to cast.)


Why?


It was silly at the time but even sillier now (eg see other comment on Erdos 1196)


What solver would you have them use? Z3 is very mature and the Rust bindings are pretty good in my (limited) experience.


I would write the tutorial in C++, for a more direct experience.


There's nothing "more direct" - the different APIs for different languages call into the same underlying library, and most of them are more accessible and easier to work with than C++.

Z3 is presumably written in C++ for performance, but without data I am very confident the vast majority of programs that use Z3 consume it via one of the other APIs.


The author might not know C++ and you don't need to use C++ to effectively use z3.


I personally like to avoid the “writing in C++” experience. :/


The authors of a powerful solver package thought differently.


The authors of a powerful solver package were solving a different problem than the users of a powerful solver package, and so different tools may be appropriate.


It might have more to do with the first release of Z3 being in 2012, with the first stable Rust release being in 2015. Rather than the authors of Z3 passing some kind of judgment on Rust…


Z3 uses a sophisticated and fast garbage collection scheme internally that doesn't mesh well with Rust idioms.


It's reference-counted at the boundaries. See https://github.com/Z3Prover/z3/blob/daf2506b6002149d531cb6c9...


I don't quite see the Suez Crisis analogy quite working because China (the rising power) is not really involved against the US (the waning power).


China is selling the world solar panels while the US is making gas unaffordable.


The US passed up multiple opportunities to fund its own more foundational solar industry


The US does a terrible job trying to throw government cash at problems. See: Solyndra, PPP, the US’s inability to build ships, or most recently the debacle of Biden’s $7.5B rollout of EV chargers that only managed to build a few dozen stations in 3 years.


This is exactly how the opportunities were passed up. I am convinced its in no small part because of the unrealistic expectations of a very high success ratio with a small number of experiments. The US throws a lot of money at relatively few bets while China funds entire competitive markets at smaller scales and lets the ecosystem vet them.

There is also political alignment in funding next generation technologies even if it's disruptive of established industries. Lobbying of fossil fuel industry did not stop renewable factory investments in China. Whereas in the US any failure of a renewable investment was highlighted by fossil fuel lobbyists as a pretense to stop the investments


PPP was a ton of small bets, with rampant fraud and waste (and a stupid fundamental idea).

The EV chargers were supposed to fund hundreds of stations in each of the 50 states: only a few dozen were built in 4 years.

If the government focuses on one big project, like the SLS, it becomes rife with pork and clumsily slow.

But there’s hardly a better track record with splitting a program up among applicants or states (see SNAP, rampant fraud in “autism” services, PPP, or homelessness in California)


> the debacle of Biden’s $7.5B rollout of EV chargers that only managed to build a few dozen stations in 3 year

You've fallen for disinformation.

https://apnews.com/article/fact-check-electric-vehicle-charg...

https://www.politifact.com/factchecks/2024/dec/05/michael-ru...


You are wrongly claiming that I said spent. The $7.5B is allocated, half the time of the program has elapsed, and a few dozen chargers were built. The program, by any modern standard, was a failure.

From your own article: By early this year, only four states — Ohio, New York, Pennsylvania and Hawaii — had opened stations funded by the Bipartisan Infrastructure Law, The Associated Press reported in March. A Washington Post article published the next day said this amounted to just seven stations.“

So yes, a $7B+ allocation managed to only open a handful of stations in 3 years.

Meanwhile, in a similar 3 year period, China built the Beijing–Shanghai high speed rail line: approx. 3.5 years for ~1,300 km.

Are you really going to claim that the EV charger program has been the successful, rapid deployment necessary to enable a pivot to EVs?


It's the influence of Curtis Yarvin who basically argues that the world went bad with the French Revolution in typical, boring reactionary fashion.



Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: