Why I used to prefer permissive licenses and now favor copyleft

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