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

Arquivo de cartazes de HIV/AIDS de Harvard: Uma história visual da comunicação em saúde pública

2025-05-14

O arquivo digital da Biblioteca de Harvard com mais de 3.000 cartazes sobre a epidemia de HIV/AIDS revela a evolução da comunicação em saúde pública. Cartazes iniciais priorizavam imagens simples e impactantes e uma única mensagem emocionalmente ressonante com um claro apelo à ação (número de telefone, site, agora código QR). Campanhas posteriores diversificaram as mensagens para públicos variados, mudando de abordagens baseadas na vergonha para abordagens positivas e afirmativas. Os pesquisadores enfatizam a cocriação de mensagens com os públicos-alvo para melhor impacto. O arquivo destaca o progresso alcançado com prevenção e tratamento modernos (PrEP, antivirais), com o objetivo de acabar com a transmissão do HIV e prevenir mais mortes, contrastando as limitações do passado com as capacidades atuais para eliminar novas infecções.

(news.harvard.edu)

Tecnologia Comunicação em Saúde

Pergunta de criança leva a descoberta inesperada: O mistério dos dedos enrugados

2025-05-14

Pergunta de criança leva a descoberta inesperada: O mistério dos dedos enrugados

O professor Guy German da Universidade de Binghamton e sua equipe investigaram por que os dedos enrugam após imersão prolongada na água. Contrariamente à crença popular, eles descobriram que a enrugada não se deve ao inchaço da pele, mas sim à contração dos vasos sanguíneos sob a pele. Notavelmente, experimentos repetidos mostraram que os padrões de rugas permanecem consistentes em várias imersões, ligados à posição relativamente estável dos vasos sanguíneos. A pesquisa até descobriu inesperadamente que indivíduos com danos no nervo mediano não experimentam essa enrugada. Essa descoberta tem potenciais aplicações forenses, como melhorar as técnicas de identificação de impressões digitais.

(www.binghamton.edu)

Tecnologia pele

Audible usa IA para revolucionar a produção de audiolivros

2025-05-13

Audible usa IA para revolucionar a produção de audiolivros

A Audible da Amazon está revolucionando a indústria de audiolivros com sua nova tecnologia de produção baseada em IA. Isso permite que editores convertam livros em audiolivros facilmente usando uma variedade de vozes geradas por IA com diferentes sotaques e idiomas. Uma nova ferramenta de tradução por IA expandirá ainda mais o acesso global, traduzindo entre inglês, espanhol, francês, italiano e alemão. Os editores podem escolher entre um serviço totalmente gerenciado pela Audible ou uma opção de autoatendimento. Essa inovação promete aumentar significativamente a produção de audiolivros e a acessibilidade global.

(www.theverge.com)

Tecnologia

Assistente de Prova Matemática Interativo Construído com Python e SymPy

2025-05-13

Um desenvolvedor criou um assistente de prova matemática interativo usando Python e a biblioteca SymPy. Ele prova semi-automaticamente estimativas assintóticas envolvendo funções escalares. Imitando o assistente de prova Lean, a ferramenta suporta aritmética linear e aritmética log-linear, permitindo que os usuários guiem o processo de prova fornecendo táticas de alto nível. Atualmente funcionando no modo interativo do Python, uma interface gráfica do usuário está planejada para o futuro. O desenvolvedor pretende expandir a ferramenta para lidar com uma gama mais ampla de tarefas matemáticas, como a estimativa de normas de espaços funcionais.

(terrytao.wordpress.com)

Desenvolvimento

Conquistando Rust: Dicas práticas para evitar armadilhas comuns

2025-05-13

Conquistando Rust: Dicas práticas para evitar armadilhas comuns

Este artigo resume erros comuns cometidos por aprendizes de Rust e oferece conselhos práticos. O principal é mudar sua mentalidade: trate o compilador como um colaborador, não um adversário, e use ativamente suas mensagens de erro para aprender. O autor sugere começar com exemplos simples, aumentando gradualmente a complexidade e dominando conceitos essenciais como propriedade e tempo de vida. Além disso, o artigo enfatiza a atenção aos detalhes, leitura da documentação da biblioteca padrão e aprimoramento de habilidades por meio de prática e revisões de código.

