2012-05-12T00:00:24 *** dvladim has joined #aichallenge 2012-05-12T00:22:51 *** dvladim has quit IRC (Ping timeout: 244 seconds) 2012-05-12T01:01:13 *** delt0r has quit IRC (Ping timeout: 255 seconds) 2012-05-12T01:09:53 *** amstan has quit IRC (Quit: Konversation terminated!) 2012-05-12T01:13:55 *** Areks has joined #aichallenge 2012-05-12T01:14:06 *** delt0r has joined #aichallenge 2012-05-12T01:48:07 *** coeus has quit IRC (Ping timeout: 260 seconds) 2012-05-12T02:32:24 *** thestinger has quit IRC (Quit: WeeChat 0.3.7) 2012-05-12T02:59:25 *** epicmonkey has joined #aichallenge 2012-05-12T03:09:56 *** kurnevsky has joined #aichallenge 2012-05-12T03:11:43 *** epicmonkey has quit IRC (Read error: Operation timed out) 2012-05-12T03:11:47 *** iglo has joined #aichallenge 2012-05-12T03:15:01 *** Chris_0076 has joined #aichallenge 2012-05-12T03:17:51 *** choas has joined #aichallenge 2012-05-12T03:47:46 *** iglo has quit IRC (Remote host closed the connection) 2012-05-12T03:50:11 *** mleise has joined #aichallenge 2012-05-12T04:34:45 *** epicmonkey has joined #aichallenge 2012-05-12T04:49:34 *** mcstar has joined #aichallenge 2012-05-12T04:58:21 *** sigh has quit IRC (Remote host closed the connection) 2012-05-12T05:00:31 *** foRei has joined #aichallenge 2012-05-12T05:32:14 *** Cyndre has quit IRC (Quit: Leaving) 2012-05-12T05:35:29 *** Kingpin13 has joined #aichallenge 2012-05-12T05:42:02 *** mceier has joined #aichallenge 2012-05-12T05:45:53 *** xoposhiy has joined #aichallenge 2012-05-12T07:07:09 *** xoposhiy has quit IRC (Quit: Page closed) 2012-05-12T07:11:00 *** kilae has joined #aichallenge 2012-05-12T07:20:40 *** Kingpin13 has quit IRC (Ping timeout: 240 seconds) 2012-05-12T07:23:44 *** Kingpin13 has joined #aichallenge 2012-05-12T07:43:02 brrrrrrrrrr 2012-05-12T07:43:03 winter sucks 2012-05-12T07:51:29 its crazy hot here 2012-05-12T07:51:54 *** loglog has quit IRC (Ping timeout: 245 seconds) 2012-05-12T07:59:18 antimatroid: lol 2012-05-12T07:59:34 mcstar: i'm jealous 2012-05-12T07:59:41 it's 6 degrees outside 2012-05-12T07:59:49 not terrible, but still brrrr 2012-05-12T07:59:55 6C? 2012-05-12T08:00:06 yeah, thats not really winter 2012-05-12T08:00:40 forcast says there gonna be some serious storm later on today 2012-05-12T08:00:44 and a cold-front 2012-05-12T08:01:12 mleise: i found another prefix trie implementation in haskell 2012-05-12T08:01:16 a bit shorter than mine 2012-05-12T08:01:44 wtf 2012-05-12T08:02:10 searching for 'haskell prefix trie' google spits out my paste on #6 2012-05-12T08:02:42 mleise: http://alexandersgreen.wordpress.com/2010/09/13/prefix-trees-in-haskell/ 2012-05-12T08:02:48 18 lines 2012-05-12T08:02:59 the trick is, that the guy doesnt use an array 2012-05-12T08:03:10 he does it with functional composition 2012-05-12T08:03:23 very neat, but it doest make it faster 2012-05-12T08:03:46 *** GeorgeSebastian has joined #aichallenge 2012-05-12T08:03:46 *** GeorgeSebastian has joined #aichallenge 2012-05-12T08:05:31 Yeah, especially with new languages there is a high rate of solutions that are more neat than anything ;) 2012-05-12T08:05:56 *** loglog has joined #aichallenge 2012-05-12T08:06:09 antimatroid: we have 10°C here if that makes it easier for you 2012-05-12T08:06:56 slightly :P 2012-05-12T08:07:16 i wanted to go skating today but it rained :( 2012-05-12T08:10:44 mleise: where? 2012-05-12T08:10:58 ah you told me before 2012-05-12T08:11:10 hannover? 2012-05-12T08:11:15 correct 2012-05-12T08:11:47 the city only known for the Expo 2000 2012-05-12T08:12:14 when i was a kid i had some of those flags 2012-05-12T08:12:25 triangular flags on a steel rod 2012-05-12T08:12:38 less than 20x20 cms 2012-05-12T08:13:12 mleise: what do you mean by 'new languages'? 2012-05-12T08:13:45 its like calling python a new language 2012-05-12T08:14:53 um let me look up a word in the dictionary 2012-05-12T08:15:16 aspiring 2012-05-12T08:16:03 no thanks, my head doesnt hurt 2012-05-12T08:16:15 XD 2012-05-12T08:16:23 *** amstan has joined #aichallenge 2012-05-12T08:16:23 *** ChanServ sets mode: +o amstan 2012-05-12T08:16:31 *** amstan has quit IRC (Client Quit) 2012-05-12T08:21:20 hehe. i really forget how old some of the functional languages are 2012-05-12T08:21:56 but they all evolve much faster than, e.g. C 2012-05-12T08:22:29 yeah, a lot of people are convinced they can deal with the big and future programs better 2012-05-12T08:22:39 in the meantime everyone does imperative programming 2012-05-12T08:22:51 programs->problems 2012-05-12T08:22:59 like parallelism 2012-05-12T08:23:22 there was this version control system written in haskell 2012-05-12T08:23:28 dracs? darcs? 2012-05-12T08:23:29 darcs 2012-05-12T08:24:16 Some programmers claim that the source code became unmaintainable because of the language used 2012-05-12T08:25:24 i read that theres some performance issues with it, because of the merging model they use 2012-05-12T08:25:49 it is mathematically sound, but can run into combinatorial explosion 2012-05-12T08:26:03 I can imagine that neither git or svn are particularly easy to implement 2012-05-12T08:26:17 i guess the initial git was quite easy 2012-05-12T08:26:18 fascinating 2012-05-12T08:26:35 or linus is just a genius 2012-05-12T08:27:12 i bet he planned that for a year before hand 2012-05-12T08:28:19 it has quite a lot of inteeractions when you look closer. like submodules or filtering out files from the history. 2012-05-12T08:28:52 if you don't plan for all of them, I think its hard to add them later without running into bugs 2012-05-12T08:29:25 do you exclude rewrites? 2012-05-12T08:29:46 some people are brave enough to rewrite things that dont work 2012-05-12T08:30:41 I think git is a rewrite of svn :p 2012-05-12T08:30:50 btw, hacking a kernel for that long time, must advance a man's planning abilities 2012-05-12T08:31:13 *** GeorgeSebastian has quit IRC (Ping timeout: 256 seconds) 2012-05-12T08:31:13 true 2012-05-12T08:31:49 and i think git was invented with the kernel sources in mind, no? 2012-05-12T08:33:30 i saw a talk with him, i think you did too, and yeah, he said he was fed up with svn and wanted a proper version control for the kernel 2012-05-12T08:33:52 i think it was svn they used previously 2012-05-12T08:40:21 i only saw an interview with two Haskell and two D developers 2012-05-12T08:40:31 *** kurnevsky has quit IRC (Read error: Connection reset by peer) 2012-05-12T08:41:12 *** kurnevsky has joined #aichallenge 2012-05-12T08:42:05 mleise: http://www.youtube.com/watch?v=4XpnKHJAok8 2012-05-12T08:42:39 lol, my Flash Player is broken. Hangs randomly and inverts video colors 2012-05-12T08:42:49 everyone is blue 2012-05-12T09:01:35 *** delt0r has quit IRC (Ping timeout: 244 seconds) 2012-05-12T09:13:36 *** GeorgeSebastian has joined #aichallenge 2012-05-12T09:13:36 *** GeorgeSebastian has joined #aichallenge 2012-05-12T09:15:22 *** delt0r has joined #aichallenge 2012-05-12T09:19:08 *** amstan has joined #aichallenge 2012-05-12T09:19:26 *** ChanServ sets mode: +o amstan 2012-05-12T09:21:44 *** cyphase has quit IRC (Read error: Connection reset by peer) 2012-05-12T10:04:08 *** GeorgeSebastian has quit IRC (Ping timeout: 252 seconds) 2012-05-12T10:05:27 *** GeorgeSebastian has joined #aichallenge 2012-05-12T10:08:24 let x be a real number and B be a set of real numbers, how to show... B^c + x = (B+x)^c 2012-05-12T10:08:30 where A^c is the complement of A in R 2012-05-12T10:09:01 it seems intuitively obvious 2012-05-12T10:09:08 but i'm having a tardy moment showing it 2012-05-12T10:09:31 mcstar: maths problem for you :P 2012-05-12T10:10:00 oh, and B+x = {b+x: b \in B} 2012-05-12T10:20:18 *** coeus has joined #aichallenge 2012-05-12T10:29:46 nm, got it 2012-05-12T10:29:48 but kind of gross 2012-05-12T10:34:06 *** epicmonkey has quit IRC (Ping timeout: 245 seconds) 2012-05-12T10:36:51 *** pairofdice has joined #aichallenge 2012-05-12T10:37:00 http://mathbin.net/96459 2012-05-12T10:37:07 would be interested in a nicer way to show that 2012-05-12T10:49:30 *** Garf has joined #aichallenge 2012-05-12T10:59:21 *** sigh has joined #aichallenge 2012-05-12T11:03:44 *** Palmik has joined #aichallenge 2012-05-12T11:08:54 *** HaraKiri has joined #aichallenge 2012-05-12T11:12:36 *** Areks has quit IRC (Ping timeout: 272 seconds) 2012-05-12T11:21:43 *** thestinger has joined #aichallenge 2012-05-12T11:23:15 antimatroid: ill read it but first i got to eat 2012-05-12T11:23:27 but you might be asleep by now 2012-05-12T11:30:01 i'm awake 2012-05-12T11:30:08 and i am happy with what i pasted above now 2012-05-12T11:30:32 it's very similar to show (A intersection B) + x = (A+x) intersection (B+x) 2012-05-12T11:39:42 *** srgpqt has joined #aichallenge 2012-05-12T11:47:05 antimatroid: oh, + means union? 2012-05-12T11:50:01 oh you did say that 2012-05-12T11:50:38 i mean not that, but the definition of + 2012-05-12T11:56:08 A+x = {a+x: a \in A} by definition 2012-05-12T11:56:13 it's not union 2012-05-12T11:56:18 x is not a set 2012-05-12T11:56:20 it's a real number 2012-05-12T11:56:22 yeah 2012-05-12T11:56:37 thats why i didnt understand why you didnt write {x} 2012-05-12T11:56:47 but i saw your definitin of + after that 2012-05-12T12:03:15 *** GeorgeSebastian has quit IRC (Ping timeout: 272 seconds) 2012-05-12T12:16:50 antimatroid: if i write the sets out, it sort of just follows 2012-05-12T12:18:12 antimatroid: ok, you did the same as me 2012-05-12T12:18:21 z == ywave 2012-05-12T12:18:28 in my notation :) 2012-05-12T12:19:30 *** AlbireoX_ has joined #aichallenge 2012-05-12T12:25:50 the wind is getting stronger 2012-05-12T12:25:59 i think i go for a run before the storm hits 2012-05-12T12:37:03 *** choas has quit IRC (Ping timeout: 265 seconds) 2012-05-12T12:54:27 *** sigh has quit IRC (Remote host closed the connection) 2012-05-12T13:07:57 mcstar: yep, although i found it rather grotty 2012-05-12T13:08:23 it was part of showing a subset of real numbers is lebesgue measable iff each of it's translations are lebesgue measurable 2012-05-12T13:08:36 /s/it's/its 2012-05-12T13:10:45 aham 2012-05-12T13:12:00 my path is getting to feel a little short 2012-05-12T13:12:07 go further then 2012-05-12T13:12:27 i will up it somehow 2012-05-12T13:13:12 I bet it's all the math you're not doing 2012-05-12T13:13:15 faster perhaps? :P 2012-05-12T13:13:24 one of the two should up the anti 2012-05-12T13:13:51 ill try faster first 2012-05-12T13:13:58 pairofdice: wouldn't it be the maths he is doing 2012-05-12T13:14:03 but that needs a bit cool air 2012-05-12T13:14:09 unintentionally using the shortest path 2012-05-12T13:14:24 * antimatroid 's lame attempt at a joke 2012-05-12T13:14:32 i like when my sweat is actually cools my body 2012-05-12T13:14:38 -is 2012-05-12T13:15:09 it's pi am 2012-05-12T13:15:17 yay 2012-05-12T13:15:26 go to bed! 2012-05-12T13:15:31 it's sunday 2012-05-12T13:15:36 i was doing an assignment 2012-05-12T13:15:41 i finished it now though 2012-05-12T13:16:08 you dont sleep in saturday-sunday nights? 2012-05-12T13:16:11 on* 2012-05-12T13:17:06 i can sleep in 2012-05-12T13:17:15 although i have a hockey game at 2pm 2012-05-12T13:17:26 * mcstar 's lame attempt at a joke 2012-05-12T13:18:01 hockey games are nice, if you miss them, you can make it up at home 2012-05-12T13:18:36 you porbably dont get it 2012-05-12T13:18:59 zsebhockey == pocket hockey == jerking off 2012-05-12T13:21:32 uh huh 2012-05-12T13:22:41 *** kurnevsky1 has joined #aichallenge 2012-05-12T13:23:15 *** kurnevsky has quit IRC (Read error: Connection reset by peer) 2012-05-12T13:23:37 math, maths, it's matematiikka, not matematiikat, damnit! 2012-05-12T13:25:29 yeah, we hungarians dont use the plural form 2012-05-12T13:25:34 in fact it doesnt exist 2012-05-12T13:25:53 matematika and fizika is not countable 2012-05-12T13:27:47 ofc this has no relevance to english at all 2012-05-12T13:27:53 It should! 2012-05-12T13:27:54 so pairofdice chill out 2012-05-12T13:27:59 :< 2012-05-12T13:30:36 *** kurnevsky has joined #aichallenge 2012-05-12T13:31:15 *** kurnevsky1 has quit IRC (Read error: Connection reset by peer) 2012-05-12T13:34:36 maths/math meh 2012-05-12T13:34:51 i quite often use one or the other 2012-05-12T13:37:37 antimatroid: last time this topic was on you were adamant that 'maths' is the correct (i.e. australian) one 2012-05-12T13:42:40 it is 2012-05-12T13:42:43 but i no longer care :P 2012-05-12T13:45:49 *** HaraKiri has quit IRC () 2012-05-12T13:48:33 thats a healthy attitude 2012-05-12T13:48:42 i mean it 2012-05-12T13:50:00 i am still anally pedantic 2012-05-12T13:50:02 just where it matters 2012-05-12T13:50:12 and by my definition of matters :D 2012-05-12T13:58:17 I started to use browser bookmarks in a more organised manner. A bit odd that it took this long considering my poor memory 2012-05-12T13:59:22 Being able to google everything doesn't help if you don't remember what you wanted to google 2012-05-12T14:01:50 there were times when i tried to search my bookmarks, but it didnt help 2012-05-12T14:01:51 *** amstan has quit IRC (Ping timeout: 252 seconds) 2012-05-12T14:01:53 google did 2012-05-12T14:02:08 nevertheless, i still save them, but dont use them 2012-05-12T14:04:52 *** mcstar has quit IRC (Read error: Connection reset by peer) 2012-05-12T14:08:07 *** mcstar has joined #aichallenge 2012-05-12T14:11:52 http://math.stackexchange.com/questions/143624/game-theory-incomplete-information-extension-of-the-centipede-game 2012-05-12T14:12:01 mcstar: try and solve that before reading my answer 2012-05-12T14:12:05 it took me a bit of thought 2012-05-12T14:13:16 Reny? 2012-05-12T14:13:20 is that Renyi? 2012-05-12T14:14:00 what? 2012-05-12T14:14:44 The centipede game was first introduced by Rosenthal (1982) and has subsequently been studied by Binmore(1987), Kreps (1990) Reny (1988) 2012-05-12T14:15:05 im just wandering whether he is Reny Akfred or not 2012-05-12T14:15:10 Renyi Alfred 2012-05-12T14:15:16 (i suck) 2012-05-12T14:18:19 antimatroid: thats a weird problem, i dont think im up to it 2012-05-12T14:18:30 i just added a more interesting case to the bottom of my answer 2012-05-12T14:18:39 it wasn't too hard in the end, it's just a bit of a mouthful to read 2012-05-12T14:18:59 game theory is weird 2012-05-12T14:19:50 The tricky part for me is: now assume that P1 and P2 are both rational, and that they know that each other are rational, BUT P1 does NOT know that P2 knows that P1 is rational 2012-05-12T14:19:51 wtf? 2012-05-12T14:20:34 if you assume ratinality, this question is moot 2012-05-12T14:20:39 ratinality* 2012-05-12T14:20:44 rationality 2012-05-12T14:21:39 there's a mistake in my answer 2012-05-12T14:22:02 i dont want to read it 2012-05-12T14:22:10 maybe later ill give it a thought 2012-05-12T14:22:56 Appearing crazy yet being completely rational 2012-05-12T14:28:20 mcstar: do you know what common knowledge means? 2012-05-12T14:28:39 i guess 2012-05-12T14:28:58 something is common knowledge between the two of us if you and i both know it, we both know that we each know it, we each know that we each know that we each know it, ad infinitum 2012-05-12T14:29:09 you can both know something without knowing you each know it 2012-05-12T14:29:09 etc. 2012-05-12T14:29:34 such information can be important with strategic situations 2012-05-12T14:29:47 weird 2012-05-12T14:30:20 if i know something, why shouldnt i assume that my adversary knows that i know that? 2012-05-12T14:30:23 think about ants 2012-05-12T14:30:27 i knew how many ants i had 2012-05-12T14:30:34 and so did each of my enemies 2012-05-12T14:30:42 but we all knew that everyone else didn't know how many we had 2012-05-12T14:30:45 that was important information 2012-05-12T14:31:11 not quite the same 2012-05-12T14:31:13 but similar 2012-05-12T14:31:47 my battles were 1on1 2012-05-12T14:31:54 i think there was an example on reddit yesterday about the carrot myth 2012-05-12T14:32:03 in the end i didnt use game tree at all 2012-05-12T14:32:23 carrot myth? 2012-05-12T14:32:38 I just figured out the next turn so sort of like a 2-ply game tree 2012-05-12T14:32:40 is this a creation myth? the world is inside a giant carrot? 2012-05-12T14:32:44 where the us army said eating carrots or something would improve eyesight in darkness to hide the fact that the us had advanced radar technology 2012-05-12T14:32:49 and not all possibilities at all 2012-05-12T14:32:58 they knew something and didn't assume their enemies knew that they knew it 2012-05-12T14:33:35 or when they cracked the enigma 2012-05-12T14:33:44 antimatroid: but war is not rational at all 2012-05-12T14:33:53 it is 2012-05-12T14:33:56 no 2012-05-12T14:34:00 why kill people? 2012-05-12T14:34:08 mcstar: it's a mathematical model 2012-05-12T14:34:17 :( 2012-05-12T14:34:25 that's what all of science is 2012-05-12T14:34:31 your mathematics is dangerous 2012-05-12T14:34:39 and unholy 2012-05-12T14:34:47 :P 2012-05-12T14:34:47 :) 2012-05-12T14:35:24 antimatroid: did you see the movie Enigma? 2012-05-12T14:35:27 i quite like it 2012-05-12T14:35:33 don't think so 2012-05-12T14:35:34 it features alan turing 2012-05-12T14:35:44 (but he isnt homosexual in the movie) 2012-05-12T14:35:45 turing was a dude 2012-05-12T14:35:47 Is it... about enigma? 2012-05-12T14:35:49 von neumann was more awesome 2012-05-12T14:36:49 tbh his model of computation sucks 2012-05-12T14:37:23 they say he could do his work best, when he was in a busy room 2012-05-12T14:37:40 or when he was listening to german marching music 2012-05-12T14:38:00 and the guy had a great memory too 2012-05-12T14:38:21 antimatroid: theres a story, when he solved the problem of the 2 trains and the fly 2012-05-12T14:38:44 the punchline is, that he summed up an infinite series in his head in a second 2012-05-12T14:39:00 instead of coming up with the shortcut solution to the trick question 2012-05-12T14:40:47 mcstar: i've heard all the stories :P 2012-05-12T14:40:52 have you seen his contents on wikipedia? 2012-05-12T14:40:57 that alone is ridiculous 2012-05-12T14:41:04 he made significant contributions across the board 2012-05-12T14:41:15 from maths, physics, biology, economics, etc. etc. 2012-05-12T14:41:43 err, not sure about the biology 2012-05-12T14:41:47 yeah he was a genious 2012-05-12T14:41:55 he made a little contribution... 2012-05-12T14:41:58 he had children didnt he? 2012-05-12T14:42:08 daughter is still alive i think 2012-05-12T14:42:12 that is not what i meant :P 2012-05-12T14:42:56 anyway i need some sleep 2012-05-12T14:43:02 my answer to that question was very flawed 2012-05-12T14:43:02 let me guess, he predicted the DNS? 2012-05-12T14:43:06 i'm not really sure anymore 2012-05-12T14:43:34 he laid the mathematical foundations for quantum mechanics 2012-05-12T14:43:44 delt0r: would you tell what was his contribution to biology? 2012-05-12T14:43:59 antimatroid: well, not entirely 2012-05-12T14:44:08 heisenberg did some work too 2012-05-12T14:44:33 in fact much of the quantum math stuff was done more or less as it was needed later on 2012-05-12T14:44:56 http://en.wikipedia.org/wiki/John_von_Neumann#Mathematical_formulation_of_quantum_mechanics 2012-05-12T14:45:01 in bio he showed that a self replicating machine needs both the machine.... AND the data 2012-05-12T14:45:10 that makes it sound like his work was more useful than it was maybe? 2012-05-12T14:45:32 antimatroid: yea i know... but his contribution is over hyped in hind site since most think he is awesome... 2012-05-12T14:45:45 antimatroid: the stress is on rigorous i think 2012-05-12T14:45:50 the machinery was there already 2012-05-12T14:45:57 i'm a man of rigour 2012-05-12T14:46:03 but he was a mathematician at once too 2012-05-12T14:46:03 but its still called dirac whatever or other guys name whatever 2012-05-12T14:46:08 not von neuman 2012-05-12T14:46:20 hehe, funny question on reddit the other day 2012-05-12T14:46:34 when are they going to stop calling it the poincare conjecture now that it's been proved? 2012-05-12T14:46:58 when? did i miss it? 2012-05-12T14:47:06 perelman? 2012-05-12T14:47:26 yeah 2012-05-12T14:47:27 ages ago 2012-05-12T14:47:40 dude looks like a serial killer 2012-05-12T14:48:08 he has quite a fame for not taking the money 2012-05-12T14:48:16 pople try to make him speak all the time 2012-05-12T14:48:25 but he doesnt really epxlain anything 2012-05-12T14:48:34 except once he told his reasons to another mathematician 2012-05-12T14:48:41 some american dude 2012-05-12T14:50:48 http://www.youtube.com/watch?v=gYvYA_N0ncg 2012-05-12T14:50:50 relevant 2012-05-12T14:52:04 haha 2012-05-12T14:57:17 *** amstan has joined #aichallenge 2012-05-12T14:57:18 *** ChanServ sets mode: +o amstan 2012-05-12T15:03:38 oh wait ... you cannot bitwise negate a bigint, right? 2012-05-12T15:04:00 you can 2012-05-12T15:04:30 i think gmp overloads all the standard int operators 2012-05-12T15:05:10 gmpxx.h does 2012-05-12T15:06:09 but it's very incomplete 2012-05-12T15:06:26 you have to use gmp.h anyway and it's often easier to just use mpz_t instead of mpz_class 2012-05-12T15:06:50 a + b returns a weird intermediate value and it doesn't play nice with templated stuff 2012-05-12T15:08:35 he probably isnt using gmp 2012-05-12T15:09:03 I should do the week6 crypto stuff soon 2012-05-12T15:09:10 and in languages whose bigint implementation is based on gmp, the support probably is complete 2012-05-12T15:09:16 meh too 2012-05-12T15:09:23 i dont feel like it though 2012-05-12T15:09:29 I'll just do it monday because of the udacity work I have to do first 2012-05-12T15:09:40 mcstar: I optimized the hell out of the week5 thing :P 2012-05-12T15:09:58 in python it was a few lines 2012-05-12T15:10:12 and it was fast too 2012-05-12T15:10:16 so why optimize? 2012-05-12T15:10:22 how fast was yours? 2012-05-12T15:10:22 anyway, your time 2012-05-12T15:10:25 mine wasn't fast 2012-05-12T15:10:27 couple of secs 2012-05-12T15:10:39 thestinger: coursera? 2012-05-12T15:10:42 yes 2012-05-12T15:10:53 https://gist.github.com/50bde2c568cbb29939fb the low-level version :P 2012-05-12T15:11:06 set/unordered_set ended up being the bottleneck at the end 2012-05-12T15:11:55 the C API for gmp is so low-level compared to the C++ one 2012-05-12T15:11:59 but it's way faster :\ 2012-05-12T15:13:00 thestinger: http://sprunge.us/VUVI 2012-05-12T15:13:13 yes, in python it's 8 lines 2012-05-12T15:13:26 mcstar: don't use has_key :( 2012-05-12T15:13:34 deprecated (gone in v3) and slower than in 2012-05-12T15:14:10 thestinger: why is it slower? 2012-05-12T15:14:24 why doesnt has_key use 'in' behind the scenes? 2012-05-12T15:14:30 it does 2012-05-12T15:14:36 but method calls are slow 2012-05-12T15:14:48 .has_key(key) is 2 dict lookups 2012-05-12T15:14:48 what is 'in" 2012-05-12T15:14:54 1 for has_key and 1 for looking up the key 2012-05-12T15:15:00 in doesn't do a method lookup 2012-05-12T15:15:06 in pypy it doesn't matter 2012-05-12T15:15:12 in theory :P 2012-05-12T15:15:14 i dont understand why does it matter 2012-05-12T15:15:38 'in' doesnt return the value? 2012-05-12T15:15:54 a in {} vs {}.has_key(a) 2012-05-12T15:15:58 both return a bool 2012-05-12T15:16:30 yeah right 2012-05-12T15:16:40 so why would the 2nd inefficent? 2012-05-12T15:16:46 be* 2012-05-12T15:16:46 extra method lookup 2012-05-12T15:16:53 what method lookup? 2012-05-12T15:16:59 *** Accoun has quit IRC () 2012-05-12T15:17:02 python objects are dicts unless they use slots 2012-05-12T15:17:13 mcstar: obj.method is a dict lookup 2012-05-12T15:17:15 :( 2012-05-12T15:17:23 pffff 2012-05-12T15:17:33 yeah 2012-05-12T15:17:49 it's why putting stuff in a main function is much faster 2012-05-12T15:18:00 the global scope is a dict, the local scope can be optimized to a stack 2012-05-12T15:18:38 Yeah, making locals out of globals speeds things up a bit 2012-05-12T15:18:48 mcstar: well, if you avoid stuff like that and cache method lookups, you can get cpython to beat pypy 2012-05-12T15:19:04