News for hackers. Stuff that matters.
Re:The demise of coding is greatly exaggerated by itishappy on Friday March 15, 2024 @01:15PM (#39718152)
Do chess-bots rely on this? I was under the impression that a full search of the space was infeasible, so our current state-of-the-art approaches use heuristics, bounded search, and learned strategies. In other words, I suspect our current models apply to programming better than we might expect.
Re:The demise of coding is greatly exaggerated by softirq on Friday March 15, 2024 @01:51PM (#39718616)
Chess is a bounded, non-moving target. Think about the difference between chess in the 1970s and today, and compare that to the same time period with programming. Chess is a single game whereas programming is a federation of tools, protocols, and standards that are ever evolving. They're not comparable in any sense.
Re:The demise of coding is greatly exaggerated by itishappy on Friday March 15, 2024 @02:21PM (#39719004)
I don't think that's a particularly relevant metric, as we can easily restrict programming to languages like Lisp/Pascal from the 70s, and the landscape doesn't change much.

I'd also suggest that our chess bots have evolved dramatically in that time. Deep Blue works very differently than AlphaZero, for example. Deep Blue might not be suited to code generation, but AlphaCode spawned from AlphaZero.

Re:The demise of coding is greatly exaggerated by nyrikki on Friday March 15, 2024 @01:46PM (#39718541)
Chess is decidable, it may be PSPACE-hard or EXPTIME-hard, but there are reductions.

Entscheidungsproblem and Halt are not decidable in the general case.

While you have to find reductions, decidable problems having access to both yes-instances and no-instances makes it easier to find them.

Re:The demise of coding is greatly exaggerated by itishappy on Friday March 15, 2024 @02:38PM (#39719180)
Knowing that we don't approach either by attempting to fully solve them, does that change the architecture, or just the difficulty?