最终你使用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的全开源网络智能体，在多项基准测试中表现优异，包括学术推理、复杂信息检索等任务。该项目不仅开源了先进模型，还分享了完整的训练方法，涵盖从预训练到微调的全流程创新数据合成方案。
URL是状态容器 -- URLs are state containers
文章通过作者使用PrismJS时发现URL能完整保存配置状态的经历，揭示了URL不仅是网页地址，还能存储状态、传递意图，成为无需数据库的轻量级状态管理方案。这一发现让作者反思前端开发者常忽视URL的这一强大功能。
djb关于使用Fil-C的笔记（2025） -- Notes by djb on using Fil-C (2025)
作者对新型内存安全的C/C++编译器Fil-C的兼容性印象深刻，许多库和应用无需修改即可运行。他分享了使用Fil-C的笔记，旨在将管理的机器切换到Fil-C编译的代码以增强安全性。测试环境是一台配备AMD Ryzen 5 7640HS的迷你PC，运行Debian 13系统。此外，作者还提供了帮助审计Fil-C与上游源码差异的脚本和安装脚本。
反向传播是一种有漏洞的抽象（2016） -- Backpropagation is a leaky abstraction (2016)
文章强调理解反向传播算法的重要性，指出它是深度学习的基础，能帮助开发者更好地调试神经网络、优化模型性能，而不仅仅是将其视为黑箱工具。作者认为掌握这一核心算法对深度学习从业者至关重要。