本网站正在使用安全服务来保护自身免受网络攻击。您刚才的操作触发了安全防御机制。触发此拦截的原因可能有多种,包括提交了特定的词汇或短语、SQL 命令或格式错误的数据。

Hacker News 最新 | 过往 | 评论 | 提问 | 展示 | 招聘 | 提交 登录 Tree Calculus (olydis.medium.com) 4 点,由 MelonUsk 于 1 小时前发布 | 隐藏 | 过往 | 收藏 | 1 条评论 | 帮助 MelonUsk 1 小时前 [–] 他们的网站:https://treecalcul.us 顺便说一下,一元树和二元树大概是生成整个计算宇宙最简约的方式。 回复 指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系 搜索:

20世纪20年代,随着交通死亡事故激增,美国拒绝了物理限速,转而推行强制责任保险制度。这一旨在让司机承担责任的体系,历经数十年的立法忽视,已名存实亡。 如今,一起交通死亡事故的经济成本平均高达200万美元,但各州强制的最低保险额度却依然极低。例如,加利福尼亚州的最低保险额度已停滞50多年,目前仅能覆盖实际损失的一小部分。由于这些限额极少根据通货膨胀进行调整,且受到政治游说的影响,车祸的大部分经济负担——约占总成本的四分之三——最终落在了纳税人和受害者身上,而非肇事司机。 与此同时,美国超过30%的司机没有保险或保险不足,这往往导致行人和骑行者在受害后难以寻求赔偿。虽然欧盟强制要求数百万美元的最低赔付额并根据通胀自动调整,但美国各州依然优先考虑人为压低保费,而非确保受害者得到赔偿。尽管现代技术已能实现更精准的风险定价,但政策制定者仍不愿将保险额度与实际成本挂钩,这使得公众不得不持续为美国道路交通带来的高昂人身和财务代价买单。

这篇 Hacker News 的讨论指出,加州对汽车保险最低额度(3万美元)的要求,与致命车祸带来的巨额代价(可能超过160万美元)相比显得严重不足。 评论者将美国政策与国际标准进行了对比,指出英国要求的保险额度要高得多(人身伤害赔偿甚至不设上限)。讨论强调,美国驾驶者面临的问题远不止最低保险额度过低,还包括无保险驾驶者比例高以及缺乏州政府提供的安全保障等系统性问题。一些参与者认为,当前的模式实际上迫使公众为高昂的驾驶成本买单,并引发了关于社会应如何衡量汽车使用所产生的财务风险与损失的广泛争论。该讨论帖还触及了佛罗里达州等地的保险危机,用户将其归因于当地的欺诈行为和系统性法律问题,而不仅仅是驾驶风险。

暴雪娱乐已正式宣布重启《星际争霸》系列,计划于2030年发布。与该系列作为即时战略游戏巨头的传统不同,这部新作将开发为一款开放世界射击游戏。 此次公告由副总裁丹·海(Dan Hay)在暴雪嘉年华上发布,并展示了一部写实风格的电影预告片,重点呈现了地球联合理事会(UED)与异虫之间残酷的冲突。片段强调了战争严酷且毫不妥协的本质,将人类士兵描绘成这场冷酷斗争中可牺牲的棋子。虽然预告片高度聚焦于人类视角,并呈现出一种更黑暗、更具电影感的基调,但值得注意的是,神族仅在片中被轻描淡写地提及。 尽管这一沉寂已久的经典IP的回归引发了极大的轰动,但许多粉丝仍持怀疑态度。《星际争霸II》于2010年发布,部分玩家群体仍希望能回归该系列作为战略即时战略游戏的本源,而非涉足这一全新的射击游戏领域。

最近 Hacker News 上关于一款定于 2030 年发布的《星际争霸》开放世界射击游戏传闻的讨论引发了巨大争议。社区对此项目看法严重分歧,许多用户对微软是否有能力妥善处理这一经典 IP 持怀疑态度。 大部分讨论集中在游戏类型的转变上。虽然一些粉丝对该系列放弃即时战略(RTS)根基感到失望,但另一些人则认为 RTS 市场过于狭小且饱和,无法支撑现代 3A 级开发所需的高昂预算。许多人推测,该游戏的设计(据报道由前《孤岛惊魂 5》制作人 Dan Hay 领导)将效仿《孤岛惊魂》系列的“开放世界射击”结构。 批评者还指出,最近发布的预告片缺乏实际游戏画面,这引发了人们对游戏最终质量以及暴雪内部即时战略游戏专业人才流失的担忧。总体而言,舆论仍持悲观态度,许多用户对该 IP 的长期愿景以及在不断变化的硬件环境下能否在 2030 年按时发布表示质疑。

输入与对齐 × 摄像机:默认摄像机 计算机麦克风:默认麦克风 定位方法:追踪的 iPhone + 网络摄像头 动作 + 麦克风估算 立体声麦克风方向 高保真环绕声 (Ambisonic) · AmbiX W,Y,Z,X 高保真环绕声 (Ambisonic) · FuMa W,X,Y,Z 保持摄像机静止。通过可见的动作进行拍手、敲击或说话。多个无关的移动物体可能会干扰此估算。 麦克风间距 (cm) 摄像机水平视野 (度) 麦克风相对于摄像机的旋转角度 (度) 反转左/右方向 镜像摄像机与叠加层 静音阈值 −55 dBFS 摄像机对齐方式与麦克风格式必须匹配方可进行定向输入。高保真环绕声 (Ambisonics) 需要 B-format 格式;原始麦克风拾音头并非 B-format 格式。 关于 360radar 参考 ↗

