1. Forum
  2. Newsgroups
  3. comp.lang.c
Re: Semantic properties of finite string inputs --- many months ofcareful crafting

By Tristan Wibberley on Sat Nov 1 21:39:33 2025

Latest reply by Tristan Wibberley on Sat Nov 1 22:16:01 2025
Semantic properties of finite string inputs

By olcott on Thu Oct 30 09:49:08 2025

Latest reply by Tristan Wibberley on Sat Nov 1 20:42:21 2025
Why do programmers confuse Halloween with Christmas?

By Lynn McGuire on Fri Oct 31 22:58:17 2025

Latest reply by Keith Thompson on Sat Nov 1 14:28:05 2025
New and improved version of cdecl

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

Latest reply by bart on Sat Nov 1 14:56:58 2025
I am only referring the this C code right D simulated by H

By olcott on Sat Nov 1 13:51:54 2025

Latest reply by olcott on Sat Nov 1 13:51:54 2025
Re: Semantic properties of finite string inputs --- More precisely

By olcott on Fri Oct 31 21:58:18 2025

Latest reply by olcott on Fri Oct 31 21:58:18 2025
Re: Never any actual rebuttal to HHH(DD)==0 Since 10/13/2022

By olcott on Tue Oct 28 11:49:33 2025

Latest reply by Chris M. Thomasson on Wed Oct 29 14:31:50 2025
H(D) as simple as it gets

By olcott on Tue Oct 28 09:29:55 2025

Latest reply by Chris M. Thomasson on Tue Oct 28 17:18:34 2025
Re: Two hypothetical possibilities --- HP decision problem instance

By olcott on Tue Oct 28 15:54:35 2025

Latest reply by olcott on Tue Oct 28 15:54:35 2025
D simulated by H cannot possibly reach past its own first line

By olcott on Mon Oct 27 21:58:27 2025

Latest reply by olcott on Tue Oct 28 11:40:07 2025
No human has been able to understand this simple C in three years

By olcott on Sat Oct 25 12:53:27 2025

Latest reply by dbush on Tue Oct 28 07:55:25 2025
Re: Optimization of cascading recursions in "C" compilers?

By Rosario19 on Thu Oct 23 00:37:37 2025

Latest reply by antispam on Tue Oct 28 01:58:43 2025
Kaz is a damned liar

By olcott on Mon Oct 27 19:44:19 2025

Latest reply by Chris M. Thomasson on Mon Oct 27 19:05:44 2025
Kaz insists on dodging this point only because he knows it isirrefutable

By olcott on Mon Oct 27 17:40:38 2025

Latest reply by dbush on Mon Oct 27 20:52:46 2025
D simulated by H cannot possibly reach its own return statement

By olcott on Mon Oct 27 20:12:29 2025

Latest reply by Chris M. Thomasson on Mon Oct 27 18:41:18 2025
Kaz is now dishonored in his deceit

By olcott on Sun Oct 26 20:58:00 2025

Latest reply by Chris M. Thomasson on Mon Oct 27 11:55:12 2025
HHH(DD) is very obviously correct to reject its input

By olcott on Mon Oct 27 10:22:08 2025

Latest reply by Chris M. Thomasson on Mon Oct 27 11:23:43 2025
Kaz proves his deceit by dodging this simple point --- Is Kaz just aLiar ???

By olcott on Sun Oct 26 23:10:51 2025

Latest reply by olcott on Sun Oct 26 23:10:51 2025
dbush is now dishonored in his deceit

By olcott on Sun Oct 26 20:56:17 2025

Latest reply by olcott on Sun Oct 26 21:52:22 2025
Can someone from comp.lang.c or comp.lang.c++ help out here?

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

Latest reply by olcott on Sun Oct 26 22:02:01 2025
Halting Problem Simulation in C --- first draft of final paper

By olcott on Sun Oct 26 10:56:54 2025

Latest reply by olcott on Sun Oct 26 10:56:54 2025
Claude AI understands this rebuttal of Ben --- Category Error

By olcott on Sun Oct 26 09:56:25 2025

Latest reply by olcott on Sun Oct 26 09:56:25 2025
bugprone-switch-missing-default-case

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

Latest reply by scott on Fri Oct 24 15:51:30 2025
the index of one array that can not overflow

By Rosario19 on Thu Oct 23 20:39:12 2025

Latest reply by Keith Thompson on Thu Oct 23 15:30:48 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
Re: Nice way of allocating flexible struct.

By Janis Papanagnou on Tue Oct 14 06:29:32 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: do { quit; } else { }

By Thiago Adams on Wed Oct 15 16:04:10 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
Re: Updated input to LLM systems proving HHH(DD)==0 within assumptions

By olcott on Mon Oct 13 11:26:49 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