mcallisterjp

• mcallisterjp 11 Jan 2016 18:52 UTC

  0 points

  in reply to: ChristianKl’s comment on: Why CFAR’s Mis­sion?

  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.

• mcallisterjp 9 Jul 2014 12:50 UTC

  7 points

  in reply to: Richard_Kennaway’s comment on: Con­found it! Cor­re­la­tion is (usu­ally) not cau­sa­tion! But why not?

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

• mcallisterjp 25 Nov 2013 11:18 UTC

  2 points

  on: Prob­a­bil­ity and rad­i­cal uncertainty

  “http://​​en.wikipedia.org/​​wiki/​​Epicycle#Epicycles″

  Ha!

• mcallisterjp 22 Nov 2013 20:31 UTC

  37 points

  on: 2013 Less Wrong Cen­sus/​Survey

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

• mcallisterjp 4 Sep 2013 11:29 UTC

  9 points

  in reply to: nshepperd’s comment on: Ra­tion­al­ity Quotes Septem­ber 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″.

• mcallisterjp 2 May 2013 9:56 UTC

  9 points

  in reply to: SilasBarta’s comment on: Ra­tion­al­ity Quotes May 2013

  This is at least as old as Leibnitz.