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…
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…
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 me, a really good way to start…
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…
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…
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 also a bit more painful. How do you go…
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…
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.
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
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…
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…
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 me, a really good way to start…
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…
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…
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 also a bit more painful. How do you go…
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…
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.
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