Reposted by Yuzhou Cao
Can't agree more. Previously one guy told me that if you want your theory paper to get accepted, the best thing is to write 30+ pages appendix (to overwhelm!). That's insane. Unless truly "necessary" (I know it's debatable), we should compress/distill formal proofs. Then we get better intuition.
