Dvorak

I am interested in giving it a go, the programmer’s Dvorak. The best things about it: 1) I can practise my lazy brain; 2) it can serve as a cypher mapping; 3) it sounds geeky and cool. The only bad thing about it: the shortcut keys are not very handy any more.

Instructions on installing and using here:
http://www.kaufmann.no/roland/dvorak/
And a tutorial introducing the layout:
http://gigliwood.com/abcd/

Come, lose and then regain and surpass your productivity with me.

十个著名的思想实验

10.电车难题（The Trolley Problem）

“电车难题”要数伦理学领域最为知名的思想实验之一，其内容大致是：一个疯子把五个无辜的人绑在电车轨道上。一辆失控的电车朝他们驶来，并且片刻后就要碾压到他们。幸运的是，你可以拉一个拉杆，让电车开到另一条轨道上。但是还有一个问题，那个疯子在那另一条轨道上也绑了一个人。考虑以上状况，你应该拉拉杆吗？

解读：

电车难题最早是由哲学家Philippa Foot提出的，用来批判伦理哲学中的主要理论，特别是功利主义。功利主义提出的观点是，大部分道德决策都是根据“为最多的人提供最大的利益”的原则做出的。从一个功利主义者的观点来看，明显的选择应该是拉拉杆，拯救五个人只杀死一个人。但是功利主义的批判者认为，一旦拉了拉杆，你就成为一个不道德行为的同谋——你要为另一条轨道上单独的一个人的死负部分责任。然而，其他人认为，你身处这种状况下就要求你要有所作为，你的不作为将会是同等的不道德。总之，不存在完全的道德行为，这就是重点所在。许多哲学家都用电车难题作为例子来表示现实生活中的状况经常强迫一个人违背他自己的道德准则，并且还存在着没有完全道德做法的情况。

9．空地上的奶牛（The Cow in the field）

认知论领域的一个最重要的思想实验就是“空地上的奶牛”。它描述的是，一个农民担心自己的获奖的奶牛走丢了。这时送奶工到了农场，他告诉农民不要担心，因为他看到那头奶牛在附件的一块空地上。虽然农民很相信送奶工，但他还是亲自看了看，他看到了熟悉的黑白相间的形状并感到很满意。过了一会，送奶工到那块空地上再次确认。那头奶牛确实在那，但它躲在树林里，而且空地上还有一大张黑白相间的纸缠在树上，很明显，农民把这张纸错当成自己的奶牛了。问题是出现了，虽然奶牛一直都在空地上，但农民说自己知道奶牛在空地上时是否正确？

解读：

空地上的奶牛最初是被Edmund Gettier用来批判主流上作为知识的定义的JTB（justified true belief）理论，即当人们相信一件事时，它就成为了知识；这件事在事实上是真的，并且人们有可以验证的理由相信它。在这个实验中，农民相信奶牛在空地上，且被送奶工的证词和他自己对于空地上的黑白相间物的观察所证实。而且经过送奶工后来的证实，这件事也是真实的。尽管如此，农民并没有真正的知道奶牛在那儿，因为他认为奶牛在那儿的推导是建立在错误的前提上的。Gettier利用这个实验和其他一些例子，解释了将知识定义为JTB的理论需要修正。

8．定时炸弹（The Ticking Time Bomb）

如果你关注近几年的政治时事，或者看过动作电影，那么你对于“定时炸弹”思想实验肯定很熟悉。它要求你想象一个炸弹或其他大规模杀伤性武器藏在你的城市中，并且爆炸的倒计时马上就到零了。在羁押中有一个知情者，他知道炸弹的埋藏点。你是否会使用酷刑来获取情报？

解读：

与电车难题类似，定时炸弹情景也是强迫一个人从两个不道德行径中选择的伦理问题。它一般被用作对那些说在任何情况下都不能使用酷刑的反驳。它也被用作在极端形势下法律——就像美国的严禁虐囚的法律——可以被放在第二位的例子。归功于像《24小时》的电视节目和各种政治辩论，定时炸弹情景已成为最常引用的思想实验之一。今年早些时候，一份英国报纸提出了更为极端的看法。这份报纸提议说，如果那个恐怖分子对酷刑毫无反应，那么当局者是否愿意拷打他的妻子儿女来获取情报。

7．爱因斯坦的光线（Einstein’s Light Beam）

