Webtagr - Sumário de Notícias de Tecnologia

Fluxo de trabalho ideal para empacotamento Debian em 2025

2025-05-26

Esta publicação descreve o fluxo de trabalho ideal para criar novos pacotes Debian em 2025, preservando o histórico do Git upstream. O objetivo é simplificar o compartilhamento de melhorias entre upstream e Debian, e melhorar a procedência do software e a segurança da cadeia de suprimentos, inspecionando facilmente todas as alterações usando ferramentas Git padrão. Os elementos-chave incluem: usar um fork/clone Git do repositório upstream; uso consistente dos comandos `git-buildpackage` com opções de pacote em `gbp.conf`; marcação e ramificação DEP-14; pristine-tar e assinaturas upstream; uso de `Files-Excluded` em `debian/copyright`; filas de patches para rebase e cherry-picking; aproveitando o Salsa (GitLab do Debian) para CI/CD e revisão por pares. O processo é demonstrado empacotando a ferramenta de linha de comando `entr`, percorrendo cada etapa da criação do repositório ao envio de Merge Request no Salsa.

(optimizedbyotto.com)

Desenvolvimento

Um Interpretador Scheme Conciso em BQN: Uma Abordagem Minimalista

2025-05-26

Este artigo detalha uma tentativa de implementar um interpretador Scheme usando a linguagem de programação BQN. Aproveitando a sintaxe concisa e as poderosas operações de array do BQN, o autor alcança um interpretador de subconjunto funcional do Scheme, incluindo aritmética básica, manipulação de listas e recursos de metaprogramação. Embora não seja totalmente compatível com o R5RS e falte tratamento de erros robusto, a brevidade e a funcionalidade da implementação são impressionantes. Isso mostra o aplicativo do BQN e destaca a elegância da programação funcional.

(panadestein.github.io)

Desenvolvimento

PgDog: Um gerenciador de pool de transações e replicação lógica de alto desempenho para PostgreSQL

2025-05-26

PgDog, escrito em Rust, é um pooler de transações e gerenciador de replicação lógica rápido, seguro e escalável para PostgreSQL, capaz de lidar com centenas de bancos de dados e centenas de milhares de conexões. Ele possui recursos de particionamento de banco de dados, balanceamento de carga com verificações de integridade e failover, pool de transações e pool de sessões para gerenciamento eficiente de conexões de clientes. O monitoramento é facilitado pelo OpenMetrics, e inclui um analisador CSV e suporte de replicação lógica para ingestão de dados simplificada e particionamento de banco de dados.

(github.com)

Desenvolvimento Particionamento de banco de dados

Nix: Resolvendo a Reprodutibilidade no Desenvolvimento de Software

2025-05-26

O ecossistema moderno de ferramentas para desenvolvedores é vasto e complexo, levando a inconsistências frustrantes em como o código é compilado e executado em sistemas diferentes. O Nix aborda isso usando um `/nix/store` imutável e armazenamento endereçável por conteúdo, garantindo compilações reprodutíveis. Embora tenha uma curva de aprendizado íngreme, exigindo familiaridade com programação funcional, seus benefícios — eliminando conflitos de dependências, simplificando o gerenciamento de ambiente, garantindo compilações reprodutíveis e melhorando a segurança — superam o investimento inicial. Os flakes do Nix simplificam o gerenciamento de projetos, e o cache acelera significativamente as compilações. Embora o Nix não seja perfeito e tenha desafios como uma curva de aprendizado íngreme e dificuldades de depuração, suas vantagens em projetos complexos, desenvolvimento multiplataforma e contextos sensíveis à segurança o tornam um investimento valioso.

(maych.in)

Desenvolvimento

Emilua: Uma Revolução em Tempo de Execução de Contêineres

2025-05-26

