comp.software-eng

1–30 of 36376

0 selected

fith...@gmail.com

Jul 25

VMIL 2023 - Co-located with SPLASH'23 - Call for Work-in-progress and Position Papers

*** VMIL 2023 is accepting work-in-progress and position papers until 2023-08-02. Accepted papers

unread,

VMIL 2023 - Co-located with SPLASH'23 - Call for Work-in-progress and Position Papers

*** VMIL 2023 is accepting work-in-progress and position papers until 2023-08-02. Accepted papers

Jul 25

Jul 13

Share profiles at Deepak@sohosqs.com Role: QA Automation Engineer

Share profiles at Dee...@sohosqs.com Role: QA Automation Engineer Location: Cincinnati, OH(onsite)

unread,

Share profiles at Deepak@sohosqs.com Role: QA Automation Engineer

Share profiles at Dee...@sohosqs.com Role: QA Automation Engineer Location: Cincinnati, OH(onsite)

Jul 13

matt....@gmail.com

Jul 11

Need a Far Side cartoon

For my class in software engineering next spring I need a Gary Larson cartoon from years ago. It is

unread,

Need a Far Side cartoon

For my class in software engineering next spring I need a Gary Larson cartoon from years ago. It is

Jul 11

Jul 9

Download WooCommerce Gravity Forms Product Add-ons

Download WooCommerce Gravity Forms Product Add-ons. Here is the Download link for lowest price: =>

unread,

Download WooCommerce Gravity Forms Product Add-ons

Download WooCommerce Gravity Forms Product Add-ons. Here is the Download link for lowest price: =>

Jul 9

Jun 14

Ada 2022 Language Reference Manual to be Published by Springer

----------------------------------------------------------------------- FOR IMMEDIATE RELEASE Ada

unread,

Ada 2022 Language Reference Manual to be Published by Springer

----------------------------------------------------------------------- FOR IMMEDIATE RELEASE Ada

Jun 14

Jun 9

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

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

unread,

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

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

Jun 9

May 21

Ada-Europe - AEiC 2023 early registration deadline approaching

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

unread,

Ada-Europe - AEiC 2023 early registration deadline approaching

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

May 21

May 19

Can D simulated by H terminate normally?

Can D simulated by H terminate normally? The following code is executed in the x86utm operating

unread,

Can D simulated by H terminate normally?

Can D simulated by H terminate normally? The following code is executed in the x86utm operating

May 19

May 11

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

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

unread,

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

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

May 11

matt....@gmail.com, … olcott3

May 9

Looking for an attribution

On 5/6/2023 1:27 AM, Julio Di Egidio wrote: > On Friday, 5 May 2023 at 19:39:43 UTC+2, matt....@

unread,

Looking for an attribution

On 5/6/2023 1:27 AM, Julio Di Egidio wrote: > On Friday, 5 May 2023 at 19:39:43 UTC+2, matt....@

May 9

Feb 25

Ada-Europe Conference - 6 March Extended Final Deadline

The recently posted reminder for the Ada-Europe 2023 Conference triggered several requests for extra

unread,

Ada-Europe Conference - 6 March Extended Final Deadline

The recently posted reminder for the Ada-Europe 2023 Conference triggered several requests for extra

Feb 25

olcott, Richard Damon2

Feb 22

All of my reviewers deny the verified facts by using the straw-man deception

On 2/22/23 12:35 PM, olcott wrote: > *Halting is defined as reaching a final state and terminating

unread,

All of my reviewers deny the verified facts by using the straw-man deception

On 2/22/23 12:35 PM, olcott wrote: > *Halting is defined as reaching a final state and terminating

Feb 22

olcott, Richard Damon4

Feb 22

All of my reviewers lie about this

On 2/22/23 11:48 AM, olcott wrote: > On 2/22/2023 10:32 AM, Fritz Feldhase wrote: >> On

unread,

All of my reviewers lie about this

On 2/22/23 11:48 AM, olcott wrote: > On 2/22/2023 10:32 AM, Fritz Feldhase wrote: >> On

Feb 22

olcott, Richard Damon6

Feb 22

Does a Simulating Halt Decider Defeat the Halting Theorem ?

On 2/22/23 12:06 PM, olcott wrote: > On 2/22/2023 10:41 AM, Fritz Feldhase wrote: >> On

unread,

Does a Simulating Halt Decider Defeat the Halting Theorem ?

On 2/22/23 12:06 PM, olcott wrote: > On 2/22/2023 10:41 AM, Fritz Feldhase wrote: >> On

Feb 22

olcott, Richard Damon17

Feb 21

Simulating Halt Deciders Defeat the Halting Theorem V2

On 2/21/23 10:38 AM, olcott wrote: > On 2/20/2023 10:44 PM, olcott wrote: >> On 2/20/2023 10

unread,

Simulating Halt Deciders Defeat the Halting Theorem V2

On 2/21/23 10:38 AM, olcott wrote: > On 2/20/2023 10:44 PM, olcott wrote: >> On 2/20/2023 10

Feb 21

olcott, Richard Damon8

Feb 17

Simulating halt deciders defeat the halting theorem [ irrefutable reasoning ]

On 2/17/23 10:04 AM, olcott wrote: > On 2/17/2023 8:24 AM, olcott wrote: >> On 2/16/2023 8:

unread,

Simulating halt deciders defeat the halting theorem [ irrefutable reasoning ]

