Weak but Functional Pigeons

A bird's eye view of [Razborov, Resolution Lower Bounds for the Weak Functional Pigeonhole Principle, 2003].

LYM Inequality

A simple proof.

Cap Sets

Why it's difficult to avoid arithmetic progressions.

Open Access

Preachy post about how I'm not preachy on the subject of open access.

POPL 2017

Some things I learned by attending POPL talks.

Learning from Interpretations

The LFI-Problog algorithm, for doing inference on probabilistic logic programs.

Finding Counterexamples from Parsing Conflicts

How the CUP parser generator explains conflicts.