Tags populares：
Virtualização segurança DNS verificação formal análise de alcance IA erros do compilador conflito de macro extensão web framework de desenvolvimento Gráficos de Bitmap Todos os tags

Tilck: Um Kernel Educacional Minimalista com Compatibilidade Linux

2025-07-16
Tilck: Um Kernel Educacional Minimalista com Compatibilidade Linux

Tilck é um kernel monolítico educacional projetado para compatibilidade binária com Linux, atualmente rodando em arquiteturas i686 e RISCV64. Seu design pequeno e simples o torna ideal para aprender programação de kernel, permitindo a comparação da execução de código em modo usuário entre Linux e Tilck. Tilck não requer aplicativos personalizados; ele executa programas Linux convencionais como o conjunto BusyBox. Aplicações futuras podem incluir sistemas embarcados que exigem determinismo e latência ultrabaixa, preenchendo a lacuna entre o Linux embarcado e sistemas operacionais em tempo real como FreeRTOS ou Zephyr.

Leia mais
(github.com)
Desenvolvimento

Cogency: Agentes de IA em 3 linhas de código que simplesmente funcionam

2025-07-15
Cogency: Agentes de IA em 3 linhas de código que simplesmente funcionam

Cogency é uma estrutura de raciocínio de várias etapas que simplifica a criação de agentes de IA. Ele detecta automaticamente provedores como OpenAI, Anthropic e Google, roteia ferramentas inteligentemente e transmite raciocínio transparente. Com apenas três linhas de código, você pode construir um agente funcional. Cogency possui ferramentas integradas, como calculadora, verificador de clima, ferramenta de fuso horário e pesquisa na web, além de rastros de execução detalhados para depuração. Expansível com ferramentas e LLMs personalizados.

Leia mais
(github.com)
IA raciocínio em várias etapas

Benchmarks de caches distribuídos: Memcache, Redis, Valkey, Dragonfly e Garnet

2025-07-15
Benchmarks de caches distribuídos: Memcache, Redis, Valkey, Dragonfly e Garnet

Este estudo realiza um benchmark abrangente de cinco caches distribuídos: Memcache, Redis, Valkey, Dragonfly e Garnet. As métricas incluem taxa de transferência, latência e ciclos de CPU. O ambiente de teste usa uma instância AWS c8g.8xlarge e a ferramenta memtier_benchmark, variando os tamanhos de pipeline (1, 10, 25, 50). Os resultados revelam diferenças de desempenho em várias métricas, ajudando os desenvolvedores a selecionar o cache ideal para suas necessidades de aplicativo.

Leia mais
(github.com)
Desenvolvimento cache distribuído

aiosqlitepool: Aumente o Desempenho do Asyncio SQLite em 72%

2025-07-15
aiosqlitepool: Aumente o Desempenho do Asyncio SQLite em 72%

aiosqlitepool é um pool de conexões de alto desempenho para aplicações asyncio SQLite. Ao reutilizar conexões de banco de dados, ele elimina a sobrecarga de conexões e melhora significativamente a velocidade das consultas. Funciona com drivers asyncio como o aiosqlite, não como uma substituição. Testes mostram um aumento de desempenho de 72% e uma redução de 41% na latência média sob carga pesada. Ideal para aplicações de alto rendimento ou aquelas que exigem baixa latência, o aiosqlitepool mitiga efetivamente erros SQLITE_BUSY causados por contenção de gravação.

Leia mais
(github.com)
Desenvolvimento

Voil: Edite seu sistema de arquivos como um buffer de texto

2025-07-15
Voil: Edite seu sistema de arquivos como um buffer de texto

Voil é uma extensão do VS Code que permite gerenciar seu sistema de arquivos como um buffer de texto. Diga adeus a cliques e memorização de atalhos de teclado; crie, renomeie e mova arquivos e diretórios diretamente no editor com a eficiência da edição de texto. Voil usa IDs ocultos para rastrear arquivos e oferece um conjunto rico de comandos e opções de personalização, incluindo listagem recursiva, classificação, filtragem e execução de comandos de shell personalizados. É compatível com a extensão Vim e fornece instruções de configuração detalhadas e exemplos. Assista ao vídeo de demonstração para ver em ação!

