摘要：
最近一直想接触一些新东西，包括新技术，还有新的学习方法。之前自己几乎没有接触过GUI编程（除了曾经用过Win32API画出一个最简单的窗口）。后来无意间翻到过C++之父Bjarne Stroustrup的新书《Programming: Principles and Practice using C++》，这本书的用意是带领没有丰富编程经验的人入门，并没有涉及到过多C++的技术细节，更多地是从程序开发的角度来切入，当然，示例本身是用C++来写的（好歹人家是是C++之父嘛~）。里面专门有一部分介绍GUI，BS采用了FLTK库做了例子，自己做了一些很少的封装，并以此来带领大家入门，内容十分详实，也激 阅读全文
摘要：
原文链接：http://zoomzum.com/6-free-c-graphics-and-game-libraries/ 作者的话：上一篇文章中介绍（转载）了8个免费且使用的C++ GUI库，无独有偶，作者无意中又看到了类似的一篇文章，同样出自zoomzum.com。这篇文章介绍了6个免费的C++图形和游戏库。GUI库对应了微软的MFC，提供了程序与用户交互的图形化界面，而图形和游戏库则对应了... 阅读全文
摘要：
原文链接：http://zoomzum.com/8-free-and-useful-c-gui-libraries/ 作者的话：C++标准中并没有包含GUI，这也使得C++开发图形化界面需要依赖于第三方的库。实际上，图形界面恰恰是C++的强项，小到平常使用的各类桌面软件，大到魔兽世界这样的游戏，都是C++擅长的地方。C++之所以能做到这一点，原因在于它是一门即能提供极高的性能，又能提供良好接口的... 阅读全文
摘要：
我的研究方向主要是程序验证与程序证明，证明的理论依据是C. A. R. Hoare提出的Hoare Logic，并加上指针和别名的处理，证明的方式则是Prove in code，即在程序点中间插入Assert，每个Assert中有多个公式表示当前程序点的性质（即，无论程序执行多少次，这些性质都必定成立）。新的公式可以通过原有的公式传播和推导两种方式证明。当程序的precondition（一组公式）... 阅读全文
摘要：
昨天下午看到一个有趣的网站，写一段代码，问你这是什么语言，我从昨天下午开始做这些题目（一共75种语言，每种语言的代码是固定不变的，完全靠记忆力），做了好几遍，刚刚又做一下，终于将识别率提高到96%。 发个图： 虽然能识别出语言不算什么，但是锻炼下记忆力还是有帮助的。里面很多语言的代码也非常有意思，有兴趣的可以试试哦！网站地址：http://wtpl.heroku.com/。 阅读全文