- nexa - server-nexa.polito.it

Re: [nexa] Oxford shuts down institute run by Elon Musk-backed philosopher | Elon Musk | The Guardian

by 380°

"J.C. DE MARTIN" <demartin(a)polito.it> writes: > https://www.theguardian.com/technology/2024/apr/19/oxford-future-of-humanit… Bostrom passa alla cronaca come filosofo. --8<---------------cut here---------------start------------->8--- Bostrom is a proponent of the related long-termism movement, which held that humanity should concern itself mostly with long-term existential threats to its existence such as AI and space travel. Critics of long-termism tend to argue that the movement applies an extreme calculus to the world that disregards tangible current problems, such as climate change and poverty, and veers into authoritarian ideas. In one paper, Bostrom proposed the concept of a universally worn “freedom tag” that would constantly surveil individuals using AI and relate any suspicious activity to a police force that could arrest them for threatening humanity. --8<---------------cut here---------------end--------------->8--- Quando ho letto quella frase pensavo fosse una esagerazione giornalistica (che succede neh!), ma poi ho aperto il _romanzo_: https://nickbostrom.com/papers/vulnerable.pdf «The Vulnerable World Hypothesis», Nick Bostrom, Novembre 2019 --8<---------------cut here---------------start------------->8--- [...] Technology policy should not unquestioningly assume that all technological progress is beneficial, or that complete scientific openness is always best, [...] In order for civilization to have a general capacity to deal with “black ball” inventions of this type, it would need a system of ubiquitous real-time worldwide surveillance. In some scenarios, such a system would need to be in place before the technology is invented. [...] Rather than allow anybody to buy their own DNA synthesis machine, DNA synthesis could be provided as a service by a small number of closely monitored providers. [...] Type-2b (‘worse global warming’) There is yet another way in which the world could be vulnerable; one that we can illustrate with a counterfactual related to climate change. [...] the transient climate sensitivity [...] could have turned out to be much greater than it is (Shindell, 2014). If it had been several times larger than its actual value, we would have been in for a temperature rise of, say, 15o or 20o C instead of 3o – a prospect with far greater civilization-destroying potential than the actual expectation. [...] To get a truly civilizational threat from global warming, it may also be necessary to stipulate, counterfactually, that mitigation through geoengineering is infeasible. [...] in what we will call a Type-2b vulnerability, there is a large number of individually insignificant actors who is each incentivized (under the semianarchic default condition) to take some action that contributes slightly to what cumulatively becomes a civilizationdevastating problem: [...] Type-2b vulnerabilities, such as a ‘worse global warming’ scenario in which some states are inclined to free-ride on the costly efforts of others to cut emissions. An effective global governance institution could compel every state to do its part [...] High-tech Panopticon Everybody is fitted with a ‘freedom tag’ [...] ‘a personal tracking device that can also be used to make calls’). The freedom tag is a slightly more advanced appliance, worn around the neck and bedecked with multidirectional cameras and microphones. [...] If suspicious activity is detected, the feed is relayed to one of several patriot monitoring stations. [...] a freedom officer reviews the video feed on several screens and listens to the audio in headphones. [...] The freedom officer then determines an appropriate action, such as contacting the tagwearer via an audiolink to ask for explanations or to request a better view. [...] In the small fraction of cases where the wearer refuses to desist from the proscribed activity after repeated warnings, an arrest may be made or other suitable penalties imposed. [...] Creating and operating the High-tech Panopticon would require substantial investment, but thanks to the falling price of cameras, data transmission, storage, and computing, and the rapid advances in AI-enabled content analysis, it may soon become both technologically feasible and affordable. For example, if the cost of applying this to one individual for 1 year falls to around US$140, then the entire world population could be continuously monitored at a cost of less than 1 per cent of world GDP. At that price, the system would plausibly represent a net saving – even setting aside its use in preventing civilization-scale cataclysms – because of its utility for regular law enforcement. If the system works as advertised, many forms of crime could be nearly eliminated, with concomitant reductions in costs of policing, courts, prisons, and other security systems. It might also generate growth in many beneficial cultural practices that are currently inhibited by a lack of social trust. --8<---------------cut here---------------end--------------->8--- Non è un racconto di Orwell?!? Non è una fiction di Bob Shaw [1]? Cioè quelle cose lì qualcuno andava in giro a dirle seriamente, non in uno spettacolo teatrale di pura fantasia? Cioè qualcuno è stato davvero in grado di sostenere che un mondo del genere, infarcito di "feedom officers" stile Stasi, oltre che essere peggio della morte, rappresenterebbe un "net saving" perché costerebbe l'1% del prodotto interno lordo (laido?) mondiale? So che in ambito accademico era in uso il cosiddetto "bacio accademico", ma esiste(va) anche il "calcio nel culo accademico"? O il "vaffanculo accademico"? NON alle persone, ma alle /idee/ come queste? Come è potuto accadere che una istituzione come Oxford abbia dato ampio credito a simili idee, come se non ci fosse un _ieri_?!? Oppure è la punta dell'iceberg della _corruzione_ (almeno corruzione dell'ethos) accademica? Ora, la prima reazione è di /grande sollievo/ per il fatto che un simile meta-progetto (uno dei tanti?) sia stato gentilmente accompagnato fuori dalla porta dell'accademia, le persone troveranno senza dubbio altri lidi molto remunerati. Terminata l'euforia però penso al sistema di sorveglianza di Venezia, alle smart-cities, ai continui e incessanti attacchi alla E2EE: stanno _vincendo_ i progetti propagandati dalle persone come Nick Bostrom? Saluti, 380° [1] https://en.wikipedia.org/wiki/Slow_light#In_fiction -- 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>.

