Selezione Quotidiana di Show HN (2025-07-14)
- Un launcher compatibile con Raycast per Linux
- Impara gli LLM nello stile di LeetCode
- Un Lisp per la generazione di codice e metaprogrammazione in linguaggi non-Lisp
- Un interprete di sogni basato solo su browser che utilizza logica simbolica e JavaScript
- Ho creato questo per parlare danese con la mia ragazza – funziona con qualsiasi lingua
- Helper type-safe per PostgreSQL in Kysely – array, JSONB e operazioni vettoriali
- c0admin – Un assistente AI basato su terminale per sysadmin Linux
- Ho creato uno strumento gratuito per sincronizzare le attività di Strava con il tuo calendario
- Editing simile a un CMS per Markdown con contenteditable e 100 righe di JS
- Il modo più semplice per usare MCP. local-first. 100% open source
- Un'app Android open-source per scoprire software rispettoso della privacy
- Clu3 – Gioca in squadra con GPT in una partita 2v2 di Codenames
- HNping 'ricordami più tardi' per HN via web push
- Ho aggiunto il Game of Life al mio sito portfolio ed è fantastico
- Sohri – Trasforma storie brevi in episodi audio coinvolgenti
- Abbiamo sviluppato uno strumento AI per diagnosticare problemi alle auto
- Ho creato un'app di chat LLM perché non dovremmo aver bisogno di 10 abbonamenti AI
- Magnetar, una libreria ad alte prestazioni per il parsing e la manipolazione di BitTorrent
- 0xDEAD//Type – Uno sparatutto veloce con vibrazioni retrò
- FluidAudio – Diarizzazione rapida di speaker su CoreML
Un launcher compatibile con Raycast per Linux [Strumenti per Sviluppatori]
128 punti, 28 commenti
Un launcher compatibile con Raycast per Linux costruito con Tauri, Rust e Svelte.
- Compatibile con la maggior parte delle estensioni di Raycast
- Renderer React personalizzato e API per il supporto alle estensioni
- Open-source e in fase iniziale per feedback della community
Link alla Discussione, Link Originale
Impara gli LLM nello stile di LeetCode [Educazione]
111 punti, 18 commenti
Pratica la risoluzione di problemi LLM in un formato simile a LeetCode.
- Approccio interattivo alla risoluzione dei problemi
- Concentrato su sfide relative agli LLM
- Formato di apprendimento strutturato
Link alla Discussione, Link Originale
Un Lisp per la generazione di codice e metaprogrammazione in linguaggi non-Lisp [Strumenti per Sviluppatori]
3 punti, 0 commenti
Un dialetto Lisp progettato per la generazione di codice e metaprogrammazione in linguaggi non-Lisp.
- Scritto in RPython per prestazioni e compatibilità
- Puntato a sviluppatori non-Lisp per una più facile adozione
- Progetto in fase iniziale con funzionalità mancanti come moduli e pattern matching
- Codice sorgente non ancora pubblicato per preoccupazioni di sostenibilità
Link alla Discussione, Link Originale
Un interprete di sogni basato solo su browser che utilizza logica simbolica e JavaScript [Assistente di Vita]
12 punti, 4 commenti
Un interprete di sogni basato su browser che utilizza logica simbolica e JavaScript senza AI o backend.
- Funziona interamente nel browser con JavaScript vanilla
- Utilizza un sistema di parole chiave mappato manualmente con oltre 300 significati personalizzati
- Scansiona il testo del sogno e applica logica deterministica per l'interpretazione
- Memorizza tutti i dati localmente in localStorage senza tracciamento o interazione con il server
- Progettato per esplorare modelli subconsci senza machine learning
Link alla Discussione, Link Originale
Ho creato questo per parlare danese con la mia ragazza – funziona con qualsiasi lingua [Educazione]
18 punti, 7 commenti
Un'app per l'apprendimento delle lingue che aiuta gli utenti a praticare la scrittura in una lingua target correggendo e spiegando gli errori in tempo reale.
- Corregge e spiega le parti poco chiare contrassegnate con parentesi graffe
- Fornisce feedback immediato senza interrompere il flusso di apprendimento
- Include una funzionalità di cronologia per rivedere gli errori
- Piani per espandersi con riepiloghi delle aree che necessitano miglioramento
- Progettato per permettere agli studenti di praticare la scrittura con sicurezza senza affidarsi ai traduttori
Link alla Discussione, Link Originale
Helper type-safe per PostgreSQL in Kysely – array, JSONB e operazioni vettoriali [Strumenti per Sviluppatori]
3 punti, 0 commenti
Helper type-safe per PostgreSQL in Kysely con supporto per array, JSONB e operazioni vettoriali.
- Integrazione type-safe con PostgreSQL
- Supporta array e JSONB
- Include operazioni vettoriali
- Progettato per l'uso con Kysely
Link alla Discussione, Link Originale
c0admin – Un assistente AI basato su terminale per sysadmin Linux [Strumenti per Sviluppatori]
7 punti, 1 commenti
Un assistente AI basato su terminale per sysadmin Linux che funziona localmente utilizzando la tua chiave API Gemini.
- Funziona localmente con la tua chiave API Gemini
- Nessuna registrazione, server o tracciamento richiesto
- Fornisce suggerimenti interattivi direttamente nel terminale
Link alla Discussione, Link Originale
Ho creato uno strumento gratuito per sincronizzare le attività di Strava con il tuo calendario [Produttività]
7 punti, 3 commenti
Sincronizza le attività di Strava con il tuo calendario gratuitamente.
- Strumento gratuito
- Sincronizza automaticamente le attività di Strava
- Si integra con app di calendario
Link alla Discussione, Link Originale
Editing simile a un CMS per Markdown con contenteditable e 100 righe di JS [Produttività]
4 punti, 1 commenti
Editor Markdown con editing simile a un CMS utilizzando contenteditable in sole 100 righe di JS.
- Editing simile a un CMS per Markdown
- Utilizza contenteditable per editing avanzato
- Implementazione minima (100 righe di JS)
Link alla Discussione, Link Originale
Il modo più semplice per usare MCP. local-first. 100% open source [Strumenti per Sviluppatori]
10 punti, 2 commenti
Il modo più semplice per usare MCP con approccio local-first e completamente open-source.
- Architettura local-first
- 100% open-source
- Implementazione semplice di MCP
Link alla Discussione, Link Originale
Un'app Android open-source per scoprire software rispettoso della privacy [Tecnologia per Consumatori]
5 punti, 0 commenti
App Android open-source per scoprire software rispettoso della privacy.
- Aiuta gli utenti a trovare software focalizzato sulla privacy
- Open-source e trasparente
- Progettata per dispositivi Android
Link alla Discussione, Link Originale
Clu3 – Gioca in squadra con GPT in una partita 2v2 di Codenames [Intrattenimento]
3 punti, 0 commenti
Riassunto in una frase: Clu3 è un gioco 2v2 di Codenames in cui ogni squadra è composta da un umano e un LLM per testare quanto bene l'AI può prevedere gli indizi umani.
- Gameplay a squadre con umani e LLM che collaborano
- Testa la capacità degli LLM di comprendere e prevedere indizi umani
- Progettato per interazione multiplayer con amici
- Ispirato al classico gioco da tavolo Codenames
Link alla Discussione, Link Originale
HNping 'ricordami più tardi' per HN via web push [Produttività]
8 punti, 2 commenti
HNping è uno strumento che invia notifiche web push per ricordare agli utenti di rivisitare i post di Hacker News in un secondo momento.
- Imposta promemoria per i post di HN con notifiche agli orari scelti (da 5 minuti a 1 settimana)
- Nessuna informazione personale richiesta—utilizza UUID per account anonimi
- Configurazione semplice: trascina un bookmarklet e abilita le notifiche
- Basato su Cloudflare Worker con archiviazione D1 e Firebase Cloud Messaging per le notifiche push
Link alla Discussione, Link Originale
Ho aggiunto il Game of Life al mio sito portfolio ed è fantastico [Design]
4 punti, 0 commenti
Un sito portfolio ispirato al terminale con il Game of Life di Conway come comando interattivo.
- Interfaccia in stile terminale per la navigazione del portfolio
- Comando interattivo "gameoflife" per giocare al Game of Life di Conway
- Design unico e tematico per un portfolio di sviluppatore
- Incoraggia l'interazione e il feedback degli utenti
Link alla Discussione, Link Originale
Sohri – Trasforma storie brevi in episodi audio coinvolgenti [Audio]
8 punti, 2 commenti
Sohri trasforma storie brevi in episodi audio coinvolgenti con narrazione AI, offrendo una piattaforma amichevole per i creatori.
- Converte il testo in audio di alta qualità e dal suono naturale senza toni robotici
- Semplifica la creazione audio gestendo ritmo, tono e produzione automaticamente
- Fornisce una piattaforma dedicata ai creatori, evitando le politiche restrittive dei siti mainstream
- Gratuito da usare con funzionalità core che rimarranno sempre gratuite
- Progettato per sperimentazione e monetizzazione senza interferenze algoritmiche
Link alla Discussione, Link Originale
Abbiamo sviluppato uno strumento AI per diagnosticare problemi alle auto [Tecnologia per Consumatori]
5 punti, 1 commenti
Strumento di diagnostica auto alimentato da AI che fornisce spiegazioni in linguaggio semplice dei problemi dell'auto basate su marca/modello, codici di errore e sintomi.
- Analizza codici di errore OBD2 e sintomi segnalati dall'utente
- Fornisce problemi probabili, passaggi di verifica e raccomandazioni di riparazione
- Progettato per proprietari di auto, fai-da-te e professionisti
- Utilizza AI addestrata su riparazioni con dati automobilistici reali
- Mira a informare gli utenti prima di visitare i meccanici
Link alla Discussione, Link Originale
Ho creato un'app di chat LLM perché non dovremmo aver bisogno di 10 abbonamenti AI [ChatBots]
46 punti, 51 commenti
Un'app di chat LLM unificata che permette agli utenti di accedere a più modelli AI con prezzi pay-per-use.
- Paga solo per ciò che usi, evitando abbonamenti multipli
- Funziona con vari modelli AI (ChatGPT, Claude, Gemini, ecc.)
- Supporta prompt, documenti e basi di conoscenza su tutti i modelli
- Elimina la necessità di passare tra diverse app AI
Link alla Discussione, Link Originale
Magnetar, una libreria ad alte prestazioni per il parsing e la manipolazione di BitTorrent [Strumenti per Sviluppatori]
5 punti, 0 commenti
Libreria ad alte prestazioni per il parsing e la manipolazione di BitTorrent senza dipendenze.
- Zero dipendenze
- Operazioni memory-safe
- Supporta file torrent, dati bencode e link magnet
Link alla Discussione, Link Originale
0xDEAD//Type – Uno sparatutto veloce con vibrazioni retrò [Intrattenimento]
5 punti, 0 commenti
Uno sparatutto veloce con meccaniche di battitura e design retrò.
- Gameplay veloce che combina meccaniche di battitura e sparatutto
- Design visivo e audio ispirato al retrò
- Nessun testo aggiuntivo o contesto fornito nel post
Link alla Discussione, Link Originale
FluidAudio – Diarizzazione rapida di speaker su CoreML [Audio]
6 punti, 0 commenti
FluidAudio è una soluzione open-source Swift per la diarizzazione degli speaker ottimizzata per CoreML, progettata per iOS e macOS.
- Esegue la diarizzazione degli speaker insieme alla trascrizione in modo efficiente
- Supporta l'offload su GPU e ANE per prestazioni migliori
- Converte direttamente modelli PyTorch in CoreML per compatibilità nativa con Swift
- Piani per aggiungere integrazione VAD e trascrizione Parakeet
- Focalizzato su prestazioni in tempo reale, specialmente per Mac M1