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.

18 August 2014

17 August 2014

ROSE 1995

What I remember from the first computer-related conference I attended.