30 lines
992 B
Markdown
Executable File
30 lines
992 B
Markdown
Executable File
---
|
|
creation date: 2024-08-07
|
|
modification date: Wednesday 7th August 2024 09:40:17
|
|
tags: []
|
|
---
|
|
#### Yesterday | Tomorrow
|
|
<< [[2024-08-06]] | [[2024-08-08]] >>
|
|
|
|
Error generating daily quote
|
|
#### This Week's Weekly Note
|
|
[[Weekly Note 2024-07-30]]
|
|
|
|
## Tasks for today
|
|
### Big Task
|
|
- [-] Start writing thoughts for [[Models All The Way Down - A Path Towards Software and Physical System Proof Synergy]]
|
|
### Medium Tasks
|
|
- [x] [[Weekly Note 2024-08-07]] ✅ 2024-08-07
|
|
- [x] [[NUCE 2103 Final Exam]] [completion:: 2024-09-13]
|
|
- [x] Check out [[Andrew's May 2024 ARCADE Presentation]] ✅ 2024-08-07
|
|
### Small Tasks
|
|
- [-] Collect papers for [[Models All The Way Down - A Path Towards Software and Physical System Proof Synergy]]
|
|
- [x] Investigate Zotero / Obsidian Collaboration ✅ 2024-08-07
|
|
- [x] Bring Beaglebone home [completion:: 2024-09-13]
|
|
- [x] Write [[ARCADE Paragraphs for Dan]] ✅ 2024-08-07
|
|
## Notes about today
|
|
```dataview
|
|
list
|
|
where note.mday = 2024-08-07
|
|
```
|
|
Tasks for Tomorrow |