Emilua é um tempo de execução de contêiner inovador, construído em C e com scripts em Lua, suportando diversas tecnologias de kernel, como namespaces do Linux e jails do FreeBSD. Ao contrário dos tempos de execução típicos baseados em CLI, o Emilua utiliza o poder de programação do Lua para flexibilidade e segurança incomparáveis, contornando os riscos do uso de scripts BASH, como problemas de sincronização e vulnerabilidades de segurança. A segurança é fundamental; o Emilua impede a chamada de binários a partir de imagens de contêineres e apaga com segurança buffers temporários. Além disso, o Emilua se estende a sandboxes Capsicum, demonstrando sua adaptabilidade. O Emilua oferece uma solução mais segura e flexível, especialmente para cenários complexos que exigem fases de configuração de contêiner personalizadas.

(docs.emilua.org)

Desenvolvimento tempo de execução de contêineres

Rust 1.88 rebaixa i686-pc-windows-gnu para Tier 2

2025-05-26

O Rust 1.88.0 rebaixará o alvo i686-pc-windows-gnu (alvo de compilação do Windows baseado em GNU de 32 bits) do Tier 1 para o Tier 2. Isso significa uma frequência de teste reduzida e uma maior probabilidade de acumulação de bugs no futuro. A principal razão é a falta de mantenedores e problemas persistentes difíceis de depurar. Embora as compilações da biblioteca padrão e do compilador ainda sejam fornecidas, os usuários devem estar cientes dos potenciais riscos aumentados. A equipe do Rust está pedindo a desenvolvedores com experiência relevante para assumir a manutenção.

(blog.rust-lang.org)

Desenvolvimento

Evitar loops infinitos em scripts Bash com timeout

2025-05-26

Um script Bash usava um loop `until` para verificar se um servidor web estava ativo, mas se o servidor falhasse ao iniciar, ele ficaria preso em um loop infinito. O artigo apresenta duas maneiras de evitar esse problema usando o comando `timeout`: envolvendo o loop `until` com `bash -c`, ou colocando o loop `until` em um script separado e, em seguida, usando o comando `timeout`. Ambos os métodos impedem efetivamente que o script entre em loop infinito devido a falhas na inicialização do servidor, garantindo a robustez do script.

(heitorpb.github.io)

Desenvolvimento script

Simulação de Vida de Partículas no Navegador: Um Show de Força do WebGPU

2025-05-26

Este artigo detalha uma simulação de vida de partículas baseada em navegador, alimentada pelo WebGPU. A simulação usa um modelo não físico com forças interpartículas assimétricas, criando um comportamento semelhante à vida. O autor explica o modelo, a implementação do WebGPU, a otimização de hashing espacial para desempenho e as técnicas de renderização, incluindo um algoritmo de soma de prefixo paralelo para binning eficiente. O resultado é uma simulação visualmente impressionante capaz de gerar diversas e interessantes formas de vida, com opções para regras personalizadas e compartilhamento.

(lisyarus.github.io)

Desenvolvimento Simulação de Partículas

O Monad IO do Haskell e a Restrição de Valor: Uma Conexão Surpreendente

2025-05-26

Este artigo explora como o Monad IO do Haskell evita habilmente problemas de segurança de tipo decorrentes de referências polimórficas. Apesar da reputação do Haskell por sua pureza, o design do Monad IO incorpora implicitamente um mecanismo semelhante à 'restrição de valor' encontrada em outras linguagens ML. O artigo analisa os riscos de referências polimórficas, compara a abordagem do Haskell com outras linguagens e aprofunda a implementação interna do Monad IO, revelando sua semelhança com o Monad State e por que manipular diretamente o construtor IO é perigoso. Finalmente, demonstra como usar a classe de tipo MonadGen para contornar as restrições do IO, mas também enfatiza os riscos envolvidos.

(welltypedwit.ch)

Desenvolvimento Monad IO Segurança de Tipo

GitHub Issues: O Melhor Caderno do Mundo?

2025-05-26

