Selezione Quotidiana di Show HN (2025-10-23)
- Cuq – Verifica Formale di Kernel Rust per GPU
- Crea diagrammi interattivi con contenuti a comparsa
- Subway Surfers nel Tuo Terminale
- Maktabah Islam ELKIRTASS rivive su Qt6 CMake
- ProxyBridge reindirizza qualsiasi traffico TCP/UDP di Windows a proxy HTTP/SOCKS5
- SerenDB – Un fork di PostgreSQL Neon ottimizzato per carichi di lavoro di agenti AI
- Esegui qualsiasi GitHub Action localmente dal tuo Cron job -- finalmente!
- Fermare l'Estremo Ritiro – Guida AI gratuita per ansia estrema
- AutoLearn Skills per agenti auto-miglioranti
- Cont3xt.dev – Conoscenza Universale di Team per Strumenti di Codifica AI
- RuleHunt – TikTok per Automi Cellulari
- Parser JSON incrementale per chiamate di strumenti LLM in streaming in Ruby
- UHOP – Scappare dal Lock-In di Nvidia con un Livello di Ottimizzazione Hardware Aperto
- UHOP – Una Piattaforma di Ottimizzazione Hardware Aperta per GPU
- Timeplus Proton 3.0 – Il primo motore SQL streaming vettorizzato
- caniscrape – Analizza le protezioni anti-bot prima di fare scraping (CLI e Web)
- Pong Wars Idle Game
- Buzzd Chat – un progetto di revival di Yahoo Messenger
- Ho 13 anni e ho costruito un AI che ricorda il contesto tra le conversazioni
Cuq – Verifica Formale di Kernel Rust per GPU [Strumenti per Sviluppatori]
31 punti, 23 commenti
Strumento di verifica formale per kernel Rust per GPU.
- Garantisce la correttezza dei kernel Rust per GPU
- Utilizza metodi di verifica formale
- Mira alla sicurezza nella programmazione GPU
Link Discussione, Link Originale
Crea diagrammi interattivi con contenuti a comparsa [Design]
30 punti, 0 commenti
Strumento per diagrammi interattivi con contenuti a comparsa per una condivisione e documentazione facile.
- Crea diagrammi con pop-up attivati da click/hover
- Nessun accesso richiesto per la condivisione via link web
- Utile per documentazione di sistema, onboarding e presentazioni
- Prova senza registrarti su app.vexlio.com
Link Discussione, Link Originale
Subway Surfers nel Tuo Terminale [Intrattenimento]
3 punti, 1 commento
Gioco Subway Surfers giocabile direttamente nel terminale.
- Installabile via Homebrew
- Progettato per migliorare la concentrazione durante le pause di lavoro
- Esecuzione semplice da riga di comando
Link Discussione, Link Originale
Maktabah Islam ELKIRTASS rivive su Qt6 CMake [Strumenti per Sviluppatori]
3 punti, 0 commenti
Rivitalizzazione di ELKIRTASSE, una controparte di Maktabah Shamilah, ora aggiornata a Qt6 e CMake.
- Modernizzato con il framework Qt6
- Utilizza il sistema di build CMake
- Aperto a contributi e miglioramenti della comunità
Link Discussione, Link Originale
ProxyBridge reindirizza qualsiasi traffico TCP/UDP di Windows a proxy HTTP/SOCKS5 [Strumenti per Sviluppatori]
3 punti, 0 commenti
ProxyBridge reindirizza qualsiasi traffico TCP/UDP di Windows a proxy HTTP/SOCKS5.
- Reindirizza il traffico TCP/UDP su Windows
- Supporta proxy HTTP e SOCKS5
- Nessun testo o dettaglio aggiuntivo fornito
Link Discussione, Link Originale
SerenDB – Un fork di PostgreSQL Neon ottimizzato per carichi di lavoro di agenti AI [Strumenti per Sviluppatori]
6 punti, 1 commento
Un fork di PostgreSQL ottimizzato per carichi di lavoro AI con funzionalità avanzate di sicurezza e prestazioni.
- Query time-travel per debug e audit delle decisioni degli agenti
- Scale-To-Zero con pgvector per database dormienti a costo efficiente
- Rilevamento di injection di prompt per prevenire attacchi specifici AI
- Creazione di branch in 100ms per test rapidi e rollback
- Open-source con un servizio ospitato in sviluppo
Link Discussione, Link Originale
Esegui qualsiasi GitHub Action localmente dal tuo Cron job -- finalmente! [Strumenti per Sviluppatori]
21 punti, 0 commenti
Esegui GitHub Actions localmente da Cron job.
- Esegue GitHub Actions localmente
- Pianificabile via Cron job
- Nessun bisogno di runner cloud di GitHub
Link Discussione, Link Originale
Fermare l'Estremo Ritiro – Guida AI gratuita per ansia estrema [Salute]
3 punti, 1 commento
Guida AI gratuita per aiutare a gestire ansia estrema e sintomi di ritiro.
- Fornisce guida basata su AI per ansia estrema
- Si concentra sulla gestione dei sintomi di ritiro
- Risorsa gratuita per gli utenti
Link Discussione, Link Originale
AutoLearn Skills per agenti auto-miglioranti [Assistente di Vita]
27 punti, 11 commenti
AutoLearn Skills per agenti auto-miglioranti.
- Abilita l'acquisizione autonoma di competenze
- Progettato per agenti auto-miglioranti
Link Discussione, Link Originale
Cont3xt.dev – Conoscenza Universale di Team per Strumenti di Codifica AI [Strumenti per Sviluppatori]
3 punti, 3 commenti
Conoscenza Universale di Team per Strumenti di Codifica AI.
- Base di conoscenza centralizzata per strumenti di codifica AI
- Progettato per la collaborazione di team
- Migliora l'efficienza degli strumenti AI con contesto condiviso
Link Discussione, Link Originale
RuleHunt – TikTok per Automi Cellulari [Intrattenimento]
13 punti, 8 commenti
Una piattaforma in stile TikTok per scoprire e classificare regole interessanti di automi cellulari.
- Esplora uno spazio vasto di 2^512 possibili regole di automi cellulari
- Interfaccia mobile-friendly in stile TikTok per la scoperta casuale di regole
- Interfaccia desktop per la ricerca mirata di regole
- Gli utenti possono segnare le regole preferite, contribuendo a una classifica globale
- Open-source con repository GitHub disponibile
Link Discussione, Link Originale
Parser JSON incrementale per chiamate di strumenti LLM in streaming in Ruby [Strumenti per Sviluppatori]
11 punti, 0 commenti
Parser JSON incrementale per chiamate di strumenti LLM in streaming in Ruby, ottimizzato per prestazioni in tempo reale.
- Elabora JSON carattere per carattere per chiamate di strumenti AI in streaming
- Mantiene lo stato di parsing per evitare comportamento O(n²), garantendo prestazioni O(n)
- Riduce il lag dell'interfaccia utente elaborando solo nuovi caratteri
- Disponibile come gem Ruby con licenza MIT
Link Discussione, Link Originale
UHOP – Scappare dal Lock-In di Nvidia con un Livello di Ottimizzazione Hardware Aperto [Strumenti per Sviluppatori]
3 punti, 0 commenti
UHOP è un livello di ottimizzazione hardware open-source progettato per rompere il lock-in di Nvidia abilitando l'esecuzione di codice GPU cross-vendor con selezione e generazione automatica di kernel.
- Rileva l'hardware e seleziona il backend migliore (CUDA, ROCm, OpenCL, ecc.)
- Utilizza generazione di kernel assistita da AI per CUDA, OpenCL e Triton
- Supporta operazioni fuse come conv2d+ReLU e matmul
- Esegue benchmark e memorizza i kernel ottimali per le prestazioni
- Include CLI e dashboard browser iniziale per il monitoraggio
- Aperto, hackabile e guidato dalla comunità per futuri miglioramenti
Link Discussione, Link Originale
UHOP – Una Piattaforma di Ottimizzazione Hardware Aperta per GPU [Strumenti per Sviluppatori]
3 punti, 0 commenti
UHOP è un framework open-source per ottimizzare carichi di lavoro GPU su diverse architetture senza lock-in del vendor, con generazione di kernel assistita da AI e rilevamento hardware.
- Rileva automaticamente i backend hardware e seleziona i kernel ottimali
- Esegue benchmark di operazioni fuse come conv+ReLU
- Memorizza e riutilizza kernel ottimizzati per efficienza
- Genera dinamicamente kernel via codegen (CUDA/OpenCL/Python/Triton)
- Supporta generazione di kernel assistita da AI utilizzando API OpenAI
- Fornisce una semplice CLI per demo e benchmarking
- Piani includono migliore integrazione backend, ottimizzazione distribuita e dashboard web
Link Discussione, Link Originale
Timeplus Proton 3.0 – Il primo motore SQL streaming vettorizzato [Strumenti per Sviluppatori]
10 punti, 10 commenti
Timeplus Proton 3.0 è un motore SQL streaming vettorizzato che offre capacità di streaming di livello enterprise in un singolo binario senza dipendenze.
- Primo motore SQL streaming vettorizzato in C++ moderno con compilazione JIT
- Elaborazione ad alta velocità, bassa latenza e alta cardinalità
- Supporto end-to-end per streaming (ETL, join, aggregazione, alert, task)
- Connettori nativi per Kafka, Redpanda, Pulsar, ClickHouse e altri
- Supporto nativo per UDF/UDAF Python per carichi di lavoro AI/ML
- Prestazioni di livello enterprise nell'edizione community
Link Discussione, Link Originale
caniscrape – Analizza le protezioni anti-bot prima di fare scraping (CLI e Web) [Strumenti per Sviluppatori]
3 punti, 2 commenti
Uno strumento per analizzare le protezioni anti-bot prima di fare scraping, disponibile come CLI e versione web.
- Rileva protezioni attive come WAF, CAPTCHA, limiti di rate, fingerprinting TLS e honeypot
- Fornisce un punteggio di difficoltà (0-10) per lo scraping
- Suggerisce strumenti/approcci necessari per lo scraping riuscito
- CLI installabile via pip (
pip install caniscrape) - Versione web disponibile su caniscrape.org
- Attualmente limitato per siti molto difficili (es. Amazon, YouTube) a causa di protezioni invisibili
- La versione web utilizza un IP cloud che potrebbe essere blacklistato da siti principali (rotazione proxy pianificata)
Link Discussione, Link Originale
Pong Wars Idle Game [Intrattenimento]
5 punti, 1 commento
Un semplice gioco idle ispirato a Pong Wars, creato in sole 3 ore.
- Sviluppato rapidamente in 3 ore come progetto di coding divertente
- Ispirato al concetto di Pong Wars
- Focalizzato su un approccio di sviluppo rilassato e guidato dall'atmosfera
Link Discussione, Link Originale
Buzzd Chat – un progetto di revival di Yahoo Messenger [ChatBots]
3 punti, 0 commenti
Buzzd Chat è un progetto di revival per Yahoo Messenger (Y!M) focalizzato sulla versione V9 con una comunità in crescita e supporto ricco di funzionalità.
- Supporta Y!M V9 con piani per espandersi ad altre versioni
- Include autenticazione, immagini del profilo e gestione dello stato
- Offre gestione dei contatti (aggiungi/elimina/gruppo/ignora) e controlli di visibilità
- Abilita condivisione della lista contatti e gestione dei contatti
- Supporta condivisione di foto, file, audibles ed emoticon
- Caratteristiche di messaggistica affidabile con conferme di consegna
Link Discussione, Link Originale
Ho 13 anni e ho costruito un AI che ricorda il contesto tra le conversazioni [Assistente di Vita]
8 punti, 8 commenti
Assistente AI con memoria contestuale e servizi integrati per uso personale e business.
- Costruito da una 13enne e suo padre dopo molteplici fallimenti di startup
- Combina email, aiuto per il coding, ricerca e pianificazione in un'unica interfaccia
- Include Thesys generative UI per grafici visivi e Study Mode con insegnamento socratico
- Supporta integrazione business via Nityasha Connect
- 500+ utenti attivi