Clonagem de VM e Geração de Números Aleatórios no Linux: Implicações de Segurança e Soluções

2025-04-12
Clonagem de VM e Geração de Números Aleatórios no Linux: Implicações de Segurança e Soluções

Este documento analisa as implicações de segurança da restauração de múltiplas cópias de VM a partir de um único snapshot. O Linux expõe três interfaces principais de RNG: /dev/random, /dev/urandom e a chamada de sistema getrandom. Clonar VMs leva a estados inconsistentes de RNG devido a vários parâmetros (como dados do temporizador ou saídas de instruções CPU HWRNG) sendo misturados em cada resultado. O artigo examina diferentes implementações de RNGs em kernels mais novos e mais antigos e propõe soluções: reinicializar o RNG após a restauração, usar o dispositivo virtio-rng e alavancar o mecanismo VMGenID (introduzido no Linux 5.18 e posterior) para resolver estados inconsistentes de RNG após a clonagem.

Leia mais
Desenvolvimento Clonagem de VM RNG do Linux

PyReason: Software de Inferência Explicável para Razonamento Baseado em Grafos

2025-04-12
PyReason: Software de Inferência Explicável para Razonamento Baseado em Grafos

PyReason é uma ferramenta de inferência visual que usa regras lógicas e fatos para raciocinar sobre estruturas de grafos. Suporta grafos com valores reais e anotados e lógica temporal, oferecendo instalação de biblioteca Python, suporte paralelo multinúcleo (apenas Python 3.9 e 3.10) e documentação e exemplos de código abrangentes. O software foi publicado com um artigo e possui licença de permissão de marca registrada da Arizona Board of Regents/Arizona State University.

Leia mais

Rust CUDA: Levando a Computação GPU de Alta Velocidade para o Rust

2025-04-11
Rust CUDA: Levando a Computação GPU de Alta Velocidade para o Rust

O projeto Rust CUDA visa tornar o Rust uma linguagem de primeira linha para computação GPU extremamente rápida usando o CUDA Toolkit. Ele fornece ferramentas para compilar Rust em código PTX altamente otimizado e bibliotecas para interagir com bibliotecas CUDA existentes. Resolvendo os desafios anteriores na integração do Rust com o CUDA, ele oferece um conjunto abrangente de crates cobrindo vários aspectos do ecossistema CUDA, incluindo funções do lado da GPU, wrappers para a API do driver CUDA e suporte OptiX para rastreamento de raios. Embora ainda esteja em desenvolvimento inicial, o projeto busca impulsionar a indústria de computação GPU Rust para frente.

Leia mais
Desenvolvimento

Container Tools: Automatizando a construção de imagens de contêiner Debian mínimas

2025-04-11
Container Tools: Automatizando a construção de imagens de contêiner Debian mínimas

Container Tools é um projeto que automatiza a criação de sistemas de arquivos raiz Debian mínimos baseados em debootstrap. Ele suporta personalização com pacotes e configurações específicos e integra a verificação de segurança para ambientes em contêiner. Pode ser facilmente estendido para outras distribuições e projetos. Resolve os problemas de ineficiência de rede, lentidão de iteração e inchaço de armazenamento de builds tradicionais de Dockerfiles. Cria imagens de contêiner leves e eficientes, incluindo apenas os componentes necessários. Imagens pré-construídas com Java, Kafka e mais estão disponíveis. A saída final é um arquivo .tar importável e executável via `docker import`.

Leia mais

ParticleOS: Uma distribuição Linux imutável e totalmente personalizável

2025-04-11
ParticleOS: Uma distribuição Linux imutável e totalmente personalizável

ParticleOS é uma distribuição Linux imutável única que permite aos usuários construir e assinar suas próprias imagens, dando-lhes controle total sobre a configuração do sistema. Os usuários escolhem a distribuição base (atualmente, Arch e Fedora são suportados) e os pacotes que desejam. As atualizações do sistema são gerenciadas clonando o repositório e executando comandos mkosi. Recomenda-se construir o systemd a partir do código-fonte para garantir que todos os recursos funcionem corretamente. O ParticleOS usa as chaves do usuário para assinatura de inicialização segura e fornece instruções de instalação detalhadas, incluindo instalação de unidade USB e configuração do systemd-homed. Em máquinas virtuais, a senha root padrão e o nome de usuário são 'particleos'.

