mcallisterjp

Posts

Sorted by New

Wiki Contributions

Comments

Why CFAR's Mission?

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.

Confound it! Correlation is (usually) not causation! But why not?

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

2013 Less Wrong Census/Survey

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

Rationality Quotes September 2013

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