直播预告:FlowMQ 超融合协议互通演示
FlowMQ 是 EMQ 全新打造的一款融合消息与流数据平台,原生支持 MQTT、Kafka、AMQP、NATS 等多种消息协议。立即预约直播,了解 FlowMQ 超融合协议互通能力。

FlowMQ 是 EMQ 全新打造的一款融合消息与流数据平台,原生支持 MQTT、Kafka、AMQP、NATS 等多种消息协议。立即预约直播,了解 FlowMQ 超融合协议互通能力。


详细解释 Haskell 的副作用系统: fused-effects 如何支持带有范围(scoped)的副作用。fused-effects 将上层副作用解释为底层的单子栈。单子栈不具有交换性,不同的单子栈顺序决定了不同的副作用效果。当带有范围的副作用和不同的单子栈顺序相互影响的时候会产生一些有趣的结果。本次分享将通过一些有趣的例子,让听众更深刻地了解 fused-effects。

9 月 16 日(本周四)晚 8 点 , EMQ 将与 RT-Thread 举办联合直播,为大家详细讲解如何实现这套工业数据监控方案。

介绍如何用 Haskell 实现一个简易的数据流引擎

eKuiper 1.3.0 新功能演示

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 版本的基本功能。