此系列文章是我学习lambda演算过程的总结与复习,着重于探讨“为什么(Why)”与“怎么做(How)”,也希望能对看到它的人学习了解这个形式系...
刚接触Qt不久的练手项目,Github链接在这里,release目录下面是软件发布,如果无法打开软件可以先安装vc_redist(VS运行环境)...
上一篇我们已经建好了lambda演算大厦的地基,接下来需要了解的就是如何在此基础上构造用于计算的一些通用工具了,比如自然数、布尔值、基本运算和布...
PR:https://github.com/MicrosoftArchive/redis/pull/598 错误描述与处理办法 用redis-c...
因为除了接口本身的开发外还要进行原SCADA系统与新版规约通讯所使用dll的修改和调试,本篇整理一下这部分的相关知识。 九、动态链接库dll编写...
之前在Windows上有用Perl编译过OpenSSL,不过只是要用它的两个静态库,这次搭一个https server还要用它来生成自签名证书,...
具体过程就不说了,mongoose很小巧,只有两个文件mongoose.h/cpp,拿来就可以用,并且官方文档包括example也相当的丰富,可...
本文内容为练习LeetCode题目时的解题思路和不同算法的记录,实现语言为C++,代码保存在Github,均已在LeetCode提交AC且均含最...
三、使用zlib库对收到数据进行解压 使用zlib库:http://www.zlib.net/此软件编译使用的是zlib 1.2.11版本,步骤...