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

GoEnums: Geração Elegante de Enumerações para Go

2025-04-26
GoEnums: Geração Elegante de Enumerações para Go

Cansado da falta de suporte nativo para enumerações em Go? O GoEnums gera implementações de enumerações completas e seguras para tipos a partir de declarações de constantes simples. Transforme constantes iota básicas em enumerações ricas em recursos com conversão de string, validação, tratamento JSON, integração de banco de dados e muito mais. O GoEnums suporta campos personalizados, análise de maiúsculas e minúsculas, e fornece documentação e exemplos detalhados. Simplifique seu código Go com GoEnums!

Leia mais
(github.com)
Desenvolvimento Enumerações

Rocal UI: Um Mecanismo de Modelo Simples em Rust

2025-04-26
Rocal UI: Um Mecanismo de Modelo Simples em Rust

Rocal UI é um mecanismo de modelo simples escrito em Rust. Embora seja principalmente projetado para uso com a estrutura Rocal para criar visualizações, ele é adaptável a qualquer projeto Rust. Sua sintaxe é direta, suportando incorporação de variáveis, instruções if-else e loops for. A macro `view!{}` gera strings HTML que podem ser aninhadas, facilitando o uso de modelos parciais. Comece rapidamente com `cargo install rocal --features="cli"` e `rocal new -n yourapp`.

Leia mais
(github.com)
Desenvolvimento Mecanismo de Modelo

Tilt: Simplificando o Desenvolvimento de Microserviços Kubernetes

2025-04-26
Tilt: Simplificando o Desenvolvimento de Microserviços Kubernetes

O Tilt simplifica o desenvolvimento de microserviços Kubernetes automatizando todo o processo, desde alterações de código até novos processos, incluindo monitoramento de arquivos, construção de imagens de contêiner e atualizações de ambiente. Diga adeus aos comandos trabalhosos `docker build && kubectl apply`. O Tilt oferece tutoriais e guias abrangentes, suporta várias linguagens de programação e possui uma comunidade ativa e documentação bem mantida. Mesmo iniciantes em Kubernetes podem começar rapidamente e aumentar sua eficiência de desenvolvimento.

Leia mais
(github.com)
Desenvolvimento

Stuffed-Naan: Escondendo dados à vista de todos (usando NaNs)

2025-04-26
Stuffed-Naan: Escondendo dados à vista de todos (usando NaNs)

Stuffed-Naan é uma biblioteca inovadora que aproveita as peculiaridades dos valores NaN (Not a Number) do JavaScript para ocultar e transportar dados. Codificando dados inteligentemente na mantissa dos valores NaN, o Stuffed-Naan preserva os dados originais mesmo após operações matemáticas. O artigo apresenta esta biblioteca de forma humorística, destacando sua alta taxa de compressão, velocidade e recursos de privacidade, além de mencionar os recursos adicionais da edição empresarial. Embora peculiar, ele explora eficazmente as características dos números de ponto flutuante IEEE 754.

Leia mais
(github.com)
Desenvolvimento ocultar dados

RetrOS-32: Um Sistema Operacional Hobby de 32 bits

2025-04-26
RetrOS-32: Um Sistema Operacional Hobby de 32 bits

O RetrOS-32 é um sistema operacional de 32 bits escrito em C e Assembly, com recursos gráficos, multitarefa e rede. Ele inclui criação de usuários, um sistema de arquivos e aplicativos básicos como terminal, calculadora e jogos simples. O projeto suporta várias plataformas de hardware e oferece imagens Docker para compilação multiplataforma. Embora ainda esteja em desenvolvimento, ele possui funcionalidades impressionantes e é um projeto de código aberto notável.

Leia mais
(github.com)
Desenvolvimento embarcado

LLMs podem ver e ouvir sem nenhum treinamento

2025-04-26
LLMs podem ver e ouvir sem nenhum treinamento

