Webtagr - Sumário de Notícias de Tecnologia

Prêmio Alonzo Church de 2025: Unificando a Pesquisa em Lambda Cálculo

2025-06-23

Paul Blain Levy recebeu o Prêmio Alonzo Church de 2025 por seu trabalho inovador no cálculo Call-by-Push-Value (CBPV). Sua pesquisa unificou as correntes separadas de pesquisa em lambda cálculo lógico puro e aplicado com efeitos. O CBPV serve como uma estrutura unificadora para o estudo de fenômenos computacionais e lógicos, incluindo efeitos, polarização, normalização de termos, isomorfismos de tipo e transformações de programa. As contribuições de Levy abrangem tipos de dados algébricos, semântica operacional, semântica denotacional e teorias equacionais, avançando significativamente a teoria semântica do lambda cálculo e sua aplicação à modelagem de linguagens de programação.

(siglog.org)

Desenvolvimento lambda cálculo Prêmio Alonzo Church

Polystate: Máquinas de Estado Finitas Componíveis em Zig

2025-06-23

Polystate é uma biblioteca Zig para construir máquinas de estado finitas (FSMs) componíveis por meio de composição de tipos. Ela impõe convenções de programação, registrando o estado da máquina de estado no nível de tipo e alcançando componibilidade por meio da composição de tipos. Isso melhora a correção das estruturas de programas imperativos e incentiva o redesenho do estado do programa a partir da perspectiva de tipos e composição, aumentando assim a componibilidade do código. Polystate gera automaticamente diagramas de estado, permitindo que os usuários entendam intuitivamente o comportamento do programa. Exemplos demonstram a construção de máquinas de estado simples e complexas por meio da composição de tipos, como limitar as tentativas de entrada de PIN em um caixa eletrônico e reutilizar mecânicas de seleção em um jogo raylib.

(github.com)

Desenvolvimento Máquina de Estado Finita Componibilidade

Otus Lisp 2.6 Lançado: Um dialeto Lisp leve e multiplataforma

2025-06-23

O Otus Lisp (Ol) versão 2.6 foi lançado! É um dialeto Lisp leve (~64KB), puramente funcional, que implementa um subconjunto estendido do R7RS Scheme, com compatibilidade multiplataforma (Linux, Windows, macOS, Android e outros) e suporte a várias arquiteturas. O Ol é integrável e fornece uma interface de alto nível para chamar código escrito em outras linguagens. Ele também suporta WebAssembly, permitindo a execução em vários navegadores. Esta versão inclui notação infixa para expressões matemáticas mais convenientes.

(yuriy-chumak.github.io)

Desenvolvimento

O Declínio do Stack Overflow e seu Impacto nas Classificações de Linguagens de Programação

2025-06-23

A RedMonk usa dados do GitHub e do Stack Overflow para rastrear as tendências de linguagens de programação. No entanto, o número de perguntas no Stack Overflow vem diminuindo desde 2016, acelerando após o surgimento de assistentes de codificação de IA como o ChatGPT. Isso afeta significativamente a confiabilidade das classificações de linguagens de programação da RedMonk. A equipe está atualmente explorando fontes de dados alternativas para manter essa análise crucial.

(redmonk.com)

Desenvolvimento

Resolvendo o Enigma da Cópia Cruzada de Contas e Regiões do AWS Backup com Lambda

2025-06-23

Este artigo detalha como o autor superou a limitação do AWS Backup que não suporta backups simultaneamente entre contas e regiões. Movido por políticas de segurança e recuperação de desastres, era necessária uma solução para armazenar backups em contas e regiões separadas. O autor descreve minuciosamente uma solução usando AWS Backup, EventBridge e uma função Lambda para alcançar a replicação de backup entre contas e regiões. Isso inclui configurar cofres, políticas, regras do EventBridge e uma função Lambda nas contas de origem e destino, tratando de criptografia e permissões. O autor implementa com sucesso esta solução, oferecendo sugestões adicionais de otimização, como testes de restauração automatizados e monitoramento de custos.

