{"type":"video","version":"1.0","html":"<iframe width=\"560\" height=\"315\" sandbox=\"allow-same-origin allow-scripts\" src=\"https://peertube.f-si.org/videos/embed/c53b882b-479f-4f54-8311-dc6b14e6ac66\" frameborder=\"0\" allowfullscreen></iframe>","width":560,"height":315,"title":"Black-tie Python: Formal verification with Amaranth, Pat Deegan, Psychogenic Technologies","author_name":"root","author_url":"https://peertube.f-si.org/accounts/root","provider_name":"PeerTube","provider_url":"https://peertube.f-si.org","thumbnail_url":"https://peertube.f-si.org/static/previews/c53b882b-479f-4f54-8311-dc6b14e6ac66.jpg","thumbnail_width":560,"thumbnail_height":315}