ThinkPad E570c 升级手记

  

手头的这台ThinkPad E570c购于2017年,今年是第四年,虽然使用上仍然保持相当的流畅度,而且对于游戏的承受力也令人惊讶的高,但仍然面临着老化的问题。在过去的一周内,先后替换了无线网卡和电池,在几天内将会进行屏幕的替换。
关于无线网卡的替换。之前查相关资料,多数都提及了联想和Hp的BIOS白名单。后果被描述得非常糟糕:“会开不了机”之类的算是轻的。和英特尔官方店的客服进行咨询,对方答复是有白名单这个事情。由于英特尔...

阅读全文>>

批判性思维——公开课笔记(二)

  

评估演绎论证——此论证有效(Valid)


当一个论证是有效的,我们说从前提可以推出结论。有效性是论证的一个特征。如果说一个论证有效,那么当且仅当其前提为真时,才能保证其结论为真。
有效性与论证的正确与否无关。
前提真实,结论遵从于前提的真实性。前提的真实性得出结论的真实性,前提的真假不需要明确。

一个无效的论证(INvalid)

前提的真...

阅读全文>>

0——丹尼尔·凯斯《献给阿尔吉侬的花束》

  

最终的结局或许从一开始就确定了。不管是带有宗教色彩的暗示还是依托科学的论证和研究,查理和阿尔吉侬都注定有着同样的结局。从无知的状态中被突然解放,在经历了极端的智力增长和知识吸收之后,再度滑入愚钝的深渊。这是一个从一开始就注定是悲剧的故事。
查理的生命由几个主要的点构成——他的家,他工作的面包店,他所在的培训学校,研究所,他后来的居所,他的邻居。每一个地点都代表着几个对他的塑造造成了巨大影响的人。查理在接受手术后,在智力极端提...

阅读全文>>

正则表达式学习笔记(二)

  

元字符 元字符是一些在正则表达式里有着特殊含义的字符。

配对的元字符比如[],不用做元字符时必须进行转义

在DOS和Windows中用\作为文件路径
在Unix中用/

空白元字符

[\b] 回退并删除一个字符(backspace)
\f 换页符
\n 换行符
\r 回车符
\t 制表符(Tab)
\v 垂直制表符

一个\r\n匹配...

阅读全文>>