diff --git a/.obsidian/plugins/colored-tags/data.json b/.obsidian/plugins/colored-tags/data.json index 2d3913e49..e5ac3b410 100755 --- a/.obsidian/plugins/colored-tags/data.json +++ b/.obsidian/plugins/colored-tags/data.json @@ -193,7 +193,8 @@ "Haskell": 181, "Rust": 182, "LEAN": 183, - "Email": 184 + "Email": 184, + "Z": 185 }, "_version": 3 } \ No newline at end of file diff --git a/0 Managerial Pages/1 Task Dashboard.md b/0 Managerial Pages/1 Task Dashboard.md index 3ad68c48e..0995ebd2b 100755 --- a/0 Managerial Pages/1 Task Dashboard.md +++ b/0 Managerial Pages/1 Task Dashboard.md @@ -8,6 +8,7 @@ sort by function task.created.format("dddd") # 😎 Tasks >[!danger] **Extreme Urgency Tasks** >```tasks +>tags do not include #Z >not done >show urgency >filter by function task.urgency >16.999 @@ -17,17 +18,18 @@ sort by function task.created.format("dddd") >[!warning] **High Urgency Tasks** >```tasks +>tags do not include #Z >not done >show urgency >filter by function task.urgency >12.999 && task.urgency<17.0 >group by tags >sort by urgency - > ``` >[!todo] **Medium Urgency Tasks** >```tasks >not done +>tags do not include #Z >show urgency >filter by function task.urgency >7.999 && task.urgency<13.0 >sort by urgency @@ -37,6 +39,7 @@ sort by function task.created.format("dddd") >[!done] **Low Urgency Tasks** >```tasks >not done +>tags do not include #Z >show urgency >filter by function task.urgency <8.0 >sort by urgency diff --git a/1 Daily Notes/2025/2025-02-20.md b/1 Daily Notes/2025/2025-02-20.md index 23780977d..85037176b 100644 --- a/1 Daily Notes/2025/2025-02-20.md +++ b/1 Daily Notes/2025/2025-02-20.md @@ -10,10 +10,10 @@ tags: # Summary ## What's the plan? - [x] TLA Learning Plan #TLA ⏫ ⏳ 2025-02-20 📅 2025-02-20 ✅ 2025-02-24 -- [ ] Do something with Robert's Email #Email 📅 2025-02-20 ⏳ 2025-02-20 +- [ ] Do something with Robert's Email #Email 🔽 ⏳ 2025-02-20 📅 2025-02-20 - [x] Join union discord #Union ⏳ 2025-02-21 📅 2025-02-21 ✅ 2025-02-21 -- [ ] Invite Yiyang to signal chat #Union ⏳ 2025-02-21 📅 2025-02-21 -- [ ] Set up union github repo #Union ⏳ 2025-02-21 📅 2025-02-21 +- [ ] Invite Yiyang to signal chat #Union 🔽 ⏳ 2025-02-21 📅 2025-02-21 +- [ ] Set up union github repo #Union 🔽 ⏳ 2025-02-21 📅 2025-02-21 ## What's the results! ```tasks diff --git a/1 Daily Notes/2025/2025-02-21.md b/1 Daily Notes/2025/2025-02-21.md index 9e93b41aa..d89db6a23 100644 --- a/1 Daily Notes/2025/2025-02-21.md +++ b/1 Daily Notes/2025/2025-02-21.md @@ -9,7 +9,7 @@ tags: [[ Weekly Note 2025-02-17]] # Summary ## What's the plan? -- [ ] Chess Graduate Student Tournament Plan #GSA +- [ ] Chess Graduate Student Tournament Plan #GSA ⏳ 2025-02-26 📅 2025-02-28 ## What's the results! ```tasks diff --git a/1 Daily Notes/2025/2025-02-24.md b/1 Daily Notes/2025/2025-02-24.md index 0c30a6058..96a89b0d2 100644 --- a/1 Daily Notes/2025/2025-02-24.md +++ b/1 Daily Notes/2025/2025-02-24.md @@ -9,7 +9,7 @@ tags: [[ Weekly Note 2025-02-17]] # Summary ## What's the plan? -- [ ] Investigate conference Robert mentioned "High Assurance Cyber Physical Something" +- [ ] Investigate conference Robert mentioned "High Assurance Cyber Physical Something" #Thesis ⏳ 2025-02-24 📅 2025-02-28 ## What's the results! ```tasks done 2025-02-24 diff --git a/200 Library Papers/ME2046_Sampled_Data_Analysis_Reading_Chapter_2pdf2254ME.md b/200 Library Papers/ME2046_Sampled_Data_Analysis_Reading_Chapter_2pdf2254ME.md index 29f263255..67402b334 100644 --- a/200 Library Papers/ME2046_Sampled_Data_Analysis_Reading_Chapter_2pdf2254ME.md +++ b/200 Library Papers/ME2046_Sampled_Data_Analysis_Reading_Chapter_2pdf2254ME.md @@ -10,7 +10,7 @@ citekey: "ME2046_Sampled_Data_Analysis_Reading_Chapter_2pdf2254ME" ## Tags: -- ["] ME2046_Sampled_Data_Analysis_Reading_Chapter_2.pdf: 2254 ME 2046 SEC1000 DIGITAL CONTROL SYSTEMS #Reading +- [x] ME2046_Sampled_Data_Analysis_Reading_Chapter_2.pdf: 2254 ME 2046 SEC1000 DIGITAL CONTROL SYSTEMS #Reading ✅ 2025-02-24 >[!seealso] Related Papers > diff --git a/200 Library Papers/fromherzVerifiedEfficientEmbedding2019.md b/200 Library Papers/fromherzVerifiedEfficientEmbedding2019.md index 5260836fc..c565975c7 100644 --- a/200 Library Papers/fromherzVerifiedEfficientEmbedding2019.md +++ b/200 Library Papers/fromherzVerifiedEfficientEmbedding2019.md @@ -28,7 +28,7 @@ pages: 63:1–63:30 ## Tags: -- ["] A verified, efficient embedding of a verifiable assembly language #Reading +- ["] A verified, efficient embedding of a verifiable assembly language #Reading ⏳ 2025-02-28 📅 2025-02-28 >[!Abstract] >High-performance cryptographic libraries often mix code written in a high-level language with code written in assembly. To support formally verifying the correctness and security of such hybrid programs, this paper presents an embedding of a subset of x64 assembly language in F* that allows efficient verification of both assembly and its interoperation with C code generated from F*. The key idea is to use the computational power of a dependent type system's type checker to run a verified verification-condition generator during type checking. This allows the embedding to customize the verification condition sent by the type checker to an SMT solver. By combining our proof-by-reflection style with SMT solving, we demonstrate improved automation for proving the correctness of assembly-language code. This approach has allowed us to complete the first-ever proof of correctness of an optimized implementation of AES-GCM, a cryptographic routine used by 90% of secure Internet traffic.>[!seealso] Related Papers diff --git a/3-99 Research/Assembly/Assembly - README.md b/3-99 Research/Assembly/Assembly - README.md index 9efce398b..2f1a74b3e 100644 --- a/3-99 Research/Assembly/Assembly - README.md +++ b/3-99 Research/Assembly/Assembly - README.md @@ -2,7 +2,7 @@ ## Files - [[Assembly Canvas.canvas]] -- [[Untitled.md]] +- [[3-99 Research/Assembly/Untitled]] ## Summary diff --git a/3-99 Research/Haskell/Chapter 1 - Introduction.md b/3-99 Research/Haskell/Chapter 1 - Introduction.md index 6da35e888..bb4aaf1b8 100644 --- a/3-99 Research/Haskell/Chapter 1 - Introduction.md +++ b/3-99 Research/Haskell/Chapter 1 - Introduction.md @@ -5,11 +5,11 @@ What does that mean? What isn't a functional programming language? Well, just ab If I want to compute a factorial, I'd probably say take this value, and multiply it a whole bunch of times until you get to an end condition. The computer may change state at this point, where your input variable gets overwritten with the result, or some thing inside the task list, such as an iterator, changes to a value that can create a different result if run again. -- [?] What is a 'state' for a computer really? #Follow-Up #Haskell +- [?] What is a 'state' for a computer really? #Follow-Up #Haskell ⏳ 2025-02-28 📅 2025-02-28 Functional programming languages do not do this. Instead of using iteratives like that or having the possiblity of functions changing variable states, everything is instead immutable. If I define a function for a factorial, I define *what a factorial is*, rather than explicit steps to compute one. Then, when I apply the 'function' to an input, the output is something new: the function applied to that variable that is fundamentally not an execution of the function or a wrought product of the original input. This is *maybe* what a monad is. -- [?] What is a 'monad' really? #Follow-Up #Haskell +- [?] What is a 'monad' really? #Follow-Up #Haskell ⏳ 2025-02-28 📅 2025-02-28 There's a special property about functions that can be called multiple times with the same parameters being guaranteed to return the same result: **Referential Transparency**. This property allows us to deduce and then even proved that a function does exactly what it is supposed to, every time. diff --git a/3-99 Research/Haskell/Learning Plan.md b/3-99 Research/Haskell/Learning Plan.md index b0f12fc90..a9dd1ceec 100644 --- a/3-99 Research/Haskell/Learning Plan.md +++ b/3-99 Research/Haskell/Learning Plan.md @@ -1,6 +1,6 @@ https://learnyouahaskell.github.io/chapters.html - [x] Chapter 1: Introduction #Haskell ⏳ 2025-02-18 📅 2025-02-12 ✅ 2025-02-19 -- [/] Chapter 2: Starting Out #Haskell ⏳ 2025-02-19 📅 2025-02-25 +- [x] Chapter 2: Starting Out #Haskell ⏳ 2025-02-19 📅 2025-02-25 ✅ 2025-02-24 - [ ] Chapter 3: Types and Typeclasses #Haskell ⏳ 2025-02-26 📅 2025-03-04 - [ ] Chapter 4: Syntax in Functions #Haskell 📅 2025-03-05 ⏳ 2025-03-11 - [ ] Chapter 5: Recursion #Haskell 📅 2025-03-12 ⏳ 2025-03-18 diff --git a/300s School/ME 2150 - High Assurance Cyber-Physical Systems/2025-02-18 Boyd Talk.md b/300s School/ME 2150 - High Assurance Cyber-Physical Systems/2025-02-18 Boyd Talk.md index 7499182c5..cee252f72 100644 --- a/300s School/ME 2150 - High Assurance Cyber-Physical Systems/2025-02-18 Boyd Talk.md +++ b/300s School/ME 2150 - High Assurance Cyber-Physical Systems/2025-02-18 Boyd Talk.md @@ -7,6 +7,6 @@ Engineering is a step on top of science. Engineering is *creating* with science' -- [ ] Innovators dilemma. An interesting book that discusses, well, the innovators dilemma. +- [ ] Innovators dilemma. An interesting book that discusses, well, the innovators dilemma. ⏳ 2025-02-24 📅 2025-02-28 -- [ ] Look up Pancake. Language that is good for drivers but also easy to distill proofs. +- [ ] Look up Pancake. Language that is good for drivers but also easy to distill proofs. 🛫 2025-02-24 📅 2025-02-28 diff --git a/300s School/NUCE 2113 - Radiation Detection and Measurement/!Things That Need Done.md b/300s School/NUCE 2113 - Radiation Detection and Measurement/!Things That Need Done.md index d80fa0805..d995f593e 100644 --- a/300s School/NUCE 2113 - Radiation Detection and Measurement/!Things That Need Done.md +++ b/300s School/NUCE 2113 - Radiation Detection and Measurement/!Things That Need Done.md @@ -4,4 +4,4 @@ - [x] Lab Report 2 #NUCE2113 ⏫ ⏳ 2025-02-03 📅 2025-02-04 ✅ 2025-02-04 - [x] Lab Report 3 #NUCE2113 ⏳ 2025-02-05 📅 2025-02-11 ✅ 2025-02-10 - [x] Lab Report 4 #NUCE2113 ⏳ 2025-02-12 📅 2025-02-18 ✅ 2025-02-17 -- [/] Lab Report 5 #NUCE2113 ⏳ 2025-02-19 📅 2025-02-25 \ No newline at end of file +- [/] Lab Report 5 #NUCE2113 🔼 ⏳ 2025-02-19 📅 2025-02-25 \ No newline at end of file diff --git a/5 Thesis/1 Ideas/1 Ideas - README.md b/5 Thesis/1 Ideas/1 Ideas - README.md index 5a715cb42..77ad16968 100644 --- a/5 Thesis/1 Ideas/1 Ideas - README.md +++ b/5 Thesis/1 Ideas/1 Ideas - README.md @@ -1,7 +1,7 @@ # Table of Contents for 1 Ideas ## Files -- [[Untitled.md]] +- [[5 Thesis/1 Ideas/Untitled]] ## Summary diff --git a/5 Thesis/Things to Do.md b/5 Thesis/Things to Do.md index c11a0d9c2..d7fc51dc4 100644 --- a/5 Thesis/Things to Do.md +++ b/5 Thesis/Things to Do.md @@ -1,7 +1,7 @@ Follow up tasks: - [-] What is the state of the art for wireless control? #Thesis ❌ 2025-01-24 - [/] What has happened so far with verifying assembly code? #Thesis 🔽 ⏳ 2025-01-29 📅 2025-02-06 -- [?] How does Rust compile into binary? #Thesis ⏳ 2025-01-28 📅 2025-02-11 +- [?] How does Rust compile into binary? #Thesis ⏬ ⏳ 2025-01-28 📅 2025-02-11 ```dataview task where contains(tags, "Thesis") diff --git a/900s Calendars/Research/Research - README.md b/900s Calendars/Research/Research - README.md index 7719b4437..4ea904611 100644 --- a/900s Calendars/Research/Research - README.md +++ b/900s Calendars/Research/Research - README.md @@ -6,8 +6,8 @@ - [[2024-09-10 Nuclear Engineering Steering Committee - Conf Room A UClub.md]] - [[2025-02-24 Haskell Chapter 2.md]] - [[2025-02-24 LEAN.md]] -- [[2025-02-25 Rust Chapter 2]] - [[2025-02-24 TLA Learning Plan and Notes.md]] +- [[2025-02-25 Rust Chapter 2.md]] ## Summary diff --git a/9999 Personal/Z/A Short List of Everything That's Wrong with the Z.md b/9999 Personal/Z/A Short List of Everything That's Wrong with the Z.md new file mode 100644 index 000000000..8f5f9f139 --- /dev/null +++ b/9999 Personal/Z/A Short List of Everything That's Wrong with the Z.md @@ -0,0 +1,4 @@ +```tasks +tags include #Z +group by tags +``` diff --git a/9999 Personal/Z/Untitled.canvas b/9999 Personal/Z/Untitled.canvas new file mode 100644 index 000000000..06fcc57be --- /dev/null +++ b/9999 Personal/Z/Untitled.canvas @@ -0,0 +1,6 @@ +{ + "nodes":[ + {"id":"ceff3db39ffbb534","x":-340,"y":-320,"width":660,"height":440,"type":"text","text":"# The Dream 💘\n"} + ], + "edges":[] +} \ No newline at end of file