## Articles

My view of the events taking place on my computer is very different to how a computer scientist, a engineer or a physicist would view what is happening inside the box. Leslie Lamport explains how the definition of an event distinguishes between these areas of research.

Our digital lives rely on distributed computer systems, such as the network of banks that allow us to deposit cash in one place and withdraw it in another. But understanding the order of events in such systems is not always straightforward.

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

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.