vault backup: 2025-02-13 17:56:14

This commit is contained in:
Dane Sabo 2025-02-13 17:56:14 -05:00
parent 338644fab3
commit cc42795599
3 changed files with 4 additions and 3 deletions

View File

@ -18,3 +18,4 @@ group by tags
```
# Calendar Tasks
- LEAN Learning Plan [startTime:: 09:00] [endTime:: 09:30]

View File

@ -46,4 +46,4 @@ tags: []
- [x] Make a Haskell Learning Plan #Haskell ⏳ 2025-02-12 📅 2025-02-12 ✅ 2025-02-11
- [x] Make a Rust Learning Plan #Rust ⏳ 2025-02-12 📅 2025-02-12 ✅ 2025-02-11
- [ ] Make a Lean Learning Plan 📅 2025-02-12 ⏳ 2025-02-12 #LEAN
- [<] Make a Lean Learning Plan #LEAN ⏳ 2025-02-12 📅 2025-02-12

View File

@ -1,6 +1,6 @@
Follow up tasks:
- [-] What is the state of the art for wireless control? #Thesis ❌ 2025-01-24
- [ ] What has happened so far with verifying assembly code? #Thesis 🔽 ⏳ 2025-01-29 📅 2025-02-06
- [<] What has happened so far with verifying assembly code? #Thesis 🔽 ⏳ 2025-01-29 📅 2025-02-06
- [ ] How does Rust compile into binary? #Thesis ⏳ 2025-01-28 📅 2025-02-11
```dataview
task