A simple explanation of a/(b+c) + b/(c+a) + c/(a+b) = 4

How Monero’s proof of work works

We spent $50 to measure Pearl's "AI mining" – 320K GPUs produce zero AI

Obfuscation: building the final boss of cryptography (Part I)

A shallow dive into formal verification

PACTs: Protecting Your Bitcoin From a Quantum Sunset