css

Author: 365zph

_posts/2015-09-27-the-one-method-to-eliminate-bad-tech-hires.markdown

@@ -129,7 +129,7 @@ tags:
 <blockquote>创建一个单页（single page）应用，支持录入我的家庭电影收藏里的电影，用线下存储来保存、可搜索。可以根据类型、电影名称和演员搜索。</blockquote>
 
 
-实际上，我没有告诉他们进一步的方向，比如使用网页存储[note]网页存储和DOM存储（文档对象模型）是网络应用程序用于在网络浏览器存储数据的方法和通讯协议。网络存储支持持久性数据存储，类似于 Cookie，以及 window-local 存储。[https://zh.wikipedia.org/wiki/%E7%BD%91%E9%A1%B5%E5%AD%98%E5%82%A8](https://zh.wikipedia.org/wiki/%E7%BD%91%E9%A1%B5%E5%AD%98%E5%82%A8) [/note]或 cookies，支持多个平台的响应式设计，使用 CSS。我把这些东东留给他们来决定。一些人选择按要求做，另一些人做得更多。
+实际上，我没有告诉他们进一步的方向，比如使用网页存储【注1】或 cookies，支持多个平台的响应式设计，使用 CSS。我把这些东东留给他们来决定。一些人选择按要求做，另一些人做得更多。
 
 总之，我们喜欢最终结果，这是关键的。
 
@@ -221,3 +221,8 @@ tags:
 我精通数种语言，对高性能、可扩展性、软件架构和总体攻坚工作有着浓厚兴趣。你可以[在 Medium 上关注我](https://medium.com/@ayasin)，我写了一些关于软件工程的博客；还可以[在 Twitter 上关注我](https://twitter.com/ayasin)，我偶尔说一些有意思的话；或者查看[我在 GitHub 上为 FOSS 社区的所做的贡献](https://github.com/ayasin)。
 
 如果你喜欢文本，请推荐给别人，对此我深表感激（点击下面的心形图标即可）。
+
+
+### 注释
+
+* 注1：网页存储和DOM存储（文档对象模型）是网络应用程序用于在网络浏览器存储数据的方法和通讯协议。网络存储支持持久性数据存储，类似于 Cookie，以及 window-local 存储。[https://zh.wikipedia.org/wiki/%E7%BD%91%E9%A1%B5%E5%AD%98%E5%82%A8](https://zh.wikipedia.org/wiki/%E7%BD%91%E9%A1%B5%E5%AD%98%E5%82%A8) 

_posts/2015-09-28-aws-vs-google-cloud-flexibility-vs-operational-simplicity.markdown

@@ -62,7 +62,7 @@ tags:
 
 为了描述这些不同，最好的方式就是浏览一下定价方式。
 
-Amazon 给你的选择相当宽泛：按需、预留（指定区域、操作系统、使用以及根据市场售卖预留）和市场竞价（最低的价格和多样化定价）。然后，还有其它基于成本的使用，比如 I/O 费用、容量大小的费用、提供的 IOPS[note]IOPS（Input/Output Operations Per Second）是一个用于电脑存储设备（如硬盘（HDD）、固态硬盘（SSD）或存储区域网络（SAN））性能测试的量测方式，可以视为是每秒的读写次数。和其他性能测试一様，存储设备制造商提出的IOPS不保证就是实际应用下的性能。[https://zh.wikipedia.org/wiki/IOPS](https://zh.wikipedia.org/wiki/IOPS)[/note]，以及选择预留的容量。
+Amazon 给你的选择相当宽泛：按需、预留（指定区域、操作系统、使用以及根据市场售卖预留）和市场竞价（最低的价格和多样化定价）。然后，还有其它基于成本的使用，比如 I/O 费用、容量大小的费用、提供的 IOPS【注1】，以及选择预留的容量。
 
 与之相反，Google 仅仅根据你的使用，对实例成本、自动化「sustained usage」打折，给出了一种价格，然后以很大的折扣、但有限周期来选择独占实例。磁盘根据容量大小定价，并给出了可预测的性能，可线性扩展。数据存储对每个节点给出了有保障的吞吐量，因此你能够随着成本按比例增加性能。
 
@@ -109,3 +109,8 @@ PaaS 一直都深受欢迎，不过在扩展上通常价格昂贵。当你有更
 如果你消费所有可提供的服务，那么云环境通常更加便宜，因此，迁移它们自己数据的客户，更愿意维持这种灵活性。但是，新开发的应用程序没有所有这些遗留需求。它们更倾向于使用限制、而非试着把已有应用程序迁移到上面。
 
 我觉得这种区别十分重要，我们愿意继续看到 AWS 和 GCP 发布的功能，在**灵活性**和**简单性**方面的区别。AWS 或许最适合迁移到云。GCP 或许更适合新的、基于容器的应用程序。这是一场持久战。
+
+
+### 注释
+
+* 注1：IOPS（Input/Output Operations Per Second）是一个用于电脑存储设备（如硬盘（HDD）、固态硬盘（SSD）或存储区域网络（SAN））性能测试的量测方式，可以视为是每秒的读写次数。和其他性能测试一様，存储设备制造商提出的IOPS不保证就是实际应用下的性能。[https://zh.wikipedia.org/wiki/IOPS](https://zh.wikipedia.org/wiki/IOPS)

_posts/2015-09-29-does-the-mind-play-dice-with-reason.markdown

@@ -41,14 +41,20 @@ tags:
 <blockquote>量子认知理论打开了心理学和神经系统科学，让我们理解到大脑不是一台线性电脑，而更像是一个优雅的宇宙。</blockquote>
 
 
-对于上述开会的例子，如果有人问，「会议开得怎样？」我们将立即想到会议召开的方式。然而，如果他或她问道，「你对这次会议感到焦虑吗？」我们或许记起来，在一群人面前做演示的情景，相当可怕。量子认知里另一个借来的概念是，我们无法在脑子里一次保持不协调的想法。换句话说，做决定和观点形成更像是薛定谔猫[note]薛定谔猫（英语：Erwin Schrödinger's Cat）是奥地利物理学者埃尔温·薛定谔于1935年提出的一个思想实验，时常会被表述为一个吊诡。通过这思想实验，薛定谔指出了应用量子力学的哥本哈根诠释于宏观物体会产生的严峻问题，以及这问题与物理常识之间的矛盾。在这思想实验里，由于先前发生事件的随机性质，猫会处于生存与死亡的叠加态。[https://zh.wikipedia.org/wiki/%E8%96%9B%E5%AE%9A%E8%B0%94%E7%8C%AB](https://zh.wikipedia.org/wiki/%E8%96%9B%E5%AE%9A%E8%B0%94%E7%8C%AB)[/note]。
+对于上述开会的例子，如果有人问，「会议开得怎样？」我们将立即想到会议召开的方式。然而，如果他或她问道，「你对这次会议感到焦虑吗？」我们或许记起来，在一群人面前做演示的情景，相当可怕。量子认知里另一个借来的概念是，我们无法在脑子里一次保持不协调的想法。换句话说，做决定和观点形成更像是薛定谔猫【注1】。
 
 量子认知理论打开了心理学和神经系统科学，让我们理解到大脑不是一台线性电脑，而更像是一个优雅的宇宙。但是，人类思想和存在有着高度矛盾的看法，[已经存在数个世纪了](http://opinionator.blogs.nytimes.com/2010/11/28/paradoxical-truth/)。而且，探索我们大脑不合理的合理性的科学家、学者越多，科学离每个宗教信仰核心的混淆逻辑就越近。例如，佛教就是以谜语为前提的，「平静来自内在。没有内在就不要追寻平静。」对于基督教，矛盾的地方在于，耶稣既是一个有血有肉的人，也是上帝的儿子，这个矛盾就是其信仰的核心隐喻。
 
 
 <blockquote>做决定和观点形成更像是薛定谔猫。</blockquote>
 
 
-数个世纪以来，宗教典籍一直在探索这种思想，一旦我们跨过了表面认知，现实就变得支离破碎了；然而，这是模棱两可的话，即我们对于自身以及我们的世界要有更多的理解。在旧约，受到围攻的约伯向上帝辩解，他为什么遭受了如此多苦难。上帝轻蔑地答道，「我准备创造地球时，你在哪里？」（Job 38:4）。问题貌似有些荒谬------当上帝自己在创造世界时，为什么上帝要问被他创造的某个人当时在哪里？但是这个悖论不同于爱因斯坦对[海森堡](http://www.theguardian.com/science/2013/nov/10/what-is-heisenbergs-uncertainty-principle)的「不确定原理」[note]在量子力学里，不确定性原理（uncertainty principle，又译不确定原理、测不准原理）表明，粒子的位置与动量不可同时被确定.[https://zh.wikipedia.org/wiki/%E4%B8%8D%E7%A1%AE%E5%AE%9A%E6%80%A7%E5%8E%9F%E7%90%86](https://zh.wikipedia.org/wiki/%E4%B8%8D%E7%A1%AE%E5%AE%9A%E6%80%A7%E5%8E%9F%E7%90%86)[/note]所发起的著名挑战：「上帝不掷骰子(God does not play dice with the universe)」。正如[斯蒂芬霍金反驳](http://www.hawking.org.uk/does-god-play-dice.html)的，「甚至上帝也受不确定原理的束缚」。因为，如果所有结局都是可确定的，那么上帝也就不是上帝了。宇宙的嗜赌成性，恰恰成了创造他的不可预知的确定性。
+数个世纪以来，宗教典籍一直在探索这种思想，一旦我们跨过了表面认知，现实就变得支离破碎了；然而，这是模棱两可的话，即我们对于自身以及我们的世界要有更多的理解。在旧约，受到围攻的约伯向上帝辩解，他为什么遭受了如此多苦难。上帝轻蔑地答道，「我准备创造地球时，你在哪里？」（Job 38:4）。问题貌似有些荒谬------当上帝自己在创造世界时，为什么上帝要问被他创造的某个人当时在哪里？但是这个悖论不同于爱因斯坦对[海森堡](http://www.theguardian.com/science/2013/nov/10/what-is-heisenbergs-uncertainty-principle)的「不确定原理」【注2】所发起的著名挑战：「上帝不掷骰子(God does not play dice with the universe)」。正如[斯蒂芬霍金反驳](http://www.hawking.org.uk/does-god-play-dice.html)的，「甚至上帝也受不确定原理的束缚」。因为，如果所有结局都是可确定的，那么上帝也就不是上帝了。宇宙的嗜赌成性，恰恰成了创造他的不可预知的确定性。
 
 根据量子认知，这种思维和我们的「不确定性」原因、情感「打赌」，渐渐偏向了有竞争思想、想法和见解的产生。然后，我们可以把这些竞争的见解合成为与我们相关的、相对「确定」的现实。通过在量子级别审视我们的思维，我们就能改变思维；通过改变思维，我们就能改变塑造我们的现实。
+
+
+### 注释
+
+* 注1：薛定谔猫（英语：Erwin Schrödinger's Cat）是奥地利物理学者埃尔温·薛定谔于1935年提出的一个思想实验，时常会被表述为一个吊诡。通过这思想实验，薛定谔指出了应用量子力学的哥本哈根诠释于宏观物体会产生的严峻问题，以及这问题与物理常识之间的矛盾。在这思想实验里，由于先前发生事件的随机性质，猫会处于生存与死亡的叠加态。[https://zh.wikipedia.org/wiki/%E8%96%9B%E5%AE%9A%E8%B0%94%E7%8C%AB](https://zh.wikipedia.org/wiki/%E8%96%9B%E5%AE%9A%E8%B0%94%E7%8C%AB)
+* 注2：在量子力学里，不确定性原理（uncertainty principle，又译不确定原理、测不准原理）表明，粒子的位置与动量不可同时被确定.[https://zh.wikipedia.org/wiki/%E4%B8%8D%E7%A1%AE%E5%AE%9A%E6%80%A7%E5%8E%9F%E7%90%86](https://zh.wikipedia.org/wiki/%E4%B8%8D%E7%A1%AE%E5%AE%9A%E6%80%A7%E5%8E%9F%E7%90%86)

_posts/2015-10-01-giving-the-users-what-they-want.markdown

@@ -39,12 +39,21 @@ tags:
 
 如果编程是一种翻译活动，即把一套程序的、不可执行的用户描述，翻译为可执行的描述，那么很容易就说明，你翻译的准确性是无法证明的。
 
-把一个程序翻译成另一个程序，甚至也是不可能确定其准确程度的。判断两个程序的均等，成了不可判定的问题。这就简化到了一个事实，即[停机问题](https://en.wikipedia.org/wiki/Halting_problem)[note] 停机问题（英语：halting problem）是逻辑数学中可计算性理论的一个问题。通俗地说，停机问题就是判断任意一个程序是否会在有限的时间之内结束运行的问题。该问题等价于如下的判定问题：给定一个程序P和输入w，程序P在输入w下是否能够最终停止。停机问题在图灵机上是不可判定问题。这是最早提出的决定性问题之一。[https://zh.wikipedia.org/wiki/%E5%81%9C%E6%9C%BA%E9%97%AE%E9%A2%98](https://zh.wikipedia.org/wiki/%E5%81%9C%E6%9C%BA%E9%97%AE%E9%A2%98)[/note]是不可判定的。
+把一个程序翻译成另一个程序，甚至也是不可能确定其准确程度的。判断两个程序的均等，成了不可判定的问题。这就简化到了一个事实，即[停机问题](https://en.wikipedia.org/wiki/Halting_problem)【注1】是不可判定的。
 
 因此，「只要这是他们想要的」本质上也是不可判定的，因为你不可能证明你的筹划是准确的。「他们知道、且有能力表达清楚他们想要的」，所有这种假设，本身就已经是不可判定的要求了。[你只是猜测，然后做你的事情](http://www.labazhou.net/2015/04/code-is-ux/)，然后他们看你做的结果，他们不会把他们想要的告诉你，而是把他们不想要的告诉你。
 
-换句话说，你的方式有些不切实际，因为没有考虑到被可计算性[note]在计算机科学中，可计算性理论（Computability theory）作为计算理论的一个分支，研究在不同的计算模型下哪些算法问题能够被解决。相对应的，计算理论的另一块主要内容，计算复杂性理论考虑一个问题怎样才能被有效的解决。[https://zh.wikipedia.org/wiki/%E5%8F%AF%E8%AE%A1%E7%AE%97%E6%80%A7%E7%90%86%E8%AE%BA](https://zh.wikipedia.org/wiki/%E5%8F%AF%E8%AE%A1%E7%AE%97%E6%80%A7%E7%90%86%E8%AE%BA)[/note]所强加给的基本约束。我们对世界的理解充其量不过是图灵完备的[note]在可计算性理论里，如果一系列操作数据的规则（如指令集、编程语言、细胞自动机）可以用来模拟单带图灵机，那么它是图灵完备的。这个词源于引入图灵机概念的数学家艾伦·图灵。虽然图灵机会受到存储能力的物理限制，图灵完全性通常指“具有无限存储能力的通用物理机器或编程语言”。[https://zh.wikipedia.org/wiki/%E5%9C%96%E9%9D%88%E5%AE%8C%E5%82%99%E6%80%A7](https://zh.wikipedia.org/wiki/%E5%9C%96%E9%9D%88%E5%AE%8C%E5%82%99%E6%80%A7)[/note]。在这个理解中，[可判断性](https://en.wikipedia.org/wiki/Entscheidungsproblem)[note]一个语言L，是一个集合，且其补集为\bar{L} 。当L是图灵机可识别时，语言L则称为半可判定。当语言L不是图灵机可识别，则为不可判定语言。当且仅当L和\bar{L}都是图灵机可识别的时候，L才能称为可判定语言。[https://zh.wikipedia.org/wiki/%E5%8F%AF%E5%88%A4%E5%AE%9A%E6%80%A7](https://zh.wikipedia.org/wiki/%E5%8F%AF%E5%88%A4%E5%AE%9A%E6%80%A7)[/note]是不可能被解决的。
+换句话说，你的方式有些不切实际，因为没有考虑到被可计算性【注2】所强加给的基本约束。我们对世界的理解充其量不过是图灵完备的【注3】。在这个理解中，[可判断性](https://en.wikipedia.org/wiki/Entscheidungsproblem)【注4】是不可能被解决的。
 
-给用户想要的东西，这种策略是完全不可能的。你充其量只能修复他们不想要的东西。如果你的销售策略建立在这种不可能之上------考虑到[爆炸原理](https://en.wikipedia.org/wiki/Principle_of_explosion)[note]爆炸原理，也叫做“Ex falso quodlibet”或“ex contradictione (sequitur) quodlibet”，是经典逻辑中陈述从矛盾中可以得出任何事物的规则。用更加形式化的术语，从形如 P ∧ ¬P 的任何命题，可以推导出任何任意的 A。 “爆炸”指称接受一个单一的矛盾到一个系统中会导致整体定理的“爆炸”。[https://zh.wikipedia.org/wiki/%E7%88%86%E7%82%B8%E5%8E%9F%E7%90%86](https://zh.wikipedia.org/wiki/%E7%88%86%E7%82%B8%E5%8E%9F%E7%90%86)[/note]------你完全不可能达到你心里想要达到的目标。处于这种环境下的、所有形式的预算，都是完全行不通的。你不会去做那些比如你愿意做的事情，因为那是不可能被完成的。
+给用户想要的东西，这种策略是完全不可能的。你充其量只能修复他们不想要的东西。如果你的销售策略建立在这种不可能之上------考虑到[爆炸原理](https://en.wikipedia.org/wiki/Principle_of_explosion)【注5】------你完全不可能达到你心里想要达到的目标。处于这种环境下的、所有形式的预算，都是完全行不通的。你不会去做那些比如你愿意做的事情，因为那是不可能被完成的。
 
 甚至更重要的是，我们领域里的进展从没被预定过，伟大项目从来也不是通过给用户想要的东西来启动的。大部分用户之前从来没有见过 Google 搜索、或 Facebook。因此，这些项目不会给用户提供他们需要的东西。这些用户尝试之后，然后才发现它们的用处让人惊奇。这些项目真正伟大之处，不是因为他们给了用户想要的东西，而是因为他们给了用户所不知道的、却是他们需要的东西。
+
+
+### 注释
+
+* 注1： 停机问题（英语：halting problem）是逻辑数学中可计算性理论的一个问题。通俗地说，停机问题就是判断任意一个程序是否会在有限的时间之内结束运行的问题。该问题等价于如下的判定问题：给定一个程序P和输入w，程序P在输入w下是否能够最终停止。停机问题在图灵机上是不可判定问题。这是最早提出的决定性问题之一。[https://zh.wikipedia.org/wiki/%E5%81%9C%E6%9C%BA%E9%97%AE%E9%A2%98](https://zh.wikipedia.org/wiki/%E5%81%9C%E6%9C%BA%E9%97%AE%E9%A2%98)
+* 注2：在计算机科学中，可计算性理论（Computability theory）作为计算理论的一个分支，研究在不同的计算模型下哪些算法问题能够被解决。相对应的，计算理论的另一块主要内容，计算复杂性理论考虑一个问题怎样才能被有效的解决。[https://zh.wikipedia.org/wiki/%E5%8F%AF%E8%AE%A1%E7%AE%97%E6%80%A7%E7%90%86%E8%AE%BA](https://zh.wikipedia.org/wiki/%E5%8F%AF%E8%AE%A1%E7%AE%97%E6%80%A7%E7%90%86%E8%AE%BA)
+* 注3：在可计算性理论里，如果一系列操作数据的规则（如指令集、编程语言、细胞自动机）可以用来模拟单带图灵机，那么它是图灵完备的。这个词源于引入图灵机概念的数学家艾伦·图灵。虽然图灵机会受到存储能力的物理限制，图灵完全性通常指“具有无限存储能力的通用物理机器或编程语言”。[https://zh.wikipedia.org/wiki/%E5%9C%96%E9%9D%88%E5%AE%8C%E5%82%99%E6%80%A7](https://zh.wikipedia.org/wiki/%E5%9C%96%E9%9D%88%E5%AE%8C%E5%82%99%E6%80%A7)
+* 注4：一个语言L，是一个集合，且其补集为\bar{L} 。当L是图灵机可识别时，语言L则称为半可判定。当语言L不是图灵机可识别，则为不可判定语言。当且仅当L和\bar{L}都是图灵机可识别的时候，L才能称为可判定语言。[https://zh.wikipedia.org/wiki/%E5%8F%AF%E5%88%A4%E5%AE%9A%E6%80%A7](https://zh.wikipedia.org/wiki/%E5%8F%AF%E5%88%A4%E5%AE%9A%E6%80%A7)
+* 注5：爆炸原理，也叫做“Ex falso quodlibet”或“ex contradictione (sequitur) quodlibet”，是经典逻辑中陈述从矛盾中可以得出任何事物的规则。用更加形式化的术语，从形如 P ∧ ¬P 的任何命题，可以推导出任何任意的 A。 “爆炸”指称接受一个单一的矛盾到一个系统中会导致整体定理的“爆炸”。[https://zh.wikipedia.org/wiki/%E7%88%86%E7%82%B8%E5%8E%9F%E7%90%86](https://zh.wikipedia.org/wiki/%E7%88%86%E7%82%B8%E5%8E%9F%E7%90%86)