2013-03-15T00:04:18  *** smiley1983 <smiley1983!~smiley@115-64-6-216.static.tpgi.com.au> has joined #aichallenge
2013-03-15T00:20:35  *** dvladim <dvladim!~dvladim@85.113.131.65> has quit IRC (Ping timeout: 256 seconds)
2013-03-15T00:23:38  *** foRei <foRei!~ViT@0x4dd7b24d.adsl.cybercity.dk> has joined #aichallenge
2013-03-15T00:45:08  *** thestinger <thestinger!~strcat@archlinux/trusteduser/thestinger> has quit IRC (Quit: sleep)
2013-03-15T01:36:18  *** floWenoL_ <floWenoL_!~FlowEnol@bl9-14-209.dsl.telepac.pt> has joined #aichallenge
2013-03-15T01:39:30  *** floWenoL <floWenoL!~FlowEnol@bl7-194-154.dsl.telepac.pt> has quit IRC (Ping timeout: 252 seconds)
2013-03-15T02:13:34  *** amstan <amstan!~alex@aichallenge/admin/amstan> has quit IRC (Ping timeout: 272 seconds)
2013-03-15T02:34:27  *** mceier <mceier!~mceier@89-69-201-93.dynamic.chello.pl> has quit IRC (Quit: leaving)
2013-03-15T02:43:08  *** contestbot <contestbot!~supybot@aichallenge/bot/contestbot> has joined #aichallenge
2013-03-15T02:43:08  *** ChanServ sets mode: +o contestbot
2013-03-15T03:19:45  *** coeus_ <coeus_!~coeus@dslb-088-078-011-156.pools.arcor-ip.net> has quit IRC (Quit: Verlassend)
2013-03-15T03:25:56  *** mceier <mceier!~mceier@77-252-246-25.ip.netia.com.pl> has joined #aichallenge
2013-03-15T03:53:51  *** epicmonkey <epicmonkey!~epicmonke@188.134.41.112> has joined #aichallenge
2013-03-15T03:56:26  *** sigh <sigh!~sigh@ppp114-153.static.internode.on.net> has joined #aichallenge
2013-03-15T04:10:20  *** epicmonkey <epicmonkey!~epicmonke@188.134.41.112> has quit IRC (Ping timeout: 260 seconds)
2013-03-15T04:44:50  *** Garf <Garf!Garf@78-22-81-11.access.telenet.be> has joined #aichallenge
2013-03-15T05:13:21  *** epicmonkey <epicmonkey!~epicmonke@host-224-58.dataart.net> has joined #aichallenge
2013-03-15T06:17:40  *** Areks|2 <Areks|2!~Areks@rs.gridnine.com> has quit IRC (Read error: Connection reset by peer)
2013-03-15T07:09:16  *** Areks <Areks!~Areks@rs.gridnine.com> has joined #aichallenge
2013-03-15T07:18:19  *** mcstar <mcstar!~mcstar@adsl-89-135-206-203.monradsl.monornet.hu> has joined #aichallenge
2013-03-15T10:11:52  *** sigh <sigh!~sigh@ppp114-153.static.internode.on.net> has quit IRC (Remote host closed the connection)
2013-03-15T10:32:58  *** UncleVasya <UncleVasya!~Miranda@95-109-231-34.dialup.umc.net.ua> has joined #aichallenge
2013-03-15T11:23:15  *** mceier <mceier!~mceier@77-252-246-25.ip.netia.com.pl> has quit IRC (Quit: leaving)
2013-03-15T11:45:51  *** thestinger <thestinger!~strcat@archlinux/trusteduser/thestinger> has joined #aichallenge
2013-03-15T12:27:26  *** Chris_0076 <Chris_0076!~Chris_007@adsl-184-47-250-254.asm.bellsouth.net> has quit IRC (Remote host closed the connection)
2013-03-15T12:36:28  *** mceier <mceier!~mceier@89-69-201-93.dynamic.chello.pl> has joined #aichallenge
2013-03-15T12:40:24  *** Chris_0076 <Chris_0076!~Chris_007@adsl-184-47-250-254.asm.bellsouth.net> has joined #aichallenge
2013-03-15T12:46:06  *** chris__0076 <chris__0076!~Chris_007@adsl-184-47-250-254.asm.bellsouth.net> has joined #aichallenge
2013-03-15T12:46:14  *** chris__0076 <chris__0076!~Chris_007@adsl-184-47-250-254.asm.bellsouth.net> has quit IRC (Read error: Connection reset by peer)
2013-03-15T12:56:51  *** awly <awly!~awly@a88-115-139-8.elisa-laajakaista.fi> has joined #aichallenge
2013-03-15T12:58:46  *** epicmonkey <epicmonkey!~epicmonke@host-224-58.dataart.net> has quit IRC (Ping timeout: 258 seconds)
2013-03-15T13:23:19  *** mviel <mviel!~mviel@213.163.164.204> has quit IRC (Remote host closed the connection)
2013-03-15T14:14:59  *** epicmonkey <epicmonkey!~epicmonke@188.134.41.112> has joined #aichallenge
2013-03-15T15:09:20  *** Scooper <Scooper!~Scooper@cm-84.208.69.8.getinternet.no> has joined #aichallenge
2013-03-15T15:25:13  <antimatroid> mcstar: how do you interpret the following "an average person who's been around the internet for a while"?
2013-03-15T15:25:53  <antimatroid> ie. take an average person and require they've been around the internet for a while, or take the set of people who've been around the internet for a while and take an average person from that group
2013-03-15T15:26:09  <antimatroid> usually one would mean the latter, but I think the other is what's actually being said
2013-03-15T15:28:09  <mcstar> antimatroid: sry, got to do some chores
2013-03-15T15:28:19  <antimatroid> consider this a chore then :P
2013-03-15T15:28:23  <antimatroid> kidding, have fun
2013-03-15T15:28:34  <mcstar> antimatroid: i read the pdf you linked
2013-03-15T15:28:55  <antimatroid> enjoy it?
2013-03-15T15:29:03  <mcstar> anyway, i interpret as a totally average person, that has been using the internet for some time
2013-03-15T15:29:13  <mcstar> antimatroid: well, parts of it
2013-03-15T15:29:25  <antimatroid> what parts didn't you like?
2013-03-15T15:29:29  <mcstar> later..
2013-03-15T15:29:33  <mcstar> ill be back
2013-03-15T15:29:34  <antimatroid> okay :P
2013-03-15T15:29:37  <antimatroid> i'll be asleep
2013-03-15T15:29:41  <mcstar> oh
2013-03-15T15:29:55  *** foRei <foRei!~ViT@0x4dd7b24d.adsl.cybercity.dk> has quit IRC (Quit: Bye)
2013-03-15T15:30:08  <mcstar> antimatroid: jesus, 6:30, and you havent slept all night?
2013-03-15T15:30:20  <antimatroid> no i fell asleep early cause i was tired, then woke up early
2013-03-15T15:30:27  <antimatroid> i'll go back to sleep for a few hours soon
2013-03-15T15:30:29  <antimatroid> it's saturday
2013-03-15T16:32:38  *** epicmonkey <epicmonkey!~epicmonke@188.134.41.112> has quit IRC (Ping timeout: 245 seconds)
2013-03-15T16:37:47  *** kilae <kilae!~chatzilla@109.205.205.152> has joined #aichallenge
2013-03-15T16:38:52  <mcstar> antimatroid: im back
2013-03-15T16:44:09  <mcstar> @later tell antimatroid i think it means the former, since the average in the group of internetusers can be different than the average in the common population, filtered by internet usage
2013-03-15T16:44:09  <contestbot> mcstar: Yep.
2013-03-15T17:22:28  *** Areks <Areks!~Areks@rs.gridnine.com> has quit IRC (Read error: Connection reset by peer)
2013-03-15T17:24:28  *** Areks <Areks!~Areks@rs.gridnine.com> has joined #aichallenge
2013-03-15T17:25:29  *** kilae <kilae!~chatzilla@109.205.205.152> has quit IRC (Quit: ChatZilla 0.9.90 [Firefox 19.0.2/20130307023931])
2013-03-15T17:32:43  <mcstar> UncleVasya: http://www.haskell.org/haskellwiki/OdHac
2013-03-15T17:32:49  <mcstar> maybe you are interested
2013-03-15T17:32:54  <mcstar> i guess you could attend
2013-03-15T17:38:17  *** Areks <Areks!~Areks@rs.gridnine.com> has quit IRC (Read error: Connection reset by peer)
2013-03-15T17:39:13  *** Areks <Areks!~Areks@rs.gridnine.com> has joined #aichallenge
2013-03-15T18:21:23  *** awly <awly!~awly@a88-115-139-8.elisa-laajakaista.fi> has quit IRC (Ping timeout: 245 seconds)
2013-03-15T18:38:01  *** amstan <amstan!~alex@aichallenge/admin/amstan> has joined #aichallenge
2013-03-15T18:38:01  *** ChanServ sets mode: +o amstan
2013-03-15T19:29:19  *** UncleVasya <UncleVasya!~Miranda@95-109-231-34.dialup.umc.net.ua> has quit IRC (Ping timeout: 264 seconds)
2013-03-15T19:42:08  *** sigh <sigh!~sigh@ppp114-153.static.internode.on.net> has joined #aichallenge
2013-03-15T19:42:21  *** janzert1 <janzert1!~janzert@97-83-126-83.dhcp.trcy.mi.charter.com> has joined #aichallenge
2013-03-15T19:43:24  *** ghave <ghave!~scribble@74-141-181-48.dhcp.insightbb.com> has joined #aichallenge
2013-03-15T19:45:51  *** janzert <janzert!~janzert@97-83-126-83.dhcp.trcy.mi.charter.com> has quit IRC (Ping timeout: 276 seconds)
2013-03-15T19:49:50  <antimatroid> mcstar: I know it means the former, but would usually be said meaning the latter
2013-03-15T19:58:00  <mcstar> antimatroid: im not sure
2013-03-15T19:58:08  <mcstar> or rather, i dont think so
2013-03-15T19:58:30  <mcstar> but it might not be relevant to the conversation
2013-03-15T19:58:35  <antimatroid> it was for the example where i got it, though i dunno which reddit page it was on now
2013-03-15T19:58:39  <antimatroid> he yeah :P
2013-03-15T19:58:40  <antimatroid> sorry
2013-03-15T19:59:59  <mcstar> antimatroid: wrt to maths, there are still foundational issues
2013-03-15T20:00:14  <mcstar> its not like the new math solves everything
2013-03-15T20:00:26  <mcstar> and there is meta-mathematics...
2013-03-15T20:00:33  <mcstar> (not philosophy)
2013-03-15T20:02:03  <mcstar> antimatroid: just consider the many schools of logic, the fact, that really rigorous proving is not something that will easily happen in areas like analysis, or the interpretation of the several theorems on undecideablity, and internal vs. external interpretations
2013-03-15T20:02:23  <mcstar> or what kind of arguments are admissible, what does 'true' mean
2013-03-15T20:02:31  <antimatroid> mcstar: I realise that, but a much higher level of rigour is expected in general
2013-03-15T20:03:00  <antimatroid> i don't really have time for this discussion now though sorry
2013-03-15T20:03:02  <antimatroid> brother is here
2013-03-15T20:03:23  <mcstar> also, for a lot of applied fields, the not handwaving, but not very rigourous arguments are enough, as far as im concerned
2013-03-15T20:03:29  <mcstar> ok
2013-03-15T20:03:59  <mcstar> mayeb take him skating, see if he breaks himself too
2013-03-15T20:04:12  <antimatroid> that's the plan
2013-03-15T20:04:18  <mcstar> great
2013-03-15T20:04:20  <antimatroid> though he rollerblades
2013-03-15T20:04:21  <mcstar> send pictures
2013-03-15T20:52:27  *** mcstar <mcstar!~mcstar@adsl-89-135-206-203.monradsl.monornet.hu> has quit IRC (Quit: mcstar)
2013-03-15T20:53:18  *** Quix0te <Quix0te!Quix0te@unaffiliated/quix0te> has quit IRC (Ping timeout: 272 seconds)
2013-03-15T21:55:52  *** Quix0te <Quix0te!~Quix0te@unaffiliated/quix0te> has joined #aichallenge
2013-03-15T22:22:29  *** Scooper <Scooper!~Scooper@cm-84.208.69.8.getinternet.no> has quit IRC (Quit: Leaving)
2013-03-15T22:24:42  *** amstan <amstan!~alex@aichallenge/admin/amstan> has quit IRC (Ping timeout: 264 seconds)
2013-03-15T22:37:15  *** jmcarthur <jmcarthur!~jake@pool-72-89-38-50.nycmny.fios.verizon.net> has quit IRC (Read error: Connection reset by peer)
2013-03-15T22:39:46  *** jmcarthur <jmcarthur!~jake@pool-72-89-38-50.nycmny.fios.verizon.net> has joined #aichallenge
2013-03-15T22:39:52  *** sigh <sigh!~sigh@ppp114-153.static.internode.on.net> has quit IRC (Remote host closed the connection)
2013-03-15T22:40:44  *** ghave <ghave!~scribble@74-141-181-48.dhcp.insightbb.com> has quit IRC ()
2013-03-15T23:30:08  *** jmcarthur <jmcarthur!~jake@pool-72-89-38-50.nycmny.fios.verizon.net> has quit IRC (Quit: WeeChat 0.3.7)
2013-03-15T23:43:53  *** smiley1983 <smiley1983!~smiley@115-64-6-216.static.tpgi.com.au> has quit IRC (Ping timeout: 258 seconds)
2013-03-15T23:44:12  *** smiley1983 <smiley1983!~smiley@115-64-6-216.static.tpgi.com.au> has joined #aichallenge