Uma pesquisa inovadora demonstra que os Grandes Modelos de Linguagem (LLMs) podem entender imagens e áudio sem nenhum treinamento adicional. Ao utilizar de forma inteligente LLMs existentes, legendagem de imagens, legendagem de áudio e técnicas de geração de imagens de alta qualidade, os pesquisadores permitiram que os LLMs 'percebessem' imagens e sons. O código e os conjuntos de dados de código aberto do projeto facilitam a reprodutibilidade e explorações adicionais.

Leia mais
(github.com)
IA

Digite Menos no Terminal com Esta Ferramenta

2025-04-26
Digite Menos no Terminal com Esta Ferramenta

O Empty Enter Expander é uma ferramenta zsh que aumenta a eficiência do terminal. Ele permite que você execute comandos predefinidos com algumas poucas teclas. Os comandos são armazenados em um diretório de módulos; diretórios e nomes de arquivos devem começar com letras minúsculas, servindo como atalhos. Por exemplo, após pressionar Enter, 'g, l, Enter' executa um comando git log predefinido. Os usuários podem personalizar comandos e atalhos colocando scripts nos subdiretórios apropriados dentro do diretório do módulo. A configuração envolve modificar o arquivo .zprofile para definir o caminho do módulo e a fonte da função zsh.

Leia mais
(github.com)
Desenvolvimento

Magnitude: Framework de Test Nativo de IA para Aplicativos Web

2025-04-25
Magnitude: Framework de Test Nativo de IA para Aplicativos Web

Magnitude é uma estrutura de teste de ponta a ponta de código aberto revolucionária para aplicativos web, alimentada por agentes de IA visual que 'veem' sua interface e se adaptam a quaisquer alterações. Crie casos de teste facilmente com linguagem natural, aproveite um poderoso agente de raciocínio para planejamento e ajuste e confie em um agente visual rápido para execução confiável. Execute testes localmente ou em pipelines de CI/CD; a estrutura lida automaticamente com problemas encontrados durante os testes. O Magnitude suporta vários modelos de LLM, incluindo Gemini 2.5 pro, Anthropic e OpenAI, e oferece um modelo visual gratuito, Moondream. Ele simplifica significativamente a criação e execução de testes.

Leia mais
(github.com)
Desenvolvimento Teste de IA Teste na Web Estrutura de código aberto

Formalizando a Principia Mathematica de Russell usando Lean4

2025-04-25
Formalizando a Principia Mathematica de Russell usando Lean4

Este projeto visa formalizar o primeiro volume da Principia Mathematica do Prof. Bertrand Russell usando o verificador de teoremas Lean. O objetivo é garantir que a formalização se alinhe claramente com os teoremas correspondentes no livro para evitar confusão. O projeto segue rigorosamente as provas de Russell, com poucas ou nenhuma declaração adicional. Um novo tático, `Syll`, foi criado para lidar com uma forma mais geral de silogismo. Embora a Principia Mathematica seja considerada um 'fracasso monumental', o autor achou o processo de formalização enriquecedor.

Leia mais
(github.com)
Desenvolvimento

UIT: Biblioteca de processamento de arquivos modular, de baixo consumo de memória e de alto desempenho para a nuvem

2025-04-25
UIT: Biblioteca de processamento de arquivos modular, de baixo consumo de memória e de alto desempenho para a nuvem

UIT é uma biblioteca projetada para processamento de arquivos modular, de baixo consumo de memória e de alto desempenho em escala na nuvem. Ela usa um processo de quatro etapas: ingestão, filtro/transformação, mesclagem e saída. Construído com base em streaming e paralelização, o UIT pode ser executado de forma eficiente em ambientes com pouca memória, como os Workers do Cloudflare. Seu design modular permite composição e a adição de módulos personalizados. Os módulos atuais lidam com tarefas como ingestão de arquivos ZIP, mesclagem de dados, conversão de formato e pesquisa. O objetivo do UIT é se tornar um padrão para processamento de arquivos em nuvem, fornecendo aos desenvolvedores uma ferramenta poderosa e extensível.

Leia mais
(github.com)
Desenvolvimento processamento de arquivos

Visualizando Rust Assíncrono: Concorrência vs. Paralelismo

2025-04-25
Visualizando Rust Assíncrono: Concorrência vs. Paralelismo

