# Blog

This Week's Finds in ACT - April 25th

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

Why Python Is Better Than Haskell

Notes from "Practical Foundations for Programming Languages"

plt

Galois Connections and Nullstellensatzen

math

Demystifying the second law of thermodynamics

physics
math

A response to Maudlin on credence and chance

Euler's method is compositional

Cofree dynamical systems and chaos

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

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