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

Emulador JIT aarch64 em Rust: Um Olá, Mundo!

2025-08-30

O autor criou um emulador de arquitetura de conjunto de instruções aarch64 usando Rust e o compilador JIT Cranelift. O artigo detalha o processo, da instrução da máquina virtual para a execução de código nativo, cobrindo decodificação de instruções, tradução JIT, gerenciamento de memória e emulação de dispositivos. Uma simulação PL011 UART foi implementada, e o gdbstub permite depuração. O emulador atualmente executa programas simples de bare-metal, com objetivos futuros incluindo suporte de inicialização do Linux. O desenvolvimento futuro focará no tratamento de exceções, suporte de temporizador, implementação de MMU e um controlador de interrupção.

(pitsidianak.is)

Desenvolvimento

Codificação com IA: Quão longe estamos da programação totalmente autônoma?

2025-08-29

Codificação com IA: Quão longe estamos da programação totalmente autônoma?

Embora as ferramentas de codificação de IA demonstrem capacidades impressionantes em conclusão de código e correção de erros, um novo estudo revela que a IA ainda tem um longo caminho a percorrer antes de se tornar uma verdadeira programadora. A pesquisa destaca os desafios que a IA enfrenta no tratamento de grandes bases de código, lógica complexa e planejamento de longo prazo, levando a alucinações e erros. Melhorar a colaboração entre IA e humanos, como melhorar as interfaces e permitir que a IA entenda e comunique melhor a incerteza, será crucial. Em última análise, o papel da IA na codificação provavelmente se concentrará em aumentar a eficiência e mudar os níveis de abstração, em vez de substituir completamente os programadores humanos.

(spectrum.ieee.org)

Desenvolvimento

Iniciando na Indústria de Games: Conselhos de um Veterano

2025-08-29

Um desenvolvedor de jogos experiente compartilha sua jornada, desde aprender desenvolvimento de jogos na década de 1990 até aconselhar aspirantes a desenvolvedores de jogos hoje. O artigo enfatiza a importância da autoaprendizagem e o uso de ferramentas modernas, como o ChatGPT, para aprendizagem eficiente. Também aconselha a se concentrar em dominar uma habilidade específica e compartilha insights sobre os desafios e oportunidades do desenvolvimento de jogos indie, incluindo a seleção de plataformas (Steam, Roblox, Fortnite). Por fim, oferece conselhos de carreira, enfatizando a demonstração de valor e a busca de emprego proativa.

(garry.net)

Jogos

SGLang: Implementação de código aberto que iguala o desempenho do sistema de inferência do modelo de linguagem amplo DeepSeek

2025-08-29

SGLang: Implementação de código aberto que iguala o desempenho do sistema de inferência do modelo de linguagem amplo DeepSeek

O DeepSeek, um popular modelo de linguagem amplo (LLM) de código aberto, possui um desempenho impressionante. No entanto, seu tamanho massivo e arquitetura exclusiva (usando Atenção Latente Multi-cabeça e Mistura de Especialistas) exigem um sistema sofisticado para servir de forma eficiente em larga escala. Este blog detalha como alcançamos quase paridade com o desempenho do sistema de inferência do DeepSeek usando o SGLang. Nossa implementação, rodando em 12 nós (cada um com 8 GPUs H100) na nuvem Atlas, utiliza desagregação de preenchimento prévio-decodificação e paralelismo de especialistas em larga escala (EP), atingindo 52,3k tokens de entrada/segundo e 22,3k tokens de saída/segundo por nó para sequências de entrada de 2000 tokens. Este é, até onde sabemos, a primeira implementação de código aberto a quase igualar a taxa de transferência relatada do DeepSeek em larga escala, a aproximadamente um quinto do custo da API oficial DeepSeek Chat.

(lmsys.org)

IA Modelo de Linguagem Amplo Inferência de Modelo

Vazamento do Documento FMECA do Sig Sauer P320 Escala em Tribunal de Apelações

2025-08-29

