欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2/Agda, C++/Lisp/Haskell
Blogs
来自开放百科 - 灰狐
设计师、程序员、社区型博客:
中文
开放博客、杨建、云风、DBA Notes、回忆未来[张宴]、阮一峰的网络日志、7yue's Weblog、简朝阳、西乔的九卦、delphij、幸福收藏夹、望月的博客、SocialBeta
月光博客、草屋主人的blog、limodou、可爱的猴子、何朝阳&李殿为的通信技术博客、James Li的四维空间、MaskRay
英文
Planet Mozilla、ocaoimh、Planet Android、Lauren Weinstein
搜索引擎相关
Google AdSense 中文博客、谷歌中国开发者博客、Matt Cutts、点石互动、搜索引擎营销观察
<discussion>characters_max=300</discussion>
分享您的观点
