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

AGX: Um cliente de desktop moderno para ClickHouse construído com Tauri e SvelteKit

2025-03-19
AGX: Um cliente de desktop moderno para ClickHouse construído com Tauri e SvelteKit

AGX é um aplicativo de desktop construído com Tauri e SvelteKit, fornecendo uma interface moderna para explorar e consultar dados usando o mecanismo de banco de dados incorporado do ClickHouse (chdb). Ele oferece desempenho de aplicativo de desktop nativo, um editor de consulta SQL interativo com destaque de sintaxe, um navegador de esquema, exibição de resultados em formato tabular, suporte de arrastar e soltar arquivos e compatibilidade multiplataforma (macOS, Linux, Windows). O frontend usa SvelteKit para uma IU reativa e eficiente, enquanto o backend utiliza Tauri e Rust para desempenho e segurança nativos. A comunicação entre o frontend e o backend é feita por meio da ponte IPC do Tauri, com consultas de dados sendo processadas pelo mecanismo ClickHouse incorporado, chdb. Contribuições são bem-vindas!

Leia mais
(github.com)
Desenvolvimento

Ikemen GO: Um motor de jogo de luta de código aberto em Go

2025-03-19
Ikemen GO: Um motor de jogo de luta de código aberto em Go

Ikemen GO é um motor de jogo de luta de código aberto escrito em Go, oferecendo compatibilidade com versões anteriores do M.U.G.E.N versão 1.1 Beta, enquanto adiciona vários novos recursos. Binários pré-compilados estão disponíveis para Windows, macOS e Linux, com builds noturnos também fornecidos. Documentação abrangente cobre a construção, depuração (usando Goland ou VS Code) e compilação cruzada com Docker. O código-fonte do motor é licenciado sob MIT, com certos ativos sob CC-BY 3.0.

Leia mais
(github.com)
Jogos Motor de jogo

Zest: Uma Linguagem de Programação que Equilibra Maleabilidade e Legibilidade

2025-03-19
Zest: Uma Linguagem de Programação que Equilibra Maleabilidade e Legibilidade

Zest é uma linguagem de programação em desenvolvimento, projetada para criar sistemas que sejam maleáveis e legíveis. Ela visa combinar a interatividade e a dinâmica de sistemas como o emacs com recursos como tipagem estática, ligação antecipada e navegação para definição. Atualmente, Zest suporta fluxo de controle básico, aritmética e funções, mas ainda precisa de melhorias no tratamento de erros, gerenciamento de memória e funções recursivas. O código pode ser interpretado ou compilado, mas o modo misto ainda não é suportado. A documentação inclui testes embutidos para verificar a saída de diferentes dialetos (lax e strict).

Leia mais
(github.com)
Desenvolvimento

fd: Localizador de Arquivos Extremamente Rápido (23x Mais Rápido que o find)

2025-03-19
fd: Localizador de Arquivos Extremamente Rápido (23x Mais Rápido que o find)

fd é uma alternativa mais rápida e amigável ao comando find. Ele possui sintaxe intuitiva, travessia de diretórios paralela e correspondência inteligente de maiúsculas e minúsculas, ignorando por padrão arquivos ocultos e entradas .gitignore. Suporta expressões regulares e padrões glob, oferecendo opções abrangentes para personalizar pesquisas, incluindo a especificação de diretórios raiz, tipos de arquivos, tamanhos, horários de modificação e muito mais. Ele se integra perfeitamente com outros comandos, como `ls`, `rm`, `rg` e `fzf`. Testes de benchmark demonstram a significativa vantagem de velocidade do fd sobre o find em sistemas de arquivos grandes, atingindo até 23 vezes mais desempenho.

Leia mais
(github.com)
Desenvolvimento busca de arquivos

Git-Who: Descubra a autoria do código com facilidade

2025-03-18
Git-Who: Descubra a autoria do código com facilidade

Cansado de procurar os autores de seções de código específicas? O Git-Who, uma ferramenta de linha de comando, é a sua solução! Ao contrário do `git blame`, que se concentra em linhas individuais, o Git-Who identifica os principais contribuidores para componentes ou subsistemas de código inteiros. Usando três subcomandos — `table`, `tree` e `hist` —, ele apresenta informações de autoria em tabelas, estruturas de árvore e linhas do tempo, mostrando contagens de contribuições, horários da última edição, linhas modificadas e muito mais. Filtre os resultados por caminho, ramo, tag ou intervalo de revisão e use sinalizadores para classificação e filtragem. O Git-Who até respeita os Git mailmaps, consolidando contribuições com nomes ou e-mails diferentes. Experimente o Git-Who para obter uma visão clara da autoria do código!

