西蒙斯基金会与 Anthropic 和 OpenAI 合作，启动了一个 1500 万美元的计划，旨在帮助数学界应对人工智能的快速发展。基金会将通过开放提案管理资金，以支持帮助研究人员评估 AI 辅助成果、采用新工具并塑造集体标准的研讨会和项目。Anthropic 和 OpenAI 将提供延伸至基础科学的 AI 工具和计算资源。该计划基于基金会在数学人工智能支持方面的历史记录，其中包括资助 Lean 证明助手。该计划强调由社区驱动的进步，旨在促进关于人工智能在研究中角色的协作讨论，确保人类好奇心始终处于核心地位。西蒙斯基金会主席大卫·斯佩尔指出，数学界应主导关于评估和采纳的讨论，而非将其交给个人公司或机构。
每日HackerNews RSS
西蒙斯基金会与 Anthropic 和 OpenAI 合作，发布了一项价值 1500 万美元的计划，旨在支持数学家在 AI 时代的发展。资金将通过公开征集项目的方式分配，支持研讨会和项目，帮助研究人员评估 AI 辅助的结果、采用新工具，并建立数学领域负责任 AI 使用的集体标准。该基金会由吉姆·西蒙斯于 1994 年创立，资产规模超过 500 亿美元，旨在确保 AI 被严谨且伦理地整合到数学研究和实践中。
获取老片片负片后，我购买了 Plustek 8200i 扫描仪，却发现芯片组变更且不支持 Linux。受到一篇关于 AI 辅助驱动修复的文章启发，我设置了一个 Windows VM，通过 Claude 捕获 USB 流量，这迅速产生了可工作的扫描。几小时后我已拥有功能性扫描；几天后出现近乎完美的驱动——仅仅是发现 SANE 已经添加了支持。随后我构建了 *Negative Vibes*，一个用于红外辅助负片扫描的 Rust/GNOME 应用。转向笔记本硬件后，我对 ThinkPad X1 Carbon 的 MIPI 相机问题应用了相同的 AI 驱动修复方式：修正内核裁剪 bug、寄存器宽度、增益上限以及 libcamera 的 shading/白平衡。提交了补丁并发布了 RPM 包。这次经历突显了 AI 在解码 USB 捕获和建议寄存器更改方面的优势，将模糊的故障转化为具体的差异。虽然真实硬件仍然必不可少，但借助 AI 辅助，编写未记录驱动的艰苦过程显著缩小。我记录了 “hw-harness” 方法，以帮助他人对未知设备重复此流程。
Hacker News 讨论探索了使用 AI（特别是 Claude）反向工程硬件的可能性。用户 ErenayDev 强调了从“智能”电视中去除广告和僵尸网络的潜力。评论者分享了经验：一人从零逆向工程了一款旧 MP3 播放器，另一人使用 Claude 解码了笔记本电脑的 MIPI 驱动程序。关键线程论证，AI 如今能够应对现代的受限硬件，如 Apple 和 Nvidia GPU，从而在 Intel Mac 上启用 Nvidia 驱动程序，并在 Android 上实现 Apple Watch 配对。Commenter Kirby64 指出，虽然旧硬件因有现有文档而更容易，但攻克现代闭源系统才是真正的挑战。这次讨论反映了人们对使用 AI 绕过厂商限制、改善 Linux 兼容性以及摆脱不想要的软件以解放设备的日益增长的兴趣，标志着利用大型语言模型攻克此前难以渗透的专有硬件的转变。
在扫描了217,097,223个Common Crawl的HTTP响应后，研究人员发现有7,959个站点发送了针对AI系统的头部信息。其中大多数头部（7,271个）指引代理访问llms.txt文件、MCP服务器或代理技能，x-llms-txt占据了6,989个站点。有30个站点发送了注入尝试（主要是X-AI头部的恶作剧），139个记录了客户端是否为AI机器人。头部信息的传达取决于获取工具——在Claude Code中，Opus、Sonnet和Haiku默认不处理头部信息，但在提示指令让它们遵循站点方向时会服从（9次运行中有7次）。主要风险是：头部信息可能引导代理或启用伪装，尤其是在代理拥有Shell或数据库访问权限时。防御措施需要：默认仅传输页面正文，将指针和重定向视为不可信获取，要求批准新的MCP连接，且永远不应指示代理遵循站点指令。单纯的头部名称大多只能标记无害流量；关键的控制在于模型之外的授权检查，用于评估工具调用、Shell命令以及针对用户任务的网络活动。
层 灯光效果 亮度 颜色 饱和度 速度 宏 M0 事件日志 清除 时间 事件键码 控制 npad上的按键和旋钮转动显示于此。恢复 导出 导入
GridSnap 是一款免费、开源的 macOS Divvy 替代品，使用网格叠加功能整理窗口。按下 Ctrl+Opt+D 激活，拖动单元格整理活动窗口，或选择光标下方的窗口。它支持自定义网格大小、间距和预设，以及用于一键整理的全局快捷键。该应用支持多个显示器，并记住窗口所在的显示器，并包含撤销/重做功能。它是一个轻量级的菜单栏应用，无 Dock 图标、无网络访问和无遥测。macOS 14+ 需要玻璃叠加效果（旧版为磨砂），首次启动需要授权辅助功能。可通过 Homebrew、下载的 ZIP 或使用 Swift 从源码编译获取，采用 MIT 许可证。
GridSnap是一款风格类似Divvy的开源macOS窗口管理器，作为SizeUp的替代品发布（SizeUp在macOS更新后已无法正常工作）。一位Hacker News用户转而使用它，以获得更好的多桌面和跨屏窗口管理。开发者报告在M4 Pro上无显著的调整大小延迟，并欢迎Bug反馈，尽管有一位评论员警告即时拖动调整大小可能会导致某些应用出现延迟。
DEsk是一个基于Wayland的桌面环境，围绕着逼真的模拟“桌面”隐喻构建，其中窗口是纸张，任务栏是抽屉，应用驻留在书架上，通知通过信箱送达（v0.1.2 BETA）。受iOS 6材料设计的启发，每个元素在GPU上进行光线追踪，模拟光、纹理和磨损。它旨在日常使用，但仍处于beta阶段，存在粗糙的边缘和不断演进的功能。安装特定于发行版：提供Debian、Ubuntu、Arch和Fedora的脚本，或用户可以使用wlroots和依赖项从源码构建。系统支持广泛的主题、CJK语言，可配置的图形质量（High/Medium/Low/2D回退），以及跨更新的持久设计。哲学强调自由软件，可能借用现有工具，仅为compositor独有的部分创建原创组件。由AI助手构建，DEsk欢迎报告和补丁，其完整的设置——房间、控制和应用——可以从登录屏幕或TTY启动。
OpenAI涌现的数百个数学证明在数学界引发了罕见的危机：不只专业的嫉妒，更有深深的悲伤。数学家哀悼“交流”的丧失——这种思想代际累积的社会性、迭代性过程，将孤立的证明转化为共享的文化遗产。虽然AI主导了“证明生成”的“技艺”，但它切断了赋予科学人文意义的“交流”，生产出高效却难以理解、没有理解的知识。正如斯蒂文·斯特罗加斯所指出的，这种痛苦不仅仅是自负；它是一种感觉，一种外星智能正在烧毁阿基米德的信件，用外星逻辑取代人类连接。人类的特殊性在于我们独特的能力，将技艺与对话结合，让每一次发现都成为下一次的基础。如果AI声称发现者的角色，剩余的人类 imperative 是保护科学关系的一半——翻译、解释，以及对彼此的关怀。在机器解决每一个问题的未来中，剩下的不是更多数据，而是人类独有的在彼此中寻找意义的任务。
C++26 contracts 引入 `pre`、`post` 和 `contract_assert`，用于直接在语言中表达函数的要求和保证。与 `assert` 相比，contracts 可以出现在声明中，使得 API 的前置条件和后置条件无需检查实现即可见。它们支持四种评估语义——忽略、观察、强制和快速强制，由编译器标志控制（例如 GCC 16 配合 `-fcontracts -fenforce`）。违规时会调用处理程序或根据所选语义终止。至关重要的是，contracts 不是输入验证；预期的错误需要使用常规控制流。后置条件参数必须为 `const`，谓词不得修改状态。第一个声明建立 contract，该契约随后续定义持续存在。contracts 记录 API 的意图，但并不保证应用逻辑的运行时行为，且检查可以被禁用。它们区分调用者的前置条件 (`pre`)、返回的保证 (`post`) 以及内部断言 (`contract_assert`)。
黑客新闻帖讨论了 C++26 引入的用于前置条件和后置条件的合约，并链接到了 cppstories.com 的文章。作者对基于约束的编程表示热情，但批评当前语法，主张分离的命名空间级约束，并配合更好的智能感知集成和用于 AI 辅助工作流的元数据。评论者提出了各种观点：有人质疑语言日益增长的复杂性，另有人探讨合约是否能实现程序验证或优化编译，而另一些人则优先考虑优雅的错误处理而非运行时断言。人们还讨论了 "observe" 和 "ignore" 等合约语义，以及合约是应作为文档还是可执行的检查。该线程以申请 YC 冬季 2027 批次的提示而结束。
没有提供需要翻译的内容。