爱因斯坦著名的狭义相对论是受启于他16岁做的思想实验。在他的自传中，爱因斯坦回忆道他当时幻想在宇宙中追寻一道光线。他推理说，如果他能够以光速在光线旁边运动，那么他应该能够看到光线成为“在空间上不断振荡但停滞不前的电磁场”。对于爱因斯坦，这个思想实验证明了对于这个虚拟的观察者，所有的物理定律应该和一个相对于地球静止的观察者观察到的一样。

解读：

事实上，没人确切知道这意味着什么。科学家一直都在争论一个如此简单的思想实验是如此帮助爱因斯坦完成到狭义相对论这如此巨大的飞跃的。在当时，这个实验中的想法与现在已被抛弃的“以太”理论相违背。但他经过了好多年才证明了自己是正确的。

6．特修斯之船（The Ship of Theseus）

最为古老的思想实验之一。最早出自普鲁塔克的记载。它描述的是一艘可以在海上航行几百年的船，归功于不间断的维修和替换部件。只要一块木板腐烂了，它就会被替换掉，以此类推，直到所有的功能部件都不是最开始的那些了。问题是，最终产生的这艘船是否还是原来的那艘特修斯之船，还是一艘完全不同的船？如果不是原来的船，那么在什么时候它不再是原来的船了？哲学家Thomas Hobbes后来对此进来了延伸，如果用特修斯之船上取下来的老部件来重新建造一艘新的船，那么两艘船中哪艘才是真正的特修斯之船？

解读：

对于哲学家，特修斯之船被用来研究身份的本质。特别是讨论一个物体是否仅仅等于其组成部件之和。一个更现代的例子就是一个不断发展的乐队，直到某一阶段乐队成员中没有任何一个原始成员。这个问题可以应用于各个领域。对于企业，在不断并购和更换东家后仍然保持原来的名字。对于人体，人体不间断的进行着新陈代谢和自我修复。这个实验的核心思想在于强迫人们去反思身份仅仅局限在实际物体和现象中这一常识。

5．伽利略的重力实验（Galileo’s Gravity Experiment）

为了反驳亚里士多德的自由落体速度取决于物体的质量的理论，伽利略构造了一个简单的思想实验。根据亚里士多德的说法，如果一个轻的物体和一个重的物体绑在一起然后从塔上丢下来，那么重的物体下落的速度快，两个物体之间的绳子会被拉直。这时轻的物体对重物会产生一个阻力，使得下落速度变慢。但是，从另一方面来看，两个物体绑在一起以后的质量应该比任意一个单独的物体都大，那么整个系统下落的速度应该最快。这个矛盾证明了亚里士多德的理论是错误的。

解读：

这个思想实验帮助证明了一个很重要的理论：无论物体的质量，不考虑阻力的情况下，所有物体自由落体的速率都是一样的。

4．猴子和打字机（Monkeys and Typewriters）

另一个在流行文化中占了很大分量的思想实验是“无限猴子定理”，也叫做“猴子和打字机”实验。定理的内容是，如果无数多的猴子在无数多的打字机上随机的打字，并持续无限久的时间，那么在某个时候，它们必然会打出莎士比亚的全部著作。猴子和打字机的设想在20世纪初被法国数学家Emile Borel推广，但其基本思想——无数多的人员和无数多的时间能产生任何/所有东西——可以追溯至亚里士多德。

解读：

简单来说，“猴子和打字机”定理是用来描述无限的本质的最好方法之一。人的大脑很难想象无限的空间和无限的时间，无限猴子定理可以帮助理解这些概念可以达到的宽度。猴子能碰巧写出《哈姆雷特》这看上去似乎是违反直觉，但实际上在数学上是可以证明的。这个定理本身在现实生活中是不可能重现的，但这并没有阻止某些人的尝试：2003年，一家英国动物园的科学家们“试验”了无限猴子定理，他们把一台电脑和一个键盘放进灵长类园区。可惜的是，猴子们并没有打出什么十四行诗。根据研究者，它们只打出了5页几乎完全是字母“s”的纸。

3．中文房间（The Chinese Room）

“中文房间”最早由美国哲学家John Searle于20世纪80年代初提出。这个实验要求你想象一位只说英语的人身处一个房间之中，这间房间除了门上有一个小窗口以外，全部都是封闭的。他随身带着一本写有中文翻译程序的书。房间里还有足够的稿纸、铅笔和橱柜。写着中文的纸片通过小窗口被送入房间中。根据Searle，房间中的人可以使用他的书来翻译这些文字并用中文回复。虽然他完全不会中文，Searle认为通过这个过程，房间里的人可以让任何房间外的人以为他会说流利的中文。

