所提供的内容详述了 IETF 内部关于在 TLS 中标准化“纯”ML-KEM 的持续争议，此举将移除传统 ECC 加密的“安全带”。 作者认为，IETF 已经背离了其“粗略共识”和透明度的核心原则。尽管在最近的投票期间，有 82 名（其中许多具备技术专长）人士正式反对该规范，但 TLS 工作组主席仍宣布达成共识，并将该提案提交至 IESG。作者指出，工作组主席通过不断变化且前后矛盾的理由，为无视这一重大且未解决的反对意见进行辩解。 文中强调了 IETF/IESG 领导层与美国防务部门相关实体（包括国家安全局、思科及各类军事承包商）之间存在系统的“旋转门”现象。作者认为，这些关系影响了标准制定过程，使流程偏向于供应商利益而非独立的工程判断。由于申诉程序也由存在防务相关利益冲突的人员把控，作者对 IETF 是否会遵守自身程序规则或维持其对公共利益安全的承诺深表怀疑，并总结称该流程似乎旨在无视社区异议，强行通过规范。
每日HackerNews RSS
这场 Hacker News 讨论聚焦于 IETF 发布“纯” ML-KEM（一种后量子加密算法）信息性 RFC 所引发的激烈争议。
密码学家 Daniel J. Bernstein 及其支持者认为，将“纯” ML-KEM 标准化（而不是强制其与 ECDH 等传统算法一起以“混合”模式使用）会带来安全风险。他们对美国国家安全局（NSA）的介入深表怀疑，并引用了 Dual_EC_DRBG 等历史先例，当时该机构被指控在加密标准中留有后门。批评者认为，NSA 推动“纯”实现是为了更易于解密互联网流量。
相反，其他人（包括安全研究员 Thomas Ptacek）则认为这场辩论被曲解了。他们认为：
1. 混合模式已经是业界标准的“推荐”路径。
2. 此次争议的 RFC 仅为“信息性”文档，为那些在技术上无法实现混合模式的高度受限环境提供了必要的选择。
3. Bernstein 正在制造关于“NSA 阴谋”的误导性叙事，旨在为其在 NIST 竞赛中落选的 PQC 算法获取支持。
该讨论帖凸显了倡导严谨密码学态度者与优先考虑务实且受广泛支持标准者之间的根本分歧。
此 Hacker News 讨论帖探讨了一篇关于高保真磁带录音技术历史影响的《IEEE Spectrum》文章，该技术在二战后由德国被引入美国。
讨论很快延伸至几个分支：
* **地方历史：** 用户分享了关于硅谷标志性 Ampex 招牌的记忆，并对一些技术传闻进行了推测，例如标准磁带格式是否基于现有的胶片或弹药库存尺寸。
* **道德辩论：** 讨论的很大一部分集中在 IG Farben 和 IBM 等企业与纳粹德国合作的道德罪责上。用户讨论了这些公司，以及允许其领导人重掌权力的盟军，应在多大程度上为促进大屠杀承担责任。
* **哲学思考：** 讨论帖最后转向了关于道德责任的更广泛辩论，探讨了与系统性邪恶或种族灭绝的关联是否会减轻个人或企业的罪责。
arXivLabs 是一个允许合作者直接在我们的网站上开发和分享 arXiv 新功能的框架。与 arXivLabs 合作的个人和组织都秉持并认同我们对开放、社区、卓越和用户数据隐私的价值观。arXiv 致力于这些价值观，并仅与遵守这些价值观的合作伙伴进行合作。如果您有能为 arXiv 社区增值的项目想法，欢迎了解更多关于 arXivLabs 的信息。
Hacker News 上的讨论聚焦于微积分教学面临的教学挑战，特别是学生在理解基于极限的正式定义（ε-δ 语言）时遇到的困难，以及他们对于微积分“究竟是什么”缺乏直观认识。
《Calculus from the Ground Up》的作者作为原发帖人指出，微积分教学应扎根于代数，并采用基于无穷小量的方法，而非抽象的极限方法。他认为，虽然基于极限的证明严谨，但这些方法往往被当作“拐杖”，学生既记不住也无法真正理解。
讨论参与者辩论了几个关键主题：
* **无穷小量与极限：** 许多人主张利用超实数、非标准分析或平滑无穷小分析来实现微积分教育的现代化，这些方法更符合莱布尼茨最初更直观的构思。
* **直觉的作用：** 观点存在分歧：一方倡导视觉化、直观且“不拘小节”的概念引入（如 3Blue1Brown），另一方则坚持认为概念的掌握离不开机械练习与严谨训练。
* **教学改革：** 针对标准课程提出了批评，认为现行课程往往将代数与微积分割裂开来，这种脱节导致学生即便在多年后也无法灵活运用所学技能。
CorgiGirls.com 是一家将保险初创公司 Corgi 的女性员工按吸引力进行排名的网站。在该公司施加法律压力后，该网站已被撤下。该网站由企业家塞巴斯蒂安·曼达尔（Sebastian Mandal）创建，效仿了马克·扎克伯格早期的“Facemash”项目，利用人工智能从领英（LinkedIn）抓取照片。
该网站设有并排对比和排行榜功能，给 Corgi 的员工（包括公司旗下咖啡馆的咖啡师）造成了巨大的困扰。Corgi 品牌负责人埃里卡·李（Erika Lee）指出，该网站的存在导致了关于其是“营销噱头”的错误猜测，她对此予以坚决否认，并强调公司认为该网站的行为具有侮辱性，损害了公司的声誉。
该网站在被撤下前获得了超过 20 万次访问。Corgi 发表了一份正式声明谴责该网站，称：“我们绝不容忍任何人利用我们员工的姓名、照片或身份来针对、骚扰、羞辱或剥削他们。”与 Corgi 没有任何关联的曼达尔未回应置评请求。
一个名为 CorgiGirls.com 的短命网站最近被迫下架。该网站因发布初创公司 Corgi 女性员工的照片，并邀请用户对她们的相貌进行投票而引发了强烈抵制。该网站由一位与该公司无关的初创企业创始人塞巴斯蒂安·曼达尔（Sebastian Mandal）创建，他明确表示该项目是效仿马克·扎克伯格早期的“Facemash”实验。
这一事件在 Hacker News 上引发了激烈讨论，用户们就创业生态系统中“博取关注”行为的道德性展开了辩论。虽然最初的标题让一些读者误以为该网站是由 Corgi 公司自己创建的，但评论者澄清说，该公司其实是骚扰行为的受害者，并已通过法律手段移除了该网站。许多参与者认为，这一事件是硅谷普遍存在的有毒的“快速行动，打破常规”（move fast and break things）文化的一个缩影，这种文化往往缺乏问责制或道德底线。曼达尔本人以其在网络上的争议性言论而闻名，事发后，他已清空了自己的社交媒体账号。
无法建立数据库连接
Ploopy 发布了 **A+ 轨迹球**，这是其开源硬件“Adept”轨迹球的升级版。新款设备增加了两个按键，使总数达到八个，并延续了该公司使用兼容 QMK 固件、用户自行组装套件的传统。
Hacker News 社区的反应不一：
* **设计与理念：** 该品牌的粉丝赞赏其开源硬件、可维修和可定制的特性。爱好者们乐于享受 DIY 组装过程，将其比作组装机械键盘或模型。
* **批评意见：** 怀疑者质疑在价格与量产成品相当的情况下，购买需要大量焊接的套件是否有必要。其他人则对 3D 打印外壳的美观度和触感表示担忧。
* **功能争议：** 讨论重点在于缺乏用于滚动的“旋转”检测功能，一些用户指出这类功能通常涉及受专利保护的传感器配置。此外，部分用户对产品仍仅支持有线连接表示不满，认为这限制了其在移动设备上的使用。
尽管“Ploopy”这个名字依然引人调侃，但对于那些比起消费级封闭式外设更看重 DIY 控制权和开源硬件的用户来说，该产品仍然是他们的心头好。
此应用程序需要 JavaScript。 请启用 JavaScript 或尝试我们的实时通知、订阅源及网络服务。 地震事件页面应用程序支持大多数最新浏览器，查看支持的浏览器。或者，尝试我们的实时通知、订阅源及网络服务。
🛡️ 正在进行安全检查 我们正在确认您的连接，以防止自动化滥用行为 为什么我会看到这个页面？ 遇到问题？请联系客服
抱歉。
特征鼓 eigendrum
2 天前
Eigendrum 是一款交互式网页工具，通过求解特征值问题 $-\nabla^2u = \lambda u$ 来探索振动形状的物理特性。该工具利用三角形网格覆盖用户自定义或数学定义的形状，并采用有限元方法计算振动模态和频率。 用户可以直观地观察不同敲击位置如何激发特定模态、聆听单个频率，并对形状进行参数化调整。Eigendrum 针对圆形和矩形等具有已知解析解的形状进行了严格测试，以确保高数值精度。 该项目还探讨了著名的数学问题“能否听出鼓的形状？”，展示了等谱鼓——即两种产生相同声音特征的不同形状。为了实现透明度和易用性，整个应用程序完全在用户的浏览器中本地运行，无需后端支持。它将槌头宽度、阻尼和尺寸等物理变量视为可调参数，让用户能够独立分析几何形状对声音的影响。该工具托管于 eigendrum.com，免费、无广告且开源，直观地演示了几何形状如何决定振动体的声学特性。
Hacker News
最新 | 过往 | 评论 | 提问 | 展示 | 招聘 | 提交
登录
[重复] eigendrum (eigendrum.com)
215 点，由 bookofjoe 发布于 1 天前 | 隐藏 | 过往 | 收藏 | 1 条评论
帮助
tomhow 17 小时前 [–]
评论已移至 https://news.ycombinator.com/item?id=49246366。
回复
指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系
搜索：
据报道，领先的量化交易公司简街资本（Jane Street）因市场波动及其对人工智能对冲基金“Situational Awareness”的投资，在7月份遭受了150亿美元的损失。尽管遭受重创，有报道称该公司今年已创造了超过400亿美元的净交易收入，展现了其强大的盈利能力。
这一消息在Hacker News上引发了关于该公司商业模式及高频交易（HFT）更广泛影响的激烈辩论。批评者认为，简街资本等公司通过订单流支付（PFOF）和做市商价差等机制，以牺牲散户投资者为代价获利；而支持者则主张，这些公司为散户交易者提供了必要的市场流动性并缩小了价差。
除了财务分析外，讨论还涉及了该公司作为顶尖工程人才聚集地的声誉——特别是其对OCaml语言的广泛应用——以及其神秘的企业文化。虽然一些评论者批评了该公司的社会效用，但另一些人则为其技术复杂性和在现代金融市场中的作用进行了辩护。最终，该讨论帖中的共识凸显了高频交易公司所处的两极化境地：它们既因工程实力受到钦佩，又因对市场公平性的影响而受到审视。
请启用 JavaScript 和 Cookie 以继续。
抱歉。