2021-07-31 MeetUp Datatypes in Dependent Type 介绍依值类型中的常用数据类型与构造数据类型的思路。包括常用的依值类型列表，代表性的有限集，形式化验证中利用类型表示命题，并利用类型论工具对命题进行变换和证明，讨论经典逻辑与形式化验证中直觉逻辑的不同，以及依值类型数据类型和形式化验证在工业生产中的应用。 查看详情 →
2021-06-05 MeetUp Open Source in Kunming （开源在昆明） 我们一直认为，开源与先进技术不是一线城市的专属，我们相信在昆明，也同样承载着许多技术爱好者的开源理想。时值 EMQ 昆明新 Office 落成，新一期 EMQ Open Day，我们邀请大家来昆明玩！一起在春城拥抱开源！ 查看详情 →
2021-05-26 Webinar、MeetUp Linux 下的网络服务编程实践 介绍网络的基本概念，网络传输的数据流程，常见协议的介绍，具体使用方法。网络编程方面的并发性能优化方法。 查看详情 →
2021-05-22 MeetUp An Introduction to Timely Dataflow 本期 Open Day 将由 HStreamDB 研发工程师王斌向大家介绍 Timely Dataflow 的基本设计思想、编程模型以及应用。 查看详情 →
2021-05-20 Webinar、MeetUp Haskell 语言的配置和基本概念 介绍 Haskell 语言主要实现 GHC 的环境配置，项目搭建，Haskell 的基础语法，执行模型，Haskell 的基本数据类型及其在内存中的表示，runtime 的执行模型，模式匹配的简介等。 查看详情 →
2021-05-13 Webinar、MeetUp EMQ Demo Day 003 Released in v4.3.0. 6x times faster in a benchmark test for 5-level wildcard topic insert/delete performance. 10% slower in lookup performance. 查看详情 →
2021-04-25 Webinar、MeetUp EMQ X 规则引擎技术设计分享 EMQ X 的规则引擎是标准 MQTT 之上基于 SQL 的核心数据处理与分发组件，本期 OpenDay 我们将与大家分享讨论规则引擎的设计与技术详情。 查看详情 →
2021-04-25 MeetUp Haskell 中的流处理 由 HStreamDB CTO 韩冬带给大家 Haskell 中常见的流处理方案对比、在 HStreamDB 项目中遇到的流处理问题，以及我们是如何使用崭新的流处理抽象 BIO 解决这些问题的。 查看详情 →
2021-04-23 Webinar、MeetUp Snabbkaffe 简介 —— 一种测试 Erlang 代码的新方法 在本次 Sharing Day 中，将向大家介绍 Snabbkaffe 及其在测试案例中的使用方法。 查看详情 →