OpenAI 令人惊讶地支持了伊利诺伊州的一项法案（SB 3444），该法案将很大程度上保护人工智能开发者免于对其“前沿”人工智能模型（训练成本超过1亿美元）造成的重大损害（包括死亡、100多人受伤或超过10亿美元的损失）的责任。 只要损害不是故意或鲁莽造成的，并且公司发布安全报告，即可适用该保护。 这标志着 OpenAI 的转变，此前该公司一直专注于反对责任法案。 专家认为 SB 3444 对人工智能公司过于保护。 OpenAI 认为该法案鼓励创新，并避免了州法规的“拼凑”局面，推动制定统一的国家标准。 他们还倡导建立联邦监管框架，呼应了硅谷对维护美国在人工智能领域领导地位的担忧。 然而，该法案在伊利诺伊州面临强烈反对，90% 的受访居民反对对人工智能公司免除责任。 尽管如此，OpenAI 希望该法案能够为联邦监管和安全人工智能部署铺平道路。
每日HackerNews RSS
## Marimo 代理集成：摘要 此工具使代理能够与托管在 Marimo 中的交互式 Python notebook 交互。它允许代理在 Marimo 环境中直接执行代码、探索数据和构建应用程序。 **安装：** 使用 `npx skills add marimo-team/marimo-pair` (或如果 `npx` 不可用，则使用 `uvx deno -A npm:skills add...`)，或通过代理界面中的 `/plugin` 命令添加/安装。建议启用自动更新以获取最新版本。 **主要功能：** 利用标准代理技能，在 notebook 中提供对 `bash`、`curl` 和 `jq` 的访问权限。 **处理权限：** Claude Code 可能会重复请求 Bash 命令的批准。要解决此问题，请在已安装的技能中识别所需脚本的绝对路径（例如 `discover-servers.sh`、`execute-code.sh`），并在您的 `.claude/settings.json` 文件中明确允许它们。
## Marimo Pair：反应式 Python Notebook 中的 AI 代理
Marimo Pair 是一套新的工具包，使 AI 代理能够在正在运行的 Marimo notebook 环境中直接操作。这允许代理使用 notebook 作为工作内存和反应式 Python 运行时，促进人类和 AI 在数据科学和研究任务上的协作。
核心思想是赋予代理对状态化编程环境的完全控制权，让它们可以添加/删除单元格、安装软件包，甚至操作 UI – 而 Marimo 的安全机制则确保可重复性并防止隐藏状态。代理通过标准的 Python 代码进行交互，利用 Marimo 的反应性来逐步构建可执行程序。
早期的实验表明，Marimo Pair 可以加速数据探索，简化假设检验，甚至可以用于调试 Marimo 本身。用户已经发现它在数据清洗和 UI 创建等任务中很有价值，notebook 既作为计算基础，又作为协作的、可读性强的文档。该项目处于早期阶段，欢迎社区反馈。许多用户强调 Marimo 解锁了数据科学思维，并结合 AI 代理的力量。
女性正在获得大部分新增就业机会。 发生了什么事与男性有关？
Women are getting most of the new jobs. What's going on with men?
3 天前
最近的劳动力趋势显示出显著的变化：绝大多数新增就业岗位由女性填补——自特朗普第二个任期开始以来，女性的就业数量是男性的17倍。经济学家贝特西·斯蒂文森认为，这需要重新关注鼓励男性进入成长迅速但传统上被认为是“女性”的领域，如医疗保健。 斯蒂文森最初在2016年建议特朗普，不要只关注制造业就业的承诺，因为这不足以满足男性就业需求，而应将传统上由女性主导的岗位宣传给男性。 这一建议仍然具有现实意义，因为特朗普执政期间制造业的增长微乎其微，而医疗保健行业增加的就业岗位数量超过了整个经济体。 美国男孩与男子研究所的理查德·里夫斯等专家建议，借鉴过去鼓励女性进入STEM领域的努力，推出新的倡议来吸引男性从事护理职业。斯蒂文森提议重新定义这些工作，强调传统上男性化的技能，例如医疗保健中的力量，以克服社会偏见。他们都强调，解决职业隔离和歧视对所有人都有益，而不仅仅是某个性别。
对不起。
白宫官员迈克尔·英格尔据报道向工作人员发送邮件，提醒他们遵守禁止利用非公开信息谋取个人财务利益的伦理规则，此前《华尔街日报》发布了一篇报道。 此举正值对卡尔希（Kalshi）和波利市场（Polymarket）等预测市场日益加强的审查，用户在这些市场上押注未来事件。 这些市场目前的交易额已超过440亿美元，并已超出体育领域，扩展到政治和经济预测。 1月份，波利市场曾面临担忧，一名用户在尼古拉斯·马杜罗被捕*之前*押注获利近50万美元，引发了对潜在内幕信息的质疑。 白宫坚称特朗普总统完全专注于美国人民的利益，并且已联系卡尔希和波利市场，就这些问题发表评论。
## 英特尔486：最初的反应与持久的影响
英特尔486 CPU于1989年4月发布，最初定价950美元，这引发了科技出版物的争论。虽然它因将先前组件（如386和数学协处理器）的性能集成到单个芯片上而受到赞扬，但许多人质疑其直接的必要性。
来自*Infoworld*和*Computerworld*的早期评论将486描述为一种演变，而不是革命，并预测它不会彻底改变计算，尽管它提供了显著的速度提升。一些分析师甚至对过去几年中处理器改进的持续快速步伐表示怀疑。最初的系统预计成本在10,000美元至15,000美元之间！
然而，对需求有限的预测被证明是不准确的。像Microsoft Word这样图形密集型应用程序的兴起，以及特别是像*Doom*这样游戏的流行，推动了对486处理能力的需求。到1992年，价格下降使其变得易于获得，这与Windows 3.1的发布以及后来的Windows 95相吻合——这些软件真正展示了486的功能，然后才被Pentium超越。
## 英特尔486：一段怀旧的回顾
1989年英特尔486 CPU的发布引发了兴奋，标志着个人计算领域的一大飞跃。用户们回忆起它当时的高昂价格——1992年一台486sx很容易超过3000美元——以及它所产生的影响，通常需要依靠家庭馈赠或遗产来资助。
486代表了一个转折点，它带来了更流畅的游戏体验（尤其是《毁灭战士》），以及AutoCAD等先进软件和早期的互联网接入。它推动了一波创新浪潮，但当时有些人低估了它的潜力，质疑如此强大的处理能力*可能*能做什么。
讨论强调了技术进步的快速步伐，将286、386和486之间的显著改进与如今的增量升级进行对比。486的遗产超越了它的技术规格，它代表了许多人进入计算领域的门户，也是未来职业生涯的基础。即使今天，这款芯片仍然在经历过它诞生的那些人的心中占据着怀旧的位置。最近，Linux内核宣布将在7.1版本中停止对486的支持，标志着一个时代的结束。
## FBI 从 iPhone 通知中恢复已删除的 Signal 消息
最近的庭审显示，FBI 通过访问苹果的内部通知存储，成功地从一部 iPhone 上恢复了已删除的 Signal 消息内容。此案涉及被指控破坏 ICE 拘留设施的个人，证词显示，在 Signal 应用卸载后，联邦调查局特工从被告林内特·夏普 (Lynette Sharp) 的手机中检索到了*接收*的 Signal 消息。
恢复成为可能的原因是夏普没有启用 Signal 设置来阻止消息在通知中预览。iOS 会缓存这些预览，即使在应用删除后，通知数据仍然可以访问。虽然确切的方法尚不清楚——可能涉及设备备份或利用 iOS 漏洞——但此案凸显了一个潜在的安全漏洞。
苹果最近更新了 iOS 推送通知令牌验证 (iOS 16.4)，但尚未确认与此案的直接关联。Signal 和苹果均未对通知处理和存储的具体细节发表评论。此事件强调了在消息应用中启用隐私设置以限制数据暴露的重要性。
启用 JavaScript 和 Cookie 以继续。
## 微软账户暂停引发争议
微软近期以强制账户验证为由，暂停了包括WireGuard和VeraCrypt等多个知名开源项目的开发者账户。此举引发了一波批评，开发者报告称并未收到提前通知，尽管微软声称自2025年10月起已发送邮件。
许多用户对微软含糊的沟通和频繁发送的、常常无关紧要的“需要采取行动”邮件感到沮丧。人们越来越担心对开源软件的集中控制以及潜在的政府影响，尤其是在VPN和安全工具方面。一些人推测这可能是为应对即将出台的年龄验证等法规而采取的预防措施。
该事件凸显了对平台“劣化”以及大型科技公司权力的更广泛担忧。讨论还涉及优先处理支持工单的挑战，以及微软需要改进沟通和透明度的问题。虽然一些账户已被恢复，但此事件加剧了不信任感，并促使人们呼吁使用替代平台和更大的用户控制权。
## Pystd 排序性能：追求速度 最近的努力集中在优化 Pystd 库中的排序算法，以超越 stdlibc++ 的性能。稳定排序取得了快速的成功，通过小的调整实现了 5% 的速度提升，达到 0.86 秒。 不稳定排序证明更具挑战性。尽管进行了许多优化——包括模仿 stdlibc++ 的元素移动技术（使用 `memmove` 和特定的交换方法），试验 Shell 排序和基数排序，以及改进枢轴选择——Pystd 始终落后 5-10%。 突破意外地来自于调整内省排序算法中从快速排序切换到插入排序的阈值。将此限制从 16 增加到 32（并短暂测试 64）产生了最大的性能提升。 最终，Pystd 略微胜过 stdlibc++，用时 0.754 秒，而 stdlibc++ 用时 0.755 秒，这表明了进一步优化的潜力。虽然胜利微小，但这标志着在追求更快的排序方面取得了一项重大成就。
对不起。
法国启动政府Linux桌面计划，开始退出Windows。
France Launches Government Linux Desktop Plan as Windows Exit Begins
3 天前
## 法国加速数字主权推进 4月8日，法国政府在总理和相关部长的主持下，举行了一次重要的跨部门研讨会，重点关注减少对非欧洲数字技术的依赖。这标志着法国和欧洲数字主权战略的显著加速。 该倡议包括具体措施，例如DINUM从Windows操作系统过渡到Linux，以及CNAM（国家健康保险）将8万名代理人迁移到法国主权工具（Tchap、Visio、FranceTransfert）。政府还计划在2026年底前将健康数据平台迁移到可信解决方案。 一个关键要素是通过新的“联盟”促进部委、公共运营商和私营公司之间的合作，这些联盟专注于利用开放标准进行特定项目。每个部委将在秋季制定计划，解决工作站、协作工具和人工智能等领域的依赖问题。 DINUM将协调这项工作，并计划在2026年6月举行“工业会议”，旨在正式建立欧洲主权的公私联盟。
对不起。
## D&D 战斗建模：从单角色到全面战斗 该项目从建模单个 D&D 角色发展到功能完善的战斗系统，处理了法术、反应和反制法术、护盾、传奇抗性等复杂互动。核心挑战在于确保这些交织机制的正确性——简单的“待办事项应用”方法是不够的。 最终的 Quint 规范（一种形式化建模语言）涵盖了所有 12 个角色职业、14 种状态、传奇生物以及一套全面的战斗规则。它细致地建模了中断链——攻击期间触发的一系列反应——确保每个动作后的准确状态转换。 至关重要的是，该项目利用基于模型的测试 (MBT) 来验证实现（目前在 XState 中）是否符合形式化规范，发现了传统测试遗漏的许多错误，包括法术位初始化错误和状态处理缺陷。一个流程还接收社区规则问题以生成新的测试，持续改进规范的准确性。 这不仅仅是复制规则，而是创建一个可验证的系统，其中一个代理可以生成*保证*符合 D&D 规则集的代码，这归功于形式化规范充当不可辩驳的预言机。该项目展示了形式化方法在具有明确规则和绝对正确性需求的复杂系统中的强大力量。
对不起。