Rendering string diagrams recursively [pdf] (arxiv.org) | HN Screenshots

YHacker Newsscreenshots

Screenshot of arxiv.org: Rendering string diagrams recursively [pdf]

First screen, captured 2 years ago.

Looks similar

Screenshot of arxiv.org: Category theory using string diagrams (2014)

Category theory using string diagrams (2014)(arxiv.org)

62 points by soloist11 2 years ago | 17 comments

Screenshot of arxiv.org: Grothendieck’s use of equality

Grothendieck’s use of equality (arxiv.org)

172 points by golol 2 years ago | 110 comments

Screenshot of arxiv.org: Simplifying and Refactoring Introductory Calculus (2018)

Simplifying and Refactoring Introductory Calculus (2018)(arxiv.org)

113 points by E-Reverance 2 months ago | 56 comments

Screenshot of arxiv.org: Benchmarks in Leipzig

Benchmarks in Leipzig (arxiv.org)

130 points by root-parent 4 months ago | 44 comments

Screenshot of arxiv.org: Dependently Typing R Vectors, Arrays, and Matrices

Dependently Typing R Vectors, Arrays, and Matrices (arxiv.org)

72 points by matt_d 3 years ago | 13 comments

Screenshot of arxiv.org: RAR-B: Reasoning as Retrieval Benchmark

RAR-B: Reasoning as Retrieval Benchmark (arxiv.org)

9 points by aminst 2 years ago | 0 comments