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

Iroh: Revolucionando a comunicação de rede para conexões mais rápidas e simples

2025-06-26
Iroh: Revolucionando a comunicação de rede para conexões mais rápidas e simples

Iroh é uma nova estrutura de comunicação de rede baseada no protocolo QUIC, que permite discagem por chave pública e descoberta e manutenção automáticas da conexão mais rápida. O Iroh tenta conexões diretas, recorrendo a servidores de retransmissão públicos se necessário, com monitoramento contínuo para velocidade ideal. Ele oferece protocolos pré-construídos como iroh-blobs para transferência de arquivos grandes e iroh-gossip para construir redes de publicação-assinatura escaláveis, simplificando o desenvolvimento. Escrito principalmente em Rust, o Iroh também fornece vinculações FFI para outras linguagens.

Leia mais
(github.com)
Desenvolvimento comunicação de rede

Howdy: Autenticação facial estilo Windows Hello para Linux

2025-06-26
Howdy: Autenticação facial estilo Windows Hello para Linux

Howdy traz para o Linux um login com reconhecimento facial semelhante ao Windows Hello. Usando seus emissores de infravermelho integrados e câmera, ele fornece autenticação conveniente. Integrando-se ao PAM, funciona em todos os lugares onde você normalmente usaria uma senha: login, tela de bloqueio, sudo, su, etc. Howdy suporta Debian/Ubuntu, Arch Linux, Fedora e openSUSE, com instruções de instalação detalhadas cobrindo pacotes .deb, AUR, Fedora COPR e compilação a partir da fonte. Importante: A segurança do Howdy não é absoluta e não deve ser usada como seu único método de autenticação.

Leia mais
(github.com)
Desenvolvimento

QEMU Rejeita Contribuições de Código Geradas por IA

2025-06-26
QEMU Rejeita Contribuições de Código Geradas por IA

O projeto QEMU anunciou uma proibição de envio de patches de código gerados por IA. Devido às incertezas em torno dos direitos autorais e da licença dos dados de treinamento de modelos de IA e aos potenciais riscos legais envolvidos, o QEMU considera difícil garantir a conformidade para o código gerado por IA. Esta política abrange várias ferramentas de IA, como ChatGPT e Copilot, mas não proíbe o uso de IA para outros fins, como pesquisa, análise estática ou depuração.

Leia mais
(github.com)
Desenvolvimento

Gemini CLI: Seu Assistente de Fluxo de Trabalho de Código com IA

2025-06-25
Gemini CLI: Seu Assistente de Fluxo de Trabalho de Código com IA

O Google Gemini CLI é uma ferramenta de IA de linha de comando que se conecta às suas ferramentas, entende seu código e acelera seus fluxos de trabalho. Ele permite que você consulte e edite grandes bases de código, gere novos aplicativos a partir de PDFs ou esboços, automatize tarefas operacionais e integre ferramentas e servidores MCP para funcionalidades como geração de mídia (Imagen, Veo, Lyria). Também possui integração com o Google Search e oferece vários métodos de autenticação. Basta usar prompts de linha de comando para aproveitar os recursos do Gemini para codificação, resumir alterações, gerar documentação e muito mais, aumentando dramaticamente a produtividade.

Leia mais
(github.com)
Desenvolvimento

PicoEMP: Ferramenta de Injeção de Falhas Eletromagnéticas de Baixo Custo e Código Aberto

2025-06-25
PicoEMP: Ferramenta de Injeção de Falhas Eletromagnéticas de Baixo Custo e Código Aberto

O PicoEMP é uma ferramenta de Injeção de Falhas Eletromagnéticas (EMFI) de baixo custo e código aberto, projetada para autoestudo e pesquisa amador. Ele usa um Raspberry Pi Pico como controlador e possui um escudo de segurança para reduzir os riscos de alta tensão. Em comparação com a ferramenta EMFI comercial de alto desempenho ChipSHOUTER, o PicoEMP prioriza o custo e a facilidade de uso, sacrificando um pouco o desempenho, mas ainda sendo adequado para aprendizado e pesquisa pessoal. Os usuários são responsáveis pela montagem e segurança. O projeto é de código aberto e aceita contribuições.

