- nexa - server-nexa.polito.it

Re: [nexa] Marc Andreessen e' fuori come un balcone

by Marco Fioretti

On Fri, Oct 20, 2023 at 12:53, Stefano Quintarelli wrote: soldi? in che senso "soldi"? 1. che gli danno credito solo perche' ancora ha una montagna di soldi 2. oppure che vuoi sapere che intendevo scrivendo che cerca soldi per il suo fondo? Nel secondo caso, intendo che la sua societa' ha investito "more than $200mn into generative A (https://www.ft.com/content/b230eb4c-ed53-45ff-8b64-c286a4b98fc1)I", e in generale e' ai primi posti fra quelli che stanno pompando a mille qualsiasi cosa sia AI, come prima qualsiasi cosa metaverso e prima NFT e prima cryptovalute e blockchain, e prima IoT.. per specularci sopra, senza il minimo interesse per progresso e innovazione veri. In altre parole, e' uno di quelli che ci rimette di piu' se appena arriva un minimo di sanita' mentale fra gli investitori, e quindi spara manifesti di boiate come fumo negli occhi. Marco Il 20 ottobre 2023 08:31:03 UTC, Marco Fioretti ha scritto: (si dice cosi' anche fuori Roma, quando qualcuno e' completamente uscito di senno? anche se nel suo caso probabilmente meta' e' che ci crede davvero, meta' che cerca soldi per il suo fondo di investimenti) Ho visto SOLO ora sia l'esilarante (nei modi piu' sbagliati) Manifesto del Tecno-ottimista: https://a16z.com/the-techno-optimist-manifesto/ (https://a16z.com/the-techno-optimist-manifesto/) (https://a16z.com/the-techno-optimist-manifesto/ (https://a16z.com/the-techno-optimist-manifesto/)) sia la critica di G. Marcus (da NON perdersi i commenti, che non sanno nemmeno da dove cominciare per sfottere Andreessen): https://garymarcus.substack.com/p/two-kinds-of-techno-optimism (https://garymarcus.substack.com/p/two-kinds-of-techno-optimism) (https://garymarcus.substack.com/p/two-kinds-of-techno-optimism (https://garymarcus.substack.com/p/two-kinds-of-techno-optimism)) Boh. Se posso ripetermi, Andreessen e' mezzo bambino fuori di testa, mezzo furbone, "Solaria all the way down" come scrivevo per pura coincidenza due giorni fa: https://mfioretti.substack.com/p/taking-ai-too-seriously-is-not-intelligent (https://mfioretti.substack.com/p/taking-ai-too-seriously-is-not-intelligent) (https://mfioretti.substack.com/p/taking-ai-too-seriously-is-not-intelligent (https://mfioretti.substack.com/p/taking-ai-too-seriously-is-not-intelligent)) e se quanto ho scritto sembra luddita, segnalo che sono pure io tecno ottimista, ma come si deve, non certo alla Andreessen: https://mfioretti.substack.com/p/how-to-tell-good-ai-from-bad-or-pointless (https://mfioretti.substack.com/p/how-to-tell-good-ai-from-bad-or-pointless) (https://mfioretti.substack.com/p/how-to-tell-good-ai-from-bad-or-pointless (https://mfioretti.substack.com/p/how-to-tell-good-ai-from-bad-or-pointless)) Ripeto, boh. Come fa uno cosi' ad avere ancora un minimo di credito? Marco

Oct. 20, 2023

Re: [nexa] Marc Andreessen e' fuori come un balcone

by Stefano Quintarelli

soldi? Il 20 ottobre 2023 08:31:03 UTC, Marco Fioretti <mfioretti(a)nexaima.net> ha scritto: >(si dice cosi' anche fuori Roma, quando qualcuno e' completamente uscito di senno? anche se nel suo caso probabilmente meta' e' che ci crede davvero, meta' che cerca soldi per il suo fondo di investimenti) >Ho visto SOLO ora sia l'esilarante (nei modi piu' sbagliati) Manifesto del Tecno-ottimista: >https://a16z.com/the-techno-optimist-manifesto/ (https://a16z.com/the-techno-optimist-manifesto/) >sia la critica di G. Marcus (da NON perdersi i commenti, che non sanno nemmeno da dove cominciare per sfottere Andreessen): >https://garymarcus.substack.com/p/two-kinds-of-techno-optimism (https://garymarcus.substack.com/p/two-kinds-of-techno-optimism) >Boh. Se posso ripetermi, Andreessen e' mezzo bambino fuori di testa, mezzo furbone, "Solaria all the way down" come scrivevo per pura coincidenza due giorni fa: > >https://mfioretti.substack.com/p/taking-ai-too-seriously-is-not-intelligent (https://mfioretti.substack.com/p/taking-ai-too-seriously-is-not-intelligent) >e se quanto ho scritto sembra luddita, segnalo che sono pure io tecno ottimista, ma come si deve, non certo alla Andreessen: >https://mfioretti.substack.com/p/how-to-tell-good-ai-from-bad-or-pointless (https://mfioretti.substack.com/p/how-to-tell-good-ai-from-bad-or-pointless) >Ripeto, boh. Come fa uno cosi' ad avere ancora un minimo di credito? >Marco

Oct. 20, 2023

Marc Andreessen e' fuori come un balcone

by Marco Fioretti

(si dice cosi' anche fuori Roma, quando qualcuno e' completamente uscito di senno? anche se nel suo caso probabilmente meta' e' che ci crede davvero, meta' che cerca soldi per il suo fondo di investimenti) Ho visto SOLO ora sia l'esilarante (nei modi piu' sbagliati) Manifesto del Tecno-ottimista: https://a16z.com/the-techno-optimist-manifesto/ (https://a16z.com/the-techno-optimist-manifesto/) sia la critica di G. Marcus (da NON perdersi i commenti, che non sanno nemmeno da dove cominciare per sfottere Andreessen): https://garymarcus.substack.com/p/two-kinds-of-techno-optimism (https://garymarcus.substack.com/p/two-kinds-of-techno-optimism) Boh. Se posso ripetermi, Andreessen e' mezzo bambino fuori di testa, mezzo furbone, "Solaria all the way down" come scrivevo per pura coincidenza due giorni fa: https://mfioretti.substack.com/p/taking-ai-too-seriously-is-not-intelligent (https://mfioretti.substack.com/p/taking-ai-too-seriously-is-not-intelligent) e se quanto ho scritto sembra luddita, segnalo che sono pure io tecno ottimista, ma come si deve, non certo alla Andreessen: https://mfioretti.substack.com/p/how-to-tell-good-ai-from-bad-or-pointless (https://mfioretti.substack.com/p/how-to-tell-good-ai-from-bad-or-pointless) Ripeto, boh. Come fa uno cosi' ad avere ancora un minimo di credito? Marco

Oct. 20, 2023

curiosità

by don Luca Peyron

Ecco la prima supernova mai scoperta e catalogata dall’IA Buona lettura, da un astrofilo dl https://www.astrospace.it/2023/10/19/ecco-la-prima-supernova-mai-scoperta-e… -- _________________________ don Luca Peyron Pastorale Universitaria - Apostolato Digitale Arcidiocesi di Torino www.universitari.to.it via XX settembre 83, Torino tel. 011 5156239

Oct. 19, 2023

Re: [nexa] legal RDF? (was IA, lavoro, immaginari) [CDT:L4] [CDT:L7]

by 380°

Buongiorno Andrea, oggettivamente qui stiamo parlando di cose "stratosferiche", ma siamo in lista Nexa e non dovremmo aver paura di entrare /un minimo/ nel dettaglio, no? :-) Andrea Bolioli <andrea.bolioli(a)gmail.com> writes: > L’informatica giuridica si occupa di questi temi, e di altri. > È un settore complesso e vivace, ci lavoro a livello italiano ed > europeo. Ottimo, posso chiederti se sei parte dello staff di EUR-lex o di quale altra organizzazione fai parte? > Come in altri settori, non è banalissimo mettere a terra le idee, fare le > sperimentazioni, tradurle in azioni che hanno un impatto, ecc > Non approfondisco l’argomento perché richiederebbe troppo tempo e sarebbe > fuori luogo. Nemmeno io intendo approfondire l'argomento in lista, ci mancherebbe, comprendo bene sia impossibile via email (ma non fuori luogo). Considerata la tua competenza sarei felice se mi indicassi qualche fonte dove approfondire perché non è banalissimo mettere a terra le idee, così che con calma possa studiarmele. > Su “legal RDF” segnalo Akoma Ntoso, standard abbastanza diffuso. Sì grazie lo conosco (abbastanza superficialmente) e lo avevo segnalato anche io in questo sub-thread; è lo standard sul quale stanno puntando /tutto/ molte istituzioni, ma non credo sia una soluzione adeguata per quello che a mio modesto avviso dovrebbe essere il risultato finale: un semantic web (open linked data) di provvedimenti legislativi. In particolare io non vedo come abbia aiutato fino ad oggi o come possa aiutare nel prossimo futuro nel processo di semplificazione legislativa e di tracciabilità delle fonti giurisprudenziali, che sono due problemi vivissimi. A titolo di esempio, potremmo approfittare dell'esportazione in XML Akoma Ntoso messa a disposizione da Normattiva.it, prendendo ad esempio questo D.L.: https://www.normattiva.it/uri-res/N2Ls?urn:nir:stato:decreto.legge:2023-08-… DECRETO-LEGGE 10 agosto 2023, n. 105 Disposizioni urgenti in materia di processo penale, di processo civile, di contrasto agli incendi boschivi, di recupero dalle tossicodipendenze, di salute e di cultura, nonche' in materia di personale della magistratura e della pubblica amministrazione. (23G00118) disponibile in formato AKN qui: https://www.normattiva.it/do/atto/caricaAKN?dataGU=20230810&codiceRedaz=23G… Il data model di Akoma Ntoso è un albero e non un grafo, corretto? Lo chiedo perché quello che si può comparare tra una rappresentazione in XML (che è un formato) e una in RDF (che è un modello dati) è il loro modello di rapprsentazione dei dati: in XML il data model è un albero mentre in RDF è un grafo. In particolare, RDF consente di definire ontologie per conferire /semantica/ ai dati e che consentono anche di inferire nuove informazioni dai dati RDF, cosa che in XML non è possibile; inoltre, i nodi del grafo possono essere immagazzinati in un database e interrogati con un linguaggio piuttosto potente: SPARQL. Per chi volesse, questo articolo è una efficace introduzione alla differenza tra una rappresentazione dei dati in XML e una in RDF: «Introduction to: RDF vs XML» https://www.dataversity.net/introduction-to-rdf-vs-xml/ Poi, considerato quanto ho scritto in merito alla gestione del versioning e al "code review", io mi domando che senso ha scrivere leggi, anche formalizzate in AKN, che /prescrivono/ cose del genere: --8<---------------cut here---------------start------------->8--- ((2-bis. Al terzo periodo del comma 1 dell'articolo 267 del codice di procedura penale, la parola: "indica" e' sostituita dalle seguenti: "espone con autonoma valutazione" e dopo la parola: "necessaria" sono inserite le seguenti: ", in concreto,". 2-ter. All'articolo 268 del codice di procedura penale sono apportate le seguenti modificazioni: a) il comma 2 e' sostituito dal seguente: "2. Nel verbale e' trascritto, anche sommariamente, soltanto il contenuto delle comunicazioni intercettate rilevante ai fini delle indagini, anche a favore della persona sottoposta ad indagine. Il contenuto non rilevante ai fini delle indagini non e' trascritto neppure sommariamente e nessuna menzione ne viene riportata nei verbali e nelle annotazioni della polizia giudiziaria, nei quali e' apposta l'espressa dicitura: 'La conversazione omessa non e' utile alle indagini'"; b) al comma 2-bis, le parole: "affinche' nei verbali" sono sostituite dalle seguenti: "affinche' i verbali siano redatti in conformita' a quanto previsto dal comma 2 e negli stessi" e le parole: "dati personali definiti sensibili dalla legge" sono sostituite dalle seguenti: "fatti e circostanze afferenti alla vita privata degli interlocutori". 2-quater. All'articolo 270, comma 1, del codice di procedura penale, le parole: "e dei reati di cui all'articolo 266, comma 1" sono soppresse. 2-quinquies. La disposizione di cui al comma 2-quater si applica ai procedimenti iscritti successivamente alla data di entrata in vigore della legge di conversione del presente decreto)) --8<---------------cut here---------------end--------------->8--- Un diff scritto in linguaggio naturale? :-O Come si applica questa modifica (passiveModifications in AKN) in modo automatico? Forse mi perdo qualcosa ma esiste un tool che prende un XML AKN e riesce ad applicarlo alle norme modificate, in modo analogo a come si fa con un diff? Capisci perché ai miei occhi e agli occhi di molti che trattano codice, questo modo di gestire le modifiche pare davvero assurdo? ...ma può essere solo perché sono ignorante io, sia chiaro! [...] Cordiali saluti, 380° -- 380° (Giovanni Biscuolo public alter ego) «Noi, incompetenti come siamo, non abbiamo alcun titolo per suggerire alcunché» Disinformation flourishes because many people care deeply about injustice but very few check the facts. Ask me about <https://stallmansupport.org>.

Oct. 19, 2023

SAVE THE DATE | 15° Conferenza Annuale del Centro Nexa | Venerdì 15 dicembre 2023

by Valeria Bergantino

Gentilissimi, Vi segnaliamo che la prossima *Conferenza Annuale del Centro Nexa* si terrà in data *_venerdì 15 dicembre 2023_*. Indicazioni sugli ospiti e il programma della giornata verranno forniti a breve. Vi aspettiamo numerosi! Cordiali saluti, -- Valeria Bergantino Communication Officer Nexa Center for Internet & Society Politecnico di Torino - DAUIN Via Pier Carlo Boggio, 65/A - 10138 Torino web: https://nexa.polito.it/ mail: valeria.bergantino(a)polito.it <mailto:valeria.bergantino@polito.it> tel: 3473443585

Oct. 19, 2023

Studenti/Dottorandi vs. "piccoli" progetti di ricerca, a base F/OSS e "controllo tecnologico"

by Damiano Verzulli

Carissimi (in special modo, tutti coloro che sono piu' o meno legati al mondo universitario). Da un po' di tempo mi frulla in mente una domanda/opportunita': * cosa impedisce, ad un Ateneo/Dipartimento/Gruppo_di_Ricerca/Docente di entrare all'interno delle dinamiche di sviluppo di un qualche software Open-Source relativamente rilevante, che, da un lato, presenta un grado di complessita' fra il banale ed il semplice e, dall'altro, apre le porte a riflessioni serie e concrete su tutti quegli aspetti ("controllo tecnologico", "lock-in", "data harvesting", "obsolescenza programmata", "scienza aperta", etc. etc.) a noi cari, e con anche qualche possibile ricaduta positiva? Mi spiego con qualche esempio: 1. SparkOS: è una "customizzazione" di Android, basata sulla versione AOSP rilasciata da Google. E' quella che utilizzo sul mio smartphone. Il progetto beneficerebbe di documentazione e, soprattutto, del "supporto" al porting su nuovi dispositivi. Io uso spark-os perché è l'unica distribuzione che supporta uno smarphone "nuovo", del costo inferiore ai 150€ (il mio budget). Il porting di SparkOS per il mio smartphone è gestito **AUTONOMAMENTE** da un ragazzo indiano (uno solo!), appena ventenne, iscritto ad una facolta' umanistica [1]. Quando gli ho chiesto: "Scusa, perché non 'supporti' anche il Redmi Note 12, visto che l'11 fra un po' uscira' fuori-mercato?", mi ha risposto: "Non ho i soldi per comprare un RedMi 12; se ce li avessi, potrei farlo....". Considerando che le attivita' (tecniche) che Sayan esegue sono *MOLTO* in linea con quello che viene discusso ai primi anni di informatica... mi chiedo: Perché non c'è un Sayan italiano? ...e vorrei lavorare affinché compaia... 2. Gadgetbridge: immagino tutti sappiate che con 40 € potete portare a casa uno smart-band esageratamente potente [2]. Il problema di fondo, è che --oltre ad avere un firmware "super-proprietario" (ossia: il suo "software interno" è intoccabile!), per gestirlo è necessaria una APP "super-proprietaria" (di quelle che mandano il ritmo del vostro sonno e il log delle vostre attivita' fisiche... in mani altrui [USA e Cina, al 99%]). La buona notizia è che l'APP *E' FONDAMENTALE* affinché lo smart-band possa "parlare" con il mondo esterno (perché, fortunatamente, non ha il wifi integrato, ma solo il bluetooth). Questo significa che è tecnicamente possibile dialogare con lo smart-band utilizzando una APP diversa, ma che parla lo stesso linguaggio di quella originale. ...e magari, l'app diversa, potrebbe essere "libera" e "educata". È esattamente questo l'obiettivo di GadgetBridge [3] : una APP (che esiste gia') e che attualmente supporta una luuuunga lista di dispositivi [incluso il Mi Band 7]. Oltre che a livello di documentazione, gli amici di GadgetBridge vorrebbero ampliare il "supporto" verso quanti piu' dispositivi possibili... ed hanno anche documentato come fare [4]. Hanno anche fornito un po' di informazioni su come fare "reverse engineering" a livello bluetooth per (cercare di) supportare dispositivi sconosciuti [5]. GadgetBridge supporta anche smartwatch ma... da quello che vedo, solo quelli "di fascia alta". Perché non è possibile lavorare per ampliare il supporto di gadgetbridge ad uno dei numerosissimi smartwatch cinesi, che possono essere acquistati a 20/30€ [5b]? Eppure, tale "porting" avrebbe alla base una pluralita' di attivita' tutte perfettamente compliant non solo con i percorsi di studio di base di informatica e ingegneria, ma anche di qualcosa di piu' evoluto (ad esempio: è pensabile la partecipazione ad un PRIN il cui obiettivo è quello di produrre uno smartwatch da 20 euro [clonando al 100% l'HW di uno dei numerosissimi esistenti], ma con software tutto "europeo", "open" e quindi "trusted"? Perché no?) 3. MailHops: è un plugin di Thunderbird [6] che, ogni volta che si visualizza un messaggio, recupera le informazioni relative al suo instradamento e presenta all'utente un piccolo riquadro dove segnala il paese di provenienza della mail (utilizzando servizi di georeferenziazione, pubblici e gratuiti). È estremamente utile --per coloro che usano thunderbird-- per capire quasi istantaneamente se una mail è "strana" o no (es.: mi ritrovo un mittente "normale", ma vedo che la mail viene dalla "Thailandia". Automaticamente alzo l'attenzione e cerco di capire se è il caso che guardi l'allegato... o no). Per funzionare, MailHops ha bisogno di un server a cui demanda l'attivita' di ricostruzione della provenienza. Quel server, attualmente, viene messo a disposizione dall'azienda che produce il plugin e che, per questo, chiede qualche spicciolo [7]. La complessita' di tutto l'ambaradan è decisamente banale, certamente alla portata di un progetto di un piccolo gruppo di studenti universitari. Cosa frena la nascita di un tale progetto, all'interno di un CdL? 4. nDPId [8]: si tratta di un software orientato al tema dell'analisi del traffico di rete (lo sto utilizzando sul mio router Internet domestico). È open-source (GPL) ed è un ottimo strumento di ausilio ai temi della "sicurezza informatica" e, soprattutto, della generazione di quantita' rilevanti di dati, e loro visualizzazione. Mi sono confrontato con l'autore (Toni) piu' volte e, anche in questo caso, è quasi imbarazzante pensare che un progetto con tali potenziali ricadute sia mantenuto seriamente da un singolo giovane. Perché nell'ambito di un corso di programmazione o di un CdL, un Dipartimento non riesce a farsi carico di alcuni pezzi dello sviluppo di un tale software? ...e potrei continuare. Ribadisco che si tratta di progetti decisamente semplici, che non presentano ostacoli rilevanti all'ingresso e che --ne sono certissimo-- possono essere totalmetne "controllati" all'interno delle dinamiche anche di un singolo docente. D'altro canto --e sono certo anche di questo-- le ricadute in termini didattici e, soprattutto, di diffusione della consapevolezza e del valore dei principi sottostanti, sarebbero rilevanti. E non soltanto confinati in ambito UNIV. Perché non viene fatto? Il dubbio che non venga fatto perché semplicemente... non si conoscono tali opportunita', mi è forte... ed è per questo che ho scritto questo messaggio. Qualcuno sarebbe interessato ad approfondire questo genere di timatiche? Un caro saluto, DV [1] https://spark-os.live/download/spes - il tizio è "sayann70", con cui ho scambiato 4 chiacchiere... e che mi ha fatto capire che, in fondo, la sua attivita' è molto semplice. Gli ho mandato 20 € per ringraziarlo. Si è commosso.... Ripeto: il "suo" spark-os è quello che permette a me di telefonare... google-free [2] ad esempio, il "Mi Smart Band 7" di Xiaomi. [3] https://codeberg.org/Freeyourgadget/Gadgetbridge [4] https://codeberg.org/Freeyourgadget/Gadgetbridge/wiki/Developer-Documentati… [5] https://codeberg.org/Freeyourgadget/Gadgetbridge/wiki/BT-Protocol-Reverse-E… [5b] https://it.aliexpress.com/w/wholesale-smartwatch.html [6] https://addons.thunderbird.net/en-US/thunderbird/addon/mailhops/ [7] https://www.mailhops.com/ [8] https://github.com/utoni/nDPId [9] https://github.com/ntop/nDPI -- Damiano Verzulli e-mail:damiano@verzulli.it --- possible?ok:while(!possible){open_mindedness++} --- "...I realized that free software would not generate the kind of income that was needed. Maybe in USA or Europe, you may be able to get a well paying job as a free software developer, but not here [in Africa]..." -- Guido Sohne - 1973-2008 http://ole.kenic.or.ke/pipermail/skunkworks/2008-April/005989.html

Oct. 19, 2023

Re: [nexa] legal RDF? (was IA, lavoro, immaginari) [CDT:L4] [CDT:L7]

by Andrea Bolioli

Buongiorno L’informatica giuridica si occupa di questi temi, e di altri. È un settore complesso e vivace, ci lavoro a livello italiano ed europeo. Come in altri settori, non è banalissimo mettere a terra le idee, fare le sperimentazioni, tradurle in azioni che hanno un impatto, ecc Non approfondisco l’argomento perché richiederebbe troppo tempo e sarebbe fuori luogo. Su “legal RDF” segnalo Akoma Ntoso, standard abbastanza diffuso. Segnalo anche che ho iniziato un progettino su EUR-Lex (la banca dati europea) in cui proviamo ad integrare un chatbot a un motore di ricerca. https://www.dsu.cnr.it/notizie-cnr/laccesso-allinformazione-giuridica-col-s… Se qualcuno è interessato mi può contattare privatamente. Nelle prossime settimane diffonderemo un questionario sull’uso di EUR-Lex. Buona giornata, Andrea Il giorno gio 19 ott 2023 alle 09:10 380° <g380(a)biscuolo.net> ha scritto: > Buongiorno! > > "M. Fioretti" <mfioretti(a)nexaima.net> writes: > > [...] > > > Grazie per la spiegazione precisa della differenza fra le nostre due > > proposte, che non si escludono a vicenda, giusto? > > Certo che no, sono anche applicabili parallelamente e... > ricorsivamente... basta che si inizi da qualche parte, perché la > situazione attuale è davvero messa male, ma male male male > > [...] > > > e presumo che gli LLM o altre forme di "AI" potrebbero generare la > > prima bozza della versione semplificata in pochissimo tempo. > > sì, probabilmente le applicazioni dovrebbero essere adeguatamente > verticalizzate: esiste un corpus selezionato di leggi scritte bene e > adeguatamente "taggate"?!? > > > Questo e' un lavoro che in principio sarebbe necessario solo UNA volta > > per codice, o per Stato. > > potrebbe anche essere applicato più volte ma una volta che le leggi > fossero ben /formalizzate/ poi un sano "code review" dovrebbe evitare di > reintrodurre inutili bizantinismi > > > E poi il risultato si potrebbe, anzi: si dovrebbe senz'altro > > formattare con RDF o altri sistemi come dici tu, sotto controllo delle > > versioni come diciamo tutti e due. > > ...e a quel punto sarebbe già tutto un altro mondo! > > > Io del lato RDF non mi sono mai occupato prima perche' mi > > affascinavano troppo gli altri due, ma sarebbe bello lavorare > > seriamente anche su quello. Ma una facolta' di giurisprudenza e una di > > informatica che si mettano insieme per fare 'sta cosa seriamente si > > trovano, magari con fondi EU? NEXA????? > > il problema non è la ricerca interdisciplinare (anche se potrebbe > migliorare), nemmeno la ricerca applicata, ma la volontà e *competenza* > politica per applicarlo: in tema di semplificazione legislativa si > sentono un sacco di chiacchiere e si vede un sacco di folklore. > > Ve lo ricordate Calderoli con il suo *patetico* falò? [1] Era il 2009 e > la norma "taglia leggi" era talmente fatta coi piedi che sono dovuti > intervenire per ripristinarne alcune, tra cui quella di istituzione > della Corte dei Conti (fu senza dubbio un lapsus freudiano), i tribunali > dei minori e le norme a tutela degli alimenti. > > «Fà e disfà l'è tücc un lavurà»... pensate a quante persone hanno dovuto > lavorare per implementare la "taglia-leggi" e poi per riparare i suoi > danni: quanti punti di PIL fa?!? > > Io ho il vaghissimo sospetto che nulla viene fatto in questa direzione > anche perché si rischierebbe di "scoprire" che la qualità del lavoro dei > legislatori - cioè chi produce i codici che fanno (mal)funzionare lo > stato - è /infima/. :-O > > [...] > > >> L'accordo, quindi, NON /fu/ analizzato in forma di linguaggio naturale > >> ma etc etc... > > > > certo, ma quello che conta, almeno in sede di proposta/divulgazione, > > e' l'idea generale, indipendente dall'implementazione: > > sì Marco, il mio se vuoi è un "cavillo" per dire che l'implementazione > NON può passare per la formalizzazione in linguaggi di logica simbolica > ma per l'utilizzo di migliori rappresentazioni (tipo RDF) i cui "nodi" > sono espressi sempre in linguaggio naturale, che solo umani possono > interpretare, applicando /giudizio/. > > > farsi indicare dalle macchine le "falle" o ridondanze in un testo, per > > poi risolverle e deciderne fra umani. > > sì questa è l'idea generale, concordo > > [...] > > >> Ora, ammesso e /non concesso/ che quelli descritti nelle leggi > >> (regolamenti, ecc.) siano problemi risolvibili algoritmicamente [2] > > > > sempre e solo per chiarezza, nemmeno io penso questo. > > sì sì, lo immaginavo, era solo per sgomberare il campo da idee di > automazione completa che /potrebbero/ venire in mente a chi pensa di > /attuare/ automaticamente l'output dell'"AI" a ogni cosa > > [...] > > Saluti, 380° > > > > [1] > https://www.ilgiornale.it/news/calderoli-rogo-anti-burocrazia-eliminate-375… > > https://it.wikipedia.org/wiki/Roberto_Calderoli#Ministro_per_la_semplificaz… > > > -- > 380° (Giovanni Biscuolo public alter ego) > > «Noi, incompetenti come siamo, > non abbiamo alcun titolo per suggerire alcunché» > > Disinformation flourishes because many people care deeply about injustice > but very few check the facts. Ask me about <https://stallmansupport.org>. > _______________________________________________ > nexa mailing list > nexa(a)server-nexa.polito.it > https://server-nexa.polito.it/cgi-bin/mailman/listinfo/nexa > >

Oct. 19, 2023

code review from a programmer POV (was IA, lavoro, immaginari) [CDT:L4] [CDT:L7]

by 380°

Buongiorno, 380° <g380(a)biscuolo.net> writes: [...] > Già solo usare un sistema di controllo versioni per leggi scritte in > qualche "markup" sano (già, perché i documenti scritti in ODT col cavolo > che si "versionano" bene) sarebbe un inizio... > > ...poi, piano piano, cominciare a trattare le leggi (e molti altri > codici) *esattamente* come "codice sorgente" (perché lo sono), con > *tutto* quello che comporta: uso di migliori formalizzazioni (RDF è un > valido esempio), gestione delle dipendenze/link... creazione di > /librerie/ legislative, del tutto _analoghe_ alle librerie software. Aggiungo un'attività legata al "coding" che sarebbe di *enorme* utilità in campo legislativo: il "code review". Probabilmente chi conosce la pratica ha già capito tutto ma per chi non l'avesse mai "vista", significa che ogni emendamento (patch) da applicare al corpus legislativo (codice) dovrebbe essere così gestito: 1. generato attraverso il tool scelto per la gestione delle versioni (es. git format-patch) 2. inviato via email in una apposita mailing list *pubblica* (es. git send-email); 3. il messaggio deve contenere: la patch (in formato diff [1]) _e_ il messaggio di "commit" che descriva chiaramente la _ratio_ di ciascuna modifica, che deve consentire gli altri legislatori (sviluppatori) di valutare nel merito l'emendamento; 4. l'emendamento può essere commentato in mailing list da tutti gli interessati (partecipazione), adottando ovviamente una *rigidissima* legisla-netiquette 5. scaduto il termine per il "code review", i maintainers (rappresentanti in parlamento) procedono alla votazione dell'emendamento (i voti ovviamente sono registrati e pubblicamente disponibili) 6. se l'emendamento è votato dalla maggioranza dei maintainers, viene eseguito il *commit* nel repository "leggi-dello-stato.git" (es. git commit...) L'intera storia (git log...) degli interventi legislativi è a disposizione di ogni cittadino che ha accesso read-only al repository, oltre ovviamente a tutti gli interventi di "code review" (public-inbox [2]) Ovviamente tutto il codice (corpus legislativo) deve essere gestito in un unico "monorepo", così i riferimenti (o conflitti) tra programmi (singole leggi) sono /risolvibili/. Ovviamente l'attività di "code review" può essere svolta sia in modo distribuito e decentralizzato che in modo centralizzato e coordinato (sedute in parlamento, audizioni, ecc.), tipo /hackaton/. Non stavo scherzando quando dicevo che i codici... *sono* codice :-D [...] Saluti, 380° [1] https://en.wikipedia.org/wiki/Diff#Context_format [2] un sistema per archiviare e ricercare in modo molto efficiente intere mailing list pubbliche -- 380° (Giovanni Biscuolo public alter ego) «Noi, incompetenti come siamo, non abbiamo alcun titolo per suggerire alcunché» Disinformation flourishes because many people care deeply about injustice but very few check the facts. Ask me about <https://stallmansupport.org>.

Oct. 19, 2023

Re: [nexa] legal RDF? (was IA, lavoro, immaginari) [CDT:L4] [CDT:L7]

by 380°

Buongiorno! "M. Fioretti" <mfioretti(a)nexaima.net> writes: [...] > Grazie per la spiegazione precisa della differenza fra le nostre due > proposte, che non si escludono a vicenda, giusto? Certo che no, sono anche applicabili parallelamente e... ricorsivamente... basta che si inizi da qualche parte, perché la situazione attuale è davvero messa male, ma male male male [...] > e presumo che gli LLM o altre forme di "AI" potrebbero generare la > prima bozza della versione semplificata in pochissimo tempo. sì, probabilmente le applicazioni dovrebbero essere adeguatamente verticalizzate: esiste un corpus selezionato di leggi scritte bene e adeguatamente "taggate"?!? > Questo e' un lavoro che in principio sarebbe necessario solo UNA volta > per codice, o per Stato. potrebbe anche essere applicato più volte ma una volta che le leggi fossero ben /formalizzate/ poi un sano "code review" dovrebbe evitare di reintrodurre inutili bizantinismi > E poi il risultato si potrebbe, anzi: si dovrebbe senz'altro > formattare con RDF o altri sistemi come dici tu, sotto controllo delle > versioni come diciamo tutti e due. ...e a quel punto sarebbe già tutto un altro mondo! > Io del lato RDF non mi sono mai occupato prima perche' mi > affascinavano troppo gli altri due, ma sarebbe bello lavorare > seriamente anche su quello. Ma una facolta' di giurisprudenza e una di > informatica che si mettano insieme per fare 'sta cosa seriamente si > trovano, magari con fondi EU? NEXA????? il problema non è la ricerca interdisciplinare (anche se potrebbe migliorare), nemmeno la ricerca applicata, ma la volontà e *competenza* politica per applicarlo: in tema di semplificazione legislativa si sentono un sacco di chiacchiere e si vede un sacco di folklore. Ve lo ricordate Calderoli con il suo *patetico* falò? [1] Era il 2009 e la norma "taglia leggi" era talmente fatta coi piedi che sono dovuti intervenire per ripristinarne alcune, tra cui quella di istituzione della Corte dei Conti (fu senza dubbio un lapsus freudiano), i tribunali dei minori e le norme a tutela degli alimenti. «Fà e disfà l'è tücc un lavurà»... pensate a quante persone hanno dovuto lavorare per implementare la "taglia-leggi" e poi per riparare i suoi danni: quanti punti di PIL fa?!? Io ho il vaghissimo sospetto che nulla viene fatto in questa direzione anche perché si rischierebbe di "scoprire" che la qualità del lavoro dei legislatori - cioè chi produce i codici che fanno (mal)funzionare lo stato - è /infima/. :-O [...] >> L'accordo, quindi, NON /fu/ analizzato in forma di linguaggio naturale >> ma etc etc... > > certo, ma quello che conta, almeno in sede di proposta/divulgazione, > e' l'idea generale, indipendente dall'implementazione: sì Marco, il mio se vuoi è un "cavillo" per dire che l'implementazione NON può passare per la formalizzazione in linguaggi di logica simbolica ma per l'utilizzo di migliori rappresentazioni (tipo RDF) i cui "nodi" sono espressi sempre in linguaggio naturale, che solo umani possono interpretare, applicando /giudizio/. > farsi indicare dalle macchine le "falle" o ridondanze in un testo, per > poi risolverle e deciderne fra umani. sì questa è l'idea generale, concordo [...] >> Ora, ammesso e /non concesso/ che quelli descritti nelle leggi >> (regolamenti, ecc.) siano problemi risolvibili algoritmicamente [2] > > sempre e solo per chiarezza, nemmeno io penso questo. sì sì, lo immaginavo, era solo per sgomberare il campo da idee di automazione completa che /potrebbero/ venire in mente a chi pensa di /attuare/ automaticamente l'output dell'"AI" a ogni cosa [...] Saluti, 380° [1] https://www.ilgiornale.it/news/calderoli-rogo-anti-burocrazia-eliminate-375… https://it.wikipedia.org/wiki/Roberto_Calderoli#Ministro_per_la_semplificaz… -- 380° (Giovanni Biscuolo public alter ego) «Noi, incompetenti come siamo, non abbiamo alcun titolo per suggerire alcunché» Disinformation flourishes because many people care deeply about injustice but very few check the facts. Ask me about <https://stallmansupport.org>.

Oct. 19, 2023