Automated Reasoning, Gen Z Reaction, and Pacific Dialectical Materialism with Systemkei

I'm joined by @systemkei, who works in the field of Automated Reasoning and wrote the article "Pacific Dialectical Materialism:" http://debayou.net/pacific.html If you'd like to discuss this podcast with me and others, suggest future guests, or read/watch/listen to more content on these themes, request an invitation here. Big thanks to all the patrons who help me keep the lights on. This conversation was first recorded on Feb 20, 2019 as a livestream on Youtube. To receive notifications when future livestreams begin, subscribe to my channel with one click, then click the little bell.