Chords are shapes
What an isomorphic keyboard makes visible about harmony
Ballot Structure from the Preference-Dependency Graph
Which questions should a ballot ask together? The votes can tell us.
The Geometry of Governance
Voting as a compression problem, and the right to be heard
Calculating the Mean
I thought means were simple. I was wrong.
Ikram and his tricks
A Tale of Clay and Calculation
The Stochastic Chain Rule
A Tutorial on Itô's Lemma
Turing versus Scherbius
The card game
A Tutorial on Ciphers
From Caesar to a Simplified Enigma
Intelligent Immunity
What if intelligence evolved within the immune system?
Every Bias Names an Algorithm
Bounded reasoners trade accuracy for efficiency in three places, and each trade leaves its own fingerprint
Typical set of arbitrary distributions
Proving that the image of the typical set is the typical set of the image
The behaviour of neural flows
Neural nets can struggle to learn very simple flows.
Graph enumeration
The orderly enumeration of graphs
Uncertainty and graphs
From uncertainty over constraints to uncertainty over graphs
Automatic integration
Like automatic differentiation, but for integration
What makes something true?
How does deductive truth (ie math) relate to inductive truth (ie science)?
Neuro-inspired computation course
I visited IRCN.
The advantages of backward reasoning.
A simple exploration of what can be gained by reasoning backwards from your goal.
Inference via interference
Learning by controlling the propagation speed of signals.
Principles of neural design
Note from reading the book.
Causal calculus
A connection between causal inference and gradients?
Visualising dataset alignment
Dataset alignment represented as tensor networks
Conserved complexity
A conservation law for algorithms?
Saddles, Splitting, and Reparameterization
Dynamically Growing Neural Networks
A functional type of non-linear algebra?
Functional programming plus neural network architectures.
Representations within linear algebra
We can use linear algebra to represent; linear operators, algebras, computations, symmetry and more.