Programa de Uma Década Desvenda Conjectura Matemática Secular

2025-09-22
Programa de Uma Década Desvenda Conjectura Matemática Secular

Dois matemáticos executaram um programa por mais de uma década, finalmente refutando a antiga conjectura da aditividade. Usando um banco de dados massivo que eles construíram, processaram milhões de nós, encontrando finalmente um contra-exemplo que quebrou a conjectura. Esta história destaca o poder da persistência e da metodologia inteligente, demonstrando os imensos desafios ocultos em problemas matemáticos aparentemente simples.

Leia mais
Diversos

Resultados do 1º trimestre da Apple: Receita recorde, futuro impulsionado por IA

2025-01-31
Resultados do 1º trimestre da Apple: Receita recorde, futuro impulsionado por IA

A Apple anunciou seus resultados financeiros para o primeiro trimestre fiscal de 2025 (quarto trimestre de 2024), relatando uma receita recorde de US$ 124,3 bilhões, um aumento de 4% em relação ao ano anterior. O lucro por ação subiu 10%, para US$ 2,40. As receitas de Serviços, Mac e iPad registraram crescimento significativo, enquanto iPhone e Vestíveis apresentaram pequenas quedas. O CEO Tim Cook destacou este como o melhor trimestre da Apple, enfatizando o papel da Apple Intelligence na melhoria da experiência do usuário e na impulsionamento do crescimento futuro. A Apple Intelligence terá suporte para mais idiomas em abril. A teleconferência de resultados também forneceu orientação para o próximo trimestre, projetando um crescimento de receita de um dígito baixo a médio.

Leia mais

Avanço Quântico: Comunicação Quântica de 254 km em Infraestrutura Existente

2025-04-24
Avanço Quântico: Comunicação Quântica de 254 km em Infraestrutura Existente

Cientistas alemães alcançaram um avanço na comunicação quântica, transmitindo mensagens quânticas por 254 quilômetros de rede de fibra óptica comercial existente. Este é um recorde mundial, utilizando um protocolo de distribuição de chave quântica de campo duplo baseado em coerência. O experimento transmitiu com sucesso informações entre três centros de dados (Frankfurt, Kehl e Kirchfeld) sem a necessidade de resfriamento criogênico, demonstrando a viabilidade de protocolos avançados de comunicação quântica na infraestrutura de telecomunicações preexistente e abrindo caminho para uma internet quântica.

Leia mais

Bluesky lança verificação com check azul para aumentar a confiança

2025-04-21
Bluesky lança verificação com check azul para aumentar a confiança

Para aumentar a confiança do usuário, a plataforma de mídia social descentralizada Bluesky introduziu um novo sistema de verificação de contas. Este sistema apresenta dois tipos de verificações azuis: um check azul padrão emitido proativamente pelo Bluesky para contas notáveis e autênticas, e um check azul com borda ondulada emitido por verificadores confiáveis, como o The New York Times. Os usuários podem ver a origem da verificação e optar por ocultar todas as marcas de verificação. Atualmente, o Bluesky não está aceitando solicitações diretas de verificação, mas lançará um formulário de solicitação no futuro.

Leia mais

Pebble está de volta!

2025-01-27
Pebble está de volta!

Após anos de silêncio, o amado smartwatch Pebble está de volta! O fundador Eric Migicovsky e sua equipe estão desenvolvendo um novo smartwatch semelhante ao Pebble, rodando o sistema operacional PebbleOS de código aberto. Este renascimento é graças ao Google ter aberto o código-fonte do SO e ao apoio contínuo da comunidade Rebble. O novo relógio manterá a simplicidade, a longa duração da bateria e adicionará novos recursos interessantes. Inscreva-se para garantir o seu!

Leia mais
Hardware

Viagem nostálgica: Por que os computadores antigos eram mais divertidos

2025-04-18

Este artigo explora por que gerações mais velhas acham os computadores antigos mais divertidos do que os modernos. O autor argumenta que a simplicidade e as limitações do hardware antigo – processadores lentos, resoluções baixas, memória limitada – forçavam a resolução criativa de problemas, tornando a experiência mais envolvente. A internet, em grande parte baseada em texto, promovia uma interação humana mais forte, sem a publicidade e o consumo passivo de conteúdo de hoje. O autor afirma que o apelo estava na exclusividade; apenas aqueles verdadeiramente apaixonados por computadores investiam tempo, criando uma comunidade unida. À medida que os computadores se tornaram onipresentes e fáceis de usar, esse aspecto único desapareceu, substituído pela acessibilidade, mas ao custo da profundidade e do desafio.

