From owner-freebsd-chat@FreeBSD.ORG Tue Jan 11 12:08:58 2011 Return-Path: Delivered-To: freebsd-chat@freebsd.org Received: from mx1.freebsd.org (mx1.freebsd.org [IPv6:2001:4f8:fff6::34]) by hub.freebsd.org (Postfix) with ESMTP id 723E5106564A for ; Tue, 11 Jan 2011 12:08:58 +0000 (UTC) (envelope-from nh@tisys.org) Received: from s15373095.onlinehome-server.info (s15373095.onlinehome-server.info [87.106.45.78]) by mx1.freebsd.org (Postfix) with ESMTP id 0B7018FC08 for ; Tue, 11 Jan 2011 12:08:57 +0000 (UTC) Received: from Spooler by s15373095.onlinehome-server.info (Mercury/32 v4.72) ID MO000B06; 11 Jan 2011 13:08:58 +0100 Received: from spooler by luwug.de (Mercury/32 v4.72); 11 Jan 2011 12:38:37 +0100 Received: from Nemesis (87.193.143.230) by s15373095.onlinehome-server.info (Mercury/32 v4.72) with ESMTP ID MG000B05; 11 Jan 2011 12:38:35 +0100 Message-ID: <3A0D73FD81F04E378F30DCA984B616BA@Nemesis> From: "Nils Holland" To: Date: Tue, 11 Jan 2011 12:38:27 +0100 Organization: Ti Systems MIME-Version: 1.0 Content-Type: text/plain; format=flowed; charset="iso-8859-1"; reply-type=original Content-Transfer-Encoding: 7bit X-Priority: 3 X-MSMail-Priority: Normal Importance: Normal X-Mailer: Microsoft Windows Live Mail 15.4.3508.1109 X-MimeOLE: Produced By Microsoft MimeOLE V15.4.3508.1109 Subject: I'm back... X-BeenThere: freebsd-chat@freebsd.org X-Mailman-Version: 2.1.5 Precedence: list List-Id: Non technical items related to the community List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Tue, 11 Jan 2011 12:08:58 -0000 Hi everyone, well, I just wanted to let all of you know that I'm back. Yes, this is not world-moving news and most of you will probably not really remember me, but I've been a long-time FreeBSD user and was actually somewhat active on various FreeBSD mailing lists in about 2000 - 2005. I have fond memories of these good old days: I was a Linux user in the mid to late 90's, and eventually decided that I would rather like to use FreeBSD. So exactly on the 31st of December 1999, when most people were preparing for celebrating the new millenium, I was sitting at home, trying to download the then-current stable FreeBSD release (3.something) ISO image via the painfully slow 56k modem connection I had back in the day. While I was downloading I was chatting in some IRC channels, and I remember joking with various folks that I was hoping my FreeBSD download would complete before midnight, because - as we all "knew" back then - on the 1st of January 2000 the Internet (or all computer systems, for that matter) would come to a sudden end - at least that was what the media hype was telling us. As it turned out, my FreeBSD download completed successfully and I spent the 1st of January 2000 setting it up. I've basically been hooked ever since! I remember "building world" every weekend, extensively using the ports collecting, lurking and occasionally posting on the mailing lists, and just promoting FreeBSD by recommending it to others and helping them with its usage. Really great days ... but then my life changed, I finished school and started working. And even though I got a job as a programmer, I worked on something entirely unrelated to FreeBSD and unfortunately, I was too much out of time to follow my personal FreeBSD interests as much as I would have liked to. As a result, I became inactive on the mailing lists and didn't do much more than just simply running FreeBSD. Now in 2011, it seems that I will finally have some more time for the "fun" things in life, and as a result, I'm currently in the process of getting my machines up to date with the latest FreeBSD-Stable (currently, they're kind of outdated). Furthermore, I'm resubscribing to all the nice mailing lists and am planning to once again be more active on them in the future. And who knows, probably I'll even find the time to contribute a little by writing actual code - a thing I've always wanted to do in the past, but - despite of a few small patches for the ocassional port - have never come around to actually doing. So, in short: FreeBSD community, keep ruling! I've been a quiet member of you during the last few years, and I'm hoping to be a more active one once again from now on. ;-) Greetings to all of you out there, Nils From owner-freebsd-chat@FreeBSD.ORG Tue Jan 11 17:28:16 2011 Return-Path: Delivered-To: freebsd-chat@freebsd.org Received: from mx1.freebsd.org (mx1.freebsd.org [IPv6:2001:4f8:fff6::34]) by hub.freebsd.org (Postfix) with ESMTP id EEA48106564A for ; Tue, 11 Jan 2011 17:28:16 +0000 (UTC) (envelope-from Rick.Hamell@sparqtraining.com) Received: from mx1.nike.iphmx.com (esa10.nike.iphmx.com [68.232.135.83]) by mx1.freebsd.org (Postfix) with ESMTP id CBAA78FC13 for ; Tue, 11 Jan 2011 17:28:16 +0000 (UTC) X-IronPort-AV: E=Sophos;i="4.60,307,1291622400"; d="scan'208";a="21810439" Received: from barrierb241.nike.com ([146.197.27.90]) by mx1.nike.iphmx.com with ESMTP/TLS/DHE-RSA-AES256-SHA; 11 Jan 2011 08:59:26 -0800 Received: from BEAVERTN-SVR-KD.nike.com (beavertn-svr-kd.nike.com [146.197.8.236]) by barrierB241.nike.com with ESMTP id p0BGxPBb069636; Tue, 11 Jan 2011 08:59:25 -0800 (PST) Received: from HILLSBOR-SVR-14.nike.com (Not Verified[146.197.64.70]) by BEAVERTN-SVR-KD.nike.com with MailMarshal (v6, 2, 1, 3252) id ; Tue, 11 Jan 2011 08:59:08 -0800 Received: from BEAVERTN-SVR-VE.nike.com ([146.197.89.82]) by HILLSBOR-SVR-14.nike.com ([10.199.2.168]) with mapi; Tue, 11 Jan 2011 08:59:08 -0800 From: "Hamell, Rick (ETW - SPARQ)" To: Nils Holland , "freebsd-chat@freebsd.org" Date: Tue, 11 Jan 2011 08:59:07 -0800 Thread-Topic: I'm back... Thread-Index: AcuxiE/QZhGCEirfRdK6E+GoHpwERAAKWa5U Message-ID: In-Reply-To: <3A0D73FD81F04E378F30DCA984B616BA@Nemesis> Accept-Language: en-US Content-Language: en-US X-MS-Has-Attach: X-MS-TNEF-Correlator: user-agent: Microsoft-Entourage/13.8.0.101117 acceptlanguage: en-US Content-Type: text/plain; charset="us-ascii" Content-Transfer-Encoding: quoted-printable MIME-Version: 1.0 X-Mailman-Approved-At: Tue, 11 Jan 2011 17:42:14 +0000 Cc: Subject: Re: I'm back... X-BeenThere: freebsd-chat@freebsd.org X-Mailman-Version: 2.1.5 Precedence: list List-Id: Non technical items related to the community List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Tue, 11 Jan 2011 17:28:17 -0000 Hi Nils! I for one remember you! Ironically, I just started working for a company I'd been away from for fou= r years. On my first day back, I start getting FreeBSD Subscribed list reminders, and now traffic through -Chat Rick Hamell Nike SPARQ | 971.222.1300 x331 Mobile - 503.720.8429 From owner-freebsd-chat@FreeBSD.ORG Tue Jan 11 22:32:19 2011 Return-Path: Delivered-To: freebsd-chat@freebsd.org Received: from mx1.freebsd.org (mx1.freebsd.org [IPv6:2001:4f8:fff6::34]) by hub.freebsd.org (Postfix) with ESMTP id 84094106564A for ; Tue, 11 Jan 2011 22:32:19 +0000 (UTC) (envelope-from freebsd-current-local@be-well.ilk.org) Received: from mail3.sea5.speakeasy.net (mail3.sea5.speakeasy.net [69.17.117.42]) by mx1.freebsd.org (Postfix) with ESMTP id 5D00A8FC08 for ; Tue, 11 Jan 2011 22:32:19 +0000 (UTC) Received: (qmail 16701 invoked from network); 11 Jan 2011 22:05:39 -0000 Received: from dsl092-078-145.bos1.dsl.speakeasy.net (HELO be-well.ilk.org) ([66.92.78.145]) (envelope-sender ) by mail3.sea5.speakeasy.net (qmail-ldap-1.03) with SMTP for ; 11 Jan 2011 22:05:39 -0000 Received: by be-well.ilk.org (Postfix, from userid 1147) id A19C050825; Tue, 11 Jan 2011 17:05:38 -0500 (EST) From: Lowell Gilbert To: Boris Kochergin References: <4D2CC06A.8080408@acm.poly.edu> Date: Tue, 11 Jan 2011 17:05:38 -0500 In-Reply-To: <4D2CC06A.8080408@acm.poly.edu> (Boris Kochergin's message of "Tue, 11 Jan 2011 15:41:14 -0500") Message-ID: <444o9fhz9p.fsf@be-well.ilk.org> User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/23.2 (berkeley-unix) MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Cc: David DEMELIER , freebsd-current@freebsd.org, freebsd-chat@freebsd.org Subject: Re: why panic(9) ? X-BeenThere: freebsd-chat@freebsd.org X-Mailman-Version: 2.1.5 Precedence: list Reply-To: freebsd-chat@freebsd.org List-Id: Non technical items related to the community List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Tue, 11 Jan 2011 22:32:19 -0000 [Replies redirected.] Boris Kochergin writes: > All modern operating systems? Maybe some niche ones, like the ones > that run on Mars rovers, have made progress towards formal > verification and are believed not to crash given correctly-functioning > hardware. The Mars rovers run on VxWorks. Which is a system I like, but it isn't anything like formally verifiable. And it certainly does the equivalent of FreeBSD panic() under some circumstances.