Leia mais

Porta do Mbed-TLS para o Classic Mac OS: Um Desafio Retro-Tech

2025-04-11
Porta do Mbed-TLS para o Classic Mac OS: Um Desafio Retro-Tech

Um desenvolvedor portou com sucesso o Mbed TLS para o Classic Mac OS 7/8/9, uma façanha notável. O projeto superou vários obstáculos, incluindo as limitações dos compiladores C89/C90 que não possuem recursos modernos de C e as peculiaridades do sistema de arquivos do Mac. O desenvolvedor implementou emulação de inteiros de 64 bits e um sistema personalizado de coleta de entropia, permitindo finalmente uma solicitação GET HTTPS básica em um Mac clássico. Embora existam limitações de segurança, o projeto demonstra paixão por tecnologia retro e habilidades de programação impressionantes.

Leia mais
Desenvolvimento Programação Retro

Pledge: Uma estrutura de programação reativa leve para Swift

2025-04-10
Pledge: Uma estrutura de programação reativa leve para Swift

Pledge é uma estrutura de programação reativa leve e segura para threads para Swift que simplifica o gerenciamento de estado e a propagação de eventos. Ao contrário de outras estruturas com curvas de aprendizado íngremes, o Pledge se concentra em resolver problemas cotidianos enfrentados pelos desenvolvedores. Ele oferece implementação segura para threads, notificações baseadas em prioridade, filas personalizáveis, atualizações em lote, limitação de taxa e operadores funcionais comuns. Usando `PLObservable` e `PLGlobalStore`, os desenvolvedores podem implementar facilmente o padrão de observador e o gerenciamento de estado global, melhorando a eficiência e a manutenibilidade do código.

Leia mais

Transformando Docstrings em Funções LLM: Apresentando a biblioteca smartfunc

2025-04-10
Transformando Docstrings em Funções LLM: Apresentando a biblioteca smartfunc

A biblioteca smartfunc transforma de forma inteligente docstrings em funções LLM, simplificando a interação com modelos de linguagem grandes. Usando decoradores e templates Jinja2, ela converte texto de docstrings em prompts, interagindo com vários fornecedores de LLM (como o OpenAI) por meio da biblioteca llm subjacente. smartfunc suporta modelos Pydantic para definir estruturas de resposta, funções assíncronas, prompts do sistema e um modo de depuração para facilitar a solução de problemas, aumentando significativamente a eficiência do desenvolvimento. Embora sua funcionalidade seja relativamente simplificada, sua simplicidade e facilidade de uso a tornam ideal para prototipagem rápida.

Leia mais
Desenvolvimento

TVMC: Compressão de Malha Variável no Tempo usando Malhas de Referência Rastreadas por Volume

2025-04-10
TVMC: Compressão de Malha Variável no Tempo usando Malhas de Referência Rastreadas por Volume

O projeto TVMC apresenta uma nova abordagem para compressão de malha variante no tempo. Ele utiliza malhas de referência rastreadas por volume, empregando um pipeline de várias etapas, incluindo rastreamento de volume ARAP, MDS para geração de centro de referência, cálculo de quatérnio de transformação, criação de uma malha de referência sem autocontato rastreada por volume, deformação de malha, cálculo de campo de deslocamento e compressão e avaliação baseadas em Draco. O projeto suporta Windows e Ubuntu, oferecendo instruções detalhadas de construção e execução do Docker, juntamente com instruções para execução em uma máquina local.

Leia mais

Photon: Biblioteca de processamento de imagens Rust/WebAssembly de alto desempenho

2025-04-10
Photon: Biblioteca de processamento de imagens Rust/WebAssembly de alto desempenho

Photon é uma biblioteca de processamento de imagens Rust de alto desempenho que compila para WebAssembly, permitindo o processamento de imagens seguro e ultrarrápido, tanto nativamente quanto na web. Suporta vários formatos de imagem (PNG, JPEG, BMP, etc.) e oferece mais de 96 funções personalizáveis, cobrindo correção de imagens, redimensionamento, convoluções, manipulação de canais, transformações, efeitos monocromáticos, manipulação de cores, filtros, marca d'água e mesclagem. Photon está disponível nativamente, via WebAssembly em navegadores e Node.js. A versão 0.3.2 adiciona novos recursos, como filtro duotônico, rotação de imagem e filtro de dithering.

