Re: [Haifux] [HAIFUX Lecture] SSDL Linux - a Love story or a Battle field? - Shahar Dag

2010-11-07 Thread Ariel Haviv
+1 to recording it. I would be very interested in hearing it too.

Best regards,
Ariel Haviv



On Sat, Nov 6, 2010 at 10:07 PM, Dotan Cohen dotanco...@gmail.com wrote:

 Can someone record this? Patch me in via Skype? Teleport me? This is a
 very interesting lecture for me, but I now live in Be'er Sheva!

 --
 Dotan Cohen

 http://gibberish.co.il
 http://what-is-what.com
 ___
 Haifux mailing list
 Haifux@haifux.org
 http://hamakor.org.il/cgi-bin/mailman/listinfo/haifux

___
Haifux mailing list
Haifux@haifux.org
http://hamakor.org.il/cgi-bin/mailman/listinfo/haifux


Re: [Haifux] Login console freezes: Eli's weekly riddle

2010-11-07 Thread Shachar Shemesh
On 07/11/10 00:44, Eli Billauer wrote:
 and I can only hope that those who maintain the software controlling 
 my car's airbag are doing so with a deeper understanding of what each 
 software component stands.

Can't speak for the airbag industry. I do and did have clients in the 
aeronautics industry, though, and I can categorically tell you that 
things there are much much much better. A typical semi-critical[1] 
software piece designed to run in a civilian aircarft's cockpit gets 
allocated a minimum of 9 hours of QA for each hour of development. There 
are whole companies dedicated to code reviewing and certifying, and 
there are strict, often draconian, software design and style restrictions.

I'm not sure what I feel about such bugs in the Linux kernel, but it[2] 
does not diminish my safe feeling while flying.

Shachar

1 - Semi-critical - the pilot might, indirectly, rely on the information 
received, but it does not, itself control the aircraft, nor does it even 
provide flight-critical data. Maps are non-critical (uncertified). Maps 
showing the aircraft's position on them are semi-critical, and must be 
certified.
2 - Which is not to say that other things might.

-- 
Shachar Shemesh
Lingnu Open Source Consulting Ltd.
http://www.lingnu.com

___
Haifux mailing list
Haifux@haifux.org
http://hamakor.org.il/cgi-bin/mailman/listinfo/haifux


Re: [Haifux] [HAIFUX Lecture] SSDL Linux - a Love story or a Battle field? - Shahar Dag

2010-11-07 Thread Orr Dunkelman
Well, if you happen to have a digital recorder of any type (even an
analog one would work, if you digitize it later), we'd be happy...

Unfortunately for us, Guy, who is the guy who used to do so, is a bit too busy.

So ...

Even if you cannot do this during this talk (which we hope you can),
feel free to take recordings of future talks as well (with the
permission of the speaker, of course!). Hamakor is actually hosting
the previous lectures, and you can have your name added to the hall of
fame of haifux!

Cheers,

On Sun, Nov 7, 2010 at 9:32 AM, Ariel Haviv ariel.ha...@gmail.com wrote:
 +1 to recording it. I would be very interested in hearing it too.

 Best regards,
 Ariel Haviv


 On Sat, Nov 6, 2010 at 10:07 PM, Dotan Cohen dotanco...@gmail.com wrote:

 Can someone record this? Patch me in via Skype? Teleport me? This is a
 very interesting lecture for me, but I now live in Be'er Sheva!

 --
 Dotan Cohen

 http://gibberish.co.il
 http://what-is-what.com
 ___
 Haifux mailing list
 Haifux@haifux.org
 http://hamakor.org.il/cgi-bin/mailman/listinfo/haifux





-- 
Orr Dunkelman,
orr.dunkel...@gmail.com

GPG fingerprint: C2D5 C6D6 9A24 9A95 C5B3  2023 6CAB 4A7C B73F D0AA
(This key will never sign Emails, only other PGP keys. The key
corresponds to o...@vipe.technion.ac.il)
___
Haifux mailing list
Haifux@haifux.org
http://hamakor.org.il/cgi-bin/mailman/listinfo/haifux


Re: [Haifux] [HAIFUX Lecture] SSDL Linux - a Love story or a Battle field? - Shahar Dag

2010-11-07 Thread Shahar Dag
Hello



In my case I object to record the lecture (video or audio) and publish it. I 
am not sure what's the Technion policy about such lectures and I don't want 
to check. Also publishing the lecture will force me to be much carful when 
describing the process of migrating to Linux (which will make the lecture 
less real).



Shahar

