2009/10/24 Nenhum_de_Nos math...@eternamente.info
On Sat, October 24, 2009 21:25, Giancarlo Rubio wrote:
Será??
http://www.inovacaotecnologica.com.br/noticias/noticia.php?artigo=primeiro-sistema-operacional-100-livre-erros-esta-prontoid=010150091020
como disse um amigo quando leu isso,
Citando irado furioso com tudo:
Em Sat, 24 Oct 2009 19:56:10 -0300
Zavam, Vinícius egyp...@secrel.com.br, conhecido consumidor de
drogas (BigMac's com Coke) escreveu:
não gosto desse cara. pronto! falei.
também não gosto de goebbels.. mas êle tinha razão quando dizia uma
mentira, repetida
Nenhum_de_Nos wrote:
On Sat, October 24, 2009 21:25, Giancarlo Rubio wrote:
Será??
http://www.inovacaotecnologica.com.br/noticias/noticia.php?artigo=primeiro-sistema-operacional-100-livre-erros-esta-prontoid=010150091020
como disse um amigo quando leu isso, este so deve fazer só umprimir
irado furioso com tudo wrote:
algum tempo atrás eu disse que olhava com reservas para a aquisição da
Sun pela Oracle. Eu dizia que temia por uma ação de abandono do
MySQL. O próprio autor do MySQL abandonou a Sun e fundou o MariaDB com
o objetivo de manter um sempre livre ramo de
Otacílio de Araújo Ramos Neto wrote:
2009/10/23 Otacílio de Araújo Ramos Neto otacilio.n...@ee.ufcg.edu.br
mailto:otacilio.n...@ee.ufcg.edu.br
2009/10/23 Sergio Augusto Vladisauskis sergi...@gmail.com
mailto:sergi...@gmail.com
Instalei tudo do zero, pois na época
Em Sun, 25 Oct 2009 10:09:01 -0200
Otacílio otacilio.n...@ee.ufcg.edu.br, conhecido consumidor de drogas
(BigMac's com Coke) escreveu:
Quer dizer que se a minha empresa fizer um software GPL e eu vender a
empresa eu não posso vender meu software junto com a empresa não?
O licenciamento MySQL
eu peguei em 2 servidores meus com qmail, analisando os logs
sempre tinha uma sequencia de umas 30 tentativas
de autenticacao, sempre dando failed até que em um determinado momento
conseguia a autenticacao, o que me levou a crer que parecia um brute
force..
ai eu coloquei o fail2ban para trabalhar
2009/10/25 Daniel Bristot de Oliveira danielbris...@gmail.com:
2009/10/24 Nenhum_de_Nos math...@eternamente.info
On Sat, October 24, 2009 21:25, Giancarlo Rubio wrote:
Será??
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
Sim, existe um teorema. Chama-se Teorema da Parada. Associado à máquina
de Turing e ao Teorema de Goedel. Ele não aborda a questão de corretude,
que é outra coisa, mas prova que é impossível afirmar que um programa
está 100% correto (mesmo um simples
Fala,
Sim, existe um teorema. Chama-se Teorema da Parada. Associado à máquina
de Turing e ao Teorema de Goedel. Ele não aborda a questão de corretude,
que é outra coisa, mas prova que é impossível afirmar que um programa
está 100% correto (mesmo um simples Hello World, onde por trás tem um
2009/10/25 Otacílio otacilio.n...@ee.ufcg.edu.br:
Quer dizer que se a minha empresa fizer um software GPL e eu vender a
empresa eu não posso vender meu software junto com a empresa não? Meu
software não pode nem agregar valor a minha empresa? Que danado é isso,
comunismo? Movimento dos
Leis surgiram para serem quebradas! :-D
Mas a verdade é que eu duvido que não tenha um erro sequer. Só se o
sistema só faz dar boot e printa Hello World na tela. Mas aí, não é
operacional...
2009/10/24 Davi Vercillo C. Garcia daviverci...@gmail.com:
Fala Giancarlo,
Acho que faltou um [OFF] no
2009/10/25 Otacílio otacilio.n...@ee.ufcg.edu.br:
Quer dizer que se a minha empresa fizer um software GPL e eu vender a
empresa eu não posso vender meu software junto com a empresa não? Meu
software não pode nem agregar valor a minha empresa? Que danado é isso,
comunismo? Movimento dos
Pô, não vi que já tinham respondido com Hello World... :-D k,
desculpem por duplicar a piada.
2009/10/24 Nenhum_de_Nos math...@eternamente.info:
On Sat, October 24, 2009 21:25, Giancarlo Rubio wrote:
Será??
Voce está misturando completamente as coisas. Os Teoremas de
imcompletude de Goedel não tem nada a ver com a história. Na verdade a
aplicação de Goedel é meramente matemática e em computação sua
aplicação é restrita teorema de parada de Touring. Mas o teorema de
parada também não se
Ainda assim, o que interessa é o seguinte:
é realmente um sistema operacional? Quer dizer, serve para eu operar
de verdade a máquina? Ou falavam apenas de um simples kernel que deu
boot, Hello World, e pronto?
Realmente concordo que o foco da notícia ficou equivocado. O bonito do
trabalho aí é o
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
O Teorema da Parada, prova a indecidibilidade, para qualquer programa. É
um teorema. O Teorema de Goedel não é meramente matemático. É um
teorema! Meramente matemático é um termo novo para mim. Não sei o que
significa. Nem vou lhe pedir para explicar.
Eu gostaria de utilizar o meu servidor freebsd para ligar e desligar ar
condicionados. Eu poderia fazer via rede ou portas (serial/USB/paralela).
Alguém já fez isto?
alguém conhece algum software de automação no freebsd?
Alguém conhece algum produto chave ou disjuntor que faça isto?
--
Olá,
creio que para desligar/desligar o ar condicionado a solução mais baixo
custo é usar a paralela (uma saída digital) provavelmente vais ter que fazer
um buffer para proteger a porta e acionar um transistor por exemplo para
chavear um relé..
Como a porta parelela é limitada em distância,
Caro, só faltou fazer a pesquisa certa no Google. Achei este link
http://www.drivemeinsane.com/khowtos/relay
Acho que responde tudo que você precisa (exceto como programar as
postas no FreeBSD, mas isso vc encontra lá no site do FreeBSD, na
parte destinada a developers).
2009/10/25 Eduardo
Fala Anderson,
Alguém já fez isto?
Eu tenho um projeto pessoal que buscar automatizar meu quarto,
utilizando microcontroladores (PIC16F887) e o FreeBSD. Ainda não tenho
nada concreto, mas não é complicado... só falta tempo...
Se o que você quer automatizar é simples, você não vai precisar
Pessoal,
Acho que essa thread já deu, né ?
Não fiz a abordagem com o objetivo de criar um debate acadêmico. Somente
para responder ao Davi.
Mesmo que tenha sido uma resposta a uma pergunta retórica... hiuiha... =P
Abraços,
--
Davi Vercillo C. Garcia
B.Sc. Student - DCC-IM/UFRJ
Trainee
Nilson wrote:
2009/10/25 Otacílio otacilio.n...@ee.ufcg.edu.br:
Quer dizer que se a minha empresa fizer um software GPL e eu vender a
empresa eu não posso vender meu software junto com a empresa não? Meu
software não pode nem agregar valor a minha empresa? Que danado é isso,
comunismo?
23 matches
Mail list logo