---
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.