Luiz Henrique

A regra é: se você não pode contra eles, infecte-os com malware e bloqueie suas máquinas

São Paulo - Cinco estudantes da escola Hjallerup, na Dinamarca, descobriram que plantas não crescem perto de roteadores Wi-Fi. A ideia de fazer o experimento... - por Vanessa Daraya

Enquanto foge do monitoramento, o hacker Nadim Kobeissi mantém um programa de bate-papo com proteção contra a censura digital Nadim Kobeissi é um universitário libanês... - por Luiz Cruz

A tecnologia tem avançado rapidamente. No entanto, a inteligência humana está em declínio. Isto não é uma opinião, mas um estudo científico provocativo da Universidade... - por Vanessa Daraya

Berlim - A gigante alemã SAP informou nesta terça-feira que pretende contratar nos próximos anos centenas de pessoas com autismo para trabalhar em programação ou... - por AFP

Novidades foram anunciadas pela gigante de buscas nesta quarta-feira, 15/5, durante evento Google I/O, realizado nos EUA.

Topoi are categories which have enough structure to interpret higher order logic. They admit two notions of morphism: logical morphisms which preserve all of the structure and therefore the interpretation of higher order logic, and geometric morphisms which only preserve only some of the structure and therefore only some of the interpretation of higher order logic. The question then arises: what kinds of higher order theories are preserved by geometric morphisms? It is known that certain first order theories called internal geometric theories are preserved by geometric morphisms, and these admit what are known as classifying topoi. Briefly, a classifying topos for an internal geometric theory $\mathbb{T}$ in a topos $\mathcal{E}$ is a topos $\mathcal{E}[\mathbb{T}]$ such that models of $\mathbb{T}$ in any topos $\mathcal{F}$ with a geometric morphism to $\mathcal{E}$ are in one to one correspondence with geometric morphisms from $\mathcal{F}$ to $\mathcal{E}[\mathbb{T}]$ over $\mathcal{E}$. One useful technique for showing that a higher order theory $\mathcal{T}$ is preserved by geometric morphisms is to define an internal geometric theory $\mathbb{T}$ of "bad sets" for $\mathcal{T}$ and show that $\mathcal{T}$ is equivalent to the higher order theory which says "the classifying topos for $\mathbb{T}$ is degenerate". We set up a deduction calculus for internal geometric theories and show that it proves a contradiction if and only if the classifying topos of that theory is degenerate. We use this result to study a variant of the higher order theory of Dedekind finite objects and the higher order theory of field objects considered as ring objects with no non-trivial ideals.

São Paulo - O ex-ministro da Defesa do Canadá Paul Hellyer afirmou que existem extraterrestres na Terra. A declaração aconteceu durante... - por Vanessa Daraya

São Paulo - A revolução de interface proposta pela Microsoft com o Windows 8 pode não ter obtido o resultado esperado pela empresa. Nesta... - por Thiago Tanji

Berlim - Cientistas do Observatório Europeu Austral identificaram uma dupla de estrelas a 7.000 anos luz da Terra que os ajudou a provar a Teoria da Relatividade... - por Agência EFE

Aqui já teriam providenciado uma lei – lá a polícia pede, e aparentemente os provedores estão considerando não aceitar o pedido.

Via g1.globo.com:

A Agência Nacional de Polícia do Japão irá solicitar aos provedores de internet do país o bloqueio da rede de anonimato The Onion Router (Tor). A medida, segundo o jornal japonês “Mainichi”, é resultado da conclusão de um painel da polícia sobre possíveis maneiras de evitar o abuso da rede.

A rede Tor funciona pela inclusão de intermediários entre a origem verdadeira da conexão e o destino. Dessa forma pode ser difícil determinar o responsável pela publicação de um conteúdo na internet.

Popular entre ativistas políticos e defensores do anonimato na web, a ferramenta foi desenvolvida inicialmente por um departamento da marinha dos Estados Unidos.

