2012-07-02T01:01:19  *** Areks <Areks!~Areks@rs.gridnine.com> has joined #aichallenge
2012-07-02T02:10:04  *** thestinger <thestinger!~strcat@CPE98fc1165cb6f-CM00159a09b2d0.cpe.net.cable.rogers.com> has quit IRC (Quit: sleep)
2012-07-02T02:27:53  *** Garf <Garf!~Garf@78-22-80-252.access.telenet.be> has joined #aichallenge
2012-07-02T02:35:07  *** escortkeel_ <escortkeel_!1b21b22f@gateway/web/freenode/ip.27.33.178.47> has joined #aichallenge
2012-07-02T02:45:53  *** delt0r <delt0r!~bob@weissmann.cibiv.univie.ac.at> has quit IRC (Ping timeout: 265 seconds)
2012-07-02T02:56:28  *** epicmonkey <epicmonkey!~epicmonke@188.134.41.212> has joined #aichallenge
2012-07-02T03:00:43  *** pairofdice <pairofdice!~pod@dsl-hkibrasgw2-fed3df00-232.dhcp.inet.fi> has joined #aichallenge
2012-07-02T03:21:35  *** mceier <mceier!~mceier@77-252-246-25.ip.netia.com.pl> has joined #aichallenge
2012-07-02T03:25:03  *** epicmonkey <epicmonkey!~epicmonke@188.134.41.212> has quit IRC (Ping timeout: 240 seconds)
2012-07-02T03:55:59  *** HaraKiri <HaraKiri!~hara@e182041086.adsl.alicedsl.de> has joined #aichallenge
2012-07-02T04:33:45  *** epicmonkey <epicmonkey!~epicmonke@host-224-60.dataart.net> has joined #aichallenge
2012-07-02T04:53:16  *** mcstar <mcstar!~mcstar@adsl-89-135-199-85.monradsl.monornet.hu> has joined #aichallenge
2012-07-02T05:18:56  *** 5EXAA9CRC <5EXAA9CRC!~mviel@90.42.71.86.rev.sfr.net> has joined #aichallenge
2012-07-02T05:19:16  *** 5EXAA9CRC is now known as mviel
2012-07-02T05:24:17  *** foRei <foRei!~ViT@0x4dd7b24d.adsl.cybercity.dk> has joined #aichallenge
2012-07-02T05:28:33  *** Accoun <Accoun!~1@static-213-88-39-97.chebnet.ru> has quit IRC ()
2012-07-02T05:45:59  *** Accoun <Accoun!~1@static-213-88-39-97.chebnet.ru> has joined #aichallenge
2012-07-02T05:55:36  *** AndrewBC <AndrewBC!~andrewbc@scarlet.andrewbc.net> has quit IRC (*.net *.split)
2012-07-02T05:55:43  *** AndrewBC <AndrewBC!~andrewbc@scarlet.andrewbc.net> has joined #aichallenge
2012-07-02T06:13:43  *** antimatroid <antimatroid!~nick@250.333.dsl.mel.iprimus.net.au> has quit IRC (Ping timeout: 265 seconds)
2012-07-02T06:14:52  *** antimatroid <antimatroid!~nick@250.333.dsl.mel.iprimus.net.au> has joined #aichallenge
2012-07-02T06:32:11  *** sigh <sigh!~sigh@ppp114-153.static.internode.on.net> has joined #aichallenge
2012-07-02T06:47:20  *** delt0r_ <delt0r_!~bob@93-82-142-66.adsl.highway.telekom.at> has quit IRC (Ping timeout: 264 seconds)
2012-07-02T06:59:44  *** delt0r_ <delt0r_!~bob@188-23-92-189.adsl.highway.telekom.at> has joined #aichallenge
2012-07-02T07:20:00  *** mcstar <mcstar!~mcstar@adsl-89-135-199-85.monradsl.monornet.hu> has quit IRC (Quit: mcstar)
2012-07-02T07:24:32  *** mceier <mceier!~mceier@77-252-246-25.ip.netia.com.pl> has quit IRC (Ping timeout: 264 seconds)
2012-07-02T07:26:01  *** delt0r <delt0r!~bob@weissmann.cibiv.univie.ac.at> has joined #aichallenge
2012-07-02T07:31:26  *** antimatroid <antimatroid!~nick@250.333.dsl.mel.iprimus.net.au> has quit IRC (Ping timeout: 248 seconds)
2012-07-02T07:33:09  *** antimatroid <antimatroid!~nick@250.333.dsl.mel.iprimus.net.au> has joined #aichallenge
2012-07-02T08:34:10  *** mceier <mceier!~mceier@77-252-246-25.ip.netia.com.pl> has joined #aichallenge
2012-07-02T08:52:21  *** iglo <iglo!~xy@xdslbh240.osnanet.de> has joined #aichallenge
2012-07-02T08:57:44  *** mcstar <mcstar!~mcstar@adsl-89-135-199-85.monradsl.monornet.hu> has joined #aichallenge
2012-07-02T09:24:09  *** alehorst <alehorst!~Alexandre@177.42.15.225> has joined #aichallenge
2012-07-02T09:26:08  *** alehorst <alehorst!~Alexandre@177.42.15.225> has quit IRC (Read error: Connection reset by peer)
2012-07-02T09:43:13  *** iglo <iglo!~xy@xdslbh240.osnanet.de> has quit IRC (Remote host closed the connection)
2012-07-02T09:55:15  *** mceier <mceier!~mceier@77-252-246-25.ip.netia.com.pl> has quit IRC (Quit: leaving)
2012-07-02T10:00:39  <delt0r> hay hay hay... what is up everyone ..
2012-07-02T10:00:55  * delt0r is procrastinating from writing his talk
2012-07-02T10:01:30  <delt0r> in terms of the next comp, what is the game most would support?
2012-07-02T10:01:39  <delt0r> Asteroids?
2012-07-02T10:02:44  <mcstar> lets write automatic theorem provers
2012-07-02T10:06:37  <mcstar> whatever, then asteroids it is
2012-07-02T10:09:50  <delt0r> mcstar: i forget you want the hard core abstract challenge
2012-07-02T10:10:13  <mcstar> is it too much to ask?
2012-07-02T10:10:16  <mcstar> XD
2012-07-02T10:10:19  <delt0r> well... yea
2012-07-02T10:10:21  <delt0r> :D
2012-07-02T10:10:30  <delt0r> at least for the core game
2012-07-02T10:10:50  <delt0r> I was thinking if we can get a bit of momentum going we can have two challenges per year
2012-07-02T10:10:58  <delt0r> the core one... and an extra one
2012-07-02T10:11:12  <mcstar> big if
2012-07-02T10:11:18  <delt0r> the extra can relax some of the newb requirements... or even be a repeat
2012-07-02T10:11:38  <delt0r> I don't think it would be much work once the framework is in a good state
2012-07-02T10:12:10  <delt0r> I do know that about 2 per year is about right... most seem to want it
2012-07-02T10:12:21  <delt0r> many want to enter 2x per year
2012-07-02T10:12:52  <delt0r> trick is to have the next one almost ready to roll when the current one is playing...
2012-07-02T10:12:58  <mcstar> there is an incessant amount of programmers, so challenges are never enough
2012-07-02T10:13:08  <delt0r> true
2012-07-02T10:13:43  <delt0r> but i think one per semester is about right anyways... and that uni sponsership ... could work in well with course material
2012-07-02T10:36:35  *** Areks <Areks!~Areks@rs.gridnine.com> has quit IRC (Ping timeout: 272 seconds)
2012-07-02T10:59:42  *** sigh <sigh!~sigh@ppp114-153.static.internode.on.net> has quit IRC (Remote host closed the connection)
2012-07-02T11:04:57  *** kurnevsky <kurnevsky!~kurnevsky@178.127.254.229> has joined #aichallenge
2012-07-02T11:33:31  *** kurnevsky1 <kurnevsky1!~kurnevsky@178.127.140.171> has joined #aichallenge
2012-07-02T11:36:07  *** kurnevsky <kurnevsky!~kurnevsky@178.127.254.229> has quit IRC (Ping timeout: 265 seconds)
2012-07-02T11:49:12  *** mceier <mceier!~mceier@89-77-239-61.dynamic.chello.pl> has joined #aichallenge
2012-07-02T11:52:55  *** HaraKiri <HaraKiri!~hara@e182041086.adsl.alicedsl.de> has quit IRC ()
2012-07-02T11:57:22  *** kilae <kilae!~chatzilla@catv-161-018.tbwil.ch> has joined #aichallenge
2012-07-02T13:01:29  *** iglo <iglo!~xy@xdslbh240.osnanet.de> has joined #aichallenge
2012-07-02T13:15:22  <antimatroid> askscience is ridiculous
2012-07-02T13:43:43  *** pairofdice <pairofdice!~pod@dsl-hkibrasgw2-fed3df00-232.dhcp.inet.fi> has quit IRC (Quit: in girum imus nocte et consumimur igni)
2012-07-02T13:44:03  *** X-Scale <X-Scale!name@2001:470:1f14:135b::2> has quit IRC (Ping timeout: 272 seconds)
2012-07-02T13:53:09  *** thestinger <thestinger!~strcat@CPE98fc1165cb6f-CM00159a09b2d0.cpe.net.cable.rogers.com> has joined #aichallenge
2012-07-02T14:06:48  *** SJRvanSchaik <SJRvanSchaik!~SJRvanSch@82.174.230.73> has quit IRC (Read error: No route to host)
2012-07-02T14:24:20  *** epicmonkey <epicmonkey!~epicmonke@host-224-60.dataart.net> has quit IRC (Ping timeout: 245 seconds)
2012-07-02T14:47:29  *** delt0r_ <delt0r_!~bob@188-23-92-189.adsl.highway.telekom.at> has quit IRC (Ping timeout: 252 seconds)
2012-07-02T14:51:46  *** cfg <cfg!5b043a23@gateway/web/freenode/ip.91.4.58.35> has joined #aichallenge
2012-07-02T14:54:12  *** mleise <mleise!~marco@dslb-178-011-044-234.pools.arcor-ip.net> has joined #aichallenge
2012-07-02T14:59:51  *** delt0r_ <delt0r_!~bob@88-117-33-47.adsl.highway.telekom.at> has joined #aichallenge
2012-07-02T15:08:39  *** Accoun <Accoun!~1@static-213-88-39-97.chebnet.ru> has quit IRC ()
2012-07-02T15:09:10  *** choas <choas!~lars@p5795C7CA.dip.t-dialin.net> has joined #aichallenge
2012-07-02T15:16:19  *** SJRvanSchaik <SJRvanSchaik!~SJRvanSch@ip73-230-174-82.adsl2.static.versatel.nl> has joined #aichallenge
2012-07-02T15:28:37  *** Accoun <Accoun!~1@static-213-88-39-97.chebnet.ru> has joined #aichallenge
2012-07-02T15:37:23  *** epicmonkey <epicmonkey!~epicmonke@188.134.41.212> has joined #aichallenge
2012-07-02T15:51:07  *** kilae <kilae!~chatzilla@catv-161-018.tbwil.ch> has quit IRC (Quit: ChatZilla 0.9.88.2 [Firefox 13.0.1/20120614114901])
2012-07-02T16:00:11  *** X-Scale <X-Scale!name@2001:470:1f14:135b::2> has joined #aichallenge
2012-07-02T16:00:33  *** X-Scale is now known as Guest52922
2012-07-02T16:01:50  *** Guest52922 is now known as X-Scale
2012-07-02T16:52:44  *** HaraKiri <HaraKiri!~hara@f053190062.adsl.alicedsl.de> has joined #aichallenge
2012-07-02T16:58:11  *** kurnevsky1 <kurnevsky1!~kurnevsky@178.127.140.171> has quit IRC (Quit: Leaving.)
2012-07-02T17:02:28  *** mceier <mceier!~mceier@89-77-239-61.dynamic.chello.pl> has quit IRC (Quit: leaving)
2012-07-02T17:16:33  *** sevikkk1 <sevikkk1!~sevikkk@82.193.102.250.ipnet.kiev.ua> has joined #aichallenge
2012-07-02T17:16:51  *** sevikkk <sevikkk!~sevikkk@82.193.102.250.ipnet.kiev.ua> has quit IRC (Ping timeout: 272 seconds)
2012-07-02T17:18:02  *** epicmonkey <epicmonkey!~epicmonke@188.134.41.212> has quit IRC (Read error: Operation timed out)
2012-07-02T17:36:24  *** iglo <iglo!~xy@xdslbh240.osnanet.de> has quit IRC (Remote host closed the connection)
2012-07-02T17:50:42  *** choas <choas!~lars@p5795C7CA.dip.t-dialin.net> has quit IRC (Ping timeout: 265 seconds)
2012-07-02T18:07:18  *** HaraKiri <HaraKiri!~hara@f053190062.adsl.alicedsl.de> has quit IRC ()
2012-07-02T18:12:55  *** Cyndre <Cyndre!~Cyndre@DOCSIS-182-133.cable-lynx.net> has quit IRC (Ping timeout: 244 seconds)
2012-07-02T18:13:49  *** Cyndre <Cyndre!~Cyndre@DOCSIS-182-133.cable-lynx.net> has joined #aichallenge
2012-07-02T18:53:51  *** alehorst <alehorst!~alehorst@177.42.15.225> has joined #aichallenge
2012-07-02T20:09:05  *** antimatroid <antimatroid!~nick@250.333.dsl.mel.iprimus.net.au> has quit IRC (Ping timeout: 246 seconds)
2012-07-02T20:09:08  *** mcstar <mcstar!~mcstar@adsl-89-135-199-85.monradsl.monornet.hu> has quit IRC (Quit: mcstar)
2012-07-02T20:40:35  *** Garf <Garf!~Garf@78-22-80-252.access.telenet.be> has quit IRC (Quit: Make a new plan, Stan!)
2012-07-02T21:48:15  *** antimatroid <antimatroid!~nick@250.333.dsl.mel.iprimus.net.au> has joined #aichallenge
2012-07-02T22:46:47  *** delt0r_ <delt0r_!~bob@88-117-33-47.adsl.highway.telekom.at> has quit IRC (Read error: Operation timed out)
2012-07-02T23:00:20  *** delt0r_ <delt0r_!~bob@178-190-202-167.adsl.highway.telekom.at> has joined #aichallenge
2012-07-02T23:40:16  *** Jak_o_Shadows <Jak_o_Shadows!~Fake@unaffiliated/jak-o-shadows/x-0479135> has joined #aichallenge