Mystery strategic dreams
Sep. 25th, 2018 06:31 amYesterday I arranged for an inter-library loan of a type systems book from
MIT press, had a debugging session with S, worked on som sysadmin stuff and
learned we’ll need to upgrade the OS on the GPU machines, and further
developed the implementation proposal for the LIA type system rollout.
Bad food morning, and I wound up skipping lunch but did eat all the
accoutrements later on and dinner was fine so 🤷🏼♀️.
Watched some more gbbo and knit too much. Sore arm.
MIT press, had a debugging session with S, worked on som sysadmin stuff and
learned we’ll need to upgrade the OS on the GPU machines, and further
developed the implementation proposal for the LIA type system rollout.
Bad food morning, and I wound up skipping lunch but did eat all the
accoutrements later on and dinner was fine so 🤷🏼♀️.
Watched some more gbbo and knit too much. Sore arm.