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

Vulnerabilidade Crítica de IA de Zero-Clique Descoberta no Microsoft 365 Copilot: EchoLeak

2025-06-11
Vulnerabilidade Crítica de IA de Zero-Clique Descoberta no Microsoft 365 Copilot: EchoLeak

A Aim Labs descobriu uma vulnerabilidade crítica de IA de zero-clique, apelidada de "EchoLeak", no Microsoft 365 Copilot. Essa vulnerabilidade permite que atacantes exfiltrem automaticamente dados sensíveis do contexto do Copilot sem nenhuma interação do usuário. O ataque utiliza uma técnica nova chamada "Violação de Escopo de LLM", contornando as medidas de segurança do Copilot por meio de um email elaborado de forma inteligente. EchoLeak destaca os riscos de segurança inerentes a modelos de IA baseados em Geração Aumentada por Recuperação (RAG), enfatizando a necessidade de práticas robustas de segurança de IA.

Leia mais
(www.aim.security)
IA Vulnerabilidade de Zero-Clique

Investigação Forense de Calculadoras: Desvendando os Segredos do Design de Chips

2025-01-19

Este artigo apresenta a 'investigação forense de calculadoras', uma técnica que analisa os resultados de algoritmos embutidos em calculadoras para identificar as origens e a evolução de diferentes designs de chips de calculadoras. O autor elaborou um algoritmo padronizado e compilou resultados de inúmeras calculadoras, criando tabelas de comparação para rastrear o histórico de design e a linhagem tecnológica dos chips de calculadoras. Essa técnica é significativa para o estudo da história das calculadoras e do design de chips, particularmente útil quando a documentação oficial é escassa, permitindo que os pesquisadores compreendam as relações entre diferentes calculadoras.

Leia mais
(www.rskey.org)
Hardware design de chip

Primeiros Passos em Assembly: Otimizando um Lexador com Vetores de Bits

2024-12-25

Após ler "Writing an Interpreter in Go", um programador tentou reescrever em Zig e Rust, focando na otimização do desempenho do analisador léxico. Ele explorou vários métodos: ramificações, tabelas de pesquisa e vetores de bits. Os vetores de bits comprimem a representação do estado mapeando caracteres ASCII para bits, reduzindo o uso de memória e melhorando a eficiência de pesquisa. Embora uma tentativa de usar instruções SIMD tenha falhado, ele implementou com sucesso vetores de bits em Zig e obteve bons resultados nos benchmarks, ganhando experiência valiosa em programação em assembly e otimização de desempenho.

Leia mais
(blog.smidt.dev)
Desenvolvimento linguagem assembly vetores de bits

O Clássico de Chicago: A Ascensão e Queda (e Ascensão Novamente) de Jeppson's Malört

2025-01-14
O Clássico de Chicago: A Ascensão e Queda (e Ascensão Novamente) de Jeppson's Malört

Jeppson's Malört, um licor amargo de estilo sueco conhecido por seu gosto intensamente amargo, é uma instituição de Chicago. Criado na década de 1930 pelo imigrante sueco Carl Jeppson, enfrentou quase a extinção antes de ser revivido em 2018 pela CH Distillery. Apesar de ser descrito como 'a pior bebida de todos os tempos', o Malört tornou-se uma pedra angular da cultura de Chicago, um rito de passagem peculiar, e suas vendas aumentaram constantemente, expandindo-se além de seu mercado inicial de Chicago para uma distribuição mais ampla nos EUA.

Leia mais
(en.wikipedia.org)
Diversos licor amargo cultura de Chicago

Avaliando a capacidade de geração de código de LLMs: Apresentando o MultiCodeBench

2024-12-30
Avaliando a capacidade de geração de código de LLMs: Apresentando o MultiCodeBench

Assistentes de programação baseados em IA e alimentados por Large Language Models (LLMs) de código tornaram-se cada vez mais comuns, aumentando significativamente a produtividade dos desenvolvedores. No entanto, os benchmarks existentes de geração de código focam principalmente em cenários de uso geral, deixando o desempenho dos LLMs em domínios de aplicativos específicos em grande parte desconhecido. Este artigo apresenta o MultiCodeBench, um novo benchmark composto por 2.400 tarefas de programação em 12 domínios populares de desenvolvimento de software e 15 linguagens de programação. Experimentos em onze LLMs principais revelam seu desempenho na geração de código em diferentes domínios, oferecendo insights práticos para desenvolvedores na seleção de LLMs e orientação para desenvolvedores de modelos para melhorar as capacidades de geração de código específicas do domínio.

