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

BreakerMachines: Proteja seus microsserviços de falhas em cascata

2025-07-06
BreakerMachines: Proteja seus microsserviços de falhas em cascata

No mundo dos microsserviços, falhas em cascata e tempestades de retentativas são pesadelos para os desenvolvedores. O BreakerMachines, uma biblioteca Ruby, atua como um guardião, protegendo seu sistema dessas catástrofes usando um mecanismo sofisticado de disjuntor de circuito. Construído sobre o battle-tested state_machines gem, ele oferece modos clássico e Fiber, suporta operações assíncronas e fornece opções de configuração flexíveis para ajustar limites e tempos limite com base na criticidade do serviço e no tráfego. O BreakerMachines previne eficazmente falhas em cascata e ajuda a localizar problemas rapidamente por meio de painéis visuais e alertas inteligentes, melhorando assim a estabilidade e confiabilidade do sistema.

Leia mais
(github.com)
Desenvolvimento disjuntor de circuito proteção contra falhas

Semcheck: Verifique o código com base em especificações usando LLMs

2025-07-05
Semcheck: Verifique o código com base em especificações usando LLMs

Semcheck é uma ferramenta que utiliza modelos de linguagem grandes (LLMs) para verificar se sua implementação de código corresponde à sua especificação. Defina regras semânticas que descrevem como seu código deve se alinhar à especificação, e o Semcheck cuida da comparação. Use-o como uma verificação final antes de confirmar ou mesclar o código. O Semcheck suporta vários fornecedores de LLM, incluindo OpenAI, Anthropic e outros, além de modelos locais e arquivos de especificação remotos. É fácil de configurar e oferece uma interface de linha de comando completa, facilitando a integração em fluxos de trabalho de CI/CD. Ele até mesmo usa a si mesmo para verificar sua própria especificação.

Leia mais
(github.com)
Desenvolvimento verificação de código especificação de código

Torre do Tempo: Um Jogo de Defesa de Torre com Viagem no Tempo, Auxiliado por IA

2025-07-04
Torre do Tempo: Um Jogo de Defesa de Torre com Viagem no Tempo, Auxiliado por IA

Torre do Tempo é um jogo de defesa de torre único que combina construção estratégica com mecânica de manipulação do tempo. Quando os inimigos sobrepujarem suas defesas, use seus poderes de viagem no tempo para rebobinar e reconstruir sua estratégia. Aproximadamente 95% do código foi escrito por IA, demonstrando o potencial da IA no desenvolvimento de jogos. O jogo possui vários tipos de torres, gerenciamento de energia e geração de inimigos baseada em ondas, e suporta teclado e gamepad.

Leia mais
(github.com)
Jogos Defesa de torre Viagem no tempo

Pennybase: BaaS minimalista em Go com menos de 1000 linhas

2025-07-04
Pennybase: BaaS minimalista em Go com menos de 1000 linhas

Pennybase é uma solução BaaS (Backend-as-a-Service) leve implementada em menos de 1000 linhas de código Go, oferecendo uma alternativa simplificada ao Firebase, Supabase e Pocketbase. Ele depende apenas da biblioteca padrão do Go, não requerendo dependências externas. Recursos principais incluem armazenamento de arquivos (CSV versionado), uma API REST (respostas JSON), autenticação por cookie de sessão e Basic Auth, permissões baseadas em RBAC e propriedade, atualizações em tempo real via SSE, validação de esquema e renderização de modelos Go. Os dados são armazenados em CSVs legíveis por humanos, com atualizações criando novas versões de registros. Um índice inteligente na memória permite pesquisas e atualizações rápidas. O controle de permissões usa um modelo RBAC simples, e a funcionalidade personalizada é possível por meio de funções de hook.

Leia mais
(github.com)
Desenvolvimento backend minimalista

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

2025-07-04
Limitações da Aplicação de Sugestões de Código no GitHub

A aplicação em massa de sugestões de código durante a revisão de código do GitHub tem várias limitações. Essas incluem: sugestões inválidas (sem alterações de código), pull requests fechados, visualização de um subconjunto de alterações, apenas uma sugestão por linha em um lote, impossibilidade de aplicar sugestões a linhas excluídas, sugestões já aplicadas ou marcadas como resolvidas, sugestões de revisões pendentes, sugestões em comentários de várias linhas, impossibilidade de aplicar enquanto o pull request está na fila para mesclar e um erro não especificado 'não é possível aplicar a sugestão agora'.

