Full threadstevetursi·Spanish, and Category TheoryI can't tell yet which is harder. Both are pretty tough.View on HN