1. Forum
  2. Newsgroups
  3. comp.lang.c
Optimization of cascading recursions in "C" compilers?

By Janis Papanagnou on Tue Sep 30 17:54:41 2025

Latest reply by Rosario19 on Thu Oct 23 00:37:37 2025
bugprone-switch-missing-default-case

By pozz on Wed Oct 22 10:56:17 2025

Latest reply by Keith Thompson on Wed Oct 22 12:41:49 2025
New and improved version of cdecl

By Keith Thompson on Wed Oct 22 14:39:43 2025

Latest reply by Keith Thompson on Wed Oct 22 14:39:43 2025
_BitInt(N)

By Thiago Adams on Wed Oct 22 09:45:37 2025

Latest reply by BGB on Wed Oct 22 14:03:23 2025
Nice way of allocating flexible struct.

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

Latest reply by BGB on Wed Oct 22 02:10:53 2025
Finding links between gcc source code and the C Standard

By Derek on Tue Oct 21 22:59:42 2025

Latest reply by Derek on Tue Oct 21 22:59:42 2025
signed vs unsigned and gcc -Wsign-conversion

By pozz on Mon Oct 20 17:03:58 2025

Latest reply by David Brown on Tue Oct 21 22:56:58 2025
u8"" c11 c23

By Thiago Adams on Mon Oct 20 15:35:00 2025

Latest reply by Thiago Adams on Tue Oct 21 16:17:19 2025
Re: "C" code from bots (was Re: Oh d-ai-ry d-ai-ry me)

By Tristan Wibberley on Tue Oct 21 14:03:48 2025

Latest reply by Bonita Montero on Tue Oct 21 15:51:34 2025
My two specifications are equivalent HHH(DD)==0 is correct

By olcott on Sat Oct 18 06:20:25 2025

Latest reply by Tristan Wibberley on Mon Oct 20 11:50:34 2025
"The Weird Concept of Branchless Programming"

By Alexis on Thu Oct 16 20:13:48 2025

Latest reply by Michael S on Fri Oct 17 14:17:32 2025
Ben Bacarisse is named because he was the best reviewer on this point

By olcott on Fri Oct 17 13:32:50 2025

Latest reply by olcott on Fri Oct 17 13:32:50 2025
Re: The halting problem is self-contradictory -- application to c/c++

By olcott on Wed Oct 15 10:10:47 2025

Latest reply by olcott on Thu Oct 16 08:27:15 2025
Re: Loops (was Re: do { quit; } else { })

By bart on Fri Sep 26 02:00:43 2025

Latest reply by Richard Heathfield on Thu Oct 16 00:43:31 2025
The Halting Problem is Incoherent

By olcott on Wed Oct 15 11:18:28 2025

Latest reply by olcott on Wed Oct 15 14:11:25 2025
The halting problem is self-contradictory

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

Latest reply by olcott on Tue Oct 14 23:00:08 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 ofHHH

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 notunderstand

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 notcontradicted by DD()

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 domain

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 logicallyentailed

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 Sipseragreed to

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 postconverted to C

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

Latest reply by olcott on Thu Oct 9 10:33:40 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
Conventional notion of the HP diagonal case is succinctly provenunsatisfiable

By olcott on Thu Oct 2 15:59:56 2025

Latest reply by Richard Damon on Sun Oct 5 16:46:37 2025
Interrupted system call on read after ~20 minutes inactivity?

By Janis Papanagnou on Sat Oct 4 00:59:43 2025

Latest reply by Chris M. Thomasson on Sun Oct 5 11:43:32 2025
New clock !

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

Latest reply by Bonita Montero on Fri Oct 3 17:28:12 2025
Trustworthy LLM systems --- require citing external sources --- nomore hallucination

By olcott on Wed Oct 1 08:40:46 2025

Latest reply by olcott on Wed Oct 1 08:40:46 2025
I corrected the very subtle error in the halting problem --- ALLDETAILS PROVIDED

By olcott on Wed Oct 1 08:10:36 2025

Latest reply by olcott on Wed Oct 1 08:10:36 2025
Social Engineering is how AI will take over key aspects of the world

By olcott on Tue Sep 30 21:43:37 2025

Latest reply by olcott on Tue Sep 30 21:43:37 2025
C As A Scripting Language

By Lawrence =?iso-8859-13?q?D=FFOliveiro?= on Tue Sep 30 05:27:03 2025

Latest reply by Janis Papanagnou on Tue Sep 30 16:14:50 2025
Expanding on Rice's Theorem

By olcott on Mon Sep 29 21:35:03 2025

Latest reply by olcott on Mon Sep 29 21:35:03 2025
I corrected the very subtle error in the halting problem

By olcott on Thu Sep 25 08:56:26 2025

Latest reply by wij on Sun Sep 28 18:57:26 2025
One key aspect of the halting problem itself has always been a bogusruse

By olcott on Wed Sep 24 09:59:06 2025

Latest reply by olcott on Wed Sep 24 09:59:06 2025
Re: Turing computable functions

By olcott on Mon Sep 22 13:31:24 2025

Latest reply by olcott on Mon Sep 22 13:31:24 2025
C90+ fselect()

By Paul Edwards on Thu Sep 18 13:55:16 2025

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

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

Latest reply by Mikko on Thu Sep 18 12:33:57 2025
The conventional diagonal argument proves my point

By olcott on Tue Sep 16 17:35:43 2025

Latest reply by Bonita Montero on Wed Sep 17 06:24:46 2025
They actually build Babbage's machine and got it fully operational in2002

By olcott on Sun Sep 14 20:16:00 2025

