From owner-freebsd-chat Fri Jul 3 03:02:02 1998 Return-Path: Received: (from majordom@localhost) by hub.freebsd.org (8.8.8/8.8.8) id DAA27148 for freebsd-chat-outgoing; Fri, 3 Jul 1998 03:02:02 -0700 (PDT) (envelope-from owner-freebsd-chat@FreeBSD.ORG) Received: from oslo.geco-prakla.slb.com (geos01.oslo.geco-prakla.slb.com [134.32.44.131]) by hub.freebsd.org (8.8.8/8.8.8) with ESMTP id DAA27108 for ; Fri, 3 Jul 1998 03:01:58 -0700 (PDT) (envelope-from smoergrd@geos01.oslo.geco-prakla.slb.com) Received: from sunw132.geco-prakla.slb.com (sunw132 [134.32.45.120]) by oslo.geco-prakla.slb.com (8.8.8/8.6.9) with SMTP id MAA12857 ; Fri, 3 Jul 1998 12:01:27 +0200 (MET DST) Received: by sunw132.geco-prakla.slb.com (SMI-8.6/SMI-SVR4) id MAA09143; Fri, 3 Jul 1998 12:01:25 +0200 To: Eivind Eklund Cc: =?iso-8859-1?Q?Dag-Erling_Coidan_Sm=F8rgrav?= , FreeBSD Chat Subject: Re: Beginning user's OS (was: Here is a really odd question!!!) References: <19980703010915.6825.qmail@hotmail.com> <19980703124514.H358@freebie.lemis.com> <19980703022310.B4457@zappo> <19980703111031.39367@follo.net> Organization: Schlumberger Geco-Prakla X-Disclaimer: I speak only for myself. From: smoergrd@oslo.geco-prakla.slb.com (Dag-Erling Coidan Smørgrav) Date: 03 Jul 1998 12:01:25 +0200 In-Reply-To: Eivind Eklund's message of Fri, 3 Jul 1998 11:10:31 +0200 Message-ID: Lines: 38 X-Mailer: Gnus v5.3/Emacs 19.34 Sender: owner-freebsd-chat@FreeBSD.ORG Precedence: bulk X-Loop: FreeBSD.org Eivind Eklund writes: > Hey! This is cool! The author of the language-implementation the > local univeristy uses to teach programming (they use Simula, telling > users to get cim for homework) is using TCL to teach programming! > *large and evil grin* What the hell is that grin for? Would *you* teach an eleven-year old to program with a compiled language? Of course you wouldn't. You'd choose an interpreted language where subtle typos don't shoot your leg off. > I'm sick and tired of that particular university turning out people > that have _less_ clues about practical programming realtities than > when they entered. They tend to end up unable to see that something > that cut 80% of my problems in an active area is a worthwhile > refinement, even though the general problem is undecidable (like "you > can't prove all invariants for a program in the general case" to them > implies "all forms of invariants are useless"). That was totally gratuitous. Perhaps you wouldn't speak out of your arse like that if you had spent a semester or two at the university in question. BTW, the university in question is one of very few institutions in Norway which actually teaches program verification. Unfortunately, few students bother to take those courses. In your opinion, does that indicate lack of intelligence on the university's part, or on the student's part? > Eivind, who just _had_ to rant, and also respect quite a few people > from there (after he's had a chance to train them first, of course Go ahead and train me. I doubt there's much you could teach me about invariants. DES (who *teaches* bloody invariants at the U of O) -- Dag-Erling Smørgrav - smoergrd@oslo.geco-prakla.slb.com To Unsubscribe: send mail to majordomo@FreeBSD.org with "unsubscribe freebsd-chat" in the body of the message