31 October 2014

Dynamic Dispatch

In which I explain how to solve puzzle questions involving dynamic dispatch.

28 October 2014

Why Do We Fail?

What is there to do if a problem refuses to be knocked down? There's a generic problem solving strategy for that.

13 October 2014

Research and Startups

In which I argue that research is an extreme form of startup.

05 October 2014

Nitpicking Distance

I recently wrote down what I thought is a completely standard definition of distance on graphs. I was asked if I'm sure that the definition is well-behaved. Well … let's see.

13 September 2014

The Effect of Discouragement

How many books will one write? (Or blog posts, for that matter.)

11 September 2014

Beta Function

How to compute $\int_0^1 dp\, p^k(1-p)^{n-k}$ without symbol manipulation.

26 August 2014

Watching Horn

How to use watched literals (or, rather, vertices) to do breadth-first search in Horn hyperdigraphs.