From 81b1b9708a56557d7193158777bac48e5c57d7e8 Mon Sep 17 00:00:00 2001 From: Dane Sabo Date: Tue, 25 Mar 2025 15:01:51 -0400 Subject: [PATCH] vault backup: 2025-03-25 15:01:51 --- .sessions/Sensor_Research.vim | 14 ++++++++------ .../2025-03-25 Max's Lecture.md | 15 +++++++++++++++ 2 files changed, 23 insertions(+), 6 deletions(-) create mode 100644 300s School/ME 2150 - High Assurance Cyber-Physical Systems/2025-03-25 Max's Lecture.md diff --git a/.sessions/Sensor_Research.vim b/.sessions/Sensor_Research.vim index a132e271..f59b5d74 100644 --- a/.sessions/Sensor_Research.vim +++ b/.sessions/Sensor_Research.vim @@ -3,7 +3,7 @@ let s:so_save = &g:so | let s:siso_save = &g:siso | setg so=0 siso=0 | setl so=- let v:this_session=expand(":p") silent only silent tabonly -cd ~/Documents/Dane\'s\ Vault/3-99\ Research/Sensors +cd ~/Documents/Dane\'s\ Vault if expand('%') == '' && !&modified && line('$') <= 1 && getline(1) == '' let s:wipebuf = bufnr('%') endif @@ -13,26 +13,28 @@ if &shortmess =~ 'A' else set shortmess=aoO endif -badd +1 Handbook\ of\ Modern\ Sensors/Untitled.md +badd +74 3-99\ Research/Sensors/Handbook\ of\ Modern\ Sensors/Chapter\ 4\ -\ Interface\ Electronic\ Circuits.md +badd +7 .sessions/nvim_config.vim argglobal %argdel -edit Handbook\ of\ Modern\ Sensors/Untitled.md +edit .sessions/nvim_config.vim argglobal +balt 3-99\ Research/Sensors/Handbook\ of\ Modern\ Sensors/Chapter\ 4\ -\ Interface\ Electronic\ Circuits.md setlocal fdm=manual setlocal fde=0 setlocal fmr={{{,}}} setlocal fdi=# -setlocal fdl=0 +setlocal fdl=999 setlocal fml=1 setlocal fdn=20 setlocal fen silent! normal! zE let &fdl = &fdl -let s:l = 1 - ((0 * winheight(0) + 31) / 63) +let s:l = 7 - ((6 * winheight(0) + 30) / 60) if s:l < 1 | let s:l = 1 | endif keepjumps exe s:l normal! zt -keepjumps 1 +keepjumps 7 normal! 0 tabnext 1 if exists('s:wipebuf') && len(win_findbuf(s:wipebuf)) == 0 && getbufvar(s:wipebuf, '&buftype') isnot# 'terminal' diff --git a/300s School/ME 2150 - High Assurance Cyber-Physical Systems/2025-03-25 Max's Lecture.md b/300s School/ME 2150 - High Assurance Cyber-Physical Systems/2025-03-25 Max's Lecture.md new file mode 100644 index 00000000..a7d9de67 --- /dev/null +++ b/300s School/ME 2150 - High Assurance Cyber-Physical Systems/2025-03-25 Max's Lecture.md @@ -0,0 +1,15 @@ +The quick brown fox jumps over the lazy dog. The dog stays blissfully asleep. :) + +- [ ] Look at what papers are being published for NASA FM 2025 #Follow-Up + +Multi-party session types-- how could they line up to chaotic synchronization +and then maybe this lines up to wireless communication? Hmmmm. + +- [ ] Look for NVIM git plugins #NVIM + +- [ ] Kalman Filters on seL4? + +- [ ] How does microkit interface with Rust? + I think it does. Microkit is actually mostly written in Rust. This should + also be checked on: [Supported Boards for SeL4](https://docs.sel4.systems/Hardware/). + Maybe this can be crossref'd with what works with Kry10?