Webtagr - Sumário de Notícias de Tecnologia

LangExtract: Uma biblioteca de extração de informações estruturadas com base em LLM

2025-08-03

LangExtract é uma poderosa biblioteca Python que utiliza modelos de linguagem grandes (LLMs) para extrair informações estruturadas de documentos de texto não estruturados. Ela processa materiais como notas e relatórios clínicos, identificando e organizando detalhes importantes com precisão, garantindo que os dados extraídos correspondam perfeitamente ao texto original. Suporta vários LLMs, incluindo o Google Gemini, e possui recursos de processamento de documentos longos e visualização interativa. Com poucas linhas de código, simplifica tarefas complexas de extração de informações, revolucionando os fluxos de trabalho de processamento de dados.

(github.com)

Desenvolvimento extração de informações

Mezzano OS: Avanços significativos em um sistema operacional escrito em Common Lisp

2025-08-03

Mezzano, um sistema operacional escrito em Common Lisp, lançou sua última demonstração, mostrando avanços significativos. Desde seu lançamento inicial, o Mezzano apresentou melhorias dramáticas em estabilidade, desempenho e recursos, incluindo suporte para sistemas de arquivos EXT2/3/4, uma pilha USB, suporte 3D com aceleração por hardware via Virgl e suporte multi-core. Embora a execução em hardware arbitrário ainda exija intervenção do usuário, o projeto demonstra uma inovação impressionante na comunidade Common Lisp.

(github.com)

Desenvolvimento

Novas APIs do HTML Canvas para renderização de conteúdo HTML

2025-08-03

Uma nova proposta introduz APIs para renderizar conteúdo HTML nos contextos HTML Canvas 2D e WebGL. Isso aborda as limitações existentes no Canvas para lidar com layouts complexos, acessibilidade, internacionalização e desempenho. Novas APIs, incluindo `layoutsubtree`, `drawElement`, `texElement2D` e `setHitTestRegions`, permitem que os desenvolvedores renderizem elementos HTML e suas subárvores no canvas e gerenciem testes de acerto. A proposta está atualmente em desenvolvimento e um teste para desenvolvedores está disponível.

(github.com)

Desenvolvimento API do Canvas renderização HTML

Formalizando o Último Teorema de Fermat em Lean: Um Projeto de Código Aberto

2025-08-03

Um ambicioso projeto de código aberto visa provar formalmente o Último Teorema de Fermat usando o verificador de teoremas Lean. Liderado por Kevin Buzzard e financiado pela EPSRC, sediado no Imperial College London, o projeto emprega uma variante moderna da prova original de Wiles/Taylor-Wiles, planejada em colaboração com Richard Taylor. O site do projeto fornece detalhes sobre o Último Teorema de Fermat, o verificador Lean, os objetivos do projeto e diretrizes de contribuição.

(github.com)

Desenvolvimento

PixiEditor 2.0: Um editor 2D universal, gratuito e de código aberto

2025-08-03

O PixiEditor 2.0 transcende suas raízes de pixel art, evoluindo para um poderoso editor 2D universal que suporta raster, vetor, animação e efeitos processuais. Seu núcleo é uma pipeline de renderização configurável e um gráfico de nós, proporcionando controle sem precedentes e permitindo a criação de espaços de trabalho de texturização 3D. O software permanece gratuito e de código aberto, mantido por extensões pagas e pacotes de ativos. A versão 2.0 introduz animação quadro a quadro, ferramentas de edição vetorial e vários espaços de trabalho, como um construtor de cartas e uma ferramenta de texturização de cubo 3D, juntamente com várias paletas. Embora os requisitos de hardware sejam um pouco mais altos, os desenvolvedores estão comprometidos em melhorar o suporte para uma gama mais ampla de configurações.

(pixieditor.net)

Desenvolvimento Editor 2D

Seed7: Uma Linguagem de Programação Geral Extensível

2025-08-03

