Auto sync: 2025-08-20 15:10:44 (3 files changed)

M  "Zettelkasten/Fleeting Notes/Daily/2025-08-20.md"

A  "Zettelkasten/Fleeting Notes/Weekly/2025_34.md"

A  "Zettelkasten/Fleeting Notes/Weekly/2025_35.md"

Zettelkasten/Fleeting Notes/Daily/2025-08-20.md

@@ -3,7 +3,7 @@ id: 2025-08-20
 title: Daily — 2025-08-20
 type: daily
 created: 2025-08-20T13:54:13Z
-modified: 2025-08-20T14:51:49Z
+modified: 2025-08-20T19:10:43Z
 tags: [daily]
 ---
 
@@ -11,7 +11,8 @@ tags: [daily]
 
 ## Quick capture
 
-- 
+- Workin in the morning on Strix presentaiton
 - Cole Group Meeting 10am - 11am
+- Write down weekly plan 11am+
 
-## Notesk
+## Notes

Zettelkasten/Fleeting Notes/Weekly/2025_34.md

@@ -0,0 +1,32 @@
+---
+id: 2025-34
+title: Weekly — 2025-08-20
+type: Weekly
+created: 2025-08-20T13:54:13Z
+modified: 2025-08-20T19:10:24Z
+tags: [weekly]
+---
+
+# Weekly - 2025 CW 34 (Aug 18 - Aug 22)
+
+## Accomplishments
+1. Met with Babay's group and collected their needs for the
+   new ovation system stuff. The notes are in [[daily-2025-08-18]]
+
+2. Learned about logic. Started with propositional logic,
+   then did predicate logic, now am working on temporal
+logic.
+
+3. Made a presentation about Strix, and learned about parity
+   games. Strix uses determnistic parity games to do
+synthesis, and yields automata that are very small relative
+to competition. They're old though--2017 was the first Strix
+paper.
+
+## This week's plan
+
+1. Write heilmeir paragraphs for thesis topic
+
+2. Make Quad chart for ERLM
+
+3. Find and keep working on an LTL book

Zettelkasten/Fleeting Notes/Weekly/2025_35.md

@@ -0,0 +1,18 @@
+---
+id: 2025-35
+title: Weekly — 2025-08-20
+type: Weekly
+created: 2025-08-20T13:54:13Z
+modified: 2025-08-20T19:10:33Z
+tags: [weekly]
+---
+
+# Weekly - 2025 CW 35 (Aug 25 - Aug 30)
+
+## Last week's plan
+
+1. Write heilmeir paragraphs for thesis topic
+
+2. Make Quad chart for ERLM
+
+3. Find and keep working on an LTL book