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

Obra-prima de uma década do Hubble: Panorama de 417 megapixels da galáxia de Andrômeda

2025-01-21
Obra-prima de uma década do Hubble: Panorama de 417 megapixels da galáxia de Andrômeda

Um panorama de tirar o fôlego de 417 megapixels da galáxia de Andrômeda, resultado de um esforço de uma década usando mais de 600 imagens do Telescópio Espacial Hubble, foi revelado. Esta imagem sem precedentes revela 200 milhões de estrelas e oferece detalhes incomparáveis, fornecendo dados inestimáveis para o estudo da história de Andrômeda e das fusões com galáxias menores. O projeto mostra o poder duradouro do Hubble e destaca a busca persistente da humanidade para desvendar o cosmos.

Leia mais
(petapixel.com)
Tecnologia Telescópio Hubble Galáxia de Andrômeda Astrofotografia

Testes de Unidade Semânticos com LLMs: Apresentando a biblioteca `suite`

2025-05-05

Este artigo apresenta `suite`, uma biblioteca Python que utiliza modelos de linguagem grandes (LLMs) para testes de unidade semânticos. Ao contrário dos testes de unidade tradicionais, `suite` avalia a correção semântica das funções comparando sua implementação com suas docstrings. O autor detalha o funcionamento do `suite`, incluindo a construção de prompts, o tratamento de dependências de funções e a integração com o pytest. Embora enfatize que `suite` não deve substituir os testes de unidade tradicionais, ele serve como um complemento valioso, ajudando os desenvolvedores a detectar bugs precocemente e melhorar a cobertura de testes. `suite` suporta testes assíncronos e permite o uso de modelos locais, reduzindo custos e preocupações com privacidade.

Leia mais
(www.alexmolas.com)
Desenvolvimento testes de unidade

Incidente de Segurança Okta: Explorando a Limitação de Comprimento do Bcrypt

2025-02-05
Incidente de Segurança Okta: Explorando a Limitação de Comprimento do Bcrypt

O incidente de segurança da Okta surgiu da forma como sua implementação do Bcrypt lidava com o comprimento da entrada. O limite de 72 caracteres do Bcrypt causou truncamento, permitindo a autenticação com apenas nomes de usuário parciais e chaves em cache. O artigo analisa as bibliotecas Bcrypt em Go, Java, JavaScript, Python e Rust, revelando que muitas delas não possuem validação do comprimento da entrada, criando riscos de segurança. O autor defende o aprimoramento do design da API, rejeitando explicitamente entradas inválidas para evitar tais vulnerabilidades.

Leia mais
(n0rdy.foo)
Desenvolvimento design de API

Centro de dados xAI de Musk em Memphis gera controvérsia ambiental

2025-06-13

A empresa de IA de Elon Musk, xAI, está enfrentando críticas por seu centro de dados em Memphis, que depende de 35 turbinas a gás metano operando sob uma licença 'temporária', contornando as regulamentações federais de emissões. Essas turbinas, sem equipamentos essenciais de controle de poluição, emitem NOx e outros poluentes atmosféricos perigosos. A xAI afirma que o status temporário os isenta de requisitos de licenciamento, mas críticos questionam isso, especialmente dada a falta de investimento inicial em tecnologia de controle de poluição. O Guardian relata discrepâncias entre o número de turbinas ativas e as afirmações do prefeito, alimentando ainda mais a controvérsia. A situação destaca uma grande preocupação ambiental em torno do desenvolvimento de infraestrutura de IA.

Leia mais
(simonwillison.net)
Tecnologia

Otimizando o Teorema do Eixo Separador com Traversal do Mapa de Gauss

2025-07-10
Otimizando o Teorema do Eixo Separador com Traversal do Mapa de Gauss

Este artigo apresenta um algoritmo otimizado de detecção de colisão para poliedros convexos. Reformulando o Teorema do Eixo Separador (SAT) como um problema de otimização baseado em esfera, o autor revela que o mínimo se encontra nas interseções de círculos máximos em um mapa de Gauss. Um algoritmo de travessia de grafo evita cálculos repetidos da função de suporte, exigindo apenas uma avaliação completa inicialmente. O algoritmo então atualiza eficientemente o ponto de suporte percorrendo o mapa de Gauss, resultando em ganhos significativos de desempenho. Testes mostram uma aceleração de 5 a 10 vezes em relação ao SAT tradicional.

