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

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

submitted 8 hours 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 14 hours ago • 0 comments

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

submitted 1 day 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 12 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 17 days ago • 0 comments

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

submitted 19 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 28 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 29 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 44 days ago • 1 comment

Essential reading #compsky #compsci

submitted 44 days ago • 0 comments

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

submitted 44 days ago • 0 comments

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

submitted 54 days ago • 0 comments

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

submitted 58 days ago • 1 comment

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

submitted 68 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 68 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 71 days ago • 0 comments

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

submitted 72 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 78 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 88 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 88 days ago • 0 comments

I should dual boot Arch again

submitted 106 days ago • 0 comments

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

submitted 110 days ago • 0 comments

when you finally make GPG pinentry work on macos

submitted 121 days ago • 0 comments

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

submitted 127 days ago • 0 comments

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

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

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

submitted 132 days ago • 0 comments

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

submitted 154 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 157 days ago • 0 comments

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

submitted 160 days ago • 0 comments

#FreeCecilia

submitted 166 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 168 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 170 days ago • 1 comment