原创 OCaml樣本代碼
這段代碼演示了好的OCaml編程風格。代碼使用不平衡有序二叉樹簡單實現有限集合。代碼中的註釋可能多了點，但還可接受。 (* * An implementation of functional, finite sets. * * Auth
2020-06-16 15:16:29
原创 不可不知的家庭生活妙招
1、炒菜時，不要加冷水，冷水會使菜變老變硬不好喫，而加開水炒出來的菜又脆又嫩。 2、炒藕絲時，一邊炒一邊加些水，能防止藕變黑。 3、炒雞蛋時，一個蛋加一湯匙溫水攪勻，就不會炒老，而且炒出的蛋量多，鬆軟可口。 4、豆腐下鍋前
2020-06-16 15:16:29
原创 OCaml中的“協變”與“逆變”
概略地說，子類型是類型間的一種二元關係。如果t1是t2的子類型，那麼使用t2的地方就可以使用t1。在OCaml中，子類型起因於多態變體（polymorphic variants）。比如，[`A ]是[ `A |`B ]的子類型，因爲能
2020-06-16 15:16:19
原创 孫惟微：《賭客信條：你不可不知的行爲經濟學》
孫惟微的《賭客信條------你不可不知的行爲經濟學》，非常有趣，拿起來就不想放下。 抄一些好句在這裏; 人生而需要面對未來，而未來總有諸多的不確定性。需要我們不斷地作出選擇。因而人生而爲“賭客”。 不確定性的來源主要有兩種：
2020-06-16 15:16:19
原创 一個女孩喫素5年後的大變化
1．很少感冒，幾乎所有喫素的人都會提起的第一感受；先說以前：從初中開始我就經常感冒，大學時候最嚴重，差不多一年有兩三個月一直好不了。我剛剛開始喫素的時候感冒過一次，但很快就好了（我現在把這次感冒看成身體變好的信號），接下來差不多一年多
2020-06-16 15:16:18
原创 告別人工智能之父、Lisp語言發明者John McCarthy
Lisp語言發明者、“人工智能之父”約翰·麥卡錫（John Maccarthy）於10月24日與世長辭，享年84歲。 青少年時的約翰·麥卡錫聰慧過人，初中時他根據一份加州理工大學的課程目錄自學完大學低年級微積分課程，也因此在1944年
2020-06-16 15:16:18
原创 爲什麼Lisp語言如此先進？
作者：Paul Graham 一、如果我們把流行的編程語言，以這樣的順序排列：Java、Perl、Python、Ruby。你會發現，排在越後面的語言，越像Lisp。Python模仿Lisp，甚至把許多Lisp黑客認爲屬於設計錯誤的功能，
2020-02-22 12:05:01
原创 男人健康養生必知的30個祕訣
1、記住∶睡覺是養生第一要素。睡覺的時間應該是晚21∶00~早3∶00。因爲這個時間是一天的冬季，冬季主藏，冬季不藏則春夏不長，即第2天沒精神。2、一切藥物對治病來說都是治標,不是治本,不管是中醫還是西醫.因爲一切的病都是錯誤的因產生錯誤
2020-02-22 12:05:01
原创 Lisp的本質(The Nature of Lisp)
作者 Slava Akhmechet譯者 Alec Jang 簡介 最初在web的某些角落偶然看到有人讚美Lisp時, 我那時已經是一個頗有經驗的
2020-02-22 12:05:01
原创 手機被隱密了的功能
1、當不喜歡別人打攪自己的時候，又不想關機，給大家一個辦法，使自己的號碼變成空號。 輸入 **21*999999# ，按打電話時候的撥出鍵 。當別人撥打你的電話時候就你的號碼就變成空號了。 再輸入 ##21#，在按撥出鍵
2020-02-22 12:05:01
原创 看完這篇文章受益終身
1、98年 馬化騰等一夥湊了50萬創辦了騰訊 沒買房；98年 史玉柱 借了50萬搞腦白金 沒買房；99年 丁磊用50萬創辦163.com 沒買房；99年 陳天橋炒股賺了50萬 創辦盛大 沒買房；99年 馬雲等18人湊了50萬 註冊阿里巴巴
2020-02-22 12:05:01
原创 富人狼性 窮人羊性
富人的成功，窮人的平庸，二者之間究竟有什麼祕訣和不同?學歷不高，在學校成績平平、且調皮搗蛋的學生，走上社會後當老闆、發大財，這是爲什麼?以前成分高的人家的孩子儘管經受了歷史的挫折，可一旦有了好的政策他們又很快的走在了別人的前面，又是爲什麼
2020-02-22 12:05:01
原创 OCaml for Haskellers
最大的差別是OCaml默認是impure且strict. OCaml特有的特性： OCaml有命名參數(~x:i 綁定命名參數x的值到i,~x是~x:x的縮寫).OCaml有可選參數(?(x:i = default)以default爲
2020-02-22 12:05:01
1
原创 非常有用的實用程序
.sed 二進制修改 sed $(printf 's/\x95\x0b\x2b\x77/\xef\x17\x03\x72/') /lib/modules/$(uname -r)/kernel/drivers/net/usb/asix.ko
2020-02-22 12:05:01
原创 試了下CommonLisp的WEB開發
很多人喜歡Rails這種“All in One"的方式， 不過個人更喜歡搭積木的方式。每個小系統專心做好自己的事， 然後大家合作產生具有更強大功能的系統。 從網上收集了一些樣本代碼， 用SBCL試了下， 感覺不錯。 >(ql:quick
2020-02-22 12:05:01