Mattia Monga
banner
mmonga.it
Mattia Monga
@mmonga.it
Associate Professor at Università degli Studi di Milano

[bridged from https://mathstodon.xyz/@mmonga on the fediverse by https://fed.brid.gy/ ]
Reposted by Mattia Monga
Di App IO, EUDIwallet, Autistici, Corte di giustizia e sovranità digitale https://blog.quintarelli.it/2026/09/di-app-io-eudiwallet-autistici-corte-di-giustizia-e-sovranita-digitale/
Di App IO, EUDIwallet, Autistici, Corte di giustizia e sovranità digitale
Premetto che il mio punto è solamente tecnico; ci sono anche questioni politiche ma esulano dalle considerazioni di questo post Le regole tecniche per l’identità digitale prevedono che le app wallet verifichino di essere integre (e non essere state alterate, cosa che aprirebbe vulnerabilità) La App IO verifica la propria integrità usando i servizi Play Integrity di Google e App Attest di Apple. Autistici è una associazione riconosciuta in italia e nè l’associazione nè i suoi rappresentanti sono oggetto di alcun provvedimento da parte del potere giudiziario italiano. Come spiegava NG nella mailing dei Copernicani, Autistici è ora qualificata dagli USA _Specially Designated Global Terrorist_. La casisitica è stata introdotta dell’Executive Order 13224 del 23 settembre 2001, emanato da G.W. Bush per fronteggiare le “minacce straordinarie alla sicurezza nazionale, politica estera e all’economia degli USA” dopo gli attentati dell’11 settembre 2001. L’EO 13224 ha lo scopo di impedire il finanziamento di persone o entità designate come terroriste. “Ecco come: “ _In general terms, the Order provides a means by which to disrupt the financial support network for terrorists and terrorist organizations by authorizing the U.S. government to designate and block the assets of foreign individuals and entities that commit, or pose a significant risk of committing, acts of terrorism.”_ L’attribuzione della qualifica di terroristi ex EO 13224 è in carico all’esecutivo, cioè al Ministero degli Esteri e al Ministero del Tesoro, oltre che all’Attorney General. (Cioè è un provvedimento amministrativo, senza processo difesa e corte, che è immediatamente esecutivo). Una volta che un soggetto è qualificato come terrorista, il blocco dei suoi asset è eseguito dall’Office of Foreign Assets Control (OFAC), una struttura organizzativa del Dipartimento del tesoro. Di conseguenza, il risultato della designazione di SDGT è che… _all property and interests in property of the designated entity that are subject to U.S. jurisdiction are blocked, and all U.S. persons are generally prohibited from engaging in any transactions with them_. A maggio 2025, sulla base di questa qualifica, Microsoft ha bloccato la posta elettronica della Corte Penale Internazionale e Google ha chiuso gli account dei giudici. Non ho visto (ancora) alcuna segnalazione che gli account Google/Apple delle persone di Autistici siano state oggetto di blocco Il fatto è che, da quanto mi viene spiegato (sarei lieto di sbagliarmi), **la sospensione degli account di Google implica** il fallimento della verifica di integrità di Play Integrity e quindi **l’impossibilità di usare l’App IO, l’IT wallet, gli EUDI Wallet che usano Play integrity** per la verifica (da un punto di vista tecnico, non è necessario usare Play Integrity, è una scelta di chi implemente il wallet ed è stata la scelta fatta dagli sviluppatori di App IO / IT Wallet). Una decisione di una amministrazione USA, inaudita altera parte, può determinare l’impossibilità di uso di credenziali e documenti digitali nazionali anche da parte di chi, in Italia, ha tutti i diritti di utilizzarli. Se abbiamo a cuore la nostra **sovranità digitale, forse sarebbe bene che le nostre App non usino Play Integrity ed App Attest** … If you like this post, please consider sharing it.
blog.quintarelli.it
September 2, 2026 at 5:54 PM
"tenetevi le ghiande e lasciatemi le ali" grazie Francesco
August 6, 2026 at 12:07 PM
Ecco il programma preliminare di #itadinfo2026 https://www.itadinfo.it/programma/ Ci vediamo a Padova?
July 25, 2026 at 10:51 AM
@violastefanello ho sentito la prima puntata di [superfan](https://www.ilpost.it/podcasts/superfan) Interessante! Parlerai anche dei fandom tecnologici, come la "Church of emacs"? Purtroppo @ilPost tende un po' a minimizzare/ignorare l'universo del free software: ed è un peccato, perché c'è […]
Original post on mathstodon.xyz
mathstodon.xyz
July 4, 2026 at 11:04 AM
L'esergo del compito di matematica per la maturità scientifica 2026. @istruzione non si poteva tradurre un po' meno grossolanamente?
June 24, 2026 at 8:46 AM
il prossimo 26 giugno abbiamo organizzato una giornata per
insegnanti delle superiori nell'ambito del PLS informatica. Sarà a Roma, nella sede del Lab. Nazionale CINI Informatica e Scuola (vicino a Termini). Il programma, che trovate qui sotto, credo possa essere di interesseanche per docenti […]
Original post on mathstodon.xyz
mathstodon.xyz
June 16, 2026 at 12:55 PM
È online il bando di #itadinfo 2026 (https://www.itadinfo.it/bando/). C'è un *webinar* per chiarire le tematiche di interesse per il convegno e approfondire le modalità di redazione:

Lunedì 30 marzo ore 18:00

Non è necessaria alcuna prenotazione, è […]

[Original post on mathstodon.xyz]
March 19, 2026 at 10:48 AM
March 13, 2026 at 8:05 AM
Ora è ufficiale, un pochino di informatica va fatta fin dalla scuola primaria: https://www.gazzettaufficiale.it/atto/vediMenuHTML?atto.dataPubblicazioneGazzetta=2026-01-27&atto.codiceRedazionale=26G00021&tipoSerie=serie_generale&tipoVigenza=originario

Chi pensa sia una cosa buona dovrà […]
Original post on mathstodon.xyz
mathstodon.xyz
February 3, 2026 at 9:07 AM
Reposted by Mattia Monga
Happy 50th birthday to Scheme!

MIT AI Memo No. 349, ‘Scheme: An Interpreter for Extended Lambda Calculus’ was published on December 22, 1975

https://dspace.mit.edu/handle/1721.1/5794
December 22, 2025 at 9:56 AM
Reposted by Mattia Monga
How do you pronounce hexadecimal numbers?

You just say the "digits", right? But that sounds a bit weird, in English, especially the letters -- for example, 0xAC, 0xCD, 0xCF match up with acronyms for alternating current, compact disc, and the Latin "conferatur" for "compare".

In the middle of […]
Original post on mathstodon.xyz
mathstodon.xyz
December 13, 2025 at 2:50 PM
Reposted by Mattia Monga
New, long, oral history of Ken Thompson, my and everyone's hero.

From the Computer History Museum: https://computerhistory.org/blog/a-computing-legend-speaks/

Click thru a while to get a text transcript.
A Computing Legend Speaks
Ken Thompson, one of the foremost programmers and computer scientists of the last 50 years, shares stories about his life and career in a newly released oral history.
computerhistory.org
October 27, 2025 at 12:36 AM
#itadinfo per quest'anno è finita, segnatevi le date per il 2026, 9-11 ottobre, Padova. Gli atti di quest'anno li potete scaricare qui: https://zenodo.org/records/17224224/files/Rossano_def_web.pdf Grazie a tutti, come al solito se ne esce con una grande voglia di fare!
October 5, 2025 at 5:59 PM
Inizia #itadinfo a Salerno https://www.itadinfo.it/ Un mare di cose da imparare!
October 3, 2025 at 6:34 AM
John Searle (1931-2025)
https://www.colinmcginn.net/john-searle/

His "Chinese room" argument against AI was never convincing for me. But I found his work on speech acts illuminating. I had the honor to listen to one of his lectures at the University of Italian Switzerland some years ago: it was […]
Original post on mathstodon.xyz
mathstodon.xyz
September 30, 2025 at 3:32 PM
Reposted by Mattia Monga
Il professore Stefano Russo è il nuovo Presidente del Consorzio Interuniversitario Nazionale per l’Informatica #CINI

Il prof. Russo, ordinario di sistemi di elaborazione delle informazioni presso il Dip. di Ingegneria Elettrica e delle Tecnologie dell'Informazione e Coordinatore del Dottorato […]
Original post on mastodon.uno
mastodon.uno
September 23, 2025 at 12:57 PM
Reposted by Mattia Monga
Using #orgmode for so many years, I just recently stumbled over the Elisp function "org-copy-visible" which is practical as hell: it copies the currently visible characters.

So you can collapse/expand, mark a region and then copy only the visible parts of it.

Particular helpful when you paste […]
Original post on graz.social
graz.social
August 15, 2025 at 8:46 AM
Reposted by Mattia Monga
My #emacs Elevator Pitch (August Blog Carnival) https://christiantietze.de/posts/2025/08/emacs-elevator-pitch/

It starts with this:

"If you like working and thinking with text, you will love Emacs: anything you want your computer to do, Emacs can do in text form."
Emacs Elevator Pitch (August Blog Carnival)
Jeremy Friesen hosts this month’s Emacs Carnival, and the topic is “Your Elevator Pitch for Emacs”. It took me a couple of days to come up with a useful angle, because I didn’t even consider Emacs pitch-able. But that’s what’s so cool about writing prompts like these – you can think outside the box. So here’s mine: > If you like working and thinking with text, you will love Emacs: anything you want your computer to do, Emacs can do in text form. That probably raises some eyebrows during the elevator ride in the imaginary company headquarters for Amazing Company Inc.: “What do you mean, anything?” > Well, think of Emacs like a rich-text editor first. Like Microsoft Word. You can write, mark-up your text for lists and emphasis, have images. It’s probably ugly for you by default, but you can make it very comfortable and minimalistically modern-looking, so that you don’t lose yourself in the nested ribbon toolbars. So imagine that now you have a writing experience you like. Are they still with me? The next part depends on their job at Amazing Company Inc., but I’d pull from a collection of potentially relevant tasks at work. > You feel comfortable and at home when you write. And then you tell Emacs to also do your email, with the same feeling – after all, it’s just text you read and send; just like company Slack, which you also attend to in Emacs, because you find the web interface irksome; and then you file invoices that you need to process automatically; and you write your to-do lists and reminders with it; and read the news like you did with Pocket/Instapaper/…; and contribute to the company wiki; and manage database records interactively; and teach it to plot graphs and charts from the CSV exports for the quarterly results presentation; … So after listing something that doesn’t sound like an intuitive use case, I expect the follow-up: “Why would I want to do that if we have dedicated software for this?” Is it asked with a genuine sense of curiosity? Or meant to ridicule, maybe to look good in front of the colleagues that don’t get it, to not submit to such lunacy? It doesn’t matter, the answer is just the same: > Because you value your sanity. Because you’re tired from all the web services updating their UI every other week, rearranging core features, presenting you with chatbots and pop-up explainers to absentmindedly click away, but eating at your productivity and the comfort of knowing what you’re doing nevertheless, diminishing your sense of agency. Because you began to loathe software some time ago, who knows when that started. Maybe the last part is a bit of a stretch. Watch their eyes before you go that far. Their eyes tell whether you’re onto something. And we are onto something, aren’t we? > You’re a professional. You’re good at what you do. Could you also be happier doing it? Could you reclaim a corner of the computer from which you command excellence? Dramatic pause. > This is your ticket out of that grind. Bring under your control what you want or need to do. Teach the computer your work, and then have it work for you, not the other way around. Avoid spelling out the web link in an actual conversation. But do read Mike’s piece next. Happy carnivalling. * * * Hire me for freelance macOS/iOS work and consulting. Buy my apps. Receive new posts via email.
christiantietze.de
August 8, 2025 at 5:38 PM