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.

Yesterday I sewed the first edge of bias tape to one of the armholes, after
several false starts. I called P to chat and get the usual update; he’ll be
coming home today as scheduled to deal with his drivers license and, like,
actually rest and get some contiguous focus time in on his fall courses. At
work I fixed the temporary nodes issue in pytheo, and moved on to the LIA
tests. Home, then I did a turn through the garden and picked snow peas and
blackcurrants, weeded a bit, and cleared the current flush of comfrey out
of the radish bed. I had a nice chat with the neighbor about edible,
horticultural, and medicinal plants, and the relative virtues of growing up
in the country versus just reading a lot. For dinner I sautéed a quarter of
the cabbage with peppers and parsley, then proceeded to not put any of it
in my more Katie-sized stir fry of asparagus and snow peas. Legends, snack,
sleep.

G news: he will probably do out the rest of the week in the hospital to get
his cardiac symptoms under control, but is sleeping better.

tv

Yesterday I figured out edgestitching (still need practice, particularly on
corners) and finished the plackets. At work I figured out the issue with
the differences between the LIA and raw pytheo tests was that LIA was using
batch mode and I wasn’t testing that in pytheo yet. Adding that test made
things substantially easier. More bugs remain; I suspect inference caching
isn’t working right.

Midnight Riot is more gruesome and misogynist than I remember, but remains
entertaining.

Home, and the Amish hairpins had arrived, so I put my hair up in a French
twist with them and am extremely impressed— only four pins and it was
secure to vigorous movement, and over the evening nothing dug at my scalp
the way a spring-claw tends to. Highly recommend.

Dinner, chatted with P (G is out of the ICU, has seen the GI, will go in
for lapro surgery in the next few days to make it so he can eat, hopefully
coming home to recover before P is scheduled to depart next Wednesday),
Flash, snack, sleep.