Leia mais
(github.com)
Hardware Injeção de Falhas Eletromagnéticas

Gnosis Mystic: Habilitando a IA para controlar suas funções Python em tempo real

2025-06-25
Gnosis Mystic: Habilitando a IA para controlar suas funções Python em tempo real

O Gnosis Mystic é uma ferramenta poderosa que fornece a assistentes de IA acesso direto e controle sobre suas funções Python por meio de hijacking de tempo de execução e análise inteligente. Com decoradores mínimos, o Claude pode inspecionar, otimizar e controlar seu código em tempo real. Ele resolve o problema dos assistentes de IA serem cegos ao seu código em execução, sem acesso ao comportamento e estado de tempo de execução, e permite monitoramento de função em tempo real, experimentação segura, controle de tempo de execução, análise inteligente e depuração ao vivo, aumentando significativamente a eficiência do desenvolvimento e a segurança do código.

Leia mais
(github.com)
Desenvolvimento

Editor Simples: Uma homenagem moderna ao Editor MS-DOS

2025-06-25
Editor Simples: Uma homenagem moderna ao Editor MS-DOS

Este editor, chamado "edit", é uma versão moderna do clássico Editor MS-DOS, com uma interface contemporânea e controles de entrada semelhantes ao VS Code. Projetado para acessibilidade, é fácil de usar mesmo para aqueles que não estão familiarizados com terminais. Instale a versão mais recente via WinGet ou baixe binários da página Releases. Observe que a versão e as convenções de nomenclatura da biblioteca ICU precisam de atenção para a funcionalidade de pesquisa e substituição.

Leia mais
(github.com)
Desenvolvimento

Autumn: Simplificando a Integração do Stripe com um Sistema de Cobrança Open Source

2025-06-24
Autumn: Simplificando a Integração do Stripe com um Sistema de Cobrança Open Source

Autumn é um projeto open source que simplifica a integração do Stripe para desenvolvedores. Permite construir qualquer modelo de precificação — assinaturas, sistemas de crédito, cobrança por uso, planos personalizados — com código mínimo. Sem mais problemas com webhooks, upgrades/downgrades, cancelamentos ou falhas de pagamento. Implante via serviço em nuvem ou auto-hospedagem com alguns comandos. Três funções principais — `attach` (trata compras), `check` (verifica acesso) e `track` (registra uso) — tornam a lógica de cobrança simples.

Leia mais
(github.com)
Desenvolvimento sistema de cobrança

Terrário Inteligente Oasis de Código Aberto: Um Paraíso Impresso em 3D para Plantas

2025-06-24
Terrário Inteligente Oasis de Código Aberto: Um Paraíso Impresso em 3D para Plantas

O Oasis é um terrário inteligente totalmente de código aberto, principalmente impresso em 3D, projetado para plantas que amam umidade, como musgos, samambaias e orquídeas. Ele possui iluminação LED de alta potência, um borrifador para controle de umidade, ventiladores para fluxo de ar e um sensor de temperatura/umidade. A conectividade Wi-Fi permite o controle via telefone ou computador. O projeto inclui modelos CAD, projetos eletrônicos (KiCad) e software (Rust). Embora a montagem eletrônica possa ser desafiadora para iniciantes, o projeto é amplamente acessível a entusiastas de DIY com uma impressora 3D. Eletrônicos pré-montados podem ser encomendados, embora potencialmente caro. O criador planeja eventualmente oferecer kits de eletrônicos montados.

Leia mais
(github.com)
Hardware terrario inteligente

haiku.rag: Uma biblioteca de geração aumentada por recuperação no SQLite

2025-06-24
haiku.rag: Uma biblioteca de geração aumentada por recuperação no SQLite

haiku.rag é uma biblioteca de Geração Aumentada por Recuperação (RAG) construída no SQLite, eliminando a necessidade de servidores adicionais. Suporta vários provedores de embeddings (Ollama, VoyageAI, OpenAI e personalizados), oferecendo pesquisa híbrida combinando pesquisa vetorial e de texto completo. Recursos incluem monitoramento de arquivos, suporte a diversos formatos de arquivo, uma interface de linha de comando e um cliente Python para gerenciamento e recuperação de documentos sem problemas.

