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: Did I encode Sipser correctly? (it seemed too easy) André G. Isaak <agisaak@gm.invalid> 2022-07-09 16:24 -0600
Re: Did I encode Sipser correctly? (it seemed too easy) Richard Damon <Richard@Damon-Family.org> 2022-07-09 18:37 -0400
Re: Did I encode Sipser correctly? (it seemed too easy) André G. Isaak <agisaak@gm.invalid> 2022-07-09 16:48 -0600
Re: Did I encode Sipser correctly? (it seemed too easy) Richard Damon <Richard@Damon-Family.org> 2022-07-09 19:11 -0400
Software engineers needed to validate this olcott <NoOne@NoWhere.com> 2022-07-11 09:55 -0500
Re: Software engineers needed to validate this Mr Flibble <flibble@reddwarf.jmc.corp> 2022-07-11 18:21 +0100
Re: Software engineers needed to validate this Keith Thompson <Keith.S.Thompson+u@gmail.com> 2022-07-11 11:35 -0700
Re: Software engineers needed to validate my work olcott <NoOne@NoWhere.com> 2022-07-11 14:44 -0500
Re: Halting problem proofs refuted on the basis of software engineering olcott <NoOne@NoWhere.com> 2022-07-13 14:37 -0500
Re: Halting problem proofs refuted on the basis of software engineering olcott <NoOne@NoWhere.com> 2022-07-13 15:51 -0500
Re: Halting problem proofs refuted on the basis of software engineering Richard Damon <Richard@Damon-Family.org> 2022-07-13 19:29 -0400
Re: Halting problem proofs refuted on the basis of software engineering olcott <NoOne@NoWhere.com> 2022-07-13 19:10 -0500
Re: Halting problem proofs refuted on the basis of software engineering Richard Damon <Richard@Damon-Family.org> 2022-07-13 21:29 -0400
Re: Halting problem proofs refuted on the basis of software engineering [V3] (much simpler) olcott <NoOne@NoWhere.com> 2022-07-14 14:59 -0500
Re: Halting problem proofs refuted on the basis of software engineering [V3] (much simpler) olcott <NoOne@NoWhere.com> 2022-07-14 15:22 -0500
Re: Halting problem proofs refuted on the basis of software engineering [V3] (much simpler) olcott <NoOne@NoWhere.com> 2022-07-14 16:21 -0500
Re: Halting problem proofs refuted on the basis of software engineering [V3] (much simpler) Richard Damon <Richard@Damon-Family.org> 2022-07-14 18:53 -0400
Re: Halting problem proofs refuted on the basis of software engineering [V3] (much simpler) Richard Damon <Richard@Damon-Family.org> 2022-07-14 19:11 -0400
Re: Halting problem proofs refuted on the basis of software engineering [V3] (much simpler) Richard Damon <Richard@Damon-Family.org> 2022-07-14 19:14 -0400
Re: Halting problem proofs refuted on the basis of software engineering olcott <NoOne@NoWhere.com> 2022-07-15 11:26 -0500
P(P) halts because H(P,P) correctly determines that its input never halts olcott <NoOne@NoWhere.com> 2022-07-16 09:51 -0500
Re: P(P) halts because H(P,P) correctly determines that its input never halts olcott <NoOne@NoWhere.com> 2022-07-16 09:53 -0500
Re: Halting problem proofs refuted on the basis of software engineering olcott <NoOne@NoWhere.com> 2022-07-16 19:18 -0500
Re: Halting problem proofs refuted on the basis of software engineering Richard Damon <Richard@Damon-Family.org> 2022-07-16 20:38 -0400
Re: Halting problem proofs refuted on the basis of software engineering olcott <NoOne@NoWhere.com> 2022-07-16 20:19 -0500
Re: Halting problem proofs refuted on the basis of software engineering [thanks Mike] olcott <NoOne@NoWhere.com> 2022-07-17 12:00 -0500
Re: Halting problem proofs refuted on the basis of software engineering [thanks Mike] Richard Damon <Richard@Damon-Family.org> 2022-07-17 13:06 -0400
Re: Picking up where Mike Terry left off: Does H(P,P) correctly simulate its input ? olcott <NoOne@NoWhere.com> 2022-07-18 08:03 -0500
Re: Picking up where Mike Terry left off: Does H(P,P) correctly simulate its input ? Mike Terry <news.dead.person.stones@darjeeling.plus.com> 2022-07-18 14:42 +0100
Re: Picking up where Mike Terry left off: Does H(P,P) correctly simulate its input ? Jeff Barnett <jbb@notatt.com> 2022-07-18 11:19 -0600
Re: Picking up where Mike Terry left off: Does H(P,P) correctly simulate its input ? Richard Damon <Richard@Damon-Family.org> 2022-07-18 19:30 -0400
Urgent long term contract role AWS Data Analytics Specialist COLUMBUS / OH (remote it fine for now) Satish Chaturvedi <satish.crotoneits@gmail.com> 2022-09-21 08:37 -0700
Urgent role Senior Developer PeopleSoft 100% remote long term contract role Satish Chaturvedi <satish.crotoneits@gmail.com> 2022-10-17 10:36 -0700
Urgent long term contract role Firewall Engineer Jacksonville, City in Florida (Onsite from day one) Satish Chaturvedi <satish.crotoneits@gmail.com> 2022-10-20 10:34 -0700
The truth about Angelina Jolie "mail...@gmail.com" <mailkior@gmail.com> 2022-11-13 01:57 -0800
Why Angelina Jolie distributes money ? "mail...@gmail.com" <mailkior@gmail.com> 2022-11-13 01:59 -0800
Re:Why Angelina Jolie distributes money ? "S. A. Nair" <sanair1007@rediffmail.com> 2022-11-27 12:30 +0530
CfC 27th Ada-Europe Int. Conf. Reliable Software Technologies dirk@orka.cs.kuleuven.be. (Dirk Craeynest) 2022-12-20 16:49 +0000
Ada-Europe Conference - 13 Feb Journal-Track Extended Deadline dirk@orka.cs.kuleuven.be. (Dirk Craeynest) 2023-01-08 18:39 +0000
Re: Every E correctly simulated by any HH cannot possibly halt V2 [straw man deception] olcott <polcott2@gmail.com> 2023-02-12 10:10 -0600
Re: Every E correctly simulated by any HH cannot possibly halt V2 [ strawman deception ] olcott <polcott2@gmail.com> 2023-02-12 10:16 -0600
Re: Every E correctly simulated by any HH cannot possibly halt V2 [straw man deception] Richard Damon <Richard@Damon-Family.org> 2023-02-12 15:28 -0500
Re: Every E correctly simulated by any HH cannot possibly halt V2 [ foolish antics ] olcott <polcott2@gmail.com> 2023-02-12 15:34 -0600
Re: Every E correctly simulated by any HH cannot possibly halt V2 [ foolish antics ] Richard Damon <Richard@Damon-Family.org> 2023-02-12 16:44 -0500
Re: Every E correctly simulated by any HH cannot possibly halt V2 [ strawman deception ] olcott <polcott2@gmail.com> 2023-02-13 10:17 -0600
Understanding how simulating halt deciders defeat the halting theorem olcott <polcott2@gmail.com> 2023-02-13 15:32 -0600
Re: Every E correctly simulated by any HH cannot possibly halt V2 [ strawman deception ] Richard Damon <Richard@Damon-Family.org> 2023-02-13 18:56 -0500
Re: Understanding how simulating halt deciders defeat the halting theorem Richard Damon <Richard@Damon-Family.org> 2023-02-13 18:57 -0500
Simulating halt deciders applied to the halting theorem olcott <polcott2@gmail.com> 2023-02-14 09:55 -0600
Re: Simulating halt deciders applied to the halting theorem (minor edits) olcott <polcott2@gmail.com> 2023-02-14 10:03 -0600

« Previous 1 ... 6 7 8 9 10 ... 72 Next »

csiph-web