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

2025-04-12

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.

(github.com)

Desenvolvimento Clonagem de VM RNG do Linux

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

2025-04-12

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.

(github.com)

Desenvolvimento raciocínio em grafos lógica temporal

Você realmente precisa de WebSockets? Streaming HTTP pode ser suficiente

2025-04-11

Este artigo explora as limitações dos WebSockets, especialmente suas deficiências ao lidar com mensagens que exigem garantias transacionais. O autor argumenta que os WebSockets carecem de transacionalidade, tornando difícil associar comandos e respostas de forma confiável, e o tratamento de erros e solicitações concorrentes é mais complexo. Em contraste, o streaming HTTP oferece uma alternativa mais simples, lidando efetivamente com fluxos de dados em tempo real, evitando as complexidades da gestão do ciclo de vida do WebSocket e as intrincadas complexidades do lado do servidor. O artigo também apresenta a biblioteca eventkit do autor, simplificando a implementação do streaming HTTP.

(hntrl.io)

Desenvolvimento Streaming HTTP

Servo Rejeita Ferramentas de Geração de Código de IA: Protegendo a Integridade de Código Aberto

2025-04-11

O Comitê de Direção Técnica (CDT) do projeto de navegador Servo inicialmente votou para relaxar sua proibição de ferramentas de geração de código de IA como o GitHub Copilot, mas depois reverteu a decisão devido à forte oposição da comunidade. O autor argumenta que o código gerado por IA sofre de erros de lógica e imprevisibilidade, levando a uma qualidade de código inferior, aumento da carga de manutenção e danos à reputação. A postagem detalha os riscos potenciais das ferramentas de IA e o feedback da comunidade, pedindo, em última análise, ao CDT que proíba explicitamente o uso de código gerado por IA para manter a integridade e a credibilidade do projeto.

(www.azabani.com)

Desenvolvimento

O gargalo do código de IA: comunicação clara supera prompts perfeitos

2025-04-11

O autor detalha um progresso significativo no desenvolvimento de IA, construindo rapidamente vários produtos usando ferramentas de IA. No entanto, ele descobriu que as ferramentas de IA muitas vezes agem como desenvolvedores juniores que carecem de contexto de produto e insights do usuário, propensos a erros em tarefas não padrão. Isso lembra uma aula universitária que usa uma analogia de sanduíche de manteiga de amendoim e geleia para ilustrar a importância de instruções de codificação claras. Embora a IA de hoje seja mais avançada, ela ainda exige que os desenvolvedores forneçam instruções claras e precisas para evitar um resultado desorganizado. O autor argumenta que o sucesso na era da IA dependerá da capacidade dos desenvolvedores de entender e explicar claramente como transformar ideias vagas em produtos viáveis, não apenas a velocidade de codificação.

(iamcharliegraham.substack.com)

Desenvolvimento engenharia de prompts

Datastar: Uma estrutura de hipermídia que reinventa o desenvolvimento web

2025-04-11

Datastar é uma nova estrutura de hipermídia projetada para simplificar e otimizar a construção de aplicativos web em tempo real. Priorizando a lógica do lado do servidor, ele usa "sinais" para atualizações automáticas da IU e utiliza eventos enviados pelo servidor (SSE) para desempenho ultrarrápido. Após lutar com as complexidades do HTMX em um aplicativo do mundo real, o autor descobriu que o modelo de programação reativa do Datastar e sua abordagem centrada no servidor são uma alternativa refrescante. O Datastar minimiza as dependências de JavaScript do lado do cliente, oferecendo uma opção convincente para desenvolvedores que buscam eficiência e simplicidade.

(chrismalek.me)

Desenvolvimento Estrutura de Hipermídia Aplicativos Web em Tempo Real

O Segredo do Erlang: Não são os Processos Leves, são os Comportamentos

2025-04-11

