Date: Fri, 3 Jul 1998 11:10:31 +0200 From: Eivind Eklund <eivind@yes.no> To: =?iso-8859-1?Q?Dag-Erling_Coidan_Sm=F8rgrav?= <smoergrd@oslo.geco-prakla.slb.com> Cc: FreeBSD Chat <chat@FreeBSD.ORG> Subject: Re: Beginning user's OS (was: Here is a really odd question!!!) Message-ID: <19980703111031.39367@follo.net> In-Reply-To: =?iso-8859-1?Q?=3Crx4n2ar1ja4=2Efsf=40oslo=2Egeco-prakla=2Eslb=2Ecom=3E?= =?iso-8859-1?Q?=3B_from_Dag-Erling_Coidan_Sm=F8rgrav_on_Fri=2C_Jul_03=2C?= =?iso-8859-1?Q?_1998_at_09=3A32=3A51AM_%2B0200?= References: <19980703010915.6825.qmail@hotmail.com> <19980703124514.H358@freebie.lemis.com> <19980703022310.B4457@zappo> <rx4n2ar1ja4.fsf@oslo.geco-prakla.slb.com>
next in thread | previous in thread | raw e-mail | index | archive | help
On Fri, Jul 03, 1998 at 09:32:51AM +0200, Dag-Erling Coidan Smørgrav wrote: > Tim Vanderhoek <ac199@hwcn.org> writes: > I don't see a problem here. I have a friend at University (a PhD > student - incidentally, he's the author of /usr/ports/lang/cim) who is > teaching his son to program Tcl on Linux¹. The kid's got his own > serial terminal hooked up to his father's 486... He's doing great so > far. Then again, the kid's a little out of the ordinary: he's hooked > on math/logic games such as Rubik's cube and the likes (though I think > that hobby comes from his father) 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* 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"). 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 ;-) To Unsubscribe: send mail to majordomo@FreeBSD.org with "unsubscribe freebsd-chat" in the body of the message
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?19980703111031.39367>