Leia mais
(cairno.substack.com)
Desenvolvimento detecção de colisão teorema do eixo separador mapa de Gauss

500 Milhas de E-mail: Uma Coleção Curada de Histórias Absurdas de Bugs de Software

2025-07-09

O 500 Mile Email é uma lista curada de histórias bizarras de bugs de software, atualizada semanalmente. De servidores de banco de dados misteriosamente expirando o tempo limite a Wi-Fi funcionando apenas na chuva e aplicativos travando após beber Coca-Cola, essas anedotas são hilárias e instigantes. O site apresenta contribuições de desenvolvedores, engenheiros e usuários do mundo todo, mostrando os momentos humorísticos e perspicazes do desenvolvimento de software.

Leia mais
(500mile.email)
Desenvolvimento histórias de programação falhas de tecnologia

Spade: Uma nova linguagem de descrição de hardware para projetos mais fáceis e com menos erros

2025-05-12

Spade é uma nova linguagem de descrição de hardware (HDL) projetada para simplificar o desenvolvimento de hardware e reduzir erros. Ela utiliza as melhores práticas de linguagens de programação de software, incorporando suporte em nível de linguagem para construções de hardware comuns, sem sacrificar o controle de baixo nível. Os recursos principais incluem suporte de pipeline de primeira classe, um sistema de tipos poderoso com structs, arrays, tuplas e enums com carga útil, casamento de padrões, inferência de tipos e mensagens de erro excelentes. Também é fornecido um conjunto abrangente de ferramentas, incluindo a ferramenta de compilação Swim e a estrutura de teste cocotb. Embora ainda esteja em estágios iniciais, o Spade mostra uma promessa imensa como uma linguagem de projeto de hardware de próxima geração.

Leia mais
(spade-lang.org)
Hardware linguagem de descrição de hardware

Millihertz 5: Uma réplica mecânica do Manchester 'Baby'

2025-05-01

O Millihertz 5, também conhecido como 'Offspring', é um computador mecânico modelado na Máquina Experimental em Pequena Escala de Manchester ('Baby'). Ele usa rolamentos de esferas como elementos de dados, possui uma RAM de 8x8 bits e um datapath de 8 bits com um subtractor e um acumulador. O projeto está atualmente em construção, com documentos de design (PDF e HTML) disponíveis online.

Leia mais
(www.srimech.com)
Hardware

Co-design com IA: Criando um compressor de música eletrônica superdenso em um dia

2025-04-28

O autor, que há anos desejava construir um compressor de música eletrônica superdenso, utilizou o modelo ChatGPT o3 para projetar e criar um protótipo de todo o sistema em apenas um dia. Por meio de conversas iterativas, eles projetaram um modelo generativo baseado em espectrograma sensível à fase que reconstrói espectrograms a partir de um pequeno número de padrões reutilizáveis e uma lista esparsa de ocorrências. A chave é que as ocorrências são representadas por dois números complexos unitários cujas fases mapeiam para coordenadas contínuas, permitindo que os padrões sejam colocados em qualquer lugar, alcançando taxas de compressão extremamente altas. Este experimento demonstra como a IA pode acelerar a pesquisa, transformando ideias de longa data em resultados tangíveis rapidamente.

Leia mais
(akuz.me)
Desenvolvimento Design assistido por IA compressão de música eletrônica

O Legado Persistente do Agente Laranja: A Luta do Vietnã para a Descontaminação em Meio aos Cortes na Ajuda dos EUA

2025-04-28
O Legado Persistente do Agente Laranja: A Luta do Vietnã para a Descontaminação em Meio aos Cortes na Ajuda dos EUA

Décadas após o fim da Guerra do Vietnã, os efeitos devastadores do Agente Laranja continuam a afligir milhões de vietnamitas. Embora os EUA tenham começado a fornecer financiamento para esforços de limpeza na metade da década de 2000, os cortes na ajuda externa da era Trump lançaram uma sombra sobre esses projetos cruciais, deixando milhões de vítimas em uma situação precária. A limpeza enfrenta escassez de fundos e redução de pessoal, enquanto a ciência sobre os impactos de longo prazo na saúde permanece incompleta. O artigo destaca a situação de indivíduos como Nguyen Thanh Hai, mostrando o sofrimento duradouro causado pelo Agente Laranja e o profundo impacto das mudanças na política dos EUA sobre o povo vietnamita.

