解决 ubuntu网页加载缓慢
加载网页速度慢，多半是由于dns解析慢导致的。
一张通往计算机世界的地图
继《物理学地图》、《数学地图》和《化学地图》后，今天为大家呈现通往计算机世界的地图，希望通过本文能够带你进入计算机科学领域。
走进计算机文化史 12 - 误解带来的乐观与恐慌
我们用了之前四期的时间从 工程， 功耗，时空概念 及 复杂理论 讨论了计算机的极限以及面对这些极限科学家们所采取的措施。本期文章是讨论计算机极限的最后一篇，我们将跳出传统计算机的领域，从新兴科技的角度入手，通过对其极限的讨论，打破多年来人们对他们的误解。
走进计算机文化史 11 - 一个价值百万美金的问题
前三期我们用三个大定律从不同方面讨论了计算机的极限。和之前的三期不同，这一期我们将从一个还没有被证明的问题入手，从复杂度的角度理解计算机领域中程序算法的极限。
走进计算机文化史 10 - 多核的陷阱：从程序的角度探讨计算机的极限
在上两期的《走进计算机文化史》中我们分别从 工程 和 功耗 两个方面讨论了计算机的极限问题，并由此分别引出了摩尔定律及 登纳德缩放定律。 这一期我们暂时抛开硬件，从程序的角度解释系统并行化的极限。
走进计算机文化史 9 - 一直在“偷懒”的芯片
什么是登纳德缩放比例定律？为什么芯片里总有那么一部分甚至一大部分是不能同时工作的？那为什么我们还要费尽心思往集成电路里加更多的晶体管呢？暗硅又是一种怎样概念？
走进计算机文化史 8 - 计算机所面临的极限是什么？
原理计算机文化系列用前几期的文章介绍了计算机的起源。在介绍计算机各个分支的发展之前，笔者希望在接下来的几期里和大家共同探讨计算机极限这一个话题。
走进计算机文化史 7 - “计算”与“机”
在前两期的文章中我们介绍了 图灵机 和 λ算子 对计算机发展的影响。图灵机和λ算子之间的区别是：图灵机强调的是过程，而λ算子强调的是结果。基于这两种不同，也因此演化出了当今的两大类编程语言：命令式编程和函数式编程。
走进计算机文化史 6 - 他的思想代表了逻辑和语言
上期文章（详见：《一个无法证明的逻辑问题》）中我们讲到了图灵在哥德尔证明了不完备理论之后用图灵机的概念完整地证明了希尔伯特判定性问题，并因此从数学理论中开辟出了计算机科学的分支。但即便是这样，图灵的理论撑起的也仅是计算机领域的半边天。如果把日益兴起的计算机科学比作一个成长的巨人，...
走进计算机文化史 5 - 一个无法证明的逻辑问题
前三期我们用恩尼格码的制造与破解阐述了一个用机器战胜机器的故事。这也可以说是人们对计算机概念进行实践的一个起点。那么计算机的概念又是从何而来呢？本期我们回到20世纪初页，从一个数学的逻辑问题开始讲起。
