Condividi questo articolo

Perché qualcuno dovrebbe seguire un corso universitario su Urbit?

Neal Davis ha tenuto il primo seminario di livello universitario sulla controversa piattaforma informatica Urbit. Ecco perché.

Il problema dell'insegnamento Cripto in un contesto universitario è che i piani delle lezioni possono rapidamente diventare obsoleti quasi nel momento stesso in cui li scrivi, ha affermato Neal Davis, professore in aspettativa dall'Università dell'Illinois. Ciò è probabilmente vero per la maggior parte delle cose nel campo della tecnologia.

"Il problema che deve affrontare l'istruzione Cripto è che si tratta di un campo in rapida evoluzione e le cose marciranno molto rapidamente", ha affermato Davis. Tuttavia, se il mondo accademico vuole avere una qualche rilevanza in questo settore in rapida ascesa, deve trovare il modo di rimanere aggiornato.

Questa intervista fa parte di CoinDesk"Settimana dell'istruzione".

"Sai, vai a costruire unDALL-E[Piattaforma d'arte digitale generata dall'intelligenza artificiale] corso –Diffusione stabileè ovunque", ha aggiunto, riferendosi agli strumenti di intelligenza artificiale annunciati il mese scorso. Davis potrebbe anche aggiungere Urbit, la controversa piattaforma di infrastrutture informatiche, a quell'elenco.

E in effetti lo ha fatto. Nel 2020, Davis è diventato il primo professore statunitense a tenere un corso di informatica dedicato a Urbit. Urbit è un tentativo selvaggiamente ambizioso di ricostruire Internet da zero.

A differenza del paradigma server-client che domina l'informatica moderna, Urbit utilizza la crittografia a chiave pubblica per consentire a chiunque di gestire i propri server. Se la Finanza decentralizzata (DeFi) sta rimuovendo gli intermediari dalla Finanza, Urbit vuole rimuovere gli intermediari da qualsiasi cosa tu possa fare con un computer, dall'e-mail agli accessi.

Il sistema, in fase di sviluppo attivo dal 2013 da parte dell'organizzazione Tlon con sede a San Francisco, ha visto un ritmo accelerato di attività negli ultimi anni. Il suo pool di sviluppatori ora conta centinaia di programmatori e la leadership di Tlon e altre startup dell'ecosistema Urbit sono ora direttamentemirati ai progetti DeFi e alle organizzazioni autonome decentralizzate(DAO) per utilizzare la propria offerta software.

Vedi anche:Le DAO sono le vere meritocrazie| Opinioni

Detto questo, Urbit è ancora un interesse di nicchia. Ma Davis ha detto che c'è valore per gli studenti Imparare un modo completamente nuovo di fare informatica. "Hoon è utile solo su Urbit", ha detto, riferendosi al linguaggio di programmazione su misura della rete, così come altri concetti e strumenti su Urbit. (Davis è in anno sabbatico dall'Università dell'Illinois per lavorare a tempo pieno insegnando "Hoon School" tramite la Urbit Foundation.)

"Alcuni di questi si dimostreranno senza dubbio estremamente fruttuosi e altri inutili, ma il processo vale ampiamente lo sforzo", ha affermato. "È per i riparatori e gli hacker, è per i liberi pensatori e i poeti".

E ciò che gli otto studenti laureati di Davis hanno imparato due anni fa è probabilmente ancora rilevante. Non solo Urbit sta sfidando il modello software proprietario a scopo di lucro sperimentato nella Valley, ma sta anche adottando un approccio deliberatamente lento alla progettazione della rete per garantire che il sistema rimanga stabile. Le release del software CORE di Urbit contano all'indietro fino a zero, punto in cui il "kernel" raggiungerà lo zero assoluto e sarà congelato nel tempo.

CoinDesk si è recentemente seduto con Davis e ha parlato di altri modelli di elaborazione sperimentali, di come gli strumenti decentralizzati potrebbero cambiare il mondo accademico e dei mesi a venire per Urbit. Di seguito una trascrizione leggermente modificata della conversazione.

Cosa ti ha inizialmente attratto di Urbit?

