Propositional logic exercises with the lean theorem provergithub.com/ImperialCollegeLondon 54mathematically4y8 comments
Every Model Learned by Gradient Descent Is Approximately a Kernel Machinemedium.com 13mathematically4ydiscuss
Conspiracy Theories: Evolved Functions and Psychological Mechanismsfirebasestorage.googleapis.com 3mathematically4ydiscuss
Adventures in Category Theory – The algebra of types (2018)miklos-martin.github.io 66mathematically4y12 comments
Conspiracy Theories and Religion: Reframing Conspiracy Theories as Blikscambridge.org 37mathematically4y25 comments