Yep, his programming talks are second to none. If you squint, the things that make nostr cool are actually functional programming concepts.