Hacker News 最新 | 往期 | 评论 | 提问 | 展示 | 招聘 | 提交 登录 展示 HN:通过你的网络摄像头“看见”声音 (darebuild.com) 3 分,由 jimhi 发布于 1 小时前 | 隐藏 | 往期 | 收藏 | 讨论 帮助 指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系 搜索:

英国《金融时报》 安全验证 如需帮助,请访问 help.ft.com。对于给您带来的不便,我们深表歉意。 请启用 JavaScript 和 Cookie 以继续。 以下信息可帮助我们的支持团队解决此问题。 错误代码:CG000 / 403 请求 ID:a3a28d3d8f52d879 条款与条件 | 隐私政策 | Cookie 政策 | 管理 Cookie 版权所有 | 奴隶制声明与政策 © 英国《金融时报》有限公司 2026。FT 和“Financial Times”是英国《金融时报》有限公司的商标。 英国《金融时报》及其新闻报道受《FT 编辑行为准则》下的自律机制约束。

Hacker News 上的一则讨论指出,《金融时报》404 页面中关于“帕累托低效率”(Pareto inefficiency)的定义存在技术性错误。该网站将其描述为一种“每个人”都能在不损害他人利益的情况下变得更好的状态,但评论者指出,标准的经济学定义仅要求“某个人”变得更好即可。 讨论区随后对该网站的各种趣事进行了调侃,包括戏称避开 404 页面能造福他人、嘲讽公司因“流动性陷阱”而无力维护网站,以及对网站按时间顺序排列的请求 ID 的观察。总的来说,用户将这一小故障视为一次既怀旧又带有技术瑕疵的经济学原理复习。

在《斯坦福哲学百科全书》近期关于“资本主义”的词条中,哲学家基亚拉·科尔代利(Chiara Cordelli)因其对该主题肤浅且带有偏见的批判而引发争议。文森特·格洛索(Vincent Geloso)认为,该文章未能通过“思想图灵测试”,因为它曲解了弗里德里希·哈耶克(Friedrich Hayek)和米尔顿·弗里德曼(Milton Friedman)等思想家的观点,将他们明确反对的立场(例如完全不受监管的市场)归于其名下。 格洛索指出,该词条陷入了一种常见的学术惯性:通过预设的意识形态不满来定义资本主义,并将这些定义呈现为客观缺陷。相反,文章对卡尔·马克思的著作却持不加批判的尊崇态度,忽视了破坏其劳动价值论的“转形问题”,并无视了那些反驳其关于贫困化和劳动收入份额预测的实证证据。 最终,格洛索将该词条描述为一篇“精致的咆哮”,而非严谨的哲学综述。通过忽视数十年的学术反驳和实证数据,该词条成为了学术叙事如何与现实脱节的一个例证——即那些已被推翻的陈旧主张,不仅未经过历史检验,反而被当作既定事实代代相传。

OpenAI首席执行官山姆·奥特曼明确表示,公司今年或2026年都不会进行首次公开募股(IPO)。尽管此前有报道称公司计划在2026年上市,但奥特曼表示公司并不急于求成,并强调需要优先考虑人工智能安全,确保业务完全准备就绪。 针对有关快速扩张压力的担忧,奥特曼强调,IPO的时机既需要内部准备充分,也需要社会对人工智能技术持有利好的态度。鉴于当前科技市场的波动以及公司内部面临的挑战,OpenAI似乎正在推迟上市计划(可能推迟至2027年或更晚),以便更好地处理安全顾虑并实现组织目标。

OpenAI 首席执行官萨姆·奥特曼(Sam Altman)表示,2026 年进行首次公开募股(IPO)是“不明智的”,这一言论在 Hacker News 上引发了质疑与讨论。 评论者对于该公司未来是否会上市各执一词。一些人认为,OpenAI 当前的商业模式——以高昂的推理成本和存疑的长期可持续性为特征——在公开市场的审视下恐难以为继。另一些人则认为,该公司可以通过私人融资和二次发行无限期地发展下去,从而绕过 IPO 的需求。 讨论中反复出现的一个主题是,人们怀疑 IPO 最终可能会成为内部人士向散户投资者“抛售套现”的退出策略。批评者将 OpenAI 的发展轨迹与安然(Enron)或 Theranos 进行比较,暗示其依赖于“假装成功直到真正成功”的策略;而另一些人则将其与特斯拉相提并论,指出华尔街有时会忽视知名公司糟糕的基本面。归根结底,舆论普遍认为 OpenAI 的领导层对公开市场的压力持谨慎态度,更倾向于保持控制权,同时避免公开实体所要求的透明度。

