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

Armadilha eBPF: O FRED no Kernel Linux 6.9+

2025-03-01

O kernel Linux 6.9+ introduz o CONFIG_X86_FRED em x86_64, adicionando 16 bytes de preenchimento ao final da pilha do kernel de uma tarefa. Isso quebra programas eBPF que acessam diretamente a pilha do kernel e pt_regs, retornando lixo. O autor encontrou esse problema com sua ferramenta eBPF xcapture-next após a atualização para o kernel 6.11. A análise revelou o offset da pilha do FRED como o culpado. Um mecanismo de detecção dinâmica do FRED é apresentado para ajustar os cálculos do endereço da pilha, resolvendo o problema. Este artigo é crucial para desenvolvedores eBPF, especialmente aqueles que trabalham com manipulação bruta da pilha do kernel.

Leia mais
(tanelpoder.com)
Desenvolvimento

O Triunfo de Hammershøi em Londres: De Wimpole Street ao Sucesso Crítico

2025-03-09
O Triunfo de Hammershøi em Londres: De Wimpole Street ao Sucesso Crítico

Vilhelm Hammershøi passou o inverno de 1912 e a primavera de 1913 na Inglaterra, culminando em exposições de sucesso. Sua conexão começou com Leonard Borwick, um renomado pianista que, após descobrir o trabalho de Hammershøi, defendeu sua arte. Borwick, um favorito da Rainha Vitória, conseguiu exposições em locais prestigiosos de Londres, incluindo o Guildhall e a Galeria Van Wisselingh. Os shows foram elogiados pela crítica, com Hammershøi sendo chamado de 'a descoberta da temporada' e suas pinturas elogiadas por sua 'reserva e frieza'. A afinidade pessoal de Hammershøi com a música, evidente em seus esboços de infância e nas histórias de sua esposa, provavelmente influenciou sua visão artística.

Leia mais
(www.richardmorris.org)
Design exposição Dinamarca

Dispensador de fita aprimorado do Padre Ted: Menor, melhor, mais fácil de construir

2025-06-01
Dispensador de fita aprimorado do Padre Ted: Menor, melhor, mais fácil de construir

O autor aprimorou seu dispensador de fita do Padre Ted de um ano atrás. A nova versão é menor, tem um som melhor e aparência mais profissional. Ele usa uma caixa impressa em 3D, um sensor de infravermelho e um microcontrolador ESP8266, custando menos de € 10 e sendo muito mais fácil de construir. O autor compartilhou os modelos imprimíveis em 3D e as instruções, incentivando outros a construir o seu próprio. Eles também sugerem doar para uma instituição de caridade que apoia pessoas trans, em resposta a comentários negativos do criador do Padre Ted.

Leia mais
(stephencoyle.net)
Hardware eletrônica DIY

Wikenigma: Uma Enciclopédia do Desconhecido

2025-01-27

Wikenigma é um recurso wiki único dedicado à documentação de lacunas fundamentais no conhecimento humano. Ele lista perguntas científicas e acadêmicas sem respostas definitivas - as 'incógnitas conhecidas'. Os usuários podem contribuir e editar artigos, incentivando o interesse na pesquisa ao destacar problemas não resolvidos em vários campos, como química, ciência da computação e história. O site oferece pesquisa fácil e navegação aleatória de artigos.

Leia mais
(wikenigma.org.uk)
Tecnologia lacunas de conhecimento

CVE Fantasma: Falha de segurança em emulador de terminal Ghostty

2025-01-01

Um novo emulador de terminal, Ghostty, lançou recentemente a versão 1.0. O pesquisador de segurança David Leadbeater descobriu uma vulnerabilidade (CVE-2024-56803) semelhante a uma CVE de 2003, permitindo que atacantes executem código arbitrário explorando a funcionalidade de consulta de título do terminal. A vulnerabilidade utiliza a natureza de sinalização em banda dos terminais e o comportamento do Zsh no modo vi. Atacantes podem usar sequências de escape elaboradas para executar comandos maliciosos sem o conhecimento do usuário, mesmo via SSH. O Ghostty 1.0.1 corrige isso; os usuários devem atualizar ou aplicar as mitigações fornecidas no aviso.

Leia mais
(dgl.cx)
Desenvolvimento segurança de terminal

