diff --git a/1 Daily Notes/2025/2025-03-04.md b/1 Daily Notes/2025/2025-03-04.md index 9699fc52..ff672a7a 100644 --- a/1 Daily Notes/2025/2025-03-04.md +++ b/1 Daily Notes/2025/2025-03-04.md @@ -9,7 +9,7 @@ tags: [[ Weekly Note 2025-02-24]] # Summary ## What's the plan? -- [ ] Figure out how sessions work in NVIM #NVIM 📅 2025-03-04 +- [x] Figure out how sessions work in NVIM #NVIM 📅 2025-03-04 ✅ 2025-03-21 ## What's the results! ```tasks done 2025-03-04 diff --git a/1 Daily Notes/2025/2025-03-16.md b/1 Daily Notes/2025/2025-03-16.md index 4d808daa..961c2a39 100644 --- a/1 Daily Notes/2025/2025-03-16.md +++ b/1 Daily Notes/2025/2025-03-16.md @@ -9,7 +9,7 @@ tags: [[ Weekly Note 2025-03-10]] # Summary ## What's the plan? -- [ ] Make a travel itenerary for Amber's Feds #Personal 📅 2025-03-21 ⏫ +- [<] Make a travel itenerary for Amber's Feds #Personal ⏫ 📅 2025-03-21 ## What's the results! ```tasks diff --git a/2.1 GSA Meeting Notes/QSG 2025 Sprnig/Qualifier Support Group Plan.md b/2.1 GSA Meeting Notes/QSG 2025 Sprnig/Qualifier Support Group Plan.md index 44fb5340..e5ba0834 100644 --- a/2.1 GSA Meeting Notes/QSG 2025 Sprnig/Qualifier Support Group Plan.md +++ b/2.1 GSA Meeting Notes/QSG 2025 Sprnig/Qualifier Support Group Plan.md @@ -30,10 +30,10 @@ Spring Break - Come if you wanna and chat ## **March 14th** OUT BY 11AM **Metrics of Success, Risks and Contingencies** -- [ ] [[2025-03-14 - Metrics of Success, Risks and Contingencies]] #GSA 📅 2025-03-14 ⏳ 2025-03-14 +- [x] [[2025-03-14 - Metrics of Success, Risks and Contingencies]] #GSA ⏳ 2025-03-14 📅 2025-03-14 ✅ 2025-03-21 ## **March 21st** **Broader Impacts, and Organization** / Peer Reviews -- [ ] [[2025-03-21 - Broader Impacts, and Organization]] #GSA 📅 2025-03-20 ⏳ 2025-03-18 +- [x] [[2025-03-21 - Broader Impacts, and Organization]] #GSA ⏳ 2025-03-18 📅 2025-03-20 ✅ 2025-03-21 ## **March 28** **Paper Reviews with Peers** **More Paper Reviews with Peers** diff --git a/3-99 Research/Haskell/Learning Plan.md b/3-99 Research/Haskell/Learning Plan.md index 3b2de9b9..bf8b52ad 100644 --- a/3-99 Research/Haskell/Learning Plan.md +++ b/3-99 Research/Haskell/Learning Plan.md @@ -1,9 +1,9 @@ https://learnyouahaskell.github.io/chapters.html - [x] Chapter 1: Introduction #Haskell ⏳ 2025-02-18 📅 2025-02-12 ✅ 2025-02-19 - [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-11 -- [ ] Chapter 4: Syntax in Functions #Haskell ⏳ 2025-03-11 📅 2025-03-13 -- [ ] Chapter 5: Recursion #Haskell 📅 2025-03-12 ⏳ 2025-03-18 +- [<] Chapter 3: Types and Typeclasses #Haskell ⏳ 2025-02-26 📅 2025-03-22 +- [ ] Chapter 4: Syntax in Functions #Haskell ⏳ 2025-03-11 📅 2025-03-25 +- [ ] Chapter 5: Recursion #Haskell ⏳ 2025-03-18 📅 2025-03-25 - [ ] Chapter 6: Higher Order Functions #Haskell 📅 2025-03-19 ⏳ 2025-03-25 - [ ] Chapter 7: Modules #Haskell 📅 2025-03-26 ⏳ 2025-04-01 - [ ] Chapter 8: Making Our Own Types and Typeclasses #Haskell 📅 2025-04-02 ⏳ 2025-04-08 diff --git a/3-99 Research/LEAN/Learning Plan.md b/3-99 Research/LEAN/Learning Plan.md index 30691ab4..f309bee8 100644 --- a/3-99 Research/LEAN/Learning Plan.md +++ b/3-99 Research/LEAN/Learning Plan.md @@ -1,5 +1,5 @@ - [x] Tutorial World #LEAN ⏳ 2025-02-17 📅 2025-02-21 ✅ 2025-02-24 - - [<] Addition World #LEAN ⏳ 2025-02-23 📅 2025-02-28 - - [ ] Implication World #LEAN 🔽 ⏳ 2025-03-02 📅 2025-03-07 - - [ ] Multiplication World #LEAN 🔽 ⏳ 2025-03-07 📅 2025-03-07 - - [ ] Schedule further worlds #LEAN 🔽 ⏳ 2025-03-07 📅 2025-03-07 + - [<] Addition World #LEAN 🔽 📅 2025-03-22 + - [ ] Implication World #LEAN 🔽 📅 2025-03-22 + - [ ] Multiplication World #LEAN 🔽 📅 2025-03-22 + - [ ] Schedule further worlds #LEAN 🔽 📅 2025-03-22 diff --git a/3-99 Research/Rust/Learning Plan.md b/3-99 Research/Rust/Learning Plan.md index 091a0d5a..d1c85bb3 100644 --- a/3-99 Research/Rust/Learning Plan.md +++ b/3-99 Research/Rust/Learning Plan.md @@ -1,8 +1,8 @@ - [x] Chapter 1: Getting Started #Rust ⏳ 2025-02-17 📅 2025-02-11 ✅ 2025-02-17 -- [<] Chapter 2: Programming a Guessing Game #Rust ⏳ 2025-02-18 📅 2025-03-13 -- [<] Chapter 3: Common Programming Concepts #Rust ⏳ 2025-02-25 📅 2025-03-11 -- [ ] Chapter 4: Understanding Ownership #Rust ⏳ 2025-03-10 📅 2025-03-14 -- [ ] Chapter 5: Using Structs to Structure Related Data #Rust 📅 2025-03-11 ⏳ 2025-03-17 +- [<] Chapter 2: Programming a Guessing Game #Rust ⏳ 2025-02-18 📅 2025-03-22 +- [<] Chapter 3: Common Programming Concepts #Rust ⏳ 2025-02-25 📅 2025-03-22 +- [ ] Chapter 4: Understanding Ownership #Rust ⏳ 2025-03-10 📅 2025-03-23 +- [ ] Chapter 5: Using Structs to Structure Related Data #Rust ⏳ 2025-03-17 📅 2025-03-25 - [ ] Chapter 6: Enums and Pattern Matching #Rust 📅 2025-03-18 ⏳ 2025-03-24 - [ ] Chapter 7: Managing Growing Projects with Packages, Crates, and Modules #Rust 📅 2025-03-25 ⏳ 2025-03-31 - [ ] Chapter 8: Common Collections #Rust 📅 2025-04-01 ⏳ 2025-04-07 diff --git a/3-99 Research/TLA/TLA+ Learning Plan.md b/3-99 Research/TLA/TLA+ Learning Plan.md index 13d58952..8ef4fc54 100644 --- a/3-99 Research/TLA/TLA+ Learning Plan.md +++ b/3-99 Research/TLA/TLA+ Learning Plan.md @@ -2,9 +2,9 @@ - [x] State machines in TLA+ #TLA ⏳ 2025-02-28 📅 2025-02-28 ✅ 2025-02-24 - [x] Resources and Tools #TLA ⏳ 2025-02-24 📅 2025-02-25 ✅ 2025-03-03 - [x] Die Hard #TLA ⏳ 2025-02-28 📅 2025-03-04 ✅ 2025-02-28 -- [ ] Transaction Commit #TLA 📅 2025-03-11 ⏳ 2025-03-07 -- [ ] Two-Phase Commit #TLA 📅 2025-03-18 ⏳ 2025-03-14 -- [ ] Paxos Commit #TLA 📅 2025-03-18 ⏳ 2025-03-14 -- [ ] Implementation #TLA 📅 2025-03-25 ⏳ 2025-03-21 +- [ ] Transaction Commit #TLA ⏳ 2025-03-07 📅 2025-03-22 +- [ ] Two-Phase Commit #TLA 📅 2025-03-25 +- [ ] Paxos Commit #TLA 📅 2025-03-25 +- [ ] Implementation #TLA 📅 2025-03-25 - [ ] The Alternating Bit Protocol #TLA 📅 2025-04-01 ⏳ 2025-03-28 - [ ] Implementation with Refinement #TLA ⏳ 2025-04-04 📅 2025-04-08 diff --git a/3-99 Research/TLA/Writing a MARVEL Specification in TLA+.md b/3-99 Research/TLA/Writing a MARVEL Specification in TLA+.md index a55231a7..7a409141 100644 --- a/3-99 Research/TLA/Writing a MARVEL Specification in TLA+.md +++ b/3-99 Research/TLA/Writing a MARVEL Specification in TLA+.md @@ -1,9 +1,9 @@ # What is the MARVEL reactor? -- [?] What the fuck is MARVEL? #Reading 🆔 furwbi ⏫ 📅 2025-02-28 +- [<] What the fuck is MARVEL? #Reading 🆔 furwbi ⏫ 📅 2025-02-28 # What are some specs that perhaps can be formalized in TLA+? ## What are the specs of interest? -- [ ] Write down some specs from MARVEL in natural language #Formal-methods 🆔 lofl94 ⛔ furwbi ⏫ 📅 2025-02-28 +- [-] Write down some specs from MARVEL in natural language #Formal-methods 🆔 lofl94 ⛔ furwbi ⏫ 📅 2025-02-28 ❌ 2025-03-21 ## How do they translate to TLA+? - [ ] Translate a MARVEL specification into a TLA+ module #Formal-methods #TLA ⛔ lofl94 ⏫ 📅 2025-03-04 \ No newline at end of file diff --git a/300s School/ME 2046 - Digital Control Theory/!Things That Need Done.md b/300s School/ME 2046 - Digital Control Theory/!Things That Need Done.md index 4273824d..7a43b936 100644 --- a/300s School/ME 2046 - Digital Control Theory/!Things That Need Done.md +++ b/300s School/ME 2046 - Digital Control Theory/!Things That Need Done.md @@ -5,9 +5,9 @@ - [x] Homework Assignment 4 #ME2046 ⏫ ⏳ 2025-03-14 📅 2025-03-18 ✅ 2025-03-13 # Projects -- [ ] Project Proposal #ME2046 ⏫ 📅 2025-03-20 ⏳ 2025-03-14 -- [ ] Project Update #ME2046 ⏫ 📅 2025-04-10 ⏳ 2025-03-20 +- [ ] Project Proposal #ME2046 ⏫ 📅 2025-03-27 +- [ ] Project Update #ME2046 ⏫ 📅 2025-04-10 - [ ] Final Project Report #ME2046 ⏫ 📅 2025-04-24 ⏳ 2025-04-10 # Midterm -- [/] Midterm #ME2046 🔺 ⏳ 2025-03-14 📅 2025-03-17 +- [x] Midterm #ME2046 🔺 ⏳ 2025-03-14 📅 2025-03-17 ✅ 2025-03-17 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 1cf42ac8..29c13721 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 @@ -1,12 +1,12 @@ # Homework -- [ ] Homework 4 #NUCE2113 ⏫ 📅 2025-03-11 +- [x] Homework 4 #NUCE2113 ⏫ 📅 2025-03-11 ✅ 2025-03-20 # Lab Reports - [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 - [x] Lab Report 5 #NUCE2113 🔼 ⏳ 2025-02-19 📅 2025-02-25 ✅ 2025-02-25 - [x] Lab Report 6 #NUCE2113 ⏫ ⏳ 2025-03-05 📅 2025-03-11 ✅ 2025-03-12 -- [ ] Lab Report 7 #NUCE2113 ⏫ 📅 2025-03-18 +- [x] Lab Report 7 #NUCE2113 ⏫ 📅 2025-03-18 ✅ 2025-03-21 # Midterm -- [ ] Midterm #NUCE2113 🔺 📅 2025-03-18 ⏳ 2025-03-14 \ No newline at end of file +- [x] Midterm #NUCE2113 🔺 ⏳ 2025-03-14 📅 2025-03-18 ✅ 2025-03-18 \ No newline at end of file diff --git a/900s Calendars/Other Work/2025-03-21 Bus in and clean up tasks.md b/900s Calendars/Other Work/2025-03-21 Bus in and clean up tasks.md new file mode 100644 index 00000000..d3fc18db --- /dev/null +++ b/900s Calendars/Other Work/2025-03-21 Bus in and clean up tasks.md @@ -0,0 +1,8 @@ +--- +title: Bus in and clean up tasks +allDay: false +startTime: 08:30 +endTime: 09:00 +date: 2025-03-21 +completed: null +--- diff --git a/900s Calendars/Personal/2025-03-21 Bus Home make amber itenerary.md b/900s Calendars/Personal/2025-03-21 Bus Home make amber itenerary.md new file mode 100644 index 00000000..4bb3b614 --- /dev/null +++ b/900s Calendars/Personal/2025-03-21 Bus Home make amber itenerary.md @@ -0,0 +1,8 @@ +--- +title: Bus Home make amber itenerary +allDay: false +startTime: 12:00 +endTime: 12:30 +date: 2025-03-21 +completed: null +--- diff --git a/900s Calendars/Research/2025-03-21 Write about what MARVEL is.md b/900s Calendars/Research/2025-03-21 Write about what MARVEL is.md new file mode 100644 index 00000000..d5a5bbff --- /dev/null +++ b/900s Calendars/Research/2025-03-21 Write about what MARVEL is.md @@ -0,0 +1,8 @@ +--- +title: Write about what MARVEL is +allDay: false +startTime: 09:00 +endTime: 09:30 +date: 2025-03-21 +completed: null +---