Leia mais
(github.com)
Desenvolvimento gerenciamento de sistema de arquivos extensão

CallFS: Um sistema de arquivos REST API distribuído e de alto desempenho

2025-07-15
CallFS: Um sistema de arquivos REST API distribuído e de alto desempenho

CallFS é um sistema de arquivos REST API ultraleve e de alto desempenho que fornece semântica precisa do sistema de arquivos Linux em vários backends, incluindo armazenamento local, Amazon S3 e uma rede ponto a ponto distribuída. Ele foi projetado para velocidade, confiabilidade e escalabilidade horizontal. CallFS possui uma arquitetura modular com componentes como um servidor API, mecanismo central, backends de armazenamento plugáveis, armazenamento de metadados PostgreSQL, gerenciador de bloqueio distribuído baseado em Redis e um gerenciador de links. Ele oferece operações ricas de arquivos e diretórios, links de download de uso único seguros, segurança abrangente e observabilidade robusta.

Leia mais
(github.com)
Desenvolvimento

Limitações da Aplicação de Sugestões de Revisão de Código do GitHub

2025-07-15
Limitações da Aplicação de Sugestões de Revisão de Código do GitHub

Este texto lista várias limitações encontradas ao aplicar sugestões em revisões de código do GitHub. Essas incluem nenhuma alteração de código, pull requests fechados, visualização de um subconjunto de alterações, apenas uma sugestão por linha, aplicação em linhas excluídas, sugestões já aplicadas ou marcadas como resolvidas, sugestões de revisões pendentes, comentários de várias linhas e pull requests na fila para mesclar. Essas limitações são projetadas para manter a integridade e a eficiência da revisão de código.

Leia mais
(github.com)
Desenvolvimento Aplicação de Sugestões

Arch: Um gateway modular para aplicativos de IA de borda

2025-07-14
Arch: Um gateway modular para aplicativos de IA de borda

Arch é um servidor proxy de gateway de IA de borda modular projetado para simplificar a construção de aplicativos agentivos. Ele cuida do trabalho tedioso de baixo nível, como aplicar barreiras de proteção, esclarecer entradas ambíguas do usuário, roteamento de prompts para o agente correto e unificar o acesso a qualquer LLM, permitindo que os desenvolvedores criem e enviem aplicativos agentivos mais rapidamente. Construído no Envoy, o Arch oferece recursos como roteamento, barreiras de proteção e observabilidade e suporta várias linguagens e estruturas. Uma demonstração simples de um agente de conversão de moeda mostra sua facilidade de uso, com interação por meio de comandos curl. O Arch suporta estratégias de roteamento LLM baseadas em modelo e baseadas em preferência e fornece registro e observabilidade detalhados.

Leia mais
(github.com)
Desenvolvimento Aplicativos Agentes Gateway de IA

Lançador inspirado no Raycast chega ao Linux: Open Source e Extensível

2025-07-14
Lançador inspirado no Raycast chega ao Linux: Open Source e Extensível

Um projeto de código aberto, Raycast Linux, traz o popular lançador macOS Raycast para o Linux. Ele possui um painel de comandos extensível, suporte a extensões (com limitações de compatibilidade devido às diferenças entre os sistemas operacionais), uma calculadora poderosa, histórico da área de transferência, gerenciamento de snippets e integração de IA por meio do OpenRouter. Embora vise uma ampla compatibilidade com as extensões do Raycast, algumas podem não funcionar devido a APIs ou dependências específicas do macOS. Construído usando Rust, Node.js, Tauri e Swift, ele está disponível como um pacote AppImage e oferece compilação do código-fonte.

Leia mais
(github.com)
Desenvolvimento lançador

APKLab: A Extensão Definitiva para Engenharia Reversa Android no VS Code

2025-07-14
APKLab: A Extensão Definitiva para Engenharia Reversa Android no VS Code