Leia mais
(github.com)
Desenvolvimento autoria de código

NVIDIA Dynamo: Framework de Inferência de Alta Taxa de Transferência e Baixa Latência para IA Generativa

2025-03-18
NVIDIA Dynamo: Framework de Inferência de Alta Taxa de Transferência e Baixa Latência para IA Generativa

A NVIDIA apresenta o Dynamo, um framework de inferência de alta taxa de transferência e baixa latência projetado para servir modelos de IA generativa e de raciocínio em ambientes distribuídos multinodo. O Dynamo é agnóstico em relação ao mecanismo de inferência (compatível com TRT-LLM, vLLM, SGLang e outros) e incorpora recursos como inferência de preenchimento e decodificação desagregada, escalonamento dinâmico de GPU, roteamento de solicitações com reconhecimento de LLM, transferência de dados acelerada e descarregamento de cache KV para maximizar a taxa de transferência da GPU e minimizar a latência. Construído em Rust para desempenho e Python para extensibilidade, o Dynamo é totalmente de código aberto.

Leia mais
(github.com)
IA Framework de Inferência

Sesame AI Lança Modelo de Fala Conversacional de 1 Bilhão de Parâmetros

2025-03-18
Sesame AI Lança Modelo de Fala Conversacional de 1 Bilhão de Parâmetros

Os Laboratórios Sesame AI lançaram o CSM (Conversational Speech Model), um modelo de geração de fala de 1 bilhão de parâmetros baseado na arquitetura Llama. O CSM gera códigos de áudio RVQ a partir de entradas de texto e áudio, e seu checkpoint está disponível no Hugging Face. Também são fornecidos uma demonstração interativa de voz e um espaço Hugging Face para testar a geração de áudio. Embora seja capaz de produzir vozes variadas, o CSM não foi ajustado para vozes específicas e tem suporte multilíngue limitado. A Sesame AI enfatiza seu uso apenas para fins de pesquisa e educacionais, proibindo a personificação, desinformação e atividades ilegais.

Leia mais
(github.com)
IA geração de fala

Cascii: Construtor de diagramas ASCII e Unicode online sem dependências

2025-03-17
Cascii: Construtor de diagramas ASCII e Unicode online sem dependências

Cascii é um construtor de diagramas ASCII e Unicode baseado na web, escrito em JavaScript puro. Ele não tem dependências de servidores, empacotamento web ou bibliotecas e não usa marcação ou folhas de estilo. Basta abrir o arquivo cascii.html para começar a construir diagramas. Cascii também é hospedado em cascii.app, oferecendo links curtos para diagramas, criação de contas e muito mais. Os recursos incluem gerenciamento de camadas, ferramentas de seleção, agrupamento, ordenação, duplicação, tabelas dinâmicas, desenho/apagamento livre, salvamento automático, colar/importar texto, histórico (desfazer/refazer) e suporte para caracteres ASCII e Unicode.

Leia mais
(github.com)
Desenvolvimento desenho ASCII desenho Unicode

coq-of-rust: Verificação Formal para Código Rust 100% Livre de Bugs

2025-03-17
coq-of-rust: Verificação Formal para Código Rust 100% Livre de Bugs

coq-of-rust é uma ferramenta de verificação formal para Rust que traduz programas Rust para o assistente de prova Coq para alcançar um código 100% livre de bugs. Ao traduzir o código Rust para Coq, ele utiliza as poderosas técnicas de prova do Coq para verificar a correção do código, eliminando todos os bugs. A ferramenta suporta uma ampla gama de recursos Rust e oferece serviços de verificação formal para aplicativos críticos, como contratos inteligentes e mecanismos de banco de dados.

Leia mais
(github.com)
Desenvolvimento

Cline: Seu assistente de codificação com IA, dominando seu CLI e editor

2025-03-17
Cline: Seu assistente de codificação com IA, dominando seu CLI e editor

Cline é um assistente de IA alimentado pelo Claude 3.7 Sonnet, capaz de lidar com tarefas complexas de desenvolvimento de software passo a passo. Ele pode criar e editar arquivos, navegar por grandes projetos, usar um navegador e executar comandos de terminal (com permissão). Cline suporta vários provedores de API e pode expandir suas capacidades por meio do Protocolo de Contexto de Modelo (MCP). Ele possui uma interface gráfica do usuário com loop humano para segurança e confiabilidade. Cline também possui monitoramento de erros, conclusão de código e controle de versão, aumentando significativamente a eficiência do desenvolvimento.

