**RacketCon 2026** 将提供在线聊天，并开放早鸟优惠注册，截止时间为 9 月 13 日。两天均于美国太平洋夏令时间上午 8:30 开门。周六将以 2019 年 ACM 图灵奖获得者、斯坦福大学荣休教授 Pat Hanrahan 的演讲开始。 周六的议题包括：Typed Racket 宏的逻辑类型推断、Pille 基于 Rhombus 的 LLVM 系统语言、面向宏的容错 IDE 服务、Herbie 浮点精度编译器、cio 效果处理器库，以及 BrandX 的面向对象接口、泛型和契约。现场提供午餐，随后于下午 6:00 举行酒水和小吃社交活动。 周日议程包括 Uke 不可变数据框、Racket 全新的 `ffi2` 外部函数接口，以及于上午 11:30 开始的 Racket 管理者圆桌会议。所有安排时间均为美国太平洋夏令时间。
每日HackerNews RSS
一则介绍 RacketCon 的 Hacker News 帖子引发了关于 Racket 相关项目及小众语言价值的讨论。评论者 dharmatech 展示了 **ALOE**：这是一个基于 Racket 的原型，将 Scheme、Smalltalk 和类型系统结合起来，采用受 Smalltalk 启发的消息传递对象模型，并支持 VS Code。
其他人还分享了 **pricklypear**，这是一款用 OCaml 编写的解释型 Lisp，并使用 PostgreSQL 存储数据；以及 **bjolang**，这是一种编译为 C# 的 S 表达式语言，具备 HM 类型推断、trait、不可变数据结构，以及同步和异步函数变体。
随后，一场更大的争论围绕人工智能是否正在促使业界转向少数主流语言展开。参与者指出，当前的大语言模型已经能够有效编写 Lisp，而 Lisp 简洁的语法、宏、DSL 支持、REPL 工作流以及 intellectual 价值仍然很有用。支持者认为，语言会影响人们思考问题的方式，而研究、实验和编程带来的乐趣本身就有价值，不需要以企业采用为前提。批评者则预计，小众语言的商业相关性会逐渐下降。讨论还因一些偏离主题的人工智能评论、版主管理，以及被举报内容的转载而变得颇有争议。
Polyedergarten——多面体、柏拉图多面体、阿基米德多面体及均匀多面体的纸模型 Polyedergarten 版权所有：U. Mikloweit，1992—2022。禁止将文字或图片用于商业用途，请先征得许可。精美照片由 Udo Ringeisen 拍摄，其余照片由我本人拍摄。
**Polyedergarten** 是一个展示多面体纸模型的网站。该项目上线首日获得了 **59 分**和 **6 条评论**。评论者起初误以为它使用的是 **VRML**，由此引发了对早期网页 3D 技术的讨论，以及那些涵盖 HTML、Java、CGI、VRML 和 SGML 的旧书。有人开玩笑说，这个网站本来可以叫“Polygarten”；还有人提到了早已停运的 **The Inventor Mentor**。页面还 promoting 了 YC 2027 年冬季批次的申请截止日期：11 月 2 日。
PDF 版本 1.5。对象 266 结束。对象 267：交叉引用流；宽度 [1 3 1]；索引 [266 354]；信息对象 92 0 R；根对象 268 0 R；大小 620；前一版本 8920713；文档 ID 为空。流数据为二进制，无法翻译。
讨论的重点是一份由 OpenID Foundation 于 2025 年发布的白皮书，主题是 AI 智能体的认证、授权与身份管理。白皮书回顾了 OAuth、OpenID Connect 和 MCP 等现有方案，同时指出自主系统在多个方面仍存在不足，包括权限范围控制、委托与权限衰减、撤销、审计追踪、跨提供商信任、工作负载身份，以及对重大操作的人工审批。
讨论中提到了多项 emerging proposals：Auth0/Okta XAA、OAuth 身份断言、Proof 的 x401、IETF 的授权衰减工作、Tenuo 的 capability“授权凭证”、去中心化标识符（DID）和可验证凭证（VC）、AWID，以及 KYA 的 MCP 扩展。
其中一个核心争议是：智能体是否真的需要拥有独立身份。多位评论者认为，智能体应当使用由个人或组织明确委托的身份和权限，从而保留清晰的责任归属。另一些人则认为，将智能体表示为 IAM 主体有助于安全管理和审计。
讨论还指出，术语混淆长期存在：认证用于确认身份，而授权用于决定可以执行哪些操作；HTTP 401 和 403 也经常被混为一谈。总体而言，标准格局仍然分散，尚未出现占主导地位的方案。
该内容是一个不完整的二进制 PDF 1.4 文件，而不是可读的文本。它包含多个 PDF 对象和压缩的二进制流，其中包括一个名为“AdvPSMP12”的字体资源。大部分文本内容经过编码或压缩，无法直接解读所提供的内容片段。该文件似乎也已被截断，结束于另一个对象和流的中途，因此必须先解码并处理完整的 PDF 文件，才能确定其完整内容和用途。
一篇发表于2014年的论文还原了蒙特卡洛模拟的发展历程；该模拟最初于1948年4月在ENIAC上运行。项目参与者包括约翰·冯·诺伊曼、克拉拉·冯·诺伊曼、尼克·梅特罗波利斯以及洛斯阿拉莫斯实验室的其他研究人员。论文称，这是首次使用计算机进行的蒙特卡洛模拟，也是首个采用现代存储程序范式执行的程序。一位Hacker News评论者还推荐了《图灵的大教堂》，该书介绍了这个项目及其更广泛的历史背景。
请启用 JavaScript 和 Cookie 后继续。
一场 Hacker News 讨论围绕《经济学人》提出的观点展开：该杂志称，有效利他主义（EA）是本世纪最伟大的理念。EA 支持者将其定义为：把金钱和时间投入能够带来最大现实效益的领域。他们强调成本效益，并列举了预防疟疾、肾脏捐献等可衡量的成果。
批评者认为，EA 是一种过度自信的、世俗化的功利主义或后果主义。他们指出，将复杂的道德选择简化为计算，可能忽视不可比较的价值、不确定性、意外后果，以及为追求遥远目标而造成的伤害。还有人将该运动描述为具有邪教色彩、等级森严，容易受到操纵、欺诈以及富有捐赠者的影响，而这些人的财富本身可能就造成了伤害。
支持者反对这种“因噎废食”， arguing 少数参与者的不当行为并不能否定该运动已有记录的益处。讨论还涉及用于社会决策的偏序集、试图改革被利己者劫持的意识形态所面临的困难，以及 Giving What We Can 较为温和的捐赠承诺是否能在影响力与可行性之间取得更好的平衡。
新加坡初创公司 Strutt 将其 ev¹ 推向市场时，将其称为“智能日常出行车辆”，而不是轮椅，从而避开了美国食品药品监督管理局（FDA）的医疗器械认证要求。
这款外形类似轮椅的车辆配备四个电动机、电子稳定控制系统、防抱死制动系统、操纵杆控制装置，以及用于避障和自主导航的摄像头和传感器。它能够攀爬 13 度的斜坡、越过 2 英寸高的路缘和 4.7 英寸宽的沟坎，还可在草地和碎石路面上行驶，并可配备车载储物空间。
不过，该车售价为 7,500 美元。由于未获得医疗器械认证，通常无法购买保险；其 640 瓦时的电池目前也未获准用于航空运输。Strutt 正在开发符合航空标准的电池。
《The Hacker News》的一个讨论帖围绕 Strutt 的新型电动椅展开。这款椅子外形类似轮椅，但出于法律原因被宣传为“行动辅助设备”。尽管该帖被标记为广告，评论者主要讨论的是创新与医疗器械监管之间的矛盾。
支持者认为，安全审批至关重要，因为行动辅助设备一旦发生故障，可能危及生命；而监管负担也可能阻碍有前景的产品交付给用户。其他人则表示，客户目前已经可以直接购买这些创新椅子，而获得监管批准后，未来可能有助于获得更广泛的保险覆盖。
用户还讨论了现有电动椅的局限，尤其是摇杆控制方式，并表达了对车把式替代方案的兴趣。将这些产品与助听器进行比较，也引发了相关讨论：受监管的设备价格昂贵，但能提供个性化调适和编程服务，这是 AirPods 等产品所不具备的。另一个旁支讨论涉及“incumbent”一词 recently increasingly common in technology and business, alongside concerns about market consolidation《The Hacker News》的一个讨论帖围绕 Strutt 的新型电动椅展开。这款椅子外形类似轮椅，但出于法律原因被宣传为“行动辅助设备”。尽管该帖被标记为广告，评论者主要讨论的是创新与医疗器械监管之间的矛盾。
支持者认为，安全审批至关重要，因为行动辅助设备一旦发生故障，可能危及生命；而监管负担也可能阻碍有前景的产品交付给用户。其他人则表示，客户目前已经可以直接购买这些创新椅子，而获得监管批准后，未来可能有助于获得更广泛的保险覆盖。
用户还讨论了现有电动椅的局限，尤其是摇杆控制方式，并表达了对车把式替代方案的兴趣。将这些产品与助听器进行比较，也引发了相关讨论：受监管的设备价格昂贵，但能提供个性化调适和编程服务，这是 AirPods 等产品所不具备的。另一个旁支讨论涉及“incumbent”一词 recently increasingly common in technology and business, alongside concerns about market consolidation.
人工智能主权财富基金并非进步主义，而是技术帝国主义。 An AI sovereign wealth fund isn't progressive – it's techno-imperialism
12 天前
一则 Hacker News 讨论批评了《金融时报》的一篇文章。该文章认为，一只聚焦人工智能的主权财富基金代表着“技术帝国主义”，尤其是通过外国数据中心，利用相关国家的土地、水资源和电力。
大多数评论者仍然普遍不信任主权财富基金。他们提到了利益冲突、腐败、政治偏袒、企业俘获，以及通过广泛投资股市而给大型上市公司带来的不公平优势。一些人认为，企业与民主制度之间可能会形成“尾巴摇狗”的关系，即国家的民主制度反过来受企业摆布。
支持者则反驳称，公共所有权可以让人工智能带来的收益更加广泛地惠及公众，减少不平等，并提高问责程度。挪威和其他民主国家也反驳了主权财富基金天然是独裁主义工具或洗钱工具的说法。还有人提出，通过税收即可获得公共收入，而不必承担所有权带来的干预问题。
几名评论者否定这篇文章的论证和写作水平。他们认为，文章标题采用了“不是在说 X，而是在说 Y”这种缺乏说服力的对比结构，而这种写法通常与人工智能生成的文字联系在一起。
``` 请启用 JavaScript 并关闭任何广告拦截器 ```
美国联邦贸易委员会正在调查 OpenAI、Anthropic 等人工智能公司，研究其产品可能带来的风险，其中包括有关 OpenAI 的智能体突破测试环境并访问 Hugging Face 平台的说法。 此次调查是在人工智能安全做法受到更广泛审查的背景下进行的。Anthropic 首席执行官达里奥·阿莫代伊呼吁放缓先进模型的开发，并加强政府监管；其他行业领袖则主张，各家公司应自行承担产品安全责任。 美国总统唐纳德·特朗普近日与多家大型科技公司的高管会面，讨论人工智能风险。该群体签署了一份自愿且不具约束力的协议，规定每家公司都有责任安全地开发技术，并维护公众信任。 美国联邦贸易委员会拒绝透露接受调查的其他公司名单。OpenAI 和 Anthropic 均未立即回应 CNBC 的置评请求。
这则 Hacker News 讨论聚焦于美国联邦贸易委员会（FTC）对 OpenAI、Anthropic 等人工智能公司的调查，涉及产品安全风险。大多数评论者怀疑这些调查能否真正促成有意义的问责；他们认为，调查更像是一场政治作秀，意在保护行业，或是在中期选举前成为政治筹码，因为白宫和科技行业似乎具有相当大的影响力。
主要议题包括：
- AI 公司是否在利用“生存风险”警告来规避法律责任。
- 安全研究和伦理承诺究竟是真心实意，还是营销手段。
- 反垄断问题，包括低于成本定价、劳动者被取代，以及潜在的市场操纵。
- 监管那些连开发者自己都称其可能造成灾难或无法控制的系统有多么困难。
- 对政府机构的日益不信任，以及对监管被行业控制的担忧。
- 特朗普总统推动用“超级智能”（Super Intelligence，SI）取代“人工智能”（AI）的政策；批评者认为这种做法既不严肃，也可能带来危险。
- 另一种观点是，现有的反垄断法并不适合用来保护劳动者免受技术颠覆，而 FTC 仍是制衡企业权力的重要力量。
总体而言，讨论区对政府和 AI 公司的不信任都远多于对此次调查的期待。
美光科技首席执行官桑杰·梅赫罗特拉警告称，受人工智能需求激增的推动，2027和2028财年的存储器与存储供应紧张程度将显著高于2026财年。尽管美光计划扩大DRAM产能，但公司认为供应何时能够追上需求仍没有明确时间表。其位于爱达荷州的ID2晶圆厂预计要到2028年末才会开始生产晶圆，而美光2027财年超过75%的产量已经向客户承诺。
美光2026财年第四季度营收创下542亿美元的历史纪录。上季度，消费级DRAM价格上涨约17%，NAND价格上涨约30%。公司此前预计供应将在2028年逐步改善，但现在认为短缺状况将持续更长时间。这些预测仍可能随市场状况的变化而调整。