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

vault backup: 2025-02-17 09:51:53

Browse Source
This commit is contained in:
Dane Sabo 2025-02-17 09:51:53 -05:00
parent cbe14d202b
commit f225814b34
2 changed files with 7 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -19,10 +19,11 @@ group by tags
``` ```
# Calendar Tasks # Calendar Tasks
- Lunch [startTime:: 12:00] [endTime:: 13:00]
- Learn about TAL [startTime:: 15:00] [endTime:: 16:00] - Learn about TAL [startTime:: 15:00] [endTime:: 16:00]
- Learn about FPGA [startTime:: 14:00] [endTime:: 15:00] - Learn about FPGA [startTime:: 14:00] [endTime:: 15:00]
- Read Papers [startTime:: 13:00] [endTime:: 14:30] - Read Papers [startTime:: 13:00] [endTime:: 14:30]
- Lunch [startTime:: 12:00] [endTime:: 13:00] - SeL4 Part 2 [startTime:: 11:00] [endTime:: 12:00]
- Read papers [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] - NUCE 2113 Lab Report 4 [startTime:: 10:00] [endTime:: 11:00]
- Introduction to SeL4 proofs [startTime:: 09:30] [endTime:: 10:00] - Introduction to SeL4 proofs [startTime:: 09:30] [endTime:: 10:00]

5
3-99 Research/LEAN/Learning Plan.md
View File

@ -0,0 +1,5 @@
- [ ] Tutorial World #LEAN 📅 2025-02-21 ⏳ 2025-02-17
- [ ] 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
- [ ] Schedule further worlds #LEAN 📅 2025-03-07 ⏳ 2025-03-07