Seleção Diária do Show HN (2025-06-19)
- Unregistry – "docker push" diretamente para servidores sem um registro
- Workout.cool – Plataforma de coaching fitness de código aberto
- Eu construí uma biblioteca de tensores do zero em C++/CUDA
- Trieve CLI – Agente LLM baseado em terminal com ferramenta de busca para PDFs
- Lstr – Um comando tree moderno e interativo escrito em Rust
- Verificações de segurança locais gratuitas para codificação com IA no VSCode, Cursor e Windsurf
- Delve, uma plataforma de análise de dados de nível empresarial de código aberto (AGPL)
- ht-mcp – um servidor MCP em Rust para terminal headless para agentes
- Arena de Debate de IA – Veja qual LLM argumenta melhor
- Dicas para um usuário de Windows vitalício migrando para Mac
- Calculadora de Porcentagem Fácil
- WFGY – Um motor de raciocínio que repara a lógica de LLMs sem retreinamento
- Revisões de Literatura Interativas com Mapas de Conhecimento Visual
- VerifyWise, uma plataforma de governança de código aberto para conformidade de IA
- Rulebook AI – gerenciador de regras e memória para IDEs de codificação com IA
- fzfm – gerenciador de arquivos com busca fuzzy
- MediaCMS v6 – plataforma de vídeo de código aberto com cortador e RBAC
- Cpdown – Copie qualquer página da web/legenda do YouTube como Markdown limpo (pronto para LLM)
- Eu construí uma ferramenta que automatiza conteúdo social para fundadores de startups ocupados
- Verificador Tiny Hoare logic usando SMT
Unregistry – "docker push" diretamente para servidores sem um registro [Ferramentas para Desenvolvedores]
42 pontos, 8 comentários
O Unregistry permite o envio direto de imagens Docker para servidores remotos sem a necessidade de um registro.
- Elimina a necessidade de um registro aproveitando o armazenamento de imagens integrado do Docker
- Adiciona um comando
docker pusshpara enviar imagens diretamente via SSH - Transfere apenas as camadas ausentes para eficiência
- Usa um contêiner temporário no host remoto e faz a limpeza posteriormente
- Parte do projeto Uncloud para implantação de contêineres
Link da Discussão, Link Original
Workout.cool – Plataforma de coaching fitness de código aberto [Saúde]
527 pontos, 166 comentários
Uma plataforma de coaching fitness de código aberto reconstruída do zero com recursos aprimorados e sem problemas de licenciamento.
- 100% código aberto, licença MIT
- Inclui mais de 1200 exercícios com vídeos, atributos e traduções
- Funcionalidade de acompanhamento de progresso
- Pronto para multilíngue
- Opção de auto-hospedagem
- Desenvolvimento liderado pela comunidade
Link da Discussão, Link Original
Eu construí uma biblioteca de tensores do zero em C++/CUDA [Ferramentas para Desenvolvedores]
85 pontos, 17 comentários
Uma biblioteca leve de tensores em C++/CUDA com API Python semelhante ao PyTorch para executar pequenos LLMs localmente.
- Núcleo em C++ com suporte a CUDA escrito do zero
- API Python familiar semelhante ao PyTorch
- Suporta a execução de modelos reais (por exemplo, Qwen do HuggingFace) em CUDA/CPU
- Observabilidade integrada para Python e C++
- Suporte planejado para BF16 e visualização de carga de trabalho em GPU
Link da Discussão, Link Original
Trieve CLI – Agente LLM baseado em terminal com ferramenta de busca para PDFs [Ferramentas para Desenvolvedores]
25 pontos, 9 comentários
Uma ferramenta CLI baseada em terminal para consultar PDFs usando um agente LLM com capacidades iterativas de busca e recuperação.
- Usa agentes LLM com ferramentas de busca em vez de preenchimento de janela de contexto para melhor recuperação de conhecimento
- Fluxo de trabalho simples: envie PDFs e consulte-os diretamente do terminal
- Comportamento RAG personalizável e referências de origem expansíveis nas respostas
- Grátis para até 1k fragmentos de documentos, com código-fonte disponível no GitHub e npm
Link da Discussão, Link Original
Lstr – Um comando tree moderno e interativo escrito em Rust [Ferramentas para Desenvolvedores]
208 pontos, 64 comentários
Um comando tree moderno e interativo escrito em Rust com integração Git e recursos TUI.
- Modo TUI Interativo: Navegação por teclado, expansão/recolhimento de diretórios e abertura de arquivos no editor padrão.
- Integração com Status Git: Mostra o status Git de arquivos e diretórios com a flag
-G. - Integração com Shell: Exporta caminhos selecionados para stdout para uso em funções de shell como
lcdpara navegação visual de diretórios. - Recursos Adicionais: Suporta ícones de tipo de arquivo (Nerd Fonts), tamanhos de arquivo, permissões e respeita
.gitignore.
Link da Discussão, Link Original
Verificações de segurança locais gratuitas para codificação com IA no VSCode, Cursor e Windsurf [Ferramentas para Desenvolvedores]
30 pontos, 22 comentários
O Codacy Guardrails é uma extensão de IDE e ferramenta CLI gratuita que verifica e corrige problemas de segurança e qualidade em código gerado por IA em tempo real.
- Integra-se com assistentes de codificação com IA como VS Code, Cursor e Windsurf
- Usa analisadores estáticos de código aberto (Semgrep, Trivy) com mais de 2000 regras
- Suporta JavaScript/TypeScript, Python e Java
- Detecta vulnerabilidades OWASP Top 10, segredos hardcoded e violações de estilo
- Regras personalizáveis para necessidades específicas do projeto
- Grátis para desenvolvedores individuais com planos pagos para equipes disponíveis
Delve, uma plataforma de análise de dados de nível empresarial de código aberto (AGPL) [Ferramentas para Desenvolvedores]
15 pontos, 13 comentários
Uma plataforma de análise de dados de nível empresarial de código aberto construída com Django e tecnologias web modernas.
- Plataforma escalável para ingestão, busca e relatórios em grandes conjuntos de dados
- Extensível com aplicativos Django personalizados
- Linguagem de busca semelhante a pipes Unix alimentada por scripts Python
- Interface web suporta tabelas, gráficos de linha e de barras
- Construída com Django, Django Rest Framework, webpack, JS e SCSS
Link da Discussão, Link Original
ht-mcp – um servidor MCP em Rust para terminal headless para agentes [Ferramentas para Desenvolvedores]
19 pontos, 1 comentário
Um servidor MCP em Rust que permite ferramentas de codificação com IA interagirem com terminais como humanos, simulando entrada humana e gerenciamento de estado.
- Encapsula o terminal headless (HT) para permitir que ferramentas de codificação agentes usem ferramentas CLI interativas
- Suporta interação humana com terminais (por exemplo, navegar em menus, editar texto em vim/emacs)
- 40x mais rápido no tempo de inicialização (~50ms) e 70% menos uso de memória (~15MB) em comparação com a versão em TypeScript
- Binário único de 3MB sem dependências externas
- Demonstração disponível com Claude Code e Memex
- Instalável via Homebrew (
brew install ht-mcp)
Link da Discussão, Link Original
Arena de Debate de IA – Veja qual LLM argumenta melhor [Entretenimento]
3 pontos, 1 comentário
Plataforma de debate alimentada por IA onde LLMs argumentam lados opostos de tópicos controversos para apresentar argumentos equilibrados.
- Coloca GPT-4o, Grok 3 e Gemini 2.5 Flash uns contra os outros com posições pró/contra atribuídas aleatoriamente
- Usuários votam antes e depois dos debates para medir o impacto da persuasão
- Objetiva avaliar LLMs detectando vieses através do desempenho em debates aleatórios
- Planos para refinar a estrutura de argumentos, reduzir informações supérfluas e adicionar saída de áudio
- Projetado para usuários intelectualmente curiosos abertos a mudar suas opiniões
Link da Discussão, Link Original
Dicas para um usuário de Windows vitalício migrando para Mac [Tecnologia para Consumidores]
4 pontos, 1 comentário
Migrando do Windows para Mac: Dicas essenciais para uma transição suave.
- Conhecimento destilado para usuários de Windows se adaptando ao Mac OS
- Inspirado por posts semelhantes úteis
- Foca em dicas práticas de uso
Link da Discussão, Link Original
Calculadora de Porcentagem Fácil [Produtividade]
3 pontos, 0 comentários
Ferramenta simples para calcular porcentagens.
- Cálculos rápidos de porcentagem
- Interface amigável
Link da Discussão, Link Original
WFGY – Um motor de raciocínio que repara a lógica de LLMs sem retreinamento [Ferramentas para Desenvolvedores]
9 pontos, 5 comentários
O WFGY é um motor de raciocínio que corrige erros de lógica de LLMs sem retreinamento usando um protocolo semântico baseado em PDF.
- Corrige colapso de projeção, loops de contradição e cadeias de inferência ambíguas
- Nenhum retreinamento ou chamadas de sistema necessárias—altera trajetórias de raciocínio diretamente
- Melhora o sucesso do raciocínio em 42,1%, alinhamento semântico em 22,4% e estabilidade em 3,6×
- Inclui teoria formal, conjuntos de prompts e resultados reproduzíveis
- Zero dependências, totalmente código aberto
Link da Discussão, Link Original
Revisões de Literatura Interativas com Mapas de Conhecimento Visual [Pesquisa]
4 pontos, 0 comentários
Uma ferramenta que transforma revisões de literatura em mapas de conhecimento visuais interativos usando IA.
- Envie artigos de pesquisa (PDFs) e fontes da web (HTML)
- IA gera mapas de conhecimento interativos a partir das fontes
- Leia resumos de alto nível ou resumos detalhados por fonte/seção
- Expanda seções específicas de interesse no mapa
- Acesse fontes originais em contexto
- Faça perguntas contextuais sobre a pesquisa
- Revisões pré-curadas sobre tópicos como LLMs, Modelos de Difusão e Agentes de IA
Link da Discussão, Link Original
VerifyWise, uma plataforma de governança de código aberto para conformidade de IA [Negócios]
4 pontos, 0 comentários
Uma plataforma de governança de IA de código aberto para conformidade, prontidão para auditoria e gerenciamento de riscos.
- Fornece prontidão para auditoria, registros de risco e documentação de conformidade
- Inclui verificações de justiça de modelo com integração Fairlearn
- Suporta fluxos de trabalho da Lei de IA da UE e ISO 42001 com trilhas de auditoria exportáveis
- Possui um registro de treinamento para acompanhar a alfabetização em IA
- Oferece auto-hospedagem e desenvolvimento liderado pela comunidade
- Aberto para contribuições de design via Figma
Link da Discussão, Link Original
Rulebook AI – gerenciador de regras e memória para IDEs de codificação com IA [Ferramentas para Desenvolvedores]
18 pontos, 4 comentários
Gerenciador de regras e memória para IDEs de codificação com IA.
- Gerencia regras e memória para codificação com IA
- Projetado para integração com IDEs
Link da Discussão, Link Original
fzfm – gerenciador de arquivos com busca fuzzy [Ferramentas para Desenvolvedores]
5 pontos, 0 comentários
Um utilitário Bash que transforma o fzf em um navegador de arquivos de terminal com busca fuzzy e suporte a visualização.
- Navegue por diretórios e busque arquivos com fuzzy search
- Visualize o conteúdo de arquivos com bat (fallback para cat)
- Visualize diretórios com eza (fallback para ls)
- Abra arquivos no seu editor ou visualizador (configurável)
- Facilmente personalizável via variáveis de ambiente
Link da Discussão, Link Original
MediaCMS v6 – plataforma de vídeo de código aberto com cortador e RBAC [Vídeo]
10 pontos, 1 comentário
Plataforma de vídeo de código aberto com recurso de corte e controle de acesso baseado em função.
- Plataforma de vídeo de código aberto
- Inclui recurso de corte de vídeo
- Suporta controle de acesso baseado em função (RBAC)
Link da Discussão, Link Original
Cpdown – Copie qualquer página da web/legenda do YouTube como Markdown limpo (pronto para LLM) [Ferramentas para Desenvolvedores]
13 pontos, 3 comentários
Uma extensão do Chrome que converte o conteúdo de páginas da web ou legendas do YouTube em Markdown limpo com contagem de tokens para uso com LLMs.
- Extração Inteligente de Conteúdo: Remove anúncios e barras laterais para focar no conteúdo principal
- Conversão para Markdown Limpo: Converte HTML para Markdown organizado
- Contagem de Tokens para LLMs: Exibe a contagem de tokens para compatibilidade com LLMs
- Cópia de Transcrições do YouTube: Copia transcrições completas com título do vídeo como cabeçalho
- Opções Personalizáveis: Escolha de extratores e encapsulamento de blocos de código
- Grátis e de Código Aberto: Construído com WXT, React e TypeScript
Link da Discussão, Link Original
Eu construí uma ferramenta que automatiza conteúdo social para fundadores de startups ocupados [Marketing]
7 pontos