Patentes de Teclado IBM: Uma Galeria de 150 Designs

2025-07-28
Patentes de Teclado IBM: Uma Galeria de 150 Designs

Uma coleção mostrando 150 patentes relacionadas à IBM e sua família de teclados, máquinas de escrever e perfuradoras de cartões. As patentes cobrem uma variedade de tecnologias, de designs de teclas e acionadores ao design estético geral e dispositivos apontadores integrados como o TrackPoint. Sistemas host, incluindo PCs, laptops, terminais, consoles e máquinas de escrever eletrônicas, também são apresentados. Todas as ilustrações são obtidas diretamente das patentes, que se acredita estarem em domínio público.

Leia mais
(sharktastica.co.uk)
Hardware Design de Teclado

Apple Resolve o Maior Problema das Passkeys: Portabilidade entre Plataformas

2025-06-13
Apple Resolve o Maior Problema das Passkeys: Portabilidade entre Plataformas

A Apple apresentou um recurso crucial de importação/exportação para passkeys na WWDC, resolvendo a principal desvantagem desse padrão de autenticação resistente a phishing: o bloqueio na plataforma. Anteriormente, as passkeys eram frequentemente confinados a um único sistema operacional ou gerenciador de senhas, tornando a transferência entre dispositivos ou plataformas difícil. A nova funcionalidade da Apple permitirá a transferência perfeita de passkeys entre iOS, macOS, iPadOS e visionOS, também suportando senhas e códigos de verificação. Isso aprimora significativamente a adoção de passkeys e combate preocupações sobre grandes empresas usando-as para bloqueio de ecossistema.

Leia mais
(arstechnica.com)
Tecnologia

Execute um log de Transparência de Certificados em um único servidor!

2025-07-08
Execute um log de Transparência de Certificados em um único servidor!

Este artigo explica como é fácil executar um log de Transparência de Certificados (CT), um componente crítico da segurança da web. O autor destaca que, com a nova API CT estática e a implementação do Sunlight, executar um log de CT agora é significativamente mais barato e fácil, exigindo apenas um único servidor, largura de banda mínima e armazenamento. Isso representa uma oportunidade para organizações ou indivíduos com recursos sobrando contribuírem para a segurança da web e aprimorarem suas habilidades técnicas.

Leia mais
(words.filippo.io)
Tecnologia

Executando Clojure em WASM: Uma Jornada Surpreendente

2025-04-28
Executando Clojure em WASM: Uma Jornada Surpreendente

O GraalVM v25 agora suporta um backend WASM para Java, permitindo que o Clojure seja executado no navegador! Embora ainda esteja em estágio inicial (sem threads ou recursos de rede), programas Clojure de thread único são compilados e executados. Esta postagem mostra um exemplo simples de "Hello, World!", analisando o tamanho binário do WASM e o desempenho. A saída WASM do Clojure é maior e mais lenta do que a do Java, mas a otimização melhora a velocidade. Também detalha a interoperação Clojure-JavaScript usando as técnicas de ponte inteligentes do GraalVM. A descoberta surpreendente? A execução de imagens nativas geralmente supera o WASM.

Leia mais
(romanliutikov.com)
Desenvolvimento

Um Milhão Vezes Um Milhão: A Diferença Entre Escalas Longa e Curta

2025-07-11

Na infância do autor, o sistema de numeração de grandes números era baseado na escala longa, onde um milhão multiplicado por um milhão resulta em um bilhão, e assim por diante. No entanto, ao ingressar na universidade e se deparar com o mundo da tecnologia, ele descobriu a prevalência da escala curta, em que um milhão multiplicado por um milhão é um trilhão. O artigo compara e contrasta os dois sistemas, explicando a lógica da escala curta: ela se baseia em multiplicações sucessivas de mil, e não de um milhão. Embora agora use a escala curta, o autor guarda boas lembranças da elegância da escala longa.

Leia mais
(susam.net)
Diversos nomenclatura numérica escala longa escala curta

Lições de um guia de jardinagem paisagística de 1834: Projetando experiências envolventes

2025-06-11

