|
|
|
|
|
|
by zozbot234
79 days ago
|
|
|
> however what happens is that, as in software, certain ideas get ossified. That’s why, for example, every OS has a POSIX layer Refactoring formalized developments is vastly easier than refactoring software or informal math, since you get verified feedback as to whether the refactoring is correct. |
|
|