Re: [FUG-BR] Primeiro sistema operacional 100% livre de erros está pronto - OFF

2009-10-26 Por tôpico Celso Viana
2009/10/26 Julião Braga : > -BEGIN PGP SIGNED MESSAGE- > Hash: SHA1 > > Jean, > > Se você está em um programa de doutorado, deve saber bastante sobre o > exercício da abstração. > > Também, não posso imaginá-lo fazendo afirmações sobre desvios da > pesquisa de computação na universidade bra

Re: [FUG-BR] Primeiro sistema operacional 100% livre de erros está pronto - OFF

2009-10-26 Por tôpico Julião Braga
-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 Jean, Se você está em um programa de doutorado, deve saber bastante sobre o exercício da abstração. Também, não posso imaginá-lo fazendo afirmações sobre desvios da pesquisa de computação na universidade brasileira (como abordou em seu e-mail anterio

Re: [FUG-BR] Primeiro sistema operacional 100% livre de erros está pronto - OFF

2009-10-26 Por tôpico Jean Everson Martina
-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 Quer trazer a discussão In Topic de novo? Eu falei com o Robert Watson (FreeBSD Foundation) a umas duas semanas atras, quando o paper que deu origem a isso tudo foi publicado, e perguntei quando teríamos uma coisa assim no FreeBSD, e a resposta foi:

Re: [FUG-BR] Primeiro sistema operacional 100% livre de erros está pronto - OFF

2009-10-26 Por tôpico Paulo Henrique
É isso ai lista continuamos a thread... pois a aula está muito interessante... 2009/10/26 Jean Everson Martina > -BEGIN PGP SIGNED MESSAGE- > Hash: SHA1 > > > > Um pequeno programa é uma exceção. Algum programa (como esse que você > > falou, talvez), com o espírito acadêmico (principalme

Re: [FUG-BR] Primeiro sistema operacional 100% livre de erros está pronto - OFF

2009-10-26 Por tôpico Jean Everson Martina
-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 > Um pequeno programa é uma exceção. Algum programa (como esse que você > falou, talvez), com o espírito acadêmico (principalmente), pode tratar > exceções. O que não deixa de ter validade empírica, mesmo sabendo da > existência do Teorema da Parada.