Blog

From group theory to elliptic curves: how public-key cryptography actually works

How custom skills and subagents make multilingual publishing faster, cheaper, and better than manual translation

What Turing machines can't do, and why it matters

Why brains and AI are 'approximate Turing machines'

The elegant abstraction that defines what it means to compute

A family of proofs that construct objects guaranteed to differ from every item in a list

Why removing context from an LLM conversation forces full recomputation