标签：SQL编辑器

前沿哨所

• Apple 烂尾系统 Copland 复活：最后的 D11E4 版本可在浏览器中启动

  Apple 在 1990 年代开发的 Copland 操作系统最后一个构建版本 D11E4，现已通过改进版 PowerPC 模拟器 DingusPPC 在浏览器中成功启动。Copland 长期以难以在真实硬件上运行著称，此前从未有过可用的模拟版本。项目由 pagetable.com 发布，作者指出，在真实硬件上启动 Copland 约需 30 秒，而现代计算机通过 WebAssembly（wasm）即可实现实时模拟。用户点击屏幕即可接管键盘和鼠标控制，按 Escape 键归还控制权。若系统代码触发断言错误，会自动进入调试器，点击 Continue 可继续运行。作者还建议尝试运行系统自带的 GXSlidemaster 演示程序和 Eric’s Solitaire 纸牌游戏。技术层面，作者为解锁 Copland 制作了 11 个补丁，已发布在其 fork 的分支上。值得注意的是，DingusPPC 项目不接受借助 AI 编写的补丁，因此作者希望有人能根据 commit message 中的说明重新实现这些修复，wasm 版本所需的补丁则单独发布在另一分支。Copland 原本是 Apple 用来取代老旧 System 7 的现代化微内核系统，但因开发受阻于 1996 年被取消。Apple 随后收购 NeXT 公司，以其 NeXTSTEP/OpenStep 系统为基础打造出 Mac OS X，深刻影响了此后二十余年的 Mac 产品线。此次浏览器化复现，让这款未及面世便被放弃的系统首次向公众开放体验。

  事件分析

  此次复现的核心技术看点在于 PowerPC 架构模拟的成熟度。DingusPPC 作为开源 PowerPC 模拟器，此前主要针对常规 Mac 系统优化，而 Copland 依赖大量未公开文档化的硬件行为和未完成代码路径，11 个补丁的破解过程实质上是对系统底层机制的逆向工程。WebAssembly 使这类重模拟负载在浏览器中接近实时运行，标志着浏览器正成为软件保存的重要载体。另一值得关注的细节是 DingusPPC 明确拒绝 AI 辅助编写的补丁，在 AI 代码生成工具普及的当下，这反映了部分开源社区对代码可审计性与贡献者理解深度的坚持。从产业视角看，此类项目推动了数字遗产保存实践，历史上大量失败或未发布的系统因缺乏可运行环境而逐渐失传，模拟器与浏览器的结合为其提供了低门槛的存续方式。后续可期待更多经典系统的浏览器化复现，以及开源社区对 AI 代码贡献边界的持续讨论。

  核心观点：被 Apple 废弃的系统靠开源模拟器在浏览器中复活，数字考古正成为对抗技术失忆的力量，而拒绝 AI 代码更凸显人工逆向的不可替代性。

  原文链接：Hacker News

  刚刚

• Gravity Linux 早期 Alpha 发布：M4 Mac mini 跑通原生 Linux，GPU 与 DCP 驱动可用

  Gravity Linux 团队（开发者 Cody Ho 与 Niklas Sheth）发布面向 M4 Mac mini 的早期 Alpha 版本，首次在该设备上实现可用的 DCP 显示协处理器与 GPU 驱动，GPU 已通过 OpenGL ES 3.0 与 OpenGL 3.3 合规认证。该项目是基于 Fedora 的发行版重制，默认搭载 KDE 桌面与 Wayland 显示协议，用户可在 macOS 下通过一条 shell 命令完成安装。官方明确表示此版本仅供开发者测试，尚不适合日常使用：Alpha 版无法升级至后续 Beta 或正式版，届时需整盘重装；暂不支持睡眠唤醒、USB-C 接口视频输出（HDMI 正常）以及 Thunderbolt/USB4；功耗偏高、关机重启不稳定，扬声器音量出于安全考虑被限制。除上述已知问题外，其余功能均经过测试可正常工作。团队称发布 Alpha 的目的是让开发者尽早测试真实负载、发现缺陷并参与修复，为 Beta 版打磨平台。后续计划将支持扩展至 MacBook Neo 及其余 M4、M4 Pro、M4 Max 机型，M5 与 M6 设备亦在规划范围内。长期目标是将全部成果提交上游，项目采用教科书式净室逆向工程流程，未参考任何 Apple 二进制文件，并公开文档化全部方法与发现，以规避法律风险并保障项目可持续性。

  事件分析

  Apple Silicon 上实现完整 Linux 支持的最大技术瓶颈集中在 DCP（显示协处理器）与 GPU 驱动，此前该领域几乎由 Asahi Linux 一家长期攻坚，Gravity Linux 的出现意味着这一方向出现了第二支具备实质产出的团队，社区对 M 系列芯片硬件细节的逆向理解正在加速沉淀。OpenGL 3.3 合规距离 Vulkan 等现代图形 API 仍有差距，但已足以支撑轻量桌面与部分图形工作负载。项目强调净室逆向、不接触 Apple 二进制，兼顾了法律安全与可持续性，并把上游化作为长期目标，若驱动最终进入主线内核，苹果硬件有望成为小型服务器、编译农场与自托管场景的低功耗选项。后续值得关注的节点包括 Beta 版能否补齐睡眠与雷电接口、以及 MacBook Neo 等移动设备的适配进度。

  核心观点：净室逆向攻克 DCP 与 GPU 驱动后，苹果封闭硬件生态正被开源社区一步步撬开，通用 Linux 生态向 M 系列芯片扩张已成趋势。

  原文链接：Hacker News

  刚刚

