DATE ARCHIVE
2026-10-13
当日发布的文章 2026-10-13.
Withings 对 Apple Health 同步功能实施订阅付费墙
Withings 已推出一项新政策：在 2026 年 10 月 13 日之后创建的新账户必须支付 Withings+ 订阅费用，才能与 Apple Health 和 Google Health Connect 自动同步数据。
理解 Haskell 的 Kind 系统和高阶类型
Haskell 的 Kind 系统提供了一种对类型层面的构造进行分类的方法，从而实现了“高阶类型”（HKTs）。这允许开发者不仅抽象具体的数值，还能抽象如 'Maybe' 或 'Either' 等类型构造器。
罗丹博物馆3D扫描裁决中的“背叛”
法国最高行政法院推翻了一项长达八年的信息自由胜诉判决，该判决原本涉及罗丹雕塑的公开访问3D扫描。法院裁定，点云文件属于博物馆不可分割的收藏品——而非公共行政文件——尽管该法院早前曾承认这些文件可用，且法国自身的信息自由委员会也支持公开披露。
支持原生操作系统处理 Markdown 文件的理由
作者 Joshua Morris 认为，Markdown 作为一种无处不在且人类可读的纯文本格式，应当被现代操作系统视为与 PDF 或照片类似的“一等公民”文档类型，以确保跨平台互操作性和数字所有权。
复古游戏中的软件渲染美学面貌
虽然现代游戏依赖硬件加速，但一些爱好者更青睐软件渲染那种“粗糙”的外观——即由 CPU 计算每一个像素——因为它保留了 1990 年代原始作品中锐利、像素完美的纹理和独特的色彩断层现象。
研究发现狗也拥有人类的“Bouba/Kiki”声音与形状关联
一项新研究表明，家犬可能拥有通用的声音到形状的认知映射，具体表现为将圆润的声音与圆润的形状联系起来，将尖锐的声音与尖锐的形状联系起来。
-oOdUn61bDRSykk4H951SoDOHzqoOe1.png)
Liquid AI 发布 LFM2.5-24B-A2B 用于高速端侧智能体
Liquid AI 推出了 LFM2.5-24B-A2B，这是一个专为快速、私密的智能体工作流设计的 240 亿参数混合专家（MoE）模型。通过每个 token 仅利用 20 亿个活跃参数，该模型在消费级硬件上实现了高速推理，同时在工具调用和指令遵循基准测试中保持了极具竞争力的性能。
对理性主义博客冗长风格的批判面
Alex Wennerberg 认为，理性主义社区中的许多博客文章往往优先考虑极度的冗长，而非智慧和核心假设的检验，经常用大量的文字来替代真正的彻底性。
Astral 将 uv 与 ty 集成以构建统一的 Python 工具链
Astral 推出了其包管理器 uv 与类型检查器 ty 之间的实验性集成。此次更新实现了对 PEP 723 脚本的一流支持，并引入了统一的 'uv check' 命令，旨在简化环境管理和类型检查流程。