Tag: nerdery
-
I made an Android app!
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
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
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
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!
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…