标题: 现在小米不能解BL锁了吗?【红米Note13Pro】
作者: #yijiao
板块: #搞七捻三
编号:
帖子: https://linux.do/t/topic/1544231
时间: 2026-01-30 15:16:29
摘要:
作者: #yijiao
板块: #搞七捻三
编号:
1544231帖子: https://linux.do/t/topic/1544231
时间: 2026-01-30 15:16:29
摘要:
各位大佬好,不知道有没有小米手机的粉丝。我是从小米1代开始用的。但是中间已经转苹果多年了。最近需要一个安卓机,又从闲鱼淘了一个红米Note13Pro。
我遇到的问题是,我尝试绑定账号解锁BL锁,系统总是提示我:系统维护中。
客服给我的解答时,现在国家不允许个人解锁了,但保留了线下客服维修处的刷机权限,有刷机需求的话可以到小米售后去免费刷机。我对这个解答表示疑问。但又不知道是不是真的。有人了解吗?
所以,小米现在已经不发烧了对吗?
标题: 大模型聊天弊端
作者: #corleonemike
板块: #开发调优
编号:
帖子: https://linux.do/t/topic/1544232
时间: 2026-01-30 15:16:33
摘要:
作者: #corleonemike
板块: #开发调优
编号:
1544232帖子: https://linux.do/t/topic/1544232
时间: 2026-01-30 15:16:33
摘要:
在使用大模型的时候一直都存在一个问题。当我问大模型给我一个解决方案的时候,解决方案中又存在一些我不理解的东西。如果我继续这个对话框让它给我解答,就会导致上下文很长,等到解决完这些问题,在回到之前的地方就很麻烦,而且再继续解决下面的问题,模型效果也会变得很差; 但是如果我使用其他的模型来给我解答,我就还需要再把这个背景告诉一个其他的模型,感觉这样很麻烦。如题有解吗?
标题: ai时代的品味应该如何修成
作者: #与众穷理
板块: #资源荟萃
编号:
帖子: https://linux.do/t/topic/1544239
时间: 2026-01-30 15:18:33
摘要:
作者: #与众穷理
板块: #资源荟萃
编号:
1544239帖子: https://linux.do/t/topic/1544239
时间: 2026-01-30 15:18:33
摘要:
杂谈:知识的演化——维度的局限——范畴论
最近在思考「知识」的本质,也捣鼓了许多,发现范畴论的视角非常有启发。
一、范畴论:一种关于「结构迁移」的数学语言
在展开之前,先简单聊聊范畴论是什么。
传统数学关注的是对象本身——这个集合有多少元素?这个空间是几维的?这个群有什么性质?
而范畴论关注的是结构之间的映射关系。它的核心概念其实很简洁:
范畴(Category):一堆对象加上它们之间的箭头(态射),以及箭头可以组合的规则
对象(Object):可以是任何东西——集合、群、拓扑空间、甚至一个理论框架
箭头/态射(Morphism):对象之间的关系或变换
函子(Functor):范畴之间的映射——把一个范畴的结构「搬运」到另一个范畴,同时保持结构不变形
一句话概括:范畴论不在乎你研究的是什么东西,它在乎的是「这个东西和那个东西之间的关系,能不能原封不动地搬到另一个领域去」。
用人话说:范畴论是研究「结构迁移」的数学语言。
这个视角对理解「知识如何演化」非常关键——后面会看到,很多所谓的「天才创新」,本质上就是发现了一个跨领域的函子。
二、古老的问题:知识从哪里来?
知识演化的本质机制是什么?或者说,所谓「创新」与「知识」是如何诞生的呢?
这个问题不只是现代人问过。早在2000年前:
柏拉图:「学习即回忆」——一切知识都已存在,我们只是重新发现
亚里士多德:「知识来自经验」——真正的新知可以被创造
而现代又演化出了两个主要说法:
组合主义:新知识 = 旧元素的新组合
涌现主义:复杂系统会「涌现」出无法从部分推导的新性质
其实我对涌现也比较感兴趣,也对量化涌现深入过一些。
但后面越发深入,发觉涌现本质很可能只是人类观察者维度局限导致的幻觉。
三、涌现的祛魅:维度的局限,还是认知的借口?
由于无法解释,所以才会有「涌现」的说法。本质上来说,涌现只是一种维度的局限——或者说,是一种借口。
煮开水的例子
比较典型的例子,可以用煮开水来说。
你完全可以说:99°的水到100°的水沸腾了,哇,魔法!这是涌现!!
当然可以使用一些手段来量化这个过程,比如使用费舍尔信息论来量化,把状态拉进去,做过程累计的积分什么的。
但是,正如开头说的——涌现本质很可能只是一种维度的局限罢了,量化也没有任何意义(因为信息的不对称)。
信息不可能从宏观完全还原微观——信息论告诉我们,传递过程必然有损失
从底层模拟来得到宏观,代价一般无法承受——不是原则上不可以,而是实践的不可达
分子视角的真相
如果你用分子的视角来看,你会发现:水分子在99°的时候,已经在剧烈运动了,只是没有达到100°的临界点,所以没有沸腾。
并没有所谓的涌现。
从重整化的角度来说:宏观性质是微观自由度被「积分掉」后的残留。因为我们观察的过程丢失了底层的信息,只看见了重整化的不变点——类似那种离散的跳跃,所以看上去貌似和「涌现」一样。
从第一性原理出发:幺正性论证
当然,由于「涌现」说法很powerful,所以上面可能并不能作为什么证据。
但其实可以从第一性原理出发进行说明:
如果信息是守恒的(量子力学的基本假设),那么涌现就不可能创造新信息,只能重组信息。
为什么信息守恒?这要追溯到量子力学最深层的假设——幺正性(Unitarity)。
量子演化算符 U 满足 U^\dagger U = I,这个简洁的数学条件蕴含了三重物理意义:
| 性质 | 数学表达 | 物理含义 |
|------|----------|----------|
| 概率守恒 | \sum_i |\psi_i|^2 = 1 | 系统总概率永远为1 |
| 信息守恒 | S(\rho) = S(U\rho U^\dagger) | 冯诺依曼熵在幺正演化下不变 |
| 可逆性 | U^{-1} = U^\dagger | 任何演化原则上可逆 |
这里有一个关键的认知区分:
数学计算:串行遍历所有可能性,复杂度 $O(2^n)$——这就是为什么模拟量子系统在经典计算机上如此困难
物理演化:并行叠加态同时演化,时间复杂度 $O(t)$——宇宙不需要「算」,它直接「是」
这引出一个深刻的哲学洞察:宇宙不是在「计算」自己,宇宙就是计算本身。
我们觉得宏观「不可推导」,不是因为信息消失了,而是因为我们的带宽不足以追踪所有微观自由度。
重整化的视角
从重整化群(Renormalization Group)的角度,可以更精确地理解「涌现」幻觉:
\text{宏观性质} = \int_{\text{微观自由度}} \text{d}\phi \cdot e^{-S[\phi]}
这个路径积分的物理含义是:宏观是微观自由度被「积分掉」后的残留。
关键在于:
信息丢失是观察者选择的结果,不是物理过程的本质
我们观察到的「重整化不变点」(临界现象、相变)看起来是跳跃的
但在微观层面,变化始终是连续的——只是我们的观察「分辨率」不够
这就是为什么物理学家不觉得水沸腾是「涌现」——他们有分子动力学的维度,能追踪分子能量分布从麦克斯韦-玻尔兹曼分布到超过逃逸阈值的连续过程。
如果尝试公式量化的涌现感的话,大概这样子
\text{涌现感} = f(\text{标度变化率}) \times g(\text{观察者带宽}^{-1})
这个公式的物理解读:
标度变化率:系统从微观到宏观的「压缩比」越大,涌现感越强
观察者带宽:能追踪的自由度越多,涌现感越弱
当观察者带宽趋于无穷(理想情况),涌现感趋于零——一切都变成「显然的连续变化」。
涌现不是宇宙的本体论特征,而是有限观察者的认识论局限。
四、知识的真相:不是发明,而是迁移
有点跑远了。主要今天想与读者探讨的是:知识是如何「涌现」的?
其实本人来说,最开始是有点「唯新主义」的感觉,貌似有点迷信真有「天才」,真可以凭空创造奇迹。
后面接触到了恩师的一些观点,才知道:知识的涌现,其实是一种「重组」的过程。
再后面深入了解拓扑、重整化,过程中也读了一些马哲与毛概的部分等等,真正意义上理解了唯物辩证的含义——「矛盾推动发展」这句话,用范畴论的语言来说就是:旧范式的危机催生新函子的发现。
直到最近,接触了范畴论,隐隐约约感觉对于知识的演化的认识的拼图应该差不多齐全了。
核心命题:
创新不是发明新维度,而是发现跨域的函子——将一个领域的结构映射到另一个领域。
下面展开两个我认为比较有趣的例子。
五、案例一:达尔文——天然的范畴论思维者
达尔文是怎么「发明」进化论的?
事实上,他并没有凭空发明任何东西。他做的事情,用范畴论的语言来说,是发现了一个函子。
关键时刻:1838年的马尔萨斯
1838年9月28日——这个日期被科学史家铭记。
达尔文在日记中写道,他「为了消遣」阅读了马尔萨斯的《人口论》。当他读到「人口按几何级数增长,而资源按算术级数增长,因此必然产生生存竞争」时,一道闪电击中了他。
他突然意识到:这个结构可以搬到自然界去。
但这个「闪电时刻」不是凭空出现的。在此之前,达尔文已经装备了足够的「源范畴」:
| 来源领域 | 核心结构 | 获取时间 |
|---------|----------|----------|
| 莱尔《地质学原理》 | 微小变化 + 深时(Deep Time)= 巨大累积 | 1831-1836年随贝格尔号环球航行期间 |
| 加拉帕戈斯雀 | 相似物种在不同岛屿的形态分化 | 1835年实地观察 |
| 人工选择(育种) | 人为选择特定性状 → 后代定向变化 | 回英国后与鸽子育种者深入交流 |
| 马尔萨斯《人口论》 | 资源有限 → 生存竞争 → 优胜劣汰 | 1838年9月28日 |
莱尔给了他时间维度——地球足够古老,足以容纳微小变化的累积。
加拉帕戈斯雀给了他空间证据——相似物种在地理隔离下会分化。
人工选择给了他机制原型——选择压力确实能改变物种。
马尔萨斯给了他最后的拼图——自然界存在普遍的生存竞争。
达尔文的二十年:在「完善函子」
有趣的是,达尔文在1838年就基本形成了自然选择理论的核心思想,但《物种起源》直到1859年才发表——整整21年。
他在干什么?
他在完善函子。
研究藤壶8年(1846-1854),积累分类学证据
与鸽子育种者通信,理解人工选择的精细机制
收集全球博物学家的物种分布数据
预见反驳,准备回应(比如「眼睛如何进化」的难题)
达尔文深知:函子要想令人信服,必须在多个「探针」上表现一致。他在用21年的时间,确保这个从「人工选择」到「自然选择」的映射,在每一个细节上都能成立。
范畴论视角
用范畴论的语言:
源范畴:人工育种(人类有意识地选择性状)
目标范畴:自然界(无意识的环境压力筛选性状)
函子:自然选择——把「人为选择」的结构原封不动地搬到「自然界」
达尔文虽然不懂数学,但他天然具备范畴论思维:不是在一个领域里死磕,而是带着结构去全世界找同构。
品味的体现:同样阅读马尔萨斯,普通人读到的是「人口会增长」,达尔文读到的是「一个可迁移的结构」。这就是品味的差距。
六、案例二:普朗克——被迫的范畴论迁移
这个例子更有意思,因为它带着一丝讽刺。(其实大多数资料以及教科书感觉都没咋讲这个)
历史背景:三
标题: 收到钥匙扣了,水一帖😋
作者: #Yuan_MinG
板块: #搞七捻三
编号:
帖子: https://linux.do/t/topic/1544245
时间: 2026-01-30 15:20:08
摘要:
作者: #Yuan_MinG
板块: #搞七捻三
编号:
1544245帖子: https://linux.do/t/topic/1544245
时间: 2026-01-30 15:20:08
摘要:
不会写小作文,纯水(逃
标题: Antigravity 1.15.8 Chrome 浏览器启动失败解决方案
作者: #顾辞
板块: #开发调优
编号:
帖子: https://linux.do/t/topic/1544246
时间: 2026-01-30 15:20:15
摘要:
作者: #顾辞
板块: #开发调优
编号:
1544246帖子: https://linux.do/t/topic/1544246
时间: 2026-01-30 15:20:15
摘要:
Antigravity 1.15.8 Chrome 浏览器启动失败解决方案
问题原因
Antigravity 1.15.8 版本需要 HOME 环境变量才能启动 Chrome 浏览器。
快速解决方法(Windows)
方法一:图形界面设置(推荐)
右键点击"此电脑" → 选择"属性"
点击"高级系统设置" → 点击"环境变量"
在"用户变量"区域点击"新建"
设置变量:
变量名:HOME
变量值:C:\Users\<你的用户名>(例如:C:\Users\GuCi)
点击"确定"保存
重启 Antigravity(重要!)
方法二:命令行设置
打开 PowerShell,执行:
[System.Environment]::SetEnvironmentVariable('HOME', $env:USERPROFILE, 'User')
或使用 CMD:
setx HOME "%USERPROFILE%"
设置后需要重启 Antigravity。
验证设置
在 PowerShell 中运行:
echo $env:HOME
应该输出你的用户文件夹路径(如 C:\Users\GuCi)。
注意:环境变量更改仅对新启动的进程生效,必须重启 Antigravity 才能生效,最好是直接重启系统。
标题: 搞到了腾讯轻量云的moltbot插件,分享下
作者: #某月Moyu
板块: #开发调优
编号:
帖子: https://linux.do/t/topic/1544249
时间: 2026-01-30 15:20:50
摘要:
作者: #某月Moyu
板块: #开发调优
编号:
1544249帖子: https://linux.do/t/topic/1544249
时间: 2026-01-30 15:20:50
摘要:
RT,腾讯轻量云提供了带moltbot插件的镜像,支持dingtalk feishu qqbot wecom,但是必须2G以上内存的镜像才能用,恰巧codebuddy试用送一台2G的轻量云,就白嫖了一台,装了这个镜像,把插件拷了下来,目前用自己的服务器测试了下,wecom可以部署
一个插件大约450M,目前只下下来wecom和feishu插件,其他还在5M带宽龟速下载中,等下下来了,一起传过来
链接:https://pan.quark.cn/s/a1e192e1d59a
提取码:ZtJ8
标题: 突然发现L站截图的隐藏水印
作者: #Ykuee
板块: #搞七捻三
编号:
帖子: https://linux.do/t/topic/1544257
时间: 2026-01-30 15:23:11
摘要:
作者: #Ykuee
板块: #搞七捻三
编号:
1544257帖子: https://linux.do/t/topic/1544257
时间: 2026-01-30 15:23:11
摘要:
图片处理之后就能发现全是用户名的水印
标题: 求推荐一些博主或者内容,他们巨大提高了你的认知,或者颠覆了你的固有思维框架,陷阱等等
作者: #oe
板块: #资源荟萃
编号:
帖子: https://linux.do/t/topic/1544262
时间: 2026-01-30 15:24:04
摘要:
作者: #oe
板块: #资源荟萃
编号:
1544262帖子: https://linux.do/t/topic/1544262
时间: 2026-01-30 15:24:04
摘要:
YouTube 博主,哔站 up 主,个人博客等等,欢迎推荐,不限领域,行业:投资,金融,学习,等等
标题: 365教育认证一直过不了
作者: #青年
板块: #搞七捻三
编号:
帖子: https://linux.do/t/topic/1544268
时间: 2026-01-30 15:26:29
摘要:
作者: #青年
板块: #搞七捻三
编号:
1544268帖子: https://linux.do/t/topic/1544268
时间: 2026-01-30 15:26:29
摘要:
换了三个edu邮箱了,也换了两个outlook账号,浏览器也换了,节点也换了,哈哈,都是一样的显示,咋整
标题: woc,L站突然出现工作水印了!(前后对比)
作者: #雪梨纽西兰希思露甘奶迪
板块: #搞七捻三
编号:
帖子: https://linux.do/t/topic/1544271
时间: 2026-01-30 15:26:43
摘要:
作者: #雪梨纽西兰希思露甘奶迪
板块: #搞七捻三
编号:
1544271帖子: https://linux.do/t/topic/1544271
时间: 2026-01-30 15:26:43
摘要:
挺明显了,一眼就看到了!
标题: 求助 CPA 代理的反重力和codex team 怎么开启思考块功能?
作者: #墨菲
板块: #搞七捻三
编号:
帖子: https://linux.do/t/topic/1544272
时间: 2026-01-30 15:27:56
摘要:
作者: #墨菲
板块: #搞七捻三
编号:
1544272帖子: https://linux.do/t/topic/1544272
时间: 2026-01-30 15:27:56
摘要:
首先:
claude 模型接入claude code 是有思考的,无需做任何设置.
但是 claude code 模型接入 opencode,没有思考.
然后就是codex 模型无论是接入claude code还是接入opencode都没有思考.
如果不用CPA,直接在opencode里授权OAuth 使用codex模型是可以切换思考和看得到思考过程的,但是反代出来的我怎么弄都看不到思考.求助一下各位佬.
需求就是想要CPA 出来的claude模型在opencode里能看到思考块.
CPA 出来的codex模型在claude code和opencode里都能看到思考块.
标题: 这个要求是不是写反了呀
作者: #grave
板块: #运营反馈
编号:
帖子: https://linux.do/t/topic/1544273
时间: 2026-01-30 15:28:11
摘要:
作者: #grave
板块: #运营反馈
编号:
1544273帖子: https://linux.do/t/topic/1544273
时间: 2026-01-30 15:28:11
摘要:
浏览的换题(所有时间)应该要求应该更高才对吧
标题: openai发布了chatgpt翻译网站
作者: #DeepSuck-深度求嗦
板块: #前沿快讯
编号:
帖子: https://linux.do/t/topic/1544277
时间: 2026-01-30 15:28:56
摘要:
作者: #DeepSuck-深度求嗦
板块: #前沿快讯
编号:
1544277帖子: https://linux.do/t/topic/1544277
时间: 2026-01-30 15:28:56
摘要:
何意味 我感觉他们没招了
https://chatgpt.com/zh-Hans-CN/translate/
标题: 失业了 跑滴滴 一公里多少ldc合适
作者: #尤雨溪
板块: #搞七捻三
编号:
帖子: https://linux.do/t/topic/1544281
时间: 2026-01-30 15:29:34
摘要:
作者: #尤雨溪
板块: #搞七捻三
编号:
1544281帖子: https://linux.do/t/topic/1544281
时间: 2026-01-30 15:29:34
摘要:
开疆扩土
标题: 佬们,ai时代来临,程序员只有全栈和ai应用这条路吗
作者: #weimeng
板块: #开发调优
编号:
帖子: https://linux.do/t/topic/1544296
时间: 2026-01-30 15:32:15
摘要:
作者: #weimeng
板块: #开发调优
编号:
1544296帖子: https://linux.do/t/topic/1544296
时间: 2026-01-30 15:32:15
摘要:
大佬们,前端4年开发,ai越用感觉前端越没有出路,自学了java,但是感觉还只是懂皮毛,ai应用岗位不少,但是感觉内容好虚啊。有大佬指指路吗,java和ai应用的都可以聊聊
标题: 经上个话题的各位佬的意见,我准备打算直接给我姐换一台主机,不过这里的预算估计会超级低,求个极限装机方案
作者: #mistpeak
板块: #搞七捻三
编号:
帖子: https://linux.do/t/topic/1544301
时间: 2026-01-30 15:33:17
摘要:
作者: #mistpeak
板块: #搞七捻三
编号:
1544301帖子: https://linux.do/t/topic/1544301
时间: 2026-01-30 15:33:17
摘要:
之前我姐在京东买了一个mini主机,但是最近卡的不行跑过来问我,win11的,但是我不懂这些,有佬懂吗?
开发调优
下面这个,已经下架了,买了才2年吧?
但是莫名其妙巨卡,我怀疑是
因为她装了360安全卫士,加上360安全浏览器再加上360极速浏览器再加上360壁纸啥的原因
天杀的这东西也是有够烦的,我记得我之前已经把所有能关的弹窗都关了,估计有自动开了
反正就是我远程看的时候巨卡,但是对于完全不懂操作的人来说,我远程指挥起来都有点费劲
但是一时间不知道怎么解决?直接丢了?
【京东】https://…
那么说说需求了
其实这个我也说不清楚,一问就是基本用不到
公司的电脑才是主力
但是偶尔在家会看视频,以及基础办公
所以wps少不了
剩下就是网课
按照我姐的使用习惯,360估计是必装了
所以有招吗?
价格肯定是越低越好,反正不是主力
有佬懂小主机吗?
标题: 高效前端读书笔记
作者: #sherllyzhao
板块: #读书成诗
编号:
帖子: https://linux.do/t/topic/1544312
时间: 2026-01-30 15:37:12
摘要:
作者: #sherllyzhao
板块: #读书成诗
编号:
1544312帖子: https://linux.do/t/topic/1544312
时间: 2026-01-30 15:37:12
摘要:
高效前端
HTML/CSS
理论
能用HTML/CSS的就不用JS
每个页面的body都要加类名
li也加上类名
在做导航高亮时,隐藏元素、隐藏元素的父元素都要设置hover ,填充元素需要使用:before
巧用相邻选择器(+ )。在做鼠标移入显示时将触发元素和显示元素放在相邻的位置,方便实用hover控制
hover伪类的优先级高于正常元素的优先级
巧用伪类选择器
鼠标移入移出可以用hover
点击可以用active
选中可以用checked ,兼容ie8+
获得焦点可以用fcous
表单验证可以用invalid
巧用伪元素(是一个元素的子元素)
用来画无关紧要的元素,比如元素之间的分隔线,点等
无法用js获取,需要使用getComputedStyle ,第二个参数是伪元素
是行内元素
清浮动 clear:both
最好只用css或者js对元素进行控制
巧用display:table、table-row 和table-cell ,使用table自适应性布局将普通盒子变为表格
div :first-child :nth-last-child (3)或者div :nth-of-type (1):nth-last-of-type (3)可以实现选中特定个数的div中的第一个
div :nth-of-type (1):nth-last-of-type (3),div :nth-of-type (1):nth-last-of-type (3)~div 或者div :first-child :nth-last-child (3),div :first-child :nth-last-child (3)~div 可以实现根据个数设置样式
p~li p之后出现的所有li
不涉及后台表单提交后跳转页面可以用action ,表单验证后使用原生submit 事件提交
form 可以点击回车提交表单
pattern 设置正则验证
巧用input的type。 ie8/ie9会将不认识的type强制渲染为text,如email
使用data-tip 和hover 自定义