Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]


Groups > comp.software-eng

comp.software-eng

3579 articles (numbers 24 – 3985) — threaded view

| Advanced

Subject Author Date [asc]
Re: Does a Simulating Halt Decider Defeat the Halting Theorem ? Richard Damon <Richard@Damon-Family.org> 2023-02-21 18:54 -0500
All of my reviewers lie about this olcott <polcott2@gmail.com> 2023-02-22 09:16 -0600
Re: All of my reviewers lie about this olcott <polcott2@gmail.com> 2023-02-22 10:48 -0600
Re: Does a Simulating Halt Decider Defeat the Halting Theorem ? olcott <polcott2@gmail.com> 2023-02-22 11:06 -0600
All of my reviewers deny the verified facts by using the straw-man deception olcott <polcott2@gmail.com> 2023-02-22 11:35 -0600
Re: Does a Simulating Halt Decider Defeat the Halting Theorem ? Richard Damon <Richard@Damon-Family.org> 2023-02-22 19:49 -0500
Re: All of my reviewers lie about this Richard Damon <Richard@Damon-Family.org> 2023-02-22 19:51 -0500
Re: All of my reviewers lie about this Richard Damon <Richard@Damon-Family.org> 2023-02-22 19:59 -0500
Re: All of my reviewers deny the verified facts by using the straw-man deception Richard Damon <Richard@Damon-Family.org> 2023-02-22 20:02 -0500
Ada-Europe Conference - 6 March Extended Final Deadline dirk@orka.cs.kuleuven.be. (Dirk Craeynest) 2023-02-25 14:33 +0000
Looking for an attribution "matt....@gmail.com" <matt.jaffe@gmail.com> 2023-05-05 10:39 -0700
Re: Looking for an attribution Julio Di Egidio <julio@diegidio.name> 2023-05-05 23:27 -0700
Re: Looking for an attribution PLO olcott <polcott2@gmail.com> 2023-05-09 14:55 -0500
Ada-Europe Int.Conf. Reliable Software Technologies, AEiC 2023 dirk@orka.cs.kuleuven.be. (Dirk Craeynest) 2023-05-11 18:08 +0000
Can D simulated by H terminate normally? olcott <polcott2@gmail.com> 2023-05-19 10:51 -0500
Ada-Europe - AEiC 2023 early registration deadline approaching dirk@orka.cs.kuleuven.be. (Dirk Craeynest) 2023-05-21 10:11 +0000
Press Release - AEiC 2023, Ada-Europe Reliable Softw. Technol. dirk@orka.cs.kuleuven.be. (Dirk Craeynest) 2023-06-09 10:57 +0000
Ada 2022 Language Reference Manual to be Published by Springer dirk@orka.cs.kuleuven.be. (Dirk Craeynest) 2023-06-14 06:50 +0000
Workshop on Virtual Machines and Language Implementations (VMIL’23) - Call for Papers "fith...@gmail.com" <fithos89@gmail.com> 2023-06-21 05:47 -0700
Download WooCommerce Gravity Forms Product Add-ons TMMA SRL <akhbaarmasr19@gmail.com> 2023-07-09 14:12 -0700
Need a Far Side cartoon "matt....@gmail.com" <matt.jaffe@gmail.com> 2023-07-11 14:17 -0700
VMIL 2023 - Co-located with SPLASH'23 - Deadline Extension "fith...@gmail.com" <fithos89@gmail.com> 2023-07-13 06:46 -0700
Share profiles at Deepak@sohosqs.com Role: QA Automation Engineer Back Bencher <backbencherdeepu@gmail.com> 2023-07-13 11:31 -0700
VMIL 2023 - Co-located with SPLASH'23 - Call for Work-in-progress and Position Papers "fith...@gmail.com" <fithos89@gmail.com> 2023-07-25 09:31 -0700
CfC 28th Ada-Europe Int. Conf. Reliable Software Technologies dirk@orka.cs.kuleuven.be. (Dirk Craeynest) 2023-09-26 12:06 +0000
Re: Patricia ttree question Psychedelics Haven <psychedelicshaven@gmail.com> 2023-10-05 01:53 -0700
We are Now Selling 5-MeO-DMT (Cartridge & Battery) .5mL Psychedelics Haven <psychedelicshaven@gmail.com> 2023-10-05 01:54 -0700
Ada-Europe Conference - 2nd Call for Contributions - AEiC 2024 dirk@orka.cs.kuleuven.be. (Dirk Craeynest) 2023-11-22 16:55 +0000
Ada-Europe conference - 31 Jan Journal Track Extended Deadline dirk@orka.cs.kuleuven.be. (Dirk Craeynest) 2024-01-08 10:44 +0000
AEiC 2024 - Ada-Europe conference - CfC for Additional Tracks dirk@orka.cs.kuleuven.be. (Dirk Craeynest) 2024-02-06 10:47 +0000
AEiC 2024 - Ada-Europe conference - Deadlines Approaching dirk@orka.cs.kuleuven.be. (Dirk Craeynest) 2024-02-16 19:07 +0000
Ada-Europe Int.Conf. Reliable Software Technologies, AEiC 2024 dirk@orka.cs.kuleuven.be. (Dirk Craeynest) 2024-04-16 10:55 +0000
In search of the Trinity System (Play Inc) "John Lightman" <johnlightmanwww@hotmail.com> 2024-04-21 00:23 +0000
Ada-Europe - AEiC 2024 early registration deadline imminent dirk@orka.cs.kuleuven.be. (Dirk Craeynest) 2024-05-18 11:02 +0000
Data analysis for software engineering Derek <derek-nospam@shape-of-code.com> 2024-06-06 18:48 +0100
ChatGPT explains why by rebuttal of the halting problem proofs is correct olcott <polcott333@gmail.com> 2024-10-11 21:50 -0500
CfC 29th Ada-Europe Int. Conf. Reliable Software Technologies dirk@orka.cs.kuleuven.be. (Dirk Craeynest) 2024-10-21 14:51 +0000
Ada-Europe Conference - 2nd Call for Contributions - AEiC 2025 dirk@orka.cs.kuleuven.be. (Dirk Craeynest) 2024-12-24 15:26 +0000
Ada-Europe conference - 7 Feb Journal Track Extended Deadline dirk@orka.cs.kuleuven.be. (Dirk Craeynest) 2025-01-12 16:48 +0000
AEiC 2025 - Ada-Europe conference - CfC for Additional Tracks dirk@orka.cs.kuleuven.be. (Dirk Craeynest) 2025-02-18 19:26 +0000
Ada-Europe Int.Conf. Reliable Software Technologies, AEiC 2025 dirk@orka.cs.kuleuven.be. (Dirk Craeynest) 2025-05-12 20:12 +0000
Ada-Europe - AEiC 2025 early registration deadline imminent dirk@orka.cs.kuleuven.be. (Dirk Craeynest) 2025-05-24 21:16 +0000
CfC 30th Ada-Europe Int. Conf. Reliable Software Technologies dirk@orka.cs.kuleuven.be. (Dirk Craeynest) 2025-09-24 15:50 +0000
test formatting olcott <polcott333@gmail.com> 2025-10-19 09:43 -0500
Re: test formatting olcott <polcott333@gmail.com> 2025-10-19 09:44 -0500
Re: test formatting olcott <polcott333@gmail.com> 2025-10-19 09:45 -0500
Re: test formatting olcott <polcott333@gmail.com> 2025-10-19 09:46 -0500
Re: test formatting olcott <polcott333@gmail.com> 2025-10-19 09:47 -0500
test olcott <polcott333@gmail.com> 2025-11-04 19:38 -0600
Re: test doctor@doctor.nl2k.ab.ca (The Doctor) 2025-11-05 17:17 +0000

« Previous 1 ... 4 5 6 7 8 ... 72 Next »


csiph-web