Leia mais

Microsoft nega ligação entre atualização do Windows e falhas em SSDs/HDDs

2025-08-30
Microsoft nega ligação entre atualização do Windows e falhas em SSDs/HDDs

Usuários relataram falhas em SSDs e HDDs e corrupção de dados após a instalação da atualização de segurança do Windows 11 24H2 de agosto. A Microsoft investigou e não encontrou nenhuma conexão entre a atualização e os problemas relatados. No entanto, eles aconselham os usuários com unidades com mais de 60% de espaço ocupado a evitar escrever arquivos grandes. A Microsoft está colaborando com parceiros de dispositivos de armazenamento para investigar mais a fundo. Os discos afetados incluem, segundo relatos, aqueles da Corsair, SanDisk e Kioxia, com problemas ocorrendo principalmente durante operações de gravação pesada. Embora algumas unidades tenham se recuperado após a reinicialização, outras permaneceram inacessíveis.

Leia mais

Dia Nu CSS: Uma Celebração dos Padrões da Web

2025-04-09
Dia Nu CSS: Uma Celebração dos Padrões da Web

A cada 9 de abril é o Dia Nu do CSS, um evento que promove padrões da web removendo todo o estilo CSS dos sites. Isso revela a estrutura HTML subjacente, enfatizando a marcação semântica e uma boa hierarquia. Começado em 2006, o evento incentiva os desenvolvedores a priorizar código limpo e compatível com os padrões. É um lembrete divertido, mas importante, dos princípios fundamentais do desenvolvimento web.

Leia mais
Desenvolvimento Padrões da Web

Criador de Logos Funcional a Partir de um Único Prompt: Potencial e Limitações de LLMs

2025-04-25
Criador de Logos Funcional a Partir de um Único Prompt: Potencial e Limitações de LLMs

O autor gerou um criador de logos totalmente funcional, incluindo opções de exportação, a partir de um único prompt no Aider. Trechos de código demonstram a capacidade do LLM de gerar links de fontes, dependências e estilos CSS embutidos, incluindo até mesmo o hash SHA mais recente de uma biblioteca CDN vinculada. No entanto, ao expandir o código usando o Sonnet 3.7, a complexidade do projeto aumentou significativamente, resultando em código não compilável. O autor explora as diferenças nas capacidades de geração e expansão de código entre diferentes LLMs (como Claude e GPT-4o), e o impacto do tamanho da janela de contexto, limites de saída e outros fatores nos aplicativos LLM. As limitações das janelas de contexto e dos limites de saída em LLMs são destacadas como desafios importantes.

Leia mais

Lâmpadas Philips Hue ganham detecção de movimento integrada com Hue MotionAware

2025-09-05
Lâmpadas Philips Hue ganham detecção de movimento integrada com Hue MotionAware

A Philips Hue anunciou uma atualização significativa para suas lâmpadas inteligentes: detecção de movimento integrada. O Hue MotionAware usa detecção de radiofrequência (RF) para detectar movimento sem sensores extras, aproveitando o sinal Zigbee entre as lâmpadas. Isso requer o novo Hue Bridge Pro (US$ 99) e funciona com a maioria das lâmpadas com alimentação de rede a partir de 2014. O MotionAware cria zonas para detecção de movimento, cobrindo áreas maiores do que os sensores PIR tradicionais e integrando-se ao Hue Secure para recursos de segurança, como luzes piscantes e alertas. A automação de iluminação é gratuita, mas as notificações de segurança exigem uma assinatura.

Leia mais
Hardware

Gatehouse-TS: Uma Biblioteca de Autorização Flexível e sem Dependências em TypeScript

2025-04-13
Gatehouse-TS: Uma Biblioteca de Autorização Flexível e sem Dependências em TypeScript

