diff --git a/Zettelkasten/Fleeting Notes/Daily/2025-08-20.md b/Zettelkasten/Fleeting Notes/Daily/2025-08-20.md index de289922..bde021c8 100644 --- a/Zettelkasten/Fleeting Notes/Daily/2025-08-20.md +++ b/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 diff --git a/Zettelkasten/Fleeting Notes/Weekly/2025_34.md b/Zettelkasten/Fleeting Notes/Weekly/2025_34.md new file mode 100644 index 00000000..c71e2d4c --- /dev/null +++ b/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 diff --git a/Zettelkasten/Fleeting Notes/Weekly/2025_35.md b/Zettelkasten/Fleeting Notes/Weekly/2025_35.md new file mode 100644 index 00000000..753634bc --- /dev/null +++ b/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