Leia mais
(github.com)
Desenvolvimento

Gmailtail: Ferramenta de monitoramento de Gmail na linha de comando

2025-07-03
Gmailtail: Ferramenta de monitoramento de Gmail na linha de comando

Gmailtail é uma ferramenta de linha de comando para monitoramento em tempo real de mensagens do Gmail, com saída em JSON. Oferece filtragem flexível (remetente, assunto, etiquetas, anexos etc.), vários formatos de saída (JSON, JSON Lines, compacto), autenticação OAuth2 e de conta de serviço e checkpoints. Os usuários podem personalizar as regras de monitoramento por meio de argumentos simples de linha de comando ou um arquivo de configuração YAML, tornando-o ideal para automação, monitoramento e integração com outras ferramentas.

Leia mais
(github.com)
Desenvolvimento

Editor Visual de Fluxos de Conversação de Chatbot

2025-07-02
Editor Visual de Fluxos de Conversação de Chatbot

Uma ferramenta visual baseada em navegador para projetar, testar e exportar fluxos de conversa de chatbot como JSON. Adicione nós, edite conteúdo, teste o fluxo e importe/exporte JSON. O JSON exportado é compatível com qualquer aplicativo de chatbot. As opções de instalação incluem: instalar como dependência de desenvolvimento, adicionar a scripts de projeto ou instalação global.

Leia mais
(github.com)
Desenvolvimento editor visual fluxo de conversa

Math.Pow(-1, 2) retorna -1 na versão Canary do .NET 8

2025-07-02
Math.Pow(-1, 2) retorna -1 na versão Canary do .NET 8

Um desenvolvedor do jogo osu! relatou um problema estranho na versão Canary do Windows 11 (27881.1000), onde `Math.Pow(-1, 2)` no .NET 8 retorna inesperadamente -1 em vez de 1. O problema também ocorre na função `std::pow()` do C++, mas funciona corretamente em Python. O desenvolvedor abriu uma issue no GitHub e sugere entrar no servidor Discord do osu! para mais detalhes.

Leia mais
(github.com)
Desenvolvimento Bug do Windows 11

C.O.R.E: Sua Memória Privada e Compartilhável para LLMs

2025-07-02
C.O.R.E: Sua Memória Privada e Compartilhável para LLMs

C.O.R.E é uma memória compartilhável para LLMs que é privada, portátil e 100% de propriedade do usuário. Execute-a localmente ou use a versão hospedada, conectando-se a ferramentas como Cursor e Claude para compartilhar contexto em várias plataformas. Criado para fornecer propriedade completa de sua memória e para aprimorar as respostas do assistente de IA com contexto, fatos e preferências personalizados. O suporte para modelos Llama está em desenvolvimento ativo.

Leia mais
(github.com)
IA Memória

OpenFLOW: Ferramenta de Diagramação Isométrica de Código Aberto

2025-07-01
OpenFLOW: Ferramenta de Diagramação Isométrica de Código Aberto

OpenFLOW é um aplicativo web progressivo (PWA) poderoso e de código aberto para criar diagramas isométricos impressionantes. Construído com React e Isoflow, ele oferece suporte offline e recursos como arrastar e soltar componentes, conectores, opções de personalização e importação/exportação JSON. O recurso de salvar automaticamente, desfazer e suporte para vários navegadores aprimoram a usabilidade. Observe que o HTTPS é necessário para recursos PWA e o armazenamento do navegador é limitado; a exportação regular de diagramas é recomendada.

Leia mais
(github.com)
Design diagramação isométrica

Pluto: Um dialeto Lua aprimorado

2025-07-01
Pluto: Um dialeto Lua aprimorado

