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

### Genius! How Not to Be Wrong

Why math is for everybody.

## 17 August 2014

### ROSE 1995

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