Sad news. CSP was among the first calculi to formalise multi-party interaction, and with remarkable elegance. And it’s just a speck in the haystack of his contributions! What an inspiration.
Not my community so I’m sorry if this question may sound silly, but how is anyone supposed to peer review 50-100 pages on a conference schedule?
And the liver thing was a subscription service
The old paper is rejected, the new manuscript is three sentences on your phone’s notes app. Now is the time of monsters
**Call for Scholarship Applications**
Limited travel support available for students attending #FLoC26 Mentoring Workshop @floc2026.bsky.social.
Deadline: 13 April, 2026
Apply at: forms.gle/89q9AaNfZV3f...
Notification: 20 April, 2026
Help us spread the word!
More details: tinyurl.com/floc26mw
Cool! 🤭
There’s simply no way to do that reliably anymore. Online classes, in-person exams may be a compromise.
(Claude Shannon, 1948)
This is unironically why the original WhatsApp ruled. 1 dollar per year was an insane price point for the features it offered back in the day, and it kept the lights on w/o having to submit to surveillance-capitalist tactics
Scrooge is extremely complex! Read some Carl Barks or Don Rosa ☝️🤓
So you’re saying your PDS is effectively owned by your ISP and the electric company /s
We also have a fancy VSCode plugin (github.com/dsynma/rcheck) that provides syntax highlighting, autocomplete, and type checking. I suspect R-CHECK's best days are yet to come 🚀
To make R-CHECK even more versatile, we extend it with point-to-point interaction primitives. We allow both partners (the "supplier" and "getter" of the interaction) to exchange data, which allows for very natural modelling of many common interaction patterns.
R-CHECK formalizes multi-cast or broadcast interactions, dynamic selection of communication partners based on their exposed features (also known as attribute-based communication), and the ability of receivers to block an interaction until they are ready to process it. It's very versatile!
R-CHECK is a framework for modelling and reasoning about reconfigurable multi-agent systems. That is, systems where agents may reshape the communication topology at runtime. Think channel mobililty in the Pi-Calculus, except more!
Our paper "A Compositional Semantics for Reconfigurable Multi-Mode Interaction in R-CHECK" got accepted in the International Journal of Software Tools for Technology Transfer! 📄
A preprint version is available here: lucadistefano.eu/papers/sttt2...
But first, what is R-CHECK? 🧵
Flatline in Neuromancer too!
A review of the proceedings from four major computer-science conferences showed that none from 2021, and all from 2025, had fake citations.
arxiv.org/abs/2602.058...
#AI #LLMs #Hallucinations #Misconduct #ScholComm
When I have to go through that part & students look at me like 😶🌫️😶🌫️😶🌫️ & I’m like 🤷♂️ 😅
stranger: what do you do for work?
me, shamefully: computer
More like Quantum Copyright, as in, “it is only copyright infringement if I (the observer) am being damaged. When I do it, it’s Fair Use”. Therefore, the observer affects the measurement.
The qube-tip of Theseus
The original Warcraft games too!
Asset creation vs gameplay loop are entirely different problems, though. A gen model needs to repeatedly reconcile itself with a consistent world state to ensure proper gameplay. And this needs to happen very fast, at least for certain genres
Weekend chores on my ol' #homebrew tap 🍺
👉 Finally fixed/updated the formula for #ESBMC, now it builds natively on Apple Silicon
👉 Added BNetToPrime, a small tool for Boolean networks. This might interest the systems biology gang!
Issues/patches welcome, as usual 😄
github.com/lou1306/home...
Top 3 sentences that you can only say in typesetting context: “Eliminate all widows”
When the For You feed is down
That typo at the end is just poetic
This also goes for scientific conferences in the USA: just, no.