Leia mais
(apnews.com)
Diversos Agente Laranja

Guerras de Streaming: Perdidos na Selva de Conteúdo

2025-05-29
Guerras de Streaming: Perdidos na Selva de Conteúdo

Este artigo detalha as dificuldades de encontrar filmes e programas de TV específicos na era do streaming. A enorme quantidade de opções, aliada a interfaces de usuário ruins e plataformas repletas de anúncios, torna a busca por um filme específico uma tarefa hercúlea. Mesmo cinéfilos ávidos se veem perdidos em um mar de títulos infinitos. O autor explora como os avanços tecnológicos, paradoxalmente, dificultaram a apreciação da arte e clama por soluções, como retornar à experiência teatral ou utilizar métodos tradicionais, como bibliotecas, para descobrir novos filmes.

Leia mais
(www.salon.com)
Diversos descoberta de filmes

Google aumenta a produtividade de desenvolvedores com preenchimento de código semântico híbrido de ML

2025-05-15
Google aumenta a produtividade de desenvolvedores com preenchimento de código semântico híbrido de ML

Pesquisadores do Google desenvolveram um novo sistema de preenchimento de código semântico híbrido baseado em Transformer que combina aprendizado de máquina (ML) e mecanismos semânticos baseados em regras (SEs) para melhorar significativamente a produtividade do desenvolvedor. O sistema integra ML e SEs de três maneiras: 1) reordenando sugestões de token único do SE usando ML; 2) aplicando preenchimentos de linha única e múltipla usando ML e verificando a correção com o SE; e 3) usando continuação de linha única e múltipla por ML de sugestões semânticas de token único. Um estudo de três meses com mais de 10.000 desenvolvedores internos do Google mostrou uma redução de 6% no tempo de iteração de codificação com preenchimento de ML de linha única. Atualmente, mais de 3% do novo código é gerado pela aceitação de sugestões de preenchimento de ML. O sistema suporta oito linguagens de programação e incorpora verificações semânticas para garantir a correção do código, aumentando significativamente a confiança e a eficiência do desenvolvedor.

Leia mais
(research.google)
Desenvolvimento

Falhas Críticas na Infraestrutura Hídrica dos EUA Corrigidas Após Esforço Conjunto da EPA e do Fabricante

2025-06-10
Falhas Críticas na Infraestrutura Hídrica dos EUA Corrigidas Após Esforço Conjunto da EPA e do Fabricante

Pesquisadores descobriram quase 400 sistemas de água americanos expostos e vulneráveis na internet. Eles contataram o fabricante do software e a EPA. A EPA respondeu rapidamente, priorizando mais de 300 sistemas não autenticados e alcançando uma taxa de remediação de 24% em nove dias. Um mês depois, 58% dos sistemas vulneráveis foram protegidos, e o fabricante aprimorou as medidas de segurança, incluindo autenticação multifatorial.

Leia mais
(censys.com)
Tecnologia infraestrutura hídrica

Jake Gaylor: Um Engenheiro de Software Completo e Empreendedor em Série

2025-05-05

Jake Gaylor é um engenheiro de software sênior experiente e fundador de produtos com mais de 15 anos de experiência na construção e entrega de produtos em larga escala. Seu currículo impressionante abrange engenharia de IA, infraestrutura em nuvem, CI/CD e DevOps. Ele liderou a migração da Cloaked Inc. para o AWS EKS, construiu agentes de IA autônomos usando LangChain e projetou microserviços compatíveis com HIPAA para a Inception Health. Além da tecnologia, ele também possuía e gerenciava uma churrascaria que gerava US$ 500.000 em receita anual. Seu conjunto de habilidades diversificado, abrangendo linguagens de programação, sistemas distribuídos e vários projetos de código aberto, demonstra uma verdadeira maestria de full-stack. A jornada de Jake exemplifica a combinação perfeita de proeza técnica e talento comercial, tornando-o uma figura notável no mundo da tecnologia.

