Seleção Diária do Show HN (2025-04-26)
- Usei a nova API de imagens da OpenAI para um serviço personalizado de livros para colorir
- Formalizando o Principia Mathematica usando Lean
- Magnitude – framework de testes open-source e nativo para IA em aplicativos web
- Uma planilha moderna com integração Python
- BugStalker - um depurador moderno em Rust
- RSS Lookup – Encontre feeds RSS para qualquer URL (Grátis, Open Source)
- Faasta – Uma plataforma Serverless auto-hospedada para WASM-wasi-HTTP em Rust
- StackHound - Pare de adivinhar a stack tecnológica de um repositório, analise em segundos
- SnipFast – Extraia texto destacado de livros físicos
- Uma demonstração interativa da correção de erros em códigos QR
- Claude Code com GUI e Editor de Prompts Baseado em Blocos (MIT)
- Loat – Aumente o MRR com e-mails automatizados
- Um Servidor MCP para Entender Custos da AWS
- OpenWrt Configurator – Gerenciamento simples de configuração para dispositivos OpenWrt
- Transforme APIs REST do Rails em Servidores de Protocolo de Contexto de Modelo (MCP)
- Pomo – Gerencie seus códigos promocionais do Stripe sem código
- Mailfrom.dev – Uma Alternativa Mais Barata ao MailTrap
- Meu motor de jogo de dungeon crawler baseado em texto em Python
- TSCE – Pense Antes de Falar (Enriquecimento Contextual em Duas Etapas para LLMs)
- Mermaid Open Editor 2.0
- Turbine – Uma linguagem de script para C/C++ com sintaxe semelhante a Markdown
Usei a nova API de imagens da OpenAI para um serviço personalizado de livros para colorir [Imagem]
46 pontos, 26 comentários
Um serviço que gera livros para colorir personalizados a partir de fotos de família usando a API de imagens da OpenAI.
- Usa a API de imagens da OpenAI para automatizar a criação de páginas de livros para colorir a partir de fotos enviadas
- Integra-se com serviços de impressão para entregar livros físicos
- Atrai tanto adultos quanto crianças para diversão criativa e catártica
- Oferece 10% de desconto para usuários iniciais
Link da Discussão, Link Original
Formalizando o Principia Mathematica usando Lean [Pesquisa]
84 pontos, 21 comentários
Um projeto para formalizar o Principia Mathematica de Bertrand Russell usando o verificador de teoremas Lean, seguindo as provas originais de perto.
- Formaliza o primeiro volume do Principia Mathematica usando Lean4
- Segue as provas de Russell rigorosamente com declarações adicionais mínimas
- Visa alta precisão e aceita feedback sobre imprecisões
- Inspirado por, mas distinto de, uma formalização existente baseada em Coq
- Open-source e disponível no GitHub para colaboração
Link da Discussão, Link Original
Magnitude – framework de testes open-source e nativo para IA em aplicativos web [Ferramentas para Desenvolvedores]
113 pontos, 30 comentários
Um framework de testes open-source e nativo para IA em aplicativos web, usando agentes LLM visuais para testes mais rápidos, baratos e confiáveis.
- Usa visão pura em vez de sistemas "set-of-marks" propensos a erros
- Empregas VLM pequeno (Moondream) para execução mais rápida e barata que OpenAI/Anthropic
- Possui sistema de dois agentes: planejador para adaptar casos de teste e executor para execuções rápidas e consistentes
- Salva e reutiliza planos de teste para eficiência, com fallback para o planejador se problemas surgirem
- Totalmente open-source e otimizado especificamente para testes web
Link da Discussão, Link Original
Uma planilha moderna com integração Python [Produtividade]
44 pontos, 6 comentários
Uma ferramenta de planilha moderna com integração Python para lidar com grandes conjuntos de dados de forma eficiente.
- Processa grandes conjuntos de dados (4GB+) e carrega arquivos GB/32 milhões de linhas em segundos
- Suporta até 500GB de uso de RAM sem travamentos
- Edita, divide, mescla e limpa arquivos CSV/texto com até 32M linhas e 1M colunas
- Permite funções Python como fórmulas UDF, retornando imagens ou arquivos CSV
- Inclui funções estatísticas de pivot e funções solver com praticamente nenhum limite de variáveis
- Gera gráficos instantaneamente com milhões de pontos de dados
- Incorpora ativamente feedback dos usuários para melhorias
Link da Discussão, Link Original
BugStalker - um depurador moderno em Rust [Ferramentas para Desenvolvedores]
103 pontos, 15 comentários
Um depurador moderno para Rust escrito em Rust.
- Depurador moderno para Rust
- Escrito em Rust
- Projetado para depurar aplicativos Rust
Link da Discussão, Link Original
RSS Lookup – Encontre feeds RSS para qualquer URL (Grátis, Open Source) [Ferramentas para Desenvolvedores]
4 pontos, 3 comentários
Uma ferramenta gratuita e open-source para encontrar feeds RSS de qualquer URL analisando meta tags, caminhos de fallback e feeds codificados.
- Busca automaticamente feeds RSS de qualquer URL de site
- Usa meta tags, caminhos de fallback e feeds codificados para sites populares
- Open-source sem anúncios ou rastreamento de URL
- Inclui Cloudflare Turnstile para prevenção de abuso e Plausible para análises
Link da Discussão, Link Original
Faasta – Uma plataforma Serverless auto-hospedada para WASM-wasi-HTTP em Rust [Ferramentas para Desenvolvedores]
86 pontos, 30 comentários
Faasta é uma plataforma serverless auto-hospedada para funções WASM-wasi-HTTP, escrita em Rust, oferecendo multi-tenancy eficiente e alta concorrência.
- Open-source e compatível com padrões WASI-HTTP
- Permite milhares de invocações concorrentes de funções em um único processo
- Utilitário CLI disponível via
cargo install cargo-faasta - Instância hospedada gratuita com implantação via GitHub OAuth (limite de 10 funções por conta)
- Mais eficiente que soluções serverless tradicionais baseadas em VM como AWS Lambda
Link da Discussão, Link Original
StackHound - Pare de adivinhar a stack tecnológica de um repositório, analise em segundos [Ferramentas para Desenvolvedores]
5 pontos, 1 comentários
StackHound analisa repositórios do GitHub para revelar sua stack tecnológica real, escaneando arquivos de dependência.
- Escaneia arquivos de dependência para descobrir ferramentas, frameworks e linguagens
- Funciona com React, Next.js, Tailwind, Flask, Spring Boot e mais
- Análise instantânea ao inserir um nome de usuário e repositório do GitHub
- Fornece um endpoint API para integração em ferramentas personalizadas
- Open-source e inclui uma demonstração ao vivo
Link da Discussão, Link Original
SnipFast – Extraia texto destacado de livros físicos [Educação]
9 pontos, 0 comentários
Uma ferramenta para extrair texto destacado de livros físicos via captura de imagem.
- Detecta e extrai automaticamente texto destacado de fotos de páginas
- Permite seleção manual de frases para cópia precisa
- Usa um modelo ML personalizado para detecção de destaques
- Teste gratuito com créditos, seguido de pequeno pagamento para evitar abuso
- Projetado para leitores, estudantes e pesquisadores
- Backend em Kotlin com banco de dados Postgres
- Busca feedback inicial para melhorias de UI e usabilidade
Link da Discussão, Link Original
Uma demonstração interativa da correção de erros em códigos QR [Tecnologia para Consumidores]
10 pontos, 2 comentários
Demonstração interativa que mostra a tolerância a erros em códigos QR, permitindo que usuários desenhem em códigos QR e vejam o impacto do dano em tempo real.
- Visualiza a tolerância a erros em códigos QR com barras de saúde e contadores de dano
- Alterna entre modo de desenho e modo de inspeção para análise detalhada
- Usa decodificador C++ compilado em WebAssembly para feedback preciso em tempo real
- Incentiva verificação via escaneamento por telefone para confirmar pontos de quebra
- Demonstra resiliência de códigos QR com desafio de dano mínimo na região de dados
Link da Discussão, Link Original
Claude Code com GUI e Editor de Prompts Baseado em Blocos (MIT) [Ferramentas para Desenvolvedores]
3 pontos, 1 comentários
Claude Code oferece uma GUI e editor de prompts baseado em blocos para codificação com Claude.
- Possui uma interface gráfica de usuário (GUI)
- Inclui um editor de prompts baseado em blocos
- Open-source sob licença MIT
Link da Discussão, Link Original
Loat – Aumente o MRR com e-mails automatizados [Marketing]
4 pontos, 2 comentários
Loat é uma plataforma para fundadores automatizarem campanhas de e-mail para crescimento e onboarding sem precisar de um CRM dedicado.
- Automatiza sequências de e-mail para diferentes produtos
- Suporta campanhas educacionais de nutrição e newsletters
- Projetado para equipes enxutas maximizarem o e-mail como canal de crescimento
- Construído a partir de ferramentas internas usadas em um produto de impostos de alta confiança
Link da Discussão, Link Original
Um Servidor MCP para Entender Custos da AWS [Finanças]
14 pontos, 3 comentários
Um Servidor MCP que conecta LLMs como Claude e Cursor a dados de custo e uso da AWS via API Vantage para gerenciamento de custos em nuvem orientado por IA.
- Integra-se com LLMs (Claude, Cursor, com ChatGPT e Gemini em breve)
- Suporta 20+ provedores de nuvem (AWS, Datadog, MongoDB, etc.)
- Permite consultas de custo ad-hoc, planos de ação e fluxos de trabalho multi-ferramenta
- Requer uma conta Vantage para acesso à API
- Open-source (repositório GitHub disponível)
OpenWrt Configurator – Gerenciamento simples de configuração para dispositivos OpenWrt [Ferramentas para Desenvolvedores]
3 pontos, 0 comentários
Uma ferramenta CLI para gerenciamento fácil de configuração de dispositivos OpenWrt, com planos para uma UI web e alternativa open-source ao UniFi Controller.
- Simplifica o provisionamento de configurações em vários dispositivos OpenWrt
- Baseado em CLI para gerenciamento rápido e scriptável
- Planos futuros incluem uma UI web para melhor usabilidade
- Visa ser uma alternativa open-source ao UniFi Controller
Link da Discussão, Link Original
Transforme APIs REST do Rails em Servidores de Protocolo de Contexto de Modelo (MCP) [Ferramentas para Desenvolvedores]
3 pontos, 0 comentários
Transforme APIs REST do Rails em Servidores de Protocolo de Contexto de Modelo (MCP).
- Converte APIs REST do Rails em servidores MCP
- Aprimora a funcionalidade da API com protocolo de contexto de modelo
Link da Discussão, Link Original
Pomo – Gerencie seus códigos promocionais do Stripe sem código [Negócios]
4 pontos, 6 comentários
Uma ferramenta gratuita para criar e gerenciar códigos promocionais do Stripe em lote sem codificação.
- Solução sem código para criar códigos promocionais únicos no Stripe
- Geração em lote com prefixos personalizáveis
- Configuração simples usando chaves de API do Stripe
- Exporta códigos promocionais para campanhas de marketing
Link da Discussão, Link Original
Mailfrom.dev – Uma Alternativa Mais Barata ao MailTrap [Ferramentas para Desenvolvedores]
3 pontos, 2 comentários
Um servidor SMTP sandbox simples e acessível para testar fluxos de e-mail em ambientes de dev/staging sem enviar e-mails reais.
- Alternativa acessível ao MailTrap
- Configuração fácil e compartilhamento com equipe/clientes
- Suporta testes de fluxos de e-mail (redefinições, onboarding, verificações)
- Construído com Laravel, Vue 3, shadcn, hospedado em k3s (Hetzner)
- Usa AWS S3 e SES para armazenamento e manipulação de e-mails
Link da Discussão, Link Original
Meu motor de jogo de dungeon crawler baseado em texto em Python [Entretenimento]
3 pontos, 0 comentários
Um motor de dungeon crawler baseado em texto em Python criado durante a recuperação de uma cirurgia.
- Mundos de jogo definidos em JSON
- Inclui salas, loot e monstros
- Open-source no GitHub
TSCE – Pense Antes de Falar (Enriquecimento Contextual em Duas Etapas para LLMs) [Ferramentas para Desenvolvedores]
3 pontos, 0 comentários
TSCE é uma biblioteca Python que melhora a precisão de pequenos modelos de linguagem em seguir instruções usando uma arquitetura em duas etapas sem fine-tuning.
- Nenhum fine-tuning necessário, funciona com modelos existentes como GPT-3.5 e GPT-4
- Melhora a confiabilidade separando pensar (Fase 1) e responder (Fase 2)
- Compatível com APIs OpenAI e Azure OpenAI
- Sobrecarga mínima de latência (~2 chamadas de API) para saídas mais claras e precisas
- Prompts de sistema personalizáveis para respostas sob medida
Link da Discussão, Link Original
Mermaid Open Editor 2.0 [Ferramentas para Desenvolvedores]
3 pontos, 1 comentários
Mermaid Open Editor 2.0 é uma versão atualizada do editor de diagramas Mermaid open-source.
- Open-source
- Suporta criação de diagramas Mermaid