Technical writing on governed intelligence, formal verification, language design, and the BEAM runtime.