vault backup: 2025-02-19 22:41:01
This commit is contained in:
parent
eea19a25ad
commit
1d8568fb11
4
.obsidian/graph.json
vendored
4
.obsidian/graph.json
vendored
@ -60,6 +60,6 @@
|
||||
"repelStrength": 18.0729166666667,
|
||||
"linkStrength": 0.744791666666667,
|
||||
"linkDistance": 177,
|
||||
"scale": 0.08352472158263505,
|
||||
"close": false
|
||||
"scale": 0.0556831477217567,
|
||||
"close": true
|
||||
}
|
||||
@ -9,7 +9,7 @@ tags:
|
||||
[[ Weekly Note 2025-02-10]]
|
||||
# Summary
|
||||
## What's the plan?
|
||||
- [<] Poke Antoine about NUCE classes available 🔺 ⏳ 2025-02-18 📅 2025-02-18
|
||||
- [<] Poke Antoine about NUCE classes available 🔼 ⏳ 2025-02-18 📅 2025-02-21
|
||||
|
||||
## What's the results!
|
||||
```tasks
|
||||
|
||||
@ -19,12 +19,9 @@ group by tags
|
||||
```
|
||||
|
||||
# Calendar Tasks
|
||||
- Haskell Fun Time [startTime:: 22:00] [endTime:: 22:30]
|
||||
- Coffee Yak [startTime:: 09:00] [endTime:: 10:00]
|
||||
- Read Papers [startTime:: 19:30] [endTime:: 20:30]
|
||||
- Learn about TAL [startTime:: 14:15] [endTime:: 16:00]
|
||||
- QSG SOTA [startTime:: 20:30] [endTime:: 21:30]
|
||||
- Bus In [startTime:: 08:30] [endTime:: 09:00]
|
||||
- Drive Home [startTime:: 16:00] [endTime:: 16:30]
|
||||
- Reading Papers and Flex Time [startTime:: 18:00] [endTime:: 19:30]
|
||||
- Lunch [startTime:: 12:00] [endTime:: 13:00]
|
||||
- ME2046 HW3 [startTime:: 13:00] [endTime:: 14:15]
|
||||
|
||||
@ -9,6 +9,7 @@ tags:
|
||||
[[ Weekly Note 2025-02-17]]
|
||||
# Summary
|
||||
## What's the plan?
|
||||
- [<] TLA Learning Plan #TLA ⏫ ⏳ 2025-02-20 📅 2025-02-20
|
||||
|
||||
## What's the results!
|
||||
```tasks
|
||||
@ -18,10 +19,9 @@ group by tags
|
||||
```
|
||||
|
||||
# Calendar Tasks
|
||||
- Microkit Part 3 and 4 [startTime:: 08:00] [endTime:: 09:30]
|
||||
- QSG SOTA [startTime:: 12:00] [endTime:: 13:00]
|
||||
- SeL4 Part 3 and 4 [startTime:: 14:30] [endTime:: 15:00]
|
||||
- ME2046 HW3 [startTime:: 14:45] [endTime:: 16:00]
|
||||
- Gym Showah [startTime:: 09:30] [endTime:: 11:00]
|
||||
- LEAN Time [startTime:: 09:00] [endTime:: 09:30]
|
||||
- Lunch [startTime:: 11:00] [endTime:: 12:00]
|
||||
- Bus In [startTime:: 12:00] [endTime:: 13:00]
|
||||
- TLA Time [startTime:: 08:00] [endTime:: 09:00]
|
||||
- Bus In [startTime:: 12:00] [endTime:: 13:00]
|
||||
@ -18,4 +18,7 @@ group by tags
|
||||
```
|
||||
|
||||
# Calendar Tasks
|
||||
- TLA Time [startTime:: 14:30] [endTime:: 15:30]
|
||||
- Read Papers [startTime:: 13:30] [endTime:: 14:30]
|
||||
- Reading Papers and Flex Time [startTime:: 12:00] [endTime:: 13:30]
|
||||
- QSG SOTA [startTime:: 08:00] [endTime:: 09:30]
|
||||
@ -20,7 +20,7 @@ High level overview of what a proposal does and what you need to do.
|
||||
## **February 21st**
|
||||
OUT BY 11AM
|
||||
State of the Art
|
||||
- [ ] [[2025-02-21 - State of the Art]] #GSA 📅 2025-02-20 ⏳ 2025-02-18
|
||||
- [<] [[2025-02-21 - State of the Art]] #GSA ⏳ 2025-02-18 📅 2025-02-20
|
||||
## **February 28th**
|
||||
Research Approach
|
||||
- [ ] [[2025-02-28 - Research Approach]] #GSA 📅 2025-02-27 ⏳ 2025-02-25
|
||||
|
||||
@ -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
|
||||
- [/] Chapter 2: Starting Out #Haskell ⏳ 2025-02-25 📅 2025-02-19
|
||||
- [ ] 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
|
||||
|
||||
@ -1,4 +1,4 @@
|
||||
- [ ] Tutorial World #LEAN 📅 2025-02-21 ⏳ 2025-02-17
|
||||
- [<] Tutorial World #LEAN ⏳ 2025-02-17 📅 2025-02-21
|
||||
- [ ] Addition World #LEAN 📅 2025-02-28 ⏳ 2025-02-23
|
||||
- [ ] Implication World #LEAN 📅 2025-03-07 ⏳ 2025-03-02
|
||||
- [ ] Multiplication World #LEAN 📅 2025-03-07 ⏳ 2025-03-07
|
||||
|
||||
@ -1,7 +1,7 @@
|
||||
# Homework
|
||||
- [x] Homework Assignment 2 #ME2046 ⏳ 2025-02-03 📅 2025-02-06 ✅ 2025-02-13
|
||||
- [x] Homework Assignment 2 - Code Files #ME2046 ⏳ 2025-02-03 📅 2025-02-06 ✅ 2025-02-13
|
||||
- [/] Homework Assignment 3 #ME2046 ⏫ ⏳ 2025-02-17 📅 2025-02-27
|
||||
- [<] Homework Assignment 3 #ME2046 ⏫ ⏳ 2025-02-17 📅 2025-02-27
|
||||
- [ ] Homework Assignment 4 #ME2046 📅 2025-03-06 ⏳ 2025-03-03
|
||||
- [ ] Homework Assignment 5 #ME2046 📅 2025-03-20 ⏳ 2025-03-17
|
||||
- [ ] Homework Assignment 6 #ME2046 📅 2025-04-03 ⏳ 2025-03-31
|
||||
|
||||
@ -1,6 +1,6 @@
|
||||
- [x] The seL4 Tutorials, Hello World! #ME2150 ⏳ 2025-02-03 📅 2025-02-04 ✅ 2025-02-10
|
||||
- [x] Part 1 of Microkit Tutorial #ME2150 ⏳ 2025-02-12 📅 2025-02-13 ✅ 2025-02-12
|
||||
- [x] Part 2 of Microkit Tutorial #ME2150 ⏳ 2025-02-12 📅 2025-02-13 ✅ 2025-02-17
|
||||
- [ ] Part 3 of Microkit Tutorial #ME2150 ⏫ ⏳ 2025-02-18 📅 2025-02-20
|
||||
- [ ] Part 4 of Microkit Tutorial #ME2150 ⏫ ⏳ 2025-02-18 📅 2025-02-20
|
||||
- [<] Part 3 of Microkit Tutorial #ME2150 ⏫ ⏳ 2025-02-18 📅 2025-02-20
|
||||
- [<] Part 4 of Microkit Tutorial #ME2150 ⏫ ⏳ 2025-02-18 📅 2025-02-20
|
||||
- [x] Introduction to SeL4 Proofs #ME2150 ⏳ 2025-02-13 📅 2025-02-13 ✅ 2025-02-17
|
||||
@ -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")
|
||||
|
||||
Loading…
x
Reference in New Issue
Block a user