On Abstraction - Zach Tellman 

Phew, intense. One to watch multiple times to make it sink in.

if you are open in exactly the right way, and in exactly the right mood, this talk slaps with the force of a million suns

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 was looking for this talk since forever!

Top tier presentation and thought provoking. Especially for the abstract (no pun) subject, lot of concrete ideas and takeaways. Great presentation!

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.

Thanks for sharing. Really useful.

22:10 if we are building an AI then we do want to represent the entire world in out programming of the world model

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

here is where you can access the book: leanpub.com/elementsofclojure

And none of this helps any of you to write better software. ;-)

Could have said "sort of" one more time to get the point across better.