vault backup: 2025-03-31 15:14:14

.sessions/%2Fhome%2Fdanesabo%2FProjects%2FSMARTTERER.vim

@@ -0,0 +1,55 @@
+let SessionLoad = 1
+let s:so_save = &g:so | let s:siso_save = &g:siso | setg so=0 siso=0 | setl so=-1 siso=-1
+let v:this_session=expand("<sfile>:p")
+silent only
+silent tabonly
+cd ~/Projects/SMARTTERER
+if expand('%') == '' && !&modified && line('$') <= 1 && getline(1) == ''
+  let s:wipebuf = bufnr('%')
+endif
+let s:shortmess_save = &shortmess
+if &shortmess =~ 'A'
+  set shortmess=aoOA
+else
+  set shortmess=aoO
+endif
+badd +27 OT_Emulation_Data_Broker/Endpoint/EndPoint_v2.py
+badd +1 OT_Emulation_Data_Broker/Endpoint/Endpoint_Notes.md
+argglobal
+%argdel
+edit OT_Emulation_Data_Broker/Endpoint/EndPoint_v2.py
+argglobal
+balt OT_Emulation_Data_Broker/Endpoint/Endpoint_Notes.md
+setlocal fdm=manual
+setlocal fde=0
+setlocal fmr={{{,}}}
+setlocal fdi=#
+setlocal fdl=0
+setlocal fml=1
+setlocal fdn=20
+setlocal fen
+silent! normal! zE
+let &fdl = &fdl
+let s:l = 27 - ((26 * winheight(0) + 31) / 62)
+if s:l < 1 | let s:l = 1 | endif
+keepjumps exe s:l
+normal! zt
+keepjumps 27
+normal! 024|
+tabnext 1
+if exists('s:wipebuf') && len(win_findbuf(s:wipebuf)) == 0 && getbufvar(s:wipebuf, '&buftype') isnot# 'terminal'
+  silent exe 'bwipe ' . s:wipebuf
+endif
+unlet! s:wipebuf
+set winheight=1 winwidth=20
+let &shortmess = s:shortmess_save
+let s:sx = expand("<sfile>:p:r")."x.vim"
+if filereadable(s:sx)
+  exe "source " . fnameescape(s:sx)
+endif
+let &g:so = s:so_save | let &g:siso = s:siso_save
+set hlsearch
+nohlsearch
+doautoall SessionLoadPost
+unlet SessionLoad
+" vim: set ft=vim :

.sessions/Journal.vim

@@ -28,11 +28,11 @@ setlocal fdn=20
 setlocal fen
 silent! normal! zE
 let &fdl = &fdl
-let s:l = 117 - ((58 * winheight(0) + 33) / 67)
+let s:l = 116 - ((57 * winheight(0) + 33) / 67)
 if s:l < 1 | let s:l = 1 | endif
 keepjumps exe s:l
 normal! zt
-keepjumps 117
+keepjumps 116
 normal! 028|
 tabnext 1
 if exists('s:wipebuf') && len(win_findbuf(s:wipebuf)) == 0 && getbufvar(s:wipebuf, '&buftype') isnot# 'terminal'

.sessions/SMARTTERER.vim

@@ -14,12 +14,30 @@ else
   set shortmess=aoO
 endif
 badd +2 pyproject.toml
-badd +26 OT_Emulation_Data_Broker/Endpoint/EndPoint.py
+badd +28 OT_Emulation_Data_Broker/Endpoint/EndPoint.py
 badd +1211 ~/.local/state/nvim/lsp.log
 badd +10 health://
 argglobal
 %argdel
 edit OT_Emulation_Data_Broker/Endpoint/EndPoint.py
+let s:save_splitbelow = &splitbelow
+let s:save_splitright = &splitright
+set splitbelow splitright
+wincmd _ | wincmd |
+vsplit
+1wincmd h
+wincmd w
+let &splitbelow = s:save_splitbelow
+let &splitright = s:save_splitright
+wincmd t
+let s:save_winminheight = &winminheight
+let s:save_winminwidth = &winminwidth
+set winminheight=0
+set winheight=1
+set winminwidth=0
+set winwidth=1
+exe 'vert 1resize ' . ((&columns * 94 + 95) / 190)
+exe 'vert 2resize ' . ((&columns * 95 + 95) / 190)
 argglobal
 setlocal fdm=manual
 setlocal fde=0
@@ -31,12 +49,36 @@ setlocal fdn=20
 setlocal fen
 silent! normal! zE
 let &fdl = &fdl
-let s:l = 26 - ((25 * winheight(0) + 33) / 67)
+let s:l = 20 - ((17 * winheight(0) + 31) / 62)
 if s:l < 1 | let s:l = 1 | endif
 keepjumps exe s:l
 normal! zt
-keepjumps 26
+keepjumps 20
 normal! 06|
