Andy Matuschak - Understanding Knowledge Compilation (via searchlore.ai)