虚拟化? 像viralbox OSE或VMWare这样的应用程序为我节省了很多时间。

更好的用户界面。

今天的用户界面仍然很糟糕。我指的不是小的方面，而是大的、基本的方面。我不禁注意到，即使是最好的程序也仍然有一些接口，这些接口要么极其复杂，要么需要以其他方式进行大量的抽象思考，而且无法达到传统的非软件工具的易用性。

诚然，这是由于软件可以比传统工具做更多的事情。但这不是接受现状的理由。此外，大多数软件都做得不好。

In general, applications still lack a certain “just works” feeling are too much oriented by what can be done, rather than what should be done. One point that has been raised time and again, and that is still not solved, is the point of saving. Applications crash, destroying hours of work. I have the habit of pressing Ctrl+S every few seconds (of course, this no longer works in web applications). Why do I have to do this? It's mind-numbingly stupid. This is clearly a task for automation. Of course, the application also has to save a diff for every modification I make (basically an infinite undo list) in case I make an error.

解决这个问题其实并不难。在每个应用程序中都很难实现它，因为没有好的API可以做到这一点。编程工具和库必须显著改进，才能在所有平台和程序上轻松实现这些工作，适用于所有具有任意备份存储且不需要用户交互的文件格式。但在我们最终开始编写“好的”应用程序而不仅仅是足够的应用程序之前，这是必要的一步。

I believe that Apple currently approximates the “just works” feeling best in some regards. Take for example their newest version of iPhoto which features a face recognition that automatically groups photos by people appearing in them. That is a classical task that the user does not want to do manually and doesn't understand why the computer doesn't do it automatically. And even iPhoto is still a very long way from a good UI, since said feature still requires ultimate confirmation by the user (for each photo!), since the face recognition engine isn't perfect.

X.500和X.500系列标准(大约1988年)。虽然x.500标准的灵感来自于几十年前的电信标准，但它们具有重要意义，因为它们为LDAP/AD的广泛使用以及我们目前使用的x.509证书铺平了道路。

为了开始思考这个问题，我需要一个关于“创新”意味着什么的模型。

我所见过的最好的模式是技术采用生命周期。你可以在这篇维基百科文章中得到一个概述。

利用这个模型，我开始问自己……软件本身处于生命周期的哪个阶段?我们可以把“软件”看作一种不同于机械的技术，这种技术可以一直追溯到巴贝奇(Babbage)，或者更准确地说，追溯到Ada Lovelace夫人。

但至少在1951年之前，它仍然处于非常早期的开拓阶段。这是编程计算机“商业化”的一年，即销售计算机产品的模型，并制造大量该模型的单元。我在想Univac卖给人口普查局的那台机器。

从1951年到1985年，软件创新层出不穷。它们主要与将计算的范围扩展到一个更广阔的领域有关。与此同时，大规模营销和大规模生产不断降低入门成本，直到苹果和IBM-PC使可编程设备成为一种常见的设备。

在1980年到1985年之间，我认为软件从创新者的领域过渡到“早期大多数”领域。抱歉，伙计们，这让你们所有参与MS-DOS, Mac, Windows, c++和Java早期的大多数人而不是创新者。这并不妨碍你在自己的领域和自己的项目中进行重大创新。这只是意味着这个领域本身已经从最早的阶段发展起来了。

虽然互联网的前身早在20世纪70年代就出现了，但直到阿尔·戈尔发明了互联网(抱歉)，人们才开始上网。在那个阶段，软件从早期的主流变成了晚期的主流。正如钟形曲线的顶部所显示的那样，这种变化是微妙的。并非所有商店都同时从早期多数转变为晚期多数。

我认为软件还没有完全进入“落后”阶段，但我认为真正的创新者正在解决今天在不同战线上产生进步的问题。

我能想到的两个方面是生物工程和信息设备。这两个领域都需要软件，但主要的推力不是软件创新。它正在把软件应用到未知领域。可能还有很多我不知道的战线。

这是一个消极的结果，作为一个“基础创新”很奇怪，但我认为适用，因为它开辟了新的研究领域，关闭了无用的领域。

分配共识的不可能性:2001年PODC影响力论文奖

We assumed that the main value of our impossibility result was to close off unproductive lines of research on trying to find fault-tolerant consensus algorithms. But much to our surprise, it opened up entirely new lines of research. There has been analysis of exactly what assumptions about the distributed system model are needed for the impossibility proof. Many related distributed problems to which the proof also applies have been found, together with seemingly similar problems which do have solutions. Eventually a long line of research developed in which primitives were classified based on their ability to implement wait-free fault-tolerant consensus.

量子计算的数学在1980年之前就已经出现了，但硬件还没有出现，而且在未来许多年里可能在物理和经济上都不可行。