Latest reply by olcott on Sun Sep 14 20:16:00 2025
HHH1(DDD) only sees AFTER abort HHH(DDD) only sees BEFORE abort

By olcott on Sun Sep 14 08:22:50 2025

Latest reply by olcott on Sun Sep 14 08:22:50 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 Fri Aug 29 15: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 Mon Sep 1 23:39:00 2025

Latest reply by candycanearter07 on Wed Sep 10 18:20:03 2025
Are you using C23 attributes?

By Thiago Adams on Mon Sep 8 09:10:22 2025

Latest reply by David Brown on Tue Sep 9 15:16:26 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
type of decimal constants in msvc

By Thiago Adams on Tue Sep 2 17:10:25 2025

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

By pozz on Thu Aug 28 18:12:52 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 Tue Sep 2 13:18:51 2025

Latest reply by olcott on Tue Sep 2 13:18:51 2025
Re: Measuring the actual behavior of the actual input to HHH(DD)

By olcott on Sat Aug 30 10:08:14 2025

Latest reply by Mikko on Sun Aug 31 11:33:06 2025
Re: Why Is it correct for HHH(DD) to reject its input as non-haltingwhen DD() halts? ===

By olcott on Thu Aug 28 19:49:49 2025

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

By olcott on Wed Aug 27 21:24:06 2025

Latest reply by olcott on Wed Aug 27 21:24:06 2025
P!=NP proof (using C/C++) for review

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

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

By Keith Thompson on Sat Aug 23 15:58:46 2025

Latest reply by James Kuyper on Tue Aug 26 16:53:08 2025
How to prove Halting Problem in C?

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

Latest reply by wij on Tue Aug 26 12:52:10 2025
All rebuttals to this have been proven to be counter-factual

By olcott on Mon Aug 25 12:07:42 2025

Latest reply by olcott on Mon Aug 25 12:07:42 2025
DD correctly simulated by HHH proves that it never stops running

By olcott on Mon Aug 25 10:13:33 2025

Latest reply by olcott on Mon Aug 25 10:13:33 2025
Re: Alan Turing's Halting Problem is incorrectly formed --- My firstpost on the halting problem

By olcott on Sun Aug 24 16:56:34 2025

Latest reply by olcott on Sun Aug 24 17:19:44 2025
How is this answer not self-evident ?

By olcott on Wed Aug 13 00:30:56 2025

Latest reply by Fred. Zwarts on Sun Aug 24 09:35:49 2025
suplement to things on roguelike system

By fir on Thu Aug 21 19:20:34 2025

Latest reply by fir on Thu Aug 21 19:20:34 2025
Re: Olcott correctly points out misconceptions in the HP proofs ---proof of behavior of DD

By olcott on Thu Aug 21 11:02:57 2025

Latest reply by olcott on Thu Aug 21 11:02:57 2025
Re: Correct simulation of DDD by HHH is proven --- Details of howHHH(DD) simulates its input

By olcott on Wed Aug 20 20:45:38 2025

Latest reply by olcott on Wed Aug 20 20:45:38 2025
ChatGPT 5.0 wrote this Rubric so that every LLM system evaluates DDcorrectly simulated by HHH --- CORRECTLY

By olcott on Wed Aug 20 10:52:04 2025

Latest reply by olcott on Wed Aug 20 10:52:04 2025
Re: encapsulating directory operations

By Jakob Bohm on Sun Aug 17 21:04:11 2025

Latest reply by James Kuyper on Tue Aug 19 18:09:48 2025
Re: VAX

By Jakob Bohm on Sun Aug 17 20:18:36 2025

Latest reply by Keith Thompson on Mon Aug 18 21:57:59 2025
Re: Correct simulation of DDD by HHH is proven --- Heathfield FINALLYadmits the truth (Yeah)

By olcott on Mon Aug 18 21:54:45 2025

Latest reply by olcott on Mon Aug 18 21:54:45 2025
Re: Correct simulation of DDD by HHH is proven --- Heathfield FINALLYadmits the truth

By olcott on Mon Aug 18 21:00:17 2025

Latest reply by olcott on Mon Aug 18 21:34:04 2025
Re: Early History Of C

By Jakob Bohm on Sun Aug 17 20:41:18 2025

Latest reply by Jakob Bohm on Sun Aug 17 20:41:18 2025
Re: about some myth on programing

By Bonita Montero on Tue Aug 12 17:12:59 2025

Latest reply by Janis Papanagnou on Sun Aug 17 17:15:03 2025
the naive halting problem is now corrected

By olcott on Sat Aug 16 09:20:10 2025

Latest reply by olcott on Sun Aug 17 10:12:20 2025
Re: simple sheme for paragraph game in c

By Mikko on Wed Aug 13 11:45:33 2025

Latest reply by Richard Damon on Fri Aug 15 14:53:45 2025
Why three different LLM systems are correct when that say HHH(DD)==0 is correct

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

Latest reply by olcott on Fri Aug 15 07:48:28 2025
Re: How is this answer not self-evident ? --- Kaz

By olcott on Fri Aug 15 07:01:52 2025

Latest reply by olcott on Fri Aug 15 07:01:52 2025
Finally after more than three years someone that is not gaslighting me

By olcott on Thu Aug 14 16:46:52 2025

Latest reply by olcott on Thu Aug 14 16:46:52 2025
Re: How is this answer not self-evident ? --- Rice's Theorem is nowRice Krispies

By olcott on Wed Aug 13 15:30:28 2025

Latest reply by olcott on Wed Aug 13 15:30:28 2025
Re: Three different LLM systems figured out my reasoning on their ownwithout prompting

By olcott on Tue Aug 12 10:03:23 2025

Latest reply by olcott on Tue Aug 12 10:03:23 2025