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的能力从本地开发环境扩展到了日常网页浏览场景。对于英语写作者、开发者和内容创作者来说,这个版本提供了更全面、更可靠的语法辅助工具。
Kimi-K2.5Kimi K2.5 是一款开源的原生多模态智能体模型,它在 Kimi-K2-Base 的基础上,通过对约 15 万亿混合视觉和文本 tokens 进行持续预训练构建而成。该模型将视觉与语言理解、高级智能体能力、即时模式与思考模式,以及对话式与智能体范式无缝融合。Python00
PaddleOCR-VL-1.5PaddleOCR-VL-1.5 是 PaddleOCR-VL 的新一代进阶模型,在 OmniDocBench v1.5 上实现了 94.5% 的全新 state-of-the-art 准确率。 为了严格评估模型在真实物理畸变下的鲁棒性——包括扫描伪影、倾斜、扭曲、屏幕拍摄和光照变化——我们提出了 Real5-OmniDocBench 基准测试集。实验结果表明,该增强模型在新构建的基准测试集上达到了 SOTA 性能。此外,我们通过整合印章识别和文本检测识别(text spotting)任务扩展了模型的能力,同时保持 0.9B 的超紧凑 VLM 规模,具备高效率特性。Python00
xw-cli实现国产算力大模型零门槛部署,一键跑通 Qwen、GLM-4.7、Minimax-2.1、DeepSeek-OCR 等模型Go06
yuanrongopenYuanrong runtime:openYuanrong 多语言运行时提供函数分布式编程,支持 Python、Java、C++ 语言,实现类单机编程高性能分布式运行。Go051
pc-uishopTNT开源商城系统使用java语言开发,基于SpringBoot架构体系构建的一套b2b2c商城,商城是满足集平台自营和多商户入驻于一体的多商户运营服务系统。包含PC 端、手机端(H5\APP\小程序),系统架构以及实现案例中应满足和未来可能出现的业务系统进行对接。Vue00
ebook-to-mindmapepub、pdf 拆书 AI 总结TSX01