vault backup: 2025-02-14 17:24:47
This commit is contained in:
commit
77a5a2e231
5
.obsidian/bookmarks.json
vendored
5
.obsidian/bookmarks.json
vendored
@ -4,6 +4,11 @@
|
||||
"type": "file",
|
||||
"ctime": 1731951492555,
|
||||
"path": "0 Managerial Pages/1 Task Dashboard.md"
|
||||
},
|
||||
{
|
||||
"type": "file",
|
||||
"ctime": 1739483406562,
|
||||
"path": "3-99 Research/6 Researching Techniques/Highlighting Colors and What they Mean.md"
|
||||
}
|
||||
]
|
||||
}
|
||||
2
.obsidian/core-plugins.json
vendored
2
.obsidian/core-plugins.json
vendored
@ -27,5 +27,5 @@
|
||||
"file-recovery": true,
|
||||
"publish": false,
|
||||
"sync": false,
|
||||
"webviewer": false
|
||||
"webviewer": true
|
||||
}
|
||||
21
.obsidian/graph.json
vendored
21
.obsidian/graph.json
vendored
@ -34,6 +34,13 @@
|
||||
"a": 1,
|
||||
"rgb": 16711744
|
||||
}
|
||||
},
|
||||
{
|
||||
"query": "path:\"300s School\" ",
|
||||
"color": {
|
||||
"a": 1,
|
||||
"rgb": 6054102
|
||||
}
|
||||
}
|
||||
],
|
||||
"collapse-display": true,
|
||||
@ -42,10 +49,10 @@
|
||||
"nodeSizeMultiplier": 1.98854166666667,
|
||||
"lineSizeMultiplier": 3.11145833333333,
|
||||
"collapse-forces": true,
|
||||
"centerStrength": 0.286458333333333,
|
||||
"repelStrength": 14.375,
|
||||
"linkStrength": 0.609375,
|
||||
"linkDistance": 152,
|
||||
"scale": 0.040122071100262335,
|
||||
"close": true
|
||||
}
|
||||
"centerStrength": 0.533854166666667,
|
||||
"repelStrength": 18.0729166666667,
|
||||
"linkStrength": 0.744791666666667,
|
||||
"linkDistance": 177,
|
||||
"scale": 0.42284390301209,
|
||||
"close": false
|
||||
}
|
||||
|
||||
8
.obsidian/hotkeys.json
vendored
8
.obsidian/hotkeys.json
vendored
@ -250,5 +250,13 @@
|
||||
],
|
||||
"key": "D"
|
||||
}
|
||||
],
|
||||
"templater-obsidian:1000s Templates/Daily Note Template 2.0.md": [
|
||||
{
|
||||
"modifiers": [
|
||||
"Alt"
|
||||
],
|
||||
"key": "D"
|
||||
}
|
||||
]
|
||||
}
|
||||
2
.obsidian/icons/icons - README.md
vendored
2
.obsidian/icons/icons - README.md
vendored
@ -1,4 +1,4 @@
|
||||
Generated by ChatGPT on 2025-02-10
|
||||
Generated by ChatGPT on 2025-02-12
|
||||
|
||||
# Table of Contents for icons
|
||||
|
||||
|
||||
@ -1,4 +1,4 @@
|
||||
Generated by ChatGPT on 2025-02-10
|
||||
Generated by ChatGPT on 2025-02-12
|
||||
|
||||
# Table of Contents for colored-tags
|
||||
|
||||
|
||||
5
.obsidian/plugins/colored-tags/data.json
vendored
5
.obsidian/plugins/colored-tags/data.json
vendored
@ -189,7 +189,10 @@
|
||||
"Reading": 177,
|
||||
"Union": 178,
|
||||
"Follow-Up": 179,
|
||||
"TLA": 180
|
||||
"TLA": 180,
|
||||
"Haskell": 181,
|
||||
"Rust": 182,
|
||||
"LEAN": 183
|
||||
},
|
||||
"_version": 3
|
||||
}
|
||||
@ -1,4 +1,4 @@
|
||||
Generated by ChatGPT on 2025-02-10
|
||||
Generated by ChatGPT on 2025-02-12
|
||||
|
||||
# Table of Contents for dataview
|
||||
|
||||
|
||||
@ -1,4 +1,4 @@
|
||||
Generated by ChatGPT on 2025-02-10
|
||||
Generated by ChatGPT on 2025-02-12
|
||||
|
||||
# Table of Contents for highlightr-plugin
|
||||
|
||||
|
||||
@ -1,4 +1,4 @@
|
||||
Generated by ChatGPT on 2025-02-10
|
||||
Generated by ChatGPT on 2025-02-12
|
||||
|
||||
# Table of Contents for obsidian-admonition
|
||||
|
||||
|
||||
@ -1,4 +1,4 @@
|
||||
Generated by ChatGPT on 2025-02-10
|
||||
Generated by ChatGPT on 2025-02-12
|
||||
|
||||
# Table of Contents for obsidian-citation-plugin
|
||||
|
||||
|
||||
@ -1,4 +1,4 @@
|
||||
Generated by ChatGPT on 2025-02-10
|
||||
Generated by ChatGPT on 2025-02-12
|
||||
|
||||
# Table of Contents for lua
|
||||
|
||||
|
||||
@ -1,4 +1,4 @@
|
||||
Generated by ChatGPT on 2025-02-10
|
||||
Generated by ChatGPT on 2025-02-12
|
||||
|
||||
# Table of Contents for obsidian-enhancing-export
|
||||
|
||||
|
||||
@ -1,4 +1,4 @@
|
||||
Generated by ChatGPT on 2025-02-10
|
||||
Generated by ChatGPT on 2025-02-12
|
||||
|
||||
# Table of Contents for textemplate
|
||||
|
||||
|
||||
@ -1,4 +1,4 @@
|
||||
Generated by ChatGPT on 2025-02-10
|
||||
Generated by ChatGPT on 2025-02-12
|
||||
|
||||
# Table of Contents for obsidian-footnotes
|
||||
|
||||
|
||||
@ -1,4 +1,4 @@
|
||||
Generated by ChatGPT on 2025-02-10
|
||||
Generated by ChatGPT on 2025-02-12
|
||||
|
||||
# Table of Contents for obsidian-full-calendar
|
||||
|
||||
|
||||
@ -1,4 +1,4 @@
|
||||
Generated by ChatGPT on 2025-02-10
|
||||
Generated by ChatGPT on 2025-02-12
|
||||
|
||||
# Table of Contents for obsidian-git
|
||||
|
||||
|
||||
@ -1,4 +1,4 @@
|
||||
Generated by ChatGPT on 2025-02-10
|
||||
Generated by ChatGPT on 2025-02-12
|
||||
|
||||
# Table of Contents for obsidian-icon-folder
|
||||
|
||||
|
||||
@ -1,4 +1,4 @@
|
||||
Generated by ChatGPT on 2025-02-10
|
||||
Generated by ChatGPT on 2025-02-12
|
||||
|
||||
# Table of Contents for obsidian-pandoc-reference-list
|
||||
|
||||
|
||||
@ -1,4 +1,4 @@
|
||||
Generated by ChatGPT on 2025-02-10
|
||||
Generated by ChatGPT on 2025-02-12
|
||||
|
||||
# Table of Contents for obsidian-style-settings
|
||||
|
||||
|
||||
@ -1,4 +1,4 @@
|
||||
Generated by ChatGPT on 2025-02-10
|
||||
Generated by ChatGPT on 2025-02-12
|
||||
|
||||
# Table of Contents for obsidian-tasks-plugin
|
||||
|
||||
|
||||
@ -1,4 +1,4 @@
|
||||
Generated by ChatGPT on 2025-02-10
|
||||
Generated by ChatGPT on 2025-02-12
|
||||
|
||||
# Table of Contents for obsidian-zotero-desktop-connector
|
||||
|
||||
|
||||
2
.obsidian/plugins/plugins - README.md
vendored
2
.obsidian/plugins/plugins - README.md
vendored
@ -1,4 +1,4 @@
|
||||
Generated by ChatGPT on 2025-02-10
|
||||
Generated by ChatGPT on 2025-02-12
|
||||
|
||||
# Table of Contents for plugins
|
||||
|
||||
|
||||
@ -1,4 +1,4 @@
|
||||
Generated by ChatGPT on 2025-02-10
|
||||
Generated by ChatGPT on 2025-02-12
|
||||
|
||||
# Table of Contents for templater-obsidian
|
||||
|
||||
|
||||
2
.obsidian/snippets/snippets - README.md
vendored
2
.obsidian/snippets/snippets - README.md
vendored
@ -1,4 +1,4 @@
|
||||
Generated by ChatGPT on 2025-02-10
|
||||
Generated by ChatGPT on 2025-02-12
|
||||
|
||||
# Table of Contents for snippets
|
||||
|
||||
|
||||
@ -1,4 +1,4 @@
|
||||
Generated by ChatGPT on 2025-02-10
|
||||
Generated by ChatGPT on 2025-02-12
|
||||
|
||||
# Table of Contents for AnuPpuccin
|
||||
|
||||
|
||||
@ -1,4 +1,4 @@
|
||||
Generated by ChatGPT on 2025-02-10
|
||||
Generated by ChatGPT on 2025-02-12
|
||||
|
||||
# Table of Contents for Everforest
|
||||
|
||||
|
||||
2
.obsidian/themes/Minimal/Minimal - README.md
vendored
2
.obsidian/themes/Minimal/Minimal - README.md
vendored
@ -1,4 +1,4 @@
|
||||
Generated by ChatGPT on 2025-02-10
|
||||
Generated by ChatGPT on 2025-02-12
|
||||
|
||||
# Table of Contents for Minimal
|
||||
|
||||
|
||||
@ -1,4 +1,4 @@
|
||||
Generated by ChatGPT on 2025-02-10
|
||||
Generated by ChatGPT on 2025-02-12
|
||||
|
||||
# Table of Contents for Obsidian Nord
|
||||
|
||||
|
||||
2
.obsidian/themes/themes - README.md
vendored
2
.obsidian/themes/themes - README.md
vendored
@ -1,4 +1,4 @@
|
||||
Generated by ChatGPT on 2025-02-10
|
||||
Generated by ChatGPT on 2025-02-12
|
||||
|
||||
# Table of Contents for themes
|
||||
|
||||
|
||||
5
.obsidian/webviewer.json
vendored
Normal file
5
.obsidian/webviewer.json
vendored
Normal file
@ -0,0 +1,5 @@
|
||||
{
|
||||
"openExternalURLs": true,
|
||||
"enableAdblocking": true,
|
||||
"searchEngine": "google"
|
||||
}
|
||||
@ -1,4 +1,4 @@
|
||||
Generated by ChatGPT on 2025-02-10
|
||||
Generated by ChatGPT on 2025-02-12
|
||||
|
||||
# Table of Contents for Untitled
|
||||
|
||||
|
||||
@ -1,4 +1,4 @@
|
||||
Generated by ChatGPT on 2025-02-10
|
||||
Generated by ChatGPT on 2025-02-12
|
||||
|
||||
# Table of Contents for 0 Managerial Pages
|
||||
|
||||
|
||||
@ -1,4 +1,4 @@
|
||||
Generated by ChatGPT on 2025-02-10
|
||||
Generated by ChatGPT on 2025-02-13
|
||||
|
||||
# Table of Contents for 1 Daily Notes
|
||||
|
||||
@ -6,6 +6,3 @@ Generated by ChatGPT on 2025-02-10
|
||||
- [[2024/2024 - README]]
|
||||
- [[2025/2025 - README]]
|
||||
|
||||
## Files
|
||||
- [[Untitled.canvas]]
|
||||
|
||||
|
||||
@ -1,4 +1,4 @@
|
||||
Generated by ChatGPT on 2025-02-10
|
||||
Generated by ChatGPT on 2025-02-12
|
||||
|
||||
# Table of Contents for 10 October
|
||||
|
||||
|
||||
@ -1,4 +1,4 @@
|
||||
Generated by ChatGPT on 2025-02-10
|
||||
Generated by ChatGPT on 2025-02-12
|
||||
|
||||
# Table of Contents for 11 November
|
||||
|
||||
|
||||
@ -1,4 +1,4 @@
|
||||
Generated by ChatGPT on 2025-02-10
|
||||
Generated by ChatGPT on 2025-02-12
|
||||
|
||||
# Table of Contents for 2024
|
||||
|
||||
|
||||
@ -1,4 +1,4 @@
|
||||
Generated by ChatGPT on 2025-02-10
|
||||
Generated by ChatGPT on 2025-02-12
|
||||
|
||||
# Table of Contents for 8 August
|
||||
|
||||
|
||||
@ -1,4 +1,4 @@
|
||||
Generated by ChatGPT on 2025-02-10
|
||||
Generated by ChatGPT on 2025-02-12
|
||||
|
||||
# Table of Contents for 9 September
|
||||
|
||||
|
||||
@ -1,4 +1,4 @@
|
||||
Generated by ChatGPT on 2025-02-10
|
||||
Generated by ChatGPT on 2025-02-12
|
||||
|
||||
# Table of Contents for 2025
|
||||
|
||||
@ -33,4 +33,12 @@ Generated by ChatGPT on 2025-02-10
|
||||
- [[2025-02-06.md]]
|
||||
- [[2025-02-07.md]]
|
||||
- [[2025-02-10.md]]
|
||||
- [[2025-02-11.md]]
|
||||
- [[2025-02-12.md]]
|
||||
- [[2025-02-13.md]]
|
||||
- [[2025-02-14.md]]
|
||||
- [[2025-02-17.md]]
|
||||
- [[2025-02-18.md]]
|
||||
- [[2025-02-19.md]]
|
||||
- [[2025-02-20.md]]
|
||||
|
||||
|
||||
@ -20,7 +20,7 @@ group by file.name
|
||||
## What's the plan!
|
||||
- [x] Get whatever I wrote for that old paper into the NPIC one ✅ 2025-01-03
|
||||
- [x] Fill in highlighted sections for Lauren and GSA document ✅ 2025-01-03
|
||||
- [ ] Join union discord? #Union ⏬ ⏳ 2025-01-27 📅 2025-02-05
|
||||
- [-] Join union discord? #Union ⏬ ⏳ 2025-01-27 📅 2025-02-05 ❌ 2025-02-11
|
||||
- [?] Find at least 3 wireless control / wireless security papers ⏬ ⏳ 2025-01-27 📅 2025-01-31
|
||||
- [x] Fixed up daily note template to cater to quick tasks ✅ 2025-01-03
|
||||
- [x] Figure out class / work schedule ✅ 2025-01-03
|
||||
|
||||
@ -19,7 +19,7 @@ group by file.name
|
||||
```
|
||||
## What's the plan!
|
||||
- [x] Make bullet list for Gleeson about what is not clear for QE #GSA 🔼 ⏳ 2025-01-27 📅 2025-01-27 ✅ 2025-01-31
|
||||
- [/] Find out about [[Microreactors]]. Are there any models or designs out there? #Research ⏬ ⏳ 2025-01-29 📅 2025-02-05
|
||||
- [<] Find out about [[Microreactors]]. Are there any models or designs out there? #Research ⏬ ⏳ 2025-01-29 📅 2025-02-05
|
||||
|
||||
## What's the results!
|
||||
```dataview
|
||||
|
||||
@ -10,8 +10,8 @@ tags:
|
||||
# Summary
|
||||
## What's the plan?
|
||||
- [x] Install TLA+ and do a tutorial #Research ⏳ 2025-02-10 📅 2025-02-10 ✅ 2025-02-10
|
||||
- [/] Read about TLA+... What is it? Make at least 3 notes about it #TLA #Research ⏳ 2025-02-10 📅 2025-02-10
|
||||
- [ ] Install Ollama, and see how it works with SmartConnections
|
||||
- [x] Read about TLA+... What is it? Make at least 3 notes about it #TLA #Research ⏳ 2025-02-10 📅 2025-02-10 ✅ 2025-02-11
|
||||
- [x] Install Ollama, and see how it works with SmartConnections ✅ 2025-02-11
|
||||
- [x] Installed Ollama and Smart Connections ✅ 2025-02-10
|
||||
|
||||
## What's the results!
|
||||
|
||||
21
1 Daily Notes/2025/2025-02-11.md
Normal file
21
1 Daily Notes/2025/2025-02-11.md
Normal file
@ -0,0 +1,21 @@
|
||||
---
|
||||
date: 2025-02-11
|
||||
tags:
|
||||
---
|
||||
# Links to Other Pages
|
||||
## Yesterday | Tomorrow
|
||||
<< [[1 Daily Notes/2025/2025-02-10]] | [[1 Daily Notes/2025/2025-02-12 ]] >>
|
||||
## This Week's Weekly Note
|
||||
[[ Weekly Note 2025-02-03]]
|
||||
# Summary
|
||||
## What's the plan?
|
||||
[[Lean]]
|
||||
|
||||
## What's the results!
|
||||
```tasks
|
||||
done 2025-02-11
|
||||
sort by urgency
|
||||
group by tags
|
||||
```
|
||||
|
||||
# Calendar Tasks
|
||||
27
1 Daily Notes/2025/2025-02-12.md
Normal file
27
1 Daily Notes/2025/2025-02-12.md
Normal file
@ -0,0 +1,27 @@
|
||||
---
|
||||
date: 2025-02-12
|
||||
tags:
|
||||
---
|
||||
# Links to Other Pages
|
||||
## Yesterday | Tomorrow
|
||||
<< [[1 Daily Notes/2025/2025-02-11]] | [[1 Daily Notes/2025/2025-02-13 ]] >>
|
||||
## This Week's Weekly Note
|
||||
[[ Weekly Note 2025-02-03]]
|
||||
# Summary
|
||||
## What's the plan?
|
||||
|
||||
## What's the results!
|
||||
```tasks
|
||||
done 2025-02-12
|
||||
sort by urgency
|
||||
group by tags
|
||||
```
|
||||
|
||||
# Calendar Tasks
|
||||
- Bus Home / Reading [startTime:: 15:30] [endTime:: 16:00]
|
||||
- ME2046 HW2 [startTime:: 14:30] [endTime:: 15:30]
|
||||
- Microkit Tutorial Part 1 [startTime:: 13:30] [endTime:: 14:30]
|
||||
- Lunch [startTime:: 12:30] [endTime:: 13:30]
|
||||
- ME 2046 HW2 [startTime:: 10:30] [endTime:: 12:30]
|
||||
- Distributed Cookies, contacted BBE about stickers, messed with Obsidian readme script [startTime:: 09:00] [endTime:: 10:30]
|
||||
- Bus! [startTime:: 08:30] [endTime:: 09:00]
|
||||
25
1 Daily Notes/2025/2025-02-13.md
Normal file
25
1 Daily Notes/2025/2025-02-13.md
Normal file
@ -0,0 +1,25 @@
|
||||
---
|
||||
date: 2025-02-13
|
||||
tags:
|
||||
---
|
||||
# Links to Other Pages
|
||||
## Yesterday | Tomorrow
|
||||
<< [[1 Daily Notes/2025/2025-02-12]] | [[1 Daily Notes/2025/2025-02-14 ]] >>
|
||||
## This Week's Weekly Note
|
||||
[[ Weekly Note 2025-02-10]]
|
||||
# Summary
|
||||
## What's the plan?
|
||||
|
||||
## What's the results!
|
||||
```tasks
|
||||
done 2025-02-13
|
||||
sort by urgency
|
||||
group by tags
|
||||
```
|
||||
|
||||
# Calendar Tasks
|
||||
- Verifying Assembly Code [startTime:: 20:00] [endTime:: 21:30]
|
||||
- Bus Home [startTime:: 14:30] [endTime:: 15:00]
|
||||
- Bus in / QSG Outline [startTime:: 10:30] [endTime:: 11:00]
|
||||
- Read notes for Class / Bus [startTime:: 15:30] [endTime:: 16:00]
|
||||
- QSG Slides for Goals and Outcomes [startTime::11:00] [endTime::13:00]
|
||||
28
1 Daily Notes/2025/2025-02-14.md
Normal file
28
1 Daily Notes/2025/2025-02-14.md
Normal file
@ -0,0 +1,28 @@
|
||||
---
|
||||
date: 2025-02-14
|
||||
tags:
|
||||
---
|
||||
# Links to Other Pages
|
||||
## Yesterday | Tomorrow
|
||||
<< [[1 Daily Notes/2025/2025-02-13]] | [[1 Daily Notes/2025/2025-02-17 ]] >>
|
||||
## This Week's Weekly Note
|
||||
[[ Weekly Note 2025-02-10]]
|
||||
# Summary
|
||||
## What's the plan?
|
||||
|
||||
## What's the results!
|
||||
```tasks
|
||||
done 2025-02-14
|
||||
sort by urgency
|
||||
group by tags
|
||||
```
|
||||
|
||||
# Calendar Tasks
|
||||
- Dinner [startTime:: 18:30] [endTime:: 21:00]
|
||||
- Clean [startTime:: 16:00] [endTime:: 17:00]
|
||||
- Learn about TAL [startTime:: 15:00] [endTime:: 16:00]
|
||||
- Learn about FPGA [startTime:: 14:00] [endTime:: 15:00]
|
||||
- Drive home [startTime:: 11:30] [endTime:: 12:00]
|
||||
- Lunch [startTime:: 12:00] [endTime:: 13:00]
|
||||
- ME2150 Part 2 [startTime:: 13:00] [endTime:: 14:00]
|
||||
- QSG Slides [startTime:: 08:20] [endTime:: 09:38]
|
||||
26
1 Daily Notes/2025/2025-02-17.md
Normal file
26
1 Daily Notes/2025/2025-02-17.md
Normal file
@ -0,0 +1,26 @@
|
||||
---
|
||||
date: 2025-02-17
|
||||
tags:
|
||||
---
|
||||
# Links to Other Pages
|
||||
## Yesterday | Tomorrow
|
||||
<< [[1 Daily Notes/2025/2025-02-14]] | [[1 Daily Notes/2025/2025-02-18 ]] >>
|
||||
## This Week's Weekly Note
|
||||
[[ Weekly Note 2025-02-10]]
|
||||
# Summary
|
||||
## What's the plan?
|
||||
|
||||
## What's the results!
|
||||
```tasks
|
||||
done 2025-02-17
|
||||
sort by urgency
|
||||
group by tags
|
||||
```
|
||||
|
||||
# Calendar Tasks
|
||||
- Read Papers [startTime:: 13:00] [endTime:: 14:30]
|
||||
- Lunch [startTime:: 12:00] [endTime:: 13:00]
|
||||
- Read papers [startTime:: 11:00] [endTime:: 12:00]
|
||||
- NUCE 2113 Lab Report 4 [startTime:: 10:00] [endTime:: 11:00]
|
||||
- Introduction to SeL4 proofs [startTime:: 09:30] [endTime:: 10:00]
|
||||
- LEAN Learning Plan [startTime:: 09:00] [endTime:: 09:30]
|
||||
21
1 Daily Notes/2025/2025-02-18.md
Normal file
21
1 Daily Notes/2025/2025-02-18.md
Normal file
@ -0,0 +1,21 @@
|
||||
---
|
||||
date: 2025-02-18
|
||||
tags:
|
||||
---
|
||||
# Links to Other Pages
|
||||
## Yesterday | Tomorrow
|
||||
<< [[1 Daily Notes/2025/2025-02-17]] | [[1 Daily Notes/2025/2025-02-19 ]] >>
|
||||
## This Week's Weekly Note
|
||||
[[ Weekly Note 2025-02-10]]
|
||||
# Summary
|
||||
## What's the plan?
|
||||
|
||||
## What's the results!
|
||||
```tasks
|
||||
done 2025-02-18
|
||||
sort by urgency
|
||||
group by tags
|
||||
```
|
||||
|
||||
# Calendar Tasks
|
||||
- Dinner [startTime:: 17:00] [endTime:: 18:00]
|
||||
20
1 Daily Notes/2025/2025-02-19.md
Normal file
20
1 Daily Notes/2025/2025-02-19.md
Normal file
@ -0,0 +1,20 @@
|
||||
---
|
||||
date: 2025-02-19
|
||||
tags:
|
||||
---
|
||||
# Links to Other Pages
|
||||
## Yesterday | Tomorrow
|
||||
<< [[1 Daily Notes/2025/2025-02-18]] | [[1 Daily Notes/2025/2025-02-20 ]] >>
|
||||
## This Week's Weekly Note
|
||||
[[ Weekly Note 2025-02-10]]
|
||||
# Summary
|
||||
## What's the plan?
|
||||
|
||||
## What's the results!
|
||||
```tasks
|
||||
done 2025-02-19
|
||||
sort by urgency
|
||||
group by tags
|
||||
```
|
||||
|
||||
# Calendar Tasks
|
||||
20
1 Daily Notes/2025/2025-02-20.md
Normal file
20
1 Daily Notes/2025/2025-02-20.md
Normal file
@ -0,0 +1,20 @@
|
||||
---
|
||||
date: 2025-02-20
|
||||
tags:
|
||||
---
|
||||
# Links to Other Pages
|
||||
## Yesterday | Tomorrow
|
||||
<< [[1 Daily Notes/2025/2025-02-19]] | [[1 Daily Notes/2025/2025-02-21 ]] >>
|
||||
## This Week's Weekly Note
|
||||
[[ Weekly Note 2025-02-17]]
|
||||
# Summary
|
||||
## What's the plan?
|
||||
|
||||
## What's the results!
|
||||
```tasks
|
||||
done 2025-02-20
|
||||
sort by urgency
|
||||
group by tags
|
||||
```
|
||||
|
||||
# Calendar Tasks
|
||||
@ -1 +0,0 @@
|
||||
{}
|
||||
@ -1,4 +1,4 @@
|
||||
Generated by ChatGPT on 2025-02-10
|
||||
Generated by ChatGPT on 2025-02-12
|
||||
|
||||
# Table of Contents for 1000s Templates
|
||||
|
||||
|
||||
@ -1,4 +1,4 @@
|
||||
Generated by ChatGPT on 2025-02-10
|
||||
Generated by ChatGPT on 2025-02-12
|
||||
|
||||
# Table of Contents for 101 Current Writing
|
||||
|
||||
|
||||
@ -1,4 +1,4 @@
|
||||
Generated by ChatGPT on 2025-02-10
|
||||
Generated by ChatGPT on 2025-02-12
|
||||
|
||||
# Table of Contents for ANS NPIC HITL FHE
|
||||
|
||||
|
||||
@ -1,4 +1,4 @@
|
||||
Generated by ChatGPT on 2025-02-10
|
||||
Generated by ChatGPT on 2025-02-12
|
||||
|
||||
# Table of Contents for 199 Paper Notes
|
||||
|
||||
|
||||
@ -1,4 +1,4 @@
|
||||
Generated by ChatGPT on 2025-02-10
|
||||
Generated by ChatGPT on 2025-02-13
|
||||
|
||||
# Table of Contents for 2 Cole Group Meeting Notes
|
||||
|
||||
@ -25,4 +25,6 @@ Generated by ChatGPT on 2025-02-10
|
||||
- [[Weekly Note 2025-01-20.md]]
|
||||
- [[Weekly Note 2025-01-27.md]]
|
||||
- [[Weekly Note 2025-02-03.md]]
|
||||
- [[Weekly Note 2025-02-11.md]]
|
||||
- [[Weekly Note 2025-02-18.md]]
|
||||
|
||||
|
||||
@ -45,6 +45,6 @@ tags: []
|
||||
>group by tags
|
||||
>```
|
||||
|
||||
- [?] Make a Haskell Plan ⏳ 2025-02-04 📅 2025-02-11
|
||||
- [-] Make a Haskell Plan ⏳ 2025-02-04 📅 2025-02-11 ❌ 2025-02-11
|
||||
|
||||
TRIPLE DDDS????????????
|
||||
@ -43,3 +43,7 @@ tags: []
|
||||
>sort by urgency
|
||||
>group by 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 #LEAN ⏳ 2025-02-12 📅 2025-02-12
|
||||
|
||||
45
2 Cole Group Meeting Notes/Weekly Note 2025-02-18.md
Normal file
45
2 Cole Group Meeting Notes/Weekly Note 2025-02-18.md
Normal file
@ -0,0 +1,45 @@
|
||||
---
|
||||
date: 2025-02-18
|
||||
modification date: Thursday 13th February 2025 18:17:28
|
||||
tags: []
|
||||
---
|
||||
<< [[2 Cole Group Meeting Notes/Weekly Note 2025-02-11]] | [[2 Cole Group Meeting Notes/Weekly Note 2025-02-25]] >>
|
||||
|
||||
# This Week's Daily Notes
|
||||
[[2025-02-11]]
|
||||
[[2025-02-12]]
|
||||
[[2025-02-13]]
|
||||
[[2025-02-14]]
|
||||
[[2025-02-15]]
|
||||
# Last Week's Plan
|
||||
# Accomplishments
|
||||
## Remarks
|
||||
## Tasks and Notes From This Past Week
|
||||
>[!abstract] Read Papers
|
||||
>```tasks
|
||||
> done
|
||||
> (done after 2025-02-11) AND (done before 2025-02-18)
|
||||
> tags include #Reading
|
||||
> group by tags
|
||||
> sort by done
|
||||
|
||||
|
||||
>[!done] Completed Tasks
|
||||
> ```tasks
|
||||
> done
|
||||
> (done after 2025-02-11) AND (done before 2025-02-18)
|
||||
> tags does not include #Reading
|
||||
> group by tags
|
||||
> sort by done
|
||||
|
||||
# This Week's Plan
|
||||
## Remarks
|
||||
|
||||
>[!todo] Tasks Preview
|
||||
>```tasks
|
||||
>show urgency
|
||||
>limit 10
|
||||
>not done
|
||||
>sort by urgency
|
||||
>group by tags
|
||||
>```
|
||||
@ -1,4 +1,4 @@
|
||||
Generated by ChatGPT on 2025-02-10
|
||||
Generated by ChatGPT on 2025-02-12
|
||||
|
||||
# Table of Contents for 2.1 GSA Meeting Notes
|
||||
|
||||
|
||||
@ -0,0 +1,58 @@
|
||||
Total Time 1hr 15 minutes
|
||||
# Review from Last Week (25 mins 10:20-10:45)
|
||||
- Everybody go around the room with Heilmeier questions.
|
||||
- Go up to Podium
|
||||
|
||||
# Goals and Outcomes Presentation (35 mins 10:45-11:20)
|
||||
- This is the first section of your proposal[^1]
|
||||
- This will be the first thing that people read, so honestly its one of the most crucial sections of your proposal
|
||||
- It's the tablesetting for the rest of what you're going to talk about too. If you write something in your G&O, you better talk about it later
|
||||
- Tell em what you're gonna tell em, tell em, tell em what you told em
|
||||
- So what goes into a G&O section?
|
||||
- First Paragraph(s)
|
||||
- First sentence
|
||||
- RESEARCH GOAL!!!!
|
||||
- The first sentence you write is critically important and should explicitly say what you're going to do, no bs
|
||||
- 'The goal of this research is to ...'
|
||||
- *Explain what you're trying to do, using absolutely no jargon*
|
||||
- One to three sentences. Be concrete. You should be clear in the goal, specific enough to seem feasible, but not too too narrow.
|
||||
- Rest of paragraph based writing
|
||||
- Briefly cover other sections. How will you get to your goal, what will be done, and who will care?
|
||||
- This is basically an ad for your researcher. The reviewer of your proposal wants to know, if this project is approved and funded, what are they going to get.
|
||||
- What are they buying?
|
||||
- What is the product of your effort?
|
||||
- What will you achieve?
|
||||
|
||||
## Outcomes Based Approach (ME)
|
||||
-" If we are successful, we will able to do the following:"
|
||||
- 3-5 clear and concise **capabilities**.
|
||||
- What is a capability? It's what we'll be able to DO after the research is successful, that we cannot do now.
|
||||
- One liner about the capability - rest of language explaining a little bit
|
||||
- Good capabilities are clear, verifieable, and concise
|
||||
|
||||
## Hypothesis Based Approach (MSE)
|
||||
- Some MSE professors really love hypothesis
|
||||
- Similar to outcomes but instead of creating capabilites you're creating observable knowledge
|
||||
- By doing X thing we can introduce Y change in Z behavior
|
||||
- Must be falsifiable and specific!
|
||||
- Then explain more specifically how you would measure such a thing, and briefly! why that change is posisble given the literature.
|
||||
- You will talk more about this in SOTA and RA, so give a preview and not an expansive discussion
|
||||
|
||||
## Big Takeaways
|
||||
1. **Clarity is Key** - State exacty what you want to, with as little fluff as possible.
|
||||
1. You are smart. You know a lot of words. But reading all of them is a lot of effort on the reader.
|
||||
2. **Your reader is lazy**
|
||||
1. Not a dig on professors because everyone here is working hard.
|
||||
2. But reading takes effort, and ultimately good writing and a good GO section should be easy to read. The easier it is to read your writing, the more of your meaning will be absorbed by the reader
|
||||
3. **Tablesetting as a Narrative**
|
||||
1. Your GO should set up the rest of your proposal. Give the reader a preview and a sample of what you're going to talk about.
|
||||
2. Set things up, and get your GO almost like a prologue.
|
||||
|
||||
[[GO Presentation Outline]]
|
||||
|
||||
# Open Questions / Chit Chat (11:20 - 11:30)
|
||||
- Goal for next week
|
||||
- Have a rough draft of your goals and outcomes (~1 page)
|
||||
- Keep working on other sections as you can. Keep reading and outining!
|
||||
|
||||
[^1]: Well technically it's preceded by your summary but whatever
|
||||
@ -0,0 +1,56 @@
|
||||
# Goals and Outcomes Presentation Outline
|
||||
|
||||
---
|
||||
|
||||
## Slide 1: Title Slide
|
||||
- **Title:** Goals and Outcomes: Setting the Stage for Your Proposal
|
||||
- **Subtitle:** The first impression matters
|
||||
|
||||
---
|
||||
|
||||
## Slide 2: The Crucial First Section
|
||||
- **Assertion:** The Goals & Outcomes (G&O) section is the first and most critical part of your proposal.
|
||||
- **Evidence:**
|
||||
- It’s the first thing reviewers read.
|
||||
- It sets the narrative for the entire proposal—what you promise must be delivered later.
|
||||
|
||||
---
|
||||
|
||||
## Slide 3: Crafting the Opening Paragraph
|
||||
- **Assertion:** The first sentence must clearly state your research goal with no fluff.
|
||||
- **Evidence:**
|
||||
- Use a sentence like “The goal of this research is to…”
|
||||
- Keep it jargon-free, concrete, and confined to 1–3 sentences.
|
||||
|
||||
---
|
||||
|
||||
## Slide 4: Building Your Narrative
|
||||
- **Assertion:** The remainder of the paragraph should outline how you’ll achieve your goal and its significance.
|
||||
- **Evidence:**
|
||||
- Briefly explain your methods.
|
||||
- Describe the product or outcome of your research.
|
||||
- Emphasize “what’s in it for the reader/reviewer.”
|
||||
|
||||
---
|
||||
|
||||
## Slide 5: Outcomes-Based Approach (ME)
|
||||
- **Assertion:** Clearly defined capabilities are essential to demonstrate what your research will enable.
|
||||
- **Evidence:**
|
||||
- List 3–5 specific, verifiable capabilities.
|
||||
- Each capability should be presented as a one-liner with a brief explanation.
|
||||
|
||||
---
|
||||
|
||||
## Slide 6: Hypothesis-Based Approach (MSE)
|
||||
- **Assertion:** A hypothesis-driven approach provides observable and measurable predictions.
|
||||
- **Evidence:**
|
||||
- State a falsifiable hypothesis (e.g., “By doing X, we can achieve Y change in Z behavior”).
|
||||
- Briefly mention the measurement approach and literature support.
|
||||
|
||||
---
|
||||
|
||||
## Slide 7: Big Takeaways
|
||||
- **Assertion:** Clarity and narrative consistency are key to a compelling proposal.
|
||||
- **Evidence:**
|
||||
- Be concise—your reader is lazy; avoid unnecessary fluff.
|
||||
- Your G&O should preview and set up the rest of your proposal like a prologue.
|
||||
@ -1,9 +1,11 @@
|
||||
Generated by ChatGPT on 2025-02-10
|
||||
Generated by ChatGPT on 2025-02-13
|
||||
|
||||
# Table of Contents for QSG 2025 Sprnig
|
||||
|
||||
## Files
|
||||
- [[2025-02-07 - Introduction.md]]
|
||||
- [[2025-02-14 - Goals and Outcomes.md]]
|
||||
- [[GO Presentation Outline.md]]
|
||||
- [[OLD Qualifier Support Group Plan.md]]
|
||||
- [[QSG Poster Notes.md]]
|
||||
- [[Qualifier Support Group Plan.md]]
|
||||
|
||||
@ -16,8 +16,9 @@ High level overview of what a proposal does and what you need to do.
|
||||
|
||||
## **February 14th**
|
||||
**Goals and Outcomes / Hypothesis**
|
||||
- [ ] [[2025-02-14 - Goals and Outcomes]] #GSA 📅 2025-02-13 ⏳ 2025-02-11
|
||||
- [x] [[2025-02-14 - Goals and Outcomes]] #GSA ⏳ 2025-02-11 📅 2025-02-13 ✅ 2025-02-14
|
||||
## **February 21st**
|
||||
OUT BY 11AM
|
||||
State of the Art
|
||||
- [ ] [[2025-02-21 - State of the Art]] #GSA 📅 2025-02-20 ⏳ 2025-02-18
|
||||
## **February 28th**
|
||||
@ -27,6 +28,7 @@ Research Approach
|
||||
Spring Break - Come if you wanna and chat
|
||||
- [ ] [[2025-03-07 - Catch Up]] #GSA 📅 2025-03-06 ⏳ 2025-03-05
|
||||
## **March 14th**
|
||||
OUT BY 11AM
|
||||
**Metrics of Success, Risks and Contingencies**
|
||||
- [ ] [[2025-03-14 - Metrics of Success, Risks and Contingencies]] #GSA 📅 2025-03-14 ⏳ 2025-03-14
|
||||
## **March 21st**
|
||||
@ -43,6 +45,7 @@ Spring Break - Come if you wanna and chat
|
||||
## **April 4th**
|
||||
**Presentation Peer Review**
|
||||
## April 11th
|
||||
OUT BY 11AM
|
||||
**Presentation Peer Review**
|
||||
- Likely Presentations start next week
|
||||
|
||||
|
||||
@ -1,4 +1,4 @@
|
||||
Generated by ChatGPT on 2025-02-10
|
||||
Generated by ChatGPT on 2025-02-12
|
||||
|
||||
# Table of Contents for 200 Library Papers
|
||||
|
||||
|
||||
@ -1,4 +1,4 @@
|
||||
Generated by ChatGPT on 2025-02-10
|
||||
Generated by ChatGPT on 2025-02-12
|
||||
|
||||
# Table of Contents for 2000 Images
|
||||
|
||||
|
||||
@ -1,4 +1,4 @@
|
||||
Generated by ChatGPT on 2025-02-10
|
||||
Generated by ChatGPT on 2025-02-12
|
||||
|
||||
# Table of Contents for 201 Metadata
|
||||
|
||||
|
||||
@ -2199,6 +2199,13 @@ Opportunities and Challenges toward Responsible AI.pdf}
|
||||
urldate = {2025-01-23}
|
||||
}
|
||||
|
||||
@online{Chap5_System_Analysis_S2020pdf2254ME,
|
||||
title = {Chap5\_{{System}}\_{{Analysis}}\_{{S2020}}.Pdf: 2254 {{ME}} 2046 {{SEC1000 DIGITAL CONTROL SYSTEMS}}},
|
||||
url = {https://canvas.pitt.edu/courses/301794/files/19780672?module_item_id=5559115},
|
||||
urldate = {2025-02-13},
|
||||
file = {/home/danesabo/Zotero/storage/776LHVYY/Chap5_System_Analysis_S2020.pdf 2254 ME 2046 SEC1000 DIGITAL CONTROL SYSTEMS.pdf;/home/danesabo/Zotero/storage/JIL2TCMN/19780672.html}
|
||||
}
|
||||
|
||||
@article{chappellatElementaryProofsClassical1990,
|
||||
title = {Elementary Proofs of Some Classical Stability Criteria},
|
||||
author = {Chappellat, H. and Mansour, M. and Bhattacharyya, S.P.},
|
||||
|
||||
@ -1,4 +1,4 @@
|
||||
Generated by ChatGPT on 2025-02-10
|
||||
Generated by ChatGPT on 2025-02-12
|
||||
|
||||
# Table of Contents for 1. Ideas for ARCADE Experiments
|
||||
|
||||
|
||||
@ -1,4 +1,4 @@
|
||||
Generated by ChatGPT on 2025-02-10
|
||||
Generated by ChatGPT on 2025-02-12
|
||||
|
||||
# Table of Contents for 3 ARCADE
|
||||
|
||||
|
||||
@ -1,4 +1,4 @@
|
||||
Generated by ChatGPT on 2025-02-10
|
||||
Generated by ChatGPT on 2025-02-12
|
||||
|
||||
# Table of Contents for 3-99 Research
|
||||
|
||||
@ -9,6 +9,9 @@ Generated by ChatGPT on 2025-02-10
|
||||
- [[7 BeagleBone/7 BeagleBone - README]]
|
||||
- [[8.Zotero Web Server/8.Zotero Web Server - README]]
|
||||
- [[99 Getting Used to Obsidian/99 Getting Used to Obsidian - README]]
|
||||
- [[Haskell/Haskell - README]]
|
||||
- [[Rust/Rust - README]]
|
||||
- [[TLA/TLA - README]]
|
||||
|
||||
## Files
|
||||
- [[Microreactors.md]]
|
||||
|
||||
@ -1,4 +1,4 @@
|
||||
Generated by ChatGPT on 2025-02-10
|
||||
Generated by ChatGPT on 2025-02-12
|
||||
|
||||
# Table of Contents for 5 PhD Proposal Ideas
|
||||
|
||||
|
||||
@ -1,4 +1,4 @@
|
||||
Generated by ChatGPT on 2025-02-10
|
||||
Generated by ChatGPT on 2025-02-12
|
||||
|
||||
# Table of Contents for 6 Researching Techniques
|
||||
|
||||
|
||||
@ -1,4 +1,4 @@
|
||||
Generated by ChatGPT on 2025-02-10
|
||||
Generated by ChatGPT on 2025-02-12
|
||||
|
||||
# Table of Contents for 7 BeagleBone
|
||||
|
||||
|
||||
@ -1,4 +1,4 @@
|
||||
Generated by ChatGPT on 2025-02-10
|
||||
Generated by ChatGPT on 2025-02-12
|
||||
|
||||
# Table of Contents for 8.Zotero Web Server
|
||||
|
||||
|
||||
@ -1,4 +1,4 @@
|
||||
Generated by ChatGPT on 2025-02-10
|
||||
Generated by ChatGPT on 2025-02-12
|
||||
|
||||
# Table of Contents for 99 Getting Used to Obsidian
|
||||
|
||||
|
||||
7
3-99 Research/Haskell/Haskell - README.md
Normal file
7
3-99 Research/Haskell/Haskell - README.md
Normal file
@ -0,0 +1,7 @@
|
||||
Generated by ChatGPT on 2025-02-12
|
||||
|
||||
# Table of Contents for Haskell
|
||||
|
||||
## Files
|
||||
- [[Learning Plan.md]]
|
||||
|
||||
11
3-99 Research/Haskell/Learning Plan.md
Normal file
11
3-99 Research/Haskell/Learning Plan.md
Normal file
@ -0,0 +1,11 @@
|
||||
- [ ] Chapter 1: Introduction #Haskell 📅 2025-02-12 ⏳ 2025-02-18
|
||||
- [ ] Chapter 2: Starting Out #Haskell 📅 2025-02-19 ⏳ 2025-02-25
|
||||
- [ ] Chapter 3: Types and Typeclasses #Haskell 📅 2025-02-26 ⏳ 2025-03-04
|
||||
- [ ] Chapter 4: Syntax in Functions #Haskell 📅 2025-03-05 ⏳ 2025-03-11
|
||||
- [ ] Chapter 5: Recursion #Haskell 📅 2025-03-12 ⏳ 2025-03-18
|
||||
- [ ] Chapter 6: Higher Order Functions #Haskell 📅 2025-03-19 ⏳ 2025-03-25
|
||||
- [ ] Chapter 7: Modules #Haskell 📅 2025-03-26 ⏳ 2025-04-01
|
||||
- [ ] Chapter 8: Making Our Own Types and Typeclasses #Haskell 📅 2025-04-02 ⏳ 2025-04-08
|
||||
- [ ] Chapter 9: A Fistful of Monads #Haskell 📅 2025-04-09 ⏳ 2025-04-15
|
||||
- [ ] Chapter 10: For a Few Monads More #Haskell 📅 2025-04-16 ⏳ 2025-04-22
|
||||
- [ ] Chapter 11: A Nice Little Course on Lambdas #Haskell 📅 2025-04-23 ⏳ 2025-04-29
|
||||
@ -1,15 +1,15 @@
|
||||
# What Microreactors are out there?
|
||||
Found a really nice review paper
|
||||
- [ ] [[testoniReviewNuclearMicroreactors2021]] #Reading 🔽 ⏳ 2025-01-27 📅 2025-02-11
|
||||
- [<] [[testoniReviewNuclearMicroreactors2021]] #Reading 🔽 ⏳ 2025-01-27 📅 2025-02-11
|
||||
|
||||
# What Models Exist?
|
||||
Looks like one group did it.
|
||||
- [ ] [[aModeladoNucleoAnalisis2023]] #Reading 🔽 ⏳ 2025-01-27 📅 2025-02-11
|
||||
- [<] [[aModeladoNucleoAnalisis2023]] #Reading 🔽 ⏳ 2025-01-27 📅 2025-02-11
|
||||
Published in 2023.
|
||||
- [ ] [[gengSimplifiedReactorModel2024]] #Reading 🔽 ⏳ 2025-01-27 📅 2025-02-11
|
||||
- [<] [[gengSimplifiedReactorModel2024]] #Reading 🔽 ⏳ 2025-01-27 📅 2025-02-11
|
||||
High Temperature Gas Reactor
|
||||
|
||||
Lots of modeling of heat pipes
|
||||
- ["] [[matthewsCoupledMultiphysicsSimulations2021]] #Reading 🔽 ⏳ 2025-01-27 📅 2025-02-11
|
||||
- [ ] [[stauffHighFidelityMultiphysicsModeling]] #Reading 🔽 ⏳ 2025-01-27 📅 2025-02-11
|
||||
- [<] [[matthewsCoupledMultiphysicsSimulations2021]] #Reading 🔽 ⏳ 2025-01-27 📅 2025-02-11
|
||||
- [<] [[stauffHighFidelityMultiphysicsModeling]] #Reading 🔽 ⏳ 2025-01-27 📅 2025-02-11
|
||||
|
||||
|
||||
19
3-99 Research/Rust/Learning Plan.md
Normal file
19
3-99 Research/Rust/Learning Plan.md
Normal file
@ -0,0 +1,19 @@
|
||||
- [ ] Chapter 1: Getting Started #Rust 📅 2025-02-11 ⏳ 2025-02-17
|
||||
- [ ] Chapter 2: Programming a Guessing Game #Rust 📅 2025-02-18 ⏳ 2025-02-24
|
||||
- [ ] Chapter 3: Common Programming Concepts #Rust 📅 2025-02-25 ⏳ 2025-03-03
|
||||
- [ ] Chapter 4: Understanding Ownership #Rust 📅 2025-03-04 ⏳ 2025-03-10
|
||||
- [ ] Chapter 5: Using Structs to Structure Related Data #Rust 📅 2025-03-11 ⏳ 2025-03-17
|
||||
- [ ] Chapter 6: Enums and Pattern Matching #Rust 📅 2025-03-18 ⏳ 2025-03-24
|
||||
- [ ] Chapter 7: Managing Growing Projects with Packages, Crates, and Modules #Rust 📅 2025-03-25 ⏳ 2025-03-31
|
||||
- [ ] Chapter 8: Common Collections #Rust 📅 2025-04-01 ⏳ 2025-04-07
|
||||
- [ ] Chapter 9: Error Handling #Rust 📅 2025-04-08 ⏳ 2025-04-14
|
||||
- [ ] Chapter 10: Generic Types, Traits, and Lifetimes #Rust 📅 2025-04-15 ⏳ 2025-04-21
|
||||
- [ ] Chapter 11: Writing Automated Tests #Rust 📅 2025-04-22 ⏳ 2025-04-28
|
||||
- [ ] Chapter 12: An I/O Project: Building a Command Line Program #Rust 📅 2025-04-29 ⏳ 2025-05-05
|
||||
- [ ] Chapter 13: Functional Language Features: Iterators and Closures #Rust 📅 2025-05-06 ⏳ 2025-05-12
|
||||
- [ ] Chapter 14: More about Cargo and Crates.io #Rust 📅 2025-05-13 ⏳ 2025-05-19
|
||||
- [ ] Chapter 15: Smart Pointers #Rust 📅 2025-05-20 ⏳ 2025-05-26
|
||||
- [ ] Chapter 16: Fearless Concurrency #Rust 📅 2025-05-27 ⏳ 2025-06-02
|
||||
- [ ] Chapter 17: Object-Oriented Programming Features of Rust #Rust 📅 2025-06-03 ⏳ 2025-06-09
|
||||
- [ ] Chapter 18: Patterns and Matching #Rust 📅 2025-06-10 ⏳ 2025-06-16
|
||||
- [ ] Chapter 19: Advanced Features #Rust 📅 2025-06-17 ⏳ 2025-06-23
|
||||
7
3-99 Research/Rust/Rust - README.md
Normal file
7
3-99 Research/Rust/Rust - README.md
Normal file
@ -0,0 +1,7 @@
|
||||
Generated by ChatGPT on 2025-02-12
|
||||
|
||||
# Table of Contents for Rust
|
||||
|
||||
## Files
|
||||
- [[Learning Plan.md]]
|
||||
|
||||
9
3-99 Research/TLA/TLA - README.md
Normal file
9
3-99 Research/TLA/TLA - README.md
Normal file
@ -0,0 +1,9 @@
|
||||
Generated by ChatGPT on 2025-02-12
|
||||
|
||||
# Table of Contents for TLA
|
||||
|
||||
## Files
|
||||
- [[TLA Canvas.canvas]]
|
||||
- [[What is TLA?.md]]
|
||||
- [[What the hell is liveness?.md]]
|
||||
|
||||
@ -1,4 +1,4 @@
|
||||
Generated by ChatGPT on 2025-02-10
|
||||
Generated by ChatGPT on 2025-02-12
|
||||
|
||||
# Table of Contents for 300s School
|
||||
|
||||
|
||||
@ -1,4 +1,4 @@
|
||||
Generated by ChatGPT on 2025-02-10
|
||||
Generated by ChatGPT on 2025-02-12
|
||||
|
||||
# Table of Contents for 2024-09-09
|
||||
|
||||
|
||||
@ -1,4 +1,4 @@
|
||||
Generated by ChatGPT on 2025-02-10
|
||||
Generated by ChatGPT on 2025-02-12
|
||||
|
||||
# Table of Contents for ME 2016 - Nonlinear Dynamical Systems 1
|
||||
|
||||
|
||||
@ -1,4 +1,4 @@
|
||||
Generated by ChatGPT on 2025-02-10
|
||||
Generated by ChatGPT on 2025-02-12
|
||||
|
||||
# Table of Contents for images
|
||||
|
||||
|
||||
@ -1,7 +1,7 @@
|
||||
# Homework
|
||||
- [/] Homework Assignment 2 #ME2046 ⏳ 2025-02-03 📅 2025-02-06
|
||||
- [ ] Homework Assignment 2 - Code Files #ME2046 📅 2025-02-06 ⏳ 2025-02-03
|
||||
- [ ] Homework Assignment 3 #ME2046 📅 2025-02-20 ⏳ 2025-02-17
|
||||
- [x] Homework Assignment 2 #ME2046 ⏳ 2025-02-03 📅 2025-02-06 ✅ 2025-02-13
|
||||
- [x] Homework Assignment 2 - Code Files #ME2046 ⏳ 2025-02-03 📅 2025-02-06 ✅ 2025-02-13
|
||||
- [ ] Homework Assignment 3 #ME2046 ⏫ ⏳ 2025-02-17 📅 2025-02-27
|
||||
- [ ] Homework Assignment 4 #ME2046 📅 2025-03-06 ⏳ 2025-03-03
|
||||
- [ ] Homework Assignment 5 #ME2046 📅 2025-03-20 ⏳ 2025-03-17
|
||||
- [ ] Homework Assignment 6 #ME2046 📅 2025-04-03 ⏳ 2025-03-31
|
||||
|
||||
@ -0,0 +1,4 @@
|
||||
Generated by ChatGPT on 2025-02-12
|
||||
|
||||
# Table of Contents for Homework 2
|
||||
|
||||
@ -1,7 +1,10 @@
|
||||
Generated by ChatGPT on 2025-02-10
|
||||
Generated by ChatGPT on 2025-02-12
|
||||
|
||||
# Table of Contents for ME 2046 - Digital Control Theory
|
||||
|
||||
## Subdirectories
|
||||
- [[Homework 2/Homework 2 - README]]
|
||||
|
||||
## Files
|
||||
- [[2025-01-09 Sampling Theory.md]]
|
||||
- [[2025-01-16 The Z Transform.md]]
|
||||
|
||||
@ -1,4 +1,4 @@
|
||||
Generated by ChatGPT on 2025-02-10
|
||||
Generated by ChatGPT on 2025-02-12
|
||||
|
||||
# Table of Contents for ME 2085 - Graduate Seminar
|
||||
|
||||
|
||||
@ -1 +1,6 @@
|
||||
- [x] The seL4 Tutorials, Hello World! #ME2150 ⏳ 2025-02-03 📅 2025-02-04 ✅ 2025-02-10
|
||||
- [x] The seL4 Tutorials, Hello World! #ME2150 ⏳ 2025-02-03 📅 2025-02-04 ✅ 2025-02-10
|
||||
- [x] Part 1 of Microkit Tutorial #ME2150 ⏳ 2025-02-12 📅 2025-02-13 ✅ 2025-02-12
|
||||
- [<] Part 2 of Microkit Tutorial #ME2150 ⏳ 2025-02-12 📅 2025-02-13
|
||||
- [ ] Part 3 of Microkit Tutorial #ME2150 ⏳ 2025-02-18 📅 2025-02-20
|
||||
- [ ] Part 4 of Microkit Tutorial #ME2150 ⏳ 2025-02-18 📅 2025-02-20
|
||||
- [<] Introduction to SeL4 Proofs #ME2150 ⏳ 2025-02-13 📅 2025-02-13
|
||||
@ -0,0 +1,43 @@
|
||||
Given by Jeremy Avigad, From CMU's Philosopy department
|
||||
|
||||
We're doing veverything through a VSCode lecture.
|
||||
- Lean nicely formats things like natural number symbols
|
||||
- Copilot in vscode also looks pretty insane. Pretty sick preloading for what people anticipate
|
||||
|
||||
We're proving the factorial
|
||||
```lean
|
||||
def fac: N->N
|
||||
| 0=>1
|
||||
| n+1 => (n+1) * fac n
|
||||
|
||||
#check fac
|
||||
#print fac
|
||||
#eval fac 3 /- this will actually run the function -/
|
||||
```
|
||||
These are functional definitions
|
||||
|
||||
Lean is suprisingly a good programming language. Most of lean is written in lean
|
||||
|
||||
```lean
|
||||
theorem dvd_fac: \forall n, \forall i \leq n, i | fac n:= by
|
||||
intro n
|
||||
induction' n with n ih
|
||||
. simp: [fac] /-(now something is wrong. 1=0..? Turns out our theorem is false when i = 0!)-/
|
||||
/-so change i to i+1-/
|
||||
. intro i h
|
||||
rw[fac]
|
||||
rcases lt_or_eq_of_le (Nat.le_of_lt_succ N) with h1 | rfl
|
||||
. apply dvd_mulof_dvd_right
|
||||
apply ih _ h1
|
||||
|
||||
. dvd_mul_right
|
||||
|
||||
#check dvd_fac /- it works! -/
|
||||
|
||||
```
|
||||
|
||||
'fac' is a program, and we just proved something about it.
|
||||
|
||||
This is what software verification is all about.
|
||||
|
||||
**ITP** is an interactive theorem prover
|
||||
@ -1,4 +1,4 @@
|
||||
Generated by ChatGPT on 2025-02-10
|
||||
Generated by ChatGPT on 2025-02-12
|
||||
|
||||
# Table of Contents for ME 2150 - High Assurance Cyber-Physical Systems
|
||||
|
||||
@ -8,6 +8,7 @@ Generated by ChatGPT on 2025-02-10
|
||||
- [[2025-01-16 HACMS Program Overview.md]]
|
||||
- [[Capabilities Tutorials.md]]
|
||||
- [[Investigating seL4 with Docker.md]]
|
||||
- [[Lean.md]]
|
||||
- [[ME 2150 - High-Assurance Cyber-Physical Systems Homework 1 Complete.md]]
|
||||
- [[ME 2150 - High-Assurance Cyber-Physical Systems Homework 1.md]]
|
||||
- [[press.png]]
|
||||
|
||||
@ -44,13 +44,13 @@ Examples of an outcomes written to varying degrees.
|
||||
|
||||
**Goal:** The goal of this research is to generate artificial light.
|
||||
|
||||
|**Quality**|**Outcome**|
|
||||
|---|---|
|
||||
|Good|Use electricity to generate incandescent light from a wire filament.|
|
||||
|Vague|Use electricity to make light.|
|
||||
|Unmeasurable|Understand how incandescent light can be made with electricity.|
|
||||
|Verbose|Use AC or DC electricity to generate light as a result of heating a wire filament to sufficiently high temperatures.|
|
||||
|Not goal related|Determine the relationship between filament temperature and the characteristic of the light emitted.|
|
||||
| **Quality** | **Outcome** |
|
||||
| ---------------- | -------------------------------------------------------------------------------------------------------------------- |
|
||||
| Good | Use electricity to generate incandescent light from a wire filament. |
|
||||
| Vague | Use electricity to make light. |
|
||||
| Unmeasurable | Understand how incandescent light can be made with electricity. |
|
||||
| Verbose | Use AC or DC electricity to generate light as a result of heating a wire filament to sufficiently high temperatures. |
|
||||
| Not goal related | Determine the relationship between filament temperature and the characteristic of the light emitted. |
|
||||
|
||||
How many outcomes should you have? You want the reviewer to be able to remember your outcomes --- they should be able to recall your outcomes throughout the proposal--- so don't make too many, but don't make too few since that runs the risk of suggesting either a narrow scope for the research or overly broad outcomes that don't define the research sufficiently. Between three and five is about right. Less than three is too few --- the reviewer wonders what else you might be able accomplish. More than five is too much --- the reviewer thinks that you are over committing yourself. My preference is three outcomes, and there is room for more if you absolutely need them.
|
||||
|
||||
|
||||
@ -1,4 +1,4 @@
|
||||
Generated by ChatGPT on 2025-02-10
|
||||
Generated by ChatGPT on 2025-02-12
|
||||
|
||||
# Table of Contents for ME 3100 - Engineering Research and Leadership Management
|
||||
|
||||
|
||||
@ -1,4 +1,4 @@
|
||||
Generated by ChatGPT on 2025-02-10
|
||||
Generated by ChatGPT on 2025-02-12
|
||||
|
||||
# Table of Contents for NUCE 2100 - Fundamentals of Nuclear Engineering
|
||||
|
||||
|
||||
@ -1,4 +1,4 @@
|
||||
Generated by ChatGPT on 2025-02-10
|
||||
Generated by ChatGPT on 2025-02-12
|
||||
|
||||
# Table of Contents for NUCE 2103 - Integration of Plant Systems with the Reactor Core
|
||||
|
||||
|
||||
@ -3,5 +3,5 @@
|
||||
# Lab Reports
|
||||
- [x] Lab Report 2 #NUCE2113 ⏫ ⏳ 2025-02-03 📅 2025-02-04 ✅ 2025-02-04
|
||||
- [x] Lab Report 3 #NUCE2113 ⏳ 2025-02-05 📅 2025-02-11 ✅ 2025-02-10
|
||||
- [ ] Lab Report 4 #NUCE2113 📅 2025-02-18 ⏳ 2025-02-12
|
||||
- [<] Lab Report 4 #NUCE2113 ⏳ 2025-02-12 📅 2025-02-18
|
||||
- [ ] Lab Report 5 #NUCE2113 📅 2025-02-25 ⏳ 2025-02-19
|
||||
@ -0,0 +1,42 @@
|
||||
Mystery fluid has been inserted into the holder at 2mm
|
||||
Chip says it's a lot of fluid
|
||||
First count measurement of 30s 2721
|
||||
February 11th, 18:04
|
||||
1. 2721
|
||||
2. 1824
|
||||
3. 1579
|
||||
4. 1298
|
||||
5. 1136
|
||||
6. 911
|
||||
7. 764
|
||||
8. 623
|
||||
9. 511
|
||||
10. 430
|
||||
11. 380
|
||||
12. 317
|
||||
13. 283
|
||||
14. 238
|
||||
15. 169
|
||||
|
||||
Background count 56 2 minute
|
||||
|
||||
s - 0.48
|
||||
|
||||
60Co Source is going in! 3cm distance
|
||||
2cm from GM tube, 1cm from cobalt
|
||||
|
||||
| Amount Lead mg/cm^2 | 2 Minute Count |
|
||||
| ------------------- | -------------- |
|
||||
| 0 | 797 |
|
||||
| 1120 | 542 |
|
||||
| 2066 | 537 |
|
||||
| 3448 | 507 |
|
||||
| 7367 | 395 |
|
||||
| 1k + 3k | 431 |
|
||||
| 2000+3000 | 406 |
|
||||
| 3000+7000 | 323 |
|
||||
| 2000+7000 | 357 |
|
||||
| 2x 7k | 290 |
|
||||
| 2x 7k background | 69 |
|
||||
|
||||
|
||||
Some files were not shown because too many files have changed in this diff Show More
Loading…
x
Reference in New Issue
Block a user