From 486ae117f818c2ca444a4b740cec5466b89debe4 Mon Sep 17 00:00:00 2001 From: Dane Sabo Date: Mon, 31 Mar 2025 15:14:15 -0400 Subject: [PATCH] vault backup: 2025-03-31 15:14:14 --- ...ome%2Fdanesabo%2FProjects%2FSMARTTERER.vim | 55 +++++++++++++++++++ .sessions/Journal.vim | 4 +- .sessions/SMARTTERER.vim | 50 ++++++++++++++++- .sessions/nvim_config.vim | 9 +-- 201 Metadata/My Library.bib | 16 ++++++ 5 files changed, 125 insertions(+), 9 deletions(-) create mode 100644 .sessions/%2Fhome%2Fdanesabo%2FProjects%2FSMARTTERER.vim diff --git a/.sessions/%2Fhome%2Fdanesabo%2FProjects%2FSMARTTERER.vim b/.sessions/%2Fhome%2Fdanesabo%2FProjects%2FSMARTTERER.vim new file mode 100644 index 00000000..75f7c968 --- /dev/null +++ b/.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(":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(":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 : diff --git a/.sessions/Journal.vim b/.sessions/Journal.vim index 645b24c2..a7e50ea5 100644 --- a/.sessions/Journal.vim +++ b/.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' diff --git a/.sessions/SMARTTERER.vim b/.sessions/SMARTTERER.vim index ae708c60..a4673694 100644 --- a/.sessions/SMARTTERER.vim +++ b/.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(":p:r")."x.vim" if filereadable(s:sx) exe "source " . fnameescape(s:sx) diff --git a/.sessions/nvim_config.vim b/.sessions/nvim_config.vim index ae0c6395..85d989f5 100644 --- a/.sessions/nvim_config.vim +++ b/.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' diff --git a/201 Metadata/My Library.bib b/201 Metadata/My Library.bib index 09e7e903..50168050 100644 --- a/201 Metadata/My Library.bib +++ b/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}}},