Leia mais
(ai.jakegaylor.com)
Desenvolvimento

Cinco anos de tachy0n: Uma retrospectiva de uma exploração de dia zero do iOS 13.5

2025-05-24

Esta postagem reflete sobre o tachy0n, uma exploração de dia zero do iOS 13.5 lançada em 2020, aproveitando a vulnerabilidade Lightspeed (CVE-2020-9859) descoberta pela Synacktiv. O autor Siguza detalha o processo de descoberta da exploração e seu uso no jailbreak, destacando a condição de corrida no syscall `lio_listio`. O artigo também discute melhorias significativas de segurança introduzidas no iOS 14 que mitigaram eficazmente tais ataques, mudando a estratégia de segurança da Apple de corrigir bugs individuais para abordar estratégias de exploração inteiras. Este é um relatório de notícias técnicas focando na segurança do sistema iOS e desenvolvimento de explorações.

Leia mais
(blog.siguza.net)
Tecnologia

O Paradoxo de Assunção: Arranha-céus Modernos em Meio ao Caos Urbano

2025-06-25
O Paradoxo de Assunção: Arranha-céus Modernos em Meio ao Caos Urbano

Uma visita recente a Assunção, Paraguai, revelou uma surpreendente falta de coerência estética. Arranha-céus modernos se opõem a edifícios dilapidados, refletindo os baixos gastos do governo paraguaio (19% do PIB) e a alta taxa de emprego informal (62-67%). Regulamentações tributárias exclusivas atraem investidores estrangeiros, alimentando um boom imobiliário que, em grande parte, ignora a classe média local. O autor explora a complexa interação entre políticas econômicas, contexto histórico e fatores sociais que moldam a paisagem urbana singular de Assunção.

Leia mais
(cpsi.media)
Diversos

PNG renasce: Fim de um hiato de 20 anos

2025-06-25

Após duas décadas de inatividade, o formato de imagem PNG está de volta com força total! Esta atualização traz suporte nativo para HDR, reconhecimento oficial de animações APNG, suporte para metadados Exif e limpeza geral e melhorias na especificação. Essa ressurreição é impulsionada por esforços colaborativos de gigantes da tecnologia como W3C, Adobe e Apple, e pela necessidade de recursos HDR. Os principais navegadores e softwares, como Chrome e Safari, já suportam a nova especificação, com melhorias futuras focando em algoritmos de compressão e codificação/decodificação paralela.

Leia mais
(www.programmax.net)
Tecnologia formato de imagem

Comportamento Previsível da Multidão: Insights do Festival de Touros de Pamplona

2025-02-16
Comportamento Previsível da Multidão: Insights do Festival de Touros de Pamplona

Um estudo publicado na Nature revela que o movimento coletivo de grandes multidões se torna previsível acima de certa densidade. Os pesquisadores rastrearam aproximadamente 5.000 pessoas no festival de San Fermín, na Espanha, por quatro anos, usando câmeras e um modelo matemático. Eles descobriram que, em uma densidade de 9 pessoas por metro quadrado, a multidão oscilava espontaneamente como um fluido com um período de 18 segundos. Esse comportamento previsível, também observado em dados da tragédia do Love Parade de Duisburg em 2010, oferece insights valiosos para antecipar e mitigar dinâmicas perigosas de multidões em espaços confinados.

Leia mais
(phys.org)
Tecnologia movimento coletivo gestão de segurança

Impacto de temperaturas extremamente baixas no tamanho e desempenho da matriz SRAM de 5 nm

2025-01-24
Impacto de temperaturas extremamente baixas no tamanho e desempenho da matriz SRAM de 5 nm

Uma nova pesquisa explora os efeitos de temperaturas extremamente baixas (até 10 K) no tamanho e desempenho de matrizes SRAM FinFET de 5 nm. Os pesquisadores descobriram que, em temperaturas criogênicas, o tamanho máximo da matriz é limitado por parasitas de linha de palavra, não por corrente de fuga, e o desempenho é governado por parasitas de linha de bit e linha de palavra. Isso tem implicações significativas para a computação de baixo consumo e alto desempenho no futuro, oferecendo insights valiosos para otimizar matrizes SRAM em ambientes extremamente frios.