Este artigo usa visualização para mergulhar nos recursos de concorrência e paralelismo do tempo de execução assíncrono Rust, Tokio. O autor usa inteligentemente gráficos de ondas senoidais para demonstrar intuitivamente a ordem de execução e o uso da CPU de diferentes tarefas assíncronas. Os experimentos mostram que tarefas limitadas pela CPU bloqueiam outras operações assíncronas, enquanto `tokio::spawn` e `tokio::task::spawn_blocking` do Tokio utilizam efetivamente recursos multi-core para melhorar o desempenho. O artigo conclui resumindo a estratégia de agendamento de tarefas do Tokio e os métodos para lidar com tarefas limitadas pela CPU, tornando-o um excelente tutorial claro e visualmente rico.

Leia mais
(github.com)
Desenvolvimento

Faasta: Plataforma FaaS com WebAssembly ultrarrápida

2025-04-25
Faasta: Plataforma FaaS com WebAssembly ultrarrápida

Faasta é uma plataforma Function-as-a-Service (FaaS) de ponta, construída com WebAssembly, com tempos de inicialização a frio abaixo de 1ms e sobrecarga de memória inferior a 1KB. Aproveitando WASI P2 e WASIHTTP, oferece tratamento de solicitações HTTP de alto desempenho e isolamento seguro de funções. Faasta é auto-hospedável, permitindo que você execute sua própria instância em qualquer lugar. Embora atualmente esteja em fase experimental, uma instância hospedada gratuita está disponível em faasta.xyz.

Leia mais
(github.com)
Desenvolvimento

Plugin de Contêiner Swift: Crie e publique imagens de contêiner com facilidade

2025-04-25
Plugin de Contêiner Swift: Crie e publique imagens de contêiner com facilidade

O Plugin de Contêiner Swift simplifica a criação e publicação de imagens de contêiner para servidores Swift usando o Swift Package Manager. Com alguns comandos, empacote seu aplicativo Swift em uma imagem de contêiner, envie-o para um registro e implante-o em qualquer nuvem baseada em contêiner ou execute-o localmente. Ele suporta macOS e Linux e requer Swift 6.0 ou posterior.

Leia mais
(github.com)
Desenvolvimento Contêiner

Infat: Gerenciamento Declarativo de Associações de Arquivos para macOS

2025-04-24
Infat: Gerenciamento Declarativo de Associações de Arquivos para macOS

Infat é uma ferramenta CLI nativa do macOS poderosa e eficiente para gerenciar declarativamente associações de tipos de arquivo e esquemas de URL. Diga adeus à navegação por submenus para definir seu navegador ou visualizador de imagens padrão - configure as regras uma vez e elas estarão definidas para sempre. Infat lista aplicativos associados a extensões de arquivo ou esquemas de URL, define aplicativos padrão e carrega associações de um arquivo de configuração TOML. É mínimo, controlável por scripts e perfeito para usuários avançados e administradores.

Leia mais
(github.com)
Desenvolvimento Associações de Arquivos

Zev: Encontre comandos de terminal com linguagem natural

2025-04-24
Zev: Encontre comandos de terminal com linguagem natural

Zev é uma ferramenta construída sobre a API OpenAI que permite que você encontre ou lembre comandos de terminal usando linguagem natural. Por exemplo, você pode digitar 'mostrar todos os processos Python em execução' para encontrar o comando relevante. Zev suporta várias operações, incluindo operações de arquivo, informações do sistema, comandos de rede e operações Git. Você também pode usar Ollama como uma alternativa local para evitar depender da API OpenAI. O projeto é de código aberto e contribuições são bem-vindas.

Leia mais
(github.com)
Desenvolvimento comandos de terminal linguagem natural

Colanode: Espaço de trabalho colaborativo de código aberto e hospedagem local

2025-04-24
Colanode: Espaço de trabalho colaborativo de código aberto e hospedagem local

Colanode é uma plataforma de colaboração completa e de código aberto que você pode hospedar. Prioriza a privacidade e o controle de seus dados, com uma abordagem local-first. Ele ajuda equipes a se comunicar, organizar e gerenciar projetos, online ou offline. Oferece chat em tempo real, edição de páginas de texto enriquecido, bancos de dados personalizáveis e gerenciamento de arquivos.

