vault backup: 2025-03-04 08:49:45
This commit is contained in:
parent
1cdd7d5981
commit
ff7e2ce981
4 changed files with 11 additions and 4 deletions
8
.obsidian/workspace.json
vendored
8
.obsidian/workspace.json
vendored
|
@ -36,9 +36,9 @@
|
||||||
"type": "pdf",
|
"type": "pdf",
|
||||||
"state": {
|
"state": {
|
||||||
"file": "Concurrent Systems/slides/class 2.pdf",
|
"file": "Concurrent Systems/slides/class 2.pdf",
|
||||||
"page": 2,
|
"page": 5,
|
||||||
"left": -23,
|
"left": -23,
|
||||||
"top": 542,
|
"top": 56,
|
||||||
"zoom": 0.6796318289786224
|
"zoom": 0.6796318289786224
|
||||||
},
|
},
|
||||||
"icon": "lucide-file-text",
|
"icon": "lucide-file-text",
|
||||||
|
@ -220,6 +220,8 @@
|
||||||
},
|
},
|
||||||
"active": "802d9ec58484849d",
|
"active": "802d9ec58484849d",
|
||||||
"lastOpenFiles": [
|
"lastOpenFiles": [
|
||||||
|
"Pasted image 20250304084901.png",
|
||||||
|
"Pasted image 20250304084537.png",
|
||||||
"Pasted image 20250304082459.png",
|
"Pasted image 20250304082459.png",
|
||||||
"Concurrent Systems/slides/class 2.pdf",
|
"Concurrent Systems/slides/class 2.pdf",
|
||||||
"Concurrent Systems/notes/Lezione2.md",
|
"Concurrent Systems/notes/Lezione2.md",
|
||||||
|
@ -264,8 +266,6 @@
|
||||||
"Biometric Systems/images/Pasted image 20241228174722.png",
|
"Biometric Systems/images/Pasted image 20241228174722.png",
|
||||||
"Biometric Systems/images/Pasted image 20241217025904.png",
|
"Biometric Systems/images/Pasted image 20241217025904.png",
|
||||||
"Biometric Systems/images/Pasted image 20241217030157.png",
|
"Biometric Systems/images/Pasted image 20241217030157.png",
|
||||||
"Biometric Systems/images/Pasted image 20241212094046.png",
|
|
||||||
"Biometric Systems/images/Pasted image 20241212094016.png",
|
|
||||||
"Senza nome.canvas"
|
"Senza nome.canvas"
|
||||||
]
|
]
|
||||||
}
|
}
|
|
@ -49,3 +49,10 @@ unlock(i) :=
|
||||||
return
|
return
|
||||||
```
|
```
|
||||||
|
|
||||||
|
MUTEX proof
|
||||||
|
|
||||||
|
How can pi enter its CS?
|
||||||
|
![[Pasted image 20250304084537.png]]
|
||||||
|
|
||||||
|
![[Pasted image 20250304084901.png]]
|
||||||
|
|
||||||
|
|
BIN
Pasted image 20250304084537.png
Normal file
BIN
Pasted image 20250304084537.png
Normal file
Binary file not shown.
After Width: | Height: | Size: 92 KiB |
BIN
Pasted image 20250304084901.png
Normal file
BIN
Pasted image 20250304084901.png
Normal file
Binary file not shown.
After Width: | Height: | Size: 102 KiB |
Loading…
Reference in a new issue