I went and had fun! I'll be going to them every week, in the absence of other plans.
I'll be going!
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!
Wow, sounds great. I'm really looking forward to this :)
It helped teach me a few valuable thought-processes which should help optimise my social life. I'm glad it's here.
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.
I'm uncertain about what I've said, so please correct me if I'm wrong about anything.
When you say you'll cover the cost of flights, does this include international trips?
We're now meeting at 3 instead. Will you be able to make it?
We're now meeting at 3. See you then!
Hi everyone! There was an attempt for a Sydney (Australia) Less Wrong meetup a while ago, which failed, which was sad. So I'm starting a new one!
I'll definitely be at the meetup for three hours, regardless of who else is able to make it. So this is definitely going ahead, no matter what.
Place: James Squire Bar (22 The Promenade, King Street Wharf)
Date: Saturday, 23rd of April
Time: 3PM - 6PM (note new time)
I'll have a Less Wrong sign on the table and will probably be working on a uni assignment or reading Godel, Escher, Bach.
Hope to see you there!
Super-tangential, I know, but there are at least two Austin bakeries that bake a range of fresh kolaches every day, https://www.batchatx.com/menus and https://www.quacksbakery.com/