lucadistefano.eu - Profile | ThreadSky | a Reddit-style client for Bluesky

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

submitted 10 days ago • 0 comments

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

submitted 15 days ago • 0 comments

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

submitted 17 days ago • 0 comments

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

submitted 26 days ago • 0 comments

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

submitted 27 days ago • 0 comments

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

submitted 42 days ago • 1 comment

Essential reading #compsky #compsci

submitted 42 days ago • 0 comments

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

submitted 42 days ago • 0 comments

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

submitted 52 days ago • 0 comments

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

submitted 56 days ago • 1 comment

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

submitted 66 days ago • 0 comments

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

submitted 66 days ago • 1 comment

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

submitted 69 days ago • 0 comments

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

submitted 70 days ago • 0 comments

#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/

submitted 76 days ago • 1 comment

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? 🤓

submitted 86 days ago • 1 comment

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

submitted 86 days ago • 0 comments

I should dual boot Arch again

submitted 104 days ago • 0 comments

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

submitted 108 days ago • 0 comments

when you finally make GPG pinentry work on macos

submitted 119 days ago • 0 comments

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

submitted 125 days ago • 0 comments

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

submitted 129 days ago • 1 comment

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

submitted 129 days ago • 1 comment

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

submitted 130 days ago • 0 comments

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

submitted 152 days ago • 36 comments

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

submitted 155 days ago • 0 comments

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

submitted 158 days ago • 0 comments

#FreeCecilia

submitted 164 days ago • 0 comments

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

submitted 166 days ago • 176 comments

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

submitted 168 days ago • 1 comment

submitted 170 days ago • 0 comments

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

submitted 170 days ago • 1 comment

It’sssss too late I guesssssss

submitted 170 days ago • 0 comments