Edinburgh LW Meetup Saturday April 30th

post by sark · 2011-04-24T20:09:35.864Z · LW · GW · Legacy · 2 comments

Contents

2 comments

The second Edinburgh LW meetup.

The first one was 2 weeks ago. It was fun. Do join us!

Date/time: Saturday 30th of April at 2:00pm.

Place: A pub called the Auld Hoose. I would be holding a sign with "Less Wrong" written on it.

Rough agenda: We will discuss akrasia. We will state our projects and discuss how we intend to keep track of their progress and how we can stay on track. We will also discuss anything else! Feel free to suggest additional topics so that we can coordinate on some preparation to ensure a smoother more enjoyable discussion.

Please RSVP here: http://www.facebook.com/event.php?eid=183616241685780

See you there!

EDIT: I would like to thank the attendees of the first meetup for their very enjoyable company. You made the meetup a success. Now let's do it again!

2 comments

Comments sorted by top scores.

comment by sark · 2011-05-01T14:10:28.826Z · LW(p) · GW(p)

OK. So as we have agreed, we will discuss our mini-presentations for next week's (yes it's weekly now) meetup here.

Mine is simple, it will be a summary on Schelling's The Strategy of Conflict :)

What's yours?

Replies from: AlanCrowe
comment by AlanCrowe · 2011-05-01T17:01:01.474Z · LW(p) · GW(p)

I've been trying to learn a computer program, ACL2, which is a kind of theorem prover, but I've dropped back to reading the logic text, Shoenfield, recommended in the program documentation. Eek! But I think I've finally got the distinction between syntax and semantics and will offer a simple example of the difference.