計算機科學有什麼凄美的故事？

01-06

計算機科學上什麼凄美的故事？
姊妹問題：
生物學上有什麼凄美的故事？http://www.zhihu.com/question/51605025
物理學界上有什麼凄美的故事？http://www.zhihu.com/question/54557761

zip創始人Phil Katz的故事其實挺慘的。。當時電腦儲存成本很高，壓縮軟體相比來說就非常重要。然而一家獨大的壓縮軟體ARC卻要收費，Phil Katz看不慣就自己寫了個免費的壓縮軟體兼容了ARC，結果被ARC打壓。他一氣之下索性自己寫了個zip出來，演算法完爆了ARC並且直接免費發放，最後zip把ARC搞垮了。隨後基於zip的7-zip的推出讓我們現在能夠理所應當得用著高質量的免費壓縮工具，這都多虧了Phil Katz的開源精神，然而他自己卻染上了酗酒的惡習，窮困潦倒早早在37歲時孤獨的死在了汽車旅館裡。

現在流行的Winrar，因為zip格式免費就毫無壓力地兼容zip，而靠著自己rar的授權費讓很多免費zip軟體無法虧血本反向兼容rar而成就了其壓縮軟體的霸主地位。想想Phil Katz自己嘔心瀝血付出生命為之奮鬥的開源精神卻被其他人用來反制於己，更覺得悲哀。

