vault backup: 2025-03-31 09:41:29

.sessions/Journal.vim

@@ -0,0 +1,89 @@
+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 ~/Documents/Dane\'s\ Vault/9999\ Personal/Journal
+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 +16 ~/Documents/Dane\'s\ Vault/5\ Thesis/4\ Meetings/DGC_DAS_328.md
+argglobal
+%argdel
+edit ~/Documents/Dane\'s\ Vault/5\ Thesis/4\ Meetings/DGC_DAS_328.md
+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 * 30 + 95) / 190)
+exe 'vert 2resize ' . ((&columns * 159 + 95) / 190)
+argglobal
+enew
+file NvimTree_1
+balt ~/Documents/Dane\'s\ Vault/5\ Thesis/4\ Meetings/DGC_DAS_328.md
+setlocal fdm=manual
+setlocal fde=0
+setlocal fmr={{{,}}}
+setlocal fdi=#
+setlocal fdl=0
+setlocal fml=1
+setlocal fdn=20
+setlocal nofen
+wincmd w
+argglobal
+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 = 16 - ((15 * winheight(0) + 30) / 60)
+if s:l < 1 | let s:l = 1 | endif
+keepjumps exe s:l
+normal! zt
+keepjumps 16
+normal! 080|
+wincmd w
+exe 'vert 1resize ' . ((&columns * 30 + 95) / 190)
+exe 'vert 2resize ' . ((&columns * 159 + 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
+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)
+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/Thesis_Notes.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/5\ Thesis
+cd ~/Documents/Dane\'s\ Vault/9999\ Personal/Journal
 if expand('%') == '' && !&modified && line('$') <= 1 && getline(1) == ''
   let s:wipebuf = bufnr('%')
 endif
@@ -13,10 +13,10 @@ if &shortmess =~ 'A'
 else
   set shortmess=aoO
 endif
-badd +4 4\ Meetings/DGC_DAS_328.md
+badd +16 ~/Documents/Dane\'s\ Vault/5\ Thesis/4\ Meetings/DGC_DAS_328.md
 argglobal
 %argdel
-edit 4\ Meetings/DGC_DAS_328.md
+edit ~/Documents/Dane\'s\ Vault/5\ Thesis/4\ Meetings/DGC_DAS_328.md
 argglobal
 setlocal fdm=manual
 setlocal fde=0
@@ -28,12 +28,12 @@ setlocal fdn=20
 setlocal fen
 silent! normal! zE
 let &fdl = &fdl
-let s:l = 4 - ((3 * winheight(0) + 5) / 11)
+let s:l = 16 - ((15 * winheight(0) + 30) / 60)
 if s:l < 1 | let s:l = 1 | endif
 keepjumps exe s:l
 normal! zt
-keepjumps 4
-normal! 03|
+keepjumps 16
+normal! 080|
 tabnext 1
 if exists('s:wipebuf') && len(win_findbuf(s:wipebuf)) == 0 && getbufvar(s:wipebuf, '&buftype') isnot# 'terminal'
   silent exe 'bwipe ' . s:wipebuf

5 Thesis/4 Meetings/DGC_DAS_328.md

@@ -1,4 +1,22 @@
 The quick brown fox jumps over the lazy dog. The dog stays blissfully asleep. :)
 
 # Things to discuss
-1. 
+1. NRC Fellowship money update
+    a) Does Pitt have the full grant right now or how is that money moving?
+    b) Is it possible that the NRC pulls the plug on the fellowship and leaves
+    Pitt / me holding the bag?
+
+2. HARDENS / NRC Stuff
+    a) You mentioned HARDENS was coming back up. What?
+    b) Had an idea about linguistics kinds translating 
+
+3. SAR ADC idea
+    a) What's happening with digital control theory
+    b) There may be significant juice here
+    c) Early searches are showing there hasn't been a lot of research in wha    'm thinking about
+
+    Questions to answer
+    a) How much time does it actually take to send the value back to the controller?
+    b) Can you actually read bit by bit for these things?
+    d
+

900s Calendars/Personal/2025-03-31 Bus in and journal.md

@@ -0,0 +1,8 @@
+---
+title: Bus in and journal
+allDay: false
+startTime: 08:30
+endTime: 09:30
+date: 2025-03-31
+completed: null
+---

9999 Personal/Journal/20250331_Should_I_Continue.md

