Jason (jcreed) wrote,

Did some laundry and twelfing in the morning. The core of this proof is much harder to formalize than I expected.

Had some PDC with tom7; talked about why effects and dependent pairs are strange bedfellows.

Walked over to the Squirrel Hill library, and dicked around on the internet for a while. Also made a little progress sketching and thinking about how to come up with a nice Garalde typeface all my own.

Met up with demoness101 at the movie theater down on Forward, and saw the Wallace and Gromit movie. It is essentially a flawless piece of entertainment. Go see it right now if you haven't already. It won't change your life, but it will make you laugh a lot, unless you are a thoroughly dreary and mirthless individual.

Got some Steak 'n' Shake following that, and returned home where I for some reason got it in me to write a tiny little SML library to output PDF files. I got the basic stuff working; I can, like, draw lines and display text in the built-in fonts like Times or Helvetica or what-have-you. I'd like to figure out how to embed fonts.
Tags: fonts, movies, pdf, programming, sml, work

  • (no subject)

    Video demonstrating that graphite conducts electricity.

  • (no subject)

    Hooked up some beepbox data to my synth backend, so I can play along with it on the midi keyboard. Pretty fun. Also "succeeded" at zipper repair on…

  • (no subject)

    Finally succeeded in a bit of refactoring to the synth backend that lets me dlopen in unit generators without restarting the program serving up…

  • Post a new comment


    Anonymous comments are disabled in this journal

    default userpic

    Your reply will be screened

    Your IP address will be recorded