56 点 我的专业兴趣在于改进高风险软件系统（即那些必须安全、大型和/或安全攸关的系统）的软件开发实践。我的专长包括编写安全程序、漏洞评估、开放标准、开源软件/自由软件 (OSS/FS)、互联网/网络标准和技术以及 POSIX。阅读更多关于我的信息。 开源爱好者 作者
撰写评论
不，这不是必要的。有许多成功的项目没有这些规则。我同意 Arjen Balfoort 的观点，以身作则（通常！）更有效。
此外，虽然我认为我们应该尊重他人，但我们需要对代码保持严苛，因为人们依赖于他们运行的代码具有良好的质量。区分尊重人和对代码严苛非常重要。
我认为政府将政府资助的研究软件作为 OSS 发布非常棒；这应该有助于刺激研究。
甚至有正式发表的学术文章指出，在研究中以 OSS 形式发布软件的关键优势。以下是两个例子。
“……1988 年在 CADE-9 上发布的 Otter 是自动化推理历史上的一个转折点。计算机科学界以前从未见过如此强大的定理证明器……也许 Otter 最伟大的影响归功于 Bill 慷慨而有远见的决定，即公开其源代码。在研究论文中完全描述一个推理程序是不可能的。总有一些知识，通常是令人惊讶的数量，仅写在代码中，因此如果代码不是公开的或太难阅读，则仍然是隐藏的。比尔的代码非常易读且组织良好。其他研究人员，包括那些系统最终在速度或推理规则种类方面超过 Otter 的研究人员，也从比尔的代码数据结构、算法和索引方案中学到了东西，这些对于实现定理证明器至关重要……” - “自动化推理和数学：纪念 William W. McCune 的论文集”，人工智能讲义 7788，序言，http://link.springer.com/book/10.1007/978-3-642-36675-8
“仅从出版物来看，在无法访问源代码的情况下，各种细节仍然不清楚……我们没有意识到，并且几乎无法从文献中推断出来的是 [在 GRASP 和 CHAFF 中采用的 [优化] [至关重要]……只有 [当 CHAFF 的源代码可用时] 我们不幸的设计决策才变得清晰……吸取的教训是，重要的细节经常在出版物中被省略，并且只能从源代码中提取。可以认为，使源代码……可用对于该领域的进步与出版一样重要。” - Armin Biere 的论文“从 LIMMAT 到 NANOSAT 的演变”（2004 年 4 月），http://fmv.jku.at/papers/Biere-ETH-TR-444-2004.pdf
如果您好奇，可以在 http://www.dwheeler.com/blog/2014/02/07/#william-mccune-source-code 中查看有关此内容的更多背景信息。