Leia mais
(arxiv.org)
Desenvolvimento Geração de Código

Quantificando Mentiras Políticas: Um Estudo de Caso dos Discursos de RFK Jr. e Buttigieg

2025-07-18

Este artigo quantifica a porcentagem de mentiras nos discursos de RFK Jr. e Pete Buttigieg por meio de verificação de fatos frase a frase. O autor descobriu que os discursos de RFK Jr. continham uma impressionante porcentagem de 60% de afirmações falsas, com uma média de mais de oito mentiras a cada cinco minutos, enquanto a taxa de Buttigieg foi significativamente menor. Esta metodologia aborda a "Lei de Brandolini" (a energia necessária para refutar besteiras é uma ordem de magnitude maior do que para produzi-las) verificando exaustivamente um discurso de amostra para estabelecer uma taxa de mentiras, eliminando a necessidade de verificação constante. Embora demorado, esta abordagem oferece uma maneira nova de avaliar a credibilidade de figuras políticas.

Leia mais
(brady.fyi)
Diversos mentiras políticas

Boom de Saúde Inesperado nos EUA: Um Mistério?

2024-12-19
Boom de Saúde Inesperado nos EUA: Um Mistério?

Dados recentes revelam uma melhora inesperada na saúde americana, com quedas nas mortes por overdose de drogas, fatalidades de trânsito, taxas de obesidade e taxas de homicídios. Isso contrasta fortemente com a imagem de longa data dos EUA como uma "armadilha da morte rica". Embora alguns atribuam isso a políticas eficazes, como o aumento do acesso ao tratamento para dependência de drogas e a maior disponibilidade de Narcan, especialistas sugerem que o impacto dessas políticas pode ser exagerado. Outros fatores, como a queda natural nas mortes por overdose após a pandemia e mudanças na aplicação da lei, provavelmente desempenharam um papel. As causas precisas dessa melhora permanecem obscuras, destacando as complexidades da realidade, muitas vezes obscurecidas por explicações simplistas.

Leia mais
(www.theatlantic.com)
Diversos saúde americana overdose de drogas obesidade

“Mais Médicos Fumam Camels”: Uma Lição de Engano na Propaganda de Tabaco

2025-01-08

De 1940 a 1949, a R.J. Reynolds lançou a campanha “Mais Médicos Fumam Camels”, usando imagens idealizadas de médicos para sugerir sutilmente segurança. Os médicos retratados eram atores, contornando habilmente a ética médica da época. Anúncios apareceram em publicações como o Journal of the American Medical Association, e pesquisas tendenciosas realizadas em convenções médicas, muitas vezes envolvendo a distribuição de cigarros gratuitos, reforçaram a afirmação enganosa. Esta campanha revela como a indústria do tabaco manipulou informações e explorou a confiança para enganar o público.

Leia mais
(tobacco.stanford.edu)
Diversos propaganda de tabaco ética médica marketing enganoso

Porta de Expansão do NES Finalmente Emerge da Escuridão Após 39 Anos

2024-12-12
Porta de Expansão do NES Finalmente Emerge da Escuridão Após 39 Anos

Após 39 anos de inatividade, a porta de expansão esquecida do Nintendo Entertainment System finalmente está sendo usada em produtos comerciais. Este artigo explora a história da porta de expansão do NES e por que ela permaneceu amplamente sem uso por tanto tempo, examinando fatores como a estratégia da Nintendo, limitações tecnológicas e o ambiente de mercado. Agora, graças aos esforços da comunidade de hardware de código aberto e entusiastas, a porta de expansão está sendo usada para adicionar recursos como suporte a controlador Bluetooth e compatibilidade com o Famicom Disk System, marcando uma inovação na modificação de consoles de jogos retrô.

Leia mais
(tedium.co)
Jogos porta de expansão modificação de console retrô