• Grok 4.7 正式上线：编程跑分超同档 Opus 5，成本仅其一半

  xAI 新旗舰模型 Grok 4.7 已正式上线 Modelflare 平台，支持 50 万 tokens 上下文窗口，接受文本和图片输入、输出文本，可通过 Chat Completions 与 Responses API 调用，此前的 grok-4.5 和 grok-4.6 仍可继续使用。在编程基准测试 CursorBench 的 Extra High 档位中，Grok 4.7 得分 46.3%，略高于同档 Claude Opus 5 的 46.1%，但低于 Opus 5 Max 的 46.6%。成本差距更为显著：按 Cursor 公开标价折算，Grok 4.7 单任务成本约 6.01 美元，而 Opus 5 Extra High 约 11.43 美元，前者约为后者一半。需注意将 reasoning_effort 参数设为 xhigh（默认为 high）才能达到该档位表现，且 Cursor 提示分数存在波动，接近的分差不一定具有统计意义。价格方面，Modelflare 开设两个分组：grok-award（0.03 倍率）输入 0.06 美元、输出 0.18 美元、缓存读取 0.015 美元每百万 tokens；grok-stable（0.11 倍率）输入 0.22 美元、输出 0.66 美元、缓存读取 0.055 美元每百万 tokens。用户在 API Key 页面选择分组、模型名填写 grok-4.7 即可调用。

  事件分析

  Grok 4.7 在 CursorBench 上与 Opus 5 打平的表现，标志着 xAI 在编程能力这一长期由 Anthropic 主导的领域已基本补齐短板。0.2 个百分点的分差参考价值有限，Cursor 官方也承认存在波动，但单价约为 Opus 5 一半的成本结构更具实质冲击力——当头部模型性能趋同后，价格将成为开发者和平台选型的关键变量。对 Cursor 等编程工具而言，模型供给多元化有助于压低推理成本、改善产品毛利。后续值得关注两点：Grok 4.7 在真实工程场景中长上下文的稳定性表现，以及 Anthropic 是否以降价或调整 Opus 5 Max 策略作出回应。此外，第三方推理平台快速跟进旗舰模型上线，也反映出模型分发与推理服务环节的竞争已进入白热化阶段。

  核心观点：头部模型性能差距已收窄至统计误差级别，编程模型竞争正从跑分之争转向定价权之争。

  原文链接：V2EX 分享发现

  刚刚

• xAI发布Grok 4.7：性能逼近Claude Opus 5，价格近乎减半

  xAI正式发布新一代大模型Grok 4.7，其最高配置版本Grok 4.7 XHigh在多项基准测试中表现接近Anthropic的Claude Opus 5，而价格仅为其一半左右，被社区评价为当前性价比最高的前沿模型之一。此次更新中，Grok 4.7的上下文窗口扩展至500K token，较前代产品有明显提升，能够处理更长篇幅的代码库和文档，对长上下文编程场景更为友好。定价方面，Grok 4.7与上一代4.6保持一致，即在性能提升的同时未上调费用，延续了xAI的低价策略。此外，xAI在发布新闻中提到，将开始向已授权的网络安全合作伙伴提供Red Team Model（红队模型），用于安全测试与攻防研究，显示出其在AI安全领域的布局。官方同步公开了发布新闻、模型卡与计费文档，开发者可在xAI文档站查询具体的模型参数与调用成本。在编码能力评测方面，该消息引用了Cursor Bench 4.0基准作为参考依据，表明Grok 4.7在实际开发工具场景下的表现是主要卖点。该消息最早出现在Linux.do社区讨论帖中，引发开发者关于以Grok 4.7替代Claude Opus 5进行日常编码工作流的热议。

  事件分析

  技术层面，500K上下文窗口是本次升级的关键指标，长上下文能力直接决定模型在大型代码库理解与多文件编辑任务中的表现上限，对Cursor等编程工具场景尤其重要。产业层面，xAI采取性能对标、价格减半的定价策略，将竞争焦点从单纯的能力追逐转向性价比，对Anthropic等竞品形成直接价格压力，可能引发新一轮前沿模型降价。Red Team Model面向授权网络安全伙伴开放，反映头部厂商开始将红队测试产品化，AI安全正从内部流程演变为对外服务能力。后续关键在于第三方基准与真实开发场景的独立验证，若口碑坐实，编码开发者向Grok迁移的比例或明显上升，同时Cursor Bench等工具链评测的话语权也将进一步放大。

  核心观点：前沿模型竞争进入性价比决战阶段，xAI以半价贴身战术冲击对手溢价，编码场景正成为大模型商业化的主战场。

  原文链接：Linux.do

  刚刚