A polícia japonesa começou a estudar a rede Tor depois da publicação em fóruns de discussão do país de uma série de ameaças de morte.

(…) De acordo com uma fonte anônima do “Mainichi”, os provedores não pretendem aceitar a sugestão da polícia. “A privacidade nas comunicações é vital para nós”, teria dito a fonte. A polícia disse que pretende “dar uma explicação detalhada para que os provedores entendam”.

Nova York - A organização holandesa sem fins lucrativos ´Mars One´ lançou nesta segunda-feira uma convocação para que voluntários... - por AFP

São Paulo - A TAM vende passagens mais baratas para o mesmo voo no site da companhia em inglês ou espanhol, que pode ser acessado por brasileiros normalmente.... - por Estadão Conteúdo

Enviado por Oscar Marques (oscarbmΘgmail·com):

“Olá a todos! Saiu do forno a versão 0.0.1 beta do AMAT Linux (Android Malware Analysis Toolkit), minha distribuição Linux focada em análise de Mobile Malware para Android.

Segue o link: [dunkelheit.com.br/…]

Recomendo a todos realizarem o download e o teste da mesma. Trata-se de uma versão beta e erros podem ser encontrados. Feedback, elogios, críticas e sugestões serão muito bem vindos! O lançamento da versão oficial será no evento de Segurança da Informação BHack em Belo Horizonte daqui alguns meses.” [referência: dunkelheit.com.br]

Veja imagens microscópicas incríveis que concorreram ao prêmio GE Healthcare em 2012. As fotos foram capturadas pelo telescópio GE DeltaVision OMX Blaze. O aparelho... - por Vanessa Daraya

SEATTLE - A Microsoft vai passar a usar processadores da AMD na próxima versão do Xbox, com o objetivo de cortar custos na fabricação dos consoles, e também de fazer os programadores desenvolverem mais games para a plataforma, segundo fontes próximas ao assunto informaram à Bloomberg.

O novo Xbox usaria um processador AMD com sistema embutido que combinaria as unidades centrais de processamento do console (CPUs, na sigla em inglês) com processadores gráficos. A mudança seria dramática para os adeptos do Xbox 360, já que, adotando a popular arquitetura de processadores x86, a Microsoft deixaria de lado a tecnologia até então usada no console, a Power PC da IBM — o que significa que os discos de games das versões anteriores do Xbox 360 não seriam compatíveis com a nova, contam as fontes.

A AMD só tem a ganhar com a iniciativa, ainda mais que já fornece seus processadores para a nova plataforma PlayStation 4, da Sony. A empresa de hardware, grande rival da Intel, está de olho numa fatia do mercado mundial de games, avaliado em US$ 67 bilhões, para ampliar seus horizontes além da indústria de desktops, que vem diminuindo face à competição feroz de dispositivos móveis como tablets e smartphones cada vez maiores.

Para a Microsoft, a jogada pode ser esperta por atrair mais programadores em potencial, os quais acharão mais fácil criar games para o futuro Xbox. Os usuários, no entanto, podem ser prejudicados no processo.

— Provavelmente veremos mais games porque os fabricantes de consoles vêm comentando que os estúdios e distribuidoras estão literalmente comandando o jogo, e eles também terão custos reduzidos — afirmou Richard Doherty, presidente da consultoria de tecnologia Envisioneering group. — Com a nova arquitetura, os desenvolvedores não precisarão reinventar elementos em games como fumaça, sombras e reflexos para cada máquina, podendo criá-los uma vez e então portá-los para toda a plataforma.

Acesse ao conteúdo gratuito existente na web - por Augusto Garcia

São Paulo - Uma patente registrada pela Apple indica que a empresa desenvolve uma versão similar ao Street View para seus produtos.  A patente... - por Monica Campi

São Paulo – Cientistas americanos elaboraram uma interface para Kinect que transforma o sensor em uma espécie de psiquiatra virtual. Chamado SimSansei,... - por Gabriela Ruic