0:14 - Elements of Clojure 3:16 - I. Two Kinds of Abstractions 9:05 - II. A Model for Abstractions 20:10 - III. Consequences of our Model 31:44 - IV. Systems of Abstraction 46:26 - Questions
i am a noob but i was starting to read kripke's naming and necessity and then i found this book on the internet. i was glad to find it referenced kripke's book in the beginning of this book, almost as a motivation. for me, the motivation to try to read naming and necessity was actually reading wittgenstein's private language argument, which is a sort of distilled question/problem of knowledge/language.
The Knuth quote actually says neither that optimization is bad always, nor 97% of the time. See ru-vid.com/video/%D0%B2%D0%B8%D0%B4%D0%B5%D0%BE-kHG_zw75SjE.html