来自 Others 的文章
BasicSync 是一款简单的 Android 应用，将 Syncthing 作为后台服务运行，并提供网络/电池条件控制以及外部存储支持。
利用领域共现数据和PCA/t-SNE对Twitter社区结构进行分析，揭示了紧密的右翼和松散的左翼集群，对推荐系统和随机游走混合时间具有启示意义。
PlanetScale 的一篇工程博客分析了由长事务和高并发导致的 MySQL 宕机，解释了并行性如何降低吞吐量，以及 Vitess 的事务池如何处理（并放大）了该问题。
LymphoSAT，一个由LLM辅助生成的126个专用求解器组成的集成系统，赢得了SAT竞赛2026，展示了领域特定超专业化作为SAT求解的新方法。
一位DevOps工程师讲述了采访ngrok基础设施团队的经历，以比较其他团队如何处理技术分歧，从而促使他重新审视自己的工作关系和职业生涯。
RPCS3 的 ARM 移植版现在运行速度快了 60%，功耗降低了 25%，这是因为修复了一个忙等待定时器 bug、用 ARM ISB 替换了 x86 pause，并重写了 LLVM 代码生成。这些改进源于由一台廉价 Android 掌上测试设备推动的低层 ARM 优化。
一位软件工程师反思科学家往往缺乏软件工程技能，以优化天体物理学模拟后处理工具为例，倡导为科学家开设一门类似“Missing Semester”的课程。
Alcides Fonseca 批评了 GitHub 的拉取请求模型和 git 的局限性，特别是针对 AI 代理的局限性，并提出了一种围绕隔离和代理友好工作流构建的源码控制新模型。
Carson Gross 在演讲中讨论了 AI 对大学计算机科学教育的影响，认为在 AI 时代仍需教学生写代码和读代码，同时指出 AI 带来了评估危机和教学变革的机会。
本文解释了指定解析器发现（DDR）协议，该协议让设备能够自动发现加密DNS端点。它描述了查询如何工作、解析器如何响应，以及从普通DNS进行机会性升级的局限性。
An in-depth technical article explaining the ABD algorithm, quorum replication, and why ABD does not solve consensus, with runnable Python examples.
一位研究者的博客文章描述了他如何将约束模型转化为可玩的益智游戏，基于他关于将数独作为约束问题进行扩展的论文。文章分享了MiniZinc模型、一个包含434,201个数独实例的仓库，以及九个益智游戏的可玩版本。
Cloudflare 宣布推出 Kitesurf，这是一款完全运行在 Cloudflare Workers 的 V8 隔离环境中的 Agent 优先浏览器，旨在比 Chromium 更高效地处理 AI Agent 任务，如截图和 HTML 提取。它已在 Browser Run 中免费提供 Beta 版。
The article argues that Nix evaluation is fundamentally a scheduling problem and introduces Evix, a library-first async Nix evaluation engine designed for persistent, structured evaluation results.
一篇讲解类文章，介绍 shell 事件指示符（历史扩展）如 !! 和 !$，让你在 bash、zsh 和其他 shell 中偷懒地复用和修改之前的命令。
一位用户分享了他们在Windows 11上运行1998年CD-ROM世界地图集的经验，展示了复古软件在现代系统上的兼容性。
Off-by-1 Labs（1Password）的研究发现，对于复杂且最近披露的漏洞，LLM生成的补丁有53.9%的概率存在缺陷，通常无法解决问题或引入新的漏洞。该研究强调AI生成的补丁需要人工审查，并发布了相关工具、数据集和论文。
The article explores Nix's laziness, showing how attribute paths can lazily generate infinite trees, and turns this into a fun hack where each button press in Super Mario Bros. 3 is a separate Nix derivation with the store as savestate history.
celld is a self-hosted, distributed server that runs Cloudflare Workers and Durable Objects code unchanged, using your own S3 bucket for storage and coordination. It claims significantly lower costs and sub-millisecond warm latencies at scale, with data stored in SQLite/LTX format.