Inside 206-105

Existential Pontification and Generalized Abstract Digressions

September, 2010

Embracing Windows

Some things come round full circle. As a high schooler, I was a real Windows enthusiast. A budding programmer, I accumulated a complete development environment out of necessity, a mix of Cygwin, handwritten batch scripts, PuTTY, LogMeIn, a homegrown set of PHP build scripts and Notepad++. I was so devoted to the cause I even […]

  • September 6, 2010

Annotating slides

A little trick for your toolbox: after you’ve generated your slide deck and printed it out to PDF, you might want to annotate the slides with comments. These is a good idea for several reasons: If you’ve constructed your slides to be text light, they might be optimized for presentation but not for reading later […]

  • September 3, 2010

My type signature overfloweth

I’ve recently started researching the use of session types for practical coding, a thought that has been in the back of my mind ever since I was part of a team that built a networked collaborative text editor and spent a lot of time closely vetting the server and the client to ensure that they […]

  • September 1, 2010