Reading Group on Computational Category Theory
|
|
1
|
105
|
March 28, 2024
|
Poly @ Work 2024
|
|
0
|
18
|
March 27, 2024
|
U-lang, A-lang, and the Obs within
|
|
0
|
32
|
March 27, 2024
|
Kittenlab... in 1988!
|
|
0
|
134
|
March 25, 2024
|
Effectful Trace Semantics via Effectful Streams
|
|
6
|
72
|
March 22, 2024
|
LocalCharts on Lemmy
|
|
4
|
73
|
March 22, 2024
|
Differential Equations with Jumps
|
|
13
|
118
|
March 21, 2024
|
My PhD Thesis is out!
|
|
3
|
114
|
March 16, 2024
|
The Probability of Undecidability
|
|
0
|
44
|
March 15, 2024
|
The Probability of the Law of Excluded Middle
|
|
0
|
48
|
March 13, 2024
|
Forester for the Woodland Skeptic
|
|
9
|
157
|
March 13, 2024
|
Learning to Learn Again
|
|
2
|
128
|
March 12, 2024
|
Wild coproducts in the category of simple lenses
|
|
0
|
60
|
March 7, 2024
|
Dependent optics
|
|
0
|
57
|
March 6, 2024
|
Desiderata for an adequate scientific publishing platform
|
|
14
|
286
|
March 6, 2024
|
Formal and Informal Collaboration
|
|
1
|
71
|
March 4, 2024
|
Notes for Davidad's Second ARIA Workshop
|
|
0
|
95
|
March 4, 2024
|
Induction is induction
|
|
5
|
888
|
March 3, 2024
|
A glimpse of the algebraic theory of linear systems
|
|
1
|
109
|
March 3, 2024
|
Profunctor Optics, a Categorical Update
|
|
0
|
76
|
March 1, 2024
|
People like you are using the forest!
|
|
0
|
66
|
March 1, 2024
|
Learning Resources for Applied Category Theory
|
|
13
|
1522
|
March 1, 2024
|
Visual Language for Databases
|
|
5
|
234
|
February 29, 2024
|
Degree of Classicality
|
|
2
|
72
|
February 29, 2024
|
Agent-Based Models (Part 7)
|
|
0
|
51
|
February 28, 2024
|
Agent-based modeling via graph rewriting
|
|
0
|
76
|
July 7, 2023
|
LocalCharts is Live
|
|
6
|
447
|
February 23, 2024
|
Introducing InterTypes
|
|
0
|
69
|
February 22, 2024
|
Shrubbery Notation
|
|
0
|
74
|
February 21, 2024
|
Agent-Based Models (Part 6)
|
|
0
|
61
|
February 21, 2024
|