Jason (jcreed) wrote,

Meeting with Frank: not a lot of technical discussion, but I am more confident that type refinements could be a good thing to stick my feet in, and more confident that the marriage-committee stuff will be okay.
Type systems: actually started in on λ-calculus today. β-convert the night away! Eventually they will indeed get to more deep stuff, according to the syllabus, anyway.
D&D: I was rolling really crappy numbers all night unless I'm falling prey to some sort of statistical fallacy. Left somewhat early, feeling tired to the point of almost feeling sick, but that feeling subsided a bit later as I at least walked around a bit and got something small to eat, and I did manage to sleep continuously until my alarm clock went off.

  • (no subject)

    More things to add to the "chord progressions that aren't cliches-I-already-know-about nonetheless covertly appearing in multiple places" file.…

  • (no subject)

    Consider the chord motion in Lights's "Cactus In The Valley" that happens around 49s in: v link goes here | F G C C | F G C C | F G Am D7 | F G…

  • (no subject)

    Cute little synth widget playground: https://blokdust.com/

  • Post a new comment


    Anonymous comments are disabled in this journal

    default userpic

    Your reply will be screened

    Your IP address will be recorded