OpenGauss: an open source, state of the art autoformalization harness. www.math.inc/opengauss #AI4Math #LeanProver #ITP #Autoformalization
OpenGauss: an open source, state of the art autoformalization harness — Math, Inc.
OpenGauss is a state-of-the-art open-source autoformalization harness for Lean, built for practical proof engineering workflows.
www.math.inc
March 24, 2026 at 12:35 PM
OpenGauss: an open source, state of the art autoformalization harness. www.math.inc/opengauss #AI4Math #LeanProver #ITP #Autoformalization
During the Huawei Connect 2024 Conference held last week, Li Yi, President of Huawei Kunpeng Computing Business, announced that openUBMC officially open source. This is another product announced by Huawei open sourced after openEuler in December 2019 and openGauss was open sourced in June 2020.
September 23, 2024 at 10:26 AM
During the Huawei Connect 2024 Conference held last week, Li Yi, President of Huawei Kunpeng Computing Business, announced that openUBMC officially open source. This is another product announced by Huawei open sourced after openEuler in December 2019 and openGauss was open sourced in June 2020.
Build a RAG pipeline from scratch with DeepSeek and openGauss DataVec by vectorizing data, storing vectors, retrieving matches, and generating responses in one setup.
September 19, 2026 at 6:26 PM
Build a RAG pipeline from scratch with DeepSeek and openGauss DataVec by vectorizing data, storing vectors, retrieving matches, and generating responses in one setup.
华为openGauss数据库OGCA认证培训视频
资源url：https://pan.quark.cn/s/394590829de5
海量资源频道：https://t.me/okpojie
海量资源网站：https://www.okpojie.com/
资源url：https://pan.quark.cn/s/394590829de5
海量资源频道：https://t.me/okpojie
海量资源网站：https://www.okpojie.com/
August 15, 2026 at 8:00 PM
华为openGauss数据库OGCA认证培训视频
资源url：https://pan.quark.cn/s/394590829de5
海量资源频道：https://t.me/okpojie
海量资源网站：https://www.okpojie.com/
资源url：https://pan.quark.cn/s/394590829de5
海量资源频道：https://t.me/okpojie
海量资源网站：https://www.okpojie.com/
hintsets based on neighborhood voting. A lightweight consistency check validates the selected hint, while a fallback mechanism searches the full hint space when needed. Evaluated on the JOB-CEB benchmark using OpenGauss, LLM-PM achieves an average [3/4 of https://arxiv.org/abs/2506.05853v1]
June 9, 2025 at 5:55 AM
hintsets based on neighborhood voting. A lightweight consistency check validates the selected hint, while a fallback mechanism searches the full hint space when needed. Evaluated on the JOB-CEB benchmark using OpenGauss, LLM-PM achieves an average [3/4 of https://arxiv.org/abs/2506.05853v1]
Feed: "PyPI recent updates"
By: jiajunsu@huawei.com on Thursday, June 12, 2025
By: jiajunsu@huawei.com on Thursday, June 12, 2025
opengauss-sqlalchemy 2.4.0
OpenGauss Dialect for SQLAlchemy
pypi.org
June 12, 2025 at 2:08 PM
Feed: "PyPI recent updates"
By: jiajunsu@huawei.com on Thursday, June 12, 2025
By: jiajunsu@huawei.com on Thursday, June 12, 2025
GaussMaster: An LLM-based Database Copilot System
Presents an LLM-powered database maintenance system that automates SQL tuning, anomaly diagnosis, and repair tasks, achieving zero human intervention across 34+ db scenarios.
📝 arxiv.org/abs/2506.23322
👨🏽💻 gitcode.com/opengauss/op...
Presents an LLM-powered database maintenance system that automates SQL tuning, anomaly diagnosis, and repair tasks, achieving zero human intervention across 34+ db scenarios.
📝 arxiv.org/abs/2506.23322
👨🏽💻 gitcode.com/opengauss/op...
GaussMaster: An LLM-based Database Copilot System
In the financial industry, data is the lifeblood of operations, and DBAs shoulder significant responsibilities for SQL tuning, database deployment, diagnosis, and service repair. In recent years, both...
arxiv.org
July 1, 2025 at 4:33 AM
GaussMaster: An LLM-based Database Copilot System
Presents an LLM-powered database maintenance system that automates SQL tuning, anomaly diagnosis, and repair tasks, achieving zero human intervention across 34+ db scenarios.
📝 arxiv.org/abs/2506.23322
👨🏽💻 gitcode.com/opengauss/op...
Presents an LLM-powered database maintenance system that automates SQL tuning, anomaly diagnosis, and repair tasks, achieving zero human intervention across 34+ db scenarios.
📝 arxiv.org/abs/2506.23322
👨🏽💻 gitcode.com/opengauss/op...
🚨 EUVD-2026-40326
📊 5.9/10
🏢 openGauss-server
📝 openGauss 在处理带 NLS 参数的 to_timestamp 调用时，to_timestamp_with_fmt_nls() 会将 nls_fmt_str 保存到 u_sess->parser_cxt.nls_fmt_str。在 seqscan + sort 执行路径下，该字符串...
🔗 https://euvd.enisa.europa.eu/vulnerability/EUVD-2026-40326
#cybersecurity #infosec #cve #euvd
📊 5.9/10
🏢 openGauss-server
📝 openGauss 在处理带 NLS 参数的 to_timestamp 调用时，to_timestamp_with_fmt_nls() 会将 nls_fmt_str 保存到 u_sess->parser_cxt.nls_fmt_str。在 seqscan + sort 执行路径下，该字符串...
🔗 https://euvd.enisa.europa.eu/vulnerability/EUVD-2026-40326
#cybersecurity #infosec #cve #euvd
June 30, 2026 at 3:00 PM
🚨 EUVD-2026-40326
📊 5.9/10
🏢 openGauss-server
📝 openGauss 在处理带 NLS 参数的 to_timestamp 调用时，to_timestamp_with_fmt_nls() 会将 nls_fmt_str 保存到 u_sess->parser_cxt.nls_fmt_str。在 seqscan + sort 执行路径下，该字符串...
🔗 https://euvd.enisa.europa.eu/vulnerability/EUVD-2026-40326
#cybersecurity #infosec #cve #euvd
📊 5.9/10
🏢 openGauss-server
📝 openGauss 在处理带 NLS 参数的 to_timestamp 调用时，to_timestamp_with_fmt_nls() 会将 nls_fmt_str 保存到 u_sess->parser_cxt.nls_fmt_str。在 seqscan + sort 执行路径下，该字符串...
🔗 https://euvd.enisa.europa.eu/vulnerability/EUVD-2026-40326
#cybersecurity #infosec #cve #euvd
ID: CVE-2024-40575
CVSS N/A
An issue in Huawei Technologies opengauss (openGauss 5.0.0 build) v.7.3.0 allows a local attacker to cause a denial of service via the modification of table attributes
#security #infosec #cve-alert
CVSS N/A
An issue in Huawei Technologies opengauss (openGauss 5.0.0 build) v.7.3.0 allows a local attacker to cause a denial of service via the modification of table attributes
#security #infosec #cve-alert
nvd.nist.gov
July 24, 2024 at 4:15 PM
ID: CVE-2024-40575
CVSS N/A
An issue in Huawei Technologies opengauss (openGauss 5.0.0 build) v.7.3.0 allows a local attacker to cause a denial of service via the modification of table attributes
#security #infosec #cve-alert
CVSS N/A
An issue in Huawei Technologies opengauss (openGauss 5.0.0 build) v.7.3.0 allows a local attacker to cause a denial of service via the modification of table attributes
#security #infosec #cve-alert
週四直播丨透視WDR裸數據：SQL實戰解析openGauss/MogDB歷史性能問題
文中預約直播~
www.headline01.com
September 8, 2025 at 5:47 AM
🚨 Studying more isn't always studying smarter.
Discover common HCIP-openGauss exam traps that can hurt your score and learn how to prepare more effectively. 🎯📘
📖 writeupcafe.com/don-t-study-...
#HCIP_openGauss #HuaweiCertification #openGauss #ICT_Professional #DatabaseAdministration #Huawei_ICT
Discover common HCIP-openGauss exam traps that can hurt your score and learn how to prepare more effectively. 🎯📘
📖 writeupcafe.com/don-t-study-...
#HCIP_openGauss #HuaweiCertification #openGauss #ICT_Professional #DatabaseAdministration #Huawei_ICT
Don't Study Harder: Avoid These HCIP-openGauss Exam Traps
Unlock HCIP-openGauss certification success by avoiding common H14-321 exam pitfalls. This guide offers insights into the Huawei H14-321 syllabus, preparatio...
writeupcafe.com
June 13, 2026 at 5:15 AM
🚨 Studying more isn't always studying smarter.
Discover common HCIP-openGauss exam traps that can hurt your score and learn how to prepare more effectively. 🎯📘
📖 writeupcafe.com/don-t-study-...
#HCIP_openGauss #HuaweiCertification #openGauss #ICT_Professional #DatabaseAdministration #Huawei_ICT
Discover common HCIP-openGauss exam traps that can hurt your score and learn how to prepare more effectively. 🎯📘
📖 writeupcafe.com/don-t-study-...
#HCIP_openGauss #HuaweiCertification #openGauss #ICT_Professional #DatabaseAdministration #Huawei_ICT
🚨 Major update for the H14-331 HCIE-openGauss exam!
If you're preparing for Huawei’s openGauss certification, check these exam changes before you study.
Read here 👇
www.isecprep.com/2026/03/12/e...
#Huawei #OpenGauss #H14_331 #HCIE_openGauss #DatabaseCertification #HCIE #DatabaseEngineer
If you're preparing for Huawei’s openGauss certification, check these exam changes before you study.
Read here 👇
www.isecprep.com/2026/03/12/e...
#Huawei #OpenGauss #H14_331 #HCIE_openGauss #DatabaseCertification #HCIE #DatabaseEngineer
Expert Alert: H14-331 Certification Updates for openGauss Pros
Your guide to the latest H14-331 exam changes for Huawei Certified ICT Expert-openGauss. Explore the updated syllabus, preparation tips.
www.isecprep.com
March 16, 2026 at 5:14 AM
🚨 Major update for the H14-331 HCIE-openGauss exam!
If you're preparing for Huawei’s openGauss certification, check these exam changes before you study.
Read here 👇
www.isecprep.com/2026/03/12/e...
#Huawei #OpenGauss #H14_331 #HCIE_openGauss #DatabaseCertification #HCIE #DatabaseEngineer
If you're preparing for Huawei’s openGauss certification, check these exam changes before you study.
Read here 👇
www.isecprep.com/2026/03/12/e...
#Huawei #OpenGauss #H14_331 #HCIE_openGauss #DatabaseCertification #HCIE #DatabaseEngineer
Database careers are evolving 🌐
This article explains how the Huawei H14-311 certification supports professionals entering the openGauss ecosystem and enterprise database roles.
www.linkedin.com/pulse/how-hu...
#H14_311 #HCIA_openGauss #ICTAssociate_openGauss #openGauss #DatabaseLearning #HuaweiCert
This article explains how the Huawei H14-311 certification supports professionals entering the openGauss ecosystem and enterprise database roles.
www.linkedin.com/pulse/how-hu...
#H14_311 #HCIA_openGauss #ICTAssociate_openGauss #openGauss #DatabaseLearning #HuaweiCert
How Huawei H14-311 Cert Unlocks Your openGauss Career
Advance your career in openGauss database technology. Learn how the Huawei H14-311 exam validates your skills and opens new professional opportunities.
www.linkedin.com
February 25, 2026 at 5:36 AM
Database careers are evolving 🌐
This article explains how the Huawei H14-311 certification supports professionals entering the openGauss ecosystem and enterprise database roles.
www.linkedin.com/pulse/how-hu...
#H14_311 #HCIA_openGauss #ICTAssociate_openGauss #openGauss #DatabaseLearning #HuaweiCert
This article explains how the Huawei H14-311 certification supports professionals entering the openGauss ecosystem and enterprise database roles.
www.linkedin.com/pulse/how-hu...
#H14_311 #HCIA_openGauss #ICTAssociate_openGauss #openGauss #DatabaseLearning #HuaweiCert
Math, Inc. lanza OpenGauss, un agente abierto de autoformalización para competir en la frontera matemática
Math, Inc. anunció el lanzamiento de OpenGauss, un agente de autoformalización de código abierto orientado a desarrolladores y practicantes que trabajan con matemáticas formales en Lean. La…
Math, Inc. anunció el lanzamiento de OpenGauss, un agente de autoformalización de código abierto orientado a desarrolladores y practicantes que trabajan con matemáticas formales en Lean. La…
Math, Inc. lanza OpenGauss, un agente abierto de autoformalización para competir en la frontera matemática
Math, Inc. anunció el lanzamiento de OpenGauss, un agente de autoformalización de código abierto orientado a desarrolladores y practicantes que trabajan con matemáticas formales en Lean. La presentación se realizó durante el kickoff de DARPA expMath, un detalle que coloca el anuncio en un contexto de investigación avanzada donde la automatización de pruebas formales empieza a ser vista como un frente estratégico dentro de la IA matemática. De acuerdo con la empresa, OpenGauss fue diseñado para acelerar el trabajo en la frontera de la autoformalización y destaca por combinar tres atributos que rara vez se anuncian juntos: mayor capacidad, mayor velocidad y menor costo frente a alternativas comerciales disponibles.
estadored.mx
March 19, 2026 at 10:58 PM
Math, Inc. lanza OpenGauss, un agente abierto de autoformalización para competir en la frontera matemática
Math, Inc. anunció el lanzamiento de OpenGauss, un agente de autoformalización de código abierto orientado a desarrolladores y practicantes que trabajan con matemáticas formales en Lean. La…
Math, Inc. anunció el lanzamiento de OpenGauss, un agente de autoformalización de código abierto orientado a desarrolladores y practicantes que trabajan con matemáticas formales en Lean. La…