Pluto é um dialeto poderoso do Lua, projetado para programação de propósito geral. Ele oferece desenvolvimento acelerado por meio de uma biblioteca padrão aprimorada e novos recursos de sintaxe, como instruções switch, operadores compostos e expressões ternárias. Embora amplamente compatível com Lua 5.4, um modo de compatibilidade resolve potenciais conflitos de novas palavras-chave. O Pluto executa bytecode Lua e a maioria dos recursos do Pluto geram bytecode compatível com Lua. Documentação abrangente, ferramentas e detalhes sobre melhorias estão disponíveis em seu site de código aberto. Experimente no playground interativo do navegador ou baixe binários pré-compilados.

Leia mais
(github.com)
Desenvolvimento

Nimtable: O Painel de Controle para Apache Iceberg™

2025-07-01
Nimtable: O Painel de Controle para Apache Iceberg™

O Nimtable é uma plataforma leve e fácil de usar para monitorar, otimizar e governar seu data lakehouse baseado em Iceberg. Sua interface web simplifica a navegação em tabelas, execução de consultas, análise de distribuição de arquivos e otimização de layouts de armazenamento. Com suporte a vários catálogos (REST Catalog, AWS Glue, tabelas AWS S3 e PostgreSQL) e integração perfeita com armazenamento de objetos como S3, o Nimtable oferece consultas interativas, assistência de IA (incluindo resumos de tabelas gerados por IA e sugestões inteligentes), análise de distribuição de arquivos e recursos de otimização de tabelas (como compactação de arquivos e gerenciamento de expiração de snapshots).

Leia mais
(github.com)
Desenvolvimento Gerenciamento de Dados

TokenDagger: Implementação de Alta Performance do TikToken do OpenAI

2025-06-30
TokenDagger: Implementação de Alta Performance do TikToken do OpenAI

TokenDagger é uma alternativa de alto desempenho ao TikToken do OpenAI, otimizado para processamento de texto em larga escala. Benchmarks mostram que o TokenDagger atinge mais de 4x de aumento de velocidade na tokenização de código e um aumento de 2x na taxa de transferência em comparação com o TikToken. Utilizando um mecanismo de expressão regular PCRE2 otimizado e um algoritmo BPE simplificado para mitigar o impacto no desempenho de grandes vocabulários de tokens especiais, o TokenDagger fornece uma substituição direta. A instalação e os testes de desempenho são simples com alguns comandos simples.

Leia mais
(github.com)
Desenvolvimento

OpenTyrian2000: Um Triunfo Multiplataforma de iOS a ESP32

2025-06-30
OpenTyrian2000: Um Triunfo Multiplataforma de iOS a ESP32

OpenTyrian2000 alcançou uma notável portabilidade multiplataforma, suportando macOS, iOS, Apple TV, VisionOS, Windows, Android, Linux, PS Vita, PSP, Nintendo 3DS e até mesmo microcontroladores ESP32. Utilizando SDL3 e SDL2, o projeto inclui correções para suporte de rede, compatibilidade IPv6 adicionada e sandbox de aplicativos para iOS e outras plataformas. De ARM a x86, de dispositivos móveis a consoles, a portabilidade bem-sucedida do OpenTyrian2000 demonstra sua impressionante portabilidade e compatibilidade.

Leia mais
(github.com)
Jogos portabilidade de jogos

Despacho de Eventos em Processo Rápido para Go

2025-06-30
Despacho de Eventos em Processo Rápido para Go

Este pacote Go oferece um despachador de eventos em processo de alta performance, ideal para desacoplar módulos e habilitar o tratamento assíncrono de eventos. Com velocidades de 4 a 10 vezes mais rápidas do que canais (processando milhões de eventos por segundo!), ele suporta operações tanto síncronas quanto assíncronas, com foco na simplicidade. Perfeito para desacoplar módulos intraprocessos, pub/sub leve e cenários de alto rendimento, mas não adequado para comunicação interprocessos, persistência de eventos ou roteamento avançado.

Leia mais
(github.com)
Desenvolvimento Despacho de Eventos

NativeJIT: Compilador JIT de Alto Desempenho para o Bing

2025-06-30
NativeJIT: Compilador JIT de Alto Desempenho para o Bing

