Re: AI for optimization?

Kaz Kylheku <643-408-1753@kylheku.com>
Mon, 26 May 2025 03:42:45 -0000

          From comp.compilers

Related articles
AI for optimization? anton@mips.complang.tuwien.ac.at (2025-05-24)
Re: AI for optimization? arnold@freefriends.org (2025-05-25)
Re: AI for optimization? mwardgkc@gmail.com (Martin Ward) (2025-05-25)
Re: AI for optimization? antispam@fricas.org (2025-05-25)
Re: AI for optimization? 643-408-1753@kylheku.com (Kaz Kylheku) (2025-05-26)
Re: AI for optimization? gneuner2@comcast.net (George Neuner) (2025-05-26)
| List of all articles for this month |
From: Kaz Kylheku <643-408-1753@kylheku.com>
Newsgroups: comp.compilers
Date: Mon, 26 May 2025 03:42:45 -0000
Organization: Compilers Central
References: 25-05-016 25-05-018 25-05-020
Injection-Info: gal.iecc.com; posting-host="news.iecc.com:2001:470:1f07:1126:0:676f:7373:6970"; logging-data="62379"; mail-complaints-to="abuse@iecc.com"
Keywords: optimize, comment
Posted-Date: 26 May 2025 13:18:54 EDT

On 2025-05-25, antispam@fricas.org <antispam@fricas.org> wrote:
> Of course we will see companies applying LLMs techniques with
> little checks, but this is due to how companies works, if not
> LLMs than something else would be abused.


LLM-generated code cannot just be checked, because checking equivalence
of two pieces of code is as hard as the Halting Problem.


At best you can do it for very short program fragments, (like basic
blocks of instructions, or small trees) that can be executed to see if
they have the right effect on all the temporary registers. (How genetic
programming works, more or less.) If the fragments don't contain any
looping or recursion, you don't have to worry about nontermination.


--
TXR Programming Language: http://nongnu.org/txr
Cygnal: Cygwin Native Application Library: http://kylheku.com/cygnal
Mastodon: @Kazinator@mstdn.ca
[General program equivalence is the halting problem, but there are subsets where
you can say these two programs are equivalent or those two are not. The question
is whether there are enough of those to be useful. I have no idea. -John]


Post a followup to this message

Return to the comp.compilers page.
Search the comp.compilers archives again.