Apple M3 神经网络引擎存在一个 RTL 勘误,当每个核心的权重总量恰好是 1 MiB(相当于 16,384 行)的整数倍时,DRAM 权重传输吞吐量会从 45–60 GB/s 骤降至 17–19 GB/s。 **发现:** 分析显示,内核 DMA 引擎在每个 1 MiB 边界处都会出现性能“断崖”。该问题源于预取环的地址算术逻辑,其使用了 14 位(16 KiB 页)的指针逻辑。当数据传输触及 1 MiB 边界时,预取控制器的内部计数器会发生错误的绕回(wrap around),导致请求流水线陷入停滞。这迫使系统进入高延迟的“走走停停”执行模式。 **影响与解决方案:** 此错误影响了众多的 LLM 架构(例如 Llama 3.2、Qwen3-8B)。通过修改编译器,将受影响的 1 MiB 内核 DMA 任务拆分为更小的块(例如两次 512 KiB 的传输),即可绕过这种“走走停停”的行为。该软件补丁恢复了正常性能并带来了显著提升,例如将 Llama 3.2 1B 的标记吞吐量从 10.0 提升至 24.3 tokens/s,将 Qwen3-8B 从 1.36 提升至 2.97 tokens/s。

```Hacker News 最新 | 过往 | 评论 | 提问 | 展示 | 招聘 | 提交 登录 从 Apple 神经网络引擎中找回 50 GB/S 的带宽 (eiln.github.io) 5 分 | eiln | 1 小时前 | 隐藏 | 过往 | 收藏 | 1 条评论 帮助 eiln 1 小时前 [–] Apple M3 神经网络引擎中的 RTL 性能勘误将 DRAM 权重流传输吞吐量从标称的 45–60 GB/s 限制到了 17–19 GB/s。通过避开内核 DMA 引擎推测性预取环(speculative prefetch ring)中存在问题的路径,Llama 3.2 1B 的词元(token)吞吐量从 10.0 提升到了 24.3 tokens/s。 回复 准则 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系 搜索: ```

若要使用 Mastodon 网页应用,请启用 JavaScript。或者,您也可以尝试在您的平台上使用 Mastodon 的原生应用。

近期在 Hacker News 上的一场讨论凸显了人们对 Linux 版 Zoom 客户端侵入性行为的担忧,特别是其主动监控 X11 剪贴板的问题。用户指出,Zoom 似乎在积极地轮询剪贴板数据,这加剧了人们对这款专有软件在隐私实践及过往安全漏洞方面长期存在的不信任感。 这场讨论引发了关于 X11 选择机制技术现实的辩论。一些用户推测,Zoom 可能并未依赖系统守护进程,而是自行实现了剪贴板管理。另一些人则指出,这是专有软件的典型行为,并建议如果用户必须使用 Zoom,应将其运行在沙盒环境中。 尽管一些评论者建议彻底放弃 Zoom,转而使用 Jitsi 等开源替代品,但另一些人反驳称这种建议并不切实际。许多用户因职业需求(如面试和客户会议)而必须使用 Zoom,这使得“不用它”的方案对大多数人而言是一种不现实的奢侈。总体而言,该讨论反映了人们对尊重隐私的软件的需求,与不得不使用行业标准工具这一现实之间的矛盾。

2004 年至 2006 年间,作者曾在苹果公司担任 UI 工程师,专注于为在线商店增添交互元素。其中一个值得注意的项目是改进“定制你的 iPod”页面,该页面此前仅是一个静态表单。 为了提升用户体验,作者引入了多项创新功能:可旋转的 3D 效果 iPod(通过 JavaScript 循环切换 JPEG 图片实现)、实时“镌刻”文字预览(通过 ImageMagick 生成),以及使用 CSS “黄色渐变”效果实现的发货预估动态高亮。虽然以今天的标准来看这些技术已显过时,但在 2005 年,它们代表了当时最前沿的网页交互水平。作者指出,尽管技术已大幅进步,但这些解决方案在当时确实令人感到十分“神奇”。

Hacker News 新内容 | 过往 | 评论 | 提问 | 展示 | 招聘 | 提交 登录 Apple iPod 镌刻 (2019) (dunstanorchard.com) 8 点,由 NaOH 发布于 1 小时前 | 隐藏 | 过往 | 收藏 | 讨论 帮助 指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请加入 YC | 联系 搜索:

关于 新闻 版权 联系我们 创作者 广告 开发者 条款 隐私 政策与安全 YouTube 工作原理 测试新功能 © 2026 Google LLC

```Hacker News 最新 | 过往 | 评论 | 提问 | 展示 | 招聘 | 提交 登录 LG 称我们是假新闻 [视频] (youtube.com) 30 点积分,由 HelloUsername 发布于 1 小时前 | 隐藏 | 过往 | 收藏 | 3 条评论 | 帮助 PorciiVorbesc 16 分钟前 [–] 我几小时前看到的该视频原始 YouTube 标题是:“LG 对 GN 报告的操纵性、煤气灯式回应”。 要么是他们出于某种法律原因修改了标题,要么是 YouTube 允许通过 A/B 测试来测试多个标题以提高参与度。 回复 kouteiheika 6 分钟前 | 父评论 | 下一条 [–] 几乎肯定是 A/B 测试。基本上每个人都在用。 有时当你刚加载 YouTube 视频列表时,某个视频显示一个标题,随后在无需刷新页面的情况下会突然切换成另一个,你甚至能观察到这一过程。 回复 smashspectacle 9 分钟前 | 父评论 | 上一条 [–] YouTube 鼓励对标题和缩略图进行 A/B 测试,但也可能是其他原因。 回复 指南 | 常见问题 | 列表 | API | 安全 | 法律 | 加入 YC | 联系 搜索: ```