Esta publicação revisita as ideias principais por trás da linguagem de programação Erlang. O autor argumenta que o sucesso do Erlang não se deve apenas a seus processos leves e passagem de mensagens, mas sim a seus "comportamentos" exclusivos. Comportamentos são semelhantes a interfaces em outras linguagens; eles fornecem um conjunto de assinaturas de funções predefinidas. Os desenvolvedores só precisam implementar essas assinaturas para obter acesso a recursos avançados como concorrência e tolerância a falhas. Isso permite que os desenvolvedores se concentrem na lógica de negócios sem lidar com detalhes de concorrência de baixo nível. A publicação usa exemplos de comportamentos gen_server, gen_event e supervisor para ilustrar sua importância na construção de sistemas distribuídos confiáveis. Também explora como adaptar o padrão de comportamento do Erlang em outras linguagens para melhorar a confiabilidade e a capacidade de teste do software.

(stevana.github.io)

Desenvolvimento

WebRTC para os Curiosos: Um mergulho profundo em código aberto

2025-04-11

WebRTC For The Curious é um livro de código aberto escrito por implementadores do WebRTC, compartilhando seu conhecimento arduamente adquirido. Concentrando-se em protocolos e APIs em vez de softwares específicos, ele resume RFCs e conhecimentos não documentados, adotando uma abordagem independente de fornecedores. Não é um tutorial (código mínimo), mas perfeito para iniciantes em WebRTC, desenvolvedores que buscam uma compreensão mais profunda além das APIs, aqueles que precisam de ajuda para depuração e implementadores que precisam de esclarecimentos. O livro é estruturado para múltiplas leituras, com capítulos independentes que respondem a perguntas em três níveis: problema, solução (incluindo detalhes técnicos) e recursos de aprendizado adicionais. Ele visa ensinar todo o sistema sem entrar em detalhes de nível especialista.

(webrtcforthecurious.com)

Desenvolvimento Livro de Código Aberto Protocolos

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

2025-04-11

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.

(github.com)

Desenvolvimento

Criador de Sites com IA: Sites WordPress Instantâneos com uma Conversa

2025-04-11

Cansado de lutar com o design de sites? Este construtor de sites WordPress com tecnologia de IA permite que você crie um site completo — texto, layout, imagens — instantaneamente, simplesmente descrevendo sua visão. Perfeito para empreendedores, freelancers e blogueiros que precisam de uma presença online profissional sem complicações. Atualmente focado em sites não-eCommerce, com atualizações futuras planejadas.

(wordpress.com)

Desenvolvimento Construtor de Sites

Engenheiro Fundador Necessário: Revolução na Edição de Vídeo com IA

2025-04-11

Mosaic, um paradigma de edição de vídeo baseado em IA e em nós, venceu o grande prêmio de US\$ 25.000 na competição Google Gemini Kaggle. Estamos procurando um Engenheiro Fundador para acelerar o desenvolvimento de nossa tecnologia central de edição de vídeo com agentes. As responsabilidades incluem construir pipelines escaláveis de processamento e inferência de vídeo, projetar avaliações e tomar decisões de produtos de alto nível. A equipe é composta por ex-engenheiros da Tesla e visa reduzir o tempo de edição de vídeo de horas para segundos. Pensamento baseado em primeiros princípios é essencial.

(www.ycombinator.com)

Desenvolvimento Edição de vídeo com IA Engenheiro Fundador

Além dos Triângulos: Uma Nova Abordagem para Renderização de Quadriláteros

2025-04-11

A computação gráfica em tempo real tem sido dependente de triângulos devido ao suporte nativo das GPUs para rasterização acelerada por hardware apenas de triângulos. Isso leva a descontinuidades C^1 em atributos de vértices como coordenadas de textura e normais ao longo da aresta compartilhada quando quadriláteros são divididos em triângulos. Este artigo apresenta um novo método que preserva a continuidade C^1 na aresta comum de dois triângulos gerados a partir de quadriláteros convexos usando uma solução algébrica para coeficientes de interpolação bilinear expressos em coordenadas baricêntricas. O método é implementado em shaders de Geometria, Tesselação e Mesh, melhorando significativamente a qualidade de renderização com sobrecarga computacional insignificante.

(gpuopen.com)

Desenvolvimento renderização GPU quadriláteros

Fedora visa 99% de builds reprodutíveis no Fedora 43

2025-04-11

