产品技术更新日报：开源AI推理引擎、跨端开发框架与算法突破

要点速览

1. Redis创始人Antirez开源ds4推理引擎，可在128GB MacBook上运行1M上下文窗口的DeepSeek V4 Flash模型
2. ZeroNative开源跨端开发框架，支持Zig替代Rust打包原生桌面与移动应用，可选多种Web引擎
3. Open Design完成0.6.0版本更新，新增Cloudflare Pages部署、39个设计模板等136项PR贡献
4. 清华大学团队发布新型最短路径算法，打破Dijkstra算法保持41年的理论最优纪录
5. Zipline在休斯顿启动自主无人机配送早期访问服务

一、AI与开发工具更新

1. Redis创始人Antirez开源ds4推理引擎，专为DeepSeek V4 Flash模型优化，仅用数千行C代码实现。该引擎通过不对称2-bit量化、将KV Cache迁移至SSD以及纯Metal原生优化，可在128GB MacBook Pro上稳定运行27 tok/s，支持1M上下文窗口与完整coding agent循环，无需依赖云端API。— via 1 2
2. Vercel Lab发布ZeroNative开源框架，可使用Web UI构建原生桌面与移动应用，支持macOS、Linux、Windows、iOS、Android全平台。该框架默认使用系统WebView，可通过Zig替代Rust进行打包，同时支持切换至CEF（Chromium Embedded Framework）以获取更高稳定性，兼容Next.js、Vue、Svelte、Vite、React等主流前端框架。— via 1
3. Codex 0.130.0版本发布，新增codex remote-control命令以简化无头可远程控制的应用服务器启动流程；插件详情页新增捆绑钩子展示，插件分享支持链接元数据与可发现性控制；应用服务器客户端可分页处理大型线程；Bedrock认证新增支持通过AWS登录配置文件获取控制台登录凭证。— via 1 2
4. Open Design完成0.6.0版本更新，在2天内合并136条PR贡献，由53位开发者（含26位新贡献者）共同完成。本次更新新增Cloudflare Pages部署与自定义域名支持、39个设计模板与32个HTML幻灯片模板、矢量PDF导出功能、Critique Theater Phase 6.1、BYOK Ollama Cloud以及土耳其语与泰语UI本地化。— via 1
5. Rebased开源Git客户端发布，基于IntelliJ Community版移除所有开发语言相关功能，仅保留Git工具链并优化UI。该客户端拥有与JetBrains IDE一致的快捷键与操作流，支持顶级Diff/Review体验、交互式Rebase编辑器、视觉化冲突解决、内置全文搜索与多Tab终端、Git Worktree等功能，采用Apache 2.0开源协议，内存占用低于完整JetBrains IDE。— via 1

二、算法与基础设施进展

1. 清华大学算法团队发布新型最短路径算法，打破Dijkstra算法保持41年的理论最优纪录。该团队通过结合Bellman-Ford逻辑与递归部分排序方法，将算法复杂度降至O(m log^{2/3} n)，在网页级、全球物流级等大规模图场景中性能优于传统Dijkstra算法，虽不会立即体现在消费级GPS中，但将对路径规划领域产生根本性影响。— via 1

三、行业与商业动态

1. Zipline在德克萨斯州休斯顿启动自主无人机配送早期访问服务，该公司表示其P2机型可配送至几乎所有城市中心地址，目前已完成超200万次配送任务。— via 1
2. Shopify于4月30日悄然上线订单级折扣堆叠功能，允许商家在季节性促销叠加会员折扣，无需通过自定义脚本实现，相关功能已在Function Studio中上线，帮助商家在6月截止日前完成脚本迁移。— via 1