Category: 资讯
英国这两年搞了电子签证，用于取代实体BRP卡（British Residence Permit），我和我媳妇都是英国永居，也就是ILR=Indefinite Leave to Remain，还有一种类似的PR=Permanent Residence Permit，好像是早期贴在护照上的签证纸。这两种签证都是永居，没啥区别。 电子签的好处多多。最大的好处就是不再需要担心实体BRP卡的丢失或损坏，出行只需要一个码即可。 BRP卡的有效期都是2024年12月，之后就不再颁发实体卡了。我们在去年年中的时候就收到了英国政府的邮件，让在网上申请电子签证帐号，步骤不难，需要绑定护照/BRP卡。护照验证的时候还用到了NFC技术。 怎么样使用英国电子签证 e-visa 电子签证/e-visa使用也比较简单，每次可以登陆政府官网（这里）然后，可以申请一个电子码/e-visa share code。 通过电子签证e-visa证明自己在英国生活工作的权力 有效期90天（三个月），只需要把这个码发给需要的人，比如：雇主、大使錧、房屋中介等。他们就可以登陆政府网站验证你的签证有效期和权利：比如租房、开银行帐号和最基本的留在英国生活的权力。 出入境英国的时候使用电子签证/e-visa 出入英国的时候需要把这个码打出来，过海关的时候给海关看即可，当然最好把原有的过期的BRP卡也带上（因为有些机场要求不一样）。过渡期的时候用BRP卡也可以证明签证，不过现在已经不行了，没有申请e-visa的帐号要尽快申请，避免出行的不便。 网友说：2号入境的，感觉方便了，绑定护照，直接刷护照，没有要其他的。 英文：Britain has abandoned the physical BRP card PS：电子签证是针对长期签证才需要（大于6个月），（短期）旅游签证不适用。 PPS：5日入境的，主动提供share …
每年英国的中小学都会举办各类数学竞赛，我之前也在这里介绍过。今年我家娃参加了 JMC（Junior Mathematical Challenge，初中数学挑战赛），获得了 Gold（金奖/金牌）成绩。不过我个人觉得这个年龄段拿金奖算是中等偏上的水平，但我媳妇却坚持说他只是个“普娃”。 娃今年就读于 IVC 的 8 年级，是在这所学校的最后一年。9 月份他就要升入 Perse 私立学校了。今年他参加了 JMC，也就是 7 至 8 年级学生参与的初中数学竞赛。据说再往上，9 年级及以上的学生则是参加 SMC（Senior Mathematical Challenge，高中组竞赛）。 JMC 第一轮是选择题，共 25 题。前 15 题每题 5 …
一年一度的微软剑桥研究院夏日派对又到了。今年是我加入微软剑桥的第四年，这次活动举办在市中心一个靠近剑桥大学出版社（Cambridge University Press）的大草坪和花园里，环境非常漂亮。 活动地点是： The Cass Centre Shaftesbury Road Cambridge CB2 8BS 从会议邀请来看，大约有 108 人报名参加（相比之下，整个微软剑桥研究院MSRC大概有两三百人），但实际到场的可能没有那么多。今天的天气很好，我特地擦了防晒霜——毕竟两周前BBQ的时候被晒伤了一次。结果我媳妇打趣地说：“微软作为市值第一的公司（今天微软3.5万亿），这场派对的规模也太寒酸了。” （一年不如一年，钱不少挣，但开销也照减不误） 今年邀请函上特地加上了‘Summer Garden Party’的说法，可能也是为了稍微弱化‘Summer Party’这个名称带来的期待感，否则以这次活动的规模来说，确实有些名不副实。 我的同事几乎都没来。要么是单身、要么是孩子已经大了，对这种家庭友好型活动没什么兴趣。今天现场我只看到一个华人同事。微软的夏日派对通常会邀请员工的家属一起参加，因此一般安排在周六。很多同事都会带着配偶和孩子来参加，很多孩子年纪还很小。 活动现场在草坪上安排了不少户外娱乐项目，比如乒乓球、Connect4、桌面足球、抽木块（Jenga）游戏，还有孩子们特别喜欢的充气城堡（Bouncing Castle），工作人员还吹泡泡给小朋友们追。 活动时间是早上10点到下午2点，一共四个小时，和去年一样。我去年是准时到场，结果一开始人很少，还有点无聊。今年学乖了，晚到了一小时，但人还是不多。我们大概等了40分钟后吃了午饭，也不是什么大餐，就是简单的三明治、水果沙拉和甜甜圈。 吃完饭后我们就离开了，顺路去了 Waitrose 买了点菜，回到家我还睡了个午觉。 还是很感激公司组织了这么个活动，至少娃都挺开心的。 没有酒精的啤酒。 …
自从步入40岁之后，我时不时就会收到NHS或家庭医生（GP）的关怀提醒，建议我关注自身健康。毕竟，四十岁以上的男性开始容易被一些健康问题困扰，比如前列腺（PSA）指数、尿酸水平、血糖等。 40岁以上男性的NHS健康体验 今天刚好有些空闲，于是抽时间参加了NHS组织的前列腺健康活动。这项服务是以Drop-in形式进行的，中午2点到6点之间可以直接去GP诊所，不需要预约。医生会帮你测量血压、身高和体重，计算BMI指数。 接待我的是一位中年女医生，虽然上了年纪，但非常温柔细心。她给我连续测了三次低压血压，分别是89、91、87。测完前两次血压，她建议我先去称体重——我的身高是174cm，体重是81kg，BMI为26，略高了一点。实际上，我每天晚上睡前称重时体重通常还会比这个多2-3公斤。 随后GP帮我安排了下周的进一步体检，可能还需要抽血。她提到将评估我未来十年患癌风险的概率，如果风险较高，将会安排后续的观察或预防措施。 关于前列腺和PSA的知识分享 当天晚上6点，NHS还组织了一场线下答疑会，由一位男医生主讲（包括我有三个男性参加，并没有想象中的多），介绍关于前列腺健康和PSA检测的知识。由于公司有会议，我晚到半小时，但仍收获不少重要信息。 现场有一位负责组织的护士发了两本小册子，一本是关于PSA的健康指南，另一本则是介绍剑桥当地可参与的健康活动，比如瑜伽、足球等。 医生解释说，PSA检测并非百分百准确，可能出现假阳性（PSA高但无癌）或假阴性（PSA正常但有问题）的情况。PSA升高不一定意味着患癌，PSA正常也不能完全排除风险。 他建议男性朋友们要保持规律运动，减少烟酒摄入，有助于降低患前列腺癌的风险。另外，规律的性生活和射精也被证实有一定保护作用。 大家要更加关爱自己的健康。前列腺癌是英国男性第二常见的癌症，每年有超过5万人被诊断，死亡人数超过1万。虽然50岁以下患病概率较低，但随着年龄增长，风险会显著上升。对于50至69岁的男性，建议每年进行筛查，包括PSA抽血、肛门指检，必要时还需做活检（Biopsy，听说这个比较不舒服）以及MRI核磁共振检查。 我自己的PSA值常年略高，医生说这有可能是前列腺良性增大。每个人的情况都不一样，仍需持续关注和定期检查。 本文一共 848 个汉字, 你数一下对不对. 今天去听了NHS举办的关于男性PSA/前列腺健康的活动/讨论. (AMP 移动加速版本) 赞赏我的几个理由. ¥ 打赏支持 扫描二维码，分享本文到微信朋友圈
莫拉维克悖论是什么？ 莫拉维克悖论（Moravec’s Paradox）是人工智能与机器人学中的一个重要观察结果。 一句话总结 “对于人类来说简单的事情，对机器却很难；而人类觉得复杂的事情，机器却往往很容易。” 悖论的由来 由 Hans Moravec、Rodney Brooks、Marvin Minsky 等人在 1980 年代提出 他们注意到：计算机能轻松完成逻辑推理，却难以感知与运动：让计算机进行高等数学、下棋、逻辑推理等任务相对容易；但让计算机像人类一样“感知世界”和“移动身体”——比如走路、抓取物体、识别人脸——却非常困难。 为什么会出现这种现象？ 进化时间差 人类的感知与运动系统经过数亿年进化，极度复杂；抽象思维是最近几千年才发展出的新能力。感知与运动能力（比如视觉处理、走路、抓握）是人类在数亿年的进化中逐步发展出来的，极其高效而复杂。抽象逻辑和符号推理（比如数学、象棋）则是人类近几千年才发展出的“新技能”，反而对人类来说相对“费力”。 神经资源分配不同 大脑的大部分区域用于处理感知与运动，只有小部分用于逻辑与推理：大脑皮层中，有大量区域用于视觉、听觉、运动控制等感知与行动；相比之下，用于抽象思维的区域相对较小。 我们低估了“本能”的复杂性 比如走路、看东西、抓杯子——这些能力虽然自动完成，但对机器来说极其复杂：因为感知与行动是无意识自动完成的（比如：走路时你不需要思考每一步如何移动），人类通常低估了这些任务的复杂性。 经典对比案例 任务 人类 机器 玩象棋 难 容易（如 …
近日，苹果机器学习研究团队发布了一项引人关注的研究，指出当前所谓的大型推理模型（LRM，如 OpenAI、Anthropic、Google 等推出的模型）在面对难度不断提升的逻辑类问题时，会出现准确率骤降至 0、推理努力减少的现象，表明这些模型并没有真正具备稳定的“思考”能力。 研究背景与核心发现 实验设计：复杂性可控的逻辑谜题 研究团队采用了像 河流过渡 和 汉诺塔（Tower of Hanoi） 等经典谜题，通过可控手段系统增加问题复杂度，同时观察模型的“思考过程”和最终结果，避免传统数学或编程基准可能的数据泄露问题。 苹果机器学习团队最新发布研究，指出当前大型推理模型（LRM）在面对高复杂度逻辑题时，准确率骤降至零，且推理过程中的计算量急剧下降，表现出“放弃思考”的现象。 研究用经典谜题如河流过渡和汉诺塔，通过逐步增加难度控制变量，观察模型的表现和推理行为，规避了训练数据泄露的影响。 结果显示，低复杂度时普通大语言模型LLM表现更好，中等难度下推理模型依赖“链式思考”提升表现，但高复杂度下所有模型准确率急剧崩溃。 模型推理能力的“崩溃”与“偷懒” 在复杂度临界点，模型的有效 token 使用量明显下降，表明模型在完成部分步骤后“停止推理”。在问题复杂度接近崩溃阈值时，这些模型伴随着有效 tokens 使用量骤降（即前几步还在思考，後面却“偷懒”了），表现出类似“放弃继续解题”的行为 。 即使研究者直接给出解题算法，模型仍无法有效利用，说明其并非真正理解算法逻辑。为了验证模型是否真无法理解算法，研究者在汉诺塔问题中提供了解题算法，但这些模型依然无法提升准确率，表明它们并不能用“听懂并执行算法”的思维方式，而是纯粹靠训练数据中的“模式匹配” 。 研究实验示意表 复杂度等级 模型类型 表现趋势 …
今天第一次把保时捷卡宴送去车厂做全面保养，总共花了318英镑（其中265英镑是保养费用，另加20%的增值税）。 两三个月前，本来想着在这车做MOT年检的时候一块把保养做了（我一般都这样省事），只不过那天碰巧车厂停电了很久，没有时间做保养，只能先把MOT年检过了。 车厂老板检查后告诉我：前刹车片磨损了80%，后刹车片磨损了85%，估计最多还能再撑几个月，之后就必须更换了。他建议我提前做好准备。 正好我的车前部雷达感应器（Sensor）不知什么时候因为轻微碰撞掉进车体内部了，现在只能临时往那个圆孔里塞些纸巾，避免它一直发出“哔哔”的警告声。 老板说他看得到感应器卡在里面，但手伸不进去，必须把前杠（bumper）拆掉才能修复。这项工作比较复杂，大概要一天时间。他建议我下次更换刹车片时一起处理。 刹车的工作原理 刹车系统的核心原理，是通过刹车片压住刹车盘，产生摩擦力来让车轮减速或停止。 当你踩下刹车踏板时： 刹车油推动刹车卡钳 卡钳把刹车片压在旋转的刹车盘上 摩擦力使车轮变慢，最终停止 这个过程每次都在消耗刹车片的厚度，时间久了自然会磨损。 类比理解 刹车片 = 橡皮擦 刹车盘 = 黑板 每次刹车，就像用橡皮擦黑板，橡皮会慢慢变小，黑板时间久了也会有磨痕。 刹车片和刹车盘都会磨损 虽然刹车盘是金属材质，但长时间使用后也会磨薄或产生沟槽。 刹车片： 材质较软，是主要的耗材 每次踩刹车都会摩擦并消耗厚度 正常寿命为 3 万 ~ …
