Zzm's Blog (✧ω✧) (๑˃̵ᴗ˂̵)

StreamKV: Streaming Video Question-Answering with Segment-based KV Cache Retrieval and Compression查看论文原文 StreamKV 核心逻辑拆解 > [SYSTEM::LOG]:: Initializing StreamKV Algorithm Framework... > [STATUS::OK]:: Baseline model LLaVA-OneVision selected. > [ENV::INFO]:: Running on NVIDIA H20 GPU (96G). Step Streaming Encoding核心挑战： 如何解决流视频内存装不下的问题？ 1.1 语义分块与压缩原理 (Semantic Partitioning)视频是由许多帧组成的，对于输入的每一帧，我们利用 ViT，压平映射，形成一个 f_{im} 向量。通过计算相邻帧的余弦相似度，我们可以判断视频的语意连贯性。 在切割 segment 片段时： 切割判定： Si...

无穷集和对角线法简单概括就是，先构造实数序列（0-1），将自然数与实数序列一一对应，然后试图构造新的一个实数序列：将第一个实数的第一位小数取反，再将实数的第二位小数取反，依次构造出不等于任何已有实数序列的新实数。 Input: 一个巨大的 std::vector<std::string>，里面存了无数个长度无限的 01 字符串。 Algorithm: 遍历这个 vector，取第 i 个字符串的第 i 位，做 !bit 操作。 Result: 得到一个新的 string。 Assertion: find(vector.begin(), vector.end(), new_string) == vector.end() 永远为真。） 希尔伯特的野心：万能判定机希尔伯特在 1928 年提出这个挑战时，他的设想非常宏大。他想知道：是否存在一个算法（程序），当你输入任何一个数学命题（用逻辑符号写成），它都能在有限的时间内给你一个明确的答复： True 或 False 输入： 一段符合语法规则的“逻辑代码”（一阶逻辑符号系统）。 处理： 一个清楚明白的“验算程序”（算法）。 ...

离去 前段时间，耳机里随机切到大同的歌。恍惚间，我意识到他离开我们竟然快一年了。眼泪一瞬间决堤，我的思绪仿佛又回到了去年 3 月 1 日那个沉闷的下午。 大同是我最爱的歌手，他的歌陪伴了我很久。 爱爱爱 初二那年，第一次听到《爱爱爱》。我也不懂什么复杂的乐理，只觉得那种舒缓的旋律里，藏着大同对世界最纯粹的理解——“我爱故我在”。于是，我开始试着在他的歌里去感受爱、理解爱。 后来，偶然听到《枫叶做的风铃》，那是很温暖的一首歌。像是在秋日午后，空气中氤氲着阳光的味道，恋人牵手漫步在红枫林中，等风吹过，叶片沙沙作响，一切都好像漂浮在暖橙色上。透过作品，我能感受到大同灵魂深处的温柔和平和。 从 DT 到 Khalil 初中时，我几乎是同时知晓大同与陶喆的。那时年少，还是更向往 David Tao 音乐里的自由与洒脱，还有那些充满个性、桀骜不驯的“怪叫”（）。而大同的音乐偏向内敛，那时的我尚未有所感触。直到步入高中，我才真正沉下心来，开始认真倾听“颗粒哦”的音乐。 刚“入坑”时，我去了听出道专《Soulboy》。那是一张 R&B 与 Soul 韵味极浓的专辑。老实说，起...

first blog hello world** hello world **