2012-10-21T02:13:24 *** pairofdice has joined #aichallenge 2012-10-21T03:32:20 *** foRei has joined #aichallenge 2012-10-21T03:38:24 *** epicmonkey has joined #aichallenge 2012-10-21T04:15:05 *** sigh_ has joined #aichallenge 2012-10-21T04:18:42 *** sigh has quit IRC (Ping timeout: 272 seconds) 2012-10-21T04:45:42 *** dici has joined #aichallenge 2012-10-21T04:47:33 *** pairofdice has quit IRC (Quit: In girum imus nocte et consumimur igni.) 2012-10-21T04:55:05 *** pairofdice has joined #aichallenge 2012-10-21T05:38:31 *** dici has joined #aichallenge 2012-10-21T05:55:09 *** mcstar has joined #aichallenge 2012-10-21T06:02:43 *** antimatroidl has quit IRC (Read error: No route to host) 2012-10-21T06:02:53 *** antimatroidl has joined #aichallenge 2012-10-21T06:05:08 *** antimatroidl has quit IRC (Read error: Connection reset by peer) 2012-10-21T06:05:11 *** antimatroidl1 has joined #aichallenge 2012-10-21T06:27:06 *** mcstar has quit IRC (Quit: mcstar) 2012-10-21T06:43:57 *** amstan_ has quit IRC (Ping timeout: 264 seconds) 2012-10-21T06:53:10 *** epicmonkey has quit IRC (Remote host closed the connection) 2012-10-21T06:53:32 *** epicmonkey has joined #aichallenge 2012-10-21T07:02:29 *** antimatroidl1 has quit IRC (Ping timeout: 246 seconds) 2012-10-21T07:06:44 *** kilae has joined #aichallenge 2012-10-21T07:06:48 *** mcstar has joined #aichallenge 2012-10-21T07:21:34 *** Scooper has joined #aichallenge 2012-10-21T07:36:39 *** antimatroidl has joined #aichallenge 2012-10-21T07:41:48 *** amstan_ has joined #aichallenge 2012-10-21T07:41:48 *** ChanServ sets mode: +o amstan_ 2012-10-21T07:46:02 *** amstan_ has quit IRC (Ping timeout: 246 seconds) 2012-10-21T08:20:33 *** moises has quit IRC (Remote host closed the connection) 2012-10-21T08:27:35 *** dici has quit IRC (Quit: ( www.nnscript.com :: NoNameScript 4.22 :: www.esnation.com )) 2012-10-21T08:29:23 *** kilae has quit IRC (Quit: ChatZilla 0.9.89 [Firefox 16.0.1/20121010144125]) 2012-10-21T08:51:18 *** coeus has joined #aichallenge 2012-10-21T10:03:12 *** mceier has quit IRC (Ping timeout: 256 seconds) 2012-10-21T10:03:22 *** mceier has joined #aichallenge 2012-10-21T10:44:58 *** sigh_ has quit IRC (Remote host closed the connection) 2012-10-21T10:45:17 *** Accoun has quit IRC (Remote host closed the connection) 2012-10-21T10:46:05 *** Accoun has joined #aichallenge 2012-10-21T11:43:53 *** thestinger has joined #aichallenge 2012-10-21T12:11:40 *** capnemoJr has joined #aichallenge 2012-10-21T12:38:42 *** capnemoJr has quit IRC (Remote host closed the connection) 2012-10-21T12:46:55 *** Kingpin13 has quit IRC (Read error: Connection reset by peer) 2012-10-21T13:08:17 *** amstan has joined #aichallenge 2012-10-21T13:08:21 *** ChanServ sets mode: +o amstan 2012-10-21T13:40:11 *** jacob_strauss has joined #aichallenge 2012-10-21T13:40:22 *** smjm has quit IRC (Ping timeout: 264 seconds) 2012-10-21T14:20:55 *** jacob_strauss has quit IRC (Remote host closed the connection) 2012-10-21T14:24:17 *** mleise has quit IRC (Ping timeout: 268 seconds) 2012-10-21T14:56:24 *** mleise has joined #aichallenge 2012-10-21T15:03:50 *** Accoun has quit IRC () 2012-10-21T15:23:15 *** dici has joined #aichallenge 2012-10-21T15:30:38 *** Accoun has joined #aichallenge 2012-10-21T15:43:30 *** amstan has quit IRC (Ping timeout: 240 seconds) 2012-10-21T15:52:29 *** amstan has joined #aichallenge 2012-10-21T15:52:29 *** ChanServ sets mode: +o amstan 2012-10-21T15:53:28 thestinger: i mentioned your termite on #haskell, i hope you get some users from there :) 2012-10-21T15:53:34 heh 2012-10-21T15:53:50 *** amstan has quit IRC (Client Quit) 2012-10-21T15:53:54 someone was wanting to write a terminal emulator... 2012-10-21T15:54:17 well termite is pretty just the UI part 2012-10-21T15:54:24 *** Areks|2 is now known as Areks 2012-10-21T15:54:32 parsing escape codes is boring and vte does it well already 2012-10-21T15:54:32 yeah, but it must show how to interface with vte 2012-10-21T16:03:37 *** Apophis has quit IRC (Read error: Connection reset by peer) 2012-10-21T16:04:35 *** Apophis_ has joined #aichallenge 2012-10-21T16:18:52 hey mcstar and thestinger 2012-10-21T16:19:06 \o 2012-10-21T16:19:14 o/ 2012-10-21T16:20:07 I had to give up on writing the fastest Sudoku solver. A chinese kid wrote one that was 2 times faster than even the fastest in the benchmark. 2012-10-21T16:20:31 *** antimatroidl has quit IRC (Ping timeout: 260 seconds) 2012-10-21T16:20:56 Well I don't know if it was a kid, but he wrote "hey all, Do you love my program?" 2012-10-21T16:21:03 *** pairofdice has quit IRC (Quit: In girum imus nocte et consumimur igni.) 2012-10-21T16:21:07 mleise: my first version is actually as fast as the suexco, in c 2012-10-21T16:21:25 so you compared them side by side on your computer? 2012-10-21T16:21:29 yeah 2012-10-21T16:21:51 mleise: but my other one, that is based on the exact cover representation is 2x slower 2012-10-21T16:22:03 kudoku is 10x faster than suexco 2012-10-21T16:22:14 fun fact: none of the fast solvers use any solving strategy other than *maybe* locked candidates 2012-10-21T16:22:20 hehe 2012-10-21T16:22:25 jerks 2012-10-21T16:22:55 *** dici has quit IRC (Quit: ( www.nnscript.com :: NoNameScript 4.22 :: www.esnation.com )) 2012-10-21T16:23:17 it's all just cramping code and data into the L1 CPU cache, it seeems. there's no other way to reach that speed 2012-10-21T16:23:30 surely there is 2012-10-21T16:23:42 you could add more logic to the exact cover repr. 2012-10-21T16:23:46 it can be done!!! 2012-10-21T16:23:50 i think... 2012-10-21T16:24:04 lol, no they are already using only a couple of cpu cycles per board :p 2012-10-21T16:24:15 but thats impossible... 2012-10-21T16:24:20 well ... maybe not for those that need many recursions 2012-10-21T16:24:40 mleise: but what is it based on? 2012-10-21T16:24:56 pure brute force? or this e-c? 2012-10-21T16:25:54 e-c ? 2012-10-21T16:26:07 exact cover 2012-10-21T16:26:12 i just hate writing it out all the time 2012-10-21T16:26:29 mleise: can you give a link to the chinese's code? 2012-10-21T16:26:46 mostly it is what we did: singles and hidden singles + selecting the cell with the least options for recursion/iteration 2012-10-21T16:26:51 ok wait a sec... 2012-10-21T16:27:57 the topic is here: http://forum.enjoysudoku.com/12us-solver-2-8g-cpu-testcase-17sodoku-t30470.html , I think the full source is on page 2 or 3 2012-10-21T16:29:01 *** jacob_strauss has joined #aichallenge 2012-10-21T16:29:25 maybe i should add hidden singles to my new code 2012-10-21T16:29:27 later on he updates it to gain speed over JSolve (the fastest in the benchmark) 2012-10-21T16:29:56 but im not even sure, it doesnt do it automatically 2012-10-21T16:29:56 mcstar: definitly. 3 puzzles from the benchmark can be solved with that alone 2012-10-21T16:30:11 mleise: my read function solves those already 2012-10-21T16:30:35 as does mine ^^. but JSolve seem to delay that update 2012-10-21T16:31:02 im just wondering, what human strategy escapes that representation 2012-10-21T16:31:08 but which could be added easily 2012-10-21T16:32:01 soon you'll be writing it in x86 assembly 2012-10-21T16:32:05 from what I see others do, only locked candidates (sometimes called pointing pairs) is in reach when you want to be fast 2012-10-21T16:32:34 thestinger: i dont do mutable state 2012-10-21T16:32:40 do->use 2012-10-21T16:33:01 i did hpastes recelty 2012-10-21T16:33:33 so make it parallel? 2012-10-21T16:33:42 I guess you won't really gain anything 2012-10-21T16:33:44 no! h4x0rs! 2012-10-21T16:33:46 http://hpaste.org/76464 2012-10-21T16:33:55 http://hpaste.org/76462 2012-10-21T16:34:08 thestinger: maybe ... after all you have a recursion in Sudoku solving that could be executed in parallel 2012-10-21T16:34:17 yes 2012-10-21T16:34:57 it would be quite easy with haskell 2012-10-21T16:35:06 as would everything... 2012-10-21T16:35:26 "chosens removed constraints" 2012-10-21T16:35:30 is that from the Matrix ? 2012-10-21T16:35:40 no 2012-10-21T16:35:49 i was not thinking of the matrix 2012-10-21T16:37:36 omg it is everywhere in your code, it is a subliminal message 2012-10-21T16:37:53 what? :) 2012-10-21T16:38:05 like in these old rock songs, when you play them backwards 2012-10-21T16:38:10 hehe 2012-10-21T16:38:16 dont read it backwards!! 2012-10-21T16:39:54 "hi all, 2012-10-21T16:39:56 Do you love this program? 2012-10-21T16:39:58 " 2012-10-21T16:40:00 lol 2012-10-21T16:40:12 im going to make love to it 2012-10-21T16:42:25 mleise: im on page 4, and his solver is still slower than jsolve 2012-10-21T16:43:14 well, the author of JSolve told me that it is 1.4 to 2.4 times faster depending on the input 2012-10-21T16:43:28 who is that? 2012-10-21T16:43:41 i bet its your dad 2012-10-21T16:44:04 'son, try to do THAT in D, hahahaha' 2012-10-21T16:44:15 :) 2012-10-21T16:44:53 http://www.setbb.com/sudoku/viewtopic.php?p=15916&mforum=sudoku#15916 2012-10-21T16:45:37 mleise: omg, you revived a 2 years old thread? 2012-10-21T16:45:46 lol, I didn't want to tell you 2012-10-21T16:45:49 who pays attention to a years ol thread? 2012-10-21T16:45:51 but you found out 2012-10-21T16:46:28 mleise: it was easy to find out, you gave me the link 2012-10-21T16:46:31 XD 2012-10-21T16:46:33 Well, to my excuse, I didn't know it was 2 years old and dobrichev was quite thankful to my necromancing skills 2012-10-21T16:51:18 mleise: division vs. multiplication 2012-10-21T16:51:48 " You could brew a coffee in that time." lol 2012-10-21T16:53:10 but these people know so much assembly, that I wonder if they consider C a high-level language 2012-10-21T16:53:44 probably 2012-10-21T16:53:55 D is super high level, they wouldnt use it 2012-10-21T16:54:16 and python is a child's toy 2012-10-21T16:55:00 python is finally going to get coroutines without third party hacks :P 2012-10-21T16:55:25 oh 2012-10-21T16:55:29 why? 2012-10-21T16:55:41 3.3 added yield from and now guido opened 3 proposals about concurrency 2012-10-21T16:55:52 fuck guido 2012-10-21T16:55:54 so they'll add one of them, whichever survives 2012-10-21T16:55:55 lets fork python 2012-10-21T16:56:27 probably the greenlet/gevent-like one 2012-10-21T16:56:37 thestinger: i would rather work on julia 2012-10-21T16:56:44 rust! :P 2012-10-21T16:57:04 rust will.... rust 2012-10-21T16:57:06 a lot nicer since the 0.4 release (removed a lot of the language) 2012-10-21T16:57:20 hehe, language bugs? 2012-10-21T16:57:30 no 2012-10-21T16:57:47 they added a lot of features to experiment and then removed duplicate stuff 2012-10-21T16:57:56 for example they removed records 2012-10-21T16:58:03 because they were redundant 2012-10-21T16:58:46 for a moment I thought I was in #d 2012-10-21T16:59:51 double d 2012-10-21T16:59:54 because of the talk about rust 2012-10-21T17:00:45 *** coeus_ has joined #aichallenge 2012-10-21T17:00:48 i mean double d, as in tits 2012-10-21T17:00:53 just google it 2012-10-21T17:01:07 yes mcstar I got that ^^ 2012-10-21T17:01:13 you got tits? 2012-10-21T17:01:17 awww 2012-10-21T17:01:35 do those push ups marco, tits only good for girls 2012-10-21T17:01:42 I guess I need a drink to survive this 2012-10-21T17:01:47 XD 2012-10-21T17:01:59 fortunate that i dont drink 2012-10-21T17:02:18 you don't ever drink ? 2012-10-21T17:02:32 not really for years 2012-10-21T17:02:49 in half a year, i think i only had 1 alcoholic beer 2012-10-21T17:04:00 *** coeus has quit IRC (Ping timeout: 248 seconds) 2012-10-21T17:07:46 *** Chris_0076 has quit IRC (Ping timeout: 244 seconds) 2012-10-21T17:28:59 *** Saikano has joined #aichallenge 2012-10-21T17:36:13 *** Saikano has quit IRC (Quit: Page closed) 2012-10-21T17:44:49 *** mleise has quit IRC (Ping timeout: 252 seconds) 2012-10-21T18:03:45 *** amstan has joined #aichallenge 2012-10-21T18:03:45 *** ChanServ sets mode: +o amstan 2012-10-21T18:28:03 *** sigh has joined #aichallenge 2012-10-21T18:28:54 *** foRei has quit IRC (Quit: Bye) 2012-10-21T18:39:58 *** antimatroidl has joined #aichallenge 2012-10-21T18:51:00 *** sigh has quit IRC (Remote host closed the connection) 2012-10-21T19:10:51 *** Scooper has quit IRC (Quit: Leaving) 2012-10-21T19:20:54 *** Chris_0076 has joined #aichallenge 2012-10-21T19:23:24 *** mcstar has quit IRC (Quit: mcstar) 2012-10-21T19:41:20 *** sanddbox has joined #aichallenge 2012-10-21T19:41:40 is there going to be a challenge for the rest of this year? 2012-10-21T20:06:26 *** antimatroidl has quit IRC (Quit: Leaving.) 2012-10-21T20:41:14 sanddbox: unlikely 2012-10-21T20:42:09 thestinger: figured as much 2012-10-21T20:42:24 why'd the contest basically shut down? 2012-10-21T20:44:37 well someone has to put in the time to manage it 2012-10-21T21:05:27 *** smjm has joined #aichallenge 2012-10-21T21:05:28 *** smjm has joined #aichallenge 2012-10-21T21:28:12 *** cyphase has quit IRC (Ping timeout: 246 seconds) 2012-10-21T21:47:06 *** amstan has quit IRC (Ping timeout: 246 seconds) 2012-10-21T21:56:29 *** amstan has joined #aichallenge 2012-10-21T21:56:30 *** ChanServ sets mode: +o amstan 2012-10-21T22:42:56 *** cyphase has joined #aichallenge 2012-10-21T23:10:12 *** thestinger is now known as strcat 2012-10-21T23:12:59 *** sanddbox has quit IRC (Quit: Page closed) 2012-10-21T23:17:47 *** strcat is now known as thestinger