Blog

Martin-Löf Random Sequences

This Week's Finds in ACT - April 25th

Example of my reading process: Cellular sheaves of lattices and the Tarski laplacian

This Week's Finds in ACT

math

March 2021 Links

Why Python Is Better Than Haskell

January 2021 Links

Notes from "Practical Foundations for Programming Languages"

plt

Where numbers come from

December 2020 Links

Galois Connections and Nullstellensatzen

math

Demystifying the second law of thermodynamics

physics math

A response to Maudlin on credence and chance

reMarkable 2 review

review

Euler's method is compositional

Cofree dynamical systems and chaos

Chu spaces and linear logic

Game semantics of linear logic

Universal properties and Compositionality

math act

Left adjoints preserve colimits.

math

The homotopy theory of groups

math

A category of computable functions with runtime

math computerscience

Localizations of categories of dynamical systems

math

Cheap nonstandard analysis

math

Jensen-Shannon divergence is compositional

math

Compositionality for Transfer Learning

braindump

Stochastic Stalks

math

The Ax-Grothendieck theorem

math

Notes from "Persistent Homotopy Theory"

math

Complexity theory, probability

math

The zero-one laws of Kolmogorov and Hewitt–Savage in categorical probability

math

Bivariate Causal Inference

math

How to Make A Website

Frequentist Statistics and Compositionality