欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/Agda, C++/Erlang/Lisp
Blogs/aqee
来自开放百科 - 灰狐
返回博客首页
本站以翻译外国IT方面的评论、访谈为主,没有确定的对象,偏重于软件方面,通过那些独特的海外IT视野,关注IT世界,关切IT民生,锐评IT世事,涵盖Java、.NET、Ruby、SOA、敏捷和架构等。
|
分享您的观点