2013-03-12T00:27:45  *** AlliedEnvy <AlliedEnvy!~AlliedEnv@adsl-66-141-23-216.dsl.hstntx.swbell.net> has quit IRC (Ping timeout: 248 seconds)
2013-03-12T00:39:11  *** AlliedEnvy <AlliedEnvy!~AlliedEnv@66.141.23.216> has joined #aichallenge
2013-03-12T00:56:14  *** janzert1 is now known as janzert
2013-03-12T02:12:00  *** epicmonkey <epicmonkey!~epicmonke@188.134.41.112> has joined #aichallenge
2013-03-12T02:26:37  *** mceier <mceier!~mceier@89-69-201-93.dynamic.chello.pl> has quit IRC (Quit: leaving)
2013-03-12T02:39:18  *** amstan <amstan!~alex@aichallenge/admin/amstan> has quit IRC (Ping timeout: 245 seconds)
2013-03-12T02:40:58  *** thestinger <thestinger!~strcat@archlinux/trusteduser/thestinger> has quit IRC (Quit: WeeChat 0.4.0)
2013-03-12T03:02:31  *** epicmonkey <epicmonkey!~epicmonke@188.134.41.112> has quit IRC (Ping timeout: 245 seconds)
2013-03-12T03:17:44  *** mceier <mceier!~mceier@77-252-246-25.ip.netia.com.pl> has joined #aichallenge
2013-03-12T03:49:03  *** contestbot <contestbot!~supybot@aichallenge/bot/contestbot> has joined #aichallenge
2013-03-12T03:49:03  *** ChanServ sets mode: +o contestbot
2013-03-12T04:05:59  *** binw <binw!~binw@xdn41o170.ee.ntu.edu.tw> has quit IRC (Ping timeout: 256 seconds)
2013-03-12T04:07:30  *** binw <binw!~binw@140.112.41.170> has joined #aichallenge
2013-03-12T04:10:16  *** epicmonkey <epicmonkey!~epicmonke@195.206.224.58> has joined #aichallenge
2013-03-12T04:22:39  <antimatroid> sigh: http://www.ams.org/notices/201201/rtx120100031p.pdf that's an interesting read
2013-03-12T04:36:23  *** Accoun <Accoun!~1@213.88.39.97> has quit IRC ()
2013-03-12T05:05:29  *** Accoun <Accoun!~1@213.88.39.97> has joined #aichallenge
2013-03-12T05:07:08  *** sevikkk <sevikkk!~sevikkk@82.193.102.250.ipnet.kiev.ua> has quit IRC (Ping timeout: 256 seconds)
2013-03-12T05:26:12  *** sevikkk <sevikkk!~sevikkk@82.193.102.250.ipnet.kiev.ua> has joined #aichallenge
2013-03-12T05:28:09  *** sigh <sigh!~sigh@ppp114-153.static.internode.on.net> has quit IRC (Remote host closed the connection)
2013-03-12T05:35:37  <antimatroid> FFFFFFFFFFFFFFFFFFF
2013-03-12T05:35:47  <antimatroid> putting my foot in detol hurts like a bitch
2013-03-12T05:58:24  *** mcstar <mcstar!~mcstar@adsl-89-132-33-165.monradsl.monornet.hu> has joined #aichallenge
2013-03-12T06:30:38  *** coeus <coeus!~coeus@dslb-088-078-011-156.pools.arcor-ip.net> has joined #aichallenge
2013-03-12T07:43:47  *** lahwran <lahwran!lahwran@unaffiliated/lahwran> has quit IRC (*.net *.split)
2013-03-12T09:19:35  *** lahwran <lahwran!lahwran@unaffiliated/lahwran> has joined #aichallenge
2013-03-12T09:49:37  *** amstan <amstan!~alex@aichallenge/admin/amstan> has joined #aichallenge
2013-03-12T09:49:37  *** ChanServ sets mode: +o amstan
2013-03-12T09:52:15  *** sigh <sigh!~sigh@ppp114-153.static.internode.on.net> has joined #aichallenge
2013-03-12T10:05:35  *** amstan <amstan!~alex@aichallenge/admin/amstan> has quit IRC (Read error: Connection reset by peer)
2013-03-12T10:05:47  *** amstan <amstan!~alex@aichallenge/admin/amstan> has joined #aichallenge
2013-03-12T10:05:47  *** ChanServ sets mode: +o amstan
2013-03-12T10:11:38  *** ghave <ghave!~scribble@74-141-181-48.dhcp.insightbb.com> has joined #aichallenge
2013-03-12T10:18:44  *** amstan <amstan!~alex@aichallenge/admin/amstan> has quit IRC (Ping timeout: 272 seconds)
2013-03-12T10:19:22  *** amstan <amstan!~alex@aichallenge/admin/amstan> has joined #aichallenge
2013-03-12T10:19:22  *** ChanServ sets mode: +o amstan
2013-03-12T10:24:26  *** amstan <amstan!~alex@aichallenge/admin/amstan> has quit IRC (Ping timeout: 272 seconds)
2013-03-12T10:32:32  *** sigh <sigh!~sigh@ppp114-153.static.internode.on.net> has quit IRC (Remote host closed the connection)
2013-03-12T10:38:12  *** amstan <amstan!~alex@aichallenge/admin/amstan> has joined #aichallenge
2013-03-12T10:38:12  *** ChanServ sets mode: +o amstan
2013-03-12T10:52:18  *** amstan <amstan!~alex@aichallenge/admin/amstan> has quit IRC (Ping timeout: 272 seconds)
2013-03-12T10:58:02  *** amstan <amstan!~alex@aichallenge/admin/amstan> has joined #aichallenge
2013-03-12T10:58:02  *** ChanServ sets mode: +o amstan
2013-03-12T11:08:10  *** mceier <mceier!~mceier@77-252-246-25.ip.netia.com.pl> has quit IRC (Quit: leaving)
2013-03-12T11:21:26  *** amstan <amstan!~alex@aichallenge/admin/amstan> has quit IRC (Ping timeout: 272 seconds)
2013-03-12T11:53:52  *** Areks <Areks!~Areks@rs.gridnine.com> has quit IRC (Read error: Connection reset by peer)
2013-03-12T11:54:20  *** Areks <Areks!~Areks@rs.gridnine.com> has joined #aichallenge
2013-03-12T12:01:19  *** amstan <amstan!~alex@aichallenge/admin/amstan> has joined #aichallenge
2013-03-12T12:01:19  *** ChanServ sets mode: +o amstan
2013-03-12T12:05:29  *** amstan <amstan!~alex@aichallenge/admin/amstan> has quit IRC (Client Quit)
2013-03-12T12:05:39  *** amstan <amstan!~alex@aichallenge/admin/amstan> has joined #aichallenge
2013-03-12T12:05:39  *** ChanServ sets mode: +o amstan
2013-03-12T12:13:38  *** amstan <amstan!~alex@aichallenge/admin/amstan> has quit IRC (Quit: Konversation terminated!)
2013-03-12T12:36:09  *** mceier <mceier!~mceier@89-69-201-93.dynamic.chello.pl> has joined #aichallenge
2013-03-12T12:36:33  *** thestinger <thestinger!~strcat@archlinux/trusteduser/thestinger> has joined #aichallenge
2013-03-12T13:17:35  *** amstan <amstan!~alex@aichallenge/admin/amstan> has joined #aichallenge
2013-03-12T13:17:35  *** ChanServ sets mode: +o amstan
2013-03-12T13:20:28  *** foRei <foRei!~ViT@0x4dd7b24d.adsl.cybercity.dk> has quit IRC (Quit: Bye)
2013-03-12T13:25:33  *** epicmonkey <epicmonkey!~epicmonke@195.206.224.58> has quit IRC (Ping timeout: 245 seconds)
2013-03-12T13:31:07  *** amstan <amstan!~alex@aichallenge/admin/amstan> has quit IRC (Quit: Konversation terminated!)
2013-03-12T14:07:07  *** thestinger <thestinger!~strcat@archlinux/trusteduser/thestinger> has quit IRC (Quit: WeeChat 0.4.0)
2013-03-12T14:23:54  *** amstan <amstan!~alex@aichallenge/admin/amstan> has joined #aichallenge
2013-03-12T14:23:54  *** ChanServ sets mode: +o amstan
2013-03-12T14:39:52  *** Scooper <Scooper!~Scooper@cm-84.208.69.8.getinternet.no> has joined #aichallenge
2013-03-12T14:54:10  *** epicmonkey <epicmonkey!~epicmonke@188.134.41.112> has joined #aichallenge
2013-03-12T16:35:58  <mleise> "As with other manufactured household cleaners, Dettol has the potential for causing lethal toxicity."
2013-03-12T16:37:11  <mleise> http://www.firstpost.com/fwire/what-hygiene-dead-insects-found-in-dettol-bottle-654449.html
2013-03-12T16:37:26  <mleise> not that I want to make you feel uneasy antimatroid
2013-03-12T16:40:22  <mcstar> they were dead, werent they?
2013-03-12T16:40:23  <mcstar> it works
2013-03-12T16:42:16  <mcstar> mleise: so, it turns out, ocaml, or for that matter any language without typeclass like (ad hoc) polymorphism, cannot reproduce that example
2013-03-12T16:43:30  <mleise> And as far as I know type classes are difficult for compilers to process quickly
2013-03-12T16:44:06  <mleise> I mean in a large project the matching algorithm has to do exponentially more work, right?
2013-03-12T16:44:22  <mcstar> why would they?
2013-03-12T16:44:27  <mleise> or maybe that's only for some forms of it
2013-03-12T16:44:45  <mleise> there was one language where all types are inferred
2013-03-12T16:44:48  <mcstar> ad 1 type systems are usually not expressive enough
2013-03-12T16:44:51  *** Garf <Garf!Garf@78-22-81-11.access.telenet.be> has joined #aichallenge
2013-03-12T16:45:05  <mcstar> ad 2 most expressive enough type systems dont support that kind of polymorphism
2013-03-12T16:45:16  <mcstar> mleise: haskell?
2013-03-12T16:45:29  <mcstar> haskell 98 can be fully inferred
2013-03-12T16:46:00  <mleise> maybe. I think I've read about someone writing a new language and having problems with the compilation time
2013-03-12T16:48:19  <mcstar> i suck at this
2013-03-12T16:48:30  <mleise> at writing new languages?
2013-03-12T16:48:34  <mcstar> im trying to make an n-ary monadic lifter, but im not succeeding
2013-03-12T16:48:51  <mleise> a what?
2013-03-12T16:49:04  <mcstar> the solution will be very simple if it exists
2013-03-12T16:49:07  <mleise> whatever it is, I can write it in D for you
2013-03-12T16:49:12  <mcstar> im only working so far in the type level
2013-03-12T16:49:31  <mleise> lol, maybe I should be quiet about things I don't understand
2013-03-12T16:49:34  <mcstar> soon, ill run out of paper
2013-03-12T16:49:36  <mcstar> should stop
2013-03-12T16:49:45  <mleise> O.o
2013-03-12T17:12:34  <mcstar> mleise: megalol, on #haskell, they believe i am an ultrafinitist, it is super funny!
2013-03-12T17:12:46  <mcstar> well, i made them believe
2013-03-12T17:13:14  <mleise> what the hell? is an ultrafinitist
2013-03-12T17:13:21  <mcstar> o.O
2013-03-12T17:15:16  <mcstar> ooh, man this was nice
2013-03-12T17:15:51  <mleise> thx Wikippedia
2013-03-12T17:16:12  <mleise> so they believe you don't believe in the sense of unlimited stuff
2013-03-12T17:16:16  <mleise> in laymans speak
2013-03-12T17:16:37  <mcstar> in infinite sets, for example
2013-03-12T17:16:59  <mleise> or in ℕ
2013-03-12T17:17:06  <mcstar> yes
2013-03-12T17:17:39  <mleise> for me ℕ ends at 2^64-1
2013-03-12T17:18:32  <mleise> let me pimp that up: 2⁶⁴-1
2013-03-12T17:18:53  <mcstar> well, you are megaultrasuperfinitist then
2013-03-12T17:19:22  <mleise> also I cannot create an account with rosettacode
2013-03-12T17:19:31  <mleise> my IP is listed as an open proxy -.-
2013-03-12T17:20:25  <mcstar> lol
2013-03-12T17:20:28  <mcstar> loser
2013-03-12T17:20:38  <mcstar> wait, i had that too
2013-03-12T17:20:47  <mcstar> there was a time when freenode said that about me
2013-03-12T17:22:01  *** osoba <osoba!l@79.175.109.92> has joined #aichallenge
2013-03-12T17:23:51  *** osoba <osoba!l@79.175.109.92> has left #aichallenge
2013-03-12T17:26:44  <mcstar> from someone: let us assume that we prove a theorem by contradiction. then there is no concrete example of what we are trying to prove, so the proof is neither sufficient nor satisfying; a contradiction. therefore, let us drop proof by contradiction.
2013-03-12T18:40:58  *** mcstar is now known as public`
2013-03-12T18:41:10  *** public` is now known as mcstar
2013-03-12T18:41:58  *** Scooper <Scooper!~Scooper@cm-84.208.69.8.getinternet.no> has quit IRC (Quit: Leaving)
2013-03-12T18:46:55  *** amstan <amstan!~alex@aichallenge/admin/amstan> has quit IRC (Ping timeout: 260 seconds)
2013-03-12T18:55:40  *** epicmonkey <epicmonkey!~epicmonke@188.134.41.112> has quit IRC (Ping timeout: 260 seconds)
2013-03-12T19:10:33  *** AlliedEnvy <AlliedEnvy!~AlliedEnv@66.141.23.216> has quit IRC (Ping timeout: 245 seconds)
2013-03-12T20:15:32  *** mcstar <mcstar!~mcstar@adsl-89-132-33-165.monradsl.monornet.hu> has quit IRC (Quit: mcstar)
2013-03-12T20:22:35  *** mceier <mceier!~mceier@89-69-201-93.dynamic.chello.pl> has quit IRC (Quit: leaving)
2013-03-12T20:25:44  *** mceier <mceier!~mceier@89-69-201-93.dynamic.chello.pl> has joined #aichallenge
2013-03-12T20:45:16  *** sh4wn <sh4wn!~sh4wn@2a02:2308::216:3eff:fe33:c370> has quit IRC (Ping timeout: 246 seconds)
2013-03-12T20:47:42  *** sh4wn <sh4wn!~sh4wn@2a02:2308::216:3eff:fe33:c370> has joined #aichallenge
2013-03-12T21:04:52  *** sh4wn <sh4wn!~sh4wn@2a02:2308::216:3eff:fe33:c370> has quit IRC (Ping timeout: 246 seconds)
2013-03-12T21:07:15  *** sh4wn <sh4wn!~sh4wn@2a02:2308::216:3eff:fe33:c370> has joined #aichallenge
2013-03-12T21:47:18  *** Garf <Garf!Garf@78-22-81-11.access.telenet.be> has quit IRC (Quit: Make a new plan, Stan!)
2013-03-12T21:49:08  *** mleise1 <mleise1!~marco@dslb-178-011-045-054.pools.arcor-ip.net> has joined #aichallenge
2013-03-12T21:51:22  *** mleise1 <mleise1!~marco@dslb-178-011-045-054.pools.arcor-ip.net> has quit IRC (Client Quit)
2013-03-12T21:52:52  *** mleise <mleise!~marco@dslb-178-011-045-054.pools.arcor-ip.net> has quit IRC (Ping timeout: 248 seconds)
2013-03-12T21:58:36  *** yoden1 <yoden1!~horstman@cpe-76-190-245-7.neo.res.rr.com> has joined #aichallenge
2013-03-12T22:00:12  *** yoden <yoden!~horstman@cpe-76-190-245-7.neo.res.rr.com> has quit IRC (Ping timeout: 264 seconds)
2013-03-12T22:06:21  *** chris___0076 <chris___0076!~Chris_007@adsl-184-47-250-254.asm.bellsouth.net> has joined #aichallenge
2013-03-12T22:09:59  *** chris__0076 <chris__0076!~Chris_007@adsl-184-47-236-63.asm.bellsouth.net> has quit IRC (Ping timeout: 260 seconds)
2013-03-12T22:10:23  *** ghave <ghave!~scribble@74-141-181-48.dhcp.insightbb.com> has quit IRC (Ping timeout: 255 seconds)
2013-03-12T22:10:47  *** ghave <ghave!~scribble@74-141-181-48.dhcp.insightbb.com> has joined #aichallenge
2013-03-12T22:20:06  *** amstan <amstan!~alex@aichallenge/admin/amstan> has joined #aichallenge
2013-03-12T22:20:06  *** ChanServ sets mode: +o amstan
2013-03-12T23:11:01  *** thestinger <thestinger!~strcat@archlinux/trusteduser/thestinger> has joined #aichallenge
2013-03-12T23:24:39  *** ghave <ghave!~scribble@74-141-181-48.dhcp.insightbb.com> has quit IRC ()