infryq

Yesterday I spent the morning attempting to fix and then building a workaround for an NFS issue, since we’re doing user tests and it has to work. rsync to the rescue. At work I helped with setup: getting the last bunch of packages installed, getting the reasoner to run, testing out the statements file, finding issues. I fixed some formatting irregularities in the statements file, and added some logic in the code so that if it doesn’t find a proof but hasn’t asked the user anything, it will try again with user feedback this time. Home, did a turn through the garden and picked beans, a tromboncino, lemon chiles, and a carrot. I made a questionable choice in jumping to reach some of the pole beans, and bent back a fingernail on the way back down. It bled, but not badly; I think it’ll be fine. Some kind of creature visited the inside of the garden and neatly trimmed some of the carrot tops but ate nothing else. Dinner, crossword, Elementary, snack, micro panic attack, sleep.

G update: he successfully did PT standing up without his blood pressure tanking! Which is good because he is Extremely Tired of the food there. Hopefully just a matter of time now.