-
正确性证明的问题 at 2013年05月11日
-
正确性证明的问题 at 2013年05月11日
-
正确性证明的问题 at 2013年05月11日
All attempts to use formal methods to derive software from requirement specifications break down as soon as we try to use them on realistically large and non-deterministic systems.
The same is true of attempts to formally prove the correctness of programs.
The most commonly used paradigm for SW development is “trial and error”.
http://www.erlang-factory.com/conference/London2011/speakers/MikeWilliams
形式化证明的方法至少到目前为止，没能大规模应用起来，只能说是核心逻辑，证明一下
-
正确性证明的问题 at 2013年05月11日
-
正确性证明的问题 at 2013年05月11日
coq 可以 extract -> haskell 的
-
好消息好消息. Vim 7.4 要来了 at 2013年05月10日
-
六人小组去＊厦门＊休闲工作一个月，有推荐 / 赞助工作场所，或者想一起讨论问题玩的么？ at 2013年05月10日
-
好消息好消息. Vim 7.4 要来了 at 2013年05月10日
Static analysis of C code is useful, but if you are thinking of starting a new project, choose a sensible language! Don't start new projects in C or C++, or dynamic languages like Perl and Python which leave errors in code for customers to find.
-
六人小组去＊厦门＊休闲工作一个月，有推荐 / 赞助工作场所，或者想一起讨论问题玩的么？ at 2013年05月10日
你们老板这么好... -
好消息好消息. Vim 7.4 要来了 at 2013年05月10日
Vim 这是打算彻底干掉 Emacs 了么
-
好消息好消息. Vim 7.4 要来了 at 2013年05月10日
-
计算机工程师之歌 at 2013年05月10日
-
计算机工程师之歌 at 2013年05月10日
那你还不快去学 Perl...
-
最近谁在外面写项目？(北京) at 2013年05月10日
- Do programmers have quiet working conditions?
-
coffee 里的 -> 与 => 到底有什么 区别啊？ at 2013年05月10日
反正我自己写 JavaScript 的时候，不会去改
this的，我都是用self的，最讨厌那些改this的库了...所以后来我就用 Python 去了... -
[长三角][2013年5月11日] 快速演讲主题确定，大家来感受一下 at 2013年05月09日
#3 楼 @yedingding 还没到大规模打广告的时候，因为最近掉进别的坑里了...
-
[长三角][2013年5月11日] 快速演讲主题确定，大家来感受一下 at 2013年05月09日
不给力啊...
-
求技术解释下为啥很多云服务都默认提供 node.js 的直接支持 at 2013年05月09日
-
发来你就觉得最酷的一段代码，我要把它印成 T 恤 at 2013年05月09日
-
Ruby 的多线程应用服务器介绍 at 2013年05月09日
-
Ruby 的多线程应用服务器介绍 at 2013年05月09日
-
不选择 Markdown 的理由 at 2013年05月08日
-
如果百度云推出 Gitlab & Gitlab-Ci 的一键部署方案，大家会用吗？ at 2013年05月07日