Leia mais
(github.com)
Desenvolvimento Desenvolvimento de código

Kit de Verificação Móvel da Anistia Internacional: Ferramenta Forense para Detecção de Spyware

2025-03-17
Kit de Verificação Móvel da Anistia Internacional: Ferramenta Forense para Detecção de Spyware

O Laboratório de Segurança da Anistia Internacional lançou o Mobile Verification Toolkit (MVT) em julho de 2021. Esta ferramenta ajuda a simplificar e automatizar o processo de coleta de evidências forenses para identificar possíveis comprometimentos em dispositivos Android e iOS. O MVT usa Indicadores de Compromisso (IOCs) publicamente disponíveis para verificar a existência de vestígios de campanhas de spyware conhecidas, mas é crucial lembrar que isso não garante a segurança completa do dispositivo. Destinado a tecnologistas e investigadores familiarizados com perícia digital e ferramentas de linha de comando, o MVT não é para autoavaliação geral.

Leia mais
(github.com)
Tecnologia perícia digital Anistia Internacional

CppMatch: Uma biblioteca C++ com tratamento de erros e casamento de padrões no estilo Rust

2025-03-16
CppMatch: Uma biblioteca C++ com tratamento de erros e casamento de padrões no estilo Rust

CppMatch é uma biblioteca C++ leve e somente cabeçalho que traz o tratamento de erros e o casamento de padrões no estilo Rust para C++. Ela usa um tipo `Result` para representar sucesso ou falha, simplifica o tratamento de erros com a macro `expect` e implementa o casamento de padrões com a macro `match`. Também oferece `zip_match` para combinar vários objetos `Result`. Compatível com Clang e GCC, CppMatch oferece várias estratégias de tratamento de erros, incluindo o tratamento de diferentes tipos de erros com lambdas. É uma opção interessante para desenvolvedores C++ que buscam a elegância do tratamento de erros do Rust.

Leia mais
(github.com)
Desenvolvimento Casamento de Padrões

Wify: Conecte-se à Wi-Fi sem esforço com este aplicativo React Native

2025-03-16
Wify: Conecte-se à Wi-Fi sem esforço com este aplicativo React Native

O Wify é um aplicativo React Native que simplifica a conexão Wi-Fi ao escanear imagens ou usar a câmera para extrair credenciais de Wi-Fi. Ele suporta reconhecimento OCR em vários idiomas, usa correspondência fuzzy para nomes de Wi-Fi e inclui tratamento de permissões robusto com prompts amigáveis ao usuário. O aplicativo se conecta perfeitamente às redes, mesmo com pequenas discrepâncias nos nomes, tornando o acesso Wi-Fi rápido e fácil em Android e iOS.

Leia mais
(github.com)
Desenvolvimento Conexão Wi-Fi

zlib-ng: Uma biblioteca de compressão de dados de próxima geração

2025-03-16
zlib-ng: Uma biblioteca de compressão de dados de próxima geração

zlib-ng é um fork modernizado da popular biblioteca de compressão zlib, melhorando o desempenho, a manutenção e a portabilidade. Ele incorpora otimizações da Intel e Cloudflare e suporta uma ampla gama de conjuntos de instruções de CPU, como AVX-512 e ARM NEON. O zlib-ng visa coexistir com o zlib, oferecendo uma barreira mais baixa para alterações de código e suportando CMake e vários sistemas de construção.

Leia mais
(github.com)
Desenvolvimento

UUSEC WAF: Um Firewall de Aplicação Web Gratuito e de Alto Desempenho

2025-03-16
UUSEC WAF: Um Firewall de Aplicação Web Gratuito e de Alto Desempenho

O UUSEC WAF é um produto de proteção de segurança de aplicativos web e APIs gratuito, de alto desempenho e altamente escalável, que utiliza IA e mecanismos semânticos. Ele possui uma função de defesa de três camadas abrangente (camadas de tráfego, sistema e tempo de execução). Usando aprendizado de máquina para detecção de anomalias, ele intercepta ataques de 0-day sem a necessidade de regras extras. Sua função de limpeza de cache autodesenvolvida supera as versões comerciais do nginx, oferecendo correspondência de expressões regulares para maior flexibilidade. Os recursos HIPS e RASP integrados fornecem uma defesa de duas camadas poderosa. Mecanismos semânticos avançados e a capacidade de escrever regras em Lua permitem uma criação de regras altamente flexível. A instalação é simples, com opções de host e Docker. Testes de referência mostram precisão superior a 99%, superando significativamente os WAFs gratuitos comparáveis.