(corrode.dev)

Desenvolvimento dicas de desenvolvimento

Zig vs. Rust: Uma Imersão Profunda na Segurança de Memória

2025-05-13

Este artigo mergulha em uma comparação detalhada entre Zig e Rust no que diz respeito à segurança de memória. Rust, com seu poderoso sistema de prova em tempo de compilação, virtualmente elimina vulnerabilidades de segurança de memória. Embora o Zig melhore o C com recursos como tipos de fatia e verificação de limites, ele ainda é suscetível a problemas de segurança de memória, como uso após liberação e estouro de buffer. O autor usa experiência pessoal e dados de projetos para demonstrar a vantagem de segurança de memória do Rust em projetos grandes, mas também sugere o uso potencial do Zig em cenários específicos, como dentro de sandboxes Wasm. O sucesso futuro do Zig pode depender do desenvolvimento de mitigações de tempo de execução de baixo custo.

(www.scattered-thoughts.net)

Desenvolvimento

arXivLabs: Projetos Experimentais com Colaboradores da Comunidade

2025-05-13

arXivLabs é uma estrutura que permite a colaboradores desenvolverem e compartilharem novos recursos do arXiv diretamente no nosso site. Indivíduos e organizações que trabalham com o arXivLabs abraçaram e aceitaram nossos valores de abertura, comunidade, excelência e privacidade dos 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.

(arxiv.org)

Desenvolvimento

A Jornada de um Iniciante no Café de Torra Leve

2025-05-13

Crescendo com Jolt Cola, o autor experimentou vários substitutos de refrigerante após sua saída do mercado sueco, finalmente se estabelecendo com Volt Cola em 2013. No entanto, problemas de saúde o levaram a experimentar café. Inicialmente detestando seu amargor e alta temperatura, ele começou a experimentar café de torra leve por motivos de saúde. Inspirado pelo legendário especialista em café do YouTube, James Hoffmann, ele adquiriu um moedor e um Clever Dripper, experimentando vários grãos de café antes de encontrar seu tipo preferido, leve e suculento. O post termina com um convite aos leitores para compartilharem recomendações de grãos de café.

(ostwilkens.se)

Diversos torra leve recomendações de grãos de café

YC Acusa o Google de Sufocamento de Startups de IA

2025-05-13

YC Acusa o Google de Sufocamento de Startups de IA

A Y Combinator, uma renomada aceleradora de startups, entrou com um documento de amicus curiae no caso antitruste dos EUA contra o Google, acusando o gigante das buscas de sufocar o ecossistema de startups dos EUA. A YC afirma que o monopólio do Google impede investimentos em startups de busca na web e IA que poderiam desafiar sua dominância, levando à estagnação. A YC pede que o Google tome medidas, como abrir seu índice de busca, e sugere a desinvestimento forçado se as mudanças não forem feitas em cinco anos. A situação é complicada pelas parcerias existentes da YC com o Google e seus laços estreitos com a OpenAI, uma concorrente direta do Google.

(techcrunch.com)

Startup

Android Reforça FRP: Ignorar o Assistente de Configuração Força Redefinição de Fábrica

2025-05-13

Android Reforça FRP: Ignorar o Assistente de Configuração Força Redefinição de Fábrica

O Google está reforçando a Proteção de Redefinição de Fábrica (FRP) do Android para combater o roubo de telefones. A melhoria detecta tentativas de ignorar o assistente de configuração e força uma segunda redefinição de fábrica, impedindo o uso não autorizado até que a propriedade anterior seja verificada por meio da conta do Google ou do bloqueio de tela. Essa atualização significativa de segurança no Android se baseia nas melhorias do Android 15, tratando métodos de desvio que antes não eram bloqueados. O recurso é esperado para mais tarde este ano, possivelmente em um lançamento trimestral da plataforma Android 16 (QPR).

(www.androidauthority.com)

Tecnologia Antirroubo

De um Ano a Semanas: Otimizando o Compartilhamento de Grafos de Programas em um Compilador

