From 0301c4023d74b4638817ff605bf2281c9a085f5e Mon Sep 17 00:00:00 2001 From: Dane Sabo Date: Tue, 11 Mar 2025 12:30:36 -0400 Subject: [PATCH] vault backup: 2025-03-11 12:30:36 --- 1 Daily Notes/2025/2025-03-11.md | 3 +- .../Weekly Note 2025-03-11.md | 69 +++++++++++++++++++ .../Learning/2025-03-05 ME 2046 HW3.md | 8 --- .../Learning/2025-03-11 NUCE Lab 6 Report.md | 8 +++ .../Learning/2025-03-12 ME 2046 HW4.md | 8 +++ .../Learning/2025-03-12 NUCE 2113 Midterm.md | 8 +++ ...nament plan and set up personal website.md | 9 --- ...3-08 Finish Assembly Verification paper.md | 10 --- .../Research/2025-03-08 Rust Chapter 2.md | 10 --- .../2025-03-11 Write weekly update.md | 8 +++ 10 files changed, 103 insertions(+), 38 deletions(-) create mode 100644 2 Cole Group Meeting Notes/Weekly Note 2025-03-11.md delete mode 100644 900s Calendars/Learning/2025-03-05 ME 2046 HW3.md create mode 100644 900s Calendars/Learning/2025-03-11 NUCE Lab 6 Report.md create mode 100644 900s Calendars/Learning/2025-03-12 ME 2046 HW4.md create mode 100644 900s Calendars/Learning/2025-03-12 NUCE 2113 Midterm.md delete mode 100644 900s Calendars/Other Work/2025-03-08 Chess grad student tournament plan and set up personal website.md delete mode 100644 900s Calendars/Research/2025-03-08 Finish Assembly Verification paper.md delete mode 100644 900s Calendars/Research/2025-03-08 Rust Chapter 2.md create mode 100644 900s Calendars/Research/2025-03-11 Write weekly update.md diff --git a/1 Daily Notes/2025/2025-03-11.md b/1 Daily Notes/2025/2025-03-11.md index ed4815763..f3aa41f53 100644 --- a/1 Daily Notes/2025/2025-03-11.md +++ b/1 Daily Notes/2025/2025-03-11.md @@ -17,4 +17,5 @@ sort by urgency group by tags ``` -# Calendar Tasks \ No newline at end of file +# Calendar Tasks +- Bus in [startTime:: 12:00] [endTime:: 13:00] \ No newline at end of file diff --git a/2 Cole Group Meeting Notes/Weekly Note 2025-03-11.md b/2 Cole Group Meeting Notes/Weekly Note 2025-03-11.md new file mode 100644 index 000000000..da7317437 --- /dev/null +++ b/2 Cole Group Meeting Notes/Weekly Note 2025-03-11.md @@ -0,0 +1,69 @@ +--- +date: 2025-03-11 +modification date: Tuesday 11th March 2025 12:17:58 +tags: [] +--- +<< [[2 Cole Group Meeting Notes/Weekly Note 2025-03-04]] | [[2 Cole Group Meeting Notes/Weekly Note 2025-03-18]] >> + +# This Week's Daily Notes +[[2025-03-04]] +[[2025-03-05]] +[[2025-03-06]] +[[2025-03-07]] +[[2025-03-08]] +# Last Week's Plan +# Accomplishments +## Hour Counts +| Category | Hours | +| ---------------- | ----- | +| Research | 1 | +| Service | 2.5 | +| Learning | 8 | +| Teaching | 0 | +| Class / Meetings | 0 | +| Other | 4 | +| **TOTAL:** | 15 | +## Remarks +Didn't do a whole lot over spring break other than polish off some school work and some administrative stuff. Gleeson asked me to make a poster for the GSA for an alumni open house event, so I did that too. +I've been writing my thoughts down about TLA+ and automatic conversion of regulation / specifications written in English into TLA+ specs. I'll talk about this in to do more. +I wrote a TLA+ spec! I have solved the diehard problem before spring break. +## Tasks and Notes From This Past Week +>[!abstract] Read Papers +>```tasks +> done +> (done after 2025-03-04) AND (done before 2025-03-11) +> tags include #Reading +> group by tags +> sort by done + + +>[!done] Completed Tasks +> ```tasks +> done +> (done after 2025-03-04) AND (done before 2025-03-11) +> tags does not include #Reading +> group by tags +> sort by done + +# This Week's Plan +## Remarks +I want to chase down this idea about auto translating ideas from written english into TLA+ specs +Why: +- Can show when regulations are self conflicting +- can use it to build a model against +- most importantly, show when regulations are not specific or precise enough. This is different than self conflicting. +- +What needs done for this: +- I need to read more about Lando. This is how Galois approached this problem but they've got this whole stack of shit all the way down that I'm not as interested in. I really want to dig into that first layer because frankly I think it might be the most impactful. +- Read and learn more about TLA+ + +I think this will also be a hellish week for classwork. Homeworks, midterms, projects everywhere. + +## Task List +>[!todo] Tasks Preview +>```tasks +>(due before 2025-03-18) +>show urgency +>not done +>sort by urgency +>``` diff --git a/900s Calendars/Learning/2025-03-05 ME 2046 HW3.md b/900s Calendars/Learning/2025-03-05 ME 2046 HW3.md deleted file mode 100644 index 5350a2bde..000000000 --- a/900s Calendars/Learning/2025-03-05 ME 2046 HW3.md +++ /dev/null @@ -1,8 +0,0 @@ ---- -title: ME 2046 HW3 -allDay: false -startTime: 21:00 -endTime: 23:00 -date: 2025-03-05 -completed: null ---- diff --git a/900s Calendars/Learning/2025-03-11 NUCE Lab 6 Report.md b/900s Calendars/Learning/2025-03-11 NUCE Lab 6 Report.md new file mode 100644 index 000000000..153cc7c7c --- /dev/null +++ b/900s Calendars/Learning/2025-03-11 NUCE Lab 6 Report.md @@ -0,0 +1,8 @@ +--- +title: NUCE Lab 6 Report +allDay: false +startTime: 15:30 +endTime: 18:00 +date: 2025-03-11 +completed: null +--- diff --git a/900s Calendars/Learning/2025-03-12 ME 2046 HW4.md b/900s Calendars/Learning/2025-03-12 ME 2046 HW4.md new file mode 100644 index 000000000..669dc3a46 --- /dev/null +++ b/900s Calendars/Learning/2025-03-12 ME 2046 HW4.md @@ -0,0 +1,8 @@ +--- +title: ME 2046 HW4 +allDay: false +startTime: 08:30 +endTime: 12:00 +date: 2025-03-12 +completed: null +--- diff --git a/900s Calendars/Learning/2025-03-12 NUCE 2113 Midterm.md b/900s Calendars/Learning/2025-03-12 NUCE 2113 Midterm.md new file mode 100644 index 000000000..fe6ba3729 --- /dev/null +++ b/900s Calendars/Learning/2025-03-12 NUCE 2113 Midterm.md @@ -0,0 +1,8 @@ +--- +title: NUCE 2113 Midterm +allDay: false +startTime: 14:30 +endTime: 16:30 +date: 2025-03-12 +completed: null +--- diff --git a/900s Calendars/Other Work/2025-03-08 Chess grad student tournament plan and set up personal website.md b/900s Calendars/Other Work/2025-03-08 Chess grad student tournament plan and set up personal website.md deleted file mode 100644 index 1d7078996..000000000 --- a/900s Calendars/Other Work/2025-03-08 Chess grad student tournament plan and set up personal website.md +++ /dev/null @@ -1,9 +0,0 @@ ---- -title: Chess grad student tournament plan and set up personal website -allDay: false -startTime: 15:30 -endTime: 17:30 -date: 2025-03-08 -completed: null -type: single ---- diff --git a/900s Calendars/Research/2025-03-08 Finish Assembly Verification paper.md b/900s Calendars/Research/2025-03-08 Finish Assembly Verification paper.md deleted file mode 100644 index ae32b7abd..000000000 --- a/900s Calendars/Research/2025-03-08 Finish Assembly Verification paper.md +++ /dev/null @@ -1,10 +0,0 @@ ---- -title: Finish Assembly Verification paper -allDay: true -startTime: 18:00 -endTime: 19:00 -date: 2025-03-08 -completed: null -type: single -endDate: null ---- diff --git a/900s Calendars/Research/2025-03-08 Rust Chapter 2.md b/900s Calendars/Research/2025-03-08 Rust Chapter 2.md deleted file mode 100644 index eda50ec46..000000000 --- a/900s Calendars/Research/2025-03-08 Rust Chapter 2.md +++ /dev/null @@ -1,10 +0,0 @@ ---- -title: Rust Chapter 2 -allDay: true -startTime: 17:30 -endTime: 18:30 -date: 2025-03-08 -completed: null -type: single -endDate: null ---- diff --git a/900s Calendars/Research/2025-03-11 Write weekly update.md b/900s Calendars/Research/2025-03-11 Write weekly update.md new file mode 100644 index 000000000..ae0363a86 --- /dev/null +++ b/900s Calendars/Research/2025-03-11 Write weekly update.md @@ -0,0 +1,8 @@ +--- +title: Write weekly update +allDay: false +startTime: 12:00 +endTime: 12:30 +date: 2025-03-11 +completed: null +---