O GitHub Issues é provavelmente um dos melhores aplicativos de anotações do mundo! É gratuito, ilimitado e suporta anotações públicas e privadas. Possui suporte robusto ao Markdown com destaque de sintaxe para quase qualquer linguagem e permite o arrastar e soltar direto de imagens e vídeos. Seu recurso de link poderoso permite que você vincule outros Issues do GitHub, sincronizando automaticamente títulos e links. A pesquisa é excelente, cobrindo repositórios únicos, todos os seus repositórios ou até mesmo todo o ecossistema do GitHub. Uma API abrangente e o GitHub Actions permitem a automação. A única desvantagem? Falta de suporte offline sincronizado.

(simonwillison.net)

Desenvolvimento

Venta AI: Contrata-se Engenheiro Full-Stack (apoiada pela YC)

2025-05-26

A Venta AI, apoiada pela YC e que constrói funcionários de IA para equipes de vendas, está contratando um engenheiro full-stack em tempo integral em Amsterdã. O candidato ideal terá experiência significativa em desenvolvimento full-stack, conhecimento de TypeScript, React, Remix (preferencial), Python e FastAPI, proficiência no design de produtos SaaS multi-inquilino e experiência com IDEs de código de IA (Cursor, Windsurf, Claude, etc.). Experiência com operação de software escalável é crucial. Fluência em inglês é obrigatória, alemão é um diferencial. A Venta AI, financiada pela Y Combinator e pelo fundo de IA do Google, está tornando a IA acessível, compatível e transparente para empresas europeias.

(www.ycombinator.com)

Desenvolvimento

FreeBSD: Não está morto, apenas alimentando silenciosamente a internet

2025-05-26

Discussões recentes questionaram se o FreeBSD está morrendo. Ao analisar dados do Google Trends, o autor mostra uma tendência ascendente constante para as pesquisas do FreeBSD, contrastando com uma linha reta para o Linux. Essa ideia equivocada, argumenta o autor, decorre da heurística da disponibilidade; as pessoas se concentram no Linux, mais discutido, ignorando o poder silencioso do FreeBSD por trás de inúmeros serviços de internet. A licença BSD permissiva do FreeBSD, embora o torne uma ótima base para produtos comerciais, desestimula as empresas a contribuir. O autor conclama os usuários do FreeBSD a compartilhar suas experiências e desafios, permitindo que a Fundação FreeBSD preencha a lacuna entre a indústria e os fornecedores de software/hardware, promovendo o crescimento do FreeBSD.

(freebsdfoundation.org)

Desenvolvimento licença BSD

jjui: Uma interface de usuário de terminal para o sistema de controle de versão Jujutsu

2025-05-26

jjui é uma interface de usuário de terminal para o sistema de controle de versão Jujutsu. Ele oferece uma variedade de recursos, incluindo: alteração de revsets com preenchimento automático; rebase de revisões ou branches; compactação de revisões; visualização e comparação de diffs de arquivos; movimentação de marcadores; visualização do log de operações; e visualização prévia de detalhes de revisões, arquivos e operações. jjui suporta vários métodos de instalação, incluindo Homebrew, AUR, Nix e Go. A versão mínima suportada do jj é v0.21+.

(github.com)

Desenvolvimento

Reflexões Semanais de um Engenheiro de Dados: A Ascensão do Gemini e Novas Oportunidades em Dados

2025-05-26

Um engenheiro de dados sênior compartilha seus pensamentos e observações das últimas semanas, cobrindo novas tendências no campo de dados, recomendações para excelentes ferramentas e uma visão para inovação futura. Ele menciona a importância de conectar produtores e consumidores de dados e elogia o rápido desenvolvimento de modelos de linguagem grandes como o Gemini do Google. Ele também destaca oportunidades significativas de inovação em software financeiro, como agregação de dados e previsão de IA.

(erikheintare.substack.com)

Desenvolvimento

Automatizando lançamentos com Claude Code

2025-05-26

A Molin utiliza o Claude Code da Anthropic para automatizar seu processo de lançamento de software, que ocorre de 1 a 3 vezes por semana. O Claude Code cuida da criação de PRs, verificação de diffs, implantação do backend e publicação de bundles JS. Instruções em um arquivo `.claude/release.md` orientam o Claude Code a verificar a existência de PRs de lançamento, criar novos, verificar o status de mesclagem e verificações de CI, mesclar o PR e, finalmente, implantar na produção. Isso melhora significativamente a eficiência e reduz o trabalho manual.

