Bartosz's teaching/explanation style does not work for me.
I have no formal critique of him, or even concrete things to point at to say why it doesn't work for me, but I wanted to add my comment in case someone else was also feeling discouraged by not taking much away from the writings/lectures of an often and highly recommended person.
I generally learn very well from lectures/essays, but that hasn't been true for me re: his work.
I really like the "Programming with categories" lecture because you basically get 3 teaching styles for the same material. Brendan Fong is very straightforward "definition lemma definition lemma", Spivak is slightly more example-oriented, and then Bartosz is... bartosz. The juxtaposition helps to unstick me. I do use Eugenia Cheng's Catsters video to complement as well. If I had to chose one personal favourite, it would be her for sure.
I have no formal critique of him, or even concrete things to point at to say why it doesn't work for me, but I wanted to add my comment in case someone else was also feeling discouraged by not taking much away from the writings/lectures of an often and highly recommended person.
I generally learn very well from lectures/essays, but that hasn't been true for me re: his work.