Kroki项目v0.27.0版本发布:图表即服务的重要更新
Kroki是一个开源的图表即服务(Diagram-as-a-Service)工具,它能够将简单的文本描述转换为各种类型的图表。通过支持多种图表语法(如PlantUML、Graphviz、Mermaid等),Kroki为开发者和技术文档编写者提供了便捷的图表生成方案。最新发布的v0.27.0版本带来了一系列改进和新特性。
核心功能升级
本次版本更新中,Kroki对两个重要的可视化库进行了版本升级:
-
Vega升级至5.31.0:Vega是一个声明式语言,用于创建、保存和分享交互式可视化设计。新版本带来了性能优化和bug修复。
-
Vega Lite升级至5.23.0:作为Vega的高级抽象,Vega Lite简化了可视化创建过程,新版本增强了图表交互性和渲染效果。
主要改进点
PlantUML路径包含支持
在v0.27.0中,Kroki现在能够正确地将plantuml.include.path属性传递给原生PlantUML二进制文件。这一改进使得用户能够更方便地组织和管理PlantUML的包含文件,特别是在大型项目中,可以通过指定包含路径来复用图表组件。
Structurizr DSL限制性解析
Structurizr是一种基于文本的软件架构图描述语言。新版本激活了Structurizr DSL的限制性解析功能,这意味着:
- 提高了安全性,防止潜在的不安全代码执行
- 增强了稳定性,减少了因复杂DSL导致的解析错误
- 为未来可能的功能扩展奠定了基础
基础设施优化
基础镜像升级
开发团队将基础操作系统镜像升级到了Ubuntu 24,这一变更带来了:
- 更安全的系统环境
- 更好的性能表现
- 对新硬件的支持
构建系统改进
-
Makefile迁移至Task:构建系统从传统的Makefile迁移到了更现代的Task工具,这使得构建过程更加灵活和可维护。
-
跨平台构建支持:特别增强了macOS/ARM64架构的构建兼容性,同时修复了Windows平台的构建问题,确保开发者能在各种环境下顺利构建Kroki。
-
依赖管理:更新了Maven Wrapper至3.3.2版本,并升级了多个Java依赖库,提高了项目的安全性和稳定性。
开发者体验
对于开发者而言,v0.27.0版本特别关注了开发体验的改进:
- 更一致的跨平台构建体验
- 现代化的构建工具链
- 更新的依赖管理
- 更全面的架构支持
这些改进使得开发者能够更轻松地参与项目贡献,无论是在个人开发环境还是团队协作中。
总结
Kroki v0.27.0版本虽然没有引入重大新功能,但在稳定性、安全性和开发者体验方面做出了重要改进。从基础架构升级到特定功能的优化,这些变化共同提升了Kroki作为图表即服务解决方案的整体质量。对于现有用户来说,升级到这个版本将获得更好的性能和更稳定的体验;对于新用户,这个版本提供了更完善的开发环境和更广泛的支持。
GLM-5.1GLM-5.1是智谱迄今最智能的旗舰模型,也是目前全球最强的开源模型。GLM-5.1大大提高了代码能力,在完成长程任务方面提升尤为显著。和此前分钟级交互的模型不同,它能够在一次任务中独立、持续工作超过8小时,期间自主规划、执行、自我进化,最终交付完整的工程级成果。Jinja00
MiniMax-M2.7MiniMax-M2.7 是我们首个深度参与自身进化过程的模型。M2.7 具备构建复杂智能体应用框架的能力,能够借助智能体团队、复杂技能以及动态工具搜索,完成高度精细的生产力任务。Python00- QQwen3.5-397B-A17BQwen3.5 实现了重大飞跃,整合了多模态学习、架构效率、强化学习规模以及全球可访问性等方面的突破性进展,旨在为开发者和企业赋予前所未有的能力与效率。Jinja00
HY-Embodied-0.5这是一套专为现实世界具身智能打造的基础模型。该系列模型采用创新的混合Transformer(Mixture-of-Transformers, MoT) 架构,通过潜在令牌实现模态特异性计算,显著提升了细粒度感知能力。Jinja00
LongCat-AudioDiT-1BLongCat-AudioDiT 是一款基于扩散模型的文本转语音(TTS)模型,代表了当前该领域的最高水平(SOTA),它直接在波形潜空间中进行操作。00
ERNIE-ImageERNIE-Image 是由百度 ERNIE-Image 团队开发的开源文本到图像生成模型。它基于单流扩散 Transformer(DiT)构建,并配备了轻量级的提示增强器,可将用户的简短输入扩展为更丰富的结构化描述。凭借仅 80 亿的 DiT 参数,它在开源文本到图像模型中达到了最先进的性能。该模型的设计不仅追求强大的视觉质量,还注重实际生成场景中的可控性,在这些场景中,准确的内容呈现与美观同等重要。特别是,ERNIE-Image 在复杂指令遵循、文本渲染和结构化图像生成方面表现出色,使其非常适合商业海报、漫画、多格布局以及其他需要兼具视觉质量和精确控制的内容创作任务。它还支持广泛的视觉风格,包括写实摄影、设计导向图像以及更多风格化的美学输出。Jinja00