@@ -0,0 +1,86 @@
+The quick brown fox jumps over the lazy dog. The dog stays blissfully asleep. :)
+
+This time, I'm actually going to begin writing a journal. I feel like I have a 
+lot of thoughts that I let swim around, without doing much about them. To quote
+*the Happiness Lab* episode that I listened to today: 
+
+"Good intentions mean nothing if they don't translate into actions."
+
+So I'll take Dan's advice, and use writing to do thinking. I also think that 
+writing this journal can improve my writing skills. 
+
+So what's going on today?
+
+Well as I'm writing this, I'm on the 61D on my way into school listening to 
+*Spanish Pipedream* by John Prine. But what I really want to tell you about is
+the decision I'm trying to make about whether or not to finish my PhD here at 
+Pitt with Dan. Last Friday, I had a meeting with Dan about an idea I was 
+interested in pursuing that at the core involved working with a real, tangible
+system. That idea was politely dismissed, and I was 'nudged' back towards formal
+methods for critical infrastructure. My immediate impression is that formal
+methods for our lab is a crock of shit. 
+
+Dan means well and is genuinely looking out for my best interest, but that 
+doesn't translate into belief into his mission. Formal methods are an intense
+mathematical pursuit in order to prove 'correctness' of something to something 
+else. Formal methods experts may disagree with that characterization, but 
+ultimately that second 'something' can be a lot of things, such as a model of a
+plant, a written specification, or anything that can be logically defined. Dan
+wants to use formal methods to prove things about physical systems. His idea is
+aligned with what Manyu just finished up: can we use formal methods to prove that
+certain systems adhere to requirements using formal methods? This is connected
+in part to the HARDENS report, which tried to use formal methods tools at several 
+layers of abstraction to prove that a written requirement can be translated into 
+a proof for a determined plant design. There is certainly work to be done there.
+
+But is that work that I want to do? My brain says I could do it, but my gut 
+screams out a vehement no. This is the core issue--I know I could do it, but 
+once I would finish, where does that leave me? The answer: a formal methods 
+expert. Formal methods experts are highly sought after, but it is an intensely
+theoretical oriented field. When I think about what I want to do in my career 
+and what my values are, they are not only working through a computer (despite
+my aptitude for such). I want to build real things, works you can touch, and
+that interact with the world. A formal methods proof about a reactor that *might*
+get built is not in that alignment. 
+
+So what the hell do I do? As I write this, it seems pretty clear the relationship
+between myself and the Cole Lab's work is fractured. Going forward, I see three
+main options:
+
+1) Find another PhD advisor at Pitt. Bajaj is an obvious choice.
+2) Master out and go find a job.
+3) Go find another PhD opportunity somewhere else. Yichen did this.
+
+Pros and cons of each situation:
+
+1) Find another PhD advisor at Pitt
+    + I would be able to keep my NRC Fellowship
+    + I know people here already
+    + I've already passed the qualifying exam
+    - Money is garbage
+    - I don't think anyone is actually doing work that I really want to do
+    - Have to stay in Pittsburgh
+    - NRC debt keeps growing
+
+2) Master out and go find a job
+    + I would immediately make much more money
+    + Can move somewhere else (Boston?)
+    + NRC commitment is only a year
+    + Could find an interesting R&D job?
+    + Cound get a second publication out for Bajaj's project
+    + Could pick up PhD again in a year or so. Work on projects to make 
+    myself super competitive 
+    - Dr. Sabo is on hold
+    - No thesis!
+
+3) Master out and start a PhD at another school
+    + Dr. Sabo is slightly delayed
+    + Could go work in Boston
+    + Could go work on something I feel passionate about
+    + Better degree diversity
+    + Teaching plan could still work out
+    - Slightly longer timeline
+    - Have to take another qualifying exam
+    - Still have the NRC commitment likely
+    - Would not make much money
+    

9999 Personal/Journal/Journal - README.md

@@ -1,10 +1,8 @@
 # Table of Contents for Journal
 
+## Files
+- [[20250331_Should_I_Continue.md]]
+
 ## Summary
-Based on the table of contents and file contents provided, here is a concise description of what's inside the folder:
-
-This folder contains my personal notes and journal entries. It includes a list of topics covered in [[Table of Contents for Journal]], which suggests that it's organized around various themes or categories.
-
-Upon reviewing the files within this folder, I see that they contain text-based notes and reflections on a wide range of subjects. The content appears to be highly personal and introspective, with entries covering topics such as self-improvement, productivity, mental health, and relationships.
 
 Generated by llama3.2:latest