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