(www.aluxian.com)

Desenvolvimento lançamentos de software

Bug do iMessage iOS: Mensagens de áudio falham ao mencionar "Dave and Buster's"

2025-05-26

Um bug estranho do iOS está causando problemas: enviar mensagens de áudio pelo iMessage contendo a frase "Dave and Buster's" (um bar esportivo dos EUA) impede o destinatário de recebê-las.

A investigação revelou que o problema decorre do mecanismo de transcrição do iOS. Ele transcreve "Dave and Buster's" em código HTML com um símbolo de e comercial (&) não escapado, fazendo com que o MessagesBlastDoorService (um mecanismo de segurança projetado para impedir tentativas de invasão) interrompa a entrega da mensagem devido a um erro de análise.

Embora pareça uma vulnerabilidade de segurança, na verdade demonstra a eficácia do BlastDoor na prevenção de potenciais injeções de código malicioso, destacando a abordagem cautelosa da Apple em relação à segurança.

(rambo.codes)

Desenvolvimento Bug do iOS

Heurísticas de dimensionamento de heap do GC Guile: Uma história de travamento ao vivo

2025-05-26

O projeto Guile está integrando um coletor de lixo de varredura conservadora baseado em Nofl. Atualmente usando uma política de heap expansível, o tamanho do heap é ajustado por um multiplicador para levar em conta a fragmentação. No entanto, a fragmentação severa pode levar a falhas de alocação e deadlocks, mesmo quando o heap tem o dobro do tamanho esperado. A postagem explora soluções: aumentar o multiplicador, mudar a organização do heap e reservar blocos vazios para o coletor Nofl. O objetivo é o tratamento eficiente da fragmentação e a prevenção de deadlocks.

(wingolog.org)

Desenvolvimento

A Lógica Emocional das Escolhas de Tecnologia

2025-05-26

O Hacker News está cheio de posts de blog justificando escolhas de tecnologias obscuras com argumentos aparentemente racionais. Mas, muitas vezes, esses são disfarces para motivações emocionais mais profundas. As pessoas escolhem tecnologias com base em sentimentos: conforto, familiaridade ou uma conexão nostálgica com uma determinada era. Usar tecnologia obscura torna-se uma forma de magia simbólica, ligando a tecnologia à identidade pessoal. O autor argumenta que reconhecer e abraçar esses impulsos emocionais é bom, mas alerta contra a auto-enganação. Uma avaliação racional dos custos e benefícios é crucial para evitar o desperdício de tempo em empreendimentos sem sentido.

(borretti.me)

Desenvolvimento escolhas tecnológicas cultura de desenvolvedores

JWT completa 10 anos: Uma década de padrões de tokens seguros e perspectivas futuras

2025-05-25

Dez anos atrás, o JSON Web Token (JWT) se tornou o RFC 7519, culminando uma jornada de 4,5 anos para criar um formato simples de token de segurança baseado em JSON e padrões criptográficos subjacentes. O JWT e suas especificações relacionadas tiveram ampla adoção, superando até mesmo as expectativas dos criadores iniciais. No entanto, o trabalho contínuo atualiza as especificações para abordar ameaças e vulnerabilidades emergentes, garantindo que o JWT permaneça seguro na próxima década.

(self-issued.info)

Desenvolvimento tokens de segurança

Construindo um robô de negociação financeira com Claude e SnapTrade

2025-05-25

Dino Angelov descreve a construção de um robô de negociação financeira usando o Claude da Anthropic e o protocolo MCP, integrado com a API da SnapTrade. Embora inicialmente tenha tentado usar o Claude para escrever o servidor MCP, ele descobriu que o Gemini era mais eficaz. Ele acabou utilizando o framework go-mcp para um desenvolvimento mais rápido, criando funcionalidades para conectar contas de corretagem, visualizar portfólios e executar negociações. O autor adverte os usuários sobre a natureza imprevisível dos LLMs e o potencial para negociações acidentais.

