Compare commits
No commits in common. "3923688d7f120a9cb6766d552294174d32bb0260" and "c131f59283880ebc2485d7f1634f425103e3a6b7" have entirely different histories.
3923688d7f
...
c131f59283
@ -1,89 +0,0 @@
|
|||||||
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 :
|
|
||||||
@ -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")
|
let v:this_session=expand("<sfile>:p")
|
||||||
silent only
|
silent only
|
||||||
silent tabonly
|
silent tabonly
|
||||||
cd ~/Documents/Dane\'s\ Vault/9999\ Personal/Journal
|
cd ~/Documents/Dane\'s\ Vault/5\ Thesis
|
||||||
if expand('%') == '' && !&modified && line('$') <= 1 && getline(1) == ''
|
if expand('%') == '' && !&modified && line('$') <= 1 && getline(1) == ''
|
||||||
let s:wipebuf = bufnr('%')
|
let s:wipebuf = bufnr('%')
|
||||||
endif
|
endif
|
||||||
@ -13,10 +13,10 @@ if &shortmess =~ 'A'
|
|||||||
else
|
else
|
||||||
set shortmess=aoO
|
set shortmess=aoO
|
||||||
endif
|
endif
|
||||||
badd +16 ~/Documents/Dane\'s\ Vault/5\ Thesis/4\ Meetings/DGC_DAS_328.md
|
badd +4 4\ Meetings/DGC_DAS_328.md
|
||||||
argglobal
|
argglobal
|
||||||
%argdel
|
%argdel
|
||||||
edit ~/Documents/Dane\'s\ Vault/5\ Thesis/4\ Meetings/DGC_DAS_328.md
|
edit 4\ Meetings/DGC_DAS_328.md
|
||||||
argglobal
|
argglobal
|
||||||
setlocal fdm=manual
|
setlocal fdm=manual
|
||||||
setlocal fde=0
|
setlocal fde=0
|
||||||
@ -28,12 +28,12 @@ setlocal fdn=20
|
|||||||
setlocal fen
|
setlocal fen
|
||||||
silent! normal! zE
|
silent! normal! zE
|
||||||
let &fdl = &fdl
|
let &fdl = &fdl
|
||||||
let s:l = 16 - ((15 * winheight(0) + 30) / 60)
|
let s:l = 4 - ((3 * winheight(0) + 5) / 11)
|
||||||
if s:l < 1 | let s:l = 1 | endif
|
if s:l < 1 | let s:l = 1 | endif
|
||||||
keepjumps exe s:l
|
keepjumps exe s:l
|
||||||
normal! zt
|
normal! zt
|
||||||
keepjumps 16
|
keepjumps 4
|
||||||
normal! 080|
|
normal! 03|
|
||||||
tabnext 1
|
tabnext 1
|
||||||
if exists('s:wipebuf') && len(win_findbuf(s:wipebuf)) == 0 && getbufvar(s:wipebuf, '&buftype') isnot# 'terminal'
|
if exists('s:wipebuf') && len(win_findbuf(s:wipebuf)) == 0 && getbufvar(s:wipebuf, '&buftype') isnot# 'terminal'
|
||||||
silent exe 'bwipe ' . s:wipebuf
|
silent exe 'bwipe ' . s:wipebuf
|
||||||
|
|||||||
@ -1,22 +1,4 @@
|
|||||||
The quick brown fox jumps over the lazy dog. The dog stays blissfully asleep. :)
|
The quick brown fox jumps over the lazy dog. The dog stays blissfully asleep. :)
|
||||||
|
|
||||||
# Things to discuss
|
# Things to discuss
|
||||||
1. NRC Fellowship money update
|
1.
|
||||||
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
|
|
||||||
|
|
||||||
|
|||||||
@ -1,8 +0,0 @@
|
|||||||
---
|
|
||||||
title: Bus in and journal
|
|
||||||
allDay: false
|
|
||||||
startTime: 08:30
|
|
||||||
endTime: 09:30
|
|
||||||
date: 2025-03-31
|
|
||||||
completed: null
|
|
||||||
---
|
|
||||||
@ -1,86 +0,0 @@
|
|||||||
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
|
|
||||||
|
|
||||||
@ -1,8 +1,10 @@
|
|||||||
# Table of Contents for Journal
|
# Table of Contents for Journal
|
||||||
|
|
||||||
## Files
|
|
||||||
- [[20250331_Should_I_Continue.md]]
|
|
||||||
|
|
||||||
## Summary
|
## 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
|
Generated by llama3.2:latest
|
||||||
|
|||||||
Loading…
x
Reference in New Issue
Block a user