math
From Keys to Protocols: ECDH and ECDSA (Part 2/2)
How elliptic curve math enables secure key exchange and digital signatures
The Math Behind Your Private Key (Part 1/2)
From group theory to elliptic curves: how public-key cryptography actually works
What It Means to Be Turing Complete (Part 2/3)
Why brains and AI are 'approximate Turing machines'
What is a Turing Machine? (Part 1/3)
The elegant abstraction that defines what it means to compute
Three Proofs by Diagonalization
A family of proofs that construct objects guaranteed to differ from every item in a list