# meta_ark's Posts

Sorted by New

Meetup : Austin, TX - HPMoR Wrap Party

I went and had fun! I'll be going to them every week, in the absence of other plans.

Meetup : Melbourne social meetup

Hi! I'm from Sydney, but I'm visiting Melbourne this week and I keep seeing note about these regular Melbourne meetups. So I might head down there. I have dinner with my family around 7, so I'm not sure what time I can get there. Hope to meet some of you there!

Drawing Less Wrong: An Introduction

Wow, sounds great. I'm really looking forward to this :)

A Rational Approach to Fashion

It helped teach me a few valuable thought-processes which should help optimise my social life. I'm glad it's here.

Expecting Beauty

I think you could use Kolgomorov complexity to define simple, for these purposes. That way replacing your formula with "5##" wouldn't make it any simpler, because the machine would still have to execute all those multiplicative operations.

How can we be sure we have the simplest explanation? We can't be sure, because new data could come in to make us change our minds. But given a finite amount like {1, 2, ...} we can still weight possible formulae by Kogomorov complexity and prefer the simpler hypothesis.

I think natural numbers is simpler in this case, because n is simpler to calculate than 2^n. As for {1, ...} I don't think we have enough information to locate a hypothesis.

Mini-camp on Rationality, Awesomeness, and Existential Risk (May 28 through June 4, 2011)

When you say you'll cover the cost of flights, does this include international trips?

NEW TIME: Sydney Less Wrong meetup, 23/4, 3PM

We're now meeting at 3 instead. Will you be able to make it?

NEW TIME: Sydney Less Wrong meetup, 23/4, 3PM

We're now meeting at 3. See you then!

NEW TIME: Sydney Less Wrong meetup, 23/4, 3PM

We're now meeting at 3:00. See you tomorrow!