Seed7 é uma linguagem de programação de propósito geral projetada por Thomas Mertes, superando Ada, C/C++ e Java em seus recursos de alto nível. Ela suporta declarações e operadores definidos pelo usuário, trata tipos como cidadãos de primeira classe e oferece definições elegantes de modelos e genéricos. Combinando conceitos de Pascal, Ada, C, C++ e Java, Seed7 possui recursos orientados a objetos, interfaces, despacho múltiplo, verificação de tipo estático, gerenciamento automático de memória (sem coleta de lixo), tratamento de exceções e depuração de código-fonte. Ela fornece tipos de número inteiro grande e racional, sobrecarga de funções/operadores e um rico conjunto de tipos predefinidos (matrizes, tabelas hash, conjuntos, etc.). Programas Seed7 são altamente portáteis, e ela oferece uma API independente de banco de dados, suportando vários bancos de dados. Seed7 roda em Linux, Unix e Windows; seu interpretador e exemplos são licenciados pela GPL, enquanto a biblioteca de tempo de execução usa a licença LGPL.

(seed7.net)

Desenvolvimento

Gerando Diagramas UML em Tempo de Compilação com Reflexões C++26

2025-08-03

Este artigo demonstra como usar os novos recursos de reflexão do C++26 para gerar diagramas de classes PlantUML em tempo de compilação. O autor combina habilmente `std::meta::info`, os operadores `lift` e `splice`, e `std::define_static_string` para extrair automaticamente informações de classe do código e gerar um diagrama UML. O processo também discute o uso de `std::meta::access_context` e como lidar com diferentes tipos de informações de reflexão, resultando na saída do código UML gerado em tempo de execução. Isso mostra o poder das reflexões do C++26, oferecendo novas possibilidades para análise e visualização de código.

(www.reachablecode.com)

Desenvolvimento Reflexões

IOCCC 28: 23 Vencedores Incríveis!

2025-08-03

Após um hiato de quatro anos, o 28º Concurso Internacional de Código Ofuscado C (IOCCC) está de volta com tudo! Este ano teve um número recorde de envios de alta qualidade, resultando em 23 vencedores - um novo recorde. As entradas vencedoras mostraram uma criatividade incrível, incluindo um minúsculo mecanismo de inferência LLM, um editor UTF-8 peculiar e até um programa que emula o processador Intel 4004. O concurso destacou a notável habilidade dos programadores C na arte da ofuscação de código.

(www.ioccc.org)

Desenvolvimento

Compactando padrões de declinação de nomes islandeses em uma trie de 3,27 kB

2025-08-02

Exibir nomes islandeses em interfaces de usuário é surpreendentemente difícil devido à declinação. Este artigo detalha uma biblioteca JavaScript que resolve esse problema usando uma estrutura de dados trie. A trie é construída a partir de dados públicos de nomes islandeses e compactada de forma inteligente para menos de 4,5 kB compactados. O autor explica o processo, desde a aquisição e pré-processamento de dados até a construção e técnicas de compactação de trie, como mesclar subárvores e folhas irmãs. Os testes revelam alta precisão mesmo para nomes não vistos. O resultado final é uma trie notavelmente compacta de 3,27 kB, mostrando representação de dados eficiente e otimização algorítmica.

(alexharri.com)

Desenvolvimento islandês

Clube do Livro por E-mail de Internos de Software: A Arte da Programação Multiprocessador

2025-08-02

O Clube do Livro por E-mail de Internos de Software está começando um novo livro: "A Arte da Programação Multiprocessador", 2ª edição (2020). As discussões acontecerão semanalmente através de um Grupo Google, com cada membro se revezando para iniciar um tópico de discussão. Os participantes devem ler um capítulo antes da data de sua discussão e compartilhar insights e experiências pessoais. Sem chamadas de vídeo; a comunicação é puramente baseada em texto via e-mail. Inscreva-se através do formulário fornecido.

