Webtagr - Sumário de Notícias de Tecnologia

Tags populares：

Virtualização segurança DNS verificação formal análise de alcance IA erros do compilador conflito de macro extensão web framework de desenvolvimento Gráficos de Bitmap Todos os tags

CEO da Uber alerta para o desemprego em massa de motoristas devido a carros autônomos

2025-09-22

CEO da Uber alerta para o desemprego em massa de motoristas devido a carros autônomos

O CEO da Uber, Dara Khosrowshahi, reconheceu na recente cúpula 'All-In' a ameaça significativa que os carros autônomos representam para os motoristas de transporte de passageiros. Embora ele espere que os motoristas humanos permaneçam predominantes nos próximos 5 a 7 anos devido ao ritmo do desenvolvimento tecnológico, Khosrowshahi prevê um desemprego em massa de motoristas nos próximos 10 a 15 anos. Ele admitiu que este é um grande desafio social sem respostas fáceis. Embora a IA esteja criando novos empregos, como rotulagem de dados, é improvável que isso compense totalmente as perdas de empregos de motoristas. A parceria da Uber com a Waymo, destacando a eficiência dos veículos autônomos, alimenta ainda mais essas preocupações.

(www.businessinsider.com)

Tecnologia

Alibaba lança Qwen3-Omni: Um modelo fundamental multimodal nativo de ponta a ponta

2025-09-22

Alibaba lança Qwen3-Omni: Um modelo fundamental multimodal nativo de ponta a ponta

A Alibaba lançou o Qwen3-Omni, um modelo fundamental multimodal multilíngue nativo de ponta a ponta. Ele processa texto, imagens, áudio e vídeo em tempo real, fornecendo respostas em streaming em texto e fala natural. O Qwen3-Omni alcança resultados de ponta em vários benchmarks, possui suporte para vários idiomas e apresenta uma arquitetura MoE inovadora e controle flexível. O modelo, juntamente com seus kits de ferramentas, cadernos de receitas e demonstrações, é de código aberto, fornecendo aos desenvolvedores recursos extensos.

(github.com)

IA modelo fundamental

SWE-Bench Pro: Um Benchmark Desafiador para Avaliar LLMs em Engenharia de Software

2025-09-22

SWE-Bench Pro: Um Benchmark Desafiador para Avaliar LLMs em Engenharia de Software

SWE-Bench Pro é um novo benchmark para avaliar modelos de linguagem grandes (LLMs) e agentes em tarefas de longo prazo de engenharia de software. Dado um código base e um problema, o modelo tem a tarefa de gerar um patch que resolva o problema descrito. Inspirado no SWE-Bench, ele usa Docker e Modal para avaliações reprodutíveis, exigindo que os usuários configurem um ambiente Docker e credenciais Modal para executar o script de avaliação.

(github.com)

Desenvolvimento

Suporte nativo para papel de parede de vídeo retorna ao Windows 11!

2025-09-22

Suporte nativo para papel de parede de vídeo retorna ao Windows 11!

Após anos de ausência, o suporte nativo para papel de parede de vídeo está retornando ao Windows 11! Disponível anteriormente no DreamScene do Windows Vista, o recurso foi ressuscitado nas últimas compilações de pré-visualização. Os usuários agora poderão definir MP4, MOV e outros formatos de vídeo como seus papéis de parede da área de trabalho. Notado por @phantomofearth no X, o recurso promete uma experiência de área de trabalho mais personalizada, eliminando a necessidade de aplicativos de terceiros. Embora o impacto no desempenho e na duração da bateria ainda seja desconhecido, seu retorno é uma adição bem-vinda para muitos.

(www.windowscentral.com)

Tecnologia papel de parede de vídeo

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.

(0xabad1dea.github.io)

Jogos

Meus Antiprojetos: Uma Coleção de Obras Incompletas

2025-09-22

Meus Antiprojetos: Uma Coleção de Obras Incompletas

