Discussion on the projects and work of a researcher in formal verification, including debugging proofs, developing tooling, and writing proofs for smart contracts. They also explore experiments with programming languages like HUF and the need for a new high-level language in the Wasmworld.