| Pronouns | he/him |
| Interests | fountain pens, permacomputing, japanese, tactile objects |
Well, the day before the talk I found significant enough errors in the paper that change the conclusions and decided to cancel both the talk and the publication.
Horrible result of the several months of work, but I believe I can fix the paper and apply again next time. It will have a bit different theme, but will require more research.
Still, feeling very stupid at the momentđ
how often do you hear something âshut up or i kick youâ from a grown up to their child?
in my country it is happening extremely often, and i usually speak up to those shitheads roaring something like âbehaveâ or âare you okayâ
i donât hear it much all around the world, and iâm not sure if iâve ever heard it at all
except maybe one time a french family obviously bullied their child. i donât speak french, but i understood some words, and intonations spoke for themselves
maybe it is language barrier maybe it is worldwide, please share your experience
Next week I am going to Tokyo to give a presentation at the ABZ 2026 conference. Title: âIdentifying Design Flaws in a Lock-Free Task Pool with TLA+â. It is an âapplication in industryâ paper, I will upload it and the slides a bit later
We specified an algorithm with the simple goal of confirming its correctness, and instead found numerous issues without an obvious way to fix them (if it is even possible). Finding this early saved us huge amount of time and resources, and i think the result is quite a bit unusual
ABZ is my favorite conference, it is about state-based #formalmethods like Alloy, Event-B and #TLA+. The papers are always interesting, and each conference has a âcase studyâ track, in which practitioners specify the given system using any state-based method they want and describe the results and their observations. This time the system is an autonomous planetary rover
Side note: my first trip abroad was back in 2014, and it was also to speak at ABZ :) I even met and spoke with Jean-Raymond Abrial!
RE: https://mastodon.de/@adbenitez/116296807554783803
bookmarked the post to convert more people to delta
It is always sad to see a prominent figure in your field, someone you look up to, makes a career decision you actively try to avoid and consider extremely unethical and even harmful. Joining a company that extensively profits from both blockchain and agentic ai mess.
I understand that everyone has their reasons and situation in lives, so I do not blame them personally. But it is still disheartening.
When I wrote HTML for People, I envisioned non-tech people learning it because knowing HTML is a generally useful skill in information work.
But AI kinda ruins that. Fewer non-tech people want to learn HTML.
But it seems to have found a niche audience among people who still want to learn HTML despite having access to AI. That makes me feel better about it.
Iâm glad I wrote it when I did because Iâm not sure I could have stayed motivated to write it in 2026 with the proliferation of AI optionsâwhether for writing HTML or for learning it.
Donswelt
flâneur?
Blake Watson 
JosĂŠ A. Alonso