寓言将reMarkable变成了《哈利·波特》中汤姆·里德尔的日记 -- Fable turned reMarkable into Tom Riddle's diary from Harry Potter
该项目是一个为reMarkable Paper Pro设计的交互式日记应用，用户用笔书写后，文字会消失，页面会以手写体自动回复，模拟汤姆·里德尔的魔法日记体验。
学习编程仍然值得 -- Learning to code is still worthwhile
尽管“学编程”不再是硅谷热词，也无法保证高薪，但学习编程仍有教育价值。作者通过自身经历说明，编程能激发对数学等学科的热爱，其意义在于探索式学习而非单纯职业培训。
GLM 5.2与即将到来的AI利润崩塌 -- GLM 5.2 and the coming AI margin collapse
文章指出，AI行业真正的成本压力不在训练阶段，而在推理环节。训练是固定前期投入，而推理成本随需求增长，将导致利润率压缩。作者认为市场此前对DeepSeek模型的反应是误读，真正的“DeepSeek时刻”即将到来。
在Atari Jaguar上运行Linux -- Linux on the Atari Jaguar
文章介绍了在1993年发售的商业失败主机Atari Jaguar上运行Linux的可能性，指出Linux内核仍保留对68000系列处理器的支持，而该主机使用的正是这一架构的处理器。
Python 3.14 编译为 Metal——无需解释器 -- Python 3.14 compiled to metal – no interpreter
Pon是一个用Rust编写的Python 3.14 JIT和AoT原生编译器及运行时，没有解释器和字节码，通过ruff解析器、Cranelift后端和Green Tea垃圾回收器实现，目标是成为Python界的bun/v8。
OfficeCLI：面向AI代理的办公套件，用于读取和编辑Microsoft Office文件 -- OfficeCLI: Office suite for AI agents to read and edit Microsoft Office files
OfficeCLI是全球首个专为AI代理设计的Office套件，支持通过一行代码让AI完全操控Word、Excel和PowerPoint文件。它开源、单文件、无需安装Office，内置HTML渲染引擎可将文档转为HTML或PNG，实现高保真渲染与视觉反馈闭环。
每百万Token的价格毫无意义 -- Price per 1M tokens is meaningless
仅凭每百万token的价格比较AI模型成本是误导性的，因为不同实验室的tokenizer差异巨大，同一文本在不同模型中的token数量可能相差30%以上，且token效率存在极端差异，导致实际成本无法直接对比。
Kani：Rust模型检查器 -- Kani: A Model Checker for Rust
该论文介绍了Kani，一个针对Rust代码的模型检查器。Rust的所有权类型系统能防止安全代码中的内存错误，但无法保证不安全操作的正确性、功能正确性及运行时错误缺失。Kani通过模型检查填补了这一空白。
CoMaps – 自由开源离线地图 -- CoMaps – FOSS Offline Maps
CoMaps是一款注重隐私的离线导航应用，支持徒步、骑行和驾车。它无需移动数据，不收集用户信息，省电且免费。由社区基于OpenStreetMap和开源项目共同构建，用户可参与贡献。
语言模型中的全局工作空间 -- A global workspace in language models
研究发现，现代语言模型（如Claude）内部存在类似人类意识可及性的“全局工作空间”，即一组特殊神经模式（J-space），它们与特定词汇关联，在模型处理中扮演独特角色，区别于其他无意识处理过程。