Lecturer of type-driven approaches to trustworthy-systems (CyberSecurity) at Strathclyde. Professionally interested in PL & FM Methods; socially interested in many things! My work doesn’t define me; it is not my identity.
For people finding out that the Dutch government coalition just fell, we have a thing called demissionary government where things just continue in a caretaker fashion. Since the current government was not actually achieving anything, we might not even notice.
June 3, 2025 at 7:55 AM
For people finding out that the Dutch government coalition just fell, we have a thing called demissionary government where things just continue in a caretaker fashion. Since the current government was not actually achieving anything, we might not even notice.
Our societies and governments now largely run on American proprietary big-tech platforms. Many of us want to decrease this dependency, or even end it altogether. Here I wrote up a bunch of things we are doing wrong, and what the open world could do better: berthub.eu/articles/pos...