2026 年 7 月 19 日 · 星期日
读过 37 篇 · 精选 22 篇
一篇回顾 1980 年代 Linn 公司 Rekursiv 计算机研发与沉没故事的文章，分析其硬件对象安全、硅中 GC、单级持久存储等设计在今日 Arm CHERI 和领域特定架构中的重现。
Rekursiv 当年扔进运河的硬件对象安全、持久化和领域特定硅片设计，如今在 Arm CHERI 和 TPU 上复活，商品 CPU 曲线已死
用本地 HTML 和 SFTP 实现 100% 自主网站，每天 0.01 美元成本，适合追求内容完全控制和可移植性的人
用本地 HTML 文件加 SFTP 上传，每天 0.01 美元就能完全独立托管网站
用 plotter 与 pantser 框架对比 AI 在软件开发中的委托式 vs 辅助式使用，分析其对理解构建的影响，适合关心 AI 采用差异与工作方式匹配的人
AI 写代码前先问自己是 plotting 还是 pantsing，否则 delegate 会直接抢走你对问题的理解
文章剖析 AI 狂热如何导致企业决策失灵、项目失败及强制信仰，适合想了解 AI 采用现实困境的人
AI 狂热正让全球决策失灵，大公司 AI 项目实际失败率极高却人人宣称成功
终端投屏工具 Castor 从网页提取真实视频流实时转码投到 DLNA 电视，支持 TMDB 浏览和字幕烧录，适合无 Chromecast / AirPlay 的场景。
Castor 终端命令把网页视频全质量投到 DLNA 电视，提取流加转码一步到位
KDB / Q 字典与表格原生数据类型详解，涵盖创建、索引、操作、列字典及翻转成表等核心用法
KDB / Q 原生字典表甩 Java HashMap 几条街，列式向量操作就是快
Linux 调度器实验因固定运行时长基准误判性能，揭示指标选择如何掩盖真实结果，适合关心性能分析与实验方法的人
默认 Linux 调度器跨 socket 负载均衡会拖累多线程共享内存程序性能 numactl 绑单 socket 可提速 3 倍
ggml 驱动的转录库，支持 60+ ASR 模型、多种 GPU 加速及四种语言绑定，v0.1 版本，作者详述验证与跨平台动机。
transcribe.cpp 用 ggml 搞定 60+ 模型 ASR 加速，数值验证加多平台绑定，直接可嵌入你的本地应用替换 whisper.cpp
投石问路式提案：用极高学习率与过参数化 NN 训练触发 catapulting / grokking 以实现类人泛化，解释人工与生物智能的诸多异常
高学习率过参数化训练能 catapult 到类人泛化盆地，解释样本效率与对抗样本等 AI 异常
对比 MySQL 和 PostgreSQL 可重复读隔离级别是否实际提供快照隔离语义，通过写倾斜和丢失更新实验展示两者差异。
MySQL RR 实际允许 lost updates，实验告诉你 SELECT FOR UPDATE 才是并发安全的正确姿势
OpenSSL 发现 11 字节 DoS 漏洞，攻击者可通过恶意 TLS 头导致服务器预分配内存并引发永久碎片化，影响 NGINX 等多种软件，已在 4.0.1 等版本修复。
11 字节就能让 OpenSSL 内存碎片化 DoS，升级 3.0.21+ 避免永久 bloated
一本讲述 XZ Utils 后门发现过程的叙事非虚构书，聚焦开源小组件的志愿维护困境，适合对开源基础设施和安全事件感兴趣的普通读者。
XZ 后门事件暴露开源小组件靠单个志愿者硬撑的结构性风险
C++ 文章剖析 enum bitflags 的常见做法及其缺陷，提出改进 bitset 作为更好替代，适合关心类型安全与 API 设计的开发者
enum bitflags 把命名和表示搅在一起，bitset 才是把它们分开的正确做法
OpenMesh add_face 函数如何通过边界循环修复与 next 指针计算构建半边拓扑的内部细节，适合想理解网格数据结构底层实现的人。
加新面会打破 half-edge 边界循环，旋转顶点出边修 next 指针，OpenMesh 用旧边界缓存 splice 更高效
Kimi K3 与 Claude 在编码任务上质量相当、token 用量接近，但价格和订阅方案差距显著，文章对比中美 AI 模型限制与开放模型的实际影响。
Kimi K3 编码质量追平 Claude，价格却只有三分之一，美国政策把用户锁在劣势里
探讨软件架构的认知压缩与人文目的，适合思考架构本质及 AI 局限的开发者阅读
架构不只是经济工具，认知压缩和人文关怀才是真正杠杆，AI 目前还搞不定人类需求的杂乱
质疑 LLM 编码助手靠人工审查就能解决错误并提升生产力的观点，基于代码审查实证研究的限制展开论证。
审 LLM 代码的人更自信却漏更多缺陷，审查不是解决 AI 编码问题的办法
详细步骤指南：用闲置 Mac 搭建 Claude Code 可完全控制的隔离环境，支持 SSH 远程和手机操作。
spare Mac 隔离 Claude Code 控制机，SSH 无密 sudo + tmux computer use + 手机远程全配齐
Elixir 官网新设计下展示 Nx 等机器学习工具，适合关注 Elixir ML 生态的人
Elixir 用 Nx 带来 GPU 张量加速 Livebook 支持交互模型探索部署
Fable 5 在 NP-hard 光纤网络优化问题上优于 GPT-5.6 Sol，/goal 模式多数单次胜出但平均表现变差，并对比两种实现的差异。
Fable 5 碾压 GPT-5.6 Sol，/goal 多数跑赢却拉低平均，改搜索路径非万能加力
Rust 全栈框架 Topcoat，支持服务器渲染、$(...) 响应式表达式、view! 模板和模块路由，适合想用单一语言做全栈开发的人
Topcoat 用 Rust 服务器渲染组件自动转 JS 跑浏览器，无需 WASM 或客户端构建步骤
追踪 OpenAI Codex 使用限额重置的 35 次记录与统计，含公告日志和日历视图，适合关注配额重置规律的用户。
Codex 平均每 8.9 天重置一次限额，记录 OpenAI 应对数百万用户增长的多次操作
读完去做事。