Monthly Archives: December 2007

Type theory, here I come…

Posted on December 26, 2007 by Brent

For Christmas my parents got me a copy of Types and Programming Languages. w00t! I started reading it today on the subway coming home from work. Unfortunately I’m kind of anal about reading prefaces, introductions and so on, so I … Continue reading →

Posted in learning | Tagged , | 1 Comment

Carnival of Mathematics #23 — call for submissions

Posted on December 20, 2007 by Brent

On December 28 I’ll be hosting the Carnival of Mathematics over at my other blog, The Math Less Traveled. If you have any interesting math-related posts you’d like to submit (CS-related posts are fine—even encouraged—as long as there’s some sort … Continue reading →

Posted in meta | Leave a comment

A word to the wise

Posted on December 19, 2007 by Brent

If you only implement the less than operator in a custom Ord instance (on the theory that “I know I only need to implement one operation to get defaults for the others, and less than makes sense, since you can … Continue reading →

Posted in grad school, haskell | Tagged , , | 4 Comments

an application (haha) for darcs

Posted on December 5, 2007 by Brent

So, I’m currently in the process of applying to grad schools. Since no grad school application would be complete without the venerable personal statement, I have written a generic personal statement template which makes me sound totally awesome (…because, of … Continue reading →

Posted in grad school | Tagged , , , | 3 Comments