diff --git a/.obsidian/bookmarks.json b/.obsidian/bookmarks.json index 9cef3c8ec..f5c6b2461 100644 --- a/.obsidian/bookmarks.json +++ b/.obsidian/bookmarks.json @@ -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" } ] } \ No newline at end of file diff --git a/.obsidian/core-plugins.json b/.obsidian/core-plugins.json index 59b2727d8..43ff901eb 100755 --- a/.obsidian/core-plugins.json +++ b/.obsidian/core-plugins.json @@ -27,5 +27,5 @@ "file-recovery": true, "publish": false, "sync": false, - "webviewer": false + "webviewer": true } \ No newline at end of file diff --git a/.obsidian/graph.json b/.obsidian/graph.json index c3f37d9c5..f1789e9b5 100755 --- a/.obsidian/graph.json +++ b/.obsidian/graph.json @@ -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 -} \ No newline at end of file + "centerStrength": 0.533854166666667, + "repelStrength": 18.0729166666667, + "linkStrength": 0.744791666666667, + "linkDistance": 177, + "scale": 0.42284390301209, + "close": false +} diff --git a/.obsidian/hotkeys.json b/.obsidian/hotkeys.json index a15d76783..32e266e6f 100755 --- a/.obsidian/hotkeys.json +++ b/.obsidian/hotkeys.json @@ -250,5 +250,13 @@ ], "key": "D" } + ], + "templater-obsidian:1000s Templates/Daily Note Template 2.0.md": [ + { + "modifiers": [ + "Alt" + ], + "key": "D" + } ] } \ No newline at end of file diff --git a/.obsidian/icons/icons - README.md b/.obsidian/icons/icons - README.md index ea8c458a5..c581af03f 100644 --- a/.obsidian/icons/icons - README.md +++ b/.obsidian/icons/icons - README.md @@ -1,4 +1,4 @@ -Generated by ChatGPT on 2025-02-10 +Generated by ChatGPT on 2025-02-12 # Table of Contents for icons diff --git a/.obsidian/plugins/colored-tags/colored-tags - README.md b/.obsidian/plugins/colored-tags/colored-tags - README.md index cc41e6e78..f58c0e06c 100644 --- a/.obsidian/plugins/colored-tags/colored-tags - README.md +++ b/.obsidian/plugins/colored-tags/colored-tags - README.md @@ -1,4 +1,4 @@ -Generated by ChatGPT on 2025-02-10 +Generated by ChatGPT on 2025-02-12 # Table of Contents for colored-tags diff --git a/.obsidian/plugins/colored-tags/data.json b/.obsidian/plugins/colored-tags/data.json index 801eab6cc..8f05d8398 100755 --- a/.obsidian/plugins/colored-tags/data.json +++ b/.obsidian/plugins/colored-tags/data.json @@ -189,7 +189,10 @@ "Reading": 177, "Union": 178, "Follow-Up": 179, - "TLA": 180 + "TLA": 180, + "Haskell": 181, + "Rust": 182, + "LEAN": 183 }, "_version": 3 } \ No newline at end of file diff --git a/.obsidian/plugins/dataview/dataview - README.md b/.obsidian/plugins/dataview/dataview - README.md index e2f17da70..26e8e850e 100644 --- a/.obsidian/plugins/dataview/dataview - README.md +++ b/.obsidian/plugins/dataview/dataview - README.md @@ -1,4 +1,4 @@ -Generated by ChatGPT on 2025-02-10 +Generated by ChatGPT on 2025-02-12 # Table of Contents for dataview diff --git a/.obsidian/plugins/highlightr-plugin/highlightr-plugin - README.md b/.obsidian/plugins/highlightr-plugin/highlightr-plugin - README.md index ddad87c19..400095be1 100644 --- a/.obsidian/plugins/highlightr-plugin/highlightr-plugin - README.md +++ b/.obsidian/plugins/highlightr-plugin/highlightr-plugin - README.md @@ -1,4 +1,4 @@ -Generated by ChatGPT on 2025-02-10 +Generated by ChatGPT on 2025-02-12 # Table of Contents for highlightr-plugin diff --git a/.obsidian/plugins/obsidian-admonition/obsidian-admonition - README.md b/.obsidian/plugins/obsidian-admonition/obsidian-admonition - README.md index c5797c2f9..ce204d132 100644 --- a/.obsidian/plugins/obsidian-admonition/obsidian-admonition - README.md +++ b/.obsidian/plugins/obsidian-admonition/obsidian-admonition - README.md @@ -1,4 +1,4 @@ -Generated by ChatGPT on 2025-02-10 +Generated by ChatGPT on 2025-02-12 # Table of Contents for obsidian-admonition diff --git a/.obsidian/plugins/obsidian-citation-plugin/obsidian-citation-plugin - README.md b/.obsidian/plugins/obsidian-citation-plugin/obsidian-citation-plugin - README.md index 5822c7623..5df792c83 100644 --- a/.obsidian/plugins/obsidian-citation-plugin/obsidian-citation-plugin - README.md +++ b/.obsidian/plugins/obsidian-citation-plugin/obsidian-citation-plugin - README.md @@ -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 diff --git a/.obsidian/plugins/obsidian-enhancing-export/lua/lua - README.md b/.obsidian/plugins/obsidian-enhancing-export/lua/lua - README.md index 9751a85cc..fff49cedf 100644 --- a/.obsidian/plugins/obsidian-enhancing-export/lua/lua - README.md +++ b/.obsidian/plugins/obsidian-enhancing-export/lua/lua - README.md @@ -1,4 +1,4 @@ -Generated by ChatGPT on 2025-02-10 +Generated by ChatGPT on 2025-02-12 # Table of Contents for lua diff --git a/.obsidian/plugins/obsidian-enhancing-export/obsidian-enhancing-export - README.md b/.obsidian/plugins/obsidian-enhancing-export/obsidian-enhancing-export - README.md index f2b51b6fb..c9fbdfc86 100644 --- a/.obsidian/plugins/obsidian-enhancing-export/obsidian-enhancing-export - README.md +++ b/.obsidian/plugins/obsidian-enhancing-export/obsidian-enhancing-export - README.md @@ -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 diff --git a/.obsidian/plugins/obsidian-enhancing-export/textemplate/textemplate - README.md b/.obsidian/plugins/obsidian-enhancing-export/textemplate/textemplate - README.md index bf0106437..e6050d9b4 100644 --- a/.obsidian/plugins/obsidian-enhancing-export/textemplate/textemplate - README.md +++ b/.obsidian/plugins/obsidian-enhancing-export/textemplate/textemplate - README.md @@ -1,4 +1,4 @@ -Generated by ChatGPT on 2025-02-10 +Generated by ChatGPT on 2025-02-12 # Table of Contents for textemplate diff --git a/.obsidian/plugins/obsidian-footnotes/obsidian-footnotes - README.md b/.obsidian/plugins/obsidian-footnotes/obsidian-footnotes - README.md index 163dc2653..dcab7c8af 100644 --- a/.obsidian/plugins/obsidian-footnotes/obsidian-footnotes - README.md +++ b/.obsidian/plugins/obsidian-footnotes/obsidian-footnotes - README.md @@ -1,4 +1,4 @@ -Generated by ChatGPT on 2025-02-10 +Generated by ChatGPT on 2025-02-12 # Table of Contents for obsidian-footnotes diff --git a/.obsidian/plugins/obsidian-full-calendar/obsidian-full-calendar - README.md b/.obsidian/plugins/obsidian-full-calendar/obsidian-full-calendar - README.md index 7fede8fff..ca646f201 100644 --- a/.obsidian/plugins/obsidian-full-calendar/obsidian-full-calendar - README.md +++ b/.obsidian/plugins/obsidian-full-calendar/obsidian-full-calendar - README.md @@ -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 diff --git a/.obsidian/plugins/obsidian-git/obsidian-git - README.md b/.obsidian/plugins/obsidian-git/obsidian-git - README.md index 6690373d7..be2337ecd 100644 --- a/.obsidian/plugins/obsidian-git/obsidian-git - README.md +++ b/.obsidian/plugins/obsidian-git/obsidian-git - README.md @@ -1,4 +1,4 @@ -Generated by ChatGPT on 2025-02-10 +Generated by ChatGPT on 2025-02-12 # Table of Contents for obsidian-git diff --git a/.obsidian/plugins/obsidian-icon-folder/obsidian-icon-folder - README.md b/.obsidian/plugins/obsidian-icon-folder/obsidian-icon-folder - README.md index 33382bdc0..8451af199 100644 --- a/.obsidian/plugins/obsidian-icon-folder/obsidian-icon-folder - README.md +++ b/.obsidian/plugins/obsidian-icon-folder/obsidian-icon-folder - README.md @@ -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 diff --git a/.obsidian/plugins/obsidian-pandoc-reference-list/obsidian-pandoc-reference-list - README.md b/.obsidian/plugins/obsidian-pandoc-reference-list/obsidian-pandoc-reference-list - README.md index e2596d680..cd5cf9c38 100644 --- a/.obsidian/plugins/obsidian-pandoc-reference-list/obsidian-pandoc-reference-list - README.md +++ b/.obsidian/plugins/obsidian-pandoc-reference-list/obsidian-pandoc-reference-list - README.md @@ -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 diff --git a/.obsidian/plugins/obsidian-style-settings/obsidian-style-settings - README.md b/.obsidian/plugins/obsidian-style-settings/obsidian-style-settings - README.md index e5c5cbb79..da5c8697a 100644 --- a/.obsidian/plugins/obsidian-style-settings/obsidian-style-settings - README.md +++ b/.obsidian/plugins/obsidian-style-settings/obsidian-style-settings - README.md @@ -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 diff --git a/.obsidian/plugins/obsidian-tasks-plugin/obsidian-tasks-plugin - README.md b/.obsidian/plugins/obsidian-tasks-plugin/obsidian-tasks-plugin - README.md index ba50179aa..b0ecbb710 100644 --- a/.obsidian/plugins/obsidian-tasks-plugin/obsidian-tasks-plugin - README.md +++ b/.obsidian/plugins/obsidian-tasks-plugin/obsidian-tasks-plugin - README.md @@ -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 diff --git a/.obsidian/plugins/obsidian-zotero-desktop-connector/obsidian-zotero-desktop-connector - README.md b/.obsidian/plugins/obsidian-zotero-desktop-connector/obsidian-zotero-desktop-connector - README.md index 2f30b9fce..f777c100d 100644 --- a/.obsidian/plugins/obsidian-zotero-desktop-connector/obsidian-zotero-desktop-connector - README.md +++ b/.obsidian/plugins/obsidian-zotero-desktop-connector/obsidian-zotero-desktop-connector - README.md @@ -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 diff --git a/.obsidian/plugins/plugins - README.md b/.obsidian/plugins/plugins - README.md index 7deb15858..8dcd16f90 100644 --- a/.obsidian/plugins/plugins - README.md +++ b/.obsidian/plugins/plugins - README.md @@ -1,4 +1,4 @@ -Generated by ChatGPT on 2025-02-10 +Generated by ChatGPT on 2025-02-12 # Table of Contents for plugins diff --git a/.obsidian/plugins/templater-obsidian/templater-obsidian - README.md b/.obsidian/plugins/templater-obsidian/templater-obsidian - README.md index 658d26a7a..cea1c3a2c 100644 --- a/.obsidian/plugins/templater-obsidian/templater-obsidian - README.md +++ b/.obsidian/plugins/templater-obsidian/templater-obsidian - README.md @@ -1,4 +1,4 @@ -Generated by ChatGPT on 2025-02-10 +Generated by ChatGPT on 2025-02-12 # Table of Contents for templater-obsidian diff --git a/.obsidian/snippets/snippets - README.md b/.obsidian/snippets/snippets - README.md index 5dab83ebc..45ef74efd 100644 --- a/.obsidian/snippets/snippets - README.md +++ b/.obsidian/snippets/snippets - README.md @@ -1,4 +1,4 @@ -Generated by ChatGPT on 2025-02-10 +Generated by ChatGPT on 2025-02-12 # Table of Contents for snippets diff --git a/.obsidian/themes/AnuPpuccin/AnuPpuccin - README.md b/.obsidian/themes/AnuPpuccin/AnuPpuccin - README.md index 5050c6e21..6ee022907 100644 --- a/.obsidian/themes/AnuPpuccin/AnuPpuccin - README.md +++ b/.obsidian/themes/AnuPpuccin/AnuPpuccin - README.md @@ -1,4 +1,4 @@ -Generated by ChatGPT on 2025-02-10 +Generated by ChatGPT on 2025-02-12 # Table of Contents for AnuPpuccin diff --git a/.obsidian/themes/Everforest/Everforest - README.md b/.obsidian/themes/Everforest/Everforest - README.md index 81fd6dabc..677e64b1e 100644 --- a/.obsidian/themes/Everforest/Everforest - README.md +++ b/.obsidian/themes/Everforest/Everforest - README.md @@ -1,4 +1,4 @@ -Generated by ChatGPT on 2025-02-10 +Generated by ChatGPT on 2025-02-12 # Table of Contents for Everforest diff --git a/.obsidian/themes/Minimal/Minimal - README.md b/.obsidian/themes/Minimal/Minimal - README.md index 459550d20..29de140e9 100644 --- a/.obsidian/themes/Minimal/Minimal - README.md +++ b/.obsidian/themes/Minimal/Minimal - README.md @@ -1,4 +1,4 @@ -Generated by ChatGPT on 2025-02-10 +Generated by ChatGPT on 2025-02-12 # Table of Contents for Minimal diff --git a/.obsidian/themes/Obsidian Nord/Obsidian Nord - README.md b/.obsidian/themes/Obsidian Nord/Obsidian Nord - README.md index 9460223e1..cf7c439eb 100644 --- a/.obsidian/themes/Obsidian Nord/Obsidian Nord - README.md +++ b/.obsidian/themes/Obsidian Nord/Obsidian Nord - README.md @@ -1,4 +1,4 @@ -Generated by ChatGPT on 2025-02-10 +Generated by ChatGPT on 2025-02-12 # Table of Contents for Obsidian Nord diff --git a/.obsidian/themes/themes - README.md b/.obsidian/themes/themes - README.md index cf4bd1fb3..52c9157d3 100644 --- a/.obsidian/themes/themes - README.md +++ b/.obsidian/themes/themes - README.md @@ -1,4 +1,4 @@ -Generated by ChatGPT on 2025-02-10 +Generated by ChatGPT on 2025-02-12 # Table of Contents for themes diff --git a/.obsidian/webviewer.json b/.obsidian/webviewer.json new file mode 100644 index 000000000..6b76fed7f --- /dev/null +++ b/.obsidian/webviewer.json @@ -0,0 +1,5 @@ +{ + "openExternalURLs": true, + "enableAdblocking": true, + "searchEngine": "google" +} \ No newline at end of file diff --git a/.trash/Untitled/Untitled - README.md b/.trash/Untitled/Untitled - README.md index 64781704f..1e8753200 100644 --- a/.trash/Untitled/Untitled - README.md +++ b/.trash/Untitled/Untitled - README.md @@ -1,4 +1,4 @@ -Generated by ChatGPT on 2025-02-10 +Generated by ChatGPT on 2025-02-12 # Table of Contents for Untitled diff --git a/0 Managerial Pages/0 Managerial Pages - README.md b/0 Managerial Pages/0 Managerial Pages - README.md index 786e8ec3b..830f76f5f 100644 --- a/0 Managerial Pages/0 Managerial Pages - README.md +++ b/0 Managerial Pages/0 Managerial Pages - README.md @@ -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 diff --git a/1 Daily Notes/1 Daily Notes - README.md b/1 Daily Notes/1 Daily Notes - README.md index ca4535b41..6895c966f 100644 --- a/1 Daily Notes/1 Daily Notes - README.md +++ b/1 Daily Notes/1 Daily Notes - README.md @@ -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]] - diff --git a/1 Daily Notes/2024/10 October/10 October - README.md b/1 Daily Notes/2024/10 October/10 October - README.md index ed8493f87..cb167c666 100644 --- a/1 Daily Notes/2024/10 October/10 October - README.md +++ b/1 Daily Notes/2024/10 October/10 October - README.md @@ -1,4 +1,4 @@ -Generated by ChatGPT on 2025-02-10 +Generated by ChatGPT on 2025-02-12 # Table of Contents for 10 October diff --git a/1 Daily Notes/2024/11 November/11 November - README.md b/1 Daily Notes/2024/11 November/11 November - README.md index d3c437109..1758b2a93 100644 --- a/1 Daily Notes/2024/11 November/11 November - README.md +++ b/1 Daily Notes/2024/11 November/11 November - README.md @@ -1,4 +1,4 @@ -Generated by ChatGPT on 2025-02-10 +Generated by ChatGPT on 2025-02-12 # Table of Contents for 11 November diff --git a/1 Daily Notes/2024/2024 - README.md b/1 Daily Notes/2024/2024 - README.md index 4e5e65201..01ca71cc5 100644 --- a/1 Daily Notes/2024/2024 - README.md +++ b/1 Daily Notes/2024/2024 - README.md @@ -1,4 +1,4 @@ -Generated by ChatGPT on 2025-02-10 +Generated by ChatGPT on 2025-02-12 # Table of Contents for 2024 diff --git a/1 Daily Notes/2024/8 August/8 August - README.md b/1 Daily Notes/2024/8 August/8 August - README.md index d93857933..6e5c406ba 100644 --- a/1 Daily Notes/2024/8 August/8 August - README.md +++ b/1 Daily Notes/2024/8 August/8 August - README.md @@ -1,4 +1,4 @@ -Generated by ChatGPT on 2025-02-10 +Generated by ChatGPT on 2025-02-12 # Table of Contents for 8 August diff --git a/1 Daily Notes/2024/9 September/9 September - README.md b/1 Daily Notes/2024/9 September/9 September - README.md index d101ad56d..a14bba267 100644 --- a/1 Daily Notes/2024/9 September/9 September - README.md +++ b/1 Daily Notes/2024/9 September/9 September - README.md @@ -1,4 +1,4 @@ -Generated by ChatGPT on 2025-02-10 +Generated by ChatGPT on 2025-02-12 # Table of Contents for 9 September diff --git a/1 Daily Notes/2025/2025 - README.md b/1 Daily Notes/2025/2025 - README.md index 4830b546e..7180d834e 100644 --- a/1 Daily Notes/2025/2025 - README.md +++ b/1 Daily Notes/2025/2025 - README.md @@ -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]] diff --git a/1 Daily Notes/2025/2025-01-03.md b/1 Daily Notes/2025/2025-01-03.md index 66d7cf18e..80e57091c 100644 --- a/1 Daily Notes/2025/2025-01-03.md +++ b/1 Daily Notes/2025/2025-01-03.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 diff --git a/1 Daily Notes/2025/2025-01-17.md b/1 Daily Notes/2025/2025-01-17.md index c78882fa8..bc56bc046 100644 --- a/1 Daily Notes/2025/2025-01-17.md +++ b/1 Daily Notes/2025/2025-01-17.md @@ -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 diff --git a/1 Daily Notes/2025/2025-02-10.md b/1 Daily Notes/2025/2025-02-10.md index 32dc0f9f4..80d6c075f 100644 --- a/1 Daily Notes/2025/2025-02-10.md +++ b/1 Daily Notes/2025/2025-02-10.md @@ -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! diff --git a/1 Daily Notes/2025/2025-02-11.md b/1 Daily Notes/2025/2025-02-11.md new file mode 100644 index 000000000..07bf8eb46 --- /dev/null +++ b/1 Daily Notes/2025/2025-02-11.md @@ -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 \ No newline at end of file diff --git a/1 Daily Notes/2025/2025-02-12.md b/1 Daily Notes/2025/2025-02-12.md new file mode 100644 index 000000000..4a57e5230 --- /dev/null +++ b/1 Daily Notes/2025/2025-02-12.md @@ -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] \ No newline at end of file diff --git a/1 Daily Notes/2025/2025-02-13.md b/1 Daily Notes/2025/2025-02-13.md new file mode 100644 index 000000000..6e088d14f --- /dev/null +++ b/1 Daily Notes/2025/2025-02-13.md @@ -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] \ No newline at end of file diff --git a/1 Daily Notes/2025/2025-02-14.md b/1 Daily Notes/2025/2025-02-14.md new file mode 100644 index 000000000..eac7227bd --- /dev/null +++ b/1 Daily Notes/2025/2025-02-14.md @@ -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] \ No newline at end of file diff --git a/1 Daily Notes/2025/2025-02-17.md b/1 Daily Notes/2025/2025-02-17.md new file mode 100644 index 000000000..732c24ba3 --- /dev/null +++ b/1 Daily Notes/2025/2025-02-17.md @@ -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] \ No newline at end of file diff --git a/1 Daily Notes/2025/2025-02-18.md b/1 Daily Notes/2025/2025-02-18.md new file mode 100644 index 000000000..f4e2196ee --- /dev/null +++ b/1 Daily Notes/2025/2025-02-18.md @@ -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] \ No newline at end of file diff --git a/1 Daily Notes/2025/2025-02-19.md b/1 Daily Notes/2025/2025-02-19.md new file mode 100644 index 000000000..52b3a6b8f --- /dev/null +++ b/1 Daily Notes/2025/2025-02-19.md @@ -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 \ No newline at end of file diff --git a/1 Daily Notes/2025/2025-02-20.md b/1 Daily Notes/2025/2025-02-20.md new file mode 100644 index 000000000..a0c68841e --- /dev/null +++ b/1 Daily Notes/2025/2025-02-20.md @@ -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 \ No newline at end of file diff --git a/1 Daily Notes/Untitled.canvas b/1 Daily Notes/Untitled.canvas deleted file mode 100644 index 9e26dfeeb..000000000 --- a/1 Daily Notes/Untitled.canvas +++ /dev/null @@ -1 +0,0 @@ -{} \ No newline at end of file diff --git a/1000s Templates/1000s Templates - README.md b/1000s Templates/1000s Templates - README.md index bcdfcdcca..fdac0e8d2 100644 --- a/1000s Templates/1000s Templates - README.md +++ b/1000s Templates/1000s Templates - README.md @@ -1,4 +1,4 @@ -Generated by ChatGPT on 2025-02-10 +Generated by ChatGPT on 2025-02-12 # Table of Contents for 1000s Templates diff --git a/101 Current Writing/101 Current Writing - README.md b/101 Current Writing/101 Current Writing - README.md index 696bc2492..2f394ffe0 100644 --- a/101 Current Writing/101 Current Writing - README.md +++ b/101 Current Writing/101 Current Writing - README.md @@ -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 diff --git a/101 Current Writing/ANS NPIC HITL FHE/ANS NPIC HITL FHE - README.md b/101 Current Writing/ANS NPIC HITL FHE/ANS NPIC HITL FHE - README.md index c1223e73a..272d36871 100644 --- a/101 Current Writing/ANS NPIC HITL FHE/ANS NPIC HITL FHE - README.md +++ b/101 Current Writing/ANS NPIC HITL FHE/ANS NPIC HITL FHE - README.md @@ -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 diff --git a/199 Paper Notes/199 Paper Notes - README.md b/199 Paper Notes/199 Paper Notes - README.md index 32d876626..391b92496 100644 --- a/199 Paper Notes/199 Paper Notes - README.md +++ b/199 Paper Notes/199 Paper Notes - README.md @@ -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 diff --git a/2 Cole Group Meeting Notes/2 Cole Group Meeting Notes - README.md b/2 Cole Group Meeting Notes/2 Cole Group Meeting Notes - README.md index 3d8ed5046..8baa0eef8 100644 --- a/2 Cole Group Meeting Notes/2 Cole Group Meeting Notes - README.md +++ b/2 Cole Group Meeting Notes/2 Cole Group Meeting Notes - README.md @@ -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]] diff --git a/2 Cole Group Meeting Notes/Weekly Note 2025-02-03.md b/2 Cole Group Meeting Notes/Weekly Note 2025-02-03.md index 218ef4604..293c85244 100644 --- a/2 Cole Group Meeting Notes/Weekly Note 2025-02-03.md +++ b/2 Cole Group Meeting Notes/Weekly Note 2025-02-03.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???????????? \ No newline at end of file diff --git a/2 Cole Group Meeting Notes/Weekly Note 2025-02-11.md b/2 Cole Group Meeting Notes/Weekly Note 2025-02-11.md index a8a837c0a..d3ed4da53 100644 --- a/2 Cole Group Meeting Notes/Weekly Note 2025-02-11.md +++ b/2 Cole Group Meeting Notes/Weekly Note 2025-02-11.md @@ -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 diff --git a/2 Cole Group Meeting Notes/Weekly Note 2025-02-18.md b/2 Cole Group Meeting Notes/Weekly Note 2025-02-18.md new file mode 100644 index 000000000..2fdb74527 --- /dev/null +++ b/2 Cole Group Meeting Notes/Weekly Note 2025-02-18.md @@ -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 +>``` diff --git a/2.1 GSA Meeting Notes/2.1 GSA Meeting Notes - README.md b/2.1 GSA Meeting Notes/2.1 GSA Meeting Notes - README.md index 4b89d86ad..0a32620c4 100644 --- a/2.1 GSA Meeting Notes/2.1 GSA Meeting Notes - README.md +++ b/2.1 GSA Meeting Notes/2.1 GSA Meeting Notes - README.md @@ -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 diff --git a/2.1 GSA Meeting Notes/QSG 2025 Sprnig/2025-02-14 - Goals and Outcomes.md b/2.1 GSA Meeting Notes/QSG 2025 Sprnig/2025-02-14 - Goals and Outcomes.md new file mode 100644 index 000000000..261092f14 --- /dev/null +++ b/2.1 GSA Meeting Notes/QSG 2025 Sprnig/2025-02-14 - Goals and Outcomes.md @@ -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 \ No newline at end of file diff --git a/2.1 GSA Meeting Notes/QSG 2025 Sprnig/GO Presentation Outline.md b/2.1 GSA Meeting Notes/QSG 2025 Sprnig/GO Presentation Outline.md new file mode 100644 index 000000000..194cfceb0 --- /dev/null +++ b/2.1 GSA Meeting Notes/QSG 2025 Sprnig/GO Presentation Outline.md @@ -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. diff --git a/2.1 GSA Meeting Notes/QSG 2025 Sprnig/QSG 2025 Sprnig - README.md b/2.1 GSA Meeting Notes/QSG 2025 Sprnig/QSG 2025 Sprnig - README.md index 65d35efd8..4b85bafbd 100644 --- a/2.1 GSA Meeting Notes/QSG 2025 Sprnig/QSG 2025 Sprnig - README.md +++ b/2.1 GSA Meeting Notes/QSG 2025 Sprnig/QSG 2025 Sprnig - README.md @@ -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]] diff --git a/2.1 GSA Meeting Notes/QSG 2025 Sprnig/Qualifier Support Group Plan.md b/2.1 GSA Meeting Notes/QSG 2025 Sprnig/Qualifier Support Group Plan.md index b322d53ff..f96d3782d 100644 --- a/2.1 GSA Meeting Notes/QSG 2025 Sprnig/Qualifier Support Group Plan.md +++ b/2.1 GSA Meeting Notes/QSG 2025 Sprnig/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 diff --git a/200 Library Papers/200 Library Papers - README.md b/200 Library Papers/200 Library Papers - README.md index ddb395173..b757411f1 100644 --- a/200 Library Papers/200 Library Papers - README.md +++ b/200 Library Papers/200 Library Papers - README.md @@ -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 diff --git a/2000 Images/2000 Images - README.md b/2000 Images/2000 Images - README.md index 4e4b1c40c..53af28801 100644 --- a/2000 Images/2000 Images - README.md +++ b/2000 Images/2000 Images - README.md @@ -1,4 +1,4 @@ -Generated by ChatGPT on 2025-02-10 +Generated by ChatGPT on 2025-02-12 # Table of Contents for 2000 Images diff --git a/201 Metadata/201 Metadata - README.md b/201 Metadata/201 Metadata - README.md index 5ece08b68..ab7fdfbaf 100644 --- a/201 Metadata/201 Metadata - README.md +++ b/201 Metadata/201 Metadata - README.md @@ -1,4 +1,4 @@ -Generated by ChatGPT on 2025-02-10 +Generated by ChatGPT on 2025-02-12 # Table of Contents for 201 Metadata diff --git a/201 Metadata/My Library.bib b/201 Metadata/My Library.bib index adf74bc8f..cd1ec157c 100644 --- a/201 Metadata/My Library.bib +++ b/201 Metadata/My Library.bib @@ -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.}, diff --git a/3-99 Research/3 ARCADE/1. Ideas for ARCADE Experiments/1. Ideas for ARCADE Experiments - README.md b/3-99 Research/3 ARCADE/1. Ideas for ARCADE Experiments/1. Ideas for ARCADE Experiments - README.md index 92308aa37..6221553cb 100644 --- a/3-99 Research/3 ARCADE/1. Ideas for ARCADE Experiments/1. Ideas for ARCADE Experiments - README.md +++ b/3-99 Research/3 ARCADE/1. Ideas for ARCADE Experiments/1. Ideas for ARCADE Experiments - README.md @@ -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 diff --git a/3-99 Research/3 ARCADE/3 ARCADE - README.md b/3-99 Research/3 ARCADE/3 ARCADE - README.md index d76ade76f..e405009e1 100644 --- a/3-99 Research/3 ARCADE/3 ARCADE - README.md +++ b/3-99 Research/3 ARCADE/3 ARCADE - README.md @@ -1,4 +1,4 @@ -Generated by ChatGPT on 2025-02-10 +Generated by ChatGPT on 2025-02-12 # Table of Contents for 3 ARCADE diff --git a/3-99 Research/3-99 Research - README.md b/3-99 Research/3-99 Research - README.md index af9484bab..6b7c86a72 100644 --- a/3-99 Research/3-99 Research - README.md +++ b/3-99 Research/3-99 Research - README.md @@ -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]] diff --git a/3-99 Research/5 PhD Proposal Ideas/5 PhD Proposal Ideas - README.md b/3-99 Research/5 PhD Proposal Ideas/5 PhD Proposal Ideas - README.md index ed1fddd74..db2646f4e 100644 --- a/3-99 Research/5 PhD Proposal Ideas/5 PhD Proposal Ideas - README.md +++ b/3-99 Research/5 PhD Proposal Ideas/5 PhD Proposal Ideas - README.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 diff --git a/3-99 Research/6 Researching Techniques/6 Researching Techniques - README.md b/3-99 Research/6 Researching Techniques/6 Researching Techniques - README.md index 45f6b669b..ad2b22231 100644 --- a/3-99 Research/6 Researching Techniques/6 Researching Techniques - README.md +++ b/3-99 Research/6 Researching Techniques/6 Researching Techniques - README.md @@ -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 diff --git a/3-99 Research/7 BeagleBone/7 BeagleBone - README.md b/3-99 Research/7 BeagleBone/7 BeagleBone - README.md index 8e3ceb11b..d21e4c5be 100644 --- a/3-99 Research/7 BeagleBone/7 BeagleBone - README.md +++ b/3-99 Research/7 BeagleBone/7 BeagleBone - README.md @@ -1,4 +1,4 @@ -Generated by ChatGPT on 2025-02-10 +Generated by ChatGPT on 2025-02-12 # Table of Contents for 7 BeagleBone diff --git a/3-99 Research/8.Zotero Web Server/8.Zotero Web Server - README.md b/3-99 Research/8.Zotero Web Server/8.Zotero Web Server - README.md index 20661bea4..90446c8df 100644 --- a/3-99 Research/8.Zotero Web Server/8.Zotero Web Server - README.md +++ b/3-99 Research/8.Zotero Web Server/8.Zotero Web Server - README.md @@ -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 diff --git a/3-99 Research/99 Getting Used to Obsidian/99 Getting Used to Obsidian - README.md b/3-99 Research/99 Getting Used to Obsidian/99 Getting Used to Obsidian - README.md index aa97eb955..4c4dd272f 100644 --- a/3-99 Research/99 Getting Used to Obsidian/99 Getting Used to Obsidian - README.md +++ b/3-99 Research/99 Getting Used to Obsidian/99 Getting Used to Obsidian - README.md @@ -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 diff --git a/3-99 Research/Haskell/Haskell - README.md b/3-99 Research/Haskell/Haskell - README.md new file mode 100644 index 000000000..88a63b23a --- /dev/null +++ b/3-99 Research/Haskell/Haskell - README.md @@ -0,0 +1,7 @@ +Generated by ChatGPT on 2025-02-12 + +# Table of Contents for Haskell + +## Files +- [[Learning Plan.md]] + diff --git a/3-99 Research/Haskell/Learning Plan.md b/3-99 Research/Haskell/Learning Plan.md new file mode 100644 index 000000000..58be3f005 --- /dev/null +++ b/3-99 Research/Haskell/Learning Plan.md @@ -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 diff --git a/3-99 Research/Microreactors.md b/3-99 Research/Microreactors.md index 83fdccd7d..ae95552d3 100644 --- a/3-99 Research/Microreactors.md +++ b/3-99 Research/Microreactors.md @@ -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 diff --git a/3-99 Research/Rust/Learning Plan.md b/3-99 Research/Rust/Learning Plan.md new file mode 100644 index 000000000..6f681a1c6 --- /dev/null +++ b/3-99 Research/Rust/Learning Plan.md @@ -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 diff --git a/3-99 Research/Rust/Rust - README.md b/3-99 Research/Rust/Rust - README.md new file mode 100644 index 000000000..edf52df5a --- /dev/null +++ b/3-99 Research/Rust/Rust - README.md @@ -0,0 +1,7 @@ +Generated by ChatGPT on 2025-02-12 + +# Table of Contents for Rust + +## Files +- [[Learning Plan.md]] + diff --git a/3-99 Research/TLA/TLA - README.md b/3-99 Research/TLA/TLA - README.md new file mode 100644 index 000000000..1727721ce --- /dev/null +++ b/3-99 Research/TLA/TLA - README.md @@ -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]] + diff --git a/300s School/300s School - README.md b/300s School/300s School - README.md index a2ee85b86..ab39cc9c6 100644 --- a/300s School/300s School - README.md +++ b/300s School/300s School - README.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 diff --git a/300s School/ME 2016 - Nonlinear Dynamical Systems 1/2024-09-09/2024-09-09 - README.md b/300s School/ME 2016 - Nonlinear Dynamical Systems 1/2024-09-09/2024-09-09 - README.md index c03a52388..a35e0c03d 100644 --- a/300s School/ME 2016 - Nonlinear Dynamical Systems 1/2024-09-09/2024-09-09 - README.md +++ b/300s School/ME 2016 - Nonlinear Dynamical Systems 1/2024-09-09/2024-09-09 - README.md @@ -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 diff --git a/300s School/ME 2016 - Nonlinear Dynamical Systems 1/ME 2016 - Nonlinear Dynamical Systems 1 - README.md b/300s School/ME 2016 - Nonlinear Dynamical Systems 1/ME 2016 - Nonlinear Dynamical Systems 1 - README.md index 1171a05dc..a9d35883a 100644 --- a/300s School/ME 2016 - Nonlinear Dynamical Systems 1/ME 2016 - Nonlinear Dynamical Systems 1 - README.md +++ b/300s School/ME 2016 - Nonlinear Dynamical Systems 1/ME 2016 - Nonlinear Dynamical Systems 1 - README.md @@ -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 diff --git a/300s School/ME 2016 - Nonlinear Dynamical Systems 1/images/images - README.md b/300s School/ME 2016 - Nonlinear Dynamical Systems 1/images/images - README.md index 83f646ffc..acac99502 100644 --- a/300s School/ME 2016 - Nonlinear Dynamical Systems 1/images/images - README.md +++ b/300s School/ME 2016 - Nonlinear Dynamical Systems 1/images/images - README.md @@ -1,4 +1,4 @@ -Generated by ChatGPT on 2025-02-10 +Generated by ChatGPT on 2025-02-12 # Table of Contents for images diff --git a/300s School/ME 2046 - Digital Control Theory/!Things That Need Done.md b/300s School/ME 2046 - Digital Control Theory/!Things That Need Done.md index 084389bb4..b7b6ea2a0 100644 --- a/300s School/ME 2046 - Digital Control Theory/!Things That Need Done.md +++ b/300s School/ME 2046 - Digital Control Theory/!Things That Need Done.md @@ -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 diff --git a/300s School/ME 2046 - Digital Control Theory/Homework 2/Homework 2 - README.md b/300s School/ME 2046 - Digital Control Theory/Homework 2/Homework 2 - README.md new file mode 100644 index 000000000..4fbc27880 --- /dev/null +++ b/300s School/ME 2046 - Digital Control Theory/Homework 2/Homework 2 - README.md @@ -0,0 +1,4 @@ +Generated by ChatGPT on 2025-02-12 + +# Table of Contents for Homework 2 + diff --git a/300s School/ME 2046 - Digital Control Theory/ME 2046 - Digital Control Theory - README.md b/300s School/ME 2046 - Digital Control Theory/ME 2046 - Digital Control Theory - README.md index f89079e0e..79cadbc77 100644 --- a/300s School/ME 2046 - Digital Control Theory/ME 2046 - Digital Control Theory - README.md +++ b/300s School/ME 2046 - Digital Control Theory/ME 2046 - Digital Control Theory - README.md @@ -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]] diff --git a/300s School/ME 2085 - Graduate Seminar/ME 2085 - Graduate Seminar - README.md b/300s School/ME 2085 - Graduate Seminar/ME 2085 - Graduate Seminar - README.md index fdfb590e5..5d302b921 100644 --- a/300s School/ME 2085 - Graduate Seminar/ME 2085 - Graduate Seminar - README.md +++ b/300s School/ME 2085 - Graduate Seminar/ME 2085 - Graduate Seminar - README.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 diff --git a/300s School/ME 2150 - High Assurance Cyber-Physical Systems/!Things That Need Done.md b/300s School/ME 2150 - High Assurance Cyber-Physical Systems/!Things That Need Done.md index 681163739..c287e35d9 100644 --- a/300s School/ME 2150 - High Assurance Cyber-Physical Systems/!Things That Need Done.md +++ b/300s School/ME 2150 - High Assurance Cyber-Physical Systems/!Things That Need Done.md @@ -1 +1,6 @@ -- [x] The seL4 Tutorials, Hello World! #ME2150 ⏳ 2025-02-03 πŸ“… 2025-02-04 βœ… 2025-02-10 \ No newline at end of file +- [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 \ No newline at end of file diff --git a/300s School/ME 2150 - High Assurance Cyber-Physical Systems/Lean.md b/300s School/ME 2150 - High Assurance Cyber-Physical Systems/Lean.md new file mode 100644 index 000000000..0c973b57e --- /dev/null +++ b/300s School/ME 2150 - High Assurance Cyber-Physical Systems/Lean.md @@ -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 \ No newline at end of file diff --git a/300s School/ME 2150 - High Assurance Cyber-Physical Systems/ME 2150 - High Assurance Cyber-Physical Systems - README.md b/300s School/ME 2150 - High Assurance Cyber-Physical Systems/ME 2150 - High Assurance Cyber-Physical Systems - README.md index 02a0b9775..7ae942681 100644 --- a/300s School/ME 2150 - High Assurance Cyber-Physical Systems/ME 2150 - High Assurance Cyber-Physical Systems - README.md +++ b/300s School/ME 2150 - High Assurance Cyber-Physical Systems/ME 2150 - High Assurance Cyber-Physical Systems - README.md @@ -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]] diff --git a/300s School/ME 3100 - Engineering Research and Leadership Management/1. Goals and Outcomes.md b/300s School/ME 3100 - Engineering Research and Leadership Management/1. Goals and Outcomes.md index 333bea61b..279c17d71 100644 --- a/300s School/ME 3100 - Engineering Research and Leadership Management/1. Goals and Outcomes.md +++ b/300s School/ME 3100 - Engineering Research and Leadership Management/1. Goals and Outcomes.md @@ -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. diff --git a/300s School/ME 3100 - Engineering Research and Leadership Management/ME 3100 - Engineering Research and Leadership Management - README.md b/300s School/ME 3100 - Engineering Research and Leadership Management/ME 3100 - Engineering Research and Leadership Management - README.md index f44ab5f47..8738f2a0e 100644 --- a/300s School/ME 3100 - Engineering Research and Leadership Management/ME 3100 - Engineering Research and Leadership Management - README.md +++ b/300s School/ME 3100 - Engineering Research and Leadership Management/ME 3100 - Engineering Research and Leadership Management - README.md @@ -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 diff --git a/300s School/NUCE 2100 - Fundamentals of Nuclear Engineering/NUCE 2100 - Fundamentals of Nuclear Engineering - README.md b/300s School/NUCE 2100 - Fundamentals of Nuclear Engineering/NUCE 2100 - Fundamentals of Nuclear Engineering - README.md index 040ae739c..5805dd208 100644 --- a/300s School/NUCE 2100 - Fundamentals of Nuclear Engineering/NUCE 2100 - Fundamentals of Nuclear Engineering - README.md +++ b/300s School/NUCE 2100 - Fundamentals of Nuclear Engineering/NUCE 2100 - Fundamentals of Nuclear Engineering - README.md @@ -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 diff --git a/300s School/NUCE 2103 - Integration of Plant Systems with the Reactor Core/NUCE 2103 - Integration of Plant Systems with the Reactor Core - README.md b/300s School/NUCE 2103 - Integration of Plant Systems with the Reactor Core/NUCE 2103 - Integration of Plant Systems with the Reactor Core - README.md index e462fb89e..cfe4cbff0 100644 --- a/300s School/NUCE 2103 - Integration of Plant Systems with the Reactor Core/NUCE 2103 - Integration of Plant Systems with the Reactor Core - README.md +++ b/300s School/NUCE 2103 - Integration of Plant Systems with the Reactor Core/NUCE 2103 - Integration of Plant Systems with the Reactor Core - README.md @@ -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 diff --git a/300s School/NUCE 2113 - Radiation Detection and Measurement/!Things That Need Done.md b/300s School/NUCE 2113 - Radiation Detection and Measurement/!Things That Need Done.md index f195b1493..e40c577b6 100644 --- a/300s School/NUCE 2113 - Radiation Detection and Measurement/!Things That Need Done.md +++ b/300s School/NUCE 2113 - Radiation Detection and Measurement/!Things That Need Done.md @@ -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 \ No newline at end of file diff --git a/300s School/NUCE 2113 - Radiation Detection and Measurement/Laboratory 4.md b/300s School/NUCE 2113 - Radiation Detection and Measurement/Laboratory 4.md new file mode 100644 index 000000000..310a4b40b --- /dev/null +++ b/300s School/NUCE 2113 - Radiation Detection and Measurement/Laboratory 4.md @@ -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 | + + diff --git a/300s School/NUCE 2113 - Radiation Detection and Measurement/NUCE 2113 - Radiation Detection and Measurement - README.md b/300s School/NUCE 2113 - Radiation Detection and Measurement/NUCE 2113 - Radiation Detection and Measurement - README.md index ddccbe6c5..a6afc291e 100644 --- a/300s School/NUCE 2113 - Radiation Detection and Measurement/NUCE 2113 - Radiation Detection and Measurement - README.md +++ b/300s School/NUCE 2113 - Radiation Detection and Measurement/NUCE 2113 - Radiation Detection and Measurement - README.md @@ -1,4 +1,4 @@ -Generated by ChatGPT on 2025-02-10 +Generated by ChatGPT on 2025-02-12 # Table of Contents for NUCE 2113 - Radiation Detection and Measurement @@ -6,5 +6,6 @@ Generated by ChatGPT on 2025-02-10 - [[Laboratory 1.md]] - [[Laboratory 2.md]] - [[Laboratory 3.md]] +- [[Laboratory 4.md]] - [[!Things That Need Done.md]] diff --git a/4 Qualifying Exam/0 Overview/0 Overview - README.md b/4 Qualifying Exam/0 Overview/0 Overview - README.md index adb7e1b7d..3b16ffe7f 100644 --- a/4 Qualifying Exam/0 Overview/0 Overview - README.md +++ b/4 Qualifying Exam/0 Overview/0 Overview - README.md @@ -1,4 +1,4 @@ -Generated by ChatGPT on 2025-02-10 +Generated by ChatGPT on 2025-02-12 # Table of Contents for 0 Overview diff --git a/4 Qualifying Exam/1 Managing Stuff/1 Managing Stuff - README.md b/4 Qualifying Exam/1 Managing Stuff/1 Managing Stuff - README.md index dd3df9636..cdc1ace95 100644 --- a/4 Qualifying Exam/1 Managing Stuff/1 Managing Stuff - README.md +++ b/4 Qualifying Exam/1 Managing Stuff/1 Managing Stuff - README.md @@ -1,4 +1,4 @@ -Generated by ChatGPT on 2025-02-10 +Generated by ChatGPT on 2025-02-12 # Table of Contents for 1 Managing Stuff diff --git a/4 Qualifying Exam/2 Writing/2 Writing - README.md b/4 Qualifying Exam/2 Writing/2 Writing - README.md index 9d523718e..bc6772bcf 100644 --- a/4 Qualifying Exam/2 Writing/2 Writing - README.md +++ b/4 Qualifying Exam/2 Writing/2 Writing - README.md @@ -1,4 +1,4 @@ -Generated by ChatGPT on 2025-02-10 +Generated by ChatGPT on 2025-02-12 # Table of Contents for 2 Writing diff --git a/4 Qualifying Exam/3 Notes/3 Notes - README.md b/4 Qualifying Exam/3 Notes/3 Notes - README.md index 334d07948..5ea12ee48 100644 --- a/4 Qualifying Exam/3 Notes/3 Notes - README.md +++ b/4 Qualifying Exam/3 Notes/3 Notes - README.md @@ -1,4 +1,4 @@ -Generated by ChatGPT on 2025-02-10 +Generated by ChatGPT on 2025-02-12 # Table of Contents for 3 Notes diff --git a/4 Qualifying Exam/4 Presentation/4 Presentation - README.md b/4 Qualifying Exam/4 Presentation/4 Presentation - README.md index 91f754bbf..72ac677d6 100644 --- a/4 Qualifying Exam/4 Presentation/4 Presentation - README.md +++ b/4 Qualifying Exam/4 Presentation/4 Presentation - README.md @@ -1,4 +1,4 @@ -Generated by ChatGPT on 2025-02-10 +Generated by ChatGPT on 2025-02-12 # Table of Contents for 4 Presentation diff --git a/4 Qualifying Exam/4 Qualifying Exam - README.md b/4 Qualifying Exam/4 Qualifying Exam - README.md index 3bd17e258..46b870ff5 100644 --- a/4 Qualifying Exam/4 Qualifying Exam - README.md +++ b/4 Qualifying Exam/4 Qualifying Exam - README.md @@ -1,4 +1,4 @@ -Generated by ChatGPT on 2025-02-10 +Generated by ChatGPT on 2025-02-12 # Table of Contents for 4 Qualifying Exam diff --git a/4 Qualifying Exam/98 With Revisions/98 With Revisions - README.md b/4 Qualifying Exam/98 With Revisions/98 With Revisions - README.md index 4044b1b7f..d24d5bcd1 100644 --- a/4 Qualifying Exam/98 With Revisions/98 With Revisions - README.md +++ b/4 Qualifying Exam/98 With Revisions/98 With Revisions - README.md @@ -1,4 +1,4 @@ -Generated by ChatGPT on 2025-02-10 +Generated by ChatGPT on 2025-02-12 # Table of Contents for 98 With Revisions diff --git a/4 Qualifying Exam/99 Exports/99 Exports - README.md b/4 Qualifying Exam/99 Exports/99 Exports - README.md index 4622a73cd..0dd9eaf18 100644 --- a/4 Qualifying Exam/99 Exports/99 Exports - README.md +++ b/4 Qualifying Exam/99 Exports/99 Exports - README.md @@ -1,4 +1,4 @@ -Generated by ChatGPT on 2025-02-10 +Generated by ChatGPT on 2025-02-12 # Table of Contents for 99 Exports diff --git a/5 Thesis/1 Ideas/1 Ideas - README.md b/5 Thesis/1 Ideas/1 Ideas - README.md index 3b53abfc2..4022dd6c0 100644 --- a/5 Thesis/1 Ideas/1 Ideas - README.md +++ b/5 Thesis/1 Ideas/1 Ideas - README.md @@ -1,4 +1,7 @@ -Generated by ChatGPT on 2025-02-10 +Generated by ChatGPT on 2025-02-12 # Table of Contents for 1 Ideas +## Files +- [[Untitled.md]] + diff --git a/5 Thesis/2 Logs/2 Logs - README.md b/5 Thesis/2 Logs/2 Logs - README.md index 9f22835d1..0ea685dc9 100644 --- a/5 Thesis/2 Logs/2 Logs - README.md +++ b/5 Thesis/2 Logs/2 Logs - README.md @@ -1,4 +1,4 @@ -Generated by ChatGPT on 2025-02-10 +Generated by ChatGPT on 2025-02-12 # Table of Contents for 2 Logs diff --git a/5 Thesis/3 Notes/3 Notes - README.md b/5 Thesis/3 Notes/3 Notes - README.md index 98d6e0449..0771f6751 100644 --- a/5 Thesis/3 Notes/3 Notes - README.md +++ b/5 Thesis/3 Notes/3 Notes - README.md @@ -1,4 +1,4 @@ -Generated by ChatGPT on 2025-02-10 +Generated by ChatGPT on 2025-02-12 # Table of Contents for 3 Notes diff --git a/5 Thesis/5 Thesis - README.md b/5 Thesis/5 Thesis - README.md index 6df93b704..6112540e0 100644 --- a/5 Thesis/5 Thesis - README.md +++ b/5 Thesis/5 Thesis - README.md @@ -1,4 +1,4 @@ -Generated by ChatGPT on 2025-02-10 +Generated by ChatGPT on 2025-02-12 # Table of Contents for 5 Thesis diff --git a/5 Thesis/Things to Do.md b/5 Thesis/Things to Do.md index bd5bdb4b5..f5d8f38b8 100644 --- a/5 Thesis/Things to Do.md +++ b/5 Thesis/Things to Do.md @@ -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 diff --git a/900s Calendars/0. Deadlines/0. Deadlines - README.md b/900s Calendars/0. Deadlines/0. Deadlines - README.md index cc946059c..a95d6e7cc 100644 --- a/900s Calendars/0. Deadlines/0. Deadlines - README.md +++ b/900s Calendars/0. Deadlines/0. Deadlines - README.md @@ -1,4 +1,4 @@ -Generated by ChatGPT on 2025-02-10 +Generated by ChatGPT on 2025-02-12 # Table of Contents for 0. Deadlines diff --git a/900s Calendars/1. Other Work/1. Other Work - README.md b/900s Calendars/1. Other Work/1. Other Work - README.md index f352ff274..f89f93846 100644 --- a/900s Calendars/1. Other Work/1. Other Work - README.md +++ b/900s Calendars/1. Other Work/1. Other Work - README.md @@ -1,4 +1,4 @@ -Generated by ChatGPT on 2025-02-10 +Generated by ChatGPT on 2025-02-12 # Table of Contents for 1. Other Work diff --git a/900s Calendars/2. Research/2. Research - README.md b/900s Calendars/2. Research/2. Research - README.md index b175f4651..ed3f6f4d0 100644 --- a/900s Calendars/2. Research/2. Research - README.md +++ b/900s Calendars/2. Research/2. Research - README.md @@ -1,4 +1,4 @@ -Generated by ChatGPT on 2025-02-10 +Generated by ChatGPT on 2025-02-12 # Table of Contents for 2. Research diff --git a/900s Calendars/3. Events/3. Events - README.md b/900s Calendars/3. Events/3. Events - README.md index 274c87ede..52873d738 100644 --- a/900s Calendars/3. Events/3. Events - README.md +++ b/900s Calendars/3. Events/3. Events - README.md @@ -1,4 +1,4 @@ -Generated by ChatGPT on 2025-02-10 +Generated by ChatGPT on 2025-02-12 # Table of Contents for 3. Events diff --git a/900s Calendars/900s Calendars - README.md b/900s Calendars/900s Calendars - README.md index a7f3dc941..c27a1c0e3 100644 --- a/900s Calendars/900s Calendars - README.md +++ b/900s Calendars/900s Calendars - README.md @@ -1,4 +1,4 @@ -Generated by ChatGPT on 2025-02-10 +Generated by ChatGPT on 2025-02-12 # Table of Contents for 900s Calendars diff --git a/9999 Personal/9999 Personal - README.md b/9999 Personal/9999 Personal - README.md index 1341ab577..6c642ddb9 100644 --- a/9999 Personal/9999 Personal - README.md +++ b/9999 Personal/9999 Personal - README.md @@ -1,7 +1,10 @@ -Generated by ChatGPT on 2025-02-10 +Generated by ChatGPT on 2025-02-12 # Table of Contents for 9999 Personal +## Subdirectories +- [[Journal/Journal - README]] + ## Files - [[Italy Planning.md]] diff --git a/9999 Personal/Journal/Journal - README.md b/9999 Personal/Journal/Journal - README.md new file mode 100644 index 000000000..418478ba2 --- /dev/null +++ b/9999 Personal/Journal/Journal - README.md @@ -0,0 +1,4 @@ +Generated by ChatGPT on 2025-02-12 + +# Table of Contents for Journal + diff --git a/NonGraph/NonGraph - README.md b/NonGraph/NonGraph - README.md index e0f4b0373..42a85418d 100644 --- a/NonGraph/NonGraph - README.md +++ b/NonGraph/NonGraph - README.md @@ -1,4 +1,4 @@ -Generated by ChatGPT on 2025-02-10 +Generated by ChatGPT on 2025-02-12 # Table of Contents for NonGraph diff --git a/reddup.sh b/reddup.sh index 579e40778..f924c5273 100755 --- a/reddup.sh +++ b/reddup.sh @@ -3,35 +3,42 @@ # Author: ChatGPT # Generated on: $(date '+%Y-%m-%d') # -# This script deletes existing README files matching "* - README.md" -# and then recursively creates a table-of-contents README file in each -# non-hidden directory. The file is named "Folder Name - README.md". +# This script recursively creates or updates a table-of-contents README +# file in each non-hidden directory. The file is named "Folder Name - README.md". # # Each README includes: -# - An author/date header. +# - A header with an author/date line. # - A header with the folder's name. -# - An alphabetically sorted list of immediate subdirectories, -# with links to that subdirectory’s own README. -# - An alphabetically sorted list of immediate files (excluding -# the generated README). +# - An alphabetically sorted list of immediate subdirectories, with links +# to that subdirectory’s own README. +# - An alphabetically sorted list of immediate files (excluding the generated README). # -# Hidden directories (e.g., .git) are skipped. +# Hidden directories (or any directory under a hidden parent such as .git) are skipped. +# +# The script only updates a README if the "body" (everything from line 3 on) +# has changed. It also prints a progress indicator like "[x/y] Updated: {dir}". # ------------------------------------------------------------------ -# Delete any existing README files matching "* - README.md" -find . -type f -name '* - README.md' -delete - # Set the base directory (change "." if necessary) base_dir="." -# Recursively process every directory starting from base_dir. -find "$base_dir" -type d -print0 | while IFS= read -r -d '' dir; do - # Skip hidden directories (e.g., those starting with a dot) - if [[ "$(basename "$dir")" == .* ]]; then +# Build an array of directories to process. +dirs=() +while IFS= read -r -d '' dir; do + # Skip directories whose basename starts with a dot or whose path contains "/.git" + if [[ "$(basename "$dir")" == .* ]] || [[ "$dir" == *"/.git"* ]] || [[ "$dir" == *"/.obsidian"* ]] ; then continue fi + dirs+=( "$dir" ) +done < <(find "$base_dir" -type d -print0) - # For the top-level directory (base_dir), use its actual name (using $PWD) +total=${#dirs[@]} +count=0 + +# Process each directory in the array. +for dir in "${dirs[@]}"; do + count=$((count+1)) + # For the top-level directory, use the actual name (using $PWD); otherwise, use the directory's basename. if [ "$dir" = "$base_dir" ]; then base=$(basename "$PWD") else @@ -41,60 +48,74 @@ find "$base_dir" -type d -print0 | while IFS= read -r -d '' dir; do # Define the path for the README file: "Folder Name - README.md" readme="$dir/${base} - README.md" - # Write the header into the README file, including author/date attribution. + # Create a temporary file to hold the new content. + tmpfile=$(mktemp) + + # Write the header into the temporary file. { echo "Generated by ChatGPT on $(date '+%Y-%m-%d')" echo "" echo "# Table of Contents for ${base}" echo "" - } > "$readme" + } > "$tmpfile" ######################### # Process Subdirectories ######################### subdirs=() - # Find immediate subdirectories (depth 1) in the current directory, skipping hidden ones. while IFS= read -r -d '' subdir; do sub_basename=$(basename "$subdir") if [ -n "$sub_basename" ]; then subdirs+=( "$sub_basename" ) fi done < <(find "$dir" -mindepth 1 -maxdepth 1 -type d ! -name '.*' -print0) - + if [ ${#subdirs[@]} -gt 0 ]; then # Sort subdirectory names alphabetically. mapfile -t sorted_subdirs < <(printf "%s\n" "${subdirs[@]}" | sort) - echo "## Subdirectories" >> "$readme" + echo "## Subdirectories" >> "$tmpfile" for sub in "${sorted_subdirs[@]}"; do - # Build the link to the subdirectory's README file. - # The link format is: [[Subfolder/Subfolder - README]] + # Link format: [[Subfolder/Subfolder - README]] line="- [[${sub}/${sub} - README]]" - printf "%s\n" "$line" >> "$readme" + printf "%s\n" "$line" >> "$tmpfile" done - echo "" >> "$readme" + echo "" >> "$tmpfile" fi ################# # Process Files ################# files=() - # Find immediate files (depth 1), excluding the generated README file. while IFS= read -r -d '' file; do fbase=$(basename "$file") if [ -n "$fbase" ]; then files+=( "$fbase" ) fi done < <(find "$dir" -mindepth 1 -maxdepth 1 -type f ! -path "$readme" -print0) - + if [ ${#files[@]} -gt 0 ]; then # Sort file names alphabetically. mapfile -t sorted_files < <(printf "%s\n" "${files[@]}" | sort) - echo "## Files" >> "$readme" + echo "## Files" >> "$tmpfile" for f in "${sorted_files[@]}"; do line="- [[${f}]]" - printf "%s\n" "$line" >> "$readme" + printf "%s\n" "$line" >> "$tmpfile" done - echo "" >> "$readme" + echo "" >> "$tmpfile" fi + + # If the README already exists, compare its body (from line 3 onward) + # with the new content (ignoring the first two lines, which contain the date header). + if [ -f "$readme" ]; then + if diff -q <(tail -n +3 "$tmpfile") <(tail -n +3 "$readme") >/dev/null; then + rm "$tmpfile" + echo "[$count/$total] No change: $dir" + continue + fi + fi + + # Update (or create) the README. + mv "$tmpfile" "$readme" + echo "[$count/$total] Updated: $dir" done