NativeJIT é uma biblioteca open-source e multiplataforma para compilação just-in-time de alto desempenho de expressões que envolvem estruturas de dados C. Desenvolvida pela equipe do Bing para uso no mecanismo de busca Bing, ela é crucial para a pontuação de documentos com base em correspondências de palavras-chave e intenção do usuário. Leve e rápida, ela depende apenas do tempo de execução C++ padrão e roda em Linux, OSX e Windows. Seu código otimizado, particularmente sua alocação de registradores, permite o processamento eficiente de consultas em larga escala.

Leia mais
(github.com)
Desenvolvimento

Octelium: Plataforma de Acesso de Confiança Zero Revolucionária

2025-06-29
Octelium: Plataforma de Acesso de Confiança Zero Revolucionária

O Octelium é uma plataforma unificada, gratuita e de código aberto, auto-hospedada, para acesso a recursos de confiança zero, projetada como uma alternativa moderna a VPNs e ferramentas semelhantes. É incrivelmente versátil, funcionando como uma VPN de configuração zero, plataforma ZTNA, infraestrutura de túneis seguros, gateway de API, gateway de IA, PaaS para hospedagem segura e anônima de aplicativos em contêineres, gateway Kubernetes e até mesmo uma infraestrutura de homelab. O Octelium oferece uma arquitetura de confiança zero (ZTA) escalável para acesso seguro baseado em identidade, consciente da camada de aplicativo (L7), sem segredos, por meio de túneis WireGuard/QUIC e acesso público sem cliente.

Leia mais
(github.com)
Desenvolvimento Confiança Zero Alternativa VPN

Sirius: Um motor SQL nativo para GPU 10x mais rápido

2025-06-29
Sirius: Um motor SQL nativo para GPU 10x mais rápido

Sirius é um motor SQL nativo para GPU que se integra perfeitamente a bancos de dados existentes como o DuckDB por meio do padrão Substrait, sem exigir reescritas de consultas ou grandes alterações no sistema. Em benchmarks TPC-H em SF=100, o Sirius alcança uma aceleração de aproximadamente 10x em relação aos motores de consulta de CPU existentes com o mesmo custo de hardware, tornando-o ideal para análises interativas, cargas de trabalho financeiras e trabalhos ETL. Atualmente suporta DuckDB e em breve Doris, com mais sistemas planejados. As opções de instalação incluem imagens AWS, imagens Docker e instalação manual. Embora esteja em desenvolvimento ativo, o Sirius demonstra desempenho impressionante, inaugurando uma nova era de GPU para análise de dados.

Leia mais
(github.com)
Tecnologia banco de dados GPU motor SQL

AGL: Uma linguagem de script concisa que compila para Go

2025-06-29
AGL: Uma linguagem de script concisa que compila para Go

AGL é uma nova linguagem de programação que compila para Go. Ela utiliza a sintaxe do Go, mas introduz melhorias como valores de retorno únicos, tipos tupla e tipos result/option para um tratamento de erros simplificado, funções anônimas concisas e métodos de array integrados. AGL suporta sobrecarga de operadores, enums e genéricos, e oferece uma extensão VSCode e suporte shebang para shell, melhorando a experiência do desenvolvedor. Sua compilação flexível permite tanto a compilação para código Go quanto a execução direta, facilitando a iteração e os testes rápidos.

Leia mais
(github.com)
Desenvolvimento

Aceleração de LLM com Redis: LMCache oferece aumento de velocidade de 3 a 10 vezes

2025-06-28
Aceleração de LLM com Redis: LMCache oferece aumento de velocidade de 3 a 10 vezes

O LMCache é uma extensão do mecanismo de serviço LLM projetada para reduzir drasticamente a latência de cauda e aumentar a taxa de transferência, especialmente em cenários de contexto longo. Ao armazenar em cache pares de valores-chave de texto reutilizáveis em vários locais (GPU, CPU DRAM, disco local), o LMCache reutiliza esses caches para qualquer texto reutilizado (não apenas prefixos) em qualquer instância de serviço. Isso economiza ciclos de GPU valiosos e minimiza o atraso na resposta do usuário. Quando combinado com o vLLM, o LMCache consegue uma redução de 3 a 10 vezes na latência e nos ciclos de GPU em vários casos de uso de LLM, incluindo QA multirrodadas e RAG. Experimente com imagens Docker vLLM pré-construídas!

