00:18 (join) neilv
00:21 (quit) cataska: Ping timeout: 245 seconds
00:28 (join) cataska
00:29 (part) ambrosebs
00:58 (join) RacketCommitBot
00:58 RacketCommitBot: [racket] plt pushed 2 new commits to master: http://git.io/kO5Izw
00:58 RacketCommitBot: [racket/master] improve the performance for dragging around items in mrlib/graph - Robby Findler
00:58 RacketCommitBot: [racket/master] fix font resizing performance bug in the traces window - Robby Findler
00:58 (part) RacketCommitBot
01:04 (quit) jeapostrophe: Ping timeout: 246 seconds
01:21 (quit) bjz: Ping timeout: 276 seconds
01:32 (join) nilyaK
01:50 (quit) hash_table: Ping timeout: 256 seconds
02:07 (quit) mceier: Quit: leaving
02:09 (join) scott_
02:09 (quit) scott_: Changing host
02:09 (join) scott_
02:29 (join) bjz
02:33 (join) tfb
02:35 (quit) neilv: Ping timeout: 244 seconds
02:48 (quit) jonrafkind: Ping timeout: 260 seconds
02:57 (join) jyc_
03:06 (join) mceier
03:42 (join) rahul_
03:49 (join) jyc__
03:49 (quit) scott_: Quit: Leaving
03:49 (nick) otterdam -> nototter
03:52 (quit) jyc_: Ping timeout: 260 seconds
03:53 (quit) jyc__: Ping timeout: 260 seconds
04:00 (join) gciolli
04:12 (join) bitonic
04:14 (quit) bjz: Quit: Leaving...
04:22 (join) dzhus
04:23 (quit) nilyaK: Quit: Leaving.
04:24 (quit) gciolli: Ping timeout: 240 seconds
04:30 (join) noelw_away
04:39 (quit) tfb: Quit: sleeping
04:51 (join) SeanTAllen_
04:51 (join) SeanTAllen__
04:51 (quit) SeanTAllen__: Client Quit
04:52 (quit) SeanTAllen_: Client Quit
04:52 (join) SeanTAllen_
04:52 (quit) SeanTAllen_: Client Quit
04:54 (quit) bitonic: Ping timeout: 245 seconds
04:57 (join) bitonic
05:03 (join) DT``
05:04 (quit) rahul_: Quit: Leaving
05:05 (quit) DT`: Ping timeout: 260 seconds
05:05 (join) bjz
05:06 (quit) bitonic: Ping timeout: 272 seconds
05:07 (join) MightyFoo
05:10 (join) gciolli
05:36 (join) rahul_
05:47 (join) wtbKnowledge
05:47 wtbKnowledge: hey
05:48 wtbKnowledge: today's question is about Resolution
05:48 wtbKnowledge: and how can i represent clauses in racket
05:48 wtbKnowledge: basically, how can i implement resolution in scheme/racket ? :/
05:51 noelw_away: Ummm....?
05:52 noelw_away: Well, there are a number of texts/papers that cover implementing logic languages in Racket
05:52 noelw_away: Jay McCarthy has a logic language in Racket
05:52 noelw_away: Perhaps you can use that for inspiration
05:52 (nick) noelw_away -> noelw
05:53 MightyFoo: there is the (require racklog) package
05:53 MightyFoo: and a "#lang" language for that, too
05:53 MightyFoo: seems to do most of what i'd want from Prolog
05:54 (join) neilv
05:54 (quit) neilv: Changing host
05:54 (join) neilv
05:54 MightyFoo: rudybot: doc racklog
05:54 rudybot: MightyFoo: your sandbox is ready
05:54 rudybot: MightyFoo: not found in any library's documentation: racklog
05:54 wtbKnowledge: firstly, thank you for your answer
05:55 wtbKnowledge: I don't have any big assigment to do
05:55 MightyFoo: i'll do it manually then, you lazy droid: http://docs.racket-lang.org/racklog/index.html?q=racklog
05:55 (quit) neilv: Client Quit
05:55 wtbKnowledge: i just wanted to learn how to represent logic data used by resolution in the functional language
05:56 MightyFoo: what is "resolution"? could you give me a reference?
05:58 wtbKnowledge: using my own words of what i understood about resolution.... is using propositional logic to prove given theorems
06:00 MightyFoo: i have found http://www.swi-prolog.org/ to be a nice (and free) implementation of Prolog; worth a look IMO
06:00 MightyFoo: (and then come back to racket)
06:01 wtbKnowledge: thank you for your time
06:01 MightyFoo: np
06:01 wtbKnowledge: i'll give it a try and come back :)
06:01 (quit) wtbKnowledge: Quit: Page closed
06:06 (join) bitonic
06:12 (quit) bitonic: Ping timeout: 246 seconds
06:25 (quit) mceier: Quit: leaving
06:27 (join) bitonic
06:29 (nick) MightyFoo -> tim-brown
06:32 (join) bitonic`
06:33 (quit) bitonic: Ping timeout: 260 seconds
06:42 (join) LOLp
06:43 LOLp: How do i calculate the sum of the first N Numbers in Scheme Source Code is appreciated
06:45 LOLp: Y U NO Answer
06:46 LOLp: Whorainzoone
06:46 LOLp: Ey ihr Mongos jetz schreibt mal
06:46 LOLp: 11111111
06:46 (quit) gciolli: Ping timeout: 260 seconds
06:48 (quit) LOLp: Quit: Page closed
07:06 (quit) bitonic`: Ping timeout: 255 seconds
07:23 (join) mye
07:30 (join) nathanpc
07:37 (quit) rahul_: Ping timeout: 244 seconds
07:40 (join) bitonic`
07:43 (join) ambrosebs
07:49 (nick) bitonic` -> bitonic
07:53 (join) Fare
07:56 (join) didi
07:59 (quit) ambrosebs: Ping timeout: 244 seconds
08:00 (quit) mye: Quit: mye
08:16 bremner: Ah, cuss your way though college for dummies, the self help book I've been meaning to write.
08:21 (join) ambrosebs
08:21 (join) masm
08:21 Haffe: I remember an assignemnt similar to that one.
08:22 Haffe: It was part of a course I helped teach on programming.
08:22 Haffe: Writen an itterative and a recursive program.
08:26 (join) rahul_
08:27 bremner: yup, definitely sounds like programming 101. presumably the real assignment is in one of the teaching languages, otherwise I bet the iterative example is in the racket docs
08:28 tim-brown: there's this if he needs it...
08:28 tim-brown: (define (f n) (let _ ((i n) (a 0)) (if (zero? i) a (_ (sub1 i) (let __ ((x i) (a a)) (if (zero? x) a (__ (sub1 x) (add1 a))))))))
08:28 tim-brown: not sure it's the worlds most efficient implementation
08:29 tim-brown: but it's O(n^2), so at least it runs in polynomial time
08:30 ambrosebs: Some of the Typed Racket folks might enjoy reading  my honours dissertation (I just handed it in for marking, corrections welcome) "A Practical Optional Type System for Clojure"  https://github.com/downloads/frenchy64/papers/paper.pdf
08:30 (join) bitonic
08:31 bremner: oh cool, I know a type-phobic clojure nut who will be completely horrified ;)
08:32 ambrosebs: bremner: yes, most come to Clojure to escape types :)
08:32 ambrosebs: Thankfully, Typed Racket shows how to do it right.
08:33 ambrosebs: So I stole it..
08:43 (join) DT__
08:46 (quit) DT``: Ping timeout: 244 seconds
08:51 (join) jeapostrophe
08:51 (quit) jeapostrophe: Changing host
08:51 (join) jeapostrophe
08:54 (quit) Shvillr: Quit: bye
08:56 (join) Shviller
08:56 (join) hash_table
09:01 (quit) bitonic: Ping timeout: 255 seconds
09:03 (join) bitonic
09:09 rahul_: if a require statement evaluates to #f, what does it mean?
09:10 rahul_: require expression, i should say
09:16 rahul_: also, is there a way to remove a package installed from planet
09:18 didi: rahul_: I never saw `require' evaluate to something. It doesn't mean it doesn't though.
09:20 bremner: rudybot: init racket
09:20 rudybot: bremner: your sandbox is ready
09:20 bremner: rudybot: eval (require plot)
09:20 rudybot: bremner: error: file-or-directory-modify-seconds: `read' access denied for /home/erich/.racket/racket-prefs.rktd
09:20 bremner: oops
09:20 rahul_: The require is for a package from planet. The first time i tried, it downloaded but the installation failed and it returned #f
09:21 rahul_: now it just evals to #f, i don't know how to get the logs again either
09:23 rahul_: (require (planet clements/rsound:4:=0))
09:23 rahul_: ^ if someone cares to try
09:32 (join) mizu_no_oto
09:32 (join) dnolen
09:33 noelw: You can find planet packages in .racket/planet
09:33 noelw: or ~/Library/Racket
09:33 (quit) hash_table: Ping timeout: 255 seconds
09:33 noelw: Dunno about Windows
09:33 noelw: Just find the pkg and delete all its files
09:33 noelw: HTH
09:38 rahul_: i'm on ubuntu fwiw
09:39 didi: rahul_: So ~/.racket/planet apparently.
09:41 (join) mceier
09:42 rahul_: hmm doesn't seem to work. still just #f
09:51 rahul_: found the offending package in ~/.racket/planet/300/5.3/cache
09:53 (quit) sizz: Ping timeout: 244 seconds
09:53 noelw: I think you'll find the install version somewhere else
09:53 noelw: you need to nuke that as well
09:53 (quit) mizu_no_oto: Quit: Computer has gone to sleep.
09:54 (quit) bitonic: Ping timeout: 255 seconds
09:56 rahul_: yes did so, also emailed the package author with the logs
09:57 (join) sizz
10:00 (quit) jeapostrophe: Ping timeout: 265 seconds
10:00 (join) bitonic
10:16 (join) jeapostrophe
10:16 (quit) jeapostrophe: Changing host
10:16 (join) jeapostrophe
10:20 (quit) didi: Ping timeout: 268 seconds
10:20 (quit) rahul_: Quit: Leaving
10:20 (join) rahul_
10:23 (quit) jeapostrophe: Ping timeout: 272 seconds
10:30 (join) mizu_no_oto
10:32 (quit) bitonic: Ping timeout: 240 seconds
10:37 (join) mye
10:37 (quit) mye: Client Quit
10:38 (join) bitonic
10:38 (join) hash_table
10:42 (quit) mizu_no_oto: Quit: Computer has gone to sleep.
10:47 (join) red_trumpet
10:47 red_trumpet: hi :)
10:50 (quit) red_trumpet: Client Quit
10:50 (quit) dnolen: Quit: ERC Version 5.3 (IRC client for Emacs)
10:58 (quit) cdidd: Remote host closed the connection
11:03 (quit) bitonic: Ping timeout: 248 seconds
11:06 (join) bitonic
11:09 (join) mizu_no_oto
11:17 (quit) mizu_no_oto: Quit: Computer has gone to sleep.
11:17 (join) anRch
11:19 (join) mizu_no_oto
11:21 (quit) mizu_no_oto: Client Quit
11:22 (quit) anRch: Ping timeout: 260 seconds
11:23 (join) anRch
11:24 (join) jeapostrophe
11:24 (quit) jeapostrophe: Changing host
11:24 (join) jeapostrophe
11:25 (join) stephenbeck
11:31 (join) mizu_no_oto
11:34 (join) didi
11:56 (quit) ambrosebs: Quit: ambrosebs
11:58 (quit) bjz: Quit: Leaving...
12:01 (quit) jeapostrophe: Ping timeout: 260 seconds
12:02 (quit) sizz: Ping timeout: 240 seconds
12:07 (join) ambrosebs
12:09 (quit) chrxn: Ping timeout: 252 seconds
12:10 (quit) mizu_no_oto: Quit: Computer has gone to sleep.
12:21 (quit) Fare: Quit: Leaving
12:22 (join) jao
12:23 (quit) jao: Changing host
12:23 (join) jao
12:23 (quit) dzhus: Read error: Connection reset by peer
12:23 (join) Shvillr
12:24 (join) ynniv
12:26 (quit) 3JTAAAABE: Ping timeout: 260 seconds
12:32 (join) MayDaniel
12:33 (join) jonrafkind
12:40 (quit) ambrosebs: Quit: ambrosebs
12:41 (join) ambrosebs
12:45 (join) chrxn
12:47 (quit) anRch: Quit: anRch
12:50 (quit) rahul_: Quit: Leaving
12:53 (join) rahul_
13:02 (join) dzhus
13:04 (quit) ynniv: Quit: ynniv
13:05 (join) mizu_no_oto
13:09 (quit) mizu_no_oto: Client Quit
13:31 (quit) jao: Remote host closed the connection
13:40 (quit) rahul_: Ping timeout: 246 seconds
13:52 (join) rahul_
13:54 (quit) ambrosebs: Ping timeout: 256 seconds
13:55 (join) dyoo
13:57 (quit) stephenbeck: Quit: leaving
13:59 dyoo: lolP: (for/sum ([i (in-range N)]) i)
14:00 (quit) rahul_: Quit: Leaving
14:01 (join) rahul_
14:03 (join) ambrosebs
14:07 bremner: long long gone ;)
14:07 (join) ynniv
14:08 dyoo: I suppose so.
14:12 (quit) bitonic: Read error: Operation timed out
14:16 (join) mizu_no_oto
14:18 (quit) jrslepak: Quit: What happened to Systems A through E?
14:24 (join) ianjneu
14:26 ianjneu: my higher order syntax transformer is giving me lip.
14:28 jonrafkind: put it in the corner with a dunce cap
14:29 ianjneu: It's telling me function application is not allowed.
14:30 ianjneu: herp derp (add1 v32) nooooo
14:36 (join) bitonic
14:36 (quit) bitonic: Remote host closed the connection
14:37 (quit) Nisstyre: Read error: Operation timed out
14:41 (quit) ambrosebs: Ping timeout: 252 seconds
14:46 (join) mye
14:50 (quit) mye: Ping timeout: 252 seconds
14:51 (quit) SamB_MacG5: Ping timeout: 255 seconds
14:53 (join) SamB_MacG5
15:07 (join) bitonic
15:07 (join) greghendershott
15:14 (quit) mizu_no_oto: Quit: Computer has gone to sleep.
15:15 (join) mizu_no_oto
15:21 (join) carleastlund
15:27 (quit) bitonic: Ping timeout: 276 seconds
15:31 (join) Nisstyre
15:42 (join) anRch
15:47 (join) bitonic
15:48 (join) jrslepak
15:54 (join) stephenbeck
15:57 (quit) mizu_no_oto: Quit: Computer has gone to sleep.
15:58 (join) mizu_no_oto
16:01 (quit) bitonic: Ping timeout: 260 seconds
16:03 (quit) mizu_no_oto: Quit: Computer has gone to sleep.
16:05 (join) mizu_no_oto
16:07 (quit) mizu_no_oto: Client Quit
16:10 (quit) Kaylin: Read error: Connection reset by peer
16:12 (join) bitonic
16:27 (quit) bitonic: Ping timeout: 255 seconds
16:35 (join) bitonic
16:56 (quit) spanner: Ping timeout: 268 seconds
16:56 (quit) bitonic: Ping timeout: 245 seconds
16:57 (quit) hash_table: Ping timeout: 244 seconds
17:00 (join) mizu_no_oto
17:00 (join) bitonic
17:01 (join) spanner
17:03 (quit) anRch: Quit: anRch
17:03 (quit) creep: Ping timeout: 240 seconds
17:31 (join) bjz
17:34 (quit) jrslepak: Quit: What happened to Systems A through E?
17:48 (join) sizz
17:50 (join) hash_table
17:52 (quit) MayDaniel: Read error: Connection reset by peer
18:05 (quit) didi: Ping timeout: 246 seconds
18:07 (join) jrslepak
18:08 (quit) noam_: Ping timeout: 256 seconds
18:21 (quit) bitonic: Ping timeout: 252 seconds
18:32 dyoo: ozzloy: about your question a few days ago about byte literals: there's another one if you know the bit representation already, using #b.  For example: #b101010
18:35 jonrafkind: ianjneu, did you solve it? likely its just (require (for-syntax racket/base))
18:35 (quit) ianjneu: Remote host closed the connection
18:35 jonrafkind: mmmmk
18:42 (quit) stephenbeck: Quit: leaving
18:44 (quit) jonrafkind: Ping timeout: 260 seconds
18:49 (join) mye
18:50 (join) cdidd
18:53 (quit) dzhus: Ping timeout: 248 seconds
19:00 (quit) ynniv: Quit: ynniv
19:00 (quit) mizu_no_oto: Quit: ["Textual IRC Client: www.textualapp.com"]
19:05 (join) jeapostrophe
19:05 (quit) jeapostrophe: Changing host
19:05 (join) jeapostrophe
19:09 (quit) rahul_: Ping timeout: 260 seconds
19:19 (quit) dyoo: Quit: dyoo
19:21 (quit) jeapostrophe: Ping timeout: 260 seconds
19:24 (join) mizu_no_oto
19:25 (quit) mizu_no_oto: Client Quit
19:26 (join) ynniv
19:27 (quit) bjz: Quit: Leaving...
19:38 (join) didi
19:54 (join) adu
20:04 (join) rahul_
20:07 (join) mizu_no_oto
20:09 (quit) adu: Quit: adu
20:11 (join) bjz
20:19 (join) yoklov
20:20 (join) mye_
20:23 (quit) mye: Ping timeout: 256 seconds
20:23 (nick) mye_ -> mye
20:27 (quit) cdidd: Remote host closed the connection
20:32 (quit) didi: Ping timeout: 268 seconds
20:41 (quit) rahul_: Ping timeout: 244 seconds
20:41 (quit) wtetzner: Ping timeout: 240 seconds
20:44 (join) jeapostrophe
20:44 (quit) jeapostrophe: Changing host
20:44 (join) jeapostrophe
20:57 (join) wtetzner
21:11 (quit) Nisstyre: Ping timeout: 240 seconds
21:19 (quit) acarrico: Ping timeout: 268 seconds
21:37 (quit) nathanpc: Quit: Computer has gone to sleep.
21:37 (join) acarrico
21:51 (join) samth
21:51 (quit) samth: Changing host
21:51 (join) samth
22:04 (quit) acarrico: Ping timeout: 252 seconds
22:07 (quit) mizu_no_oto: Quit: ["Textual IRC Client: www.textualapp.com"]
22:14 (quit) karswell: Read error: Connection reset by peer
22:19 (join) karswell
22:20 (join) acarrico
22:40 (quit) samth: Ping timeout: 252 seconds
22:42 (join) Nisstyre
22:43 (join) dnolen
23:00 (join) adu
23:17 (join) jonrafkind
23:19 (quit) masm: Quit: Leaving.
23:29 (join) neilv
23:59 (join) mizu_no_oto