ITPub博客

当我们在求证一个命题时往往关心的是这个命题的结论,而对于支撑命题成立的条件却过于疏忽。在大学就读时经常会碰到定理的证明题,导师那时对我们的要求不仅仅是完成定理的证明,而是要在此基础上对命题中的 条件进行修改,从而给出相关的命题并对之进行新的论证,或者干脆将命题中的条件删除一条,看看会得出一些什么其它的结论。如今这种方法或者说这种思路依然值得保留。

2020年8月，Linux 发布了内核 5.8 RC 版本，该版本大约有100名新贡献者，具有超过14000个 commit，约80万行新代码。并且，距离上一个 5.7 正式版发布，才仅仅过去了约2个月的时间。