(eatonphil.com)

Desenvolvimento clube do livro internos de software

Microsoft a abrir o WinUI gradualmente: Roteiro de seis meses

2025-08-02

A Microsoft anunciou uma abordagem gradual para a abertura do código-fonte do WinUI, a estrutura de interface do usuário do Windows 11. Devido à complexidade do WinUI e à sua integração profunda com o Windows, a abertura do código-fonte não será um simples ato de ligar um interruptor. A Microsoft planeja um lançamento em quatro fases: A Fase 1 aumenta a frequência de espelhamento do GitHub; a Fase 2 permite que desenvolvedores externos compilem localmente; a Fase 3 permite contribuições e testes externos; e a Fase 4 estabelece o GitHub como a plataforma de desenvolvimento principal. Esse será um processo incremental, e a Microsoft incentiva o feedback e as contribuições dos desenvolvedores.

(www.neowin.net)

Desenvolvimento

A Ilusão da 'Fonte da Verdade' no Desenvolvimento de Produtos

2025-08-02

O problema comum de 'única fonte da verdade' no desenvolvimento de produtos muitas vezes falha. Ele assume que todos querem a verdade, concordam sobre o que é essa verdade e estão dispostos a trabalhar para alcançar a coerência. Este artigo usa o exemplo de uma equipe que equilibra iniciativas, lançamentos, e vários frameworks de alocação para ilustrar a complexidade inerente. Forçar a padronização prejudica a eficiência, enquanto abraçar a complexidade total leva à sobrecarga cognitiva. A chave é encontrar um equilíbrio, reconhecer as nuances e evitar a supressão da realidade para alcançar uma melhor eficácia operacional. O autor questiona como as ferramentas e sistemas organizacionais refletem as dinâmicas de poder e cujas preferências dominam.

(cutlefish.substack.com)

Desenvolvimento fonte da verdade

Atualização do Ladybird em Julho: Suporte a HTTP/3, Alta Taxa de Atualização e Mais

2025-08-02

O motor de navegador de código aberto Ladybird fez progressos significativos em julho, mesclando 319 pull requests de 47 colaboradores. Os destaques incluem: suporte a HTTP/3, desempenho de renderização aprimorado em telas com alta taxa de atualização, uma correção para a compatibilidade do Google reCAPTCHA e suporte adicionado para Trusted Types, manipulação aprimorada de SVG foreignObject e várias melhorias de CSS, como `content: url(...)`, novas pseudo-classes e grupos de propriedades lógicas. Melhorias internas incluem a mudança para strings UTF-16 nativas para maior eficiência e menos bugs relacionados à codificação.

(ladybird.org)

Desenvolvimento

TraceRoot: Detecção de Erros de Produção 10x Mais Rápida com IA

2025-08-02

TraceRoot é uma plataforma de depuração de código aberto que acelera a resolução de problemas de produção em 10x. Combina rastreios estruturados, logs e contexto de código-fonte com análise alimentada por IA. Construído em uma estrutura de sistema multiagente, permite rastreio e registro em tempo real, utiliza dados estruturados para melhorar o desempenho do agente de IA e integra-se com ferramentas como GitHub e Notion. Uma interface semelhante a um cursor permite que os desenvolvedores selecionem logs e rastreios para análise assistida por IA. Implementável via nuvem (teste gratuito disponível) ou auto-hospedagem.

(github.com)

Desenvolvimento Depuração de IA depuração de código aberto

Construindo um Servidor de Backup Imbatível: FreeBSD, ZFS e Segurança em Múltiplas Camadas

2025-08-02

Este artigo detalha como construir um servidor de backup seguro e confiável usando FreeBSD, ZFS e BastilleBSD. O autor enfatiza a redundância de dados e a criptografia em várias camadas, descrevendo estratégias de backup para servidores FreeBSD ZFS (usando zfs-autobackup), outros sistemas (usando BorgBackup) e servidores Proxmox (usando Proxmox Backup Server e Minio). O artigo também aborda VPNs, isolamento de rede, snapshots e endurecimento de segurança, com o objetivo de ajudar os leitores a criar um sistema de backup robusto e resiliente a várias ameaças.