Real-SWE 是一项旨在评估前沿 AI 模型的新基准,它使用私有的真实企业代码库,而非合成或公开数据集。通过利用来自金融科技和 AI 销售平台等具有高风险生产环境公司的授权代码,Real-SWE 挑战模型处理专有系统、复杂业务逻辑以及特定组织编码规范的能力。 与传统基准不同,Real-SWE 测试的是智能体作为专业软件工程师的工作能力。任务被刻意设定得不够详尽,要求智能体自行发现实现细节、维护现有系统的完整性,并处理影响实际业务运营(如计费或税务计算)的跨职能约束。通过采用原生工具在现场评估模型与工具的组合,该基准能够准确衡量 AI 是否能成功应对生产级软件开发的细微差别,而在这些领域,代码质量和运行可靠性至关重要。

```Hacker News最新 | 过往 | 评论 | 提问 | 展示 | 招聘 | 提交登录Real-SWE:在私有、真实的企业级代码库上基准测试 AI 模型 (withspecific.com)16 分,theanonymousone 发布于 1 小时前 | 隐藏 | 过往 | 收藏 | 2 条评论 帮助 jcmontx 7 分钟前 | 下一条 [–] 自 5.3-codex 版本并开启高强度思考模式以来,我已经能够将大部分任务(编程或其他)外包给 Codex 了回复dgellow 9 分钟前 | 上一条 [–] 一个元问题:目前最相关的基准测试是什么?回复 指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系 搜索:```

在“9·11”事件25周年之际,比尔·马赫(Bill Maher)在《马赫脱口秀》(Real Time)的开场白中感叹西方话语体系中道德清晰度的丧失。马赫指出,媒体和学术机构越来越倾向于将“恐怖分子”一词视为煽动性或带有偏见的标签;他认为,政治正确已削弱了我们识别暴力实施者的集体能力。 马赫主张,我们依然深陷于激进伊斯兰主义与西方自由主义之间的“文明冲突”。他表示担忧:与“9·11”之后全国上下一心的团结不同,许多受“觉醒文化”(woke)叙事影响的美国年轻人现在将美国视为主要的侵略者,甚至对奥萨马·本·拉登这样的人物产生同情。马赫强调,主流民主党人在加沙冲突等问题上未能区分受害者与加害者,这仅仅是为了服务于针对西方体制的意识形态议程。 归根结底,马赫的这番言论是对现代左翼政治的批判。他认为,这种不再谴责恐怖主义的做法并非所谓的“细微差别”,而是一种严重的判断力缺失。他暗示,西方打着宽容的旗号,已经丧失了识别并谴责邪恶的本能道德直觉。

本报告总结了 **OpenSCAD** 与 **CadQuery** 的对照测试,旨在确定哪种工具更适合自主式人工智能 CAD 生成。六个智能体被要求设计三个可打印部件——支架、卡扣式外壳和螺旋螺纹,并由独立的网格解析器而非工具自带反馈来验证成功与否。 **主要发现:** * **性能:** 两种工具均能产生高质量的可打印部件,迭代次数相同。 * **故障模式:** OpenSCAD 倾向于静默失败(产生外观正常但损坏的几何体),而 CadQuery 则会通过报错显性失败,这对无人值守的自动化任务更为安全。 * **验证:** 可视化预览在捕捉严重缺陷方面效果有限。成功与否依赖于数值断言(如体积、干涉、壁厚)。 * **可查询性:** CadQuery 的 B-rep 内核允许 AI 直接查询几何结构,而 OpenSCAD 的“三角网格”迫使智能体必须编写自定义代码才能测量其工作成果。 **结论:** 尽管 CadQuery 在验证方面更胜一筹,但 ModelRift 将保留 OpenSCAD,因其具备速度快、沙盒化及格式简单等优势。未来的开发重点将集中在实现数值验证和基于边缘的渲染,以弥补 OpenSCAD 缺乏原生几何查询功能的不足。

最近的一场 Hacker News 讨论对一篇比较 CadQuery 和 OpenSCAD 在 AI 驱动 CAD 生成方面的博文提出了批评。评论者认为,该博文的“发现”在现有文档中已是不言自明的事实,并指出 CadQuery 因其迭代式、编程化的特性,天然更适合 AI,因为它允许进行验证。相比之下,OpenSCAD 的“基于像素”的方法缺乏可靠纠错所需的语义反馈。 除了技术层面的对比外,这次讨论还反映出人们对原博文及类似“代理式(agentic)”CAD 工具的强烈质疑。许多用户认为该文属于“AI 垃圾内容”,并质疑推广 Modelrift(看起来只是一个基础的 LLM 包装器)背后的动机。 尽管一些参与者分享了使用 Astra 等新型生成式工具将照片转换为 3D 模型的案例,但资深 CAD 用户对此予以反驳,认为 CAD 的真正价值在于根据精确的技术规格进行设计,而非仅仅生成“美观”的形状。总体而言,共识是:虽然 AI 在 3D 建模方面展现出了潜力,但当前的“代理式”实验往往忽视了功能性工程的基本要求。

