Webtagr - Sumário de Notícias de Tecnologia

Tach: Uma ferramenta em Rust para impor dependências e interfaces Python

2025-02-26

Tach é uma ferramenta Python escrita em Rust que impõe dependências e interfaces, inspirada na arquitetura monolítica modular. Permite adoção incremental, tem zero sobrecarga em tempo de execução e é interoperável com seus sistemas existentes. Configure seu projeto interativamente e, em seguida, use o comando `tach check` para detectar violações de dependências. Tach também visualiza seu gráfico de dependências e fornece relatórios mostrando dependências e usos de módulos. Em resumo, Tach ajuda os desenvolvedores a construir projetos Python mais limpos e fáceis de manter.

(github.com)

Desenvolvimento

Verificando formalmente o algoritmo de divisão longa com lógica de Hoare

2025-02-26

Este artigo apresenta uma verificação formal detalhada do algoritmo de divisão longa usando lógica de Hoare. O autor percorre meticulosamente a prova, empregando triplas de Hoare, axiomas de atribuição, axiomas de composição, axiomas condicionais e o axioma de loop while para demonstrar a correção do algoritmo. O artigo oferece uma explicação clara da aplicação da lógica de Hoare, ilustrando a complexidade do processo de prova com um exemplo concreto e destacando a importância da verificação formal no desenvolvimento de software.

(www.cofault.com)

Desenvolvimento lógica de Hoare

AtomixDB: Um mini banco de dados relacional em Go

2025-02-26

AtomixDB é um mini banco de dados relacional escrito inteiramente em Go, focando na implementação e compreensão do funcionamento do banco de dados, gerenciamento de armazenamento e tratamento de transações. Ele utiliza um mecanismo de armazenamento B+ tree com suporte a indexação, possui reutilização de nós de lista livre, suporte a transações e leituras concorrentes. Atualmente, suporta comandos CREATE, INSERT, GET, UPDATE, DELETE, BEGIN, COMMIT e ABORT. O projeto é de código aberto e aceita contribuições.

(github.com)

Desenvolvimento

Golioth Investiga: Um Mistério de Conectividade Celular

2025-02-26

A Golioth recentemente encontrou um problema de conectividade celular intrigante: alguns dispositivos usando um chipset de um fornecedor específico apresentaram falhas de conexão após atualizações de firmware OTA. A investigação revelou que o problema era originário de algumas redes NB-IoT que não seguiam as especificações 3GPP, fazendo com que o modem falhasse em obter os endereços do servidor DNS corretamente. A equipe da Golioth, analisando profundamente as especificações 3GPP, dados de rastreamento do modem e protocolos de rede, finalmente encontrou uma solução alternativa, mas também expôs as desvantagens de ecossistemas fechados e a falta de transparência, pedindo maior transparência da indústria para melhorar a confiabilidade da conectividade celular.

(blog.golioth.io)

Desenvolvimento conectividade celular especificações 3GPP Conectividade Celular

Mudança de Mantenedor de Mapeamento DMA do Kernel Linux

2025-02-26

Houve uma mudança de mantenedor na comunidade do kernel Linux. Christoph Hellwig transferiu a manutenção da árvore dma-mapping para Marek Szyprowski. Essa alteração foi implementada atualizando o arquivo MAINTAINERS e foi reconhecida pelas partes relevantes.

(lore.kernel.org)

Desenvolvimento Mapeamento DMA Mudança de Mantenedor

Open Source: Onde os Sonhos Morrem

2025-02-26

A renúncia de Hector Martin, desenvolvedor principal do Asahi Linux, destaca a natureza insustentável do desenvolvimento de código aberto. Anos de trabalho não remunerado portando o Linux para o chip Apple Silicon levaram ao esgotamento, alimentado por demandas incessantes dos usuários e falta de compensação. Este artigo explora a economia quebrada do código aberto, onde os desenvolvedores dedicam inúmeras horas a projetos sem recompensa adequada, levando ao esgotamento e ao abandono do projeto. Apela para uma mudança fundamental em como valorizamos e apoiamos as contribuições de código aberto para evitar tragédias futuras.

