8377cfbf63
vault backup: 2025-08-19 14:46:01
2025-08-19 14:46:01 -04:00
be553ababb
Auto sync: 2025-08-19 12:50:54 (1 files changed)
...
M "Zettelkasten/Permanent Notes/Literature Notes/LIT-20250819112550-strix-explicit-reactive-synthesis-strikes-back.md"
2025-08-19 12:50:54 -04:00
dd1bc662f4
vault backup: 2025-08-19 12:50:15
2025-08-19 12:50:15 -04:00
6ca6e82b54
vault backup: 2025-08-19 11:27:50
2025-08-19 11:27:50 -04:00
570d00caad
vault backup: 2025-08-19 11:19:01
2025-08-19 11:19:01 -04:00
ae0ab17291
Auto sync: 2025-08-18 16:54:48 (667 files changed)
...
R "Zettelkasten/Hub Notes/NNFM Ontology.canvas" -> "NNFM Ontology.canvas"
R "Zettelkasten/Hub Notes/Permanent Notes/Programming/Assembly/Assembly Canvas.canvas" -> "Programming/Assembly/Assembly Canvas.canvas"
R "Zettelkasten/Hub Notes/Permanent Notes/Programming/Assembly/Untitled.md" -> Programming/Assembly/Untitled.md
R "Zettelkasten/Hub Notes/Permanent Notes/Programming/Formal Methods/LEAN/Learning Plan.md" -> "Programming/Formal Methods/LEAN/Learning Plan.md"
R "Zettelkasten/Hub Notes/Permanent Notes/Programming/Formal Methods/LEAN/Tutorial World.md" -> "Programming/Formal Methods/LEAN/Tutorial World.md"
R "Zettelkasten/Hub Notes/Permanent Notes/Programming/Formal Methods/TLA/TLA Canvas.canvas" -> "Programming/Formal Methods/TLA/TLA Canvas.canvas"
R "Zettelkasten/Hub Notes/Permanent Notes/Programming/Formal Methods/TLA/TLA+ Learning Plan.md" -> "Programming/Formal Methods/TLA/TLA+ Learning Plan.md"
R "Zettelkasten/Hub Notes/Permanent Notes/Programming/Formal Methods/TLA/What is TLA?.md" -> "Programming/Formal Methods/TLA/What is TLA?.md"
2025-08-18 16:54:48 -04:00
4af6b49115
Auto sync: 2025-08-18 15:51:41 (4 files changed)
...
M .sessions/nvim_config.vim
M "Zettelkasten/Fleeting Notes/Daily/2025-08-18.md"
M "Zettelkasten/Hub Notes/HUB-20250818131731-logics.md"
M "Zettelkasten/Permanent Notes/20250818132007-propositional-logic.md"
2025-08-18 15:51:41 -04:00
506b67986b
Auto sync: 2025-08-18 13:41:55 (6 files changed)
...
M .sessions/nvim_config.vim
A "Zettelkasten/Fleeting Notes/Daily/2025-08-18.md"
A "Zettelkasten/Hub Notes/HUB-20250818131731-logics.md"
A "Zettelkasten/Permanent Notes/20250818132007-propositional-logic.md"
A "Zettelkasten/Permanent Notes/20250818132018-predicate-logic.md"
A "Zettelkasten/Permanent Notes/20250818132022-temporal-logic.md"
2025-08-18 13:41:55 -04:00
3d894b1e34
Auto sync: 2025-08-15 17:41:27 (1 files changed)
...
M "Zettelkasten/Fleeting Notes/Daily/2025-08-15.md"
2025-08-15 17:41:27 -04:00
4e4aea6adf
Auto sync: 2025-08-15 17:41:14 (1 files changed)
...
A "Zettelkasten/Fleeting Notes/Daily/2025-08-15.md"
2025-08-15 17:41:14 -04:00
714c832343
Auto sync: 2025-08-15 17:34:30 (22 files changed)
...
M .sessions/nvim_config.vim
R "Zettelkasten/Fleeting Notes/Journal/20250331_Should_I_Continue.md" -> "Zettelkasten/Fleeting Notes/Daily/20250331_Should_I_Continue.md"
R "Zettelkasten/Fleeting Notes/Journal/20250409_*horsenoises*.md" -> "Zettelkasten/Fleeting Notes/Daily/20250409_*horsenoises*.md"
R "Zettelkasten/Fleeting Notes/Journal/2025_07_30.md" -> "Zettelkasten/Fleeting Notes/Daily/2025_07_30.md"
R "Zettelkasten/Fleeting Notes/Journal/2025_07_31.md" -> "Zettelkasten/Fleeting Notes/Daily/2025_07_31.md"
R "Zettelkasten/Fleeting Notes/Journal/2025_08_01.md" -> "Zettelkasten/Fleeting Notes/Daily/2025_08_01.md"
R "Zettelkasten/Fleeting Notes/Journal/2025_08_04.md" -> "Zettelkasten/Fleeting Notes/Daily/2025_08_04.md"
R "Zettelkasten/Fleeting Notes/Journal/2025_08_05.md" -> "Zettelkasten/Fleeting Notes/Daily/2025_08_05.md"
2025-08-15 17:34:30 -04:00
5031f1c679
update
2025-08-14 17:22:29 -04:00
5964dc8fbd
vault backup: 2025-08-14 10:55:53
2025-08-14 10:55:53 -04:00
065d90ccdd
vault backup: 2025-08-14 10:52:26
2025-08-14 10:52:26 -04:00
cd60f44f9f
vault backup: 2025-08-14 10:48:04
2025-08-14 10:48:04 -04:00
1978ab3f15
vault backup: 2025-08-13 12:00:23
2025-08-13 12:00:23 -04:00
964607ebfb
vault backup: 2025-08-13 11:10:01
2025-08-13 11:10:01 -04:00
f31cf96e7b
vault backup: 2025-08-12 13:23:53
2025-08-12 13:23:53 -04:00
2d97e5032b
thesis ideas
2025-08-11 16:55:19 -04:00
b6fdcf7a86
vault backup: 2025-08-11 16:54:01
2025-08-11 16:54:01 -04:00
99ad85282a
vault backup: 2025-08-11 16:39:18
2025-08-11 16:39:18 -04:00
11128952b2
vault backup: 2025-08-11 16:31:54
2025-08-11 16:31:54 -04:00
afa43d2814
vault backup: 2025-08-11 15:38:02
2025-08-11 15:38:02 -04:00
8a9b8701e0
hehe
2025-08-11 11:15:14 -04:00
b23db588d5
update
2025-08-08 13:56:35 -04:00
1544243638
update
2025-08-06 23:54:16 -04:00
b354f1b89c
update
2025-08-05 11:35:01 -04:00
10dad1a7fa
update
2025-08-04 12:31:26 -04:00
613931fdd1
update
2025-07-31 15:07:25 -04:00
8e8ac0254d
update
2025-07-31 10:31:21 -04:00
bf539832c3
vault backup: 2025-07-31 10:18:54
2025-07-31 10:18:54 -04:00
fafa2db2a4
update
2025-07-30 19:03:44 -04:00
90678a062e
vault backup: 2025-07-30 15:19:47
2025-07-30 15:19:47 -04:00
5001d2a45c
vault backup: 2025-07-30 11:36:48
2025-07-30 11:36:48 -04:00
7da4b5036f
vault backup: 2025-07-30 10:44:56
2025-07-30 10:44:56 -04:00
8a4e7a0e8b
vault backup: 2025-07-30 10:32:11
2025-07-30 10:32:11 -04:00
232c39185b
vault backup: 2025-07-30 10:14:56
2025-07-30 10:14:56 -04:00
ff8416d4c2
vault backup: 2025-07-30 10:10:45
2025-07-30 10:10:45 -04:00
86c1e8f3f4
vault backup: 2025-07-30 09:55:49
2025-07-30 09:55:49 -04:00
310efbf0df
vault backup: 2025-07-30 09:46:49
2025-07-30 09:46:49 -04:00
16b1fe1a09
vault backup: 2025-07-30 09:03:32
2025-07-30 09:03:32 -04:00
602b989843
vault backup: 2025-07-30 09:00:39
2025-07-30 09:00:39 -04:00
0850e4ef9d
vault backup: 2025-07-30 08:58:11
2025-07-30 08:58:11 -04:00
196da4a180
vault backup: 2025-07-30 08:54:40
2025-07-30 08:54:40 -04:00
f4046e7656
vault backup: 2025-07-29 16:01:35
2025-07-29 16:01:35 -04:00
083bcc43cd
vault backup: 2025-07-29 15:54:42
2025-07-29 15:54:42 -04:00
22e5c50bc8
vault backup: 2025-07-29 15:50:12
2025-07-29 15:50:12 -04:00
e4badfdea3
vault backup: 2025-07-29 15:37:41
2025-07-29 15:37:41 -04:00
87d17593df
vault backup: 2025-07-29 15:34:39
2025-07-29 15:34:39 -04:00
6569ccc84f
vault backup: 2025-07-29 15:32:24
2025-07-29 15:32:24 -04:00
