请启用 JavaScript 和 Cookie 以继续。
每日HackerNews RSS
Hacker News新帖 | 过往 | 评论 | 提问 | 展示 | 招聘 | 提交登录Jiga (YC W21) 正在招聘产品工程师（远程/美国）(jiga.io)14小时前 | 隐藏
指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请YC | 联系
搜索：
arXivLabs 是一个允许合作者直接在我们的网站上开发和共享 arXiv 新功能的框架。与 arXivLabs 合作的个人和组织都秉持并认可我们关于开放、社区、卓越和用户数据隐私的价值观。arXiv 致力于坚守这些价值观，并仅与遵循这些价值观的合作伙伴合作。如果您有能为 arXiv 社区增加价值的项目构想，请了解更多关于 arXivLabs 的信息。
近期的一场 Hacker News 讨论探讨了一篇题为《GRP-Obliteration: Unaligning LLMs with a Single Unlabeled Prompt》（GRP-消除：用单个无标签提示词解除大语言模型对齐）的研究论文。该研究调查了一种通过单个无标签提示词移除开源大语言模型（LLM）安全对齐的方法。
在该讨论帖中，用户们对该技术的本质及其有效性展开了辩论。一位评论者澄清道，该研究涉及使用特定的提示词进行微调，而非传统意义上的“越狱”攻击。参与者猜测该方法是否能成功绕过闭源、专有模型中强大的安全过滤机制。虽然一些人对在受限模型上测试此类提示词持谨慎态度，但另一些人指出，只要内容不违反明确的法律界限，实验此类提示词不太可能导致账号被封禁。
随着人工智能体（AI agents）承担的任务日益自主且长期化，传统的人工监管和沙盒策略已无法满足需求。代理工具、网络协议与凭证之间复杂的交互，导致意外权限提升的风险呈指数级增长——例如，代理通过低级二进制文件绕过高级 API 的限制。
为解决这一问题，OpenShell 团队引入了**形式化方法**——即常用于验证 AWS IAM 和 S3 安全策略的技术——来治理代理系统。通过使用 **Z3 SMT 求解器**将策略约束建模为数学公式，OpenShell 能够确定性地证明拟议的策略变更是否仍在定义的安全边界内。
与计算密集型且易出错的概率性 AI 审查不同，基于 Z3 的形式化验证具备以下优势：
* **确定性审计：** 毫秒级的检查速度，无法被欺骗或误导。
* **数学约束：** 证明候选策略是已批准的“最大”策略的子集。
* **鲁棒性：** 自动检测能力扩张，例如 L7 到 L4 的绕过行为。
通过将形式化证明与人类或 AI 监督相结合，开发者可以创建可验证的审计追踪，确保复杂的长期运行代理系统即便在需求演变时，依然保持安全。
这条 Hacker News 帖子讨论了英伟达（NVIDIA）关于 OpenShell 的博文，该项目致力于将形式化方法应用于控制人工智能代理。
讨论内容涵盖了技术兴趣与元评论：
* **澄清：** 用户指出，此“OpenShell”项目与同名的热门开源 Windows 开始菜单替换软件并非同一事物。
* **技术反馈：** 一位评论者对该解决方案表示赞赏，并特别提到关注其 Kubernetes 支持的未来发展。
* **社区摩擦：** 帖子中还出现了关于原文质量及评论者行为的争论。一些人认为该内容是“AI 垃圾”，而另一些人则捍卫了该研究的价值，并批评了这种轻蔑的评价基调。
总的来说，此次讨论既反映了对形式化方法在 AI 安全领域这一细分应用的真实兴趣，也体现了开发者社区中常见的针锋相对的交流风格。
抱歉。
这篇 Hacker News 的讨论探讨了人工智能推理硬件的未来，并将其与 CPU 的发展轨迹进行了类比。随着晶体管微缩速度的放缓，专家们预测硬件将转向多元化的架构创新，以克服“内存墙”这一制约模型权重传输的主要瓶颈。
核心要点包括：
* **架构创新：** 参与者认为，未来的硬件将聚焦于提升内存容量与带宽，利用计算内存一体化单元，并针对特定的矩阵向量运算及低位量化优化电路。
* **效率技术：** 讨论重点介绍了如“投机解码”（speculative decoding）等旨在减少内存访问的新兴方法，以及如 Tensordyne 的“Napier”这类硬件设计——它利用对数数字系统取代了高功耗的乘法器，改用高效的加法器。
* **硬件发展轨迹：** 业界的共识是，正如通用计算经历了数十年的迭代，人工智能推理硬件正进入一个专业化、深层次创新的时代。这种演进对于降低当前大规模模型部署所带来的巨大能源成本和延迟至关重要。
尽管部分评论者对所谓“革命性”的性能提升持怀疑态度，但该讨论强调，下一波人工智能的进步，很可能将由针对神经网络架构独特需求而进行的“自下而上”的硅片设计所定义。
在标准的 IPv6 邻居发现机制中，主机在配置地址后即可立即联系路由器，但路由器在解析出主机的链路层地址之前无法发送回程流量。这种被动响应过程往往会导致连接的首批数据包延迟或丢失。 RFC 9131 中定义的 **GRAND（免费邻居发现，Gratuitous Neighbour Discovery）** 解决了这一不对称问题。主机不再等待路由器请求信息，而是在新地址可用时主动发送未经请求的邻居通告（NA）。随后，路由器主动在其邻居缓存中创建一个“STALE”条目，从而能够立即转发回程流量，无需经历地址解析带来的延迟。 在 FreeBSD 中实现 GRAND 不仅仅涉及数据包传输，还需要构建一套新的基础设施来处理通告的排队与延迟。通过严格遵守 RFC 4861 的定时和随机化规则，该实现确保了主动通告的高效性，并避免在繁忙网络中引发“组播风暴”。正如 RFC 9898 所认可的那样，GRAND 最终弥合了主机配置与网络就绪之间的差距，确保了数据中心和移动网络等动态环境下的连接能够更快建立。
Hacker News 新闻 | 往事 | 评论 | 提问 | 展示 | 招聘 | 提交 登录
通过 Grand 弥合 IPv6 首包延迟差距 (ripe.net)
9 分，由 m_montazeri 在 1 小时前发布 | 隐藏 | 往事 | 收藏 | 讨论 帮助
准则 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系
搜索：
Firefox.com 的重建是网页开发领域的一个里程碑，它最终实现了“CSS 禅意花园”（CSS Zen Garden）所追求的那种简洁、原生的设计理想。通过与 Mozilla 和 Lincoln Loop 的合作，开发团队放弃了复杂的预处理器，转而拥抱现代的原生 CSS。 得益于 CSS 变量（自定义属性）、Flexbox 和 Grid 等原生特性，团队构建了一个包含 70 多个组件和 25 个页面模板的健壮设计系统。这使得内容团队能够在无需工程团队持续介入的情况下，轻松管理 19 种语言版本。虽然项目使用了一个极简的 PostCSS 步骤来内联导入以提升性能，但其源代码始终保持为纯粹的浏览器原生 CSS，避免了现代构建工具通常所要求的“方言”。 该项目证明了网页平台已经足够成熟，足以在没有冗余架构层的情况下支持复杂且易于维护的设计系统。它强调了回归浏览器原生能力的趋势，确保设计决策能够直接转化为生产环境的结果。归根结底，这种方法推崇一种“正确”且“简便”的构建流程，从而为开发团队实现长期的系统一致性和开发速度。
Hacker News
最新 | 过往 | 评论 | 提问 | 展示 | 招聘 | 提交
登录
CSS Zen Garden 的梦想实现了 (josprague.com)
19 分，由 yosito 发布于 1 小时前 | 隐藏 | 过往 | 收藏 | 4 条评论 | 帮助
kreetx 1 小时前 | 下一条 [–]
该网站仍然在线 https://www.csszengarden.com，设计选集在这里 https://www.csszengarden.com/pages/alldesigns/ :)。
回复
yosito 1 小时前 | 父评论 | 下一条 [–]
是的！谢谢。我在我的文章中也链接了这个网站。对于任何正在学习 CSS 的人来说，这都是一个很好的资源。
回复
muglug 10 分钟前 | 上一条 | 下一条 [–]
> 有一个诚实的脚注。
我厌倦了人工智能生成的文字。
回复
defenestration 4 分钟前 | 父评论 | 下一条 [–]
真是可惜。花了那么多时间去实现 CSS 的梦想（整洁、深思熟虑），结果却用 AI 生成的套话来与世界分享它。
回复
指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系
搜索：