摘要：说明下，最近因为项目中使用阿里云的mq作为消息队列，然后需要对consumer做一个压测，因此采用go写了一个压测工程，由此踩到一个小坑。 https://github.com/aliyunmq/mq-http-go-sdk 以上是aliyun在github上的开源代码，从代码里可以看出，mq cl 阅读全文

摘要：最近老公在上网络安全的课，课上老师提到了event-B，感觉是完全没见过的领域，记录在这里学习下. Event-B is an evolution of B-Method developed by Jean-Raymond Abrial, 这位大神来自MS研究院，80+的教授了 阅读全文