2013-04-01T00:02:42 sigh: the problems with probabilistic solutions, are those solutions dependent on the distribution used to assign the hat colours etc.? 2013-04-01T00:03:04 ie. that each hat colour is assigned independently and uniformly? 2013-04-01T00:03:20 assigned randomly, yes independently and uniformly 2013-04-01T00:03:28 3 people, 2 colors 2013-04-01T00:03:29 *** loglog has quit IRC (Remote host closed the connection) 2013-04-01T00:03:44 would it get interesting with other distributions? 2013-04-01T00:03:47 *** loglog has joined #aichallenge 2013-04-01T00:04:11 i forget the problem, but there was a problem on /r/math the other week which was surprisingly independent of the distribution used 2013-04-01T00:04:17 but i can't remember if the solution was probabilisitc 2013-04-01T00:04:27 :P 2013-04-01T00:04:27 *** loglog has quit IRC (Remote host closed the connection) 2013-04-01T00:04:30 not much help 2013-04-01T00:04:42 *** loglog has joined #aichallenge 2013-04-01T00:05:07 i guess it'd need to be binomial really? 2013-04-01T00:05:30 i don't understand? 2013-04-01T00:05:56 well how you randomly assign the hat colours 2013-04-01T00:06:06 *** dvladim has quit IRC (Quit: Konversation terminated!) 2013-04-01T00:06:17 would the best strategy ever be wildly different depending on that 2013-04-01T00:06:17 *** loglog has quit IRC (Remote host closed the connection) 2013-04-01T00:06:31 *** loglog has joined #aichallenge 2013-04-01T00:06:54 removing independence would make it most interesting 2013-04-01T00:06:54 *** loglog has quit IRC (Remote host closed the connection) 2013-04-01T00:07:11 *** loglog has joined #aichallenge 2013-04-01T00:07:27 The colours are assigned randomly, if not a malevolent hat assigner could cause the group to always lose 2013-04-01T00:08:03 well that's no fun 2013-04-01T00:08:09 :P 2013-04-01T00:08:37 what if the malevolent hat assignet doesn't know their strategy? 2013-04-01T00:08:44 assigner* 2013-04-01T00:08:44 *** loglog has quit IRC (Remote host closed the connection) 2013-04-01T00:09:00 *** loglog has joined #aichallenge 2013-04-01T00:09:40 then that becomes a really difficult game theory problem? I don't know 2013-04-01T00:10:45 erm sorry, that was actually silly 2013-04-01T00:11:21 I don't know, you're the game theory expert :P 2013-04-01T00:11:22 *** loglog has quit IRC (Remote host closed the connection) 2013-04-01T00:11:25 the probabilistic solution is about the percentage on average of survivors right? but the actual strategy isn't probabilistic 2013-04-01T00:11:37 *** loglog has joined #aichallenge 2013-04-01T00:11:38 i haven't actually played with it yet :P 2013-04-01T00:12:10 well, the players win or lose as a group, so it is the probability of winning 2013-04-01T00:12:10 *** loglog has quit IRC (Remote host closed the connection) 2013-04-01T00:12:26 *** loglog has joined #aichallenge 2013-04-01T00:12:34 yep, but it would still be a "pure strategy" 2013-04-01T00:12:41 not a "mixed strategy" 2013-04-01T00:12:50 ah yes, correct 2013-04-01T00:13:24 so once the malevolent hat assigner found a losing combination they could just repeat it 2013-04-01T00:14:16 i guess you could look at the average time it'd take for them to find a losing combination for a given strategy 2013-04-01T00:14:19 yup :P which is why if you assume a malevolent hat assigner, then you have to start using a mixed strategy and that seems like a whole lot more difficult 2013-04-01T00:14:19 *** loglog has quit IRC (Remote host closed the connection) 2013-04-01T00:14:22 and see what the optimal strategy is 2013-04-01T00:14:32 *** loglog has joined #aichallenge 2013-04-01T00:14:37 no, you could look at the pure strategy case as I suggest above 2013-04-01T00:15:10 and look at the assigner's optimal strategy for finding a losing combination across all strategies 2013-04-01T00:15:12 I think you could just do a payoff matrix of strategies and applies game theory from there 2013-04-01T00:15:13 *** loglog has quit IRC (Remote host closed the connection) 2013-04-01T00:15:15 then you have yourself a ridiculously complicated game 2013-04-01T00:15:27 *** loglog has joined #aichallenge 2013-04-01T00:15:44 just do the randomly assigned case, it's easier :P 2013-04-01T00:15:59 yes, but then it's still not really a game 2013-04-01T00:15:59 *** loglog has quit IRC (Remote host closed the connection) 2013-04-01T00:16:14 *** loglog has joined #aichallenge 2013-04-01T00:17:25 things get messy very esily 2013-04-01T00:17:27 easily* 2013-04-01T00:17:41 ie solve sin(x) + x = 5 2013-04-01T00:17:41 *** loglog has quit IRC (Remote host closed the connection) 2013-04-01T00:17:53 oh, I saw that thread 2013-04-01T00:17:55 *** loglog has joined #aichallenge 2013-04-01T00:18:01 :P 2013-04-01T00:18:11 graphically very simple, algebraicly, fuck 2013-04-01T00:18:40 and graphically doesn't really give the answer 2013-04-01T00:18:51 sometimes you can logically deduce the actual answer from graphs very simply 2013-04-01T00:19:45 you can approximate it algebraically without too much fuss 2013-04-01T00:19:45 *** loglog has quit IRC (Remote host closed the connection) 2013-04-01T00:20:01 *** loglog has joined #aichallenge 2013-04-01T00:20:41 yeah but it's hard to pull out an actual solution 2013-04-01T00:20:49 yup 2013-04-01T00:20:57 wolfram seem to have found a pretty nice solution 2013-04-01T00:21:07 http://www.wolframalpha.com/input/?i=sin%28x%29%2Bx%3D5 2013-04-01T00:21:11 see the alternate form 2013-04-01T00:21:11 *** loglog has quit IRC (Remote host closed the connection) 2013-04-01T00:21:23 is alternative redundant? 2013-04-01T00:21:26 *** loglog has joined #aichallenge 2013-04-01T00:21:46 wait i'm retarded 2013-04-01T00:21:52 :P 2013-04-01T00:22:21 lol 2013-04-01T00:22:26 the closed form part, i'm still unsure about whether alternative is redundant? 2013-04-01T00:22:59 the alternate is just expanding out sin(x) into complex exponentials 2013-04-01T00:22:59 *** loglog has quit IRC (Remote host closed the connection) 2013-04-01T00:23:15 *** loglog has joined #aichallenge 2013-04-01T00:23:31 http://media.skateboard.com.au/forum/images/Bowl28.jpg 2013-04-01T00:23:38 that's being built at bruny island down here 2013-04-01T00:23:46 that deep end is 9 foot 2013-04-01T00:24:05 second new park down here this year 2013-04-01T00:24:16 looks like it should be a pool :P 2013-04-01T00:24:25 it has the pool coping and all :P 2013-04-01T00:42:05 *** antimatroidl has joined #aichallenge 2013-04-01T00:53:24 *** loglog has quit IRC (Remote host closed the connection) 2013-04-01T00:53:37 *** loglog has joined #aichallenge 2013-04-01T01:07:21 *** amstan has quit IRC (Ping timeout: 258 seconds) 2013-04-01T02:31:37 *** mcstar has joined #aichallenge 2013-04-01T02:33:50 sine is a pretty complicated function, you might be just conditioned to think it is in some way elementary 2013-04-01T02:35:27 sigh: thanks for the blue eyes puzzle though, that (and others) made an interesting drinking topic once 2013-04-01T02:35:28 *** loglog has quit IRC (Remote host closed the connection) 2013-04-01T02:35:44 *** loglog has joined #aichallenge 2013-04-01T02:49:21 i have to express my dissatisfaction that anti-matroid reached for c++ to run a couple of loops... 2013-04-01T02:55:48 *** thestinger has quit IRC (Ping timeout: 260 seconds) 2013-04-01T02:56:00 *** thestinger has joined #aichallenge 2013-04-01T03:07:31 *** loglog has quit IRC (Remote host closed the connection) 2013-04-01T03:07:47 *** loglog has joined #aichallenge 2013-04-01T03:32:34 *** GarfTop has quit IRC (Quit: Make a new plan, Stan!) 2013-04-01T03:35:41 *** epicmonkey has joined #aichallenge 2013-04-01T03:37:40 i need auxiliary power cord for this http://www.gigabyte.com/products/product-page.aspx?pid=3104&dl=#ov 2013-04-01T03:43:28 *** epicmonkey has quit IRC (Ping timeout: 245 seconds) 2013-04-01T03:43:54 mcstar: no problem, I like that puzzle too 2013-04-01T03:48:36 *** smiley1983 has joined #aichallenge 2013-04-01T04:00:52 *** kilae has joined #aichallenge 2013-04-01T04:01:41 *** thestinger has quit IRC (Read error: Connection reset by peer) 2013-04-01T04:04:32 class RemoteError(Exception): def __str__(self): return ('\n' + '-'*75 + '\n' + str(self.args[0]) + '-'*75) 2013-04-01T04:04:44 must be a serious error with that many stars in it 2013-04-01T04:04:55 i mean dashes 2013-04-01T04:05:18 (stupid brain association) 2013-04-01T04:05:19 *** loglog has quit IRC (Remote host closed the connection) 2013-04-01T04:05:34 *** loglog has joined #aichallenge 2013-04-01T04:05:43 *** thestinger has joined #aichallenge 2013-04-01T04:15:16 i really dont understand the usage of a/an 2013-04-01T04:15:24 Return an proxy type whose methods are given by `exposed` 2013-04-01T04:15:32 ^ 2013-04-01T04:15:33 *** loglog has quit IRC (Remote host closed the connection) 2013-04-01T04:15:50 *** loglog has joined #aichallenge 2013-04-01T04:17:19 *** loglog has quit IRC (Remote host closed the connection) 2013-04-01T04:17:35 *** loglog has joined #aichallenge 2013-04-01T04:33:52 mcstar: http://arstechnica.com/gadgets/2013/03/bullseye-from-1000-yards-shooting-the-17000-linux-powered-rifle/ :P 2013-04-01T04:34:16 I want one! sadly I can only own a crossbow ,_, 2013-04-01T04:34:34 thanks for nothing Canada 2013-04-01T04:34:35 *** loglog has quit IRC (Remote host closed the connection) 2013-04-01T04:34:50 *** loglog has joined #aichallenge 2013-04-01T04:37:56 thestinger: i am forced to read the multiprocessing module's source.. 2013-04-01T04:38:06 mcstar: that's python for you 2013-04-01T04:38:29 so that rifle runs linux? 2013-04-01T04:38:29 *** loglog has quit IRC (Remote host closed the connection) 2013-04-01T04:38:32 you're supposed to just keep passing random things until it appears to work 2013-04-01T04:38:36 poor choice 2013-04-01T04:38:43 id rather trust openbsd 2013-04-01T04:38:43 *** loglog has joined #aichallenge 2013-04-01T04:38:54 what if they hack it middle of aiming? 2013-04-01T04:39:40 thestinger: also the manager issue from today: it have to use 2 separate managers, and then i get 'proper' nesting 2013-04-01T04:39:40 *** loglog has quit IRC (Remote host closed the connection) 2013-04-01T04:39:50 form yesterday* 2013-04-01T04:39:53 *** loglog has joined #aichallenge 2013-04-01T04:40:28 excuse my syntactic and semantic errors 2013-04-01T04:40:33 i woke up early today 2013-04-01T04:41:20 thestinger: that rifle doesnt look like a long range sniper rifle 2013-04-01T04:41:33 mcstar: http://ix.io/4YI how you're supposed to write python 2013-04-01T04:41:51 lol 2013-04-01T04:41:52 *** loglog has quit IRC (Remote host closed the connection) 2013-04-01T04:42:04 *** loglog has joined #aichallenge 2013-04-01T04:42:57 meh needs to be longer 2013-04-01T04:43:04 don't get many lists/dicts this way 2013-04-01T04:43:04 *** loglog has quit IRC (Remote host closed the connection) 2013-04-01T04:43:19 *** loglog has joined #aichallenge 2013-04-01T04:45:03 thestinger: that rifle (without the scope) looks surprisingly similar to the one im perfect with http://dl.zhishi.sina.com.cn/upload/97/48/75/1305974875.16119047.jpg 2013-04-01T04:45:40 page 3 in the article 2013-04-01T04:45:56 the XS3 2013-04-01T04:48:08 from the front page rifle i was missing the usual bigger muzzle breaker, and a bigger magazine 2013-04-01T04:48:09 *** loglog has quit IRC (Remote host closed the connection) 2013-04-01T04:48:14 or whatever they call it here 2013-04-01T04:48:26 *** loglog has joined #aichallenge 2013-04-01T04:49:07 so, i take it back, they do look like long range sniper rifles 2013-04-01T04:50:10 thestinger: also, i must make a note, i think this is the first time you linked me something non-technical material, good to know you are interested in everyday stuff too ") 2013-04-01T04:50:13 :) 2013-04-01T04:50:25 that's technical material :P 2013-04-01T04:50:38 well, i wouldnt say that 2013-04-01T04:50:38 *** loglog has quit IRC (Remote host closed the connection) 2013-04-01T04:50:54 *** loglog has joined #aichallenge 2013-04-01T04:50:56 news articles arent 2013-04-01T04:51:23 just because it is from arstechnica.com it doesnt make it 'technical' 2013-04-01T04:51:24 *** loglog has quit IRC (Remote host closed the connection) 2013-04-01T04:51:42 *** loglog has joined #aichallenge 2013-04-01T05:04:37 *** epicmonkey has joined #aichallenge 2013-04-01T05:17:05 *** loglog has quit IRC (Remote host closed the connection) 2013-04-01T05:17:22 *** loglog has joined #aichallenge 2013-04-01T05:18:11 *** loglog has joined #aichallenge 2013-04-01T06:07:42 *** epicmonkey has quit IRC (Ping timeout: 256 seconds) 2013-04-01T06:13:51 *** antimatroid has quit IRC (Ping timeout: 252 seconds) 2013-04-01T06:15:11 *** thestinger has quit IRC (Quit: WeeChat 0.4.0) 2013-04-01T06:19:50 *** epicmonkey has joined #aichallenge 2013-04-01T06:21:33 *** antimatroid has joined #aichallenge 2013-04-01T06:57:16 *** Uvs has joined #aichallenge 2013-04-01T07:23:50 *** loglog has quit IRC (Remote host closed the connection) 2013-04-01T07:24:04 *** loglog has joined #aichallenge 2013-04-01T07:28:54 *** loglog has quit IRC (Remote host closed the connection) 2013-04-01T07:29:10 *** loglog has joined #aichallenge 2013-04-01T07:31:02 *** loglog has joined #aichallenge 2013-04-01T07:43:33 *** antimatroid has quit IRC (Ping timeout: 240 seconds) 2013-04-01T07:51:31 *** antimatroid has joined #aichallenge 2013-04-01T07:59:09 *** floWenoL_ has quit IRC (Ping timeout: 245 seconds) 2013-04-01T07:59:24 *** floWenoL has joined #aichallenge 2013-04-01T08:03:17 *** loglog has quit IRC (Remote host closed the connection) 2013-04-01T08:03:30 *** loglog has joined #aichallenge 2013-04-01T08:04:06 *** loglog has joined #aichallenge 2013-04-01T08:09:07 *** thestinger has joined #aichallenge 2013-04-01T08:25:42 *** Scooper has joined #aichallenge 2013-04-01T08:37:20 Assertion failed: ok (mailbox.cpp:79) 2013-04-01T08:39:56 Bad file descriptor (signaler.cpp:120) 2013-04-01T08:40:05 then 2013-04-01T08:40:06 Bad file descriptor (epoll.cpp:144) 2013-04-01T08:40:19 i think im breaking the system XD 2013-04-01T08:40:19 *** loglog has quit IRC (Remote host closed the connection) 2013-04-01T08:40:32 *** loglog has joined #aichallenge 2013-04-01T08:50:26 mcstar: wow, you back to cpp? 2013-04-01T08:50:40 no 2013-04-01T08:50:40 *** loglog has quit IRC (Remote host closed the connection) 2013-04-01T08:50:41 *** bqf_ has quit IRC (Changing host) 2013-04-01T08:50:41 *** bqf_ has joined #aichallenge 2013-04-01T08:50:41 *** bqf_ is now known as bqf 2013-04-01T08:50:56 *** loglog has joined #aichallenge 2013-04-01T08:50:56 as you can see those are system files 2013-04-01T08:52:44 well, you breaking the system is less unexpected :) 2013-04-01T08:54:43 i know why that happened at least 2013-04-01T08:54:44 *** loglog has quit IRC (Remote host closed the connection) 2013-04-01T08:55:02 *** loglog has joined #aichallenge 2013-04-01T08:59:34 *** floWenoL has quit IRC (Read error: Operation timed out) 2013-04-01T09:03:36 *** floWenoL has joined #aichallenge 2013-04-01T09:41:22 *** thestinger has quit IRC (Quit: WeeChat 0.4.0) 2013-04-01T10:01:52 *** sigh has quit IRC (Remote host closed the connection) 2013-04-01T10:12:05 *** loglog has quit IRC (Remote host closed the connection) 2013-04-01T10:12:17 *** loglog has joined #aichallenge 2013-04-01T10:14:09 *** loglog has quit IRC (Remote host closed the connection) 2013-04-01T10:14:26 *** loglog has joined #aichallenge 2013-04-01T10:22:06 *** loglog has quit IRC (Remote host closed the connection) 2013-04-01T10:22:23 *** loglog has joined #aichallenge 2013-04-01T10:23:00 *** loglog has joined #aichallenge 2013-04-01T10:23:46 *** loglog has quit IRC (Remote host closed the connection) 2013-04-01T10:24:01 *** loglog has joined #aichallenge 2013-04-01T10:25:13 *** loglog has joined #aichallenge 2013-04-01T10:29:34 *** loglog has quit IRC (Remote host closed the connection) 2013-04-01T10:29:48 *** loglog has joined #aichallenge 2013-04-01T10:31:59 *** loglog has quit IRC (Remote host closed the connection) 2013-04-01T10:32:15 *** loglog has joined #aichallenge 2013-04-01T10:33:06 *** amstan has joined #aichallenge 2013-04-01T10:33:06 *** ChanServ sets mode: +o amstan 2013-04-01T10:48:41 *** loglog has quit IRC (Remote host closed the connection) 2013-04-01T10:48:56 *** loglog has joined #aichallenge 2013-04-01T10:52:35 *** smiley1983 has quit IRC (Ping timeout: 256 seconds) 2013-04-01T11:12:23 *** amstan has quit IRC (Quit: Konversation terminated!) 2013-04-01T11:13:08 *** amstan has joined #aichallenge 2013-04-01T11:13:08 *** ChanServ sets mode: +o amstan 2013-04-01T11:50:02 *** amstan_ has joined #aichallenge 2013-04-01T11:50:02 *** ChanServ sets mode: +o amstan_ 2013-04-01T11:53:03 *** amstan has quit IRC (Ping timeout: 245 seconds) 2013-04-01T12:15:33 *** Uvs has quit IRC (Ping timeout: 245 seconds) 2013-04-01T12:26:13 *** Uvs has joined #aichallenge 2013-04-01T13:36:03 *** epicmonkey has quit IRC (Ping timeout: 252 seconds) 2013-04-01T14:25:49 *** amstan_ has quit IRC (Quit: Konversation terminated!) 2013-04-01T14:30:44 *** amstan has joined #aichallenge 2013-04-01T14:30:44 *** ChanServ sets mode: +o amstan 2013-04-01T14:34:48 *** amstan has quit IRC (Read error: Connection reset by peer) 2013-04-01T14:34:57 *** amstan has joined #aichallenge 2013-04-01T14:34:57 *** ChanServ sets mode: +o amstan 2013-04-01T14:42:08 *** epicmonkey has joined #aichallenge 2013-04-01T15:52:42 *** amstan has quit IRC (Ping timeout: 272 seconds) 2013-04-01T15:56:23 *** amstan has joined #aichallenge 2013-04-01T15:56:23 *** ChanServ sets mode: +o amstan 2013-04-01T15:58:52 *** kilae has quit IRC (Quit: ChatZilla 0.9.90 [Firefox 19.0.2/20130307023931]) 2013-04-01T16:37:15 *** slacko3280 has joined #aichallenge 2013-04-01T16:45:16 *** amstan has quit IRC (Ping timeout: 272 seconds) 2013-04-01T16:47:05 *** lahwran is now known as lahwran- 2013-04-01T16:47:07 *** lahwran- is now known as lahwran 2013-04-01T16:53:43 *** slacko3280 has quit IRC (Max SendQ exceeded) 2013-04-01T16:55:36 *** slacko3280 has joined #aichallenge 2013-04-01T17:00:37 *** slacko3280 has quit IRC (Max SendQ exceeded) 2013-04-01T17:04:36 *** slacko3280 has joined #aichallenge 2013-04-01T17:11:00 *** slacko3280 has quit IRC (Max SendQ exceeded) 2013-04-01T17:15:00 *** slacko3280 has joined #aichallenge 2013-04-01T17:17:13 *** slacko3280 has quit IRC (Read error: Connection reset by peer) 2013-04-01T17:24:47 *** Uvs has quit IRC (Quit: Uvs) 2013-04-01T17:31:25 *** Scooper has quit IRC (Quit: Leaving) 2013-04-01T17:32:25 *** thestinger has joined #aichallenge 2013-04-01T17:53:31 thestinger: i have toggable autoscroll working in urwid <3 2013-04-01T17:58:18 *** sigh has joined #aichallenge 2013-04-01T18:25:20 *** sigh has quit IRC (Remote host closed the connection) 2013-04-01T18:26:18 mcstar: \o 2013-04-01T18:26:33 i cant convert my xvidcap to a movie 2013-04-01T18:26:39 i always forget the parameters 2013-04-01T18:27:07 so there's an awesome rust bug in trunk atm 2013-04-01T18:27:10 http://ix.io/4Zr this program 2013-04-01T18:27:13 lol 2013-04-01T18:27:20 compiles fine without optimization.... 2013-04-01T18:27:31 with optimization, LLVM decides it should infinitely allocate memory in a loop 2013-04-01T18:27:40 o.O 2013-04-01T18:27:42 it makes it fall off the end of a function and call the main loop 2013-04-01T18:28:21 http://ix.io/4Zn this 2013-04-01T18:28:26 ;