群组
群组
登录
群组
群组
comp.software-eng
会话
关于
发送反馈
帮助
Google 群组不再支持新的 Usenet 帖子或订阅项。历史内容仍可供查看。
关闭
了解详情
群组路径
comp.software-eng
第 1 - 30 个,共 36382 个
全部标记为已读
举报群组
未选择
Dirk Craeynest
2024/2/16
AEiC 2024 - Ada-Europe conference - Deadlines Approaching
----------------------------------------------------------------------- UPDATED Call for
未读,
AEiC 2024 - Ada-Europe conference - Deadlines Approaching
----------------------------------------------------------------------- UPDATED Call for
2024/2/16
Dirk Craeynest
2024/2/6
AEiC 2024 - Ada-Europe conference - CfC for Additional Tracks
----------------------------------------------------------------------- Call for Contributions -
未读,
AEiC 2024 - Ada-Europe conference - CfC for Additional Tracks
----------------------------------------------------------------------- Call for Contributions -
2024/2/6
Dirk Craeynest
2024/1/8
Ada-Europe conference - 31 Jan Journal Track Extended Deadline
----------------------------------------------------------------------- UPDATED Call for
未读,
Ada-Europe conference - 31 Jan Journal Track Extended Deadline
----------------------------------------------------------------------- UPDATED Call for
2024/1/8
Dirk Craeynest
2023/11/22
Ada-Europe Conference - 2nd Call for Contributions - AEiC 2024
----------------------------------------------------------------------- UPDATED Call for
未读,
Ada-Europe Conference - 2nd Call for Contributions - AEiC 2024
----------------------------------------------------------------------- UPDATED Call for
2023/11/22
Psychedelics Haven
2023/10/5
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
未读,
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
2023/10/5
Psychedelics Haven
2023/10/5
Re: Patricia ttree question
We are Now Selling 5-MeO-DMT (Cartridge & Battery) .5mL https://psychedelicshaven.com/product/dmt
未读,
Re: Patricia ttree question
We are Now Selling 5-MeO-DMT (Cartridge & Battery) .5mL https://psychedelicshaven.com/product/dmt
2023/10/5
Dirk Craeynest
2023/9/26
CfC 28th Ada-Europe Int. Conf. Reliable Software Technologies
----------------------------------------------------------------------- First Call for Contributions
未读,
CfC 28th Ada-Europe Int. Conf. Reliable Software Technologies
----------------------------------------------------------------------- First Call for Contributions
2023/9/26
fith...@gmail.com
2023/7/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
未读,
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
2023/7/25
Back Bencher
2023/7/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)
未读,
Share profiles at Deepak@sohosqs.com Role: QA Automation Engineer
Share profiles at Dee...@sohosqs.com Role: QA Automation Engineer Location: Cincinnati, OH(onsite)
2023/7/13
matt....@gmail.com
2023/7/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
未读,
Need a Far Side cartoon
For my class in software engineering next spring I need a Gary Larson cartoon from years ago. It is
2023/7/11
TMMA SRL
2023/7/9
Download WooCommerce Gravity Forms Product Add-ons
Download WooCommerce Gravity Forms Product Add-ons. Here is the Download link for lowest price: =>
未读,
Download WooCommerce Gravity Forms Product Add-ons
Download WooCommerce Gravity Forms Product Add-ons. Here is the Download link for lowest price: =>
2023/7/9
Dirk Craeynest
2023/6/14
Ada 2022 Language Reference Manual to be Published by Springer
----------------------------------------------------------------------- FOR IMMEDIATE RELEASE Ada
未读,
Ada 2022 Language Reference Manual to be Published by Springer
----------------------------------------------------------------------- FOR IMMEDIATE RELEASE Ada
2023/6/14
Dirk Craeynest
2023/6/9
Press Release - AEiC 2023, Ada-Europe Reliable Softw. Technol.
----------------------------------------------------------------------- FINAL Call for Participation
未读,
Press Release - AEiC 2023, Ada-Europe Reliable Softw. Technol.
----------------------------------------------------------------------- FINAL Call for Participation
2023/6/9
Dirk Craeynest
2023/5/21
Ada-Europe - AEiC 2023 early registration deadline approaching
----------------------------------------------------------------------- UPDATED Call for
未读,
Ada-Europe - AEiC 2023 early registration deadline approaching
----------------------------------------------------------------------- UPDATED Call for
2023/5/21
olcott
2023/5/19
Can D simulated by H terminate normally?
Can D simulated by H terminate normally? The following code is executed in the x86utm operating
未读,
Can D simulated by H terminate normally?
Can D simulated by H terminate normally? The following code is executed in the x86utm operating
2023/5/19
Dirk Craeynest
2023/5/11
Ada-Europe Int.Conf. Reliable Software Technologies, AEiC 2023
----------------------------------------------------------------------- Call for Participation ***
未读,
Ada-Europe Int.Conf. Reliable Software Technologies, AEiC 2023
----------------------------------------------------------------------- Call for Participation ***
2023/5/11
matt....@gmail.com
, …
olcott
3
2023/5/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....@
未读,
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....@
2023/5/9
Dirk Craeynest
2023/2/25
Ada-Europe Conference - 6 March Extended Final Deadline
The recently posted reminder for the Ada-Europe 2023 Conference triggered several requests for extra
未读,
Ada-Europe Conference - 6 March Extended Final Deadline
The recently posted reminder for the Ada-Europe 2023 Conference triggered several requests for extra
2023/2/25
olcott
,
Richard Damon
2
2023/2/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
未读,
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
2023/2/22
olcott
,
Richard Damon
4
2023/2/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
未读,
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
2023/2/22
olcott
,
Richard Damon
6
2023/2/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
未读,
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
2023/2/22
olcott
,
Richard Damon
17
2023/2/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
未读,
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
2023/2/21
olcott
,
Richard Damon
8
2023/2/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:
未读,
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:
2023/2/17
olcott
,
Richard Damon
2
2023/2/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); >
未读,
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); >
2023/2/16
olcott
,
Richard Damon
14
2023/2/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
未读,
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
2023/2/16
Dirk Craeynest
2023/2/16
AEiC 2023 - Ada-Europe conference - Final Deadline Approaching
----------------------------------------------------------------------- FINAL Call for Contributions
未读,
AEiC 2023 - Ada-Europe conference - Final Deadline Approaching
----------------------------------------------------------------------- FINAL Call for Contributions
2023/2/16
olcott
,
Richard Damon
4
2023/2/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)())
未读,
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)())
2023/2/15
olcott
,
Richard Damon
3
2023/2/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
未读,
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
2023/2/14
olcott
,
Richard Damon
2
2023/2/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; > }
未读,
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; > }
2023/2/13
olcott
,
Richard Damon
7
2023/2/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:
未读,
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:
2023/2/13