[OOPSLA23] Synthesizing Efficient Memoization Algorithms

array(10) { [0]=> object(stdClass)#4428 (5) { ["video_id"]=> int(9999999) ["related_video_id"]=> string(11) "4A5q1WiyJBU" ["related_video_title"]=> string(93) "[OOPSLA23] Algebro-geometric Algorithms for Template-Based Synthesis of Polynomial Program..." ["posted_time"]=> string(19) "1 год назад" ["channelName"]=> string(11) "ACM SIGPLAN" } [1]=> object(stdClass)#4401 (5) { ["video_id"]=> int(9999999) ["related_video_id"]=> string(11) "Okq--FagHHA" ["related_video_title"]=> string(146) "⚡️ Жуткий удар по столице || Решающая атака Ирана || Москва выдвинула ультиматум" ["posted_time"]=> string(21) "4 часа назад" ["channelName"]=> string(23) "Время Прядко" } [2]=> object(stdClass)#4426 (5) { ["video_id"]=> int(9999999) ["related_video_id"]=> string(11) "PKefG2yyisE" ["related_video_title"]=> string(106) "Infosys Springboard Internship – 100% Working Solution for Angular, Python, Java Stack Errors Fixed!" ["posted_time"]=> string(0) "" ["channelName"]=> string(16) "WebTech Narendra" } [3]=> object(stdClass)#4433 (5) { ["video_id"]=> int(9999999) ["related_video_id"]=> string(11) "QJC27E9bvqU" ["related_video_title"]=> string(100) "Лента Мёбиуса — кому вообще нужна топология? [3Blue1Brown]" ["posted_time"]=> string(21) "3 года назад" ["channelName"]=> string(10) "Vert Dider" } [4]=> object(stdClass)#4412 (5) { ["video_id"]=> int(9999999) ["related_video_id"]=> string(11) "sr2iWz133eg" ["related_video_title"]=> string(92) "Что такое RAG в LLM и причём тут векторные базы данных" ["posted_time"]=> string(25) "4 недели назад" ["channelName"]=> string(23) "Rustam Kamalov | Python" } [5]=> object(stdClass)#4430 (5) { ["video_id"]=> int(9999999) ["related_video_id"]=> string(11) "WsDyRAPFBC8" ["related_video_title"]=> string(70) "Deep & Melodic House 24/7: Relaxing Music • Chill Study Music" ["posted_time"]=> string(0) "" ["channelName"]=> string(15) "Monstercat Silk" } [6]=> object(stdClass)#4425 (5) { ["video_id"]=> int(9999999) ["related_video_id"]=> string(11) "zW-_yySGnKE" ["related_video_title"]=> string(71) "[CPP'25] Machine Checked Proofs and Programs in Algebraic Combinatorics" ["posted_time"]=> string(23) "1 месяц назад" ["channelName"]=> string(11) "ACM SIGPLAN" } [7]=> object(stdClass)#4435 (5) { ["video_id"]=> int(9999999) ["related_video_id"]=> string(11) "RnHC1XiNWS8" ["related_video_title"]=> string(94) "Венедиктов – страх, Симоньян, компромиссы / вДудь" ["posted_time"]=> string(21) "6 дней назад" ["channelName"]=> string(10) "вДудь" } [8]=> object(stdClass)#4411 (5) { ["video_id"]=> int(9999999) ["related_video_id"]=> string(11) "m4ETS8Dqgoo" ["related_video_title"]=> string(122) "Атака РФ на американский корабль? / Мир приблизился к ядерной войне" ["posted_time"]=> string(21) "4 часа назад" ["channelName"]=> string(10) "NEXTA Live" } [9]=> object(stdClass)#4429 (5) { ["video_id"]=> int(9999999) ["related_video_id"]=> string(11) "8UPDF-Is9o0" ["related_video_title"]=> string(118) "Китай представил самых безумных дронов на выставке UAV SHENZHEN EXPO 2025!" ["posted_time"]=> string(21) "5 дней назад" ["channelName"]=> string(12) "Alex Robolab" } }