Leia mais
(semiengineering.com)
Hardware SRAM de 5 nm temperaturas criogênicas

Changesets: Simplificando o Gerenciamento de Versões e Logs de Mudanças para Repositórios Multipacote

2025-05-01
Changesets: Simplificando o Gerenciamento de Versões e Logs de Mudanças para Repositórios Multipacote

Changesets é uma ferramenta projetada para simplificar o gerenciamento de versões e logs de mudanças, especialmente para repositórios multipacote. Permite que os contribuidores declarem como suas alterações devem ser lançadas, automatizando a atualização das versões dos pacotes, logs de mudanças e publicação de novas versões com base nessas informações. Changesets se destaca ao resolver as complexidades do gerenciamento de versões em repositórios multipacote, mantendo pacotes interdependentes atualizados e simplificando as alterações em grupos de pacotes. Usa arquivos changeset para definir intenções de lançamento, e uma ferramenta de linha de comando combina vários changesets em um único lançamento, lidando com dependências internas, atualizando logs de mudanças e lançando todos os pacotes atualizados de um monorepositório com um único comando. Documentação abrangente, recomendações de integração de CI e uma ação do GitHub para automatizar pull requests de versionamento e publicação também são fornecidas.

Leia mais
(github.com)
Desenvolvimento versionamento logs de mudanças repositórios multipacote

Resumo do ano da FSFE 2024: A luta pela liberdade de software

2025-01-14
Resumo do ano da FSFE 2024: A luta pela liberdade de software

A Free Software Foundation Europe (FSFE) lançou sua retrospectiva de 2024, destacando seus avanços na promoção de software livre. Isso inclui participação no FOSDEM, trabalho na implementação do DMA, a quarta edição do Youth Hacking 4 Freedom (YH4F) e presença no Chaos Communication Congress. Iniciativas-chave envolveram pressionar por maior interoperabilidade da Apple, financiamento sustentável para ecossistemas de código aberto e promoção da liberdade em software, hardware e dados. Olhando para 2025, a FSFE planeja continuar seus esforços de advocacy e construção de comunidade.

Leia mais
(fsfe.org)
Tecnologia

Controles ocultos: uma regressão no avanço tecnológico?

2025-07-06
Controles ocultos: uma regressão no avanço tecnológico?

De linhas de comando DOS a smartphones, a interação humano-computador mudou de 'conhecimento no mundo' para 'conhecimento na cabeça'. Este artigo argumenta que dispositivos modernos dependem cada vez mais de controles e comandos ocultos, tornando até mesmo operações simples difíceis, especialmente para usuários iniciantes. O autor afirma que isso contradiz os princípios iniciais de design de interação humano-computador e apela para que os designers priorizem controles visíveis, criando sistemas mais utilizáveis.

Leia mais
(interactions.acm.org)
Tecnologia usabilidade

O Efeito de Resfriamento Evaporativo em Redes Sociais: Por que Contribuidores de Alto Valor Partem

2025-01-07

Este post de blog explora o 'efeito de resfriamento evaporativo', onde contribuidores de alto valor deixam uma comunidade devido à falta de benefícios, levando a um declínio na qualidade da comunidade. Analisa como fatores como abertura, mecanismos de acesso à comunidade (por exemplo, assinatura paga ou barreiras de conhecimento), estilos de comunicação interna e recompensar contribuidores de alto valor afetam esse efeito. O autor argumenta que o 'resfriamento evaporativo' é inevitável no crescimento da comunidade, e a chave é desacelerá-lo. O post sugere combinar estruturas de comunidade 'praça' (fácil de expandir) e 'toca' (mais estável) para equilibrar escalabilidade e estabilidade.

Leia mais
(blogs.cornell.edu)
Diversos redes sociais efeito de resfriamento evaporativo qualidade da comunidade

Executando aplicativos GUI diretamente em contêineres: Sem software adicional necessário

2025-02-27
Executando aplicativos GUI diretamente em contêineres: Sem software adicional necessário