解读：

Searle创造了“中文房间”思想实验来反驳电脑和其他人工智能能够真正思考的观点。房间里的人不会说中文；他不能够用中文思考。但因为他拥有某些特定的工具，他甚至可以让以中文为母语的人以为他能流利的说中文。根据Searle，电脑就是这样工作的。它们无法真正的理解接收到的信息，但它们可以运行一个程序，处理信息，然后给出一个智能的印象。

2．薛定锷的猫（Schrodinger’s Cat）

薛定锷的猫最早由物理学家薛定锷提出，是量子力学领域中的一个悖论。其内容是：一只猫、一些放射性元素和一瓶毒气一起被封闭在一个盒子里一个小时。在一个小时内，放射性元素衰变的几率为50%。如果衰变，那么一个连接在盖革计数器上的锤子就会被触发，并打碎瓶子，释放毒气，杀死猫。因为这件事会否发生的概率相等，薛定锷认为在盒子被打开前，盒子中的猫被认为是既死又活的。

解读：

简而言之，这个实验的核心思想是因为事件发生时不存在观察者，盒子里的猫同时存在在其所有可能的状态中（既死又活）。薛定锷最早提出这个实验是在回复一篇讨论量子态叠加的文章时。薛定锷的猫同时也说明了量子力学的理论是多么令人无法理解。这个思想实验因其复杂性而臭名昭著，同时也启发了各种各样的解释。其中最奇异的就属“多重世界”假说，这个假说表示有一只死猫和一只活猫，两只猫存在在不同的宇宙之中，并且永远不会有交集。

1． 缸中的大脑（Brain in a Vat）

没有比所谓的“缸中的大脑”假说更有影响力的思想实验了。这个思想实验涵盖了从认知学到哲学到流行文化等各个领域。这个实验的内容是：想象有一个疯狂科学家把你的大脑从你的体内取出，放在某种生命维持液体中。大脑上插着电极，电极连到一台能产生图像和感官信号的电脑上。因为你获取的所有关于这个世界的信息都是通过你的大脑来处理的，这台电脑就有能力模拟你的日常体验。如果这确实可能的话，你要如何来证明你周围的世界是真实的，而不是由一台电脑产生的某种模拟环境？

解读：

如果你觉得这听起来很像《黑客帝国》，那么你说对了。这部电影以及其他一些科幻作品，都是在这个思想实验的影响下创作出来的。这个实验的核心思想是让人们质疑自身经历的本质，并思考作为一个人的真正意义是什么。这个实验的最初原型可以一直追溯至笛卡尔。在他的《Meditations on the First Philosophy》一书中，笛卡尔提出了能否证明他所有的感官体验都是他自己的，而不是由某个“邪恶的魔鬼”产生的这样的疑问。笛卡尔用他的经典名言“我思故我在”来回答这个问题。不幸的是，“缸中的大脑”实验更为复杂，因为连接着电极的大脑仍然可以思考。这个实验被广泛的讨论着，有许多对于此实验前提的反驳，但仍没有人能有力的回应其核心问题：你究竟如何才能知道什么是真实？

Paste Special in Excel.

Controlling Column Widths in Excel
Ever notice that when you copy data from one worksheet to another, the column widths don't copy correctly? Try this method.

• Copy the data and paste it into another spreadsheet. Leave the data highlighted. Go to Edit/Paste Special and put a tick mark in the radio button that says Column Widths.

Excel Auto CalculationsTo setup your spreadsheet for more examples, add the numbers 10 through 100 in cells A1:A10 in increments of 10. Shortcut:Note that you can type 10 in cell A1 and 20 in cell A2. Select both cells and use the Fill Handle to drag down to cell A10. Since Excel recognized the series of 10, 20, etc., you should now have 10 through 100 in cells A1 through A10. Remember that you only need to enter enough numbrs for Excel to see the pattern, then select them all and drag with the Fill Handle and Excel will continue the series, ad infinitum.

• In cell B1, type 100 and hit enter. Now return to cell B1 and copy it. Then highlight cells A1:A10 and go to the Edit menu and choose Paste Special.
  