(it-notes.dragas.net)

Desenvolvimento servidor de backup

Twentyseven 1.0.0: Uma jornada de 12 anos em Haskell para resolver o Cubo Mágico

2025-08-02

Após doze anos de desenvolvimento, um solucionador de Cubo Mágico baseado em Haskell, Twentyseven, atingiu a versão 1.0.0. Inspirado no Cube Explorer de Herbert Kociemba, ele utiliza a busca Iterative Deepening A* (IDA*), projetando inteligentemente o estado do cubo em subproblemas mais simples para estimar os movimentos restantes e encontrar soluções ótimas. Embora as soluções ótimas possam levar horas, o autor também discute o algoritmo de duas fases mais rápido de Kociemba para soluções quase instantâneas. Esta versão concentra-se principalmente na compatibilidade do compilador GHC e na manutenção do código.

(blog.poisson.chat)

Desenvolvimento Cubo Mágico

Adeus à gestão tediosa de chaves de API: Otimizando sua autenticação de API

2025-08-02

Este artigo critica o processo trabalhoso do gerenciamento atual de chaves de API e propõe uma solução mais simples e eficiente. O autor demonstra como o uso da biblioteca `jose` para gerar facilmente pares de chaves JWK permite que os desenvolvedores gerem suas próprias chaves de API sem etapas tediosas, como registro de conta e verificação de email. A solução usa JWTs com declarações e chaves públicas para autorização e fornece um mecanismo de cobrança baseado em URL de pagamento, juntamente com um método de derivação de chave para cenários B2B2C. Isso simplifica a autenticação de API, melhora a eficiência do desenvolvimento e oferece um gerenciamento de chaves mais seguro.

(www.selfref.com)

Desenvolvimento chaves de API

Codificação com IA: Um Espectro de Colaboração Humano-IA

2025-08-02

Este artigo explora estratégias para codificação assistida por IA, descrevendo o processo como um espectro de colaboração humano-IA. De mínima dependência de IA (semelhante a discutir problemas com colegas de outra empresa) a máxima dependência (delegar tarefas a um programador júnior), o autor detalha os diferentes níveis de interação e enfatiza a importância de escolher a estratégia certa com base no contexto, equilibrando a profundidade de aprendizado e a eficiência.

(softwaredoug.com)

Desenvolvimento Colaboração de código

Ethersync: Edição de texto multijogador, localmente

2025-08-02

O Ethersync permite a edição colaborativa em tempo real de arquivos de texto locais sem a necessidade de um servidor, oferecendo conexões ponto a ponto criptografadas. Ele suporta Linux, macOS, Android e WSL, com plugins para Neovim e VS Code. Compartilhe arquivos por meio de comandos simples na linha de comando, permitindo que vários usuários editem simultaneamente, vejam os cursores uns dos outros e as seleções. Pense nisso como um modo multijogador para o seu editor de texto! O projeto está em desenvolvimento ativo e aceita contribuições e relatórios de bugs.

(github.com)

Desenvolvimento

Estudante de graduação resolve uma conjectura matemática: Enfrentando o problema de Mizohata-Takeuchi

2025-08-02

Hannah Cairo, uma aluna de graduação da UC Berkeley, inesperadamente fez um progresso significativo em uma versão simplificada da conjectura de Mizohata-Takeuchi enquanto cursava uma disciplina de pós-graduação em teoria de restrição de Fourier. Inicialmente um problema de tarefa de casa, Cairo ficou fascinada por ele, expandindo o trabalho para formulações mais complexas. Seu orientador, o Professor Ruixiang Zhang, ficou impressionado com sua paixão e foco. Esta história destaca o potencial de jovens estudiosos e a dedicação à exploração intelectual.

