Workerd项目v1.20250415.0版本发布:Python ASGI支持与Socket增强
Workerd是一款开源的高性能JavaScript/Wasm运行时环境,专为构建分布式计算应用而设计。它支持多种编程语言和协议,能够在全球分布的节点上高效运行。
本次发布的v1.20250415.0版本主要带来了对Python ASGI应用的更好支持,以及Socket相关功能的增强,同时还包含了一些内部优化。
Python ASGI模块自动注入
新版本改进了Python工作线程的处理方式,现在会自动注入ASGI模块。ASGI(Asynchronous Server Gateway Interface)是Python异步Web应用的接口标准,类似于WSGI但支持异步操作。这一改进意味着:
- 开发者不再需要手动配置ASGI模块
- 简化了Python Web应用的部署流程
- 确保了ASGI应用的兼容性和稳定性
这项改进特别适合使用FastAPI、Starlette等现代Python Web框架的开发者,使得这些框架在Workerd环境中的运行更加无缝。
Socket功能增强
本次更新为Socket类新增了两个重要属性:
upgraded
属性:用于标识Socket是否已升级(如从HTTP升级到WebSocket)secureTransport
属性:指示Socket是否使用了安全传输协议(如TLS)
这些增强使得开发者能够更精确地控制和管理网络连接状态,特别是在处理协议升级和安全通信场景时更加方便。例如,开发者现在可以轻松检查一个连接是否已安全加密,或者在处理WebSocket连接时确认升级是否成功。
AutoRAG流式支持
AutoRAG功能现在增加了流式支持。RAG(Retrieval-Augmented Generation)是一种结合信息检索和生成模型的技术,常用于构建智能问答系统。流式支持的加入意味着:
- 可以逐步获取生成结果,而不必等待整个处理完成
- 降低了响应延迟,提升了用户体验
- 更适合处理大规模数据或长时间运行的任务
这项改进对于构建实时交互式AI应用特别有价值,开发者现在可以创建响应更快的智能服务。
JS RPC目标处理优化
在内部机制方面,新版本优化了JavaScript RPC(远程过程调用)目标对象的处理方式。现在会在构造时就调度目标对象的释放,这一改变带来了:
- 更及时的资源回收
- 减少内存泄漏风险
- 提升整体运行效率
虽然这项改进对普通开发者来说可能不太明显,但它确实提高了Workerd运行时的稳定性和性能表现。
总结
Workerd v1.20250415.0版本通过多项改进继续强化其作为分布式计算运行时的能力。Python ASGI支持的完善使得Python开发者能够更轻松地部署现代Web应用,Socket功能的增强提供了更细粒度的连接控制,而AutoRAG的流式支持则为AI应用开发打开了新的可能性。
这些更新体现了Workerd项目对开发者体验的持续关注,以及对现代应用开发需求的快速响应。无论是构建Web服务、实时通信应用还是AI服务,新版本都提供了更强大、更灵活的工具支持。
GLM-4.6
GLM-4.6在GLM-4.5基础上全面升级:200K超长上下文窗口支持复杂任务,代码性能大幅提升,前端页面生成更优。推理能力增强且支持工具调用,智能体表现更出色,写作风格更贴合人类偏好。八项公开基准测试显示其全面超越GLM-4.5,比肩DeepSeek-V3.1-Terminus等国内外领先模型。【此简介由AI生成】Jinja00- DDeepSeek-V3.2-ExpDeepSeek-V3.2-Exp是DeepSeek推出的实验性模型,基于V3.1-Terminus架构,创新引入DeepSeek Sparse Attention稀疏注意力机制,在保持模型输出质量的同时,大幅提升长文本场景下的训练与推理效率。该模型在MMLU-Pro、GPQA-Diamond等多领域公开基准测试中表现与V3.1-Terminus相当,支持HuggingFace、SGLang、vLLM等多种本地运行方式,开源内核设计便于研究,采用MIT许可证。【此简介由AI生成】Python00
GLM-V
GLM-4.5V and GLM-4.1V-Thinking: Towards Versatile Multimodal Reasoning with Scalable Reinforcement LearningPython00ops-transformer
本项目是CANN提供的transformer类大模型算子库,实现网络在NPU上加速计算。C++0108AI内容魔方
AI内容专区,汇集全球AI开源项目,集结模块、可组合的内容,致力于分享、交流。02Spark-Chemistry-X1-13B
科大讯飞星火化学-X1-13B (iFLYTEK Spark Chemistry-X1-13B) 是一款专为化学领域优化的大语言模型。它由星火-X1 (Spark-X1) 基础模型微调而来,在化学知识问答、分子性质预测、化学名称转换和科学推理方面展现出强大的能力,同时保持了强大的通用语言理解与生成能力。Python00GOT-OCR-2.0-hf
阶跃星辰StepFun推出的GOT-OCR-2.0-hf是一款强大的多语言OCR开源模型,支持从普通文档到复杂场景的文字识别。它能精准处理表格、图表、数学公式、几何图形甚至乐谱等特殊内容,输出结果可通过第三方工具渲染成多种格式。模型支持1024×1024高分辨率输入,具备多页批量处理、动态分块识别和交互式区域选择等创新功能,用户可通过坐标或颜色指定识别区域。基于Apache 2.0协议开源,提供Hugging Face演示和完整代码,适用于学术研究到工业应用的广泛场景,为OCR领域带来突破性解决方案。00- HHowToCook程序员在家做饭方法指南。Programmer's guide about how to cook at home (Chinese only).Dockerfile010
- PpathwayPathway is an open framework for high-throughput and low-latency real-time data processing.Python00
项目优选









