EMQ X Newsletter 202107｜EMQ X 5.0 版本最新进展 七月，EMQ X 团队进入了快速迭代的开发节奏中。我们增加了一些令人兴奋的特性，并在 5.0 版本的关键功能上取得了突破性的进展。 查看详情 →
「碳中和」背景下企业的能源管理——EMQ & 华为云联合直播 随着「碳中和」战略的提出，企业不仅要关注碳足迹，对碳排放数据进行有效监管，同时也开始寻求对新能源的高效利用，企业的能源结构开始发生转变。在此背景下，如何对能源的使用进行有效管理与分析，成为企业需要解决的问题。8 月 11 日晚 8 点，EMQ 将联合华为云 GaussDB，深入解读双方共同打造的能源数据接入与管理解决方案，从能源角度助力企业数字化转型。 查看详情 →
fused-effects 副作用系统（effect system）简介 fused-effects 是一个 Haskell 的副作用系统（effect system），它重视表现力、效率和严谨性，本次分享将介绍 fused-effects 的特点及用法。 查看详情 →
2021-07-31 MeetUp Datatypes in Dependent Type 介绍依值类型中的常用数据类型与构造数据类型的思路。包括常用的依值类型列表，代表性的有限集，形式化验证中利用类型表示命题，并利用类型论工具对命题进行变换和证明，讨论经典逻辑与形式化验证中直觉逻辑的不同，以及依值类型数据类型和形式化验证在工业生产中的应用。 查看详情 →
2021-07-30 Webinar NanoMQ 性能演示 介绍 NanoMQ 项目背景及目标，并对目前技术架构做简要入门介绍;介绍 NanoMQ 与 NNG 的合作情况;NanoMQ 性能演示，在自有服务器上演示 NanoMQ 的 benchmark 过程，并与其他开源项目进行对比。 查看详情 →
社区
社区
社交媒体
欢迎关注我们的社交帐号，获取 EMQ 最新动态。