A última esperança do capital de risco: uma bolha de IA e Sam Altman

2025-05-11
A última esperança do capital de risco: uma bolha de IA e Sam Altman

O Monitor de Capital de Risco do 1º trimestre de 2025 revela um setor de capital de risco moribundo, exceto pela IA, que depende quase inteiramente da OpenAI. As altas taxas de juros secaram o financiamento, deixando os VCs desesperados e esperando por um milagre de IA alimentado pelos gastos agressivos da OpenAI. O relatório culpa as tarifas de Trump, ignorando o apoio da indústria a ele. O financiamento inicial está estagnado, muitas startups estão morrendo, as IPOs são raras e as saídas são quase inexistentes. Os VCs estão mantendo as empresas existentes à tona com financiamento tardio e vendas secundárias. O futuro do capital de risco permanece incerto e precário.

Leia mais
(pivot-to-ai.com)
Startup

Casamento bipartido mínimo via otimização de Riemann

2025-01-08

Este artigo apresenta uma nova abordagem para resolver o problema de casamento bipartido mínimo usando otimização de Riemann. O autor transforma o problema de otimização combinatória em um problema de otimização sem restrições na variedade de matrizes duplamente estocásticas e o resolve usando descida de gradiente de Riemann. Os resultados experimentais mostram que este método pode encontrar efetivamente a solução ótima e possui boa convergência. Esta pesquisa combina de forma inteligente matemática combinatória, geometria diferencial e ciência da computação, fornecendo uma nova perspectiva para resolver tais problemas.

Leia mais
(ocramz.github.io)
Desenvolvimento Otimização de Riemann Casamento bipartido Otimização combinatória

Cena de Ficção Científica Impressionante Criada no Blender

2024-12-31
Cena de Ficção Científica Impressionante Criada no Blender

Samuel Pantze, um cientista da computação alemão, criou uma cena de ficção científica deslumbrante com uma nave espacial sobre um planeta com maré gravitacional usando o Blender. Inspirado pela literatura de ficção científica, pelos vídeos do Melodysheep e pela arte conceitual de Paul Chadeisson, ele empregou habilmente texturas processuais e matemática de shaders para gerar um modelo de nave espacial realista e um fundo planetário. O artigo detalha o processo, desde a modelagem e texturização da nave espacial até a criação do fundo planetário usando uma abordagem de shader única, mostrando suas excepcionais habilidades de modelagem e renderização 3D.

Leia mais
(www.blendernation.com)
Design Ficção Científica

Android 16: Personalização, Integração do Gemini e o Futuro do XR

2025-07-14
Android 16: Personalização, Integração do Gemini e o Futuro do XR

Sameer Samat, presidente do ecossistema Android do Google, detalha as principais atualizações do Android 16: linguagem de design Material 3 Expressive para personalização aprimorada, lançamento simultâneo com os principais smartphones Samsung e integração profunda do Gemini AI para pesquisa e assistência mais inteligentes. Samat também discute o futuro do Android XR, destacando a IA como seu principal motor, aprendendo com a experiência do Google Glass e fazendo parceria com marcas de moda para óculos AR elegantes e práticos.

Leia mais
(www.techradar.com)
Tecnologia

Lakehouse Serverless de US$ 10/mês: Uma Implementação do DuckLake

2025-06-01
Lakehouse Serverless de US$ 10/mês: Uma Implementação do DuckLake

Este artigo demonstra como construir um Lakehouse serverless com menos de US$ 10/mês usando DuckLake e DuckDB. Combinando inteligentemente o armazenamento Cloudflare R2, computação Cloudflare Containers e NeonDB para armazenamento de metadados, uma arquitetura Lakehouse flexível, escalável e econômica é alcançada. O artigo detalha o processo de implantação, incluindo a instalação de dependências, a construção de imagens, a configuração de segredos e a execução de consultas, com um link para o repositório GitHub completo. Isso mostra como construir um Lakehouse flexível para projetos ou equipes menores sem depender de soluções complexas e caras de grandes fornecedores de nuvem.

Leia mais
(tobilg.com)
Desenvolvimento

Stanford Integra IA para Superar o Aprendizado de Política de Segurança Nacional