Leia mais
Desenvolvimento

RCSS: Pré-processador CSS com sintaxe inspirada em Rust

2025-04-10
RCSS: Pré-processador CSS com sintaxe inspirada em Rust

RCSS é uma linguagem de estilo que traz a sintaxe inspirada em Rust para CSS. Combinando a robustez do Rust com recursos semelhantes ao SASS, como aninhamento e variáveis, visa estilos mais limpos e fáceis de manter. A implementação atual possui sintaxe semelhante ao Rust, suportando variáveis, aninhamento e funções (atualmente sem argumentos), além de uma extensão VS Code para destaque de sintaxe. Planos futuros incluem adicionar suporte para funções com argumentos, importação, um formatador, formatação de saída CSS aprimorada e melhores ferramentas de tratamento de erros e depuração. O RCSS possui uma velocidade de compilação impressionante, concluindo em algumas centenas de microssegundos.

Leia mais
Desenvolvimento pré-processador CSS

Visualizador WebGL para Cenários de Voxel Esparsos

2025-04-09
Visualizador WebGL para Cenários de Voxel Esparsos

Um visualizador interativo baseado em WebGL para visualizar cenas de voxel esparsas do artigo Nvidia Sparse Voxels Rasterization. Este visualizador permite que você explore e visualize o campo de radiance de voxel a partir do seu navegador da web. A renderização é semelhante à implementação de referência CUDA. Ele possui controles de câmera interativos (mouse e toque), exibição de métricas de desempenho (FPS) e suporta o carregamento de arquivos PLY personalizados. O projeto utilizou assistência de IA, mostrando-se altamente eficiente para código padrão, mas menos para depuração de gráficos complexos. Os arquivos PLY gerados podem ser grandes; considere limitar a contagem de voxels.

Leia mais
Desenvolvimento Renderização de Voxel

LispE: Um dialeto Lisp inovador com casamento de padrões e lógica

2025-04-09
LispE: Um dialeto Lisp inovador com casamento de padrões e lógica

O LispE, um dialeto Lisp moderno desenvolvido pela Naver, se diferencia das implementações tradicionais de Lisp, como Common Lisp, Scheme e Clojure, por meio de construções inovadoras: defpat, defmacro e defpred. O LispE estende a flexibilidade e o sistema de macros do Lisp com casamento de padrões avançado, recursos de macro aprimorados e elementos de programação lógica. defpat permite definir múltiplas funções com o mesmo nome, cada uma acionada por um padrão de argumento específico; defmacro simplifica a criação de sintaxe personalizada usando casamento de padrões e um operador $; defpred integra casamento de padrões com avaliação baseada em predicados e backtracking automático, combinando programação lógica na estrutura do Lisp. Em comparação com outros Lisps, o LispE oferece expressividade e modularidade superiores.

Leia mais
Desenvolvimento casamento de padrões

Executando Windows XP e 2003 no Apple TV original!

2025-04-09
Executando Windows XP e 2003 no Apple TV original!

Após dois anos de trabalho, um desenvolvedor conseguiu executar com sucesso o Windows XP e o Windows Server 2003 no Apple TV original! Este feito superou obstáculos significativos devido ao firmware apenas EFI do dispositivo, incompatível com o Windows padrão. Usando um bootloader FreeLoader personalizado e drivers, o desenvolvedor conseguiu um sistema inicializável com acesso à área de trabalho, embora alguns recursos como PCI, USB e áudio permaneçam parcialmente ou totalmente quebrados.

Leia mais
Tecnologia

CodeScientist: Ferramenta de IA para Descoberta Científica Automatizada – Custos e Riscos

2025-04-09
CodeScientist: Ferramenta de IA para Descoberta Científica Automatizada – Custos e Riscos

