0:01Beh, le statistiche parlano chiaro. Ci sono sempre meno programmatori che non utilizzano lei per programmare.
0:10Addirittura sta diventando difficile fare gli studi e gli studi in cui ci si cercano di evidenziare delle differenze tra chi non usa l'Ehi usa. Perché quando poi cercano di reclutare persone che non usano lei o a cui viene chiesto di non usare le per un certo tempo, queste persone dicono assolutamente no, non penso proprio che non utilizzerò lei eh per un un lungo
0:39periodo di tempo per partecipare a questo studio, cioè non si trova più la gente che che vuole zappare senza zappa, perché ormai è diventato questo il il livello livello di penetrazione di questa tecnologia nel nostro settore.
0:54Allora, il video potrebbe essere finito qui perché uno potrebbe dire "Beh, sì, è normale, c'è sempre un nucleo di resistenza che poi piano piano si scioglie e fra un po' nessuno più non userà le l'AI, ma in realtà queste resistenze, tanto per iniziare, hanno degli effetti su alcuni progetti significativi anche open source. Eh, e ora vedremo che c'è addirittura chi ha cambiato licenza, che ha messo delle policy chiare di non utilizzo delle AI nei propri progetti e così via, ma anche
1:24la questione è che questi sviluppatori spesso coincidono con gli sviluppatori più maturi, a volte anche che hanno grandi abilità, per cui non può essere una questione che non viene approfondita almeno un po'. Io oggi voglio parlare in particolare di due casi interessanti.
1:44Uno è lo sviluppatore AFIR, noto con lo pseudonimo di AFIR, quello che per capirci fa i test sui database con nella sua suite, nel suo progetto che si chiama Jepsen e l'altro è ehm Ashai Linux, cioè il progetto che si occupa di fare il porting dei driver e del della parte di boot e così via. eh di Linux verso l'hardware Apple, i
2:12processori della serie M, per capirci, eh M1 M2, da poco hanno supportato M3, insomma, ora vedremo. Questi due casi sono estremamente notevoli. Partiamo da Afir.
2:25FIR, sviluppatore con cui io in passato, ricercatore in realtà, con cui in passato io ho avuto anche qualche screio perché con Redis non sono riuscito a far passare l'idea eh che non tutti i database dovessero essere eh appunto sistemi eh linearizzabili, fortemente consistenti e così via, anzi barattare un comportamento in un caso limite, pur comunque cercando di eh fare
2:54sì che la perdita di dati sia bounded di eccetera eccetera per ottenere un sistema che poi nella realtà dei fatti funziona meglio. Però questa questa flessibilità mentale non l'ho trovata.
3:08Eh, infatti tanti tante persone poi tante aziende sono andate appresso a questa new wave e sono fallite. aziende importanti di database dove c'erano persone che sapevano il fatto loro, che avevano fatto anche dei sistemi interessanti che poi però per una questione, diciamo, ideologica e non in realtà necessariamente aderente a quello che erano i requisiti in realtà dei loro
3:37clienti, hanno fatto poi un tonfo per questo motivo qua. Però si deve dire che AFIR ha avuto un effetto nel mondo dei database di scoperchiare ehm il fatto che fossero pieni di bug, anche quando dicevano di avere certe caratteristiche, poi quelle caratteristiche non c'erano. Ora, detto questo, io l'ho dito molto chiaramente, eh, anche, diciamo, qualora vi facessero vedere questo video, vi dico la verità,
4:06me ne fotto perché io sono molto schietto comeè schietto lui. A me non mi piace il modo in cui lui comunica e opera, però bisogna dargli il credito che che merita e il credito è appunto che se un sistema ti dice che ha delle proprietà, se queste proprietà vengono annunciate, c'è un essere davvero. lui ha fatto vedere come si potevano testare queste caratteristiche, eh, cercando, diciamo, di eh trovare una gran parte di stati possibili in cui il
4:34sistema si potesse trovare e in cui certe caratteristiche eh fallivano.
4:40Di solito, quali sono questi stati?
4:42Tu vuoi fare due cose, tanto per iniziare, vuoi creare delle partizioni di rete e mentre ci sono delle scritture e queste partizioni variano continuamente per ehm per visitare molti stati possibili, ma allo stesso tempo puoi anche simulare dei crash con recovery e quindi poi se c'è un'interazione tra le partizioni tra Fync, il modo in cui vengono letti i dati e così via, vengono fuori un botto
5:12di di bug interessanti.
5:16Afir è anche tra una è una delle voci di rifiuto all'intelligenza artificiale.
5:23Allora, l'ultima volta ha pubblicato su Aker News l'ultimo test che aveva fatto per un cliente pagante e c'erano anche bug assolutamente banali che aveva trovato. Scusa, ma com'è che il tuo cliente non ti ha non prima non ha fissato questi bug con le Y? Ora guardate cosa è successo con GPT6 Cyber.
5:43In sostanza Lei ha trovato anche nuove classi di attacco o ha esteso le classi esistenti e ha trovato migliaia di bug importanti, 96 bug critici eh su Firefox, un botto di bug su Linux Kernel, ma voi credete che non è in grado di ragionare allo stesso modo sui bug che riguardano la consistenza dei sistemi? Ma chiaramente, ragazzi, c'è
6:11qualcosa che non va. Ok? E allora io mi chiedo uno sviluppatore come AFIR che si chiude in quelle posizioni, eh che succede se poi lui pubblica uno studio e questo stesso studio può essere fatto in maniera automatica in un'ora, in 2 ore dall'AI. Ma forse magari continua a pubblicarlo perché comunque dire poi che il tuo sistema è stato debugged
6:39eh da AFIR ha un peso di marketing, cioè una comunicazione positiva perché c'è qualcuno esperto che è andato a guardare e assicura che i bug che si potevano trovare con quel sistema con Jepson sono stati trovati. E che succede però se io prendo una ricerca di AFIR e la faccio passare da un modello di intelligenza artificiale molto potente e questo trova un sacco di bug in più.
7:04la sua credibilità è ancora intatta o a quel punto non ha più senso perché non è neanche credibile. Quindi questi sviluppatori si stanno andando a mettere in una condizione di indifendibilità, in una condizione molto peculiare.
7:23Peraltro lo stesso AFIR ora c'era un altro post su news suo in cui si lamentava che il sistema di time tracking che utilizzava ora se l'è comprato Bending Spoons e ora ha aumentato i prezzi, ma tipo ha decuplicato il prezzo, eh, per cui insomma è diventato costava che ne so tipo €10 al mese, ora costa €100 al mese, una cosa del genere, ma eh qualunque altro
7:52sviluppatore che non avesse che avesse la sua esperienza e non avesse questo tipo di problemi con lei, nel giro di un'ora si sarebbe rifatto fare le funzioni che utilizza di quel sistema lì e sarebbe finita lì, invece lui si mette in una condizione di difficoltà e queste cose questo l'ha pubblicato, ma tutti noi oggi stiamo sostanzialmente risolvendo un botto di problemi che che avremmo
8:18in maniera immediata, in maniera era eccezionale utilizzando lei, e invece lui no, per cui ti metti anche in una condizione di difficoltà eh pratica che è, ripeto, inspiegabile, che ti crea uno svantaggio sistematico, per cui queste si stanno mettendo in questa in questa situazione qua. Ma ora ne parliamo del fatto se possono o meno facilmente recuperare, perché secondo me
8:47da un lato sì, da un lato no. Eh, prima vorrei citare però il discorso di Ashai Linux. Non mi ricordo se si dice se si pronuncia a Shai. Qualora non fosse così, me ne frego, non mi rompete le palle nei commenti. Non è questo che è importante, non è questa la ragion d'essere del video. Ripeto, questo progetto ha questa intenzione di porting. Hanno cambiato la licenza da eh Meet a GPL versione 2 eh perché credono
9:16che si stanno approfittando del lavoro che loro fanno per avere fini commerciali. Ma se tu metti la licenza Meet, tu vuoi che il tuo lavoro sia anche utilizzato per fini commerciali, quindi non avevi capito la licenza con la quale con la quale stavi rilasciando il progetto, il che già di per sé è un po' m non lo so, fa sorgere dei grandi dubbi.
9:39Inoltre la andare dalla licenza GPL Meet alla GPL è molto spesso problematico, nel senso che i collaboratori precedenti ti avevano dato eh il loro benestare per la licenza GPL, non è che poi tu puoi fare lo switch, al contrario si può fare. Se il lavoro è MIT, tu puoi farlo diventare GPL senza chiedere niente a nessuno, ma l'inverso non vale. Cioè, a quanto pare non hanno neanche chiesto a tutti quelli che avevano collaborato al
10:08progetto. Questo li mette in una posizione legale e anche di scorrettezza in teoria verso la community piuttosto grave. Altro che utilizzare l'AI e appropriarsi del loro lavoro. In realtà quelli che hanno utilizzato l'AI per fare dei fork non hanno violato niente, invece loro facendo così stanno violando la licenza, quindi la questione è molto complicata. Allora loro perché si stanno mettendo in una condizione di merda?
10:31Perché chi ha fatto dei fork poi nel giro di un mese ha scritto un un driver GPU accelerato per M4, mentre loro hanno appena rilasciato la versione per M3 senza l'accelerazione. Cioè, vi rendete conto? Loro vivono un ritardo sistematico grave, non se ne rendono evidentemente conto, eh, o pensano che questa cosa è sostenibile, ma fra un po' chi è che sarà disponibile a finanziare il loro il loro lavoro? Cioè quello che
10:59conta di quel lavoro è che prima una cosa non girava sul prima Linux non girava accelerato sull'hardware Apple e poi gira. Cioè se loro sono molto indietro che il loro codice sia più artigianale, fatto a mano e compagnia bella, che senso avrà? Però un po', secondo me, non ci sarà più nessuno chi li finanzierà o chi li finanzierà avrà solo un'intenzione ideologica al pari loro, al pari della loro intenzione
11:25di rifiutare lei eh di continuare a fare così. Per cui vedete come queste due ehm entità, un progetto e uno sviluppatore in particolare, si stanno mettendo in una posizione di fragilità e allora uno potrebbe dire "Beh, sì, si stanno mettendo in una posizione di fragilità, ma non importa perché in realtà è molto facile per loro recuperare."
11:50Infatti la curva di apprendimento dei mezzi di programmazione automatica è banale, cioè uno sviluppatore capace immediatamente impara a utilizzare l'AI per fare di tutto. Ehm, in realtà il problema è un problema di fiducia. La curva di apprendimento reale è di saper eh di capire come funzionano questi strumenti e di saper dare loro abbastanza fiducia quando serve. non ab
12:20sufficiente fiducia quando non serve e poi di creare comunque di avere l'esperienza di aver creato già dei loop automatici per diciamo fare discovery, per esempio nel caso delle GPU, il fatto di dargli accesso totale quando serve, eh quindi ci sono dei pattern mentali che devi avere, eh ma per il resto impari molto velocemente. Il problema è che ci può essere un danno di credibilità e ci può essere anche chi a un certo punto, visto che tu hai
12:47espresso certe posizioni, non vuole più, diciamo, interagire interagire con te.
12:53Per esempio, non lo so, Ashai Linux dice "Ah, ma come si fa a garantire la Clean Room?" in realtà puoi, cioè se mostri tutti sti limiti di comprensione da certi punti di vista di questo fenomeno, già appunto i tuoi risultati iniziano a laggare in maniera potente.
13:10In più mostri che davvero sei troppo scollegato, diciamo, dal dal futuro e insomma si bruciano anche ponti e così via. Ehm, però d'altra parte si può ragionare in termini diversi, siccome è chiaro che la curva di apprendimento per nelle AI è molto breve, cioè è come se tu da un giorno all'altro io ti do un collaboratore bravissimo, vabbè, tu gli dici, "Guarda, lo puoi fare questo insieme a me?" Sì. Eh, impari velocemente a collaborare con lei o con
13:38lui. Ehm, questa cosa ha una lettura duplice.
13:43tutti quelli che sono i somelier dello skill della ci sono stati anche anche degli studi abbastanza controllati sul fatto che tu in realtà chiedi all'LM di fare una cosa e la fa a prescindere da cioè c'è un'illusione di saper utilizzare l'AI meglio degli altri che è imbarazzante e studiarsi come mettere 200 server MCP 50 skill che hai minuziosamente elaborato tutti queedi che hai i
14:12risultati Non perché l'LM sia potente, ma perché tu hai fatto quel lavoro inutile, quel circo senza senso. Questa cosa sinceramente è veramente strana. Per cui da un lato c'è per chi volesse tornare a utilizzare lei o per chi volesse iniziare a utilizzare lei, una velocità nel farlo. Ed è solo una questione di saper lasciare il volante allei quando conta e di imparare alcuni pattern che magari non sono banali, però una persona
14:41intelligente, insomma, gli vengono in mente gli vengono in mente subito.
14:45Dall'altro invece c'è un botto di lavoro sprecato di un sacco di gente che si illude di star facendo meglio di altre, invece dovrebbe utilizzare l'LM più o meno in maniera vanilla e dire fammi sta cosa e finisce là che diciamo ecco mi sembra un tema di grande interesse. Dopo insomma vedremo se poi queste resistenze finali eh finiranno per essere abbandonate. Qualcuno, secondo me,
15:12qualcuno, qualche persona nota che si farà male, che diventerà irrilevante, mentre tutta sta roba qui va va avanti, secondo me ci sarà pure, anche perché a un certo punto lo scoglio diventa psicologico, non recuperi più, non vuoi recuperare più e finisce così.