XPost: comp.theory, comp.software-eng   
   From: mikko.levanto@iki.fi   
      
   On 06/01/2026 02:24, Oleksiy Gapotchenko wrote:   
   > Just an external observation:   
   >   
   > A lot of tech innovations in software optimization area get discarded   
   > from the very beginning because people who work on them perceive the   
   > halting problem as a dogma.   
      
   It is a dogma in the same sense as 2 * 3 = 6 is a dogma: a provably   
   true sentence of a certain theory.   
      
   --   
   Mikko   
      
   --- SoupGate-Win32 v1.05   
    * Origin: you cannot sedate... all the things you hate (1:229/2)