Makale
22259 keşif · Açık ağdan seçilmiş keşifler, en yeniden eskiye.
-
学习周刊-总第280期-2026年第37周
如要阅读全文，点击标题跳转。 学习周刊-总第280期 | tolaria | hosts-manager-extension | shortcast | Fanny-MacOs-FanControl | gantry | StayAwake | Adnify
二丫讲梵
-
学习周刊-总第281期-2026年第38周
如要阅读全文，点击标题跳转。 学习周刊-总第281期 | netsgo | polywise | drawio-skill | CLICD | Swifka | glitter-idea-repo | MacSai
二丫讲梵 · ZH
-
学习周刊-总第282期-2026年第39周
如要阅读全文，点击标题跳转。 学习周刊-总第282期 ｜ Liftoff ｜ canary ｜ horseMD ｜ wayland ｜ YanAI ｜ Git-Identity-Manager ｜ scratch ｜ synara
二丫讲梵 · ZH
-
学习周刊-总第283期-2026年第40周
如要阅读全文，点击标题跳转。 学习周刊-总第283期 ｜ MarkdownReader ｜ cc-bar ｜ financial-management ｜ desktop-cc-gui ｜ Annado ｜ Message-Push-Nest ｜ archify
二丫讲梵
-
学习周刊-总第284期-2026年第41周
如要阅读全文，点击标题跳转。 学习周刊-总第284期 ｜ manifest ｜ iContainer ｜ open-note ｜ dbops ｜ skill-zoo ｜ CoPet ｜ renewlet
二丫讲梵 · ZH
-
学习周刊-总第285期-2026年第42周
如要阅读全文，点击标题跳转。 学习周刊-总第285期 ｜ YCode ｜ MacTools ｜ LockIME ｜ OnePagent ｜ maple ｜ vorssaint-utils ｜ trinity
二丫讲梵 · ZH
-
学习周刊-总第286期-2026年第43周
如要阅读全文，点击标题跳转。 学习周刊-总第286期 | chatgpt-imagegen | html-tools | Arc | Cowart | ORG2 | OpenViking | casos | markeron
二丫讲梵 · ZH
-
学习周刊-总第287期-2026年第44周
如要阅读全文，点击标题跳转。 学习周刊-总第287期 | ashell | AtlasOS | tinyauth | BonsAI | Yield | Claudesk | tabularis
二丫讲梵 · ZH
-
设计运气·可视化导读
book: designing-luck section: practices meta: reading_minutes: 8 persona: 想尝试新的协作，却需要同时照顾工作、生活义务与有限精力的读者 thesis: claim: 辨认有利变化，改善自己在变化中的位置，与他人共同组织可以促成和承接机会的条件 puzzle: 为什么同样的能力在不同时期遇到不同需要，同一趋势中的人又未必得到同样机会？主体怎样辨认窗口、进入能贡献并分享成果的位置，让互补分工成为可履行的工作，并用反馈更新判断？ hook: scene: 宋遥把讨论通知误当成制作邀请，用两周探索站内问题、公开活动和同行消息，尝试参与问题界定、业务核对和表达修改。另一个独立长期思想实验用甲乙丙比较线上办理变化中的需要和位置，不是宋遥已观察到的趋势。两组案例均为虚构，不是现实调查或成功率测量。 question: 从看到一条线索，到真正有条件答应，中间还需要发生什么？ chapters: - title: 第一部分：机会怎样进入视域 intro: 第1—3章从结果之前区分三类条件。第2章把地利落到信息、决定、贡献和成果分享，第3章用独立思想实验检验天时的证据与阶段；偶然和规则差异仍在。 chart_type: flow steps: - label: 返回结果之前 sublabel: 准备不包办结局 explain:
祝融说 · ZH
-
观察收敛的条件形式化：基于 Isabelle/HOL 的模型与边界分析
摘要 关于观察的哲学论述，常在已记录的事件、获接受的结果、稳定的判断，以及对这些现象如何产生的解释之间转换。形式化处理必须明确这些转换。本文报告一项在 Isabelle/HOL 中展开的 RC 条件接口开发；RC 即《过程实在论：观察收敛与确定性生成（RC）》，是一个以观察收敛为中心的过程实在论研究纲领 [9]。该开发区分了语境内容、已实现主体、行动、历史记录、当前有效性、分类与延续。它提供了从有限时间精确共识到持续登记标签的条件适配器；内容残余与任务信息损失分解的有限概率证明，包括带守卫的等号成立条件；针对特定事件的报告来源追溯；异议登记协议；以及运行特征见证接口。具体解释包括双主体平均化轨迹、具有零损失和正损失的联合记录／概率模型、三事件异议轨迹，以及预登记的机制特征案例。失败对照揭示了记录缺失、分解结构缺失、来源选择、独立审计、调度与运行值缺失各自的作用。一般的有界信任收敛定理仍是适配器的一项显式输入，而其小规模具体实例则通过计算完成证明。信息论结果属于标准数学；若干事件结论只是定义或假设的展开。归档的、与源文件绑定的复现涵盖 Isabelle2026 下的四个会话与十八个理论。候选贡献在于：对 RC 条件接口、所选场景中共同实例化的义务及其失败边界，给出可检查的说明。新颖性仍需进一步审查；七项完整语义缺口依然存在，也不能由此推出 RC 的整体一致性或经验真实性。
祝融说 · ZH
-
观察、登记与可修订确定性：过程实在论的理论框架
摘要 过程实在论（RC）把确定性当作观察过程中有待解释的产物，而不是解释的起点。本文在这一纲领下提出一种以观察、登记和可修订确定性为中心的解释架构：它区分潜在内容、当前锁定与派生实现者，区分历史记录与当前有效性，区分分类登记与机制生成，并说明公共稳定、表达损失、来源报告、争议处理与机制对象化各自需要哪些额外义务。文章同时划定主张层级：本体承诺、定义性组织、有条件数学后承、桥接假说与开放缺口不可混写。配套 Isabelle/HOL 形式化只在选定场景中提供条件接口、具体解释与失败边界；标准共识动力学与信息论结果仅在声明条件下被借用，并不构成 RC 原创数学，也不证明一般现实生成或完整语义闭合。针对 PROV-DM、对话游戏、Justification Logic 与 locales 的定向结构映射表明：一般来源／协议／证成／模块组织已有成熟先例；本文只辩护观察登记解释下必须同时激活的义务表及其失败边界，并明确区分提议的部分对应、已展示差异与未审主张。本文的贡献候选是可审查的解释架构与论证纪律，而非已证的普遍机制。七项完整语义目标仍保持开放；新颖性评价仍待外部比较。
祝融说 · ZH
-
一加 Ace 3 从 LineageOS 回到 ColorOS
我至少从 2023 年 5 月 19 日 就开始用 LineageOS，用了快 3 年了，一开始觉得不错，但是长期用下来真是感觉问题不少，和原厂系统比就是弊大于利。 用 LineageOS 主要有两类问题，一是解锁 bootloader（引导程序）导致的问题，二是 LineageOS 的问题。每天经历种种不方便，我最后决定装回原厂系统。 LineageOS 的问题 # 自动亮度功能很差，忽明忽暗（应该和机型相关，但是我用的手机都不正常） 耗电（LineageOS 本身不会更耗电，但是根本管不动偷偷耗电的应用。我曾经用 Brevent 管理后台，然后发现应用宝居然 2 分钟内启动 18 次，被 Brevent 关闭了 18 次。用 Ice Box 也不好使，不见得省电，冷启动应用还更慢） 没有钱包功能（银行卡 NFC 支付、交通卡、门禁卡，原厂系统才有） 相机拍照质量没原厂系统好 通话录音不好用（只能录通话，而且还是自己手动按的，不能录应用） 农业银行应用经常闪退，不知道怎么回事 在微信打开云闪付的活动链接会一片空白，不知道怎么回事 没有之前用那么流畅了 解锁 bootloader 的问题 # 解锁 bootloader 会破坏 TEE（trusted execution environment）和 Play Integrity，导致功能异常。 指纹支付无法使用（支付宝是例外） 部分
叶寻的博客 · ZH
-
手动挡教程：起步、熄火处理、搭电
手动挡新手教程 ： 挂挡手法 起步、熄火处理、搭电（本文） 转速匹配与挡位选择 学完这三篇教程你应该就会开手动挡了，希望你可以感受到开手动挡的快乐。 起步熄火是手动挡新手的第一道难题。我有次开老车练起步，连续熄火七八次，电瓶的电都耗尽了，无法点火。还好只是在停车场无法点火，要是在路上熄火动不了，背后又有刹不住的大货车，那真是惊出一身冷汗。所以新手一定要学会快速且稳定的起步方法。 手动挡起步先踩油门可以提供更强的动力，避免熄火。2000 转只是适用于多数车的起步转速，你可以根据自己的车作调整。抬离合时可以继续踩油门。离合和油门就像跷跷板的两端，一边升起，另一边就会下降。 以下是各种起步方法。 平地起步 # 步骤： 踩离合，挂 1 挡。 踩油门至 2000 转，保持住。 缓抬离合直至抬完。到半联动点（biting point）时因为动力衔接转速会下降，只要不低到熄火就好，也可以在下降的同时再踩深点油门补充动力。 熟悉自己的车后，可以给油后快速抬到半联动点，再缓抬离合。 在停车调整位置或者从停车位出来时，踩油门起步就太快了，可能导致碰撞，建议缓抬离合用半联动控制车速。 上坡起步 # 上坡起步需要使用手刹来避免溜车。 步骤： 踩脚刹，拉手刹。 松开脚刹，确认手刹可以阻止溜车。 踩离合，挂 1 挡。 踩油门至 2000 转，保持住。 抬离合到半联动点，转速下降。 再缓抬离合，直至感觉到屁股下
叶寻的博客 · ZH
-
手动挡内功：转速匹配与挡位选择
手动挡新手教程 ： 挂挡手法 起步、熄火处理、搭电 转速匹配与挡位选择（本文） 学完这三篇教程你应该就会开手动挡了，希望你可以感受到开手动挡的快乐。 转速范围 # 开手动挡，最重要的是转速。手动挡可用的转速范围很广，不需要恪守某个转速或者某个速度换挡。只要发动机转速在 怠速转速 和 转速警戒线 之间，挡位就是没问题的，但不一定是最佳挡位。 怠速转速 就是维持车子前进的最低转速。如果刹车导致转速低于怠速转速，那么车子动力不足，开始抖动，甚至熄火保护发动机。假如你车子的怠速转速是 800 转，那么可以在接近 800 转时踩下离合降挡来提高转速，避免熄火。我喜欢在怠速转速 + 200 的时候踩离合避免熄火。如果升挡后转速低于怠速转速，也会有熄火风险。 转速警戒线 就是转速表上面的红线，转速到这里就会伤害车子，所以应该升挡来降低转速。短时间在警戒线，车子会断油保护发动机。 如果降挡后转速达到警戒线，甚至转速爆表，这会严重损坏变速箱和发动机，还可能锁死轮胎造成打滑。这就是 money shifting（金钱换挡），也就是换挡后要花很多钱修车。 驾校教的按速度换挡（比如 20 km/h 挂 2 挡，30 km/h 挂 3 挡）是错误的，纯粹是应付考试。第一，这个方法只适用于驾校的车型，换了马力不一样的车型就不适用，依靠转速换挡的方法适用于任何车。第二，这个方法对应的转速偏低，动力差，加速慢，就
叶寻的博客 · ZH