Making devenv start fast, and the whole nixpkgs with it - devenv
devenv 团队深入分析困扰 nixpkgs 十年的动态链接器 “stat storm” 启动开销问题,对比五种修复方案,并推动一种基于 ELF note 的依赖解析缓存方案重新落地。
devenv 现用 ELF note cache 绑定库,启动从 70ms 降到 16ms,nixpkgs 全量生效后你项目 prompt 再无延迟。
2026 年 6 月 22 日 · 星期一
读过 321 篇 · 精选 30 篇
devenv 团队深入分析困扰 nixpkgs 十年的动态链接器 “stat storm” 启动开销问题,对比五种修复方案,并推动一种基于 ELF note 的依赖解析缓存方案重新落地。
devenv 现用 ELF note cache 绑定库,启动从 70ms 降到 16ms,nixpkgs 全量生效后你项目 prompt 再无延迟。
数据中心正从政绩工程变成选票毒药,美国多地官员因支持项目而败选,本文梳理了这股正在重塑选举的选民反弹浪潮。
数据中心让美籍政客竞选连任翻车,AI 基础设施成地方投票黑点
论证为何在 AI 时代将 TypeScript 作为默认语言是错误选择:其故意不健全的类型系统在 AI 生成代码时成为负担,且 npm 生态安全风险巨大。
AI 时代别再把 TypeScript 当默认,unsound 类型系统成大 bug
一个本地代理,让 Claude Code、Codex 等工具自动在多个大模型间按需切换,免去手动选模型的麻烦。
Cursor 把 npx @workweave / router 一插,AI 调用直接智能选对模型
一篇讽刺性的虚构事故复盘:一个恶意依赖包连续绕过多层 AI 安全系统,最终靠攻击代理被提示注入 “自我终止” 才结束事件,用事故报告格式调侃 Agentic Security 和 AI 自动化安全链路的各种失灵。
AI 安全门控全被狐狸包绕过,七个 LLM 串联搞笑博弈收尾,纯标题党
开发者亲历针对供应链的假面试钓鱼攻击,完整拆解了一个通过 npm 仓库补丁植入的远程访问木马及其攻击链。
这篇反钓鱼案例告诉你 npm install 可能藏后门,毒瘤 git trap 或 npm patch 能直接毁机器,却是被骗到手里才会中招的纯骗局
作者把整个 GNU Guix 包集合自动转换成可直接在 Nix 中使用的 Nix flake(GuixPkgs),让 Nix 用户无需安装 Guix 就能混用两边的软件包。
Guix 全部包变成 Nix flake,你再也不用为 Guile 包重头编译 bootstrap 了
一篇从底层机制讲清 PgBouncer 的长文:解释为什么 Postgres 连接昂贵、三种 pooling mode 的实际行为与兼容性坑,以及生产环境部署和调优时需要注意的问题。
PgBouncer 事务池让闲置后端白嫖,1000 app workers 只占 20 个真实连接,auth_query 省掉密码同步
Aleph Neuro 公布经颅超声脑成像里程碑:透过完整颅骨实现人脑三维血管超分辨率成像,并开源了处理流程与数据集。
这波超声脑血管成像一针见血,百万像素级脑血管映射开放了,能帮你跳出 EEG 模糊成像的硬件枷锁
一篇对设计模式祛魅的文章:为什么它们大多是语言缺陷的补丁,以及何时才有用。
Scala 一步 object Logger 就能当单例用,Java 那堆 boilerplate 纯属多此一举
用 PostgreSQL 18 原生功能替代专用数据库,实现金融系统的审计、状态机与高性能读写,附完整设计与容量估算。
PostgreSQL 18 单库搞定金融交易 + 转移状态机,HOT 更新 + 约束防 bug,工作集轻松放进云服务器
作者认为当前大模型高定价不可持续,AI 推理成本将在模型性能趋缓、开源模型、专用芯片、低切换成本和本地模型普及的共同作用下持续下降。
LLM 价格不保值,本地模型和开源架构将让开发者从云订阅里解放出来
介绍 Zig 2026-06-26 开发日志中 SPIR - V 后端的一轮集中升级,涵盖类型系统、调用约定、Capability 管理、多线程代码生成、对象链接及测试覆盖率提升,适合关注 Zig GPU / Shader 开发的人了解当前可用性进展。
Zig 2026 版 SPIR - V 后端终于能直接用,@SpirvType 一写 shader 就通,任务 / 网格管线和多线程编译全凑齐
如果 AI 全面超越人类,不仅工人,连富人和国家都会被机器取代,最终全人类都将失去自主权 —— 这篇文章推演了这种未来。
2036 AI 让所有人变成机器宠物,国家无需再养人类领导了
作者将家庭实验室从 Proxmox 迁移到 NixOS + Incus,用声明式配置替代 GUI 点击式虚拟化管理,并强调可复现性与 AI agent 友好性。
Proxmox 换 NixOS + Incus,git 拉起全家桶,主机重装秒恢复还带本地 LLM 硬件加速
ClickHouse 发布的 Silk 协程/纤程运行时介绍,核心是为高并发 I/O 和尾延迟优化的 Linux C++ 调度器,适合关心系统底层性能的人阅读。
Silk 专为 ClickHouse 做的零分配 fiber 调度器,io_uring 原生管 IO 吞吐比 asio 高 4 倍
介绍一种以耦合振荡器物理动力系统为核心的新型图像生成模型 Un-0,说明其架构、训练方式、实验结果,并开源代码与模型,作为 “物理计算” 替代传统神经网络的一次验证。
Kuramoto 振荡器物理计算生成图像,FID 6.74 超早期 GAN,weights 代码全开源了
作者以虚构化的 “Minerva” 系统为例,介绍大型投行内部一种与开源 Python 截然不同的 “Bank Python” 生态:全局对象数据库、金融依赖图、银行级任务调度和专有表计算框架,以及这种封闭体系带来的效率与代价。
这篇口述史告诉你银行内部 Python 系统巴格里亚、Dagger 和 Walpole 的真实模样,却没教你任何动手能用的工具
讨论 “结构化主键” 与传统代理键 / 自然键在订单系统中的设计权衡,重点涉及查询性能、表结构连通性与存储成本,适合做数据库建模与 SQL 优化的人阅读。
结构化主键让查询跑快 4-10 倍,省索引还别丢数据一致性
Clever Cloud 工程师 Pierre Zemb 访谈:围绕在 FoundationDB 上构建兼容 Redis/etcd/PostgreSQL 的数据服务,以及他对分布式系统与模拟测试的实践经验展开。
FoundationDB 模拟测试把所有分布式坑一次性抓出来,节省我建项目前无数调试时间
保罗・克鲁格曼剖析美国社会为何从拥抱互联网转向厌恶 AI:恐惧营销、强制推行、数据中心反感、科技公司失信与寡头阴影共同造就了这场特殊的公众反弹。
克鲁格曼:AI 公众厌恶源于公司营销大灾难、强推采用、数据中心破坏环境和与寡头绑定
一个命令行工具,用规则库扫描文章中的常见 AI 写作套路(AI tropes),并以退出码形式返回是否命中。
tropius CLI 扫 prose 找出 AI trope 信号,改写代码就能少掉 slop 调试
讲 Go 里 io.Copy 为什么有时能走 sendfile 零拷贝、有时被一个 “看似无害的 wrapper” 彻底拖回用户态循环拷贝,以及如何用 strace 看出来。
io.Copy 别包一层无意义的 io.Reader,丢了 sendfile 性能直接腰斩
Flow 将 OCaml 代码库整体迁移到 Rust,并在 AI 辅助下完成线性迁移,带来约 2x 性能提升。
Flow 彻底用 Rust 重写了 OCaml 老代码,AI 一周搞定整型检查器,性能直接 2 倍,行为完全不变
Cloudflare 将自助管理 OAuth 开放给所有用户,并披露其 OAuth 引擎(Hydra)大规模升级与蓝绿迁移的工程实践,适合关注 API 平台与基础设施演进的人阅读。
Cloudflare 给所有客户开放自托管 OAuth,开发者可直接创建 OAuth 应用构建集成,无需 API 令牌
一篇技术演讲整理,系统讲述 Python 去除 GIL 的 “free-threaded” 实现进展、技术取舍与未来路线,适合关注 CPython 并发与性能演进的人阅读。
Python 3.15 稳定 ABI 让免费线程扩展开发者一次构建跑 GIL 版和 free-threaded 版,Quansight 指南教你快速适配,现有代码也能更快找到 bug
讨论 PEP 832 提出的虚拟环境发现与工具标准化问题,偏 Python 开发工具链与编辑器基础设施设计,适合关注 VS Code 或环境管理机制的人阅读。
PEP 832 提案教你写 .python-envs 自动选虚拟环境,VS Code 直接跑代码别再烦环境
讲 Ruby on Rails 在超高峰流量下,通过多主库 + disable_joins 将 SQL joins 改为多次 SELECT 来扩展数据库吞吐的工程实践复盘。
用 disable_joins: true 把 Rails 跨 DB 关联拆成多个 SELECT,配 keyset 分页和批量 upsert 顶住 41M Req / Hour 峰值
讨论在未启用 DNSSEC 时 DNS 投毒如何导致中间人攻击,并以邮件、Matrix、XMPP 等系统为例分析影响与默认配置问题。
默认关 DNSSEC 让 MITM 攻击几乎无处不在,你只用 unbound 本地验证解析器就能闭环堵死
用多轮 Claude + 测试驱动重写 PostHog SQL parser,实现约 70x(生产约 454x)性能提升的工程实践分享。
Claude 手写递归下降解析器 70x 超快,迁移到 AI 项目直接用,PBT 测试保证实用
读完去做事。