(tylerrussell.dev)

Desenvolvimento

Kastle: Engenheiro Fundador para Serviços de Hipotecas com IA

2025-06-22

A Kastle está procurando um Engenheiro Fundador para construir e otimizar sua infraestrutura de IA. Eles usam agentes de voz com IA para ajudar grandes credores de hipotecas dos EUA a escalar suas operações de contact center e conformidade, com o apoio de US$ 2,3 milhões em financiamento. Essa função exige experiência em desenvolvimento de back-end, sistemas distribuídos e integração de IA. As responsabilidades incluem o desenvolvimento de serviços de back-end escalonáveis, APIs que se integram a plataformas de serviço de empréstimos e garantia de conformidade com regulamentos financeiros (SOC 2, FDCPA, RESPA, TILA).

(www.ycombinator.com)

Desenvolvimento Hipotecas

Void IDE: Editor de código AI de código aberto focado em privacidade

2025-06-22

O Void IDE, um novo editor de código alimentado por IA de código aberto em versão beta, oferece uma alternativa gratuita e focada na privacidade a opções proprietárias como Cursor e GitHub Copilot. Apoiado pela Y Combinator e bifurcando o Visual Studio Code, o Void IDE permite que os usuários escolham o processamento local ou chamadas diretas da API para LLMs como Claude, GPT e Gemini, mitigando preocupações de privacidade e custos de assinatura. Ele possui recursos como edição de código embutida, bate-papo com IA e geração de código, espelhando ferramentas semelhantes, mas priorizando o controle de dados do usuário. O projeto gerou grande interesse no Hacker News e Reddit, gerando discussões sobre sua natureza de código aberto e o número crescente de bifurcações do VS Code.

(www.infoq.com)

Desenvolvimento

FreeBSD 14.3 adiciona oficialmente repositórios de pacotes de módulos de kernel dedicados

2025-06-22

Por muito tempo, as versões de ponto do FreeBSD causaram incompatibilidade entre os pacotes de módulos do kernel e a versão do kernel, levando a travamentos do sistema. Para resolver esse problema, o FreeBSD 14.3 introduz oficialmente repositórios de pacotes de módulos de kernel separados, contendo módulos compatíveis com a versão mais recente do kernel. Isso resolve um problema antigo dos usuários, melhorando a estabilidade do sistema, especialmente corrigindo travamentos causados por drivers de gráficos incompatíveis em sistemas desktop/laptop. A atualização envolve modificar o arquivo `/etc/pkg/FreeBSD.conf` para incluir os novos repositórios de módulos do kernel.

(vermaden.wordpress.com)

Desenvolvimento módulos de kernel

Tese de Doutorado Escrita em Typst: Triunfos e Tribulações

2025-06-22

Um estudante de doutorado relata sua experiência escrevendo sua dissertação usando a linguagem de composição inovadora Typst. O Typst combina a facilidade do Markdown com o poder da linguagem de script Rust, resultando em velocidades de compilação impressionantes que permitiram iteração rápida no layout e estilo. No entanto, a gestão de bibliografia do Typst mostrou-se menos que ideal, exigindo ferramentas extras e ajustes manuais para atender às rigorosas exigências de formatação de citações. O autor conclui que o Typst é uma ótima escolha para aqueles que gostam de programar e personalizar ferramentas, mas que o LaTeX ainda é uma aposta mais segura para aqueles que preferem uma solução pronta para uso.

(fransskarman.com)

Desenvolvimento Tese de Doutorado

Domando a Besta da Internet: Uma Abordagem Domótica para Moderação

2025-06-22

Cansado das distrações da internet, o autor construiu um sistema de automação residencial para controlar o acesso às redes sociais. Usando o AdGuard Home, Home Assistant e uma tomada inteligente Zigbee, ele criou uma automação: ao pressionar um botão, a filtragem do AdGuard é temporariamente desabilitada por 15 minutos, seguido de um período de resfriamento de uma hora. O artigo detalha a configuração, incluindo a configuração da API do AdGuard Home e a automação do Home Assistant, oferecendo uma solução prática para gerenciar o uso da internet e combater o vício.