Leia mais
(github.com)
Desenvolvimento Pesquisa Vetorial

LibT9: Uma Biblioteca C Leve para Digitação T9

2025-06-23
LibT9: Uma Biblioteca C Leve para Digitação T9

LibT9 é uma biblioteca C leve para criar sistemas de digitação T9. Não requer nenhuma dependência externa além de uma implementação padrão da biblioteca C. Use-a como um driver Linux (encontrado no diretório driver/), um utilitário CLI (requerendo ncurses e cmake) ou via uma interface web (foxmoss.github.io/libt9/). O projeto está ativamente buscando contribuições e os planos futuros incluem suporte a pontuação, um driver IBus e suporte a palavras não dicionarizadas.

Leia mais
(github.com)
Desenvolvimento biblioteca C entrada T9 driver Linux

Pickaxe: Uma biblioteca TypeScript para construir agentes de IA escaláveis

2025-06-23
Pickaxe: Uma biblioteca TypeScript para construir agentes de IA escaláveis

Pickaxe é uma biblioteca leve em TypeScript para construir agentes de IA tolerantes a falhas e escaláveis. Ele lida com as complexidades de execução durável, enfileiramento e agendamento, permitindo que você se concentre na lógica de negócios principal. Não é um framework; tudo é uma função, facilitando a integração com bases de código existentes. Agentes podem chamar ferramentas, outros agentes ou quaisquer funções que você definir. Construído no sistema de fila de tarefas durável do Hatchet, o Pickaxe garante tolerância a falhas e recuperabilidade, retomando automaticamente a execução mesmo após falhas de máquina. Ele suporta implantação distribuída em várias plataformas baseadas em contêineres e oferece opções de configuração para tentativas, limitação de taxa, controle de concorrência e muito mais.

Leia mais
(github.com)
Desenvolvimento

uv: Gerenciador de pacotes e projetos Python 10-100x mais rápido

2025-06-23
uv: Gerenciador de pacotes e projetos Python 10-100x mais rápido

uv é um gerenciador de pacotes e projetos Python extremamente rápido, escrito em Rust. Ele substitui o pip, pip-tools, pipx, poetry, pyenv, twine e virtualenv, oferecendo uma melhoria de velocidade de 10 a 100 vezes em relação ao pip. O uv oferece recursos abrangentes de gerenciamento de projetos, incluindo lockfiles, workspaces, gerenciamento de versões do Python e suporte multiplataforma (macOS, Linux, Windows). Ele simplifica o gerenciamento de dependências para scripts de arquivo único e projetos em grande escala, aumentando significativamente a produtividade do desenvolvedor.

Leia mais
(github.com)
Desenvolvimento

Nano-vLLM: Implementação Leve de vLLM com Velocidade Impressionante

2025-06-23
Nano-vLLM: Implementação Leve de vLLM com Velocidade Impressionante

Nano-vLLM é uma implementação leve do vLLM, construída do zero em aproximadamente 1200 linhas de código Python. Apesar do seu tamanho reduzido, atinge velocidades de inferência comparáveis ao vLLM original. Incorpora várias otimizações, como cache de prefixo, paralelismo de tensor, compilação Torch e gráficos CUDA. Instale via `pip install git+https://github.com/GeeeekExplorer/nano-vllm.git` e consulte example.py para uso. Benchmarks em um laptop RTX 4070 (8 GB) com o modelo Qwen3-0.6B mostram uma taxa de transferência ligeiramente superior ao vLLM.

Leia mais
(github.com)
Desenvolvimento velocidade de inferência

ESP32-BlueJammer: Um poderoso jammer de 2.4GHz (Apenas para fins educacionais)

2025-06-23
ESP32-BlueJammer: Um poderoso jammer de 2.4GHz (Apenas para fins educacionais)

O ESP32-BlueJammer é um jammer de 2.4GHz baseado em um ESP32 e módulos nRF24, capaz de interromper vários dispositivos, incluindo Bluetooth, BLE, WiFi e dispositivos RC. Ele atinge a interferência enviando numerosos pacotes de interrupção e possui um alcance significativo (mais de 30 metros). O projeto oferece kits DIY e versões pré-soldadas, juntamente com tutoriais abrangentes de montagem e gravação de firmware. É crucial observar que o bloqueio de sinal é ilegal; este projeto é estritamente para fins educacionais e não deve ser usado para atividades ilegais.