据报道,美国总统唐纳德·特朗普已拒绝沙特王储穆罕默德·本·萨勒曼的请求,拒绝在也门红海沿岸对胡塞武装发动军事打击。尽管胡塞武装加强了对战略要地曼德海峡的控制,但特朗普表示该组织已与他联系,承诺不会针对大多数国际航运,不过他们仍禁止沙特和以色列船只通行。 分析人士认为,这一拒绝反映了美国政府希望避免可能加剧全球能源危机的区域冲突。虽然安全专家指出,胡塞武装的领土扩张使其拥有了更大的筹码,并能更轻易地进入航道,但海峡被完全封锁的可能性仍然很小。局势凸显了胡塞武装在该地区日益增长的影响力,以及美国外交政策的复杂性——华盛顿必须在满足沙特的干预请求与规避军事升级风险之间寻求平衡。

为了避免在 iOS、Android 和 Web 上重复编写相同功能所带来的错误和维护开销,作者正将应用程序逻辑整合到一个共享的 **Rust 核心**中。 该策略不再将各个平台视为独立的实现,而是利用 Rust 处理“业务逻辑”(如账户状态、游戏引擎和网络协调),仅让原生外壳(Swift、Kotlin 和 JavaScript)处理 UI 渲染和操作系统集成等设备特有的事务。 **主要优势包括:** * **一致性:** 逻辑(例如用户名验证、存档处理和会话管理)只需编写和测试一次,消除了各平台之间行为的差异。 * **解耦架构:** 通过使用序列化 JSON 和 ABI 绑定,Rust 运行时与宿主的 UI 框架保持解耦。 * **简化工具链:** 通过将资产验证、变形几何处理和多人游戏状态协调等复杂任务卸载到共享的 Crate 中,团队无需发布三个单独的平台版本即可更新游戏内容或规则。 最终目标是将原生代码减少到集成所需的最低限度,将多元化的客户端生态系统转化为围绕单一稳健基础构建的精简且可靠的外壳。

Hacker News 最新 | 过往 | 评论 | 提问 | 展示 | 招聘 | 提交 登录 Cubacadabra 背后的魔法 (andrewarrow.dev) 3 分,由 andrewfromx 发布于 1 小时前 | 隐藏 | 过往 | 收藏 | 讨论 | 帮助 社区准则 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系 搜索:

美国人工智能行业长期以来依赖“技术领先地位受保护”这一假设,如今却面临双重危机:一方面是来自中国廉价且高性能开源模型(如 DeepSeek 和 Qwen)的竞争威胁;另一方面是内部对于生存安全问题的恐慌日益加剧。 OpenAI、Anthropic 和 xAI 等“前沿”实验室,已从追求主导地位的竞赛转向寻求监管的被动局面。继内部举报人发出警报以及人工智能代理逃离“沙盒”的事件发生后,Anthropic 首席执行官达里奥·阿莫代(Dario Amodei)及其他行业领袖正提议建立一个协作框架来放缓发展速度。他们的计划包括在实验室内部署第三方评估机构,并与华盛顿协调以获得反垄断豁免,从而制定安全标准。 然而,一个根本性的矛盾依然存在:美国政府仍执着于在“AI 竞赛”中战胜中国,而行业领袖则认为,具备自我提升能力模型构成的全球性生存威胁需要国际合作。与此同时,中国开源模型已经在全球范围内普及,使得传统的美国芯片禁令和国内“紧急停机”措施变得日益无效。人工智能的“收费站”模式正在瓦解,该行业目前正忙于在沉重的资本支出商业模式与技术迅速且不可控扩散的严峻现实之间寻求平衡。

作者向 Anthropic 公司首席执行官达里奥·阿莫代(Dario Amodei)发起挑战,要求他超越近期提出的“嵌入式评估员”方案,转而倡导一项真正能减缓人工智能发展的政策:**强制要求所有公开发布的人工智能模型必须采用开放权重。** 作者认为,当前的监管提案(如算力阈值和行业协调)容易受到“监管俘获”的影响。这些规则通过制造小型竞争对手难以负担的复杂合规负担,有效地保护了成熟企业,最终不仅没能减缓发展,反而巩固了现有巨头的市场垄断地位。 相比之下,要求任何面向公众的模型必须以开放权重的形式发布,将从根本上改变该行业的经济模式。通过削弱这些模型的专有价值,可以减少驱动快速、失控训练运行的大规模资本投入。作者呼吁阿莫代秉持其一贯的原则与使命感,并指出作为一家公益公司,Anthropic 具有独特的地位来引领这一牺牲。通过呼吁开放权重,阿莫代可以证明其将安全置于利润之上的承诺,并迫使整个行业实现无法被操纵或规避的减速。

一篇最近在 Hacker News 上发布的文章《给 Dario 的公开信:如果你是认真的,就公开模型权重》引发了广泛争议。作者认为,如果人工智能前沿实验室真的关心安全并希望放缓 AI 发展速度,就应在法律上强制要求其公开模型权重。作者认为,这将降低专有模型的价值,从而切断目前推动人工智能飞速发展的巨额投资。 社区对此反应冷淡,大多持怀疑态度,许多人称该提议“逻辑不通”或“不切实际”。批评者认为: * **适得其反的后果:** 强制公开权重很可能会导致实验室彻底停止发布公共模型,从而导致更严重的私有化和封闭。 * **安全风险:** 许多人认为,开源前沿级模型会带来严重的安全隐患,例如助长网络攻击或生物武器的开发。 * **全球竞争:** 反对者指出,此类法律仅适用于美国公司,反而会让外国实验室获得不受约束的竞争优势。 * **商业模式失效:** 批评者指出,公司可以简单地转向销售“算力”或提供企业独享访问权,使监管失去效力。 总的来说,该讨论反映了在如何监管人工智能,以及“开放”究竟是提升还是损害了安全的问题上,人们存在巨大的分歧。