2025-05-13

O autor passou mais de um ano resolvendo um problema de serialização de grafo de programa de um compilador. A solução inicial era confusa e difícil de manter. Colaborando com outros e reformulando o problema como a busca do Menor Ancestral Comum Único (LSCA) no grafo, ele aproveitou bibliotecas de algoritmos LCA existentes e técnicas inteligentes de programação preguiçosa. O resultado é uma solução elegante com tempo linear, um terço do tamanho da original, resolvendo efetivamente gargalos de desempenho.

(reasonablypolymorphic.com)

Desenvolvimento compartilhamento de grafo de programa

Limpeza eficiente de arquivos excluídos logicamente em armazenamento de objetos: Lições do WarpStream

2025-05-13

Limpeza eficiente de arquivos excluídos logicamente em armazenamento de objetos: Lições do WarpStream

Esta publicação detalha a experiência do autor na limpeza eficiente de arquivos excluídos logicamente em armazenamento de objetos ao construir sistemas distribuídos. Usar políticas de bucket ou exclusão síncrona diretamente, ambos têm falhas: as políticas de bucket não conseguem lidar com sistemas complexos com necessidades variadas de retenção de dados, enquanto a exclusão síncrona pode levar a arquivos órfãos. O autor compara filas de atraso e reconciliação assíncrona, adotando finalmente uma abordagem híbrida: introduzindo uma "fila de exclusão otimista" nos agentes WarpStream, combinada com reconciliação assíncrona, para limpeza eficiente e econômica de arquivos, evitando efetivamente arquivos órfãos. Essa abordagem aproveita as características do sistema e considera a tolerância a falhas e a recuperação de desastres.

(www.warpstream.com)

Desenvolvimento

Data Centers Espaciais: A Solução para o Problema de Energia da IA?

2025-05-13

Data Centers Espaciais: A Solução para o Problema de Energia da IA?

A StarCloud está construindo data centers no espaço para aproveitar a energia solar abundante e o resfriamento radiativo passivo para treinar modelos de IA grandes no futuro. Eles planejam lançar satélites progressivamente maiores anualmente, eventualmente atingindo escala de gigawatts, resolvendo os desafios de energia, água e permissões dos data centers terrestres. Sua equipe é composta por especialistas líderes em aeroespacial, software e finanças, com seu primeiro satélite sendo lançado em maio de 2025.

(www.ycombinator.com)

Tecnologia data center espacial

Vinho de Palma de Alta Tecnologia: Uma Abordagem Biotecnológica para uma Bebida Tradicional

2025-05-13

Vinho de Palma de Alta Tecnologia: Uma Abordagem Biotecnológica para uma Bebida Tradicional

O vinho de palma, uma bebida culturalmente significativa em partes da África e Ásia, raramente chegou ao mercado americano devido à sua perecibilidade. Onye Ahanotu, um artista e engenheiro de materiais, está usando a biotecnologia para mudar isso. Ao criar uma solução de açúcar estável molecularmente idêntica à seiva de palma e combiná-la com levedura e bactérias provenientes da Nigéria, ele desenvolveu um vinho de palma comercialmente viável. Sua abordagem é análoga à fabricação de diamantes em laboratório, em vez da colheita tradicional. Enquanto isso, a empreendedora nigeriana Daniella Ekwueme também está impulsionando sua marca Pamii para o mercado americano, focando em um público mais jovem e em uma experiência de consumo conveniente. Os esforços de ambos os empreendedores estão prontos para oferecer aos consumidores americanos mais opções e preencher uma lacuna no mercado.

(www.atlasobscura.com)

Tecnologia Bebida Tradicional

CocoIndex: Construindo Grafos de Conhecimento com LLMs

2025-05-13

CocoIndex: Construindo Grafos de Conhecimento com LLMs

CocoIndex simplifica a construção e manutenção de grafos de conhecimento com atualizações contínuas da fonte de dados. Este post de blog demonstra o uso de Modelos de Linguagem Grandes (LLMs) para extrair relações de documentos, construindo um grafo de conhecimento com relações de entidades e menções de entidades, e exportando-o para o Neo4j. O processo abrange a adição de fontes de dados, a coleta de dados, a extração de relações, a construção do grafo de conhecimento e a exportação e consulta no Neo4j.

