Introduction: Why Lisp?

https://gigamonkeys.com/book/introduction-why-lisp.html

greatest pleasure in programming comes from getting a lot done with code that simply and clearly expresses your intention, then programming in Common Lisp is likely to be about th

Greg A. Woods

http://www.weird.com/~woods/

FreeWare Software and Programming Projects pages. Note that you can find my home-directory dot files (user login, session setup, and configuration files) here: http://www.planix.c

Regular Expression Matching Can Be Simple And Fast

https://swtch.com/~rsc/regexp/regexp1.html

Journal of Functional Programming 14 (2004), pp. 503–518. http://www.cs.dartmouth.edu/~doug/nfa.ps.gz (preprint) [ 4 ] R. McNaughton and H. Yamada, “Regular expre

Spin - Formal Verification

http://spinroot.com/spin/old.html

and Distributed Programming (the 2nd Edition , which is based on Spin), Ben-Ari, Addison-Wesley, 2006. Model Checking with Spin (in Japanese), by Shin Nakajima, Publ. Kindai Kagud
Spin is a general tool for verifying the correctness of distributed software (software design) in a rigorous and mostly automated fashion.

Acclaim for Unicode

http://www.unicode.org/press/quotations.html

of The Art of Computer Programming Stanford University “Unicode is a global standard whose ambitious goal is to uniquely encode every character of every language in the world. It

Ross Anderson's Home Page

https://www.cl.cam.ac.uk/archive/rja14/

integrity as well. Programming Satan's Computer is a phrase Roger Needham and I coined to express the difficulty of designing cryptographic protocols; it has recently been popular

Find more...