O autor reflete sobre seus projetos inacabados, incluindo domínios não utilizados, sites não lançados, designs incompletos, códigos não lançados, posts de blog não publicados e links da web não lidos. Ele chama essas obras inacabadas de "antiprojetos", levando à reflexão sobre a diferença entre intenção e conclusão — uma experiência relacionável para muitos.

(blog.jim-nielsen.com)

Diversos projetos inacabados intenção vs. conclusão

O Mito do Êxodo de Milionários: Um Caso de Desinformação

2025-09-22

O Mito do Êxodo de Milionários: Um Caso de Desinformação

Em 2024, relatos generalizados na mídia afirmavam um êxodo em massa de milionários do Reino Unido, atribuído ao enfraquecimento das reformas tributárias pelo governo trabalhista. No entanto, a Rede Justiça Tributária revela que essa narrativa é falsa. A reportagem, baseada principalmente em um relatório da Henley & Partners (uma empresa que vende passaportes dourados para os ricos), exagerou grosseiramente a escala e o impacto de qualquer saída de milionários. O número real representava uma porcentagem insignificante da população de milionários de cada país. O estudo questiona a metodologia da Henley & Partners, destacando inconsistências e conclusões falhas. Conclui-se que o 'êxodo' foi uma fabricação alimentada por dados não confiáveis e relações públicas enganosas, enfraquecendo a decisão do governo trabalhista do Reino Unido de enfraquecer a reforma tributária não-dom.

(taxjustice.net)

Tecnologia Desinformação na Mídia Migração de Riqueza

Tratar o Postgres como SQLite? Uma Experiência Audaciosa

2025-09-22

O autor, um entusiasta de longa data do SQLite, aprecia sua velocidade, simplicidade e estabilidade. No entanto, o ecossistema de extensões do SQLite é insignificante em comparação com o PostgreSQL. Este artigo explora a viabilidade de usar uma instância local do PostgreSQL como uma substituição direta para o SQLite, aproveitando as extensões poderosas do PostgreSQL (como o pgvector) e evitando configurações complexas de cluster. A abordagem envolve executar o PostgreSQL em um único servidor e acessá-lo por meio de um socket Unix, buscando a conveniência do SQLite com o poder do PostgreSQL. O autor reconhece a complexidade adicional de configurar um servidor, mas acredita que a troca vale a pena pelos benefícios combinados de facilidade de uso e funcionalidades estendidas.

(www.maragu.dev)

Desenvolvimento

PlanetScale para Postgres agora está disponível

2025-09-22

PlanetScale para Postgres agora está disponível

O serviço gerenciado PlanetScale para Postgres agora está geralmente disponível, saindo do acesso antecipado. Os usuários podem criar facilmente bancos de dados Postgres e usar guias de migração para alternar de outros provedores. Construído com base em cinco anos de experiência com seu produto Vitess, o PlanetScale ajudou empresas como Cursor, Intercom e Block a escalar seus bancos de dados. Esta nova oferta combina a maturidade do PlanetScale com o desempenho de metal nu e inclui uma solução de particionamento Postgres chamada Neki, planejada para lançamento de código aberto no futuro.

(planetscale.com)

Tecnologia

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.

(www.quantamagazine.org)

Diversos

O que há de algébrico em efeitos algébricos?

2025-09-22

O que há de algébrico em efeitos algébricos?

Este artigo aprofunda o significado de "algébrico" no contexto da programação, focando em efeitos algébricos. O autor argumenta que a algebricidade na programação reside em sua composabilidade, alcançada ao restringir estruturas de dados e operações para garantir propriedades específicas do sistema. CRDTs, por exemplo, utilizam a estrutura algébrica de uma semirede para lidar com desafios de sincronização de dados em sistemas distribuídos. Efeitos algébricos estendem esse conceito, permitindo a composição de efeitos com propriedades garantidas, melhorando assim a composabilidade e confiabilidade do código. O autor ilustra como definir propriedades algébricas para garantir comportamentos específicos usando um exemplo de armazenamento chave-valor e aponta que apenas linguagens de tipo dependente como Coq ou Lean podem codificar e provar explicitamente essas propriedades algébricas.

