第18期 · 2万美元的美国制造电动皮卡：无油漆、无音响、无屏幕
科技周刊 第18期 · 2025.04.26
本期精选 15 篇高质量科技内容
产品创新
2万美元的美国制造电动皮卡：无油漆、无音响、无屏幕
Slate Auto推出了一款价格低于2万美元的电动皮卡，特点是极简设计，没有油漆、音响和触摸屏。这款车专注于基本功能，旨在提供经济实惠的电动出行方案。
Eurorack旋钮创意设计
一位开发者提出了一种新型Eurorack旋钮设计，旨在优化模块化合成器的空间利用和用户体验。该设计通过创新机械结构实现了更紧凑的布局和更直观的操作。
人工智能
无损LLM压缩技术：通过动态长度浮点实现高效GPU推理
研究人员提出了一种无损压缩大型语言模型的方法，通过动态长度浮点技术，将模型大小减少70%，同时保持100%的准确性。这项技术显著提升了GPU推理效率。
使用OpenAI图像API创建个性化填色书服务
开发者利用OpenAI的新图像API开发了一项个性化填色书服务，用户上传照片后，系统会生成可打印的填色页面。这项服务旨在提供远离屏幕的创意活动。
世界模拟：通过神经网络实现
开发者将住所附近的森林小径转化为可通过神经网络探索的虚拟世界。用户可以在浏览器中体验这个由AI生成的交互式环境。
Paper2Code：从机器学习论文自动生成代码
研究人员提出了一种从机器学习论文自动生成代码的系统。该系统能够理解论文中的算法描述并转换为可执行代码。
编程开发
Magnitude：面向Web应用的开源AI原生测试框架
Magnitude是一个开源的AI原生测试框架，专为Web应用设计。它利用AI技术简化测试流程，提高测试效率和质量。
使用Lean形式化《数学原理》
开发者使用Lean定理证明器对《数学原理》进行形式化验证。该项目展示了现代证明辅助工具在数学基础研究中的应用潜力。
Curry：一种函数式逻辑编程语言
Curry是一种真正集成的函数式逻辑编程语言，结合了函数式和逻辑编程范式的优点。该项目提供了完整的文档和实现。
巨洞冒险(1976)
开发者分享了经典文字冒险游戏《巨洞冒险》的现代实现。该项目保留了原版游戏的核心玩法，同时进行了技术更新。
Empty Enter Expander：减少终端输入的工具
开发者创建了一个工具，通过智能补全减少终端中的重复输入。该工具能够记住常用命令，提高命令行工作效率。
开源社区
伯克利人形机器人Lite版：开源、可定制、3D打印
伯克利团队推出了一款开源、可定制的3D打印人形机器人Lite版。该项目旨在降低人形机器人的研发门槛，促进教育和个人创新。
Echo：开源硬件音乐播放器
Echo是一款开源的硬件音乐播放器项目，提供了完整的硬件设计和软件实现。该项目旨在为音乐爱好者提供可定制的播放解决方案。
技术趋势
阅读RSS内容是一项需要技巧的活动
作者探讨了在当今互联网环境下使用RSS的技术和策略。文章指出，有效使用RSS需要特定的技能和方法，以应对信息过载问题。
Discord联合创始人兼CEO Jason Citron卸任
Discord联合创始人Jason Citron宣布卸任CEO职务，由前动视暴雪高管Humam Sakhnini接任。Citron将继续留在董事会。