(cocoindex.io)

Desenvolvimento

Dusk OS: Um sistema operacional minimalista para o mundo pós-colapso

2025-05-13

Dusk OS é um sistema operacional de 32 bits baseado em Forth, projetado para a sobrevivência em um cenário de colapso civilizacional. Ele prioriza agressivamente a simplicidade, sacrificando alguns recursos para eficiência extrema e facilidade de operação. Usando um compilador "quase C", o Dusk OS porta facilmente código C UNIX existente e possui uma pegada incrivelmente pequena (um sistema completo tem menos de 6000 linhas de código). É totalmente auto-hospedado, roda suavemente em hardwares mais antigos e possui uma densidade de potência notavelmente alta, desafiando a cultura de software convencional.

(duskos.org)

Desenvolvimento

A Medusa Imortal: Enganando a Morte

2025-05-13

Diferente da maioria das águas-vivas, a Turritopsis dohrnii, ou água-viva imortal, pode reverter seu ciclo de vida. Quando estressada, ela se transforma de medusa em pólipo, efetivamente rejuvenescendo a si mesma. Esse processo, chamado transdiferenciação, permite que ela potencialmente viva indefinidamente. No entanto, ela não é verdadeiramente imortal; predadores ainda representam uma ameaça. Sua propagação global provavelmente se deve a atividades humanas, particularmente água de lastro em navios.

(www.nhm.ac.uk)

Tecnologia água-viva imortal inversão do ciclo de vida transdiferenciação

Modo desktop secreto do Android da Google: Um concorrente do DeX em desenvolvimento

2025-05-13

Modo desktop secreto do Android da Google: Um concorrente do DeX em desenvolvimento

O Google está secretamente desenvolvendo um modo desktop semelhante ao DeX para Android, detectado antecipadamente em um telefone Pixel. Este modo possui uma barra de tarefas para aplicativos fixados e recentes, permitindo vários aplicativos em janelas livres e redimensionáveis. Embora esteja incompleto e provavelmente não seja lançado com o Android 16, esta adaptação do sistema de janelas do tablet Android para monitores externos indica uma melhoria significativa na experiência do Android em telas grandes, podendo chegar com o Android 17.

(www.androidauthority.com)

Desenvolvimento modo desktop Android multi-janela

Material 3 Expressive: Uma experiência Android mais expressiva

2025-05-13

Material 3 Expressive: Uma experiência Android mais expressiva

Construído sobre o premiado design Material You, o Google apresenta o Material 3 Expressive, trazendo uma experiência de telefone mais personalizada e expressiva para os usuários do Android. Ele aprimora as rotinas diárias com animações mais suaves e efeitos mais naturais e elásticos. Por exemplo, descartar uma notificação afeta sutilmente as notificações vizinhas, juntamente com feedback háptico satisfatório. Isso torna o Android mais humano, acessível e voltado para as necessidades do usuário.

(blog.google)

Desenvolvimento

Odisseia de 53 anos de sonda soviética a Vênus termina em queda no oceano

2025-05-13

Odisseia de 53 anos de sonda soviética a Vênus termina em queda no oceano

Kosmos 482, uma sonda soviética para Vênus lançada em 1972, terminou sua jornada de 53 anos ao redor da Terra com uma queda no Oceano Índico em 10 de maio. Um mau funcionamento do foguete impediu que ela chegasse a Vênus, deixando-a em órbita terrestre. A resistência atmosférica acabou a derrubando, com a localização exata ainda incerta, mas estimada perto da Indonésia. O evento destaca o crescente problema do lixo espacial; o aumento do número de satélites e detritos aumenta o risco de futuras reentradas e danos potenciais.

(www.space.com)

Tecnologia Lixo espacial Reentrada de satélite

Mensagens RCS ultrapassam 1 bilhão de mensagens diárias nos EUA

2025-05-13

Mensagens RCS ultrapassam 1 bilhão de mensagens diárias nos EUA

