danesabo/Obsidian
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

vault backup: 2025-02-17 16:10:01

Browse Source
This commit is contained in:
Dane Sabo 2025-02-17 16:10:01 -05:00
parent 3a1589fab0
commit 711cacdb96
8 changed files with 12 additions and 7 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

9
1 Daily Notes/2025/2025-02-17.md
View File

@ -19,11 +19,12 @@ group by tags
```
# Calendar Tasks
- SeL4 Part 2 [startTime:: 13:30] [endTime:: 14:45]
- NUCE 2113 lab 4 [startTime:: 14:45] [endTime:: 15:30]
- Lab report NUCE 2113 [startTime:: 14:45] [endTime:: 15:30]
- Lunch [startTime:: 12:30] [endTime:: 13:30]
- Learn about TAL [startTime:: 15:30] [endTime:: 16:30]
- SeL4 Part 2 [startTime:: 13:30] [endTime:: 14:45]
- Read Papers [startTime:: 19:00] [endTime:: 21:00]
- NUCE 2113 Lab Report 4 [startTime:: 10:00] [endTime:: 12:30]
- Introduction to SeL4 proofs [startTime:: 09:30] [endTime:: 10:00]
- LEAN Learning Plan [startTime:: 09:00] [endTime:: 09:30]
- LEAN Learning Plan [startTime:: 09:00] [endTime:: 09:30]
- Rust chapter1 [startTime::16:00] [endTime::16:15]
-

1
1 Daily Notes/2025/2025-02-18.md
View File

@ -18,6 +18,7 @@ group by tags
```
# Calendar Tasks
- Learn about TAL [startTime:: 14:00] [endTime:: 15:00]
- SeL4 Part 3 [startTime:: 16:00] [endTime:: 16:30]
- Read Lab Handout [startTime:: 16:30] [endTime:: 17:00]
- Read Papers [startTime:: 14:00] [endTime:: 15:00]

2
3-99 Research/Assembly/Assembly - README.md
View File

@ -4,5 +4,5 @@ Generated by ChatGPT on 2025-02-17
## Files
- [[Assembly Canvas.canvas]]
- [[Untitled.md]]
- [[3-99 Research/Assembly/Untitled]]

0
3-99 Research/Rust/Chapter 1 - Introduction.md Normal file
View File

BIN
3-99 Research/Rust/hello_world/main Executable file
View File

Binary file not shown.

3
3-99 Research/Rust/hello_world/main.rs Normal file
View File

@ -0,0 +1,3 @@
fn main() {
println!("Hello, world!");
}

2
3-99 Research/TLA/TLA - README.md
View File

@ -4,7 +4,7 @@ Generated by ChatGPT on 2025-02-17
## Files
- [[TLA Canvas.canvas]]
- [[Untitled.md]]
- [[3-99 Research/TLA/Untitled]]
- [[What is TLA?.md]]
- [[What the hell is liveness?.md]]

2
5 Thesis/1 Ideas/1 Ideas - README.md
View File

@ -3,5 +3,5 @@ Generated by ChatGPT on 2025-02-17
# Table of Contents for 1 Ideas
## Files
- [[Untitled.md]]
- [[5 Thesis/1 Ideas/Untitled]]