Full threadighost·<neo-voice> I know category theory </neo-voice>Kidding. Where's the tl;dr?View on HN