闲来无事的小乐趣

最近在结束了一段不合适的情侣关系后，重获单身。当你重新获得一件东西的时候总是倍感珍惜，于是生活又多出了好多时间，换做原来恐怕就会肆意挥霍，现在就想着闲来无事倒腾些小乐趣吧。

建站

原来上大学的时候在朋友的帮助下，弄过一个wordpress搭的个人blog，后来零零散散的写过三两篇文章，wordpress有比较完善的后台管理起来也比较简单，最后连域名都忘了续费，从此这个blog就荒废了，而且这个平淡的域名居然被买走做了个下载电影的网站，我就很是不甘心，觉得一定要重新搞一个回来。

同事建议用github+hexo的方案搭个静态的空间，hexo的文档很全，网上教程也多，顺着step by step的步骤弄下来也不怎么难，新的独立域名一配置看着到也像那么回事，可是总觉得静态的bolg用起来不那么顺手，还是觉得来一个带后台blog比较好。

于是换vps+ghost的方案。其实想顺着step by step的步骤大概三两天也就弄好了，但是看教程也好看文档也好，发现每个细节都是应该扩展的知识点。按着教程照做好说，可是灵活配置就谈不上了，比如用putty连vps，理解公钥和私钥加密的原理，顺便就能更好的理解https的协议。在win下配置了putty，在linux下用Terminal，win上换了个软件cmder难道要再看一遍教程？所以我先不如就利用这个机会顺势就把鸟哥的linux教程一并学习了呢。这个教程我可是从大学就开始看了（掩面），总之这一回不想step by step了。

有段时间我是坚持要放弃折腾这件事的，因为觉得折腾这件事毫无意义又浪费时间，有现成的东西付费也好直接去用才是最有效率的。但上个月还是跑去刷路由配置ssr这些，发觉动手搞好了之后整个上网环境都清静这种感觉很好。最近对工作和事业没有什么大的志向，不如把时间花在折腾的小乐趣上呢。

反正我又不赶时间慢慢来，记得前段时间雪娟在朋友圈发了一个公开文档是写大家的目标，我写的是6月到7月要完成这件事，所以还有一个月的时间呢，况且还搭好了一个hexo的呢。想写东西的时候文章就先暂存在简书里也蛮好，简书的这个markdown的编辑器其实做的很棒非常适合写东西，但是尝过了自己建站的乐趣与好处我就更想换个自己的地方。因为这就是折腾的小乐趣，就像有的人偏爱折腾厨艺、偏爱养宠物一样，闲暇的时候倒腾一下电脑就是我的小乐趣了。

单板

最近一直在室内练习场练习单板，虽说已经学了好几个动作了，但是没有太多时间的练习都不扎实，索性从后刃落叶飘开始练习。身体的练习，就是培养身体的控制的熟练度，反复的练习加深记忆。但是单板的好处就是反馈来的特别快，不像是跑步坚持跑个三两次看不出什么差别，但是单板就很明显，从刚开始的回忆动作去尝试战胜害怕和恐惧，到利用身体的平衡控制让你感到害怕的速度自由的滑行，反馈的效果非常明显，所以学习单板应该是件非常有动力的事情。

闲书

今年换了kindle因为订了kindle unlimited就会时不时的跑去看看有什么书可以借（这点亚马逊可真是狡猾）。最近看了一本叫《逻辑的引擎》，这本书当时准备看的时候看评论就褒贬不一，我心想反正是kindle unlimited就借过来随便看看好了，没想到一看我却很喜欢。作为一个高数考了三次才侥幸过关险些不能毕业的人来说，听听作者讲讲自动计算的思想史（虽然后面的有些数序理论太抽象根本没搞懂，继续掩面），听听大牛们的逸闻趣事，就觉得受益匪浅了。总之是一本科普书，kindle上标注的阅读时间只有三个多小时，我自我感觉看了得有十几个小时，总之我个人是非常推荐的，没准看过之后重新燃气对数学的热爱呢，反正我上学那会是挺讨厌数学的，总是觉得太过枯燥，不如物理那么有趣，现在看起了只是数学的趣味我那个时候没尝到而已。

有一点很有意思的是关于图灵的。我之前没看过模仿游戏，也没看过《图灵传》，但是人人都在说图灵的天才，对他多少是有些崇敬的。后来在王垠那里看过一篇图灵的光环，主旨就是大家对图灵过誉了，图灵的光环反而遮盖住了其他贡献了卓越成绩的人，比如邱奇。王垠的说法是邱奇在证明希尔伯特的“可判定性问题”上不仅比图灵早，而且邱奇所用的lambda演算也比图灵的图灵机更简洁和优雅。

但是让我困惑的是《逻辑的引擎》本书的作者也是邱奇的31位博士生学生之一（图灵也是），他却花了三个章节来写图灵。另外他对图灵证明希尔伯特的“可判定性问题”是这么评论的：

虽然图灵的大部分成就都可以说是对美国人所做工作的再发现，但他对计算概念的分析以及他对通用计算机的发现却是全新的。40库尔特·哥德尔曾经对丘奇的理论颇有疑虑，正是图灵的分析才最终使他相信它们是正确的。

我曾一度觉得王垠的这篇写的不错，觉得图灵是被过誉的，但是似乎现在又出现了一些不同意见，看来人的逻辑是多么容易受到影响。前提是我既看不懂lambda calculus也没完全搞懂图灵机。我倒是去看了图灵破译Enigma的那段，对比了wiki上的引用，我想逻辑的引擎的这本书的作者确实夸大了图灵在破译的功劳。

但是不管怎么样，我觉得王垠的这段说的很好

许许多多的计算机科学家和电子工程师们，是他们造就了今天的计算科学。他们的聪明才智和贡献，不应该被图灵的光环所掩盖，他们应该受到像跟图灵一样的尊敬。希望大家不要再神化图灵，不要再神化任何人。不要因为膜拜某些人，而失去向另一些人学习的机会。

我记得高一那年我随学校去了敦煌莫高窟，最大的收获恐怕不是欣赏了壁画，而是心中的偶像失色了一半，原来在我心里的那些书法大家，我在这个西北边陲的小镇里看到看到了同样风格的作品，我想他们再也不是这个世界上独一无二的大师了，或许他们只是在他们的那个时代里表现的更优秀，或者是因为官位等传播的更广泛一点，总之他们是脱离不了时代的神而是人类里人的一部分。（不过这仅我14岁的浅见，也许现在再去莫高窟应该能看到更多的细节）

最后以希伯来尔的一句话结束本文吧，这也是我看了之后很感动的一句话。

“wir mussen wissen；wir werden wissen”（我们必须知道，我们将会知道）