此系列文章是我学习lambda演算过程的总结与复习,着重于探讨“为什么(Why)”与“怎么做(How)”,也希望能对看到它的人学习了解这个形式系...
上一篇我们已经建好了lambda演算大厦的地基,接下来需要了解的就是如何在此基础上构造用于计算的一些通用工具了,比如自然数、布尔值、基本运算和布...
具体过程就不说了,mongoose很小巧,只有两个文件mongoose.h/cpp,拿来就可以用,并且官方文档包括example也相当的丰富,可...
之前在Windows上有用Perl编译过OpenSSL,不过只是要用它的两个静态库,这次搭一个https server还要用它来生成自签名证书,...
前段时间做的开发有缓存数据持久化的需求,最终采用了redis,实行效果还不错,聊做总结。 〇、技术选型 要解决问题首先要分析问题。应用角色是移动...
PR:https://github.com/MicrosoftArchive/redis/pull/598 错误描述与处理办法 用redis-c...
刚接触Qt不久的练手项目,Github链接在这里,release目录下面是软件发布,如果无法打开软件可以先安装vc_redist(VS运行环境)...
本篇对C/C++中的字符串处理和类型转换的相关知识总结提高一下,之前对这方面缺乏整体认知和深刻理解,总是出问题比较影响效率和心情。 一、char...
昨天遇到一个奇怪的问题,MQ意外挂掉后无法重启,Java抛了成吨的异常,找了找发现问题是端口已占用,本来以为是监听端口被哪个第三方服务给抢了,但...