纯函数式逼近 C 之巅:Roc 版 DEFLATE 已逼近 libdeflate 性能
johnlindquist · x · 2026-10-23
Roc 语言作者 Richard Feldman 撰文跟进"Lean 比 Rust 快"一文:Lean 4 写的 lean-zip 压缩库已胜过下载量超十亿的 minizoxide(最快档快 15%、输出小 8.8%),但远不及 C 写的、经 SIMD 深度调优的 libdeflate。于是他花了大量时间优化 Niclas Ahden 编写的 roc-deflate 包(作者将其用于付费生产环境),想看看这门尚未发布 0.1.0、生态几乎未经优化的年轻函数式语言能逼近 C 到什么程度。原文详述了性能优化的过程与结果。
「研究」频道最新
- 老方法翻新:ICA 解释 LLM 激活可比肩 SAE,内存省 7–43 倍 — patrickmineault · 2026-10-23
- 数学证明「蜂群心智」:盲目模仿等价于单智能体多臂老虎机 RL — mistlab · 2026-10-23
- MolmoBOT 用 170 万条仿真轨迹实现零真实数据机器人抓放 — chris_j_paxton · 2026-10-23
- 东北大学团队发布数字氢平台:汇集 4,000 余篇论文、3 万条数据 — BenBlaiszik · 2026-10-23
- Ropedia 发布 DONIC:单一策略操控双手机器人,免微调泛化新物体 — liuziwei7 · 2026-10-23
- 腾讯开源 WeVisOne-VL:一个模型统一检测分割抠图 OCR — _akhaliq · 2026-10-23