Leia mais
(github.com)
Tecnologia

Docs: Editor de Documentos Colaborativo de Código Aberto Desafia o Notion

2025-03-16
Docs: Editor de Documentos Colaborativo de Código Aberto Desafia o Notion

Docs é um editor de documentos colaborativo de código aberto projetado para simplificar a criação e o compartilhamento de conhecimento. Ele oferece edição offline, formatação limpa, ações com tecnologia de IA (gerar, resumir, corrigir, traduzir), colaboração em tempo real e controle de acesso granular. O Docs é fácil de instalar e dimensionar, oferecendo vários formatos de exportação de documentos. Liderado pelos governos francês e alemão, este projeto multilíngue está em desenvolvimento ativo e planeja incorporar funcionalidade wiki.

Leia mais
(github.com)
Desenvolvimento editor colaborativo gestão do conhecimento

Torne-se um desenvolvedor 10x em 30 segundos com o rust-stakeholder

2025-03-16
Torne-se um desenvolvedor 10x em 30 segundos com o rust-stakeholder

Cansado de programar de verdade? Apresentamos o rust-stakeholder, uma ferramenta de linha de comando que gera uma saída de terminal impressionante, mas totalmente sem sentido. Convença todos de que você é um gênio da programação sem escrever uma única linha de código útil! Simule atividade de desenvolvimento, gere barras de progresso, tráfego de rede falso e até crie crises artificiais. É uma sátira, claro - não use isso para conseguir um emprego para o qual você não está qualificado!

Leia mais
(github.com)
Desenvolvimento humor de programador sátira

Agentic: Plataforma de Agente Extensível com Saídas Estruturadas

2025-03-16
Agentic: Plataforma de Agente Extensível com Saídas Estruturadas

Agentic é uma plataforma que permite aos usuários definir extensões e esquemas de saída usando modelos de dados Pydantic. Isso permite saídas estruturadas de chatbots, como demonstrado pelo código de exemplo que define um modelo de saída de tempo para informações de data e hora. Isso fornece maior flexibilidade e controle para a construção de aplicativos de IA.

Leia mais
(github.com)
Desenvolvimento

Pandas com Async: Acelere seus fluxos de trabalho Pandas com Async

2025-03-15
Pandas com Async: Acelere seus fluxos de trabalho Pandas com Async

O aiopandas é uma biblioteca leve que adiciona suporte assíncrono às funções principais do Pandas, como `map`, `apply` e `applymap`, por meio de monkey patching. Isso permite a integração perfeita de funções assíncronas, permitindo a execução paralela controlada com `max_parallel` para um processamento muito mais rápido de tarefas vinculadas a E/S, como chamadas de API, web scraping e consultas de banco de dados. Ele também se integra com tqdm para rastreamento de progresso. Basta substituir `.map()` por `.amap()` (e semelhante para outras funções) para uma substituição quase imediata.

Leia mais
(github.com)
Desenvolvimento Processamento Paralelo

MYGA: Faça o YouTube ser ótimo novamente

2025-03-15
MYGA: Faça o YouTube ser ótimo novamente

MYGA é um frontend YouTube limpo e minimalista, sem anúncios e recursos desnecessários. Utilizando yt-dlp para baixar vídeos e opcionalmente seu modelo de IA local para resumir o conteúdo do vídeo, ele oferece uma experiência YouTube local, eficiente, concisa e sem anúncios. Recursos incluem gerenciamento de canais, assinaturas, reprodução em segundo plano, reprodução offline e muito mais. É independente (exceto nano-spawn), usando apenas HTML/CSS; sem frameworks JS no cliente ou servidor. Hospede-o na sua rede doméstica para reprodução em todos os seus dispositivos.

Leia mais
(github.com)
Desenvolvimento

Programação Sketch: Um Paradigma Minimalista para Design de Código (Transpilador LLM)

2025-03-15
Programação Sketch: Um Paradigma Minimalista para Design de Código (Transpilador LLM)

