comp.software-eng

1–30 of 36338

0 selected

olcott, Mr Flibble28

3:31 PM

Halting problem proofs refuted on the basis of software engineering

On 7/5/2022 1:50 PM, dklei...@gmail.com wrote: > On Monday, July 4, 2022 at 4:08:12 PM UTC-7,

unread,

Halting problem proofs refuted on the basis of software engineering

On 7/5/2022 1:50 PM, dklei...@gmail.com wrote: > On Monday, July 4, 2022 at 4:08:12 PM UTC-7,

3:31 PM

olcott, Richard Damon2

7:32 AM

Re: An idea for a simulating halt decider

On 7/4/22 8:01 PM, olcott wrote: > On 7/4/2022 6:17 PM, Ben Bacarisse wrote: >> Mr Flibble

unread,

Re: An idea for a simulating halt decider

On 7/4/22 8:01 PM, olcott wrote: > On 7/4/2022 6:17 PM, Ben Bacarisse wrote: >> Mr Flibble

7:32 AM

olcott, … Richard Damon12

Jul 4

Halting problem proofs refuted on the basis of software engineering V2

On 7/4/22 3:09 PM, olcott wrote: > On 7/4/2022 1:38 PM, Mr Flibble wrote: >> On Mon, 4 Jul

unread,

Halting problem proofs refuted on the basis of software engineering V2

On 7/4/22 3:09 PM, olcott wrote: > On 7/4/2022 1:38 PM, Mr Flibble wrote: >> On Mon, 4 Jul

Jul 4

olcott, Mr Flibble5

Jul 3

Re: Should any program that calls a halt decider be considered pathological?

On 7/3/2022 12:12 PM, Mr Flibble wrote: > On Sun, 3 Jul 2022 12:07:43 -0500 > olcott <NoOne@

unread,

Re: Should any program that calls a halt decider be considered pathological?

On 7/3/2022 12:12 PM, Mr Flibble wrote: > On Sun, 3 Jul 2022 12:07:43 -0500 > olcott <NoOne@

Jul 3

Jun 27

Conquering the last rebuttal to H(P,P)==0 refutation of the halting problem proofs

*This is the outline of the complete refutation* *of the only rebuttal that anyone has left* (a) The

unread,

Conquering the last rebuttal to H(P,P)==0 refutation of the halting problem proofs

*This is the outline of the complete refutation* *of the only rebuttal that anyone has left* (a) The

Jun 27

Jun 12

Press Release - AEiC 2022, Ada-Europe Reliable Softw. Technol.

----------------------------------------------------------------------- FINAL Call for Participation

unread,

Press Release - AEiC 2022, Ada-Europe Reliable Softw. Technol.

----------------------------------------------------------------------- FINAL Call for Participation

Jun 12

Jun 6

Competent software engineers will agree that H(P,P)==0 is correct

Software engineers competent in C and the x86 language will verify that when H(P,P) correctly

unread,

Competent software engineers will agree that H(P,P)==0 is correct

Software engineers competent in C and the x86 language will verify that when H(P,P) correctly

Jun 6

Mr Flibble, olcott3

Jun 3

Re: Refuting the HP proofs (adapted for software engineers)

On 6/3/2022 6:35 PM, Mr Flibble wrote: > On Fri, 3 Jun 2022 17:17:12 -0500 > olcott <NoOne@

unread,

Re: Refuting the HP proofs (adapted for software engineers)

On 6/3/2022 6:35 PM, Mr Flibble wrote: > On Fri, 3 Jun 2022 17:17:12 -0500 > olcott <NoOne@

Jun 3

Satish Chaturvedi

May 24

Network Security Engineer _ Denver, Colorado_12 month plus C2C

Hello, Hope you are doing well. I have an urgent position as Network Security Engineer. Job Title:-

unread,

Network Security Engineer _ Denver, Colorado_12 month plus C2C

Hello, Hope you are doing well. I have an urgent position as Network Security Engineer. Job Title:-

May 24

May 24

Experts would agree that my reviewers are incorrect

All of the recent discussions are simply disagreement with an easily verifiable fact. Any smart

unread,

Experts would agree that my reviewers are incorrect

All of the recent discussions are simply disagreement with an easily verifiable fact. Any smart

