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.
The nested means problem.
How to solve a mathematics problem using the supercharged powers of APL?
Journey to the Center of the Lambda Calculus
An evaluator for untyped lambda calculus written in Dyalog APL.
fastent - Faster entropy estimation.
Speeding up the Debian’s
ent tool for entropy estimation with the outcome of 8x-11x performance improvement.
Programming SUBLEQ
A short and interactive introduction to Subleq - a Turing-complete one instruction computer.
Accelerating the computation of infinite sums of rational functions.
An easy method to accelerate the computation of infinite sums of rational functions using the digamma function and other numerical methods.