vault backup: 2025-03-11 12:30:36
This commit is contained in:
parent
07854b7cab
commit
0301c4023d
@ -17,4 +17,5 @@ sort by urgency
|
||||
group by tags
|
||||
```
|
||||
|
||||
# Calendar Tasks
|
||||
# Calendar Tasks
|
||||
- Bus in [startTime:: 12:00] [endTime:: 13:00]
|
||||
69
2 Cole Group Meeting Notes/Weekly Note 2025-03-11.md
Normal file
69
2 Cole Group Meeting Notes/Weekly Note 2025-03-11.md
Normal file
@ -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
|
||||
>```
|
||||
@ -1,8 +0,0 @@
|
||||
---
|
||||
title: ME 2046 HW3
|
||||
allDay: false
|
||||
startTime: 21:00
|
||||
endTime: 23:00
|
||||
date: 2025-03-05
|
||||
completed: null
|
||||
---
|
||||
8
900s Calendars/Learning/2025-03-11 NUCE Lab 6 Report.md
Normal file
8
900s Calendars/Learning/2025-03-11 NUCE Lab 6 Report.md
Normal file
@ -0,0 +1,8 @@
|
||||
---
|
||||
title: NUCE Lab 6 Report
|
||||
allDay: false
|
||||
startTime: 15:30
|
||||
endTime: 18:00
|
||||
date: 2025-03-11
|
||||
completed: null
|
||||
---
|
||||
8
900s Calendars/Learning/2025-03-12 ME 2046 HW4.md
Normal file
8
900s Calendars/Learning/2025-03-12 ME 2046 HW4.md
Normal file
@ -0,0 +1,8 @@
|
||||
---
|
||||
title: ME 2046 HW4
|
||||
allDay: false
|
||||
startTime: 08:30
|
||||
endTime: 12:00
|
||||
date: 2025-03-12
|
||||
completed: null
|
||||
---
|
||||
8
900s Calendars/Learning/2025-03-12 NUCE 2113 Midterm.md
Normal file
8
900s Calendars/Learning/2025-03-12 NUCE 2113 Midterm.md
Normal file
@ -0,0 +1,8 @@
|
||||
---
|
||||
title: NUCE 2113 Midterm
|
||||
allDay: false
|
||||
startTime: 14:30
|
||||
endTime: 16:30
|
||||
date: 2025-03-12
|
||||
completed: 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
|
||||
---
|
||||
@ -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
|
||||
---
|
||||
@ -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
|
||||
---
|
||||
@ -0,0 +1,8 @@
|
||||
---
|
||||
title: Write weekly update
|
||||
allDay: false
|
||||
startTime: 12:00
|
||||
endTime: 12:30
|
||||
date: 2025-03-11
|
||||
completed: null
|
||||
---
|
||||
Loading…
x
Reference in New Issue
Block a user