Selezione Quotidiana di Show HN (2025-06-19)
- Unregistry – "docker push" direttamente su server senza un registro
- Workout.cool – Piattaforma open-source per il fitness coaching
- Ho creato una libreria di tensori da zero in C++/CUDA
- Trieve CLI – Agente LLM basato su terminale con strumento di ricerca per PDF
- Lstr – Un comando tree moderno e interattivo scritto in Rust
- Controlli di sicurezza locali gratuiti per la codifica AI in VSCode, Cursor e Windsurf
- Delve, una piattaforma open-source (AGPL) per l'analisi dati di livello enterprise
- ht-mcp – un server MCP in Rust per terminali headless per agenti
- AI Debate Arena – Scopri quale LLM discute meglio
- Consigli per un utente Windows che passa a Mac
- Calcolatore di Percentuali Facile
- WFGY – Un motore di ragionamento che ripara la logica degli LLM senza riaddestramento
- Revisioni Letterarie Interattive con Mappe di Conoscenza Visuali
- VerifyWise, una piattaforma open-source per la governance della conformità AI
- Rulebook AI – gestore di regole e memoria per IDE di codifica AI
- fzfm – file manager con fuzzy finder
- MediaCMS v6 – piattaforma video open-source con trimmer e RBAC
- Cpdown – Copia qualsiasi pagina web/sottotitolo di YouTube come Markdown pulito (pronto per LLM)
- Ho creato uno strumento che automatizza i contenuti social per fondatori di startup impegnati
- Piccolo verificatore di logica di Hoare usando SMT
Unregistry – "docker push" direttamente su server senza un registro [Strumenti per Sviluppatori]
42 punti, 8 commenti
Unregistry permette di inviare immagini Docker direttamente a server remoti senza bisogno di un registro.
- Elimina la necessità di un registro sfruttando lo storage integrato di Docker
- Aggiunge un comando
docker pusshper inviare immagini direttamente via SSH - Trasferisce solo i livelli mancanti per efficienza
- Usa un container temporaneo sull'host remoto e pulisce dopo l'uso
- Parte del progetto più ampio Uncloud per il deployment di container
Link alla Discussione, Link Originale
Workout.cool – Piattaforma open-source per il fitness coaching [Salute]
527 punti, 166 commenti
Una piattaforma open-source per il fitness coaching ricostruita da zero con funzionalità migliorate e senza problemi di licenza.
- 100% open-source, licenza MIT
- Include 1200+ esercizi con video, attributi e traduzioni
- Funzionalità di tracciamento del progresso
- Pronto per il multilingua
- Opzione di self-hosting
- Sviluppo guidato dalla comunità
Link alla Discussione, Link Originale
Ho creato una libreria di tensori da zero in C++/CUDA [Strumenti per Sviluppatori]
85 punti, 17 commenti
Una libreria leggera di tensori in C++/CUDA con un'API Python simile a PyTorch per eseguire piccoli LLM localmente.
- Core in C++ con supporto CUDA scritto da zero
- API Python familiare simile a PyTorch
- Supporta l'esecuzione di modelli reali (es. Qwen da HuggingFace) su CUDA/CPU
- Osservabilità integrata per Python e C++
- Supporto pianificato per BF16 e visualizzazione del carico GPU
Link alla Discussione, Link Originale
Trieve CLI – Agente LLM basato su terminale con strumento di ricerca per PDF [Strumenti per Sviluppatori]
25 punti, 9 commenti
Uno strumento CLI basato su terminale per interrogare PDF usando un agente LLM con capacità iterative di ricerca e recupero.
- Usa agenti LLM con strumenti di ricerca invece di riempire la finestra di contesto per un migliore recupero delle informazioni
- Flusso di lavoro semplice: carica PDF e interroga direttamente dal terminale
- Comportamento RAG personalizzabile e riferimenti alle fonti espandibili nelle risposte
- Gratuito fino a 1k chunk di documenti, con codice sorgente disponibile su GitHub e npm
Link alla Discussione, Link Originale
Lstr – Un comando tree moderno e interattivo scritto in Rust [Strumenti per Sviluppatori]
208 punti, 64 commenti
Un comando tree moderno e interattivo scritto in Rust con integrazione Git e funzionalità TUI.
- Modalità TUI Interattiva: Navigazione tramite tastiera, espansione/compressione di directory e apertura di file nell'editor predefinito.
- Integrazione con Stato Git: Mostra lo stato Git di file e directory con il flag
-G. - Integrazione con la Shell: Esporta i percorsi selezionati su stdout per il piping o l'uso in funzioni shell come
lcdper la navigazione visiva delle directory. - Funzionalità Aggiuntive: Supporta icone per tipi di file (Nerd Fonts), dimensioni dei file, permessi e rispetta
.gitignore.
Link alla Discussione, Link Originale
Controlli di sicurezza locali gratuiti per la codifica AI in VSCode, Cursor e Windsurf [Strumenti per Sviluppatori]
30 punti, 22 commenti
Codacy Guardrails è un'estensione IDE e uno strumento CLI gratuiti che scansiona e corregge problemi di sicurezza e qualità nel codice generato da AI in tempo reale.
- Si integra con assistenti di codifica AI come VS Code, Cursor e Windsurf
- Usa analizzatori statici open-source (Semgrep, Trivy) con 2000+ regole
- Supporta JavaScript/TypeScript, Python e Java
- Rileva vulnerabilità OWASP Top 10, segreti hardcoded e violazioni di stile
- Regole personalizzabili per esigenze specifiche del progetto
- Gratuito per sviluppatori individuali con piani a pagamento per team disponibili
Delve, una piattaforma open-source (AGPL) per l'analisi dati di livello enterprise [Strumenti per Sviluppatori]
15 punti, 13 commenti
Una piattaforma open-source per l'analisi dati di livello enterprise costruita con Django e tecnologie web moderne.
- Piattaforma scalabile per l'ingestione, la ricerca e la reportistica su grandi dataset
- Estensibile con app Django personalizzate
- Linguaggio di ricerca simile a pipe Unix alimentato da script Python
- Interfaccia web supporta tabelle, grafici a linee e a barre
- Costruita con Django, Django Rest Framework, webpack, JS e SCSS
Link alla Discussione, Link Originale
ht-mcp – un server MCP in Rust per terminali headless per agenti [Strumenti per Sviluppatori]
19 punti, 1 commento
Un server MCP in Rust che permette a strumenti di codifica AI di interagire con terminali come umani simulando input umani e gestione dello stato.
- Incapsula il terminale headless (HT) per permettere a strumenti di codifica agentici di usare strumenti CLI interattivi
- Supporta interazioni umane con terminali (es. navigazione di menu, modifica di testo in vim/emacs)
- 40x più veloce all'avvio (~50ms) e 70% in meno di uso di memoria (~15MB) rispetto alla versione TypeScript
- Singolo binario da 3MB senza dipendenze esterne
- Demo disponibile con Claude Code e Memex
- Installabile via Homebrew (
brew install ht-mcp)
Link alla Discussione, Link Originale
AI Debate Arena – Scopri quale LLM discute meglio [Intrattenimento]
3 punti, 1 commento
Piattaforma di dibattito alimentata da AI dove gli LLM discutono posizioni opposte su temi controversi per evidenziare argomentazioni bilanciate.
- Mette GPT-4o, Grok 3 e Gemini 2.5 Flash uno contro l'altro con posizioni pro/contro assegnate casualmente
- Gli utenti votano prima e dopo i dibattiti per misurare l'impatto persuasivo
- Mira a valutare gli LLM rilevando bias attraverso performance in dibattiti randomizzati
- Piani per affinare la struttura delle argomentazioni, ridurre il fluff e aggiungere output audio
- Progettato per utenti intellettualmente curiosi aperti a cambiare opinione
Link alla Discussione, Link Originale
Consigli per un utente Windows che passa a Mac [Tecnologia per Consumatori]
4 punti, 1 commento
Passare da Windows a Mac: consigli essenziali per una transizione fluida.
- Conoscenza distillata per utenti Windows che si adattano a Mac OS
- Ispirato da post simili e utili
- Si concentra su consigli pratici per l'uso
Link alla Discussione, Link Originale
Calcolatore di Percentuali Facile [Produttività]
3 punti, 0 commenti
Strumento semplice per calcolare percentuali.
- Calcoli rapidi di percentuali
- Interfaccia user-friendly
Link alla Discussione, Link Originale
WFGY – Un motore di ragionamento che ripara la logica degli LLM senza riaddestramento [Strumenti per Sviluppatori]
9 punti, 5 commenti
WFGY è un motore di ragionamento che corregge errori logici degli LLM senza riaddestramento usando un protocollo semantico basato su PDF.
- Corregge collasso di proiezione, loop di contraddizione e catene di inferenza ambigue
- Non richiede riaddestramento o chiamate di sistema—modifica direttamente le traiettorie di ragionamento
- Migliora il successo del ragionamento del 42.1%, l'allineamento semantico del 22.4% e la stabilità di 3.6×
- Include teoria formale, suite di prompt e risultati riproducibili
- Zero dipendenze, completamente open-source
Link alla Discussione, Link Originale
Revisioni Letterarie Interattive con Mappe di Conoscenza Visuali [Ricerca]
4 punti, 0 commenti
Uno strumento che trasforma revisioni letterarie in mappe di conoscenza interattive usando AI.
- Carica articoli di ricerca (PDF) e fonti web (HTML)
- AI genera mappe di conoscenza interattive dalle fonti
- Sfoglia riassunti ad alto livello o leggi riassunti dettagliati per fonte/sezione
- Espandi sezioni specifiche di interesse nella mappa
- Accedi alle fonti originali in contesto
- Fai domande contestuali sulla ricerca
- Revisioni pre-curate su temi come LLM, Modelli di Diffusione e Agenti AI
Link alla Discussione, Link Originale
VerifyWise, una piattaforma open-source per la governance della conformità AI [Business]
4 punti, 0 commenti
Una piattaforma open-source per la governance AI per conformità, preparazione agli audit e gestione del rischio.
- Fornisce preparazione agli audit, registri dei rischi e documentazione di conformità
- Include controlli di equità dei modelli con integrazione Fairlearn
- Supporta flussi di lavoro per EU AI Act e ISO 42001 con tracce di audit esportabili
- Include un registro di formazione per tracciare la literacy AI
- Offre self-hosting e sviluppo guidato dalla comunità
- Aperto a contributi di design via Figma
Link alla Discussione, Link Originale
Rulebook AI – gestore di regole e memoria per IDE di codifica AI [Strumenti per Sviluppatori]
18 punti, 4 commenti
Gestore di regole e memoria AI per IDE di codifica.
- Gestisce regole e memoria per la codifica AI
- Progettato per l'integrazione con IDE
Link alla Discussione, Link Originale
fzfm – file manager con fuzzy finder [Strumenti per Sviluppatori]
5 punti, 0 commenti
Un'utility Bash che trasforma fzf in un navigatore di file da terminale con ricerca fuzzy e supporto per anteprime.
- Naviga directory e cerca file con fuzzy search
- Anteprime dei contenuti dei file con bat (fallback su cat)
- Anteprime delle directory con eza (fallback su ls)
- Apri file nel tuo editor o visualizzatore (configurabile)
- Facilmente personalizzabile tramite variabili d'ambiente
Link alla Discussione, Link Originale
MediaCMS v6 – piattaforma video open-source con trimmer e RBAC [Video]
10 punti, 1 commento
Piattaforma video open-source con taglio e controllo degli accessi basato sui ruoli.
- Piattaforma video open-source
- Include funzionalità di taglio video
- Supporta il controllo degli accessi basato sui ruoli (RBAC)
Link alla Discussione, Link Originale
Cpdown – Copia qualsiasi pagina web/sottotitolo di YouTube come Markdown pulito (pronto per LLM) [Strumenti per Sviluppatori]
13 punti, 3 commenti
Un'estensione Chrome che converte il contenuto di pagine web o sottotitoli di YouTube in Markdown pulito con conteggio dei token per l'uso con LLM.
- Estrazione Intelligente del Contenuto: Rimuove annunci e sidebar per concentrarsi sul contenuto principale
- Conversione in Markdown Pulito: Converte HTML in Markdown ordinato
- Conteggio dei Token per LLM: Mostra il conteggio dei token per compatibilità con LLM
- Copia di Trascrizioni YouTube: Copia trascrizioni complete con titolo del video come intestazione
- Opzioni Personalizzabili: Scelta di estrattori e wrapping di blocchi di codice
- Gratuito e Open-Source: Costruito con WXT, React e TypeScript
Link alla Discussione, Link Originale
Ho creato uno strumento che automatizza i contenuti social per fondatori di startup impegnati [Marketing]
7 punti, 5 commenti
Uno strumento che automatizza la creazione e la pianificazione di contenuti social per fondatori di startup.
- Genera automaticamente un piano di contenuti di 30 giorni con grafiche
- Configurazione una tantum con dettagli del brand e obiettivi
- Si integra con piattaforme social per il posting automatico