Wei Dai comments on Immanuel Kant and the Decision Theory App Store