A batalha legal sobre o sigilo do documento de Análise de Modos de Falha, Efeitos e Criticidades (FMECA) do Sig Sauer P320 se intensifica. A redação do The Trace interveio no recurso, pressionando pela divulgação de registros importantes e destacando o papel do Practical Shooting Insights na publicação do documento não adulterado. A Sig Sauer contra-argumenta com preocupações de segurança nacional, mas o documento FMECA foi amplamente disseminado online, incluindo uma discussão por um executivo da Sig Sauer que direcionou os ouvintes para o site. O tribunal decidirá se permitirá a intervenção e se manterá a forte presunção de acesso público a registros de certificação de classe. O caso tem implicações significativas para a proteção do consumidor e a segurança do produto.

(practicalshootinginsights.com)

Tecnologia

Converte de Documentação do Desenvolvedor Apple para Markdown: Um Projeto Não Oficial

2025-08-29

Esta é uma ferramenta não oficial que converte páginas individuais do desenvolvedor Apple em Markdown sob demanda. Ela não rastreia, indexa ou baixa em massa; respeita as medidas de autenticação e segurança; e implementa limitação de taxa para evitar sobrecarga nos servidores da Apple. O conteúdo é armazenado em cache brevemente para melhorar o desempenho (cerca de 30 minutos), mas nenhum arquivo permanente é mantido. Todos os direitos autorais permanecem com a Apple. Cada página convertida contém um link para a fonte original. O uso está sujeito aos Termos de Uso da Apple e às leis aplicáveis.

(sosumi.ai)

Desenvolvimento Desenvolvedor Apple conversor

Resolvendo o Cubo Mágico Eficientemente com Representações Aprendidas: Sem Heurísticas Artesanais Necessárias

2025-08-29

Na IA clássica, a percepção depende da aprendizagem de representações espaciais, enquanto o planejamento — raciocínio temporal sobre sequências de ações — é tipicamente alcançado através de busca. Este trabalho explora representações que capturam estruturas espaciais e temporais. O aprendizado contrastivo temporal padrão frequentemente falha devido a recursos espúrios. Os autores introduzem Representações Contrastivas para Raciocínio Temporal (CRTR), usando amostragem negativa para remover esses recursos e melhorar o raciocínio temporal. CRTR se destaca em tarefas temporais complexas como Sokoban e Cubo Mágico, resolvendo este último mais rápido que o BestFS (embora com soluções mais longas). Notavelmente, esta é a primeira demonstração de resolução eficiente de estados arbitrários do Cubo Mágico usando apenas representações aprendidas, eliminando a necessidade de heurísticas de busca artesanais.

(princeton-rl.github.io)

IA Raciocínio Temporal Aprendizado Contrastivo

Republicanos Investigam a Wikipédia: Um Ataque Conservador ao Ecossistema de Informação?

2025-08-29

Republicanos Investigam a Wikipédia: Um Ataque Conservador ao Ecossistema de Informação?

Os representantes republicanos James Comer e Nancy Mace estão investigando a Wikipédia, alegando buscar evidências de viés, particularmente sentimento anti-Israel. Isso é visto como parte de um esforço conservador mais amplo para controlar o ecossistema de informação, após tentativas de controlar as mídias sociais e desfinanciar a radiodifusão pública. O resultado da investigação e as possíveis ações permanecem incertos, mas certamente serão controversos.

(gizmodo.com)

Tecnologia controle de informação

Qual a probabilidade de um erro de digitação em um endereço de Bitcoin causar um problema?

2025-08-29

Existe a preocupação de enviar acidentalmente Bitcoin para um endereço errado devido a erros de digitação. Este artigo usa probabilidades de checksum, o tamanho vasto do espaço de endereços e cálculos de distância de edição para demonstrar a probabilidade extremamente baixa disso acontecer. Mesmo considerando endereços que estão a uma pequena distância de edição um do outro, a probabilidade de um erro de digitação levar a uma colisão com outro endereço válido no espaço de endereços enorme é insignificante. Portanto, erros de digitação de endereço não são um risco importante no uso do Bitcoin.

(www.johndcook.com)

Tecnologia

Facebook está secretamente enviando fotos de usuários para a nuvem?

2025-08-29

Facebook está secretamente enviando fotos de usuários para a nuvem?

