On Abstraction - Zach Tellman

[@DillonRedding]

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

[@thomas.moerman]

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

[@lwouisYT]

I wish he would bring code examples in addition to the real world examples. Amusingly, his ideas stayed a bit abstract :p

[@garthgoldwater5256]

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

[@TenderBug]

Hahaha yes I'm starting to feel the power of that slap while watching for 3rd or 4th time.

[@hexmedi]

I was looking for this talk since forever!

[@kevanschwitzer8585]

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

[@mescellaneous]

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.

[@diegonayalazo]

Thanks for sharing. Really useful.

[@CarterColeisInfamous]

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

[@mpweiher]

The Knuth quote actually says neither that optimization is bad always, nor 97% of the time. See kzbin.info/www/bejne/oXmqkK2tbJqGoKc

[@andrewjarrett132]

I think that's part of the joke, he’s poking fun at folk wisdom: "...depending on how much of the quote we bothered to read.”

[@ericanderson3879]

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

[@lepidoptera9337]

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

[@subucn1]

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

[@sohamjoshi9527]

lol i started noticing that after reading this comment.

[@kevanschwitzer8585]

Hah, I only noticed the times he mentioned "right?".