Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]
120580 articles (numbers 2784 – 125745) — threaded view
| Advanced| Subject | Author | Date [asc] |
|---|---|---|
| memory_order_consume... | "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> | 2025-10-10 00:08 -0700 |
| Claude AI found a key ambiguity in the words that professor Sipser agreed to | olcott <polcott333@gmail.com> | 2025-10-10 12:39 -0500 |
| Re: memory_order_consume... | Bonita Montero <Bonita.Montero@gmail.com> | 2025-10-11 21:15 +0200 |
| Re: memory_order_consume... | "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> | 2025-10-11 13:09 -0700 |
| That HHH(DD) rejects its input as non-halting semantically logically entailed | olcott <polcott333@gmail.com> | 2025-10-11 15:33 -0500 |
| Updated input to LLM systems proving HHH(DD)==0 within assumptions | olcott <polcott333@gmail.com> | 2025-10-12 08:50 -0500 |
| Re: The halting problem proof question is incorrect --- Outside the domain | olcott <polcott333@gmail.com> | 2025-10-13 08:29 -0500 |
| Re: Updated input to LLM systems proving HHH(DD)==0 within assumptions | olcott <polcott333@gmail.com> | 2025-10-13 11:26 -0500 |
| Re: ChatGPT seems to understand that HHH(DD) is correct and not contradicted by DD() | olcott <polcott333@gmail.com> | 2025-10-13 14:20 -0500 |
| The error of the halting problem that Ben Bacarisse did not understand | olcott <NoOne@NoWhere.com> | 2025-10-13 20:24 -0500 |
| Exactly how Ben Bacarisse is proven wrong about H(D)==0 | olcott <NoOne@NoWhere.com> | 2025-10-14 10:28 -0500 |
| HHH(DD)==0 and the directly executed DD() proven not in the domain of HHH | olcott <polcott333@gmail.com> | 2025-10-14 10:48 -0500 |
| Re: Exactly how Ben Bacarisse is proven wrong about H(D)==0 | olcott <polcott333@gmail.com> | 2025-10-14 14:50 -0500 |
| Re: The halting problem is self-contradictory -- application to c/c++ | olcott <polcott333@gmail.com> | 2025-10-15 10:10 -0500 |
| The Halting Problem is Incoherent | olcott <polcott333@gmail.com> | 2025-10-15 11:18 -0500 |
| The Halting Problem is Incoherent | olcott <polcott333@gmail.com> | 2025-10-15 14:11 -0500 |
| Re: The halting problem is self-contradictory -- application to c/c++ | "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> | 2025-10-15 13:35 -0700 |
| Ben Bacarisse is named because he was the best reviewer on this point | olcott <NoOne@NoWhere.com> | 2025-10-17 13:32 -0500 |
| My two specifications are equivalent HHH(DD)==0 is correct | olcott <polcott333@gmail.com> | 2025-10-18 06:20 -0500 |
| Re: memory_order_consume... | jseigh <jseigh_es00@xemaps.com> | 2025-10-18 20:48 -0400 |
| Re: memory_order_consume... | "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> | 2025-10-19 14:32 -0700 |
| Am I cool or not ? | Bonita Montero <Bonita.Montero@gmail.com> | 2025-10-20 15:45 +0200 |
| Exception filter | Bonita Montero <Bonita.Montero@gmail.com> | 2025-10-22 05:06 +0200 |
| New and improved version of cdecl | Keith Thompson <Keith.S.Thompson+u@gmail.com> | 2025-10-22 14:39 -0700 |
| Re: New and improved version of cdecl | Thiago Adams <thiago.adams@gmail.com> | 2025-10-22 22:19 -0300 |
| I was pondering on a per-path counter... | "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> | 2025-10-23 14:02 -0700 |
| A once_flag which is failable | Bonita Montero <Bonita.Montero@gmail.com> | 2025-10-25 11:52 +0200 |
| Re: For what is this class good for ? | Tristan Wibberley <tristan.wibberley+netnews2@alumni.manchester.ac.uk> | 2025-10-25 16:33 +0100 |
| No human has been able to understand this simple C in three years | olcott <polcott333@gmail.com> | 2025-10-25 12:53 -0500 |
| Re: No human has been able to understand this simple C in three years | olcott <polcott333@gmail.com> | 2025-10-25 13:33 -0500 |
| Re: For what is this class good for ? | Bonita Montero <Bonita.Montero@gmail.com> | 2025-10-26 15:16 +0100 |
| Claude AI understands this rebuttal of Ben --- Category Error | olcott <NoOne@NoWhere.com> | 2025-10-26 09:56 -0500 |
| Halting Problem Simulation in C --- first draft of final paper | olcott <polcott333@gmail.com> | 2025-10-26 10:56 -0500 |
| Re: New and improved version of cdecl | Andrey Tarasevich <noone@noone.net> | 2025-10-26 12:09 -0700 |
| Re: New and improved version of cdecl | "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> | 2025-10-26 14:44 -0700 |
| Re: New and improved version of cdecl | Keith Thompson <Keith.S.Thompson+u@gmail.com> | 2025-10-26 15:36 -0700 |
| Re: New and improved version of cdecl | Keith Thompson <Keith.S.Thompson+u@gmail.com> | 2025-10-26 15:38 -0700 |
| dbush is now dishonored in his deceit | olcott <polcott333@gmail.com> | 2025-10-26 20:56 -0500 |
| Kaz is now dishonored in his deceit | olcott <polcott333@gmail.com> | 2025-10-26 20:58 -0500 |
| Re: dbush is now dishonored in his deceit | dbush <dbush.mobile@gmail.com> | 2025-10-26 22:05 -0400 |
| Re: dbush is now dishonored in his deceit | olcott <polcott333@gmail.com> | 2025-10-26 21:15 -0500 |
| Re: Kaz is now dishonored in his deceit | André G. Isaak <agisaak@gm.invalid> | 2025-10-26 20:15 -0600 |
| Re: Kaz is now dishonored in his deceit | olcott <polcott333@gmail.com> | 2025-10-26 21:20 -0500 |
| Re: Kaz is now dishonored in his deceit | "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> | 2025-10-26 19:25 -0700 |
| Re: Kaz is now dishonored in his deceit | Janis Papanagnou <janis_papanagnou+ng@hotmail.com> | 2025-10-27 03:31 +0100 |
| olcott tries to hide the evidence that he admitted the input to HHH(DD) is halting | dbush <dbush.mobile@gmail.com> | 2025-10-26 22:33 -0400 |
| Re: Kaz is now dishonored in his deceit | dbush <dbush.mobile@gmail.com> | 2025-10-26 22:35 -0400 |
| Re: Kaz is now dishonored in his deceit | olcott <polcott333@gmail.com> | 2025-10-26 21:36 -0500 |
| Re: Kaz is now dishonored in his deceit | olcott <polcott333@gmail.com> | 2025-10-26 21:38 -0500 |
| Re: Kaz is now dishonored in his deceit | olcott <polcott333@gmail.com> | 2025-10-26 21:45 -0500 |
« Previous 1 ... 56 57 58 59 60 ... 2412 Next »
csiph-web