(www.quantamagazine.org)

Desenvolvimento conjectura graduação

Proposta de Modo Reforçado para o Clang: Segurança em Primeiro Lugar, Compatibilidade em Segundo

2025-08-02

A equipe do Clang propõe um "modo reforçado" para melhorar a segurança e estabilidade de programas C e C++. Este modo unificará os mecanismos de segurança existentes, incluindo a ativação de várias bandeiras do compilador, macros predefinidas e avisos, e o ajuste do comportamento de diagnóstico para reduzir falsos positivos e priorizar a segurança. A proposta explora várias abordagens de implementação: um arquivo de configuração, um driver separado e bandeiras ortogonais, buscando feedback da comunidade sobre a solução ideal. Este modo pode quebrar código existente, mas a equipe acredita que esta é uma troca necessária para uma segurança melhorada, visando uma baixa taxa de falsos positivos.

(discourse.llvm.org)

Desenvolvimento

Cerebras Lança Planos de Codificação de IA Ultra-Rápidos: Pro e Max

2025-08-02

A Cerebras apresenta dois novos planos de codificação de IA: Code Pro (US$ 50/mês) e Code Max (US$ 200/mês), ambos alimentados pelo Qwen3-Coder da Alibaba, um modelo de codificação de peso aberto líder. Com velocidades de até 2.000 tokens por segundo, uma janela de contexto de 131.000 tokens e sem bloqueio de IDE proprietária ou limites semanais, ele oferece geração de código instantânea. Os usuários podem integrar-se aos seus IDEs de IA preferidos para um fluxo de trabalho contínuo. O Code Pro é ideal para desenvolvedores independentes e projetos menores, enquanto o Code Max atende às necessidades de desenvolvedores em tempo integral com alto volume.

(www.cerebras.ai)

Desenvolvimento

Não consegui enviar um PR, então consegui um emprego e consertei sozinho

2025-08-01

Por mais de um ano, uma condição de corrida na busca do Mintlify causou resultados estranhos. Como fundador da Trieve, a empresa que alimentava sua busca, tentei enviar um PR para consertá-lo, mas falhei. Finalmente me juntando ao Mintlify, adicionei um AbortController à função de busca com debounce, resolvendo o problema e tornando os resultados da busca consistentemente relevantes. Essa experiência destacou o poder do código aberto e a satisfação de resolver diretamente um problema persistente.

(www.skeptrune.com)

Desenvolvimento

SQLite: Construindo um banco de dados para 2050

2025-08-01

Os desenvolvedores do SQLite ambiciosamente planejam dar suporte ao SQLite até 2050. Para isso, eles implementaram código multiplataforma, um formato de arquivo de banco de dados estável, testes de nível aeronáutico, documentação extensa, código-fonte com muitos comentários e planejamento de recuperação de desastres. Rejeitando tendências passageiras de programação, eles visam um código atemporal, facilmente compreendido e mantido por programadores futuros. Até mesmo a Biblioteca do Congresso dos EUA reconhece o SQLite como um formato recomendado para preservação digital. A visão de longo prazo e o design robusto do SQLite o tornam uma escolha confiável de banco de dados.

(www.sqlite.org)

Desenvolvimento suporte de longo prazo

Cancelado: O relato de quatro anos de um desenvolvedor Scala

2025-08-01

Em 2021, um desenvolvedor Scala proeminente foi alvo de 'justiça popular' online, acusado de má conduta sexual. Apesar das acusações falsas, ele perdeu seu emprego, renda, casa e amigos da noite para o dia, enfrentando ruína financeira e problemas de saúde. Embora finalmente vitorioso na justiça, o dano à reputação permanece, deixando-o com trauma psicológico e dificuldades financeiras prolongadas, incluindo a falta de moradia. Este relato detalha sua provação de quatro anos, pedindo cautela na condenação pública e destacando o impacto devastador dos ataques online em indivíduos.