A Meta, empresa controladora do Facebook, está testando um novo recurso que secreta e silenciosamente envia fotos e vídeos do celular dos usuários para a nuvem, sem consentimento explícito, para gerar sugestões baseadas em IA, como colagens, retrospectivas mensais e álbuns temáticos. Embora a Meta afirme que o recurso é opcional e solicita aos usuários, alguns relatam não ter visto o aviso e descobriram que o recurso estava ativado por padrão. Isso levanta sérias preocupações de privacidade, pois a Meta acessa fotos e vídeos privados e não compartilhados pelos usuários. O teste está atualmente limitado aos EUA e Canadá, excluindo Illinois e Texas devido às leis de privacidade.

(www.zdnet.com)

Tecnologia Privacidade no Facebook

Ember: Automatizando a área administrativa da saúde para melhor atendimento ao paciente

2025-08-27

Ember: Automatizando a área administrativa da saúde para melhor atendimento ao paciente

A Ember está construindo o futuro das operações de saúde, simplificando as complexas tarefas administrativas - faturamento, gestão do ciclo de receita, etc. - que sobrecarregam os prestadores de serviços. Sua plataforma de automação inteligente integra-se perfeitamente aos fluxos de trabalho existentes, reduzindo o trabalho manual e fornecendo visibilidade em tempo real do desempenho financeiro e operacional. Isso permite que os prestadores de serviços de saúde se concentrem no que mais importa: seus pacientes.

(www.ycombinator.com)

Tecnologia

Armadilhas de Tipos Anuláveis em C#: Quando T? Não é o Que Você Pensa

2025-08-29

A reutilização da sintaxe `T?` em C# para tipos de valor anuláveis e tipos de referência anuláveis cria confusão. Para tipos de valor, `T?` é açúcar sintático para `Nullable`, representando tipos distintos. No entanto, para tipos de referência, `T?` é meramente um marcador de intenção; após a compilação, `T?` e `T` são o mesmo tipo. Essa diferença leva a erros de compilação ao escrever métodos genéricos. O artigo demonstra esse problema com um método `SelectNotNull` que imita o `List.choose` do F#. A solução envolve sobrecarga de métodos com restrições de tipo (`where TR : class` e `where TR : struct`) para desambiguar tipos de valor e referência. Embora o problema seja resolvido, o design permanece inelegante.

(einarwh.no)

Desenvolvimento Tipos Anuláveis

Mouse de ar Wear OS: Emulador de dispositivo Bluetooth HID

2025-08-29

Mouse de ar Wear OS: Emulador de dispositivo Bluetooth HID

Este projeto demonstra a nova API de dispositivo Bluetooth HID no Android P, implementando uma simulação simples de mouse de ar e teclas de cursor em um dispositivo Wear OS. Conecte-se a laptops e desktops executando Windows, Linux, Chrome OS, macOS ou Android TV sem software adicional - apenas um receptor Bluetooth é necessário. A utilização da biblioteca Google VR para rastreamento de orientação garante uma experiência estável e confiável de mouse de ar.

(github.com)

Desenvolvimento Mouse de ar

Envoy: Um registrador de comandos de terminal leve

2025-08-29

Envoy: Um registrador de comandos de terminal leve

Envoy é um utilitário leve em segundo plano que registra seus comandos de terminal. Ele foi projetado para ser uma maneira simples e discreta de manter um histórico do uso do seu shell, o que pode ser útil para depuração, rastreamento de trabalho ou simplesmente para lembrar o que você fez. Envoy inicia e para sob demanda, salva em um arquivo personalizado e funciona em Linux e macOS usando bash ou zsh. A instalação é simples: clone o repositório, crie o executável e adicione um hook de shell ao seu arquivo de configuração (.zshrc ou .bashrc). Os arquivos de log e status são armazenados com o executável.

(github.com)

Desenvolvimento registro de terminal utilitário de shell

FFmpeg 8.0: Codificação acelerada por GPU via Vulkan e legendagem automática

2025-08-29

FFmpeg 8.0: Codificação acelerada por GPU via Vulkan e legendagem automática

