Dane Sabo
1be3b7420c
M .sessions/Journal.vim M .sessions/nvim_config.vim A Writing/ERLM/goals-and-outcomes/v3.tex M Writing/ERLM/main.fdb_latexmk M Writing/ERLM/main.fls M Writing/ERLM/main.log M Writing/ERLM/main.pdf M Writing/ERLM/main.synctex.gz
70 lines
2.9 KiB
Markdown
70 lines
2.9 KiB
Markdown
---
|
|
id: JRNL-20250904-135850
|
|
title: Thursday, September 04, 2025 - 01:58 PM
|
|
type: journal
|
|
created: 2025-09-04T17:58:50Z
|
|
modified: 2025-09-04T17:58:50Z
|
|
tags: [journal]
|
|
---
|
|
|
|
# Thursday, September 04, 2025 - 01:58 PM
|
|
|
|
So today is actually a late journal for yesterday... I got
|
|
sschleepy and went to bed.
|
|
|
|
Yesterday significantly less happened. I finished my first
|
|
draft of the goals and outcomes section, I went to class,
|
|
and then I got food at Totopo with Devyn and Erik
|
|
(Juengling).
|
|
|
|
The first draft of my goals and outcomes section was pretty
|
|
good I think, but there's still issues. For one, I've got to
|
|
tighten up my goal. It's just not good enough but it must
|
|
straddle a line between being too long and being jargony.
|
|
There's also problems with intellectual merit. I feel like
|
|
there's not one single issue that is being addressed.
|
|
|
|
We discussed this somewhat in the group meeting we had right
|
|
after class. Dan started talking about how for hybrid
|
|
systems the proving of stability is still very difficult. I
|
|
feel like I could have some good ideas on how to solve that
|
|
problem, because the answer has to exist in examining
|
|
boundary behavior. I should get a move on trying some things
|
|
out for that. I watched a lecture by Andre Platzer about
|
|
verifying hybrid systems, and while his system of
|
|
differential dynamic logic does seem to capture hybrid
|
|
system behavior, it feels way too complicated.
|
|
|
|
ERLM was fun. Dan went over some goals and outcomes
|
|
submissions and offered comments. I think mine would've been
|
|
one of the best but I've had a head start on this whole
|
|
proposal thing. Also, I feel like my writing experience
|
|
lets me get ideas across easily.
|
|
|
|
The rest of the day was pretty chill. I retooled my dating
|
|
profiles with some better pictures of me. One of me from the
|
|
last Yinz Run Club, and one again from Jonathan's wedding.
|
|
Claude thinks I need a picture that is a proof of
|
|
sociability. It might be right. The results though have been
|
|
dramatic. I'm certainly getting more matches and have a
|
|
couple new threads going.
|
|
|
|
Then, Devyn, Erik, and I caught up at Totopo. That was a lot
|
|
of fun :). Devyn is not having the best time out in King of
|
|
Prussia and is interviewing for jobs out here (As well as
|
|
around the country). He thinks Philadelphia Gear is a boring
|
|
company to work for, and for someone with his skillset, is
|
|
probably a waste of his talents. He and his girlfriend have
|
|
a debt mountain that they're trying to work down too--she is
|
|
having a really hard time finding a job with a biostatistics
|
|
degree. They're going on 27. It was really nice to see Devyn
|
|
again. I forgot how much I actually missed that guy. Erik
|
|
was good too, he's working full time at Siemens now and is
|
|
living in Lawrenceville with his girlfriend.
|
|
|
|
That's pretty much it from Wednesday. Today (Thursday) I
|
|
woke up and didn't really get moving until close to noon.
|
|
That's problematic but I do feel refreshed. Today I have the
|
|
union meeting, and I'm watching the Eagles game and
|
|
Andrew's.
|