以前聽說過PL領域的Tom Reps(Thomas W. Reps - Wikipedia)和追Susan Horwitz(Susan B. Horwitz)的八卦，接觸過program slicing的人應該對他倆都比較熟悉。他倆合作過很多論文和項目，Interprocedural Slicing using Dependence Graphs(http://research.cs.wisc.edu/wpis/papers/toplas90.pdf PLDI88)和Precise Interprocedural Dataflow Analysis via Graph Reachability(https://research.cs.wisc.edu/wpis/papers/popl95.pdf POPL95)以及Wisconsin Program-Slicing Project 名氣很大。第一次聽到他倆的事迹，感覺就是一對神仙眷侶。

然而Susan得了癌症，14年6月份去世了。那時候在微博看到一個Tom Reps在Susan離世前幾天的日記片段，感人肺腑。斯人也而有斯疾也。

現在網上還有一篇Tom Reps悼念亡妻的報告(http://pages.cs.wisc.edu/~reps/talks/TWR-script.pdf)。

更新:

剛剛知道截圖中的內容來自Tom Reps在caringbridge上(You"re Invited to Visit a CaringBridge Website | Sign in to CaringBridge ,需要Google或Facebook帳號登錄)的一篇記錄6月以前Susan狀態的日記。

For the two weeks May 20 - June 3, Susan continued to be active with knitting (she knitted 9 hats and 2 scarves for me to deliver to the YWCA project), reading and being read to, listening to books on CD, watching DVDs, playing on-line scrabble, and having visits from friends. Much of the time she stayed in bed in our bedroom at our house, but she was also able to enjoy the view of Lake Mendota from the upstairs porch off of the bedroom. We also had beneficial visits from out-of-town friends: first, Susan"s sister Amy, and then our friend Tim Teitelbaum.
By June 3, Susan had gotten too weak for me to be the only one to care for her, so on June 5 we moved to the Agrace hospice facility just south of Madison (http://www.agrace.org/agracecampus). Moving to the hospice facility was definitely the right move. There was some confusion due to the nurses" protocols for administering morphine being different from what we had been doing at home, but that was eventually straightened out: Susan is now connected to an infusion pump and can self-administer additional morphine at 15-minute intervals if necessary.
Susan is becoming progressively weaker, and is a bit confused at times; however, she can still focus when necessary. At this point, she is in a very quiet state. She is very weak (at one point she said, "I feel like I could just float off"), and can no longer speak much louder than a whisper. Earlier I thought that was because of dry mouth -- which she also has -- caused by the morphine that she is taking; however, the doctor said that it is really the lack of respiratory strength to push air past the vocal cords to make them vibrate.
Susan is undergoing a slow fade out, and it is sad to see her in this diminished state. Yesterday, the doctor told us "a few days to two weeks". There is little I can do for Susan except massage her feet and legs to try to address the swelling from the fluid that accumulates in them as her body shuts down (and massage her hands and head to provide some tactile stimulation).

We have been listening to music that is both gentle and evokes memories of our travels and friends: Alla"s "Foundou from Bechar" (Foundou de Bechar); Jan Garbarek"s "Officium" (Officium - Jan Garbarek,The Hilliard Ensemble | Songs, Reviews, Credits | AllMusic); Niels-Henning ?rsted Pedersen"s (NH?P) "To a Brother" (To a Brother by Niels Henning ?rsted Pedersen @ARTISTdirect); and Ottmar Liebert"s "Nouveau Flamenco" (Nouveau Flamenco). Thanks to Ahmed Bouajjani, Mooly Sagiv, and Debra Harris for having introduced us to this music. For what it is worth, "Foundou from Bechar" turns out to be the perfect accompaniment to massage -- peaceful, yet complex. Earlier we worked with two professional masseuses in Madison, and both agreed. One especially liked it because she was finding it difficult to locate music that she could listen to it over and over each day with different customers. Each shift of nurses at Agrace has commented on how wonderful the music is for their type of patients.

另一篇上還貼了Susan的遺言。

Very dear friends and family,
I am very sorry to have left you, but I want you to know that it was a peaceful death, made much easier by your constant love and support. I leave without major regrets: I had a wonderful life, with such a loving family and so many friends from my childhood in Syracuse, to people encountered during sabbaticals who became close friends, to those I met via the University here in Madison, Saddle Ridge Stable, my neighborhood poker group, and BDDS.
I was so fortunate to find Tom, a husband, friend, and companion who brought me endless joy throughout the years. Leaving Tom is the hardest part of dying.
I was also fortunate to find a career that I loved and that brought me success. I feel that I"ve touched some students lives in a positive way, which makes me very happy. And I also kept a good balance between work and other activities: cooking, music, horse- and bike-riding, yoga, reading, and movie-watching. I"ve been all over the world on horseback, from Iceland to Mongolia, and Tom and I have biked Vancouver Island, Denmark, and Italy, to say nothing of the famous "13 flat tires in 3 days" ride from London to Didcot.
My bucket list is empty; I go with no major regrets, other than leaving all of you.

Thank you all for your generosity and love through the years.
Susan

那個鏈接還提到POPL 2015有專門為Radhia Cousot(另一個偉大的女性計算機科學家,Radhia Cousot - Wikipedia)和Susan Horwitz的紀念演講。

https://www.youtube.com/watch?v=WH-W_uBEI28
https://www.youtube.com/watch?v=zA91fKdibCk
https://www.youtube.com/watch?v=Q6iopoGsR8c

並特地提到了Susan以前的一個學生、nctu的教授Wuu Yang為她辦的一場超度法事(Back in October 2014, Wuu wrote to say, ``The whole ceremony lasted for 2 hours, mostly the monks reading the Buddhist bible for Susan.)。

一個男孩給女孩寫了一行代碼

for(;;) printf("I Love You! ");

女孩回了一行代碼

for(;;); printf("I Love You Too! ");

很凄美

Idea from @ZjzMisaka。

一個男孩給女孩寫了一行代碼

print "I", "Love", "You!"

女孩回了一行代碼

print("I", "Love", "You", "Too!")

男孩看到後：

print "BOOOOOOOOM!"

很凄美

一個男孩給女孩寫了一行代碼

print "I Love You!"

女孩回了一行代碼

print "I Love You Too!";

男孩看到後：

print "BOOOOOOOOM!"

很凄美

一個男孩給女孩寫了一行代碼

print "I Love You!"

女孩回了一行代碼

print "I Love You Too!"

男孩看到後：

print "BOOOOOOOOM!"

很凄美

不得不吐槽一句，這下面已有的回答都是代碼/代碼風格的，和計算機科學（computer science）有什麼關係？

挖個坑過完年再答

是想聽圖靈之死呢還是想聽發明非對稱加密卻各種碰壁的Merkle呢？

=========鴿鴿鴿=======

雖然可能有點爛大街了，祖師爺的故事還是要講的。

艾倫·麥席森·圖靈，Alan Mathison Turing，英國計算機科學家、數學家、邏輯學家家、密碼分析學家和理論生物學家。計算機科學的開創者們基本上都同時是數學家或者物理學家，不過圖靈居然還搞點生物學，發表了一篇"形態發生的化學基礎"(「the chemical basis of morphogenesis」)（寫於被化學閹割後不久，傷心的故事）。有報道說最近美國科學科學家驗證了他的理論，發在PNAS上了，感興趣的同學可以去詳查一下。總之圖靈是個很厲害的全才。（不光學術上，還是世界級的長跑運動員，這個後面再說）。

還是按時間順序來吧。圖靈的父親是英屬印度的公務員，母親在印度懷孕，回倫敦生下了他。據說圖靈從小就是天才，三星期自己學會閱讀，16歲開始讀愛因斯坦的著作，後來考入劍橋大學國王學院，23歲當選國王學院院士(或者應該叫研究員？)，24歲獲史密斯數學獎，之後去普林斯頓讀了博士。（看來當了院士也還是要讀博的啊）

這段時間他主要做計算機理論方面的工作，研究計算機可以做什麼不能做什麼（當然是在他提出的圖靈機模型下），也參與計算機的研製。

然後就是二戰爆發了，1939年圖靈被皇家海軍招募，從事對德國機密軍事密碼的破譯工作，成果破解了納粹的恩尼格瑪密碼機，真·功勛顯著，按照維基上的說法使得盟軍提前至少兩年戰勝了納粹德軍。

戰後，圖靈繼續回去搞學術，到泰丁頓國家物理研究所參與計算機ACE和設計和研製，當了曼徹斯特大學計算機實驗室的副主任參與軟體工作。同時他也繼續做抽象的研究，1950年發表「計算機和智能」("Computing Machinery and intelligence」)，提出了大家應該知道的「圖靈測試」：如果一台機器能夠與人類展開對話（通過電傳設備）而不能被辨別出其機器身份，那麼稱這台機器具有智能。

同時圖靈還是個一流的馬拉松運動員，最好成績2小時46分3秒，比48年的世界冠軍慢11分鐘。在48年的一次比賽中他還跑贏過當年的奧運會銀牌得主。

講到這裡，似乎還一直是個美好的故事。然而有一點一直沒說，圖靈是個同性戀。不是現在知乎環境下的同性戀，是上個世紀40、50年代的同性戀。

其實生活中圖靈也不怎麼隱瞞自己的性取向(至少中後期)(這點和某電影表現的完全不一樣)，他的同事對他也比較包容。他在41年和克拉克還有過一段短暫的婚約，在坦露性取向幾個月後才取消婚約。不過他的一大困難就是找不到性伴侶，所以這方面就比較那個啥。一次他從酒吧帶回了19歲的窮打工仔阿諾德·莫瑞，後者夥同同夥進圖靈的家行竊，圖靈報警後警察很快就發現了他們的「不正當關係」。

被學術圈包容慣了的圖靈沒有意識到自己遇到了大麻煩，還向警方寫了五頁的詳細陳述。最終圖靈被判以「明顯的猥褻和性顛倒行為」罪，在坐牢和化學閹割中選了化學閹割，注射了一年的雌激素來壓制性慾，引發了乳房發育等副作用，運動生涯也差不多是毀了。同時這件事對他的名譽也帶來了巨大影響。（果然學術界和世俗的包容程度一直就差別很大)。

重壓下，1954年，圖靈因食用浸過氰化物溶液的蘋果死亡，不到42歲。多數人認為他是自殺，包括她母親在內的一些人認為是意外。從1952年到去世，圖靈一直在從事生物方面的研究。

2009年9月10日，英國首相布朗正式向艾倫圖靈道歉。

=========鴿鴿鴿=======

講完計算機科學的祖師爺，再來講程序員的祖師爺，不對，祖師娘，埃達·洛夫萊斯。

埃達的出身就不簡單，是著名詩人拜倫的女兒。不過她的出身其實也挺尷尬。

埃達是她詩人父親—拜倫與母親安妮·伊莎貝拉·米爾班奇唯一的合法子嗣。她的名字取自拜倫的異母的姊妹奧古斯塔·李。拜倫與安妮的婚事是在奧古斯塔為了避免醜聞，而慫恿拜倫與安妮結合的產物。然而，在1816年1月16日，安妮還是離開拜倫，帶著一個月大的埃達離開。同年4月21日，拜倫簽下了分居協議，並離開英國。
埃達從未見過她同父異母的妹妹阿拉格·拜倫，阿拉格是拜倫與克萊爾·克萊蒙所出，但於1822年死去，得年5歲。至於埃達的另一位親戚奧古斯塔·李之女伊麗莎白·梅朵拉·李則有與她照過面，並由埃達的母親告知埃達與梅朵拉彼此的身世。

來自維基百科

像圖靈一樣，埃達也是從小就表現出天才(當然和圖靈那種還是有差距的)，在家庭教師的教導下對數學有極高的興趣，後來又師從數學家瑪麗·索麥維。

埃達在社交方面也挺活躍，年輕時是藍襪會的會員。

1835年，埃達嫁給了威廉·金。

重點終於來了，1842年到1843年埃達翻譯義大利數學家路易吉·米那比亞講述查爾斯·巴貝奇計算機分析機的論文，在論文後面她自己詳細寫了用該機器計算伯努利數的方法，也就是世界上第一個程序了。而埃達自然也就成為第一位程序員了。（其實我覺得有點牽強）

到這裡都還一切正常，然後..然後..1852年，埃達為了治療子宮頸癌死於失血過多，年僅36歲..年僅36歲。

你說慘不慘。

=========鴿鴿鴿=======

本來是凄美故事的，怎麼被我寫成人物生平了。後面幾個我會盡量寫短一點的。

概率圖信仰男生遇到神經網路信仰女生

我想說，那些由於代碼風格不同，男孩說BOOOOOM的，當你真的遇到有好感的女生敲出這樣代碼時，不管風格多麼迥異，你會莫名妥協的。

不論是什麼風格的代碼，甚至是死對頭的信仰（編輯器，操作系統，同類軟體，代碼風格(Tab-Space、大括弧換行OrNot、"|"…)……）。

因為這些非宗教信仰而鬧矛盾，大多只會是電視劇的情節。像Big bang裡面對弦定理的不同理解引發分手。

還有矽谷：

and so what~

but then

當然，僅是個人見解：）

是時候安利這篇文章了：趁熱白一發（ - 知乎專欄

@霧雨魔理沙強烈建議把這篇文章寫下去，然後做成遊戲放到Steam上必火（逃

不過這不凄美，這傷胃（逃

有一個王子愛上了另一個國家的公主，他便去求婚

公主：想娶我可以，每天數一個數，只要你能數到100，我就嫁給你

王子：好啊，這還不簡單

王子就開始等在城下…

第一天，王子數了個0

第二天，王子數了個1

第一百天，王子數到99

轉身離開，再也沒回來

凄美吧

+++++++++++++++++++++++++++++++++++

2017.01.31

評論區炸鍋了，各位大神顯神通，好精彩

我只是想說從0計數這個事，一開始沒想太多

+++++++++++++++++++++++++++++++++++

還想到一個人，不過不算是計算機科學家，名氣遠不如圖靈，但屬於計算機怪才，而且年代離我們不遠，被稱作 "互聯網之子" -- Aaron Swartz。

RSS、Markdown、web.py、Creative Commons 共享協議、知名站點 Reddit 的出現與興盛全部都與其密切相關。其一生都在為知識共享與知識自由而奮鬥（比如 Creative Commons 協議），但不幸地在年僅 26 歲時，在紐約家中自殺身亡。

關於其自殺的原因和有關事件始末，以及更多有關他的信息，答者一時說不清楚，有興趣的朋友可以觀看這個紀錄片網易公開課《互聯網之子》。還有一個用於紀念 Swartz 的網站 - Remember Aaron Swartz。

-----------------------------------------------------------------------------------------------------

可以去看下卷福主演的電影《模仿遊戲》，講述計算機科學家圖靈的凄美故事。

白雪公主的毒蘋果——圖靈之死。

——————

Wikipedia:

因同性戀傾向而遭到的迫害使得圖靈的職業生涯盡毀。1952年，他的同性伴侶協同一名同謀一起闖進圖靈的房子行竊，但是英國警方的調查結果使得他被控以「明顯的猥褻和性顛倒行為」罪。他沒有申辯，並被定罪。在著名的公審後，他被給予了兩個選擇：坐牢或女性荷爾蒙（雌激素）注射「療法」（即化學閹割）。他最後選擇了雌激素注射，並持續一年。在這段時間裡，藥物產生了包括乳房不斷發育的副作用，也使原本熱愛體育運動的圖靈在身心上受到極大傷害。1954年，圖靈因食用浸過氰化物溶液的蘋果而死亡。很多人相信他的死是有意的，並判決他的死是自殺。但是他的母親極力爭辯他的死是意外，因為他不小心在實驗室里堆放了很多化學物品。

改了一下 @藍色的代碼, 玩一下陳年老梗

一個男孩給女孩寫了一行代碼

for(;;) { printf("I Love You! "); }

女孩回了一行代碼

for(;;) { printf("I Love You Too! "); }

男孩看到後:

printf("BOOOOOOOOM! ");

很凄美

------

評論區說的好, 要不要用while(1)呢...

一個男孩給女孩寫了一行代碼

for(;;) { printf("I Love You! "); }

女孩回了一行代碼

while(1){ printf("I Love You Too! "); }

男孩看到後:

printf("BOOOOOOOOM! ");

很凄美

Iverson"s Better Math改名APL (逃

CDMA之母，海蒂·拉瑪_百度百科

老婆：去買兩個麵包，如果有雞蛋，買10個。

老公回來後，老婆大怒，讓你買兩個麵包為什麼買了10個！！！

老公說: 商店裡有雞蛋賣啊！

關於用Tab鍵還是空格鍵？然後分手了？

美劇《矽谷》第三季裡面，主人公理查德因為使用tab還是space作縮進的問題和她女朋友分手了！

評論區裡面已經打起來！

用space的異端，快受死！

1;曾經在鍵盤上找了N年「任意鍵」。

看程序員也能面向對象編程喲，其實還是看臉辣

3；

之前這個答案好像很切題http://www.zhihu.com/question/49030672/answer/114848003?utm_source=qqutm_medium=social

委屈，委屈懂嗎

你聽說過被困在淋浴中的計算機專家嗎？當時他按照洗髮瓶上的指示洗頭髮。指示說明是

"打開洗髮露。沖洗。重複。"

艾倫圖靈，現代計算機科學的奠基人。二戰時幫助盟軍破解了德軍密碼系統Engima，提出圖靈測試等等。因為是一個同性戀，英國政府一直抹殺他的貢獻。直到2009年，英國政府才正式向他道歉。