| 数理逻辑 | Lisp China | Kurt Gödel | 播客 |
|---|---|---|---|
 |
 |
 |
 |
-
Thanks:
- Common Lisp is nice: see Lisp Journey editor
vindarel The Common Lisp Cookbook ； 
History of LISP editor 
Paul McJones . - Emacs News
Sacha Chua ; 
Using Emacs Series 
Mike Zamansky ; More Productive with Emacs ; Protesilaos Stavrou
；陈斌
; EmacsTalk 播客.
- Programming Language Theory editor
Steven Shaw ; 
Oleg Kiselyov editor FTP ; Daniel P. Friedman ;
Matt Might . Adrian Colyer: the morning paper ;
Papers We Love ；
The Story of Mathematics - A History of Mathematical Thought from Ancient Times to the Modern Day
Computer Pioneers by J. A. N. Lee ; 🎥 The Computer Chronicles host
Stewart Cheifet .
Turing Centenial Celebration at Princeton, 10–12 May 2012.- Lambda the Ultimate
| Lobsters |
|
|
|
|
|
|
| Hacker News Digest |
极客阅读.
书�?� ； Learn X in Yminutes ；
Go 夜读 ；
蟒周刊 ; Ben Lynn.
- The Hitchhiker’s Guide to Online Anonymity ; Madaidan's Insecurities; Cryptology ePrint Archive
- Common Lisp is nice: see Lisp Journey editor
| 
| 