O projeto Fedora está buscando atingir 99% de builds reprodutíveis em sua próxima versão, o Fedora 43. Isso significa que qualquer pessoa, com o mesmo código-fonte, ambiente de construção e instruções, pode recriar binários idênticos bit a bit. Embora o Debian tenha feito avanços significativos em builds reprodutíveis, a abordagem do Fedora concentra-se na carga útil dos pacotes RPM, utilizando melhorias de infraestrutura e ferramentas como add-determinism e rebuilderd. Embora em grande parte invisível para os usuários finais, esse esforço é crucial para reforçar a segurança da cadeia de suprimentos contra ataques maliciosos.

(lwn.net)

Desenvolvimento

Calculadora TI-84 Plus CE: Agora Online e Grátis!

2025-04-11

Cansado de carregar sua TI-84 Plus CE? Este poderoso simulador online permite que você acesse todos os seus recursos — gráficos, programação Python, programas personalizados — diretamente no seu navegador. Sem downloads, sem instalações, apenas funcionalidade pura. Perfeito para estudantes, professores e engenheiros. Use-o no seu celular, tablet ou laptop — a qualquer hora, em qualquer lugar. Aumente sua produtividade hoje!

(www.ti84-online.com)

Desenvolvimento programação Python

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

2025-04-11

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`.

(github.com)

Desenvolvimento imagens de contêiner construção automatizada

O Fim do No-Code, Viva a Geração de Código com IA!

2025-04-11

Em 2025, a revolução do no-code falhou em cumprir sua promessa de democratizar a criação de software. As plataformas no-code não substituíram a programação tradicional, ficando muito aquém das expectativas. Uma década depois, uma nova abordagem surgiu: a 'vibe coding', impulsionada por IA e LLMs para gerar código pronto para produção a partir de prompts em linguagem natural. Ferramentas como Bolt, Lovable e v0 demonstram a superioridade desse fluxo de trabalho de prompt para código. As pessoas preferem código real e o controle que ele oferece, rejeitando runtimes proprietários e abraçando padrões abertos e flexibilidade de implantação. A necessidade não era de menos código, mas de uma maneira melhor de escrevê-lo. A nova geração de ferramentas utiliza LLMs para gerar código limpo e idiomático, implantando em infraestrutura aberta, desagregando efetivamente as limitações da geração anterior de no-code.

(kenneth.io)

Desenvolvimento

CodeSandbox: Clonando Ambientes de Desenvolvimento em Menos de 2 Segundos

2025-04-11

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.

(codesandbox.io)

Desenvolvimento snapshot de memória

Seu maior ponto forte também é seu maior ponto fraco?

2025-04-11

$Seu maior ponto forte também é seu maior ponto fraco?$

Um gerente compartilha como ele lida com a dualidade dos engenheiros: seus maiores pontos fortes geralmente se tornam seus maiores pontos fracos. Usando experiências pessoais e exemplos de gestão de equipe, o artigo destaca que as qualidades excepcionais de engenheiros excelentes podem ser vantagens e desvantagens em diferentes contextos. Ele oferece três sugestões: discutir abertamente a dualidade dos engenheiros na comunicação diária, apontar claramente as vantagens e desvantagens de suas características em diferentes contextos e usar a tensão entre as características dos membros da equipe para melhorar a eficiência. O objetivo final não é criar engenheiros perfeitos, mas ajudá-los a se entenderem e a aprenderem a ajustar seu comportamento de acordo com a situação, aproveitando ao máximo seus pontos fortes.

(terriblesoftware.org)

Desenvolvimento traços de engenheiros forças e fraquezas

Rust FastCGI x Servidor Web Embarcado: Uma Comparação

2025-04-11

Este artigo relata um experimento comparando um servidor FastCGI escrito em Rust com um servidor web embarcado mais simples usando o framework Tide. Embora o autor tenha descoberto que o FastCGI pode oferecer vantagens para linguagens de script que precisam de melhorias de desempenho ou segurança no tratamento de solicitações HTTP, a facilidade de uso e eficiência do Tide para servidores HTTP simples em Rust se mostraram convincentes. A conclusão: para a maioria dos casos de uso, os servidores web embarcados vencem a complexidade do FastCGI.

(brokenco.de)

Desenvolvimento

MediSearch (YC S23) está contratando um engenheiro fundador com foco em frontend

2025-04-11

A MediSearch, uma empresa do Y Combinator do verão de 2023 que está construindo um mecanismo de busca para informações médicas usando LLMs e fontes confiáveis, está contratando um engenheiro fundador com foco em frontend. Esta vaga de tempo integral, com sede em Bratislava, Eslováquia, oferece flexibilidade para trabalho remoto, mas exige presença significativa no local. As responsabilidades incluem codificação de frontend, design e colaboração com engenheiros de backend. Candidatos sem experiência anterior são encorajados a se candidatar.

(www.ycombinator.com)

Desenvolvimento Motor de busca médico

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

2025-04-11

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'.

(github.com)

Desenvolvimento sistema imutável inicialização segura

TinyKVM no Varnish Cache: Uma estrutura de computação em sandbox ultrarrápida

2025-04-11

Este artigo explora o uso do TinyKVM como uma estrutura de computação dentro do Varnish Cache, validando seu desempenho com benchmarks do Deno JS. O TinyKVM oferece sandboxing de desempenho nativo e isolamento por solicitação, atingindo apenas 0,95 ms de latência mesmo ao renderizar páginas complexas do React. Os autores discutem o armazenamento mutável compartilhado e mecanismos de previsão para otimizar o desempenho do jogo, juntamente com APIs que suportam várias linguagens de programação. Os benchmarks destacam as vantagens significativas de desempenho do TinyKVM na compressão GZIP e na execução de programas Deno JS, demonstrando um aumento de 12% no desempenho a partir de simples ajustes de configuração.

(info.varnish-software.com)

Desenvolvimento

Depuração de IA fica aquém: estudo da Microsoft revela limites dos modelos de geração de código

2025-04-11

Pesquisas da Microsoft revelam que mesmo modelos de laboratórios de IA de ponta, como OpenAI e Anthropic, têm dificuldades para depurar bugs de software com a mesma eficácia que desenvolvedores experientes. Um estudo que testou nove modelos mostrou que, mesmo com ferramentas de depuração, esses modelos falharam em concluir com sucesso mais da metade das tarefas de depuração no benchmark SWE-bench Lite. O estudo aponta a escassez de dados como um fator principal; os modelos carecem de dados de treinamento suficientes que representem os processos de depuração humana. Embora as ferramentas de programação assistida por IA apresentem promessas, esta pesquisa destaca as limitações da IA na codificação, sublinhando que os humanos permanecem essenciais.

(techcrunch.com)

Desenvolvimento Depuração de Código Depuração de código

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

2025-04-11

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.

(github.com)

Desenvolvimento Programação Retro

LLMs convenientes em casa com NixOS e WSL

2025-04-11

Este artigo descreve uma configuração para executar LLMs convenientemente em um homelab usando NixOS dentro do Subsistema Windows para Linux (WSL). O autor superou desafios como travamento de VRAM, desligamento automático do WSL e problemas com drivers Nvidia. Ao utilizar Ollama, o Nvidia Container Toolkit e o gerenciamento de configuração do NixOS, ele conseguiu atualizações automáticas e fácil reconstrução do sistema. O guia cobre manter o WSL em execução, instalação do NixOS, configuração de drivers Nvidia, configuração de um contêiner Ollama e rede Tailscale opcional, resultando em um ambiente LLM local de fácil acesso.

(yomaq.github.io)

Desenvolvimento

Crystal 1.16.0 Lançado: Multithreading Aprimorado e Correções de Bugs Críticos

2025-04-11

A linguagem de programação Crystal lançou a versão 1.16.0, trazendo diversas melhorias e correções de bugs. Esta versão corrige a implementação do File.match?, melhora a análise de strings de recursos do HTTP::Request e deprecia os sufixos de nomes de parâmetros ? e !. Mais importante, ela introduz Contextos de Execução (Execution Contexts) como recurso de pré-visualização, aprimorando significativamente o suporte a multithreading e fornecendo ferramentas mais robustas para programação concorrente. Além disso, o compilador foi aprimorado com suporte para opções mais longas e variáveis de ambiente, e suporte atualizado para LLVM 20.

(crystal-lang.org)

Desenvolvimento

Níveis de Título Implícitos do HTML Removidos

2025-04-11

A especificação HTML definia anteriormente um algoritmo de contorno que determinava implicitamente o nível de título semântico dos elementos

com base na aninhação dentro de elementos de seção (, , , ). Os navegadores renderizavam section > h1 com o mesmo tamanho de fonte e margens que

, section > section > h1 como

, e assim por diante. Essa renderização padrão estava nas folhas de estilo UA do navegador, mas não na árvore de acessibilidade (usada por leitores de tela). Sites que usavam elementos de seção inesperadamente viam esses níveis de título gerados automaticamente. Isso causou confusão sobre o uso de

, manipulação inconsistente de ferramentas e o algoritmo foi considerado problemático. O algoritmo foi removido em 2022, mas as regras da folha de estilo UA permaneceram. Agora, os fornecedores de navegadores estão removendo esses estilos padrão.

(developer.mozilla.org)

Desenvolvimento

Aplicativos Web colaborativos em tempo real sem ClojureScript: O poder do Clojure e Datastar

2025-04-11

Este artigo apresenta um jogo web multiplayer em tempo real construído usando Clojure e o framework leve Datastar. Surpreendentemente, ele não usa ClojureScript ou nenhum JavaScript escrito pelo usuário! Ao transmitir todo o elemento principal da página para o cliente a cada 200ms e aproveitando o eficiente algoritmo de diferenciação de DOM do Datastar, ele alcança uma experiência colaborativa em tempo real suave. O autor usa inteligentemente SSE (Server-Sent Events) e compressão Brotli para lidar com preocupações de largura de banda e evitar as complexidades e gargalos de desempenho dos WebSockets. O projeto demonstra o potencial do Clojure na construção de aplicativos web colaborativos em tempo real de alto desempenho, oferecendo aos desenvolvedores uma alternativa simples e eficiente.

(andersmurphy.com)

Desenvolvimento Colaboração em tempo real

Uma pegadinha do ciclo de vida de thread do kernel do Linux: o caso do processo Chromium que morre aleatoriamente

2025-04-10

Ao otimizar a latência de inicialização do Output Media da Recall.ai, um engenheiro encontrou um bug intrigante: o processo Chromium terminava aleatoriamente após o lançamento. A causa raiz foi rastreada para a sinalização `--die-with-parent` do Bubblewrap e o tratamento do PR_SET_PDEATHSIG pelo kernel do Linux. Essa sinalização faz com que os processos filhos recebam um sinal SIGKILL quando a thread pai, não o processo pai, termina. A gestão de threads do Tokio interagiu com esse comportamento, levando à terminação inesperada do Chromium quando a thread pai era colhida. Remover a sinalização resolveu o problema, mas revelou uma peculiaridade pouco conhecida do kernel do Linux, sublinhando a necessidade de cautela ao lidar com a interação entre ciclos de vida de threads e isolamento de processos.

(www.recall.ai)

Desenvolvimento

De Post do Blog para Best-Seller: A Jornada de um Programador com um Livro sobre Go

2025-04-10

Este artigo detalha a jornada do autor ao escrever seu livro, "100 Erros em Go e Como Evitá-los". Começando com um simples PoC em Go na Suíça, o autor relata os desafios enfrentados, incluindo mudanças de emprego, interações com a editora, navegação pelo feedback de editores e revisores, e a eventual publicação e lançamento. A história destaca o crescimento pessoal do autor, o valor do feedback do leitor e as melhorias nas habilidades de escrita. O sucesso do livro, incluindo traduções, é discutido, assim como reflexões sobre o significado e as recompensas da escrita e uma perspectiva desprendida sobre dinheiro e fama.

(www.thecoder.cafe)

Desenvolvimento

Category: Desenvolvimento

com base na aninhação dentro de elementos de seção (, , , ). Os navegadores renderizavam section > h1 com o mesmo tamanho de fonte e margens que

, section > section > h1 como

, manipulação inconsistente de ferramentas e o algoritmo foi considerado problemático. O algoritmo foi removido em 2022, mas as regras da folha de estilo UA permaneceram. Agora, os fornecedores de navegadores estão removendo esses estilos padrão.