Verifying Context Oriented Programs With Refinement Types

array(10) { [0]=> object(stdClass)#4282 (5) { ["video_id"]=> int(9999999) ["related_video_id"]=> string(11) "YIJkE5KQrFo" ["related_video_title"]=> string(102) "Integración de Agentes Basados en Modelos de Lenguaje Grandes en un Chatbot de Paciente Virtual" ["posted_time"]=> string(25) "4 месяца назад" ["channelName"]=> string(16) "FLAGlab Uniandes" } [1]=> object(stdClass)#4255 (5) { ["video_id"]=> int(9999999) ["related_video_id"]=> string(11) "asLL89tLXmg" ["related_video_title"]=> string(55) "Perplexity Labs AI agents are INSANE for business ideas" ["posted_time"]=> string(21) "1 день назад" ["channelName"]=> string(13) "Adham Alkhaja" } [2]=> object(stdClass)#4280 (5) { ["video_id"]=> int(9999999) ["related_video_id"]=> string(11) "F1P3iLcmVMs" ["related_video_title"]=> string(100) "[CL4Health25]Harnessing the Power of LLMs to Generate Plain Language Summaries from Biomedical Texts" ["posted_time"]=> string(23) "1 месяц назад" ["channelName"]=> string(16) "FLAGlab Uniandes" } [3]=> object(stdClass)#4287 (5) { ["video_id"]=> int(9999999) ["related_video_id"]=> string(11) "-6DWwR_R4Xk" ["related_video_title"]=> string(125) "ООП на простых примерах. Объектно-ориентированное программирование" ["posted_time"]=> string(21) "3 года назад" ["channelName"]=> string(7) "Ulbi TV" } [4]=> object(stdClass)#4266 (5) { ["video_id"]=> int(9999999) ["related_video_id"]=> string(11) "waeMlarYXrI" ["related_video_title"]=> string(145) "🚀 Создаю сайт с помощью нейросети DeepSeek – адаптивный дизайн за минуты! 🖥️🤖" ["posted_time"]=> string(25) "2 месяца назад" ["channelName"]=> string(16) "Pro ИИ и ИТ" } [5]=> object(stdClass)#4284 (5) { ["video_id"]=> int(9999999) ["related_video_id"]=> string(11) "TxZwqVTaCmA" ["related_video_title"]=> string(80) "SOLID ПРИНЦИПЫ простым языком (много примеров)" ["posted_time"]=> string(21) "3 года назад" ["channelName"]=> string(7) "Ulbi TV" } [6]=> object(stdClass)#4279 (5) { ["video_id"]=> int(9999999) ["related_video_id"]=> string(11) "KFgwXXWT7sQ" ["related_video_title"]=> string(170) "ИИ-агенты — вот что действительно изменит разработку. Пишем ИИ-агент на Python, LangChain и GigaChat" ["posted_time"]=> string(23) "1 месяц назад" ["channelName"]=> string(29) "Диджитализируй!" } [7]=> object(stdClass)#4289 (5) { ["video_id"]=> int(9999999) ["related_video_id"]=> string(11) "blWdjRUPP6E" ["related_video_title"]=> string(72) "Разведчик о том, как использовать людей" ["posted_time"]=> string(25) "3 недели назад" ["channelName"]=> string(18) "Коллектив" } [8]=> object(stdClass)#4265 (5) { ["video_id"]=> int(9999999) ["related_video_id"]=> string(11) "IgLGiJ00a1I" ["related_video_title"]=> string(151) "Проброс портов, брутфорс wordpress и jenkins! Прохожу машину Internal на TryHackMe, уровень тяжелый!" ["posted_time"]=> string(25) "3 месяца назад" ["channelName"]=> string(14) "Mister Exploit" } [9]=> object(stdClass)#4283 (5) { ["video_id"]=> int(9999999) ["related_video_id"]=> string(11) "i-FFVM4cIXQ" ["related_video_title"]=> string(138) "База по Базам Данных - Storage (Индексы, Paging, LSM, B+-Tree, R-Tree) | Влад Тен Систем Дизайн" ["posted_time"]=> string(21) "8 дней назад" ["channelName"]=> string(15) "Влад Тен" } }