Re: _BitInt(N)

By Philipp Klaus Krause on Sun Nov 23 12:46:10 2025

Latest reply by David Brown on Sat Nov 29 14:45:30 2025

P!=NP proof (revised)

By wij on Wed Nov 19 15:25:28 2025

Latest reply by wij on Fri Nov 28 11:48:51 2025

Re: HHH(DD) is very obviously correct to reject its input

By Richard Damon on Fri Nov 28 11:09:08 2025

Latest reply by Richard Damon on Fri Nov 28 11:09:08 2025

[meta] Newsreader and formatting (was Re: _BitInt(N))

By Janis Papanagnou on Fri Nov 28 02:56:44 2025

Latest reply by Janis Papanagnou on Fri Nov 28 02:56:44 2025

Re: The halting problem is incorrect two different ways

By olcott on Wed Nov 26 22:58:45 2025

Latest reply by Kaz Kylheku on Thu Nov 27 18:05:08 2025

What is the meaning of array parameters?

By Philipp Klaus Krause on Tue Nov 25 14:28:39 2025

Latest reply by Philipp Klaus Krause on Thu Nov 27 10:34:37 2025

Unicode...

By Michael Sanders on Fri Nov 14 21:03:38 2025

Latest reply by Bonita Montero on Wed Nov 26 19:42:09 2025

DD simulated by HHH and DD simulated by HHH1

By olcott on Sun Nov 23 21:15:15 2025

Latest reply by Kaz Kylheku on Tue Nov 25 20:27:15 2025

Re: D simulated by H cannot possibly reach its own simulated final halt

By olcott on Tue Nov 11 20:41:28 2025

Latest reply by olcott on Tue Nov 25 13:18:14 2025

Dangerous Precipice that could end all life --- DD simulated by HHH

By olcott on Sat Nov 22 13:29:50 2025

Latest reply by Kaz Kylheku on Mon Nov 24 02:44:28 2025

C90+ toequiv()

By Paul Edwards on Sat Nov 15 17:33:04 2025

Latest reply by Paul Edwards on Mon Nov 24 01:45:37 2025

Glossary of names of my simulating termination analyzer HHH(DD)

By olcott on Sun Nov 23 16:29:50 2025

Latest reply by olcott on Sun Nov 23 16:29:50 2025

Glossary of names in my termination analyzer system

By olcott on Sat Nov 22 22:50:54 2025

Latest reply by olcott on Sat Nov 22 22:50:54 2025

strspn()

By Michael Sanders on Fri Nov 21 18:41:01 2025

Latest reply by Michael Sanders on Sat Nov 22 22:03:59 2025

polcott agrees the Kaz is a damned liar --- DD simulated by HHH

By olcott on Thu Nov 20 17:24:53 2025

Latest reply by olcott on Sat Nov 22 12:06:02 2025

polcott agrees the halting problem is incorrect --- is libel against hi

By olcott on Thu Nov 20 20:00:03 2025

Latest reply by olcott on Thu Nov 20 20:00:03 2025

Re: the halting problem is founded in computer science

By olcott on Wed Nov 19 17:53:26 2025

Latest reply by Kaz Kylheku on Thu Nov 20 00:01:06 2025

Liars try to get away with DD simulated by HHH halts

By olcott on Tue Nov 18 18:24:06 2025

Latest reply by Chris M. Thomasson on Wed Nov 19 12:44:49 2025

DDD simulated by HHH cannot possibly reach its own simulated final halt

By olcott on Tue Nov 18 22:45:43 2025

Latest reply by Kaz Kylheku on Wed Nov 19 05:23:23 2025

Weasel word double talk excuses =--- AKA Liars

By olcott on Tue Nov 18 15:57:35 2025

Latest reply by olcott on Tue Nov 18 15:57:35 2025

Attributes on functions/variables (static, in particular)

By Kenny McCormack on Fri Nov 14 14:20:47 2025

Latest reply by David Brown on Sat Nov 15 10:55:06 2025

Usage/Help Screen Conventions

By Michael Sanders on Thu Nov 6 04:29:45 2025

Latest reply by Michael Sanders on Sat Nov 15 01:55:57 2025

Will keep posting this every day until someone answers truthfully

By olcott on Thu Nov 13 18:36:15 2025

Latest reply by olcott on Fri Nov 14 12:19:33 2025

Mike Terry just answer this one question I will keep bugging YOU until

By olcott on Thu Nov 13 22:21:54 2025

Latest reply by olcott on Thu Nov 13 22:49:20 2025

How to handle pathological cases (was Re: ...)

By Janis Papanagnou on Thu Nov 13 11:18:13 2025

Latest reply by olcott on Thu Nov 13 09:28:56 2025

D simulated by H cannot possibly reach its own simulated final halt sta

By olcott on Thu Nov 6 14:48:02 2025

Latest reply by olcott on Wed Nov 12 20:34:32 2025

5 statements of D simulated by H

By olcott on Wed Nov 12 14:49:29 2025

