José Miguel Blanco
@jmblanco.bsky.social
Postdoctoral researcher at ETSI de Telecomunicación, UPM, part of STRAST. Interested in all things fomal, logic and its applications, and distributed systems. Lover of Routley-Meyer semantics.
After living through Spain's massive blackout yesterday I have decided to write a novel. These are the first few lines: "The apocalypse came on a Monday morning. In the afternoon I had a few beers with some friends. On Tuesday morning I had to wake up early to go to work once again."
⚠️ Aemet informa: Durante la jornada del 28 de abril no se detectó en España ningún fenómeno meteorológico o atmosférico inusual, ni tampoco variaciones bruscas de la temperatura en nuestra red de estaciones meteorológicas.
En la actual Comunidad de Madrid hubo 16 campos de concentración franquistas. La primera placa informativa y de homenaje a las víctimas no la ha colocado ningún ayuntamiento ni la Comunidad ni el gobierno central. La ha puesto un grupo de aficionados del Rayo Vallecano (1/2)
On the anniversary of the sinking of the Titanic, we thought we'd answer a question that's often asked, "If they raised the Mary Rose, why not raise the Titanic?" Allow our scaled diagram to explain...
Random thought of the day: We all know about "Markov chain", "Gauss's theorem"... But would they be named like so if the names weren't as cool? I want more things with really regular names! "Smith's algorithm", "Garcia's proof"!
And today I'm at ACM SAC'25! Nice to visit Sicily even if it's for chairing a session 😜
"Bajo ninguna circunstancia deberá el monumento ser expuesto al aire libre". Veamos las condiciones exactas que Egipto y la Unesco acordaron con España para la donación del templo de Debod. Condiciones obligatorias que en España seguimos sin cumplir más de cincuenta años después. HILO
Another time flying for another meeting. This time it's Dublin for another SUNRISE General Assembly
I might have seen this late, but jumping on the wagon right away! Day 1 I'm a postdoctoral researcher in compsci, currently focusing on atutonomous data alignment and intrinsic graph evaluation. But I still keep my love for formal methods and formal verification intact!
Jo FletcherSaxon 🎙️ 👩🏻🎓 🐑 📚 💄 💻@jofletchersaxon.bsky.social · 2y ago#ResearchAdvent Join in by quote posting or replying with your response to each prompt during December. Don’t forget the hashtag! (Please use this original post with its alt text 😃 Repost or reply ✅ using #ResearchAdvent)
Desde @altmetric.com sugieren que las editoriales científicas [o instituciones] añadan el botón para compartir sus artículos también en Bluesky. Aquí puedes echar un vistazo a cómo hacerlo. 😉 docs.bsky.app/docs/advance...
Action Intent Links | Bluesky
Authors, websites, and apps can use action intent links to implement "Share on Bluesky" buttons, or similar in-app actions. Logged-in users will be directed to the corresponding action view in the Blu...
docs.bsky.app
I have a suggestion for all the conferences organizers out there: Please, do not use a truly updated graphical interface for your website! I feel like I'm back in the 00s sometimes...
Once again on a plane. This time headed to Vienna for the HEU project SUNRISE General Assembly. Looking forward to meeting once again with all the wonderful people of SUNRISE!
Sometimes I wonder what is worse: If a journal not having a LaTeX template, or that the submission process takes an hour. Then I have to jump onto the next meeting and forget about it 😅
