Con l’acquisizione di SkipLabs, Mistral affida la creazione del nuovo Language team al gruppo guidato da Julien Verlaguet, fondatore di SkipLabs e tra i creatori del linguaggio di programmazione Hack in Facebook. Gli specialisti di linguaggi, compilatori e sistemi di tipi lavoreranno agli strumenti per rendere più rapida e affidabile la produzione di codice con l’AI, intervenendo sia sull’addestramento e sulla valutazione dei modelli sia sui metodi con cui gli agenti scrivono e verificano il software.
La verifica dentro il ciclo di generazione
Il punto di partenza di SkipLabs riguarda il rapporto fra chi scrive il codice e gli strumenti che ne controllano la correttezza. Compilatori, sistemi di tipi e strumenti di analisi sono stati progettati attorno a uno sviluppatore che legge un messaggio d’errore, ne valuta l’importanza e decide come intervenire. Nell’analisi del team, questo assetto comporta cicli di riscontro lenti e verifiche che arrivano dopo la scrittura del software, mentre i modelli producono già una quantità considerevole di codice, destinata a crescere.
Per un agente che programma servono controlli abbastanza veloci da essere eseguiti nel suo stesso ciclo di lavoro, indicazioni dalle quali il modello possa apprendere e linguaggi sui quali possa ragionare. La direzione indicata da SkipLabs consiste quindi nell’inserire il riscontro degli strumenti nel processo con cui l’AI costruisce e modifica il programma, così che la verifica possa accompagnare la generazione.
Le competenze del gruppo comprendono progettazione dei linguaggi, compilatori, sistemi di tipi, analisi statica e calcolo incrementale. I sistemi di tipi impongono regole sui valori e sulle operazioni ammesse in un programma, permettendo di intercettare determinate categorie di errori; l’analisi statica esamina il codice senza eseguirlo, mentre il calcolo incrementale aggiorna i risultati ricalcolando le parti interessate da una modifica. Sono ambiti nei quali il team riunisce decenni di esperienza nella realizzazione di linguaggi e strumenti di sviluppo utilizzati da migliaia di ingegneri.
Il mandato del nuovo Language team comprende tutte le fasi di sviluppo dei modelli per la programmazione. La ricerca esplorerà come linguaggi, sistemi di tipi, compilatori e analisi dei programmi possano contribuire alla prossima generazione di modelli e agenti: dalle modalità di addestramento e dai criteri di valutazione fino alla scrittura e alla verifica del software.
Verlaguet: ripensare gli strumenti per un autore AI
Verlaguet descrive così il cambiamento: “Ho dedicato la mia carriera a costruire linguaggi e sistemi di tipi progettati per individuare gli errori prima che il software venisse distribuito. Ogni strumento che abbiamo realizzato presupponeva che dall’altra parte ci fosse un essere umano: qualcuno che leggesse il messaggio d’errore, valutasse che cosa contava e scegliesse che cosa correggere. Con l’AI, l’autore non è più una persona. Questo fa venir meno molti dei presupposti su cui si fondano questi strumenti, ed è proprio questo l’aspetto entusiasmante: possiamo reinventarli da zero. In Mistral possiamo applicare queste idee fino al modo stesso in cui vengono addestrati i modelli”.
Con Hack, che combina caratteristiche della programmazione dinamica e della tipizzazione statica, il problema era già ottenere controlli sulla correttezza del codice mantenendo rapido il riscontro per lo sviluppatore. Nel 2014 Verlaguet ne presentava il sistema di controllo dei tipi: un’esperienza che il nuovo team applicherà ora al codice scritto dai modelli.
Il calcolo incrementale di Skip
Fra i progetti di SkipLabs figura Skip, un framework open source per costruire ed eseguire servizi reattivi, capaci di aggiornare i risultati quando cambiano i dati da cui dipendono. I servizi espongono risorse interrogabili via HTTP oppure sottoscrivibili dai client per ricevere aggiornamenti in tempo reale.
Il framework descrive i calcoli attraverso un grafo di dipendenze e ne gestisce l’aggiornamento, riducendo la necessità di ricalcolare tutto e di programmare esplicitamente la propagazione delle modifiche. Le trasformazioni devono essere deterministiche e prive di effetti collaterali: il risultato aggiornato deve corrispondere a quello che si otterrebbe rieseguendo da zero il calcolo sugli stessi dati. Questo progetto rende concreto il patrimonio di competenze sul calcolo incrementale citato nell’annuncio.
Nel catalogo di Mistral, Vibe Code offre già un agente dedicato allo sviluppo software, utilizzabile dal terminale, nell’editor VS Code e attraverso sessioni remote nel cloud. Sul versante delle applicazioni aziendali, Studio aggiunge strumenti per costruire e gestire agenti, workflow e app collegati ai dati e ai sistemi delle imprese.
