diff --git a/.sessions/Journal.vim b/.sessions/Journal.vim index 0b5429db..1429eacf 100644 --- a/.sessions/Journal.vim +++ b/.sessions/Journal.vim @@ -13,27 +13,27 @@ if &shortmess =~ 'A' else set shortmess=aoO endif -badd +117 20250331_Should_I_Continue.md +badd +50 20250409_\*horsenoises\*.md argglobal %argdel -edit 20250331_Should_I_Continue.md +edit 20250409_\*horsenoises\*.md argglobal -setlocal fdm=manual -setlocal fde=0 -setlocal fmr={{{,}}} -setlocal fdi=# -setlocal fdl=0 -setlocal fml=1 -setlocal fdn=20 -setlocal fen +setlocal foldmethod=manual +setlocal foldexpr=0 +setlocal foldmarker={{{,}}} +setlocal foldignore=# +setlocal foldlevel=0 +setlocal foldminlines=1 +setlocal foldnestmax=20 +setlocal foldenable silent! normal! zE 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 keepjumps exe s:l normal! zt -keepjumps 117 -normal! 0 +keepjumps 50 +normal! 054| tabnext 1 if exists('s:wipebuf') && len(win_findbuf(s:wipebuf)) == 0 && getbufvar(s:wipebuf, '&buftype') isnot# 'terminal' silent exe 'bwipe ' . s:wipebuf diff --git a/9999 Personal/Journal/20250409_*horsenoises*.md b/9999 Personal/Journal/20250409_*horsenoises*.md new file mode 100644 index 00000000..3044bdb9 --- /dev/null +++ b/9999 Personal/Journal/20250409_*horsenoises*.md @@ -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'.