X.org安全公告：X.Org X服务器及Xwayland存在多个安全问题 -- X.org Security Advisory: multiple security issues X.Org X server and Xwayland
X.Org发布安全公告，指出X.Org X服务器21.1.18之前版本和Xwayland 24.1.8之前版本存在多个安全问题，建议用户及时升级修复漏洞。
Mock – API创建与测试工具：示例 -- Mock – An API creation and testing utility: Examples
这篇文章介绍了如何使用mock工具模拟API延迟响应。可以通过全局参数为所有端点设置延迟，或使用中间件针对特定端点设置延迟（如让"some/endpoint"延迟2秒）。还展示了如何创建支持多语言的API代理服务。
反网络犯罪法正被武器化以压制新闻自由 -- Anti-cybercrime laws are being weaponized to repress journalism
多国政府以打击网络犯罪为名，通过模糊的法律条款压制新闻自由。尼日利亚记者奥朱库因报道总统办公室腐败被警方秘密拘押，最终被控违反2015年《网络犯罪法》。该法第24条关于"虚假信息"的模糊规定，正成为当局打压网络新闻调查报道的常用工具。
最终你使用Git二分法 -- At the end you use Git bisect
文章讲述了算法知识在实际工作中的应用，以git bisect命令为例说明二分查找如何帮助快速定位代码库中的问题提交。作者提到工作中使用monorepo时，面对大量提交记录，通过git bisect的二分查找功能高效找到了导致测试失败的配置变更提交，这类似于LeetCode上的"第一个错误版本"算法题。
韩国新国家法将大型停车场改造为太阳能发电场 -- New South Korean national law will turn large parking lots into solar farms
韩国本月起要求车位超过80个的停车场必须安装太阳能顶棚，包括现有停车场。此举旨在推广可再生能源、创造就业，同时为车辆遮阳挡雨，延长内饰寿命，还能为电动车充电。
为何不使用依赖类型？ -- Why don't you use dependent types?
文章作者解释了自己不使用依赖类型的原因，指出证明对象在类型理论中虽常见但非必要，且会占用大量空间。他提到50年前Robin Milner提出的LCF架构通过实现语言进行类型检查，确保证明步骤合法。作者表示自己曾多年使用依赖类型，并以1977年与de Bruijn的交流经历为例。
LM8560，80年代的永恒芯片 -- LM8560, the eternal chip from the 1980 years
LM8560是上世纪80年代一款经典数字时钟芯片，至今仍被广泛使用。文章分析了其低成本、工作原理、常见问题及优缺点，如恼人的蜂鸣声，还介绍了隐藏功能和制作石英钟的方法。
为何“人人终有一死”完全误解了通用人工智能 -- Why "everyone dies" gets AGI all wrong
文章指出Eliezer Yudkowsky在AGI发展问题上存在矛盾立场：一方面警告AGI的危险性并呼吁放缓研发、重视伦理，另一方面又积极开发编程语言试图构建AGI。这种摇摆态度持续数十年，反映出他在"只有我能构建安全AGI"和"任何人开发AGI都会毁灭人类"两种极端观点间的反复。
《HyperRogue》——一款非欧几里得式的地牢探险游戏 -- HyperRogue – A non-Euclidean roguelike
HyperRogue是一款采用非欧几何空间的独特Roguelike游戏，玩家在扭曲的几何世界中冒险，收集宝藏并躲避怪物。游戏包含50多个特色世界，目标是寻找传说中的Yendor宝珠。当前版本12.0，支持多平台下载和在线游玩。
通义深度研究——开源30B混合专家模型，媲美OpenAI深度研究 -- Tongyi DeepResearch – open-source 30B MoE Model that rivals OpenAI DeepResearch
通义DeepResearch是首个性能媲美OpenAI DeepResearch的全开源网络智能体，在多项基准测试中表现优异，包括学术推理、复杂信息检索等任务。该项目不仅开源了先进模型，还分享了完整的训练方法，涵盖从预训练到微调的全流程创新数据合成方案。