Groups
Conversations
All groups and messages
Send feedback to Google
Help
Sign in
Groups
comp.software-eng
Conversations
About
comp.software-eng
1–30 of 36377
Mark all as read
Report abusive group
0 selected
Dirk Craeynest
Sep 26
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
Sep 26
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
Back Bencher
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
TMMA SRL
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
Dirk Craeynest
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
Dirk Craeynest
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
Dirk Craeynest
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
olcott
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
Dirk Craeynest
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
, …
olcott
3
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
Dirk Craeynest
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 Damon
2
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 Damon
4
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 Damon
6
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 Damon
17
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 Damon
8
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 Damon
2
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 Damon
14
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
Dirk Craeynest
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 Damon
4
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 Damon
3
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 Damon
2
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 Damon
7
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
Dirk Craeynest
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
Dirk Craeynest
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. Nair
2
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