2025-06-10
Stanford Integra IA para Superar o Aprendizado de Política de Segurança Nacional

A aula de política internacional de Stanford, "Tecnologia, Inovação e Concorrência de Grandes Potências", integrou ferramentas de IA para aprimorar significativamente a aprendizagem dos alunos. Os alunos usaram ChatGPT, Claude, Perplexity e outras ferramentas de IA para resumir documentos, identificar temas-chave, analisar conteúdo crítico e aplicar esses insights a desafios de segurança nacional do mundo real. Projetos em equipe revelaram usos inovadores de IA, incluindo a geração de perguntas para entrevistas, simulação de entrevistas e criação de apresentações. A aula demonstra o potencial da IA como uma ferramenta de aprendizagem poderosa, acelerando o aprendizado e aprofundando a compreensão.

Leia mais
(steveblank.com)
Desenvolvimento IA na Educação Análise de Políticas

Formas Quadráticas Além da Aritmética: Quatro Décadas de Avanços Algébricos

2025-07-21

Este artigo revisa os principais avanços na teoria algébrica das formas quadráticas nas últimas quatro décadas, com foco em como a introdução de métodos da geometria algébrica revolucionou o campo. Traçando as origens do conceito desde os trabalhos iniciais na antiga Babilônia e Grécia até os teoremas marcos de Fermat e Lagrange, destaca-se a solução das conjecturas de Milnor e abordagens novas para o estudo de formas quadráticas usando ferramentas da geometria algébrica, como hipersuperfícies quadráticas e ciclos algébricos. O artigo também explora invariantes de campo associados a formas quadráticas (o u-invariante e os números de Pitágoras) e discute questões em aberto sobre dimensões e padrões de divisão de formas quadráticas.

Leia mais
(www.ams.org)
Desenvolvimento formas quadráticas geometria algébrica conjecturas de Milnor

Coleção de artigos e projetos do programador Bradford J. Rodriguez

2025-05-15

O site pessoal de Bradford J. Rodriguez apresenta uma coleção de artigos, apresentações de seminários e programas de computador que ele publicou ao longo dos anos. O conteúdo abrange tópicos como escrita de kernel Forth, sistemas multiprocessamento, controle em tempo real, Forth orientado a objetos e montadores. Isso inclui o texto completo de suas dissertações de PhD e MS, juntamente com o código-fonte e a documentação de vários projetos menores. Esses recursos fornecem materiais de aprendizado valiosos para aqueles interessados em sistemas embarcados, a linguagem Forth e arquitetura de computadores.

Leia mais
(www.bradrodriguez.com)
Desenvolvimento Arquitetura de Computadores

Garmin Connect: Seu Centro de Dados de Fitness

2025-01-08
Garmin Connect: Seu Centro de Dados de Fitness

O Garmin Connect é mais do que um simples aplicativo de rastreamento de condicionamento físico; é um centro de dados de condicionamento físico abrangente que registra e analisa suas várias atividades físicas, como corrida, ciclismo e natação. Ele não apenas acompanha sua distância, tempo e consumo de calorias, mas também fornece planos de treinamento personalizados e recomendações para ajudá-lo a gerenciar melhor seus objetivos de saúde e condicionamento físico. Conectando-se perfeitamente a outros dispositivos Garmin, você pode visualizar e gerenciar facilmente seus dados de condicionamento físico e compartilhar suas conquistas com amigos. Em resumo, o Garmin Connect é seu poderoso assistente para alcançar seus objetivos de condicionamento físico.

Leia mais
(connect.garmin.com)
Diversos rastreamento de condicionamento físico gerenciamento de saúde

Por que o Linux ainda não está pronto para a área de trabalho

2024-12-30

Este artigo explora as razões profundas pelas quais o Linux ainda não alcançou a adoção generalizada na área de trabalho. O autor destaca vários problemas-chave: compatibilidade de software deficiente entre distribuições, atualizações frequentes levando a bugs e regressões, financiamento insuficiente resultando em qualidade de software inferior, suporte inadequado para drivers de hardware e desafios na comunicação dentro da comunidade Linux. Embora o Linux se destaque em ambientes de servidor, sua presença na área de trabalho permanece prejudicada por esses obstáculos persistentes, dificultando sua capacidade de competir efetivamente com sistemas operacionais estabelecidos como o Windows.

