Subtraction Is Functionally Complete https://orlp.net/blog/subtraction-is-functionally-complete/ #ycombinator