Este tutorial mostra como executar aplicativos GUI diretamente em contêineres (como Docker e Podman) sem precisar instalar software adicional. Ao mapear os arquivos de socket Wayland e PipeWire do host e definir as variáveis de ambiente apropriadas, os aplicativos GUI dentro do contêiner obtêm acesso à exibição e ao áudio do host. O tutorial fornece instruções detalhadas sobre como criar imagens Docker para aplicativos GUI, incluindo scripts de inicialização completos e Dockerfiles. Isso é útil para executar aplicativos não confiáveis, testar software e executar aplicativos incompatíveis com sua distribuição.

Leia mais
(github.com)
Desenvolvimento

NASA suspende demissões: o novo indicado para administrador por trás dos panos?

2025-02-19
NASA suspende demissões: o novo indicado para administrador por trás dos panos?

A NASA interrompeu temporariamente suas demissões planejadas, com a razão permanecendo obscura. Fontes sugerem que isso pode estar ligado ao indicado pelo presidente Trump para administrador da NASA, o astronauta privado Jared Isaacman. Isaacman pode querer mais controle sobre os cortes da NASA, evitando a abordagem contundente de demitir todos os funcionários em período de experiência, o que poderia afetar cargos importantes e indivíduos de alto desempenho. Embora as demissões estejam suspensas, a NASA ainda enfrenta potenciais reduções significativas de orçamento e pessoal nos próximos meses, exigindo negociações com o Congresso.

Leia mais
(arstechnica.com)
Tecnologia

LaTeX Moderno: Um Guia de Início Rápido

2025-05-05
LaTeX Moderno: Um Guia de Início Rápido

Cansado de tutoriais desatualizados do LaTeX? Este guia moderno fornece um início rápido, abandonando o conhecimento obsoleto dos anos 90 e focando em dicas práticas. Inclui um link para download do PDF e instruções detalhadas sobre como instalar o LuaLaTeX, configurar fontes (como Garamond Premier, Neue Haas Grotesk, etc.) e usar o latexmk ou compilação manual. O guia também incentiva contribuições e sugestões dos leitores.

Leia mais
(github.com)
Desenvolvimento tiposgrafia

RoureXOS 2.0: Um SO Leve Reescreito em Rust

2025-06-19
RoureXOS 2.0: Um SO Leve Reescreito em Rust

O sistema operacional RoureXOS foi reescrito em Rust para sua segunda iteração. Este SO leve pode ser executado no emulador QEMU (usando a imagem ISO fornecida) e em bare metal x86_64 (inicializando a partir de um USB). Instruções detalhadas cobrem a instalação de dependências, compilação do kernel, criação da imagem ISO, emulação QEMU e até mesmo redes usando SLIP. As etapas claras facilitam a experiência com este novo SO.

Leia mais
(github.com)
Desenvolvimento

ELKS: Um Subconjunto de Kernel Linux Incorporável para 8086

2025-01-04
ELKS: Um Subconjunto de Kernel Linux Incorporável para 8086

O ELKS fornece um sistema operacional semelhante ao Linux para sistemas baseados na arquitetura Intel IA16 (processadores de 16 bits: 8086, 8088, etc.). Ele suporta rede e instalação em HDD (sistemas de arquivos MINIX e FAT), roda com apenas 256 KB de RAM e funciona em PCs antigos da IBM e SBCs, SoCs e FPGAs modernos. Imagens de disco para download e instruções de compilação estão disponíveis, juntamente com uma demonstração online.

Leia mais
(github.com)
Desenvolvimento

Modelo de linguagem grande Pangu da Huawei: Denúncia expõe escândalo de plágio

2025-07-06
Modelo de linguagem grande Pangu da Huawei: Denúncia expõe escândalo de plágio

Um funcionário do laboratório Noah's Ark da Huawei que trabalha no modelo de linguagem grande Pangu fez uma denúncia chocante de plágio dentro da empresa. O denunciante alega que o laboratório de modelos pequenos de Wang Yunhe repetidamente 'revestiu' modelos de outras empresas (como o Qwen), apresentando-os como modelos Pangu próprios da Huawei para obter reconhecimento e recompensas. O relato detalha a intensa pressão interna, o tratamento injusto e a significativa perda de talentos, levantando sérias dúvidas sobre a gestão de desenvolvimento de LLM da Huawei.

Leia mais
(dilemmaworks.substack.com)
IA Plágio
1 2 … 449 450 451 453 455 456 457 … 595 596