Quantcast
Channel: programming – David R. MacIver
Browsing latest articles
Browse All 81 View Live

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 Article

Monads 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 Article

Doing 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 Article

Test-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

Browsing latest articles
Browse All 81 View Live




Latest Images