From 1338de8cd3a05cdea718f706f9aaaaa4de5252b4 Mon Sep 17 00:00:00 2001 From: Dane Sabo Date: Mon, 3 Mar 2025 12:24:55 -0500 Subject: [PATCH] vault backup: 2025-03-03 12:24:55 --- 1000s Templates/This Past Week Template.md | 11 +++++++++++ .../Weekly Note 2025-03-04.md | 16 ++++++++++++++-- .../Qualifier Support Group Plan.md | 2 +- 3-99 Research/TLA/TLA+ Learning Plan.md | 2 +- ...5-03-03 Finish Assembly Verification paper.md | 4 ++-- .../Research/2025-03-03 Rust Chapter 2.md | 4 ++-- 900s Calendars/Research/Research - README.md | 5 +++-- 7 files changed, 34 insertions(+), 10 deletions(-) diff --git a/1000s Templates/This Past Week Template.md b/1000s Templates/This Past Week Template.md index bb334ca1..19be1da2 100755 --- a/1000s Templates/This Past Week Template.md +++ b/1000s Templates/This Past Week Template.md @@ -13,6 +13,16 @@ tags: [] [[<% tp.date.now("YYYY-MM-DD", -3, tp.file.title.match(/\d{4}-\d{2}-\d{2}/)[0], "YYYY-MM-DD") %>]] # Last Week's Plan # Accomplishments +## Hour Counts +| Category | Hours | +| ---------------- | ----- | +| Research | | +| Service | | +| Learning | | +| Teaching | | +| Class / Meetings | | +| Other | | +| **TOTAL:** | | ## Remarks ## Tasks and Notes From This Past Week >[!abstract] Read Papers @@ -35,6 +45,7 @@ tags: [] # This Week's Plan ## Remarks +## Task List >[!todo] Tasks Preview >```tasks >(due before <% tp.date.now("YYYY-MM-DD", 7, tp.file.title.match(/\d{4}-\d{2}-\d{2}/)[0], "YYYY-MM-DD") %>) diff --git a/2 Cole Group Meeting Notes/Weekly Note 2025-03-04.md b/2 Cole Group Meeting Notes/Weekly Note 2025-03-04.md index de8ff944..99b80e08 100644 --- a/2 Cole Group Meeting Notes/Weekly Note 2025-03-04.md +++ b/2 Cole Group Meeting Notes/Weekly Note 2025-03-04.md @@ -19,9 +19,13 @@ tags: [] | Research | 5 | | Service | 2.25 | | Learning | 11.75 | -| Class / Meetings | | - +| Class / Meetings | 8.25 | +| Teaching | 3 | +| Other | 0 | +| **TOTAL:** | 30.3 | ## Remarks +No huge comments. I made a TLA+ spec and ran it successfully! +ME2046 HW has been pretty rough ## Tasks and Notes From This Past Week >[!abstract] Read Papers >```tasks @@ -42,7 +46,15 @@ tags: [] # This Week's Plan ## Remarks +### Classes +- Finish HW3 for digital control systems +- Rust chapter 2 and 3 +- Finish Addition world for LEAN +- Read Marvel document Robert Sent +- Finish HW2 for NUCE2113 +- +## Task List >[!todo] Tasks Preview >```tasks >(due before 2025-03-11) 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 f1a7d33d..44fb5340 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 @@ -26,7 +26,7 @@ Research Approach - [x] [[2025-02-28 - Research Approach]] #GSA ⏳ 2025-02-25 📅 2025-02-27 ✅ 2025-03-03 ## **March 7th** Spring Break - Come if you wanna and chat -- [ ] [[2025-03-07 - Catch Up]] #GSA 📅 2025-03-06 ⏳ 2025-03-05 +- [x] [[2025-03-07 - Catch Up]] #GSA ⏳ 2025-03-05 📅 2025-03-06 ✅ 2025-03-03 ## **March 14th** OUT BY 11AM **Metrics of Success, Risks and Contingencies** diff --git a/3-99 Research/TLA/TLA+ Learning Plan.md b/3-99 Research/TLA/TLA+ Learning Plan.md index b5d7e76f..13d58952 100644 --- a/3-99 Research/TLA/TLA+ Learning Plan.md +++ b/3-99 Research/TLA/TLA+ Learning Plan.md @@ -1,7 +1,7 @@ - [x] Introduction to TLA+ #TLA ⏳ 2025-02-28 📅 2025-02-28 ✅ 2025-02-24 - [x] State machines in TLA+ #TLA ⏳ 2025-02-28 📅 2025-02-28 ✅ 2025-02-24 - [x] Resources and Tools #TLA ⏳ 2025-02-24 📅 2025-02-25 ✅ 2025-03-03 -- [ ] Die Hard #TLA 📅 2025-03-04 ⏳ 2025-02-28 +- [x] Die Hard #TLA ⏳ 2025-02-28 📅 2025-03-04 ✅ 2025-02-28 - [ ] Transaction Commit #TLA 📅 2025-03-11 ⏳ 2025-03-07 - [ ] Two-Phase Commit #TLA 📅 2025-03-18 ⏳ 2025-03-14 - [ ] Paxos Commit #TLA 📅 2025-03-18 ⏳ 2025-03-14 diff --git a/900s Calendars/Research/2025-03-03 Finish Assembly Verification paper.md b/900s Calendars/Research/2025-03-03 Finish Assembly Verification paper.md index 156ded22..b26c65b9 100644 --- a/900s Calendars/Research/2025-03-03 Finish Assembly Verification paper.md +++ b/900s Calendars/Research/2025-03-03 Finish Assembly Verification paper.md @@ -1,8 +1,8 @@ --- title: Finish Assembly Verification paper allDay: false -startTime: 13:00 -endTime: 14:00 +startTime: 14:00 +endTime: 15:00 date: 2025-03-03 completed: null type: single diff --git a/900s Calendars/Research/2025-03-03 Rust Chapter 2.md b/900s Calendars/Research/2025-03-03 Rust Chapter 2.md index 3c02e7c5..2cff723e 100644 --- a/900s Calendars/Research/2025-03-03 Rust Chapter 2.md +++ b/900s Calendars/Research/2025-03-03 Rust Chapter 2.md @@ -1,8 +1,8 @@ --- title: Rust Chapter 2 allDay: false -startTime: 14:00 -endTime: 15:00 +startTime: 15:00 +endTime: 16:00 date: 2025-03-03 completed: null type: single diff --git a/900s Calendars/Research/Research - README.md b/900s Calendars/Research/Research - README.md index 49086f70..edf84854 100644 --- a/900s Calendars/Research/Research - README.md +++ b/900s Calendars/Research/Research - README.md @@ -8,8 +8,9 @@ - [[2025-02-24 LEAN.md]] - [[2025-02-24 TLA Learning Plan and Notes.md]] - [[2025-02-26 BoardTalk with Robert.md]] -- [[2025-03-03 Finish Assembly Verification paper]] -- [[2025-03-03 Rust Chapter 2]] +- [[2025-02-28 TLA+ Proof.md]] +- [[2025-03-03 Finish Assembly Verification paper.md]] +- [[2025-03-03 Rust Chapter 2.md]] ## Summary