Harper项目v0.33.0版本发布:语法检查工具的重大更新
Harper是一个开源的语法检查和写作辅助工具,它能够帮助用户识别和修正英语文本中的语法错误、用词不当等问题。该项目采用Rust语言开发,提供了多种形式的工具链,包括命令行工具、语言服务器协议(LSP)实现、VS Code扩展以及最新添加的Chrome浏览器插件。
核心功能改进
本次发布的v0.33.0版本带来了多项重要改进,主要集中在语法解析引擎的优化和新功能的添加上。
语法解析引擎增强
Harper团队对语法解析引擎进行了多项优化:
-
精确短语解析:在
ExactPhrase模块中集成了PlainEnglish解析器,显著提升了复杂短语识别的准确性和性能。这一改进使得工具能够更准确地识别和处理英语中的固定搭配和惯用表达。 -
动词短语处理:修复了"let go"等动词短语在否定缩写形式下的识别问题。现在工具能够正确区分"let's not go"和"let's don't go"等结构的语法正确性。
-
介词处理优化:明确了"towards"作为介词的属性,并移除了"of"的错误动词属性标记。这些改进使得介词相关的语法检查更加精准。
新功能:Chrome浏览器插件
v0.33.0版本首次引入了Chrome浏览器扩展,这是Harper生态的重要扩展。该插件具有以下特点:
-
滚动渲染优化:修复了早期版本中在滚动页面时渲染不稳定的问题,现在能够在用户浏览网页时提供稳定的语法检查服务。
-
实时语法检查:在浏览器环境中提供与桌面应用一致的语法检查体验,支持用户在网页文本输入框、富文本编辑器等场景下获得即时反馈。
开发者体验改进
对于开发者用户和贡献者,本次更新也带来了多项便利:
-
命令行工具增强:CLI工具现在支持回退到
PlainEnglish解析器,当主要解析器无法处理某些复杂结构时,能够提供更优雅的降级处理。 -
语言服务器优化:确保生成的字典文件总是保持排序状态,提高了语言服务器的一致性和可预测性。
-
开发工具链:新增了
cargo hack工具支持,简化了复杂项目的开发和测试流程。
性能优化
团队在性能方面也做了针对性优化:
-
解析器性能提升:通过重构
PlainEnglish解析器在ExactPhrase中的应用,显著提高了复杂语法结构的处理速度。 -
稳定性增强:修复了
PhrasalVerbAsCompoundNoun模块中的潜在崩溃问题,提高了工具处理边缘情况的稳定性。
跨平台支持
Harper继续保持优秀的跨平台支持,为以下平台提供了预编译的二进制文件:
- macOS (ARM64和x86_64)
- Linux (多种架构和libc实现)
- Windows
- 浏览器环境(通过Chrome插件)
文档完善
伴随功能更新,项目文档也进行了全面修订,包括:
- 新增功能的使用说明
- 开发者指南的更新
- API文档的补充和完善
总结
Harper v0.33.0版本标志着该项目在语法检查准确性、用户体验和开发者工具链方面的显著进步。特别是Chrome插件的加入,使得Harper的能力从本地开发环境扩展到了日常网页浏览场景。对于英语写作者、开发者和内容创作者来说,这个版本提供了更全面、更可靠的语法辅助工具。
GLM-5智谱 AI 正式发布 GLM-5,旨在应对复杂系统工程和长时域智能体任务。Jinja00
GLM-5-w4a8GLM-5-w4a8基于混合专家架构,专为复杂系统工程与长周期智能体任务设计。支持单/多节点部署,适配Atlas 800T A3,采用w4a8量化技术,结合vLLM推理优化,高效平衡性能与精度,助力智能应用开发Jinja00- QQwen3.5-397B-A17BQwen3.5 实现了重大飞跃,整合了多模态学习、架构效率、强化学习规模以及全球可访问性等方面的突破性进展,旨在为开发者和企业赋予前所未有的能力与效率。Jinja00
Kimi-K2.5Kimi K2.5 是一款开源的原生多模态智能体模型,它在 Kimi-K2-Base 的基础上,通过对约 15 万亿混合视觉和文本 tokens 进行持续预训练构建而成。该模型将视觉与语言理解、高级智能体能力、即时模式与思考模式,以及对话式与智能体范式无缝融合。Python00
MiniMax-M2.5MiniMax-M2.5开源模型,经数十万复杂环境强化训练,在代码生成、工具调用、办公自动化等经济价值任务中表现卓越。SWE-Bench Verified得分80.2%,Multi-SWE-Bench达51.3%,BrowseComp获76.3%。推理速度比M2.1快37%,与Claude Opus 4.6相当,每小时仅需0.3-1美元,成本仅为同类模型1/10-1/20,为智能应用开发提供高效经济选择。【此简介由AI生成】Python00
ruoyi-plus-soybeanRuoYi-Plus-Soybean 是一个现代化的企业级多租户管理系统,它结合了 RuoYi-Vue-Plus 的强大后端功能和 Soybean Admin 的现代化前端特性,为开发者提供了完整的企业管理解决方案。Vue06- RRing-2.5-1TRing-2.5-1T:全球首个基于混合线性注意力架构的开源万亿参数思考模型。Python00
Qwen3.5Qwen3.5 昇腾 vLLM 部署教程。Qwen3.5 是 Qwen 系列最新的旗舰多模态模型,采用 MoE(混合专家)架构,在保持强大模型能力的同时显著降低了推理成本。00