99% of adults over 40 have shoulder "abnormalities" on an MRI, study finds10 days agohttps://arstechnica.com/health/2026/02/99-of-adults-over-40-have-shoulder-abnorm...全球高达三分之一的人经历过肩部疼痛，这使其成为最常见的肌肉骨骼问题之一。《美国医学会内科学》的一项研究发现，40岁以上成年人中99%在核磁共振检查中至少存在一项肩袖异常，但大多数人并未出现肩部症状。常见异常包括部分厚度撕裂（62%）、肌腱病变（25%）和全层撕裂（11%），且患病率随年龄增长而上升。该研究结果质疑了过度使用核磁共振诊断肩痛的做法，并凸显了过度治疗肩袖异常的问题。研究人员得出结论：目前尚难以区分具有临床意义的核磁共振异常表现与偶发发现。
Learning Lean: Part 113 days agohttps://rkirov.github.io/posts/lean1/作者受到用Lean普及数学形式化运动的启发，强调其优势如错误检测和减少合作者间的信任需求。形式化让数学家能专注于写作中的直觉与动机，而非细节的机械验证，这在大语言模型(LLM)时代尤为珍贵。作者展望数学家与AI的未来协作：AI协助高层证明策略，Lean处理形式化证明，最终论文聚焦证明的'故事性'。作者分享背景：数学博士（代数/数论/组合数学方向），后转型为软件工程师（主攻Web前端开发）。作者探讨学习Lean的挑战，尤其是需要理解类型论和逻辑学等数学家较少接触的基础理论。作者将学习Lean比作研读外语经典文本，需同时掌握多个深奥且独立的知识体系。作者完成了《自然数游戏》和《集合游戏》在线教程，认为这是很好的Lean入门方式。作者解析Lean的三层结构：项(terms)、类型(types)和宇宙(universe)，及其交互关系的理解难点。作者指出Lean因类型与项世界的混合而导致的语法混淆，与TypeScript等语言的明确区分形成对比。作者讨论Lean中可选的命名与类型标注机制，这对初学者可能造成困惑。作者分享初期在数字字面量和类型类(type class)上的困惑，联想到早年学习Haskell的类似经历。作者反思Lean中Prop与Type宇宙分离等理论设计与实际应用的差异。作者列出关于Lean的未解疑问：定义等价性、Prop与Decidable的区别、#eval与#reduce的差异等。作者惊叹于Lean仅用少量基础构造就能构建整个已知数学体系的能力。作者感谢Lean Zulip社区的帮助，提到用Claude解答简单问题，复杂问题仍需专家指导。
DNS-Persist-01: A New Model for DNS-Based Challenge Validation10 days agohttps://letsencrypt.org/2026/02/18/dns-persist-01.htmlLet's Encrypt推出DNS-PERSIST-01，一种用于证书验证的新型ACME挑战类型DNS-PERSIST-01通过持久化授权记录取代了DNS-01的临时令牌机制该新方法通过消除频繁的DNS更新和传播延迟，有效降低了运维成本授权绑定特定ACME账户和CA机构，通过限制DNS凭据分发范围提升安全性DNS-PERSIST-01支持通配符证书，并通过policy=wildcard等可选参数实现范围控制订阅者可设置persistUntil时间戳来限定授权时长，到期前需更新授权通过在同一DNS标签下发布多个TXT记录，可同时授权多个CA机构该方法已于2025年10月获得CA/浏览器论坛和IETF ACME工作组的标准化认证Let's Encrypt的测试CA软件Pebble已支持DNS-PERSIST-01，客户端实现正在开发中计划于2026年第一季度末进行测试环境部署，正式生产环境预计2026年第二季度上线
Show HN: Echo, an iOS SSH+mosh client built on Ghostty10 days agohttps://replay.software/updates/introducing-echoEcho是一款专为iOS和iPadOS设计的快速现代化SSH客户端，适用于丰富的终端工具和AI编程助手。作为原生应用从头构建，Echo具有Metal加速渲染、原生钥匙串集成和Face ID安全验证功能。针对iPhone优化了自定义键盘工具栏和手势方向键，iPad版本则支持完整硬件键盘、分屏浏览和台前调度功能。集成Ghostty终端引擎，能高性能渲染复杂的文本用户界面和AI代理界面。包含精选终端主题合集可供自定义，未来将持续增加新主题。App Store一次性购买价2.99美元，无订阅和内购项目。
Cosmologically Unique IDs10 days agohttps://jasonfantl.com/posts/Universal-Unique-IDs/探索宇宙范围内设备唯一ID分配方案随机ID分配（概率唯一性）与确定性方案的比较分析随机ID：简单可扩展，通过增加位数使碰撞概率可忽略不计确定性ID：集中式与分布式方案（杜威编码/二进制/令牌制）及其不同的增长特性证明任何确定性方案在最坏情况下都必须线性增长不同增长模型（随机/优先/适应度）下ID分配方案的仿真实验人类星际扩张的大规模建模及其对ID长度的影响结论：具备足够位数（如798位）的随机ID可实现宇宙级唯一性安全考量：用于验证的数字签名与保障鲁棒性的纠错机制哲学与实践挑战（如忒修斯之船问题/对象同一性难题）
Trump will kill Netflix's bid for Warner and help Paramount win10 days agohttps://washingtonmonthly.com/2026/02/17/trump-media-control-paramount-warner-me...特朗普试图封杀斯蒂芬·科尔伯特的结果适得其反，反而让塔拉里科访谈在YouTube上获得更多观看量。Netflix不太可能成功收购华纳兄弟探索公司，这可能为派拉蒙-天空之舞接管华纳铺平道路。若派拉蒙-天空之舞收购华纳成功，特朗普及其盟友或将掌控CBS新闻、CNN、HBO等媒体资产。由于担心共和党在参议院选举失利，CBS高管在FCC主席布伦丹·卡尔施压下抢先审查了科尔伯特的节目。若派拉蒙-华纳合并成功，特朗普对媒体的影响力将大幅增强，形成对CBS、CNN和福克斯的集中控制。公众评议期和斯蒂芬·金等人士的反对曾成功阻止过并购案，这为叫停派拉蒙-华纳交易提供了希望。活动人士正被呼吁反对该合并案，以防止特朗普过度控制美国传统媒体格局。
How LLM agents endanger open-source projects10 days agohttps://cusy.io/en/blog/how-llm-agents-endanger-open-source-projects.htmlLLM智能代理通过减少文档访问流量威胁开源项目，影响其收入来源。亚马逊等公司的激进AI爬虫导致服务器过载，增加带宽成本并破坏服务稳定性。已开发Anubis和Nepenthes等工具，通过要求计算谜题或制造虚假内容迷宫来防御恶意LLM爬虫。LLM生成的漏洞报告常包含捏造的漏洞，浪费维护者的时间和资源。AI代理曾试图诋毁开源维护者，破坏社区内的信任与声誉体系。自主LLM代理的兴起对声誉、身份和信任体系构成挑战，企业和用户均试图逃避其行为责任。
Nature: The political effects of X's feed algorithm10 days agohttps://www.nature.com/articles/s41586-026-10098-2X平台（原推特）的推送算法会使政治观点趋向保守立场，尤其在政策优先事项、特朗普调查案看法和乌克兰战争等议题上从时间线排序转为算法推送会提高用户参与度并促进保守派内容传播，而切换回时间线排序则不会产生显著影响该算法会提升保守派内容的曝光率，同时降低传统媒体帖文的可见度，导致用户持续关注保守派活动人士账号影响具有不对称性：启用算法会改变政治态度，但关闭算法并不能逆转这些变化算法调整未对情感极化或党派对立产生显著影响本研究独立于X平台进行，采用随机田野实验方法，在2023年对活跃的美国用户进行了为期7周的观察研究结果表明，初期接触算法推荐内容会对政治态度和网络行为产生持续性影响
Warren Buffett dumps $1.7B of Amazon stock10 days agohttps://finbold.com/warren-buffett-dumps-1-7-billion-of-amazon-stock/伯克希尔哈撒韦将其亚马逊持股减少77%，出售770万股（价值17亿美元）。在纽约时报公司新建仓位，购入500万股（约3.52亿美元），推动其股价上涨10%。苹果公司持股比例降至1.5%，释放出减持大型科技股的信号。增持安达保险（Chubb）和雪佛龙（Chevron）股份，显示出向抗衰退行业转移的策略。以97亿美元收购西方石油公司石化业务，并建立56亿美元的谷歌头寸。这些战略调整表明伯克希尔正在为潜在经济衰退做准备。
Type-based alias analysis in the Toy Optimizer12 days agohttps://bernsteinbear.com/blog/toy-tbaa/Toy优化器系列中基于类型的别名分析(TBAA)介绍使用层次化堆效应表示改进别名分析基于类型别名的范围重叠检查实现将TBAA集成到加载-存储转发优化中利用分配点信息提升别名分析精度保守与精确失效策略的对比讨论运用已知函数效应最小化失效范围分析精度与优化速度之间的权衡考量
The Worst-Case Future for White-Collar Workers10 days agohttps://www.theatlantic.com/ideas/2026/02/ai-white-collar-jobs/686031/由于AI自动化，白领工作者正面临日益加剧的职业不安全感，大学毕业生失业率创下历史新高。AI驱动的劳动力市场变革可能导致结构性失业，工人的技能不再匹配岗位需求。如果AI大规模取代白领岗位，传统经济复苏措施可能失效，导致长期失业问题。失业保险体系无力支撑高收入白领群体，可能会加剧经济不平等现象。关于全民基本收入(UBI)作为解决方案的可行性及其社会影响仍存在争议。长期失业可能导致严重的社会和心理健康问题，与过去蓝领社区的衰落如出一辙。未来可能出现由超级富豪技术寡头阶层与被剥夺权利的底层阶级构成的社会分化，文化适应前景不明。
No food, no fuel, no tourists: Under US pressure, life in Cuba grinds to a halt10 days agohttps://www.cnn.com/2026/02/18/americas/cuba-us-trump-oil-tourism-intl-latam曼迪·普鲁纳回忆2015年奥巴马恢复美古关系后古巴的旅游热潮，威尔·史密斯、蕾哈娜等名人曾乘坐经典老爷车游览由于美国制裁导致燃料短缺和旅游业崩溃，古巴正面临严峻的经济不确定性特朗普政府切断对古巴石油供应，意图迫使这个共产党执政的岛国进行政治经济改革燃料短缺引发学校停课、工人休假、航班取消，酒店和企业纷纷关门歇业年度哈瓦那雪茄节被迫取消，谢里特国际公司因危机暂停在古巴的采矿业务医院缩减服务，垃圾因缺乏燃料和可用垃圾车而堆积成山停电成为常态，夜晚的哈瓦那陷入黑暗，居民们讨论着生存策略包括马可·卢比奥在内的美国官员要求古巴开放经济，而古巴裔政客主张全面切断援助古巴高度依赖食品进口，但供应链正在断裂，短缺状况持续恶化总统米格尔·迪亚斯-卡内尔呼吁民众以战时心态'创造性抵抗'危机随着旅游业崩溃，老爷车司机曼迪·普鲁纳考虑移民西班牙，认为古巴已没有未来
Tesla announces Powerwall 3P with native three-phase inverter10 days agohttps://electrek.co/2026/02/13/tesla-announces-powerwall-3p-with-native-three-ph...特斯拉发布Powerwall 3P家用电池新品，内置三相逆变器，简化欧洲家庭安装流程此前欧洲三相电网用户需安装多达三台独立Powerwall才能实现全屋备电，成本高且复杂Powerwall 3P将三相支持集成于单台设备，可实时平衡各相位负载特斯拉尚未公布3P详细参数及定价，标准版Powerwall 3容量为13.5千瓦时，持续输出功率11.5千瓦该产品通过分析用电量、太阳能发电、天气预报和动态电价实现能源使用优化特斯拉能源业务持续增长：2025年储能部署量创纪录（46.7吉瓦时），营收达128亿美元储能业务现占特斯拉总营收13%、总毛利润23%，表现优于持续下滑的汽车销售在欧洲市场面临Enphase、比亚迪、Sonnen等已推出三相解决方案的竞争对手Powerwall 3P的核心优势是单机实现三相支持，在安装成本上可能低于竞品尽管品牌争议和近期召回事件（超1万台Powerwall）可能影响销售，但3P解决了长期存在的市场需求
In Argentina, locals are taking loans to buy food10 days agohttps://www.aljazeera.com/economy/2026/2/16/in-argentina-locals-are-taking-loans...阿根廷人正通过贷款、变卖物品和使用信用卡来支付食品等基本生活必需品。全职销售员迭戈·纳卡西奥和妻子尽管都有全职工作，仍难以维持生计。近半数阿根廷人依赖存款、借款或变卖物品来支付基本开支。哈维尔·米莱总统的紧缩政策旨在实现财政平衡，但导致工资停滞和企业倒闭。通胀仍是严峻问题，争议性措施人为压低数据的同时实际价格持续飙升。经济分化加剧，部分行业繁荣发展，另一些群体却难以负担食品和药品。许多阿根廷人依靠民间借贷、批量采购和打多份工艰难度日。杂货消费的信用卡使用率与贷款违约率同步创下历史新高。拟议法案试图帮助低收入家庭债务重组，但更需要深层次结构性改革。尽管处境艰难，部分拥有住房的家庭仍庆幸无需承担额外租房开支。
Tailscale Peer Relays is now generally available10 days agohttps://tailscale.com/blog/peer-relays-gaTailscale Peer Relays 现已正式发布（GA），提供客户自主部署的高吞吐量中继服务改进包括更高的吞吐量（尤其在多客户端场景下）及更高效的数据包处理针对严格云环境推出静态端点功能，实现防火墙和负载均衡器后的连接能力通过集成Tailscale工具链增强可视性与可审计性，包含监控指标支持Peer Relays支持受限环境下的高吞吐量低延迟连接，可实现全网状部署所有Tailscale套餐（含免费个人版）均可使用，支持渐进式部署方案
Gemini can now create music10 days agohttps://blog.google/innovation-and-ai/products/gemini-app/lyria-3/Gemini应用推出由Lyria 3驱动的定制音乐生成功能，这是Google DeepMind最新的生成式音乐模型。用户可通过描述创意或上传照片生成高质量曲目，系统会根据提示自动生成歌词。Lyria 3提供更优质的音频生成——无需用户提供歌词、拥有更强创作控制力且曲目更逼真。支持文生曲和图片/视频生曲功能，可生成30秒定制曲目及专属封面艺术。该模型已登陆YouTube的Dream Track功能，助力创作者增强Shorts短视频配乐。所有生成曲目均含SynthID隐形水印，用于标识AI生成内容。Gemini应用新增音频验证功能，与原有的图像视频验证形成完整体系。谷歌强调负责任AI开发，采取规避模仿现有艺术家及尊重版权的措施。Lyria 3目前面向18岁以上多语言用户开放，未来将拓展更多地区。Google AI Plus/Pro/Ultra订阅用户享有更高使用额度权限。
Reddit and Discord users forced to use biometric ID system backed by Palantir10 days agohttps://www.openrightsgroup.org/press-releases/roblox-reddit-and-discord-users-c...Palantir联合创始人彼得·蒂尔是身份验证服务商Persona的主要投资者，该服务被Reddit和Discord等平台用于年龄验证。蒂尔旗下创始人基金投资的Persona正在快速扩张，要求英国用户提交面部扫描以完成年龄验证。Palantir存在争议性合作，包括为美国移民海关执法局(ICE)提供工具，以及与以色列国防部建立伙伴关系。蒂尔的投资网络因与杰弗里·爱泼斯坦的关联而受到审查。在英国，Palantir因公共部门合同和游说问题陷入政治争议。英国用户对向美国科技公司提交生物特征数据以访问网络平台表示担忧。开放权利组织倡导用户选择权、非生物识别替代方案及数据处理透明度。Reddit、Discord、领英和Roblox等主流平台在全球范围内使用Persona进行年龄验证。
What's a "gig work minimum wage"10 days agohttps://pluralistic.net/2026/02/17/no-piecework/'零工最低工资'的概念很复杂，因为零工通常只在执行任务时获得报酬，等待期间没有收入。优步等零工平台将工人错误归类为独立承包商以逃避福利责任，却实际控制着工作的诸多方面。优步及类似平台宣称的高工资仅计算接单时间，忽略无薪等待时间，导致实际收入远低于表面数字。与传统出租车司机相比，零工劳动者完全依赖平台算法，对工作缺乏自主权。西雅图'薪酬保障'计划试图为零工设定最低工资，但因仅适用于接单时间而未能提升总体收入。零工因经济压力被迫接受低薪，而类似薪酬保障的政策将部分成本转回雇主，可能缓解剥削程度。要真正提高零工收入，应支付包括等待时间在内的全部工时报酬，而非仅计算接单时段。
Lyria 310 days agohttps://deepmind.google/models/lyria/Lyria 3是当前最先进的音乐生成模型，专为实时交互式音乐创作而设计用户可上传图片将其转化为高保真定制音轨，并能自定义人声风格和声学偏好该模型支持从流行、放克到摩城等多种音乐风格，可生成不同语言的人声演唱既支持简单指令（如'欢快的生日曲调'），也接受详细参数（如速度与力度）实现精准控制工具设计旨在增强人类创造力，通过艺术家反馈确保赋能创作者并解决其顾虑安全措施包括多重内容过滤、数据标注以减少有害内容，以及采用SynthID技术进行不可感知的水印标记Lyria 3由大型团队开发，特别鸣谢Google DeepMind、Alphabet和YouTube的核心贡献者
Vinyl Cache has left GitHub10 days agohttps://vinyl-cache.org/organization/moving.htmlVinyl Cache项目已从GitHub迁移至自主托管的Forgejo实例希望继续协作的用户需在2026年3月20日前通过指定链接在新Forgejo实例注册新Forgejo实例设有GitHub旧URL转换规则，项目名中的'varnish'需替换为'vinyl'提供bash脚本自动将git仓库设置从GitHub旧URL更新为Forgejo新URL迁移过程包括：用'last'标签标记仓库、更新README文档、归档GitHub仓库迁移期间出现README更新错误及主分支重命名导致的PR问题，均已手动解决未来计划包括建立只读镜像仓库，并恢复vtest测试工具和CI持续集成系统