O APKLab integra perfeitamente ferramentas de código aberto poderosas, como Quark-Engine, Apktool, Jadx e mais, diretamente no VS Code, fornecendo uma experiência abrangente de engenharia reversa Android. Decodifique recursos, desmonte para Smali, descompila para Java, gere relatórios de análise de malware e realize inspeção HTTPS – tudo dentro do seu IDE favorito. Recursos incluem suporte para assinatura de armazenamento de chaves personalizado, inicialização do repositório Git e compatibilidade multiplataforma (Linux, Windows, macOS).

Leia mais
(github.com)
Desenvolvimento engenharia reversa Android

OpenCut: Editor de vídeo de código aberto focado na privacidade

2025-07-14
OpenCut: Editor de vídeo de código aberto focado na privacidade

OpenCut é um editor de vídeo gratuito e de código aberto para web, desktop e dispositivos móveis. Priorizando a privacidade do usuário, todos os vídeos permanecem no seu dispositivo. Embora seus recursos básicos estejam atualmente atrás de um paywall, sua facilidade de uso foi comprovada. Ele possui edição baseada em timeline, suporte multi-track, pré-visualização em tempo real e é gratuito de marcas d'água ou assinaturas. Construído com Next.js, o projeto inclui componentes de IU, hooks personalizados do React, lógica de utilitários e API, gerenciamento de estado e tipos TypeScript. São fornecidas instruções detalhadas de configuração e contribuição; contribuições são bem-vindas.

Leia mais
(github.com)
Desenvolvimento editor de vídeo de código aberto

TorchLeet: Um Playground de Aprendizado Profundo com PyTorch

2025-07-13
TorchLeet: Um Playground de Aprendizado Profundo com PyTorch

TorchLeet é uma coleção de problemas práticos de PyTorch, divididos em dois conjuntos: um conjunto básico que abrange conceitos de PyTorch do básico ao avançado (regressão linear, conjuntos de dados personalizados, CNNs, etc.), e um conjunto desafiador de LLMs focado na construção de LLMs do zero (mecanismos de atenção, embeddings, e muito mais). Cada problema fornece código incompleto com soluções, incentivando o aprendizado prático. Perfeito para iniciantes e especialistas.

Leia mais
(github.com)
Desenvolvimento

GhidrAssistMCP: Engenharia Reversa com IA para Ghidra

2025-07-13
GhidrAssistMCP: Engenharia Reversa com IA para Ghidra

O GhidrAssistMCP é uma poderosa extensão do Ghidra que fornece um servidor MCP (Model Context Protocol), permitindo que assistentes de IA e outras ferramentas interajam com os recursos de engenharia reversa do Ghidra por meio de uma API padronizada. Ele possui 31 ferramentas integradas abrangendo funções, dados, referências cruzadas e muito mais, além de uma interface de usuário configurável, registro em tempo real e gerenciamento dinâmico de ferramentas. Essa extensão integra perfeitamente ferramentas de análise com IA e scripts personalizados, aumentando significativamente a eficiência da engenharia reversa.

Leia mais
(github.com)
Desenvolvimento

pattrns: Gerador de Sequências Musicais em Rust e Lua

2025-07-13
pattrns: Gerador de Sequências Musicais em Rust e Lua

pattrns é um motor experimental de geração de sequências musicais de estilo imperativo, escrito em Rust e com interface de script Lua para criação de música dinâmica, ideal para codificação ao vivo. Ele usa uma arquitetura de três estágios (Ritmo, Porta, Emissor) separando os aspectos rítmicos e tonais para composição e recombinação flexíveis. Também suporta a mininotação Tidal Cycles. Observe que o pattrns apenas gera eventos musicais brutos; a saída de áudio requer um aplicativo compatível.

Leia mais
(github.com)
Desenvolvimento

Aeron: Sistema de Mensagens de Alta Performance e Baixa Latência

2025-07-13
Aeron: Sistema de Mensagens de Alta Performance e Baixa Latência

