2013-03-21T01:26:56  *** thestinger <thestinger!~strcat@archlinux/trusteduser/thestinger> has quit IRC (Quit: WeeChat 0.4.0)
2013-03-21T02:23:32  *** amstan_ <amstan_!~alex@aichallenge/admin/amstan> has quit IRC (Ping timeout: 258 seconds)
2013-03-21T02:35:06  *** mceier <mceier!~mceier@89-69-201-93.dynamic.chello.pl> has quit IRC (Quit: leaving)
2013-03-21T03:08:00  *** floWenoL_ <floWenoL_!~FlowEnol@bl14-121-212.dsl.telepac.pt> has quit IRC (Ping timeout: 258 seconds)
2013-03-21T03:08:49  *** floWenoL <floWenoL!~FlowEnol@bl14-121-212.dsl.telepac.pt> has joined #aichallenge
2013-03-21T03:11:38  *** Garf <Garf!Garf@78-22-81-11.access.telenet.be> has joined #aichallenge
2013-03-21T03:15:54  *** epicmonkey <epicmonkey!~epicmonke@188.134.41.112> has joined #aichallenge
2013-03-21T03:28:34  *** mceier <mceier!~mceier@77-252-246-25.ip.netia.com.pl> has joined #aichallenge
2013-03-21T04:00:07  *** epicmonkey <epicmonkey!~epicmonke@188.134.41.112> has quit IRC (Ping timeout: 258 seconds)
2013-03-21T04:23:39  <janzert1> #hackernews
2013-03-21T04:23:45  <janzert1> oops :)
2013-03-21T04:23:49  *** janzert1 is now known as janzert
2013-03-21T04:25:09  <janzert> join #startups
2013-03-21T04:25:23  <aerique> that's going well :)
2013-03-21T04:25:33  <janzert> obviously I should not be trying this at this time of day :P
2013-03-21T04:25:35  <aerique> want to borrow a '/' key?
2013-03-21T04:26:09  <janzert> at least looks like #startups it is :)
2013-03-21T05:04:14  *** epicmonkey <epicmonkey!~epicmonke@host-224-58.dataart.net> has joined #aichallenge
2013-03-21T05:13:21  *** mviel <mviel!~mviel@213.163.164.204> has joined #aichallenge
2013-03-21T05:14:51  <antimatroid> :P
2013-03-21T05:25:43  *** coeus_ <coeus_!~coeus@dslb-088-078-011-156.pools.arcor-ip.net> has quit IRC (Ping timeout: 264 seconds)
2013-03-21T06:48:45  *** sigh <sigh!~sigh@ppp114-153.static.internode.on.net> has joined #aichallenge
2013-03-21T08:09:37  <antimatroid> sigh: I think I just got all my relations for my presenation :D
2013-03-21T08:09:49  <antimatroid> after about 3 pages of calculations
2013-03-21T08:17:32  <sigh> what's your presentation on?
2013-03-21T08:18:14  <antimatroid> diagrams :P
2013-03-21T08:18:38  <sigh> o_O
2013-03-21T08:18:42  <antimatroid> i have these "triapsis diagrams" which generate a semigroup
2013-03-21T08:18:55  <antimatroid> and i needed to work out relations for a semigroup presentation
2013-03-21T08:18:59  <antimatroid> which i think i now have
2013-03-21T08:19:17  <sigh> ahh
2013-03-21T08:19:23  <antimatroid> ie. so that the free semigroup on the generators factored out by the congruence relation generated by my relations is equal to the semigroup generated by the generators
2013-03-21T08:19:43  <antimatroid> or less mathsy, so for equivalent "words" in the dictionary, i can equate them using the relations
2013-03-21T08:20:06  <sigh> i understand some of those "words"
2013-03-21T08:20:10  <antimatroid> :)
2013-03-21T08:20:21  <antimatroid> it's pretty simple once you understand them all
2013-03-21T08:20:27  <sigh> haha
2013-03-21T08:21:09  <antimatroid> did you see the /r/math post the other day about patentability of maths?
2013-03-21T08:22:16  <sigh> oh, I saw the title, didn't get a chance to look
2013-03-21T08:22:23  <antimatroid> got quite a few comments
2013-03-21T08:22:39  <antimatroid> tbh i'm not sure if i even read the link
2013-03-21T08:22:45  <antimatroid> i think i skimmed it
2013-03-21T08:23:19  <sigh> I'll have a look at it, I was meaning to come back to it
2013-03-21T08:23:54  <antimatroid> yeah the article is pretty crappy imo, i was more interested to see what people had to say about it in general
2013-03-21T08:24:19  <sigh> yeah, I'm a bit of the way through the article, and its explanations are pretty bad
2013-03-21T08:24:19  <antimatroid> well, maybe not crappy, but nothing new
2013-03-21T08:24:42  <sigh> But then why do mathematicians across time and space always agree on what's right and wrong? <= since when is this true :P
2013-03-21T08:25:57  <antimatroid> most these days don't disagree so much on what's right and wrong, but rather what's "better" :P
2013-03-21T08:26:03  <antimatroid> but yeah, it's a stupid statement
2013-03-21T08:27:43  <sigh> I was trying to convince myself whether the distinction between invention and discovery mattered for the concept of property and ownership
2013-03-21T08:28:16  <sigh> I didn't come to a conclusions, people claim ownership of things they discover just as much as things they invent
2013-03-21T08:28:44  <sigh> but they are still treated differently, somehow
2013-03-21T08:29:11  <antimatroid> i think it comes down to what's socially optimal
2013-03-21T08:29:25  <antimatroid> it has nothing to do with fairness, or a distinction between invention or discovery
2013-03-21T08:29:45  <antimatroid> much like funding of pure mathematics isn't entirely because it has no practical applications, ie. look at astronomy
2013-03-21T08:29:54  <antimatroid> well, lack there of funding
2013-03-21T08:30:11  <sigh> are you talking about how things currently are?
2013-03-21T08:30:15  <antimatroid> yep
2013-03-21T08:30:28  <antimatroid> and i'm not necessarily opposed to that, but i wish they wouldn't lie about it
2013-03-21T08:30:46  <antimatroid> well, i don't think they're lying so much as just not realising
2013-03-21T08:30:57  <sigh> the problem is that people do think it's an issue of fairness
2013-03-21T08:31:11  <antimatroid> and distinction between invention/discovery
2013-03-21T08:31:26  <antimatroid> and so people debate on and on about it being about that :|
2013-03-21T08:31:29  <antimatroid> it's really painful :P
2013-03-21T08:31:37  <sigh> and in the case of patents and copyrights, the big stakeholders are basically pushing the agenda that it is a matter of fairness
2013-03-21T08:32:10  <sigh> because they clearly lose out on the "socially optimal" front
2013-03-21T08:32:29  <antimatroid> yep
2013-03-21T08:32:40  <antimatroid> though patents may be socially optimal for stuff like medical research
2013-03-21T08:32:51  <antimatroid> that requires huge amounts of money before any revenue is seen
2013-03-21T08:32:53  <sigh> sure
2013-03-21T08:33:03  <antimatroid> whereas a mathematician pretty much just needs income, relatively insignificant
2013-03-21T08:33:16  <antimatroid> you're getting a rehash of some of my comments on that page :P
2013-03-21T08:34:01  <antimatroid> lol
2013-03-21T08:34:08  <antimatroid> "I know some of those words. :P" from my friend
2013-03-21T08:34:22  <antimatroid> who did honours in pure maths and is teaching maths/physics in thailand for a year
2013-03-21T08:34:28  <sigh> :)
2013-03-21T09:00:42  *** Uvs <Uvs!~Miranda@178-133-88-12.dialup.umc.net.ua> has joined #aichallenge
2013-03-21T09:01:59  *** Uvs <Uvs!~Miranda@178-133-88-12.dialup.umc.net.ua> has joined #aichallenge
2013-03-21T10:29:28  *** Uvs <Uvs!~Miranda@178-133-88-12.dialup.umc.net.ua> has quit IRC (Ping timeout: 256 seconds)
2013-03-21T10:32:26  *** sigh <sigh!~sigh@ppp114-153.static.internode.on.net> has quit IRC (Remote host closed the connection)
2013-03-21T11:10:16  *** awly <awly!~awly@a88-115-139-8.elisa-laajakaista.fi> has joined #aichallenge
2013-03-21T11:45:06  *** mcstar <mcstar!~mcstar@adsl-89-132-22-75.monradsl.monornet.hu> has joined #aichallenge
2013-03-21T12:06:23  *** mceier <mceier!~mceier@77-252-246-25.ip.netia.com.pl> has quit IRC (Quit: leaving)
2013-03-21T13:15:20  *** thestinger <thestinger!~strcat@archlinux/trusteduser/thestinger> has joined #aichallenge
2013-03-21T13:19:00  *** mceier <mceier!~mceier@89-69-201-93.dynamic.chello.pl> has joined #aichallenge
2013-03-21T13:34:48  *** sdfsdsfd is now known as Accoun
2013-03-21T14:04:20  *** Scooper <Scooper!~Scooper@cm-84.208.69.8.getinternet.no> has joined #aichallenge
2013-03-21T14:26:21  *** thestinger <thestinger!~strcat@archlinux/trusteduser/thestinger> has quit IRC (Read error: Connection reset by peer)
2013-03-21T14:26:27  *** thestinger1 <thestinger1!~strcat@archlinux/trusteduser/thestinger> has joined #aichallenge
2013-03-21T14:39:12  *** epicmonkey <epicmonkey!~epicmonke@host-224-58.dataart.net> has quit IRC (Ping timeout: 264 seconds)
2013-03-21T14:39:39  *** thestinger1 is now known as thestinger
2013-03-21T15:11:21  *** mceier <mceier!~mceier@89-69-201-93.dynamic.chello.pl> has quit IRC (Quit: leaving)
2013-03-21T15:19:28  *** awly <awly!~awly@a88-115-139-8.elisa-laajakaista.fi> has quit IRC (Read error: Connection reset by peer)
2013-03-21T15:24:46  *** mceier <mceier!~mceier@89-69-201-93.dynamic.chello.pl> has joined #aichallenge
2013-03-21T15:44:08  *** epicmonkey <epicmonkey!~epicmonke@188.134.41.112> has joined #aichallenge
2013-03-21T16:52:17  *** mcstar <mcstar!~mcstar@adsl-89-132-22-75.monradsl.monornet.hu> has quit IRC (Quit: mcstar)
2013-03-21T18:05:35  *** sigh <sigh!~sigh@ppp114-153.static.internode.on.net> has joined #aichallenge
2013-03-21T18:38:01  *** coeus_ <coeus_!~coeus@dslb-088-078-011-156.pools.arcor-ip.net> has joined #aichallenge
2013-03-21T18:54:14  *** floWenoL <floWenoL!~FlowEnol@bl14-121-212.dsl.telepac.pt> has quit IRC (Quit: Lost terminal)
2013-03-21T18:55:29  *** floWenoL <floWenoL!~FlowEnol@bl14-121-212.dsl.telepac.pt> has joined #aichallenge
2013-03-21T18:56:37  *** Garf <Garf!Garf@78-22-81-11.access.telenet.be> has quit IRC (Quit: Make a new plan, Stan!)
2013-03-21T18:57:51  *** sigh <sigh!~sigh@ppp114-153.static.internode.on.net> has quit IRC (Remote host closed the connection)
2013-03-21T19:17:50  *** iglo <iglo!~xy@xdsl-188-118-163-32.dip.osnanet.de> has joined #aichallenge
2013-03-21T19:32:11  *** iglo <iglo!~xy@xdsl-188-118-163-32.dip.osnanet.de> has quit IRC (Remote host closed the connection)
2013-03-21T19:55:06  *** Scooper <Scooper!~Scooper@cm-84.208.69.8.getinternet.no> has quit IRC (Quit: Leaving)
2013-03-21T20:06:58  *** amstan <amstan!~alex@aichallenge/admin/amstan> has joined #aichallenge
2013-03-21T20:06:58  *** ChanServ sets mode: +o amstan
2013-03-21T20:37:46  *** epicmonkey <epicmonkey!~epicmonke@188.134.41.112> has quit IRC (Ping timeout: 240 seconds)
2013-03-21T23:02:09  *** djr_ <djr_!~djr@75-20-153-77.lightspeed.stlsmo.sbcglobal.net> has joined #aichallenge
2013-03-21T23:03:42  *** amstan_ <amstan_!~alex@aichallenge/admin/amstan> has joined #aichallenge
2013-03-21T23:03:42  *** ChanServ sets mode: +o amstan_