All you need is λ, part one: booleans
Mar 29, 2020, 4:17 PM
Nearly a century ago, Alonzo Church invented the simple, elegant, and yet elusive lambda calculus. Along with Alan Turing, he then proved the Church-Turing thesis: that anything computable with a Turing machine can also be computed in the...
Pattern matching over recursive values in Swift
Jun 30, 2015, 10:29 PM
Swift’s value types are almost able to represent algebraic data types. Unfortunately, they fall short of the mark when it comes to recursion, and while they’ve announced that their solution, indirect cases, will ship in a later build of...
On the Order of Neptune
Apr 20, 2014, 12:20 AM
Inscribe the orbit of Neptune in a square.
Now, take a pair of integers as x and y coordinates across this square. Their size in bits determines the resolution at which they can measure this square.
An integer of n bits can hold any of 2ⁿ...