Leia mais
(github.com)
Hardware

CF-Shield: Proteção Automatizada contra DDoS no Cloudflare com Python

2025-06-23
CF-Shield: Proteção Automatizada contra DDoS no Cloudflare com Python

CF-Shield é um script Python que detecta e mitiga automaticamente ataques DDoS no Cloudflare. Ele requer seu email do Cloudflare, token da API, ID da zona e ID da conta. Após a instalação, o script solicita que você defina um limite de uso da CPU, tipo de desafio e notificações opcionais do Discord, Slack e Telegram. Ele monitora o uso da CPU; se exceder o limite, ele ativa automaticamente as regras WAF do Cloudflare e as desativa após o ataque. Esta poderosa ferramenta ajuda a proteger seu site contra ataques DDoS.

Leia mais
(github.com)
Desenvolvimento Proteção DDoS Script Python

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

2025-06-23
Polystate: Máquinas de Estado Finitas Componíveis em Zig

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.

Leia mais
(github.com)
Desenvolvimento Máquina de Estado Finita Componibilidade

Bunge Bits: Tornando a legislação queniana acessível

2025-06-22
Bunge Bits: Tornando a legislação queniana acessível

O Bunge Bits fornece resumos concisos dos procedimentos parlamentares quenianos, tornando informações legislativas complexas mais fáceis de entender. Ao melhorar a transparência e a acessibilidade, o Bunge Bits visa capacitar os cidadãos quenianos a participar mais plenamente de sua democracia. O projeto depende de hospedagem em nuvem, bancos de dados e tecnologia de IA, e recebe patrocínios para apoiar sua operação contínua.

Leia mais
(github.com)
Diversos engajamento cívico

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

2025-06-22
mbake: Formatador e Linter para Makefiles Após 50 Anos!

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.

Leia mais
(github.com)
Desenvolvimento

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

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

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.

Leia mais
(github.com)
Desenvolvimento programação de som notação pós-fixa

Compilador B em Crust: Um Trabalho em Andamento

2025-06-21
Compilador B em Crust: Um Trabalho em Andamento

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.

