millsage：将双手满载的幸福，献给你。
BanG Dream! Our Notes上线后，除三支现实中活动的乐队外，还为我们带来了两支用于扩展世界观的“虚拟乐队”和它们的故事。其中，millsage的剧情尤其引起了玩家和动画观众的兴趣。
在别人的文字里，遇见自己的念头。
独立书写 · 自由阅读最新念头
按发表时间排列二六十月雜錄
01 今日難「不應焦慮浪費時間；焦慮浪費時間，焦慮着便浪費一生」與「生命有限，而還有許多要作的事情」間的張力，而後忽悟宋儒何以重視「天命之謂性」。而一念及「天命」，此張力便解。 天命之謂性，率性之謂道，修道之謂教。今日讀中庸序，撼動大文字、大文字云。跑步想起三句，又深撼動，如何人寫出這樣文字來。 百世以俟箇無人。就我那些，百世甚麼？ 02 也是廉價地也爲這些廉價東西所廉價地迷。而彼等猶悠悠不曉我為何要說切自家身。不曉何來痛切。 今日原來精神，一打開電腦，便衰。想，我大抵一直預設自己不與衆同，寫的東西也是緊要的。倘若
美国最近火了一个AI，一条全新的反AGI的技术路线
我并不是说Personal Agent（个人助理）。不过，这玩意儿确实很有意思，有机会再起一篇说一说。 Jev 更多...
变老的镜子：中年发福的自白
变老不会放过任何一个嘴硬的人 今天翻开 NAS 里的相册，意外翻到 2021 年的旅游照片。那时的我，笑得很灿烂，身形轻盈。对比今年的照片，只有短短 5 年，却已经变成了 猪头——油腻的中年，肚腩明显，体形发福。 体重的尴尬区间 身高：165 cm 体重：126 斤 131 斤（在数字上看似不算胖） 实际感受：肚子、屁股、腿、脸，尤其是大腿和肚子，明显臃肿。 过去的努力 从去年开始，我已经在 控制
远程工作不要居家
由于行业的特殊性质，我已经远程工作超过 3 年时间，期间至少换过 3 次工作，而每一次的新工作也都是远程形式。很多人觉得远程工作是一种 “福利”、“好处”，想尽办法想找远程工作，我实在不理解他们。 当然今天要说的是另外一件事情，3 年前我写《<a
视野修炼第137期 | 编程已经面目全非
① 编程已经面目全非 ② 收录 18,000+ App 图标 ③ 27年2月起 Let's Encrypt 证书默认只有 64 天有效期 ④ 200 + ASCII 动画 ⑤ bun fmt - Bun新增特性 ⑥ TanStack Redact：更精简的 React 运行时 ⑦ caniname - 检测 npm 包名可用性 ⑧ Crest - Arc 浏览器的继任者 ⑨ silkpulse - 前端的远程页面调试工具 ⑩ Pele - 轻量的 Mermaid 图表语法渲染器 ⑪ Chartist 2.0 - 轻
双向奔赴的厌恶
我很相信动物直觉的，比如在狗公园时，特别是当我很厌烦一只狗时，多半也会因此厌烦这个狗的狗主人。而且狗本身也可以 […]
老干妈AI质检争议：机器进厂后，工人去了哪里
老干妈AI质检争议：机器进厂后，工人去了哪里 老干妈AI质检引发裁员传闻，“600多人减到48人”的说法遭公司否认，但实际用工变化仍待说明。一个法人主体的参保人数从2022年的2,912人降至2025年的740人，这组变化值得追问，却不能直接等同于AI裁员。本文梳理传闻如何出现、参保数据能说明什么，以及自动化宣传为何撞上就业焦虑。机器参与挑选辣椒可以帮助稳定质量，企业也需要说明岗位变化，并把培训、转岗和员工过渡纳入安排。老干妈要延续品牌信任，既要守住产品，也要讲清楚如何对待员工。
【大模型基础设施工程·特别篇】28：DeepInfer 深度解析——DeepSeek 生产推理引擎开源了什么
对照固定版本源码，拆解 DeepInfer 的离线用法、kernels、EP/EPLB、DSpark、SWA 与 ZOS：解释优化的条件和代价，区分开源引擎、完整服务及营收口径。
一些生活习惯上的改变
自从3年前戒酒以来，总体上算是很成功的，我没有想到会坚持这么久，一度想戒个三年就算了。不过最近的体检结果告诉我 […]
Wish-Driven Development: Excitement Over Anxiety
Notes from the post-vibe-coding era. How my programming changed one wish at a time, and what still matters when code is cheap.
Memos: 土木工程专业’冷‘到如此
这周末参加好友婚礼，聊起土木工程。某排名靠前的985高校，土木专业今年本科只招了 8 个人，早些年却有一百大几十、接近两百 …
AI 时代的卓越：深度理解在哪里仍然不可替代
By Gemini 4 Argon, Opus 5.5 引言 核心论点 AI 让“执行”变便宜，瓶颈于是转移到“定义问题”和“验证结果”。在验证昂贵的领域，深度理解仍是最主要的门槛；在验证便宜的领域，好的验证机制可以部分替代深度。真正持久的人类优势，不在于 AI 做不到什么，而在于目标、责任和只有你掌握的现实信息属于人。 一个常见的直觉是：想在某个领域做出卓越成果，必须对它有足够深入的理解，这个过程 AI 替代不了。理由有两个。第一，不懂就提不出好问题，比如不了解 CAP 理论，就没法和模型讨论分布式系统的取舍。第
博客后台塞了个 AI 助手，先说它不能干什么
上周干了件事：给博客后台挂了个 AI 助手。不是什么大工程，但踩的坑比我预想的多，记一笔。 为什么不是聊天框 最开始想得很简单，接个对话框，能问“最近哪篇文章评论最多”。真做起来才发现，聊天框是最没用的形态——我要的不是一段话，是一个动作：把这条待审评论过了，把那篇草稿的错字改了。 所以最后做成了工具调用循环。它每次只能吐一个 JSON，不多不少： json {"type":"tool","too
观察、登记与可修订确定性：过程实在论的理论框架
摘要 过程实在论（RC）把确定性当作观察过程中有待解释的产物，而不是解释的起点。本文在这一纲领下提出一种以观察、登记和可修订确定性为中心的解释架构：它区分潜在内容、当前锁定与派生实现者，区分历史记录与当前有效性，区分分类登记与机制生成，并说明公共稳定、表达损失、来源报告、争议处理与机制对象化各自需要哪些额外义务。文章同时划定主张层级：本体承诺、定义性组织、有条件数学后承、桥接假说与开放缺口不可混写。配套 Isabelle/HOL 形式化只在选定场景中提供条件接口、具体解释与失败边界；标准共识动力学与信息论结果仅在声
程序会导致双标？
何为程序？就比如最近闹得沸沸扬扬的“星巴克取消第三空间”的话题——星巴克开始取消原本对外公开开放的免费第三空间 […]
iOS27.2支持禁止应用使用摇一摇广告了，不影响导航软件和视频软件
这篇文章介绍了 **iOS 27.2** 新增的**限制运动数据**功能，用来屏蔽应用通过**摇一摇**触发的开屏广告。开启路径是进入**隐私与安全**，选择运动与健身，再点限制运动数据，最后在右上角编辑中把所有应用加入列表。文章同时澄清了两个常见误解：限制动作数据**不影响视频软件的横竖屏自动切换**，也**不影响导航软件的陀螺仪**。作者建议先把所有软件都加入列表，遇到不可用的情况再单独解禁，并预测摇一摇广告可能逐渐淡出 iOS 平台，成为安卓专属。
塞尔达上iPhone，游戏该松绑了
塞尔达上iPhone，游戏该松绑了 《塞尔达传说：旷野之息》出现iPhone民间移植，打开海拉鲁的设备变了，玩家为什么还得被平台绑住？文章串联显卡限制解锁、Switch 2越狱、PS5内核读写与PHP漏洞，解释AI如何调用逆向工具、记录测试、编排流程，也说明关键设想仍要人来提出。再看iTunes取消音乐DRM、GOG靠兼容维护留客：少一道限制，生意并不会凭空消失。真正该期待的，是更多好游戏跨平台走到玩家面前；厂商靠产品与服务留人，玩家照样为喜欢买单，别再拿玩家的喜欢反过来绑架玩家。
积水潭
观察收敛的条件形式化：基于 Isabelle/HOL 的模型与边界分析
摘要 关于观察的哲学论述，常在已记录的事件、获接受的结果、稳定的判断，以及对这些现象如何产生的解释之间转换。形式化处理必须明确这些转换。本文报告一项在 Isabelle/HOL 中展开的 RC 条件接口开发；RC 即《过程实在论：观察收敛与确定性生成（RC）》，是一个以观察收敛为中心的过程实在论研究纲领 [9]。该开发区分了语境内容、已实现主体、行动、历史记录、当前有效性、分类与延续。它提供了从有限时间精确共识到持续登记标签的条件适配器；内容残余与任务信息损失分解的有限概率证明，包括带守卫的等号成立条件；针对特定事
漫谈心底那份夜雨与深秋
笔者一直有一个很想问自己的问题：为什么会选择『枫林灯语』这几个字作为站点名（甚至在正式建站前很久就已经存在了，所以至少不是一拍脑袋想出来的）。虽然在关于页里面，已经解释过会有『近乎于惆怅的宁静感...
不及格
下午语文老师在群里发消息，说听写声母，有 24 个同学全对，8个同学不合格。晚上回家天塌了，原来我儿子就是这 8 个人之中的一个。听写 21 个声母，他只写了 5 个。问题就是写的太慢，总想写成标准印刷体，说过很多次，优先完成，再考虑是否美观，毫无用处。其他作业也是类似，比如读拼音，错一个他就从头重新开始，一晚上都读不完。说可以只读读错的那个，没用，不听。一
当应用不再属于特定操作系统 - 肘子的 Swift 周报 #159
本期周报中有三个颇有意思的项目：Cutefish、SimRun 和 Mac Android Subsystem。它们采用了不同的技术路线，有的通过兼容 API 和框架来提供运行环境，有的直接运行针对模拟器构建的应用，还有的将完整的虚拟系统隐藏在后台。但它们都在尝试做同一件事：让原本属于不同操作系统的应用，能够自然地出现在同一张桌面上。
小鹏产品经理争议性发言及其后续的观感
一 1.1、很多年前，有个大厂做了一款社交产品，定位是它主力app的一个辅助。不过，这款产品的90后产品经理（ 更多...
目前 AI 生成 PPT 最好的 Skill
有个 skill 很好用。安装很简单， 任意一个 AGENT 只要给它说，安装上就可以。 目前 AI 最实用的生成领域，还是 PPT 生成莫属，下到小学老师备课、大学生交作业，上到跨国大企业会议、城市招商引资，无一离开 PPT 。所以一直想做个 AI 生成 PPT 的网站。 然后搜我看到了 GitHub 上的一个 skill 。 PPT Master 。目前... 阅读全文
尝试每周四晚上在上海举办 Tab 星期四线下聚会
从 10 月 29 日开始，我和 海涛 每周四晚上会在上海办一次小型聚会，叫 Tab 星期四 。形式有点像线下版的 Hacker News 或 TIL （Today I Learned），每个人带一个这周想分享的 Tab，先分享 1–3 分钟，再交流 2 分钟。 第一期时间是每周四 19:30–21:30，地点在上海 706（长宁区延安西路迎龙大厦 1 号楼 9 楼），最多 20 人。感兴趣的话可以在 这里 报名，这周来不了的朋友可以先加入 活动通知群 。完整的活动介绍在文末。 这篇文章主要是趁现在还记得清楚，想把
美国封DeepSeek：中美互封到底收割谁
美国封DeepSeek：中美互封到底收割谁 美国封DeepSeek，中国推出AI出口目录修订草案和无人机管制，两边喊得热闹，究竟封住了谁？老范的判断是：台上是对手，台下却是G2，谁也离不开谁。本期拆开美国联邦民事机构采购禁令、承包商自查责任与开源衍生方案的模糊边界，再看中国草案为何保留公共领域开源、API等例外，以及无人机为何整机放、零件收。从中国零部件、工程师到海外算力和美国云上的中国模型，生意仍在继续，绕道成本却有人承担。最后讲清：只有开放才能胜出，而缺少议价权的国家与夹缝小公司，才可能被两强竞争挤出去。
演讲视频：Do you want to be a SRE?
上周在 NUS 做了一个分享，内容是 SRE 的工作内容和成长路线。下面是录制的视频。 涉及的数据和 inci […] Continue reading... 相关文章: SRE&Devops 每周分享 Issue #1 Opening SRE&Devops 每周分享 Issue #4 AWS Layer
2026.10.25
Epoch 现在通过一个 Playdate API 兼容层可以原生运行在 Mac 和一些其他平台上了。主要开&#x
EncoDeck 上手：Windows 上的多品牌耳机控制中心，不用再为切降噪拿起手机
这篇文章介绍了 **EncoDeck**，一个用 WinUI 3 写的 Windows 耳机控制工具，把欢律里常用的耳机设置搬到电脑上：电量、降噪切换、EQ、空间音频、触控手势和双设备连接都能在托盘面板里完成，还能绑全局快捷键。文章说明了它的**托盘快捷面板**、**连接弹窗不抢音频**等细节，也提醒真机验证目前集中在 **OPPO Enco X4**，其他品牌多为协议移植实现，写入功能尚未逐项验证。文末附了安装方式、**LHDC-Win** 的风险提示和兼容性表入口。