• In the center section of the Paste Special box where it says Operation, put a tick mark in the radio button besideMultiply and click OK.

Excel will multiply all the numbers in A1:A10 by 100 (which you copied from cell B1). Try doing the same thing, but choosing Add, Subtract, or Divide. You will see that this is a very quick way to perform the same, simple mathematics on multiple cells.

Removing an Excel FormulaHere's one to use when you want to keep a value in a cell but remove the formula that produced this value.

• Add this formula to cell C1: =A1+B1. 
  
• Copy it and leave it selected. Go to the Edit menu and choose Paste Special. 
  
• This time, put a tick mark in the radio button in the Paste section that says Values and click OK. 

Changing the Data Layout in ExcelThis one is handy to know when you inherit a spreadsheet that someone else made and you want to change the layout of the data quickly.

• Highlight cells A1:A10 again and copy them. 
  
• Now click into cell D1 and go to the Edit menu and choose Paste Special. 
  
• This time, put a check in the box at the bottom that says Transpose and click OK.

You'll see that Excel will pasted your values across the columns, instead of down the rows. 

Skip Blanks in an Excel Data SeriesThis is a great one to use when you want to copy new data over old, but don't want to replace existing data in a cells where there is no new data.

• In cells C5:C9, enter the numbers 10, 20, , 40, ( meaning do not put anything in cells C7 and C9). 
  
• Now, in cells D5:D9, enter 50, 60, 70, 80, and 90. 
  
• Highlight cells C5:C9 and copy them. Click in cell D5 and go to the Edit menu and choose Paste Special. This time, put a check in the box that says Skip blanks and click OK.

You will see that cells D5:D9 now show 10, 20, 70, 40, 90, because Excel did not paste blank values over existing data. 

Linking Data in Excel

• Add another simple formula to your spreadsheet (again, two simple numbers and a sum to add them up will do). 
  
• Now copy the cell with the formula in it and go to another sheet in the workbook. Click on any blank cell. Go to Edit/Paste Special and click at the button where it says Paste Link.

You will see your number is in the cell and the formula bar shows that it relates to another sheet. 

• Go back to that sheet and change the SUM formula to an AVERAGE formula. 
  
• Return to the sheet where you pasted it and you will see it is updated there also.

Pasting a link means the destination cell will always be updated when you change the original cell. You can also do this between workbooks.

Pasting Web Pages into WordFirst, copy some text from a Web Page and paste it into Word and see if you have problems. If you go to a website, you will see my text is white on a dark background. If you copy white text and paste it into Word, you won't see anything! So, let's look at that Paste Special box:

• You see that by default, Word wants to copy this text in HTML Format, which would include the white font formatting.
  
• Try Paste Special/Unformatted Text. You will get just the text, in whatever default font you have set in Word.
  
• Also, sometimes when you copy text from an Email into Word, all of the margins are messed up. Try Paste Special/Unformatted Text for that one too.

Now try copying a picture from a Web Page or from an Email (right click on the graphic and choose Copy). Because graphics come in many formats, you may want to convert yours into a format that is smaller in file size or more compatible with your computer. Often graphics embedded in Emails only allow you to save them as bmp (bitmap) files, which are HUGE. People think they have to go into a graphics program to convert this file to something more manageable. Not true. Try Word's Paste Special:

• Note that you have various choices for different graphic formats, such as gif, jpeg, and png, which are all smaller and more manageable than bmp files.
  
• Try pasting your graphic in different formats and see the different choices you then have for making changes to your graphic. Also, notice the drastic difference in your file size when you make different choices.

Also, notice that Word's Paste Special box has the same Paste Link feature mentioned in the Excel section above. Though it's not always available (depends on what you are pasting and where you are pasting it from), when it's not grayed out you can use it to automatically update whatever you pasted when the original is changed.

Monitors

When you are used to two monitors, one monitor is certainly not enough. When you are used to three monitors, two monitors seem weird. People are always greedy.
Today I got my two monitors working in the office, after my secondary monitor having sit there for half an year. I can't explain why Dell has a monitor that does not have HDMI port.
After having two monitors, I feel like my production rate climbs to 1.414 times than before.

7/12

90分钟可以解决的战斗，非要拖到120分钟。这个导演有问题。
结束了都结束了。荷兰的拦截再凶狠、罗本再快、斯奈德再冲，都避免不了结束的一刻。既生荷兰何生西班牙。
以貌取人，是不是只有光头的裁判才是好裁判啊。

