danesabo/Obsidian
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

vault backup: 2025-04-09 10:09:14

Browse Source
This commit is contained in:
Dane Sabo 2025-04-09 10:09:14 -04:00
parent 82720916de
commit c5ee19ae65
2 changed files with 63 additions and 13 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

26
.sessions/Journal.vim
View File

@ -13,27 +13,27 @@ if &shortmess =~ 'A'
else else
set shortmess=aoO set shortmess=aoO
endif endif
badd +117 20250331_Should_I_Continue.md badd +50 20250409_\*horsenoises\*.md
argglobal argglobal
%argdel %argdel
edit 20250331_Should_I_Continue.md edit 20250409_\*horsenoises\*.md
argglobal argglobal
setlocal fdm=manual setlocal foldmethod=manual
setlocal fde=0 setlocal foldexpr=0
setlocal fmr={{{,}}} setlocal foldmarker={{{,}}}
setlocal fdi=# setlocal foldignore=#
setlocal fdl=0 setlocal foldlevel=0
setlocal fml=1 setlocal foldminlines=1
setlocal fdn=20 setlocal foldnestmax=20
setlocal fen setlocal foldenable
silent! normal! zE silent! normal! zE
let &fdl = &fdl let &fdl = &fdl
let s:l = 117 - ((50 * winheight(0) + 29) / 58) let s:l = 50 - ((31 * winheight(0) + 24) / 48)
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 117 keepjumps 50
normal! 0 normal! 054|
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

50
9999 Personal/Journal/20250409_*horsenoises*.md Normal file
View File

@ -0,0 +1,50 @@
The quick brown fox jumps over the lazy dog. The dog stays blissfully asleep. :)
Since last time, I have found a bit more resolve on what I'm going to do about
this whole PhD thing. I have decided I am going to earnestly try to find a topic
that fits with the lab's formal methods bend--at least for the rest of the
spring and into the beginning of the summer. I am taking action to try and find
a topic, like trying to read more surveys and actually doing things. This past
week was not necessarily super successful in that regard, but on the margins was
an improvement. Oh, well.
There is a couple reasons I think this is the right move. First, I am already
here. Any other route that ends with my PhD will add extra time before I am
finished. Any job search right now is also probably not a great idea, since
Trump and his merry men are starting a trade war, and consequently likely a
recession. I am in a good position right now, and there is value in taking stock
of the opportunity that I have.
Robert also lended some helpful advice: certainly the topic of my PhD does not
pigeon hole me into a field for the rest of my career. I think this is true in
a restricted sense, but not in the general sense. For my sake, this means if I
do something formal methods adjacent, it does not mean I need to be stuck in
formal methods forever, but also I should be careful that the work I do also
lends itself to another field I find interesting. One such area is perhaps using
formal methods with artificial intelligence to leverage these tools to create
explainable AI based control.
I need to read more to really understand what that can be. Update to come.
Now for a slight change of pace, some more personal details.
The pursuit of an apartment for Amber and I continues to be a contentious topic.
Amber was quite upset coming back from her trip that I 'did not take care of
myself'--her accusation is that I did not eat balanced meals or in general act
with personal motivation to do things that are good for me. This also compounded
with my food habits with my night classes. I have eaten out a lot recently before
class instead of cooking food at home the night before or so. Amber attributes
this to lazyness. This argument culminated in her saying that she feels more
like a mom than a girlfriend. That makes me really upset.
Do I think she is right? Well, in terms of food, sure. She has a good point. I
could certainly eat better, and this past weekend I see what she is saying about
balanced meals. Fair point and this is something I must correct. Something that
does make me worried however is this idea that she is like my mom rather than
my girlfriend, and more broadly that she feels I make changes because she tells
me so rather than because I want to on my own. This is a frustrating catch-22 in
my opinion. If I do not learn what is upsetting her, I cannot change that
behavior. But, if she tells me and I do change that behavior, she takes credit
for it and gets upset anyways. Honestly, it makes me feel like damned in a way.
I'll try and change nonetheless, but it is incredibly demotivating to think
she will believe it is just because 'she told me so'.