(www.trevorlasn.com)

Desenvolvimento

Compêndio Hilário de Licenças de Código Aberto Absurdas

2025-02-26

Este artigo compila uma coleção de licenças de código aberto ridículas, engraçadas e simplesmente ruins. De licenças que permitem copiar, mas proíbem a execução do software, a licenças que restringem o uso com base em raça e orientação sexual, o absurdo não tem limites. Algumas licenças exigem que os usuários sejam gays e cometam crimes, outras proíbem o uso com NFTs ou blockchain, e outras ainda invocam a moralidade bíblica. O aviso do autor: Não use essas licenças!

(github.com)

Desenvolvimento licenças de código aberto

arXivLabs: Colaboração da Comunidade em Recursos do arXiv

2025-02-26

arXivLabs é uma estrutura para desenvolver e compartilhar novos recursos do arXiv diretamente no site, incentivando a colaboração com indivíduos e organizações que compartilham os valores do arXiv de abertura, comunidade, excelência e privacidade dos dados do usuário. Tem uma ideia para melhorar a comunidade arXiv? Saiba mais sobre arXivLabs.

(arxiv.org)

Desenvolvimento

vscli: Simplificando o lançamento de contêineres de desenvolvimento do VS Code a partir da linha de comando

2025-02-26

O vscli é uma ferramenta de linha de comando projetada para simplificar o lançamento de contêineres de desenvolvimento do Visual Studio Code. Ele suporta o VS Code, VS Code Insiders, Cursor e outros editores, detectando automaticamente se um projeto usa contêineres de desenvolvimento e lançando o apropriado. O comando `open` abre projetos, enquanto o comando `recent` exibe uma lista de projetos usados recentemente. Ele oferece comportamentos de lançamento flexíveis (forçar contêiner, forçar clássico, detectar), suporta configurações personalizadas e permite passar argumentos adicionais para o editor. O vscli aumenta significativamente a produtividade do desenvolvedor com seus comandos concisos e opções extensivas.

(github.com)

Desenvolvimento Contêiner de Desenvolvimento

Estilos de Indentação: Uma Guerra Santa Continua

2025-02-26

O debate sobre os estilos de indentação de código continua a dividir os programadores. De Allman a K&R a GNU, cada estilo tem seus defensores, sem um consenso claro sobre qual é superior. Este artigo mergulha nos prós e contras de vários estilos de indentação e cita pesquisas recentes demonstrando que a indentação adequada melhora significativamente a legibilidade do código e reduz o tempo de leitura. Em última análise, a consistência, independentemente do estilo escolhido, é fundamental.

(en.wikipedia.org)

Desenvolvimento estilo de código convenções de programação

Telescope: Visualizador de logs baseado na web para ClickHouse

2025-02-26

Telescope é um aplicativo web que fornece uma interface intuitiva para explorar dados de log armazenados no ClickHouse. Ele suporta vários tipos de logs, permitindo que os usuários configurem facilmente conexões e usem consultas para filtrar, pesquisar e analisar logs de forma eficiente. Atualmente em versão beta, uma demonstração ao vivo está disponível, mostrando os recursos principais. Planos futuros incluem adicionar presets de consulta, suporte a SQL bruto e muito mais.

(github.com)

Desenvolvimento visualizador de logs

Codificação de Logaritmo Iterado: Um Novo Formato de Codificação de Ponto Flutuante

2025-02-26

Este artigo apresenta um novo formato de codificação de números reais — codificação de logaritmo iterado. Diferentemente das representações tradicionais de ponto flutuante, este formato usa uma sequência de bits de sinal para representar números, cada bit de sinal indicando a positividade ou negatividade do número dentro de uma faixa específica. Essa abordagem permite uma faixa notavelmente ampla de números representáveis, incluindo valores extremamente grandes ou pequenos que estão além das capacidades dos formatos tradicionais de ponto flutuante. Apresenta uma propriedade de ordenação lexicográfica única. Embora a distribuição de precisão seja não uniforme, o método oferece vantagens na representação de números dentro de determinadas faixas, especialmente quando envolvidos valores extremamente grandes ou pequenos e os requisitos de precisão são menos rigorosos.