Este artigo explora princípios do guia de jardinagem paisagística de Hermann von Pückler-Muskau de 1834, "Dicas sobre Jardinagem Paisagística", e os aplica ao desenvolvimento de software moderno e design de jogos. Três pontos principais são destacados: 1. Guiar sutilmente os caminhos, fazendo com que as curvas pareçam naturais e propositais; 2. Esconder estrategicamente os recursos principais para construir expectativa e surpresa; e 3. Priorizar a emulação em vez da simulação, buscando realismo e um design harmonioso. Esses princípios transcendem a arquitetura paisagística, oferecendo insights valiosos para a criação de experiências digitais imersivas, como mapas de jogos ou interfaces de usuário.

Leia mais
(fi-le.net)
Design design de paisagem

Threads ultrapassa 350 milhões de usuários mensais ativos, desafiando a dominância do X

2025-05-03
Threads ultrapassa 350 milhões de usuários mensais ativos, desafiando a dominância do X

O CEO do Meta, Mark Zuckerberg, revelou na teleconferência de resultados do primeiro trimestre de 2025, na quarta-feira, que o Instagram Threads, seu concorrente do X, agora ultrapassou 350 milhões de usuários mensais ativos. Isso representa um aumento de 30 milhões de usuários em relação aos 320 milhões relatados no trimestre anterior. O crescimento acelerou, com 30 milhões de usuários adicionados no primeiro trimestre em comparação com 20 milhões no quarto trimestre de 2024. Notavelmente, o Threads adicionou quase tantos usuários em um único trimestre quanto o concorrente mais recente, Bluesky, que atualmente possui aproximadamente 35 milhões de usuários. Enquanto isso, o X afirma ter mais de 600 milhões de usuários mensais ativos, de acordo com sua CEO, Linda Yaccarino. Embora ainda menor do que outros aplicativos sociais do Meta (Facebook, Instagram, Messenger e WhatsApp), o crescimento do Threads solidifica sua posição no cenário de microblogging. O Meta relata que mais de 3,4 bilhões de pessoas usam pelo menos um de seus aplicativos diariamente. Zuckerberg destacou esse crescimento como um indicativo de que o Threads está “a caminho de se tornar nosso próximo grande aplicativo social”, citando um aumento de 35% no tempo gasto no aplicativo devido a melhorias nos sistemas de recomendação.

Leia mais
(techcrunch.com)
Tecnologia

De 'Bom o Suficiente' a 'Esgotar a Lagoa': Como a América está Enfrentando a Escassez de Recursos

2025-03-27
De 'Bom o Suficiente' a 'Esgotar a Lagoa': Como a América está Enfrentando a Escassez de Recursos

Este artigo explora a escassez de recursos que a América enfrenta atualmente, particularmente a falta de moradia. O autor argumenta que regulamentos excessivos e processos de aprovação levam à ineficiência e prejudicam o uso eficaz dos recursos. Essa mentalidade de 'o perfeito é inimigo do bom' levou a um descontentamento público generalizado. O artigo apela para que o governo melhore a eficiência, priorize resultados tangíveis em vez de procedimentos trabalhosos e aborde a escassez de recursos cada vez mais severa.

Leia mais
(inpractice.yimbyaction.org)
Startup escassez de recursos crise habitacional

Economia de energia adaptativa do Windows 11: economia de energia inteligente com base na carga, não apenas na bateria

2025-07-15
Economia de energia adaptativa do Windows 11: economia de energia inteligente com base na carga, não apenas na bateria

A Microsoft está testando um novo modo de economia de energia adaptativa no Windows 11 que gerencia inteligentemente o consumo de energia com base na carga do sistema, não apenas na bateria restante. Ao contrário do modo de economia de energia tradicional, que escurece a tela, este novo modo mantém o brilho enquanto otimiza os processos em segundo plano, pausa downloads de atualizações não críticas e muito mais. Ele é projetado para dispositivos alimentados por bateria, como laptops, e ligará e desligará automaticamente conforme necessário. Atualmente em teste para Insiders do Canal Canary, espera-se que seja lançado ainda este ano.

Leia mais
(www.theverge.com)
Tecnologia Economia de Energia Duração da Bateria

Arquitetura Local-First no Flutter: Um Guia para Criar Aplicativos Offline-First

2025-05-10
Arquitetura Local-First no Flutter: Um Guia para Criar Aplicativos Offline-First

