“刚刚好，看见你幸福的样子，于是幸福着你的幸福。”

“看你，有时觉得就像看遥远的星星.”我说，“看起来非常明亮，但那种光亮是几万年前传送过来的.或许发光的天体如今已不存在,可有时看上去却比任何东西都有真实感.”

-《国境以南，太阳以西》

很讨厌，今天照例写博客传图片，发现七牛云的图床失效了，刚开始还以为是网站出错了，后来查了一下出错信息，是因为七牛云收回了测试域名，要求每个域名都要有备案。最难受的是，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天内没有做过任何有意义的思考

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