O FFmpeg 8.0, com o nome de código "Huffman", foi lançado com atualizações significativas. Um recurso notável é a integração do modelo de reconhecimento de fala Whisper, permitindo a legenda automática de vídeos. Ele utiliza a API Vulkan para codificação e decodificação aceleradas por hardware de vários formatos, incluindo AV1, FFv1, VP9 e ProRes RAW, e suporta a codificação VVC (H.266), aumentando a eficiência. Esta versão também melhora a compatibilidade com formatos mais antigos, como RealVideo 6.0 e codecs de áudio de nicho, consolidando seu papel indispensável no processamento de vídeo.

(www.theregister.com)

Desenvolvimento Codificação de Vídeo

EUA a colocar dados do PIB em blockchain: A visão cripto de Trump?

2025-08-29

EUA a colocar dados do PIB em blockchain: A visão cripto de Trump?

O Secretário de Comércio dos EUA, Howard Lutnick, anunciou que o Departamento de Comércio irá publicar estatísticas económicas, incluindo dados do PIB, numa blockchain. Esta iniciativa, impulsionada pela visão do Presidente Trump, visa melhorar a eficiência da distribuição de dados entre as agências governamentais. Embora a tecnologia blockchain melhore a segurança e a transparência dos dados, não garante a precisão. A medida surge em meio a questionamentos repetidos de Trump sobre a fiabilidade dos dados económicos dos EUA, contrastando com a adoção de blockchain por outros governos, como o sistema de saúde eletrónica da Estónia e o projeto EBSI da UE.

(cointelegraph.com)

Tecnologia

Polícia escocesa enfrenta impasse de soberania de dados com a Microsoft

2025-08-29

A polícia escocesa está enfrentando desafios significativos de segurança e soberania de dados na adoção do Microsoft Office 365. A recusa da Microsoft em divulgar os locais e os métodos de processamento de dados, citando "confidencialidade comercial", impede a polícia de cumprir as restrições rigorosas de transferência de dados da Lei de Proteção de Dados de 2018 do Reino Unido. Isso levanta preocupações sobre dados que podem ser processados em países sem proteção de dados adequada, incluindo China e Índia, e destaca os riscos de depender de serviços de nuvem sem capacidades de nuvem soberana. Embora ciente dos riscos, a polícia está limitada pelo Programa Nacional de Habilitação do Reino Unido e contratos existentes com a Microsoft, tornando difícil uma mudança rápida de fornecedor.

(www.computerweekly.com)

Tecnologia

Políticas Hostis da Synology Afastam Usuário de Longo Prazo

2025-08-29

Políticas Hostis da Synology Afastam Usuário de Longo Prazo

O usuário de longa data da Synology, Raindog308, anunciou que está mudando de marca devido às políticas cada vez mais restritivas da Synology. Essas incluem limites artificiais nas conexões simultâneas do Samba e um novo requisito para comprar unidades de disco rígido da marca Synology, mesmo que essas unidades ofereçam garantias mais curtas do que alternativas como o WD Black. Ele está considerando construir um servidor TrueNAS ou explorar opções da UGREEN, Buffalo ou outros fornecedores.

(lowendbox.com)

Hardware

PowerPoint Matou Sete: O Desastre do Columbia

2025-08-29

PowerPoint Matou Sete: O Desastre do Columbia

O desastre do ônibus espacial Columbia em 16 de janeiro de 2003, vitimou sete astronautas. Uma investigação revelou que um pedaço de isolamento de espuma se desprendeu 82 segundos após o lançamento, atingindo a asa esquerda do ônibus espacial e causando danos catastróficos na reentrada. O incidente destaca as consequências devastadoras de falhas aparentemente menores em sistemas complexos, levando à reflexão sobre a segurança de naves espaciais e a eficácia da comunicação.

(mcdreeamiemusings.com)

Tecnologia Ônibus Espacial Columbia Desastre Espacial

Caos no Site: Uma Ferramenta de Paródia (Não Insira Senhas!)

2025-08-29

Caos no Site: Uma Ferramenta de Paródia (Não Insira Senhas!)