May 24

May 23

Re: Question for Olcott [ summing up where we are ]

On 5/23/2022 10:16 PM, Dennis Bush wrote: > On Monday, May 23, 2022 at 11:08:54 PM UTC-4, olcott

unread,

Re: Question for Olcott [ summing up where we are ]

On 5/23/2022 10:16 PM, Dennis Bush wrote: > On Monday, May 23, 2022 at 11:08:54 PM UTC-4, olcott

May 23

May 23

Re: Question for Olcott [ Richard continues to be a liar ]

On 5/23/2022 6:33 PM, Richard Damon wrote: > > On 5/23/22 3:05 PM, olcott wrote: >> On 5/

unread,

Re: Question for Olcott [ Richard continues to be a liar ]

On 5/23/2022 6:33 PM, Richard Damon wrote: > > On 5/23/22 3:05 PM, olcott wrote: >> On 5/

May 23

May 22

Are my reviewers incompetent or dishonest? [ stupid or liar ? ]

On 5/22/2022 12:36 PM, Richard Damon wrote: > On 5/22/22 12:42 PM, olcott wrote: >> On 5/22/

unread,

Are my reviewers incompetent or dishonest? [ stupid or liar ? ]

On 5/22/2022 12:36 PM, Richard Damon wrote: > On 5/22/22 12:42 PM, olcott wrote: >> On 5/22/

May 22

Mr Flibble, olcott4

May 22

Re: Are my reviewers dishonest or technically incompetent ?

On 5/22/2022 1:26 PM, Mr Flibble wrote: > On Sun, 22 May 2022 13:23:16 -0500 > olcott <NoOne

unread,

Re: Are my reviewers dishonest or technically incompetent ?

On 5/22/2022 1:26 PM, Mr Flibble wrote: > On Sun, 22 May 2022 13:23:16 -0500 > olcott <NoOne

May 22

Satish Chaturvedi

May 19

GOLANG Developer _ Dallas , Texas_12 month plus C2C

Hello, Hope you are doing well. I have an urgent position as GOLANG Developer. Job Title:- GOLANG

unread,

GOLANG Developer _ Dallas , Texas_12 month plus C2C

Hello, Hope you are doing well. I have an urgent position as GOLANG Developer. Job Title:- GOLANG

May 19

Alvaro Miyazawa

May 18

[Final CFP - Extended Deadline] Special Issue "Software Engineering for Robotics" (Robotics and Autonomous Systems Journal)

*Apologies for multiple copies of this CFP* # Final Call for Papers - Extended Deadline ## Special

unread,

[Final CFP - Extended Deadline] Special Issue "Software Engineering for Robotics" (Robotics and Autonomous Systems Journal)

*Apologies for multiple copies of this CFP* # Final Call for Papers - Extended Deadline ## Special

May 18

May 16

Ada-Europe - AEiC 2022 early registration deadline approaching

----------------------------------------------------------------------- UPDATED Call for

unread,

Ada-Europe - AEiC 2022 early registration deadline approaching

----------------------------------------------------------------------- UPDATED Call for

May 16

Satish Chaturvedi

May 16

Python Developer _ Dallas, TX_12 month plus C2C

Hello, Hope you are doing well. I have an urgent position as Python Developer. Please share your

unread,

Python Developer _ Dallas, TX_12 month plus C2C

Hello, Hope you are doing well. I have an urgent position as Python Developer. Please share your

May 16

Satish Chaturvedi

May 13

Java Developer _ Atlanta GA_12 month plus C2C

Hello, Hope you are doing well. I have an urgent position as Java Developer. Please share your

unread,

Java Developer _ Atlanta GA_12 month plus C2C

Hello, Hope you are doing well. I have an urgent position as Java Developer. Please share your

May 13

May 3

Ada-Europe Int.Conf. Reliable Software Technologies, AEiC 2022

----------------------------------------------------------------------- Call for Participation ***

unread,

Ada-Europe Int.Conf. Reliable Software Technologies, AEiC 2022

----------------------------------------------------------------------- Call for Participation ***

May 3

Satish Chaturvedi

Apr 29

IWM/WM Deployment Specialist _ Peoria, IL (Remote -anywhere in EST/CST time zone with a mandatory requirement of frequent travel to Clayton, Nc)_12 month plus C2C