(adamscherlis.github.io)

Desenvolvimento ponto flutuante

Quadrados Misteriosos em Nomes de Arquivos do Windows: Uma Aventura com Pares de Substitutos UTF-16

2025-02-26

Este artigo descreve um fenômeno curioso no Windows: muitos executáveis pequenos com quadrados estranhos em seus nomes aparecendo no Gerenciador de Tarefas. Esses arquivos não são maliciosos; o problema decorre do uso de pares de substitutos UTF-16 nos nomes de arquivos. O UTF-16, para acomodar caracteres Unicode estendidos, usa pares de substitutos para representar caracteres além do Plano Multilíngue Básico. Quando a manipulação de strings produz pares de substitutos isolados ou malformados, os nomes de arquivos se tornam ilegíveis. O artigo explica os pares de substitutos e fornece um script Python para gerar arquivos com nomes de arquivos ilegíveis, reproduzindo o fenômeno.

(zaferbalkan.com)

Desenvolvimento Pares de Substitutos

DeepGEMM: Núcleos GEMM FP8 limpos e eficientes com dimensionamento granular fino

2025-02-26

DeepGEMM é uma biblioteca para multiplicações de matrizes gerais (GEMMs) FP8 limpas e eficientes em NVIDIA Hopper Tensor Cores, com dimensionamento granular fino, conforme proposto no DeepSeek-V3. Suporta GEMMs agrupadas normais e de Mix-of-Experts (MoE), utiliza um compilador Just-In-Time (JIT) leve, eliminando a necessidade de compilação durante a instalação. Aborda a imprecisão do acúmulo do tensor core FP8 por meio de acúmulo de dois níveis (promoção) do núcleo CUDA. Apesar de seu design conciso (~300 linhas de código principal), o desempenho do DeepGEMM iguala ou supera bibliotecas ajustadas por especialistas em várias formas de matrizes.

(github.com)

Desenvolvimento

EdgeDB muda de nome para Gel e abraça o ecossistema PostgreSQL

2025-02-26

A startup de banco de dados EdgeDB mudou oficialmente de nome para Gel e anunciou que sua versão 6.0 oferece suporte total ao SQL, com suporte nativo ao protocolo PostgreSQL. O Gel se posiciona como uma camada frontal para o PostgreSQL, semelhante ao TypeScript para JavaScript, melhorando a eficiência dos esquemas de dados e consultas por meio de compiladores inteligentes. A mudança de nome visa maior clareza e simplicidade, integrando-se melhor ao ecossistema próspero do PostgreSQL. O lançamento do Gel 6.0 marca uma mudança significativa de apenas suportar sua linguagem de consulta proprietária EdgeQL para abraçar o SQL, ampliando seu apelo e diminuindo a barreira de entrada.

(www.geldata.com)

Desenvolvimento

MyCoder: Assistente de codificação de IA de linha de comando que lida com qualquer desafio de codificação

2025-02-25

MyCoder é um poderoso sistema de agente de IA baseado em linha de comando capaz de executar tarefas arbitrárias, com foco particular em tarefas de codificação. Ele usa uma arquitetura modular baseada em ferramentas para interagir com arquivos, executar comandos, fazer solicitações de rede e gerar subagentes para execução paralela de tarefas. Com uma chave de API Anthropic, o MyCoder pode corrigir erros de compilação, atualizar dependências, refatorar código, adicionar novas funcionalidades e muito mais. Ele suporta o modo interativo e a leitura de prompts a partir de arquivos, e possui recursos de registro inteligente e capacidade de automodificação. O MyCoder utiliza a API Claude e usa Conventional Commits e GitHub Actions para CI/CD.