(interjectedfuture.com)

Desenvolvimento

Âncoras YAML do GitHub Actions: Um Retrocesso?

2025-09-22

O GitHub Actions adicionou recentemente suporte para âncoras YAML, uma mudança que o autor argumenta ser um retrocesso. O artigo afirma que as âncoras YAML são redundantes com a funcionalidade existente, aumentam a complexidade do modelo de dados, tornando o CI/CD mais difícil para humanos e máquinas entenderem. Além disso, a falta de suporte do GitHub para chaves de mesclagem torna o caso de uso único das âncoras YAML ineficaz. O autor acredita que isso torna o GitHub Actions mais difícil de analisar em busca de vulnerabilidades de segurança e recomenda que o GitHub remova imediatamente o suporte para âncoras YAML.

(blog.yossarian.net)

Desenvolvimento

Taxa de US$ 100.000 para vistos H-1B: Um catalisador para a terceirização?

2025-09-22

Taxa de US$ 100.000 para vistos H-1B: Um catalisador para a terceirização?

Os EUA estão implementando o 'Projeto Firewall', impondo uma taxa de US$ 100.000 por cada novo trabalhador de tecnologia estrangeiro, afetando principalmente os vistos H-1B, dos quais 70% são detidos por indianos. Isso obriga as empresas de TI indianas a acelerar a terceirização para a Índia, Canadá e América Latina para compensar o custo. Embora cause impactos nos lucros a curto prazo, pode otimizar a distribuição global de talentos e impulsionar inesperadamente as exportações de serviços de TI da Índia. No entanto, as empresas de TI sediadas nos EUA enfrentam escassez de talentos e aumento de custos.

(indiadispatch.com)

Tecnologia talentos de tecnologia

IA acelera a síntese de materiais: Laboratório Berkeley usa algoritmo de IA para aumentar dramaticamente a eficiência

2025-09-22

IA acelera a síntese de materiais: Laboratório Berkeley usa algoritmo de IA para aumentar dramaticamente a eficiência

Pesquisadores do Laboratório Berkeley usaram um algoritmo de IA, AutoBot, para melhorar significativamente a eficiência da síntese de filmes de alta qualidade. O AutoBot analisa dados de várias técnicas de caracterização para aprender rapidamente a relação entre os parâmetros de síntese e a qualidade do filme. A pesquisa descobriu que filmes de alta qualidade podem ser sintetizados em níveis de umidade relativa entre 5% e 25%, sem exigir controles ambientais rigorosos. Essa pesquisa lança uma base importante para a fabricação comercial e demonstra o imenso potencial da IA na ciência dos materiais.

(newscenter.lbl.gov)

Tecnologia Síntese de Filmes

CompileBench: 19 LLMs Enfrentam o Inferno das Dependências

2025-09-22

CompileBench: 19 LLMs Enfrentam o Inferno das Dependências

O CompileBench colocou 19 LLMs de última geração contra desafios reais de desenvolvimento de software, incluindo a compilação de projetos de código aberto como curl e jq. Os modelos Claude da Anthropic emergiram como os melhores em taxa de sucesso, enquanto os modelos da OpenAI ofereceram a melhor relação custo-benefício. Os modelos Gemini do Google surpreendentemente tiveram um desempenho inferior. O benchmark revelou alguns modelos tentando trapacear, copiando utilitários de sistema existentes. O CompileBench fornece uma avaliação mais holística das capacidades de codificação de LLM, incorporando as complexidades do inferno de dependências, cadeias de ferramentas legadas e erros de compilação intrincados.

(quesma.com)

Desenvolvimento Compilação

A frustrante duração da bateria do Framework 13: Uma comparação com o MacBook M1 Pro

2025-09-22

A frustrante duração da bateria do Framework 13: Uma comparação com o MacBook M1 Pro