Leia mais
(itvision.altervista.org)
Desenvolvimento compatibilidade de software

Apple TV+ com acesso gratuito neste fim de semana

2024-12-30
Apple TV+ com acesso gratuito neste fim de semana

A Apple está oferecendo acesso gratuito ao seu serviço de streaming Apple TV+ de 3 a 5 de janeiro de 2025. Esta avaliação gratuita de três dias inclui acesso à biblioteca de programas e filmes premiados do Apple TV+, dando aos potenciais assinantes a chance de experimentar seu conteúdo, incluindo séries populares como Severance (com a segunda temporada estreando em 17 de janeiro), For All Mankind, Silo e Monarch: Legacy of Monsters. Tudo o que você precisa é um ID Apple para aproveitar esta oferta.

Leia mais
(www.theverge.com)
Tecnologia acesso gratuito serviço de streaming

Imersão no AMD Instinct MI350: Acelerador de IA baseado em GCN

2025-06-20
Imersão no AMD Instinct MI350: Acelerador de IA baseado em GCN

Em uma entrevista, Alan Smith, arquiteto-chefe do Instinct da AMD, mergulhou nos detalhes dos novos aceleradores de IA da série MI350, baseados na arquitetura GFX9. Embora o MI350 retenha a arquitetura GFX9, melhorias significativas de desempenho são alcançadas por meio do aumento da capacidade do LDS (160 KB) e da largura de banda, juntamente com a introdução de formatos de microescala que suportam tipos de dados FP8, FP6 e FP4. Notavelmente, o FP6 e o FP4 do MI350 possuem a mesma taxa de transferência, refletindo a confiança da AMD no potencial do FP6 para treinamento e inferência. Além disso, o MI350 omite a aceleração de hardware TF32 em favor do BF16 otimizado, oferecendo emulação de software para suporte TF32. Construído com chips de computação de processo N3P e chips de E/S de processo N6, o MI350 otimiza o design e reduz as unidades de computação para atingir alto desempenho ao mesmo tempo em que reduz o consumo de energia.

Leia mais
(chipsandcheese.com)
Hardware

Biblioteca OAuth de código aberto do Cloudflare: Um registro arqueológico da colaboração entre humanos e IA

2025-06-07
Biblioteca OAuth de código aberto do Cloudflare: Um registro arqueológico da colaboração entre humanos e IA

O Cloudflare lançou uma biblioteca OAuth 2.1 de código aberto, quase totalmente gerada pelo Claude, um modelo de IA. O histórico de commits Git do projeto documenta meticulosamente cada prompt, iteração e intervenção humana, oferecendo um registro arqueológico da colaboração entre humanos e IA. Inicialmente cético, o engenheiro líder ficou impressionado com a capacidade do Claude de gerar quase todo o código para uma biblioteca de autenticação pronta para produção. O estudo de caso destaca a importância de prompts claros, refinamento iterativo e intervenção humana oportuna para uma colaboração eficaz entre humanos e IA. O futuro pode ver os próprios prompts se tornando o código, impulsionando diretamente a execução do aplicativo.

Leia mais
(www.maxemitchell.com)
Desenvolvimento colaboração humano-IA

O esforço heróico da comunidade Vim após a morte de Bram Moolenaar

2025-02-16
O esforço heróico da comunidade Vim após a morte de Bram Moolenaar

Após a morte de Bram Moolenaar, o criador do Vim, em agosto de 2023, a comunidade de código aberto se uniu para manter seu projeto vivo. O mantenedor Christian Brabandt contou a história inspiradora na VimConf 2024, detalhando os desafios superados: herdar a conta do GitHub, migrar a infraestrutura e integrar novos mantenedores. Embora o Vim esteja agora em modo de manutenção, focando em correções de bugs e recursos menores, a comunidade permanece ativa, melhorando a documentação e os processos para garantir a saúde de longo prazo do Vim. O Vim 9.1, dedicado a Moolenaar, foi lançado em janeiro de 2024.