(www.romanklasen.com)

Desenvolvimento automação residencial controle da internet

Documentação técnica ruim: um obstáculo para desenvolvedores?

2025-06-22

A pesquisa Stack Overflow de 2024 destaca a documentação técnica e tutoriais como recursos de aprendizado cruciais para programadores. No entanto, muitos desenvolvedores experimentam frustração, sentindo-se mais confusos após lê-los. Isso decorre do fato de que a experiência em codificação não se traduz automaticamente em escrita clara. As soluções envolvem desenvolvedores melhorando suas habilidades de escrita e organizações coletando feedback do usuário, contratando escritores técnicos e abordando problemas de documentação no GitHub de forma mais proativa.

(www.gmoniava.com)

Desenvolvimento aprendizagem de desenvolvedores

C++26 terá Reflexão em Tempo de Compilação: Adeus Boilerplate, Olá Alto Desempenho

2025-06-22

Herb Sutter anunciou que o C++26 incluirá reflexão em tempo de compilação, uma mudança significativa para o desenvolvimento em C++. A reflexão em tempo de compilação fornece acesso à estrutura de um programa, permitindo tarefas como enumerar os métodos de uma classe. Isso é particularmente impactante para bibliotecas como simdjson, permitindo conversão de alta velocidade entre estruturas de dados personalizadas e strings JSON sem código redundante. O artigo demonstra a geração de instruções SQL de inserção eficientes usando reflexão em tempo de compilação, reduzindo código redundante e melhorando a reusabilidade e segurança do código. Embora o código possa parecer complexo, os ganhos de desempenho e a simplificação do código são significativos.

(lemire.me)

Desenvolvimento Reflexão em Tempo de Compilação

Guia Completo para Negociação Salarial: Supere seu Dilema Moral Interno

2025-06-22

O ensaio popular de Patrick McKenzie sobre negociação salarial para engenheiros ajudou milhões a garantir salários mais altos. Esta adaptação em áudio aborda as barreiras psicológicas que impedem os profissionais de negociar, enfatizando que não é imoral, mas uma habilidade crucial. Dicas práticas incluem nunca divulgar seu salário desejado primeiro, ouvir ativamente e espelhar a linguagem do gerente de contratação, pesquisa completa, alavancar múltiplas preferências e entender o tempo e a dinâmica da negociação. O ensaio capacita os leitores a negociar com confiança e alcançar uma compensação ideal.

(www.complexsystemspodcast.com)

Desenvolvimento negociação salarial

Empurrando os Limites dos Pipes do Linux: De 3,5 GiB/s para 62,5 GiB/s

2025-06-22

Este artigo explora a implementação de pipes Unix no Linux, otimizando iterativamente um programa de teste que escreve e lê dados através de um pipe. Começando com um programa simples com uma taxa de transferência de cerca de 3,5 GiB/s, o autor melhora seu desempenho em vinte vezes através de várias etapas de otimização. As melhorias principais incluem o uso das chamadas de sistema `vmsplice` e `splice` para eliminar a cópia de dados, o uso de páginas gigantes para reduzir a sobrecarga de paginação e o uso de loop ocupado para minimizar os custos de sincronização. A jornada é detalhada com exemplos de código e análise de desempenho usando a ferramenta `perf` do Linux.

(mazzo.li)

Desenvolvimento

Implementação de um Alocador de Memória em 163 LOC

2025-06-22

Enquanto explorava o alocador de memória mimalloc, o autor descobriu a falta de suporte para pré-alocação. Isso levou à criação de um alocador simples, com 163 linhas de código, baseado no sistema Buddy. O artigo detalha os processos de alocação e desalocação dentro do sistema Buddy e aborda a fragmentação de memória. O autor destaca a surpreendente simplicidade da implementação, enfatizando a importância de entender os princípios de alocação de memória para programadores.

