From be3da9b5d5fdaac4f9fbef887e9f436b54ff5a76 Mon Sep 17 00:00:00 2001 From: Dane Sabo Date: Thu, 27 Feb 2025 10:13:01 -0500 Subject: [PATCH] vault backup: 2025-02-27 10:13:01 --- 1 Daily Notes/2025/2025-02-20.md | 4 ++-- 1 Daily Notes/2025/2025-02-27.md | 2 ++ .../QSG 2025 Sprnig/Qualifier Support Group Plan.md | 2 +- 3-99 Research/Assembly/Assembly - README.md | 2 +- 3-99 Research/Rust/Learning Plan.md | 2 +- 3-99 Research/TLA/TLA - README.md | 1 + .../TLA/Writing a MARVEL Specification in TLA+.md | 7 ++++--- 5 Thesis/1 Ideas/1 Ideas - README.md | 2 +- 5 Thesis/Things to Do.md | 2 +- 900s Calendars/Learning/2025-02-27 ME2046 HW3.md | 2 +- ...md => 2025-02-28 Finish Assembly Verification paper.md} | 2 +- ...2-27 Rust Chapter 2.md => 2025-02-28 Rust Chapter 2.md} | 2 +- 900s Calendars/Research/Research - README.md | 4 ++-- 9999 Personal/Z/Z - README.md | 2 +- 14 files changed, 20 insertions(+), 16 deletions(-) rename 900s Calendars/Research/{2025-02-27 Finish Assembly Verification paper.md => 2025-02-28 Finish Assembly Verification paper.md} (88%) rename 900s Calendars/Research/{2025-02-27 Rust Chapter 2.md => 2025-02-28 Rust Chapter 2.md} (86%) diff --git a/1 Daily Notes/2025/2025-02-20.md b/1 Daily Notes/2025/2025-02-20.md index 85037176b..622d28dd4 100644 --- a/1 Daily Notes/2025/2025-02-20.md +++ b/1 Daily Notes/2025/2025-02-20.md @@ -10,9 +10,9 @@ tags: # Summary ## What's the plan? - [x] TLA Learning Plan #TLA ⏫ ⏳ 2025-02-20 📅 2025-02-20 ✅ 2025-02-24 -- [ ] Do something with Robert's Email #Email 🔽 ⏳ 2025-02-20 📅 2025-02-20 +- [x] Do something with Robert's Email #Email 🔽 ⏳ 2025-02-20 📅 2025-02-20 ✅ 2025-02-27 - [x] Join union discord #Union ⏳ 2025-02-21 📅 2025-02-21 ✅ 2025-02-21 -- [ ] Invite Yiyang to signal chat #Union 🔽 ⏳ 2025-02-21 📅 2025-02-21 +- [-] Invite Yiyang to signal chat #Union 🔽 ⏳ 2025-02-21 📅 2025-02-21 ❌ 2025-02-27 - [ ] Set up union github repo #Union 🔽 ⏳ 2025-02-21 📅 2025-02-21 ## What's the results! diff --git a/1 Daily Notes/2025/2025-02-27.md b/1 Daily Notes/2025/2025-02-27.md index e3fa3c3e8..4e3263c90 100644 --- a/1 Daily Notes/2025/2025-02-27.md +++ b/1 Daily Notes/2025/2025-02-27.md @@ -9,6 +9,8 @@ tags: [[ Weekly Note 2025-02-24]] # Summary ## What's the plan? +- [ ] Email Gleeson and Antoine about NUCE classes I would want to take this summer #Administrative 📅 2025-02-27 ⏳ 2025-02-27 +- [ ] Email Antoine about research track roster #GSA 📅 2025-02-27 ⏳ 2025-02-27 ## What's the results! ```tasks 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 a4f208d3c..85a925926 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 @@ -23,7 +23,7 @@ State of the Art - [x] [[2025-02-21 - State of the Art]] #GSA ⏳ 2025-02-18 📅 2025-02-20 ✅ 2025-02-21 ## **February 28th** Research Approach -- [ ] [[2025-02-28 - Research Approach]] #GSA 📅 2025-02-27 ⏳ 2025-02-25 +- [<] [[2025-02-28 - Research Approach]] #GSA ⏳ 2025-02-25 📅 2025-02-27 ## **March 7th** Spring Break - Come if you wanna and chat - [ ] [[2025-03-07 - Catch Up]] #GSA 📅 2025-03-06 ⏳ 2025-03-05 diff --git a/3-99 Research/Assembly/Assembly - README.md b/3-99 Research/Assembly/Assembly - README.md index 2f1a74b3e..9efce398b 100644 --- a/3-99 Research/Assembly/Assembly - README.md +++ b/3-99 Research/Assembly/Assembly - README.md @@ -2,7 +2,7 @@ ## Files - [[Assembly Canvas.canvas]] -- [[3-99 Research/Assembly/Untitled]] +- [[Untitled.md]] ## Summary diff --git a/3-99 Research/Rust/Learning Plan.md b/3-99 Research/Rust/Learning Plan.md index a1bb2e2cf..aefd6db38 100644 --- a/3-99 Research/Rust/Learning Plan.md +++ b/3-99 Research/Rust/Learning Plan.md @@ -1,5 +1,5 @@ - [x] Chapter 1: Getting Started #Rust ⏳ 2025-02-17 📅 2025-02-11 ✅ 2025-02-17 -- [ ] Chapter 2: Programming a Guessing Game #Rust ⏳ 2025-02-18 📅 2025-02-24 +- [<] Chapter 2: Programming a Guessing Game #Rust ⏳ 2025-02-18 📅 2025-02-24 - [ ] Chapter 3: Common Programming Concepts #Rust ⏳ 2025-02-25 📅 2025-03-03 - [ ] Chapter 4: Understanding Ownership #Rust 📅 2025-03-04 ⏳ 2025-03-10 - [ ] Chapter 5: Using Structs to Structure Related Data #Rust 📅 2025-03-11 ⏳ 2025-03-17 diff --git a/3-99 Research/TLA/TLA - README.md b/3-99 Research/TLA/TLA - README.md index 05154c8b5..c917c9e72 100644 --- a/3-99 Research/TLA/TLA - README.md +++ b/3-99 Research/TLA/TLA - README.md @@ -5,6 +5,7 @@ - [[TLA+ Learning Plan.md]] - [[What is TLA?.md]] - [[What the hell is liveness?.md]] +- [[Writing a MARVEL Specification in TLA+.md]] ## Summary diff --git a/3-99 Research/TLA/Writing a MARVEL Specification in TLA+.md b/3-99 Research/TLA/Writing a MARVEL Specification in TLA+.md index 55252b309..d68a37e34 100644 --- a/3-99 Research/TLA/Writing a MARVEL Specification in TLA+.md +++ b/3-99 Research/TLA/Writing a MARVEL Specification in TLA+.md @@ -1,8 +1,9 @@ # What is the MARVEL reactor? -- [?] What the fuck is MARVEL? #Reading 📅 2025-02-28 +- [?] What the fuck is MARVEL? #Reading 🆔 furwbi 📅 2025-02-28 # What are some specs that perhaps can be formalized in TLA+? ## What are the specs of interest? -- [ ] Write down some specs from MARVEL in natural language #Formal-methods 📅 2025-02-28 +- [ ] Write down some specs from MARVEL in natural language #Formal-methods 🆔 lofl94 ⛔ furwbi 📅 2025-02-28 -## How do they translate to TLA+? \ No newline at end of file +## How do they translate to TLA+? +- [ ] Translate a MARVEL specification into a TLA+ module #Formal-methods #TLA ⛔ lofl94 📅 2025-03-04 \ No newline at end of file diff --git a/5 Thesis/1 Ideas/1 Ideas - README.md b/5 Thesis/1 Ideas/1 Ideas - README.md index 77ad16968..5a715cb42 100644 --- a/5 Thesis/1 Ideas/1 Ideas - README.md +++ b/5 Thesis/1 Ideas/1 Ideas - README.md @@ -1,7 +1,7 @@ # Table of Contents for 1 Ideas ## Files -- [[5 Thesis/1 Ideas/Untitled]] +- [[Untitled.md]] ## Summary diff --git a/5 Thesis/Things to Do.md b/5 Thesis/Things to Do.md index d7fc51dc4..b0bcbb633 100644 --- a/5 Thesis/Things to Do.md +++ b/5 Thesis/Things to Do.md @@ -1,6 +1,6 @@ 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 +- [<] 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 ```dataview task diff --git a/900s Calendars/Learning/2025-02-27 ME2046 HW3.md b/900s Calendars/Learning/2025-02-27 ME2046 HW3.md index 9de093c5c..d28870a82 100644 --- a/900s Calendars/Learning/2025-02-27 ME2046 HW3.md +++ b/900s Calendars/Learning/2025-02-27 ME2046 HW3.md @@ -2,7 +2,7 @@ title: ME2046 HW3 allDay: false startTime: 10:30 -endTime: 11:00 +endTime: 12:00 date: 2025-02-27 completed: null --- diff --git a/900s Calendars/Research/2025-02-27 Finish Assembly Verification paper.md b/900s Calendars/Research/2025-02-28 Finish Assembly Verification paper.md similarity index 88% rename from 900s Calendars/Research/2025-02-27 Finish Assembly Verification paper.md rename to 900s Calendars/Research/2025-02-28 Finish Assembly Verification paper.md index 481827fb5..b0d8411f2 100644 --- a/900s Calendars/Research/2025-02-27 Finish Assembly Verification paper.md +++ b/900s Calendars/Research/2025-02-28 Finish Assembly Verification paper.md @@ -3,7 +3,7 @@ title: Finish Assembly Verification paper allDay: false startTime: 13:00 endTime: 14:00 -date: 2025-02-27 +date: 2025-02-28 completed: null type: single --- diff --git a/900s Calendars/Research/2025-02-27 Rust Chapter 2.md b/900s Calendars/Research/2025-02-28 Rust Chapter 2.md similarity index 86% rename from 900s Calendars/Research/2025-02-27 Rust Chapter 2.md rename to 900s Calendars/Research/2025-02-28 Rust Chapter 2.md index 16702e80b..c2ba4899d 100644 --- a/900s Calendars/Research/2025-02-27 Rust Chapter 2.md +++ b/900s Calendars/Research/2025-02-28 Rust Chapter 2.md @@ -3,7 +3,7 @@ title: Rust Chapter 2 allDay: false startTime: 14:00 endTime: 15:00 -date: 2025-02-27 +date: 2025-02-28 completed: null type: single --- diff --git a/900s Calendars/Research/Research - README.md b/900s Calendars/Research/Research - README.md index abfc81dd1..01c8fad75 100644 --- a/900s Calendars/Research/Research - README.md +++ b/900s Calendars/Research/Research - README.md @@ -8,8 +8,8 @@ - [[2025-02-24 LEAN.md]] - [[2025-02-24 TLA Learning Plan and Notes.md]] - [[2025-02-26 BoardTalk with Robert.md]] -- [[2025-02-27 Finish Assembly Verification paper.md]] -- [[2025-02-27 Rust Chapter 2.md]] +- [[2025-02-28 Finish Assembly Verification paper]] +- [[2025-02-28 Rust Chapter 2]] ## Summary diff --git a/9999 Personal/Z/Z - README.md b/9999 Personal/Z/Z - README.md index 2d81fbc79..4d9144d59 100644 --- a/9999 Personal/Z/Z - README.md +++ b/9999 Personal/Z/Z - README.md @@ -9,7 +9,7 @@ - [[Repair OEM Brakes.md]] - [[Replace bushings.md]] - [[Replace OEM dampers front and rear.md]] -- [[9999 Personal/Z/Untitled]] +- [[Untitled.md]] - [[What transmission will solve all my problems?.md]] - [[Wheels, Tires, and Spacers.md]] - [[Z31 LS Swap.md]]