Comment by mcallisterjp on Why CFAR's Mission? · 2016-01-11T18:52:10.179Z · LW · GW

In type theory and some fields of logic, 2 is usually defined as (λf.λx.f (f x)); essentially, the concept of doing something twice.

Comment by mcallisterjp on Confound it! Correlation is (usually) not causation! But why not? · 2014-07-09T12:50:30.288Z · LW · GW

That's the number of all directed graphs, some of which certainly have cycles.

Comment by mcallisterjp on Probability and radical uncertainty · 2013-11-25T11:18:37.391Z · LW · GW

"http://en.wikipedia.org/wiki/Epicycle#Epicycles"

Ha!

Comment by mcallisterjp on 2013 Less Wrong Census/Survey · 2013-11-22T20:31:25.884Z · LW · GW

Surveyed. Looking forward to the data and analysis, as per every year.

Comment by mcallisterjp on Rationality Quotes September 2013 · 2013-09-04T11:29:39.347Z · LW · GW

That's not how Big O notation works: O(100,000) = O(1).

You presumably mean "in the order of 100,000", which is sometimes written "~100,000".

Comment by mcallisterjp on Rationality Quotes May 2013 · 2013-05-02T09:56:24.457Z · LW · GW

This is at least as old as Leibnitz.