May 9, 2024

Digitalizzazione della guerra e militarizzazione del digitale

by de petra giulio

Segnalo il nuovo incontro organizzato dalla Scuola critica del digitale del CRS e dal Forum Disuguaglianze e Diversità sul tema: *Digitalizzazione della guerra e militarizzazione del digitale.* Si partirà dalla presentazione della ricerca *“Blurring boundaries: an analysis of the digital platforms-military nexus”* svolta da tre studiosi e ricercatori italiani *Andrea Coveri, Claudio Cozza e Dario Guarascio* Ne parleranno con gli autori *Giulio De Petra, Mario Pianta *e* Guglielmo Tamburrini * A questo indirizzo si può trovare la descrizione della presentazione https://centroriformastato.it/iniziativa/digitalizzazione-della-guerra-e-mi… L'incontro si svolgerà a *Roma, giovedì 16 maggio, in via della Dogana Vecchia 5 **a partire dalle 17,30* Sarà possibile partecipare anche a distanza, collegandosi tramite il link: https://us02web.zoom.us/j/81948891898

May 9, 2024

Re: [nexa] [CDT L-net] Re: "Novel attack against virtually all VPN apps neuters their entire purpose"

by 380°

Buongiorno, in merito ai metodi disponibili su GNU/Linux per evitare possibili attacchi come quello in oggetto... 380° <g380(a)biscuolo.net> writes: [...] > https://www.leviathansecurity.com/blog/tunnelvision --8<---------------cut here---------------start------------->8--- It is not feasible to fix the issue by simply removing support for the DHCP feature because this could break Internet connectivity in some legitimate cases. The strongest recommendation we have is for VPN providers to implement network namespaces on operating systems that support them, similar to the method described in WireGuard’s documentation [1]. Network namespaces are a Linux feature that can segment interfaces and routing tables away from the local network’s control --8<---------------cut here---------------end--------------->8--- Bingo! In alternativa al metodo documentato da wireguard (The New Namespace Solution) [1], che è un po' macchinoso, chi ha necessità di effettuare il routing di tutto il traffico generato dalle proprie applicazioni via VPN (wireguard o altra che sia) non deve far altro che eseguirle in un container (detto guest) LXC, magari creato/gestito via virt-manager [2]), opportunamente configurato [3] [4] [5]. Il risultato netto è una topologia di rete guest/host di tipo "Ordinary Containerization" [6] che è del tutto analoga a quella illustrata nel diagramma di rete in "The New Namespace Solution" [1] (vale con qualsiasi VPN), indicata da Leviathan security group come soluzione adeguata all'attacco da loro denunciato. Sbaglio? (mi pare di no). Happy hacking! 380° [1] https://www.wireguard.com/netns/#the-new-namespace-solution [2] https://virt-manager.org/ [3] per OpenVPN: https://wiki.archlinux.org/title/Linux_Containers/Using_VPNs#OpenVPN_in_cli… [4] per wireguard: https://wiki.archlinux.org/title/Linux_Containers/Using_VPNs#WireGuard [5] la documentazione indicata vale per _tutti_ i container LXC, non solo per quelli su host con Arch Linux [6] https://www.wireguard.com/netns/#ordinary-containerization -- 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>.

May 9, 2024

Re: [nexa] Nick Bostrom & closing of Oxford’s Future of Humanity Institute

by Thomas Le Bonniec

