diff --git a/1 Daily Notes/2025/2025-02-17.md b/1 Daily Notes/2025/2025-02-17.md index 2f6fb6789..e7c334a71 100644 --- a/1 Daily Notes/2025/2025-02-17.md +++ b/1 Daily Notes/2025/2025-02-17.md @@ -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] \ No newline at end of file +- LEAN Learning Plan [startTime:: 09:00] [endTime:: 09:30] +- Rust chapter1 [startTime::16:00] [endTime::16:15] +- \ No newline at end of file diff --git a/1 Daily Notes/2025/2025-02-18.md b/1 Daily Notes/2025/2025-02-18.md index 9b7beae7e..0f300c09a 100644 --- a/1 Daily Notes/2025/2025-02-18.md +++ b/1 Daily Notes/2025/2025-02-18.md @@ -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] diff --git a/3-99 Research/Assembly/Assembly - README.md b/3-99 Research/Assembly/Assembly - README.md index 8fb414c7f..ebcd43f2f 100644 --- a/3-99 Research/Assembly/Assembly - README.md +++ b/3-99 Research/Assembly/Assembly - README.md @@ -4,5 +4,5 @@ Generated by ChatGPT on 2025-02-17 ## Files - [[Assembly Canvas.canvas]] -- [[Untitled.md]] +- [[3-99 Research/Assembly/Untitled]] diff --git a/3-99 Research/Rust/Chapter 1 - Introduction.md b/3-99 Research/Rust/Chapter 1 - Introduction.md new file mode 100644 index 000000000..e69de29bb diff --git a/3-99 Research/Rust/hello_world/main b/3-99 Research/Rust/hello_world/main new file mode 100755 index 000000000..1c401d06e Binary files /dev/null and b/3-99 Research/Rust/hello_world/main differ diff --git a/3-99 Research/Rust/hello_world/main.rs b/3-99 Research/Rust/hello_world/main.rs new file mode 100644 index 000000000..e7a11a969 --- /dev/null +++ b/3-99 Research/Rust/hello_world/main.rs @@ -0,0 +1,3 @@ +fn main() { + println!("Hello, world!"); +} diff --git a/3-99 Research/TLA/TLA - README.md b/3-99 Research/TLA/TLA - README.md index 00945e08e..5b3eda7e1 100644 --- a/3-99 Research/TLA/TLA - README.md +++ b/3-99 Research/TLA/TLA - README.md @@ -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]] diff --git a/5 Thesis/1 Ideas/1 Ideas - README.md b/5 Thesis/1 Ideas/1 Ideas - README.md index f44663bf4..702a14c50 100644 --- a/5 Thesis/1 Ideas/1 Ideas - README.md +++ b/5 Thesis/1 Ideas/1 Ideas - README.md @@ -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]]