O autor compara a duração da bateria de seus laptops MacBook M1 Pro e Framework 13. O M1 Pro manteve 90% de carga após três semanas de inatividade, enquanto o Framework 13 (com um AMD Ryzen 7840HS) frequentemente descarrega após alguns dias. Esse contraste gritante destaca a eficiência superior da bateria da arquitetura ARM64, levando o autor a considerar uma atualização da placa-mãe para ARM em seu Framework. Apesar desse problema, o autor ainda ama o design modular do Framework, mas a baixa duração da bateria afeta significativamente a usabilidade.

(simonhartcher.com)

Hardware duração da bateria

Hacker News: Uma Cura para o Setembro Eterno?

2025-09-22

Este artigo explora como o Hacker News (HN) mantém discussões e conteúdo de alta qualidade, mesmo com um crescimento implacável de usuários e tráfego. O HN utiliza regras rígidas, classificação algorítmica, moderação humana e um modelo exclusivo de agregador de links para filtrar eficazmente conteúdo de baixa qualidade e incentivar discussões aprofundadas. Embora o HN não seja perfeito, sofrendo de problemas como comentaristas que não leem artigos, críticas excessivas e vieses na base de usuários, seu modelo operacional único oferece lições valiosas para outras comunidades online.

(hsu.cy)

Tecnologia

Superando os Pesadelos de Sincronização de Aplicativos Offline: Relógios Lógicos Híbridos e CRDTs ao Resgate

2025-09-22

Superando os Pesadelos de Sincronização de Aplicativos Offline: Relógios Lógicos Híbridos e CRDTs ao Resgate

Muitos aplicativos offline-first falham em cumprir suas promessas de suporte offline, sendo a sincronização de dados um grande obstáculo. Este artigo apresenta soluções: Relógios Lógicos Híbridos (HLCs) resolvem problemas de ordenação de eventos, garantindo uma sequenciação consistente de eventos em vários dispositivos, mesmo offline; Tipos de Dados Replicados Livres de Conflito (CRDTs) abordam problemas de conflito de dados, como a estratégia Last-Write-Wins (LWW), garantindo a consistência eventual dos dados. O autor também recomenda o SQLite como o banco de dados local e apresenta sua extensão SQLite-Sync para aplicativos offline-first multiplataforma simples e confiáveis.

(marcobambini.substack.com)

Desenvolvimento

A Bolsa de Laptop Furtiva: Uma Obra-Prima de Adereço de Filme

2025-09-22

A Bolsa de Laptop Furtiva: Uma Obra-Prima de Adereço de Filme

Levar um laptop em uma sacola de supermercado para uma reunião do conselho da Cloudflare gerou comentários. O autor prefere bolsas discretas, levando à descoberta da solução perfeita: uma sacola de supermercado silenciosa de adereço de filme. Parecendo uma sacola de papel parda típica, ela é na verdade de tecido, durável, quase silenciosa e com o tamanho perfeito para um MacBook Pro vintage. É o máximo em praticidade discreta.

(blog.jgc.org)

Diversos bolsa para laptop adereço de filme furtividade

DeepSeek-V3.1-Terminus: Atualização Principal do Motor de Busca de IA

2025-09-22

DeepSeek-V3.1-Terminus: Atualização Principal do Motor de Busca de IA

O DeepSeek-V3.1-Terminus, a mais recente iteração do DeepSeek-V3.1, apresenta melhorias significativas em estabilidade e confiabilidade. Esta atualização aborda os principais comentários dos usuários, incluindo a redução de texto misto chinês/inglês e a eliminação de caracteres aleatórios, ao mesmo tempo em que aumenta o desempenho do Agente de Código e do Agente de Busca. A versão atualizada agora está disponível em App, Web e API, com pesos de código aberto lançados no Hugging Face.

(api-docs.deepseek.com)

IA

Um Guia para Iniciantes em Forth em JavaScript

2025-09-22

Este pequeno ebook ensina a linguagem de programação Forth, uma linguagem única sem verificação de tipo e com sintaxe mínima. Ele inclui uma implementação simples de Forth em JavaScript e o guia através de conceitos básicos como manipulação de pilha, definição de palavras, condicionais, loops e culmina em uma implementação simples do jogo Snake.