Hello, Hope you are doing well. I have an urgent position as IWM/WM Deployment Specialist. Please

unread,

IWM/WM Deployment Specialist _ Peoria, IL (Remote -anywhere in EST/CST time zone with a mandatory requirement of frequent travel to Clayton, Nc)_12 month plus C2C

Hello, Hope you are doing well. I have an urgent position as IWM/WM Deployment Specialist. Please

Apr 29

Satish Chaturvedi2

Apr 22

Urgent role_Solution Architect_Kansas City, Missouri / Atlanta GA (Remote prefer Atlanta as an alternate. 20% travel is expected.)_12 month plus C2C

Hello, Hope you are doing well. I have an urgent position as Solution Architect. Please share your

unread,

Urgent role_Solution Architect_Kansas City, Missouri / Atlanta GA (Remote prefer Atlanta as an alternate. 20% travel is expected.)_12 month plus C2C

Hello, Hope you are doing well. I have an urgent position as Solution Architect. Please share your

Apr 22

Satish Chaturvedi

Apr 20

Urgent role_Sr. Java Developer_St. Louis, MO location_12 month plus C2C

Hello, Hope you are doing well. I have an urgent position as Sr. Java Developer. Please share your

unread,

Urgent role_Sr. Java Developer_St. Louis, MO location_12 month plus C2C

Hello, Hope you are doing well. I have an urgent position as Sr. Java Developer. Please share your

Apr 20

Satish Chaturvedi

Apr 19

Urgent role_Test Automation Engineer_(Remote) location_12 month plus C2C

Hello, Hope you are doing well. I have an urgent position as Test Automation Engineer. Please share

unread,

Urgent role_Test Automation Engineer_(Remote) location_12 month plus C2C

Hello, Hope you are doing well. I have an urgent position as Test Automation Engineer. Please share

Apr 19

Alvaro Miyazawa

Apr 7

[CFP] Special Issue "Software Engineering for Robotics" (Robotics and Autonomous Systems Journal)

# Special Issue: Software Engineering for Robotics # Robotics and Autonomous Systems Journal,

unread,

[CFP] Special Issue "Software Engineering for Robotics" (Robotics and Autonomous Systems Journal)

# Special Issue: Software Engineering for Robotics # Robotics and Autonomous Systems Journal,

Apr 7

Feb 20

Ada Developer Room at FOSDEM 2022 - videos online

----------------------------------------------------------------------- *** Presentations and video

unread,

Ada Developer Room at FOSDEM 2022 - videos online

----------------------------------------------------------------------- *** Presentations and video

Feb 20

Jan 31

Re: Concise refutation of halting problem proofs V55 [ halt deciders ]

On 1/31/2022 11:15 AM, olcott wrote: > On 1/31/2022 11:05 AM, Mr Flibble wrote: >> On Fri,

unread,

Re: Concise refutation of halting problem proofs V55 [ halt deciders ]

On 1/31/2022 11:15 AM, olcott wrote: > On 1/31/2022 11:05 AM, Mr Flibble wrote: >> On Fri,

Jan 31

Jan 31

CfC Ada-Europe 2022 Conference - 27 Feb - second deadline

----------------------------------------------------------------------- UPDATED Call for

unread,

CfC Ada-Europe 2022 Conference - 27 Feb - second deadline

----------------------------------------------------------------------- UPDATED Call for

Jan 31

Jan 29

Re: Concise refutation of halting problem proofs V52 [ THE KEY QUESTION ]

On 1/29/2022 11:34 AM, Ben Bacarisse wrote: > Richard Damon <Richard@Damon-Family.org>

unread,

Re: Concise refutation of halting problem proofs V52 [ THE KEY QUESTION ]

On 1/29/2022 11:34 AM, Ben Bacarisse wrote: > Richard Damon <Richard@Damon-Family.org>

Jan 29

Jan 20

Crowdsourcing the search for software engineering data

All, This year I am taking a proactive approach to finding software engineering data. Previously I

unread,

Crowdsourcing the search for software engineering data

All, This year I am taking a proactive approach to finding software engineering data. Previously I

Jan 20

Search

Clear search

Close search

Google apps

Main menu