很讨厌，今天照例写博客传图片，发现七牛云的图床失效了，刚开始还以为是网站出错了，后来查了一下出错信息，是因为七牛云收回了测试域名，要求每个域名都要有备案。最难受的是，Bucket失效后，我无法下载原来放在七牛云中的图片，我也没有把图片备份。这样看起来，我博客中所有的图都找不回了，怎么办？
more >>

很久没有写周记了，一方面是因为事情比较多（其实这最不能成为原因了），另一方面是因为没有读什么书，缺少一定的感悟和记录。SYA，非常对不起。

在学数理逻辑的时候，有一个问题一直想不通：P->Q，为什么在P为假时，无论Q为真还是假，整个命题都为真。在当时，我想到了两个解释：

• 命题实际上包含的是一个世界观，P->Q是世界观P到Q的自然推导或者说是一种类似因果关系的宇宙定律，当作为前提的世界观都是错误的，那么这个世界就必然是混沌的，在混沌的宇宙中，没有你我之分，所有的事件都搅拌在一起，无论Q是什么，都是同一个结果：真。
• 数理逻辑需要明确的定义，既然当前件P是假的，那么P->Q的结果真假，是和P与Q具体是什么东西有关的。而数理逻辑是为了构建一个抽象的世界观，所以为了便于形式化的推导，数学家便将这种情况永久地定义为“真”。

可是，今天无意间看了一系列哥德尔不完备定理的文章，内心激动无比。

本文索引自哲学涉猎系列。

哲学涉猎系列，记录了我纯粹满足好奇心的不成熟的学习和摘录，主要涉及哲学各个学派、命题的学习、理解。包含的内容不多，但会龟速保持更新。

前言

作为一名软件学院的学生，大学四年时间都会在计算机科学的知识海洋中遨游。学计算机的同学总是自嘲自己是程序猿，不懂生活情趣、思维僵硬，天冷了穿格子衬衫，天热了穿无袖背心。这样的自嘲，在一定程度上也揭示了计算机科学庞大复杂的知识体系，使知识的探求者们心力交瘁，顾不得生活中种种琐碎之事的美好。但理工科果真是如此的枯燥而毫无浪漫吗？我不接受这个说法。

上士闻道，勤而行之；
中士闻道，若存若亡；
下士闻道，大笑之。
不笑不足以为道。
more >>

小小的复习笔记

2018.11.04 初稿Instruction System Architecture和Cache部分

2018.12.24 增添Roaming in Computer System部分

2018.11.3创建

2018.12.9更新

2018.12.10更新

2018.12.11完稿

本篇介绍了Policy Gradient的结构、算法，以及优化

怀疑论（希腊语：’σκέπτομαι’ skeptomai，意指思考、探索、考虑或研究；英语：Skepticism），是普遍地向知识、事件、意见或信仰持疑问的态度，或怀疑一些理所当然的主张。哲学怀疑论就是一种要求所有论点或资讯，都要充份地被理据所支持的整全方式。传统哲学怀疑论衍生自“Skeptikoi”，即指向“任何事物都不加以断言”的概念。皮浪主义（部分地与可谬论相类）的拥护者，放弃在任何研究中定下判断。怀疑论者甚或会对自我感观的真实性抱怀疑的态度。宗教怀疑论是关于对宗教原有的基础概念和原则的怀疑，如永生、转生、天启、天命、神示、预定论等。科学怀疑论是关于科学理念可靠性的测试，以科学的方法，通过系统性的调查，以发现实质的证据支持理论。

本文索引自哲学涉猎系列。

哲学涉猎系列，记录了我纯粹满足好奇心的不成熟的学习和摘录，主要涉及哲学各个学派、命题的学习、理解。包含的内容不多，但会龟速保持更新。

两个星期没写周记了，这只有四种情况：

1. 我很惰怠
2. 我很忙
3. 我很忙并且我很惰怠
4. 我在这14天内没有做过任何有意义的思考

我非常希望是前三种，但于我而言，很不幸，是第四种。

To Major in CS，需要培养一种价值观，即计算机的一切都是可以被理解的。计算机与其他自然科学相比，有一点天然优势：即使某些天赋异禀的科学家利用他们无双的天才创见堆砌了计算机科学的大楼，但他们都是人类，逃不开人类的思维方式和三观，他们创造的计算机理论或许晦涩，但都不可能逃离人类大脑的理解边界。在计算机中任何原理都是有理由的，我们是在创造理由，而不是像物理、化学、生物，在寻找理由。

即使有些问题你现阶段没有明白，但这些问题都必定是可以理解的，只是时间不够或缺少某些先修知识，所以先放一下，等有时间再学习它们。这种心态可以防止你滑入无助的陷阱。 有时候你的潜意识会愚弄你，把很难做成的事情当成无法做成的事情。就像《肖申克的救赎》中表现的那样，Red第一次看到Andy的锤子，他认定Andy肯定逃不出来。而实际上Andy用19年的时间把墙给凿开了，虽然其间各种艰辛，但是结局却很美好。