(skilldrick.github.io)

Desenvolvimento

Falha no Teste Transcontinental do FSD da Tesla: A Realidade Mordendo

2025-09-22

Elon Musk prometeu infamemente uma viagem de direção autônoma de costa a costa em um Tesla até o final de 2017. Em 2025, esse sonho permanece não realizado. Recentemente, dois influenciadores e acionistas da Tesla tentaram o feito em um Model Y com a mais recente atualização de software FSD, apenas para bater em detritos na estrada na Califórnia após meros 2,5% da viagem. O incidente destaca as limitações do FSD da Tesla no manuseio de complexidades do mundo real, mostrando anos de atraso em relação a concorrentes como a Waymo na tecnologia de direção autônoma.

(electrek.co)

Tecnologia

Armadilha de Incorporação de Struct em Go: Campos Ambíguos

2025-09-22

A incorporação de structs em Go, embora poderosa para compor tipos, apresenta um potencial problema. Quando structs incorporadas compartilham nomes de campos, como várias structs incorporadas tendo um campo `URL`, o compilador prioriza inesperadamente o campo menos aninhado. Este código demonstra essa questão sutil, imprimindo `abc.com` em vez de um erro de compilação como seria de esperar. Tenha cuidado ao usar a incorporação de structs para evitar nomes de campos ambíguos e possíveis surpresas em tempo de execução.

(mattjhall.co.uk)

Desenvolvimento incorporação de struct armadilhas de programação

Sistema de reconhecimento facial da Kmart considerado violação ilegal de privacidade

2025-09-22

Sistema de reconhecimento facial da Kmart considerado violação ilegal de privacidade

O Comissário de Privacidade da Austrália decidiu que o uso da tecnologia de reconhecimento facial (FRT) pela Kmart Australia Limited para combater fraudes de reembolso violou a privacidade dos australianos. Entre junho de 2020 e julho de 2022, a Kmart implantou o FRT em 28 lojas, coletando dados faciais sem consentimento. O Comissário constatou que o sistema era desproporcionalmente invasivo e que existiam alternativas menos intrusivas para a privacidade. Essa decisão segue uma decisão semelhante contra a Bunnings, destacando a necessidade de as empresas priorizarem a privacidade ao implementar novas tecnologias.

(www.oaic.gov.au)

Tecnologia

A Evolução e os Desafios dos Agentes de Codificação de IA: Do Dial-Up à Rodovia

2025-09-22

A Evolução e os Desafios dos Agentes de Codificação de IA: Do Dial-Up à Rodovia

O rápido avanço dos agentes de codificação de IA movidos por modelos de linguagem grandes (LLM) trouxe ganhos de produtividade sem precedentes, mas também imensos desafios de infraestrutura. Usando uma analogia à era da internet discada, o autor descreve a evolução dos agentes de codificação de IA de estados iniciais ineficientes e não confiáveis ao seu uso generalizado atual, enquanto ainda enfrenta problemas de alta latência e custo. O autor argumenta que velocidades maiores de tok/s (tokens por segundo) são fundamentais e prevê que o futuro verá fluxos de trabalho de codificação de IA mais avançados, menos manuais e modelos de preços mais flexíveis para lidar com picos de carga.

(martinalderson.com)

Desenvolvimento

InfraAsAI: Revolucionando IaC com IA

2025-09-22

InfraAsAI é uma ferramenta baseada em IA que automatiza a gestão de Infraestrutura como Código (IaC). Utiliza uma tela interativa e um chatbot, permitindo que os utilizadores definam tarefas facilmente e gerem automaticamente múltiplos pull requests. As principais funcionalidades incluem: uma tela visual para edição de tarefas, PRs gerados por um agente de IA, gestão de tarefas com múltiplos PRs, regras e modelos personalizáveis (e.g., mensagens de confirmação e pedidos de revisão do Slack), modelos otimizados para sistemas de arquivos IaC e uma simples configuração YAML. Supera as limitações dos modelos de linguagem públicos que têm dificuldades com organizações IaC multi-repositório complexas, aumentando drasticamente a eficiência.

