The things you can do with it are utterly mind-bending, plus you can prove to yourself that things are correct (unlike ML/AI =P)
The things you can do with it are utterly mind-bending, plus you can prove to yourself that things are correct (unlike ML/AI =P)