In Shonan 2023, with a handful of usual suspects (Shaukat Ali, Domenico Bianculli, Antonio Cicchetti, Robbert Jongeling & Catia Trubiani), we brain-stormed a bit on uncertainty & RV in the context of DevOps. The resulting book chapter/book is now available!

Blog-post: https://selabhvl.github.io/update/2026/03/15/DevOps-CPS-Shonan.html

#DevOps #RuntimeVerification #Shonan

rare snowfall in Shonan today. It didn't faze these runners.

#snow #japan #shonan

Shadow Taker. A town I passed through yesterday. Hard to come up with a more enigmatic place name, or one that better suits the place, a no man's land at the corner of three different cities.

#liminal #suburb #nomansland
#nether #region #shonan

Final day of Shonan seminar on “Engineering Trustworthy Foundation Models”. Plenty of work on LLMs, and I’m not sure if the rumbling is the sound of the aircon, or of Plato rotating in his grave.

#Shonan #LLM

sunset on Isshiki Beach in Hayama this past Friday.

I wish I could have captured the hundreds of tiny fish leaping from the calm sea as one in the dusk.

#sunset #shonan #hayama
#一色海岸