Timnit Gebru's reaction on [ https://www.linkedin.com/posts/timnit-gebru-7b3b407_oxford-shuts-down-insti… | Linkedin ] to [ https://www.theguardian.com/technology/2024/apr/28/nick-bostrom-controversi… | The Guardian's article ] below. The DAIR institute she create has also published a paper on " [ https://firstmonday.org/ojs/index.php/fm/article/view/13636 | The TESCREAL ] " bundle (see link) - which Wikipedia describes as " Gebru and [ https://en.wikipedia.org/wiki/%C3%89mile_P._Torres | Émile P. Torres ] have used the acronym TESCREAL to criticize what they see as a group of overlapping futurist philosophies: [ https://en.wikipedia.org/wiki/Transhumanism | transhumanism ] , [ https://en.wikipedia.org/wiki/Extropianism | extropianism ] , [ https://en.wikipedia.org/wiki/Singularitarianism | singularitarianism ] , [ https://en.wikipedia.org/wiki/Russian_cosmism | cosmism ] , [ https://en.wikipedia.org/wiki/Rationalism | rationalism ] , [ https://en.wikipedia.org/wiki/Effective_Altruism | effective altruism ] , and [ https://en.wikipedia.org/wiki/Longtermism | longtermism ] . Gebru considers these to be a right-leaning influence in [ https://en.wikipedia.org/wiki/Big_Tech | Big Tech ] and compares proponents to "the [ https://en.wikipedia.org/wiki/Eugenics | eugenicists ] of the 20th century" in their production of harmful projects they portray as "benefiting humanity "" Here's Gebru's response : " So finally, Nick Bostrom's institute has been closed down at Oxford, and he resigned from the university following that. When I got a request to speak from something something Oxford this was how I had responded: "Thank you for the invitation. Given the number of eugenicists housed at Oxford with zero consequences, especially those who created the field of "existential studies" talking about "existential risk" from "AI" like Nick Bostrom, various people in his institute, the effective altruists and the overall TESCREAL bundle who have been drenched in money to advocate for the impending AGI apocalypse and utopia, two sides of the same coin, I don't plan to make any types of appearance at Oxford. I certainly will give no credence to people who talk about "Blacks" being "more stupid than whites," "dysgenic pressures" (the opposite of eugenic pressures) as existential risk to humanity, with stupid people (like "the Blacks") reproducing and creating a species that is not human. As many people have written, the most racist ideas are propagated and laundered through academia. This has historically been the case at Oxford and we are currently seeing it in action. Oxford has been the absolute worst in this manner. So following Keira Haven's recommendations, what I plan to do is "make them laughingstocks. Make them irrelevant. Demolish any lingering scientific credibility, and make it painful for their institutions — academic and otherwise — to continue to associate them publicly." I don't have the billions they get from their TESCREAL billionaires so I will not use my limited time and resources to debate anyone in this camp. " [ https://www.telecom-paris.fr/ ] Thomas LE BONNIEC Doctorant SES- I3 [ https://diplab.eu/ | DiPLab ] Bureau 3A343 19 place Marguerite Perey CS 20031 91123 Palaiseau Cedex Une école de [ https://www.imt.fr/ | l'IMT ]

May 9, 2024

Re: [nexa] sul linguaggio (was Re: Articolo sui LLMs - il punto di vista di un giurista)

by Guido Vetere

> > sono ignorante in /attrezzismo/, non ho nemmeno idea se sia alto o tardo > wittgensteinesimo, non ho nemmeno idea di "dove" egli usi quella > /metafora/ del linguaggio, ma sospetto che anche solo per provare a > capirlo dovrei leggere l'intero Tractatus come minimo e poi /almeno/ > confrontarlo /dialetticamente/ con le tre critiche di Kant, in > particolare quella della ragione > Il filosofo Ludwig Wittgenstein ha utilizzato la metafora del linguaggio come una "cassetta degli attrezzi" nel suo testo **"Ricerche filosofiche"** (*Philosophische Untersuchungen*), che è stato pubblicato postumo nel 1953. In questo scritto, Wittgenstein introduce l'idea che il linguaggio non sia una singola struttura uniforme, ma piuttosto una raccolta di strumenti diversi che vengono usati in modi differenti a seconda delle necessità. La metafora viene utilizzata nella seguente citazione: > "Considera gli strumenti in una cassetta da falegname: ci sono un martello, una tenaglia, una sega, una vite, un cacciavite, un righello, una colla, chiodi e viti. – Gli usi delle parole sono molteplici quanto le funzioni di questi oggetti. [...] È così che guardiamo il linguaggio." (*Ricerche filosofiche*, § 11) In questo passaggio, Wittgenstein sottolinea la varietà e diversità delle funzioni linguistiche, opponendosi all'idea di una struttura rigida e uniforme del linguaggio.. [e poi parlate male di ChatGPT] G. On Wed, 8 May 2024 at 10:15, 380° via nexa <nexa(a)server-nexa.polito.it> wrote: > Buongiorno Alessandro, > > scusate l'OT (?) ma visto che si parla di linguaggio connesso all'uso > dei processi di calcolo (che sono quelli usati in tutto il software, > compresi gli LLM) ho qualche curiosità da /limaferro/ [1] > > alessandro marzocchi <alemarzoc(a)gmail.com> writes: > > [...] > > > Bella questione, quella della cassetta degli attrezzi di Wittgenstein, > > sono ignorante in /attrezzismo/, non ho nemmeno idea se sia alto o tardo > wittgensteinesimo, non ho nemmeno idea di "dove" egli usi quella > /metafora/ del linguaggio, ma sospetto che anche solo per provare a > capirlo dovrei leggere l'intero Tractatus come minimo e poi /almeno/ > confrontarlo /dialetticamente/ con le tre critiche di Kant, in > particolare quella della ragione... ehrm > > > una volta si parlava di linguaggio artificiale per evidenziare la sua > > non umanità, > > ignoravo il concetto di "linguaggio artificiale" (da _non_ confondere > con "pianificato" o "costruito", anche se Rabelais si arrabbierebbe): > https://en.wikipedia.org/wiki/Artificial_language > > ha origini nel 17mo secolo e la ratio è quella di sviluppare un > linguaggio razionale senza le inconsistenze di un linguaggio vivo > (naturale?) e basato sulla /classificazione dei concetti/. Quando sono > stati disponibili i calcolatori - che a classificare sono imbattibili - > hanno cominciato a usare quelli per sviluppare tali linguaggi, che > comunque sono /disposable/ e non servono a nulla se non per completare > l'_esperimento_. > > comunque sia, il "linguaggio artificiale" è qualcosa di generato (anche) > da un computer attraverso software programmato allo scopo: corretto? > Tale linguaggio ha una applicazione praticamente nulla e non c'entra con > gli LLM, ovvero non è usato in connessione agli LLM: sbaglio? > > con tutto il rispetto trovo più interessante il Klingon (constructed > language): > https://en.wikipedia.org/wiki/Klingon_language > :-D > > alla fine della fiera mi pare di capire che nessuna "Intelligenza > Articifiale" sia in grado di /costruire/ un linguaggio nemmeno mille > parsec lontano dalla sofisticatezza di qualsiasi "constructed language" > [2], tipo l'Esperanto, per fare un esempio più serio (?) del Klingon; il > mondo dei linguaggi costruiti (progettati) è immenso [3], perché la > linguistica è inseparabile dalla filosofia (e viceversa) > > > siamo al metalinguaggio? > > no, ma stiamo parlando di meta-linguistica, una "cosa" del tutto analoga > alla meta-scienza, entrambe ambiti di ricerca che fanno parte della > metafisica, quindi della filosofia. > > > Inoltre, osservazione epistemologicamente meno nobile, gli attrezzi > > che finora sono stati "bene comune" rischiano di diventare proprietà > > privata ed ai noi neppure concedono le istruzioni per l'uso. > > No, nessuno è mai riuscito ad appropriarsi del _linguaggio_ per mezzo di > copyright, brevetto o marchio, quello che denunci è un rischio > insesistente. > > Ricordo che nel recente passato ci sono state un paio di /pesanti/ (dal > punto di vista giuridico) battaglie legali per la "proprietarizzazione" > delle API (che sono infinitamente meno complesse di qualsiasi > linguaggio, artificiali compresi) e chi ha tentato ha perso, ne parla > Eben Moglen qui: > https://softwarefreedom.org/blog/2022/jan/18/google-oracle-endera/ > > ...anche se effettivamente ci sono sempre tempo e risorse per rimettere > in discussione il “fair use for software API declarations” > > il resto degli attrezzi "bene comune" si chiama "software libero" e > giuridicamente è (quasi) del tutto analogo a qualsiasi altra opera > letteraria [4] > > [...] > > Saluti, 380° > > > [1] nomignolo dispregiativo che l'amico studente in ragioneria usava per > prendere in giro il mio alter ego studente perito tecnico, che per i > primi 2 anni aveva in curriculum una materia che si chiamava > "Aggiustaggio" > > [2] https://en.wikipedia.org/wiki/Constructed_language > > [3] io trovo _esilarante_ il tentativo (di chi?) di /classificare/ i > linguaggi costruiti secondo criteri (pseudo)logici: engelangs, > artlamgs... https://en.wikipedia.org/wiki/Constructed_language#Overview > > [4] con alcune notevoli eccezioni spregevoli, tipo i DRM (Digital > _restrictions_ management) > > -- > 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>. >

May 9, 2024

Re: [nexa] Leibniz e il calcolatore binario (was Re: sul linguaggio...))

