Xah Talk Show 2020-01-07 ergodox, Xah Fly Keys, emacs lisp books, automated Proving Systems, emacs workflow JavaScript in Depth
topics talked:
- mathematician Justin Scarfy's CV. analytic number theory, harmonic analysis, arithmetic geometry.
- Ergodox Keyboard
- Emacs: Xah Fly Keys
- Buy Xah Emacs Tutorial Buy Xah Emacs Tutorial
- Robert J Chassell Died. Author of An Introduction to Programming in Emacs Lisp
- Should a Beginner Programer Learn Emacs Lisp?
- Book: Structure and Interpretation of Computer Programs (SICP), Scheme LISP and JavaScript
- Daniel P. Friedman, Matthias Felleisen. computer scientist, on programing language design.
- How to Design Programs Buy at amazon
- A Little Java, A Few Patterns Buy at amazon
- The Little MLer Buy at amazon
- The Little Schemer Buy at amazon
- The Seasoned Schemer Buy at amazon
- LISP Infix Syntax Survey
- State of Theorem Proving Systems 2008
- emacs workflow. merge nav boxes into one table of contents box JavaScript in Depth