欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
Open Source
来自开放百科 - 灰狐
Richard Stallman: 自由软件和开源软件都是计算机软件,但是,从哲学角度看自由软件和开源软件是非常不同的。它们基于不同的价值观。自由软件关注自由和社团,是一场道德运动,要求我们尊重每个人使用计算机的自由,不能让人们成为被殖民者,因此自由软件涉及到对/错的问题。而开源软件的哲学并不涉及到对与错,它仅仅是一个实用的价值观,这种哲学认为,他们有一个开发的模式,如果你按照这个开发模式来工作的话,就会得到一个高质量的软件。
因此,一个自由软件基本上是开源的,但是自由软件不光如此,它还可以保证大家能够改进软件,这一点是非常重要。从使用的角度来看的话,这些研究是可以非常有用的,我也喜欢技术含量更高的软件。因此开源软件的哲学,忽视了一个非常重要的问题,也就是如果让其他人成为被殖民者是错误的,我们必须阻止。有一些部分开源软件是自由软件,但是几乎所有的自由软件都是开源的。
相关链接
- OSDir.com - http://osdir.com/
- Linux Weekly News (LWN) - http://lwn.net/
- LXer - http://lxer.com/
- ApacheNews - http://apachenews.org/
- Open Source Web Design - http://www.oswd.org/
- eosj.com :: Enterprise Open Source Journal - http://www.eosj.com/
- 开源企业软件采购指南
- http://blogs.huihoo.com/?p=26
许可协议
相关组织
分享您的观点