Selezione Quotidiana di Show HN (2025-09-20)
- Zedis – Un clone di Redis che sto scrivendo in Zig
- WeUseElixir - Directory di progetti Elixir
- PlantDiagrams – Editor PlantUML alimentato da AI
- The Blots Programming Language
- Strato OS per eseguire più agenti Codex in parallelo
- Devsyringe – automatizza l'iniezione di valori dinamici in file statici
- Esegui Qwen3-Next-80B su GPU da 8GB con una velocità di 1tok/2s
- Lucy Edit AI - Un editor video AI guidato da testo gratuito
- RustNet, un TUI per il monitoraggio di rete con identificazione dei processi
- GPU Kill – Uno strumento CLI per terminare lavori GPU bloccati senza riavviare
- Una cache distribuita RDMA/Infiniband per inferenza e addestramento veloci
- Ho creato Cursor per la ricerca B2B che costruisce liste di lead tramite prompt
- Microcontrollore con VM Lua accelerata hardware
- Nallely – Un sistema di elaborazione segnali/MIDI in Python ispirato a Smalltalk
- Creare un'app con Monkey C per computer da bici
- Accesso a server zero-trust senza chiavi SSH, VPN o firewall
Zedis – Un clone di Redis che sto scrivendo in Zig [Strumenti per Sviluppatori]
28 punti, 5 commenti
Un clone di Redis scritto in Zig da zero.
- Implementato in Zig per prestazioni e sicurezza
- Replica le funzionalità principali di Redis
- Progetto open-source per apprendimento e sperimentazione
Link Discussione, Link Originale
WeUseElixir - Directory di progetti Elixir [Strumenti per Sviluppatori]
68 punti, 9 commenti
Directory di progetti costruiti con Elixir.
- Raccolta di progetti basati su Elixir
- Mostra casi d'uso reali
- Contributi guidati dalla comunità
Link Discussione, Link Originale
PlantDiagrams – Editor PlantUML alimentato da AI [Strumenti per Sviluppatori]
3 punti, 0 commenti
Editor PlantUML alimentato da AI che converte descrizioni in linguaggio naturale in diagrammi istantaneamente.
- Da linguaggio naturale a PlantUML con anteprima live
- Esporta diagrammi (SVG/PNG/TXT)
- Organizza il lavoro con Progetti
- Condividi tramite link con commenti opzionali
- Galleria di esempi
Link Discussione, Link Originale
The Blots Programming Language [Strumenti per Sviluppatori]
10 punti, 2 commenti
Blots è un piccolo linguaggio di programmazione orientato alle espressioni, progettato per calcoli rapidi e manipolazione di dati.
- Sintassi orientata alle espressioni per codici concisi
- Utile per calcoli rapidi e manipolazione di JSON
- Runtime attuale 100x più veloce della versione iniziale
- Piani per passare a un interprete bytecode per prestazioni migliori
- Progettato per uso personale e lavorativo come blocco note
Link Discussione, Link Originale
Strato OS per eseguire più agenti Codex in parallelo [Strumenti per Sviluppatori]
6 punti, 2 commenti
Strato OS open-source per orchestrare più agenti Codex isolati in workspace paralleli.
- Permette di eseguire più agenti Codex simultaneamente
- Fornisce workspace isolati per ogni agente
- Tiene traccia dell'attività e dello stato degli agenti
- Soluzione open-source per flussi di lavoro di codifica collaborativa
Link Discussione, Link Originale
Devsyringe – automatizza l'iniezione di valori dinamici in file statici [Strumenti per Sviluppatori]
3 punti, 0 commenti
Devsyringe è uno strumento CLI in Go che automatizza l'iniezione di valori dinamici in file statici usando regole definite in YAML.
- Automatizza l'aggiornamento di file statici con valori dinamici come URL di tunnel o token API
- Usa una semplice configurazione YAML per definire le regole di iniezione
- Supporta vari casi d'uso (tunnel, chiavi API, documentazione, configurazioni CI/CD)
- Leggero e basato su riga di comando per facile integrazione nei flussi di lavoro
Link Discussione, Link Originale
Esegui Qwen3-Next-80B su GPU da 8GB con una velocità di 1tok/2s [Strumenti per Sviluppatori]
4 punti, 0 commenti
Esegui Qwen3-Next-80B su una GPU da 8GB con una velocità di 1 token ogni 2 secondi.
- Ottimizzato per GPU con poca memoria (8GB)
- Alta velocità (1 token/2s)
- Supporta il modello Qwen3-Next-80B
Link Discussione, Link Originale
Lucy Edit AI - Un editor video AI guidato da testo gratuito [Video]
3 punti, 0 commenti
Editor video gratuito alimentato da AI con editing guidato da testo.
- Editing video guidato da testo
- Gratuito
- Funzionalità alimentate da AI
Link Discussione, Link Originale
RustNet, un TUI per il monitoraggio di rete con identificazione dei processi [Strumenti per Sviluppatori]
3 punti, 0 commenti
RustNet è un monitor di rete basato su Terminal UI scritto in Rust che fornisce tracciamento delle connessioni in tempo reale con identificazione dei processi e rilevamento dei protocolli.
- Ispezione profonda dei pacchetti per HTTP, HTTPS/TLS (con SNI), DNS e rilevamento del protocollo QUIC
- Identificazione dei processi usando eBPF su Linux e PKTAP su macOS, catturando processi a breve durata
- Elaborazione multi-thread dei pacchetti con strutture dati lock-free per l'UI
- Supporto cross-platform (Linux, macOS, Windows, anche se l'ID del processo è limitato a Linux/macOS)
- Alternativa leggera a Wireshark per ispezione di rete rapida basata su TUI
Link Discussione, Link Originale
GPU Kill – Uno strumento CLI per terminare lavori GPU bloccati senza riavviare [Strumenti per Sviluppatori]
5 punti, 0 commenti
Uno strumento CLI per terminare processi GPU bloccati senza richiedere un riavvio del sistema.
- Termina lavori GPU bloccati
- Evita riavvii del sistema
- Interfaccia a riga di comando
Link Discussione, Link Originale
Una cache distribuita RDMA/Infiniband per inferenza e addestramento veloci [Strumenti per Sviluppatori]
13 punti, 0 commenti
Un sistema di cache distribuito che usa RDMA/Infiniband per comunicazione ad alta velocità per inferenza e addestramento.
- Utilizza RDMA/Infiniband per comunicazione a bassa latenza
- Progettato per accelerare sia inferenza che addestramento
- Architettura distribuita per prestazioni scalabili
Link Discussione, Link Originale
Ho creato Cursor per la ricerca B2B che costruisce liste di lead tramite prompt [Business]
6 punti, 1 commenti
Strumento di generazione lead B2B alimentato da AI che automatizza la ricerca, la cura, l'arricchimento e la qualificazione di lead con informazioni di contatto.
- Automatizza la ricerca manuale di lead e la creazione di database
- UI migliorata e agenti AI più intelligenti
- Fornisce dettagli di contatto dei decision-maker
- Offre una demo e uno sconto del 15% con il codice "PHK15"
Link Discussione, Link Originale
Microcontrollore con VM Lua accelerata hardware [Strumenti per Sviluppatori]
7 punti, 0 commenti
Microcontrollore con VM Lua accelerata hardware
- VM Lua accelerata hardware
- Work in progress (WIP)
- Aperto a feedback
Link Discussione, Link Originale
Nallely – Un sistema di elaborazione segnali/MIDI in Python ispirato a Smalltalk [Strumenti per Sviluppatori]
17 punti, 2 commenti
Un sistema di elaborazione segnali/MIDI basato su Python ispirato a Smalltalk, focalizzato su comportamenti dinamici ed emergenti.
- Permette il routing, il patching e l'elaborazione di segnali tramite neuroni reattivi
- Supporta sistemi distribuiti con neuroni network-bus per integrazione cross-tecnologia
- Fornisce una GUI mobile-friendly per patching visivo e configurazione
- Esegue efficientemente su Raspberry Pi 5 con basso uso di CPU e memoria
- Privilegia estensibilità e adattabilità runtime rispetto a prestazioni estreme
- Sfrutta l'ecosistema Python abbracciando la filosofia Smalltalk di "Sistemi come Cose Viventi"
Link Discussione, Link Originale
Creare un'app con Monkey C per computer da bici [Strumenti per Sviluppatori]
4 punti, 0 commenti
Sviluppo di app usando Monkey C per computer da bici.
- Progettato per applicazioni su computer da bici
- Utilizza il linguaggio di programmazione Monkey C
Link Discussione, Link Originale
Accesso a server zero-trust senza chiavi SSH, VPN o firewall [Strumenti per Sviluppatori]
3 punti, 0 commenti
Alpacon è una piattaforma zero-trust che elimina chiavi SSH e VPN per un accesso sicuro ai server.
- Onboarding istantaneo con accesso basato su ruoli
- Accesso verificabile con log dettagliati
- Politiche di accesso granulari e a privilegio minimo