{"type":"video","version":"1.0","html":"<iframe width=\"560\" height=\"315\" sandbox=\"allow-same-origin allow-scripts allow-popups allow-forms\" title=\"My #commonLisp #lambdaMOO ing macro + #acl2 #firstOrderLogic guided tours- 4&#x2F;5&#x2F;2026, 8:00:37 AM\" src=\"https://toobnix.org/videos/embed/11NoAMWBnW3oVZLxCVRAYr\" frameborder=\"0\" allowfullscreen></iframe>","width":560,"height":315,"title":"My #commonLisp #lambdaMOO ing macro + #acl2 #firstOrderLogic guided tours- 4/5/2026, 8:00:37 AM","author_name":"Lispy Gopher Climate extras","author_url":"https://toobnix.org/video-channels/screwtape_channel","provider_name":"PeerTube","provider_url":"https://toobnix.org","thumbnail_url":"https://toobnix.org/lazy-static/previews/e90a947f-0541-46d6-beea-948f90930c2b.jpg","thumbnail_width":850,"thumbnail_height":480}