直播预告:EMQX 6.0 技术揭秘
EMQX 6.0 技术揭秘直播:11 月 27 日晚 7 点,与研发团队一起深入解读全新架构设计,掌握高性能物联网平台的最佳实践,灵感、技巧与专家答疑一次收获。

EMQX 6.0 技术揭秘直播:11 月 27 日晚 7 点,与研发团队一起深入解读全新架构设计,掌握高性能物联网平台的最佳实践,灵感、技巧与专家答疑一次收获。


Neuron v1.3.0 功能演示

随着「碳中和」战略的提出,企业不仅要关注碳足迹,对碳排放数据进行有效监管,同时也开始寻求对新能源的高效利用,企业的能源结构开始发生转变。在此背景下,如何对能源的使用进行有效管理与分析,成为企业需要解决的问题。8 月 11 日晚 8 点,EMQ 将联合华为云 GaussDB,深入解读双方共同打造的能源数据接入与管理解决方案,从能源角度助力企业数字化转型。

EMQX 5.0 新特性演示

介绍依值类型中的常用数据类型与构造数据类型的思路。包括常用的依值类型列表,代表性的有限集,形式化验证中利用类型表示命题,并利用类型论工具对命题进行变换和证明,讨论经典逻辑与形式化验证中直觉逻辑的不同,以及依值类型数据类型和形式化验证在工业生产中的应用。

介绍 NanoMQ 项目背景及目标,并对目前技术架构做简要入门介绍;介绍 NanoMQ 与 NNG 的合作情况;NanoMQ 性能演示,在自有服务器上演示 NanoMQ 的 benchmark 过程,并与其他开源项目进行对比。

EMQX 5.0 新特性

介绍函数式编程中重要的代数数据类型,代数数据类型的几种构造形式及其和代数式的对应关系。

本期 Demo Day,HStreamDB 团队将向大家演示即将发布的 v0.5 版本的基本功能。

本次分享将介绍 fused-effects 的特点及用法。

本期直播将讲解 EMQX Cloud 的快速部署与连接,同时结合树莓派讲解演示如何使用 MQTT 协议将终端设备数据接入上云。

分享并展示 EMQX 5.0 中 Web 控制台风格和交互流程,从界面出发,探索背后的功能调整,展示在新的 Web 控制台里如何实现 EMQX 常用功能的配置。

本分享将使用 Haskell 来编写贪食蛇游戏的 live code