1. Forum
  2. Fidonet
  3. COMP.LANG.C
Nice way of allocating flexible struct.

By Kaz Kylheku on Wed Oct 8 06:35:28 2025

Latest reply by bart on Wed Oct 15 11:26:52 2025
The halting problem is self-contradictory

By olcott on Tue Oct 14 21:17:50 2025

Latest reply by olcott on Wed Oct 15 07:32:55 2025
Exactly how Ben Bacarisse is proven wrong about H(D)==0

By olcott on Tue Oct 14 10:28:21 2025

Latest reply by olcott on Tue Oct 14 14:50:24 2025
HHH(DD)==0 and the directly executed DD() proven not in the domain of H

By olcott on Tue Oct 14 10:48:57 2025

Latest reply by olcott on Tue Oct 14 10:48:57 2025
The error of the halting problem that Ben Bacarisse did not understand

By olcott on Mon Oct 13 20:24:00 2025

Latest reply by olcott on Mon Oct 13 20:24:00 2025
Re: ChatGPT seems to understand that HHH(DD) is correct and not contrad

By olcott on Mon Oct 13 14:20:05 2025

Latest reply by olcott on Mon Oct 13 14:20:05 2025
Updated input to LLM systems proving HHH(DD)==0 within assumptions

By olcott on Sun Oct 12 08:50:05 2025

Latest reply by olcott on Mon Oct 13 11:26:49 2025
Re: The halting problem proof question is incorrect --- Outside the dom

By olcott on Mon Oct 13 08:29:02 2025

Latest reply by olcott on Mon Oct 13 08:29:02 2025
That HHH(DD) rejects its input as non-halting semantically logically en

By olcott on Sat Oct 11 15:33:14 2025

Latest reply by olcott on Sat Oct 11 15:33:14 2025
Claude AI found a key ambiguity in the words that professor Sipser agre

By olcott on Fri Oct 10 12:39:51 2025

Latest reply by Mikko on Sat Oct 11 11:17:07 2025
Halting problem proof converted to Liar Paradox --- 2004 post converted

By olcott on Thu Oct 9 10:33:40 2025

Latest reply by olcott on Thu Oct 9 10:33:40 2025
Re: do { quit; } else { }

By Anton Shepelev on Wed Oct 8 14:14:58 2025

Latest reply by Janis Papanagnou on Wed Oct 8 16:35:07 2025
Socratic questioning is required to unmask deceivers

By olcott on Sun Oct 5 22:02:01 2025

Latest reply by olcott on Sun Oct 5 22:02:01 2025
Re: C90+ fselect()

By Lawrence =?iso-8859-13?q?D=FFOlivei on Thu Sep 18 06:40:33 2025

Latest reply by Lawrence =?iso-8859-13?q?D=FFOlivei on Thu Sep 18 21:29:41 2025
Re: Explicitly showing the divergence of behavior between HHH(DDD) and

By Mikko on Mon Sep 15 10:56:36 2025

Latest reply by Mikko on Thu Sep 18 12:33:57 2025
GCC bug

By Andrey Tarasevich on Wed Sep 10 06:51:49 2025

Latest reply by Kaz Kylheku on Fri Sep 12 03:45:49 2025
C description as a Turing Machine

By wij on Fri Sep 12 00:54:48 2025

Latest reply by wij on Fri Sep 12 00:54:48 2025
bart's C compiler

By Paul Edwards on Thu Sep 11 00:34:58 2025

Latest reply by Paul Edwards on Thu Sep 11 22:10:32 2025
how cross compilation works?

By Thiago Adams on Sat Aug 30 04:46:44 2025

Latest reply by Rosario19 on Thu Sep 11 00:15:11 2025
"Brian Kernigan speaks. 83 and still teaching."

By Lynn McGuire on Tue Sep 2 14:39:00 2025

Latest reply by candycanearter07 on Wed Sep 10 18:20:03 2025
Re: =?UTF-8?B?4oCcQnJpYW4=?= Kernigan speaks. 83 and still =?UTF-8?B?dG

