00:39 (join) jonrafkind
02:14 (quit) rbarraud: Read error: Operation timed out
02:15 (join) rbarraud
03:16 (quit) emma: Ping timeout: 240 seconds
03:20 (quit) jonrafkind: Ping timeout: 276 seconds
04:01 (quit) hanDerPeder: Quit: hanDerPeder
04:38 (join) hanDerPeder
05:45 (quit) rbarraud: Ping timeout: 252 seconds
06:04 (join) rbarraud
07:17 (join) emma
07:43 (quit) rbarraud: Ping timeout: 240 seconds
09:19 (join) b-man_
09:49 (join) fjl
10:07 (quit) fjl: Quit: Leaving.
10:26 (join) samth
10:55 (join) asumu
11:21 (quit) asumu: Ping timeout: 258 seconds
11:30 (join) asumu
11:59 (quit) hanDerPeder: Quit: hanDerPeder
12:33 (join) jonrafkind
12:34 (join) hanDerPeder
12:56 (join) hanDerPeder_
12:57 (quit) hanDerPeder: Ping timeout: 272 seconds
12:57 (nick) hanDerPeder_ -> hanDerPeder
13:19 (quit) hanDerPeder: Quit: hanDerPeder
13:21 (join) anRch
13:34 askhader: rudybot: (display 1)
13:34 rudybot: askhader:   that means do not display the "Wrote file" message.
13:56 (join) carleastlund
14:17 (join) Sizur
14:18 Sizur: hi guys!  you are doing amazing work!
14:18 Sizur: quick question.  i'm new to racket and just saw datalog and racklog.  what's the difference between the two?
14:29 samth: racklog is an embedding of full prolog-style backtracking in racket
14:29 samth: datalog is a restricted language
14:32 Sizur: racklog superset of datalog?
14:32 samth: sort of
14:32 Sizur: i mean anything you can do with datalog, racklog can do
14:33 Sizur: or is there a usecase of datalog over racklog?
14:33 samth: yes
14:33 samth: first, you can implement datalog differently
14:34 samth: second, it can be easier to understand programs written in a more restricted system
14:34 samth: see the "principle of least power"
14:34 Sizur: for someone who is comfortable with prolog already
14:40 samth: datalog is just a subset of prolog
14:40 samth: so you should already be comfortable with both
14:40 Sizur: i'm reading http://en.wikipedia.org/wiki/Rule_of_Least_Power and his definition of powerfull is quite interesting... i like your description of less constraint better
14:41 Sizur: your less restricted = Tim's more powerfull it seems
14:42 Sizur: but it doesnt really flow in his case.  haskell being an example of a very constrainted system yet arguably more powerfull because is more expressive than c++
14:44 Sizur: another option is that i have no clue of what i'm talking about
14:50 samth: haskell is in some ways more constrained than c++
14:50 samth: you can't muck with random parts of memory
14:50 samth: and you in fact shouldn't use languages where you can do such things unless you need to
14:51 samth: in most senses though, haskell is in the same class as c++
14:52 (quit) jonrafkind: Quit: Ex-Chat
14:53 (join) jonrafkind
14:55 samth: jonrafkind, is ryan around?
14:55 jonrafkind: let me see
14:56 jonrafkind: not here
14:56 samth: darn
15:05 (quit) anRch: Quit: anRch
15:12 Sizur: this is just so great!  make, prolog, macros, all in one
15:21 (quit) b-man_: Ping timeout: 240 seconds
15:50 jay-mccarthy: Sizur: re datalog. datalog is guaranteed to evaluate in polynomial time
15:50 jay-mccarthy: all the restrictions are to enable that guarantee
15:50 jay-mccarthy: THAT is why you choose it rather than prolog.
15:51 jay-mccarthy: my default is to try to use datalog, then escape out if i have to
16:17 (join) hanDerPeder_
17:02 (quit) tcoppi: Ping timeout: 276 seconds
17:04 (join) tcoppi_
17:05 (join) b-man_
17:05 (nick) tcoppi_ -> tcoppi
17:06 (join) Dave920
17:06 Dave920: Hi, someone can tell me how to run ProfessorJ on racket please?
17:06 (join) joshbronson
17:07 Dave920: i can't in find it in "Choose language"
17:08 samth: ProfessorJ is no longer distributed with Racket
17:08 samth: i believe that it's available from planet.racket-lang.org
17:08 samth: but i'm not certain
17:09 jonrafkind: doesnt look like its there
17:09 (quit) joshbronson: Client Quit
17:09 Dave920: i can't find it
17:10 Dave920: uhm, it's possibile to find an old versione of DrScheme with ProfessorJ?
17:10 Dave920: *version
17:12 Dave920: yes it's possibile
17:13 jonrafkind nods
17:14 (quit) hanDerPeder_: Quit: hanDerPeder_
17:14 Dave920: i said too much earlier
17:17 Dave920: noone knows?
17:19 jay-mccarthy: Dave920: I think jonrafkind said yes
17:21 Dave920: ah ok, i don't know what "nods" means
17:21 jonrafkind: you said "yes it's possible" so i was agreeing with you
17:21 jonrafkind: what did you mean by "yes it's possible" ?
17:21 carleastlund: Versions of Racket and PLT Scheme going back many years are all available online.
17:22 Dave920: jonrafkind i said "yes it's possible" but i was wrong, or better i have not find them
17:22 Dave920: carleastlund do you know where?
17:23 samth: http://download.plt-scheme.org/drscheme/all-versions.html
17:23 carleastlund: Sam beat me to it.
17:24 Dave920: oh.. i have not see "other versions" :|||
17:24 Dave920: thank you all ^^
17:25 Dave920: Bye
17:25 (quit) Dave920: 
17:26 jonrafkind: probably professorj should go on planet
17:29 samth: yes, that was the plan
17:29 samth: it just hasn't happened yet
17:30 (quit) asumu: Ping timeout: 272 seconds
18:05 (join) asumu
18:13 (quit) b-man_: Ping timeout: 252 seconds
18:14 (join) b-man_
19:13 (quit) asumu: Ping timeout: 276 seconds
19:48 (join) rbarraud
20:11 (quit) adadglgmut: Max SendQ exceeded
20:12 (join) adadglgmut
20:18 (quit) jonrafkind: Ping timeout: 240 seconds
20:27 (quit) carleastlund: Quit: carleastlund
20:30 (join) jao
20:33 (join) asumu
21:41 (quit) adadglgmut: Quit: Leaving
21:41 (join) offby1
21:41 (join) adadglgmut
23:37 (quit) b-man_: Remote host closed the connection