Re: Skype with sound and video support :)
On Tue, May 17, 2011 at 07:28:35PM +0300, Ion-Mihai Tetcu wrote: But OK, I will, ports/UPDATING is cheap. And appreciated. -- Ted Faber http://www.isi.edu/~faber PGP: http://www.isi.edu/~faber/pubkeys.asc Unexpected attachment on this mail? See http://www.isi.edu/~faber/FAQ.html#SIG pgpC4F2KYvTyO.pgp Description: PGP signature
Re: [ HEADS UP ] Ports unstable for the next 10 days
On Sun, Mar 28, 2010 at 04:38:28PM +0300, Ion-Mihai Tetcu wrote: Hi, As announced before, a few big commits, that touch some thousands ports are being done: png, curl, x11, gnome, kde4. The target ETA is 6-7 April. I didn't see any mial, but figured I'd check. Are ports still unstable? -- Ted Faber http://www.isi.edu/~faber PGP: http://www.isi.edu/~faber/pubkeys.asc Unexpected attachment on this mail? See http://www.isi.edu/~faber/FAQ.html#SIG pgp3xtbXIGKg8.pgp Description: PGP signature
Re: FreeBSD usage in safety-critical environments
On Wed, Oct 09, 2002 at 12:26:14PM -0700, Terry Lambert wrote: Life support systems require formal proofs of correctness for code; since neither Linux nor FreeBSD is formally correct, in total, you would need to be insane to deplaoy either of them as, for example, a part of an air traffic control system. I suspect that's a bad example, or that you mean an embedded aircraft control system. Ron Reisman and James Murphy gave a fine invited talk at USENIX 02 (http://www.usenix.org/events/usenix02/tech/#11am) about the growing number of UNIX components in the US ATC system. I reject the conclusion that the FAA is collectively insane for that reason. -- Ted Faber[EMAIL PROTECTED] USC/ISI Computer Scientist http://www.isi.edu/~faber (310) 448-9190 PGP Keys: http://www.isi.edu/~faber/pubkeys.asc msg04563/pgp0.pgp Description: PGP signature