by 380°

Buongiorno a tutti, grazie infinite a tutti per i preziosissimi riferimenti di _archeologia_ informatica. Daniela Tafani <daniela.tafani(a)unipi.it> writes: > Il 08/05/2024 19:35, 380° ha scritto: >> fino a Leibniz (e oltre?) i numeri e tutta la matematica binaria sono stati strumenti >> di... /divinazione/ (o meglio teologia). > > L'aspetto impressionante di quel testo di Leibniz è l'idea che il > calcolo binario possa essere effettuato facilmente con una macchina, [...] > Assegnando numeri (primi) ai concetti primitivi si può procedere a > codificare TUTTI i concetti in binario. E usare la macchina per > calcolare. OK, io erroneamente fino a ieri ho pensato che il "prototipo" della macchina calcolatrice (il computer "primitivo") fosse l'analitycal engine di Babbage, con il /determinante/ apporto di Menabrea e poi Ada Lovelace che portarono alla scrittura del primo programma per computer attorno al 1843 (ho già detto che è stato _parecchio_ prima che Turing "inventò" la sua macchina teorica). Ora invece imparo che no, è stato Leibniz a progettare la prima macchina di calcolo assimilabile a un computer (per via del fatto che usava il sistema binario), poco importa quanto programmabile e se effettivamente programmata. Attenzione che la storia delle macchine per il calcolo (manuali e poi meccaniche) è altra cosa, mi pare: https://en.wikipedia.org/wiki/Computer#Pre-20th_century >> > In merito all'informatica e all'AI scopro anche che: >> >> --8<---------------cut here---------------start------------->8--- >> >> In the late 13th century Ramon Llull had the ambition to account for all >> wisdom in every branch of human knowledge of the time. For that purpose >> he developed a general method or "Ars generalis" based on binary >> combinations of a number of simple basic principles or categories, for >> which he has been considered a predecessor of computing science and >> artificial intelligence. >> >> --8<---------------cut here---------------end--------------->8--- > > Sì, e con una macchina fisica: > > "Llull con la sua Ars combinatoria (secondo la denominazione di > Leibniz) non solo propose un linguaggio logico al-gebrico per > rappresentare la conoscenza e generare nuove verità a partire da > premesse note, ma fornì anche una implementazione, come diremmo oggi, > del suo modello di calcolo. Llull realizzò infatti una macchina fisica > costituita da dischi di carta concentrici che, ruotati opportunamente, > permettevano di combinare in vario modo i concetti rappresentati in > modo simbolico su di essi mediante lettere" In relazione alla Intelligenza Artificiale mi preme sottolineare il fatto che i concetti sono rappresentati in modo _simbolico_ e che devono essere combinati, credo che questo sia ontologicamente _opposto_ a quello che fanno i LLM. OK, quindi nel 13mo secolo progettò un sistema logico per _calcolare_ la verità attraverso la combinazione di concetti simbolici: --8<---------------cut here---------------start------------->8--- Llull's Art is sometimes recognized as a precursor to computer science and computation theory. With the discovery in 2001 of his lost manuscripts, Ars notandi, Ars eleccionis, and Alia ars eleccionis, together known as Ars Magna (what today would be called a logical system to discover some sort of truth), --8<---------------cut here---------------end--------------->8--- (https://en.wikipedia.org/wiki/Ramon_Llull#Other_recognition) E Lull inventò la relativa macchina... nel 13mo secolo :-D Credo che la fonte più esautiva, dal punto di vista divulgativo, in merito alle /Ars/ lulliane, sia quella di Stanford Encyclopedia of Philosophy Archive (anche se mancano i riferimenti alle Ars ritrovate nel 200), dove possiamo trovare come già nel 13mo secolo ci fossero /intense/ diatribe in merito a _come_ scoprire la verità (sugli "oggetti" della realtà)... e forse come corollario in merito alle "proprietà emergenti" di certi sistemi: --8<---------------cut here---------------start------------->8--- Studies on the Ars (Ruiz Simón 1998; Rubio 2008a; Jaulent 2010) show that it addresses the criticism made by Llull to Scholastic logic. This criticism has two great stages: on the one hand, the insufficiency of the demonstration by syllogisms—the basis of all Scholastic science—to reveal new truths, because it only explicitly states the relationship between known facts and evident principles (Ruiz Simón 1998), thus relegating dialectics (or ars inveniendi), which consists of finding arguments and counterarguments based on some loci or “places”, to the domain of opinion. On the other hand, this criticism (Jaulent 2010) addresses the fact that demonstration by syllogisms only works through second intentions, that is, it describes relationships within logical propositions and not according to objects in reality, which are conceptualized as first intentions. --8<---------------cut here---------------end--------------->8--- (https://plato.stanford.edu/archives/spr2021/entries/llull/#Ars) Mi permetto di sottolineare "second intentions" vs "first intentions", che a me risuona moltissimo con il concetto informatico di "first-class citizen" [2] Quindi in buona sostanza Llull, nel 13mo secolo, aveva già inventato una macchina per dimostrare che non si puo trovare la verità usando sillogismi (https://it.wikipedia.org/wiki/Sillogismo)? Comunque, a questo punto non mi stupirei se domani venisse trovato qualche "lost manuscript" sumero che retrodati certi concetti (e macchine?) di altre manciate di secoli. :-D [...] Saluti, 380° [1] anche Ören, T.I. (2001). Advances in Computer and Information Sciences: From Abacus to Holonic Agents. Special Issue on Artificial Intelligence of Elektrik (Turkish Journal of Electrical Engineering and Computer Sciences - Published by TUBITAK - Turkish Science and Technical Council), 9:1, 63-70 https://web.archive.org/web/20090915033859/http://www.site.uottawa.ca/~oren… [2] https://en.wikipedia.org/wiki/First-class_citizen -- 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>.

May 9, 2024

Re: [nexa] Premialità e valorizzazione di best-practices nostrane: mastodon in un Liceo del veronese

by Marco A. Calamari

On gio, 2024-05-09 at 10:18 +0200, 380° via nexa wrote: > Buongiorno Paolo e Damiano, > > Paolo Del Romano <delromano(a)gmail.com> writes: > > [...] > > > Questo mi ricorda tanto quello che accadde 25 anni fa nella mia scuola dove > > qualche docente, un preside illuminato e un ex-studente riuscirono a [...] > L'esperienza che racconti è la stessa identica che hanno vissuto > praticamente tutti gli attivisti del software libero che hanno > contribuito e/o collaborato con istituzioni scolastiche *e* rionali, > comunali, regionali, statali, nazionali *e* internazionali: non sono > _mai_ "scalate", non perché non siano "scalabili" ma peché attorno c'è > un ambiente _sterilizzante_. Se la cosa può consolare (e non può), nell'industria non del software la situazione è esattamente la stessa. Per quanto la soluzione "eretica" e libera sia performante, nessuno vuole correre il rischio di mantenerla come si fa invece per altre soluzioni, anche pessime, ma accettate dalla cultura software aziendale. A parte la contingenza che la impone, a nessuno interessa risolvere i problemi a lungo termine, e mantenere soluzioni non "standard" (volevo scrivere per la terza volta "eretiche" ma mi trattengo). > In particolare potendo effettuare uno studio sociogico e politologico di > tutte le attività messe in campo per il software libero e delle > relazioni istituzionali (disfunzionali) che ne sono seguite, credo di > non esagerare dicendo che "l'istituzione uccide le buone pratiche per > questioni di interessi non dichiarati" (poi sì, c'è sempre la scusa del: > eh ma è roba per /tennici/, lasciamola fare a _loro_). > > Qui un articolo che Damiano conosce bene perché lo citò lui in questa > lista, che ripercorre notevoli esperienze del mondo dell'attivismo del > software libero nelle scuole, arrivate ai massimi livelli istituzionali, > a partire dal 1996: > > «Le tribolazioni del software libero nelle scuole italiane» > (La storia di linuxdidattica.org) > > http://linuxdidattica.org/docs/documenti/tribolazioni_software_libero.html > (Antonio Bernardi, circa 2009 ma più probabilmente 2008, l'articolo non > è datato [1]) > > ...ci sono "tonnellate" di esperienze virtuose finite più o meno bene > per motivi del tutto analoghi. Non ne ho viste molte nella mia esperienza lavorativa; e tutte hanno avuto vita breve venuto meno l'attivismo del proponente. In molti casi c'è stata invece una qualche forma di mobbing o retaliation nei confronti dell'"eretico", anche se con la sua iniziativa aveva evitato grossi problemi all'azienda. Il pensionamento forzato è quello che ho subito io. [...] Come avrete tutti capito, volevo anche condividere con voi una parte della mia storia. Grazie

May 9, 2024

Re: [nexa] Leibniz e il calcolatore binario (was Re: sul linguaggio...))

