An Unkind Question about Software Correctness Research
Dear Lazyweb, I’m about to be something of a jerk, and I’d like your help in doing it. I have noticed a common pattern in a lot of software correctness research, which is that they often follow the...
View Article(Some of) my problems with correctness research
Epistemic status: I think this is mostly right, but I’m sure there are gaps in my understanding of the field. Also you should be intrinsically suspicious of any argument that concludes that the...
View ArticleMonads as an interface for composition
Fair warning: I’m going to be talking about monads. It’s in the title and everything. This post is even a little bit of a monad tutorial, as I’m not going to assume that you know what a monad is,...
View ArticleDoing the Two-Step for Efficient Reversible Deletes
Attention conservation notice: I’m back to blogging about tech again. Sorry. Credit: Thanks to Suzy Hamilton for useful information about dance types. I recently read Donald Knuth’s dancing links...
View ArticleTest-Case Selection and Choice Theory
Attention conservation notice: Honestly you probably don’t care about this post unless the title sounds really intriguing to you. I’m not sure this matters at all. At its most abstract, the test case...
View Article
More Pages to Explore .....