文章
21175 条发现 · 精选自开放网络的发现，按时间从新到旧。
-
学习周刊-总第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
-
手动挡挂挡手法
手动挡新手教程 ： 挂挡手法（本文） 起步、熄火处理、搭电 转速匹配与挡位选择 学完这三篇教程你应该就会开手动挡了，希望你可以感受到开手动挡的快乐。 开手动挡车要自己换挡，所以一定要学会不看挡把的情况下操作。 要挂挡做得好，就是做好三件事： 记住挡位 学会挂挡手法 确认当前挡位 挡位规律 # 挡位排列的顺序是先从上到下，再从左到右，数字从小到大。知道规律就很好记了。 如下图所示： 1 3 5 | | | |-----N-----| | | | 2 4 6 倒挡的位置不统一，请按照你车辆的说明书操作。 常见的倒挡挂挡方式如下： 下压挡把，挂入 1 挡的位置 上提挡把，挂入 1 挡的位置 有些 5 速变速箱的倒挡位置是右下角 挂挡手法 # 空挡左右两边有弹簧，会把挡杆推回空挡位置。你可以从空挡往左右两边推，放手之后挡杆会弹到空挡的位置。挂挡手法的窍门就是克服和利用回弹到空挡的力。 先介绍基本的操作手法（不要太用力抓挡把和推拉，可以抓稳和移动挡把即可）： 左推：手心中间贴着挡把的右边，左推（克服弹簧的力）。 左推前推（N -> 1）：保持左推的同时，用手腕前推。 左推后拉（N -> 2）：保持左推的同时，用大拇指以外的手指握住挡杆，后拉。 前推（N -> 3）：手心贴着挡把顶部，所有手指握着挡把，前推。 后拉（N -> 4）：手心贴着挡把顶部，所有手指握着挡把，后拉。 右推：手心的右下部
叶寻的博客 · ZH
-
汽车盲区与观察方法
汽车有内后视镜、左后视镜和右后视镜帮助司机观察，但汽车仍然存在司机看不到的盲区。 讲盲区前，要先了解车的两根立柱：A 柱和 B 柱。 第一代福特福克斯轿车（三厢车）、旅行车（两厢车）和掀背车（两厢车）在同一车型系列中的典型支柱配置 A 柱是车最前端的立柱，在挡风玻璃的两侧。B 柱在前后侧窗之间。车的盲区主要有 A 柱盲区和 B 柱盲区。 A 柱盲区 # A 柱盲区是车侧前方的盲区。 A 柱盲区示意图 前倾与侧倾身体之后可以看到 A 柱盲区 。直行通过路口时需要观察 A 柱盲区。 B 柱盲区 / 后视镜盲区 # B 柱盲区是车侧后方的盲区，也就是外后视镜无法显示的区域。前倾身体看侧后视镜可以减少盲区。 扭头看车侧后窗可以看到 B 柱盲区 。 扭头观察（又称越肩观察，英文 shoulder check）的要点： 扭头看车后排侧面的窗户，视线越过肩膀。 眼睛也要一并往侧面移动，这样可以看得更后。 扭头观察时尽量保持身体不动（如果柔韧性不足导致扭动身体，也没关系）。 扭头时手要放松搭在方向盘上。如果手抓得太紧，身体一扭，手就会不自主地带动方向盘导致车辆跑偏。 和前车保持安全车距。 扭头观察要快，看完后马上重新看前方。看太久 B 柱盲区而忽视前方会很危险。 如果一次没看清楚盲区，可以多次观察，每次扭头观察后必须看前方。 车横向移动前都得观察 B 柱盲区： 转弯（两侧 B 柱盲区都要看） 变更
叶寻的博客 · ZH
-
安全驾驶的要素：速度差、距离、视野、预判、友善、专注、车况
车是一两吨的东西，撞到人或者物，伤害都是很大的。开车一定要注意安全。 速度差 # 我们要尽量和车流保持一致的速度，这样哪怕距离很近，也不会碰撞 。如果和其他车有明显的速度差，那和它们的距离就会接近，直至撞上。 如果车流低于限速，那么可以考虑超车。如果车流高于限速，你可以在不被处罚的情况（比如在摄像头前低于限速，跟随本地车）下跟随车流。超速行驶出了事故可能要担责，但是车速比车流低太多就容易造成事故，我个人还是推荐跟随车流的速度。我遇到三车道的路，限速 40 km/h（这显然是不合理的限速），那么宽敞的路别人都开 80 km/h 以上，死守限速反而让自己更危险。 距离 # 距离是造成事故的直接原因，两辆同速度（没有速度差）的车距离 10 厘米都不会撞上。如果我们跟车距离太近，前车突然急刹，那么速度差就导致距离迅速贴近。所以 要和前车保持足够的安全距离，保证我们可以急刹而不撞上前车 。 视野 # 世上没那么多交通意外，很多时候是因为司机观察不到位。我们开车要观察四周和远方，视野好才能开得快。高速道路空旷视野好，所以限速高。 经过有视野阻挡的地方时，应该控制速度和距离，因为突然冒出的人或者车会和我们速度差大，而且距离近 。 车子四周都是盲区，开车之前要绕车看周围是否有障碍物。 预判 # 我们要假设交通参与者可能是不理智的（事实亦是如此），从而预判他们的行为，避免发生事故 。有次我经过加油站
叶寻的博客 · ZH
-
日产轩逸：白开水般的车
轩逸经典 2022 款 1 是第一辆我长期开的车，开了超过 1 万公里，还带它去保养过 1 次。这是最低配的自动挡版本，当时买要 8 万多人民币。轩逸的尺寸为 4631mm（长）×1760mm（宽）×1503mm（高），采用 1.6 L自然吸气发动机和 CVT 变速箱，马力为 122 匹，官方零百加速 2 12.1 秒。 优点 # 先说说轩逸的优点。 简单易用 ，从驾照学完自动挡，上车就能开，挡把和手刹一目了然。挡位排列是经典的 P-R-N-D-L。 自然吸气发动机 + CVT 变速箱， 平顺 ，极少顿挫，在市区走走停停也没事。双离合涡轮车在市区开就比较难受。 油耗低 （只是因为排量低，要省油就选插混车或者油混车）。我平常开车路况好时超速 10% 以内，偶尔超速 20% 以内 3 ，小熊油耗测出最低百公里油耗 6.57 升（一直跑高速），最近一年（截止到 2026 年 10 月 27 日）平均油耗 7.62 升。轩逸经典 2022 款 CVT 舒适版在小熊油耗的平均油耗是 6.81 升。我搞不明白小熊油耗里面排行榜 4.19 升是怎么开出来的，该不会是龟速车吧。 缺点 # 轩逸的缺点就很多了。 方向盘只能上下调节，不能前后调节 。我开这台车，座椅和方向盘怎么都调不到全身舒适的位置。脚和膝盖舒服了，手就离方向盘比较远，开久了肩部肌肉容易酸。手离方向盘近了，膝盖和脚就不舒服。我目前选择
叶寻的博客 · ZH