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
|
Closure-Free Functional Programming in a Two-Level Type Theory
|
|
0
|
15
|
September 29, 2024
|
Collaborative Text Editing with Eg-walker: Better, Faster, Smaller
|
|
0
|
17
|
September 27, 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
|
An Exercise in Using ACSets as a Data Structure in Research
|
|
7
|
139
|
August 15, 2024
|
A polynomial account of Bayesian update
|
|
0
|
32
|
August 12, 2024
|
A computation-outsourced discussion of zero density theorems for the Riemann zeta function
|
|
1
|
24
|
August 10, 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
|
Forester for the Woodland Skeptic
|
|
12
|
341
|
July 31, 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
|