Aeron é um sistema de mensagens de alta performance e baixa latência que suporta UDP unicast, multicast e IPC. Ele oferece clientes Java, C, C++ e .NET, permitindo a troca eficiente de mensagens entre máquinas ou via IPC. O Aeron possui alta taxa de transferência e baixa latência previsível, utilizando o Simple Binary Encoding (SBE) para otimizar o tratamento de mensagens. Recursos incluem o Aeron Archive para armazenamento persistente de mensagens e o Aeron Cluster para serviços tolerantes a falhas. De propriedade e operado pela Adaptive Financial Consulting, o Aeron também fornece serviços premium, incluindo treinamento, consultoria e aprimoramentos de desempenho, como bypass do kernel e criptografia de alta velocidade. Ideal para construção de sistemas de negociação de alta frequência e outros aplicativos exigentes.

Leia mais
(github.com)
Desenvolvimento mensagens

Engenharia Reversa do Novo Cabeçalho X-Browser-Validation do Chrome

2025-07-13
Engenharia Reversa do Novo Cabeçalho X-Browser-Validation do Chrome

O Chrome adicionou recentemente alguns novos cabeçalhos HTTP, sendo o `x-browser-validation` particularmente intrigante. Este artigo detalha o processo de engenharia reversa que revela sua funcionalidade: ele concatena uma chave de API específica da plataforma codificada de forma rígida com a string completa do User-Agent do usuário, em seguida, usa SHA-1 para fazer o hash e codifica o resultado em Base64. Esse cabeçalho serve como uma verificação de integridade, evitando a falsificação do User-Agent. A análise disseca as funções relevantes no código-fonte do Chrome e fornece chaves de API padrão para várias plataformas.

Leia mais
(github.com)
Tecnologia Cabeçalho HTTP

Moonshot AI Lança Kimi K2: Modelo de Linguagem MoE de 32B de Parâmetros com Poderosas Capacidades Agentes

2025-07-13
Moonshot AI Lança Kimi K2: Modelo de Linguagem MoE de 32B de Parâmetros com Poderosas Capacidades Agentes

A Moonshot AI lançou o Kimi K2, um modelo de linguagem de mistura de especialistas (MoE) de última geração com 32 bilhões de parâmetros ativados e 1 trilhão de parâmetros no total. Treinado com o otimizador Muon, o Kimi K2 alcança desempenho excepcional em tarefas de conhecimento de fronteira, raciocínio e codificação, sendo meticulosamente otimizado para capacidades agentes. Ele vem em duas versões: Kimi-K2-Base, um modelo básico para pesquisadores, e Kimi-K2-Instruct, um modelo de instrução pronto para uso com recursos robustos de chamada de ferramentas, decidindo autonomamente quando e como usar as ferramentas. O modelo e seus pesos são de código aberto, e uma API está disponível.

Leia mais
(github.com)
IA Chamada de Ferramentas

BinaryRPC: Uma estrutura RPC C++ de alta performance

2025-07-12
BinaryRPC: Uma estrutura RPC C++ de alta performance

Frustrado com problemas de desempenho em um servidor Java WebSocket, um engenheiro recém-formado recorreu ao C++ e à biblioteca uWebSockets para construir o BinaryRPC, uma estrutura RPC de alta performance. Inspirado no Node.js e Express.js, o BinaryRPC possui um sistema moderno de middleware e gerenciamento de sessões, suportando vários níveis de QoS para mensagens confiáveis. Agora de código aberto, ele é bem documentado e inclui exemplos para fácil adoção.

Leia mais
(github.com)
Desenvolvimento

Magia Negra do Python: Biblioteca de Desempacotamento de Dicionários

2025-07-12
Magia Negra do Python: Biblioteca de Desempacotamento de Dicionários

Uma biblioteca Python chamada `dict-unpacking-at-home` fornece desempacotamento de dicionários, permitindo que você desempacote dicionários diretamente assim: `{greeting, thing} = dct`. Embora seja legal, o autor afirma que não é uma biblioteca crítica e a versão atual quebra os números de linha nos rastros de pilha. Existe uma correção, mas a um custo... Com quase um milhão de downloads por mês e mais de 30 milhões de downloads no total, muitas pessoas estão usando essa biblioteca aparentemente não confiável.

Leia mais
(github.com)
Desenvolvimento desempacotamento de dicionário magia negra

Controle Simples do Sonos para Criança de 5 Anos usando ESP32

2025-07-12
Controle Simples do Sonos para Criança de 5 Anos usando ESP32

