Great talk on how math meets user interface design.