32 lines
958 B
Markdown
Executable File
32 lines
958 B
Markdown
Executable File
---
|
|
creation date: 2024-08-07
|
|
modification date: Wednesday 7th August 2024 09:40:17
|
|
tags:
|
|
- DailyNote
|
|
---
|
|
#### 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
|
|
- [/] [[NUCE 2103 Final Exam]]
|
|
- [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
|
|
- [ ] Bring Beaglebone home
|
|
- [x] Write [[ARCADE Paragraphs for Dan]] ✅ 2024-08-07
|
|
- [ ]
|
|
## Notes about today
|
|
```dataview
|
|
list
|
|
where note.mday = 2024-08-07
|
|
```
|
|
Tasks for Tomorrow |