Leia mais
(github.com)
Desenvolvimento hospedagem local

CocoIndex: Motor de Indexação de Dados de Código Aberto Simplifica o Processamento de Dados

2025-04-24
CocoIndex: Motor de Indexação de Dados de Código Aberto Simplifica o Processamento de Dados

CocoIndex é o primeiro motor de código aberto do mundo que suporta lógica de transformação personalizada e atualizações incrementais, especializado em indexação de dados. Os usuários declaram as transformações; o CocoIndex cria e mantém um índice, mantendo o índice derivado atualizado com computação mínima após atualizações da fonte. Documentação, um guia de início rápido e tutoriais em vídeo estão disponíveis. Ele suporta a instalação da biblioteca Python e o lançamento de um banco de dados Postgres usando o Docker Compose. Os usuários indexam dados facilmente definindo fluxos de indexação, como dividir texto em blocos, incorporá-los em vetores e exportar para um índice de vetores. Exemplos e demonstrações são fornecidos, e contribuições da comunidade — melhorias de código, atualizações de documentação, relatórios de problemas, solicitações de recursos e discussões no Discord — são bem-vindas.

Leia mais
(github.com)
Desenvolvimento indexação de dados motor de código aberto

Echo R1: Tocador de Música de Hardware Aberto com Áudio de Alta Fidelidade

2025-04-24
Echo R1: Tocador de Música de Hardware Aberto com Áudio de Alta Fidelidade

O Echo R1 é um tocador de música de hardware aberto construído com software livre, com foco em reprodução de áudio de alta fidelidade. Equipado com um processador STM32H743, possui 32 MiB de RAM e um codec de áudio TLV320AIC3104, suportando taxas de amostragem de até 96 kHz. O dispositivo possui um D-pad de 4 vias, 6 botões multifuncionais, conectores duplos de 3,5 mm (fone de ouvido e saída de linha), bateria substituível e armazenamento expansível de até 2 TB. Atualmente na fase de protótipo R1, o projeto está corrigindo problemas conhecidos, como a impossibilidade de desativar a retroiluminação e a rotulagem inconsistente de componentes, além de desenvolver uma caixa imprimível em 3D.

Leia mais
(github.com)
Hardware hardware aberto

TacOS: Um SO do zero que roda DOOM

2025-04-24
TacOS: Um SO do zero que roda DOOM

Um desenvolvedor lançou o TacOS, um sistema operacional de código aberto com um kernel escrito em C e assembly. Este kernel semelhante ao UNIX possui recursos como um VFS, escalonador, TempFS, drivers de dispositivo, troca de contexto, gerenciamento de memória virtual e alocação de quadros de página física. Notavelmente, ele pode executar DOOM e outros programas menores de espaço de usuário. Foi testado em hardware real e no QEMU. Embora ainda esteja em desenvolvimento com bugs conhecidos, o TacOS é um projeto de hobby fascinante.

Leia mais
(github.com)
Desenvolvimento

CubeCL: Extensão de linguagem de computação de alto desempenho multiplataforma para Rust

2025-04-24
CubeCL: Extensão de linguagem de computação de alto desempenho multiplataforma para Rust

CubeCL é uma extensão de linguagem Rust inovadora que permite aos desenvolvedores escreverem kernels de computação de GPU em Rust, aproveitando abstrações de custo zero para kernels de computação sustentáveis, flexíveis e eficientes. Suporta tempos de execução WGPU, CUDA e ROCm/HIP (com suporte a CPU planejado), o CubeCL possui vetorização automática, computação em tempo de compilação e ajuste automático, simplificando o desenvolvimento de kernels de alto desempenho e portabilidade multiplataforma. Seu processo exclusivo de duas etapas (análise e expansão) permite otimizações em tempo de compilação e integração perfeita com Rust. Atualmente em alfa, o CubeCL mostra um potencial imenso para se tornar uma pedra angular da computação de alto desempenho em Rust.

