Luca 🤓
banner
lucadistefano.eu
Luca 🤓
@lucadistefano.eu
Postdoc at TU Wien Informatics • Opinions my own • Standing in the wind
My most-used emojis in 2025. Guess I’m a bit emotional 🥹
anisota.net/harvest
December 3, 2025 at 11:36 PM
Can't stop thinking about the #MadMen #HBOMax disaster, and how the dynamics of today's markets at scale basically erase any love or respect for the firms' own crafts. Imagine telling someone in the 00s/10s that HBO would do something like this to one of their top shows of all time.
December 3, 2025 at 8:11 AM
I’ve got a shiny Computer Science label from @stemlabels.xyz 🏷️ they have plenty of categories to choose from and I highly recommend you apply for yours! Let’s make #AcademicSky easier to discover and navigate 🤩
#compsci #compsky #academicchatter #signalboost
December 1, 2025 at 10:43 AM
Let’s rename it Intl Conference of LLM Reviews, so we get to keep the same acronym 😬 #compsci #compsky #academicsky
November 30, 2025 at 9:36 PM
Just write “re-enters”. I beg you.
When a cancelled performer reënters the culture, we expect them to offer us a great work, channelling their newfound clarity into the finest art they’ve ever made. With his new comedy show and début novel, has Louis C.K. met the bar?
www.newyorker.com/culture/crit...
Louis C.K.’s Next Chapter
In a new standup special, and a début novel, the comedian navigates murky, post-#MeToo terrain: not quite exiled, not quite welcomed back.
www.newyorker.com
November 29, 2025 at 9:03 PM
Another great day for the community 🫩 How can we ask for (let alone command) trust from the world at large, when we cannot even trust our own tools? #AcademicSky #compsky #compsi #iclr
This is by a large margin the most serious problem and mistake in conference peer review I have seen in my career. Apparently a many people were aware of this and many could find out who their reviewers were. This probably has created a large number of unnecessary enmities.

@iclr-conf.bsky.social
November 28, 2025 at 3:10 PM
Reposted by Luca 🤓
Welcome to @stemlabels.xyz, an AT protocol labeler that adds STEM specialties to your account!

There's over 450 specialties to choose from. Send a DM to request a label!
November 23, 2025 at 6:49 PM
Done with my Operating Systems classes 🥹 Will I miss teaching youngsters the warts of C and POSIX? (Gulp) MAYBE? #compsky #compsci #academicchatter
Explaining Jack Black GIF
ALT: Explaining Jack Black GIF
media.tenor.com
November 25, 2025 at 4:45 PM
We know who the culprit is, and honestly it is unbelievable that we cannot have good things because scarce (and might I add, publicly funded) resources are stolen by reckless gold rushers. Rate-limit or link-maze them all to hell, honestly. #compsci #compsky #academicchatter
There is a massive flood of website requests coming to #dblp from all directions. We are usually able to cope most days, but not so much the past four days. We are sorry, and we are actively working on it. 1/2
November 25, 2025 at 1:37 PM
Cried over Aeschylus at the airport ✅
⛰️🏔️ Episode 20 is now live! 🏔️⛰️

In this episode, we look at the amazing story of the Achaemenid Persian Empire.

Find out how the world's largest empire rose, flourished, and finally fell in ash and flame.

YouTube: www.youtube.com/watch?v=qRYd...
Spotify: open.spotify.com/episode/6AeH...
November 24, 2025 at 3:43 PM
Reposted by Luca 🤓
Our #dblp user survey is still open:
sidonia.dagstuhl.de/survey/index...
We will be happy to hear from you!
You can help us! We invite you to take part in our user survey 2025:
sidonia.dagstuhl.de/survey/index...
which will help us understand how the community is using dblp and guide dblp's future development. 1/2
November 18, 2025 at 4:24 PM
Reported 3 (small) bugs in 3 leading formal reasoning tools in the last 2 days. You can just do things 🤓 #compsky #compsci
November 14, 2025 at 2:24 PM
Reposted by Luca 🤓
Rogue (DOS, 1984)
November 10, 2025 at 12:05 PM
French speaker: parles-tu Français ?
Me: oui mais seulement un petit peu
French person: youtu.be/etmSWkeRYbk?...
FAUVE ≠ HAUT LES CŒURS
YouTube video by FAUVE
youtu.be
November 9, 2025 at 12:58 PM
Reposted by Luca 🤓
TLDR; The PSF has made the decision to put our community and our shared diversity, equity, and inclusion values ahead of seeking $1.5M in new revenue. Please read and share. pyfound.blogspot.com/2025/10/NSF-...
🧵
The official home of the Python Programming Language
www.python.org
October 27, 2025 at 2:47 PM
Happy Ada Lovelace day everybody! 💾🎉 #compsky #compsci
October 14, 2025 at 11:57 AM
The combination of only allowing ridiculously short rebuttals AND late reviews is, for lack of a better term, a double travesty #academiccgatter #academicsky #justconferencethings
October 13, 2025 at 2:10 PM
Reposted by Luca 🤓
Big news: Internet Archive Europe ( @internetarchive.eu ) has opened its new HQ in Amsterdam! 🎉 A home for preservation, access & shared cultural heritage.

Read coverage from @mariabustillos.com in Flaming Hydra: flaminghydra.com/freedom-and-...
Freedom and Sharing at the Internet Archive Europe
On Friday, in a narrow, cream-painted 17th-century row house facing a wide canal bathed in golden light, the Internet Archive Europe celebrated the opening of its new headquarters in Amsterdam. Around...
flaminghydra.com
September 24, 2025 at 8:00 PM
Reposted by Luca 🤓
It is now believed that there may be hundreds of thousands of people on the Internet
September 24, 2025 at 12:28 PM
Graz was a blast btw ☺️💻
📄 My tool paper "Execution and monitoring of HOA automata with HOAX" has been accepted to RV 2025! My first sole-author publication 🥹
🔗 And the tool is open source! github.com/lou1306/hoax
See you in Graz!
#compsci #compsky #automata #rv2025 #runtimeverification
GitHub - lou1306/hoax: Execute automata written in the Hanoi format (HOA)
Execute automata written in the Hanoi format (HOA) - lou1306/hoax
github.com
September 21, 2025 at 8:29 AM
Too many great movies to remember him by, but one that really stuck with me is 3 Days of the Condor, where he plays the patron saint of bookworms 🥹
#robertredford
a man with blonde hair is wearing a black trench coat .
ALT: a man with blonde hair is wearing a black trench coat .
media.tenor.com
September 17, 2025 at 6:51 AM
When ACM ByteCast drops an episode of an author you cited >>>>>
September 15, 2025 at 8:31 PM