Xah Talk Show 2020-01-07 ergodox, Xah Fly Keys, emacs lisp books, automated Proving Systems, emacs workflow JavaScript in Depth

ergodox, Xah Fly Keys, emacs lisp books, automated Proving Systems, emacs workflow JavaScript in Depth 2020-01-07

topics talked:

xahlee 20200107 food f2244
xahlee 20200107 food f2244
xahlee 20191229 home b3wpm
xahlee 20191229, view from my door, right side.
xahlee 20191229 home d6qrx
xahlee 20191229, view from my door, left side.

xah_talk_show_2020-01-07.txt