Profile avatar
lucadistefano.eu
Postdoc at TU Wien Opinions my own Standing in the wind
214 posts 52 followers 60 following
Prolific Poster
Conversation Starter

Final preprint of our #CAV25 paper is on ArXiv! And with a shiny Reusable badge awarded to our software artifact 🏅 See you in Zagreb! doi.org/10.48550/arX... #compsci #compsky #synthesis

The list of accepted papers for CAV 2025 is now out! conferences.i-cav.org/2025/accepted/ Register for #cav25 now at: conferences.i-cav.org/2025/registr...

How I wish someone would sponsor DBLP by shouldering the cost of a real ticketing system 🥲

I’m too lazy to make a new edit. So, picture this, but with @overleaf.com instead of DBLP #compsci #compsky

This confirms some information I recently got from friends studying in Göteborg. It’s an embarrassing and unfortunate development for a country that in most other respects would be a great place to pursue a PhD. universitetslararen.se/2025/05/08/i...

The r/changemyview paper is ethically bankrupt, and accepting it for publication should be treated as aiding & abetting. Simple as. #compsky #zurich #reddit #compsci

Essential reading #compsky #compsci

Student I'm working with passed his PhD proficiency exam 🥲 They grow up so fast 🥲🥲

I got a refurb ThinkPad from eBay. I can finally declare I’m a tech guy

My calm&collected reaction after @firefox.com added vertical tabs

@dblp.org @xkcd.com #compsky #compsci

Our paper "Full LTL Synthesis over Infinite-state Arenas" has been accepted to #cav25! I am so glad that all the hard work has finally paid off. 1/3 🧵 @confcav.bsky.social #cav25 #compsky #compsci

Waiting for the @overleaf.com admins to text me something along the lines of "Please. Our servers are melting. Our team needs sleep". Should happen any minute now #compsky

Hell yeah www.goto80.com/the-demoscen... #demoscene #compsci #compsky

#compsky #compsci #academicchatter 🧵 Growing talks of non-US academia discouraging participation to conferences located in the US, which in principle is the correct approach: personal safety should be paramount. But these policies will unevenly affect PhD students and early-career researchers, 1/

6 years ago I attended an early #PySat presentation at the #VMCAI winter school in Lisbon. Today my first PR got merged 🥹 PySat makes scripting #SAT tools from #Python a breeze, and now it supports randomised heuristics! How cool is that? 🤓

6 years ago I attended an early PySat presentation at the #VMCAI winter school in Lisbon. Today my first PR got merged 🥹 PySat makes scripting #SAT tools from #Python a breeze, and now it supports randomised heuristics! How cool is that? 🤓 #compsci #compsky github.com/pysathq/pysa...

I should dual boot Arch again

PARTYYYY in the lab 🪩🎶 (We’re updating the audio drivers)

when you finally make GPG pinentry work on macos

I mean... When you phrase it like that, shouldn't everyone check the "Sub-Saharian Africa" box? 🤔

When the manuscript is ready and it's >12 hours till the deadline

I've gladly accepted to join the Program Committee of #FMICS 2025, the 30th Intl Conference on Formal Methods for Industrial Critical Systems ✅ This year, we're co-located with #CONFEST, one of the foremost venues for concurrency theory research. Call for Papers out soon! 👀 #CONCUR #QEST #FORMATS

That air of warm compute when you step into the office >>>

Cecilia Sala è stata liberata: in questo momento si trova su un volo per l'Italia ilpost.link/oY12edEEIQ

The Italian government pays Musk 1.5B EUR for top-level encryption and secure communication. First, I would be curious to know what “top-level encryption” means. Second, what about sovereignty? www.bnnbloomberg.ca/business/com...

Gotta wait another 2 months to watch A Complete Unknown in Europe??? We ain’t gonna make it 😭 #acompleteunknown

#FreeCecilia

the hardest problem in computer science is where did I save the code I already wrote to solve this problem

15 years of #moleskine daily planners, and it really looks like 2025 is going to be my last. Cover's too stiff, back pocket does not play well with inserts (an original Moleskine address booklet I track 📚📽️📺 recommendations on since the mid-2010), paper has gotten worse... Still, it's sad

I did not want to tap the sign, but things happened and they made me tap the sign #compsky sigbed.org/2022/08/22/t...

It’sssss too late I guesssssss