Websoft9 2.1.20-rc1版本发布:安全与性能升级
Websoft9是一个开源的服务器管理平台,旨在简化Linux服务器的运维工作。它提供了Web化的管理界面,让用户能够更轻松地管理服务器上的各种服务和应用程序。本次发布的2.1.20-rc1版本带来了多项重要改进,主要集中在安全增强和性能优化方面。
安全升级
本次版本最显著的改进是将Websoft9平台的访问协议从HTTP升级到了HTTPS。这一变更对于保护用户数据安全至关重要,因为HTTPS能够加密客户端与服务器之间的通信,防止敏感信息在传输过程中被窃取或篡改。对于任何管理平台来说,确保通信安全都是最基本的要求。
组件更新
Cockpit是Websoft9中的一个重要组件,它是一个基于Web的服务器管理工具。在2.1.20-rc1版本中,Cockpit的默认端口被更改为9090。这一变更主要是为了避免与其他服务的端口冲突,同时也符合行业惯例。端口变更虽然看似微小,但对于系统管理员来说却很重要,因为它可能影响到防火墙规则和访问控制列表的设置。
兼容性改进
针对CentOS Stream系统的升级错误问题得到了修复。CentOS Stream作为Red Hat Enterprise Linux(RHEL)的上游开发分支,其软件包更新更为频繁,这有时会导致兼容性问题。开发团队通过这次修复,确保了Websoft9在CentOS Stream环境下的稳定运行,为用户提供了更多操作系统选择。
容器化优化
Docker安装脚本(install_docker.sh)得到了优化。Docker作为现代应用部署的重要工具,其安装过程的简化和可靠性提升对用户来说非常有价值。优化后的脚本应该能够更稳定地在不同Linux发行版上完成Docker的安装和配置。
Nginx管理增强
对于使用Nginx作为反向代理的用户,本次更新带来了两个重要改进:
-
为Nginx Proxy Manager添加了名为nginx_custom的命名卷。在Docker环境中,命名卷提供了更持久和可管理的存储解决方案,使得Nginx配置能够更好地被保存和维护。
-
实现了Nginx代理的动态应用功能。这意味着用户对Nginx代理配置的修改可以立即生效,而不需要重启服务。这对于需要频繁调整代理规则的生产环境来说尤为重要,因为它可以避免服务中断,提高系统的可用性。
总结
Websoft9 2.1.20-rc1版本虽然是一个候选发布版,但已经展现出了明显的成熟度和稳定性提升。从安全协议升级到组件优化,再到特定问题的修复,每一项改进都体现了开发团队对产品质量和用户体验的关注。对于正在使用或考虑使用Websoft9的用户来说,这个版本值得关注和测试。
AutoGLM-Phone-9BAutoGLM-Phone-9B是基于AutoGLM构建的移动智能助手框架,依托多模态感知理解手机屏幕并执行自动化操作。Jinja00
Kimi-K2-ThinkingKimi K2 Thinking 是最新、性能最强的开源思维模型。从 Kimi K2 开始,我们将其打造为能够逐步推理并动态调用工具的思维智能体。通过显著提升多步推理深度,并在 200–300 次连续调用中保持稳定的工具使用能力,它在 Humanity's Last Exam (HLE)、BrowseComp 等基准测试中树立了新的技术标杆。同时,K2 Thinking 是原生 INT4 量化模型,具备 256k 上下文窗口,实现了推理延迟和 GPU 内存占用的无损降低。Python00
GLM-4.6V-FP8GLM-4.6V-FP8是GLM-V系列开源模型,支持128K上下文窗口,融合原生多模态函数调用能力,实现从视觉感知到执行的闭环。具备文档理解、图文生成、前端重构等功能,适用于云集群与本地部署,在同类参数规模中视觉理解性能领先。Jinja00
HunyuanOCRHunyuanOCR 是基于混元原生多模态架构打造的领先端到端 OCR 专家级视觉语言模型。它采用仅 10 亿参数的轻量化设计,在业界多项基准测试中取得了当前最佳性能。该模型不仅精通复杂多语言文档解析,还在文本检测与识别、开放域信息抽取、视频字幕提取及图片翻译等实际应用场景中表现卓越。00
GLM-ASR-Nano-2512GLM-ASR-Nano-2512 是一款稳健的开源语音识别模型,参数规模为 15 亿。该模型专为应对真实场景的复杂性而设计,在保持紧凑体量的同时,多项基准测试表现优于 OpenAI Whisper V3。Python00
GLM-TTSGLM-TTS 是一款基于大语言模型的高质量文本转语音(TTS)合成系统,支持零样本语音克隆和流式推理。该系统采用两阶段架构,结合了用于语音 token 生成的大语言模型(LLM)和用于波形合成的流匹配(Flow Matching)模型。 通过引入多奖励强化学习框架,GLM-TTS 显著提升了合成语音的表现力,相比传统 TTS 系统实现了更自然的情感控制。Python00
Spark-Formalizer-X1-7BSpark-Formalizer 是由科大讯飞团队开发的专用大型语言模型,专注于数学自动形式化任务。该模型擅长将自然语言数学问题转化为精确的 Lean4 形式化语句,在形式化语句生成方面达到了业界领先水平。Python00