<p><span class="h-card" translate="no"><a href="https://mathstodon.xyz/@d_christiansen" class="u-url mention">@<span>d_christiansen</span></a></span> <span class="h-card" translate="no"><a href="https://mathstodon.xyz/@jonmsterling" class="u-url mention">@<span>jonmsterling</span></a></span> <span class="h-card" translate="no"><a href="https://mathstodon.xyz/@ohad" class="u-url mention">@<span>ohad</span></a></span> I think this is fair - I guess my stance is that memorization paired with other learning strategies can be useful, but just straight memorization had never served me well. I don’t think memorizing the operators of the lens library would have been very useful if you didn’t understand a lens conceptually; and I think once you cross the conceptual barrier memorization definitely has its advantages, but I think that’s the order we should go in, not the latter, as it just facilitates bad learning</p>