Software is guaranteed by compiled and automated test results to âmaintain logical integrity throughout.
- mathematics tries to ensure it through the delicate efforts of mathematicians
Any other subtle effort body of knowledge that doesnât have automated testing is probably as buggy as software that doesnât have automated testing, because itâs the same people doing it.
relevance - People make mistakes.
This page is auto-translated from /nishio/ă˝ăăăŚă§ă˘ăŻć´ĺć§ăŽăăçĽčä˝çłť using DeepL. If you looks something interesting but the auto-translated English is not good enough to understand it, feel free to let me know at @nishio_en. Iâm very happy to spread my thought to non-Japanese readers.