From 12ee093af9e48c8d18965482de261b3f6ec199ba Mon Sep 17 00:00:00 2001
From: Marco Realacci <marco@marcorealacci.me>
Date: Wed, 2 Apr 2025 23:00:03 +0200
Subject: [PATCH] vault backup: 2025-04-02 23:00:03

---
 .obsidian/workspace.json            | 25 ++++++++++++++-----------
 Concurrent Systems/test/Untitled.md |  3 +++
 2 files changed, 17 insertions(+), 11 deletions(-)
 create mode 100644 Concurrent Systems/test/Untitled.md

diff --git a/.obsidian/workspace.json b/.obsidian/workspace.json
index bf68d52..cf1cc48 100644
--- a/.obsidian/workspace.json
+++ b/.obsidian/workspace.json
@@ -13,12 +13,12 @@
             "state": {
               "type": "markdown",
               "state": {
-                "file": "Concurrent Systems/notes/4 - Semaphores.md",
+                "file": "Concurrent Systems/notes/1 - CS Basics.md",
                 "mode": "source",
                 "source": false
               },
               "icon": "lucide-file",
-              "title": "4 - Semaphores"
+              "title": "1 - CS Basics"
             }
           },
           {
@@ -27,15 +27,16 @@
             "state": {
               "type": "markdown",
               "state": {
-                "file": "Concurrent Systems/notes/3a - Hardware primitives & Lamport Bakery algorithm.md",
+                "file": "Concurrent Systems/test/Untitled.md",
                 "mode": "source",
                 "source": false
               },
               "icon": "lucide-file",
-              "title": "3a - Hardware primitives & Lamport Bakery algorithm"
+              "title": "Untitled"
             }
           }
-        ]
+        ],
+        "currentTab": 1
       }
     ],
     "direction": "vertical"
@@ -67,7 +68,7 @@
             "state": {
               "type": "search",
               "state": {
-                "query": "",
+                "query": "rendez",
                 "matchingCase": false,
                 "explainSearch": false,
                 "collapseAll": false,
@@ -88,7 +89,8 @@
               "title": "Segnalibri"
             }
           }
-        ]
+        ],
+        "currentTab": 1
       }
     ],
     "direction": "horizontal",
@@ -204,15 +206,17 @@
       "companion:Toggle completion": false
     }
   },
-  "active": "7c5b0ca6f7687800",
+  "active": "ae1e669229aa09dc",
   "lastOpenFiles": [
-    "Concurrent Systems/notes/3a - Hardware primitives & Lamport Bakery algorithm.md",
+    "Concurrent Systems/notes/4b - Monitors.md",
+    "Concurrent Systems/test/Untitled.md",
     "Concurrent Systems/notes/4 - Semaphores.md",
+    "Concurrent Systems/test",
+    "Concurrent Systems/notes/3a - Hardware primitives & Lamport Bakery algorithm.md",
     "Concurrent Systems/notes/1 - CS Basics.md",
     "Concurrent Systems/notes/9 - Consensus.md",
     "Concurrent Systems/notes/6 - Atomicity.md",
     "Concurrent Systems/notes/5 - Software Transactional Memory.md",
-    "Concurrent Systems/notes/4b - Monitors.md",
     "Concurrent Systems/notes/10 - Implementing Consensus.md",
     "HCIW/slides/Tangible User Interfaces.pdf",
     "Concurrent Systems/notes/images/Pasted image 20250401083747.png",
@@ -240,7 +244,6 @@
     "Concurrent Systems/notes/images/Pasted image 20250324100652.png",
     "Concurrent Systems/slides/class 4.pdf",
     "Concurrent Systems/slides/class 3.pdf",
-    "Concurrent Systems/slides/class 2.pdf",
     "Concurrent Systems/notes/images/Pasted image 20250318090909.png",
     "Concurrent Systems/notes/images/Pasted image 20250318090733.png",
     "HCIW/notes/2 - Interface and Interaction for IoT.md",
diff --git a/Concurrent Systems/test/Untitled.md b/Concurrent Systems/test/Untitled.md
new file mode 100644
index 0000000..8e41dfc
--- /dev/null
+++ b/Concurrent Systems/test/Untitled.md	
@@ -0,0 +1,3 @@
+```
+rendezvous() :=
+```
\ No newline at end of file