Seleção Diária do Show HN (2025-10-23)
- Cuq – Verificação Formal de Kernels Rust para GPU
- Crie diagramas interativos com conteúdo pop-up
- Subway Surfers no Seu Terminal
- Maktabah Islam ELKIRTASS sendo revivido no Qt6 CMake
- ProxyBridge redireciona qualquer tráfego TCP/UDP do Windows para proxies HTTP/SOCKS5
- SerenDB – Um fork do PostgreSQL Neon otimizado para cargas de trabalho de agentes de IA
- Execute qualquer GitHub Action localmente a partir do seu Cron job -- finalmente!
- Parando o Retraimento Extremo – Guia gratuito de IA para ansiedade extrema
- AutoLearn Skills para agentes de autoaperfeiçoamento
- Cont3xt.dev – Conhecimento Universal de Equipe para Ferramentas de Codificação com IA
- RuleHunt – TikTok para Autômatos Celulares
- Analisador JSON incremental para chamadas de ferramentas LLM em streaming em Ruby
- UHOP – Escapando do Lock-In da Nvidia com uma Camada Aberta de Otimização de Hardware
- UHOP – Uma Plataforma Aberta de Otimização de Hardware para GPUs
- Timeplus Proton 3.0 – O primeiro motor SQL de streaming vetorizado
- caniscrape – Analise proteções anti-bot antes de fazer scraping (CLI e Web)
- Pong Wars Idle Game
- Buzzd Chat – um projeto de revivificação do Yahoo Messenger
- Eu tenho 13 anos e construí uma IA que lembra o contexto entre conversas
Cuq – Verificação Formal de Kernels Rust para GPU [Ferramentas para Desenvolvedores]
31 pontos, 23 comentários
Ferramenta de verificação formal para kernels Rust em GPU.
- Garante a correção de kernels Rust em GPU
- Utiliza métodos de verificação formal
- Foca na segurança da programação em GPU
Link da Discussão, Link Original
Crie diagramas interativos com conteúdo pop-up [Design]
30 pontos, 0 comentários
Ferramenta de diagrama interativo com conteúdo pop-up para fácil compartilhamento e documentação.
- Crie diagramas com pop-ups acionados por clique/hover
- Nenhum login necessário para compartilhar via link da web
- Útil para documentação de sistemas, onboarding e apresentações
- Experimente sem se cadastrar em app.vexlio.com
Link da Discussão, Link Original
Subway Surfers no Seu Terminal [Entretenimento]
3 pontos, 1 comentário
Jogo Subway Surfers jogável diretamente no terminal.
- Instalável via Homebrew
- Projetado para melhorar o foco durante pausas no fluxo de trabalho
- Execução simples via linha de comando
Link da Discussão, Link Original
Maktabah Islam ELKIRTASS sendo revivido no Qt6 CMake [Ferramentas para Desenvolvedores]
3 pontos, 0 comentários
Revivificação do ELKIRTASSE, uma contraparte da Maktabah Shamilah, agora atualizada para Qt6 e CMake.
- Modernizado com o framework Qt6
- Utiliza o sistema de build CMake
- Aberto para contribuições e melhorias da comunidade
Link da Discussão, Link Original
ProxyBridge redireciona qualquer tráfego TCP/UDP do Windows para proxies HTTP/SOCKS5 [Ferramentas para Desenvolvedores]
3 pontos, 0 comentários
ProxyBridge redireciona qualquer tráfego TCP/UDP do Windows para proxies HTTP/SOCKS5.
- Redireciona tráfego TCP/UDP no Windows
- Suporta proxies HTTP e SOCKS5
- Nenhum texto ou detalhe adicional fornecido
Link da Discussão, Link Original
SerenDB – Um fork do PostgreSQL Neon otimizado para cargas de trabalho de agentes de IA [Ferramentas para Desenvolvedores]
6 pontos, 1 comentário
Um fork do PostgreSQL otimizado para cargas de trabalho de IA com recursos aprimorados de segurança e desempenho.
- Consultas de viagem no tempo para depuração e auditoria de decisões de agentes
- Scale-To-Zero com pgvector para bancos de dados inativos com custo eficiente
- Detecção de injeção de prompt para prevenir ataques específicos de IA
- Criação de branch em 100ms para testes rápidos e rollback
- Código aberto com um serviço hospedado em desenvolvimento
Link da Discussão, Link Original
Execute qualquer GitHub Action localmente a partir do seu Cron job -- finalmente! [Ferramentas para Desenvolvedores]
21 pontos, 0 comentários
Execute GitHub Actions localmente a partir de Cron jobs.
- Execute GitHub Actions localmente
- Agende via Cron jobs
- Não necessita de runners em nuvem do GitHub
Link da Discussão, Link Original
Parando o Retraimento Extremo – Guia gratuito de IA para ansiedade extrema [Saúde]
3 pontos, 1 comentário
Guia gratuito baseado em IA para ajudar a gerenciar ansiedade extrema e sintomas de retraimento.
- Oferece orientação baseada em IA para ansiedade extrema
- Foca no gerenciamento de sintomas de retraimento
- Recurso gratuito para usuários
Link da Discussão, Link Original
AutoLearn Skills para agentes de autoaperfeiçoamento [Assistente de Vida]
27 pontos, 11 comentários
AutoLearn Skills para agentes de autoaperfeiçoamento.
- Permite aquisição autônoma de habilidades
- Projetado para agentes de autoaperfeiçoamento
Link da Discussão, Link Original
Cont3xt.dev – Conhecimento Universal de Equipe para Ferramentas de Codificação com IA [Ferramentas para Desenvolvedores]
3 pontos, 3 comentários
Conhecimento Universal de Equipe para Ferramentas de Codificação com IA.
- Base de conhecimento centralizada para ferramentas de codificação com IA
- Projetado para colaboração em equipe
- Melhora a eficiência de ferramentas de IA com contexto compartilhado
Link da Discussão, Link Original
RuleHunt – TikTok para Autômatos Celulares [Entretenimento]
13 pontos, 8 comentários
Uma plataforma no estilo TikTok para descobrir e classificar regras interessantes de autômatos celulares.
- Busca em um vasto espaço de 2^512 possíveis regras de autômatos celulares
- Interface móvel no estilo TikTok para descoberta aleatória de regras
- Interface desktop para busca direcionada de regras
- Usuários podem favoritar regras preferidas, contribuindo para um ranking global
- Código aberto com um repositório GitHub disponível
Link da Discussão, Link Original
Analisador JSON incremental para chamadas de ferramentas LLM em streaming em Ruby [Ferramentas para Desenvolvedores]
11 pontos, 0 comentários
Analisador JSON incremental para chamadas de ferramentas LLM em streaming em Ruby, otimizado para desempenho em tempo real.
- Processa JSON caractere por caractere para chamadas de ferramentas de IA em streaming
- Mantém o estado de análise para evitar comportamento O(n²), garantindo desempenho O(n)
- Reduz atrasos na UI processando apenas novos caracteres
- Disponível como uma gem Ruby com licença MIT
Link da Discussão, Link Original
UHOP – Escapando do Lock-In da Nvidia com uma Camada Aberta de Otimização de Hardware [Ferramentas para Desenvolvedores]
3 pontos, 0 comentários
UHOP é uma camada aberta de otimização de hardware projetada para quebrar o lock-in da Nvidia, permitindo a execução de código em GPU de diferentes fornecedores com seleção e geração automatizada de kernels.
- Detecta hardware e seleciona o melhor backend (CUDA, ROCm, OpenCL, etc.)
- Usa geração de kernels assistida por IA para CUDA, OpenCL e Triton
- Suporta operações fundidas como conv2d+ReLU e matmul
- Faz benchmarking e armazena kernels ótimos para desempenho
- Inclui CLI e um painel inicial no navegador para monitoramento
- Aberto, hackeável e orientado pela comunidade para melhorias futuras
Link da Discussão, Link Original
UHOP – Uma Plataforma Aberta de Otimização de Hardware para GPUs [Ferramentas para Desenvolvedores]
3 pontos, 0 comentários
UHOP é um framework aberto para otimizar cargas de trabalho em GPU em diferentes arquiteturas sem lock-in de fornecedor, com geração de kernels assistida por IA e detecção de hardware.
- Detecta automaticamente backends de hardware e seleciona kernels ótimos
- Faz benchmarking de operações fundidas como conv+ReLU
- Armazena e reutiliza kernels ajustados para eficiência
- Gera kernels dinamicamente via codegen (CUDA/OpenCL/Python/Triton)
- Suporta geração de kernels assistida por IA usando APIs da OpenAI
- Fornece uma CLI simples para demonstrações e benchmarking
- Planos incluem melhor integração de backends, otimização distribuída e um painel web
Link da Discussão, Link Original
Timeplus Proton 3.0 – O primeiro motor SQL de streaming vetorizado [Ferramentas para Desenvolvedores]
10 pontos, 10 comentários
Timeplus Proton 3.0 é um motor SQL de streaming vetorizado que oferece capacidades de streaming de nível empresarial em um único binário sem dependências.
- Primeiro motor SQL de streaming vetorizado em C++ moderno com compilação JIT
- Alto throughput, baixa latência e processamento de alta cardinalidade
- Suporte completo a streaming (ETL, joins, agregação, alertas, tarefas)
- Conectores nativos para Kafka, Redpanda, Pulsar, ClickHouse e mais
- Suporte nativo a UDF/UDAF em Python para cargas de trabalho de IA/ML
- Desempenho de nível empresarial na edição comunitária
Link da Discussão, Link Original
caniscrape – Analise proteções anti-bot antes de fazer scraping (CLI e Web) [Ferramentas para Desenvolvedores]
3 pontos, 2 comentários
Uma ferramenta para analisar proteções anti-bot antes de fazer scraping, disponível como CLI e versão web.
- Detecta proteções ativas como WAF, CAPTCHA, limites de taxa, impressão digital TLS e honeypots
- Fornece uma pontuação de dificuldade (0-10) para scraping
- Sugere ferramentas/abordagens necessárias para scraping bem-sucedido
- CLI instalável via pip (
pip install caniscrape) - Versão web disponível em caniscrape.org
- Atualmente limitada para sites muito difíceis (ex.: Amazon, YouTube) devido a proteções invisíveis
- Versão web usa um IP em nuvem que pode estar na lista negra de grandes sites (rotação de proxy planejada)
Link da Discussão, Link Original
Pong Wars Idle Game [Entretenimento]
5 pontos, 1 comentário
Um jogo idle simples inspirado no Pong Wars, criado em apenas 3 horas.
- Desenvolvido rapidamente em 3 horas como um projeto divertido de codificação
- Inspirado no conceito do Pong Wars
- Focado em capturar uma abordagem de desenvolvimento relaxada e orientada por vibração
Link da Discussão, Link Original
Buzzd Chat – um projeto de revivificação do Yahoo Messenger [ChatBots]
3 pontos, 0 comentários
Buzzd Chat é um projeto de revivificação do Yahoo Messenger (Y!M) com foco na versão V9, com uma comunidade crescente e suporte rico em recursos.
- Suporta Y!M V9 com planos para expandir para outras versões
- Inclui autenticação, fotos de perfil e gerenciamento de status
- Oferece gerenciamento de contatos (adicionar/excluir/grupo/ignorar) e controles de visibilidade
- Permite compartilhamento de lista de contatos e gerenciamento de contatos
- Suporta compartilhamento de fotos, arquivos, audibles e emoticons
- Recursos de mensagens confiáveis com confirmações de entrega
Link da Discussão, Link Original
Eu tenho 13 anos e construí uma IA que lembra o contexto entre conversas [Assistente de Vida]
8 pontos, 8 comentários
Assistente de IA com memória contextual e serviços integrados para uso pessoal e empresarial.
- Construído por uma adolescente de 13 anos e seu pai após múltiplas falhas em startups
- Combina email, ajuda em codificação, pesquisa e planejamento em uma única interface
- Inclui Thesys generative UI para gráficos visuais e Modo de Estudo com ensino socrático
- Suporta integração empresarial via Nityasha Connect
- 500+ usuários ativos