Um pai criou um sistema simples de controle de caixas de som Sonos Play:1 para seu filho de 5 anos. Usando um M5Stack CardPuter v1.1 (ESP32S3) como controlador e Go para a lógica de back-end, a criança pode reproduzir ou reiniciar sua playlist favorita com um pressionar de botão. Uma luz verde indica o status operacional. Este é um projeto divertido e fácil de usar, destacando a simplicidade e a interação lúdica.

Leia mais
(github.com)
Desenvolvimento Projeto Infantil

Cactus: Framework multiplataforma para implantação local de LLMs

2025-07-11
Cactus: Framework multiplataforma para implantação local de LLMs

Cactus é um framework multiplataforma para implantar modelos de linguagem grandes (LLMs), modelos de linguagem de visão (VLMs) e modelos de texto para fala (TTS) localmente em seu aplicativo. Suporta Flutter e React Native, funciona com qualquer modelo GGUF do Hugging Face (Qwen, Gemma, Llama, etc.), manipulando modelos de FP32 até quantização de 2 bits. Cactus fornece chamadas de ferramentas MCP para funcionalidade de IA aprimorada (lembretes, pesquisa de imagens, respostas a mensagens), fallback de modelo na nuvem para tarefas complexas, modelos de bate-papo com tecnologia Jinja2 e streaming de tokens. Código de exemplo, benchmarks de desempenho em vários dispositivos e backend C++ são fornecidos.

Leia mais
(github.com)
Desenvolvimento

diffsitter: Ferramenta de Diferença de Código Semântica

2025-07-11
diffsitter: Ferramenta de Diferença de Código Semântica

diffsitter é uma ferramenta de comparação de diferenças de código que gera diferenças semanticamente significativas comparando as Árvores de Sintaxe Abstrata (ASTs) de arquivos, ignorando diferenças de formatação. Suporta diversas linguagens de programação e oferece recursos como filtragem de nós configurável, formatação amigável ao terminal e registro detalhado. As opções de instalação incluem compilação a partir do código-fonte, uso de binários pré-compilados e gerenciadores de pacotes.

Leia mais
(github.com)
Desenvolvimento diferença de código árvore de sintaxe abstrata

Pangolin: Servidor Proxy Reverso em Túnel de Confiança Zero Auto-Hospedado

2025-07-11
Pangolin: Servidor Proxy Reverso em Túnel de Confiança Zero Auto-Hospedado

Pangolin é um servidor proxy reverso em túnel auto-hospedado com controle de identidade e acesso, projetado para expor com segurança recursos privados em redes distribuídas. Ele atua como um hub central, conectando redes isoladas - mesmo aquelas atrás de firewalls restritivos - por meio de túneis criptografados, permitindo acesso fácil a serviços remotos sem abrir portas. Utilizando WireGuard, Pangolin oferece recursos robustos, incluindo autenticação centralizada (SSO, TOTP), controle de acesso baseado em funções e opções de implantação flexíveis. Extenda sua funcionalidade com plug-ins Traefik. Casos de uso incluem contornar restrições de porta, implantar aplicativos de negócios e gerenciar redes de IoT. Uma alternativa auto-hospedada ao Cloudflare Tunnels.

Leia mais
(github.com)
Desenvolvimento confiança zero

cmdk: Seu novo melhor amigo no terminal (acesso a qualquer coisa com ⌘-k)

2025-07-10
cmdk: Seu novo melhor amigo no terminal (acesso a qualquer coisa com ⌘-k)

Cansado dos comandos intermináveis de `cd` e `ls` no seu terminal? O cmdk revoluciona a navegação de arquivos! Pressione ⌘-k para acessar instantaneamente qualquer arquivo ou diretório no seu sistema de arquivos, com pré-visualizações antes de abrir. Aproveitando o fzf para pesquisa fuzzy, o cmdk abre arquivos inteligentemente com base em seu tipo (texto no vim, imagens no Preview, etc.). Instalação simples, funcionalidade poderosa — experimente o acesso semelhante ao Notion/Slack no seu terminal.

Leia mais
(github.com)
Desenvolvimento

Petrichor: Um reprodutor de música offline para macOS

