Re: Obama II
> This plays into some recent conversations about "efficiency" vs "resilience." Yup. And neither "efficiency" nor "resilience" will help you in the end if you don't ponder some important questions first. Like: "do we measure altitude in feet or meters?", or "should we check if the old guidance system will work okay in the new rocket?" - Klaus >> Date: Mon, 12 Nov 2012 20:06:16 +0100 >> From: k...@stock-consulting.com >> To: brin-l@mccmedia.com >> Subject: Re: Obama II >> >> > I know as a fact that the Defense Department said they >> > would require that all programming for applications they used would have to >> > be done in Ada (I think within 5 years) because Ada was a compiler that >> > automatically eliminated bugs. >> >> AFAIK, the Ada compiler can detect many programmer mistakes at compile >> time. Of course, one might say that Ada that's mainly because Ada >> imposes so many restrictions on the programmer that the chance to make >> mistakes is greatly increased (compared to more "relaxed" languages, >> which do, for example, implicit type conversion). Ada also supports >> run-time-checks - which detects bugs when it's already too late (or >> may even cause bugs in extreme cases). >> >> Compared to other languages of the time, like Fortran, it's clearly >> superior in detecting some classes of bugs early. It also reduces the >> programmer's efficiency, resulting the number of bugs per time compare >> to more efficient languages. >> >> However, the "best bugs" are introduced during programming, but much >> earlier. Catching bugs at the earliest possible time is expensive, but >> the ROI is immense and outweighs the cost by several orders of >> magnitude. Of course, any manager who was reading this dropped out at >> the word "expensive", so defective software will remain the standard. >> >> >> Okay, the word "standard" reminds to get back on-topic. I suspect that >> the reason for the choice of Ada was that Ada was the first >> standardized HL programming language. Oh, the military loves >> standards. No further explanation necessary. >> >> Best regards, Klaus >> >> >> ___ >> http://box535.bluehost.com/mailman/listinfo/brin-l_mccmedia.com >> > > -- Best regards, Klausmailto:k...@stock-consulting.com ___ http://box535.bluehost.com/mailman/listinfo/brin-l_mccmedia.com
RE: Obama II
This plays into some recent conversations about "efficiency" vs "resilience." > Date: Mon, 12 Nov 2012 20:06:16 +0100 > From: k...@stock-consulting.com > To: brin-l@mccmedia.com > Subject: Re: Obama II > > > I know as a fact that the Defense Department said they > > would require that all programming for applications they used would have to > > be done in Ada (I think within 5 years) because Ada was a compiler that > > automatically eliminated bugs. > > AFAIK, the Ada compiler can detect many programmer mistakes at compile > time. Of course, one might say that Ada that's mainly because Ada > imposes so many restrictions on the programmer that the chance to make > mistakes is greatly increased (compared to more "relaxed" languages, > which do, for example, implicit type conversion). Ada also supports > run-time-checks - which detects bugs when it's already too late (or > may even cause bugs in extreme cases). > > Compared to other languages of the time, like Fortran, it's clearly > superior in detecting some classes of bugs early. It also reduces the > programmer's efficiency, resulting the number of bugs per time compare > to more efficient languages. > > However, the "best bugs" are introduced during programming, but much > earlier. Catching bugs at the earliest possible time is expensive, but > the ROI is immense and outweighs the cost by several orders of > magnitude. Of course, any manager who was reading this dropped out at > the word "expensive", so defective software will remain the standard. > > > Okay, the word "standard" reminds to get back on-topic. I suspect that > the reason for the choice of Ada was that Ada was the first > standardized HL programming language. Oh, the military loves > standards. No further explanation necessary. > > Best regards, Klaus > > > ___ > http://box535.bluehost.com/mailman/listinfo/brin-l_mccmedia.com > ___ http://box535.bluehost.com/mailman/listinfo/brin-l_mccmedia.com
Re: Obama II
> I know as a fact that the Defense Department said they > would require that all programming for applications they used would have to > be done in Ada (I think within 5 years) because Ada was a compiler that > automatically eliminated bugs. AFAIK, the Ada compiler can detect many programmer mistakes at compile time. Of course, one might say that Ada that's mainly because Ada imposes so many restrictions on the programmer that the chance to make mistakes is greatly increased (compared to more "relaxed" languages, which do, for example, implicit type conversion). Ada also supports run-time-checks - which detects bugs when it's already too late (or may even cause bugs in extreme cases). Compared to other languages of the time, like Fortran, it's clearly superior in detecting some classes of bugs early. It also reduces the programmer's efficiency, resulting the number of bugs per time compare to more efficient languages. However, the "best bugs" are introduced during programming, but much earlier. Catching bugs at the earliest possible time is expensive, but the ROI is immense and outweighs the cost by several orders of magnitude. Of course, any manager who was reading this dropped out at the word "expensive", so defective software will remain the standard. Okay, the word "standard" reminds to get back on-topic. I suspect that the reason for the choice of Ada was that Ada was the first standardized HL programming language. Oh, the military loves standards. No further explanation necessary. Best regards, Klaus ___ http://box535.bluehost.com/mailman/listinfo/brin-l_mccmedia.com
George Takei
Marriage equality AND marijuana laws passed? Now we know what Leviticus really meant by "A man who layeth with another man must be stoned." -- attributed to George Takei, 2012-11 for the copy-and-paste, Alberto Monteiro ___ http://box535.bluehost.com/mailman/listinfo/brin-l_mccmedia.com
Re: Obama II
Bryon Daly wrote: > > Further, as a Mormon, Romney doesn't quite pass the WASP test so he > basically had to tack hard right to build up his conservative cred to get > the party nomination. > Ugh. Mormons have taken control of the Internet (by Facebook). I'm glad they didn't take control of the USA too. Alberto Monteiro the paranoid ___ http://box535.bluehost.com/mailman/listinfo/brin-l_mccmedia.com