Hacker News 中文摘要

住房危机涉及房价、在售量和住户去留三方面。在佛罗里达（Florida），业主协会（Homeowners Association，HOA）和公寓协会（Condominium Association）对三方面均有影响。业主协会观察（HOA Spy）收录了 104,659 个佛罗里达协会，其中 27,377 个共持有 1,518,436 套住房；记录显示协会对会员提起 10,296 起止赎诉讼，并有留置权与备案记录，法院记录共 48,999 份，6,661 个协会失效。数字来自官方案卷和县记录，统计的是备案数量，而非失去房屋的数量。

大型语言模型（Large Language Models，LLMs）及常被称为人工智能（Artificial Intelligence）的研究系统，已在生成数学证明上展现能力。尽管其质量与局限尚未完全明确，但加速数学及科技发现的潜力显而易见。抓住这一潜力需将其谨慎融入STEM生态，维护开放、独立的科学事业，此即“黄金时代”情景；而在“黑暗时代”情景下，科技产出短期仍大增，独立的人类科学活动会逐步减弱。

Java 17 引入了密封类，可以显式列出接口或基类允许的子类型。示例用一个密封接口加记录，若不显式列出，内部类会自动成为允许的子类型；代码定义了 SealedType 接口以及 TypeA、TypeB 两个记录，并用 switch 按字符串返回对应实例。熟悉函数式语言里的代数数据类型的话，这类似于 Haskell 或 ML 里的数据类型声明。随后在 Main 类中通过 switch 对值分别匹配 TypeA 和 TypeB。

人工智能如何重塑了Anthropic（Anthropic）的工作与就业？作为一家处于人工智能应用前沿的公司，Anthropic可能成为一项先行指标，用来观察人工智能将如何改变整个经济体中的工作组织方式、招聘流程以及劳动力需求。

好的产品带着制作者的经验、在意的事与判断，即使不知是谁，也能在产品中感到其视角。行业常把软件说得像工厂产出，收集需求、做功能并验证，如今还想用智能体自动化。但即便客户与技术相似，团队做出的东西可能不同，差别在理解与构建风格，也受创始人背景与公司 DNA 影响。在 Linear，我们更看重直觉而非流程或数据，它来自经历、与用户交流和犯错。

特斯拉（Tesla, Inc.）在《Roadster预订协议（Roadster Reservation Agreement，US v.20261015）》中感谢用户预订特斯拉Roadster（Tesla Roadster），称已锁定车辆上市后配置和下单的大致优先级。预订在收到全额预订金（含下单后10天内付款）后生效；预估购买价仅为估算，因配置、功能和硬件未定，最终价格待完成配置后确认。该预订不构成购车或订单，量产临近时用户将受邀完成配置并签署订单协议以启动购买；配置变更时将获发更新协议。

任天堂（Nintendo）的官方时间线在时之笛（Ocarina of Time）之后分成儿童时代、成人时代和陨落勇者时代。远在海拉鲁（Hyrule）王国建立之前，人们生活在女神海利亚（Hylia）升到云端之上的岛屿斯凯洛夫特（Skyloft）上。黑暗风暴将塞尔达（Zelda）卷落到下方的地表，她的朋友林克（Link）拿起女神之剑去寻找她。

自主代理（Autonomous agents）是当下AI领域最热门的事物。OpenAI、Meta、谷歌（Google）和Instinct等公司称，其代理能代表用户浏览互联网，完成从订晚餐、清理收件箱到买新鞋等任务。可一旦其他网站拒绝配合会怎样？最近几周，Meta的Muse、xAI的Grok、OpenAI的Dots及Instinct的用户反映，这些代理在主流网站频频受阻，Yelp、达美航空（Delta Air Lines）和摩根大通（JPMorgan Chase）等已开始或确认阻止其访问。

人工智能公司 Anthropic（Anthropic）正悄悄游说一项人工智能安全法案：只有当某个 AI 模型可能造成 10 亿美元损失，或导致超过 50 人死亡或受伤时，政府才能阻止其发布。据 Politico 报道，在美国商务部（Department of Commerce）注册的独立第三方将定期评估该公司及其 AI 模型；该公司可以向评估方付款，但付款不得影响评估方的独立性。

微RepRap（µRepRap）旨在成为一台RepRap（RepRap，一种可自我复制的3D打印机），能够进行微米（千分之一毫米，即1µm）及亚微米级制造，且仅使用常见、易得的材料。这种精度最初由开放柔性项目（The OpenFlexure Project）设计的3D打印显微镜平台实现。此后又开发出了更适合原型制作与制造的版本，但荣誉归于他们。