[HN Gopher] An AI-first program synthesis framework built around...
       ___________________________________________________________________
        
       An AI-first program synthesis framework built around a new
       programming language
        
       Author : tosh
       Score  : 48 points
       Date   : 2025-08-09 15:36 UTC (7 hours ago)
        
 (HTM) web link (queue.acm.org)
 (TXT) w3m dump (queue.acm.org)
        
       | sys13 wrote:
       | Glad to see focus being put on keeping humans in the drivers
       | seat, democratizing coding with the help of AI. The syntax is
       | probably still too verbose to be easily accessible, but I like
       | the overall approach.
        
       | AIPedant wrote:
       | I know ACM Queue is a non-peer-reviewed magazine for
       | practitioners but this still feels like too much of an
       | advertisement, without any attempt whatsoever to discuss
       | downsides or limitations. This really doesn't inspire confidence:
       | While this may seem like a whimsical example, it is not
       | intrinsically easier or harder for an AI model compared to
       | solving a real-world problem from a human perspective. The model
       | processes both simple and complex problems using the same
       | underlying mechanism. To lessen the cognitive load for the human
       | reader, however, we will stick to simple targeted examples in
       | this article.
       | 
       | For LLMs this is blatantly false - in fact using "apples" for the
       | examples instead of "used textbooks" is measurably more likely to
       | result in an error! Maybe the (deterministic, Prolog-style)
       | Universalis language mitigates this. But since Automind (an LLM,
       | I think) is responsible for pre/post validation, naively I would
       | expect it to sometimes output incorrect Universalis code and
       | incorrectly claim an assertion holds when it does not.
       | 
       | Maybe I am making a mountain out of a molehill but this bit about
       | "lessen the cognitive load of the human reader" is kind of
       | obnoxious. Show me how this handles a slightly nontrivial
       | problem, don't assume I'm too stupid to understand it and
       | demonstrate the happy path.
        
       ___________________________________________________________________
       (page generated 2025-08-09 23:00 UTC)