通过世界级开源软件产品,服务人类未来产业与社会
各类资源一网打尽,深入了解 EMQ 与物联网的世界。
SQL 运行时增强:增加窗口函数 window_start 和 window_end,帮助完成复杂数据分析;支持表达式作为数组索引,增加数据处理灵活性;增强别名机制,方便编写复杂 SQL 语句;优化 Source 数据获取,提高数据处理能力,减少冗余
查看详情 →
Neuron 产品介绍及性能报告,v1.3新增功能
近期我们为认证功能增加了 MongoDB 的支持,同时完成了与新 HTTP API 框架的适配工作,本次 Demo 将展示通过 HTTP API 创建 MongoDB 认证服务进行认证。
EMQX 系统中有很多事件,包括客户端上下线、消息投递等。 5.0 中我们将允许所有事件都以 MQTT 系统消息的形式发布,用户可以订阅相关主题来获取这些事件通知。本次 DEMO 将演示事件消息的配置与使用。
NanoMQ 性能演示,在自有服务器上演示 NanoMQ 的 benchmark 过程,并与其他开源项目进行对比。
介绍依值类型中的常用数据类型与构造数据类型的思路。包括常用的依值类型列表,代表性的有限集,形式化验证中利用类型表示命题,并利用类型论工具对命题进行变换和证明,讨论经典逻辑与形式化验证中直觉逻辑的不同,以及依值类型数据类型和形式化验证在工业生产中的应用。
fused-effects 是一个 Haskell 的副作用系统(effect system),它重视表现力、效率和严谨性,本次分享将介绍 fused-effects 的特点及用法。
介绍函数式编程中重要的代数数据类型,代数数据类型的几种构造形式及其和代数式的对应关系;介绍模式匹配在代数数据类型上的应用。
HStreamDB 是 EMQ 于今年三月正式开源的流数据库, 专为 IoT 场景设计,可针对大规模实时数据流的接入、存储、处理、分发等环节进行全生命周期管理。本期 Demo Day,HStreamDB 团队将向大家演示即将发布的 v0.5 版本的基本功能
介绍函数式编程语言中最基本同时也是最重要的数据类型列表,并简单介绍递归及建立在递归之上的列表函数。另外介绍比列表更高效的 Vector 数据类型。
分享并展示 EMQX 5.0 中 Web 控制台风格和交互流程,从界面出发,探索背后的功能调整,展示在新的 Web 控制台里如何实现 EMQX 常用功能的配置。
介绍 Erlang 语言的特性、适应场景、设计哲学,以及 Erlang 编程环境准备、基本语法等。