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