(dangelov.com)

Desenvolvimento

Mojo agora permite chamar código Mojo a partir do Python!

2025-05-25

A equipe Modular tem o prazer de anunciar um novo recurso nas últimas compilações noturnas do Mojo: a capacidade de chamar código Mojo a partir do Python! Isso é possível expandindo a seção de interoperabilidade Python do manual do Mojo e adicionando exemplos que demonstram a transferência de dados de ida e volta entre Python e Mojo, incluindo código Mojo acelerado por GPU chamado a partir do Python. Essa inovação visa integrar o Mojo em bases de código Python existentes, aumentando o desempenho e desbloqueando novos aplicativos ao transferir gargalos de desempenho para o Mojo rápido, especialmente ao usar aceleradores.

(forum.modular.com)

Desenvolvimento

A Arquitetura de Segurança Imbatível de CI/CD da Blacksmith

2025-05-25

A Blacksmith orgulha-se de sua robusta arquitetura de segurança de CI/CD, detalhada neste artigo. A jornada começa com a integração do GitHub, passando pelo plano de controle, plano de dados e mecanismos de cache, ilustrando a proteção abrangente do código do usuário, segredos e artefatos em cache. As medidas de segurança incluem autenticação GitHub SSO, o princípio do menor privilégio, criptografia TLS e microVM Firecracker, garantindo segurança em cada etapa. A conformidade SOC 2 Tipo 2 e testes de penetração regulares reforçam ainda mais a confiança e abordam preocupações de segurança.

(www.blacksmith.sh)

Desenvolvimento Segurança de CI/CD

Koog: Uma estrutura Kotlin para construir agentes de IA

2025-05-25

Koog é uma estrutura baseada em Kotlin para construir e executar agentes de IA totalmente em Kotlin idiomático. Permite criar agentes que interagem com ferramentas, manipulam fluxos de trabalho complexos e se comunicam com usuários. Recursos importantes incluem implementação pura em Kotlin, integração MCP, recursos de incorporação, criação de ferramentas personalizadas, componentes prontos para uso, compressão inteligente do histórico, uma API de streaming poderosa, memória persistente do agente, rastreamento abrangente e fluxos de trabalho gráficos flexíveis. Suporta vários provedores de LLM, como Google, OpenAI, Anthropic, OpenRouter e Ollama. Koog suporta destinos JVM e JS e fornece instruções detalhadas de dependências.

(github.com)

Desenvolvimento

Cuidado com os Mercadores de Complexidade: A Simplicidade Vence Tudo

2025-05-25

Este artigo explora os perigos da 'complexidade acidental' no desenvolvimento de software. O autor argumenta que alguns engenheiros, movidos pelo ego ou autopreservação, deliberadamente introduzem complexidade desnecessária para controlar projetos e garantir mais recursos. Esses 'mercadores de complexidade' prejudicam a velocidade da equipe, aumentam os custos de manutenção e, em última análise, prejudicam o valor do negócio. O autor aconselha vigilância contra esse comportamento, defendendo soluções simples e confiáveis e exigindo que os engenheiros limpem a complexidade antiga antes de introduzir novas complexidades, garantindo que os sistemas sejam facilmente manuteníveis e transferíveis. Sistemas simples e manuteníveis são a chave para criar valor real.

(chrlschn.dev)

Desenvolvimento

Blitz: Uma estrutura CLI ultrarrápida e sem custos para Zig

2025-05-25

Blitz é uma estrutura CLI ultrarrápida e sem custos para a linguagem de programação Zig. Crie CLIs modulares, ergonômicas e de alto desempenho com facilidade. Todas as baterias incluídas. Inspirado em Cobra (Go) e clap (Rust), o Blitz oferece comandos e subcomandos modulares, análise rápida de sinalizadores, suporte de tipo seguro para vários tipos de dados e tratamento automático de ajuda/versão/desuso. Comece rapidamente com uma instalação simples e uma API intuitiva.

