Primeiro sistema operacional 100% livre de erros

Passeando por alguns sites de ciência e tecnologia, me deparei com essa matéria.
Infelizmente o artigo não diz qual foi a técnica utilizada, mas isso pode ser tema de uma nova pesquisa no google...... =D

Vale a pena conferir.

Fonte: inovacaotecnologica.com.br

Pesquisadores australianos relataram que, pela primeira vez, conseguiram provar com rigor matemático que o núcleo principal de um sistema operacional - tecnicamente conhecido como kernel - está 100% livre de erros de programação (bugs).

O avanço deverá ter implicações diretas no funcionamento e na segurança de computadores que controlam equipamentos que devem apresentar altíssima confiabilidade, como aparelhagens médicas de exames e cirurgias robotizadas, sistemas aeroespaciais e servidores de informática de missão crítica.

...

O kernel 100% correto pertence a um sistema operacional do tipo embarcado (embedded system), que roda em computadores dedicados a tarefas específicas.

A nova técnica de verificação, contudo, poderá ser utilizada no desenvolvimento de qualquer outro programa, seja um sistema operacional ou outro aplicativo qualquer.

Os 10 piores Sistemas Operacionais de todos os tempos

O colunista Steven J. Vaughan-Nichols, divulgou no site pcworld.com uma lista referenciando os 10 piores sistemas operacionais de todos os tempos. No minimo interessante, pois eu nem conhecia alguns deles, mas completamente aberta a discussões.

Seguem em ordem cronológica:

1. OS/360, 1964
2. ITS (Incompatible Timesharing System), late 1960s
3. GNU Hurd, launched in 1983 (still incomplete)
4. Windows 1.01, 1985
5. MS-DOS 4.0, 1988
6. SCO Open Desktop, 1989
7. JavaOS, 1996
8. Windows Me (Millennium Edition), 2000
9. Lindows/ Linux XP Desktop, 2001/2006
10. Windows Vista, 2006

As justificativas referentes a cada sistema que está na lista podem ser lidas (AQUI).

(Lindows!! PQP hein?!?! )


OBS: Por um pedido muito sutil (que não removi dos comentários, pois toda crítica é bem vinda desde que tenha um mínimo de educação), vou alertar que o link redirecionará o leitor a uma página que possui conteúdo no idioma INGLÊS.

Peço desculpas se pressupus que a grande maioria dos leitores que chegaram aqui conhecesse alguma coisa desse idioma.

Por que o Windows predomina em notebooks e netbooks? (Mais um motivo)

Minha namorada está precisando de um notebook ou um netbook, e eu fiquei incumbido de fazer as pesquisas.

Porém, fiquei indignado com a qualidade dos linux que vem pré-instalados em alguns modelos. Desde que comecei meu curso superior eu sou um adepto do Ubuntu, mas já utilizei diversas outras distribuições como Mandriva, Kurumin e Debian.

E se essas distros que são as mais comuns já são muito diferentes comparadas ao costumeiro sistema da Micro$$oft, as distribuições desconhecidas até pra quem está no meio da computação jamais serão bem vistas pelos usuários "normais".
São complicadas, feias (sim, isso importa) e não possuem suporte nem das comunidades.


O que os fabricantes tem na cabeça no momento em que irão decidir qual o sistema será instalado por default?

Isso só ajuda a aumentar o abismo que existe entre a grande maioria dos usuários. Essa primeira impressão é com certeza suficiente para que eles nem procurem se informar de que existem outras (e melhores) distribuições antes de voltarem ao rotineiro Windows.

Não sou um defensor da idéia de que Linux serve apenas para a galera da computação. Defendo a idéia de que tudo pode ser melhorado para agradar mais e mais pessoas, porém da forma como as coisas estão andando vai demorar um bocado ainda para que isso aconteça.

Skype 4.0 (finalmente) lançado

Finalmente foi lançada a nova versão do comunicador VOIP mais famoso do mercado.

Essa nova versã0 promete muitas melhorias no audio das conversações e na qualidade dos videos, mas, a principal diferença fica por conta da interface.

Parece que é outro programa. Muito diferente (e bonita).

Agora resta oficializarem uma versão final para meu smartphone Nokia E61 (Enquanto isso eu vou me virando com o - muito bom - FRING).

Download para Windows: http://www.skype.com/intl/en/download/skype/windows/

Campanha: Bate nele Rubinho!

Vamos todos torcer pelo nosso querido Rubinho para ele trazer esse tão sonhado titulo para o Brasil!

Vamos lá Rubinho! Bate nele e se aposente como um herói!



Até o DrPepper entrou na campanha e disponibilizou essa tirinha pra gente!

Vamos todos gritar unissonos: BATE NELE RUBINHO!!!!!!!

Mercado Livre: Bug dura mais de 24 hrs

Pois é.. o Mercado Livre está com alguns problemas que impossibilita as negociações de serem concretizadas.
Com o bug, os usuários não conseguiram acessar sua conta e, consequentemente não finalizam as negociações.

Eu deixei de responder algumas duvidas de possiveis compradores com essa pane, e espero que se resolva rápido, pois muita gente depende do mercado livre inclusive como forma de subsistencia.

Agora já se passaram mais de 24 horas desde que o problema começou, e a mensagem que aparece na nossa área pessoal é:



No Orkut, há relatos de usuários dizendo que os produtos anunciados sumiram ou que produtos que já foram vendidos e voltaram a ser anunciados.