Gatehouse-TS é uma biblioteca de autorização flexível e sem dependências, escrita em TypeScript, combinando políticas de controle de acesso baseadas em função (RBAC), baseadas em atributos (ABAC) e baseadas em relacionamento (ReBAC). Uma porta da popular biblioteca Gatehouse Rust, ela possui uma API fácil de usar, suporta composição de políticas com operadores lógicos, oferece rastreamento detalhado de avaliação para depuração e fornece uma API de construtor fluente para criação de políticas personalizadas. Seu design leve e documentação abrangente tornam-na facilmente integrável e adaptável a vários projetos.

Leia mais

Build do Windows 11 Insider recebe botão Copilot no Paint

2025-02-03
Build do Windows 11 Insider recebe botão Copilot no Paint

Uma nova versão do Windows 11 Insider (26120.3073) introduz um botão Copilot no Microsoft Paint, simplificando o acesso a recursos de IA generativa como Cocreator, Image Creator, Generative Erase e Remove Background. Esses recursos já existiam, mas o botão melhora o fluxo de trabalho. A atualização também inclui pesquisa de fotos na nuvem (somente para PCs Copilot+) e correções de bugs para a barra de tarefas, bandeja do sistema e explorador de arquivos. Esta é uma prévia para Insiders; a disponibilidade para a versão estável do Windows 11 não foi anunciada.

Leia mais
Desenvolvimento

Bug de 8 Anos no GTA Online: Um Conserto de 13 Linhas Expõe Problemas Sistêmicos em Grandes Empresas de Tecnologia

2025-04-08
Bug de 8 Anos no GTA Online: Um Conserto de 13 Linhas Expõe Problemas Sistêmicos em Grandes Empresas de Tecnologia

O programador t0st consertou um bug de oito anos no GTA Online que causava tempos de carregamento extremamente longos, obtendo uma redução de 70% com apenas 13 linhas de código. Isso gerou um debate sobre os processos de desenvolvimento de grandes empresas de jogos. O artigo argumenta que o problema principal não são desenvolvedores preguiçosos, mas um sistema de priorização caótico, mudança de propriedade do código e foco em lucros de curto prazo, levando a um grande acúmulo de bugs. Embora seja uma vitória de RP para a Rockstar, o conserto de t0st não solucionou os problemas sistêmicos subjacentes em grandes empresas.

Leia mais

O Futuro da Terra: Venus Lite ou Algo Mais?

2025-09-22
O Futuro da Terra: Venus Lite ou Algo Mais?

Um novo estudo simula o destino da Terra em 3,5 bilhões de anos, quando a subducção em larga escala cessar. Mesmo no melhor cenário, as simulações mostram a temperatura da superfície da Terra excedendo 100 graus Celsius, tornando-se um planeta fervente. No entanto, mesmo com o aumento do CO2 atmosférico, a Terra não alcançaria os níveis extremos de Vênus. Isso sugere que o estado infernal de Vênus pode resultar de um evento catastrófico único, em vez de um simples efeito estufa descontrolado. Esta pesquisa desafia suposições anteriores e contribui significativamente para nossa compreensão do estado terminal dos planetas rochosos.

Leia mais
Tecnologia futuro da Terra

Paleta de arco-íris de 12 bits para National Grid: Live

2025-04-28

Este artigo descreve uma paleta de arco-íris de 12 bits projetada para o National Grid: Live. A paleta consiste em doze cores cuidadosamente escolhidas, considerando a percepção humana de luminância, croma e matiz. Usando uma profundidade de cor de 12 bits, cada cor requer apenas quatro caracteres hexadecimais, tornando-a eficiente para uso em CSS ou SVG. O design aborda as limitações das paletas RGB padrão, aproveitando o espaço de cor LCH, resultando em um espectro de arco-íris visualmente agradável e com transições suaves. Esta paleta oferece eficiência e apelo estético.

Leia mais

Adeus às vulnerabilidades de strings C: Uma abordagem mais segura para manipulação de strings

2024-12-21

Cansado das vulnerabilidades e insegurança das strings C? Este artigo apresenta uma alternativa inteligente: uma struct de string personalizada `struct str`, que contém um ponteiro de dados e o comprimento, evitando os riscos associados à terminação nula. A experiência de seis meses do autor em um ambiente bare-metal demonstra que essa abordagem previne eficazmente erros como estouro de buffer. Embora o uso da macro `STR` seja um pouco verboso, o aumento na segurança e legibilidade supera isso. As otimizações do compilador também tornam a perda de desempenho insignificante, oferecendo uma nova abordagem para desenvolvedores que priorizam a segurança do código.

