提示注入攻击是对大型语言模型（LLM）的主要安全风险，可能允许攻击者控制模型或窃取数据。虽然提示防护模型旨在防止这些攻击，但它们常常表现出“过度防御”，由于常见的触发词而错误地将无害输入识别为恶意。 研究人员推出了**NotInject**，一个专门用于衡量这种过度防御问题的新数据集。他们对现有模型的评估显示，当暴露于包含这些触发词的良性提示时，准确率大幅下降——降至随机水平。 为了应对这个问题，他们开发了**PIGuard**，一种新的提示防护模型，利用了一种名为**免费缓解过度防御 (MOF)**的训练策略。PIGuard 明显减少了对触发词的偏见，并在 NotInject 等基准测试中实现了最先进的性能，超过了当前最佳模型 30% 以上。PIGuard 也是开源的，提供更可靠的提示注入防御。
每日HackerNews RSS
Hacker News 新闻 | 过去 | 评论 | 提问 | 展示 | 招聘 | 提交 登录
PIGuard：通过缓解过度防御来免费提供提示注入防护 (injecguard.github.io)
5 分，mettamage 1 小时前 | 隐藏 | 过去 | 收藏 | 1 条评论 帮助
mettamage 45 分钟前 [–]
我一直在尝试一些提示注入防护框架。我知道它们不能缓解攻击类型，但至少能做点什么。我只是对我在自己测试中看到的较高误报率感到有点恼火。这个的误报率很低。我觉得这很有趣。回复
指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系
搜索：
## RepoProver：数学教材的自动化形式化
RepoProver是一个多智能体系统，旨在将数学教材大规模形式化为Lean证明助手。它利用LLM驱动的智能体——草图绘制者（将LaTeX翻译为Lean）、证明者（尝试完成证明）和审查者（确保质量）——通过共享Git仓库进行协作。
该系统基于一个Lean项目，项目结构包含按章节组织的LaTeX源文件、定义形式化目标的`manifest.json`、用于项目文档的`CONTENTS.md`以及用于智能体协调的`issues/`目录。
用户使用`python -m repoprover run [project_path]`启动形式化，启动智能体工作流并管理稳定的构建的合并队列。通过SLURM启动器(`repoprover.stool`)支持分布式运行。系统提供跟踪token使用情况和智能体效率的工具。提供了一个玩具项目和示例配置，用于测试和指导。该系统成功形式化了Darij Grinberg的 graduate textbook *Algebraic Combinatorics*。
Hacker News 新闻 | 过去 | 评论 | 提问 | 展示 | 招聘 | 提交 登录
自动教科书形式化 (github.com/facebookresearch)
7 分，由 tzury 发表于 50 分钟前 | 隐藏 | 过去 | 收藏 | 2 条评论 帮助
alex_be 发表于 8 分钟前 | 下一个 [–]
人工智能辅助数学研究的重大一步
回复 tzury 发表于 48 分钟前 | 上一个 [–]
更多细节：https://x.com/FabianGloeckle/status/2040082785851904401 回复
指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系
搜索：
(Empty input provided. There is nothing to translate.)
Hacker News 新闻 | 过去 | 评论 | 提问 | 展示 | 招聘 | 提交 登录
展示 HN: Ismcpdead.com – 实时仪表盘，追踪 MCP 采用率和情绪 (ismcpdead.com)
9 分，由 sagirodin 1小时前发布 | 隐藏 | 过去 | 收藏 | 讨论
为了追踪关于模型上下文协议的持续讨论——它是否正在获得真正的进展，还是仅仅炒作，我构建了这个工具。它从 GitHub、HN、Reddit 和其他一些来源提取实时数据。鉴于这里一直有关于 MCP 的活跃讨论，想知道 HN 社区的看法。 帮助。
指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系方式
搜索：
今日代理人聊天发现新闻竞技场更多应用下载我们的iOS应用今日代理人聊天探索新闻更多我投资组合排行榜聊天点击提问在任何帖子中提问2个问题专业AI可能会犯错，请核实重要信息。人工智能投资能力如何？今日代理人聊天发现新闻竞技场更多应用下载我们的iOS应用今日代理人聊天探索新闻更多我主页›竞技场排行榜动态投资组合关于
Rallies.ai，一家新的AI驱动对冲基金，在Hacker News上宣布启动，引发讨论。最初，链接需要下载应用程序才能查看，违反了HN的指南——创始人迅速解决了这个问题并道歉。
该基金受到Y Combinator创业公司请求的启发，利用前沿AI模型（特别是LLM）来模仿人类基金经理的研究和投资策略，侧重于更长的时间范围并提供完全透明度，*不*进行人工干预。
用户质疑Rallies.ai与现有量化基金的区别，创始人强调了使用*大型语言模型*进行投资研究的新颖性，该领域仍处于早期阶段。 也有人戏谑地询问AI是否在对“AI泡沫”本身进行对冲。 创始人正在积极回答社区的问题。
## 将 Linux 变为网络设备：摘要 (2026 年 3 月 1 日) 本文探讨了将标准 Linux 系统转换为功能齐全的网络设备（如路由器或 WiFi 热点）的过程。虽然看似复杂，但它归结为内核和用户空间工具中的七个关键更改。 核心转变是启用 **IP 转发**，以允许在接口之间传输数据包。然后，通过定义 **桥接** 来统一第二层网络的有线和无线连接。至关重要的是，实施 **nftables** 策略以使用 netfilter 钩子过滤和管理流量，并由 **conntrack** 加强状态防火墙。**NAT 和伪装** 策略重写地址以进行互联网访问，而 **dnsmasq** 为连接的客户端提供 DHCP 和 DNS 服务。最后，**hostapd** 将无线网卡切换到热点模式，管理无线连接。 本质上，这些步骤将内核从以主机为中心的“线路末端”数据包处理方式转变为主动处理和转发流量的路由器。该过程利用内核钩子和用户空间守护进程协同工作。像 `nft list ruleset`、`conntrack -L` 和 `journalctl` 这样的监控工具允许检查和调试由此产生的网络基础设施。这表明网络功能并非固有于专用硬件，而是可以通过标准 Linux 系统上的软件配置来实现。
黑客新闻 新的 | 过去的 | 评论 | 提问 | 展示 | 招聘 | 提交 登录
将 Linux 系统变成路由器时会发生什么变化 (patrickmccanna.net)
11 分，由 0o_MrPatrick_o0 1 小时前发布 | 隐藏 | 过去的 | 收藏 | 讨论 帮助
指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系方式
搜索：
启用 JavaScript 和 Cookie 以继续。
## 裁员背景下的 Oracle 和 H-1B 签证
最近 Hacker News 上出现讨论，关于 Oracle 在大规模裁员后仍然继续提交 H-1B 签证申请。一些人认为这是利用系统压低工资，通过雇佣外国工人来实现，而另一些人则提出了更细致的看法。
评论员指出，Oracle 各部门的劳动力需求可能不同——有些部门在缩减，而另一些部门在扩张。许多 H-1B 申请者已经持学生签证（F1）在美国，免除新费用。对于最近实施的 100,000 美元 H-1B 费用是否旨在限制小型公司的准入，从而使 Oracle 等大型公司受益，存在争议。
一些用户认为这则新闻“毫无意义”，指出 Oracle 在 FY2025 提交了 2690 份申请，在 FY2026 迄今提交了 436 份，实际上与往年相比有所*减少*，可能与招聘冻结相符。有人建议对进行大规模裁员的公司限制 H-1B 申请，或要求提供丰厚的遣散费。总体情绪表明，这是一个复杂的问题，根源在于劳动力套利和公司利益。
## 阿尔忒弥斯2号分享首张地球图像
美国宇航局阿尔忒弥斯2号的宇航员们发布了令人惊叹的高分辨率地球图像，他们正前往月球——自1972年以来，人类首次旅行到地球轨道之外。指挥官里德·维斯曼在一次成功的引擎燃烧推动猎户座飞船进入超过20万英里的轨道后，拍摄了这些照片。
这些图像展示了大西洋、极光，甚至金星，从他们的视角来看，地球显得“上下颠倒”。一张引人注目的照片突出了白天和黑夜之间的分界线，被称为分界线。
最初，由于距离问题，曝光设置对维斯曼和船员提出了挑战，他们迅速适应，并热情地记录了他们的视野。他们甚至要求提供窗户清洁用品！
阿尔忒弥斯2号将于4月6日绕月球背面飞行，并于4月10日返回地球。这项任务是美国宇航局到2028年再次将人类送上月球的关键一步。
阿耳忒弥斯2号宇航员拍摄的一张令人惊叹的地球照片正在Hacker News上引发讨论。这张照片显示被月光照亮的地球夜侧，最初让一些观众感到困惑，误以为是白天景象。
用户分享了来自NASA网站的高分辨率版本链接，并指出它们之间存在亮度差异。讨论很快偏离了主题，并如预料般吸引了地平论者的评论，其他用户建议忽略这些评论。
一场更具哲学性的辩论浮出水面，讨论了对关于遥远、不可观测现象的科学主张的接受程度，一位用户认为，用“地平论者”来驳斥怀疑论是一种压制对缺乏充分证据的非凡主张的合理质疑的策略。其他人则为既定的科学方法和教育进行了辩护。
中东近期冲突暴露出令人不安的转变：美国、以色列和伊朗的领导人公然无视旨在战时保护平民的国际法。与过去战争罪行常常被否认的情况不同，这些领导人现在*嘲弄*这些法律，言论从优先考虑“最大杀伤力”到威胁集体惩罚和袭击民用基础设施不等。 证据表明这些并非空穴来风。报告详细描述了对学校、医院和民用船只的袭击，以及使用白磷和集束弹药等禁用武器的情况，导致数千人死亡和数百万人流离失所。 对国际准则的漠视源于对双重标准的认知——对某些行为的迅速谴责，而对其他行为却置之不理，这正在侵蚀该体系的公信力。至关重要的是，记录潜在战争罪行的努力正受到互联网关闭、媒体限制以及对记者的威胁等方式的积极压制。 除非国际社会紧急重申对这些法律的承诺，并追究所有相关方的责任，否则保护平民的现有框架面临完全崩溃的风险，可能预示着一个无法无天的残暴时代。
一篇源自半岛电视台的文章引发了黑客新闻的讨论，表达了对战争罪行似乎被正常化的深切担忧。用户们认为，一种令人不安的趋势正在出现：由于起诉似乎具有选择性，犯罪不再令人羞愧，像美国、欧盟和英国等强大国家在很大程度上不受国际刑事法院（ICC）的影响。
这场对话探讨了这种转变的影响，质疑在一个“好人”叙事正在瓦解的世界里，作为人类意味着什么。 多位评论员引用了美国和以色列 allegedly 造成的不正当伤害的具体例子，强调了对学校、医院和急救人员的袭击。
一个核心主题是个人的道德责任，特别是那些在科技领域工作的人，他们现在正在质疑自己支持被认为道德败坏的政府的行为。 这场讨论反映了对正在崩溃的世界秩序以及冲突中道德界限丧失的更广泛的焦虑。
我们检测到您的浏览器已禁用 JavaScript。请启用 JavaScript 或切换到受支持的浏览器以继续使用 x.com。您可以在我们的帮助中心查看受支持的浏览器列表。帮助中心 服务条款 隐私政策 Cookie 政策 版权信息 广告信息 © 2026 X Corp.
Hacker News 新闻 | 过去 | 评论 | 提问 | 展示 | 工作 | 提交 登录
现在可以在 6MB 的 PDF 文件中运行完整的 Linux 操作系统 (twitter.com/oliviscusai)
31 分，由 matthewsinclair 发表于 3 小时前 | 隐藏 | 过去 | 收藏 | 6 条评论 帮助
eslaught 发表于 24 分钟前 | 下一个 [–]
文章是新的，但原始 PDF 文件来自 2025 年：之前的讨论：https://news.ycombinator.com/item?id=42959775 回复
matthewsinclair 发表于 3 小时前 | 上一个 | 下一个 [–]
这是 PDF 文件：https://linux.doompdf.dev/linux.pdf 回复
robinsonb5 发表于 1 小时前 | 上一个 | 下一个 [–]
就像 PDF 中的 Doom 一样，这既令人印象深刻又令人感到恐惧。
RajT88 发表于 13 分钟前 | 上一个 [–]
但为什么.gif
layer8 发表于 7 分钟前 | 父级 | 下一个 [–]
人们总是对图灵完备机制可以运行任何程序感到惊讶。;)
tombert 发表于 6 分钟前 | 父级 | 上一个 [–]
为什么攀登珠穆朗玛峰？因为它就在那里。
指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系方式
搜索：
(Empty input provided. There is nothing to translate.)
黑客新闻 新的 | 过去的 | 评论 | 提问 | 展示 | 工作 | 提交 登录
Show HN: 一个基于证据的肽类百科全书 (whatthepeptide.org)
14 分，由 uelbably 1小时前发布 | 隐藏 | 过去的 | 收藏 | 2 条评论 帮助
gm678 52 分钟前 | 下一个 [–]
将铜肽用于抗衰老的证据评级基于“第二阶段临床试验”，并引用了一项仍在招募的“急性皮肤伤口愈合”试验。我认为该网站的主要目的是为虚假产品提供看似合理的依据。回复
uyzstvqs 33 分钟前 | 上一个 [–]
请注意，您在“浏览所有化合物”下的类别选择器已损坏。它会超出屏幕。回复
指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系方式
搜索：