[danabramov]

Haha thanks, I know it's not everyone's cup of tea but I appreciate kind words, and GEB is too obvious of an inspiration. I would highly recommend Terence Tao's Analysis textbook. It's maybe a bit too rigorous/formal (and maybe doesn't quite describe discovery because it develops very standard theory) but it builds in a very pleasant way. If you're interested in Lean, some of Kevin Buzzard's writing at https://xenaproject.wordpress.com/ is similarly pleasant (e.g. https://xenaproject.wordpress.com/2021/04/18/induction-on-eq...).

[danielskogly]

I seem to recall what the parent describes when taking your course on redux @ Egghead long, long ago, where I think you went through creating a simplified version of redux? Such a great way to gain a deeper understanding of something that, on the surface, seems very complex. Thank you for making that course free :)