I seem to be resickifying. Ugh.
Compilers went okay. Did some CSE stuff. My ELNA package finally came. Tried to start on Kiel Akvo de l' Rivero, but it's a little rough going. Looked over the compilers assignment, ran a few tests, and the diffs against the solution binary were empty. Good news. Ordered some pizza with
lincoln3 and kaustuv. Ran into techstep in the lounge. Hadn't seen him in a while; it was nice to chat.
Went home. Watched yet more B5. Once season 4 is over I think I will feel less addicted.
Looked at Asperti's "Light Affine Logic" paper. Weird stuff.
Compilers went okay. Did some CSE stuff. My ELNA package finally came. Tried to start on Kiel Akvo de l' Rivero, but it's a little rough going. Looked over the compilers assignment, ran a few tests, and the diffs against the solution binary were empty. Good news. Ordered some pizza with
lincoln3 and kaustuv. Ran into techstep in the lounge. Hadn't seen him in a while; it was nice to chat.Went home. Watched yet more B5. Once season 4 is over I think I will feel less addicted.
Looked at Asperti's "Light Affine Logic" paper. Weird stuff.