(github.com)

Desenvolvimento

ggwave: Uma Pequena Biblioteca de Transmissão de Dados por Som

2025-02-25

ggwave é uma biblioteca open-source leve que permite a comunicação de pequenas quantidades de dados entre dispositivos isolados usando som. Ela emprega um protocolo de transmissão simples baseado em FSK com uma largura de banda de 8-16 bytes/seg, incorporando códigos de correção de erros para demodulação robusta. As aplicações variam de IoT e códigos QR de áudio a emparelhamento de dispositivos. A biblioteca é multiplataforma, oferecendo exemplos e instalação fácil em vários sistemas. Os usuários podem utilizar diferentes backends de áudio com base em suas necessidades.

(github.com)

Desenvolvimento transmissão de dados comunicação de som

Mudança de Paradigma na Interação Web: Comandos Invoker Explicados

2025-02-25

Esta explicação detalha uma nova proposta para interação web: Comandos Invoker. Ao adicionar os atributos `commandfor` e `command` aos elementos ``, ele atribui comportamento aos botões de uma maneira mais acessível e declarativa, reduzindo a quantidade de JavaScript necessária. A proposta define um evento `CommandEvent`, permitindo que os desenvolvedores personalizem as interações. É incluído suporte integrado para elementos `` e ``, com foco em acessibilidade e segurança. Também suporta comandos personalizados e fornece amplo código de exemplo mostrando como simplificar o desenvolvimento de interação web usando esta proposta.

(open-ui.org)

Desenvolvimento

Um vislumbre do futuro do Python no navegador: Apresentando o SPy

2025-02-25

Para superar as limitações de velocidade do Python no navegador, engenheiros da Anaconda e Cloudflare desenvolveram o SPy. O SPy não é uma simples porta do Python; é uma nova linguagem que permite uma mistura de código em tempo de compilação e tempo de execução (código azul e vermelho, respectivamente). O código azul, semelhante ao Python, permite pré-computação em tempo de compilação, aumentando dramaticamente o desempenho. O código SPy pode ser interpretado ou compilado para C, depois compilado para binários nativos ou WebAssembly. Uma demonstração de arte generativa mostrou uma melhoria de velocidade de 100x migrando do PyScript para o SPy. Embora esteja em estágios iniciais, o SPy demonstra um potencial impressionante, prometendo velocidades próximas ao Rust para execução nativa de Python em navegadores no futuro.

(lukasz.langa.pl)

Desenvolvimento

Profileamento de memória estatístico de baixa sobrecarga no PyPy: integrando VMProf e o GC

2025-02-25

Esta postagem de blog descreve uma nova abordagem para o profileamento estatístico de memória de baixa sobrecarga para o PyPy. Em vez de registrar todas as alocações, ela amostra a cada n-ésimo byte alocado, integrando inteligentemente a lógica de amostragem na verificação do alocador de ponteiro de colisão do coletor de lixo (GC) do PyPy. Isso garante que o caminho rápido permaneça idêntico com e sem amostragem de memória, minimizando a sobrecarga. Experimentos demonstram bom desempenho em várias taxas de amostragem, oferecendo controle mais preciso e menor sobrecarga para o profileamento de memória.

(pypy.org)

Desenvolvimento profileamento de memória

LLMs: O Sucesso Inesperado do Ranking de Documentos

2025-02-25

Este artigo argumenta que os Grandes Modelos de Linguagem (LLMs) podem ser usados efetivamente para classificação de documentos em lista e que, surpreendentemente, alguns problemas complexos podem ser resolvidos transformando-os em problemas de classificação de documentos. O autor demonstra isso usando a comparação de patches para localizar vulnerabilidades de N dias. Reformulando o problema como classificação de diferenças (documentos) por sua relevância a um aviso de segurança (consulta), os LLMs podem identificar eficientemente a função específica que corrige uma vulnerabilidade. Essa técnica foi validada em várias conferências de segurança e pode ser aplicada a outros problemas de segurança, como a seleção e priorização de alvos de fuzzing. Melhorias futuras incluem analisar os resultados classificados e gerar evidências verificáveis, como gerar automaticamente exploits de prova de conceito testáveis.