(tgmatos.github.io)

Desenvolvimento sistema Buddy

Teste de Carga GlassFlow ClickHouse: Desduplicação em Tempo Real em Escala

2025-06-22

A equipe GlassFlow realizou um teste de carga em larga escala para desduplicação em tempo real, obtendo resultados impressionantes. Em um MacBook Pro, o GlassFlow processou mais de 9.000 registros por segundo do Kafka com latência inferior a 0,12 ms, atingindo um pico de 55.000 registros por segundo. Mesmo com 20 milhões de registros e 12 publicadores concorrentes, o sistema permaneceu robusto, sem falhas, perda de mensagens ou desordenação. O teste utilizou dados sintéticos simulando um caso de uso do mundo real, avaliando a desduplicação, a taxa de transferência e a latência. A configuração completa do teste é de código aberto.

(www.glassflow.dev)

Desenvolvimento

Git Notes: Ferramenta poderosa do Git subutilizada

2025-06-22

As notas do Git são uma ferramenta poderosa para anexar metadados a objetos Git (commits, blobs, árvores) sem modificar os próprios objetos. Elas podem ser usadas para rastrear tempo, adicionar informações de revisão e até mesmo construir sistemas de revisão de código totalmente distribuídos, como o `git-appraise`. No entanto, as notas do Git sofrem de baixa usabilidade e o GitHub parou de exibir notas de commit em 2014, limitando sua adoção. Apesar disso, ainda oferece um caminho para um histórico de projeto completo independente de forges de código.

(tylercipriani.com)

Desenvolvimento Revisão de código Metadados

LibRedirect: Redirecionador de Sites focado em Privacidade

2025-06-22

LibRedirect é uma extensão da web que redireciona sites populares como YouTube, Instagram, Reddit e TikTok para frontends alternativos que priorizam a privacidade. Oferece uma variedade de alternativas, como Invidious e Piped para YouTube, Libreddit e Teddit para Reddit, e muitos outros, proporcionando aos usuários uma experiência de navegação mais privada e segura. Diga adeus ao rastreamento de dados e olá à privacidade!

(libredirect.github.io)

Desenvolvimento sites alternativos

Codificação Criativa: Reformulando a Educação em Ciência da Computação na Era da IA

2025-06-22

À medida que a IA transforma o desenvolvimento de software, a educação tradicional em ciência da computação precisa de uma revisão. Este artigo argumenta que apenas codificação é insuficiente; os alunos precisam de pensamento sistêmico, habilidades de design criativo e capacidades de construção intencional. A codificação criativa surge como uma solução, usando a programação como um meio de autoexpressão e inovação, promovendo a motivação intrínseca e o pensamento computacional. Um exemplo de currículo baseado no Minecraft demonstra como o design de jogos e a narrativa podem ensinar eficazmente conceitos de codificação, aumentando o engajamento e os resultados de aprendizagem dos alunos. O artigo conclui enfatizando a importância do desenvolvimento profissional de professores e defendendo maior apoio para integrar a codificação criativa nas salas de aula.

(www.edsurge.com)

Desenvolvimento educação em IA educação em ciência da computação

Clippy entra em congelamento de recursos de 12 semanas para melhoria de qualidade

2025-06-22

O linter Rust Clippy passará por um congelamento de recursos de 12 semanas a partir de 26 de junho de 2025, concentrando-se em melhorar a precisão e reduzir falsos positivos em seus mais de 750 lints existentes. Nenhum novo lint será aceito durante este período, mas relatórios de bugs e PRs melhorando lints existentes são bem-vindos. O objetivo é melhorar a qualidade do código e fornecer uma experiência de lint mais confiável para os usuários do Rust.

(blog.rust-lang.org)

Desenvolvimento Qualidade do código

mbake: Formatador e Linter para Makefiles Após 50 Anos!

2025-06-22

