Sundar Joshi 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"

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

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. ★

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

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).

	λ 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)

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

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

	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}]

	$ 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