home bbs files messages ]

Forums before death by AOL, social media and spammers... "We can't have nice things"

   comp.ai.philosophy      Perhaps we should ask SkyNet about this      59,235 messages   

[   << oldest   |   < older   |   list   |   newer >   |   newest >>   ]

   Message 58,216 of 59,235   
   olcott to Mike Terry   
   Addressing duffer-speak   
   03 Nov 25 07:47:39   
   
   XPost: comp.theory, comp.lang.c++, comp.lang.c   
   From: polcott333@gmail.com   
      
   On 11/1/2025 9:12 PM, Mike Terry wrote:   
   > On 02/11/2025 01:46, Mr Flibble wrote:   
   >> Once Olcott has plonked everyone I guess the shitshow here will finally   
   >> stop?   
   >>   
   >> /Flibble   
   >>   
   >   
   > PO will still post new threads, but the average thread size will shrink   
   > to about 6 posts.   
   >   
   > PO will only see his own posts, so there will be no incentive for him to   
   > "evolve" his duffer-speak in response to objections.   
      
   int D()   
   {   
      int Halt_Status = H(D);   
      if (Halt_Status)   
        HERE: goto HERE;   
      return Halt_Status;   
   }   
      
   The function H is a simulating termination analyzer:   
      
   (a) Detects a non-terminating behavior pattern:   
        abort simulation and return 0.   
   (b) Simulated input reaches its simulated   
        "return" statement: return 1.   
      
   when given a function P, it literally simulates   
   each step of executing P() to see whether that   
   simulated execution ever reaches a return statement.   
      
   Now let H simulate D. Based only on the outcome of   
   that literal simulation (not on reasoning about what   
   should happen), what result should H(D) produce?   
      
      
   --   
   Copyright 2025 Olcott "Talent hits a target no one else can hit; Genius   
   hits a target no one else can see." Arthur Schopenhauer   
      
   --- SoupGate-Win32 v1.05   
    * Origin: you cannot sedate... all the things you hate (1:229/2)   

[   << oldest   |   < older   |   list   |   newer >   |   newest >>   ]


(c) 1994,  bbs@darkrealms.ca