{"type":"video","version":"1.0","html":"<iframe src=\"https://www.loom.com/embed/4d37266a0a5143b3a2d5bd9e8c45e688\" frameborder=\"0\" width=\"1670\" height=\"1252\" webkitallowfullscreen mozallowfullscreen allowfullscreen></iframe>","height":1252,"width":1670,"provider_name":"Loom","provider_url":"https://www.loom.com","thumbnail_height":1252,"thumbnail_width":1670,"thumbnail_url":"https://cdn.loom.com/sessions/thumbnails/4d37266a0a5143b3a2d5bd9e8c45e688-faf2154b9b827180.jpg","duration":449.219,"title":"Tackling Subfolders and permission inheritance with Alloy","description":"We worked on a project to let people put one folder inside of another. It was surprisingly tricky! This is mostly because it comes alongside a change to how our permissions model works. This talk goes over how our permissions model works, and then how we checked its soundness using model-checking software called Alloy."}