Monthly Archives: April 2012

Doing Code Reviews with GitHub

For many reasons, I really enjoy using git and GitHub for my current project. Today I’ll highlight one reason: code reviews.

Posted in software development | Tagged | 3 Comments

Install git-extras for windows cygwin

I recently discovered git-extras when searching to see if the brew package manager (for Mac) had a package for git > brew search git

Posted in software development | Tagged | Leave a comment

Loop Invariant Proofs

Sometime last year I ran across a blog talking about loop invariant proofs. At the time it seemed like a new concept to me. My undergraduate degree was not in computer science, and my graduate degree in computer science was … Continue reading

Posted in computer science | Tagged , , | Leave a comment