HackerNews Daily - 22 May 2025
Devstral
Mistral AI ha rilasciato Devstral, un LLM agentico open-source progettato specificamente per attività di ingegneria del software. Questo modello supera tutte le altre alternative open-source nel benchmark SWE-Bench Verified di oltre il 6%, raggiungendo un punteggio del 46,8% su problemi reali di GitHub. Ciò che è particolarmente impressionante è che Devstral supera GPT-4.1-mini di oltre il 20%, pur essendo abbastanza leggero da funzionare su una singola RTX 4090 o su un Mac con 32 GB di RAM. Rilasciato con licenza Apache 2.0, questo modello è immediatamente disponibile su piattaforme come Hugging Face, Ollama e LM Studio. 🚀
(https://mistral.ai/news/devstral)
Gemini Diffusion
Google ha introdotto Gemini Diffusion, un rivoluzionario LLM che utilizza tecniche di diffusione invece dei tradizionali metodi di generazione autoregressiva. A differenza dei modelli linguistici convenzionali che generano testo un token alla volta, Gemini Diffusion perfeziona iterativamente gli output partendo dal rumore, consentendogli di generare contenuti alla sorprendente velocità di 857 token al secondo. Questo lo rende cinque volte più veloce di Gemini 2.0 Flash-Lite di Google, mantenendo una qualità comparabile. L’esperienza diretta dimostra che può creare applicazioni HTML+JavaScript interattive complete in pochi secondi. Il miglioramento della velocità rappresenta un significativo avanzamento nella tecnologia LLM, simile a quanto ottenuto da Cerebras Coder, ma in un formato più accessibile. ⚡
(https://simonwillison.net/2025/May/21/gemini-diffusion/)
Per gli algoritmi, un po' di memoria vale più di molto tempo
Il professor Ryan Williams del MIT ha sbalordito la comunità informatica con una dimostrazione rivoluzionaria sulla relazione tra memoria (spazio) e tempo nel calcolo computazionale. Williams ha stabilito che una piccola quantità di memoria può essere potente quanto molto tempo di elaborazione in tutti i calcoli concepibili — una scoperta così improbabile che inizialmente l’ha accantonata, credendo contenesse errori. La dimostrazione include una procedura matematica per trasformare qualsiasi algoritmo in modo da utilizzare significativamente meno spazio, sfidando la convinzione consolidata che certi compiti richiedano uno spazio proporzionale al tempo di esecuzione. Questa scoperta ha importanti implicazioni per la teoria della complessità computazionale e potrebbe offrire nuovi approcci per affrontare uno dei problemi irrisolti più antichi dell’informatica. 🧠
(https://www.quantamagazine.org/for-algorithms-a-little-memory-outweighs-a-lot-of-time-20250521/)
I decibel Sono Assurdi
Il sistema di misurazione del decibel (dB) è sorprendentemente controintuitivo e incoerente, nonostante il suo uso diffuso. A differenza delle vere unità di misura, i decibel funzionano più come un prefisso (simile a "mega-" in megabyte), descrivendo un cambiamento di grandezza piuttosto che un valore assoluto. Ancora più confusamente, i decibel si applicano diversamente a seconda che si misuri la potenza (dove +1 bel equivale a un aumento di 10×) o la tensione (dove equivale a un aumento di √10×). Ad aumentare la confusione, l'unità originale "bel" è stata arbitrariamente divisa in dieci decibel, creando moltiplicatori irrazionali. Il sistema diventa ancora più sconcertante con applicazioni specifiche per settore che utilizzano punti di riferimento diversi senza chiare indicazioni nell'etichetta "dB" stessa. 🤔
(https://lcamtuf.substack.com/p/decibels-are-ridiculous)
Come far accettare un paper
Un ricercatore accademico condivide la drastica trasformazione che ha portato il suo paper, inizialmente rifiutato da una conferenza (con punteggi di 2.5, 3, 3), a essere accettato (con punteggi di 4, 4.5, 4.5) grazie a modifiche minori. L’intuizione chiave: circa l’80% della qualità percepita di un paper viene determinata dalla prima pagina. La revisione vincente si è concentrata nel rendere il titolo specifico e memorabile ("Neural Naturalist" invece di una descrizione generica), nel creare una Figura 1 ricca di informazioni con chiari punti chiave, nello scrivere un abstract concreto che evita affermazioni eccessive e nello strutturare l’introduzione per presentare subito la tensione del problema. Oltre la prima pagina, l’autore ha aggiunto baseline, ablazioni, test di significatività statistica ed elementi visivi chiari—mantenendo invariato il contributo scientifico di base. 📝
(https://maxwellforbes.com/posts/how-to-get-a-paper-accepted/)
Kotlin-Lsp: Server del Linguaggio Kotlin e Plugin per Visual Studio Code
JetBrains ha rilasciato un'implementazione ufficiale del protocollo Language Server per Kotlin e un'estensione per Visual Studio Code, portando lo sviluppo Kotlin potenziato da IntelliJ IDEA su VS Code. Attualmente in fase sperimentale pre-alpha, l'implementazione sfrutta IntelliJ IDEA e il plugin Kotlin per fornire servizi linguistici. Al momento sono completamente supportati solo i progetti Kotlin Gradle basati su JVM, ma il team sta esplorando rapidamente diversi aspetti dell’esperienza di sviluppo, inclusa l'interoperabilità con Java e le funzionalità di debugging. Il progetto è parzialmente closed-source per ora, al fine di consentire uno sviluppo più rapido, ma JetBrains prevede di renderlo completamente open-source dopo la fase iniziale di stabilizzazione. Il codice dell’estensione per VS Code è già disponibile pubblicamente in un repository separato. ⌨️
(https://github.com/Kotlin/kotlin-lsp)
ITXPlus: Una Riproduzione della Scheda Logica del Macintosh Plus in Formato ITX
Un hobbista di nome max1zzz ha sviluppato ITXPlus, una riproduzione in formato Mini-ITX della scheda logica del classico Macintosh Plus, costruibile interamente senza componenti Apple originali. Il progetto include comodità moderne come l’uscita VGA tramite il convertitore video basato su Pico di GuruThree, compatibilità con alimentatori ATX standard, un header SCSI interno e 4 MB di RAM saldata. La scheda utilizza vari componenti sviluppati dalla community, tra cui un sostituto discreto per il Sony Sound IC e un sostituto RTC basato su ATTiny. Questo progetto è particolarmente significativo perché rappresenta uno dei primi esempi di build Mac completi "senza parti originali", consentendo agli appassionati di creare sistemi Macintosh vintage funzionanti senza dover cannibalizzare hardware originale sempre più raro. 🖥️
(https://68kmla.org/bb/index.php?threads/itxplus-a-itx-sized-macintosh-plus-logicboard-reproduction.49715/)
Perché Debian modifica il software?
Debian, la longeva distribuzione Linux nota per la sua stabilità e per i principi del software libero, modifica i pacchetti software originali per diverse ragioni specifiche. Queste includono il rispetto delle policy Debian (ad esempio, la standardizzazione delle posizioni dei file), il miglioramento dell’interoperabilità tra programmi, la rimozione di codice “phone home” o di funzioni di auto-aggiornamento che aggirano il sistema di pacchettizzazione Debian, l’inclusione di correzioni di bug prima della loro disponibilità upstream, l’eliminazione di componenti non-free per rispettare le Linee Guida Debian per il Software Libero, e l’aggiunta di documentazione come le pagine di manuale quando non fornite upstream. Tali modifiche riflettono l’impegno di Debian per la coerenza a livello di sistema, la privacy, la sicurezza e la filosofia del software libero. 🐧
(https://blog.liw.fi/posts/2025/why-debian-changes/)
Direct TLS può velocizzare le tue connessioni
Un curioso problema di latenza nelle connessioni negli uffici AWS ha portato alla scoperta e all’adozione di una preziosa funzionalità di PostgreSQL: Direct TLS. Gli ingegneri hanno notato che le connessioni ad Aurora DSQL impiegavano circa 3 secondi quando si era fuori dalla VPN aziendale, ma erano rapide quando la VPN era attiva. L’indagine ha rivelato che i firewall Cisco tentavano di ispezionare i certificati TLS aprendo una seconda connessione, interferendo con il tradizionale handshake di PostgreSQL. PostgreSQL 17 ha introdotto Direct TLS, che permette ai client di saltare la richiesta SSL preliminare e avviare immediatamente l’handshake TLS. Questo risparmia un round-trip di latenza e funziona correttamente con gli apparati di sicurezza di rete. Per servizi only-TLS come Aurora DSQL, l’adozione di Direct TLS elimina il ritardo di 3 secondi senza alcuno svantaggio, rendendo le connessioni sensibilmente più veloci. 🔒
(https://marc-bowes.com/postgres-direct-tls.html)
JEP 519: Header di Oggetti Compatti
Gli Header di Oggetti Compatti di Java, introdotti come funzionalità sperimentale nel JDK 24 tramite il JEP 450, sono ora promossi a funzionalità standard. Questa ottimizzazione riduce il sovraccarico di memoria degli oggetti Java restringendone gli header, con conseguenti risparmi di memoria e miglioramenti prestazionali significativi. I test condotti da Amazon su centinaia di servizi in produzione (utilizzando backport per JDK 21 e JDK 17) ne hanno confermato la stabilità, mentre i benchmark mostrano una riduzione delle garbage collection in SPECjbb2015 del 15% sia con i collettori G1 sia con quelli Paralleli. L’implementazione ha riservato dei bit per le future funzionalità del Project Valhalla e, qualora fosse necessario ulteriore spazio negli header, le tecniche sviluppate nel Project Lilliput possono essere utilizzate per comprimere ulteriormente i puntatori di classe e i codici hash di identità. ☕
(https://openjdk.org/jeps/519)