• 2MB开源新闻应用“有所闻”适配LinuxDO，RSS、知乎无缝聚合

  开发者t59688在Linux.do社区发帖宣布，其开源新闻聚合应用“有所闻”（GitHub项目名newsnook）已完成对LinuxDO论坛（L站）的适配，常用功能均可正常使用，用户需切换至最新Beta版本方可体验。至此，该应用已实现RSS、新闻、知乎、L站等多个信息源之间的无缝切换。开发者同时在社区征集用户反馈建议。“有所闻”是一款面向Android平台的纯新闻聚合阅读应用，安装包仅约2-3MB，内置90多个频道。其核心功能是将各平台新闻聚合到一起，按时间顺序展示，无推荐算法、无广告、无信息流干扰。架构设计上，该应用没有账号体系、没有后端服务，客户端直接拉取各媒体源站的RSS或JSON数据，从机制上避免了用户数据被集中收集。此前版本已支持云同步设置功能。项目代码托管在GitHub上，以开源模式持续迭代，此前曾因“简单而全面的RSS和新闻APP”的定位在开发者社区获得关注，本次更新进一步扩展了其对中文社区内容的覆盖范围。

  事件分析

  该应用的技术亮点在于“无后端”架构：不设账号体系与服务器中转，客户端直连各源站的RSS/JSON接口，天然规避了用户数据集中存储的隐私风险，也大幅降低了开发与运维成本。安装包仅2-3MB却覆盖90+频道，体现了移动端轻量化开发思路，与主流新闻客户端动辄上百MB、依赖算法推荐的产品形态形成鲜明对照。对RSS生态而言，这类工具延续了信息订阅的去中心化传统；而对LinuxDO、知乎等社区内容的适配，则显示开发者正尝试将垂直社区纳入统一阅读入口。后续走向上，iOS客户端缺位、源站接口频繁变更带来的维护成本、以及各平台的反爬限制，将是此类项目能否长期存活的关键变量。

  核心观点：当算法推荐垄断信息入口，无后端、按时间排序的极简聚合器正在帮用户夺回阅读主动权。

  原文链接：Linux.do

  38分钟前

• 开源项目SearchBoost v0.2发布：面向多Agent的多引擎聚合搜索增强工具

  SearchBoost是一款面向AI Agent的开源网络搜索增强工具，开发者近期发布v0.2大版本更新。该项目采用多引擎聚合方式提升模型搜索质量，并原生支持X（Twitter）搜索以增强实时信息获取。据开发者介绍，v0.1版本在npm平台已获得约3000次下载。新版主要更新包括：其一，主动式搜索优化，为通过MCP协议接入的Agent添加hook机制，在Agent启动时注入短提示词，使其搜索行为更加主动；其二，重写fused_search多引擎并行搜索的引擎池，为不同任务类型设置独立引擎层与权重配比，并赋予Agent自主选择引擎和权重的权限，当判断问题偏实时性时可聚合X搜索结果；其三，升级fetch_page网页抓取工具，加入网络优化抓取与噪声后处理，提升Agent抓取网页的速度与信息理解能力；其四，重构子代理并行研究工作流，提供fast与complex两种模式适配不同复杂度的搜索场景；其五，新增实验性功能adaptive_search，接入Jev后可由其接管引擎选择与网页评分，自动判断信息缺口并开启新一轮搜索，形成自动化搜索闭环。项目代码已在GitHub完整开源，支持npm安装与TUI自动化配置。

  事件分析

  从技术角度看，SearchBoost针对的是大模型Agent检索质量的实际痛点：单一搜索引擎难以同时覆盖专业知识与实时信息等差异化需求，多引擎分层加权、并允许Agent自主选择引擎与权重的做法，体现了Agent工具从固定调用向自主决策演进的趋势。该项目深度绑定MCP协议、Pi扩展与DeepSeek生态，反映出开源社区正围绕Agent工具链构建互补性基础设施，与官方搜索API形成差异化路线。实验性的adaptive_search通过自动评估信息缺口并触发多轮搜索，与业界深度研究类产品的技术思路相通。后续该功能的稳定性与实际增益仍待社区验证，但方向上预示搜索增强工具将向自动化、多轮智能研究工作流深化。

  核心观点：搜索增强正从被动工具调用走向Agent自主决策与多轮自动化研究，开源社区正快速补齐大模型实时信息能力的短板。

  原文链接：Linux.do

  54分钟前