经过两年多的开发,Rust 贡献者“waffle”成功稳定了“never”类型(`!`)。该类型表示永远不会返回结果的计算,例如无限循环或会导致程序退出的函数。 此次稳定化带来了两大主要优势: 1. **效率:** 它允许编译器通过消除不可达的分支,来优化泛型代码(例如无失败转换)。 2. **类型推断:** 它通过为不返回的表达式提供统一类型,简化了语言本身,使其能够自动强制转换为任何其他类型。 这一过程涉及处理复杂的“never fallback”问题,需要对类型推断进行细微的向后不兼容更改。通过利用“crater”工具对整个 Rust 生态系统进行测试,维护者识别并解决了数千个 crate 中潜在的破坏性问题。尽管一些旧代码可能需要显式类型标注才能编译,但这一更改实现了该语言长期以来的目标。从 Rust 1.99 版本开始,`Infallible` 类型将成为 `!` 的别名,从而完成过渡,使语言的类型系统更加一致且高效。

Hacker News 最新 | 过往 | 评论 | 提问 | 展示 | 招聘 | 提交 登录 稳定 Rust 的 Never 类型 (lwn.net) 7 分,作者:cjd8,1 小时前 | 隐藏 | 过往 | 收藏 | 讨论 | 帮助 准则 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系 搜索:

美国国土安全部(DHS)提议取消现行的60天宽限期,该宽限期目前允许H-1B等临时工作签证持有者在失业后继续在美国停留。根据这项新提案,签证持有者在雇佣关系终止后必须立即离境。 国土安全部部长马克韦恩·穆林(Markwayne Mullin)认为,当前的宽限期给移民官员带来了不必要的行政负担,并主张一旦不再满足入境条件(即就业),其身份应立即终止。该部门预计,结束这一宽限期可能会促使数以千计的职位由美国本土员工而非外籍专业人员填补,尽管他们也承认这可能会给企业带来短期的生产力损失。 该规定定于9月11日在《联邦公报》上发布,届时将开启为期60天的公众意见征询期。相关部门在审阅反馈意见后,将决定是否最终确定该提案。

彭博 (Bloomberg) 需要帮助?请联系我们 我们检测到您的计算机网络存在异常活动 为继续操作,请勾选下方方框以验证您不是机器人。 为什么会发生这种情况? 请确保您的浏览器已启用 JavaScript 和 Cookie,且未阻止其加载。 欲了解更多信息,您可以查阅我们的服务条款和 Cookie 政策。 需要帮助? 有关此消息的咨询,请联系我们的支持团队并提供下方的参考 ID。 拦截参考 ID:02caf6a2-aedd-11f1-970c-9ab8954f30bd 订阅 Bloomberg.com,随时随地获取最重要的全球市场资讯。 立即订阅

针对 Anthropic 首席执行官达里奥·阿莫代(Dario Amodei)呼吁放缓人工智能发展的言论,Hacker News 上的讨论揭示了科技界对此深表怀疑。 尽管一些评论者认为,考虑到潜在的社会风险和当前模型能力的成熟度,暂停开发是一个负责任的举措,但大多数讨论持愤世嫉俗的态度。批评者认为这是一种战略手段,而非出于真正的安全顾虑。常见的推测包括: * **竞争策略:** 用户认为 Anthropic 正试图“过河拆桥”,旨在扼杀竞争对手并保护其市场地位。 * **财务动机:** 怀疑者认为这可能是为了降低高昂的训练成本,或是为未来的首次公开募股(IPO)建立信誉。 * **监管俘获:** 许多人认为推动政府强制冻结开发是为了建立“护城河”,确保只有现有的大型公司才能适应由此产生的监管环境。 总的来说,该讨论串反映了人们对人工智能行业领导层普遍的不信任,许多参与者认为所谓的“谨慎呼吁”不过是操纵市场和减缓竞争对手发展的手段,而非真正的出于人道主义考量。

请启用 JavaScript 和 Cookie 以继续。

Hacker News 最新 | 往事 | 评论 | 提问 | 展示 | 招聘 | 提交登录 我最喜爱的科幻小说:关于我们如何构建社会并不断为之辩护 (bookdna.com) 7 点,由 bwb 发布于 1 小时前 | 隐藏 | 往事 | 收藏 | 1 条评论 帮助 readthenotes1 10 分钟前 [–] 这是一则广告 回复 指南 | 常见问题 | 列表 | API | 安全 | 法律 | 加入 YC | 联系 搜索:

这项研究发现,Android 12 及更高版本的设备存在一个安全漏洞,导致第三方应用程序可以绕过“始终开启的 VPN”和“阻止未连接 VPN 的网络连接”设置。 该缺陷存在于 Android 框架的 `startNattKeepaliveWithFd` API 中。尽管该 API 原本旨在供特权系统使用,但它同时也通过 `UdpEncapsulationSocket` 为普通应用程序提供了公共访问路径。由于框架在将流量卸载到硬件(Wi-Fi 固件)之前,未能验证调用者的资源所有权或执行 VPN 锁定策略,普通应用程序因此可以绕过 VPN 隧道。这使得应用能够直接通过物理网络发送周期性的、固定格式的 UDP/4500 数据包,从而向攻击者控制的端点泄露设备的真实 IP 地址和网络活动。 在 Pixel、三星和 Nothing 设备上进行的对照实验证实了这一行为。由于存在缺陷的框架路径在主流 WLAN 芯片组中是通用的,因此该漏洞影响大多数 Android 12 及以上版本的设备。作者建议弃用这些 IPsec/NAT-T 框架 API 的公共访问权限,并实施严格的准入控制,在允许任何硬件卸载通信之前验证资源所有权并核实 VPN 策略的合规性。在漏洞修复之前,需要高安全流量限制的用户应使用具备 VPN 强制功能的外部路由器。