Leia mais

SoilScanner: Detectando Contaminação por Chumbo com Ondas de Rádio

2025-01-04
SoilScanner: Detectando Contaminação por Chumbo com Ondas de Rádio

Pesquisadores da Cornell University desenvolveram o SoilScanner, um dispositivo portátil que usa sinais de radiofrequência e aprendizado de máquina para detectar contaminação por chumbo no solo. O dispositivo envia ondas de rádio através de uma amostra de solo e analisa como o solo afeta o sinal para determinar os níveis de chumbo. O SoilScanner atingiu 72% de precisão nos testes de amostras de solo reais e uma taxa de erro zero para níveis de chumbo acima de 500 ppm. Essa tecnologia promete tornar a detecção de chumbo mais barata e acessível, auxiliando nos esforços de remediação ambiental.

Leia mais

Formalizando o Último Teorema de Fermat no Lean: Um Projeto Open Source Colaborativo

2025-08-21

Uma colaboração internacional liderada por Kevin Buzzard está empreendendo a tarefa ambiciosa de provar formalmente o Último Teorema de Fermat usando o verificador de teoremas Lean. Financiado pelo Conselho de Pesquisa em Engenharia e Ciências Físicas do Reino Unido e sediado no Imperial College London, este projeto explora os limites da verificação de provas matemáticas. Ao usar um computador para verificar a prova, o projeto explora o potencial da formalização e da verificação automatizada em matemática, com implicações para pesquisas futuras.

Leia mais
Desenvolvimento

NASA flexibiliza restrições para comandantes de missões privadas de astronautas na ISS

2025-04-05
NASA flexibiliza restrições para comandantes de missões privadas de astronautas na ISS

O mais recente chamado da NASA para propostas de missões privadas de astronautas para a Estação Espacial Internacional (ISS) abre portas para que astronautas que não sejam da NASA comandem essas missões. Este pedido faz parte do esforço maior da NASA para comercializar a órbita terrestre baixa, com o objetivo final de substituir a ISS por estações comerciais. Embora inicialmente exigisse que os comandantes fossem ex-astronautas da NASA com experiência em voo, a nova proposta permite comandantes de agências espaciais canadenses, europeias ou japonesas, oferecendo oportunidades para ex-astronautas que agora trabalham com empresas de voos espaciais comerciais como a Axiom Space, que contratou ex-astronautas da ESA e JAXA. Essa competição deve ser mais intensa do que as anteriores, com a Vast também expressando interesse em licitar, além da Axiom Space, que venceu todas as licitações anteriores.

Leia mais

Nova marca d'água do ChatGPT: Um jogo de gato e rato?

2025-04-21
Nova marca d'água do ChatGPT: Um jogo de gato e rato?

A equipe da Rumi descobriu que os modelos GPT mais novos (o3 e o4-mini) incorporam marcas d'água de caracteres especiais, principalmente espaços estreitos sem quebra de linha, em textos gerados mais longos. Esses são invisíveis a olho nu, mas detectáveis com editores de código ou ferramentas online. Embora potencialmente úteis para detectar conteúdo gerado por IA, eles são facilmente removidos. Isso pode causar grande atenção entre os alunos, levando a OpenAI a remover o recurso. A Rumi defende uma abordagem focada no processo para a escrita de alunos, enfatizando a alfabetização em IA em vez de soluções técnicas facilmente contornadas.

Leia mais

Engenheiro(a) de Machine Learning na Two Dots (YC)

2025-01-08
Engenheiro(a) de Machine Learning na Two Dots (YC)

A Two Dots, uma startup de fintech apoiada pelo Y Combinator, está contratando um(a) Engenheiro(a) de Machine Learning com salário de US$ 200.000 a US$ 250.000. Eles estão usando IA para revolucionar o processo de empréstimos, com o objetivo de prevenir futuras crises financeiras como a de 2008. A função envolve a manutenção de pipelines de aprendizado de máquina (imagens de documentos, linguagem natural, números) e requer fortes habilidades de trabalho em equipe. É um cargo híbrido em São Francisco, com 5 dias por semana no escritório.

Leia mais
IA

