## Articles

Here we present a worked example of a distributed system in action, to illustrate Leslie Lamport's rules of ordering history using logical clocks.

Leslie Lamport explains how an understanding of special relativity helped him realise how to order events in computer science, and enabled the development of distributed computing.

Leslie Lamport explains how he used logical clocks to set history straight in distributed systems.

What shape of cone maximises the ice cream to wafer ratio?

Hold onto your logic hats! In this article we're going to explore one of the most amazing formulas in maths!

The practice of overbooking has made uncomfortable headlines lately. But how do airlines decide how many tickets to sell for a flight? Here's the maths.

The probability distribution that measures success and failure.