arXivLabs是一个框架，允许合作者直接在我们的网站上开发和分享新的arXiv功能。个人和与arXivLabs合作的组织都认同并接受我们开放、社群、卓越和用户数据隐私的价值观。arXiv致力于这些价值观，并且只与秉持这些价值观的合作伙伴合作。您是否有为arXiv社群增加价值的项目想法？了解更多关于arXivLabs的信息。
每日HackerNews RSS
经典台球可以计算（二维台球系统是图灵完备的）
Classical billiards can compute (2d billiard systems are Turing complete)
2 小时前
黑客新闻 新 | 过去 | 评论 | 提问 | 展示 | 招聘 | 提交 登录
经典台球可以计算（二维台球系统是图灵完备的）(arxiv.org)
10 分，由 nabla9 发表于 4 小时前 | 隐藏 | 过去 | 收藏 | 讨论
指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请YC | 联系
搜索：
## ExecuTorch：使用 PyTorch 进行设备端 AI
ExecuTorch 是 PyTorch 针对 AI 模型直接部署到设备（从智能手机到微控制器）的解决方案，优先考虑隐私、性能和可移植性。它在 Meta (Instagram, WhatsApp, Quest, Ray-Ban 智能眼镜) 内部得到广泛使用，允许使用熟悉的 PyTorch API 无缝部署 LLM、视觉、语音和多模态模型。
主要特性包括直接从 PyTorch 导出 *无需* 中间格式转换，拥有 50KB 的微小运行时，并通过一次导出支持 12+ 硬件后端（Apple、Qualcomm、ARM 等）。它利用提前编译来优化模型以进行边缘部署，采用标准化的算子集和 CPU 回退。
部署涉及导出、编译（具有量化选项）和执行生成的 `.pte` 文件。ExecuTorch 提供 C++、Swift (iOS) 和 Kotlin (Android) 的 SDK，以及用于 LLM 和多模态模型支持的工具（Llama 3, Llava, Voxtral）。高级功能包括量化、内存规划以及用于调试和优化的开发者工具。
ExecuTorch 采用 BSD 许可，并欢迎社区贡献。
黑客新闻 新的 | 过去的 | 评论 | 提问 | 展示 | 招聘 | 提交 登录
Executorch：用于 PyTorch 的跨移动、嵌入式和边缘设备的 AI (github.com/pytorch)
8 分，由 klaussilveira 发表于 2 小时前 | 隐藏 | 过去的 | 收藏 | 讨论
指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系方式
搜索：
## AI 与软件验证的未来：一种平衡的观点
人工智能正在迅速改变形式化验证的格局——这是一个数学证明软件正确性的过程。在数十亿美元的投资和 Lean 等证明助手日益普及的推动下，人工智能正在取得显著成果，甚至能够解决国际数学奥林匹克竞赛中的复杂问题。专家们对人工智能革新软件工程的潜力持乐观态度。
然而，仍然存在重大挑战。一个主要障碍是大多数现有软件缺乏形式化规范；人工智能辅助编程提供了一条解决途径，即通过激励规范驱动的开发。即使*有*了规范，证明工程仍然困难，工具也不够完善。
人工智能在自动形式化（将意图转化为形式逻辑）和证明编写方面表现出色，但自动形式化步骤引入了一个关键漏洞——“可信计算基”，因为机械地验证翻译的准确性是不可能的。此外，证明助手速度慢，并且创建用于验证的全面模型（尤其是针对运行时性能）极其复杂。
作者提倡一种协同方法：**验证引导开发 (VGD)**。 这将形式化验证的简化实现与更快的生产版本相结合，并使用测试来确保它们行为一致。 尽管测试存在局限性，但它仍然对于证伪不正确的定理和探索形式化模型范围之外的领域至关重要。 最终，强大的测试*和*由人工智能驱动的日益复杂的形式化验证相结合，为实现更可靠的软件提供了最有希望的途径。
黑客新闻 新 | 过去 | 评论 | 提问 | 展示 | 招聘 | 提交 登录
测试，不要（仅仅）验证 (alperenkeles.com)
6 分，作者 alpaylan 33 分钟前 | 隐藏 | 过去 | 收藏 | 讨论
指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请YC | 联系
搜索：
## 3D HBM：可行的未来，但存在重大障碍 Imec 的最新研究表明，将高带宽内存 (HBM) 直接堆叠到 GPU 上（“3D HBM-on-Logic”）在技术上变得可行，为 demanding 的 AI 工作负载提供潜在的性能提升。然而，出现了显著的热挑战——初步模拟显示温度远超安全限制。 Imec 提出了一种多方面的解决方案，包括移除 HBM 基底，合并 HBM 堆栈，减薄内存，以及至关重要的是，**将 GPU 的时钟频率减半**。增强冷却，可能包括背面冷却，也至关重要。 虽然这些缓解措施将温度降低到与当前 2.5D 设计相当的水平，但权衡是巨大的。最大的问题是 GPU 频率降低 50%，影响整体计算吞吐量。尽管如此，Imec 认为增加的内存带宽可以弥补一些性能损失，可能为受内存限制的 AI 任务提供 22-46% 的性能提升。 然而，商业可行性仍然存疑。实施这些更改需要在整个供应链中进行重大重新设计，可能影响成本和良率。其他方法，如先进的 2.5D 互连或光存储解决方案，也在探索中。最终，Imec 的工作强调了创新散热的迫切需求，因为 AI 需求不断将硬件推向极限。
黑客新闻 新 | 过去 | 评论 | 提问 | 展示 | 招聘 | 提交 登录
解决HBM-on-Logic的问题 (morethanmoore.substack.com)
3点 由 zdw 2小时前 | 隐藏 | 过去 | 收藏 | 讨论
指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请YC | 联系
搜索：
## Glaze：保护艺术家免受AI风格模仿 生成式AI的兴起，特别是像MidJourney和Stable Diffusion这样的扩散模型，对艺术家构成了威胁。这些模型在大量的在线图像数据集上进行训练——通常包括受版权保护的艺术作品——从而实现“风格模仿”，AI能够以惊人的准确度复制艺术家的独特风格。这导致艺术家收入损失、品牌稀释，甚至产生身份盗窃感，甚至会打击有抱负的创作者。 为了应对这个问题，研究人员开发了**Glaze**系统，它以人类难以察觉的方式微妙地改变艺术作品，但会扰乱AI的训练。它为图像添加了一个隐藏的“维度”，扰乱了AI复制风格的尝试。Glaze并非万无一失的解决方案——存在反制措施（例如IMPRESS和噪声放大攻击，Glaze会不断更新以应对这些攻击），并且对*已经*嵌入到基础AI模型中的风格无效。 然而，Glaze是一个至关重要的第一步，为艺术家提供了一个免费工具（可作为可下载程序以及基于网络的**WebGlaze**使用），以保护他们的作品，同时更长期的法律和监管解决方案也在发展中。这是一个研究驱动的项目，而非商业行为，优先考虑艺术家保护而非利润。
## AI Glaze：一次怀疑的讨论
最近的Hacker News讨论集中在“AI Glaze”上，这是一种旨在保护艺术家风格免受AI复制的工具。然而，初步报告表明**Glaze可能无效**。用户报告称，他们成功地训练AI模型来复制来自经过Glaze处理的图像的风格，这引发了对其保护能力的怀疑。
此外，一些艺术家在使用较高设置的Glaze时，正在体验到作品中出现**不良的视觉噪点**。
这次讨论凸显了一个更广泛的问题：艺术家们正在主动地“Glaze”他们的作品集，即使对该工具的有效性以及更复杂的AI模型可能轻易绕过它的可能性越来越担忧。一些用户建议使用不包含艺术家姓名的风格描述作为替代方案。 讨论还指出了一个两极分化的环境，质疑Glaze的有效性可能会导致被指责为不支持艺术家。
瑞安航空因不公平限制在线旅行社（OTA）销售其机票，被意大利竞争管理局处以2.56亿欧元罚款。从2023年4月至2025年，该航空公司实施了技术障碍——包括阻止支付方式和删除账户——以迫使顾客直接通过其网站预订。 瑞安航空首席执行官迈克尔·奥利里将Booking.com等OTA称为“海盗”，指责它们通过隐藏费用抬高价格。尽管该策略最初影响了销量和利润，但瑞安航空仍然是一家备受推崇的航空公司。 该管理局发现瑞安航空滥用其支配市场地位，阻止与其他航空公司和服务捆绑销售，阻碍了竞争。瑞安航空计划对这一“在法律上存在缺陷”的裁决提出上诉，认为其直销模式使消费者受益，票价更低。该航空公司最近才允许OTA链接到其服务，从而提供了更多竞争选择。
瑞安航空因采取手段限制通过在线旅行社（OTA）的机票销售而被罚款2.56亿欧元。 尽管这些销售并未造成经济损失，但该航空公司积极阻止顾客使用会加收额外费用的转售商。
瑞安航空的方法包括阻止OTA的预订尝试——通过支付限制和账户删除——并对通过第三方预订的顾客实施面部识别。 他们还迫使旅行社签订协议，以防止与竞争航空公司或其他服务捆绑销售。
竞争监管机构发现，这些行为阻碍了消费者的选择，并使将瑞安航空航班与其他旅行安排结合起来变得更加困难。 瑞安航空最近才允许OTA直接链接到其服务，从而促进了更公平的竞争。 Hacker News上的讨论也提到了《卫报》新的付费墙策略。
糟糕！访问被拒绝：错误代码bf584155dcd667f7。
请返回。
由Anubis From Techaro保护。
🇨🇦制造，充满爱❤️。
吉祥物设计由CELPHASE完成。
本网站运行Anubis版本v1.24.0-pre1-8-g9d9be61。
黑客新闻 新 | 过去 | 评论 | 提问 | 展示 | 招聘 | 提交 登录
Gimp 源代码 (gnome.org)
7 分，由 roschdal 1 小时前发布 | 隐藏 | 过去 | 收藏 | 讨论
指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系
搜索：
## DatoCMS 年度回顾：2025 - 强劲增长与独立
DatoCMS 在 2025 年取得了令人印象深刻的成绩，实现 **650 万欧元的收入** – 较去年同比增长 **10%** – 并拥有高达 **65% 的息税前利润率**，使其在全球 SaaS 公司中名列前 5% ( “40 法则” 得分为 75!)。 这一成功归功于可持续运营和严格执行，避免了“不惜一切代价追求增长”的模式。
该平台将其 **代理合作伙伴网络扩展至 185 家**，展示了实际项目成功案例，目前已展示 **340 个项目**。 产品开发持续不断，关键改进包括 **JavaScript 的完全类型安全**、**响应式插件设置**以及 **AI 准备就绪**功能，例如适合 LLM 的文档和 AI 翻译。
一项重大成就是从 Heroku 完全迁移到 **AWS 上的自定义 Kubernetes 集群**，从而实现了 **响应时间提高 50%** 和 **基础设施成本降低 25%**。 公司还将其会计工作内部化，以获得更大的财务控制权。
DatoCMS 保持着 **13 人**的精简团队，优先考虑产品质量、工作生活平衡和盈利能力，而不是快速扩张，专注于提供价值并避免炒作。 他们计划在 2026 年继续这种方法，专注于发布有影响力的功能，而不过度承诺。
## Datocms 历经十年自筹资金，实现 650 万欧元营收
Datocms，一个内容管理系统，最近宣布在自筹资金十年后，营收达到 650 万欧元。该公司仅用 13 人的精简团队就取得了这一里程碑。
这一消息在 Hacker News 社区引发了赞扬，许多人将 Datocms 的成功视为对风险投资驱动的“不惜一切代价增长”模式的反面教材。评论员强调了盈利能力和建立*真正*业务的重要性，而不是依赖外部资金和丰厚的福利。
Datocms 的创始人承认对他们的成就感到自豪，并巧妙地倡导自筹资金作为一种可行且有效的成功途径。这篇帖子引起了其他自筹资金创业者的共鸣，并引发了关于替代创业策略的讨论。
## 使用 PostgreSQL 实现零拷贝数据库克隆 长时间运行的数据库迁移以及对干净测试环境的需求是常见挑战。传统上，复制大型数据库（数百 MB/GB+）速度慢且资源密集。PostgreSQL 提供了一种模板系统，新数据库从 `template1` 克隆，但在版本 15 之前，这会触发影响性能的“检查点风暴”。 PostgreSQL 15 引入了 `CREATE DATABASE ... STRATEGY`，默认设置为 `WAL_LOG`，通过预写式日志实现更平滑、并发的克隆——但对于大型数据库而言，可能速度较慢。`STRATEGY` 参数允许恢复到更快的 `FILE_COPY` 方法。 PostgreSQL 18 通过 `file_copy_method = clone` 增强了 `FILE_COPY`，利用文件系统功能（如 ZFS 或 XFS reflinks）实现*即时*、零拷贝克隆。这会创建指向相同数据块的新元数据，从而节省大量磁盘空间和时间。 但是，对克隆数据库的写入会触发“写时复制”机制，仅复制修改后的页面。重要注意事项包括：源数据库在克隆期间必须没有活动连接，它需要在单个文件系统内工作，并且可能在托管云环境中不可用。尽管存在这些限制，但该技术为合适的环境中的快速数据库复制提供了强大的解决方案。
黑客新闻 新 | 过去 | 评论 | 提问 | 展示 | 招聘 | 提交 登录
PostgreSQL 18 的即时数据库克隆 (boringsql.com)
18 分，由 radimm 发表于 3 小时前 | 隐藏 | 过去 | 收藏 | 讨论
指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系
搜索：
该ESP32-S3固件将有线USB游戏手柄桥接到无线蓝牙低功耗（BLE）连接。只需将USB游戏手柄插入Seeed Studio XIAO ESP32S3板（如果需要，使用USB-C OTG适配器或供电集线器），固件就会广播一个BLE信号，允许与手机、平板电脑或电脑配对。 该项目使用PlatformIO构建，处理不同游戏手柄HID报告格式的复杂性。它将按钮布局标准化为一致的内部表示，然后将其转换为标准的BLE HID游戏手柄报告。这种解耦允许广泛的游戏手柄兼容性，而无需特定的设备驱动程序。 开发通过PlatformIO命令进行简化，用于构建、烧录和串口监视。可以通过调整`hid_parser.cpp`中的设置来映射独特的游戏手柄按钮配置，并借助调试日志来识别按钮映射。本质上，它从几乎任何有线控制器创建通用的BLE游戏手柄信号。
一位开发者在Hacker News分享了一个项目，使用ESP32-S3微控制器将USB游戏手柄转换为蓝牙。该方案允许用户无线连接旧式有线手柄到电脑，实现远程控制。它涉及通过USB OTG线将游戏手柄连接到ESP32-S3，并通过蓝牙配对ESP32。
该项目引发了讨论，一位用户询问了ESP32开发的初学者资源，作为树莓派的替代方案。其他人称赞其巧妙实用的设计，特别是其对不同手柄的适应性和简单的硬件设置——基本上就是将USB端口焊接到ESP32-S3上。重要的是，开发者报告说与Xbox One手柄相比，没有明显延迟，并且有人建议使用视频录制来测量延迟。该项目的代码可在GitHub上找到。