Corretoras de dados escondem opções de exclusão de dados na Califórnia

2025-08-14
Corretoras de dados escondem opções de exclusão de dados na Califórnia

A lei da Califórnia exige que as corretoras de dados forneçam maneiras para os consumidores excluírem seus dados, mas muitas empresas estão tornando incrivelmente difícil encontrar essas opções. Uma investigação da The Markup e CalMatters revelou que mais de 30 corretoras de dados usaram código para impedir que mecanismos de busca indexassem suas páginas de exclusão de dados. Isso torna quase impossível para os californianos exercerem seu direito à remoção de dados. Embora algumas empresas tenham removido o código após serem contatadas, outras não responderam ou afirmaram que o código era para evitar spam. Isso destaca os desafios da proteção da privacidade de dados e a resistência passiva de algumas empresas em cumprir a lei.

Leia mais

Moonraker de James Bond: Uma Divergência Selvagem de Ficção Científica do Material Original

2025-04-05
Moonraker de James Bond: Uma Divergência Selvagem de Ficção Científica do Material Original

A franquia James Bond é conhecida por suas significativas mudanças em relação aos romances originais, e *Moonraker* exemplifica isso perfeitamente. O romance de Ian Fleming de 1955, um thriller de espionagem da Guerra Fria centrado na ameaça de armas nucleares na Europa, tem pouca semelhança com a adaptação cinematográfica de 1979. Capitalizando na moda da ficção científica da época, o filme mudou a história para o espaço, incorporando vários elementos de ficção científica e alcançando sucesso de bilheteria. No entanto, essa adaptação se distancia drasticamente dos temas e da atmosfera originais. Este artigo investiga as razões por trás das alterações do filme e seu impacto significativo no material original, sugerindo uma possível refilmagem do romance original para revitalizar a franquia.

Leia mais

Contaminação por IA: A Incorporação Permanente do Termo Sem Sentido 'Microscopia Eletrônica Vegetativa'

2025-04-22
Contaminação por IA: A Incorporação Permanente do Termo Sem Sentido 'Microscopia Eletrônica Vegetativa'

Um estudo revela como o termo sem sentido 'microscopia eletrônica vegetativa' se tornou permanentemente incorporado em sistemas de IA. Originário de erros durante a digitalização de artigos científicos da década de 1950 e amplificado por erros de tradução, essa frase foi aprendida e gerada por grandes modelos de linguagem. Isso destaca a falta de transparência nos dados de treinamento de modelos de IA, a dificuldade de corrigir erros e os desafios à integridade do conhecimento. Os pesquisadores pedem maior transparência nos dados de treinamento de IA, processos de revisão por pares aprimorados e novas maneiras de avaliar informações na era da desinformação gerada por IA.

Leia mais
Tecnologia

O Mistério da Evolução do Cérebro das Aves: Estruturas Semelhantes, Evolução Independente

2025-04-08
O Mistério da Evolução do Cérebro das Aves: Estruturas Semelhantes, Evolução Independente

Uma nova pesquisa, utilizando sequenciamento de RNA de célula única, revela semelhanças surpreendentes nas estruturas cerebrais de aves e mamíferos, apesar de seus caminhos evolutivos distintos. Cientistas há muito se questionam como as aves, sem neocórtex, possuem habilidades cognitivas complexas. O estudo descobriu que a crista ventricular dorsal (DVR) aviária reflete funcionalmente o neocórtex de mamíferos, mas seu desenvolvimento, tipos de células e tempo de geração diferem significativamente, sugerindo evolução independente em vez de herança de um ancestral comum. Isso desafia crenças antigas sobre a evolução do cérebro e sugere que nossa compreensão de 'inteligência ideal' pode ser muito estreita.

Leia mais

Desvendando Pokémon Emerald: Um Comentário sobre seu Código-Fonte Descompilado

2025-09-22

Este livro, "The Emerald Source Code Commentary", examina meticulosamente o código-fonte de Pokémon Emerald, inspirando-se em "A Commentary on the Sixth Edition Unix Operating System". Aproveitando o trabalho de descompilação do PRET, ele oferece uma perspectiva única sobre a estrutura e implementação do jogo. Embora o código-fonte original seja não autorizado, o projeto criou um novo banco de código descompilado que recompila perfeitamente para a ROM oficial em inglês. Esta análise detalhada fornece insights inestimáveis ​​sobre o desenvolvimento de um jogo clássico.

