sequent

2 feeds in the directory cover this.

Ryan Brewer's personal blog, covering ideas in programming languages, software, logic, abstract math, and analytic philosophy.

Machine-readable: JSON · all topics