by Antonio Vetro'

Con annesso Mercoledì di Nexa "Il genio di Leibniz tre secoli dopo” (9/11/2016): registrazione su https://nexa.polito.it/mercoledi-91 Il giorno 9 mag 2024, alle ore 10:31, Carlo Blengino <blengino(a)penalistiassociati.it> ha scritto: Beh, su Leibniz, in questa lista, è giusto anche citare "Leibniz. Una breve biografia intellettuale" del nostro garante Ugo Pagallo https://shop.wki.it/libri/leibniz-una-breve-biografia-intellettuale-s588786/ Il giorno gio 9 mag 2024 alle ore 10:33 Antonio Vetro' <antonio.vetro(a)polito.it<mailto:antonio.vetro@polito.it>> ha scritto: Immagino sia noto, ma segnalo anche “Il calcolatore universale - Da Leibniz a Turing” di Martin Davis , 2012 https://www.adelphi.it/libro/9788845927416 AV Il giorno 9 mag 2024, alle ore 08:54, Roberto Resoli <roberto(a)resolutions.it<mailto:roberto@resolutions.it>> ha scritto: Il 08/05/24 21:58, Roberto Resoli ha scritto: Il 8 maggio 2024 20:21:57 CEST, Daniela Tafani<daniela.tafani(a)unipi.it<mailto:daniela.tafani@unipi.it>> ha scritto: Il 08/05/2024 19:35, 380° ha scritto: fino a Leibniz (e oltre?) i numeri e tutta la matematica binaria sono stati strumenti di.../divinazione/ (o meglio teologia). L'aspetto impressionante di quel testo di Leibniz è l'idea che il calcolo binario possa essere effettuato facilmente con una macchina, con una scatola con fori che possano essere aperti e chiusi (aperti nel punto corrispondente a 1 e chiusi nel punto corrispondente a 0), semplicemente prevedendo che attraverso i fori aperti si possa far passare qualcosa (piccoli cubi o biglie) e nulla, ovviamente, passi dai fori chiusi. "La ricostruzione del meccanismo ad opera di L. von Mackensen in disegni tecnici (Fig. L1) ha permesso a R. Paland di costruire un modello funzionante di calcolatrice binaria, oggi conservato nel museo di Kassel" https://www.losguardo.net/wp-content/uploads/2022/01/2021-32-Leibniz-Roero-… Nel video a questa pagina il prof. Ludolf von Mackensen analizza questa e altre macchine di calcolo pensate da Leibniz https://lisa.gerda-henkel-stiftung.de/leibniz_als_ahnherr_der_computer_wiss… Leibniz come capostipite dei computer: le principali invenzioni scientifiche e tecniche e le loro conseguenze Conferenza del Prof. Dr. Ludolf von Mackensen | Conferenza “Theoria cum praxi” Non fu solo con l'invenzione del sistema duale che Leibniz pose le basi del mondo digitale. Nel 1670 progettò anche una macchina da calcolo meccanica con il suo “Banco di calcolo vivente”. Leibniz ha gettato le basi per i computer di oggi? Su quali presupposti si basava il trasferimento dei principi matematici ai processi meccanici da parte di Leibniz? In che modo le idee di Leibniz influenzano ancora oggi le moderne macchine da calcolo? Il Prof. Dr. Ludolf von Mackensen dell'Università di Kassel, che, come ingegnere della formazione ed esperto di storia della tecnologia, ha studiato a fondo gli albori della tecnologia informatica, affronterà queste domande nella sua conferenza. rob -- Avv. Carlo Blengino Via Duchessa Jolanda n. 19, 10138 Torino (TO) - Italy tel. +39 011 4474035 Penalistiassociati.it