Leia mais
(github.com)
IA

Iniciativa de código aberto do compilador C Whitesmiths: Uma lenda retorna

2025-06-28
Iniciativa de código aberto do compilador C Whitesmiths: Uma lenda retorna

O compilador C Whitesmiths, lançado originalmente em 1978, suportava arquiteturas como DEC PDP-11 e Intel 8080, está prestes a se tornar de código aberto! Seu criador, P.J. Plauger, concedeu permissão para uso não comercial. Binários e parte do código-fonte para versões incluindo CP/M-80 e um compilador cruzado IBM System/36 estão disponíveis para download. Este compilador historicamente significativo será um recurso valioso para o estudo da história e do desenvolvimento da linguagem C.

Leia mais
(github.com)
Desenvolvimento

Nim Bare-Metal no Raspberry Pi: Uma Aventura Sem Cabeça

2025-06-28
Nim Bare-Metal no Raspberry Pi: Uma Aventura Sem Cabeça

Este projeto detalha um ambiente bare-metal para Raspberry Pi 1/Zero usando a linguagem de programação Nim. Ele possui um escalonador cooperativo, modelo de programação assíncrono e acesso direto ao hardware sem APIs específicas do fornecedor. O projeto inclui gerenciamento de memória, tratamento de exceções e monitoramento de tempo de execução, juntamente com instruções de configuração abrangentes. Planos futuros envolvem a expansão para mais plataformas de destino e a adição de mais drivers de periféricos.

Leia mais
(github.com)
Desenvolvimento

bootc-image-builder: Crie imagens de disco inicializáveis a partir de contêineres

2025-06-28
bootc-image-builder: Crie imagens de disco inicializáveis a partir de contêineres

O bootc-image-builder é uma ferramenta poderosa para criar imagens de disco a partir de contêineres Fedora/CentOS bootc ou derivados. Ele suporta vários tipos de imagem (qcow2, AMI, ISO, etc.) e permite a personalização de usuários, sistemas de arquivos, parâmetros do kernel e muito mais. Usando Podman e QEMU, os usuários podem facilmente criar e executar máquinas virtuais. Este guia detalha seu uso, opções e configurações avançadas, como criar AMIs na AWS e personalizar o instalador Anaconda.

Leia mais
(github.com)
Desenvolvimento

SymbolicAI: Uma estrutura neuro-simbólica para LLMs

2025-06-28
SymbolicAI: Uma estrutura neuro-simbólica para LLMs

SymbolicAI é uma estrutura neuro-simbólica que combina a programação clássica em Python com a programação diferenciável dos LLMs. Seu design modular permite fácil extensão e personalização, permitindo que os usuários escrevam seus próprios motores, os hospedem localmente ou interajam com ferramentas como pesquisa na web e geração de imagens. Os conceitos centrais são objetos Símbolo (sintático e semântico) e contratos (garantindo a correção do código por meio de decoradores). O SymbolicAI suporta inúmeras operações primitivas e integra-se a motores neuro-simbólicos como OpenAI e Anthropic por meio de APIs, juntamente com ferramentas como Wolfram Alpha e mecanismos de pesquisa. Um sistema de configuração baseado em prioridade simplifica o gerenciamento.

Leia mais
(github.com)
Desenvolvimento neuro-simbólico

c4wa: Um compilador C para WebAssembly minimalista e eficiente

2025-06-28
c4wa: Um compilador C para WebAssembly minimalista e eficiente

c4wa é um compilador que traduz um subconjunto da linguagem C para WebAssembly. Ao contrário de outros compiladores, ele gera código WebAssembly minimalista e bem otimizado, sem nenhum código auxiliar, bibliotecas incorporadas ou sobrecarga. É totalmente compatível com qualquer tempo de execução WASM fora da caixa. c4wa suporta loops, condicionais, structs, arrays, ponteiros e outros recursos típicos da linguagem C, e pode gerar código no formato WAT legível. Ele busca um equilíbrio entre a conveniência de nível superior da linguagem C e a eficiência de baixo nível do WebAssembly, oferecendo aos desenvolvedores uma nova maneira de escrever código WebAssembly de alto desempenho.

