Hamilton 是一款私密的离线仪表盘，它将 Garmin、Withings 和 Fitbit 等所有设备中的健康数据整合到一个简洁的界面中。通过直接从 Android 的 Health Connect 获取信息，Hamilton 免去了您在多个应用间来回切换以查看步数、体重、睡眠或营养指标的麻烦。 隐私是该应用的核心支柱：Hamilton 不具备联网权限，确保您的数据永远不会离开您的设备。它不执行云同步，无需创建账户，也不包含任何分析功能。 Hamilton 专为拥有多款可穿戴设备的用户设计，能够智能地去重数据，确保您的健康统计数据保持准确。它提供了多种高级功能，如长期趋势图表、用于发现关联性的指标叠加功能，以及自定义数据源锁定，让您可以指定信赖的设备。 Hamilton 是一款“一次购买，永久拥有”的工具。它仅作为您本地 Health Connect 数据的安全只读查看器，这意味着它绝不会修改您的任何记录。如果您想要一种集中、透明且极其私密的方式来监测健康状况，且无需订阅或数据追踪，Hamilton 提供了一个无缝且“实实在在”的解决方案。
每日HackerNews RSS
一位开发者发布了一款名为“Hamilton”的安卓健康仪表盘应用，该应用以其爱犬的名字命名。这款应用通过安卓的 Health Connect 整合了来自各类健身监测设备的数据，提供了一个简洁的界面，让用户在无需云同步的情况下即可追踪关键指标并识别数据间的相关性。
该项目的初衷源于开发者想要整合碎片化健身数据的需求。在随后的 Hacker News 讨论中，用户将其与 F-Droid 上现有的开源替代方案进行了对比。尽管部分评论者对 AI 生成的应用图标提出了批评，但也有人赞赏该应用对隐私保护和离线数据管理的重视。开发者表示，其目标受众主要是倾向于使用 Google Play 商店生态的用户。在讨论过程中，开发者提供了多个兑换码供用户测试，与社区进行了积极互动。尽管对应用名称存在一些小争议，但整体反响依然积极，凸显了简单、离线优先的健康工具所具备的吸引力。
最高法院允许各州使用 SAVE 数据库进行公民身份核查 Supreme Court permits states to use SAVE database for citizenship checks
19 小时前
美国最高法院裁定，各州可以使用联邦SAVE数据库来核实选民的公民身份，推翻了下级法院此前因担心数据准确性及潜在的选民剥夺权问题而作出的禁止使用该数据库的裁决。多数派法官认为，联邦政府有义务协助各州核实公民身份，以确保选举管理的公正性。 SAVE数据库最初是为移民和福利目的而设计的，后被联邦政府重新用于筛选选民登记册。包括投票权组织在内的批评者指出，该工具存在缺陷，其使用违反了隐私法，并强调政府绕过了正式的公众意见征询和透明度要求。 三位持不同意见的法官批评最高法院在未进行充分简报或口头辩论的情况下就作出如此重大的裁决，认为多数派不恰当地规避了既定的隐私保护规定。虽然该裁决准许使用SAVE数据库，但其近期影响尚不确定；许多州历来抵制联邦对选民登记的干预，且法律对选举前夕更改登记册的限制可能会在短期内限制其使用。专家们对该工具的有效性仍存分歧，并援引了其记录在案的准确性问题，以及各州对其可靠性的质疑。
抱歉。
抱歉。
泽连斯基称俄罗斯已扩大攻击范围，目标包括乌克兰的数据中心。 Zelensky says Russia has widened attacks to hit Ukraine's data centres
19 小时前
乌克兰总统弗拉基米尔·泽连斯基指责俄罗斯扩大军事行动，蓄意攻击乌克兰的数据中心和互联网服务提供商。通过打击这些枢纽，俄罗斯旨在扰乱平民生活、教育和通信。近期，基辅一处商务中心遭到无人机袭击，造成4人死亡并损毁了一座数据中心；此外，其他袭击也导致了区域性互联网中断及公共服务受阻。
尽管俄罗斯声称这些设施被用于军事侦察，但乌克兰官员强调，它们属于关键的民用基础设施，对于应急警报和日常运营至关重要。虽然一些公司正在将数据迁移至国外，但官员们认为，乌克兰去中心化的网络将防止出现全面网络瘫痪，尽管服务中断和成本增加的风险依然存在。
与此同时，外界对俄罗斯实施破坏活动的担忧日益加剧。在北约成员国纷纷警告俄罗斯在欧洲范围内加强“混合战争”的背景下，波兰当局正在调查一起针对“星链”卫星地面站的疑似纵火袭击，该站点为乌克兰提供互联网连接。随着冬季临近，这些针对电信设施的攻击，正值俄罗斯近期加强对乌克兰能源和交通基础设施打击之际。
本次 Hacker News 的讨论聚焦于一份近期报告，该报告指出俄罗斯已将其攻击范围扩大至乌克兰的数据中心。
讨论的核心议题包括：
* **战略升级：** 用户们探讨了攻击数据中心是否构成重大升级。一些人认为这标志着这些设施已成为“军民两用”的军事目标；另一些人则警告不要采取“以牙还牙”的策略，并引用了不列颠战役等历史案例，指出改变攻击目标可能是一种战略错误。
* **军事能力：** 参与者讨论了双方的局限性。舆论一致认为，前线推进依然缓慢，但双方利用无人机和弹道导弹进行远程打击的能力都在不断增强。此外，也有人对俄罗斯在不进一步动摇国内经济的情况下进行大规模动员的能力表示怀疑。
* **冲突本质：** 该讨论串反映了更广泛的地缘政治分歧，涉及关于西方援助的必要性、冲突冻结的可能性以及国际支持的作用等争论。一些用户对民用基础设施持续遭到破坏表示沮丧，另一些用户则讨论了各种退出策略的可行性。
* **技术战争：** 讨论触及了无人机技术、后勤保障在现代战争中不断演变的作用，以及数字基础设施的脆弱性。
物理学家兼科普作家马特·冯·希佩尔（Matt von Hippel）最近向人工智能公司发起挑战，要求它们解决理论粒子物理学分支“振幅学”（amplitudeology）领域的一项前沿计算问题。他要求 AI 计算出 N=4 超对称杨-米尔斯理论的九环散射振幅，这是一个此前无法完成的复杂多步过程。 Anthropic 的研究人员利用 Claude Science 成功完成了这一挑战。该 AI 通过一个用于管理复杂且易出错工作流程的“工具框架”（harness），在过去一周内自主执行了该计算，证明了 AI 现在能够在极少人工干预的情况下解决高水平的前沿科学问题。 这一结果已得到包括兰斯·迪克森（Lance Dixon）教授在内的领域内专家的独立验证。尽管有些人担心 AI 会“抢先”人类科学家发表成果，但专家们将这一进展视为协作的胜利。该项目表明，科学研究中存在比预期更多的“唾手可得的成果”，因为 AI 在组织计算资源和执行既定方法方面的可靠性远超以往的认知。 最终，这项实验突显出 AI 已不再局限于简单的学生级任务，而是能够进行复杂的自主研究，这标志着未来科学方法论的重大转变。
这篇 Hacker News 帖子讨论了 Anthropic 赞助的一篇博文，文中声称其 AI 模型 Claude 成功解决了复杂的物理问题（具体为九环散射振幅）。
尽管许多用户承认大语言模型确实有所进步并具备显著的实用价值，但讨论中充斥着对该文展示方式的质疑。批评者认为，这篇博文更像是带有偏见的营销公关稿而非科学报告，并质疑了其中涉及的算力成本透明度以及结果的“黑箱”本质。
争论的焦点在于，这些 AI 模型究竟是真正“解决”了新的科学问题，还是仅仅优化了现有任务，例如重写低效代码或实现研究流程自动化。一些用户指出，AI 在科学领域的真正价值在于弥合领域专家（物理学家）与高效软件工程之间的差距，并指出许多科学瓶颈源于代码优化不足，而非理论进展匮乏。归根结底，这篇讨论反映了社区内部的普遍分歧：一方面是对 AI 加速科学发现的潜力感到兴奋，另一方面则是对围绕这些技术演示的“企业炒作周期”感到厌倦。
继此前对 Meta“Muse”项目的调查之后，作者分析了 Muse 文件系统，以确定该平台是否使用了 OpenAI 或 Claude 等外部模型。
在日志中发现一个标记为 `azure/muse-special` 的会话（这不同于 Meta 标准的“Avocado”模型）后，作者发现了一份已发布模型 ID 的目录，其中包含各种版本的 GPT 和 Claude。加密载荷和特定工具调用格式等技术指标表明，`muse-special` 很可能是通过 Azure 路由的 OpenAI 模型。
这些外部客户端和终止开关配置的存在表明，Meta 维护着一套基础设施，用于进行 A/B 测试或将任务选择性地路由至前沿模型。然而，作者得出的结论是，Meta 并没有利用这些外部会话进行模型蒸馏；来自外部提供商的原始思维链（chain-of-thought）保持加密状态，Meta 的强化学习服务器无法访问，而 Meta 专有的 Avocado 模型则被明确用于训练。
最终，这项调查揭示了一个灵活的服务器端架构，允许 Meta 动态切换模型。作者称赞了该项目的技术执行力，以及 Meta 就这种复杂的代理驱动架构与社区进行的透明沟通。
一位调查 Meta “Muse” 文件系统的 Hacker News 用户发现，日志中引用了一个名为 `azure/muse-special` 的模型。这一发现，结合运行时产生的工件（如“加密的”推理和特定的响应 ID），引发了关于 Meta 是否通过托管在 Azure 上的 OpenAI 模型来处理部分 Muse 查询的猜测。
尽管一些评论者认为这表明 Meta 正在利用外部模型来解决计算资源短缺或进行基准性能测试，但其他人则认为这些证据仅是间接的。他们指出，“OpenAI 风格”的 API 是行业标准，且运行时中出现的 OpenAI 或 Anthropic 客户端可能仅仅是残留的开发工具或依赖项。Meta 员工在该讨论帖中澄清，Muse 使用的是兼容 OpenAI 的 API，但关于底层模型究竟是真正的 OpenAI 模型，还是通过外部基础设施提供的 Meta 自研模型，争论仍在继续。讨论还涉及了大型语言模型（LLM）常见的“失效模式”，用户们分享了模型意外输出外语或内容片段的相关轶事。
在这份研究生指南中，曼努埃尔·布鲁姆（Manuel Blum）通过阅读、学习、思考和写作这四大支柱，为攻读博士学位的旅程提供了实用的智慧。
**阅读与学习：** 布鲁姆鼓励将书籍视为“随机存取”的工具，而非线性阅读的卷轴。阅读时动笔至关重要，它能充当认知桥梁，将一个“有限自动机”转化为强大的“图灵机”。
**思考：** 当陷入困境时，布鲁姆建议想象一位导师正提供提示——这是你可以给予自己的启发。他强调矛盾和悖论是发现的催化剂。他建议，如果你的研究被抢先发表或被证伪，应将其视为学习新方法和新视角的宝贵机会，而非失败。
**博士生体验：** 论文要求你缩小研究范围，直至彻底理解某个微小课题，最终在“一粒沙中见世界”。他提醒学生，虽然导师提供指导，但动力必须来自学生自己。
**结语：** 成功需要坚持不懈，以及在被拒绝后不断完善工作的意愿。最重要的是，布鲁姆敦促学生拥抱自己的独特性，确立一个鼓舞人心的目标，并以成就卓越所需的专注力去追求它。
抱歉。
艾伦·凯：香农为我们提供了一种处理噪声信道的方法 [视频] Alan Kay: Shannon gave us a way of dealing with noisy channels [video]
19 小时前
关于 新闻 版权 联系我们 创作者 广告 开发者 条款 隐私 政策与安全 YouTube 的运作方式 测试新功能 © 2026 Google LLC
在向克里斯汀·尼加德（Kristen Nygaard）致敬的活动中，计算机先驱艾伦·凯（Alan Kay）因直播延迟，意外地制造了一个前卫的音频反馈循环。当他自己的声音在 21 秒的延迟后回响时，凯感慨道，克劳德·香农（Claude Shannon）关于“噪声信道”的研究既是他当前困境的成因，也是他每天都为之赞叹的深邃科学突破。
Hacker News 上的讨论重点突出了以下几个方面：
* **香农极限**：用户阐明了香农定理定义了噪声信道的数学容量；在现实中，接近这一极限极大地依赖于诸如 LDPC 或 Turbo 编码等复杂的纠错码。
* **一场“技术”表演**：这一事件被比作阿尔文·卢西尔（Alvin Lucier）的《我坐在一个房间里》（*I Am Sitting in a Room*），其中媒介本身——网络延迟、压缩和自动转录——成为了艺术。
* **语言哲学**：围绕面向对象编程（OOP）的遗产，人们展开了更广泛的技术讨论。专家们比较了艾伦·凯（Smalltalk）和比雅尼·斯特劳斯特鲁普（C++）截然不同的哲学，辩论了后期绑定与静态类型的优劣、多重分派的演变，以及超越传统对象模型的实验性系统（如 *Korz*）。
``` { "model": "laya:en", "answers": { "intent": { "type": "选择", "choice": "发票", "confidence": 0.9547, "probabilities": { "invoice": 0.9698, "refund": 0.0172, "other": 0.013 } } }, "usage": { "input_tokens": 43, "output_tokens": 0 } } ```
Hacker News 上的这个讨论帖探讨了开源工具 **Ollaya** 的发布，该工具旨在本地运行“Jev 风格”的决策模型（一种专门的分类器）。讨论主要集中在三个主题：
**1. 创新与“炒作”**
许多参与者认为“决策模型”不过是分类模型的重新包装，这是机器学习领域的一种惯常做法。尽管有人认为该技术在实现廉价、高速、零样本分类方面是一项突破，但也有人批评业界将微不足道的改进过度营销为“革命性”技术。
**2. AI 初创公司的“护城河”问题**
一个主要的担忧是，如果 AI 初创公司的工作可以在几周内被开源替代方案复制，那么它们是否还具备可持续的竞争优势。一些观点认为，“护城河”不再仅仅是模型架构，而是用于训练模型的合成数据流水线。另一些人则认为，真正的价值在于提供易用的用户体验和工具，而非模型本身。
**3. 实用性与现实用例**
用户们正在探讨这些模型的实用性。虽然一些人使用它们大幅降低了自动化工作流程（如工单路由、数据提取）的成本和延迟，但另一些人发现，像 “Laya” 这样的现有开源替代方案在准确性上仍明显逊色于商业竞品。
请启用 JavaScript 和 Cookie 以继续。
近期的一场 Hacker News 讨论探讨了一个项目，该项目利用大型语言模型（LLM）集成来对大学橄榄球队进行情报式的分析。项目创建者声称，通过提供背景信息和特定的方法论，人工智能能够生成概率性预测，并将其与现实比赛结果进行对照评分。
这一话题在评论区引发了广泛的质疑。批评者认为，大语言模型并非真正遵循分析方法，而是在“模拟”这些过程，从而导致得出看似令人信服但本质空洞的结果，即通常所说的“AI 垃圾内容”。怀疑者质疑这些预测是否具备实际的预测价值，还是仅仅在编造听起来合理的虚假场景。
除了技术层面的争论，讨论还转向了有关体育界阴暗面的幽默与愤世嫉俗的评论，包括腐败、勒索以及虚荣捐赠者的影响。尽管创建者通过强调长期跟踪与校准的重要性来为系统辩护，但许多用户仍不买账，认为这是一个可疑的 AI 应用，它将原本以社区为核心的体育活动变成了一种冰冷的数据驱动商品。