LibreSprite v1.2版本:2D像素艺术创作工具的重大更新
LibreSprite是一款开源的2D像素艺术创作工具,专为游戏开发者和数字艺术家设计。作为Aseprite的分支版本,LibreSprite保留了其核心功能的同时,通过开源社区的力量不断进行功能增强和优化。最新发布的v1.2版本带来了多项重要更新,包括脚本功能扩展、多语言支持改进、压感笔支持增强等,为像素艺术创作提供了更强大的工具集。
脚本功能的显著增强
v1.2版本对脚本系统进行了重要升级,增加了更多API函数和示例脚本。其中最引人注目的是新增的Voxel.js功能,它允许用户将精灵图层渲染为3D对象,并导出为STL格式文件。这一功能为像素艺术与3D打印之间建立了桥梁,扩展了创作的可能性。
脚本系统的增强不仅体现在功能扩展上,还表现在易用性方面。新增的示例脚本为用户提供了学习模板,降低了脚本编写的门槛。开发者可以通过这些脚本快速掌握API使用方法,实现自动化工作流程或自定义特效。
国际化支持的重大突破
LibreSprite v1.2在用户界面国际化方面取得了显著进展。该版本新增了对12种语言的初步支持,包括英语、中文、法语、德语、意大利语、日语、韩语、葡萄牙语、西班牙语、印地语、印尼语和俄语。这一改进大大降低了非英语用户的使用门槛,使工具更加全球化。
值得注意的是,为了确保所有特殊字符都能清晰显示,UI现在采用了TTF字体渲染。用户如果发现文本显示模糊,可以将屏幕缩放比例设置为1以获得最佳显示效果。目前版本暂不支持从右到左的语言,这是未来版本需要改进的方向。
压感笔支持的全面升级
对于使用绘图板的艺术家来说,v1.2版本带来了更好的压感笔支持。现在,画笔工具的大小可以根据笔压自动变化,为数字绘画提供了更自然的体验。这一功能特别适合使用XP Pen Artist 12等绘图板或三星Galaxy Tab/Note等兼容Android设备的用户。
压感支持已在多个平台上实现,包括Windows(需WinTab支持)、MacOS、Linux(Xinput)、Android和Emscripten。这一全面覆盖确保了不同设备用户都能获得一致的创作体验。
浏览器版LibreSprite的推出
v1.2版本的一个重大创新是推出了浏览器版的LibreSprite。现在用户可以直接在网页浏览器中使用这款强大的像素艺术工具,无需安装任何软件。这一举措大大降低了使用门槛,使更多人能够轻松接触和尝试像素艺术创作。
性能优化与问题修复
除了新功能外,v1.2版本还修复了大量bug,包括多个可能导致崩溃的问题。特别值得一提的是修复了Mac设备在运行LibreSprite时无法进入睡眠状态的问题,这一改进显著提升了Mac用户的使用体验。
Linux版本也进行了优化,现在可以在非glibc发行版上运行,扩大了Linux用户的覆盖范围。此外,还修复了社区拼贴图在主页显示过大的问题,提升了UI的整体协调性。
总结
LibreSprite v1.2版本通过脚本功能增强、多语言支持、压感笔优化和浏览器版的推出,为像素艺术创作者提供了更强大、更易用的工具集。这些改进不仅提升了现有功能,还开辟了新的创作可能性,如3D渲染和跨平台使用。随着开源社区的持续贡献,LibreSprite正逐步成为像素艺术创作领域的首选工具之一。
ERNIE-4.5-VL-28B-A3B-ThinkingERNIE-4.5-VL-28B-A3B-Thinking 是 ERNIE-4.5-VL-28B-A3B 架构的重大升级,通过中期大规模视觉-语言推理数据训练,显著提升了模型的表征能力和模态对齐,实现了多模态推理能力的突破性飞跃Python00
Kimi-K2-ThinkingKimi K2 Thinking 是最新、性能最强的开源思维模型。从 Kimi K2 开始,我们将其打造为能够逐步推理并动态调用工具的思维智能体。通过显著提升多步推理深度,并在 200–300 次连续调用中保持稳定的工具使用能力,它在 Humanity's Last Exam (HLE)、BrowseComp 等基准测试中树立了新的技术标杆。同时,K2 Thinking 是原生 INT4 量化模型,具备 256k 上下文窗口,实现了推理延迟和 GPU 内存占用的无损降低。Python00
MiniMax-M2MiniMax-M2是MiniMaxAI开源的高效MoE模型,2300亿总参数中仅激活100亿,却在编码和智能体任务上表现卓越。它支持多文件编辑、终端操作和复杂工具链调用Python00
HunyuanVideo-1.5暂无简介00
MiniCPM-V-4_5MiniCPM-V 4.5 是 MiniCPM-V 系列中最新且功能最强的模型。该模型基于 Qwen3-8B 和 SigLIP2-400M 构建,总参数量为 80 亿。与之前的 MiniCPM-V 和 MiniCPM-o 模型相比,它在性能上有显著提升,并引入了新的实用功能Python00
Spark-Formalizer-X1-7BSpark-Formalizer 是由科大讯飞团队开发的专用大型语言模型,专注于数学自动形式化任务。该模型擅长将自然语言数学问题转化为精确的 Lean4 形式化语句,在形式化语句生成方面达到了业界领先水平。Python00
GOT-OCR-2.0-hf阶跃星辰StepFun推出的GOT-OCR-2.0-hf是一款强大的多语言OCR开源模型,支持从普通文档到复杂场景的文字识别。它能精准处理表格、图表、数学公式、几何图形甚至乐谱等特殊内容,输出结果可通过第三方工具渲染成多种格式。模型支持1024×1024高分辨率输入,具备多页批量处理、动态分块识别和交互式区域选择等创新功能,用户可通过坐标或颜色指定识别区域。基于Apache 2.0协议开源,提供Hugging Face演示和完整代码,适用于学术研究到工业应用的广泛场景,为OCR领域带来突破性解决方案。00