Sono sempre stato un collezionista di curiosità computazionali, suppongo. I margini dell'informatica dai primi giorni in poi. I primi computer che erano in Base 10, non binari. Sovietici“computer ad acqua”.Il calcolo analogico ha unlunga e molto interessante storia. Quindi sono sempre stato attratto da molti dei percorsi alternativi che l'informatica avrebbe potuto prendere. Le cose che avrebbero potuto essere e le cose che potrebbero ancora essere hanno molto da insegnarci sul modo in cui funziona l'informatica. Alcune di queste cose sono linguaggi comeAPL[Un linguaggio di programmazione] o architetture concorrenti come l'architettura Mill, che è un design di chip alternativo, una CPU alternativa. E, naturalmente, Web3 e simili hanno sviluppato molte proposte molto interessanti.

(Neal Davis)
(Neal Davis)

Ho incontrato Urbit intorno al 2016, poco dopo che eratrapelato al pubblico. Probabilmente sui social media [Nota dell'editore:Notizie sugli hacker]. Ci ho provato, ho cercato di far funzionare le cose e, come si è scoperto, a quel tempo, a meno che non conoscessi qualcuno alla Tlon, probabilmente T saresti stato in grado di capire il progetto. I documenti erano in larga misura interni al baseball, realizzati da sviluppatori Tlon per sviluppatori Tlon, il che ha senso perché T erano ancora stati resi noti al mondo intero.

E così l'ho provato per un paio di giorni, poi l'ho messo da parte e sono andato avanti. E poi a metà del 2019 Tlon ha annunciato che avrebbero fatto la Hoon School [per insegnare il linguaggio di programmazione funzionale nativo di Urbit]. Quindi mi sono iscritto e ho iniziato a scavare nel sistema. Si scopre che ci sono tutti i tipi di idee molto intriganti. Stanno costruendo cose come il Kelvin versioning: l'idea che stai disegnando il tuo sistema verso una sorta di cristallina, se non perfezione, allora, stasi.

Vedi anche:Autodidatti, benvenuti!

Urbit è più una specifica che un sistema operativo, in un certo senso. E mentre il paradigma informatico non è completamente unico nel modo in cui facciamo le cose, come l'elaborazione basata su sottoscrizione, è moderatamente raro nell'elaborazione più ampia, nei front-end Web, in SSE [evento inviato dal server] flussi, e questo genere di cose. Questa era un'area alla fine degli anni '70 e '80 che, in una certa misura, non ha mai dato i suoi frutti. E si scopre che in realtà abbiamo costruito un sistema che usa qualcosa come "dataflow computing", come lo avrebbero riconosciuto allora.

Ma ci sono molte altre parti del sistema che la maggior parte delle persone non approfondisce mai: il modello di memoria [il Loom] è molto innovativo, un modo molto interessante di gestire la memoria persistente e transitoria. In un modo che risolve alcuni dei problemi che hai con i paradigmi di paging del sistema operativo convenzionale e così FORTH. È come scoprire una porta che T sapevi ci fosse. C'è un'intera casa dietro questa porta, ed è molto più strana e intrigante di quanto tu possa aver pensato.

Come si colloca l'insegnamento di Urbit nel paradigma dell'insegnamento dell'informatica?

Quando il comitato di laurea [dell'Università dell'Illinois] ha approvato il corso nel 2020, mi sono sentito un BIT' come il cane che ha preso la macchina e ha dovuto capire cosa farne. Ciò che ho finito per costruire, la struttura di quel seminario di laurea, è stato cercare di dare uno sguardo tecnico e critico a ciò che Urbit stava tentando di fare come piattaforma operativa. Quanto bene implementa questa idea? Ci sono lezioni o applicazioni più ampie che possiamo trarre dall'esame di questa struttura arcana o di come viene costruita?

Cercavo di esporli al limite delle cose strane e interessanti [nell'informatica] che popolano tutto ciò che ti circonda, ma il più delle volte T te ne accorgi? Gli sviluppatori sono inculcati in un certo modo di approcciare l'informatica, e pochissime persone si spingono molto oltre quel modo standard di fare le cose.

Ma ci sono molte cose insostenibili nel continuare sulla strada attuale. Voglio dire, ONE delle critiche più comuni che [il creatore di Urbit Curtis] Yarvin e altri hanno mosso è che lo stack software dall'alto verso il basso è diventato illeggibile.

C'è unaneddoto sul dipartimento di informatica del MIT, che insegnava di tutto, dalla struttura e interpretazione dei programmi per computer in [il primo linguaggio di programmazione] Lisp alle cose che accadevano sul metallo [Nota dell'editore: hardware di elaborazione, inclusi i chip]. E a un certo punto, più avanti, passarono a Python (perché tutte le librerie erano in Python) quando lo stack era diventato abbastanza illeggibile. Parte di questo è sul lato hardware o perché ottimizzazioni sempre più contorte rendevano difficile Per te cosa stava accadendo nell'esecuzione effettiva.

Potresti scrivere qualcosa che ritieni semplice, ma poiché passa attraverso diversi livelli di librerie, interpreti, sistemi operativi e gestori, T sai effettivamente come sarà quando arriverà al chip. E quindi è facile perdere il contatto con il terreno concreto e fondamentale dell'informatica. L'informatica è meravigliosa perché è questo matrimonio di queste idee estremamente astratte e altisonanti sulla matematica e la fisica dello spingere bit attorno a un wafer di silicio.

Cosa pensi del mondo delle Criptovaluta ? Ci sono innovazioni in ambito informatico che vale la pena studiare all'università?

Quindi, per iniziare dalla fine, T so come LOOKS la situazione del corso a questo punto. Il problema che l'istruzione in Cripto deve affrontare è che si tratta di un campo in rapida evoluzione e le cose marciranno molto rapidamente.

Ci sono probabilmente alcune tecnologie che potrebbero rimanere aggiornate. Come se stessi imparando [il linguaggio di programmazione Ethereum ] Solidity, Solidity T si evolve molto velocemente come linguaggio. Puoi parlare dell'architettura EVM [Ethereum Virtual Machine], ma Ethereum è sto solo passando alla proof-of-stakee questo cambia alcuni aspetti del modo in cui concepiamo la blockchain come una macchina virtuale distribuita.

È come scoprire una porta che T sapevi ci fosse. C'è un'intera casa dietro questa porta, ed è molto più strana e intrigante di quanto tu possa aver pensato.

Ci sono molti piccoli progetti che hanno un certo successo e alcune idee interessanti. E forse queste idee interessanti troveranno posto in altre blockchain o forse saranno dimenticate. Quindi hai questo problema di scrivere un corso su blockchain e tecnologie Web3 che sarebbe effettivamente utile. Se trovassi un libro su Ethereum del 2018, quanto valore ti aiuterebbe oggi?

Potrebbe trattarsi più di una curiosità storica.

Tornando ancora più indietro: le radici delle blockchain sono in realtà nei Bell Labs alla fine degli anni '80, quando Scott Stornetta stava lavorando sul problema quasi teologico della memoria. Il modo in cui lo ha formulato era "può ONE uomo fare da testimone della verità contro il mondo in modo tale che il mondo intero non possa cospirare per superarlo?" Questa è una domanda molto interessante. E T so se ci sia riuscito in quel senso originale, ma c'è ancora un'azienda, Surety, che pubblica un hash usando il suo sistema sul New York Times ogni settimana.

Vedi anche:Le migliori università per la blockchain nel 2022: dove nel mondo si produce la maggior parte della ricerca?

Ma a volte vale la pena di fare esperimenti, anche se T portano da nessuna parte. Satoshi Nakamoto ha preso l'idea della blockchain e l'ha abbinata a un algoritmo di consenso distribuito che l'ha resa effettivamente fattibile in modo distribuito. Come Urbit [ID] Bitcoin è pseudonimo; non è realmente un set anonimo di transazioni come Zcash, ci sono identità persistenti e pubbliche [come un indirizzo blockchain]. Ma è sufficiente per far partire tutta questa rivoluzione nel modo in cui pensiamo a quali tipi di conoscenza dovrebbero essere disponibili al pubblico.

Quindi vale la pena studiarle? Penso che ciò che le tecnologie legate alla blockchain hanno realmente realizzato è stato un completo spostamento di parallasse con cui molti non hanno ancora fatto i conti, nei modi in cui molte cose che prima erano aperte solo ai governi sono state ora spinte al livello del protocollo. Come, in un certo senso, la Politiche fiscale conta sempre meno ogni anno che passa, man mano che sempre più cose si spostano verso catene Finanza decentralizzate. Si può discutere se questo sia pragmatico o utile, ma ciò che stiamo ottenendo con la blockchain è un modo che sta fondamentalmente riordinando la conoscenza Human e le modalità di comunicazione Human . In un certo senso sta realizzando ciò che Internet ha iniziato: il telos del calcolo completamente distribuito. Quindi ci sono tutti questi dettagli tecnici interessanti che vale la pena provare e studiare.

Qual è quindi il ruolo dell'università in questo mondo?

Questa è sia una questione politica che una questione meta-politica. C'è una questione pragmatica su come le università reagiranno nel NEAR e medio termine all'esplosione di [tutto] distribuito. ONE cosa che è accaduta a questo proposito è che hanno, credo, ampliato le loro credenziali. Hanno il monopolio delle credenziali nella maggior parte dei paesi del mondo. Ci sono stati molti passi avanti verso cose come rendere l'università gratuita per tutti o espandere il numero di lauree professionali offerte. È iniziato con l'MBA, ma ora ce ne sono molti altri: Master in Ingegneria, Master in Amministrazione professionale, Master in Amministrazione. Hanno sicuramente un forte vantaggio sulla maggior parte delle nuove arrivate [Nota dell'editore: come token soulbound] nella misura in cui vogliono continuare a essere enti potenti, grandi e rilevanti.

Penso anche che dovrebbero prendere sul serio l'idea di investire molto del lorodotazione in Criptovaluta– quelli seri con una possibilità di esistere tra 1.000 anni. Le università esistono da altrettanto tempo, quindi è una scommessa sicura che troveranno un modo per esistere ancora.

Vedi anche:Le migliori università per Blockchain 2022

Ci sono molti passaggi a cui le istituzioni apparentemente dovrebbero essere contrarie, che sono la mossa giusta in definitiva, quando si parla di come Internet ha riorganizzato l'accesso alle informazioni. OpenCourseWare del MIT èOra ho 21 anni– hanno messo online gratuitamente praticamente tutti i loro contenuti scientifici e ingegneristici. L'effetto non è stato quello di deprimere il valore dell'istruzione universitaria. Ha sostenuto il MIT, perché era il MIT a dire: "abbiamo i migliori contenuti al mondo e siamo disposti a mostrarvi quanto sono buoni".

Hai qualche consiglio per i professori interessati a tenere un corso come il tuo?

Quindi incoraggerei fortemente i professori a trovare il tempo per creare nuove classi sulle tecnologie che ritengono interessanti. Ho scelto Urbit come piattaforma perché la trovo interessante, ma ci sono un miliardo di piattaforme che vengono create e si evolvono rapidamente.

L'accademia tende ad arrivare tardi alle cose, quando il materiale ha tre o quattro anni e il mondo è andato avanti. Ci dovrebbe essere molta più sperimentazione, in particolare usando il framework dei seminari per laureati e studenti universitari che la maggior parte delle università ha, che T richiede così tante spese generali burocratiche. Costruite queste cose, fatele uscire. Li incoraggio a rendere pubblici i loro corsi, perché sarà una grande spinta per loro professionalmente, mostrando che stanno lavorando su cose interessanti che sono attive e rilevanti. Sai, vai a costruire un DALL-E[Piattaforma d'arte digitale generata dall'intelligenza artificiale] corso –Diffusione stabileè ovunque. Ma dubito che verrà effettivamente inserito in molte lezioni questo semestre.

AGGIORNAMENTO (29 SETTEMBRE 2022 – 22:05):Chiarisce il linguaggio relativo al periodo sabbatico di Davis.

Daniel Kuhn