Este artigo explora a arquitetura de aplicativos local-first no Flutter, priorizando o armazenamento e sincronização de dados locais para experiências de usuário superiores. Ao contrário das abordagens tradicionais online-first, a arquitetura local-first designa o banco de dados local como a principal fonte de dados, garantindo a funcionalidade do aplicativo mesmo offline. O artigo detalha as vantagens da arquitetura local-first, os desafios de construir um mecanismo de sincronização (incluindo rastreamento de alterações, resolução de conflitos, casos de borda e tratamento de erros, e otimização de desempenho) e demonstra a construção de um aplicativo Todo com Riverpod, Drift e PowerSync conectado a um backend Supabase. Essas ferramentas simplificam a construção de aplicativos robustos com capacidade offline, melhorando a experiência do usuário.

Leia mais
(dinkomarinac.dev)
Desenvolvimento Aplicativo Offline

Treinamento GRPO leve: Sem Transformers, sem vLLM

2025-04-13
Treinamento GRPO leve: Sem Transformers, sem vLLM

Este projeto implementa uma estrutura de treinamento GRPO (Group Relative Policy Optimization) leve, construída quase do zero, dependendo apenas de tokenizadores e PyTorch. Ele melhora o algoritmo original removendo a divergência de KL e incorporando o filtro de episódios muito longos, melhorando a estabilidade do treinamento e o uso da memória da GPU. O projeto treina o modelo Qwen2.5-3B-Instruct na tarefa CountDown, que requer a geração de uma expressão matemática para atingir um valor alvo dado um conjunto de números. O modelo resolve isso aprendendo a gerar raciocínio em cadeia de pensamento antes da resposta final, guiado por recompensas de formato e resposta. Todo o processo é simples e reprodutível, rodando em uma única GPU A40 com comandos mínimos.

Leia mais
(github.com)
Desenvolvimento

CodeSandbox: Clonando Ambientes de Desenvolvimento em Menos de 2 Segundos

2025-04-11
CodeSandbox: Clonando Ambientes de Desenvolvimento em Menos de 2 Segundos

O CodeSandbox consegue o feito notável de clonar ambientes de desenvolvimento em menos de dois segundos usando microVM's Firecracker e snapshots de memória. O artigo detalha como eles aproveitam a velocidade do Firecracker para instanciar VMs e snapshots de memória combinados com copy-on-write (CoW) para reduzir drasticamente os tempos de criação e clonagem de snapshots. Essa inovação não apenas melhora a experiência do usuário do CodeSandbox, mas também oferece novas abordagens para IDEs em nuvem e implantações de microsserviços.

Leia mais
(codesandbox.io)
Desenvolvimento snapshot de memória

Sinais de Neve: Uma Jornada Transcultural Através do Tempo

2024-12-25
Sinais de Neve: Uma Jornada Transcultural Através do Tempo

Este artigo explora as diversas maneiras pelas quais diferentes culturas ao redor do mundo representaram a 'neve' na escrita e no simbolismo, desde a escrita de ossos de oráculo Shang na China antiga até o motivo 'vento, flores, neve e lua' em jarros de vinho chineses antigos, e da escrita Naxi Dongba até as descrições detalhadas de vários tipos de neve na língua inuktitut. O artigo também se aprofunda em palavras e símbolos relacionados à neve em civilizações antigas gregas, egípcias, hebraicas e maias, mostrando as compreensões e expressões únicas da neve em diferentes culturas, destacando seus contextos culturais e origens históricas.

Leia mais
(viewsproject.wordpress.com)
Diversos sistemas de escrita comparação transcultural neve

Create React App depreciado: abrace as estruturas do React

2025-02-15
Create React App depreciado: abrace as estruturas do React

A equipe do React anunciou que o Create React App (CRA) está entrando em modo de manutenção e não é mais recomendado para novos projetos. Embora o CRA tenha simplificado a criação de aplicativos React, ele possui limitações na construção de aplicativos de produção de alto desempenho, sem soluções integradas para roteamento, busca de dados e divisão de código. A equipe recomenda a migração para frameworks React estabelecidos como Next.js ou Remix, oferecendo melhor desempenho e experiência do desenvolvedor, e resolvendo as deficiências do CRA. Guias de migração estão disponíveis para aplicativos CRA existentes. Também é fornecida documentação para a construção de configurações personalizadas com Vite ou Parcel para aqueles com necessidades exclusivas.

