Measuring Constant Overhead
Brief remarks on introducing the notion of and measuring the constant overhead of a runtime system.
Lempel-Ziv factorisation for file type detection.
A very short explanation of how to make use of Lempel-Ziv factorisation for file type detection and segmentation.
jcram: a principled approach to code golf.
Can a simple and principled data compressor find its place in the world of emerging, purpose-built code-golf languages?
Triangulation of convex polygons
Musings on triangulation techniques for convex polygons.
An alternative derivation of Shannon entropy.
An alternative, easy to follow derivation of Shannon entropy.
Rice and Rice-Shapiro theorems.
A brief introduction to my favourite theorems in computability theory.
The link between Fibonacci numbers and primes
A collection of curiosities concerning Fibonacci numbers, primes and relations between them.
Heaviside’s partial fraction decomposition method.
A brief explanation of Heaviside’s cover-up method for partial fraction decomposition, domain extensions and applications to computer algebra.
Dan Baronet’s Microwave
A code golf challenge inspired by an anecdote about Dan Baronet.
An Antique Steam Engine
The story of a forgotten invention that could have changed the world.