How Naïve Dynamic Programming can Fail: Initiating a Systematic Study of Obstructions to Algorithmic Compositionality through the Lens of Cohomology
|
|
0
|
11
|
December 8, 2023
|
The Wizardry Frontier — Sympolymathesy, by Chris Krycho
|
|
0
|
15
|
December 7, 2023
|
How to stay locally safe in a global world
|
|
0
|
22
|
December 7, 2023
|
Adjoint School 2024
|
|
0
|
31
|
December 4, 2023
|
Actions of categories
|
|
0
|
274
|
December 3, 2023
|
Seminar on This Week’s Finds
|
|
0
|
24
|
December 1, 2023
|
How notebooks should work
|
|
5
|
117
|
December 1, 2023
|
Reproducible Literate Programming: A Correct and Efficient Design
|
|
0
|
30
|
December 1, 2023
|
LocalCharts on the Fediverse?
|
|
3
|
57
|
November 29, 2023
|
A basic logo
|
|
15
|
97
|
November 28, 2023
|
Categories are monads in spans
|
|
2
|
4383
|
November 28, 2023
|
Desiderata for an adequate scientific publishing platform
|
|
5
|
64
|
November 28, 2023
|
Retrotransformations
|
|
2
|
100
|
November 28, 2023
|
Just Intonation (Part 3)
|
|
0
|
40
|
November 9, 2023
|
What Can Mathematicians Do About Climate Change?
|
|
0
|
46
|
November 25, 2023
|
Multi-adjoints as conjoints
|
|
3
|
70
|
November 25, 2023
|
Agent-Based Models (Part 4)
|
|
0
|
39
|
November 23, 2023
|
Animating categories
|
|
6
|
87
|
November 19, 2023
|
Agent-Based Models (Part 3)
|
|
0
|
34
|
November 14, 2023
|
Just Intonation (Part 5)
|
|
0
|
28
|
November 17, 2023
|
Combinatorial data structures via finite existential types
|
|
5
|
93
|
November 17, 2023
|
A generalization of GAT syntax
|
|
5
|
120
|
November 15, 2023
|
Just Intonation (Part 4)
|
|
0
|
28
|
November 15, 2023
|
LocalCharts Survey
|
|
0
|
51
|
November 14, 2023
|
Two kinds of Prisms
|
|
5
|
76
|
November 13, 2023
|
Mathematics for Climate Change
|
|
0
|
37
|
November 13, 2023
|
Co-Adhesive Categories…
|
|
1
|
52
|
November 10, 2023
|
Tree Decompositions of Groups: a Letter to Mike Fellows
|
|
0
|
34
|
November 8, 2023
|
Boethius
|
|
0
|
29
|
November 8, 2023
|
Compositional Algorithms
|
|
0
|
41
|
November 7, 2023
|