Jim Kingdon on Programming

Formal math projects like wikiproofs prove mathematical theorems in a way that a computer can verify. There could be several motivations fo...

Today in the codebase at my day job, I found a particularly cute bug related to "rescue" in Ruby. This isn't a particularly un...

Ever since I started using levitation-perl , I was curious about how it handles deleted files. Well, I found out (the hard way). The symptom...