XPost: comp.theory   
   From: julio@diegidio.name   
      
   No, from specifications to code we go code generation.   
   The hard tasks are before that: going from informal   
   needs to formal requirements (the problem domain),   
   aka the analysis hurdle with an "impossible" task;   
   then from requirements to the formal specifications   
   (the solution domain), with the engineering hurdle   
   of life cycles and constraints that are orthogonal   
   to the problems themselves.  AI, that AI, could help   
   with natural language, and that's pretty much it:   
   tools that can talk, not tools that can think or   
   even count...   
      
   Benjamin Pierce: Properties for the People (YouTube)   
   Topos Institute Colloquium, 26th of February 2026.   
      
      
   --- SoupGate-Win32 v1.05   
    * Origin: you cannot sedate... all the things you hate (1:229/2)