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

Bomb scare earlier today at #tuwien, luckily nothing bad happened but the whole area around the Freihaus (btw, not my building) was cordoned off, and investigations are still underway. Stay safe everybody

submitted 1 day ago • 0 comments

Yesterday I had my first chess dot com opponent crash out on me before ragequitting 💚

submitted 2 days ago • 0 comments

"Because I want to know what makes language language. I believe that everything we call ‘language’ has imperfections, dross, in itself, but I want to get to know what is so polluted. That through which I am able to say something. For that must be something very peculiar." arxiv.org/abs/2506.071...

submitted 2 days ago • 0 comments

In light of yesterday’s #WWDC, regrettably #CHI has been put on an indefinite hiatus 💀 #compsky #apple #liquidglass

submitted 3 days ago • 0 comments

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 14 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 19 days ago • 0 comments

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

submitted 21 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 30 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 31 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 46 days ago • 1 comment

Essential reading #compsky #compsci

submitted 46 days ago • 0 comments

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

submitted 46 days ago • 0 comments

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

submitted 56 days ago • 0 comments

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

submitted 60 days ago • 1 comment

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

submitted 70 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 70 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 73 days ago • 0 comments

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

submitted 74 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 80 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 90 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 90 days ago • 0 comments

I should dual boot Arch again

submitted 108 days ago • 0 comments

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

submitted 112 days ago • 0 comments

when you finally make GPG pinentry work on macos

submitted 123 days ago • 0 comments

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

submitted 129 days ago • 0 comments

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

submitted 133 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 133 days ago • 1 comment

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

submitted 134 days ago • 0 comments

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

submitted 156 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 159 days ago • 0 comments

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

submitted 162 days ago • 0 comments

#FreeCecilia

submitted 168 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 170 days ago • 176 comments