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.

07 August 2014

Coursera Courses

In this post I review some of the Coursera courses that I completed.

30 July 2014

At Most R

How to encode a cardinality constraint as boolean constraints.