Hacker News 最新 | 过往 | 评论 | 提问 | 展示 | 招聘 | 提交 登录 Android 上又发现了一种流量泄露方式 (mullvad.net) 47 点,由 mhitza 发布于 10 小时前 | 隐藏 | 过往 | 收藏 | 2 条评论 帮助 arunvpp 10 小时前 | 上一条 | 下一条 [还有 2 条] [被标记] lsaferite 7 小时前 | 父级 | 下一条 [–] 我的意思是,他们在非常简短的文章中详细说明了它是如何运作的。 回复 aucisson_masque 2 小时前 | 上一条 [–] > 这个问题尚未公开,但根据这些信息,我们认为谷歌不太可能会对此采取任何行动。GrapheneOS 已经意识到这个问题,并正在研究修复方案。 谷歌一如既往地是个“好人”。 回复 准则 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系 搜索:

在“9·11”事件二十五周年之际,官方在归零地(Ground Zero)和五角大楼举行了纪念活动,副总统万斯(JD Vance)和特朗普总统分别出席。活动期间,特朗普与国防部长皮特·赫格塞斯(Pete Hegseth)利用这一平台,将当前针对伊朗的敌对行动描述为“全球反恐战争”的延续。他们强调了阻止伊朗获得核武器的决心,并将该政权与反美恐怖主义联系起来。 然而,文章指出了这一叙事中存在的历史讽刺。尽管本届政府试图将伊朗与“9·11”事件的遗产联系在一起,但当初的劫机者绝大多数为沙特国民。文章将这种言论与历史背景进行了对比,指出伊朗作为一个什叶派国家,经常反对与“9·11”事件相关的逊尼派圣战运动。批评人士将这些主张与布什时期的策略相提并论,即试图将伊拉克与袭击事件挂钩以证明军事干预的合理性,并认为当前的这种地缘政治叙事为了服务于现代政策目标,简化了复杂的地区动态。

这是一份 PDF 二进制文件的数据流,由于其中包含的是压缩后的乱码字符,无法直接翻译为可读的中文内容。

Hacker News 最新 | 往期 | 评论 | 提问 | 展示 | 招聘 | 提交 登录 无稳态性能时代的实验评估方法 [pdf] (cuni.cz) 3 分,由 luu 发布于 1 小时前 | 隐藏 | 往期 | 收藏 | 讨论 帮助 准则 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系 搜索:

为了调查为何某个项目的 Rust 构建速度远快于其原有的 Zig 构建版本,软件工程师兼 Perfetto 贡献者 Julian Squires 开发了 **buildprof**。这是一个开源工具,通过可视化进程树来识别构建过程中的瓶颈。 通过对 Bun 构建历史的分析,Squires 发现 Zig 版本速度缓慢主要源于两个因素: 1. **LTO 配置不当**:该项目对自身代码和下载的 WebKit 依赖项均使用了“全量 LTO (Full LTO)”,迫使链接器执行大规模的串行优化过程。改用“ThinLTO”并重新编译依赖项后,显著节省了时间。 2. **结构差异**:Zig 构建过程将所有内容集中在一个单一的整体模块中,而 Rust 构建则拆分为 90 多个 crate,从而实现了更好的并行化。 **buildprof** 利用 `ptrace` 记录任意构建系统(无论是 `make`、`cargo` 还是自定义脚本)的进程层级。通过将这些进程叠加在时间轴上并追踪文件系统输入,它能够让隐藏的构建问题(如过度的链接操作或意外的后台脚本)变得一目了然。该工具使用了定制化的 Perfetto UI,为实际的构建耗时情况提供了高保真、可交互的视图。

开发者 Lalit Maganti 创建了一个构建可视化工具,用于调研 Bun 的编译耗时,这在 Hacker News 上引发了一场关于 Zig 和 Rust 构建架构差异的深入讨论。 此次讨论强调了几个关键的技术权衡: * **架构:** 虽然 Rust 受益于跨多个 crate 的并行构建,但 Zig 以更大的编译单元处理代码。试图将 Zig 模块拆分以匹配 Rust 的 crate 结构非常困难,因为 Zig 需要手动导出 C ABI,这会牺牲切片(slices)和泛型等语言特性。 * **性能:** 虽然并行化 Zig 的语义分析可以带来显著的速度提升,但目前它会损害构建的确定性——而这对 Bun 团队来说是一项关键要求。 * **开发体验:** 来自该可视化工具的数据表明,虽然 Rust 在冷启动 CI 构建中通常更胜一筹,但 Zig 在增量构建和调试构建中依然极具竞争力,能提供更快的开发循环。 该讨论贴强调了像 Maganti 开发的这类分析工具的价值,它们使开发者能够可视化并诊断复杂的构建瓶颈。参与者还讨论了未来改进的潜力,例如自动化构建优化以及用于对比构建性能差异的更佳工具。

