sundarj

Lee Ross and fellow psychologist Andrew Ward have outlined three interrelated assumptions, or "tenets," that make up naïve realism. They argue that these assumptions are supported by a long line of thinking in social psychology, along with several empirical studies. According to their model, people:

• Believe that they see the world objectively and without bias.
• Expect that others will come to the same conclusions, so long as they are exposed to the same information and interpret it in a rational manner.
• Assume that others who do not share the same views must be ignorant, irrational, or biased.

---

Functional fixedness is a cognitive bias that limits a person to use an object only in the way it is traditionally used. The concept of functional fixedness originated in Gestalt psychology, a movement in psychology that emphasizes holistic processing. Karl Duncker defined functional fixedness as being a "mental block against using an object in a new way that is required to solve a problem". This "block"

sundarj

λ boot -d korma repl
Retrieving maven-metadata.xml from https://repo.clojars.org/
Retrieving korma-0.5.0-RC1.pom from https://repo.clojars.org/ (4k)
Retrieving c3p0-0.9.5.2.pom from https://repo1.maven.org/maven2/ (1k)
Retrieving mchange-commons-java-0.2.11.pom from https://repo1.maven.org/maven2/ (3k)
Retrieving java.jdbc-0.6.1.pom from https://repo1.maven.org/maven2/ (2k)
Retrieving korma-0.5.0-RC1.jar from https://repo.clojars.org/ (21k)
Retrieving c3p0-0.9.5.2.jar from https://repo1.maven.org/maven2/ (486k)
Retrieving mchange-commons-java-0.2.11.jar from https://repo1.maven.org/maven2/ (592k)
Retrieving java.jdbc-0.6.1.jar from https://repo1.maven.org/maven2/ (15k)

sundarj

Talks

A Theory of Functional Programming
https://www.youtube.com/watch?v=FQnBOqtwuLE

All I needed for FP I learned in High School Algebra
https://www.youtube.com/watch?v=epT1xgxSpFU

Building composable abstractions
https://www.youtube.com/watch?v=jJIUoaIvD20

sundarj

This is a plain-text version of Bret Victor’s reading list. It was requested by hf on Hacker News.

---

Highly recommended things!

This is my five-star list. These are my favorite things in all the world.

A few of these works have had an extraordinary effect on my life or way of thinking. They get a sixth star. ★

sundarj

Couldn't find the text of this for a while...

• Original (404'ed) -- https://plus.google.com/115094562986465477143/posts/Di6RwCNKCrf
• Fakeout -- http://www.dzone.com/links/rss/ryan_dahl_i_hate_almost_all_software.html
• Repost -- https://plus.google.com/116904230181415286707/posts/DnAMAN5sUR8

sundarj

(defn depth [coll]
  (count (->> coll
              (tree-seq coll? identity)
              (filter coll?))))

(defn comp-times [n f]
  (reduce comp
          f
          (repeat (dec n) f)))
   

sundarj

world.sometimes.lens=> (get (at 0) [{:a 1}])
{:a 1}
world.sometimes.lens=> (assoc (at 0) nil [{:a 1}])
[nil]
world.sometimes.lens=> (update (at 0) empty [{:a 1}])
[{}]
world.sometimes.lens=> (get (comp (at 0) (at :a)) [{:a 1}])
1
world.sometimes.lens=> (assoc (comp (at 0) (at :a)) 42 [{:a 1}])
[{:a 42}]

sundarj

I think the lower-level aspects of programming hold us back as sapient beings, and thereby reduce the art form: we are not, on the whole, good at them; they should fall under the computer’s purview. They often serve to frustrate the efforts of those who cannot, and misdirect the efforts of those who can. I do not believe anyone can be a programmer (it is in my view a calling), but nor do I wish that the power to understand and control the abilities of computers be restricted to those with a freakish knack for manipulating bits (to paraphrase Bret Victor). I believe many of the points raised in Lockhart’s Lament apply to programming as well as mathematics (and many disciplines besides).

sundarj

$ clj -Sdeps '{:deps {org.clojure/clojurescript {:mvn/version "1.9.946"} clojure/core.async {:git/url "https://github.com/clojure/core.async" :sha "91e6971a05fa49ca639fc1b7793141dd5f3d32ce"}}}' -m cljs.repl.node
ClojureScript Node.js REPL server listening on 58843
To quit, type: :cljs/quit
cljs.user=> (.log js/console "yo")
yo
nil
cljs.user=> (.arch (js/require "os"))
"x64"
cljs.user=> (require '[clojure.core.async :as async])
nil

sundarj

.