7/11

如果没有今晚的决赛，那乌拉圭对德国将是本届世界杯最好看最刺激的比赛。进球最多的德国队和最给人意外的乌拉圭踢了一场真正受人尊敬的比赛。

卡卡梅西C罗鲁尼去汗颜吧，弗兰才是真正的球星。弗格森当年没看走眼，只是缺了点耐心。弗兰有的是球星才有最后一秒扳平球中门楣的悲情一刻。这一刻他和齐达内巴乔一样伟大。

如果德国有这样的意志和激情，或许他们会在决赛中出现。经过一届世界杯，德国新一代的球员和他们的圣保罗一样出名了。

7/8

别人是三剑客、四重奏，西班牙一上场就是巴萨七小福。
德国人的计划是防守反击。不过打不起闪电战，反击很难。
德国输给了自己的年轻、不自信和马拉多纳魔咒。
西班牙赢在控制、耐心和章鱼保罗的保佑。

7/7

没有争议就没有世界杯。争议太多就成了变味的世界杯。
成功的球队踢得是集体防守，有且仅有一个进攻核心。比如荷兰/斯奈德。 夺冠的球队靠得必然是坚固的整体防守，且球队核心必须是超级球星。荷兰符合了后一半。
在FIFA的秩序册上，乌拉圭是一个不错的绿叶；给他们个第四足矣。在赌球集团的生死簿上，乌拉圭的黑马作用大概也就到此为止了。但相比前世界杯得主，从未夺冠的荷兰才应该是黑马啊。

7/4

才华。没有什么球队比阿根廷更有进攻才华，可今天马拉多纳才场边怀念的是扎内蒂、萨穆埃尔和坎比亚索这样的防守球员。
梅西。在世界杯上他还是没戏。
Klose。离世界杯传奇的总进球纪录已经很close了。
在南非，默克尔比曼德拉、卡梅隆、比尔克林顿要幸福很多。

西班牙在最需要人品的时候，扑出了点球，制造了点球，点球不算，再点球被扑出。人品守恒了。
世界杯四强里，西班牙是新兵。很明显，他们还在找感觉。
某个评论说，西班牙的进球很像Play station游戏里的进球。深感赞同。

P.S.球星拍广告须谨慎。

耐克公司在世界杯期间有一档重金打造的球星广告“Write the Future”，而参与广告录制的球星不是没有来到南非就是提前出局回国。这则广告还诡异地“预测”了这些球星被淘汰的先后顺序，最先出场的小罗压根就没来到南非，接下来相继亮相的分别是卡纳瓦罗、德罗巴和鲁尼，最后一位超级巨星则是被西班牙送回老家的C罗。最近的广告中，播放的是巴西球星罗比尼奥的主题，可是罗比尼奥的巴西又被荷兰淘汰。

此外，百事球星魔咒也应验了，参加百事可乐广告的卡卡、梅西、德罗巴、亨利、兰帕德等球星，也已全部回家。

7/3

五星巴西踢得有点气急败坏，从第一分钟开始就有点心理失衡。难道是压力？心理障碍？不自信？场外因素？
比起C罗、卡卡、鲁尼、罗比尼奥等一众（耐克）球星，斯奈德更有气定神闲的领袖气质，和扭转乾坤的超群能力。或许2010是斯奈德年。
罗比尼奥和卡卡，1+1没有赢过梅洛的一个助攻一个乌龙和一张红牌。

又见禁区手球，不过这次手球价值连城。
进了淘汰赛而不练点球是不对的。加纳真是经验不足啊。
天时地利人和，没有敌过乌拉圭队狗屎运。

6/30

Par - Jpn
本届世界杯第一场点球。通常被淘汰的那队比较容易得到同情，但没人想成为那一队。
日本人还是欺软怕硬的。 但对巴拉圭就玩起了防守反击，是不是太妄自菲薄了。

Esp - Por
很明显，西班牙比葡萄牙强。强在教练（豪门冠军教练vs豪门助理教练），强在球星（一群球星vs一个球星），强在战术(巴萨式进攻vsC罗一个人傻冲）。
葡萄牙没了德科组织，就好象西班牙没了……西班牙没了谁都行。
托雷斯啊，被利物浦拖累死了。

小组第一还是现实的。八个小组第一，7个进八强。唯一那个没进的是美国——从英格兰那里抢来的第一。