Currently reading…

  • On Liberty by John Stuart Mill
  • Types and Programming Languages by Benjamin Pierce