Re: [OT] What's QED? (was Re: Wisdom of automating upgrades)
At 21:04 08/06/2004. Jos De Laender had this to say: Quod erat demonstrandum is correct. The translation is rather : what needed to be proven, what needed to be demonstrated ... (although this is probably very poor English :-) ) That which was to be demonstrated, is the closest conceptually. It is used at the end of proofs to show that you are finished proving what you had originally theorized. Theory: Windoze installations are unreliable. Proof: I turned it on. It was hacked into an open proxy. It contracted several hundred worms. It crashed. QED. rip ___ [EMAIL PROTECTED] mailing list http://lists.freebsd.org/mailman/listinfo/freebsd-questions To unsubscribe, send any mail to [EMAIL PROTECTED]
Re: [OT] What's QED? (was Re: Wisdom of automating upgrades)
Jos De Laender wrote: Bill Campbell wrote: snip of on topic stuff ;-) The original Latin is ``Quod Erat Demonstrandum'', translates to that was demonstrated (about as much as I remember from five years of Latin). Quod erat demonstrandum is correct. The translation is rather : what needed to be proven, what needed to be demonstrated ... (although this is probably very poor English :-) ) Jos I had a maths teacher in high school who said that, when used after a simple proof, it could stand for quite easily done. Dave ___ [EMAIL PROTECTED] mailing list http://lists.freebsd.org/mailman/listinfo/freebsd-questions To unsubscribe, send any mail to [EMAIL PROTECTED]
Re: [OT] What's QED? (was Re: Wisdom of automating upgrades)
On Wed, Jun 09, 2004 at 09:10:46AM +0100, Richard P. Williamson wrote: Theory: Windoze installations are unreliable. Proof: I turned it on. It was hacked into an open proxy. It contracted several hundred worms. It crashed. QED. W^5 (Which was what we wanted) -- John Birrell ___ [EMAIL PROTECTED] mailing list http://lists.freebsd.org/mailman/listinfo/freebsd-questions To unsubscribe, send any mail to [EMAIL PROTECTED]
[OT] What's QED? (was Re: Wisdom of automating upgrades)
Peter Risdon [EMAIL PROTECTED] wrote: Robert Huff wrote: Peter Risdon writes: I suppose what I'm driving at is whether the RELENG_4 branch sees many commits that are likely to be problematic. In general, no. On the other hand ... think of this as a Murphy's Law scenario: if you automate, it _will_ break horribly two days before some absolutely critical deadline. QED I must be out of touch with my jargon ... What's QED? -- Bill Moran Potential Technologies http://www.potentialtech.com ___ [EMAIL PROTECTED] mailing list http://lists.freebsd.org/mailman/listinfo/freebsd-questions To unsubscribe, send any mail to [EMAIL PROTECTED]
Re: [OT] What's QED? (was Re: Wisdom of automating upgrades)
On Tue, 8 Jun 2004 12:36:47 -0400 Bill Moran [EMAIL PROTECTED] wrote: Peter Risdon [EMAIL PROTECTED] wrote: Robert Huff wrote: Peter Risdon writes: I suppose what I'm driving at is whether the RELENG_4 branch sees many commits that are likely to be problematic. In general, no. On the other hand ... think of this as a Murphy's Law scenario: if you automate, it _will_ break horribly two days before some absolutely critical deadline. QED I must be out of touch with my jargon ... What's QED? -- Bill Moran If I recall correctly, it's Latin: quod erat demonstrandum, meaning as it has been demonstrated. Andrew Gould ___ [EMAIL PROTECTED] mailing list http://lists.freebsd.org/mailman/listinfo/freebsd-questions To unsubscribe, send any mail to [EMAIL PROTECTED]
Re: [OT] What's QED? (was Re: Wisdom of automating upgrades)
On Tuesday 08 June 2004 09:36 am, Bill Moran wrote: Peter Risdon [EMAIL PROTECTED] wrote: Robert Huff wrote: Peter Risdon writes: I suppose what I'm driving at is whether the RELENG_4 branch sees many commits that are likely to be problematic. In general, no. On the other hand ... think of this as a Murphy's Law scenario: if you automate, it _will_ break horribly two days before some absolutely critical deadline. QED I must be out of touch with my jargon ... What's QED? I remember seeing that at the end of mathematical proofs at the University where the professor was too lazy to finish their documentation. It was much more fitting here :). Kent -- Kent Stewart Richland, WA http://users.owt.com/kstewart/index.html ___ [EMAIL PROTECTED] mailing list http://lists.freebsd.org/mailman/listinfo/freebsd-questions To unsubscribe, send any mail to [EMAIL PROTECTED]
Re: [OT] What's QED? (was Re: Wisdom of automating upgrades)
On Tue, Jun 08, 2004, Kent Stewart wrote: On Tuesday 08 June 2004 09:36 am, Bill Moran wrote: Peter Risdon [EMAIL PROTECTED] wrote: Robert Huff wrote: Peter Risdon writes: I suppose what I'm driving at is whether the RELENG_4 branch sees many commits that are likely to be problematic. In general, no. On the other hand ... think of this as a Murphy's Law scenario: if you automate, it _will_ break horribly two days before some absolutely critical deadline. QED I must be out of touch with my jargon ... What's QED? I remember seeing that at the end of mathematical proofs at the University where the professor was too lazy to finish their documentation. It was much more fitting here :). The original Latin is ``Quod Erat Demonstrandum'', translates to that was demonstrated (about as much as I remember from five years of Latin). Bill -- INTERNET: [EMAIL PROTECTED] Bill Campbell; Celestial Software LLC UUCP: camco!bill PO Box 820; 6641 E. Mercer Way FAX: (206) 232-9186 Mercer Island, WA 98040-0820; (206) 236-1676 http://www.celestial.com/ You need only reflect that one of the best ways to get yourself a reputation as a dangerous citizen these days is to go about repeating the very phrases which our founding fathers used in the struggle for independence. -- Charles A. Beard ___ [EMAIL PROTECTED] mailing list http://lists.freebsd.org/mailman/listinfo/freebsd-questions To unsubscribe, send any mail to [EMAIL PROTECTED]
Re: [OT] What's QED? (was Re: Wisdom of automating upgrades)
Bill Campbell writes: The original Latin is ``Quod Erat Demonstrandum'', translates to that was demonstrated (about as much as I remember from five years of Latin). Perfect passive periphrastic, if I've got it right. Robert Huff ___ [EMAIL PROTECTED] mailing list http://lists.freebsd.org/mailman/listinfo/freebsd-questions To unsubscribe, send any mail to [EMAIL PROTECTED]
Re: [OT] What's QED? (was Re: Wisdom of automating upgrades)
Bill Campbell wrote: snip of on topic stuff ;-) The original Latin is ``Quod Erat Demonstrandum'', translates to that was demonstrated (about as much as I remember from five years of Latin). Quod erat demonstrandum is correct. The translation is rather : what needed to be proven, what needed to be demonstrated ... (although this is probably very poor English :-) ) Jos ___ [EMAIL PROTECTED] mailing list http://lists.freebsd.org/mailman/listinfo/freebsd-questions To unsubscribe, send any mail to [EMAIL PROTECTED]