Luca 🤓
banner
lucadistefano.eu
Luca 🤓
@lucadistefano.eu
Postdoc at TU Wien Informatics • Opinions my own • Standing in the wind
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
I'll present our #CAV25 paper "Full LTL Synthesis over Infinite-State Arenas" at the #VASSAL workshop in Graz (co-located with #RV25)! My pal and colleague Shaun gave an excellent presentation in Zagreb, hope I'll match that bar :)
#academicchatter #compsky #compsci
vassal.fit.vut.cz/vassal-works...
The VASSAL Workshop on Software Verification and Runtime Analysis
vassal.fit.vut.cz
August 18, 2025 at 8:46 AM
One of the harbingers of AI mannerisms creeping into human content is the dreaded “x is not y, it’s z”. Perhaps it’s a frequency illusion but I see it everywhere now. Folks, don’t waste my time telling me what x is not, please! 🙏
August 3, 2025 at 2:07 PM
Call me a walking stereotype, but I love me some good chiptune when I need to focus at work. And yet I'd never heard of this excellent website! 🤯 👾 #chiptune #keygenmusic
Ten years ago, on April 30, 2015, the first version of the site was released.
It's hard to believe it's been a full decade. Happy anniversary!

keygenmusic.tk#track=AGAiN/...
August 3, 2025 at 1:39 PM
Big growth in adoption, uv the "most admired" technology + Pydantic in the top 5... Good times for #Python developers I guess! 🐍
survey.stackoverflow.co/2025
2025 Stack Overflow Developer Survey
The 2025 Developer Survey is the definitive report on the state of software development. In its fifteenth year, Stack Overflow received over 49,000+ responses from 177 countries across 62 questions fo...
survey.stackoverflow.co
July 29, 2025 at 3:00 PM
Had to setup (X)RDP to remote into a Tailscale’d Linux box and run a GUI client that connects to a server on another (CLI-only) Linux box through a SSH-forwarded port. All during #CAV week
#compsky #tailscale
July 23, 2025 at 10:37 PM
Kind of crazy how many citations are lost on #scopus, a tool that can seal your fate whenever you apply to an academic job. I can only assume its stats are utterly inaccurate for senior researchers that no longer need or care to "set the record straight". #compsky #academicchatter
July 19, 2025 at 3:53 PM