|
Seminar on This Week’s Finds
|
|
0
|
14
|
December 1, 2023
|
|
How notebooks should work
|
|
5
|
99
|
December 1, 2023
|
|
Reproducible Literate Programming: A Correct and Efficient Design
|
|
0
|
16
|
December 1, 2023
|
|
LocalCharts on the Fediverse?
|
|
3
|
50
|
November 29, 2023
|
|
A basic logo
|
|
15
|
88
|
November 28, 2023
|
|
Categories are monads in spans
|
|
2
|
4266
|
November 28, 2023
|
|
Desiderata for an adequate scientific publishing platform
|
|
5
|
52
|
November 28, 2023
|
|
Retrotransformations
|
|
2
|
92
|
November 28, 2023
|
|
Just Intonation (Part 3)
|
|
0
|
35
|
November 9, 2023
|
|
What Can Mathematicians Do About Climate Change?
|
|
0
|
39
|
November 25, 2023
|
|
Multi-adjoints as conjoints
|
|
3
|
62
|
November 25, 2023
|
|
Agent-Based Models (Part 4)
|
|
0
|
35
|
November 23, 2023
|
|
Animating categories
|
|
6
|
80
|
November 19, 2023
|
|
Agent-Based Models (Part 3)
|
|
0
|
29
|
November 14, 2023
|
|
Just Intonation (Part 5)
|
|
0
|
24
|
November 17, 2023
|
|
Combinatorial data structures via finite existential types
|
|
5
|
79
|
November 17, 2023
|
|
A generalization of GAT syntax
|
|
5
|
114
|
November 15, 2023
|
|
Just Intonation (Part 4)
|
|
0
|
24
|
November 15, 2023
|
|
LocalCharts Survey
|
|
0
|
46
|
November 14, 2023
|
|
Two kinds of Prisms
|
|
5
|
71
|
November 13, 2023
|
|
Mathematics for Climate Change
|
|
0
|
32
|
November 13, 2023
|
|
Co-Adhesive Categories…
|
|
1
|
49
|
November 10, 2023
|
|
Tree Decompositions of Groups: a Letter to Mike Fellows
|
|
0
|
29
|
November 8, 2023
|
|
Boethius
|
|
0
|
24
|
November 8, 2023
|
|
Compositional Algorithms
|
|
0
|
37
|
November 7, 2023
|
|
Categories of temporal graphs §1
|
|
0
|
30
|
November 7, 2023
|
|
Compositional algorithms §2: quotienting solution spaces
|
|
0
|
25
|
November 7, 2023
|
|
Understanding sheaves §1
|
|
0
|
32
|
November 7, 2023
|
|
Dynamic programming on non-recursive structures
|
|
0
|
25
|
November 7, 2023
|
|
Understanding Sheaves §2
|
|
0
|
19
|
November 7, 2023
|