On 2/17/23 10:04 AM, olcott wrote: > On 2/17/2023 8:24 AM, olcott wrote: >> On 2/16/2023 8:

Feb 17

olcott, Richard Damon2

Feb 16

H(D,D)==0 is proven to be correct

On 2/16/23 9:43 AM, olcott wrote: > int D(int (*x)()) > { > int Halt_Status = H(x, x); >

unread,

H(D,D)==0 is proven to be correct

On 2/16/23 9:43 AM, olcott wrote: > int D(int (*x)()) > { > int Halt_Status = H(x, x); >

Feb 16

olcott, Richard Damon14

Feb 16

Simulating halt deciders defeat the halting theorem

On 2/16/23 11:59 AM, olcott wrote: > On 2/16/2023 8:44 AM, Don Stockbauer wrote: >> On

unread,

Simulating halt deciders defeat the halting theorem

On 2/16/23 11:59 AM, olcott wrote: > On 2/16/2023 8:44 AM, Don Stockbauer wrote: >> On

Feb 16

Feb 16

AEiC 2023 - Ada-Europe conference - Final Deadline Approaching

----------------------------------------------------------------------- FINAL Call for Contributions

unread,

AEiC 2023 - Ada-Europe conference - Final Deadline Approaching

----------------------------------------------------------------------- FINAL Call for Contributions

Feb 16

olcott, Richard Damon4

Feb 15

H correctly predicts that D correctly simulated by H would not halt

On 2/15/23 7:51 PM, olcott wrote: > On 2/15/2023 5:29 PM, olcott wrote: >> int D(int (*x)())

unread,

H correctly predicts that D correctly simulated by H would not halt

On 2/15/23 7:51 PM, olcott wrote: > On 2/15/2023 5:29 PM, olcott wrote: >> int D(int (*x)())

Feb 15

olcott, Richard Damon3

Feb 14

Simulating halt deciders applied to the halting theorem

On 2/14/23 10:55 AM, olcott wrote: > 001 int h(x, y); // suppose the detail of h(x, y) is in a

unread,

Simulating halt deciders applied to the halting theorem

On 2/14/23 10:55 AM, olcott wrote: > 001 int h(x, y); // suppose the detail of h(x, y) is in a

Feb 14

olcott, Richard Damon2

Feb 13

Understanding how simulating halt deciders defeat the halting theorem

On 2/13/23 4:32 PM, olcott wrote: > void E(int (*x)()) > { > HH(x, x); > return; > }

unread,

Understanding how simulating halt deciders defeat the halting theorem

On 2/13/23 4:32 PM, olcott wrote: > void E(int (*x)()) > { > HH(x, x); > return; > }

Feb 13

olcott, Richard Damon7

Feb 13

Re: Every E correctly simulated by any HH cannot possibly halt V2 [straw man deception]

On 2/13/23 11:17 AM, olcott wrote: > On 2/12/2023 10:16 AM, olcott wrote: >> On 2/11/2023 9:

unread,

Re: Every E correctly simulated by any HH cannot possibly halt V2 [straw man deception]

On 2/13/23 11:17 AM, olcott wrote: > On 2/12/2023 10:16 AM, olcott wrote: >> On 2/11/2023 9:

Feb 13

Jan 8

Ada-Europe Conference - 13 Feb Journal-Track Extended Deadline

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

unread,

Ada-Europe Conference - 13 Feb Journal-Track Extended Deadline

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

Jan 8

12/20/22

CfC 27th Ada-Europe Int. Conf. Reliable Software Technologies

----------------------------------------------------------------------- Call for Contributions 27th

unread,

CfC 27th Ada-Europe Int. Conf. Reliable Software Technologies

----------------------------------------------------------------------- Call for Contributions 27th

12/20/22

mail...@gmail.com, S. A. Nair2

11/27/22

Why Angelina Jolie distributes money ?

Get outta here, you damn Gmail user. -- SAN ----Android NewsGroup Reader---- https://piaohong.s3-us-

unread,

Why Angelina Jolie distributes money ?

Get outta here, you damn Gmail user. -- SAN ----Android NewsGroup Reader---- https://piaohong.s3-us-

11/27/22

mail...@gmail.com

11/13/22

The truth about Angelina Jolie

Angelina Jolie has been identified by Canadians worker as.. https://charbonneau-gomery-corruption-

unread,

The truth about Angelina Jolie

Angelina Jolie has been identified by Canadians worker as.. https://charbonneau-gomery-corruption-

11/13/22

Satish Chaturvedi

10/20/22

Urgent long term contract role Firewall Engineer Jacksonville, City in Florida (Onsite from day one)

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

unread,

Urgent long term contract role Firewall Engineer Jacksonville, City in Florida (Onsite from day one)

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

10/20/22

Satish Chaturvedi

10/17/22

Urgent role Senior Developer PeopleSoft 100% remote long term contract role

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

unread,

Urgent role Senior Developer PeopleSoft 100% remote long term contract role

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

10/17/22

Satish Chaturvedi

9/21/22

Urgent long term contract role AWS Data Analytics Specialist COLUMBUS / OH (remote it fine for now)

Hello, Hope you are doing well. I have an urgent position as an AWS Data Analytics Specialist. Job

unread,

Urgent long term contract role AWS Data Analytics Specialist COLUMBUS / OH (remote it fine for now)

Hello, Hope you are doing well. I have an urgent position as an AWS Data Analytics Specialist. Job

9/21/22

Search

Clear search

Close search

Google apps

Main menu