Latest reply by dbush on Wed Nov 12 20:06:55 2025

click_link()

By Michael Sanders on Wed Nov 12 14:23:24 2025

Latest reply by Michael Sanders on Wed Nov 12 18:03:21 2025

SIG_DFL

By Michael Sanders on Sat Nov 8 19:01:00 2025

Latest reply by Dan Cross on Wed Nov 12 16:27:25 2025

Re: Rejecting expressions of formal language having pathological self-r

By olcott on Wed Nov 12 13:11:50 2025

Latest reply by olcott on Wed Nov 12 13:33:32 2025

How pathological self-reference is confused with undecidability

By olcott on Tue Nov 11 19:38:09 2025

Latest reply by olcott on Wed Nov 12 06:50:13 2025

mini_repl.c

By Michael Sanders on Mon Nov 10 12:59:38 2025

Latest reply by Michael Sanders on Tue Nov 11 23:24:48 2025

D simulated by H where H is a C interpreter --- Maybe Mike has become a

By olcott on Sat Nov 8 20:08:11 2025

Latest reply by Mikko on Tue Nov 11 11:15:23 2025

Re: D simulated by H where H is a C interpreter --- What is up with Mik

By olcott on Sun Nov 9 15:59:51 2025

Latest reply by Chris M. Thomasson on Tue Nov 11 00:47:44 2025

Flood of old articles

By Keith Thompson on Sun Nov 2 13:33:24 2025

Latest reply by candycanearter07 on Mon Nov 10 17:30:03 2025

Re: 16:32 far pointers in OpenWatcom C/C++

By Peter Flass on Sun Nov 2 12:57:51 2025

Latest reply by Dan Cross on Mon Nov 10 09:08:58 2025

Geodetic Development Kit GeoDLL

By Fred Killet on Sun Nov 9 13:15:56 2025

Latest reply by Fred Killet on Sun Nov 9 13:15:56 2025

Three Year Update of proof of D simulated by H

By olcott on Sun Nov 9 09:20:55 2025

Latest reply by olcott on Sun Nov 9 09:20:55 2025

D simulated by H where H is a C interpreter

By olcott on Sat Nov 8 16:35:07 2025

Latest reply by olcott on Sat Nov 8 16:35:07 2025

Proof that D simulated by H never reaches its own simulated "return" st

By olcott on Fri Nov 7 08:04:22 2025

Latest reply by olcott on Fri Nov 7 08:04:22 2025

Re: Kaz does not understand his own code. --- I AM PROVED EXACTLY CORRE

By olcott on Wed Nov 5 12:17:06 2025

Latest reply by olcott on Wed Nov 5 12:17:06 2025

Re: Kaz does not understand his own code --- I AM PROVED EXACTLY CORREC

By olcott on Tue Nov 4 21:51:10 2025

Latest reply by olcott on Tue Nov 4 21:51:10 2025

Kaz does not understand his own code.

By olcott on Tue Nov 4 20:14:45 2025

Latest reply by olcott on Tue Nov 4 20:14:45 2025

Re: Does D simulated by H reach its own "return" statement?

By olcott on Tue Nov 4 07:56:17 2025

Latest reply by olcott on Tue Nov 4 07:56:17 2025

Re: Semantic properties of finite string inputs --- Closure ???

By olcott on Mon Nov 3 18:43:27 2025

Latest reply by olcott on Mon Nov 3 18:43:27 2025

Why do programmers confuse Halloween with Christmas?

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

Latest reply by Scott Lurndal on Mon Nov 3 17:16:20 2025

Olcott's revised position statement

By olcott on Mon Nov 3 15:48:12 2025

Latest reply by olcott on Mon Nov 3 15:48:12 2025

Addressing duffer-speak

By olcott on Mon Nov 3 07:47:39 2025

Latest reply by olcott on Mon Nov 3 12:30:31 2025

Semantic properties of finite string inputs

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

Latest reply by Chris M. Thomasson on Sun Nov 2 22:22:11 2025

Re: Semantic properties of finite string inputs --- many months of care

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

Latest reply by James Kuyper on Sun Nov 2 21:19:33 2025

Re: "duffer speak" ??? Mike can't be dishonest so what is left ?

By olcott on Sun Nov 2 18:25:31 2025

Latest reply by olcott on Sun Nov 2 18:25:31 2025

Re: New and improved version of cdecl

By Keith Thompson on Mon Oct 27 19:59:03 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

uset config test

By thiago on Fri Oct 31 16:20:26 2025

Latest reply by thiago on Fri Oct 31 16:20:26 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

Re: D simulated by H cannot possibly reach past its own first line

By Chris M. Thomasson on Mon Oct 27 19:59:30 2025

Latest reply by olcott on Tue Oct 28 11:40:07 2025

Re: No human has been able to understand this simple C in three years

By Kaz Kylheku on Tue Oct 28 03:21:59 2025

Latest reply by dbush on Tue Oct 28 07:55:25 2025