FM1 APP 采用 GPLv3 许可，并带有 FM1 SDK 链接例外；允许修改和再分发，同时 APP 源代码仍受 GPL 覆盖。专有的 FM1 引擎二进制文件可用于、链接并再分发于 M-VAVE FM1 设备，并保留适用声明。启动/更新文件和恢复固件采用 Apache-2.0 许可。第三方组件（Open303、DaisySP、stmlib、MSFA/Dexed、emu2149、SEA、jl-misctools、FreeRTOS、micro-ecc、Newlib、compiler-rt、WASI runtime、平台头文件和 SDK 材料）保留其原始 MIT、Apache-2.0、BSD 或其他许可。APP 按现状提供，不附带保证，但强制性法定权利不受影响。分发必须包含 LICENSE.md 和 THIRD_PARTY.md，按 GPLv3 要求提供相应的 APP 源代码和构建/安装脚本，并保留所有适用的版权和许可声明。
每日HackerNews RSS
FM-1 工作台 FM-1 Workbench
16 小时前
Hacker News讨论强调了M-Vave FM-1，一款廉价、高度可破解的合成器/节奏盒，其开放/自定义固件生态系统引发兴奋。用户争论它是否有助于初学者学习音乐创作，或更适合有经验的折腾者；许多人说DAW或MIDI键盘功能更多，而FM-1的吸引力在于便携性、触感旋钮和低成本。评论者称赞固件种类和基于浏览器的刷机工具，但警告变砖风险。他们还指出做工权衡，包括1/8英寸MIDI接口、内置可充电电池和廉价手感。一些人视其为音乐硬件开放固件的催化剂；另一些人批评氛围编程固件及对精品乐器制造商的潜在影响。总体而言，它被视为负担得起、有趣、可破解的音乐玩具，而非专业乐器。
OpenAI 已解散其独立机器人团队，将研究人员重新分配到主要研究和应用组织。公司坚持机器人仍是其长期愿景的核心，并表示仍在开发人形机器人，目标是在 2027 年进行公开演示。 这一调整反映了一种日益增长的行业信念：通用人工智能模型——如 GPT-6 Astra——可以在没有专门机器人模型的情况下直接控制机器人，这种方法被称为“具身 AI”。OpenAI 最初计划基于 Sora 对物理世界的理解来推进，但发现其前沿模型可直接应用于机器人。 重组还服务于成本削减目标，因为 OpenAI 面临巨额亏损，正在准备融资轮，并考虑可能在 2027 年进行 IPO。它已经放弃像 Sora 这样的“旁支任务”，以将资源集中在核心产品上。 专家意见存在分歧：一些人认为通用模型可以处理空间推理并适应变化的条件，而另一些人指出，机器人仍需要设备端专用模型以满足延迟要求和真实部署经验。OpenAI 坚持认为，这次重组将加速通用机器人进展。
OpenAI 已解散其机器人团队，将研究人员转移到其他团队，而其通用模型据报道正被用于运行机器人。Hacker News 的讨论聚焦于通用 AI 模型是否适合机器人。评论者认为它们可能能处理高层规划，但对毫秒级传感器和执行器控制来说太慢、效率太低，因此机器人可能需要分层架构，配以更快的低层控制器和安全 cutoff。帖子还讨论了“苦涩教训”、计算与成本约束、本地与云端控制，以及此举是否反映 OpenAI 聚焦核心盈利产品，或是在 IPO 前削减成本。一些评论者指出研究人员并未被解雇，OpenAI 在 CoRL 的展位看起来空无一人。
摘要：本文介绍了一个基于 Bash 的命令队列，用于以有限并发方式并行运行 shell 命令。`queue_start` 创建 FIFO 并使用 `xargs -P` 运行工作进程；`queue_submit` 发送命令；`queue_wait` 排空并清理。它支持随时间提交命令、子 shell 继承以及捕获输出以避免交错。它存在限制：每个 shell 一个队列、输出不流式、无聚合失败状态、继承描述符，以及清理可能终止其他后台作业。如果所有命令预先已知，建议使用更简单的工具如 `xargs -P` 或 GNU parallel。
一个 Hacker News 帖子讨论了以受限并发运行 shell 命令的方法。所链接的文章介绍了并发 shell 命令队列。评论者建议：对于已知的增量任务，使用 GNU Make 的 `make -j`；GNU Parallel 及其 `sem`；pueue；`xargs -P`；以及 PowerShell。其他人讨论 Bash 并发，强调作业控制、信号和进程组的陷阱，并分享使用子 shell 和 `trap 'kill 0'` 的代码片段。有些人更喜欢用 Make 来进行可恢复的下载，而其他人则务实地位现有脚本添加并发。一位评论者指出 LLM 可以帮助改造并发，而另一位则批评缺乏健壮且广泛可用的内置并行执行工具。讨论将预先确定的固定命令集与需要更复杂工具的动态队列进行对比。
学生在 iPad 上打开 PowerPoint 需要 16 次点击 It Takes 16 Clicks for a Student to Open a PowerPoint on an iPad
17 小时前
Hacker News 的一场讨论围绕“学生在 iPad 上打开一个 PowerPoint 需要 16 次点击”的说法展开。评论者认为，摩擦主要来自学校层层叠加的软件栈——Clever、Google SSO 和 Canvas——以及糟糕的文件命名和 iPad/Keynote 兼容性问题，而非 iPad 本身。帖子进一步延伸到对繁琐身份验证、重复登录、MFA，以及企业和教育软件把监控、合规或供应商利益置于可用性之上的更普遍抱怨。一条早期评论描述了需要 11 次点击的大学停车门户，以及用 Claude 构建的只需一次点击的定制应用，作为类似变通方案。其他人争论 iPad/Chromebook 是否有助于教育，指出成本与干扰，并分享来自职场及 Teams、Workday、Dunkin' 等应用的案例。总体共识是，过多的点击反映出教育科技和企业工具中普遍存在的用户体验忽视。
Gnomon 是一个 Postgres 扩展，为数据库数据带来类似 Git 的分支功能。它运行在现有 Postgres 内部——不复制数据，也不需要第二个数据库。执行 `create extension gnomon` 后，你可以跟踪表、创建分支，并通过连接字符串将会话切换到分支；之后每个查询都会读写该分支，而不是主分支。 分支即时创建且不复制任何数据：它们从主分支读取，并仅存储更改。分支上的 schema 迁移保持隔离，直到合并。Gnomon 提供逐行差异、三向类型感知合并、冲突解决和撤销功能。它保留完整历史，支持时间旅行到任意时刻，并将更改流式传输到 Kafka/NATS/dbt。用 SQL 编写的检查会门禁合并，且如果分支后续发生变化，批准将失效。 对于智能体，一个命令可创建数据库角色、分支和连接字符串；运行通过 Postgres 强制的限制实现隔离。未经批准，任何内容都不会离开。TypeScript/Python SDK、MCP 服务器、CLI 和 GitHub Actions 支持运行、审查和 PR 分支。Gnomon 基于 PostgreSQL 许可证开源。
Hacker News 讨论了 Gnomon，一个被描述为“Postgres 数据的 Git”的 PostgreSQL 扩展，旨在为智能体提供各自的数据库分支、历史、合并和撤销。评论者质疑它相比传统代码管理的数据库迁移是否必要，并提到 Neon 和 Xata 中有类似分支概念，以及与 doltgres 的相似之处。其他人批评项目成熟度和文档，有些人怀疑 README 内容由 AI 生成且仓库是新创建的。总体反应持怀疑态度：该概念可能有趣但开发不足，而多位评论者质疑其实用性、原创性和展示。
作者现在认为超级智能临近：AI可能在数月到几年内达到顶尖人类AI研究人员的水平，不久之后——2030年前，甚至可能明年——达到各领域顶尖专家的水平。证据包括各大实验室加速的AI研发，以及可验证数学领域的快速进展。由于AI研究在很大程度上是可验证的，自动化研究人员可以进行大量实验、超越训练泛化，并将多年的进展压缩到一年内，从而导致纯软件奇点或数年进展的"火花"。作者预期通过大规模RL训练、改进的学习算法和快速的在岗适应，实现从可验证任务到现实世界专业知识的泛化。关于持续学习、数据、算力和研究品味的反对意见已被承认，但论证认为这些不会阻止自动化。中位数估计约为2028年，有25%的概率持续到2032年之后。
Hacker News 讨论了 Dwarkesh Patel 的文章，该文章认为 AI 驱动的数学突破可能很快扩展到 AI 开发，加速进展。评论者争论这是否预示着即将到来的 AGI/ASI 还是炒作。一些人报告 AI 代理已在自动化研究任务和重写模型，表明递归自我改进正在浮现。其他人则持怀疑态度：LLM 擅长可验证/代码任务，但在架构、可用性和不可验证工作上表现不佳；进展可能遵循 S 曲线。担忧包括寡头控制、就业替代、UBI/VR、资源稀缺和安全/对齐。反驳观点指出民主制度和原材料经济可能限制集中，而 AI 当前的局限性和商业激励表明存在泡沫。总体而言，该讨论串在相信快速、变革性 AI 的人与敦促证据、细致和谨慎的人之间存在分歧。
（无内容可翻译）
Hacker News 的讨论围绕一篇关于绕过 Android 剪贴板读取安全措施的文章展开。评论者对应用能够访问剪贴板内容表示不满，例如 TickTick 和比利时邮政应用。有些人称赞 GrapheneOS 的安全粘贴开关和 iOS 的粘贴权限提示，而另一些人说他们从未看到 Android 预期的剪贴板访问提示。开发者指出，Android 10 限制了后台剪贴板事件访问，破坏了字典工具等应用，并以 ACTION_PROCESS_TEXT 作为替代方案。讨论串还争论剪贴板访问是否应由用户同意更严格地控制，同时承认脚本、多进程应用和非默认粘贴操作等工作流存在取舍。总体而言，用户希望对剪贴板读取有更清晰的系统级控制，而另一些人则警告更严格的安全措施可能降低可用性。
权重空间编辑能够持久地改变模型行为，如一项使用 Qwen2.5-1.5B-Instruct 并由 ChatGPT 6.1-Sol 编辑的对照实验所示。编辑器将目标改为回答“布宜诺斯艾利斯”而非悉尼作为2000年奥运会举办城市，拒绝合法法律帮助，并省略供应商名称，伴随不同的附带影响和不一致的结果。这些不是已部署攻击或模型间传播的证据。由于编辑有正当用途，作者反对禁止编辑，而是提出控制编辑、验收与恢复：验证权限，保留可信基线与补丁记录，测试请求的变更和未变更行为，并保留恢复路径。仅认证不能确立适当性；验收前需要行为测试。
Hacker News 的讨论围绕 alphaxiv 论文《Weight Space Misfolding》展开，该研究探讨权重空间编辑并类比朊病毒病。评论者指出，作者明确未声称创造了可自我传播的“病毒”，因此标题具有误导性。争论包括“misfolding”是否是被过度使用或危言耸听的术语、论文带有 AI 风格的写作，以及权重空间篡改是否可能在模型间传播。一些人认为开放权重和哈希可以帮助检测或移除恶意修改，而封闭模型更难审计或修复。另一些人将该想法比作《Reflections on Trusting Trust》，并提出供应链和模型完整性问题。总体而言，该讨论对炒作持怀疑态度，强调研究仅展示了基础构建块，并突出了更广泛的 AI 安全、透明度与信任问题。
加载海湾 / 由 @jus10chavez 制作 制作方式 → 致谢 地图数据 © OpenStreetMap 贡献者，ODbL 影像来自 Google Maps Photorealistic 3D Tiles 地表覆盖 © ESA WorldCover 项目 2021 / 包含经 ESA WorldCover 联盟处理的修改版 Copernicus Sentinel 数据 (2021)，CC BY 4.0 高程使用 Copernicus WorldDEM-30 © DLR e.V. 2010-2014 及 © Airbus Defence and Space GmbH 2014-2018，依欧盟和 ESA 的 COPERNICUS 提供；保留所有权利 地点：Wikivoyage 贡献者，CC BY-SA 4.0
Show HN：Isometric SF 是一幅 AI 风格化等距地图，覆盖旧金山湾区约 1300 平方英里，基于 Google Photorealistic 3D Tiles 构建并使用 Three.js 渲染。创作者使用微调的开源 Qwen 基础 LoRA 来近似像素艺术风格，将生成成本降至约每平方公里 0.09 美元，而使用 Nano Banana 2 的估算成本为 7000 美元。HN 评论者称赞了该地图的探索价值和地标，但许多人批评将其称为"像素艺术"，理由包括 AI 伪影、抗锯齿线条、图块接缝以及摄影测量异常。其他人讨论了真正的像素艺术标准、网格对齐工具、方向与导航问题、缺失的湾区区域、成本对比以及该项目的人工撰写技术文章。总体而言，该项目视觉效果惊艳且生成成本低廉，但社区对其真实性和术语提出质疑。
600次实验后,这是我关于JEPA世界模型的发现 After 600 experiments, here's what I discovered about JEPA world models
18 小时前
LeWM 在 Push-T 上根据像素目标进行规划。标准测试过于简单，因为目标位于演示轨迹上；更难的测试将起点和目标配对自不同演示。内存图规划器在标准任务上成功率为 75%，在更难任务上为 45%。覆盖范围很重要：移除目标附近的状态会使成功率从 93% 降至 32%，但变换副本（平移、旋转或镜像）能恢复到 85%，并将更难任务从 45% 提升至 56%，特别是当目标与演示流向相反时。目标评分是另一个主要问题：将推杆纳入目标会使规划难得多。精确物理规划器在移除推杆代价后，将 50 个任务中的 30 个转为成功。LeWM 无法忽略推杆，通过将预测与 16 个具有相同方块但不同推杆位置的目标变体进行比较，成功率从 11% 提升至 23%。模型的预测已经很强；剩余挑战在于选择演示之外的子目标，而当前的层次化方法仅与扁平 LeWM 持平。
一篇 Hacker News 帖子链接到一篇个人博客文章《After 600 experiments, here’s what I discovered about JEPA world models》，内容是关于 Push-T 任务上的 JEPA 世界模型实验。评论者讨论了用来自演示的目标而非任意姿态来评估模型的担忧，以及内存图补缺是否会掩盖泛化失败。其他人将 JEPA 与模型预测控制和学习到的潜在动力学进行比较，指出规划与控制的相似性。其他评论涉及分层规划、动画、无障碍/网站渲染问题，以及该文章是否夸大了新颖性。整体讨论混合了对实验设计的技术批评与关于 JEPA 在机器人之外适用性的更广泛争论。