Tag: nerdery

  • I made an Android app!

    by

    in

    So, I’ve become a fan of watching professional videogames — in particular, Starcraft 2.  Unfortunately, since videogames aren’t yet popular enough to be covered by the likes of ESPN, it’s sort of difficult to quickly check the scores of popular matches on a smartphone.  I decided to try and build an app for my phone…

  • A trip to Dallas

    by

    in

    On Monday, I got back from my third (and final, for a while at least) trip to a major city.  I’ve previously discussed my trips to Boston and New Orleans, which were both for work, but this trip was to a huge Starcraft 2 / League of Legends tournament at MLG Dallas.  I went there…

  • Matrix Multiplication in Haskell

    by

    in

    As I mentioned in a previous post, I’m trying to learn Haskell.  I’m not progressing super quickly because it’s not a terribly high priority, but it’s sort of fun to think about programming problems in a totally different way.  While Haskell (being a functional language) definitely fits this niche, the book that I’m following does not…

  • Haskell and exercises

    by

    in

    In fall 2011 I took a course that covered, among other things, proving program correctness with some software called Coq.  There's a lot to it, and I won't go into that here, but one important part of Galina, the language used in Coq, that I had been unexposed to previously was functional programming.  Functional programming…

  • Halloween!

    by

    in

    It was recently Halloween, which means in addition to my normal fall regimen of sleeping through football games, I carved a pumpkin and bought candy for local children. It had been a long time since I'd made even a basic Jack-O'-Lantern (like 15 years) but it turns out that if your design consists almost entirely…