lucadistefano.eu
Postdoc at TU Wien
Opinions my own
Standing in the wind
219 posts
54 followers
62 following
Prolific Poster
Conversation Starter
comment in response to
post
Questo podcast sta rapidamente diventando The Angry Morning Weekly (Ma A Volte Anche Biweekly) e non potevo chiedere di meglio 🍿
comment in response to
post
Hello fellow GY!BE enjoyer 🎸
comment in response to
post
But in short, we use an abstraction-refinement loop (with some clever fairness refinement) to synthesise correct-by-construction controllers that can manipulate infinite-state variables! How cool is that?! 3/3
comment in response to
post
We are working hard on the final version of the paper, but an earlier preprint is here arxiv.org/abs/2307.09776 (keep in mind, our results got _way_ better in the meantime 😄). 2/
comment in response to
post
That's true, although it's not just a funding problem. People from outside Europe (+ a few other "lucky" countries) routinely face visa issues or augmented security screenings. Of course European countries are also doing that, and of course this only became a problem the minute it concerns Europeans
comment in response to
post
Shall we turn this boat once more? If not, history may not look too keenly on us, but no pressure. 4/4
comment in response to
post
that went into hybridization of the conference model in the pandemic years. (Work that both improved sustainability and levelled the playing field for researchers that were at a disadvantage for physical attendance). 3/
comment in response to
post
who need to present their work at top conferences to disseminate their ideas and further their career. Furthermore, the current state of affairs once again highlights how foolish we as a community were to quickly dismantle the incredible amount of work 2/
comment in response to
post
https://github.com/pysathq/pysat/pull/192
comment in response to
post
I regret to inform you that the manuscript was, in fact, not ready
comment in response to
post
#compsky #compsci
comment in response to
post
Una domanda talmente servile che fa il giro e diventa giornalismo d'inchiesta
comment in response to
post
This reads like a dril tweet (meant as a compliment)
comment in response to
post
comment in response to
post
In the grim darkness of the far future there’s only burrito taxis.
comment in response to
post
Please refrain from using AI-generated “art”.
comment in response to
post
But I've got to hand it to them, with the 2019 denim planner they really hit it out of the park. Most beautiful notebook I've ever seen.