O Google anunciou no Android Show que o protocolo RCS (Rich Communication Services) agora lida com mais de 1 bilhão de mensagens por dia nos EUA. Este marco segue anos de esforços do Google para que a Apple adote o RCS no iOS, melhorando as mensagens entre plataformas. Anteriormente, a comunicação entre usuários do Android e iOS sofria com imagens borradas, má administração de bate-papos em grupo e outros problemas. Embora o iOS 18 finalmente tenha adicionado suporte ao RCS, a Apple mantém os bate-papos do RCS com bolhas verdes, preservando a vantagem do iMessage.

(techcrunch.com)

Tecnologia Protocolo de Mensagens

Protocolo OpenTelemetry e Apache Arrow: Fase 2 em Rust

2025-05-13

A fase 2 do projeto Protocolo OpenTelemetry com Apache Arrow (OTel-Arrow) está em andamento, focando na construção de pipelines de telemetria de alto desempenho usando Rust. Esta fase investiga uma abordagem de zero-cópia e colunar do SDK ao pipeline, buscando ganhos significativos de eficiência para grandes fluxos de telemetria. A integração com o ecossistema Go existente do OpenTelemetry Collector é um objetivo principal, juntamente com a interoperabilidade aprimorada com tecnologias de data lake como o Apache DataFusion.

(opentelemetry.io)

Desenvolvimento

2025: Por que os bancos ainda estão errando tanto na autenticação?

2025-05-13

2025: Por que os bancos ainda estão errando tanto na autenticação?

Em 2025, o autor teve problemas para acessar sua conta bancária do TD Bank devido à desativação do seu SIM card canadense durante uma viagem aos EUA. Isso expôs as falhas do sistema de autenticação baseado em SMS, que até mesmo o aplicativo proprietário do banco exigia um código SMS para login, criando uma dependência circular. O autor critica o uso generalizado de métodos de autenticação de dois fatores (2FA) baseados em SMS desatualizados e inseguros pelos bancos. Ele defende alternativas modernas e fáceis de usar, como passkeys, suporte TOTP e chaves de segurança de hardware. O incidente destaca a necessidade urgente de os bancos priorizarem tanto a segurança quanto a usabilidade em seus sistemas de autenticação.

(jamal.haba.sh)

Tecnologia segurança bancária

Mill: Uma Revolução nas Ferramentas de Construção Inspirada no React

2025-05-13

Mill é uma ferramenta de construção única que adota decisões de design centrais do React.js: construções de estilo direto e uma única linguagem de uso geral. Ao contrário das ferramentas de construção tradicionais que dependem de callbacks e várias linguagens, o Mill permite que os desenvolvedores escrevam funções que retornam diretamente os artefatos de construção finais, com o Mill lidando automaticamente com o armazenamento em cache, paralelização e otimização. Essa abordagem simplifica o processo de construção, melhora a legibilidade e a manutenibilidade e aprimora a integração do IDE.

(mill-build.org)

Desenvolvimento ferramenta de construção

PyPI lança contas de organização para maior sustentabilidade

2025-05-13

PyPI lança contas de organização para maior sustentabilidade

O Python Package Index (PyPI) introduziu contas de organização para melhorar a sustentabilidade da plataforma e a experiência do usuário. Este recurso permite que equipes criem contas autogerenciadas com endereços web exclusivos, simplificando o gerenciamento para grandes projetos e empresas que lidam com várias sub-equipes e pacotes. Projetos da comunidade podem usar isso gratuitamente, enquanto projetos corporativos incorrem em uma pequena taxa. Toda a receita será reinvestida na melhoria do suporte e da infraestrutura do PyPI. Isso aborda o crescimento do PyPI em downloads e largura de banda, e permite tempos de resposta mais rápidos. O recurso é totalmente opcional e não afetará os usuários existentes.

(blog.pypi.org)

Desenvolvimento Contas de Organização

Lidando com Option em Rust com Elegância: Além do unwrap()

2025-05-13

Lidando com Option em Rust com Elegância: Além do unwrap()