Após 50 anos de espera (referenciando a longa história dos Makefiles), o mbake finalmente chegou! Esta ferramenta de formatação e linter para Makefiles não apenas corrige automaticamente problemas de formatação, como indentação, espaçamento e quebras de linha, mas também detecta inteligentemente alvos `.PHONY` e suporta regras personalizadas e extensões de plug-ins. Ele oferece uma rica interface de linha de comando para formatação, validação e gerenciamento de versões, integrando-se perfeitamente aos fluxos de trabalho de CI/CD. Seja você iniciante ou especialista, o mbake melhora significativamente a eficiência e a legibilidade da escrita de Makefiles.

(github.com)

Desenvolvimento

Claude Code agora suporta servidores MCP remotos para aprimorar o fluxo de trabalho do desenvolvedor

2025-06-22

O Claude Code agora suporta servidores MCP remotos, permitindo que os desenvolvedores conectem suas ferramentas e fontes de dados favoritas para personalizar sua experiência de codificação sem precisar gerenciar servidores locais. Ao acessar as ferramentas e recursos expostos pelos servidores MCP, o Claude Code pode extrair contexto de serviços de terceiros, como ferramentas de desenvolvimento, sistemas de gerenciamento de projetos e bases de conhecimento, e executar ações nesses serviços. Integrações como Sentry para depuração e Linear para gerenciamento de projetos otimizam os fluxos de trabalho. Servidores MCP remotos oferecem baixa manutenção; basta adicionar a URL do fornecedor. O suporte OAuth nativo do Claude Code garante conexões seguras sem gerenciar chaves de API ou armazenar credenciais.

(www.anthropic.com)

Desenvolvimento servidores MCP

Repositório Maciço de Ferramentas de Compilação Cruzada para Linux

2025-06-22

Este site oferece uma vasta coleção de ferramentas de compilação cruzada prontas para uso, direcionadas ao Linux em inúmeras arquiteturas. Construídas com GCC e Binutils, essas ferramentas vêm em variantes usando as bibliotecas glibc, uClibc-ng e musl C, aproveitando o sistema de construção Buildroot. A maioria das ferramentas de compilação é testada construindo e inicializando um kernel Linux e espaço do usuário no Qemu. Duas versões — estável (usando componentes mais antigos e comprovados) e de ponta (usando os mais recentes) — são fornecidas para cada combinação de arquitetura e biblioteca C.

(toolchains.bootlin.com)

Desenvolvimento

Som como Forma Pura: Uma Linguagem de Programação de Som Baseada em Notações Pós-fixas

2025-06-22

SAPF é um interpretador para explorar o som como forma pura. Sua linguagem é principalmente funcional, baseada em pilha e usa notação pós-fixa semelhante ao FORTH. Ele representa eventos de áudio e controle usando sequências preguiçosas, potencialmente infinitas, com o objetivo de fazer para sequências preguiçosas o que APL faz para matrizes: fornecer funções de altíssimo nível com operadores onipresentes de mapeamento automático, varredura e redução. Isso permite que programas curtos alcancem resultados desproporcionais ao seu tamanho. Como quase todos os tipos de dados acessíveis ao programador são imutáveis, a linguagem pode facilmente executar várias threads sem deadlocks ou corrupção. Inspirado em APL, Joy, Haskell, Piccola, Nyquist e SuperCollider, ele prioriza a expressividade concisa.

(github.com)

Desenvolvimento programação de som notação pós-fixa

Publicando um contêiner Docker para o Microsoft Edit no GitHub Container Registry

2025-06-22

O autor detalha o processo de criação e publicação de uma imagem Docker para o novo editor de texto de terminal da Microsoft, Edit, no GitHub Container Registry. Diante da falta de builds oficiais para Apple Silicon, o autor criou um contêiner Docker para executar a versão aarch64-linux-gnu em seu Mac. A postagem descreve a construção de uma imagem Docker em várias etapas para minimizar o tamanho, o uso de um token de acesso pessoal do GitHub para enviar a imagem e fornece um comando simples para qualquer pessoa com um Mac Apple Silicon e Docker executar o Edit.

