Synthesis is harder than analysis
微积分导数易求、积分难求,作者从这个例子引出 SRE 合成问题更难,强调理解组件交互对解决复杂故障的重要性
合成比分析难得多,AI 项目里把多块拼成整系统时,局部分析容易全局合成难
2026 年 7 月 4 日 · 星期六
读过 96 篇 · 精选 30 篇
微积分导数易求、积分难求,作者从这个例子引出 SRE 合成问题更难,强调理解组件交互对解决复杂故障的重要性
合成比分析难得多,AI 项目里把多块拼成整系统时,局部分析容易全局合成难
Godot 项目宣布全面禁止 AI 自动生成代码,规定新贡献者必须经批准并仅允许 AI 辅助代码补全等简单任务,避免 'vibe coder' 贡献
Godot 限制 AI 生成实质代码,只准 menial 辅助,彻底堵住 vibe coder 垃圾 PR
会议室空气中 2,143 ppm CO2 会导致决策能力显著下降,作者分享实测与 Lawrence Berkeley 实验室研究,建议用便携 CO2 监测仪检测并通风
CO2 升到 2143ppm 决策质量掉,装个便宜监测器开窗救会
OpenClaw 终于上线 iPhone 原生 App,允许用手机做本地 AI 助手节点,支持聊天语音审批分享设备权限,值得一看
iOS App Store 免费下载 OpenClaw 本地 AI 应用,二维码配私有 Gateway 就能用上聊天语音审批分享全功能
用 LLM AI 码生成 3 个游戏原型失败后,用笔写代码手绘稿第四个原型成功分享经验,提醒 indie 开发者要 “掌握控制” 别让 AI 把创意变成平均值。
手写笔记加铅笔画 mockup 原型,创意决策全控才不被 LLM 平均答案稀释
4 点真心话,教你学新技能的现实心态与建议,值得点进去看看
每天 30-45 分钟练新技能,肌肉和大脑先累着别慌,中间会卡在平庸期但能真正上手
Suffix BWT vs cyclic shift BWT 的性能对比与实现方法解析,适合数据压缩爱好者判断是否值得阅读完整细节。
把字符串翻倍后用 SA - IS 就能算出精确的循环移位 BWT,编码快又不失精度
Soatok 非正式威胁模型指南:从 0 开始聊啥是威胁模型、该问什么问题,还给出了完整做法和 Matrix / 个人项目对比
威胁模型只答四问就够,画图确认资产关系后直接杀掉密码栈
OpenSSL 错误处理被描述成「疫情」,呼吁检查 ERR_clear_error () 等反模式,建议用 ERR_set_mark 标记错误上下文,值得仔细读原文了解具体问题和改进建议。
OpenSSL 错误堆栈乱象:丢弃不安全的多余 MD5 错误,改用 ERR_set_mark 保护 TLS 操作
Bending Spoons 创始人谈 18 亿美元 IPO 后:成功源于最大化降低运气成分,揭秘 AI 加速增长、人才与文化闭环之道
Bending Spoons 创始人通过数据实验减少运气成分,从 Evertale 教训中发展运营策略获胜
Magit 4.6 发布!新增 Blob 访问改进、提交消息自动补全、Git 钩子 Elisp 桥接及实验性 diff 语法高亮,堪称 Emacs Git 神器新版本,值得深入了解
Magit 4.6 发布:blob-buffer 用 oid 直接访问,还能 g 快速 revert
作者讲述自己通过单服务器、UniFi 网络及每周自动更新,让 homelab 几乎零维护,每月仅需 15 分钟,适合忙碌人群想简化私人服务器的人
15 分钟 / 月维护的自动化 homelab,单箱 UniFi 零干预让 AI 工程项目稳如常驻
Carpenter ants 对受伤同伴进行截肢护疗,研究指出此任务主要由室内转为户外职位的 worker ants 完成
工蚁过渡期因空间重叠主导伤腿切除护理,双倍存活率,自动跟踪系统揭真实机制
17 世纪阿姆斯特丹因火患频发、发明水泵与烟灯消防系统,挽救商业损失、诞生最早的现代消防文化
Van der Heyden 兄弟靠皮革软管 + 压力气室火引擎,把 Amsterdam 1672 大火只靠老引擎扑不灭,改成持续高压,单台引擎就保住城区
大学研究发现巨型热带树木水泵系统无需额外适应,旱季无高度限制生长,值得点进读科学期刊原论文细节
超高大热带树木不用额外努力就能把水泵到最高分枝,抗旱能力不弱于矮树
开源 WebHID + OpenCV.js Steam 手柄磁吸充电自动导航项目,适合想用浏览器搭上手柄自动充的开发者
Steam Controller 用 WebHID 光流导航自动磁吸,浏览器端就能一键搞定
Brick 智能路由网关直接路由多模型提示,针对 Claude Code 和 Codex 等编码工具提供 “按需升级” 机制,可节省硬任务 tokens,适合有多个 LLM 池或想控成本的用户
Brick 放 Claude Code 前就能按能力自动切换 haiku 省钱,硬提示直升 opus
收藏家分享 IBM 老键盘、ConcertMaster 与 Moonlander 等经典键盘的故事,附带 PS / 1 复刻与 Ollama 现场体验,适合复古键盘爱好者与类型写作者参考。
Ollama HQ 键盘狂热者推荐的 Moonlander 配 Platform Tilt kit,结合 Ergodox EZ 10 年稳定使用经验,解决了长时间打字 RSI,可迁移到独立 AI 项目中规避腕部负担
EVE Online 的 Carbon 引擎正式开源,Fenris Creations 详细解释开源原因、治理和安全措施
Carbon engine 完整开源 GitHub,MIT 许可自由商用搭自己的 MMO 原型
开发者关系专栏作者告别行业:公开分享过去 5 年 burnout 原因与 AI 改变教学的痛点,决定下线离职
白 P 放弃 DevRel 走 Staff Engineer 路线,因为 AI 让社区散了、课程卖不出去,离线建网站和花园才快乐
AI inference 到底值不值得投?作者通过数学推算和开源模型实例给出粗略成本证据,称利润率 70%-80% 可信,但没给结论性建议,适合对 AI 商业模式感兴趣的技术 / 创业圈子阅读
推理服务成本算下来才 1 美元百万 token,OpenAI 这种推理要补贴训练才亏得起
Show HN 项目:ContextCodeCache (ccc) 在 Rust 中实现的源码缓存工具,适合 AI Agent 给项目提供紧凑索引
ccc 工具扫描项目生成 .ccc 缓存目录,给 AI 提供紧凑新鲜索引
SearXNG 是免费不追踪用户隐私的元搜索引擎,附带安装配置指南和社区链接,适合追求隐私保护的开发者或普通用户参考。
SearXNG 免费元搜索引擎无需追踪用户,最新代码 17 小时前维护
Kagi Assistant 向全用户开放并上线翻译新 UI,附带一堆搜索修复与 AI 模型更新,适合关注 Kagi 实时更新的用户
Kagi Assistant 全订阅开放,$25 月费给你 $25 令牌额度再加 20% margin,随时续费不卡手
Oak:Git for Agents,一篇关于专为 AI 代理编码工作流设计的版本控制系统文章,核心介绍其与 Git 类似但针对高分支量、大文件和并行会话优化的存储与分支模型,适合开发者了解是否可将 AI 代理作为版本控制的替代方案。
Oak 为 AI 编码代理量身打造的 git 替代,mount 懒加载、分支隔离、快照零税
FreeBSD 内存报告 Bug:fastfetch 82% 被用、btop 仅 7%—— 追源码、ARC 缓存、修复 PR
btop 内存报告 7% 变成 82% 用了 ARC 缓存减法,免费帮 FreeBSD 精确测 RAM
HammerDB v6.0 新增响应时间指标与百分位报告,支持盒形图和水库抽样,能在高负载下检测延迟是否超出毫秒级,适用于追求基准测试完整性的企业数据库场景
HammerDB v6.0 加了响应时间百分位数与箱型图,让基准测试不再只看吞吐,还能一眼看出延迟分布与 overload 隐患
PieFed v1.7 重磅更新,新增用户关注(订阅 feed)、Mastodon+ 支持、Markdown 预览、RSS 等功能,适合已用 1.6.x 的实例管理员和开发者参考。
PieFed v1.7 直接加 follow 用户,Subscribed feed 实时跟帖内容
Blackwell 架构下 FlashAttention-4 的算法内核协同设计,覆盖软硬件协同优化、软件指数近似、TMEM 存储及 2 - CTA 调度,报告 B200 上 1605 TFLOPs/s 性能及对 cuDNN/Trino 的加速比。
FlashAttention-4 靠 pipelining 叠加 MMA 和 softmax,在 B200 上跑出 71% 利用率,1.3 倍 cuDNN 9.13
一篇分析 AI 神化‘单人 CEO’神话的文章,指出 AI 只能放大判断力而非取代责任,适合对创业与 AI 应用深度思考的人
AI 公司幻想里的 CEO 加机器能搞定一切?文章说只有有判断力的人才能维护公司
读完去做事。