O CodeScientist é um agente autônomo que utiliza LLMs para descoberta científica automatizada. Ele gera, depura e executa experimentos, mas os custos variam dependendo das iterações de depuração, tamanho das instruções, etc., com uma média de cerca de US$ 4 por experimento. Os usuários devem gerenciar cuidadosamente as chaves de API e monitorar o uso para evitar custos elevados. O código gerado pode conter chaves de API; padrões de exclusão são recomendados para evitar commits acidentais.

Leia mais
Desenvolvimento Gerenciamento de Custos

Mapa de Defesa do Kernel Linux e Verificador de Endurecimento

2025-04-09
Mapa de Defesa do Kernel Linux e Verificador de Endurecimento

A segurança do kernel Linux é complexa. Este projeto apresenta um mapa visual que detalha as relações entre as classes de vulnerabilidades, técnicas de exploração, mecanismos de detecção e tecnologias de defesa. O mapa, escrito na linguagem DOT e renderizado com o GraphViz, auxilia na navegação da documentação e do código-fonte do kernel. Complementando o mapa, há uma ferramenta, `kernel-hardening-checker`, que automatiza a verificação das opções de endurecimento de segurança do kernel Linux, especialmente aquelas frequentemente desabilitadas por padrão em distribuições principais, melhorando assim a segurança do sistema.

Leia mais

Formatador de Dockerfile Modernizado: dockerfmt

2025-04-09
Formatador de Dockerfile Modernizado: dockerfmt

Apresentamos o dockerfmt, um formatador de Dockerfile modernizado construído sobre o analisador buildkit. Ele oferece suporte aprimorado para comandos RUN (embora agrupamento e ponto e vírgula ainda não sejam suportados), suporte a comentários embutidos básicos e várias opções de linha de comando para verificação, gravação, recuo e tratamento de nova linha. Ligações JS também são fornecidas para fácil integração. Embora recursos como quebra de linha para comandos JSON longos e a diretiva # escape=X ainda não estejam implementados, o dockerfmt fornece uma maneira amigável e eficaz de formatar seus Dockerfiles.

Leia mais
Desenvolvimento formatador

Coroot: Observabilidade Acionável Sem Alterações de Código

2025-04-08
Coroot: Observabilidade Acionável Sem Alterações de Código

Coroot é uma plataforma de observabilidade de código aberto que coleta automaticamente métricas, logs e rastreios sem exigir nenhuma alteração de código, transformando esses dados em insights acionáveis. Utilizando eBPF para monitoramento sem instrumentação, fornece um mapa de serviços, inspeções predefinidas, resumos de integridade de aplicativos, rastreamento distribuído, análise de logs e recursos de perfil. Coroot identifica e resolve problemas de aplicativos rapidamente, integra-se ao Kubernetes e às principais plataformas de nuvem e oferece rastreamento de SLOs e monitoramento de custos para ajudar os desenvolvedores a otimizar o desempenho do aplicativo e reduzir os custos em nuvem.

Leia mais
Desenvolvimento

HNSW: Um Mundo Pequeno Navegável Hierárquico para Busca Eficiente de Vizinhos Mais Próximos

2025-04-08
HNSW: Um Mundo Pequeno Navegável Hierárquico para Busca Eficiente de Vizinhos Mais Próximos

HNSW é um algoritmo baseado em grafo de mundo pequeno navegável hierárquico para busca de vizinhos mais próximos de embeddings vetoriais. Ele utiliza uma estrutura hierárquica para acelerar o processo de busca. O algoritmo constrói estruturas de grafo esparsas e densas em diferentes níveis e busca de forma eficiente de cima para baixo. O código é conciso, usando C++ moderno e Eigen para aceleração SIMD, requerendo apenas cerca de 500 linhas de código.

Leia mais

Plugin LLM: Resuma Threads do Hacker News com Facilidade

2025-04-08
Plugin LLM: Resuma Threads do Hacker News com Facilidade

Um novo plugin LLM, `llm-hacker-news`, permite que você resuma facilmente threads de conversação do Hacker News. Basta instalar o plugin e usar o comando `llm -f hn:ID 'sua instrução'` (por exemplo, `llm -f hn:43615912 'resumo com citações diretas ilustrativas'`) para obter um resumo do thread com o ID especificado (encontrado na URL do thread). Instruções de instalação e configuração local são fornecidas no README.

