00:15 (quit) Kaylin: Quit: Leaving. 00:28 (join) scott_ 00:28 (quit) scott_: Changing host 00:28 (join) scott_ 00:34 (quit) jao: Ping timeout: 246 seconds 00:37 (join) _danb_ 00:38 (join) Guest67468 00:38 (nick) Guest67468 -> jao1 00:40 (join) jeapostrophe 00:40 (quit) jeapostrophe: Changing host 00:40 (join) jeapostrophe 00:46 (join) adu 00:48 (join) Nisstyre-laptop 00:57 (join) jonrafkind 01:01 (quit) hash_table: Ping timeout: 246 seconds 01:08 (quit) jeapostrophe: Ping timeout: 248 seconds 01:15 (quit) DT``: Ping timeout: 255 seconds 01:52 (quit) mithos28: Read error: No route to host 01:53 (join) mithos28 01:53 mithos28: does anyone online understand syntax taints? Or is matthew the only one? 01:54 (quit) karswell_: Excess Flood 01:59 (join) karswell_ 02:05 (join) rahul_ 02:39 (join) RacketCommitBot 02:39 RacketCommitBot: [racket] plt pushed 3 new commits to master: http://git.io/DPWldQ 02:39 RacketCommitBot: [racket/master] Eliminate code duplication for futures/non-futures mode - James Swaine 02:39 RacketCommitBot: [racket/master] FV: blocks/syncs on worker threads now show primitive name, etc., - James Swaine 02:39 RacketCommitBot: [racket/master] FV: fix layout bug with timelines containing GC's, add GC - James Swaine 02:39 (part) RacketCommitBot 02:44 (quit) adu: Quit: adu 02:59 (quit) jonrafkind: Ping timeout: 248 seconds 03:06 (quit) mithos28: Quit: mithos28 03:12 (join) mithos28 03:14 (quit) scott_: Quit: Leaving 03:25 (quit) yoklov: Quit: computer sleeping 03:30 (join) RacketCommitBot 03:30 RacketCommitBot: [racket] plt pushed 1 new commit to master: http://git.io/S0GyBg 03:30 RacketCommitBot: [racket/master] New Racket version 5.3.1.2. - Eli Barzilay 03:30 (part) RacketCommitBot 03:30 (join) bitonic 03:53 (quit) bitonic: Remote host closed the connection 03:54 (join) bitonic 04:05 (join) mye 04:05 (quit) mithos28: Quit: mithos28 04:07 (join) jesyspa 04:13 (join) mithos28 04:13 (quit) mithos28: Client Quit 04:27 (quit) cdidd: Read error: Operation timed out 04:52 (join) mithos28 04:54 (quit) mithos28: Client Quit 04:55 (join) anandology 04:58 (join) dzhus 05:00 (quit) didi: Ping timeout: 244 seconds 05:11 anandology: Is it possible to define parameterized types in plai-typed? 05:14 (join) mithos28 05:15 (quit) mithos28: Client Quit 05:47 (quit) bitonic: Ping timeout: 256 seconds 06:11 (quit) chrxn: Ping timeout: 240 seconds 06:20 (join) mithos28 06:25 (join) vkz 06:29 (quit) mithos28: Quit: mithos28 06:33 (join) mithos28 06:33 (quit) rahul_: Quit: Leaving 06:38 (join) no-idea 06:38 no-idea: hello 06:38 mithos28: no-idea: hello 06:38 no-idea: if i wanna ask something regarding racket/scheme language, is it ok to ask here on main ? 06:39 mithos28: yea 06:39 no-idea: i need to solve the NIM game using minimax and racket 06:39 no-idea: but i have trouble representing the state tree 06:40 mithos28: ok, well what describes an individual state? 06:40 no-idea: a way the original number was split 06:41 no-idea: assuming we start with number 7 06:41 no-idea: first 3 possible states are (1 6) (2 5) (3 4) 06:41 mithos28: Ok, how would you represent that? 06:41 no-idea: well i assumed a possible way is 06:42 no-idea: having for each node.... a list of numbers representing the split form of it's parent... + another list of children 06:42 no-idea: but i will end up with countless lists :( 06:42 no-idea: and applying minimax on that seems suicide for me 06:42 mithos28: Don't think about nodes in the tree yet, just describe an individual state 06:43 no-idea: then... each state is described by a split form of the starting number 06:44 mithos28: ok and do you know how to compute all the possible next states from a state? 06:44 no-idea: i think i do... i take the current state and generate all possible splits 06:44 no-idea: 1 1 5 -> 1 1 1 4 and 1 1 2 3 06:45 no-idea: i can do it code-wise too so this isn't my issue 06:45 mithos28: Ok, so what is your issue? 06:45 mithos28: You seem to have a good grasp of the problem 06:46 no-idea: going through all states... assigning scores and applying minimax :) 06:46 no-idea: im pretty attached to imperative programming 06:46 no-idea: and thinking out of the box for functional programming is harder than i have anticipated :P 06:46 mithos28: Ok what are the different cases for scoring a state? 06:47 no-idea: my thought is that.... the more possibilites for future splits we have... the higher the score it is 06:48 no-idea: i don't have issues understanding the problem :) i can probably solve it in C in 20 minutes 06:49 no-idea: but i don't have structs and pointers in racket :P 06:49 mithos28: Have you covered the struct form? 06:49 no-idea: i have no idea what that is :( 06:50 no-idea: im a scheme novice 06:50 mithos28: Are you doing this for a course and are limited to a subset of racket that you were taught? 06:50 no-idea: it's a homework assignment 06:51 no-idea: for an AI class at university 06:51 no-idea: im not limited to anything 06:51 mithos28: ok 06:51 mithos28: rudybot: doc struct 06:51 rudybot: mithos28: your typed/racket sandbox is ready 06:51 rudybot: mithos28: http://docs.racket-lang.org/reference/define-struct.html#(form._((lib._racket%2Fprivate%2Fbase..rkt)._struct)) 06:51 no-idea: thanks 06:51 no-idea: nice trick btw :) 06:52 mithos28: Those will match with your understanding of c structs mostly 06:53 mithos28: except you don't need pointers because the fields can be other structs directly 06:53 no-idea: i'm on it.... thanks for your time 07:07 (quit) mithos28: Quit: mithos28 07:14 (join) tfb 07:23 (join) MayDaniel 07:40 no-idea: quick question :/ 07:41 no-idea: i have a struct "(struct node ( data children ))" 07:41 no-idea: and a member "(define node1 (node ('(1 2) '())))" 07:42 no-idea: and i get : "node1: undefined; cannot reference undefined identifier" 07:42 no-idea: why? :/ 07:52 (join) anandology_ 07:53 (quit) mye: Quit: mye 07:54 (quit) anandology: Ping timeout: 246 seconds 07:54 (nick) anandology_ -> anandology 07:54 (join) mye 08:09 (join) Shvillr_ 08:09 (quit) Shviller: Disconnected by services 08:09 (nick) Shvillr_ -> Shviller 08:11 (join) SHODAN 08:20 (quit) jesyspa: Quit: leaving 08:23 (quit) vkz: Ping timeout: 248 seconds 08:24 (join) gregh` 08:24 (join) anandology 08:24 (quit) gregh`: Client Quit 08:27 (quit) Demosthenex: Quit: leaving 08:32 (quit) mye: Quit: mye 08:33 (join) jao1 08:33 (nick) jao1 -> jao 08:33 (join) jao 08:33 (join) greghendershott 08:36 (quit) tfb: Ping timeout: 260 seconds 08:37 (join) tfb 08:41 (join) bitonic 08:42 (quit) jrslepak: Quit: What happened to Systems A through E? 08:45 (quit) greghendershott: Quit: ERC Version 5.3 (IRC client for Emacs) 08:46 (join) greghendershott 08:46 (quit) greghendershott: Client Quit 08:49 (nick) jao -> jao1 08:51 (join) soegaard_ 08:51 (quit) anandology: Quit: anandology 08:53 (join) greghendershott 08:53 (quit) greghendershott: Client Quit 08:54 (join) greghendershott 08:55 (join) masm 08:58 (quit) greghendershott: Client Quit 09:07 (join) rahul_ 09:08 (quit) no-idea: Quit: Fortune Cookie: "HTTP: 404 Page not found." 09:13 (join) vkz 09:30 (join) jeapostrophe 09:30 (quit) jeapostrophe: Changing host 09:30 (join) jeapostrophe 09:30 (quit) bitonic: Ping timeout: 248 seconds 09:30 (join) mizu_no_oto 09:34 (join) hash_table 09:37 (quit) jeapostrophe: Ping timeout: 256 seconds 09:50 (quit) rahul_: Read error: Connection reset by peer 10:03 (join) dzhus89 10:21 (join) didi 10:23 (join) mye 10:27 (join) bro_grammer 10:28 (join) sizz_ 10:28 (quit) hash_table: Ping timeout: 245 seconds 10:32 (join) rahul_ 10:33 (join) jeapostrophe 10:47 (join) jesyspa 10:54 (quit) soegaard_: Quit: soegaard_ 10:56 (quit) dzhus89: Remote host closed the connection 10:56 (join) dzhus89 10:57 (join) anandology 11:02 (join) soegaard_ 11:04 (join) crundar 11:07 (quit) anandology: Quit: anandology 11:10 (quit) rahul_: Quit: Leaving 11:11 (join) bitonic 11:11 (join) rahul_ 11:11 (quit) rahul_: Client Quit 11:15 (quit) jeapostrophe: Ping timeout: 246 seconds 11:17 (quit) dzhus89: Remote host closed the connection 11:20 (join) cdidd 11:22 (quit) masm: Ping timeout: 255 seconds 11:23 (quit) vkz: Ping timeout: 272 seconds 11:30 (quit) mizu_no_oto: Quit: ["Textual IRC Client: www.textualapp.com"] 11:38 (join) masm 11:38 (join) RacketCommitBot 11:38 RacketCommitBot: [racket] plt pushed 2 new commits to master: http://git.io/i2soTA 11:38 RacketCommitBot: [racket/master] more clean-up for `even?'/`odd?' change - Matthew Flatt 11:38 RacketCommitBot: [racket/master] fix mismanagement of temporary print buffer - Matthew Flatt 11:38 (part) RacketCommitBot 11:46 (join) neilv 11:50 (quit) masm: Ping timeout: 246 seconds 11:51 (join) masm 11:57 (quit) soegaard_: Quit: soegaard_ 12:02 (quit) mye: Quit: mye 12:06 (join) mye 12:06 (join) MayDaniel_ 12:08 (quit) bitonic: Ping timeout: 260 seconds 12:08 (quit) MayDaniel: Ping timeout: 260 seconds 12:18 (join) rahul_ 12:19 rahul_: Is there a way to check if a sequence is empty without checking for its length? 12:20 (join) Shvillr_ 12:20 (join) anandology 12:20 (nick) Shvillr_ -> Shviller 12:21 didi: rahul_: `sequence' as in list? 12:22 didi: Anyway, `empty?' 12:23 (quit) mye: Quit: mye 12:23 (join) mye 12:23 anandology: is it possible to write variable arity functions in plai-typed? 12:24 (quit) mye: Client Quit 12:25 (join) jonrafkind 12:26 (join) mye 12:26 (join) hash_table 12:28 (join) bro_grammer_ 12:30 (quit) bro_grammer: Ping timeout: 260 seconds 12:30 (quit) hash_table: Ping timeout: 246 seconds 12:32 rahul_: didi: a general sequence 12:32 rahul_: cool, empty? works 12:33 rahul_: pardon me, it does not.. 12:35 (join) bitonic 12:36 (quit) masm: Ping timeout: 246 seconds 12:46 (join) vkz 12:52 (quit) SamB_MacG5: Ping timeout: 268 seconds 12:52 (join) soegaard_ 12:53 (join) masm 12:55 (join) SamB_MacG5 12:56 (join) DT` 13:00 (quit) masm: Ping timeout: 246 seconds 13:02 (quit) crundar: Ping timeout: 245 seconds 13:04 (quit) dzhus: Ping timeout: 268 seconds 13:04 (join) mizu_no_oto 13:12 (join) dzhus 13:14 (join) masm 13:20 (quit) jesyspa: Quit: Lost terminal 13:20 (join) jesyspa 13:21 (join) crundar 13:23 rahul_: rudybot: (define (sequence-empty? s) (if (equal? (with-handlers ([exn:fail? (lambda (e) 'fail)]) (sequence-ref s 0)) 'fail) #t #f)) 13:23 rudybot: rahul_: your sandbox is ready 13:23 rudybot: rahul_: Done. 13:23 rahul_: (sequence-empty? '()) 13:23 rahul_: rudybot: (sequence-empty? '()) 13:23 rudybot: rahul_: ; Value: #t 13:24 rahul_: something like this, clearly this implementation is problematic 13:25 didi: According to the manual, a `sequence' encapsulate a broad range of types. 13:25 didi: Even an "exact nonnegative integer". 13:26 didi: It's also strange that it declares them as "an ordered collection of values" and lists a Set. 13:27 didi: When I think about a Set, I think about a unordered collection. 13:27 rahul_: the way i understand it, exact non-negative integers get converted to the corresponding range 13:27 rahul_: this procedure would work for vectors for example 13:27 rahul_: rudybot: (sequence-empty? '#()) 13:27 rudybot: rahul_: ; Value: #t 13:29 rahul_: rudybot: (sequence-empty? "") 13:29 rudybot: rahul_: ; Value: #t 13:29 rahul_: rudybot: (sequence-empty? "a") 13:29 rudybot: rahul_: ; Value: #f 13:29 rahul_: seems to work for strings too 13:30 rahul_: probably works for all sequences since it just uses sequence-ref 13:31 (join) RacketCommitBot 13:31 RacketCommitBot: [racket] plt pushed 1 new commit to master: http://git.io/xiTM1A 13:31 RacketCommitBot: [racket/master] Changed "right" error messages to match new actual error messages. - Stephen Bloch 13:31 (part) RacketCommitBot 13:33 (quit) anandology: Ping timeout: 245 seconds 13:33 (join) hash_table 13:34 (quit) bro_grammer_: Ping timeout: 260 seconds 13:36 (quit) dzhus: Ping timeout: 264 seconds 13:39 (join) dzhus 13:45 (quit) soegaard_: Quit: soegaard_ 13:49 (join) mithos28 13:50 (join) soegaard 13:59 (join) mizu_no_oto_ 14:10 (quit) jonrafkind: Ping timeout: 240 seconds 14:13 mye: why doesn't this work *thinking loud* (regexp-match #rx"[#\u0020-#\u007E]*" "foo") 14:14 neilv: get rid of the # before the \u 14:15 mye: neilv: ah thanks, I was weirded out by the fact that it does match "!" and "\"" but not "a" etc 14:16 neilv: because it was parsed by the regexp compiler as "character `#' OR character in range of \u0020 to `#' OR character \u007E" 14:16 (quit) vkz: Ping timeout: 264 seconds 14:18 (join) yoklov 14:21 (quit) yoklov: Client Quit 14:27 (join) anRch 14:27 (join) jrslepak 14:28 (join) bitonic` 14:31 (quit) bitonic: Ping timeout: 246 seconds 14:40 (quit) mithos28: Quit: mithos28 14:40 (quit) tfb: Quit: sleeping 14:42 (join) jao 14:43 (quit) jao: Changing host 14:43 (join) jao 14:47 (join) jeapostrophe 14:47 (quit) jeapostrophe: Changing host 14:47 (join) jeapostrophe 14:48 (join) mithos28 14:56 (quit) rahul_: Quit: Leaving 14:57 (quit) _danb_: Ping timeout: 248 seconds 15:04 (quit) mizu_no_oto: Quit: ["Textual IRC Client: www.textualapp.com"] 15:11 (join) uselpa 15:13 (quit) didi: Ping timeout: 260 seconds 15:21 (quit) anRch: Quit: anRch 15:30 (quit) bitonic`: Ping timeout: 246 seconds 15:31 (quit) cdidd: Read error: Connection reset by peer 15:34 (quit) masm: Read error: Connection reset by peer 15:39 (join) bitonic` 15:39 (join) didi 15:41 (join) juanfra__ 15:43 (quit) soegaard: Quit: soegaard 15:45 neilv: i'm refactoring a big block of arithmetic code with lots of variables (and at least one bug), and drracket hover arrows and renaming are very helpful 15:51 (join) masm 15:58 (quit) uselpa: Remote host closed the connection 15:59 (quit) mizu_no_oto_: Remote host closed the connection 16:00 (quit) bitonic`: Ping timeout: 246 seconds 16:12 (part) jesyspa 16:15 (join) cdidd 16:25 (quit) crundar: Ping timeout: 245 seconds 16:32 (join) rahul_ 16:34 (join) ssbr__ 16:35 (join) bitonic` 16:36 (join) crundar 16:38 (join) ssbr_ 16:39 (part) Araq 16:42 (quit) ssbr__: Ping timeout: 260 seconds 16:43 (join) scott_ 16:43 (quit) scott_: Changing host 16:43 (join) scott_ 16:58 (quit) mye: Quit: mye 17:04 (quit) jao: Quit: Server buffer killed 17:06 (join) soegaard_ 17:11 (quit) didi: Ping timeout: 265 seconds 17:15 (quit) jeapostrophe: Ping timeout: 264 seconds 17:15 (quit) crundar: Ping timeout: 264 seconds 17:36 (quit) noam_: Ping timeout: 264 seconds 17:37 (join) noam 17:52 (join) jao 17:52 (quit) jao: Changing host 17:52 (join) jao 18:03 (quit) rahul_: Ping timeout: 256 seconds 18:10 (quit) dzhus: Remote host closed the connection 18:12 (quit) soegaard_: Quit: soegaard_ 18:19 (join) jeapostrophe 18:19 (quit) jeapostrophe: Changing host 18:19 (join) jeapostrophe 18:23 (quit) DT`: Read error: Connection reset by peer 18:23 (join) DT` 18:24 (quit) bitonic`: Read error: Connection reset by peer 18:25 (join) bitonic` 18:28 (quit) bitonic`: Read error: Connection reset by peer 18:28 (join) bitonic` 18:30 (join) RacketCommitBot 18:30 RacketCommitBot: [racket] plt pushed 1 new commit to master: http://git.io/TFn7lQ 18:30 RacketCommitBot: [racket/master] add test for unsolved db crash - Ryan Culpepper 18:30 (part) RacketCommitBot 18:31 (quit) bitonic`: Remote host closed the connection 18:40 (join) ioa 18:53 (join) mizu_no_oto 19:08 (join) bitonic 19:36 (quit) Nisstyre-laptop: Ping timeout: 246 seconds 19:37 (quit) MayDaniel_: Read error: Connection reset by peer 19:38 (join) Nisstyre-laptop 19:39 (quit) jeapostrophe: Ping timeout: 252 seconds 20:22 (join) jonrafkind 20:50 (quit) bitonic: Remote host closed the connection 20:50 (join) bitonic 20:53 (quit) mizu_no_oto: Quit: ["Textual IRC Client: www.textualapp.com"] 20:57 (quit) bitonic: Ping timeout: 246 seconds 21:12 (join) racketnub 21:12 racketnub: Does anyone know a way to convert a number into a string? 21:13 neilv: (number->string 42) 21:14 neilv: the documentation search feature is indispensible. i use it throughout the day 21:14 racketnub: Thanks neilv! 21:26 (join) jeapostrophe 21:28 (join) jackhammer2022 21:31 (quit) jeapostrophe: Read error: Connection reset by peer 21:32 (join) jeapostrophe 21:42 (join) RacketCommitBot 21:42 RacketCommitBot: [racket] plt pushed 1 new commit to master: http://git.io/6KWGFA 21:42 RacketCommitBot: [racket/master] Adding in id-cookie library after 19th use in a Web app - Jay McCarthy 21:42 (part) RacketCommitBot 21:54 (quit) masm: Quit: Leaving. 21:54 (join) bro_grammer 21:56 (quit) hash_table: Ping timeout: 248 seconds 21:59 (join) hash_table 22:02 (join) sizz 22:02 (quit) sizz_: Ping timeout: 252 seconds 22:02 (quit) bro_grammer: Ping timeout: 244 seconds 22:22 (quit) scott_: Quit: Leaving 22:34 (quit) racketnub: Ping timeout: 245 seconds 22:37 (join) anandology 22:59 (join) crundar 23:10 (quit) jackhammer2022: Quit: Textual IRC Client: http://www.textualapp.com/ 23:19 (join) didi` 23:22 (nick) didi` -> didi 23:28 (quit) anandology: Quit: anandology 23:31 (quit) Shambles_: Quit: Leaving. 23:33 (join) Shambles_ 23:33 (quit) Shambles_: Client Quit 23:33 (join) Shambles_ 23:38 (quit) Shambles_: Ping timeout: 260 seconds 23:51 (join) Shambles_