Leia mais
(github.com)
Desenvolvimento

Index: O Agente de Navegador Open Source SOTA para Tarefas Web Autônomas

2025-04-23
Index: O Agente de Navegador Open Source SOTA para Tarefas Web Autônomas

Index é um agente de navegador de código aberto de última geração capaz de executar tarefas web complexas de forma autônoma. Ele utiliza poderosos LLMs como o Claude da Anthropic e os modelos da OpenAI, permitindo que os usuários emitam prompts como "vá para ycombinator.com, resuma as 3 primeiras empresas do lote W25 e crie uma nova planilha no Google Sheets". O Index oferece uma API serverless para uso em produção, um CLI interativo para desenvolvimento local, persistência de estado do navegador e muito mais. Sua facilidade de uso e recursos poderosos o tornam ideal para automatizar a extração de dados da web e interações web complexas.

Leia mais
(github.com)
Desenvolvimento Agente de Navegador

Exemplos Autônomos do Apache Lucene: Um Guia para Iniciantes em Busca de Texto Integral

2025-04-23
Exemplos Autônomos do Apache Lucene: Um Guia para Iniciantes em Busca de Texto Integral

Este repositório GitHub fornece uma coleção de exemplos do Apache Lucene com comentários detalhados em Markdown. Cada exemplo é autônomo e executável, permitindo que os alunos explorem o Lucene por meio da leitura do código, depuração ou documentação web interativa (https://msfroh.github.io/lucene-university/docs/SimpleSearch.html). O repositório usa o Lucene 10 e requer JDK 21 ou superior. Contribuições são bem-vindas!

Leia mais
(github.com)
Desenvolvimento Busca de texto integral Exemplos de código

Explorando um novo protocolo para interação online: Spring83

2025-04-23
Explorando um novo protocolo para interação online: Spring83

Este documento apresenta o Spring83, um protocolo experimental projetado para explorar novas maneiras de interagir online. Ele não é destinado a usuários, mas sim como um convite para co-investigadores explorarem e desenvolverem. Várias implementações em várias linguagens de programação já existem, e o autor incentiva mais contribuições para este projeto aberto.

Leia mais
(github.com)
Desenvolvimento interação online protocolo experimental

c/ua: Framework Leve para Agentes de IA Controlar Sistemas Operacionais Completos

2025-04-23
c/ua: Framework Leve para Agentes de IA Controlar Sistemas Operacionais Completos

c/ua (pronuncia-se "koo-ah") é um framework leve que permite que agentes de IA controlem sistemas operacionais completos dentro de contêineres virtuais leves de alto desempenho. Alcançando até 97% da velocidade nativa no Apple Silicon, ele funciona com qualquer modelo de linguagem visual. Integra virtualização de alto desempenho (criando e executando VMs macOS/Linux no Apple Silicon com desempenho próximo ao nativo usando o Lume CLI e o Virtualization.Framework da Apple) e uma interface e agente de uso do computador, permitindo que sistemas de IA observem e controlem ambientes virtuais, naveguem na web, escrevam código e executem fluxos de trabalho complexos. Garante segurança, isolamento, alto desempenho, flexibilidade e reprodutibilidade, com suporte para vários provedores de LLM.

Leia mais
(github.com)
IA agente IA

Advanced Alchemy: Uma biblioteca complementar de alto desempenho para SQLAlchemy

2025-04-23
Advanced Alchemy: Uma biblioteca complementar de alto desempenho para SQLAlchemy

Advanced Alchemy é uma biblioteca complementar cuidadosamente elaborada, totalmente testada e otimizada para SQLAlchemy. Ela oferece repositórios síncronos e assíncronos com operações CRUD comuns e operações em massa altamente otimizadas. Integra-se com as principais estruturas web, incluindo Litestar, Starlette, FastAPI e Sanic, e possui uma configuração e CLI Alembic personalizadas. Recursos integrados incluem um tipo de dados de objeto de arquivo que suporta vários backends de armazenamento (fsspec e obstore), tipos JSON otimizados, suporte para UUID6 e UUID7 e classes base preconfiguradas. Advanced Alchemy simplifica as operações CRUD em modelos SQLAlchemy e fornece recursos como paginação, classificação e filtragem.

Leia mais
(github.com)
Desenvolvimento

Restrições de Aplicação de Sugestões de Código do GitHub

2025-04-23
Restrições de Aplicação de Sugestões de Código do GitHub

Várias limitações impedem a aplicação de sugestões de código em revisões de código do GitHub. Essas incluem: nenhuma alteração de código feita, pull request fechado, visualização de um subconjunto de alterações, apenas uma sugestão por linha permitida, 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, pull request na fila para mesclagem ou limitações do sistema.

Leia mais
(github.com)
Desenvolvimento limitações

Builds locais do Expo Android: a imagem Docker eas-like-local-builder

2025-04-22
Builds locais do Expo Android: a imagem Docker eas-like-local-builder

Cansado de builds em nuvem caras do EAS? A imagem Docker eas-like-local-builder oferece uma solução para construir aplicativos Expo Android localmente. Ela espelha o ambiente de build do EAS, incluindo Ubuntu 22.04, JDK 17, NDK r26b e outros componentes necessários, permitindo que os desenvolvedores construam em seus ambientes locais ou CI/CD. A imagem suporta perfis de build personalizados (por exemplo, produção) e permite pular verificações de controle de versão por meio de variáveis de ambiente. Os desenvolvedores só precisam executar comandos Docker simples e montar seu diretório de projeto para construir, simplificando muito o processo de build local.

Leia mais
(github.com)
Desenvolvimento

AutoKitteh: Plataforma de Automação de Fluxo de Trabalho Baseada em Python

2025-04-22
AutoKitteh: Plataforma de Automação de Fluxo de Trabalho Baseada em Python

AutoKitteh é uma plataforma de automação e orquestração de fluxos de trabalho amigável para desenvolvedores, construída em Python, oferecendo uma alternativa baseada em código para plataformas sem código/baixo código. Possui flexibilidade ilimitada e utiliza o Temporal para execução durável, abstraindo as complexidades de infraestrutura e codificação. O AutoKitteh suporta auto-hospedagem e implantação em nuvem, é adequado para DevOps, FinOps, MLOps, SOAR e muito mais, e possui integrações embutidas e uma arquitetura 'sem servidor' escalável.

Leia mais
(github.com)
Desenvolvimento automação de fluxo de trabalho

WinFile: O Gerenciador de Arquivos do Windows Está de Volta!

2025-04-22
WinFile: O Gerenciador de Arquivos do Windows Está de Volta!

A Microsoft anunciou que arquivará o projeto WinFile em 1º de março de 2025, mas a boa notícia é que este gerenciador de arquivos clássico do Windows ressurgiu como um aplicativo de desktop nativo x86, x64 e arm64, compatível com todas as versões atuais do Windows, incluindo o Windows 11. O mantenedor aceita correções de bugs e sugestões de melhorias, mas não desenvolverá novos ramos. O código-fonte do projeto WinFile inclui duas versões principais: o ramo `original_plus`, que é mantido o mais próximo possível do original, e o ramo `master` em desenvolvimento ativo. Os usuários podem baixar versões pré-compiladas da Microsoft Store ou da página do projeto.

Leia mais
(github.com)
Desenvolvimento Gerenciador de Arquivos

Safira: Um gerenciador de pacotes de próxima geração em Rust

2025-04-22
Safira: Um gerenciador de pacotes de próxima geração em Rust

Safira é um gerenciador de pacotes experimental, baseado em Rust e inspirado no Homebrew. Ele foi projetado para instalar e gerenciar ferramentas de linha de comando, bibliotecas, linguagens, aplicativos de desktop e muito mais. Recursos incluem downloads paralelos, resolução automática de dependências e construção a partir da fonte. Atualmente, apenas para ARM, com suporte potencial para x86 no futuro. Este é um software alfa; use por sua conta e risco.

Leia mais
(github.com)
Desenvolvimento
1 2 … 19 20 21 23 25 26 27 … 48 49