Delta Sharing Python 1.3.2 版本发布:增强OAuth兼容性与数据类型支持
Delta Sharing 是一个开源的数据共享协议,它建立在Delta Lake之上,允许组织以安全、高效的方式共享大规模数据集。该项目通过标准REST协议实现跨平台数据共享,支持多种客户端语言,包括Python、Java等。最新发布的Delta Sharing Python 1.3.2版本带来了一系列重要改进,特别是在OAuth兼容性和数据类型支持方面的增强。
OAuth客户端兼容性提升
在1.3.2版本中,Delta Sharing改进了OAuth客户端的实现,使其能够处理expires_in参数作为字符串的情况。这一改进解决了与某些非标准OAuth实现(如某些自定义OAuth服务器)的兼容性问题。在实际应用中,OAuth 2.0规范虽然建议expires_in应为数字,但有些实现会将其作为字符串返回。新版本通过更灵活的解析逻辑,确保了在这些场景下的稳定运行。
Delta内核升级与时间戳分区修复
本次发布将delta-kernel-rs升级至0.6.1版本,修复了读取基于时间戳分区的表时可能出现的问题。时间戳分区是大数据分析中常见的分区策略,特别是在处理时间序列数据时。这一修复确保了在查询按时间戳分区的表时,数据能够被正确识别和读取,提高了数据处理的准确性。
构建系统改进
在构建系统方面,1.3.2版本包含了delta-kernel-rust-sharing-wrapper的maturin构建改进,现在构建时会包含源代码。这一变化为开发者提供了更好的调试能力,当需要排查底层问题时,可以更方便地查看相关实现细节。
Delta格式协议支持
新版本增加了对Delta格式的表协议和元数据的支持。这意味着Delta Sharing现在能够更完整地处理Delta Lake表的元数据信息,包括表协议版本、格式规范等。这一改进增强了与Delta Lake生态系统的兼容性,使得通过Delta Sharing共享的表能够保持与原生Delta Lake表相同的特性和行为。
时间戳无时区类型支持
1.3.2版本引入了对TimestampNtz(无时区时间戳)类型的支持,特别是在快照查询中。TimestampNtz是一种常见的时间数据类型,它表示不带时区信息的时间戳。在数据分析场景中,许多业务数据(如交易时间、日志时间等)通常不需要时区信息。这一新增支持使得Delta Sharing能够更好地处理这类数据,为数据分析师提供更准确的时间序列分析能力。
总结
Delta Sharing Python 1.3.2版本虽然在版本号上是一个小版本更新,但包含了多项重要的功能改进和问题修复。从OAuth兼容性到数据类型支持,再到内核升级和构建系统改进,这些变化共同提升了Delta Sharing的稳定性、兼容性和功能性。对于正在使用或考虑采用Delta Sharing进行数据共享的组织来说,升级到1.3.2版本将带来更顺畅的数据共享体验和更强大的数据处理能力。
kernelopenEuler内核是openEuler操作系统的核心,既是系统性能与稳定性的基石,也是连接处理器、设备与服务的桥梁。C042
MiniMax-M2.1从多语言软件开发自动化到复杂多步骤办公流程执行,MiniMax-M2.1 助力开发者构建下一代自主应用——全程保持完全透明、可控且易于获取。Python00
kylin-wayland-compositorkylin-wayland-compositor或kylin-wlcom(以下简称kywc)是一个基于wlroots编写的wayland合成器。 目前积极开发中,并作为默认显示服务器随openKylin系统发布。 该项目使用开源协议GPL-1.0-or-later,项目中来源于其他开源项目的文件或代码片段遵守原开源协议要求。C01
PaddleOCR-VLPaddleOCR-VL 是一款顶尖且资源高效的文档解析专用模型。其核心组件为 PaddleOCR-VL-0.9B,这是一款精简却功能强大的视觉语言模型(VLM)。该模型融合了 NaViT 风格的动态分辨率视觉编码器与 ERNIE-4.5-0.3B 语言模型,可实现精准的元素识别。Python00
GLM-4.7GLM-4.7上线并开源。新版本面向Coding场景强化了编码能力、长程任务规划与工具协同,并在多项主流公开基准测试中取得开源模型中的领先表现。 目前,GLM-4.7已通过BigModel.cn提供API,并在z.ai全栈开发模式中上线Skills模块,支持多模态任务的统一规划与协作。Jinja00
agent-studioopenJiuwen agent-studio提供零码、低码可视化开发和工作流编排,模型、知识库、插件等各资源管理能力TSX0121
Spark-Formalizer-X1-7BSpark-Formalizer 是由科大讯飞团队开发的专用大型语言模型,专注于数学自动形式化任务。该模型擅长将自然语言数学问题转化为精确的 Lean4 形式化语句,在形式化语句生成方面达到了业界领先水平。Python00