O icônico celular Nokia 3210, conhecido como 'tijolão' nos anos 1999, faz um retorno triunfante com uma versão moderna do popular jogo da 'cobrinha', combinando nostalgia com funcionalidades atualizadas.

O sol liberou a maior erupção solar em mais de uma década na terça-feira, no entanto, após uma semana sendo atingida por plasma, a Terra poderia estar segura desta vez.

Cientistas encontram um novo planeta com tamanho 50% maior que Júpiter, porém sete vezes menos massivo devido à sua densidade extraordinariamente baixa, que se assemelha a algodão doce.

O APT 2.9.3 apresenta a primeira iteração do novo solucionador codinome solver3, agora disponível com a opção --solver 3.0. O novo solucionador opera de maneira fundamentalmente diferente do antigo. Como funciona? O Solver3 é um algoritmo totalmente de resolução de dependências de retrocesso que adia as escolhas o máximo possível. Ele começa com um conjunto vazio de pacotes, adiciona os pacotes instalados manualmente e, em seguida, instala pacotes automaticamente conforme necessário para satisfazer as dependências.

Estamos avançando com a verificação formal de programas Rust com nossa ferramenta coq-of-rust, traduzindo o código Rust para o sistema de prova formal Coq. Uma das limitações que encontramos foi lidar com construções primitivas da biblioteca padrão do Rust, como Option::unwrap_or_default e todas as outras funções primitivas. Para cada uma dessas funções, tivemos que fazer uma definição em Coq para representar seu comportamento. Isso é tedioso e propenso a erros.

Com 120 menções à frase 'IA', o que poderia ser senão um evento repleto de novidades? Nós reunimos as mais importantes.

A primeira atualização de software do Pixel 8a traz o patch de segurança do Android de maio de 2024 e o gerador de papel de parede com inteligência artificial do Google.

O GPT-4o alcançou um avanço revolucionário em sua capacidade de memória, superando desafios semelhantes a encontrar uma agulha em um palheiro.

Ilya Sutskever, co-fundador e diretor de pesquisa da OpenAI, anuncia sua saída da empresa para buscar novas oportunidades e desafios no campo da inteligência artificial.

A OpenAI revelou seu mais recente avanço com o lançamento do GPT-4o, uma nova geração de inteligência artificial generativa. Além de prever seu lançamento gratuito nas próximas semanas, a atualização promete capacidade de compreensão de imagens, possibilitando a resolução de equações e tradução simultânea.

As empresas Apple e Google uniram forças para lançar um novo padrão que permite aos celulares Android e iOS identificarem e bloquearem automaticamente rastreadores, visando proteger os usuários contra espionagem indesejada por terceiros.

Fique por dentro das inovações apresentadas no evento Google I/O 2024, incluindo os aprimoramentos no projeto Gemini e os novos modelos de inteligência artificial voltados para imagens e vídeos.

O famoso 'tijolão' da Nokia retorna ao mercado europeu após um quarto de século, oferecendo um design retrô, bateria de longa duração e acesso ao YouTube, incluindo o jogo da cobrinha e a função Shorts.

A NOAA relatou apagões de rádio por volta das 12h51 ET sobre os EUA. As interrupções foram causadas por uma poderosa explosão solar que ocorreu no sol na terça-feira.

O lançamento da cápsula foi adiado na semana passada devido a um problema com o foguete, mas agora, uma nova questão técnica relacionada à Starliner forçou outro adiamento.

Apresentamos o mais recente modelo Gemini Flash, projetado para máxima velocidade e eficiência, com uma janela de contexto de até um milhão de tokens. Este novo modelo oferece um desempenho aprimorado para lidar com tarefas que demandam agilidade e eficiência.

Pontos flutuantes de plasma criam imagens pequenas e tocáveis

Um sumário sobre métodos de medição do tempo utilizados antes da invenção dos relógios, incluindo técnicas baseadas em observações astronômicas, como o movimento do sol e das estrelas, e dispositivos mecânicos primitivos.

No primeiro dia do Google I/O 2024, o Google apresentou novos recursos para o Gemini AI, que incluem ajuda com tarefas escolares e detecção de golpes.

Elon Musk expressou desaprovação em relação à revelação do OpenAI, incluindo comentários sobre a transformação do ChatGPT em uma namorada virtual.