Author: Sam
-
A trip to New Orleans
As I mentioned in a previous post, I attended this years HIMMS (Healthcare Information and Management Systems Society) exhibition and conference. I was there to help show / run our demo, and there was also time to do a little bit of exploring in New Orleans, which I hadn’t ever visited before. The show itself…
-
A trip to Boston
I recently made a trip to the MD PnP (medical device plug-and-play) lab in Boston, Massachusetts as part of my work at K-State (which involves coordinating medical devices). I had two main reasons for going: first, to work with a couple of our research partners in the lab on an upcoming demo, and second to…
-
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…
-
Scheming
I recently found myself with some free time in Topeka, after the final appointment for my “subepithelial connective tissue graft” (aka gum graft) got done early. That whole process is probably worth its own post, but the short version is: some gum tissue had to be moved around in my mouth, and everything went fine…
-
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…
-
Papers, papers… some more papers
So, looking at my blog, I realized I hadn’t ever actually made a post about finishing my thesis. I defended successfully at the end of November, made the committee’s corrections, and now have a final version of my master’s thesis. If you’d like, you can find a copy here. I’m continuing on at K-State, and…
-
More Geocaching!
I've been doing quite a bit more geocaching recently. None of the places I went to or things I found were worthy of their own blog post, but a list of them probably is: The smallest geocache ever (watch for scale): A neat statue from a cemetery: An interurban railway bridge: A cool stone bridge:…
-
Geocaching!
So, wanting to get outside (but not get lost, as has happened before) I decided to take up a new hobby called geocaching. It's explained really well in this short video, but the short version is that geocaching is like a global treasure hunt. Someone places a container (usually a tupperware-type box) and records its…
-
Fancy Creek Hike
A couple of weekends ago, when the weather wasn't awful, I decided to go on a nature hike. I found a neat-looking path online, and drove up in the afternoon to walk around it. It's a 4.6 mile path, so I figured it would take an hour and a half, since I walk pretty fast.…
-
Pretty-Printing XML with XSL
One of the things I really enjoy about my job is that as the only developer on my project (formerly known as λ, now officially named Kinerja), I get to tackle a bunch of different types of programming jobs. Working on the model checking core is pretty different from working on the web interface, and…