vault backup: 2025-03-25 15:01:51

.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("<sfile>: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'

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?