Show HN: Unsure Calculator – back-of-a-napkin probabilistic calculator

A Blueprint for Fermat’s Last Theorem

How much math is knowable? [video]

Comparison with Traditional Mathematics

Decomposing factorial of 300K as the product of 300K factors larger than 100K

TrueSkill 2: An improved Bayesian skill rating system

Glicko Rating Systems

Simulating Some Queues

Matrix Calculus for Machine Learning and Beyond

Math 13 – An Introduction to Abstract Mathematics [pdf]