Leia mais
(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: CLI poderoso para converter extensões de navegador em scripts de usuário independentes

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.

Leia mais
(github.com)
Desenvolvimento script de usuário

Proxy QUIC sem servidor usando NAT Hole Punching com AWS Lambda

2025-06-21
Proxy QUIC sem servidor usando NAT Hole Punching com AWS Lambda

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.

Leia mais
(github.com)
Desenvolvimento

AtomicOS: Um Sistema Operacional Educacional Priorizando Segurança

2025-06-21
AtomicOS: Um Sistema Operacional Educacional Priorizando Segurança

O AtomicOS é um sistema operacional educacional construído do zero, priorizando a segurança em detrimento do desempenho. Ele utiliza a linguagem de programação determinística Tempo e implementa proteção de memória real, criptografia (AES-128, SHA-256) e uma MMU completa. Embora atualmente careça de recursos como pilha de rede, sistema de arquivos e drivers, seu design e implementação focados em segurança são dignos de nota. O projeto é de código aberto, mas exige atribuição e divulgação de modificações.

Leia mais
(github.com)
Desenvolvimento

Tux Racer no seu navegador: Um clássico retorna

2025-06-20
Tux Racer no seu navegador: Um clássico retorna

TuxRacer.js é uma porta/reescrita de código aberto para navegador do clássico jogo de corrida de pinguins, Tux Racer, e seu sucessor, Extreme Tux Racer. Jogável em navegadores de desktop e mobile, os jogadores controlam o Tux usando teclado/mouse (desktop) ou entrada de toque (mobile), navegando por terrenos e ambientes variados. Múltiplos percursos e ambientes são selecionáveis, com parâmetros de URL permitindo personalização. Embora esteja em desenvolvimento inicial, o jogo já é divertido.

Leia mais
(github.com)
Jogos Jogo para navegador

Nxtscape: O Navegador Agéntico de Código Aberto - Seu Acompanhante de Produtividade com IA

2025-06-20
Nxtscape: O Navegador Agéntico de Código Aberto - Seu Acompanhante de Produtividade com IA

Nxtscape, um navegador de código aberto construído no Chromium, oferece uma alternativa que prioriza a privacidade em relação às opções de código fechado. Ele permite que os usuários executem agentes como Manus localmente, aumentando a produtividade com um assistente de IA. Ao contrário do Chrome, o Nxtscape mantém os recursos de IA locais, priorizando a privacidade do usuário. Sua visão é reinventar a experiência do navegador, resolvendo problemas como sobrecarga de guias e preenchimento de formulários complicado. Recursos futuros incluem uma loja MCP e um bloqueador de anúncios de IA integrado. O projeto é de código aberto e impulsionado pela comunidade, incentivando a participação do usuário.

Leia mais
(github.com)
Desenvolvimento Navegador de Código Aberto

Motor de Diferenciação Automática Minimal em Rust

2025-06-20
Motor de Diferenciação Automática Minimal em Rust

Este é um motor de diferenciação automática minimal escrito em Rust. Ele pode treinar um pequeno Multi-Layer Perceptron para aprender a função XOR e renderizar um gráfico de computação de um único Perceptron para graph.html. O núcleo é a estrutura Scalar, armazenando valor, gradiente opcional e uma Edge descrevendo a operação que o produziu. Sobrecargas de operadores e funções auxiliares constroem um gráfico acíclico direcionado, armazenando em cache a derivada local para cada aresta. `backward()` propaga recursivamente os gradientes do nó de saída, acumulando-os nos nós folha criados com `Scalar::new_grad`. O gráfico pode ser visualizado com `plot::dump_graph`.

Leia mais
(github.com)
Desenvolvimento Diferenciação Automática

cursor: Explorador de banco de dados PostgreSQL com IA

2025-06-20
cursor: Explorador de banco de dados PostgreSQL com IA

cursor é um aplicativo de desktop local que usa IA para explorar seu banco de dados PostgreSQL em segundos. Ele gera consultas com reconhecimento de esquema instantaneamente, suporta qualquer banco de dados PostgreSQL e permite que você use sua própria chave OpenAI. Embora binários pré-compilados estejam chegando em breve, os usuários atualmente precisam compilá-lo a partir da fonte.

Leia mais
(github.com)
Desenvolvimento Exploração de banco de dados

ts-ssh: Uma poderosa ferramenta de linha de comando SSH/SCP para Tailscale

2025-06-20
ts-ssh: Uma poderosa ferramenta de linha de comando SSH/SCP para Tailscale

O ts-ssh é um cliente SSH e SCP de linha de comando simplificado que utiliza a rede Tailscale. Ele oferece poderosas operações multi-host, execução de comandos em lote e verdadeira integração tmux — tudo sem exigir o daemon Tailscale completo. Perfeito para equipes de DevOps que precisam de acesso SSH rápido e confiável em sua infraestrutura Tailscale, o ts-ssh suporta vários métodos de autenticação, sessões SSH interativas, verificação segura de chave de host e transferências SCP diretas. Suas capacidades avançadas de multi-host incluem execução de comandos em lote, execução de comandos concorrentes e distribuição de arquivos multi-host. Compatível com várias plataformas e oferecendo suporte a vários idiomas, o ts-ssh é essencial para a gestão eficiente de redes.

Leia mais
(github.com)
Desenvolvimento

Hurl: Ferramenta de teste de solicitação HTTP de linha de comando

2025-06-20
Hurl: Ferramenta de teste de solicitação HTTP de linha de comando

Hurl é uma poderosa ferramenta de linha de comando que define e executa solicitações HTTP usando um formato de texto simples. Ele suporta encadeamento de solicitações, captura de valores e avaliação de consultas em cabeçalhos e corpos de resposta, tornando-o adequado para busca de dados e teste de sessões HTTP em várias APIs como REST, SOAP e GraphQL. Construído com Rust e aproveitando o libcurl, Hurl é leve, rápido e se integra perfeitamente aos pipelines de CI/CD por meio de vários formatos de relatório.

Leia mais
(github.com)
Desenvolvimento
1 2 … 6 7 8 10 12 13 14 … 48 49