nexa
By thread
nexa@server-nexa.polito.it
By month
Messages by month
- ----- 2026 -----
- September
- August
- July
- June
- May
- April
- March
- February
- January
- ----- 2025 -----
- December
- November
- October
- September
- August
- July
- June
- May
- April
- March
- February
- January
- ----- 2024 -----
- December
- November
- October
- September
- August
- July
- June
- May
- April
- March
- February
- January
- ----- 2023 -----
- December
- November
- October
- September
- August
- July
- June
- May
- April
- March
- February
- January
- ----- 2022 -----
- December
- November
- October
- September
- August
- July
- June
- May
- April
- March
- February
- January
- ----- 2021 -----
- December
- November
- October
- September
- August
- July
- June
- May
- April
- March
- February
- January
- ----- 2020 -----
- December
- November
- October
- September
- August
- July
- June
- May
- April
- March
- February
- January
- ----- 2019 -----
- December
- November
- October
- September
- August
- July
- June
- May
- April
- March
- February
- January
- ----- 2018 -----
- December
- November
- October
- September
- August
- July
- June
- May
- April
- March
- February
- January
- ----- 2017 -----
- December
- November
- October
- September
- August
- July
- June
- May
- April
- March
- February
- January
- ----- 2016 -----
- December
- November
- October
- September
- August
- July
- June
- May
- April
- March
- February
- January
- ----- 2015 -----
- December
- November
- October
- September
- August
- July
- June
- May
- April
- March
- February
- January
- ----- 2014 -----
- December
- November
- October
- September
- August
- July
- June
- May
- April
- March
- February
- January
- ----- 2013 -----
- December
- November
- October
- September
- August
- July
- June
- May
- April
- March
- February
- January
- ----- 2012 -----
- December
- November
- October
- September
- August
- July
- June
- May
- April
- March
- February
- January
- ----- 2011 -----
- December
- November
- October
- September
- August
- July
- June
- May
- April
- March
- February
- January
- ----- 2010 -----
- December
- November
- October
- September
- August
- July
- June
- May
- April
- March
- February
- January
- ----- 2009 -----
- December
- November
- October
- September
- August
- July
- June
- May
- 40 participants
- 30621 messages
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