Xah Talk Show 2019-03-15 emacs lisp sitemap, python syntax, lang design, type theory, haskell

• Timestamp
• 3:50 emacs lisp and sitemap
• 11:14 sitemap in golang
• 11:40 math notation, music notation
• 21:04 lang design, python context dependent semantics
• 41:33 ontology of programing language elements
• 1:04:28 proof systems, homotopy type theory, haskell, category theory, coq, idris
• 1:16:14 philosophy of math. formalism, logicism
• 1:21:50 how set theory based foundation does not compute