Constrained Decoding: LLM come classificatori veloci
Ecco un trucco economico e silenziosamente utile: se ti interessa solo il primo token che un LLM emetterebbe, puoi porgli una domanda a risposta multipla e...
Linguaggi di programmazione
Approfondimenti sui linguaggi di programmazione: nuove funzionalità, prestazioni ed evoluzione dell'ecosistema.
15 articoli
Le regole di programmazione di Rob Pike valgono ancora
Nel 1989 Rob Pike — che in seguito avrebbe co-creato Go, UTF-8 e Plan 9 — mise per iscritto cinque regole di programmazione. Sono abbastanza brevi da stare su...
Il gap tra specifica e implementazione è dove vivono i bug
Ogni tanto, nei circoli di teoria dei linguaggi di programmazione, riemerge un'affermazione: 'una specifica sufficientemente dettagliata è indistinguibile dal...
Database a grafo incorporabili oltre SQLite
SQLite è ovunque. Sta nel tuo telefono, nel browser, nella smart TV, probabilmente nell'auto. Ha risolto un problema fondamentale, cioè dare alle applicazioni...
Cosa succede quando un progetto open source perde il suo leader
Quando Ryan Dahl si fece da parte da Node.js, il progetto sopravvisse, ma ci vollero anni di ristrutturazione della governance, un fork (io.js) e una...
Come i compilatori JIT velocizzano i linguaggi dinamici
Ruby ha la reputazione di essere lento. Lo stesso vale per Python. Lo stesso valeva per JavaScript, almeno finché V8 non lo ha reso abbastanza veloce da...
Java continua a migliorare e nessuno se ne accorge
Java è il Rodney Dangerfield dei linguaggi di programmazione: non ottiene mai il rispetto che merita. Nomina Java alla maggior parte degli sviluppatori sotto i...
Branch Prediction della CPU: il collo di bottiglia nascosto del tuo codice
C'è una risposta famosa su Stack Overflow che è stata vista più di 3 milioni di volte. La domanda: perché elaborare un array ordinato è più veloce che...
FFmpeg Demistificato: il Modello Mentale che Ti Manca
Ci siamo passati tutti. Devi convertire un video, quindi cerchi su Google e trovi una risposta su Stack Overflow con un comando che sembra scritto sbattendo la...
Cosa insegna costruire una shell sui sistemi Unix
Ogni sviluppatore usa una shell ogni giorno. Pochi capiscono davvero cosa fa. La shell sembra un'applicazione — digiti dei comandi e lei li esegue — ma in...
Perché il Lisp conta ancora dopo sei decenni
Ogni pochi anni qualcuno scrive un saggio dal titolo «Il Lisp è morto», e ogni pochi anni qualcun altro fa notare che metà delle funzionalità del suo...
Le API di sistema Linux da conoscere per ogni sviluppatore
Nel 1969 Ken Thompson e Dennis Ritchie sedevano in un ufficio dei Bell Labs e presero una serie di decisioni progettuali che sarebbero sopravvissute quasi a...
Il compilatore JIT di Python finalmente è realtà
Python è stato «troppo lento» per tutta la sua esistenza. La risposta standard della comunità Python — «usa le estensioni C per i cicli critici» — è sempre...
Perché conta jemalloc: memoria su larga scala
Ogni volta che il tuo programma chiama malloc(), qualcosa deve decidere quale porzione di memoria virtuale restituire. Questa decisione — banale per un...
Perché il software di qualità richiede tempo
Flask ha impiegato otto anni per arrivare alla versione 1.0. SQLite è in sviluppo attivo dal 2000 e riceve ancora miglioramenti significativi. Il kernel Linux...