Ah. A nice early morning walk under the stars, listening to Miles Davis' "Live Evil." Thinking about tomorrow's lambda calculus lecture.
@dabeaz no, sorry, 'morning' and 'under the stars' (unless you're referring to those still present behind a sun lighted sky) are completely incompatible while unguarded, and lead to all sorts of memory leaks and script kiddies stealing your pocket change. You're probably referring to what in Spanish we call 'madrugada', and can realistically be translated to English as 'last night'. And for those living close to the poles, I'm sorry, but you're not supposed to live there.
-- a subtropical human