Unlocking the Secrets of Formal Verification in WebAssembly | Ep 19 | WebAssembly Unleashed

array(10) { [0]=> object(stdClass)#7090 (5) { ["video_id"]=> int(9999999) ["related_video_id"]=> string(11) "fcjBfSiyI0k" ["related_video_title"]=> string(69) "Coder vs Developer vs Software Engineer, What’s the Difference?" ["posted_time"]=> string(21) "3 часа назад" ["channelName"]=> string(27) "Modern Software Engineering" } [1]=> object(stdClass)#7063 (5) { ["video_id"]=> int(9999999) ["related_video_id"]=> string(11) "7X5GoUsF-Pk" ["related_video_title"]=> string(72) "AI Security, Cost Optimization, and Quantum Computing: Insights with NCS" ["posted_time"]=> string(22) "13 дней назад" ["channelName"]=> string(23) "F5 DevCentral Community" } [2]=> object(stdClass)#7088 (5) { ["video_id"]=> int(9999999) ["related_video_id"]=> string(11) "xd1np_CXbLg" ["related_video_title"]=> string(71) "Exploring the Future of APIs: Insights from App World 2025 in Singapore" ["posted_time"]=> string(21) "9 дней назад" ["channelName"]=> string(23) "F5 DevCentral Community" } [3]=> object(stdClass)#7095 (5) { ["video_id"]=> int(9999999) ["related_video_id"]=> string(11) "Nc8Pxx24f-k" ["related_video_title"]=> string(120) "Аксиома выбора: как Георг Кантор чуть не сломал математику [Veritasium]" ["posted_time"]=> string(19) "3 дня назад" ["channelName"]=> string(10) "Vert Dider" } [4]=> object(stdClass)#7074 (5) { ["video_id"]=> int(9999999) ["related_video_id"]=> string(11) "ZJKxyxf1C9k" ["related_video_title"]=> string(127) "Россия вступает в войну на Ближнем Востоке? / Жёсткое заявление МИД РФ" ["posted_time"]=> string(23) "6 часов назад" ["channelName"]=> string(10) "NEXTA Live" } [5]=> object(stdClass)#7092 (5) { ["video_id"]=> int(9999999) ["related_video_id"]=> string(11) "blWdjRUPP6E" ["related_video_title"]=> string(72) "Разведчик о том, как использовать людей" ["posted_time"]=> string(25) "2 недели назад" ["channelName"]=> string(18) "Коллектив" } [6]=> object(stdClass)#7087 (5) { ["video_id"]=> int(9999999) ["related_video_id"]=> string(11) "KFgwXXWT7sQ" ["related_video_title"]=> string(170) "ИИ-агенты — вот что действительно изменит разработку. Пишем ИИ-агент на Python, LangChain и GigaChat" ["posted_time"]=> string(25) "4 недели назад" ["channelName"]=> string(29) "Диджитализируй!" } [7]=> object(stdClass)#7097 (5) { ["video_id"]=> int(9999999) ["related_video_id"]=> string(11) "k_u1GT_ChWY" ["related_video_title"]=> string(86) "Вояджер -1 снова на связи, и его данные поражают!" ["posted_time"]=> string(25) "2 недели назад" ["channelName"]=> string(21) "Злой Космос" } [8]=> object(stdClass)#7073 (5) { ["video_id"]=> int(9999999) ["related_video_id"]=> string(11) "Vw7Io_z5RKU" ["related_video_title"]=> string(80) "ЕОПТ-033 | Raycast пора хоронить? Новый macOS 26 Spotlight!" ["posted_time"]=> string(21) "1 день назад" ["channelName"]=> string(69) "ЕОПТ | Ещё один подкаст о технологиях |" } [9]=> object(stdClass)#7091 (5) { ["video_id"]=> int(9999999) ["related_video_id"]=> string(11) "GdQxgjj8lbY" ["related_video_title"]=> string(147) "Разбор лекции Егора Бугаенко о настоящем ООП | Организованное программирование" ["posted_time"]=> string(23) "1 месяц назад" ["channelName"]=> string(93) "Организованное программирование | Кирилл Мокевнин" } }