math_foo 😦tired

Good Morning

Hey, it's stopped snowing! Somebody is in the church parking lot beside my apartment clearing the snow away. What is he doing up at this ungodly with us insomniacs?....Right, it's actually 7am now.

CS 442 is progressing well. I made it through half of the assignment today. I got really hung up on Part B Question 2, trying to figure out the syntax of functors and signatures; but I've got it working now! Where now was 5 hours ago just before bed. I really like ML, even if I couldn't figure out that I can't use eqtype outside of a signature.

The ML coding parts of my midterm on Thursday went far too well given all the practice I had had was about 2 hours shortly before hand while spaced on pain killers. I am a little disappointed with the midterm; but given it occurred the same day as my worse (and indeed closest to full-blown) migraine in over 6 months, it went well.

This is the second night in a row of weird 'middle' of the night waking up and not falling back asleep for an hour. Last night it was crazy itchy feet; but tonight there is no apparent cause. Warm milk and back to bed for me.