Thank you, that second video was very instructive. If people want to see Urbit working, jump to around the two-minute mark and there's a demo of networked program execution as well as distributed version control.