Google Groups no longer supports new Usenet posts or subscriptions. Historical content remains viewable.

Dismiss

Groups keyboard shortcuts have been updated

Dismiss

See shortcuts

comp.software-eng

1–30 of 36382

0 selected

2/16/24

AEiC 2024 - Ada-Europe conference - Deadlines Approaching

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

unread,

AEiC 2024 - Ada-Europe conference - Deadlines Approaching

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

2/16/24

2/6/24

AEiC 2024 - Ada-Europe conference - CfC for Additional Tracks

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

unread,

AEiC 2024 - Ada-Europe conference - CfC for Additional Tracks

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

2/6/24

1/8/24

Ada-Europe conference - 31 Jan Journal Track Extended Deadline

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

unread,

Ada-Europe conference - 31 Jan Journal Track Extended Deadline

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

1/8/24

11/22/23

Ada-Europe Conference - 2nd Call for Contributions - AEiC 2024

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

unread,

Ada-Europe Conference - 2nd Call for Contributions - AEiC 2024

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

11/22/23

Psychedelics Haven

10/5/23

We are Now Selling 5-MeO-DMT (Cartridge & Battery) .5mL

We are Now Selling 5-MeO-DMT (Cartridge & Battery) .5mL https://psychedelicshaven.com/product/dmt

unread,

We are Now Selling 5-MeO-DMT (Cartridge & Battery) .5mL

We are Now Selling 5-MeO-DMT (Cartridge & Battery) .5mL https://psychedelicshaven.com/product/dmt

10/5/23

Psychedelics Haven

10/5/23

Re: Patricia ttree question

We are Now Selling 5-MeO-DMT (Cartridge & Battery) .5mL https://psychedelicshaven.com/product/dmt

unread,

Re: Patricia ttree question

We are Now Selling 5-MeO-DMT (Cartridge & Battery) .5mL https://psychedelicshaven.com/product/dmt

10/5/23

9/26/23

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

----------------------------------------------------------------------- First Call for Contributions

unread,

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

----------------------------------------------------------------------- First Call for Contributions

9/26/23

fith...@gmail.com

7/25/23

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

7/25/23

7/13/23

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)

7/13/23

matt....@gmail.com

7/11/23

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

7/11/23

7/9/23

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: =>

7/9/23

6/14/23

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

6/14/23

6/9/23

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

6/9/23

5/21/23

Ada-Europe - AEiC 2023 early registration deadline approaching

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

unread,

Ada-Europe - AEiC 2023 early registration deadline approaching

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

5/21/23

5/19/23

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

5/19/23

5/11/23

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 ***

5/11/23

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

5/9/23

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....@

5/9/23

2/25/23

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

2/25/23

olcott, Richard Damon2

2/22/23

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

2/22/23

olcott, Richard Damon4

2/22/23

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

2/22/23

olcott, Richard Damon6

2/22/23

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

2/22/23

olcott, Richard Damon17

2/21/23

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

2/21/23

olcott, Richard Damon8

2/17/23

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:

2/17/23

olcott, Richard Damon2

2/16/23

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); >

2/16/23

olcott, Richard Damon14

2/16/23

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

2/16/23

2/16/23

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

2/16/23

olcott, Richard Damon4

2/15/23

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)())

2/15/23

olcott, Richard Damon3

2/14/23

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

2/14/23

olcott, Richard Damon2

2/13/23

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; > }

2/13/23

olcott, Richard Damon7

2/13/23

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:

2/13/23

Search

Clear search

Close search

Google apps

Main menu