(github.com)

Desenvolvimento

plwm: Um gerenciador de janelas X11 minimalista em Prolog

2025-05-25

plwm é um gerenciador de janelas X11 dinâmico e altamente personalizável, escrito em Prolog. Leve e rápido, ele possui baixo uso de recursos (10-15 MB de memória) e apresenta vários layouts, janelas flutuantes, suporte para vários monitores, integração com barras externas e muito mais. Fácil de personalizar e estender, o plwm usa código Prolog declarativo para configuração e oferece vários atalhos de teclado e opções de linha de comando para gerenciamento de janelas flexível.

(github.com)

Desenvolvimento

Implementando números complexos e FFT apenas com tipos de dados (sem floats)

2025-05-25

Este artigo apresenta um método para implementar números complexos e Transformada Rápida de Fourier (FFT) usando apenas tipos de dados algébricos, sem depender de números de ponto flutuante. O autor começa explicando as vantagens de usar tipos de dados algébricos para representação numérica e destaca ineficiências nas implementações tradicionais de FFT. Em seguida, uma implementação concisa e elegante de inteiros e números complexos usando apenas tipos de dados algébricos é demonstrada. Finalmente, uma implementação puramente funcional de FFT complexa, também sem floats, é derivada. Isso é alcançado usando representação ternária balanceada para inteiros e estendendo inteiros gaussianos para representar números complexos, contornando habilmente os efeitos que impedem a fusão da aritmética de ponto flutuante, melhorando assim a eficiência do algoritmo.

(gist.github.com)

Desenvolvimento Tipos de Dados Algébricos

Uma Aventura Empolgante: Criando um Programa C Automodificável

2025-05-25

Este artigo detalha a criação de um programa C capaz de modificar seu próprio código em tempo de execução. O autor primeiro explica como o código do programa é armazenado na memória e como usar a função `mprotect()` para alterar as permissões do segmento de código para gravável. Em seguida, modificando o valor imediato de uma instrução `addl`, o autor demonstra a alteração da saída do programa. Finalmente, o autor vai além, usando `memcpy()` para copiar um shellcode para o segmento de código do programa, executando com sucesso um comando de shell em tempo de execução. Todo o processo é tecnicamente desafiador, exigindo um forte entendimento da linguagem de montagem x86_64.

(ephemeral.cx)

Desenvolvimento Programa Automodificável

Universidade da Sociedade de Código Aberto: Um Caminho Gratuito para a Educação em Ciência da Computação

2025-05-25

A Universidade da Sociedade de Código Aberto (OSSU) oferece uma educação completa e gratuita em ciência da computação usando materiais online de universidades de ponta como Harvard, Princeton e MIT. O currículo é estruturado em etapas introdutórias, principais e avançadas, levando aproximadamente dois anos de estudo a 20 horas por semana. Embora a maioria dos materiais seja gratuita, alguns cursos podem cobrar por atribuições classificadas. Os alunos podem controlar o ritmo de seus estudos, colaborando com uma comunidade global por meio do GitHub e plataformas semelhantes, culminando em um projeto final.

(github.com)

Desenvolvimento Educação Online

Pretix cria seu próprio driver Linux para impressão de ingressos

2025-05-25

A versão 1.8 do Pretix introduziu a gestão de envio, mas a impressora recomendada, uITL+2003CF, só oferece um driver para Windows. Para dar suporte aos usuários Linux, a equipe do Pretix desenvolveu um filtro CUPS personalizado, `rastertofgl`, escrito em Python. Esse filtro converte dados raster do CUPS em código FGL, permitindo a impressão de ingressos em sistemas Linux com um arquivo PPD correspondente. Embora alguns problemas permaneçam, este driver oferece uma solução conveniente para usuários do Pretix em Linux.

(behind.pretix.eu)

Desenvolvimento driver de impressora sistema de ingressos

Category: Desenvolvimento