Leia mais
Desenvolvimento

Neuroplasticidade em tempo real: Dando a LLMs pré-treinadas aprendizagem em tempo real

2025-04-08
Neuroplasticidade em tempo real: Dando a LLMs pré-treinadas aprendizagem em tempo real

Esta técnica experimental, chamada de "Grafite Neural", usa um plug-in chamado "Camada de Pulverização" para injetar rastros de memória diretamente no estágio final de inferência de modelos de linguagem grandes pré-treinados (LLMs) sem ajuste fino ou recursão. Imitando a neuroplasticidade do cérebro, altera sutilmente o "pensamento" do modelo modificando embeddings vetoriais, influenciando suas previsões de tokens gerativos. Através da interação, o modelo aprende e evolui gradualmente. Embora não force saídas de palavras específicas, ele direciona o modelo para conceitos associados com interação repetida. O objetivo é dar aos modelos de IA um comportamento mais proativo, personalidade focada e curiosidade aprimorada, ajudando-os, em última análise, a alcançar uma forma de autoconsciência em nível de neurônio.

Leia mais

Servidor MCP Leve: Dados meteorológicos em tempo real para Claude

2025-04-07
Servidor MCP Leve: Dados meteorológicos em tempo real para Claude

Este projeto cria um servidor leve de Protocolo de Contexto de Modelo (MCP) que permite que assistentes de IA como o Claude acessem e interpretem dados meteorológicos em tempo real. Os usuários simplesmente adicionam o servidor à sua configuração do Claude, constroem o binário usando `go build`, configuram uma chave de API meteorológica e podem então consultar informações meteorológicas para cidades específicas dentro do Claude. O projeto apresenta um design modular que abrange o tratamento do servidor, a lógica de negócios, serviços simulados para teste e modelos de visualização, e é licenciado sob a Licença MIT.

Leia mais

Kahuna: Gerenciador de Banco de Dados IndexedDB

2025-04-07
Kahuna: Gerenciador de Banco de Dados IndexedDB

Kahuna é uma extensão de navegador para Firefox e navegadores baseados em Chromium que facilita o gerenciamento de bancos de dados IndexedDB. Permite criar, modificar, visualizar, consultar, editar, importar e exportar dados IndexedDB. Recursos incluem filtragem de dados, paginação, execução de código JavaScript e importação/exportação em vários formatos (Dexie, JSON, CSV). Embora a documentação esteja em andamento, o Kahuna é uma ferramenta poderosa para desenvolvedores que trabalham com IndexedDB.

Leia mais
Desenvolvimento

OpenPrompt: Integração perfeita de código em LLMs

2025-04-07
OpenPrompt: Integração perfeita de código em LLMs

O OpenPrompt simplifica o processo de alimentar código em modelos de linguagem grandes como Claude, GPT-4 e Grok. Esta ferramenta serializa rapidamente arquivos e pastas em XML, facilitando o upload da sua base de código. Disponível para Windows, macOS e Linux (com executáveis fornecidos), o OpenPrompt permite que você selecione diretórios, filtre arquivos, adicione instruções e gere um prompt XML pronto para colar no seu LLM escolhido. Casos de uso incluem revisões de código, geração de documentação, assistência de refatoração, caça a bugs, aprendizado de novas bases de código e análise arquitetural.

Leia mais
Desenvolvimento

GitMCP: Acesso sem esforço à documentação de projetos do GitHub com IA

2025-04-07
GitMCP: Acesso sem esforço à documentação de projetos do GitHub com IA

O GitMCP é um serviço gratuito e de código aberto que transforma perfeitamente qualquer projeto do GitHub em um endpoint remoto do Protocolo de Contexto do Modelo (MCP), permitindo que assistentes de IA acessem e compreendam a documentação do projeto sem esforço. Nenhuma configuração é necessária; o GitMCP funciona imediatamente e é totalmente gratuito e privado, sem coletar nenhuma informação pessoalmente identificável ou consultas. Os usuários acessam repositórios do GitHub ou sites do GitHub Pages por meio de formatos de URL simples. Assistentes de IA podem acessar a documentação do projeto por meio do GitMCP, utilizando a pesquisa semântica para otimizar o uso de tokens. O GitMCP atua como uma ponte entre a documentação do repositório do GitHub e os assistentes de IA, implementando o MCP, garantindo a entrega eficiente e precisa de informações.