2025-07-10
Petrichor: Um reprodutor de música offline para macOS

Petrichor é um reprodutor de música offline para macOS com todos os recursos que você esperaria: navegação organizada da biblioteca de música, gerenciamento interativo de listas de reprodução e fila de reprodução, navegação em exibição de pastas, acesso rápido aos favoritos na barra lateral, navegação fácil, integração nativa do macOS (controles na barra de menus e no Dock, suporte ao modo escuro), pesquisa poderosa e listas de reprodução inteligentes. Criado por um desenvolvedor que sentia falta dos recursos do Swinsian e queria aprender desenvolvimento de aplicativos Swift e macOS, ele é construído inteiramente com Swift e SwiftUI e usa um banco de dados SQLite para gerenciar informações de arquivos de música.

Leia mais
(github.com)
Desenvolvimento

Servidor MCP do Anna's Archive: Pesquisa e Download de Documentos

2025-07-10
Servidor MCP do Anna's Archive: Pesquisa e Download de Documentos

Este é um servidor MCP para pesquisar e baixar documentos do Anna's Archive. Ele permite pesquisar documentos que correspondam a termos especificados e baixar documentos específicos retornados anteriormente pela ferramenta de pesquisa. O software renuncia explicitamente ao endosso da aquisição não autorizada de material protegido por direitos autorais e deve ser considerado apenas uma ferramenta. Os usuários são instados a respeitar os direitos de propriedade intelectual. Requer duas variáveis de ambiente: ANNAS_SECRET_KEY (chave da API) e ANNAS_DOWNLOAD_PATH (caminho de download).

Leia mais
(github.com)
Desenvolvimento pesquisa de documentos download de documentos

Flopper Ziro: Um Clone Open Source e Barato do Flipper Zero

2025-07-10
Flopper Ziro: Um Clone Open Source e Barato do Flipper Zero

Flopper Ziro é um clone barato, faça você mesmo e totalmente de código aberto do Flipper Zero, construído usando o Arduino IDE. Embora não seja um dispositivo profissional, visa replicar funcionalidades principais do Flipper Zero, como RubberDucky, RFID/NFC (em desenvolvimento), infravermelho e RF. Programável via Arduino IDE, permite salvar/carregar dados de um cartão SD. O projeto está em desenvolvimento, com planos para melhorar a funcionalidade do cartão SD, finalizar o escaneamento e envio de RF e adicionar mais capacidades de RFID/NFC.

Leia mais
(github.com)
Hardware clone do Flipper Zero

Biomni: Um Agente de IA Biomédica de Propósito Geral

2025-07-10
Biomni: Um Agente de IA Biomédica de Propósito Geral

Biomni é um agente de IA biomédica de propósito geral projetado para executar autonomamente uma ampla gama de tarefas de pesquisa em diversos subcampos biomédicos. Ao integrar o raciocínio de modelos de linguagem amplos (LLM) de ponta com planejamento aumentado por recuperação e execução baseada em código, o Biomni ajuda os cientistas a melhorar dramaticamente a produtividade da pesquisa e gerar hipóteses testáveis. O projeto é de código aberto e busca contribuições da comunidade para construir o Biomni-E2, um ambiente de próxima geração. Contribuidores significativos serão reconhecidos como coautores em publicações em periódicos ou conferências de alto nível.

Leia mais
(github.com)
IA IA Biomédica

RN Maps Clustering: Biblioteca de agrupamento de mapas React Native de alto desempenho

2025-07-09
RN Maps Clustering: Biblioteca de agrupamento de mapas React Native de alto desempenho

RN Maps Clustering é uma biblioteca de agrupamento de mapas moderna, eficiente e totalmente tipada para React Native. Construída sobre o supercluster, ela fornece uma API declarativa simples para adicionar agrupamento de marcadores bonitos e eficientes aos seus componentes react-native-maps. Personalize a renderização de clusters, manipule eventos de pressão e aproveite recursos como dispersão automática de marcadores e alto desempenho. Melhora significativamente a eficiência do desenvolvedor.

Leia mais
(github.com)
Desenvolvimento Agrupamento de Mapas
1 2 … 6 7 8 10 12 13 14 … 50 51