The future of computing lies in the development of systems that can verify their own correctness.
没有风控的创新是鲁莽的,没有创新的风控是停滞的。
A man’s dying is more the survivors’ affair than his own.