vault backup: 2025-02-27 10:13:01

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!

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

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 

3-99 Research/Assembly/Assembly - README.md

@@ -2,7 +2,7 @@
 
 ## Files
 - [[Assembly Canvas.canvas]]
-- [[3-99 Research/Assembly/Untitled]]
+- [[Untitled.md]]
 
 ## Summary
 

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

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
 

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+?
+## How do they translate to TLA+?
+- [ ] Translate a MARVEL specification into a TLA+ module #Formal-methods #TLA ⛔ lofl94 📅 2025-03-04

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
 

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 

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
 ---

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
 ---

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
 ---

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-28 Finish Assembly Verification paper]]
-- [[2025-02-27 Rust Chapter 2.md]]
+- [[2025-02-28 Rust Chapter 2]]
 
 ## Summary
 

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]]