diff --git a/1 Daily Notes/2025/2025-02-17.md b/1 Daily Notes/2025/2025-02-17.md index d55a6138..614b636e 100644 --- a/1 Daily Notes/2025/2025-02-17.md +++ b/1 Daily Notes/2025/2025-02-17.md @@ -19,12 +19,11 @@ group by tags ``` # Calendar Tasks -- Lunch [startTime:: 12:00] [endTime:: 13:00] -- Learn about TAL [startTime:: 15:00] [endTime:: 16:00] -- Learn about FPGA [startTime:: 14:00] [endTime:: 15:00] -- Read Papers [startTime:: 13:00] [endTime:: 14:30] -- SeL4 Part 2 [startTime:: 11:00] [endTime:: 12:00] -- Read papers [startTime:: 11:00] [endTime:: 12:00] -- NUCE 2113 Lab Report 4 [startTime:: 10:00] [endTime:: 11:00] +- Lunch [startTime:: 12:30] [endTime:: 13:30] +- Learn about TAL [startTime:: 15:30] [endTime:: 16:30] +- Learn about FPGA [startTime:: 17:30] [endTime:: 18:30] +- Read Papers [startTime:: 14:30] [endTime:: 15:30] +- SeL4 Part 2 [startTime:: 13:30] [endTime:: 14:30] +- 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