diff --git a/.obsidian/graph.json b/.obsidian/graph.json index ef158d115..563e9f5a1 100755 --- a/.obsidian/graph.json +++ b/.obsidian/graph.json @@ -60,6 +60,6 @@ "repelStrength": 18.0729166666667, "linkStrength": 0.744791666666667, "linkDistance": 177, - "scale": 0.08352472158263505, - "close": false + "scale": 0.0556831477217567, + "close": true } \ No newline at end of file diff --git a/1 Daily Notes/2025/2025-02-17.md b/1 Daily Notes/2025/2025-02-17.md index e7c334a71..486ae446d 100644 --- a/1 Daily Notes/2025/2025-02-17.md +++ b/1 Daily Notes/2025/2025-02-17.md @@ -9,7 +9,7 @@ tags: [[ Weekly Note 2025-02-10]] # Summary ## What's the plan? -- [<] Poke Antoine about NUCE classes available 🔺 ⏳ 2025-02-18 📅 2025-02-18 +- [<] Poke Antoine about NUCE classes available 🔼 ⏳ 2025-02-18 📅 2025-02-21 ## What's the results! ```tasks diff --git a/1 Daily Notes/2025/2025-02-19.md b/1 Daily Notes/2025/2025-02-19.md index 47a365850..b970d09e4 100644 --- a/1 Daily Notes/2025/2025-02-19.md +++ b/1 Daily Notes/2025/2025-02-19.md @@ -19,12 +19,9 @@ group by tags ``` # Calendar Tasks +- Haskell Fun Time [startTime:: 22:00] [endTime:: 22:30] - Coffee Yak [startTime:: 09:00] [endTime:: 10:00] -- Read Papers [startTime:: 19:30] [endTime:: 20:30] - Learn about TAL [startTime:: 14:15] [endTime:: 16:00] -- QSG SOTA [startTime:: 20:30] [endTime:: 21:30] -- Bus In [startTime:: 08:30] [endTime:: 09:00] -- Drive Home [startTime:: 16:00] [endTime:: 16:30] - Reading Papers and Flex Time [startTime:: 18:00] [endTime:: 19:30] - Lunch [startTime:: 12:00] [endTime:: 13:00] - ME2046 HW3 [startTime:: 13:00] [endTime:: 14:15] diff --git a/1 Daily Notes/2025/2025-02-20.md b/1 Daily Notes/2025/2025-02-20.md index c618243db..3bab13ec5 100644 --- a/1 Daily Notes/2025/2025-02-20.md +++ b/1 Daily Notes/2025/2025-02-20.md @@ -9,6 +9,7 @@ tags: [[ Weekly Note 2025-02-17]] # Summary ## What's the plan? +- [<] TLA Learning Plan #TLA ⏫ ⏳ 2025-02-20 📅 2025-02-20 ## What's the results! ```tasks @@ -18,10 +19,9 @@ group by tags ``` # Calendar Tasks +- Microkit Part 3 and 4 [startTime:: 08:00] [endTime:: 09:30] +- QSG SOTA [startTime:: 12:00] [endTime:: 13:00] - SeL4 Part 3 and 4 [startTime:: 14:30] [endTime:: 15:00] - ME2046 HW3 [startTime:: 14:45] [endTime:: 16:00] - Gym Showah [startTime:: 09:30] [endTime:: 11:00] -- LEAN Time [startTime:: 09:00] [endTime:: 09:30] -- Lunch [startTime:: 11:00] [endTime:: 12:00] -- Bus In [startTime:: 12:00] [endTime:: 13:00] -- TLA Time [startTime:: 08:00] [endTime:: 09:00] \ No newline at end of file +- Bus In [startTime:: 12:00] [endTime:: 13:00] \ No newline at end of file diff --git a/1 Daily Notes/2025/2025-02-21.md b/1 Daily Notes/2025/2025-02-21.md index fbd8c4d3c..d7bc69a8b 100644 --- a/1 Daily Notes/2025/2025-02-21.md +++ b/1 Daily Notes/2025/2025-02-21.md @@ -18,4 +18,7 @@ group by tags ``` # Calendar Tasks +- TLA Time [startTime:: 14:30] [endTime:: 15:30] +- Read Papers [startTime:: 13:30] [endTime:: 14:30] +- Reading Papers and Flex Time [startTime:: 12:00] [endTime:: 13:30] - QSG SOTA [startTime:: 08:00] [endTime:: 09:30] \ No newline at end of file diff --git a/2.1 GSA Meeting Notes/QSG 2025 Sprnig/Qualifier Support Group Plan.md b/2.1 GSA Meeting Notes/QSG 2025 Sprnig/Qualifier Support Group Plan.md index f96d3782d..35cb72c36 100644 --- a/2.1 GSA Meeting Notes/QSG 2025 Sprnig/Qualifier Support Group Plan.md +++ b/2.1 GSA Meeting Notes/QSG 2025 Sprnig/Qualifier Support Group Plan.md @@ -20,7 +20,7 @@ High level overview of what a proposal does and what you need to do. ## **February 21st** OUT BY 11AM State of the Art -- [ ] [[2025-02-21 - State of the Art]] #GSA 📅 2025-02-20 ⏳ 2025-02-18 +- [<] [[2025-02-21 - State of the Art]] #GSA ⏳ 2025-02-18 📅 2025-02-20 ## **February 28th** Research Approach - [ ] [[2025-02-28 - Research Approach]] #GSA 📅 2025-02-27 ⏳ 2025-02-25 diff --git a/3-99 Research/Haskell/Learning Plan.md b/3-99 Research/Haskell/Learning Plan.md index 98fbddd56..db5573d21 100644 --- a/3-99 Research/Haskell/Learning Plan.md +++ b/3-99 Research/Haskell/Learning Plan.md @@ -1,6 +1,6 @@ https://learnyouahaskell.github.io/chapters.html - [x] Chapter 1: Introduction #Haskell ⏳ 2025-02-18 📅 2025-02-12 ✅ 2025-02-19 -- [ ] Chapter 2: Starting Out #Haskell 📅 2025-02-19 ⏳ 2025-02-25 +- [/] Chapter 2: Starting Out #Haskell ⏳ 2025-02-25 📅 2025-02-19 - [ ] Chapter 3: Types and Typeclasses #Haskell 📅 2025-02-26 ⏳ 2025-03-04 - [ ] Chapter 4: Syntax in Functions #Haskell 📅 2025-03-05 ⏳ 2025-03-11 - [ ] Chapter 5: Recursion #Haskell 📅 2025-03-12 ⏳ 2025-03-18 diff --git a/3-99 Research/LEAN/Learning Plan.md b/3-99 Research/LEAN/Learning Plan.md index d23c25d74..b27cca7b2 100644 --- a/3-99 Research/LEAN/Learning Plan.md +++ b/3-99 Research/LEAN/Learning Plan.md @@ -1,4 +1,4 @@ - - [ ] Tutorial World #LEAN 📅 2025-02-21 ⏳ 2025-02-17 + - [<] Tutorial World #LEAN ⏳ 2025-02-17 📅 2025-02-21 - [ ] Addition World #LEAN 📅 2025-02-28 ⏳ 2025-02-23 - [ ] Implication World #LEAN 📅 2025-03-07 ⏳ 2025-03-02 - [ ] Multiplication World #LEAN 📅 2025-03-07 ⏳ 2025-03-07 diff --git a/300s School/ME 2046 - Digital Control Theory/!Things That Need Done.md b/300s School/ME 2046 - Digital Control Theory/!Things That Need Done.md index 8d6464b98..8b25028a8 100644 --- a/300s School/ME 2046 - Digital Control Theory/!Things That Need Done.md +++ b/300s School/ME 2046 - Digital Control Theory/!Things That Need Done.md @@ -1,7 +1,7 @@ # Homework - [x] Homework Assignment 2 #ME2046 ⏳ 2025-02-03 📅 2025-02-06 ✅ 2025-02-13 - [x] Homework Assignment 2 - Code Files #ME2046 ⏳ 2025-02-03 📅 2025-02-06 ✅ 2025-02-13 -- [/] Homework Assignment 3 #ME2046 ⏫ ⏳ 2025-02-17 📅 2025-02-27 +- [<] Homework Assignment 3 #ME2046 ⏫ ⏳ 2025-02-17 📅 2025-02-27 - [ ] Homework Assignment 4 #ME2046 📅 2025-03-06 ⏳ 2025-03-03 - [ ] Homework Assignment 5 #ME2046 📅 2025-03-20 ⏳ 2025-03-17 - [ ] Homework Assignment 6 #ME2046 📅 2025-04-03 ⏳ 2025-03-31 diff --git a/300s School/ME 2150 - High Assurance Cyber-Physical Systems/!Things That Need Done.md b/300s School/ME 2150 - High Assurance Cyber-Physical Systems/!Things That Need Done.md index 676c51c65..9c76fd99a 100644 --- a/300s School/ME 2150 - High Assurance Cyber-Physical Systems/!Things That Need Done.md +++ b/300s School/ME 2150 - High Assurance Cyber-Physical Systems/!Things That Need Done.md @@ -1,6 +1,6 @@ - [x] The seL4 Tutorials, Hello World! #ME2150 ⏳ 2025-02-03 📅 2025-02-04 ✅ 2025-02-10 - [x] Part 1 of Microkit Tutorial #ME2150 ⏳ 2025-02-12 📅 2025-02-13 ✅ 2025-02-12 - [x] Part 2 of Microkit Tutorial #ME2150 ⏳ 2025-02-12 📅 2025-02-13 ✅ 2025-02-17 -- [ ] Part 3 of Microkit Tutorial #ME2150 ⏫ ⏳ 2025-02-18 📅 2025-02-20 -- [ ] Part 4 of Microkit Tutorial #ME2150 ⏫ ⏳ 2025-02-18 📅 2025-02-20 +- [<] Part 3 of Microkit Tutorial #ME2150 ⏫ ⏳ 2025-02-18 📅 2025-02-20 +- [<] Part 4 of Microkit Tutorial #ME2150 ⏫ ⏳ 2025-02-18 📅 2025-02-20 - [x] Introduction to SeL4 Proofs #ME2150 ⏳ 2025-02-13 📅 2025-02-13 ✅ 2025-02-17 \ No newline at end of file diff --git a/5 Thesis/Things to Do.md b/5 Thesis/Things to Do.md index 14fe6632d..c11a0d9c2 100644 --- a/5 Thesis/Things to Do.md +++ b/5 Thesis/Things to Do.md @@ -1,7 +1,7 @@ Follow up tasks: - [-] What is the state of the art for wireless control? #Thesis ❌ 2025-01-24 - [/] What has happened so far with verifying assembly code? #Thesis 🔽 ⏳ 2025-01-29 📅 2025-02-06 -- [ ] How does Rust compile into binary? #Thesis ⏳ 2025-01-28 📅 2025-02-11 +- [?] How does Rust compile into binary? #Thesis ⏳ 2025-01-28 📅 2025-02-11 ```dataview task where contains(tags, "Thesis")