Xah Talk Show 2020-01-01 Bourbaki Injection, emacs DOTA, X11 Disaster, Unix Pestilence, Cabaret the rise of social justice
topics talked:
- in the year of our load, two thousand twenty
- intro to mathematician Justin Scarify
- what is univalent math foundation. explained to programers. coq.
- Lex Fridman, artificial intelligence researcher, does interview of others on YouTube
- Bourbaki group, and jargon injection
- emacs workflow demo. 刀塔 DOTA Song
- Command to Download YouTube Video
- The X-Windows Disaster
- The Unix Pestilence
- Origin of BSD Daemon Beastie
- Unix History 2000, Software
- how do massive evil rise?
- Cabaret ♪ Tomorrow Belongs to Me
- Cabaret Screenshots