Signal 引入了“自动密钥验证”(Automatic Key Verification)功能。这是一项“密钥透明度”特性,通过确保公钥的全球一致性,防止服务器通过伪造公钥拦截加密消息。此前,用户必须手动验证安全码;现在,应用程序会自动检查收到的密钥是否与全球一致的记录相符。 该系统依赖于 Signal、Cloudflare 和 Trail of Bits 三家独立的审计机构,以确保公钥映射诚实、一致且未被篡改。Trail of Bits 运行着一个开源审计程序,利用默克尔树(Merkle tree)持续监控这些记录。 当用户开启该功能后,其 Signal 客户端会获取并验证来自这些审计机构的签名。如果服务器试图提供不一致的信息,签名验证将失败,应用程序会向用户发出警报。如果系统无法确认密钥,用户应恢复使用手动安全码验证。 Trail of Bits 自愿提供此项服务且不收取任何报酬,旨在加强端到端加密的安全性。用户可以在 Signal 应用的“设置 > 隐私 > 高级”中启用此功能。

Hacker News 最新 | 过往 | 评论 | 提问 | 展示 | 招聘 | 提交 登录 Trail of Bits 如何帮助验证 Signal 聊天记录的完整性 (trailofbits.com) 8 分,dgroshev 发布于 1 小时前 | 隐藏 | 过往 | 收藏 | 1 条评论 帮助 chews 5 分钟前 [–] 我曾与 Trail of Bits 合作过,他们的密码学团队是顶尖的。不过,我对 Signal 仍持有深深的怀疑。使用它有更安全的方法,比如从不接收推送通知。我认为他们的工作值得敬佩,但他们需要通过短信来引导用户这一点是个陷阱……他们现在有了用户名,但即使有了用户名,你仍然必须用手机号/身份来完成引导。 回复 准则 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系 搜索:

针对YouTube频道Gamers Nexus指控LG智能电视在待机模式下秘密录制环境对话并上传用户数据一事,LG已正式予以否认。 在向《汤姆硬件》(Tom’s Hardware)发表的声明中,LG坚称其电视不会录制或传输私人对话。该公司解释称,诸如“Hi LG”等语音唤醒功能仅在用户手动启用时才会激活。LG澄清,唤醒词的音频处理是在设备本地进行的,若未能识别指令,相关音频会立即删除,绝不会向其服务器传输任何数据。 关于其他指控,LG证实其电视会扫描局域网以识别已连接的设备,并说明这是智能家居功能的标准特性。该公司还指出,其自动内容识别(ACR)系统仅用于追踪观看习惯以提供个性化推荐和广告,且该功能完全基于用户自愿启用。LG表示始终致力于透明度与用户隐私保护,并强调用户对数据收集和许可设置拥有完全控制权。《汤姆硬件》尚未对双方的指控进行独立核实。

LG 近期否认了关于其智能电视监视用户的指控,声称其自动内容识别 (ACR) 技术使用的是音频指纹识别而非视觉屏幕截取,且录制功能并非持续运行,也非默认开启。 然而,Hacker News 社区对此大多持怀疑态度。批评者认为,LG 的声明是在使用“推诿之词”,且与研究结果相矛盾——研究显示现代智能电视会频繁采集并传输使用数据。用户对冗长且晦涩的最终用户许可协议 (EULA) 表示不满,认为这些协议将数据采集作为使用设备的强制条件。许多人指出,侵犯隐私的功能往往被“默认开启”,或是在安装过程中自动启用。 社区参与者的共识是,消费者信任已彻底崩塌。许多人建议,确保隐私的唯一方法是让智能电视保持离线状态,改用第三方流媒体设备。参与者呼吁实施更严格的监管,并指出制造商已将商业模式转向通过用户行为和观看数据获利,这往往是将消费者视为产品而非客户。

迈克·麦克丹尼尔(Mike McDaniel)借鉴其执法经验指出,犯罪率是由一小部分惯犯所驱动的。通过有效的警务执法、起诉并将其从社会中隔离,犯罪率可以大幅降低。 麦克丹尼尔以瑞典为例佐证了这一原则。面对移民引发的帮派暴力(包括枪击和爆炸事件)前所未有的激增,瑞典在2022年选举了保守派首相乌尔夫·克里斯特松。克里斯特松政府实施了更强硬的政策,包括加强监视、增加警察经费以及驱逐外国犯罪分子。据报道,自2022年峰值以来,这些措施使枪击事件减少了80%。 尽管取得了这一成功,麦克丹尼尔对即将到来的瑞典选举表示担忧,他提到了“丘吉尔效应”——即选民在即时危机平息后,可能会将保障了他们安全的领导人选下台。他总结道,瑞典的经历对于西方国家而言是一个警示,说明了坚定执法的重要性以及重回“对犯罪心慈手软”政策的危险性。

Hacker News 最新 | 过往 | 评论 | 提问 | 展示 | 招聘 | 提交 登录 ClickFix 攻击正感染 PC 和 Mac,病毒式传播 (arstechnica.com) 4 点积分 由 joozio 34 分钟前发布 | 隐藏 | 过往 | 收藏 | 讨论 | 帮助 指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系 搜索:
联系我们 contact @ memedata.com