Space-time tradeoffs of lenses and optics via higher category theory [video]youtube.com2 points·larve··0 commentsOpen articleSaveView on HN