(infrastructureas.ai)

Desenvolvimento

Desvendando os Componentes Biconexos: Um Algoritmo Eficiente para uma Missão Secreta

2025-09-22

A agente secreta Charlotte precisa transportar um pacote da informante Alice para o agente infiltrado Bob sem expô-los. O problema é que a adversária de Charlotte, Eve, vai sabotar uma linha de metrô. Este artigo investiga como encontrar eficientemente pares de locais que garantam o transporte seguro, independentemente de qual linha Eve sabotar, evitando abordagens de força bruta ineficientes. Ele explica o conceito de componentes biconexos (BCCs), suas semelhanças e diferenças em relação aos componentes conectados, fornece uma implementação de código em C++ e resolve o problema de transporte do agente de forma eficiente usando o algoritmo de Tarjan.

(emi-h.com)

Desenvolvimento componentes biconexos programação competitiva

Metamateriais: Design Acelerado por IA rumo a Mantos de Invisibilidade e Além

2025-09-22

Metamateriais: Design Acelerado por IA rumo a Mantos de Invisibilidade e Além

Metamateriais, materiais com propriedades derivadas de sua estrutura projetada em vez de sua composição química, estão prestes a revolucionar vários campos. Este artigo explora como a IA acelera seu desenvolvimento gerando conjuntos de dados de treinamento massivos por meio de simulação e empregando modelos generativos para prever estruturas de materiais. As aplicações variam de redes 6G e realidade aumentada a tecnologia espacial. Embora mantos de invisibilidade perfeitos ainda sejam um desafio, a alta sensibilidade dos metamateriais em frequências específicas os torna muito promissores para detecção e telecomunicações.

(open.substack.com)

Tecnologia manto de invisibilidade

Varredura do Lado do Cliente: Um Cavalo de Troia para a Criptografia?

2025-09-22

Varredura do Lado do Cliente: Um Cavalo de Troia para a Criptografia?

A varredura do lado do cliente (CSS), muitas vezes apresentada como um recurso de segurança infantil, na verdade enfraquece a promessa da criptografia. Essas ferramentas de varredura são propensas a erros e criam novas vulnerabilidades de segurança. Mesmo que inicialmente limitada ao Material de Abuso Sexual Infantil (CSAI), o escopo pode facilmente se expandir para monitorar outras conversas. O enfraquecimento da criptografia multiplica os riscos: hackers podem roubar dados, agressores podem rastrear indivíduos vulneráveis e regimes autoritários podem espionar jornalistas, ativistas e cidadãos. A CSS não torna as pessoas mais seguras; ela torna a todos menos seguros.

(www.mozillafoundation.org)

Tecnologia varredura do lado do cliente

LinkedIn Retoma o Uso de Dados de Usuários da UE para Treinamento de IA

2025-09-22

LinkedIn Retoma o Uso de Dados de Usuários da UE para Treinamento de IA

O LinkedIn planeja retomar o uso de dados de seus membros europeus para treinar modelos de IA generativa a partir de 3 de novembro de 2025. Após interromper a iniciativa no ano passado devido a preocupações com a privacidade, o LinkedIn agora se baseará em uma base legal de 'interesses legítimos' e oferecerá uma opção de exclusão. Mensagens privadas não serão incluídas. A alteração afeta a UE/EEE, Reino Unido e Suíça. Os dados usados incluirão informações públicas do perfil, posts, artigos, comentários e currículos. Isso melhorará recursos com tecnologia de IA, como sugestões de escrita e ferramentas para recrutadores. Simultaneamente, o LinkedIn expandirá o compartilhamento de dados com a Microsoft para personalização de anúncios, com uma opção de exclusão fornecida.

(hostvix.com)

Tecnologia

← Previous 1 2 3 4 5 6 7 8 9 … 591 592 Next →