- Original Message - 
From: Orr Dunkelman orr.dunkel...@gmail.com
To: Ariel Haviv ariel.ha...@gmail.com
Cc: Dotan Cohen dotanco...@gmail.com; Haifux haifux@haifux.org
Sent: Sunday, November 07, 2010 12:27 PM
Subject: Re: [Haifux] [HAIFUX Lecture] SSDL  Linux - a Love story or a 
Battle field? - Shahar Dag


 Well, if you happen to have a digital recorder of any type (even an
 analog one would work, if you digitize it later), we'd be happy...

 Unfortunately for us, Guy, who is the guy who used to do so, is a bit too 
 busy.

 So ...

 Even if you cannot do this during this talk (which we hope you can),
 feel free to take recordings of future talks as well (with the
 permission of the speaker, of course!). Hamakor is actually hosting
 the previous lectures, and you can have your name added to the hall of
 fame of haifux!

 Cheers,

 On Sun, Nov 7, 2010 at 9:32 AM, Ariel Haviv ariel.ha...@gmail.com wrote:
 +1 to recording it. I would be very interested in hearing it too.

 Best regards,
 Ariel Haviv


 On Sat, Nov 6, 2010 at 10:07 PM, Dotan Cohen dotanco...@gmail.com 
 wrote:

 Can someone record this? Patch me in via Skype? Teleport me? This is a
 very interesting lecture for me, but I now live in Be'er Sheva!

 --
 Dotan Cohen

 http://gibberish.co.il
 http://what-is-what.com
 ___
 Haifux mailing list
 Haifux@haifux.org
 http://hamakor.org.il/cgi-bin/mailman/listinfo/haifux





 -- 
 Orr Dunkelman,
 orr.dunkel...@gmail.com

 GPG fingerprint: C2D5 C6D6 9A24 9A95 C5B3 2023 6CAB 4A7C B73F D0AA
 (This key will never sign Emails, only other PGP keys. The key
 corresponds to o...@vipe.technion.ac.il)
 ___
 Haifux mailing list
 Haifux@haifux.org
 http://hamakor.org.il/cgi-bin/mailman/listinfo/haifux
 

___
Haifux mailing list
Haifux@haifux.org
http://hamakor.org.il/cgi-bin/mailman/listinfo/haifux


Re: [Haifux] [HAIFUX Lecture] SSDL Linux - a Love story or a Battle field? - Shahar Dag

2010-11-07 Thread Orr Dunkelman
Well, this solves this lecture.

In any case, this is a call for those of you out there with the
recording equipment - please join us :)

On Sun, Nov 7, 2010 at 1:03 PM, Shahar Dag d...@cs.technion.ac.il wrote:
 Hello



 In my case I object to record the lecture (video or audio) and publish it. I
 am not sure what's the Technion policy about such lectures and I don't want
 to check. Also publishing the lecture will force me to be much carful when
 describing the process of migrating to Linux (which will make the lecture
 less real).



 Shahar

 - Original Message - From: Orr Dunkelman orr.dunkel...@gmail.com
 To: Ariel Haviv ariel.ha...@gmail.com
 Cc: Dotan Cohen dotanco...@gmail.com; Haifux haifux@haifux.org
 Sent: Sunday, November 07, 2010 12:27 PM
 Subject: Re: [Haifux] [HAIFUX Lecture] SSDL  Linux - a Love story or a
 Battle field? - Shahar Dag


 Well, if you happen to have a digital recorder of any type (even an
 analog one would work, if you digitize it later), we'd be happy...

 Unfortunately for us, Guy, who is the guy who used to do so, is a bit too
 busy.

 So ...

 Even if you cannot do this during this talk (which we hope you can),
 feel free to take recordings of future talks as well (with the
 permission of the speaker, of course!). Hamakor is actually hosting
 the previous lectures, and you can have your name added to the hall of
 fame of haifux!

 Cheers,

 On Sun, Nov 7, 2010 at 9:32 AM, Ariel Haviv ariel.ha...@gmail.com wrote:

 +1 to recording it. I would be very interested in hearing it too.

 Best regards,
 Ariel Haviv


 On Sat, Nov 6, 2010 at 10:07 PM, Dotan Cohen dotanco...@gmail.com
 wrote:

 Can someone record this? Patch me in via Skype? Teleport me? This is a
 very interesting lecture for me, but I now live in Be'er Sheva!

 --
 Dotan Cohen

 http://gibberish.co.il
 http://what-is-what.com
 ___
 Haifux mailing list
 Haifux@haifux.org
 http://hamakor.org.il/cgi-bin/mailman/listinfo/haifux





 --
 Orr Dunkelman,
 orr.dunkel...@gmail.com

 GPG fingerprint: C2D5 C6D6 9A24 9A95 C5B3 2023 6CAB 4A7C B73F D0AA
 (This key will never sign Emails, only other PGP keys. The key
 corresponds to o...@vipe.technion.ac.il)
 ___
 Haifux mailing list
 Haifux@haifux.org
 http://hamakor.org.il/cgi-bin/mailman/listinfo/haifux






-- 
Orr Dunkelman,
orr.dunkel...@gmail.com

GPG fingerprint: C2D5 C6D6 9A24 9A95 C5B3  2023 6CAB 4A7C B73F D0AA
(This key will never sign Emails, only other PGP keys. The key
corresponds to o...@vipe.technion.ac.il)
___
Haifux mailing list
Haifux@haifux.org
http://hamakor.org.il/cgi-bin/mailman/listinfo/haifux