A programação Sketch é uma abordagem revolucionária para o desenvolvimento de software que prioriza simplicidade, legibilidade e expressividade. Não é uma linguagem específica, mas um paradigma de metaprogramação que abstrai código repetitivo, reduz a sobrecarga cognitiva e permite que os desenvolvedores se concentrem na lógica principal. Pode ser implementado em qualquer linguagem, funciona em projetos de todos os tamanhos. A ideia principal é 'esboçar' a essência do programa com uma sintaxe mínima e intuitiva, deixando os detalhes para a linguagem subjacente. Usa uma sintaxe declarativa orientada a palavras-chave, enfatizando a legibilidade e a intenção, suportando iteração rápida e design independente de linguagem. Um exemplo mostra um componente React esboçado e depois transpilado para código React completo. Uma extensão para o VS Code também está em desenvolvimento.

Leia mais
(github.com)
Desenvolvimento Programação Sketch

eli: Uma jornada de 15 anos na interpretação de Lisp embutido

2025-03-15
eli: Uma jornada de 15 anos na interpretação de Lisp embutido

eli é o resultado de mais de 15 anos de design e implementação de interpretadores Lisp embutidos em várias linguagens. Nascido da necessidade de um Lisp embutido para projetos pessoais, tornou-se um dos empreendimentos mais significativos do autor. Principalmente implementado em Java, com esforços contínuos para integrá-lo ao Common Lisp, eli demonstra desempenho comparável ao Python em certos benchmarks. O projeto possui um sistema de tipos único que abrange bits, tipos chamáveis, tipos comparáveis, tipos contáveis, caracteres, números de ponto flutuante, inteiros, iteradores, iteráveis, bibliotecas, listas, mapas, tipos de tipos, tipos de métodos, valores ausentes, tipos numéricos, pares, strings, identificadores, durações e pontos no tempo. Ele oferece um conjunto rico de recursos, incluindo condicionais, loops, macros, vinculação de variáveis, verificação de tipos, definição de métodos, sobrecarga, lambdas e gerenciamento de namespace/módulo.

Leia mais
(github.com)
Desenvolvimento Sistemas Embutidos

RubyLLM: Uma biblioteca Ruby elegante para interação com IA

2025-03-15
RubyLLM: Uma biblioteca Ruby elegante para interação com IA

RubyLLM é uma biblioteca Ruby limpa e fácil de usar que simplifica a interação com vários modelos de IA, incluindo OpenAI, Anthropic, Gemini e DeepSeek. Ela fornece uma API unificada e um formato de dados consistente, eliminando as dores de cabeça de lidar com APIs incompatíveis de diferentes fornecedores de IA. RubyLLM suporta uma ampla gama de funcionalidades de IA, como bate-papo, análise de imagens e áudio, processamento de PDFs, geração de imagens, embeddings vetoriais e integração de ferramentas personalizadas. A integração perfeita com o Rails permite a persistência fácil do histórico de bate-papo. Sua filosofia de design prioriza código Ruby elegante em vez de configurações e callbacks complexos, tornando a interação com IA uma alegria.

Leia mais
(github.com)
Desenvolvimento

Framework de colaboração multi-agente de código aberto OWL lidera o benchmark GAIA

2025-03-14
Framework de colaboração multi-agente de código aberto OWL lidera o benchmark GAIA

OWL, uma estrutura de ponta para colaboração multi-agente construída sobre a estrutura CAMEL-AI, alcançou a posição #1 no benchmark GAIA com uma pontuação média de 58,18! Ele permite automação de tarefas mais natural, eficiente e robusta em diversos domínios por meio de interações dinâmicas de agentes. OWL é de código aberto, suporta vários métodos de instalação e modelos (incluindo OpenAI, Qwen e DeepSeek), e possui um rico conjunto de kits de ferramentas, como automação de navegador, processamento multi-modal e análise de documentos. Uma interface web amigável também é fornecida. A equipe OWL está ativamente buscando contribuições da comunidade de casos de uso e melhorando continuamente a estrutura.

Leia mais
(github.com)
IA colaboração multi-agente automação de tarefas

Linguagem Exo: Guia de Instalação, Desenvolvimento e Teste

2025-03-14
Linguagem Exo: Guia de Instalação, Desenvolvimento e Teste

Exo é uma linguagem de programação que suporta Python 3.9 e superior. A instalação é simples, usando o pip. Arquivos Exo são executados diretamente com Python, e arquivos C/cabeçalho são gerados pelo comando exocc. O desenvolvimento envolve configurar um ambiente virtual e instalar dependências, incluindo PySMT e CMake. Testes exigem z3-solver (ou outro solver) e CMake 3.21 ou posterior. Os testes cobrem vários cenários e suportam testes de cobertura de código. Mais informações e exemplos estão disponíveis no repositório do projeto.

Leia mais
(github.com)
Desenvolvimento

