zlib
PulseAugur coverage of zlib — every cluster mentioning zlib across labs, papers, and developer communities, ranked by signal.
-
AI 框架 ARQ 精炼 CodeQL 查询以检测 C/C++ 漏洞
研究人员开发了 ARQ，一个利用大型语言模型 (LLM) 自动精炼 CodeQL 查询以检测 C/C++ 程序中漏洞的新框架。这种代理方法利用合成程序的执行基础证据来识别和纠正现有查询中的假阳性和假阴性。ARQ 不需要标记数据集或提交历史，在真阳性检测方面取得了显著改进，最高可达 119.8%，同时保持至少 98.0% 的精确率。精炼后的查询还成功解决了 GitHub 上长期存在的问题，并发现了 libpng 和 zlib 等真实世界…
-
Simon Willison 制作 SQLite 文本历史记录压缩原型
Simon Willison 提出了一种在 SQLite 数据库中存储修订历史记录的新颖方法，通过压缩所有先前文本版本的 JSON 数组来实现。这种方法利用 zlib 或 Zstandard 等压缩算法来显著减少存储空间，一个原型展示了将文档的 1,000 次修订从 20.4 MB 压缩到 80.3 KB。为了进一步优化性能，有人建议将历史记录分成多个行，每行包含最多 128 次修订或 3MB 的未压缩 JSON，以避免在每次编辑时解…
-
玩家使用自定义格式将 80TB Minecraft 服务器地图压缩至 15TB · 已追踪 2 个来源
一群 Minecraft 玩家成功地映射并压缩了该游戏最古老的无政府服务器 2b2t 的 80TB 数据，并将其压缩至 15TB 下载。这项名为 2b2tplace 的纪念性保存工作耗时 22 个月，动用了 28 个机器人账户来映射所有三个 Minecraft 维度中的一百万多个方块。为了实现这一目标，该团队开发了一种名为 .zvcr 的自定义压缩格式，该格式利用 Zstandard 算法，与标准的 Minecraft 格式相比，压缩率更高。
-
LLaMA 用户讨论模型权重的 zlib 压缩
一位 r/LocalLLaMA 上的用户正在询问，在带宽是限制因素的情况下，是否可以对大型语言模型权重使用压缩技术，例如 zlib。用户认为，即使权重不完全相同，在 3-5% 的范围内进行微小调整也可以提高可压缩性。他们相信，无论权重是否完全匹配，熵编码都应该有效。