By Lawrence =?iso-8859-13?q?D=FFOlivei on Mon Sep 8 08:40:04 2025

Latest reply by Louis Krupp on Wed Sep 10 01:21:40 2025
New clock !

By Bonita Montero on Sun Sep 7 18:57:38 2025

Latest reply by Bonita Montero on Sun Sep 7 19:28:58 2025
Ben's objection finally addressed using conventional terms-of-the-art

By olcott on Fri Sep 5 11:55:31 2025

Latest reply by olcott on Fri Sep 5 11:55:31 2025
Explicitly showing the divergence of behavior between HHH(DDD) andHHH1(

By olcott on Fri Sep 5 10:29:57 2025

Latest reply by olcott on Fri Sep 5 10:29:57 2025
type of decimal constants in msvc

By Thiago Adams on Wed Sep 3 06:10:25 2025

Latest reply by Michael S on Thu Sep 4 15:21:01 2025
Re: [OT] Linking against a static library

By pozz on Wed Sep 3 13:02:12 2025

Latest reply by pozz on Wed Sep 3 13:02:12 2025
Five LLM systems use my framework to refute the halting problemproofs

By olcott on Wed Sep 3 08:07:39 2025

Latest reply by olcott on Wed Sep 3 08:07:39 2025
Five different LLM systems agree with my rebuttal of the HP proofs.

By olcott on Wed Sep 3 04:18:51 2025

Latest reply by olcott on Wed Sep 3 04:18:51 2025
Re: Measuring the actual behavior of the actual input to HHH(DD)

By olcott on Sun Aug 31 01:08:14 2025

Latest reply by Mikko on Sun Aug 31 18:33:06 2025
Re: Why Is it correct for HHH(DD) to reject its input as non-halting w

By olcott on Fri Aug 29 10:49:49 2025

Latest reply by olcott on Fri Aug 29 10:49:49 2025
Complete proof that the input to HHH(DD)==0 --- The HP proof is wrong

By olcott on Thu Aug 28 12:24:06 2025

Latest reply by olcott on Thu Aug 28 12:24:06 2025
P!=NP proof (using C/C++) for review

By wij on Wed Aug 27 13:27:28 2025

Latest reply by wij on Wed Aug 27 13:27:28 2025
Re: Undefined behaviour in C23

By Keith Thompson on Sun Aug 24 08:58:46 2025

Latest reply by James Kuyper on Wed Aug 27 06:53:08 2025
How to prove Halting Problem in C?

By wij on Tue Aug 26 14:52:10 2025

Latest reply by wij on Tue Aug 26 14:52:10 2025
DD correctly simulated by HHH proves that it never stops running

By olcott on Tue Aug 26 01:13:33 2025

Latest reply by olcott on Tue Aug 26 01:13:33 2025
Re: Alan Turing's Halting Problem is incorrectly formed --- My first p

By olcott on Mon Aug 25 07:56:34 2025

Latest reply by olcott on Mon Aug 25 08:19:44 2025
Re: Correct simulation of DDD by HHH is proven --- Details of how HHH(

By olcott on Thu Aug 21 11:45:38 2025

Latest reply by olcott on Thu Aug 21 11:45:38 2025
Re: encapsulating directory operations

By Bonita Montero on Mon Jun 9 20:58:07 2025

Latest reply by James Kuyper on Wed Aug 20 08:09:48 2025
Re: VAX

By Michael S on Tue Aug 5 01:28:39 2025

Latest reply by Keith Thompson on Tue Aug 19 14:57:59 2025
Re: Correct simulation of DDD by HHH is proven --- Heathfield FINALLY

By olcott on Tue Aug 19 12:00:17 2025

Latest reply by olcott on Tue Aug 19 12:54:45 2025
Early History Of C

By Lawrence D'Oliveiro on Sat Jul 26 15:43:10 2025

Latest reply by Jakob Bohm on Mon Aug 18 04:41:18 2025
the naive halting problem is now corrected

By olcott on Sun Aug 17 00:20:10 2025

Latest reply by olcott on Mon Aug 18 01:12:20 2025
simple sheme for paragraph game in c

By fir on Sun Aug 10 08:05:33 2025

Latest reply by Richard Damon on Sat Aug 16 04:53:45 2025
Why three different LLM systems are correct when that say HHH(DD)==0 i

By olcott on Fri Aug 15 22:48:28 2025

Latest reply by olcott on Fri Aug 15 22:48:28 2025
Correct simulation of DDD by HHH is proven

By olcott on Wed Aug 13 00:38:32 2025

Latest reply by olcott on Wed Aug 13 00:38:32 2025
Re: Google [x86utm operating system] --- Foundational false assumption

By olcott on Tue Aug 12 11:36:33 2025

Latest reply by olcott on Tue Aug 12 11:36:33 2025
Claude AI sums up my work in one page

By olcott on Sun Aug 10 16:06:23 2025

Latest reply by olcott on Mon Aug 11 12:01:04 2025
What value should HHH(DD) correctly return?

By olcott on Thu Aug 7 04:34:33 2025

Latest reply by olcott on Sun Aug 10 04:57:31 2025
Google [x86utm operating system]

By olcott on Sat Aug 9 02:08:06 2025

Latest reply by olcott on Sat Aug 9 02:08:06 2025
Detecting the recursive simulation behavior pattern: HHH(DD)

By olcott on Tue Aug 5 07:55:28 2025

Latest reply by olcott on Tue Aug 5 07:55:28 2025
Using linked lists of buffers for HTTP/2 I/O

By Ar Rakin on Thu Jul 31 02:28:51 2025

Latest reply by Ar Rakin on Thu Jul 31 02:28:51 2025
Re: "A diagram of C23 basic types"

By Lawrence D'Oliveiro on Thu Jun 26 19:01:20 2025

Latest reply by James Kuyper on Wed Jul 30 11:18:48 2025
The Untold Story of C++

By C++ on Tue Jul 29 08:29:30 2025

Latest reply by C++ on Tue Jul 29 08:29:30 2025
"The provenance memory model for C", by Jens Gustedt

By Alexis on Wed Jul 2 14:22:28 2025

Latest reply by David Brown on Sun Jul 20 13:09:02 2025
Re: Computable Functions --- finite string transformation rules --- db

By olcott on Fri Jul 18 06:32:06 2025

Latest reply by olcott on Fri Jul 18 06:32:06 2025
HHH(DDD)==0 is correct

By olcott on Thu Jul 3 12:50:40 2025

Latest reply by olcott on Fri Jul 4 01:17:53 2025
Re: "A diagram of C23 basic types" - correction

By Janis Papanagnou on Mon Jun 30 04:52:26 2025

Latest reply by Chris M. Thomasson on Mon Jun 30 05:14:30 2025
DDD correctly simulated by HHH can't possibly reach its own "return" s

By olcott on Sat Jun 28 05:36:33 2025

Latest reply by olcott on Mon Jun 30 01:48:47 2025
How do simulating termination analyzers work? (in C and C++)

By olcott on Wed Jun 18 09:24:45 2025

Latest reply by olcott on Sat Jun 21 05:06:22 2025
Re: Loops (was Re: do { quit; } else { })

By Tim Rentsch on Tue Jun 10 23:01:20 2025

Latest reply by Bonita Montero on Sun Jun 15 17:32:39 2025
HHH(DD) does correctly reject its input as non-halting --- VERIFIED FA

By olcott on Fri Jun 13 01:30:05 2025

Latest reply by olcott on Fri Jun 13 01:30:05 2025
Re: Oh d-ai-ry d-ai-ry me

By Anton Shepelev on Mon Jun 9 21:21:55 2025

Latest reply by Roberto on Mon Jun 9 23:17:17 2025