zant

5 ms·

1. 1.▲
   by zant 5y ago

   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 shine is not the language itself but what's around it.
2. 2.▲
   by zant 5y ago

   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 in this same line. What I also want to do while se
3. 3.▲
   by zant 5y ago

   You mean, they should help a loT.
4. 4.▲
   by zant 5y ago

   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 me, a really good way to start learning a new subject is st
5. 5.▲
   by zant 5y ago

   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 third agent, but solely on a prover like Lean or Coq is a
6. 6.▲
   by zant 5y ago

   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 cool thing about programming is that it lets us represent a lot
7. 7.▲
   by zant 6y ago

   Wow looks super promising. Definitely worths a try. Thanks for sharing!
8. 8.▲
   by zant 6y ago

   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 also a bit more painful. How do you go about that? Woul
9. 9.▲
   by zant 6y ago

   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, and I find extremely appealing the notion of having a rep
10. 10.▲
    by zant 6y ago

    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 choose.
11. 11.▲
    by zant 6y ago

    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.com/watch?v=8rrHTtUzyZA