Previsão Probabilística de Séries Temporais: Uma Mudança de Paradigma na Análise Preditiva

2025-03-14
Previsão Probabilística de Séries Temporais: Uma Mudança de Paradigma na Análise Preditiva

Diga adeus às previsões de ponto único! A previsão probabilística de séries temporais revoluciona a análise preditiva fornecendo distribuições de probabilidade completas de possíveis resultados, não apenas valores únicos. Isso permite uma tomada de decisão mais matizada e confiável. Estudos mostram melhorias significativas na precisão da previsão, redução de erros e, especialmente, na previsão de eventos extremos. Vários setores, incluindo finanças, saúde e manufatura, se beneficiam da melhor avaliação de riscos, alocação de recursos e gestão de estoque. Este guia abrangente aprofunda os princípios, métodos (métodos bayesianos, processos gaussianos, modelos probabilísticos profundos) e aplicações da previsão probabilística em diversos domínios. Também abrange técnicas cruciais como pré-processamento de dados, seleção de modelos e calibração de incerteza.

Leia mais
(github.com)
IA Previsão Probabilística Séries Temporais

Contornando o WebUSB: Controlando um Raspberry Pi Pico via uma Exploração U2F

2025-03-14
Contornando o WebUSB: Controlando um Raspberry Pi Pico via uma Exploração U2F

Controle um Raspberry Pi Pico do seu navegador sem WebUSB! Este artigo detalha um método que explora uma vulnerabilidade no protocolo de chave de segurança U2F. Ao emular uma chave de segurança U2F, os dados são disfarçados como uma assinatura, contornando as restrições de segurança do navegador para controlar o LED do Pico. Embora isso aproveite uma falha do U2F, não é uma vulnerabilidade de segurança em si, funcionando apenas em dispositivos projetados intencionalmente com essa vulnerabilidade. O artigo enfatiza os riscos de conectar dispositivos USB desconhecidos.

Leia mais
(github.com)
Hardware

MCPGod: Simplificando o Gerenciamento de Servidores do Protocolo de Contexto de Modelo

2025-03-14
MCPGod: Simplificando o Gerenciamento de Servidores do Protocolo de Contexto de Modelo

MCPGod é uma ferramenta de linha de comando projetada para simplificar o gerenciamento de servidores do Protocolo de Contexto de Modelo (MCP). Permite que os desenvolvedores adicionem, executem, listem e removam servidores facilmente, além de interagir com ferramentas de servidor. Compatível com Windows, macOS e Linux, o MCPGod fornece logs detalhados para facilitar a depuração. Recursos incluem adicionar ou remover servidores MCP para clientes específicos, listar todas as ferramentas em qualquer servidor MCP, executar qualquer ferramenta diretamente da linha de comando e controlar permissões de ferramentas/clientes.

Leia mais
(github.com)
Desenvolvimento protocolo de contexto de modelo

ArkFlow: Um motor de processamento de stream do Rust de alto desempenho

2025-03-14
ArkFlow: Um motor de processamento de stream do Rust de alto desempenho

ArkFlow é um motor de processamento de stream de alto desempenho construído em Rust e Tokio. Ele suporta várias fontes de dados, como Kafka, MQTT e HTTP, e oferece vários processadores, incluindo consultas SQL, processamento JSON e codificação/decodificação Protobuf. Seu design modular permite fácil extensão, e a configuração é gerenciada por meio de arquivos YAML. Os usuários podem definir entradas, pipelines e saídas para lidar com diversas tarefas de processamento de stream, como processamento de dados de Kafka para Kafka ou geração e processamento de dados de teste.

Leia mais
(github.com)
Desenvolvimento

Escrevendo código C em Prolog: O projeto C Plus Prolog

2025-03-13
Escrevendo código C em Prolog: O projeto C Plus Prolog

O projeto C Plus Prolog tenta mesclar Prolog e C. Ele utiliza recursos não-padrão do SWI-Prolog para traduzir código Prolog em C. O projeto usa as capacidades de metaprogramação do Prolog para implementar recursos avançados como macros e programação genérica. Embora verboso e propenso a erros, ele explora as possibilidades de macros em uma linguagem de programação de sistemas e demonstra o potencial do Prolog para geração de código. Apesar de suas peculiaridades, oferece uma abordagem única para desenvolvimento C multiplataforma, aproveitando as capacidades do Prolog.

Leia mais
(github.com)
Desenvolvimento
1 2 … 30 31 32 34 36 37 38 … 50 51