暂且收集了一些链接博文（好水.gif），之后会码成文档。。。
夜宵感悟：才华有，文笔不错，码的码（就留给你们去评了），真心推荐大家看看这些文章，赞不赞同另说！
纵观全局
1、【40行代码】；2、【清华梦的粉碎】；3、【我与Google的故事】；4、Braid—一个发人深思的游戏
5、【对博士学位说永别】；6、【如何掌握程序语言】；7、【完全用Linux工作】；9、【Cornell的感受】
8、【写给支持和反对《完全用Linux工作》的人们】；10、【从工具的奴隶到工具的主人】；11、【我看PhD】
12、【学术腐败是历史的必然】；13、【王垠的过去与现状】；14、一个王垠同学对王垠从清华退学的感受 —— 至于为什么放在最后，END见。
王垠.jpg
1、王垠【40行代码】 上半生最重要的杰作，闷头一个星期写出来。
附代码与他人评论（没几个洞的）：https://www.zhihu.com/question/20822815/
2、【清华梦的粉碎】——写给清华大学的退学申请
http://blog.csdn.net/vc2014/article/details/41945379
3、【我与Google的故事】
http://blog.csdn.net/vc2014/article/details/41945435
4、Braid—一个发人深思的游戏
博文：http://blog.csdn.net/unsv29/article/details/50473854
Braid(时空幻境)：http://braid-game.com/
5、【对博士学位说永别】
http://blog.csdn.net/vc2014/article/details/41945483
开源中国社区，文章后面跟评了很多有趣的话：https://www.oschina.net/news/32707/say-goodbye-to-doctor
6、【如何掌握程序语言】
http://blog.csdn.net/vc2014/article/details/41945685
7、【完全用Linux工作】
背景shai是亮黑（慎入），黑脸问为什么要贴出了，因为它排版好啊：
http://blog.sina.com.cn/s/blog_b83bda47010197if.html
背景正常，排版lowB（不针对贴字作者）：
http://blog.csdn.net/wooin/article/details/651085
8、【写给支持和反对《完全用Linux工作》的人们】
里面王垠个人url已失效：http://yinwang0.lofter.com/post/183ec2_479bfc
9、【Cornell的感受】
http://bbs.sciencenet.cn/forum.php?mod=viewthread&tid=6505
10、【从工具的奴隶到工具的主人】
送给学Code的人：http://www.csdn.net/article/2012-09-12/2809847
11、【我看PhD】
http://www.xuebuyuan.com/2156262.html
12、【学术腐败是历史的必然】
http://www.360doc.com/content/16/0416/13/11409172_551092622.shtml
13、【王垠的过去与现状】
里面很多url都失效：https://www.cnblogs.com/zjoch/p/5148305.html
14、一个王垠同学对王垠从清华退学的感受 —— 至于为什么放在最后，END 见。
在【14】的url中文章最后已有（排版等好点）：https://club.kdnet.net/dispbbs.asp?boardid=1&id=11045056
亚里士多德在《形而上学》中的第一句话是：“每一个人在本性上都想求知。”
分割Line----……！*7？……“”“”…******￥%￥#@￥%&&*……*（）*……----……！*7？……“”“”…******￥%￥#@
?1 ;; A simple CPS transformer which does proper tail-call and does not ?2 ;; duplicate contexts for if-expressions. ?3 ???4 ;; author: Yin Wang (yw21@cs.indiana.edu) ?5 ???6 (load "pmatch.scm") ?7 ???8 (define cps ?9 ??(lambda (exp) 10 ????(letrec 11 ????????([trivial? (lambda (x) (memq x ‘(zero? add1 sub1)))] 12 ?????????[id (lambda (v) v)] 13 ?????????[ctx0 (lambda (v) `(k ,v))] ?????; tail context 14 ?????????[fv (let ([n -1]) 15 ???????????????(lambda () 16 ?????????????????(set! n (+ 1 n)) 17 ?????????????????(string->symbol (string-append "v" (number->string n)))))] 18 ?????????[cps1 19 ??????????(lambda (exp ctx) 20 ????????????(pmatch exp 21 ??????????????[,x (guard (not (pair? x))) (ctx x)] 22 ??????????????[(if ,test ,conseq ,alt) 23 ???????????????(cps1 test 24 ?????????????????????(lambda (t) 25 ???????????????????????(cond 26 ????????????????????????[(memq ctx (list ctx0 id)) 27 ?????????????????????????`(if ,t ,(cps1 conseq ctx) ,(cps1 alt ctx))] 28 ????????????????????????[else 29 ?????????????????????????(let ([u (fv)]) 30 ???????????????????????????`(let ([k (lambda (,u) ,(ctx u))]) 31 ??????????????????????????????(if ,t ,(cps1 conseq ctx0) ,(cps1 alt ctx0))))])))] 32 ??????????????[(lambda (,x) ,body) 33 ???????????????(ctx `(lambda (,x k) ,(cps1 body ctx0)))] 34 ??????????????[(,op ,a ,b) 35 ???????????????(cps1 a (lambda (v1) 36 ?????????????????????????(cps1 b (lambda (v2) 37 ???????????????????????????????????(ctx `(,op ,v1 ,v2))))))] 38 ??????????????[(,rator ,rand) 39 ???????????????(cps1 rator 40 ?????????????????????(lambda (r) 41 ???????????????????????(cps1 rand 42 ?????????????????????????????(lambda (d) 43 ???????????????????????????????(cond 44 ????????????????????????????????[(trivial? r) (ctx `(,r ,d))] 45 ????????????????????????????????[(eq? ctx ctx0) `(,r ,d k)] ?; tail call 46 ????????????????????????????????[else 47 ?????????????????????????????????(let ([u (fv)]) 48 ???????????????????????????????????`(,r ,d (lambda (,u) ,(ctx u))))])))))]))]) 49 ??????(cps1 exp id)))) 50 ??51 ;;; tests 52 ??53 ;; var 54 (cps ‘x) 55 (cps ‘(lambda (x) x)) 56 (cps ‘(lambda (x) (x 1))) 57 ??58 ;; no lambda (will generate identity functions to return to the toplevel) 59 (cps ‘(if (f x) a b)) 60 (cps ‘(if x (f a) b)) 61 ??62 ;; if stand-alone (tail) 63 (cps ‘(lambda (x) (if (f x) a b))) 64 ??65 ;; if inside if-test (non-tail) 66 (cps ‘(lambda (x) (if (if x (f a) b) c d))) 67 ??68 ;; both branches are trivial, should do some more optimizations 69 (cps ‘(lambda (x) (if (if x (zero? a) b) c d))) 70 ??71 ;; if inside if-branch (tail) 72 (cps ‘(lambda (x) (if t (if x (f a) b) c))) 73 ??74 ;; if inside if-branch, but again inside another if-test (non-tail) 75 (cps ‘(lambda (x) (if (if t (if x (f a) b) c) e w))) 76 ??77 ;; if as operand (non-tail) 78 (cps ‘(lambda (x) (h (if x (f a) b)))) 79 ??80 ;; if as operator (non-tail) 81 (cps ‘(lambda (x) ((if x (f g) h) c))) 82 ??83 ;; why we need more than two names 84 (cps ‘(((f a) (g b)) ((f c) (g d)))) 85 ??86 ;; factorial 87 (define fact-cps 88 ??(cps 89 ???‘(lambda (n) 90 ??????((lambda (fact) 91 ?????????((fact fact) n)) 92 ???????(lambda (fact) 93 ?????????(lambda (n) 94 ???????????(if (zero? n) 95 ???????????????1 96 ???????????????(* n ((fact fact) (sub1 n)))))))))) 97 ??98 ;; print out CPSed function 99 (pretty-print fact-cps)100 ;; =>101 ;; ‘(lambda (n k)102 ;; ???((lambda (fact k) (fact fact (lambda (v0) (v0 n k))))103 ;; ????(lambda (fact k)104 ;; ??????(k105 ;; ???????(lambda (n k)106 ;; ?????????(if (zero? n)107 ;; ???????????(k 1)108 ;; ???????????(fact109 ;; ????????????fact110 ;; ????????????(lambda (v1) (v1 (sub1 n) (lambda (v2) (k (* n v2))))))))))111 ;; ????k))112 ?113 ((eval fact-cps) 5 (lambda (v) v))114 ;; => 120
王垠系列博文（题名外挂URL）
原文地址：https://www.cnblogs.com/fyf-shou/p/daytime_stillness.html