Leia mais
(react.dev)
Desenvolvimento

A Previsão Amarga da IA na Programação

2025-04-12

Após experimentar a incrível eficiência de ferramentas de codificação de IA como o Claude Code, o autor sentiu uma profunda sensação de desconforto. A alegria da programação se tornou menor, comparada à experiência de trapacear em um videogame - vencer facilmente, mas perder a satisfação. O autor se preocupa com o alto custo dessas ferramentas que criará uma barreira significativa para a entrada, exacerbando as desigualdades tecnológicas existentes e levantando preocupações ambientais. Embora reconhecendo a inevitabilidade do progresso da IA, ele expressa preocupação com um futuro em que a programação se torne menos agradável e acessível à maioria.

Leia mais
(4zm.org)
Desenvolvimento ansiedade tecnológica

Conseguindo Polimorfismo com Despacho Dinâmico em Zig

2025-07-19

Diferentemente de muitas linguagens, Zig não possui interfaces embutidas. No entanto, isso não impede o polimorfismo. Este artigo detalha um método para alcançar o polimorfismo de despacho dinâmico em Zig usando interfaces vtable. Esta abordagem separa claramente as interfaces das implementações, não exigindo alterações nos tipos de implementação, enquanto permite o despacho dinâmico. Ela utiliza ponteiros de função para construir uma vtable e usa uma função `implBy` para conectar as implementações à interface, imitando efetivamente a funcionalidade das interfaces em linguagens orientadas a objetos. Isso permite armazenar diferentes implementações em matrizes ou mapas. Embora haja algum código clichê envolvido, as vantagens são uma abordagem limpa, flexível e reutilizável com impacto mínimo nos tipos de implementação.

Leia mais
(williamw520.github.io)
Desenvolvimento Polimorfismo

Firefox Impõe Transparência de Certificados, Melhorando a Segurança na Web

2025-03-01
Firefox Impõe Transparência de Certificados, Melhorando a Segurança na Web

O Firefox está implementando a Transparência de Certificados (CT) em plataformas desktop, um avanço significativo na segurança da web. A partir da versão 135, o Firefox rejeitará certificados que não atendam aos requisitos de CT, garantindo altos padrões de transparência para todos os certificados confiáveis. Isso significa que os proprietários de sites devem verificar se seus certificados são registrados e publicamente detectáveis nos logs de CT. Embora a maioria dos sites não precise de nenhuma ação, verificar se a Autoridade de Certificação (CA) oferece suporte a logs de CT e monitorar os certificados é crucial. A adoção de logs baseados em tiles pelo Firefox fortalece ainda mais o ecossistema de CT, resultando em uma experiência de navegação mais segura para os usuários.

Leia mais
(blog.transparency.dev)
Tecnologia transparência de certificados

EZRGB: Utilizando o DBOS para criar shows de luzes de Natal animados

2024-12-25

A EZRGB utiliza o DBOS para simplificar a criação e implantação de shows de luzes de Natal animados. Sua plataforma EZSequence permite que os usuários comprem sequências pré-fabricadas e as mapeiem automaticamente para os layouts de suas casas, eliminando o processo manual complexo. Construída com WordPress, DBOS Transact, AWS SQS e S3, a plataforma oferece uma solução escalonável e confiável, provando que até mesmo um nicho de mercado pode se beneficiar de tecnologia robusta.

Leia mais
(www.dbos.dev)
Desenvolvimento shows de luzes animados serviços em nuvem

Hooklistener: Ferramenta de Depuração e Teste de Webhook Visual

2024-12-17
Hooklistener: Ferramenta de Depuração e Teste de Webhook Visual

Hooklistener é uma ferramenta online para visualizar, depurar e testar webhooks. Oferece inspeção de carga útil em tempo real, recursos de teste local, programação personalizada, alertas acionáveis e recursos de colaboração em equipe. Os usuários podem configurar facilmente endpoints, receber e analisar webhooks e automatizar fluxos de trabalho com tarefas agendadas. O Hooklistener oferece planos gratuitos e pagos para atender às diversas necessidades, capacitando os desenvolvedores a gerenciar e depurar webhooks de forma mais eficiente.