Leia mais
Jogos

arXivLabs: Projetos Experimentais com Colaboradores da Comunidade

2025-04-09
arXivLabs: Projetos Experimentais com Colaboradores da Comunidade

arXivLabs é uma estrutura que permite a colaboradores desenvolverem e compartilharem novos recursos do arXiv diretamente em nosso site. Indivíduos e organizações que trabalham com o arXivLabs adotaram e aceitaram nossos valores de abertura, comunidade, excelência e privacidade de dados do usuário. O arXiv está comprometido com esses valores e trabalha apenas com parceiros que os respeitam. Tem uma ideia para um projeto que agregará valor à comunidade do arXiv? Saiba mais sobre o arXivLabs.

Leia mais
Desenvolvimento

Lógica para Programadores: Uma Introdução Suave ao Cálculo de Sequentes

2025-01-22

Esta postagem, a primeira de uma série sobre lógica, introduz o cálculo de sequentes como um sistema poderoso para raciocínio. Usando a notação de Gentzen, o autor explica como representar inferências lógicas simbolicamente, cobrindo regras de inferência, árvores de derivação e metavariáveis. O artigo compara o cálculo de sequentes, a dedução natural de sequentes e a dedução natural, e aborda o cálculo de sequentes unilateral e a lógica intuicionista. Finalmente, ele apresenta brevemente os termos de prova na lógica intuicionista e sua conexão com o lambda cálculo simplesmente tipado.

Leia mais

Curso de Compilador Incremental: De Tiger para Assembly x86-64 em OCaml

2025-04-05

Este é um curso de compilador altamente prático com o objetivo de construir um compilador que traduz a linguagem Tiger de alto nível para código de máquina x86-64. O curso usa OCaml e enfatiza o desenvolvimento orientado a testes, controle de versão e reuso de código. Ele emprega uma abordagem de desenvolvimento incremental e iterativo, expandindo gradualmente os recursos da linguagem e do compilador, aproveitando o estilo tagless-final para maior extensibilidade. O curso cobre tópicos padrão de compiladores, como análise, verificação de tipo, otimização e geração de assembly, mas de uma maneira não tradicional.

Leia mais
Desenvolvimento desenvolvimento incremental

Metástase Global de Call Centers de Golpes: Uma Expansão Criminosa Mundial

2025-04-23
Metástase Global de Call Centers de Golpes: Uma Expansão Criminosa Mundial

A ONU alerta que os call centers de golpes estão se espalhando pelo mundo como um câncer, com sindicatos criminosos expandindo suas operações globalmente. Repressões na Ásia Oriental e Sudeste Asiático levaram as operações a migrarem para regiões com regulamentações mais permissivas, incluindo África, Ásia do Sul, partes das ilhas do Pacífico e até mesmo ligações com lavagem de dinheiro e recrutamento na Europa e América do Norte. Esses grupos aproveitam as habilidades linguísticas locais para ampliar seu grupo de vítimas e aumentar drasticamente os lucros. O relatório estima ganhos anuais entre US$ 27,4 bilhões e US$ 36,5 bilhões, visando regiões com governança fraca. Ações de aplicação da lei resultaram em prisões de estrangeiros envolvidos em fraudes e crimes cibernéticos; por exemplo, 77 suspeitos, incluindo 22 cidadãos chineses, foram presos na Zâmbia em abril de 2024. Embora dados confiáveis sejam limitados na América do Sul, grupos criminosos asiáticos estão expandindo a infraestrutura de fraudes e jogos de azar online e forjando parcerias de lavagem de dinheiro com redes locais de tráfico de drogas. Na Europa, Geórgia e Turquia se tornaram hotspots de ciberfraude. Além disso, sindicatos criminosos estabelecem empresas aparentemente legítimas (hotéis, cassinos, agências de viagens) em nações insulares do Pacífico para ocultar jogos de azar ilegais online, tráfico de drogas e pessoas, contrabando de migrantes e lavagem de dinheiro. A ONU recomenda o fortalecimento das estruturas regulatórias e o fornecimento de recursos às autoridades para combater esses crimes.

Leia mais
1 2 29 30 31 33 35 36 37 595 596