PhD in mathematical logic, got into applied category theory lately.
Current theme: default
Less Wrong (text)
Less Wrong (link)