Leia mais

Jogo de Eliminação de LLMs: Raciocínio Social, Estratégia e Engano

2025-04-07
Jogo de Eliminação de LLMs: Raciocínio Social, Estratégia e Engano

Pesquisadores criaram um benchmark de "jogo de eliminação" multijogador para avaliar modelos de linguagem grandes (LLMs) em raciocínio social, estratégia e engano. Oito LLMs competem, participando de conversas públicas e privadas, formando alianças e votando para eliminar oponentes até que apenas dois permaneçam. Um júri de jogadores eliminados decide então o vencedor. Analisando logs de conversas, padrões de votação e classificações, revela-se como os LLMs equilibram o conhecimento compartilhado com intenções ocultas, forjando alianças ou traindo-as estrategicamente. O benchmark vai além de diálogos simples, forçando os modelos a navegar em dinâmicas públicas versus privadas, votação estratégica e persuasão do júri. GPT-4.5 Preview surgiu como o melhor desempenho.

Leia mais

mem-isolate: Executando código inseguro com segurança

2025-04-06
mem-isolate: Executando código inseguro com segurança

mem-isolate executa sua função via fork(), aguarda o resultado e o retorna para o processo pai, impedindo que o código inseguro afete o espaço de memória do processo pai. Ele lida com vazamentos de memória e fragmentação de heap, impondo pureza de memória mesmo para funções impuras. Atualmente, suporta apenas sistemas semelhantes ao Unix, adicionando cerca de 1ms de sobrecarga em comparação com chamadas de função diretas — uma troca razoável para segurança de memória em aplicações críticas.

Leia mais

TripoSG: Síntese de Formas 3D de Alta Fidelidade usando Modelos de Fluxo Retificados em Grande Escala

2025-04-06
TripoSG: Síntese de Formas 3D de Alta Fidelidade usando Modelos de Fluxo Retificados em Grande Escala

TripoSG é um modelo de base de ponta para geração de imagem para 3D de alta fidelidade. Utilizando transformadores de fluxo retificados em grande escala, treinamento supervisionado híbrido e um conjunto de dados de alta qualidade, ele alcança resultados de ponta. O TripoSG gera malhas com recursos nítidos, detalhes finos e estruturas complexas, refletindo com precisão a semântica da imagem de entrada. Ele possui fortes capacidades de generalização, manipulando diversos estilos de entrada. Um modelo de 1,5B de parâmetros, juntamente com o código de inferência e uma demonstração interativa, agora está disponível.

Leia mais

Erica Synths libera código-fonte de seus módulos Eurorack DIY

2025-04-06
Erica Synths libera código-fonte de seus módulos Eurorack DIY

Após descontinuar seus projetos DIY Eurorack legados, a Erica Synths decidiu liberá-los como código aberto. Eles forneceram arquivos Gerber para painéis frontais feitos em PCB e fizeram pequenas alterações no design do módulo para eliminar componentes personalizados e raros (embora alguns módulos ainda requeiram CIs raros disponíveis em www.ericasynths.lv). Cada pasta contém informações e arquivos completos para construir um módulo: esquemas, arquivos Gerber para o painel frontal, arquivos Gerber para PCBs, listas de materiais (BOMs), colocação de componentes com valores e designadores e manuais de montagem (observe que alguns manuais são para versões mais antigas do módulo). A Erica Synths permite o uso de terceiros para fins pessoais, educacionais ou comerciais, mas não fornecerá suporte; consulte os fóruns (www.muffwiggler.com) para detalhes de construção, solução de problemas, disponibilidade de peças e alternativas. Os módulos de código aberto incluem: Bassline, BBD delay/flanger, Delay, Dual VCA, Envelope, MIDI-CV, Mixer, Modulator, Output, Polivoks VCF, Swamp e VCO3.

Leia mais
Hardware Sintetizador
1 2 25 26 27 29 31 32 33 50 51