Leia mais
(www.hooklistener.com)
Desenvolvimento Depuração Teste

Escaneando Brooklyn em Patins com 3D

2025-05-04

O autor criou um dispositivo chamado "Helmdar" combinando patins, LiDAR e tecnologia AR de smartphone para escanear ambientes urbanos enquanto anda de patins. O Helmdar funde dados do LiDAR com dados de rastreamento de pose 6DoF do telefone para gerar mapas de nuvem de pontos 3D. O autor compartilha o processo de criação, a implementação de software e impressionantes scans 3D noturnos do Brooklyn, mostrando um método único de exploração urbana e técnica de visualização de dados.

Leia mais
(owentrueblood.com)
Tecnologia escaneamento 3D tecnologia AR

Fixação de preços por meio de aplicativos: como a Big Tech mascara o poder de monopólio

2025-01-26

A Big Tech usa aplicativos para mascarar esquemas de fixação de preços, exacerbando a inflação. O artigo expõe como gigantes da indústria alimentícia manipulam os preços por meio de corretores de dados e conluio tácito, citando exemplos em ovos, batatas congeladas e carne. Essas empresas aproveitam a assimetria de informações e a tecnologia para expulsar pequenas empresas e obter lucros exorbitantes. Isso não se limita aos alimentos; problemas semelhantes afligem os setores imobiliário e de equipamentos de combate a incêndios, levando a discussões sobre leis antitruste e ações regulatórias.

Leia mais
(pluralistic.net)
Tecnologia inflação fixação de preços

Mistral AI lança Magistral: Modelo de raciocínio transparente e multilíngue

2025-06-10
Mistral AI lança Magistral: Modelo de raciocínio transparente e multilíngue

A Mistral AI anunciou o Magistral, seu primeiro modelo de raciocínio, que se destaca pela transparência, suporte multilíngue e expertise em domínios específicos. Disponível em versões open-source (Magistral Small, 24 bilhões de parâmetros) e empresarial (Magistral Medium), o Magistral se destaca em benchmarks como o AIME2024 e oferece raciocínio significativamente mais rápido (até 10 vezes mais rápido que os concorrentes). Suas aplicações abrangem diversos campos, desde pesquisa jurídica e previsão financeira até desenvolvimento de software e redação criativa, sendo particularmente eficaz em tarefas de vários passos que exigem transparência e precisão. O lançamento open-source do Magistral Small incentiva contribuições da comunidade e melhorias futuras do modelo.

Leia mais
(mistral.ai)
IA

OMS recomenda sal enriquecido com potássio para reduzir doenças cardiovasculares

2025-02-04
OMS recomenda sal enriquecido com potássio para reduzir doenças cardiovasculares

A Organização Mundial da Saúde (OMS) publicou novas diretrizes recomendando a substituição do sal de cozinha comum por alternativas com menor teor de sódio, principalmente sal enriquecido com potássio, para reduzir o risco de hipertensão, doenças cardíacas e acidente vascular cerebral. O sal enriquecido com potássio substitui parte do cloreto de sódio por cloreto de potássio, diminuindo a ingestão de sódio e aumentando os níveis de potássio, ajudando a reduzir a pressão arterial. Embora estudos mostrem benefícios significativos, a adoção generalizada enfrenta desafios, incluindo custos mais elevados e contraindicações para pessoas com doença renal. O sucesso depende da colaboração entre a indústria alimentícia e os governos.

Leia mais
(theconversation.com)
Tecnologia sal

O debate online está nos tornando mais burros?

2025-02-17
O debate online está nos tornando mais burros?

A internet prometeu um renascimento do discurso, mas, em vez disso, nos encontramos envolvidos em discussões de baixa qualidade amplificadas por algoritmos de mídia social. Essas plataformas recompensam o conflito, tornando difícil mudar de ideia e fomentando um efeito Dunning-Kruger em que a confiança supera a compreensão. O autor argumenta que o debate online prejudica ativamente nosso raciocínio, sugerindo que mudemos para leitura profunda, escrita e ambientes mais propícios à aprendizagem genuína, em vez de nos concentrarmos em vencer argumentos.

Leia mais
(www.joanwestenberg.com)
Diversos debate online viés cognitivo
1 2 … 397 398 399 401 403 404 405 … 595 596