(noperator.dev)

Desenvolvimento Classificação de Documentos Descoberta de Vulnerabilidades

Ecossistema Poderoso do OCaml: Dune e Bibliotecas Essenciais

2025-02-25

Este artigo apresenta componentes-chave do robusto ecossistema OCaml. Dune (anteriormente Jbuilder) é um sistema de construção composto; Base substitui a biblioteca padrão do OCaml para melhor desempenho e portabilidade; Core estende Base com funcionalidade aprimorada; Async permite programação assíncrona; Bonsai constrói máquinas de estado declarativas e incrementais; Incremental facilita computações autoajustáveis; Base_quickcheck fornece testes aleatórios baseados em propriedades; e Patdiff é uma ferramenta de comparação otimizada para arquivos de código e configuração. Juntas, essas bibliotecas formam uma base poderosa para o desenvolvimento OCaml, aumentando a eficiência e a qualidade do código.

(opensource.janestreet.com)

Desenvolvimento

Assistente de codificação com IA gratuito: Gemini Code Assist agora disponível para indivíduos

2025-02-25

O Gemini Code Assist do Google agora é gratuito para desenvolvedores individuais, integrado ao Visual Studio Code e IDEs JetBrains. Oferecendo recursos de conclusão de código, geração e bate-papo, ele possui um limite de uso 90 vezes maior do que outros assistentes de código gratuitos. Com uma janela de contexto generosa de 128.000 tokens, os desenvolvedores podem trabalhar com arquivos grandes sem problemas. Usando prompts de linguagem natural em vários idiomas, os desenvolvedores podem gerar código (como um formulário HTML simples), explicar trechos de código e depurar. Essa poderosa ferramenta permite que os desenvolvedores se concentrem na criatividade, enquanto o Gemini cuida das tarefas repetitivas.

(blog.google)

Desenvolvimento Assistente de codificação IA Ferramenta de desenvolvimento gratuita

GoatDB: Um banco de dados NoDB leve para Deno e React

2025-02-25

O GoatDB é um banco de dados em tempo real com controle de versão, ideal para projetos Deno e React, oferecendo implantações fáceis. Perfeito para prototipagem, hospedagem própria, aplicativos de locatário único e configurações multilocatário leves sem backends complexos. Recursos incluem processamento do lado do cliente, recursos offline-first e colaboração em tempo real. Hooks do React simplificam o gerenciamento de estado, enquanto consultas incrementais eficientes, sincronização integrada e um modelo de segurança robusto o tornam perfeito para prototipagem rápida e projetos colaborativos.

(github.com)

Desenvolvimento

Browser-Use: Permitindo que a IA controle seu navegador

2025-02-25

Imagine sua IA interagindo perfeitamente com seu navegador, pesquisando informações, clicando em links e até mesmo realizando tarefas complexas na web. Browser-Use é uma poderosa biblioteca Python que permite que agentes de IA controlem diretamente os navegadores, automatizando ações como pesquisar no Reddit, adicionar itens a um carrinho de compras ou até mesmo adicionar contatos ao Salesforce. O projeto oferece APIs fáceis de usar, exemplos de IU prontamente disponíveis e documentação abrangente. Um comitê dedicado está sendo formado para definir as melhores práticas para o design de IU/UX de agentes de navegador. Seja você um desenvolvedor ou pesquisador de IA, o Browser-Use oferece benefícios significativos.

(github.com)

Desenvolvimento

Hyperspace: Aplicativo Mac que recupera espaço em disco usando clones APFS

2025-02-25

