Mattia Monga (@mmonga.it) Bsky

Padova, sede di ITADINFO 2026

È 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]

3 weeks ago 0 1 0 0

#palermo #CINI

4 weeks ago 1 3 0 0

Original post on mathstodon.xyz

Ora è ufficiale, un pochino di informatica va fatta fin dalla scuola primaria: www.gazzettaufficiale.it/atto/vediMenuHTML

Chi pensa sia una cosa buona dovrà […]

2 months ago 0 1 0 0

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

3 months ago 0 10 1 0

Original post on mathstodon.xyz

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 […]

3 months ago 0 5 1 0

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.

New, long, oral history of Ken Thompson, my and everyone's hero.

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

Click thru a while to get a text transcript.

5 months ago 0 20 1 0

1.23 | L’Università di Milano è la nascita del primo CERT e della cybersecurity in Italia Danilo Bruschi, direttore del Dipartimento di Informatica dell’Università degli Studi di Milano e Mattia Monga, docente nello stesso dipartimento, ci raccont

Per chi l'ha visto e per chi non c'era... www.spreaker.com/episode/1-23-l-universit... #certit #unimi #lastatale100

5 months ago 0 0 0 0

#itadinfo per quest'anno è finita, segnatevi le date per il 2026, 9-11 ottobre, Padova. Gli atti di quest'anno li potete scaricare qui: zenodo.org/records/17224224/files/R... Grazie a tutti, come al solito se ne esce con una grande voglia di fare!

6 months ago 0 0 0 0

ArubaSign Online

@OpenSoul volendo c'è anche la versione che gira nel browser https://arubasign.arubapec.it/asonline/

6 months ago 0 0 0 0

Inizia #itadinfo a Salerno https://www.itadinfo.it/ Un mare di cose da imparare!

6 months ago 0 0 0 0

Original post on mathstodon.xyz

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 […]

6 months ago 0 0 0 0

Original post on mastodon.uno

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 […]

6 months ago 0 1 0 0

Original post on graz.social

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 […]

7 months ago 1 8 0 0

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.

My #Emacs Elevator Pitch (August Blog Carnival) christiantietze.de/posts/2025/08/emacs-elev...

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."

8 months ago 0 4 0 0

@quinta quindi le regole UE non imporrebbero, ma poi di fatto le app (vedi IO) impongono. Come se ne esce?

8 months ago 0 0 0 0

È morto Tom Lehrer apnews.com/article/tom-lehrer-son-s...

8 months ago 0 0 0 0

Stanford Online Certificate This certificate was issued through the BCdiploma services and certified on the blockchain.

I have led a section of Stanford's "Code in Place" course, it was amazing! #CodeInPlace #Stanford #Coding" digitalcredential.stanford.edu/check/5E996E2092BDD565D9...

9 months ago 0 0 0 0

Comunque a me votare piace moltissimo!

10 months ago 1 0 0 0

Salerno, piazza della libertà (occhisusalerno.it)

Ultimi giorni (scadenza il 15/6) per contribuire a #ITADINFO2025
Se vi occupate di didattica dell'informatica è un'occasione da non perdere!
https://www.itadinfo.it/

10 months ago 0 0 0 0

Il piccolo comune spagnolo dove il blackout non c'è stato - Il Post Oseja de Sajambre ha sviluppato un sistema di emergenza che le permette di ricevere corrente anche in caso di problemi con la rete nazionale: ha funzionato anche questa volta

Questa ha tutta l'aria di essere una buona lezione sulla resilienza dei sistemi distribuiti rispetto a quelli centralizzati (ma qui su @Mastodon siamo già esperti, no?)

www.ilpost.it/2025/05/04/oseja-de-saja...

11 months ago 0 0 0 0

Strawberry rhubarb pie, distorted with a hyperbolic filter.

Obligatory #PiDay photo.

1 year ago 2 7 1 0

L'Università di Bolzano abbandona il social network "X" di Elon Musk: "Incompatibile con i nostri valori. Ha perso in serietà e trasparenza" BOLZANO. La Libera Università di Bolzano non ci sta più e lascia il il social network di Elon Musk "X". Non la prima, e di certo non l'ultima, istituzione che pubblicamente si allontana dall'ex "Twitter", la Lub ha diffuso un comunicato stampa ufficiale per illustrare le motivazioni legate a questa decisione. "Alla Libera Università di Bolzano, la comunicazione scientifica su X è già stata fortemente ridotta. In seguito alle decisioni del Consiglio dell’Università e del Senato Accademico dell’ateneo, è stato ora deciso di interrompere completamente le attività su X....

Finalmente
www.ildolomiti.it/societa/2025/luniversita...

1 year ago 0 5 0 0

Original post on mathstodon.xyz

@scuola forse può interessarvi sapere che è partita l'organizzazione del 3° convegno ITAliano sulla Didattica dell'INFOrmatica (ITADINFO), pensato come momento di formazione e scambio di esperienze per docenti di scuola e ricercatori universitari.

Quest'anno si svolgerà a Salerno dal 3 al 5 […]

1 year ago 1 4 0 0

Original post on mathstodon.xyz

È partita l'organizzazione del 3° convegno ITAliano sulla Didattica dell'INFOrmatica (ITADINFO), pensato come momento di formazione e scambio di esperienze per docenti di scuola e ricercatori universitari.

Quest'anno si svolgerà a Salerno dal 3 al 5 ottobre. Trovate ulteriori dettagli al sito […]

1 year ago 0 1 0 0

1 year ago 0 0 0 0

Original post on berlin.social

OK.

This is kind of scary.

I uploaded my profile pic to

https://theyseeyourphotos.com/

This is a site, setup by a former Google employee to show you, how Google would interpret a picture of you.

The result is not 100 % accurate (e.g. that I could be targeted with alcohol ads, but I hardly […]

1 year ago 2 47 19 0

Posts by Mattia Monga