Selezione Quotidiana di Show HN (26-04-2025)
- Ho usato la nuova API per immagini di OpenAI per un servizio personalizzato di libri da colorare
- Formalizzazione di Principia Mathematica utilizzando Lean
- Magnitude – framework open-source e nativo per l'AI per testare app web
- Un foglio di calcolo moderno con integrazione Python
- BugStalker - un debugger moderno per Rust
- RSS Lookup – Trova feed RSS per qualsiasi URL (gratuito, open source)
- Faasta – Una piattaforma Serverless self-hosted per WASM-wasi-HTTP in Rust
- StackHound - Smetti di indovinare lo stack tecnologico di un repo, analizzalo in pochi secondi
- SnipFast – Estrai testo evidenziato da libri fisici
- Una demo interattiva della correzione degli errori nei codici QR
- Claude Code con GUI e Editor di Prompt a Blocchi (MIT)
- Loat – Aumenta il MRR con email automatizzate
- Un server MCP per comprendere i costi AWS
- OpenWrt Configurator – Gestione semplice della configurazione per dispositivi OpenWrt
- Trasforma API REST di Rails in server Model Context Protocol (MCP)
- Pomo – Gestisci i tuoi codici promozionali Stripe senza codice
- Mailfrom.dev – Un'alternativa più economica a MailTrap
- Il mio motore di gioco testuale per dungeon crawler in Python
- TSCE – Pensa Prima di Parlare (Arricchimento Contestuale in Due Fasi per LLM)
- Mermaid Open Editor 2.0
- Turbine – Un linguaggio di scripting per C/C++ con sintassi simile a Markdown
Ho usato la nuova API per immagini di OpenAI per un servizio personalizzato di libri da colorare [Immagini]
46 punti, 26 commenti
Un servizio che genera libri da colorare personalizzati da foto di famiglia utilizzando l'API per immagini di OpenAI.
- Utilizza l'API per immagini di OpenAI per automatizzare la creazione di pagine da colorare da foto caricate
- Si integra con servizi di stampa per consegnare libri da colorare fisici
- Attraente sia per adulti che per bambini per divertimento creativo e catartico
- Offre uno sconto del 10% per i primi utenti
Link alla Discussione, Link Originale
Formalizzazione di Principia Mathematica utilizzando Lean [Ricerca]
84 punti, 21 commenti
Un progetto per formalizzare Principia Mathematica di Bertrand Russell utilizzando il dimostratore di teoremi Lean, seguendo fedelmente le dimostrazioni originali.
- Formalizza il primo volume di Principia Mathematica utilizzando Lean4
- Segue rigorosamente le dimostrazioni di Russell con aggiunte minime
- Mira a un'elevata accuratezza e accoglie feedback su eventuali inesattezze
- Ispirato ma distinto da una formalizzazione esistente basata su Coq
- Open-source e disponibile su GitHub per la collaborazione
Link alla Discussione, Link Originale
Magnitude – framework open-source e nativo per l'AI per testare app web [Strumenti per Sviluppatori]
113 punti, 30 commenti
Un framework open-source e nativo per l'AI per testare app web utilizzando agenti LLM visivi per test più veloci, economici e affidabili.
- Utilizza la pura visione invece di sistemi "set-of-marks" soggetti a errori
- Impiega un piccolo VLM (Moondream) per esecuzioni più veloci ed economiche rispetto a OpenAI/Anthropic
- Presenta un sistema a due agenti: pianificatore per adattare i casi di test ed esecutore per esecuzioni rapide e consistenti
- Salva e riutilizza piani di test per efficienza, con ripiego sul pianificatore in caso di problemi
- Completamente open-source e ottimizzato specificamente per i test web
Link alla Discussione, Link Originale
Un foglio di calcolo moderno con integrazione Python [Produttività]
44 punti, 6 commenti
Un moderno strumento per fogli di calcolo con integrazione Python per gestire grandi dataset in modo efficiente.
- Elabora grandi dataset (4GB+) e carica file GB/32 milioni di righe in pochi secondi
- Supporta fino a 500GB di RAM senza crash
- Modifica, divide, unisce e pulisce file CSV/testo con fino a 32M righe e 1M colonne
- Consente funzioni Python come formule UDF, restituendo immagini o file CSV
- Include funzioni statistiche per dati pivot e funzioni di risoluzione con limiti virtualmente nulli
- Genera grafici istantaneamente con milioni di punti dati
- Incorpora attivamente feedback degli utenti per miglioramenti
Link alla Discussione, Link Originale
BugStalker - un debugger moderno per Rust [Strumenti per Sviluppatori]
103 punti, 15 commenti
Un debugger moderno per Rust scritto in Rust.
- Debugger moderno per Rust
- Scritto in Rust stesso
- Progettato per il debug di applicazioni Rust
Link alla Discussione, Link Originale
RSS Lookup – Trova feed RSS per qualsiasi URL (gratuito, open source) [Strumenti per Sviluppatori]
4 punti, 3 commenti
Uno strumento gratuito e open-source per trovare feed RSS per qualsiasi URL analizzando meta tag, percorsi di ripiego e feed predefiniti.
- Cerca automaticamente feed RSS da qualsiasi URL di sito web
- Utilizza meta tag, percorsi di ripiego e feed predefiniti per siti popolari
- Open-source senza pubblicità o tracciamento URL
- Include Cloudflare Turnstile per prevenire abusi e Plausible per analisi
Link alla Discussione, Link Originale
Faasta – Una piattaforma Serverless self-hosted per WASM-wasi-HTTP in Rust [Strumenti per Sviluppatori]
86 punti, 30 commenti
Faasta è una piattaforma serverless self-hosted per funzioni WASM-wasi-HTTP, scritta in Rust, che offre multi-tenancy efficiente e alta concorrenza.
- Open-source e conforme agli standard per hosting WASI-HTTP
- Abilita migliaia di invocazioni di funzioni concorrenti in un singolo processo
- Utility CLI disponibile via
cargo install cargo-faasta - Istanza ospitata gratuita con deployment via GitHub OAuth (limite di 10 funzioni per account)
- Più efficiente delle soluzioni serverless tradizionali basate su VM come AWS Lambda
Link alla Discussione, Link Originale
StackHound - Smetti di indovinare lo stack tecnologico di un repo, analizzalo in pochi secondi [Strumenti per Sviluppatori]
5 punti, 1 commento
StackHound analizza repo GitHub per rivelare il loro stack tecnologico effettivo scansionando file di dipendenze.
- Scansiona file di dipendenze per scoprire strumenti, framework e linguaggi
- Funziona con React, Next.js, Tailwind, Flask, Spring Boot e altro
- Analisi istantanea inserendo un username GitHub e un repo
- Fornisce un endpoint API per l'integrazione in strumenti personalizzati
- Open-source e include una demo live
Link alla Discussione, Link Originale
SnipFast – Estrai testo evidenziato da libri fisici [Educazione]
9 punti, 0 commenti
Uno strumento per estrarre testo evidenziato da libri fisici tramite cattura di immagini.
- Rileva e estrae automaticamente testo evidenziato da foto di pagine
- Consente selezione manuale di frasi per copia precisa
- Utilizza un modello ML personalizzato per il rilevamento di evidenziazioni
- Prova gratuita con crediti, seguito da un piccolo pagamento per prevenire abusi
- Progettato per lettori, studenti e ricercatori
- Backend in Kotlin con database Postgres
- Feedback iniziale richiesto per miglioramenti a UI e usabilità
Link alla Discussione, Link Originale
Una demo interattiva della correzione degli errori nei codici QR [Tecnologia per Consumatori]
10 punti, 2 commenti
Demo interattiva che mostra la tolleranza agli errori dei codici QR permettendo agli utenti di disegnare su codici QR e vedere l'impatto dei danni in tempo reale.
- Visualizza la tolleranza agli errori dei codici QR con barre di salute e contatori di danni
- Passa tra modalità disegno e modalità ispezione per analisi dettagliata
- Utilizza un decoder C++ compilato in WebAssembly per feedback accurato in tempo reale
- Incoraggia la verifica tramite scansione con telefono per confermare punti di rottura
- Dimostra la resilienza dei codici QR con sfida di danni minimi alla regione dati
Link alla Discussione, Link Originale
Claude Code con GUI e Editor di Prompt a Blocchi (MIT) [Strumenti per Sviluppatori]
3 punti, 1 commento
Claude Code offre una GUI e un editor di prompt a blocchi per programmare con Claude.
- Presenta un'interfaccia grafica (GUI)
- Include un editor di prompt a blocchi
- Open-source sotto licenza MIT
Link alla Discussione, Link Originale
Loat – Aumenta il MRR con email automatizzate [Marketing]
4 punti, 2 commenti
Loat è una piattaforma per fondatori per automatizzare campagne email per la crescita e l'onboarding senza bisogno di un CRM dedicato.
- Automatizza sequenze di email per diversi prodotti
- Supporta campagne educative di nurturing e newsletter
- Progettato per team snelli per massimizzare l'email come canale di crescita
- Costruito da strumenti interni usati in un prodotto fiscale ad alta fiducia
Link alla Discussione, Link Originale
Un server MCP per comprendere i costi AWS [Finanza]
14 punti, 3 commenti
Un server MCP che collega LLM come Claude e Cursor ai dati di costo e utilizzo AWS tramite l'API Vantage per la gestione dei costi cloud guidata dall'AI.
- Si integra con LLM (Claude, Cursor, con ChatGPT e Gemini in arrivo)
- Supporta 20+ provider cloud (AWS, Datadog, MongoDB, ecc.)
- Abilita query di costo ad-hoc, piani d'azione e flussi di lavoro multi-strumento
- Richiede un account Vantage per l'accesso API
- Open-source (repo GitHub disponibile)
OpenWrt Configurator – Gestione semplice della configurazione per dispositivi OpenWrt [Strumenti per Sviluppatori]
3 punti, 0 commenti
Uno strumento CLI per la gestione semplice della configurazione di dispositivi OpenWrt, con piani per una UI web e un'alternativa open-source a UniFi Controller.
- Semplifica il provisioning di configurazioni su più dispositivi OpenWrt
- Basato su CLI per una gestione rapida e scriptabile
- Piani futuri includono una UI web per una migliore usabilità
- Mira a essere un'alternativa open-source a UniFi Controller
Link alla Discussione, Link Originale
Trasforma API REST di Rails in server Model Context Protocol (MCP) [Strumenti per Sviluppatori]
3 punti, 0 commenti
Trasforma API REST di Rails in server Model Context Protocol (MCP).
- Converte API REST di Rails in server MCP
- Migliora la funzionalità delle API con il protocollo di contesto del modello
Link alla Discussione, Link Originale
Pomo – Gestisci i tuoi codici promozionali Stripe senza codice [Business]
4 punti, 6 commenti
Uno strumento gratuito per creare e gestire codici promozionali Stripe in batch senza programmare.
- Soluzione no-code per creare codici promozionali unici in Stripe
- Generazione in batch con prefissi personalizzabili
- Configurazione semplice utilizzando chiavi API Stripe
- Esporta codici promozionali per campagne di marketing
Link alla Discussione, Link Originale
Mailfrom.dev – Un'alternativa più economica a MailTrap [Strumenti per Sviluppatori]
3 punti, 2 commenti
Un semplice e conveniente server SMTP sandbox per testare flussi di email in ambienti dev/staging senza inviare email reali.
- Alternativa economica a MailTrap
- Configurazione e condivisione semplici con team/clienti
- Supporta il test di flussi di email (resettare, onboarding, verifiche)
- Costruito con Laravel, Vue 3, shadcn, ospitato su k3s (Hetzner)
- Utilizza AWS S3 e SES per archiviazione e gestione email
Link alla Discussione, Link Originale
Il mio motore di gioco testuale per dungeon crawler in Python [Intrattenimento]
3 punti, 0 commenti
Un motore per dungeon crawler testuale basato su Python creato durante la convalescenza post-operatoria.
- Mondi di gioco definiti in JSON
- Include stanze, oggetti e mostri
- Open-source su GitHub
TSCE – Pensa Prima di Parlare (Arricchimento Contestuale in Due Fasi per LLM) [Strumenti per Sviluppatori]
3 punti, 0 commenti
TSCE è una libreria Python che migliora la precisione dei piccoli modelli linguistici nel seguire istruzioni utilizzando un'architettura in due fasi senza fine-tuning.
- Nessun fine-tuning richiesto, funziona con modelli esistenti come GPT-3.5 e GPT-4
- Migliora l'affidabilità separando il pensiero (Fase 1) e la risposta (Fase 2)
- Compatibile con API OpenAI e Azure OpenAI
- Sovraccarico di latenza minimo (~2 chiamate API) per output più chiari e accurati
- Prompt di sistema personalizzabili per risposte su misura
Link alla Discussione, Link Originale
Mermaid Open Editor 2.0 [Strumenti per Sviluppatori]
3 punti, 1 commento
Mermaid Open Editor 2.0 è una versione aggiornata dell'editor open-source per diagrammi Mermaid.
- Open-source
- Supporta la creazione di diagrammi Mermaid
- Funzionalità migliorate nella versione 2.0
[Link alla Discussione](https://news.ycombinator.com/item?id=437