Equality vs equivalence: computing isomorphism classes of C-sets
|
|
0
|
1
|
October 10, 2024
|
The chase: data repair and logical reasoning
|
|
0
|
3
|
October 10, 2024
|
Using categorical logic for AI planning
|
|
0
|
4
|
October 10, 2024
|
Algebraic geometry for the working programmer
|
|
0
|
3
|
October 10, 2024
|
Symbolic presentations of dynamical systems
|
|
0
|
1
|
October 10, 2024
|
Acsets with variables
|
|
0
|
1
|
October 10, 2024
|
Agent-based modeling via graph rewriting
|
|
0
|
3
|
October 10, 2024
|
Introducing InterTypes
|
|
0
|
4
|
October 10, 2024
|
Introducing CatColab
|
|
0
|
22
|
October 3, 2024
|
The Space of Physical Frameworks (Part 2)
|
|
0
|
9
|
September 8, 2024
|
GADTs as Prolog
|
|
0
|
30
|
September 6, 2024
|
Open curricula and assessment tools workshop in Kisumu
|
|
0
|
11
|
September 6, 2024
|
Narya ProofGeneral Setup
|
|
0
|
23
|
September 3, 2024
|
The Space of Physical Frameworks (Part 1)
|
|
0
|
25
|
September 1, 2024
|
Postdoc job openings in Topos Oxford, UK
|
|
0
|
12
|
August 30, 2024
|
Plausible fiction
|
|
0
|
15
|
August 28, 2024
|
Thoughts on Forester: A Scientist's Zettelkasten
|
|
4
|
154
|
August 28, 2024
|
Wiring diagrams for Mealy machines
|
|
0
|
23
|
August 19, 2024
|
Bernoulli Numbers and the Harmonic Oscillator
|
|
0
|
23
|
August 16, 2024
|
A polynomial account of Bayesian update
|
|
0
|
32
|
August 12, 2024
|
Rethink math talks
|
|
0
|
32
|
August 2, 2024
|
Agent-Based Models (Part 14)
|
|
0
|
26
|
August 1, 2024
|
CT for all : we can make a Universal Knowledge Interface
|
|
3
|
210
|
August 1, 2024
|
The Age of Proofs is over, the Time of the Definition has come
|
|
0
|
94
|
July 30, 2024
|
Our Summer Research Associates in 2024
|
|
0
|
29
|
July 29, 2024
|
Topics in computer science I think are important over the next decade
|
|
4
|
1053
|
July 24, 2024
|
How to write a fantastic book in four months, Part I
|
|
0
|
84
|
June 28, 2024
|
How to write a fantastic book in four months, Part II
|
|
0
|
36
|
July 4, 2024
|
How to write a fantastic book in four months, Part III
|
|
0
|
16
|
July 9, 2024
|
Desiderata for an adequate scientific publishing platform
|
|
15
|
525
|
July 9, 2024
|