(pretty.direct)

Desenvolvimento justiça popular online cultura do cancelamento dano à reputação

Entrevistas de codificação ao vivo: um teste de estresse, não de habilidade?

2025-08-01

Este artigo questiona a eficácia das entrevistas de codificação ao vivo como medida de habilidade de engenharia. O autor relata experiências pessoais e cita pesquisas científicas mostrando que situações de alta pressão prejudicam a função cognitiva, especificamente a memória de trabalho, crucial para a codificação. Um estudo revelou que os participantes tiveram um desempenho metade do normal sob observação, com as mulheres falhando completamente na condição observada. O autor sugere mitigar o estresse por meio de entrevistas simuladas e explora suplementos como L-tirosina e L-teanina para melhorar o desempenho sob pressão.

(hadid.dev)

Desenvolvimento entrevistas de codificação ao vivo estresse

Aplicativos com foco em privacidade deixam a Google Play Store

2025-08-01

Um projeto que oferece aplicativos Android com foco em privacidade desde 2016 está descontinuando as atualizações na Google Play Store. Devido a custos de manutenção insustentáveis, a equipe está transferindo seus mais de 30 aplicativos para a loja F-Droid para suporte contínuo. As instalações existentes não serão afetadas, mas os usuários são incentivados a migrar para o F-Droid para atualizações futuras e para garantir a funcionalidade contínua.

(secuso.aifb.kit.edu)

Desenvolvimento loja de aplicativos

rewindtty: Gravador e Reprodutor de Sessões de Terminal em C

2025-08-01

rewindtty é um projeto de código aberto escrito em C que grava e reproduz com precisão sessões de terminal, incluindo informações de tempo. Ele oferece análise de sessão, gerando estatísticas detalhadas e sugestões de otimização. Os dados da sessão são armazenados em formato JSON para facilitar a análise. Além disso, inclui um reprodutor baseado em navegador com recursos avançados, como uma linha do tempo interativa e controles, melhorando significativamente a experiência do usuário. O projeto é leve, tem dependências mínimas e é fácil de usar.

(github.com)

Desenvolvimento gravação de terminal reprodução de sessão

Este guia de segurança de servidor Linux o protegerá de hackers?

2025-08-01

Este guia abrangente detalha como proteger seu servidor Linux contra ataques maliciosos. Ele abrange tudo, desde a escolha de uma distribuição Linux segura até a configuração de firewalls e sistemas de detecção/prevenção de intrusão (como Fail2Ban e CrowdSec), e fornece playbooks do Ansible para automatizar muitas etapas de segurança. O guia também aborda tópicos avançados, como o uso de chaves SSH, autenticação de dois fatores e fortalecimento do kernel sysctl, ao mesmo tempo em que alerta os leitores sobre os riscos envolvidos nessas etapas. É um documento vivo destinado a ser um recurso abrangente para segurança de servidores Linux.

(github.com)

Desenvolvimento Segurança de Servidor

Adeus, tmux: Uma alternativa baseada em shpool e gerenciadores de janelas

2025-08-01

O autor, um usuário de longa data do tmux, procurou uma alternativa devido à sua complexidade e problemas irritantes como renderização de cores, rolagem de buffer e seleção com o mouse. O artigo explora as deficiências dos multiplexadores de terminal e apresenta como ferramentas como o shpool, combinadas com gerenciadores de janelas (como ghostty ou sway), alcançam persistência de sessão e gerenciamento de janelas, substituindo finalmente o tmux. Embora o shpool não seja perfeito e tenha problemas menores, o autor considera sua rolagem nativa, notificações de terminal e títulos como vantagens significativas. Instruções detalhadas de configuração são fornecidas.

(bower.sh)

Desenvolvimento alternativa tmux persistência de sessão

Category: Desenvolvimento