今日，华为正式宣布开源数据库能力，开放openGauss数据库源代码，并成立openGauss开源社区，社区官网(opengauss.org)同步上线。据介绍，openGauss是一款开源关系型数据库管理系统，采用木兰宽松许可证v2 发行。openGauss内核源自PostgreSQL，深度融合华为在数据库领域多年的经验，结合企业级场景需求，持续构建竞争力特性。同时openGauss也是一个开源的数据库平台，鼓励社区贡献、合作。
（举报）
华为开源数据库能力 开放openGauss数据库源代码
- 相关推荐
- 大家在看
-
【腾讯云】11.11云上盛惠！云服务器首年1.8折起，买1年送3个月！
11.11云上盛惠！海量产品 · 轻松上云！云服务器首年1.8折起，买1年送3个月！超值优惠，性能稳定，让您的云端之旅更加畅享。快来腾讯云选购吧！
腾讯云
12-20
广告 -
国际标准图查询语言 GQL 正式发布，悦数图数据库业界首家原生支持
·GQL是自1987年发布SQL标准以来，ISO组织发布的第二个数据库标准语言·悦数图数据库v5.0版本原生支持GQL，已有首批企业用户采用经过行业多年的讨论和行动，图查询语言GQL在2024年4月12日正式发布。GQL是由国际标准化组织和国际电工委员会共同制定的图数据库查询语言标准，正式编号为ISO/IEC39075。我们的专家乐于和您详细交流。
-
美国参议院提交《安全人工智能法案》旨在建立违规行为数据库
参议院近日提交了一项新法案，旨在通过强制创建记录所有人工智能系统违规行为的数据库来跟踪安全问题。该法案由参议员马克·华纳和汤姆·蒂利斯提出，名为《安全人工智能法案》。《安全人工智能法案》目前需通过一个委员会审议后，方可提交至更大的参议院审议。
-
国产数据库实践：亚信安慧AntDB在DTC 2024展示创新实力
4月12至13日，我国数据库行业最具影响力的活动之一——第十三届“数据技术嘉年华”在京成功举办，业内众多专家学者、技术领袖、各行业客户和实力厂商均到场参会。亚信安慧AntDB数据库总架构师洪建辉受邀参与“数据库一体化”专题论坛，并发表了《AntDB融合数据库实时流数据处理引擎揭秘》的主题演讲，深入探讨了AntDB在实时流数据处理领域的创新应用，以及国产数据库在行业核心系统的实践经验。亚信安慧AntDB通过在产品和服务层面的创新与优化，致力于为客户提供“一站式”的数据管理解决方案，助力客户实现数智化转型，也使得数据库这一标准化产品，在面对复杂的行业场景时，具有更强的适应性和扩展性，为AntDB数据库巩固通信行业市场、拓展垂直行业以及国际业务市场打下坚实的产品力基础。
-
Hugging Face开源机器人代码库LeRobot，AI机器人研发迎来新纪元
AI初创公司HuggingFace宣布开源其机器人工具包LeRobot，这一举措标志着AI机器人研发领域迎来了重大利好。HuggingFace已成功吸引前特斯拉科学家RemiCadene加入，领导这一新的开源项目。这一开源精神和对社区的贡献预示着AI机器人技术将进入一个快速发展的新阶段。
-
Mutable AI：自动将你的GitHub代码库转换维基文档
MutableAI是一款创新的工具，它通过将GitHub代码库自动转换成易于理解的维基文档，极大地提高了代码的可访问性和透明度。这项服务不仅对开发者有用，也使得非专业人士能够更好地理解和参与到项目中来。目前还有限时优惠活动，使用优惠码XDOT COM，用户可以以每月1美元的价格享受MutableAI的服务，这对于预算有限的开发者或小型团队来说是一个巨大的吸引力。
-
荐AI日报：天工SkyMusic开启公测；UP主用AI技术“复活”巨人族；通义千问开源代码模型CodeQwen1.5；免费AI音乐生成工具Sonauto
欢迎来到【AI日报】栏目!这里是你每天探索人工智能世界的指南，每天我们为你呈现AI领域的热点内容，聚焦开发者，助你洞悉技术趋势、了解创新AI产品应用。新鲜AI产品点击了解:https://top.aibase.com/昆仑万维「天工3.0」与「天工SkyMusic」音乐大模型开启公测昆仑万维推出的「天工3.0」和「天工SkyMusic」音乐大模型开启公测，彰显了其在AI领域的技术实力和创新能力。亮点提要:⭐3
-
曾秒售罄口袋AI设备Rabbit R1竟是一场骗局？设备源代码首次曝光
美国初创公司rabbit.tech推出的口袋AI设备RabbitR1曾一度引起轰动，声称该设备能够代替用户执行任务，让用户远离应用程序的束缚。Rabbit首批1万台竟在短短一天内就被抢购一空，其售价为199美元不过，有开发者在github曝光，这其实是一种欺骗，并表示即将发布这款所谓的大语言模型的源代码的一部分，揭露真相。值得一提的是，爆料还称，Rabbit这个团队两年前还在推销NFT。
-
Meta AI 发布开源基准数据集OpenEQA 促进AI代理的 “体验智能”
MetaAI研究人员今天发布了OpenEQA，这是一个新的开源基准数据集，旨在衡量人工智能系统对“体验式问答”的能力——这种能力使人工智能系统能够理解现实世界，从回答有关环境的自然语言问题。这一数据集被Meta定位为“体验智能”领域的关键基准，其中包含超过1，600个关于180多个真实环境的问题。为了衡量人工智能代理的性能，研究人员使用大型语言模型自动评分，衡量人工智能生成的答案与人类答案的相似程度。
-
小米SU7智能泊车完成率95%：后续将OTA实现机械库泊入能力
在今天的小米汽车问答中，官方解答了关于智能泊车功能的疑问。SU7小米智能泊车辅助目前支持涵盖侧方位、空间车位、极窄车位等200余种类型车位泊入，完成率超过95%。到达目标车位后，如果被占用，小米SU7也能自主选择旁边空余车位，适合新手司机或不想自己停车的用户。
-
通义千问开源基于Qwen1.5的代码模型CodeQwen1.5
通义千问昨晚开源了基于Qwen1.5的代码模型CodeQwen1.5，这是一个基于Qwen语言模型的代码专家模型。CodeQwen1.5拥有7B参数，采用GQA架构，经过约3Ttokens代码数据的预训练，支持92种编程语言，并且能够处理最长64K的上下文输入。开源社区对CodeQwen1.5的发布充满期待，希望它在代码助手、CodeAgent等方面为社区做出贡献，并在未来的代码智能建设中发挥重要作用，实现真正的AI程序员。
-
Unicode to Krutidev:在线免费的Unicode转Kruti Dev（Mangal转Krutidev）转换器，支持实时格式转换。
Unicode转Kruti Dev（Mangal转Krutidev）转换器是世界上第一个也是唯一一个完全支持Unicode输入和Kruti Dev（Mangal）输出格式转换的转换器。它基于人工智能技术实现，免费提供给所有人使用。它可以将Unicode Mangal字体的文本转换为Krutidev字体的文本，对于政府官员、翻译人员、内容创作者、网页开发人员和记者来说非常实用。
-
CodeScope:构建和编辑令人惊叹的AI应用
CodeScope旨在成为技术和营销行业专业人士的必备工具，通过持续创新、用户中心设计和战略合作，帮助您构建AI应用、加速开发并实现市场增长。主要优点包括：快速开发流程、安全编码、SEO报告、自定义API构建器、无头CMS等。
-
HyperBooth.Ai:一键生成惊艳的AI照片，仅需一张自拍照片即可即时创作出惊人的视觉效果
HyperBooth是一款AI图像生成器，只需点击一次即可开始创造艺术性的AI图像。在30秒内创建艺术性的AI图像，节省时间和金钱。每天可创建7000张高质量的AI图像，共有200种多样化的风格可供选择。
-
智能可视化基础组件库—VMind:不仅自动，还很智能。
VMind 是智能可视化组件，基于规则算法、机器学习、大语言模型等多种方式提供智能化接口，最大限度降低开发者的心智负担。
-
QuestionAi.io:Question AI Homework Helper是一个免费的AI作业助手，可以帮助你解答问题。
Question AI Homework Helper是一个免费的AI作业助手，旨在帮助学生解答各种问题。它使用人工智能技术，能够快速准确地回答各种学科的问题。无论是数学、科学、历史还是其他学科，Question AI Homework Helper都能够提供详细且易于理解的答案。它的主要优点是快速、准确和免费。不需要注册或登录，只需输入问题即可获取答案。
-
Email Tracker:免费的Gmail邮件追踪工具，实时追踪邮件打开情况，自动跟进提醒，详细的点击数据分析。
Email Tracker是一款免费的Gmail邮件追踪工具，帮助用户实时了解邮件的打开情况，自动跟进提醒，详细分析点击数据，提高回复率和销售收入。
-
Mazaal AI:通过Mazaal体验AI的变革性力量。我们的无代码平台为您的业务提供了一种简单、经济的利用AI的方式。
Mazaal是一个无代码AI平台，可以将您的数据转化为强大的AI模型，无需编写任何代码。它提供了多种预训练模型，可以用于优化生产、管理库存、预测需求等。Mazaal可以自动化工作流程，提高效率，并帮助您解决业务中的各种问题。
-
Tiempo:AI伴侣，帮助您保持在线时的生产力并避免分心。
Tiempo 是由前Facebook员工Victor和Vlad创立的AI伴侣，利用人工智能技术帮助用户在上网时集中注意力并避免分心。这个简单的工具可以让您专注于目标，确保在线的每一分钟都富有成效。Tiempo的使命是重新将计算机和手机定位为提高生产力的工具。目前，这款Chrome扩展插件对所有用户免费，同时收集用户反馈以优化产品。
-
Red Hat Enterprise Linux AI:为企业提供开源、灵活的AI模型开发、测试和运行平台。
Red Hat Enterprise Linux AI 是一个基于开源的模型平台，旨在无缝地开发、测试和运行企业级应用的大型语言模型（LLMs）。它结合了开源许可的IBM Granite LLMs、InstructLab模型对齐工具、Red Hat Enterprise Linux的可启动镜像以及Red Hat提供的技术支持和模型知识产权保障。该平台支持跨混合云环境的可移植性，并能与Red Hat OpenShift® AI集成，进一步推进企业AI开发、数据管理和模型治理。
-
即梦Dreamina:一款AI创作工具，通过智能画布和视频生成，让创意轻松实现。
即梦Dreamina是一款结合了AI技术的在线创作平台，它通过图片生成、智能画布和视频生成等功能，帮助用户将创意转化为视觉作品。该产品的主要优点在于简化了设计流程，使得非专业人士也能创作出高质量的图片和视频。产品背景信息显示，它由深圳市脸萌科技有限公司开发，定位于为广大创意工作者提供便捷的设计服务。目前产品提供免费试用，具体价格信息未在页面中明确。
-
Bernini:Autodesk 推出的实验性生成式 AI 模型，用于 3D 形状的创建。
Project Bernini 是 Autodesk 研究项目，旨在开发用于设计和制造行业的生成式人工智能。该模型能够从多种输入（包括 2D 图像、文本、体素和点云）快速生成功能性的 3D 形状。Bernini 模型专为专业几何工作流程设计，可以生成给定输入的多个功能性变体。Autodesk 致力于创建可以用于建筑、产品设计、娱乐等多个用例的生成模型，专注于生成功能性 3D 结构，因为这些模型的输出必须在现实世界中工作，以满足设计师的意图。
-
Chat GPT Side Bar:浏览网页时侧边栏展示Chat GPT
Chat GPT Side Bar是一个插件，可以在浏览网页时，在侧边栏展示Chat GPT。它提供了一系列功能，包括笔记、新闻、Google应用、加密货币跟踪、游戏集成等。你可以在浏览网页的同时使用Chat GPT，提高工作效率。
-
GPT Spreadsheets Visualization:自动生成数据可视化、生成信息图表格
GPT Spreadsheets Visualization是一个工具，使用大型语言模型（如ChatGPT）自动探索数据、生成可视化和信息图表格。它可以与任何编程语言和可视化库一起使用，例如matplotlib、seaborn、altair、d3等，并与多个大型语言模型提供商（ChatGPT、PaLM、Cohere、Huggingface等）一起使用。它包括四个模块：摘要生成器、目标探索器、可视化生成器和信息图表格生成器。GPT Spreadsheets Visualization利用最先进的大型语言模型的语言建模和代码编写能力，实现了数据摘要、目标生成、可视化生成、信息图表格生成以及对现有可视化的操作、可视化解释、自动修复、推荐等核心自动化可视化功能。
-
evyAI - AI Assistant for Social Media:AI助手，个性化评论、帖子和回复
evyAI是一个AI助手，能够智能地为你创建个性化评论、帖子和回复。它可以帮助你节省时间和精力，在社交媒体上提升可见度，建立信誉和网络机会。
-
RIZZ App:AI Dating Assistant，使用尖端GPT技术生成个性化回复，助你留下深刻印象。
RIZZ是一款AI驱动的约会助手应用，它利用先进的GPT技术为用户生成个性化的回复，帮助用户在约会、社交或专业沟通中留下深刻印象。产品通过分析用户的沟通风格，理解用户的语气、幽默感和词汇量，生成反映用户个性的回复。RIZZ的主要优点在于其个性化和适应性，它不仅能提升用户的沟通技巧，还能增加用户的魅力，帮助用户建立持久的联系。
-
Sonio:AI驱动的产前超声工作流程优化软件
Sonio是一款AI驱动的软件，旨在提高产前超声检查的效率、准确性和专业性。它通过自动化图像质量控制、报告生成、数据集成和计费来解决医疗团队面临的挑战。Sonio通过实时指导和最新的临床研究，提升团队技能，同时减少IT维护成本，提供现代化的集中解决方案。
-
ibisPaint: 是一款功能强大的绘画应用，提供丰富的绘画工具和功能。
ibisPaint 是一款专业的绘画应用，旨在帮助用户轻松创作出精美的绘画作品。该应用提供了各种绘画工具和功能，如画笔、颜色调整、图层管理等。用户可以通过该应用绘制插画、漫画、动画等作品，适用于艺术爱好者、插画师、漫画创作者等。ibisPaint 在用户群体中享有良好的口碑，是绘画领域的热门应用之一。
-
ChatGLM-Math:提升大型语言模型解决数学问题的能力
ChatGLM-Math 是一个基于自我批评流程定制的数学问题解决模型，旨在提高大型语言模型（LLMs）在数学问题解决方面的能力。该模型通过训练一个通用的Math-Critique模型来提供反馈信号，并采用拒绝采样微调和直接偏好优化来增强LLM的数学问题解决能力。它在学术数据集和新创建的挑战性数据集MathUserEval上进行了实验，显示出在保持语言能力的同时，显著提升了数学问题解决能力。
-
MistoLine:一个多功能且强大的SDXL-ControlNet模型，适用于各种线条艺术的调节。
MistoLine是一个SDXL-ControlNet模型，能够适应任何类型的线条艺术输入，展示出高精度和出色的稳定性。它基于用户提供的线条艺术生成高质量图像，适用于手绘草图、不同ControlNet线条预处理器和模型生成的轮廓。MistoLine通过采用新颖的线条预处理算法（Anyline）和基于stabilityai/stable-diffusion-xl-base-1.0的Unet模型的重新训练，以及在大型模型训练工程中的创新，展现出在复杂场景下超越现有ControlNet模型的细节恢复、提示对齐和稳定性的优越性能。
-
kan-gpt:使用Kolmogorov-Arnold网络实现的预训练生成式变换器（GPTs）的语言模型
kan-gpt是一个基于PyTorch的Generative Pre-trained Transformers (GPTs) 实现，它利用Kolmogorov-Arnold Networks (KANs) 进行语言建模。该模型在文本生成任务中展现出了潜力，特别是在处理长距离依赖关系时。它的重要性在于为自然语言处理领域提供了一种新的模型架构，有助于提升语言模型的性能。