白皮书
MQTT + 大模型：实时智能融合架构与实践
本白皮书深入探讨了 MQTT + 大模型的融合架构与应用实践，帮助您全面了解轻量级消息传递协议 MQTT 如何与尖端 AI 技术无缝集成，以支持构建实时、可扩展且安全的解决方案，确保企业在 AI 驱动的世界中保持领先地位。
资源
各类 EMQ 资源一网打尽，深入了解物联网与人工智能的世界。
视频
EMQ & RT-Thread 打造工业数据监控系统
EMQ 与 RT-Thread 举办联合直播，详细讲解如何实现这套工业数据监控方案。
视频
eKuiper 1.3.0 新功能演示
SQL 运行时增强：增加窗口函数 window_start 和 window_end，帮助完成复杂数据分析；支持表达式作为数组索引，增加数据处理灵活性；增强别名机制，方便编写复杂 SQL 语句；优化 Source 数据获取，提高数据处理能力，减少冗余
视频
Neuron v1.3.0 功能演示
Neuron 产品介绍及性能报告，v1.3新增功能
视频
EMQX MQTT Broker MongoDB 认证功能及认证 HTTP API 演示
近期我们为认证功能增加了 MongoDB 的支持，同时完成了与新 HTTP API 框架的适配工作，本次 Demo 将展示通过 HTTP API 创建 MongoDB 认证服务进行认证。
视频
EMQX MQTT Broker v5.0 中的事件消息
EMQX 系统中有很多事件，包括客户端上下线、消息投递等。 5.0 中我们将允许所有事件都以 MQTT 系统消息的形式发布，用户可以订阅相关主题来获取这些事件通知。本次 DEMO 将演示事件消息的配置与使用。
视频
NanoMQ 性能演示
NanoMQ 性能演示，在自有服务器上演示 NanoMQ 的 benchmark 过程，并与其他开源项目进行对比。
视频
Datatypes in Dependent Type
介绍依值类型中的常用数据类型与构造数据类型的思路。包括常用的依值类型列表，代表性的有限集，形式化验证中利用类型表示命题，并利用类型论工具对命题进行变换和证明，讨论经典逻辑与形式化验证中直觉逻辑的不同，以及依值类型数据类型和形式化验证在工业生产中的应用。
视频
fused-effects 副作用系统（effect system）简介
fused-effects 是一个 Haskell 的副作用系统（effect system），它重视表现力、效率和严谨性，本次分享将介绍 fused-effects 的特点及用法。
视频
函数式编程 代数数据类型和模式匹配
介绍函数式编程中重要的代数数据类型，代数数据类型的几种构造形式及其和代数式的对应关系；介绍模式匹配在代数数据类型上的应用。
视频
HStreamDB v0.5 新版本功能演示
HStreamDB 是 EMQ 于今年三月正式开源的流数据库， 专为 IoT 场景设计，可针对大规模实时数据流的接入、存储、处理、分发等环节进行全生命周期管理。本期 Demo Day，HStreamDB 团队将向大家演示即将发布的 v0.5 版本的基本功能
视频
函数式编程的列表和递归
介绍函数式编程语言中最基本同时也是最重要的数据类型列表，并简单介绍递归及建立在递归之上的列表函数。另外介绍比列表更高效的 Vector 数据类型。
视频
EMQX MQTT Broker 5.0 Web 控制台 UI 调整
分享并展示 EMQX 5.0 中 Web 控制台风格和交互流程，从界面出发，探索背后的功能调整，展示在新的 Web 控制台里如何实现 EMQX 常用功能的配置。