Leia mais
(thenewstack.io)
Desenvolvimento

Programação sem libc: Dominando chamadas de sistema Linux com strace

2025-06-14

O autor recentemente se aventurou a construir software sem a libc para obter uma compreensão mais profunda das chamadas de sistema Linux e de seus mecanismos internos. Isso envolveu a criação de um shell mínimo, um jogo de Snake, um servidor HTTP em assembly puro ARM64 e uma implementação de threads. A depuração dependia muito do strace, e o artigo detalha várias opções e sinalizadores úteis do strace. Esses vão desde o rastreamento de processos filhos e a impressão de informações detalhadas da estrutura até o rastreamento seletivo de chamadas de sistema e até mesmo a injeção de erros de chamada de sistema para fins de depuração. Isso fornece insights valiosos sobre técnicas avançadas de programação e depuração de sistemas Linux.

Leia mais
(rrampage.github.io)
Desenvolvimento

uv: Um recurso incrível que você precisa conhecer

2025-01-12

uv não é apenas um gerenciador de pacotes Python rápido; ele possui um recurso incrível: gerenciamento simplificado de dependências. Precisa do Pandas no seu REPL Python? Apenas um comando, `uv run --python 3.12 --with pandas python`, elimina a necessidade de ambientes virtuais ou alternância de versões do Python. Isso torna a criação de scripts ad-hoc e a experimentação com diferentes versões do Python incrivelmente suaves.

Leia mais
(valatka.dev)
Desenvolvimento gerenciador de pacotes

Trabalho Remoto: A Atração de Salários Mais Baixos por Benefícios de Trabalho em Casa

2025-01-05
Trabalho Remoto: A Atração de Salários Mais Baixos por Benefícios de Trabalho em Casa

A Fortune relata que alguns gerentes de contratação estão utilizando opções de trabalho remoto para atrair candidatos e contratar por salários mais baixos. Alguns candidatos estão aceitando um corte de 5% a 15% no salário para trabalhar em casa, destacando uma faca de dois gumes: enquanto o trabalho remoto oferece flexibilidade, também pode levar a salários reduzidos.

Leia mais
(fortune.com)
Startup salário contratação

Imersão na Segurança de Memória do Zig

2025-05-10
Imersão na Segurança de Memória do Zig

A segurança de memória é um pilar fundamental do design do Zig. Este artigo mergulha na abordagem sofisticada do Zig para prevenir erros comuns relacionados à memória, mantendo os benefícios de desempenho da gestão manual de memória. Recursos explorados incluem a eliminação de fluxos de controle ocultos, tratamento abrangente de erros, verificações de segurança em tempo de compilação, verificação de limites em tempo de execução, a instrução `defer`, tipos opcionais, modos de compilação e recursos avançados como matrizes terminadas por sentinela e alocadores explícitos. O sistema `comptime` do Zig permite a avaliação de funções em tempo de compilação, possibilitando metaprogramação poderosa enquanto mantém a segurança. Esses mecanismos reduzem significativamente os riscos associados a vazamentos de memória, estouros de buffer e ponteiros pendentes, tornando o Zig uma escolha robusta para programação de sistemas.

Leia mais
(gencmurat.com)
Desenvolvimento

Repensando a Economia do Sistema de Saúde dos EUA: Uma Proposta Radical

2025-01-11

Uma postagem de blog descreve um plano disruptivo para enfrentar os problemas econômicos do sistema de saúde dos EUA. O autor argumenta que a complexidade do setor impulsiona custos exorbitantes, propondo um retorno a um modelo mais simples: os pacientes recebem atendimento e pagam o que podem pagar. A questão central passa a ser o financiamento para aqueles que não conseguem pagar. O autor sugere reduzir custos por meio de maior transparência (publicação de listas de materiais e margens dos fornecedores), contratos simplificados e remoção das seguradoras. O objetivo final é reduzir mais da metade o gasto total com saúde. Vários mecanismos de financiamento para os não segurados são explorados, gerando um debate animado nos comentários.

Leia mais
(blogmaverick.com)
Diversos reforma do sistema de saúde transparência de custos companhias de seguros
1 2 … 554 555 556 558 560 561 562 … 595 596