Leia mais
(github.com)
Desenvolvimento

zenta: Mindfulness para programadores no terminal

2025-06-27
zenta: Mindfulness para programadores no terminal

zenta é uma ferramenta nativa de terminal projetada para ajudar programadores a manterem o foco durante a codificação. Ela guia os usuários de volta ao momento presente por meio de exercícios de respiração simples, sem a necessidade de rastreamento ou métricas. Um único comando, `breath` ou `breathe`, inicia sessões de respiração curtas ou mais longas, auxiliadas por animações visuais puras e citações calmantes. O comando `reflect` facilita uma revisão diária suave. zenta defende a atenção plena genuína, não a gamificação, enfatizando a presença em vez de hacks de produtividade. Ele suporta vários sistemas operacionais e é de código aberto sob a licença MIT.

Leia mais
(github.com)
Desenvolvimento

Gerador de datasets com IA: visualização instantânea, exportação e exploração de dados

2025-06-27
Gerador de datasets com IA: visualização instantânea, exportação e exploração de dados

Esta ferramenta utiliza IA (GPT-4) e Faker para gerar datasets realistas para demonstrações, aprendizagem e dashboards. Personalize datasets através de um construtor de prompts conversacional, visualize dados em tempo real e exporte como CSV ou SQL. Integra-se com o Metabase para facilitar a exploração de dados. Chamadas à API OpenAI (custando cerca de US$ 0,05) são feitas apenas para visualizações de dados; downloads de CSV/SQL são gratuitos, gerando mais linhas com base no esquema da visualização. Suporta One Big Table (OBT) e Star Schema para análises flexíveis.

Leia mais
(github.com)
Desenvolvimento geração de datasets

typr: Teste de digitação TUI com algoritmo de seleção de palavras inteligente

2025-06-27
typr: Teste de digitação TUI com algoritmo de seleção de palavras inteligente

typr é uma ferramenta de teste de digitação de linha de comando inspirada no algoritmo de seleção de palavras do Keybr. Ele otimiza sua velocidade de digitação ponderando a precisão, a frequência das letras e a velocidade de digitação. Apresentando uma TUI legal baseada em curses, ele salva seus dados em um arquivo JSON. Personalize seu teste com opções para limites de tempo, contagens de palavras ou até mesmo prática sem fim.

Leia mais
(github.com)
Desenvolvimento teste de digitação

Sincronização de arquivos em rede local para duas máquinas Windows: sem nuvem!

2025-06-27
Sincronização de arquivos em rede local para duas máquinas Windows: sem nuvem!

Cansado de sincronizar arquivos entre duas máquinas Windows? Sink oferece uma solução revolucionária! Ignore a nuvem, e-mail e unidades USB. Rodando em sua rede local, Sink detecta automaticamente outras máquinas com Sink e sincroniza arquivos quase instantaneamente. Ele lida com conflitos, evitando perda de dados, e permite que você ignore arquivos e pastas específicos usando um arquivo .sinkignore (similar ao .gitignore). Atualmente em desenvolvimento, os planos futuros incluem uma interface do usuário, caminhos personalizados, integração com a bandeja do sistema e suporte para mais de dois dispositivos.

Leia mais
(github.com)
Desenvolvimento sincronização de arquivos rede local

XSLT: Um Gerador de Sites Estáticos Zero-Config Integrado ao Seu Navegador

2025-06-27
XSLT: Um Gerador de Sites Estáticos Zero-Config Integrado ao Seu Navegador

Cansado de sistemas de construção complexos como o Next.js, o autor procurou uma maneira mais simples de construir sites estáticos. Após explorar várias opções, ele descobriu o XSLT, uma linguagem para transformar XML em HTML. Armazenando dados do site como XML e usando XSLT para transformação, ele criou um sistema de construção 'lado do cliente' que não requer ferramentas adicionais. O navegador lida com a transformação XSLT diretamente, gerando o HTML final — uma solução zero-config para geração de sites estáticos. Embora não seja um substituto perfeito para todos os cenários, ele oferece aos desenvolvedores uma alternativa poderosa.

Leia mais
(github.com)
Desenvolvimento
1 2 … 5 6 7 9 11 12 13 … 48 49