帖子 https://blog.get-nerve.com/to-be-a-better-programmer-write-little-proofs-in-your-head/