30 April 2018

Weak but Functional Pigeons

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

20 April 2018

10 June 2017

Cap Sets

Why it's difficult to avoid arithmetic progressions.

06 May 2017

Open Access

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

07 February 2017

POPL 2017

Some things I learned by attending POPL talks.

12 November 2015

Learning from Interpretations

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

05 October 2015

Finding Counterexamples from Parsing Conflicts

How the CUP parser generator explains conflicts.