(til.simonwillison.net)

Desenvolvimento

P-Hacking em Startups: Evitando Armadilhas Estatísticas

2025-06-21

A pressão para lançar produtos rapidamente em startups frequentemente leva as equipes a relatar qualquer resultado que pareça uma melhoria, resultando em p-hacking. Este artigo analisa três cenários comuns: múltiplas comparações sem correção, reformulação de métricas post-hoc e execução de experimentos até que um resultado positivo seja alcançado. Ele enfatiza a importância do pré-registro de hipóteses e métricas, evitando a exploração de dados post-hoc, usando correções para múltiplas comparações e aplicando limiares apropriados para observações antecipadas. O artigo defende a celebração de resultados negativos definitivos, argumentando que práticas estatísticas rigorosas aceleram o aprendizado, evitando a liberação de ruídos e construindo uma verdadeira compreensão do comportamento do usuário.

(briefer.cloud)

Desenvolvimento Teste A/B

Compilador B em Crust: Um Trabalho em Andamento

2025-06-21

Um compilador para a linguagem de programação B, escrito em Rust com fasm como backend, agora está disponível! O projeto inclui um utilitário de teste, btest, que compila e executa testes do diretório ./tests/, gerando um relatório de matriz em todos os alvos suportados. O btest permite especificar alvos (-t) e casos de teste individuais (-c), facilitando os testes direcionados. Embora ainda esteja em desenvolvimento, o compilador compila e executa com sucesso exemplos básicos como hello_world.b.

(github.com)

Desenvolvimento Linguagem B

to-userscript: CLI poderoso para converter extensões de navegador em scripts de usuário independentes

2025-06-21

to-userscript é uma ferramenta de linha de comando que transforma extensões do Chrome ou Firefox em arquivos .user.js independentes, executáveis em qualquer gerenciador de scripts de usuário. Ele suporta várias fontes: Chrome Web Store, Firefox Add-ons, diretórios locais e arquivos de arquivamento. A ferramenta substitui inteligentemente as APIs WebExtension comuns, incorpora CSS, imagens e outros recursos e emula scripts em segundo plano e internacionalização. A instalação é simples, via npm, pnpm ou bun.

(github.com)

Desenvolvimento script de usuário

A Morte do IDE? Ascensão do Agente de Codificação de IA

2025-06-21

Este artigo explora a ascensão dos agentes de codificação de IA, como Claude Code, Codex e Amp, e como eles estão remodelando o desenvolvimento de software. O autor argumenta que a "codificação de vibe" baseada em terminal está substituindo os IDEs tradicionais, com engenheiros produzindo código de alta qualidade a uma taxa surpreendente. Essa mudança traz maior produtividade, mas também levanta preocupações sobre a substituição de empregos e avaliações de desempenho. O artigo também analisa o impacto da IA em trabalhos de conhecimento mais amplos e na sociedade, prevendo mudanças massivas nos próximos anos.

(sourcegraph.com)

Desenvolvimento

Proxy QUIC sem servidor usando NAT Hole Punching com AWS Lambda

2025-06-21

Este projeto implementa um proxy QUIC sem servidor usando funções AWS Lambda e NAT hole punching. Aproveitando o S3 para coordenação e técnicas de travessia UDP, ele cria conexões proxy criptografadas sem precisar de servidores dedicados – apenas funções Lambda sob demanda. O sistema usa uma abordagem de três fases: coordenação (o cliente descobre o IP público via STUN, escreve informações de sessão no S3), perfuração de NAT (cliente e Lambda trocam pacotes UDP para criar aberturas bidirecionais), e estabelecimento de túnel QUIC (o cliente inicia o servidor QUIC, o Lambda se conecta). O resultado é um navegador se conectando à internet via um proxy SOCKS5, com a função Lambda atuando como um nó de saída encaminhando o tráfego.

(github.com)

Desenvolvimento

Category: Desenvolvimento