Lidar com a variante `None` do tipo `Option` em Rust é um problema comum. Este artigo explora alternativas mais seguras ao `unwrap()`, focando em um tratamento robusto de `None`. Começa disseccionando o erro de compilação ao usar o operador `?` diretamente e os riscos em tempo de execução do `unwrap()`. Em seguida, detalha três abordagens: `ok_or()`, instruções `match`, e a expressão `let-else` (introduzida no Rust 1.65), comparando seus prós e contras. `let-else` surge como a melhor prática recomendada devido à sua concisão, legibilidade e facilidade de manutenção, levando a um código mais robusto e compreensível.

(corrode.dev)

Desenvolvimento

AG-UI: Um Novo Protocolo para Interação entre Agente de IA e Frontend

2025-05-13

AG-UI: Um Novo Protocolo para Interação entre Agente de IA e Frontend

AG-UI é um protocolo aberto, leve e baseado em eventos que padroniza como agentes de IA se conectam a aplicativos de front-end. Ele suporta vários tipos de eventos e métodos de transporte, e possui uma camada intermediária flexível que garante compatibilidade entre diferentes ambientes. Já integrado a várias estruturas de agentes populares, o AG-UI permite bate-papo em tempo real, sincronização bidirecional de estado, IU generativa e muito mais. Com uma biblioteca de cliente React e clientes de mensagens (em desenvolvimento com o AWS SNS), o AG-UI oferece uma solução simples, porém poderosa, para a construção de aplicativos baseados em IA.

(github.com)

Desenvolvimento interação de front-end

Modelo de Incorporação de Texto do Chrome Diminui 57%, Mantém o Desempenho

2025-05-13

Modelo de Incorporação de Texto do Chrome Diminui 57%, Mantém o Desempenho

A última atualização do Chrome inclui um novo modelo de incorporação de texto que é 57% menor (35,14 MB versus 81,91 MB) que seu predecessor, mantendo praticamente o mesmo desempenho em tarefas de pesquisa semântica. A redução de tamanho foi alcançada por meio da quantização da matriz de incorporação da precisão float32 para int8. Essa otimização melhora significativamente a eficiência de armazenamento para o Chrome, o que é particularmente benéfico em dispositivos com armazenamento limitado, como smartphones e tablets econômicos, sem sacrificar a qualidade da pesquisa.

(dejan.ai)

Tecnologia Pesquisa Semântica

Inverno da IA: Um Engenheiro de Software Sênior Enfrenta o Desemprego

2025-05-13

Inverno da IA: Um Engenheiro de Software Sênior Enfrenta o Desemprego

Um engenheiro de software sênior com mais de 20 anos de experiência relata suas lutas com o desemprego após a revolução da IA. Dono de três casas, ele é obrigado a depender do Doordash para sobreviver após perder o emprego devido a demissões impulsionadas pela IA. Apesar de atualizar suas habilidades, criar conteúdo no YouTube e considerar mudanças de carreira, ele teve pouco sucesso. Ele pede uma reavaliação social do papel do trabalho e do dinheiro na vida, argumentando que depender apenas do trabalho para sobreviver não é mais viável na era da IA.

(shawnfromportland.substack.com)

Tecnologia desemprego por IA dificuldades econômicas

Modo Desktop do Android do Google: Um Desafio ao DeX?

2025-05-13

Modo Desktop do Android do Google: Um Desafio ao DeX?

O Google está desenvolvendo uma nova interface de desktop para telefones Android chamada "Desktop View", com uma barra de tarefas persistente e janelas livres redimensionáveis. Isso representa um passo significativo na direção de oferecer uma experiência multitarefa semelhante à de um PC, potencialmente desafiando a dominância do Samsung DeX. Embora ainda esteja em desenvolvimento, o "Desktop View" já possui recursos impressionantes, como uma barra de tarefas persistente, janelas redimensionáveis e funcionalidade de arrastar e soltar, sugerindo uma poderosa experiência de desktop para usuários de Android além dos dispositivos Samsung.

(tech.yahoo.com)

Desenvolvimento Multitarefa

← Previous 1 2 … 239 240 241 242 243 244 245 246 247 … 595 596 Next →