John Siracusa, um desenvolvedor experiente, lançou o Hyperspace, um aplicativo Mac que utiliza de forma inteligente os recursos de clonagem do sistema de arquivos APFS para liberar espaço valioso em disco. Ao contrário de outros aplicativos que excluem arquivos duplicados, o Hyperspace recupera espaço sem perdas, convertendo arquivos com conteúdo idêntico em clones que compartilham uma única instância de dados. O artigo detalha a jornada de desenvolvimento do Hyperspace e as experiências e desafios do autor usando SwiftUI e Swift 6. Embora o método do Hyperspace de manipular arquivos apresente riscos, sua funcionalidade poderosa e facilidade de uso o tornam uma bênção para os usuários de Mac.

(hypercritical.co)

Desenvolvimento Aplicativo Mac Espaço em disco

Elixir Abraça Python: Pythonx Traz Programação Multilíngue ao Livebook

2025-02-25

Para resolver o desafio de integrar o Elixir com os ecossistemas Python existentes em ciência de dados, este artigo apresenta o projeto Pythonx. O Pythonx integra o interpretador Python na máquina virtual Erlang, permitindo conversão automática de dados e avaliação de código entre Elixir e Python, e simplificando o gerenciamento de ambientes virtuais. Com o Pythonx, os desenvolvedores podem misturar perfeitamente códigos Elixir e Python em notebooks Livebook, melhorando significativamente a eficiência do desenvolvimento e aumentando a praticidade do Livebook. O artigo também discute problemas potenciais, como o GIL, e soluções alternativas, e apresenta o Fine, uma biblioteca C++ para simplificar o desenvolvimento de NIFs.

(dashbit.co)

Desenvolvimento

Ideias Inovadoras para Linguagens de Programação: Tipos de Refinamento e Segurança em Tempo de Compilação

2025-02-25

Uma postagem de blog explora direções futuras para linguagens de programação, propondo vários recursos inovadores. Esses incluem sobrecarga de função baseada em tipos de refinamento e o uso de tipos de união e tipos de refinamento em structs semelhantes a C para otimização de memória. A postagem também discute a segurança de memória em tempo de compilação e introduz o conceito de uma função 'assume', permitindo que os programadores ignorem verificações de segurança sob condições específicas para facilitar a depuração. Essas ideias visam melhorar a segurança de tipo e a eficiência em linguagens de programação.

(davidbos.me)

Desenvolvimento segurança em tempo de compilação

Configuração Avançada do Git: Como os Desenvolvedores do Core Configuram o Git

2025-02-25

Esta publicação explora configurações pouco conhecidas do Git que podem melhorar significativamente a experiência com o Git. O autor compartilha as melhores configurações descobertas pelos desenvolvedores do core do Git durante um experimento de "limpeza de primavera", categorizadas em três grupos: configurações que demonstravelmente melhoram o Git (como a melhoria da classificação de branches, algoritmos diff, operações de push e fetch), configurações inofensivas, mas ocasionalmente úteis (como prompt de autocorreção, exibição de diffs no commit, reutilização de resoluções de conflitos) e configurações com base em preferências pessoais (como a melhoria do tratamento de conflitos de merge, defaults de rebase e monitoramento do sistema de arquivos). A função de cada configuração é explicada em detalhes com os comandos correspondentes, ajudando os leitores a otimizar suas configurações do Git para maior eficiência.

(blog.gitbutler.com)

Desenvolvimento Configuração

Ignorando TCP/UDP: Uma jornada inesperada de experimentos de rede

2025-02-25

O autor tenta criar um protocolo de transporte de rede personalizado, ignorando TCP e UDP, para explorar seu comportamento em diferentes sistemas operacionais e ambientes de rede. Experimentos revelam que o protocolo personalizado obtém sucesso parcial em testes de loopback local, mas em ambientes de rede cruzada, a maioria dos servidores em nuvem e dispositivos de rede descartam pacotes de protocolo personalizados, exceto pelo AWS, e existem problemas como compatibilidade interplataforma ruim. Conclusão final: a menos que seja necessário, use TCP ou UDP!

(github.com)

Desenvolvimento

Category: Desenvolvimento