Jason (jcreed) wrote,
Jason
jcreed

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
Subscribe
  • Post a new comment

    Error

    Anonymous comments are disabled in this journal

    default userpic

    Your reply will be screened

    Your IP address will be recorded 

  • 6 comments