[MINI] Theorem Provers

Where did recommender systems come from, and how do we know when they're actually working? In part one of Data Skeptic's three-part Recommender Systems finale, Kyle traces the field from collaborative filtering and the Netflix Prize to matrix factorization and modern approaches, ...  Show more

Recommender systems influence nearly every aspect of our digital lives—but what does it mean for those systems to be fair? Robin Burke joins Data Skeptic to discuss the history of recommender systems, the limitations of optimizing purely for accuracy, and how ideas from social ch ...  Show more

Transcript http://nav.al/prove 

A mathematical method by which one party (the prover) can prove to another party (the verifier) that something is true, without revealing any information apart from the fact that this specific statement is true. CyberWire Glossary link: https://thecyberwire.com/glossary/zero-know ...  Show more

The nature of proof and mathematics as a creative enterprise. Not all that is true can be proved as such, the high hopes of David Hilbert for placing the entirety of mathematics on a "firm foundation", the mathematical world-shattering results of Kurt Gödel which frustrated that ...  Show more

Transcript http://nav.al/theory