2012-07-04T00:21:44 *** thestinger has joined #aichallenge 2012-07-04T00:28:11 *** thestinger has quit IRC (Quit: WeeChat 0.3.8) 2012-07-04T00:34:53 *** thestinger has joined #aichallenge 2012-07-04T00:43:20 *** thestinger has quit IRC (Quit: sleep) 2012-07-04T00:59:49 *** Areks has joined #aichallenge 2012-07-04T01:06:35 *** cyphase has quit IRC (Read error: Connection reset by peer) 2012-07-04T01:26:04 *** cyphase has joined #aichallenge 2012-07-04T01:37:13 *** AlbireoX has quit IRC (Read error: Connection reset by peer) 2012-07-04T02:08:18 *** mceier has joined #aichallenge 2012-07-04T02:24:17 *** kurnevsky has joined #aichallenge 2012-07-04T03:06:06 *** X-Scale has quit IRC (Ping timeout: 272 seconds) 2012-07-04T03:15:38 *** iglo has joined #aichallenge 2012-07-04T03:17:32 *** X-Scale has joined #aichallenge 2012-07-04T03:18:03 *** amstan has quit IRC (Quit: Konversation terminated!) 2012-07-04T03:25:07 *** delt0r_ has quit IRC (Ping timeout: 246 seconds) 2012-07-04T03:30:09 *** AlbireoX has joined #aichallenge 2012-07-04T03:36:15 *** Accoun has joined #aichallenge 2012-07-04T03:37:30 *** delt0r_ has joined #aichallenge 2012-07-04T03:56:48 *** Garf has quit IRC (Quit: Make a new plan, Stan!) 2012-07-04T04:08:22 *** aarossig has quit IRC (*.net *.split) 2012-07-04T04:08:22 *** ivan`` has quit IRC (*.net *.split) 2012-07-04T04:11:15 *** aarossig has joined #aichallenge 2012-07-04T04:11:15 *** ivan`` has joined #aichallenge 2012-07-04T04:11:33 *** ivan`` has quit IRC (Max SendQ exceeded) 2012-07-04T04:11:43 *** ivan`` has joined #aichallenge 2012-07-04T04:13:30 *** aarossig has quit IRC (*.net *.split) 2012-07-04T04:15:31 *** aarossig has joined #aichallenge 2012-07-04T04:31:43 *** Cyndre_ has joined #aichallenge 2012-07-04T04:34:46 *** iglo has quit IRC (Remote host closed the connection) 2012-07-04T04:34:59 *** Cyndre has quit IRC (Ping timeout: 252 seconds) 2012-07-04T04:38:42 *** epicmonkey has joined #aichallenge 2012-07-04T05:40:08 *** HaraKiri has joined #aichallenge 2012-07-04T05:45:37 *** kurnevsky has quit IRC (Ping timeout: 245 seconds) 2012-07-04T05:46:55 *** HaraKiri has quit IRC () 2012-07-04T05:51:23 *** kurnevsky1 has joined #aichallenge 2012-07-04T06:07:45 *** coeus has joined #aichallenge 2012-07-04T06:10:45 *** kurnevsky1 has quit IRC (Quit: Leaving.) 2012-07-04T06:10:50 *** sigh has joined #aichallenge 2012-07-04T06:19:28 *** pairofdice has joined #aichallenge 2012-07-04T06:30:52 *** Areks is now known as Seldon 2012-07-04T06:31:22 *** Seldon is now known as Areks 2012-07-04T06:41:02 *** antimatroid has quit IRC (Ping timeout: 244 seconds) 2012-07-04T06:41:37 *** mceier has quit IRC (Read error: Connection reset by peer) 2012-07-04T06:44:59 *** antimatroid has joined #aichallenge 2012-07-04T06:47:01 *** mceier has joined #aichallenge 2012-07-04T07:34:57 *** antimatroid has quit IRC (Ping timeout: 255 seconds) 2012-07-04T07:40:38 *** antimatroid has joined #aichallenge 2012-07-04T07:48:17 *** antimatroid has quit IRC (Read error: Connection reset by peer) 2012-07-04T07:48:26 *** antimatroid has joined #aichallenge 2012-07-04T08:38:32 Zannick: something like next week or so 2012-07-04T08:46:00 jmcarthur: are you interested in a category theory course? 2012-07-04T08:46:14 there's one on university of reddit which started today 2012-07-04T09:40:16 *** mcstar has joined #aichallenge 2012-07-04T09:57:46 *** mceier has quit IRC (Quit: leaving) 2012-07-04T10:03:17 mcstar: have you done any abstract algebra? 2012-07-04T10:03:24 ah yeah 2012-07-04T10:03:28 many times 2012-07-04T10:03:33 are you interested in category theory? 2012-07-04T10:03:40 j/k 2012-07-04T10:03:46 oh 2012-07-04T10:03:59 my most abstract math was group theory for solid state physics 2012-07-04T10:04:12 and linear analysis for quantum mechanics 2012-07-04T10:04:27 and differential geometry for GR 2012-07-04T10:04:33 so, no, nothing abstract 2012-07-04T10:04:57 antimatroid: id be interested, mainly bc of haskell 2012-07-04T10:05:08 http://universityofreddit.com/class/36451/ 2012-07-04T10:05:09 but im reading about formal logic and stuff atm 2012-07-04T10:05:21 so, i dont think im going to mess with category theory 2012-07-04T10:05:22 however i dunno how easy it will be to follow without some familiarity with basic algebra 2012-07-04T10:05:30 just started today though 2012-07-04T10:05:34 http://www.reddit.com/r/URIntroCategoryTheory/comments/w0phg/lecture_1_course_overview/ 2012-07-04T10:05:36 more on it there 2012-07-04T10:08:27 antimatroid: i dont see a problem with the prerequisites 2012-07-04T10:08:50 ive been reading a bit of cat. theo. from the haskell wikibook 2012-07-04T10:08:50 the text isn't too hard to find online 2012-07-04T10:09:23 i have fleshed out the first page of the introduction 2012-07-04T10:09:32 so, this is a Do It Yourself kind of university? 2012-07-04T10:09:34 it loses me after that, but i don't think i'm meant to understand that yet 2012-07-04T10:09:39 yeah 2012-07-04T10:10:12 antimatroid: where the lecture note? 2012-07-04T10:10:14 s 2012-07-04T10:10:22 there's one lecture so far 2012-07-04T10:10:27 and it doesn't really start on anything 2012-07-04T10:10:30 http://www.youtube.com/watch?v=eu0rj5C2Otg 2012-07-04T10:10:50 you're not meant to understand wtf he is talking about with the examples he gives 2012-07-04T10:12:47 antimatroid: i meant written lecture notes 2012-07-04T10:12:59 i don't think there's going to be any 2012-07-04T10:13:07 ergh 2012-07-04T10:13:09 i hate that 2012-07-04T10:13:14 i think there isn't going to be any 2012-07-04T10:13:15 "the text isn't too hard to find online" 2012-07-04T10:13:19 "i don't think" is an awful expression 2012-07-04T10:13:28 textbook 2012-07-04T10:13:30 maclane's 2012-07-04T10:13:47 title? 2012-07-04T10:14:16 http://www.amazon.com/Categories-Working-Mathematician-Graduate-Mathematics/dp/0387984038 2012-07-04T10:21:29 i had it 2012-07-04T10:27:47 antimatroid: i dot understand what he means by commute 2012-07-04T10:28:00 where? 2012-07-04T10:28:10 commut usually refers to a commutative binary relation 2012-07-04T10:28:15 ie. one were AB = BA 2012-07-04T10:28:21 i know 2012-07-04T10:28:25 but i cant apply that here 2012-07-04T10:28:29 where? 2012-07-04T10:28:47 first page of the introduction 2012-07-04T10:28:51 what you said 2012-07-04T10:29:05 oh sorry 2012-07-04T10:29:08 commutative diagrams 2012-07-04T10:29:10 he says, the diagram is commutative, if h = f o g 2012-07-04T10:29:39 yeah, a diagram is commutative if all paths from an object A to another object B correspond to the same function 2012-07-04T10:29:55 or same arrow if you will 2012-07-04T10:30:20 like, it doesn't matter which path you take, the resulting function will be the same 2012-07-04T10:30:23 could you give some intuition, why is this called commutative? 2012-07-04T10:30:29 nope 2012-07-04T10:30:39 :P 2012-07-04T10:31:01 it does not imply g \circ f = f \circ g or anything like that 2012-07-04T10:31:11 i know 2012-07-04T10:31:15 but i have an idea 2012-07-04T10:31:20 ...? 2012-07-04T10:31:32 it isnt applied in the commute ~ interchange sense 2012-07-04T10:31:37 but commute ~ pass 2012-07-04T10:32:06 yeah that would make sense 2012-07-04T10:32:15 commute like way you take to work 2012-07-04T10:32:22 doesn't matter which way you commute to work 2012-07-04T10:32:25 aha 2012-07-04T10:32:30 something like that 2012-07-04T10:55:24 *** Areks has quit IRC (Ping timeout: 272 seconds) 2012-07-04T10:56:01 *** mceier has joined #aichallenge 2012-07-04T11:23:57 *** sigh has quit IRC (Remote host closed the connection) 2012-07-04T11:25:27 *** delt0r_ has quit IRC (Ping timeout: 255 seconds) 2012-07-04T11:37:58 *** delt0r_ has joined #aichallenge 2012-07-04T11:49:10 *** Garf has joined #aichallenge 2012-07-04T12:00:27 *** HaraKiri has joined #aichallenge 2012-07-04T12:01:21 *** alc has joined #aichallenge 2012-07-04T12:03:12 *** kurnevsky has joined #aichallenge 2012-07-04T12:57:49 *** Garf has quit IRC (Read error: Connection reset by peer) 2012-07-04T12:58:31 *** Garf has joined #aichallenge 2012-07-04T13:08:08 *** thestinger has joined #aichallenge 2012-07-04T13:11:17 *** yoden1 has quit IRC (Ping timeout: 252 seconds) 2012-07-04T13:26:34 *** yoden has joined #aichallenge 2012-07-04T13:43:42 *** HaraKiri has quit IRC () 2012-07-04T13:51:03 *** epicmonkey has quit IRC (Ping timeout: 245 seconds) 2012-07-04T14:47:19 *** alc has quit IRC (Remote host closed the connection) 2012-07-04T15:00:43 *** epicmonkey has joined #aichallenge 2012-07-04T15:08:24 *** Accoun has quit IRC () 2012-07-04T15:24:26 *** mleise has quit IRC (Quit: Leaving.) 2012-07-04T15:24:51 *** Accoun has joined #aichallenge 2012-07-04T16:11:30 *** choas has joined #aichallenge 2012-07-04T16:27:53 *** HaraKiri has joined #aichallenge 2012-07-04T16:41:50 *** choas has quit IRC (Ping timeout: 265 seconds) 2012-07-04T16:48:02 *** epicmonkey has quit IRC (Ping timeout: 246 seconds) 2012-07-04T16:58:34 *** kurnevsky has quit IRC (Quit: Leaving.) 2012-07-04T17:09:21 *** HaraKiri has quit IRC () 2012-07-04T17:17:26 *** Garf has quit IRC (Quit: Make a new plan, Stan!) 2012-07-04T17:29:44 *** mceier has quit IRC (Quit: leaving) 2012-07-04T17:37:18 *** pairofdice has quit IRC (Quit: in girum imus nocte et consumimur igni) 2012-07-04T17:53:31 antimatroid: i would like to more properly learn category theory sometime 2012-07-04T17:54:16 not sure i have the time to follow a course right now though 2012-07-04T17:54:35 on another note, we at work are playing a game of blotto, so i'm going to write some code to find some good plays for me 2012-07-04T17:55:13 should be fun. everybody there knows a variety of relevant topics like game theory, programming, etc., and last year there were something like 175 people that played 2012-07-04T17:57:50 *** Chris_0076 has quit IRC (Quit: Leaving) 2012-07-04T18:00:17 *** antimatroid has quit IRC (Read error: Connection reset by peer) 2012-07-04T18:00:32 *** antimatroid has joined #aichallenge 2012-07-04T18:02:35 *** amstan has joined #aichallenge 2012-07-04T18:02:35 *** ChanServ sets mode: +o amstan 2012-07-04T18:07:58 *** antimatroid has quit IRC (Quit: Leaving.) 2012-07-04T18:08:06 *** antimatroid has joined #aichallenge 2012-07-04T18:27:18 *** coeus_ has joined #aichallenge 2012-07-04T18:30:38 *** coeus has quit IRC (Ping timeout: 252 seconds) 2012-07-04T18:47:36 *** mcstar has quit IRC (Quit: mcstar) 2012-07-04T18:54:06 *** foRei has quit IRC (Quit: Bye) 2012-07-04T18:55:08 *** delt0r_ has quit IRC (Ping timeout: 240 seconds) 2012-07-04T19:04:19 *** Redgis has quit IRC (Read error: Operation timed out) 2012-07-04T19:41:11 *** Redgis has joined #aichallenge 2012-07-04T19:43:23 *** amstan has quit IRC (Ping timeout: 246 seconds) 2012-07-04T19:52:14 *** amstan has joined #aichallenge 2012-07-04T19:52:14 *** ChanServ sets mode: +o amstan 2012-07-04T20:50:19 *** Chris_0076 has joined #aichallenge 2012-07-04T21:50:56 *** archdori_ has joined #aichallenge 2012-07-04T22:10:59 *** antimatroid has quit IRC (Ping timeout: 265 seconds) 2012-07-04T22:11:01 *** amstan has quit IRC (Ping timeout: 252 seconds) 2012-07-04T22:11:54 *** amstan has joined #aichallenge 2012-07-04T22:11:54 *** ChanServ sets mode: +o amstan 2012-07-04T22:53:15 *** antimatroid has joined #aichallenge