Muito já se foi resolvido, mas ainda existem áreas do site com problemas.

De acordo com uma nota do ML, os problemas parecem ter surgido depois de um backup da base de dados.

Por que isso não acontece em SP?

Mudando radicalmente do assunto proposto ao meu blog, vou citar um fato muito interessante, que infelizmente não acontece por aqui:

Uma juíza ABENÇOADA condenou um réu por ouvir música RAP alto de mais.

Segue um trecho da matéria:

"Uma punição estranha para um homem condenado por ouvir rap alto demais em seu carro. Uma juíza da do condado de Champaign, em Ohio, determinou que o acusado, multado em US$ 150, poderia se livrar de parte substancial da multa caso aceite passar 20 horas ouvindo música clássica.

Andrew Vactor foi condenado por perturbar a tranquilidade na cidade de Urbana ao andar, em julho, com as janelas de seu carro abertas e o som do carro emitindo versos de rap no último volume.

Caso tivesse aceito a proposta da juíza, ele precisaria pagar apenas US$ 35 de multa. Vactor, no entanto, não aguentou ficar 15 minutos ouvindo Bach, Beethoven e Chopin.

A juíza Susan Fornof-Lippencott disse que a idéia era obrigar Vactor a ouvir uma música que não fosse de seu interesse. Assim, ele se sentiria como boa parte dos moradores de Urbana, "obrigados" por ele a ouvir rap. "Ninguém gosta de ouvir algo forçado", afirmou a juíza."

Palmas! Aplausos!

Falta gente com essa coragem aqui por São Paulo e sobra gente sem educação.
O fato não é o tipo de música som, o fato é que eu tenho que passar noites tentando dormir porque meus vizinhos malditos abençoados acham que TODO O BAIRRO precisa ouvir o mesmo que eles e na mesma hora que eles (geralmente de madrugada, preferencialmente).

Todo percurso que tenho de fazer de casa até o trabalho, de Guarulhos ao terminal Brás, é uma aventura. Nunca sei quando vou ter de ir escutando Rap, Funk, Música Evangelica...
Por que diabos existem as placas sinalizando a proibição da utilização de aparelhos sonoros nos ônibus públicos??

Será que vai demorar muito pra essa moda colar aqui no Brasil? Vou ser o primeiro a denunciar esse bando de sem educação que acham que meus ouvidos são pinicos...

Preciso de um carro...

-.-

ESTAMOS VIVOS! O LHC FUNCIONOU!

A maior máquina do mundo, que tem o formato de um anel com circunferência de 27 kms, está enterrada a 150 metros entre a França e a Suíça.

São centenas de milhares de dispositivos que custaram a barganha de 6 bilhões de dólares.

Pra que tudo isso?

A resposta é simples: Para recriar as condições exatas de temperatura e densidade àquelas que existiram na fração de bilionésimo de segundo após o Big Bang (ou no pior dos casos, para criar um buraco negro que engula todo o nosso planeta....O.o ). Com isso, os cientistas desejam encontrar várias evidências que comprovem propriedades de matéria que só existem em teoria.

Como isso irá funcionar?

Ao longo do túnel de 27 kms serão disparados feixes de átomos de chumbo que serão acelerados a 99,9% da velocidade da luz, e para que isso aconteça, a temperatura do interior desse túnel deve ser o zero absoluto (273,15º C negativos).

Quando os feixes de atomos se chocarem frente a frente, uma explosão que estilhaçará os atomos irá liberar um exército de partículas subatômicas.

O Large Hadron Collider irá trabalhar 24 horas por dia, gerando a cada segundo cerca de 40 milhões de colisões de átomos. Isso irá gerar uma montanha anual de dados equivalente a 15 Petabytes (15 milhões de Gigabytes).

O que isso importa?

Primeiramente, o mais importante é que o primeiro grande teste foi realizado com sucesso. O maior acelerador de partículas do mundo disparou um feixe de prótons por um túnel de 27 quilômetros nesta quarta-feira (10/09).

SUCESSO NESSE CASO, QUER DIZER QUE NÃO CAUSOU NENHUMA REAÇÃO EM CADEIA E NÓS AINDA ESTAMOS VIVINHOS DA SILVA!!

Mas por precaução, vou começar a dar mais valor aos meus amigos e familiares.. vai que nos próximos testes um buraco negro possa nos engolir....

Ah, isso também vai ajudar a desvendar alguns dos maiores mistérios da humanidade... =D

PS: Até o google entrou na onda do LHC, vejam o logotipo da empresa em sua homepage.... show!

Novo Mercado: Remoção do Vista

Na semana passada, o jornal americano Seattle Post Intelligencer exibiu esta foto de uma loja de informática, em New Hampshire, que se dedica a remover o Vista dos PCs.

Esse cartaz (imagem) que está presente em frente a loja chamativamente diz: “We remove Vista”.

O Windows Vista tem quase um ano de idade (após seu lançamento comercial) e hoje em dia muitos notebooks e desktops enfiam guela-a-baixo no consumidor esse sistema, que aparentemente não está sendo emplacado por "escolha" da população, e sim pelos acordos com os distribuidores e integradores de microcomputadores com a Microsoft.

De qualquer maneira, pode ser que essa moda pegue... Afinal, se o Service Pack 1 não fizer milagres podemos ter algumas placas dessas pela nossa cidade... =)