Vectors from Leibniz to Einstein(mathenchant.wordpress.com)

40 points by jamespropp 2 years ago | 10 comments

Human mathematicians are being outcounterexampled(xenaproject.wordpress.com)

456 points by artninja1988 3 months ago | 225 comments

A Xena Project blog post about mathematicians being outpaced at finding counterexamples, from the blog on mathematicians learning the Lean theorem prover.

CKKS – Addition and Multiplication(jeremykun.com)

9 points by ibobev 10 days ago | 0 comments

A tutorial article from Jeremy Kun's Math ∩ Programming series explaining and implementing ciphertext addition and multiplication in the CKKS homomorphic encryption scheme.

Think of a Number(xenaproject.wordpress.com)

23 points by IdealeZahlen 1 year ago | 3 comments

Picturing Mathematics(mathenchant.wordpress.com)

90 points by jamespropp 1 year ago | 3 comments

My Journey Back to Math: A Short Review of MathAcademy(staszewski.xyz)

14 points by gmays 1 year ago | 12 comments