|
The Space of Physical Frameworks (Part 4)
|
|
0
|
5
|
September 16, 2024
|
|
The Space of Physical Frameworks (Part 3)
|
|
0
|
5
|
September 11, 2024
|
|
The Space of Physical Frameworks (Part 2)
|
|
0
|
6
|
September 8, 2024
|
|
GADTs as Prolog
|
|
0
|
22
|
September 6, 2024
|
|
Open curricula and assessment tools workshop in Kisumu
|
|
0
|
9
|
September 6, 2024
|
|
Narya ProofGeneral Setup
|
|
0
|
13
|
September 3, 2024
|
|
The Space of Physical Frameworks (Part 1)
|
|
0
|
20
|
September 1, 2024
|
|
Postdoc job openings in Topos Oxford, UK
|
|
0
|
7
|
August 30, 2024
|
|
Plausible fiction
|
|
0
|
13
|
August 28, 2024
|
|
Thoughts on Forester: A Scientist's Zettelkasten
|
|
4
|
140
|
August 28, 2024
|
|
Stirling’s Formula from Statistical Mechanics
|
|
0
|
13
|
August 27, 2024
|
|
Wiring diagrams for Mealy machines
|
|
0
|
20
|
August 19, 2024
|
|
Bernoulli Numbers and the Harmonic Oscillator
|
|
0
|
21
|
August 16, 2024
|
|
An Exercise in Using ACSets as a Data Structure in Research
|
|
7
|
134
|
August 15, 2024
|
|
A polynomial account of Bayesian update
|
|
0
|
31
|
August 12, 2024
|
|
A computation-outsourced discussion of zero density theorems for the Riemann zeta function
|
|
1
|
21
|
August 10, 2024
|
|
Rethink math talks
|
|
0
|
28
|
August 2, 2024
|
|
Agent-Based Models (Part 14)
|
|
0
|
24
|
August 1, 2024
|
|
CT for all : we can make a Universal Knowledge Interface
|
|
3
|
204
|
August 1, 2024
|
|
Forester for the Woodland Skeptic
|
|
12
|
321
|
July 31, 2024
|
|
The Age of Proofs is over, the Time of the Definition has come
|
|
0
|
86
|
July 30, 2024
|
|
Our Summer Research Associates in 2024
|
|
0
|
27
|
July 29, 2024
|
|
Topics in computer science I think are important over the next decade
|
|
4
|
1029
|
July 24, 2024
|
|
How to write a fantastic book in four months, Part I
|
|
0
|
83
|
June 28, 2024
|
|
How to write a fantastic book in four months, Part II
|
|
0
|
34
|
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
|
519
|
July 9, 2024
|
|
Thoughts on Denotational Semantics
|
|
1
|
91
|
July 5, 2024
|
|
Toward compact double categories: Part 1
|
|
1
|
64
|
June 26, 2024
|
|
Toward compact double categories: Part 2
|
|
1
|
44
|
June 26, 2024
|