Viewing profile — zant

Yeah a lot of people is shadowing Lean and labeling the success as some sort of marketing success. I digress from this opinion, mainly because I believe that what truly makes Lean …

Hey this is really cool. I want to start doing the same thing. Visual group theory is a really nice book for intuition. Also, the YouTube series "Essence of Group Theory" can help …

You mean, they should help a loT.

In my personal experience, I find extremely difficult to stick with the courses that are mostly video based. Not just from OCW but Coursera, edX, etc. But what I found is that, for…

I strongly agree on this one. As a programmer and someone who's always been interested in mathematics, having a way to check proofs without relying on trust of my own logic or a th…

Yeah you can say that. You can also say that Machine Learning is just programming. Or in a similar way you can also say that First Order Logic is just programming. However, the coo…

Wow looks super promising. Definitely worths a try. Thanks for sharing!

I tried to move from VS Code to NeoVim with NerdTree and some other plugins to make it more IDE-like. But eventually wasn't able to get the same code completion, and searching was …

I absolutely love everything about this. Specially how it can provide access to knowledge to people all around the world. I'm currently thinking about getting a degree in Maths, an…

I would add self-enhancement to this. I recently started to exercise with rings and go on deeper math, and every progress is very rewarding. I think this apply to anything one may …

There's also a good one made by Grant Sanderson from 3blue1brown. This video was the first time I was introduced to the concept and had no trouble following it: https://www.youtube…