May 9, 2024

Re: [nexa] Premialità e valorizzazione di best-practices nostrane: mastodon in un Liceo del veronese

by Giovanni Cerboni

Buongiorno a tutti, ultimamente ho fatto un'immersione nelle politiche all'incrocio tra giovani e digitali.Noto con rammarico che la possibilità del software libero è assente in tutte le linee guida di alto livello (da 'European Fit for the Digital Decade','Digital Education Action Plan', UNESCO in poi) ma anche nelle 'pratiche' di agenti educativi non scolastici (io seguo youth work/volontariato/NGO). Io stesso ne so molto poco e credo che parte del problema sia la percepita difficoltà di accesso a questo tipo di tecnologie. Se qualcuno di voi avesse in mente materiali intuitivi in inglese per farsi un'idea e far fare un'idea sarei grato di poterli integrare nella mia attività (Vista ora la risposta di 380*, grazie!). Buona giornata, Giovanni Cerboni *Pro Veritate adversa diligere* Il giorno gio 9 mag 2024 alle ore 10:18 380° via nexa < nexa(a)server-nexa.polito.it> ha scritto: > Buongiorno Paolo e Damiano, > > Paolo Del Romano <delromano(a)gmail.com> writes: > > [...] > > > Questo mi ricorda tanto quello che accadde 25 anni fa nella mia scuola > dove > > qualche docente, un preside illuminato e un ex-studente riuscirono a > > [...] > > > Però rimase una cosa per pochi e soprattutto c'è l'amarezza di non essere > > riusciti a far capire a molti colleghi docenti la straordinarietà di > quello > > che stava accadendo. Infatti poi accadde che quando il Dirigente > > Scolastico se ne andò, gran parte di quel lavoro è stato perso, > dimenticato > > e la cosa più grave non è stata data l'opportunità agli studenti che sono > > arrivati dopo, di continuare a beneficiare di quelle formidabili > esperienze > > che l'istituto aveva vissuto e offerto alla comunità scolastica. > > > > Speriamo che il Galilei di Verona riesca a fare meglio ma credo che fino > a > > quando non avremo qualche burocrate illuminato ai vertici del MIUR (oggi > > solo MIM) non si faranno passi importanti su questo fronte. > > L'esperienza che racconti è la stessa identica che hanno vissuto > praticamente tutti gli attivisti del software libero che hanno > contribuito e/o collaborato con istituzioni scolastiche *e* rionali, > comunali, regionali, statali, nazionali *e* internazionali: non sono > _mai_ "scalate", non perché non siano "scalabili" ma peché attorno c'è > un ambiente _sterilizzante_. > > In particolare potendo effettuare uno studio sociogico e politologico di > tutte le attività messe in campo per il software libero e delle > relazioni istituzionali (disfunzionali) che ne sono seguite, credo di > non esagerare dicendo che "l'istituzione uccide le buone pratiche per > questioni di interessi non dichiarati" (poi sì, c'è sempre la scusa del: > eh ma è roba per /tennici/, lasciamola fare a _loro_). > > Qui un articolo che Damiano conosce bene perché lo citò lui in questa > lista, che ripercorre notevoli esperienze del mondo dell'attivismo del > software libero nelle scuole, arrivate ai massimi livelli istituzionali, > a partire dal 1996: > > «Le tribolazioni del software libero nelle scuole italiane» > (La storia di linuxdidattica.org) > > http://linuxdidattica.org/docs/documenti/tribolazioni_software_libero.html > (Antonio Bernardi, circa 2009 ma più probabilmente 2008, l'articolo non > è datato [1]) > > ...ci sono "tonnellate" di esperienze virtuose finite più o meno bene > per motivi del tutto analoghi. > > [...] > > > Il giorno mer 8 mag 2024 alle ore 17:40 Damiano Verzulli < > > damiano(a)verzulli.it> ha scritto: > > > > [...] > > >> Per capirci: il servizio di cui parlo (mastodon) è lo stesso che EDPS ha > >> sperimentato per due anni (con un numero di account sensibilmente > >> inferiore) e che --come discusso qualche giorno fa [1]-- ha deciso di > >> chiudere. Dunque, un liceo vince... laddove una alta istituzione > >> europea... perde. > > Sì ma il fatto che "un liceo vince" (una piccola battaglia) così come > hanno fatto decine e decine di scuole nella recente storia _non_ fa più > notizia (qualche anno fa sì, almeno locale), mentre che "una istituzione > europea perde" sta facendo molta notizia /internazionale/ e soprattutto > "fa tendenza" e nell'immaginario collettivo viene ribadita la > /narrazione/ che "chi fa da sé... perde". > > [...] > > >> La domanda è: cosa è possibile fare affinchè tale iniziativa venga > >> valorizzata? Cosa è possibile fare per portare quel 141 a 200... o anche > >> piu'... ad esempio a tutti gli studenti della scuola ? Cosa è possibile > >> fare affinché i due docenti che ci stanno dietro... non rischino di > >> vedere il proprio operato come "un peso" ma, piuttosto, possano trovare > >> giovamento da quello che hanno fatto? > >> > >> Idee, suggerimenti e commenti (e critiche) sono bene accette :-) > > non vedo altra soluzione che abolire d'un botto tutte le istituzioni che > governano la scuola e lasciare che le _persone_ che amano il proprio > lavoro [2] si organizzino /anarchicamente/; ovviamente esagero > > ... esagero? > > un forte abbraccio, sincero e commosso, a tutti coloro che hanno speso i > migliori anni della propria vita a tentare di cambiare le cose, in > qualche caso riuscendoci anche in modo egregio, ma che alla fine sono > (sono... siamo!) stati fregati dai "furbi" o dai "pigri" > > [...] > > Saluti, 380° > > > > [1] Articolo edito nell'antologia Il software libero in Italia, a cura > di Andrea Glorioso ed. ShaKe, Milano 2009 (da http://linuxdidattica.org/) > > [2] ci sono, specialmente nella scuola, un sacco di persone (50%?!?) che > avendo un reddito dignitoso garantito in altro modo diverso da quello > "vengo a lavorare se mi paghi", lavorerebbero estremamente volentieri > _gratis_ perché /amano/ infinitamente il proprio lavoro; anzi lo > farebbero ancora più volentieri perché non avrebbero colleghi che > lavorano NON amando il proprio lavoro. > > -- > 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>. >

May 9, 2024

Re: [nexa] Premialità e valorizzazione di best-practices nostrane: mastodon in un Liceo del veronese

by 380°

380° <g380(a)biscuolo.net> writes: [...] > un forte abbraccio, sincero e commosso, a tutti coloro che hanno speso i > migliori anni della propria vita a tentare di cambiare le cose, in > qualche caso riuscendoci anche in modo egregio, ma che alla fine sono > (sono... siamo!) stati fregati dai "furbi" o dai "pigri" sono stato ingeneroso: un forte abbraccio anche a quelli che /stanno/ spendendo i migliori anni della propria vita :-) nel merito della questione "che fare", segnalo a coloro che ancora non lo sapessero che: --8<---------------cut here---------------start------------->8--- La lista di discussione (mailing list) abbinata a questo progetto è scuola(a)lists.linux.it ed è aperta a persone che lavorano per l'introduzione del software libero nella didattica. L'iscrizione è libera e può essere gestita facilmente a partire da http://www.linux.it/mailman/listinfo/scuola/. --8<---------------cut here---------------end--------------->8--- (via http://linuxdidattica.org/) Gli archivi sono qui: https://lists.linux.it/pipermail/scuola/ e l'attività in lista suggerisce che la community è in modalità /sopravvivenza/; lo dico con tutto l'affetto per tutte le persone che si stanno sbattendo! Grazie a Valerio Bozzolan [1] scopro che alcuni fornitori si sono organizzati proprio bene per facilitare la vergognosissima burokratia PNRR per le scuole: --8<---------------cut here---------------start------------->8--- Molti fornitori aiutano nella presentazione dei progetti per ricevere fondi PNRR. Qui alcuni fornitori noti che operano su scala nazionale: https://scuola.linux.it/fornitori/ Per esempio, contattando "Continuity.space" via email pr(a)continuity.space - quel fornitore può mandarvi un template di progetto PNRR per invio veloce. --8<---------------cut here---------------end--------------->8--- (da [1]) ...poi però Antonio Faccioli [2] fa il rompiscatole e ci informa che: --8<---------------cut here---------------start------------->8--- Guarda, per quello che sto vedendo, con la modifica del codice degli appalti tutte le scuole che sto sentendo qui a Verona (circa una trentina) hanno intenzione di andare in affidamento diretto attraverso il MEPA. Nessuna ha intenzione di passare attraverso bandi, ma hanno intenzione di acquistare prodotti caricati dai fornitori sul mercato elettronico. --8<---------------cut here---------------end--------------->8--- La mia sensazione da diverso tempo è questa: potete mettere in piedi tutte le iniziative locali che volete in tema di software libero e dintorni, basta che le fate "coi fichi secchi". Quando si tratta di sganciare i fondi, tipo quelli del PNRR, lasciate che siamo /noi/ a gestirli (e cercate di non fare troppo rumore, neh!); se volete che vi finanziamo un progetto dovete presentare il modello XZK019 corredato di dichiarazione 98/FJDGSF... ...altrimenti comperate sulla /piattaforma/, dove la conformità dei progetti a /QUAICOS/ è autocertificata da noi, che sappiamo il fatto nostro. La cosa positiva di quelli che riescono a implementare cose fichissime "coi fichi secchi" è che riescono a dimostrare oltre ogni ragionevole dubbio che per fare le cose per bene non c'è bisogno di enormi finanziamenti... ops! .-O [...] Saluti, 380° [1] https://lists.linux.it/pipermail/scuola/2024-March/002767.html [2] https://lists.linux.it/pipermail/scuola/2024-March/002773.html P.S.: non che sia importante, ma in qualche modo sono personalmente coinvolto nella questione perché il mio alter ego era un attivista ora ritirato a vita privata per sfinimento -- 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>.

May 9, 2024