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 EMQX 规则引擎技术设计分享 EMQX 的规则引擎是标准 MQTT 之上基于 SQL 的核心数据处理与分发组件,本期 OpenDay 我们将与大家分享讨论规则引擎的设计与技术详情。 查看详情 →
2021-04-25 MeetUp Haskell 中的流处理 由 HStreamDB CTO 韩冬带给大家 Haskell 中常见的流处理方案对比、在 HStreamDB 项目中遇到的流处理问题,以及我们是如何使用崭新的流处理抽象 BIO 解决这些问题的。 查看详情 →
2021-04-23 Webinar、MeetUp Snabbkaffe 简介 —— 一种测试 Erlang 代码的新方法 在本次 Sharing Day 中,将向大家介绍 Snabbkaffe 及其在测试案例中的使用方法。 查看详情 →