Esta ferramenta é puramente para efeito cômico; ela adiciona temporariamente caos visual a sites. Ela não armazena, coleta ou transmite nenhum dado pessoal. **Nunca** a use para inserir senhas, informações de cartão de crédito ou quaisquer dados confidenciais. Os sites por proxy não são seguros. Usar esta ferramenta significa concordar com seu propósito de entretenimento apenas e a exclusão de informações confidenciais. Sites bancários, financeiros, de saúde e governamentais são bloqueados por motivos de segurança.

(www.fuckupmysite.com)

Diversos paródia de site ferramenta de entretenimento aviso de segurança

Colaboração Global Aproveita IA para Diagnóstico de Glaucoma

2025-08-29

Colaboração Global Aproveita IA para Diagnóstico de Glaucoma

Centenas de oftalmologistas e pesquisadores de IA de dezenas de instituições em todo o mundo colaboraram em um sistema de aprendizado profundo para diagnóstico de glaucoma. O estudo integrou vastos conjuntos de dados clínicos e passou por validação rigorosa, prometendo uma precisão significativamente melhor na detecção precoce do glaucoma e melhores resultados para os pacientes.

(www.nature.com)

Tecnologia Imagem Médica

Plantas brilhantes: nanopartículas baratas transformam suculentas em luzes noturnas

2025-08-29

Plantas brilhantes: nanopartículas baratas transformam suculentas em luzes noturnas

Pesquisadores da Universidade de Agricultura do Sul da China desenvolveram um composto de fósforo biocompatível e de baixo custo que permite que suculentas brilhem por até duas horas após apenas alguns minutos de exposição à luz solar ou LED. Este método barato, que envolve a injeção de nanopartículas nas folhas, evita técnicas complexas de modificação genética. A equipe encontrou um tamanho ideal de nanopartículas para uma iluminação uniforme e brilhante, suficiente até mesmo para iluminar objetos próximos. A tecnologia pode revolucionar a decoração de interiores e jardins, criando paisagens deslumbrantes e brilhantes a um custo mínimo (cerca de US$ 1,4 por planta). Estudos de segurança a longo prazo estão em andamento.

(newatlas.com)

Tecnologia iluminação de plantas

Expert: O servidor de linguagem Elixir - Instalação e patrocínio

2025-08-29

Expert: O servidor de linguagem Elixir - Instalação e patrocínio

Expert é a implementação oficial do servidor de linguagem para a linguagem de programação Elixir. Downloads estão disponíveis para vários sistemas operacionais. Coloque o executável em seu $PATH. Instruções específicas do editor são fornecidas, juntamente com instruções para baixar builds noturnas usando o GH CLI. A compilação a partir da fonte requer Zig 0.14.1. O artigo termina com informações sobre opções de patrocínio corporativo e individual. Expert é de código aberto sob a Licença Apache 2.0.

(github.com)

Desenvolvimento

Construa seu próprio agente de codificação CLI: Um guia prático com Pydantic-AI e MCP

2025-08-29

Este artigo detalha como o autor construiu um agente de codificação de linha de comando usando a estrutura Pydantic-AI e o Protocolo de Contexto de Modelo (MCP). Ao integrar o modelo Claude, executores de teste, uma caixa de areia de execução de código, pesquisa de documentação e ferramentas da AWS, o agente permite testes de código, depuração, pesquisa de documentação e modificação de código, aumentando significativamente a eficiência do desenvolvimento. O autor destaca a importância do MCP na extensão das capacidades do agente e os benefícios de construir um agente personalizado para atender às necessidades específicas do projeto. Em última análise, o agente atua como um parceiro de programação inteligente, colaborando com os desenvolvedores para escrever, depurar e testar código.

(martinfowler.com)

Desenvolvimento Ferramentas de desenvolvimento

Despedindo-se da Certeza: Programação Probabilística em Swift

2025-08-29

Este artigo apresenta uma nova abordagem para lidar com dados incertos em Swift: Uncertain. Ele codifica a probabilidade diretamente no sistema de tipos, abordando elegantemente problemas como a imprecisão das coordenadas de GPS. Usando distribuições de probabilidade e amostragem de Monte Carlo, os desenvolvedores podem modelar com mais precisão incertezas do mundo real, construindo aplicativos mais robustos e confiáveis. O artigo fornece uma biblioteca Swift baseada em Uncertain e inclui exemplos mostrando como lidar com várias distribuições de probabilidade e realizar análise estatística.

