https://peertube.watch/videos/watch/e81ea559-6892-4cf3-bb97-91148089694c We foresee, moving into the future, the need to be able to connect anything and everything. This will lead to a scale of things that will become incomprehensible by mere mortals if we apply current day approaches. The main reasons for the predicted incomprehensibility are: combinatory logic complexities, further conflated by state and concurrency. In this talk I will discuss the different ingredients of the Dezyne language that aim to dispel these, among which is the formal basis for the language expressed in the mCRL2 formal language framework. Speaker: Rutger van Beusekom, Track: Declarative and Minimalistic Computing devroom, Room: H.1309 (Van Rijn), When: Sunday 4 February 2024, 10:20–10:40 (Brussels time), Schedule: FOSDEM 2024 event page, Licence: Creative Commons Attribution 2.0 Belgium (CC BY 2.0 BE) (as stated in the FOSDEM video archive). Attribution: “How to create the universal operating system” by Rutger van Beusekom, FOSDEM 2024. Original recording: 2024/h1309/fosdem-2024-1872-how-to-create-the-universal-operating-system.av1.webm from the FOSDEM video archive. This channel is an unofficial mirror; FOSDEM is a free and non-commercial event organised by the community for the community. Sun, 25 Oct 2026 01:54:21 GMT https://validator.w3.org/feed/docs/rss2.html PeerTube - https://peertube.watch https://peertube.watch/lazy-static/avatars/3b284627-b75f-409e-ac2e-10f4c2946f43.png https://peertube.watch/videos/watch/e81ea559-6892-4cf3-bb97-91148089694c All rights reserved, unless otherwise specified in the terms specified at https://peertube.watch/about and potential licenses granted by each content's rightholder.