News for hackers. Stuff that matters.

A comment on "Here's a puzzle game. I call it Reverse the List of Integers.".

Re:"Here's a puzzle game. I call it Reverse the List of Inte... by selfie on Friday April 12, 2024 @05:00AM (#40010654)
Could a constraint solver just rip through this problem?
[ Parent | on HN ]
Re:"Here's a puzzle game. I call it Reverse the List of Inte... by polivier on Friday April 12, 2024 @07:36AM (#40011398)
The number of variables is not constant in each step so modeling this would be trickier than usual. I feel like there is probably an more efficient DP approach for this though.
[ Parent | on HN ]
Re:"Here's a puzzle game. I call it Reverse the List of Inte... by gota on Friday April 12, 2024 @11:46AM (#40014223)
deosjr just posted a proposed Prolog solution in ~50 LOC

https://news.ycombinator.com/item?id=40014035

[ Parent | on HN ]
Re:"Here's a puzzle game. I call it Reverse the List of Inte... by CamperBob2 on Friday April 12, 2024 @12:06PM (#40014446)
It was interesting to see GPT4 fail at it: https://chat.openai.com/share/02c12bbe-43cd-40da-b5df-33681d...

Not a bad benchmark problem. It didn't get very far, but maybe the next release will.

[ Parent | on HN ]
Re:"Here's a puzzle game. I call it Reverse the List of Inte... by lupire on Friday April 12, 2024 @02:19PM (#40016018)
ChatGPT can't write programs or do logic to solve problems whole solutions aren't already in its input.
[ Parent | on HN ]
Re:"Here's a puzzle game. I call it Reverse the List of Inte... by CamperBob2 on Friday April 12, 2024 @02:56PM (#40016409)
It applied logical reasoning, just not quite enough of it. When it gets 10x better, which it will, it will be smarter than either of us.

For those who don't find that prospect fascinating, other sites beckon.

[ Parent | on HN ]
Re:"Here's a puzzle game. I call it Reverse the List of Inte... by smtross on Friday April 12, 2024 @12:37PM (#40014843)
I encoded it in SMT (source code https://github.com/rdaly525/hnpuzzle). Fun little challenge!

Turns out there are 6 unique solutions for [7,5,3] in 6 steps

[ Parent | on HN ]