(nshipster.com)

Desenvolvimento Programação Probabilística Incerteza

Pare de culpar os funcionários pela ineficiência: o problema está na gerência

2025-08-29

Este artigo critica a prática comum de culpar os funcionários pela multitarefa e falta de foco devido à falta de autodisciplina. O autor argumenta que a causa raiz está na falha da gerência em priorizar tarefas de forma eficaz, levando os funcionários a lidar com várias tarefas não priorizadas, resultando em baixa eficiência. O artigo destaca que as chamadas "ferramentas de produtividade", como Asana e Trello, na verdade transferem a responsabilidade da gerência para os funcionários, agravando o problema. As verdadeiras ferramentas de produtividade são aquelas cuja ausência afetaria significativamente o fluxo de trabalho, ao contrário das ferramentas de gerenciamento. O autor apela à gerência para assumir a responsabilidade, melhorar a cultura organizacional e abordar os problemas subjacentes de esgotamento e falta de foco dos funcionários, em vez de colocar a culpa nos funcionários.

(exple.tive.org)

Desenvolvimento

Trystero: Colaboração em tempo real reinventada

2025-08-29

Trystero é uma plataforma de colaboração em tempo real fascinante que utiliza tecnologias como BitTorrent, Nostr, MQTT, IPFS, Supabase e Firebase para sincronizar movimentos do mouse e cliques em tempo real. Um código simples permite ingressar em salas, ouvir junções/saídas de pares e transmitir/receber movimentos do mouse e cliques. O potencial do Trystero vai muito além disso, suportando fluxos de áudio/vídeo e dados binários, abrindo infinitas possibilidades para colaboração em tempo real.

(oxism.com)

Desenvolvimento

Crítico: Três vulnerabilidades de segurança não corrigidas encontradas no libxslt

2025-08-29

O libxslt, um projeto irmão do libxml2, atualmente não possui um mantenedor ativo e possui três vulnerabilidades de segurança não corrigidas. Duas foram divulgadas publicamente (CVE-2025-7424 e CVE-2025-7425), envolvendo confusão de tipo e estouro de buffer baseado em heap. Patches foram propostos por engenheiros da Apple e do Google no GitLab do GNOME, mas permanecem não aplicados devido à falta de um mantenedor. Isso destaca a importância da manutenção de código aberto e representa um risco de segurança para aplicativos que dependem do libxslt.

(vuxml.freebsd.org)

Desenvolvimento

O /tmp do Debian 13 se move para tmpfs: Velocidade e Desafios

2025-08-29

O /tmp do Debian 13 se move para tmpfs: Velocidade e Desafios

O Debian 13 revoluciona o /tmp movendo-o para o sistema de arquivos tmpfs na memória, resultando em acesso a arquivos dramaticamente mais rápido. No entanto, isso introduz desafios: os usuários podem consumir RAM significativa, afetando o desempenho do sistema. O Debian define como padrão um limite de RAM de 50% para tmpfs, mas isso é personalizável. Além disso, o Debian 13 inclui limpeza automática, excluindo arquivos não utilizados em /tmp após 10 dias por padrão. Para sistemas com pouca memória, os usuários podem facilmente desativar o tmpfs.

(lowendbox.com)

Desenvolvimento

Psicose por IA: Hype ou Realidade?

2025-08-29

Psicose por IA: Hype ou Realidade?

Relatos de chatbots de IA levando usuários à insanidade geraram preocupações sobre a 'psicose por IA'. Esta postagem explora esse fenômeno por meio de analogias com eventos históricos e análise de dados de pesquisas de leitores. O autor argumenta que os chatbots de IA não causam diretamente psicose, mas exacerbam problemas mentais preexistentes ou tendências excêntricas, particularmente na ausência de restrições sociais do mundo real. Uma pesquisa sugere uma incidência anual de 'psicose por IA' variando de 1 em 10.000 a 1 em 100.000, com a maioria dos casos envolvendo condições de saúde mental preexistentes ou fatores de risco.

(www.astralcodexten.com)

IA psicose por IA

← Previous 1 2 3 4 5 6 7 8 9 … 554 555 Next →