From 96c597f0287bdb30c20906a479f45f85ec578dd1 Mon Sep 17 00:00:00 2001
From: Marco Realacci <marco@marcorealacci.me>
Date: Tue, 1 Apr 2025 15:51:51 +0200
Subject: [PATCH] vault backup: 2025-04-01 15:51:51

---
 .obsidian/workspace.json | 31 ++++++-------------------------
 1 file changed, 6 insertions(+), 25 deletions(-)

diff --git a/.obsidian/workspace.json b/.obsidian/workspace.json
index 18d7328..9de2f48 100644
--- a/.obsidian/workspace.json
+++ b/.obsidian/workspace.json
@@ -6,7 +6,7 @@
       {
         "id": "e20232f4bbe0efa1",
         "type": "tabs",
-        "dimension": 41.54727793696275,
+        "dimension": 99.99999999999999,
         "children": [
           {
             "id": "483215723737b6f7",
@@ -14,31 +14,12 @@
             "state": {
               "type": "markdown",
               "state": {
-                "file": "Concurrent Systems/notes/7- MUTEX-free concurrency.md",
+                "file": "Concurrent Systems/notes/2 - Fast mutex by Lamport.md",
                 "mode": "source",
                 "source": false
               },
               "icon": "lucide-file",
-              "title": "7- MUTEX-free concurrency"
-            }
-          }
-        ]
-      },
-      {
-        "id": "e34c84c51f78c14c",
-        "type": "tabs",
-        "dimension": 58.45272206303726,
-        "children": [
-          {
-            "id": "cff9c2a2f72efce8",
-            "type": "leaf",
-            "state": {
-              "type": "pdf",
-              "state": {
-                "file": "Concurrent Systems/slides/class 10.pdf"
-              },
-              "icon": "lucide-file-text",
-              "title": "class 10"
+              "title": "2 - Fast mutex by Lamport"
             }
           }
         ]
@@ -210,12 +191,12 @@
       "companion:Toggle completion": false
     }
   },
-  "active": "cff9c2a2f72efce8",
+  "active": "483215723737b6f7",
   "lastOpenFiles": [
-    "Concurrent Systems/notes/7- MUTEX-free concurrency.md",
-    "Concurrent Systems/slides/class 10.pdf",
     "Concurrent Systems/notes/9 - Consensus.md",
     "Concurrent Systems/notes/10 - Implementing Consensus.md",
+    "Concurrent Systems/notes/7- MUTEX-free concurrency.md",
+    "Concurrent Systems/slides/class 10.pdf",
     "Pasted image 20250401092557.png",
     "Pasted image 20250401083747.png",
     "Concurrent Systems/notes/3a - Hardware primitives & Lamport Bakery algorithm.md",