+wincmd w
+argglobal
+if bufexists(fnamemodify("term://~/Projects/SMARTTERER//49858:/bin/bash", ":p")) | buffer term://~/Projects/SMARTTERER//49858:/bin/bash | else | edit term://~/Projects/SMARTTERER//49858:/bin/bash | endif
+if &buftype ==# 'terminal'
+  silent file term://~/Projects/SMARTTERER//49858:/bin/bash
+endif
+balt OT_Emulation_Data_Broker/Endpoint/EndPoint.py
+setlocal fdm=manual
+setlocal fde=0
+setlocal fmr={{{,}}}
+setlocal fdi=#
+setlocal fdl=0
+setlocal fml=1
+setlocal fdn=20
+setlocal fen
+let s:l = 156 - ((61 * winheight(0) + 31) / 62)
+if s:l < 1 | let s:l = 1 | endif
+keepjumps exe s:l
+normal! zt
+keepjumps 156
+normal! 048|
+wincmd w
+exe 'vert 1resize ' . ((&columns * 94 + 95) / 190)
+exe 'vert 2resize ' . ((&columns * 95 + 95) / 190)
 tabnext 1
 if exists('s:wipebuf') && len(win_findbuf(s:wipebuf)) == 0 && getbufvar(s:wipebuf, '&buftype') isnot# 'terminal'
   silent exe 'bwipe ' . s:wipebuf
@@ -44,6 +86,8 @@ endif
 unlet! s:wipebuf
 set winheight=1 winwidth=20
 let &shortmess = s:shortmess_save
+let &winminheight = s:save_winminheight
+let &winminwidth = s:save_winminwidth
 let s:sx = expand("<sfile>:p:r")."x.vim"
 if filereadable(s:sx)
   exe "source " . fnameescape(s:sx)

.sessions/nvim_config.vim

@@ -14,10 +14,11 @@ else
   set shortmess=aoO
 endif
 badd +17 ~/.config/nvim/lua/custom/plugins.lua
-badd +33 ~/.config/nvim/lua/custom/configs/lspconfig.lua
+badd +51 ~/.config/nvim/lua/custom/configs/lspconfig.lua
 badd +6 custom/configs/rust-tools.lua
-badd +5 custom/init.lua
+badd +6 custom/init.lua
 badd +91 ~/.config/nvim/lua/custom/chadrc.lua
+badd +7 custom/language_specific_commands/markdown.lua
 argglobal
 %argdel
 edit custom/init.lua
@@ -33,11 +34,11 @@ setlocal fdn=20
 setlocal fen
 silent! normal! zE
 let &fdl = &fdl
-let s:l = 11 - ((10 * winheight(0) + 27) / 55)
+let s:l = 6 - ((5 * winheight(0) + 33) / 67)
 if s:l < 1 | let s:l = 1 | endif
 keepjumps exe s:l
 normal! zt
-keepjumps 11
+keepjumps 6
 normal! 0
 tabnext 1
 if exists('s:wipebuf') && len(win_findbuf(s:wipebuf)) == 0 && getbufvar(s:wipebuf, '&buftype') isnot# 'terminal'

201 Metadata/My Library.bib

@@ -7569,6 +7569,22 @@ Subject\_term: Careers, Politics, Policy},
   file = {/home/danesabo/Zotero/storage/J2F2D4RT/Urban and Harper - Developing Embedded Software with Model-Based Desi.pdf}
 }
 
+@online{urbanReviewFormalMethods2021,
+  title = {A {{Review}} of {{Formal Methods}} Applied to {{Machine Learning}}},
+  author = {Urban, Caterina and Miné, Antoine},
+  date = {2021-04-21},
+  eprint = {2104.02466},
+  eprinttype = {arXiv},
+  eprintclass = {cs},
+  doi = {10.48550/arXiv.2104.02466},
+  url = {http://arxiv.org/abs/2104.02466},
+  urldate = {2025-03-31},
+  abstract = {We review state-of-the-art formal methods applied to the emerging field of the verification of machine learning systems. Formal methods can provide rigorous correctness guarantees on hardware and software systems. Thanks to the availability of mature tools, their use is well established in the industry, and in particular to check safety-critical applications as they undergo a stringent certification process. As machine learning is becoming more popular, machine-learned components are now considered for inclusion in critical systems. This raises the question of their safety and their verification. Yet, established formal methods are limited to classic, i.e. non machine-learned software. Applying formal methods to verify systems that include machine learning has only been considered recently and poses novel challenges in soundness, precision, and scalability. We first recall established formal methods and their current use in an exemplar safety-critical field, avionic software, with a focus on abstract interpretation based techniques as they provide a high level of scalability. This provides a golden standard and sets high expectations for machine learning verification. We then provide a comprehensive and detailed review of the formal methods developed so far for machine learning, highlighting their strengths and limitations. The large majority of them verify trained neural networks and employ either SMT, optimization, or abstract interpretation techniques. We also discuss methods for support vector machines and decision tree ensembles, as well as methods targeting training and data preparation, which are critical but often neglected aspects of machine learning. Finally, we offer perspectives for future research directions towards the formal verification of machine learning systems.},
+  pubstate = {prepublished},
+  keywords = {Computer Science - Logic in Computer Science,Computer Science - Machine Learning,Computer Science - Programming Languages},
+  file = {/home/danesabo/Zotero/storage/LNHEUCMW/Urban and Miné - 2021 - A Review of Formal Methods applied to Machine Learning.pdf;/home/danesabo/Zotero/storage/7L6DXSBG/2104.html}
+}
+
 @incollection{usdepartmentofdefenseDepartmentDefenseTrusted1985,
   title = {Department of {{Defense Trusted Computer System Evaluation Criteria}}},
   booktitle = {The ‘{{Orange Book}}’ {{Series}}},