• In a world of multi-core processors, memory caching can break useful abstractions.

    It seems Moore’s Law will remain an accurate model for predicting transistor density in processors for the immediate future. However, Dennard Scaling is widely recognized as broken. The result is that exponentially more transistors are packed into processors yet processor performance increases sub-exponentially. Due to this, the additional transistors are...

  • Changing the website framework.

    It is my goal for this website be a place where I share my work with the world regularly. In fact, that has always been my primary goal of maintain a website. I was previously using org-mode to generate content but the process to go from content generation to publishing...

  • Reasoning about Caml Functions

    The computer science department at the University of Minnesota has recently introduced a new course titled “Advanced Programming Principles”. Generally, the course is focused on teaching students how to use modern programming languages (i.e., typed, type-safe, functional) in a productive and principled way. A staple of functional programming is recursion....

  • org-mode for Static Website Generation

    Some Context This post no longer has a proper context; I am no longer using the following approach to generate my website. That said, I think it still contains some content that might be useful for someone else trying to use org-mode for static website generation. Summary I was unhappy...

  • Review of "Make It Stick: The Science of Successful Learning"

    This is a book about what people can do for themselves right now in order to learn better and remember longer. - Brown, Roediger, McDaniel This book discusses effective strategies for learning and gives intuition for why they are effective. The strategies are practical and presented as vehicles toward understanding...