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 8534e34d0..de8ff944d 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 @@ -14,9 +14,12 @@ tags: [] # Last Week's Plan # Accomplishments ## Hour Counts -| Category | Hours | -| -------- | ----- | -| Research | | +| Category | Hours | +| ---------------- | ----- | +| Research | 5 | +| Service | 2.25 | +| Learning | 11.75 | +| Class / Meetings | | ## Remarks ## Tasks and Notes From This Past Week diff --git a/900s Calendars/Research/2025-02-28 TLA+ Proof.md b/900s Calendars/Research/2025-02-28 TLA+ Proof.md new file mode 100644 index 000000000..cb6284f58 --- /dev/null +++ b/900s Calendars/Research/2025-02-28 TLA+ Proof.md @@ -0,0 +1,9 @@ +--- +title: TLA+ Proof +allDay: false +startTime: 15:00 +endTime: 17:30 +date: 2025-02-28 +completed: null +type: single +--- diff --git a/900s Calendars/Research/2025-02-28 Finish Assembly Verification paper.md b/900s Calendars/Research/2025-03-03 Finish Assembly Verification paper.md similarity index 88% rename from 900s Calendars/Research/2025-02-28 Finish Assembly Verification paper.md rename to 900s Calendars/Research/2025-03-03 Finish Assembly Verification paper.md index b0d8411f2..156ded22d 100644 --- a/900s Calendars/Research/2025-02-28 Finish Assembly Verification paper.md +++ b/900s Calendars/Research/2025-03-03 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-28 +date: 2025-03-03 completed: null type: single --- diff --git a/900s Calendars/Research/2025-02-28 Rust Chapter 2.md b/900s Calendars/Research/2025-03-03 Rust Chapter 2.md similarity index 86% rename from 900s Calendars/Research/2025-02-28 Rust Chapter 2.md rename to 900s Calendars/Research/2025-03-03 Rust Chapter 2.md index c2ba4899d..3c02e7c57 100644 --- a/900s Calendars/Research/2025-02-28 Rust Chapter 2.md +++ b/900s Calendars/Research/2025-03-03 Rust Chapter 2.md @@ -3,7 +3,7 @@ title: Rust Chapter 2 allDay: false startTime: 14:00 endTime: 15:00 -date: 2025-02-28 +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 8857c755f..49086f70e 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-28 Finish Assembly Verification paper.md]] -- [[2025-02-28 Rust Chapter 2.md]] +- [[2025-03-03 Finish Assembly Verification paper]] +- [[2025-03-03 Rust Chapter 2]] ## Summary