最近在結(jié)束了一段不合適的情侶關(guān)系后，重獲單身。當你重新獲得一件東西的時候總是倍感珍惜，于是生活又多出了好多時間，換做原來恐怕就會肆意揮霍，現(xiàn)在就想著閑來無事倒騰些小樂趣吧。

建站

原來上大學的時候在朋友的幫助下，弄過一個wordpress搭的個人blog，后來零零散散的寫過三兩篇文章，wordpress有比較完善的后臺管理起來也比較簡單，最后連域名都忘了續(xù)費，從此這個blog就荒廢了，而且這個平淡的域名居然被買走做了個下載電影的網(wǎng)站，我就很是不甘心，覺得一定要重新搞一個回來。

同事建議用github+hexo的方案搭個靜態(tài)的空間，hexo的文檔很全，網(wǎng)上教程也多，順著step by step的步驟弄下來也不怎么難，新的獨立域名一配置看著到也像那么回事，可是總覺得靜態(tài)的bolg用起來不那么順手，還是覺得來一個帶后臺blog比較好。

于是換vps+ghost的方案。其實想順著step by step的步驟大概三兩天也就弄好了，但是看教程也好看文檔也好，發(fā)現(xiàn)每個細節(jié)都是應該擴展的知識點。按著教程照做好說，可是靈活配置就談不上了，比如用putty連vps，理解公鑰和私鑰加密的原理，順便就能更好的理解https的協(xié)議。在win下配置了putty，在linux下用Terminal，win上換了個軟件cmder難道要再看一遍教程？所以我先不如就利用這個機會順勢就把鳥哥的linux教程一并學習了呢。這個教程我可是從大學就開始看了（掩面），總之這一回不想step by step了。

有段時間我是堅持要放棄折騰這件事的，因為覺得折騰這件事毫無意義又浪費時間，有現(xiàn)成的東西付費也好直接去用才是最有效率的。但上個月還是跑去刷路由配置ssr這些，發(fā)覺動手搞好了之后整個上網(wǎng)環(huán)境都清靜這種感覺很好。最近對工作和事業(yè)沒有什么大的志向，不如把時間花在折騰的小樂趣上呢。

反正我又不趕時間慢慢來，記得前段時間雪娟在朋友圈發(fā)了一個公開文檔是寫大家的目標，我寫的是6月到7月要完成這件事，所以還有一個月的時間呢，況且還搭好了一個hexo的呢。想寫東西的時候文章就先暫存在簡書里也蠻好，簡書的這個markdown的編輯器其實做的很棒非常適合寫東西，但是嘗過了自己建站的樂趣與好處我就更想換個自己的地方。因為這就是折騰的小樂趣，就像有的人偏愛折騰廚藝、偏愛養(yǎng)寵物一樣，閑暇的時候倒騰一下電腦就是我的小樂趣了。

單板

最近一直在室內(nèi)練習場練習單板，雖說已經(jīng)學了好幾個動作了，但是沒有太多時間的練習都不扎實，索性從后刃落葉飄開始練習。身體的練習，就是培養(yǎng)身體的控制的熟練度，反復的練習加深記憶。但是單板的好處就是反饋來的特別快，不像是跑步堅持跑個三兩次看不出什么差別，但是單板就很明顯，從剛開始的回憶動作去嘗試戰(zhàn)勝害怕和恐懼，到利用身體的平衡控制讓你感到害怕的速度自由的滑行，反饋的效果非常明顯，所以學習單板應該是件非常有動力的事情。

閑書

今年換了kindle因為訂了kindle unlimited就會時不時的跑去看看有什么書可以借（這點亞馬遜可真是狡猾）。最近看了一本叫《邏輯的引擎》，這本書當時準備看的時候看評論就褒貶不一，我心想反正是kindle unlimited就借過來隨便看看好了，沒想到一看我卻很喜歡。作為一個高數(shù)考了三次才僥幸過關(guān)險些不能畢業(yè)的人來說，聽聽作者講講自動計算的思想史（雖然后面的有些數(shù)序理論太抽象根本沒搞懂，繼續(xù)掩面），聽聽大牛們的逸聞趣事，就覺得受益匪淺了?？傊且槐究破諘琸indle上標注的閱讀時間只有三個多小時，我自我感覺看了得有十幾個小時，總之我個人是非常推薦的，沒準看過之后重新燃氣對數(shù)學的熱愛呢，反正我上學那會是挺討厭數(shù)學的，總是覺得太過枯燥，不如物理那么有趣，現(xiàn)在看起了只是數(shù)學的趣味我那個時候沒嘗到而已。

有一點很有意思的是關(guān)于圖靈的。我之前沒看過模仿游戲，也沒看過《圖靈傳》，但是人人都在說圖靈的天才，對他多少是有些崇敬的。后來在王垠那里看過一篇圖靈的光環(huán)，主旨就是大家對圖靈過譽了，圖靈的光環(huán)反而遮蓋住了其他貢獻了卓越成績的人，比如邱奇。王垠的說法是邱奇在證明希爾伯特的“可判定性問題”上不僅比圖靈早，而且邱奇所用的lambda演算也比圖靈的圖靈機更簡潔和優(yōu)雅。

但是讓我困惑的是《邏輯的引擎》本書的作者也是邱奇的31位博士生學生之一（圖靈也是），他卻花了三個章節(jié)來寫圖靈。另外他對圖靈證明希爾伯特的“可判定性問題”是這么評論的：

雖然圖靈的大部分成就都可以說是對美國人所做工作的再發(fā)現(xiàn)，但他對計算概念的分析以及他對通用計算機的發(fā)現(xiàn)卻是全新的。40庫爾特·哥德爾曾經(jīng)對丘奇的理論頗有疑慮，正是圖靈的分析才最終使他相信它們是正確的。

我曾一度覺得王垠的這篇寫的不錯，覺得圖靈是被過譽的，但是似乎現(xiàn)在又出現(xiàn)了一些不同意見，看來人的邏輯是多么容易受到影響。前提是我既看不懂lambda calculus也沒完全搞懂圖靈機。我倒是去看了圖靈破譯Enigma的那段，對比了wiki上的引用，我想邏輯的引擎的這本書的作者確實夸大了圖靈在破譯的功勞。

但是不管怎么樣，我覺得王垠的這段說的很好

許許多多的計算機科學家和電子工程師們，是他們造就了今天的計算科學。他們的聰明才智和貢獻，不應該被圖靈的光環(huán)所掩蓋，他們應該受到像跟圖靈一樣的尊敬。希望大家不要再神化圖靈，不要再神化任何人。不要因為膜拜某些人，而失去向另一些人學習的機會。

我記得高一那年我隨學校去了敦煌莫高窟，最大的收獲恐怕不是欣賞了壁畫，而是心中的偶像失色了一半，原來在我心里的那些書法大家，我在這個西北邊陲的小鎮(zhèn)里看到看到了同樣風格的作品，我想他們再也不是這個世界上獨一無二的大師了，或許他們只是在他們的那個時代里表現(xiàn)的更優(yōu)秀，或者是因為官位等傳播的更廣泛一點，總之他們是脫離不了時代的神而是人類里人的一部分。（不過這僅我14歲的淺見，也許現(xiàn)在再去莫高窟應該能看到更多的細節(jié)）

最后以希伯來爾的一句話結(jié)束本文吧，這也是我看了之后很感動的一句話。

“wir mussen wissen；wir werden wissen”（我們必須知道，我們將會知道）