Maybe they ran the bisque? Hope not.

[infryq]

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.