Groups
Sign in
Groups
comp.software-eng
Conversations
About
Send feedback
Help
info
Google Groups no longer supports new Usenet posts or subscriptions. Historical content remains viewable.
Dismiss
Learn more
comp.software-eng
Contact owners and managers
1–30 of 36382
Mark all as read
Report group
0 selected
Dirk Craeynest
Feb 16
AEiC 2024 - Ada-Europe conference - Deadlines Approaching
----------------------------------------------------------------------- UPDATED Call for
unread,
AEiC 2024 - Ada-Europe conference - Deadlines Approaching
----------------------------------------------------------------------- UPDATED Call for
Feb 16
Dirk Craeynest
Feb 6
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 -
Feb 6
Dirk Craeynest
Jan 8
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
Jan 8
Dirk Craeynest
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
Dirk Craeynest
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
Back Bencher
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
TMMA SRL
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
Dirk Craeynest
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
Dirk Craeynest
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
Dirk Craeynest
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
olcott
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
Dirk Craeynest
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
, …
olcott
3
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
Dirk Craeynest
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 Damon
2
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 Damon
4
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 Damon
6
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 Damon
17
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 Damon
8
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 Damon
2
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 Damon
14
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
Dirk Craeynest
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 Damon
4
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 Damon
3
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 Damon
2
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 Damon
7
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