infryq

Yesterday I stay-stitched the bottom pieces. This is a lighter-weight
challis so I prototyped to find the right stitch length, and am using a
finer embroidery thread in the bobbin. At work I fixed some bugs, made a
commit, and found some more. P had the car on campus, so we drove home by
way of geagle for emergency sunflower seeds and also got cheese, tiny
potatoes, jam, half and half, and gf graham crackers. For dinner I boiled
some of the potatoes in heavily salted water, then smashed them between two
nested bowls and used them as the starch in my usual mix with snow peas,
asparagus, lima beans, cranberries, and a big handful of fresh parsley and
thyme. Excellent. P had pita with tabbouli and dips. Crossword, Room,
Flash, snack, sleep.

Yesterday I wrote up notes on the finished prototype shirt for the changes
I want to make in the next one; mostly construction and seam finishing but
I also want to try a one-piece placket at center back.

P came in on the shuttle with me and we had lunch together, then he went
off to clean out his locker at the gym. I spent the afternoon doing a
pytorch tutorial, then fixed a bug in how deletions are handled, which
passed a bunch of unit test modules. Not all of them, but, progress. I went
to a meeting with F and M, and contributed some of the sample programs from
the ProPPR repository as possible sources of training data. We need a huge
pile of proof traces from logic programs with semantically-meaningful
predicate and atom names. Ideally it would be a pile of different programs,
but the top_X ones we built for ProPPR are huge enough to generate
thousands of proofs each. That will work, but we risk overfitting to that
particular naming style, which is unlikely to match what we’ll be using in
LIA.

I walked home through the park and listened to Foxglove Summer (extremely
great if a little heavy on the foreshadowing). Once home, sat for a bit,
then made dinner. P made pizza. Being back in proper routine again is a
major comfort. P took a call from his mom while I did dishes, then we did
the crossword, and played a module and a half of the new The Room
installment. CW uncontrolled fire in this one.

Snack, sleep. I dreamt of whistling at hummingbirds, exploring old
buildings, and parties at my french teacher’s house learning constructed
languages.

G update: he’s doing way better! Also D inquired around the neighborhood
about teens that might want to pick up some extra cash mowing their lawn
this summer, and it turned out all the neighbors had already worked out
like a whole schedule whereby they’d take turns making it happen. New
England.