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?
• Structure and Interpretation of Computer Programs (SICP), Scheme LISP, JavaScript
• Daniel P. Friedman, Matthias Felleisen. computer scientist, on programing language design.
• How to Design Programs 2001 Buy at amazon
• A Little Java, A Few Patterns 1998 Buy at amazon
• The Little MLer 1998 Buy at amazon
• The Little Schemer 1996 Buy at amazon
• The Seasoned Schemer 1996 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

xah_talk_show_2020-01-07.txt