00:00 (join) mithos28
00:03 (quit) mizu_no_oto: Quit: Computer has gone to sleep.
00:04 (join) mizu_no_oto
00:04 (quit) mizu_no_oto: Client Quit
00:16 (join) yacks
00:20 (quit) gf3: Changing host
00:20 (join) gf3
00:21 (quit) ncw: Remote host closed the connection
00:44 (join) ARCADIVS
00:52 (join) ncw
01:00 (quit) ncw: Ping timeout: 252 seconds
01:14 (join) vkz
01:22 (quit) vkz: Quit: vkz
01:23 (join) jonrafkind
01:31 (quit) pierpa`: Ping timeout: 264 seconds
01:47 (quit) gridaphobe: Ping timeout: 264 seconds
02:02 (join) ncw
02:14 (join) gridaphobe
02:20 (quit) mceier: Quit: leaving
02:22 (quit) Nisstyre-laptop: Ping timeout: 256 seconds
02:22 (quit) gridaphobe: Ping timeout: 248 seconds
02:27 (quit) ncw: 
03:07 (join) asvil
03:13 (quit) jonrafkind: Read error: Operation timed out
03:28 (join) mceier
03:32 (join) snowylike
03:46 (join) basdirks
03:49 (join) hkBst
03:49 (quit) hkBst: Changing host
03:49 (join) hkBst
03:51 (join) pierpa`
04:04 (join) bitonic
04:10 (quit) kvda: Quit: z____z
04:11 (join) kvda
04:11 (quit) kvda: Client Quit
04:17 (quit) DrDuck: Read error: Connection reset by peer
04:29 (quit) snowylike: Quit: Nettalk6 - www.ntalk.de
04:34 (join) vkz
04:38 (join) Gonzih
04:45 (quit) ambrosebs: Remote host closed the connection
05:00 (join) egnarts-ms
05:09 (quit) merijn: Ping timeout: 252 seconds
05:12 (join) BakaKuna1
05:13 (quit) vkz: Quit: vkz
05:16 (quit) racycle: Quit: racycle
05:18 (join) bjz
05:36 (quit) ARCADIVS: Quit: WeeChat 0.3.8
05:37 (quit) cored: Ping timeout: 260 seconds
05:38 (quit) Kaylin: Quit: Leaving.
05:39 (join) cored
05:47 (quit) hkBst: Ping timeout: 258 seconds
05:48 (join) igstan
05:52 (quit) asvil: Read error: Connection reset by peer
05:54 (join) hkBst
06:12 (join) didi
06:12 (join) ambrosebs
06:18 (quit) ambrosebs: Remote host closed the connection
06:19 (join) merijn
06:23 (quit) bjz: Remote host closed the connection
06:25 (join) bjz
06:27 (quit) egnarts-ms: Ping timeout: 245 seconds
06:36 (quit) merijn: Ping timeout: 258 seconds
06:40 (quit) mye: Quit: mye
06:49 (join) merijn
06:53 (quit) merijn: Read error: Operation timed out
06:54 (quit) bitonic: Ping timeout: 260 seconds
07:16 (join) snowylike
07:24 (join) soegaard
07:27 (join) merijn
07:27 (join) aidy
07:27 (join) vkz
07:28 (join) serhart
07:30 (join) Nisstyre-laptop
07:32 (quit) serhart: Ping timeout: 252 seconds
07:32 (quit) Nisstyre-laptop: Read error: Connection reset by peer
07:35 (quit) Gonzih: Ping timeout: 240 seconds
07:37 (quit) merijn: Ping timeout: 264 seconds
07:51 (quit) BakaKuna: Ping timeout: 264 seconds
07:59 (join) Gonzih
08:06 (quit) Gonzih: Ping timeout: 252 seconds
08:23 (quit) yacks: Ping timeout: 264 seconds
08:31 (join) carleastlund
08:40 (join) ambrosebs
08:53 (join) serhart
08:54 (join) jeapostrophe
08:55 didi: Hum, it might be a good idea to make `raco test ...' return ¬0 if a check fails.
08:55 (join) yacks
08:55 (join) ezrios
08:57 didi: This way one could automate tests and easily know with all tests passed or not.
08:58 ezrios: Hi all, if I have a (define id expr) statement in my code, is "expr" re-evaluated every time I have a reference to "id"?
08:58 didi: ezrios: No.
08:58 ezrios: I am wondering because I am trying to reduce the number of calls to a rather expensive operation
08:58 ezrios: didi: So it's evaluated once and the result is forever stored?
08:59 didi: ezrios: Well, I can't think right now in a way that it doesn't.
09:00 ezrios: Hm, curious
09:01 ezrios: I'm working on an assignment with rather stringent time complexity requirements and the only reason I see for my code to be timing out is because I have multiple references to an id which is bound to a pretty time-consuming expression
09:02 didi: ezrios: Are you sure you are not re-computing stuff?
09:10 (join) Gonzih
09:19 (join) merijn
09:24 (join) mye
09:24 (quit) mye: Client Quit
09:30 (join) sstrickl
09:30 (quit) sstrickl: Changing host
09:30 (join) sstrickl
09:30 (quit) jeapostrophe: Ping timeout: 258 seconds
09:37 (join) pierpa``
09:38 samth: didi: the problem with that is that `raco test` doesn't know anything about "failure"
09:38 samth: it just runs a particular submodule
09:38 didi: samth: Aaah... In this case, the "test" submodule.
09:38 samth: didi: yep
09:38 didi: Nifty.
09:39 didi: Although it's printing "testing foo.rkt".
09:39 (quit) BakaKuna1: Ping timeout: 276 seconds
09:39 didi: Someone must know it's testing something.
09:40 (quit) pierpa`: Ping timeout: 264 seconds
09:41 (join) BakaKuna
09:43 samth: right, it just prints that unconditionally
09:45 (join) Demosthe1ex
09:45 didi: samth: I gather that this is a new development because I don't remember seeing it with 5.3.1. Maybe there could be a switch to control this "testing ..." message, so one could infer that everything passed as nothing got print.
09:47 samth: didi: but not every testing framework adheres to that
09:47 samth: but sure, we could add a -q flag for it to be quiet
09:47 samth: in fact, it already exists
09:48 didi: samth: Yeah, I understand. I think the ideal solution would be the return value, but maybe this is a acceptable compromise.
09:48 samth: didi: but how would you determine the return value?
09:48 didi: samth: Like any unix program.
09:49 samth: didi: no, i understand that
09:49 samth: how would raco test know what return value to use?
09:49 didi: samth: Oh, any non 0 would do.
09:49 samth: didi: i understand that too
09:49 samth: didi: what would raco test do to decide whether the tests had passed
09:50 didi: samth: Ah. That I don't know. I just learned that `raco test' runs a submodule. ;^)
09:51 didi: samth: I can't seem to have this `-q' flag. Is this on 5.3.3?
09:51 (join) egnarts-ms
09:51 samth: didi: perhaps its newer than that
09:51 didi: I see.
09:54 (quit) sirdancealot: Ping timeout: 245 seconds
09:58 (quit) BakaKuna: Quit: WeeChat 0.3.8
10:04 (quit) hkBst: Read error: Connection reset by peer
10:04 (join) hkBst
10:04 (quit) hkBst: Changing host
10:04 (join) hkBst
10:08 (join) noelw
10:10 (join) racycle
10:13 (join) bitonic
10:17 (join) netrino
10:17 (quit) netrino: Client Quit
10:20 (join) BakaKuna
10:25 (join) sirdancealot
10:26 (join) jeapostrophe
10:26 (quit) jeapostrophe: Changing host
10:26 (join) jeapostrophe
10:29 stamourv: danking: Works for me in git.
10:30 stamourv: danking: In the REPL at least.
10:31 stamourv: If you put that in a file, it needs to be in #lang racket/load, otherwise, you'll need to adjust the requires to use submodule requires.
10:43 (join) mye
10:48 (quit) jeapostrophe: Ping timeout: 256 seconds
10:50 (join) mizu_no_oto
10:52 (join) RacketCommitBot
10:52 RacketCommitBot: [racket] plt pushed 1 new commit to master: http://git.io/zBi-kA
10:52 RacketCommitBot: racket/master 35a0934 Michael Filonenko: windows: extflonum support...
10:52 (part) RacketCommitBot
10:53 (quit) sirdancealot: Ping timeout: 255 seconds
11:00 (join) sirdancealot
11:11 (quit) mye: Quit: mye
11:11 (join) rcassidy
11:14 (quit) hkBst: Read error: Connection reset by peer
11:15 (join) hkBst
11:20 (quit) bitonic: Ping timeout: 245 seconds
11:24 (join) dyoo
11:25 (quit) soegaard: Quit: soegaard
11:26 (quit) igstan: Quit: igstan
11:28 (join) soegaard
11:29 mithos28: Can some one explain to me why the third case in this is a good test (ie. the desired behavior)? https://github.com/plt/racket/blob/master/collects/tests/typed-racket/succeed/pr13094.rkt
11:29 rudybot: http://tinyurl.com/cy62bzl
11:33 dyoo: mithos28: I don't understand it.  Am I misreading it by thinking that B is unbound?
11:33 mithos28: B is bound by the annotation
11:35 mithos28: Currently B and C are unified into one variable, and I think that is wrong
11:35 (quit) mceier: Quit: leaving
11:35 mithos28: so this turns into (Lambda (BC) (lambda: ((x : BC) (f : (BC -> BC)) (f x)))
11:36 (join) anRch
11:36 mithos28: Where I think it should be (Lambda (B) (Lambda (C ) (lambda ((x : C) (f : (B -> B))) (f x))))
11:45 ambrosebs: mithos28: They look like the same variable, just aliased.
11:45 ambrosebs: weird test
11:47 mithos28: ambrosebs: Right, I'm asking if that is actually the desired behavior. I know it was when asumu wrote the test, because of how the code works. But since I'm changing the code in a breaking fashion I want to confirm that the old way is wrong.
11:47 ambrosebs: what's your change?
11:48 mithos28: Making it so that type variable scoping isn't broken.
11:49 mithos28: It changes from using the expected type to introduce type variables to the annotation
11:50 (join) BakaKuna1
11:50 mithos28: it expands out to something like this now: (Lambda (B) (Lambda (C ) (lambda ((x : C) (f : (B -> B))) (f x))))
11:50 ambrosebs: mithos28: how do you figure out which annotation to use?
11:51 ambrosebs: ah
11:51 ambrosebs: you mean the plambda annotation? Your change stops the expected type from introducing type variables in plambdas?
11:52 ambrosebs: Seems weird but harmless that B is in scope.
11:52 mithos28: The plambda annotation introduces C
11:52 mithos28: The All introduces B
11:53 ambrosebs: Yes.
11:53 mithos28: Currently they are the same variable, I'm changing that to be different variables
11:54 ambrosebs: Aren't they the same variable though?
11:54 ambrosebs: plambda is just aliasing the expected type's type variables.
11:55 mithos28: No, plambda is introducing type variables.
11:55 (quit) sstrickl: Quit: sstrickl
11:55 mithos28: It would introduce them no matter what the expected type is
11:56 ambrosebs: Ahk
11:56 (join) Nisstyre
11:57 ambrosebs: Is it fine to introduce a different number of type variables than the expected All's binder?
11:57 mithos28: I'm actually checking the lambda with the type (B (B -> B) -> B), not (All (B) (B (B -> B) -> B)
11:57 mithos28: ambrosebs: yes
11:58 ambrosebs: mithos28: ah. Looks like you're onto something fishy. :)
11:58 mithos28: actually maybe not
12:01 soegaard: Now 175 Racket examples!   http://rosettacode.org/wiki/Category:Racket
12:01 eli: mithos28: BTW, sorry for not fixing the on-line doc problem, but hopefully my explanation made sense -- I don't see a clean way of fixing it that won't risk problematic layout changes.
12:02 stamourv: Anyone on 32-bit linux?
12:02 soegaard: Solve a task and close in on 200. http://rosettacode.org/wiki/Reports:Tasks_not_implemented_in_Racket
12:03 mithos28: eli: Its ok, I'm working on getting used to using docs.racket-lang.org/search
12:04 eli: mithos28: BTW², maybe it wasn't clear, but the whole thing is generated by an extreme hack that tweaks the generated html files via regexp-replacing and such...
12:04 mithos28: that was not clear
12:04 eli: This is why it's not robust to look for some particular </div> at the end of the navigation section.
12:04 ambrosebs: mithos28: I would have thought this line would enforce the arities match https://github.com/plt/racket/blob/master/collects/typed-racket/typecheck/tc-lambda-unit.rkt#L299
12:05 rudybot: http://tinyurl.com/bsk88cg
12:05 mithos28: ambrosebs: But like I said, I'm no longer checking with a polymorphic type, but one with free type variables
12:05 (join) jeapostrophe
12:05 (quit) jeapostrophe: Changing host
12:05 (join) jeapostrophe
12:06 ambrosebs: mithos28: where does it get instantiated?
12:06 mithos28: Nothing gets instantiated
12:07 mithos28: I'm changing how : annotations introduce type variables
12:07 mithos28: since the old way was very broken
12:08 (quit) anRch: Quit: anRch
12:08 ambrosebs: Oh. Well I've copied that in core.typed, please share the issues
12:09 mithos28: In my version it checks the body of a polymorphically annotated definition with the All removed
12:09 mithos28: with the environment extended with the bindings for the type variables
12:10 ambrosebs: Ok. What made you change the old behaviour?
12:10 mithos28: http://bugs.racket-lang.org/query/?cmd=view%20audit-trail&database=default&pr=13586
12:10 rudybot: http://tinyurl.com/c955twb
12:10 mithos28: That expected values shouldn't introduce bindings
12:11 (join) netrino
12:12 (quit) basdirks: Ping timeout: 256 seconds
12:12 (join) Kaylin
12:13 (quit) Nisstyre: Read error: Connection reset by peer
12:17 ambrosebs: mithos28: does the REPL expect that the form immediately following a : be the corresponding define?
12:18 mithos28: not that I know of
12:18 ambrosebs: ok I understand the description of that issue. What is the last line doing?
12:18 ambrosebs: > h
12:19 ambrosebs: sorry, I *don't* understand
12:20 ambrosebs: It looks like (All (b) (b -> b)) is somehow the expected type of `h`, but I don't see how.
12:22 mithos28: Sorry, The actual problem report is not the thing I'm solving.
12:23 mithos28: Its the discussion afterwords
12:23 ambrosebs: mithos28: my bad
12:23 mithos28: I should have clarified that
12:24 (quit) Gonzih: Read error: Operation timed out
12:26 ambrosebs: wtf that's really weird :/
12:26 mithos28: which is why I am fixing it
12:27 ambrosebs: Is it a serious bug?
12:28 mithos28: What is the sereverity scale I should be ranking on?
12:28 ambrosebs: Does it break the type system in some way?
12:28 ambrosebs: It looks like alpha equivalence from a distance.
12:29 mithos28: Look at asumu's first email on the thread
12:30 (join) Nisstyre
12:31 ambrosebs: mithos28: Ah. Got it. I just looked at the first example before.
12:31 (quit) BakaKuna1: Quit: BakaKuna1
12:33 (join) dauterive
12:35 (quit) Demosthe1ex: Quit: leaving
12:37 (join) jonrafkind
12:37 (quit) hkBst: Quit: Konversation terminated!
12:38 ambrosebs: mithos28: thanks for bearing with me. I don't think it's relevant to core.typed.
12:38 (join) jessemillikan
12:40 ambrosebs: More correctly, I haven't implemented plambda yet, so I'll keep that issue in mind if/when I do,
12:41 (join) anRch
12:42 jessemillikan: Does racket have a colloquial form of unzip2, or a foldl on unzip2? Or should I just use it out of SRFI 1?
12:44 danking: stamourv: Alright, thanks.
12:46 (join) mceier
12:47 jessemillikan: b
12:47 jessemillikan stops mashing keys, sorry.
12:47 (part) jessemillikan: "rcirc on GNU Emacs 24.2.91.1"
12:49 (quit) netrino: Ping timeout: 255 seconds
12:50 (quit) mizu_no_oto: Quit: ["Textual IRC Client: www.textualapp.com"]
12:50 (join) jbclements
12:50 (join) Gonzih
12:51 (join) rndnick42132
12:59 (join) netrino
13:02 (quit) vkz: Quit: vkz
13:02 (quit) cdidd: Read error: Operation timed out
13:02 (quit) egnarts-ms: Ping timeout: 245 seconds
13:03 (quit) ambrosebs: Remote host closed the connection
13:04 (join) vkz
13:04 (quit) jonrafkind: Ping timeout: 252 seconds
13:14 (quit) rndnick42132: Remote host closed the connection
13:20 (quit) parcha_: Remote host closed the connection
13:20 (join) bitonic
13:20 (join) parcha
13:22 (quit) merijn: Read error: Connection reset by peer
13:22 (join) jonrafkind
13:22 (join) gridaphobe
13:22 (join) merijn
13:22 (quit) merijn: Remote host closed the connection
13:25 (quit) Gonzih: Ping timeout: 258 seconds
13:25 stamourv: jessemillikan: I'd use Racket
13:25 stamourv: 's for comprehensions.
13:26 stamourv: rudybot: doc for
13:26 rudybot: stamourv: your sandbox is ready
13:26 rudybot: stamourv: http://docs.racket-lang.org/reference/for.html#(form._((lib._racket%2Fprivate%2Fbase..rkt)._for))
13:26 (quit) anRch: Quit: anRch
13:27 (join) merijn
13:28 (join) ncw
13:33 (join) Gonzih
13:42 (quit) jonrafkind: Ping timeout: 245 seconds
13:45 (quit) noelw: Quit: noelw
13:46 (quit) didi: Ping timeout: 258 seconds
13:52 (quit) jeapostrophe: Ping timeout: 246 seconds
13:52 (quit) snowylike: Quit: Nettalk6 - www.ntalk.de
13:55 (join) RacketCommitBot
13:55 RacketCommitBot: [racket] plt pushed 1 new commit to master: http://git.io/XLgJAQ
13:55 RacketCommitBot: racket/master 06696d6 Robby Findler: add a #:pre keyword to define-metafunction...
13:55 (part) RacketCommitBot
14:02 (join) noelw
14:04 samth: mithos28: the annotation behavior i'm ok with changing in that example, but it should definitely typecheck
14:10 (quit) netrino: Read error: Connection reset by peer
14:13 (quit) bitonic: Ping timeout: 252 seconds
14:23 (quit) noelw: Quit: noelw
14:26 (quit) parcha: Ping timeout: 264 seconds
14:28 (join) parcha
14:30 (join) RacketCommitBot
14:30 RacketCommitBot: [racket] plt pushed 3 new commits to master: http://git.io/eKnpRw
14:30 RacketCommitBot: racket/master 3bf9dd9 Matthew Flatt: fix header-file issues
14:30 RacketCommitBot: racket/master 8122249 Matthew Flatt: avoid compiler warnings
14:30 RacketCommitBot: racket/master 1e31d99 Matthew Flatt: fix non-extflonum build
14:30 (part) RacketCommitBot
14:34 (quit) merijn: Ping timeout: 246 seconds
14:37 (join) bitonic
14:38 (join) basdirks
14:46 (quit) rcassidy: Quit: leaving
14:51 (join) anRch
15:00 (quit) gridaphobe: Ping timeout: 252 seconds
15:06 (join) gridaphobe
15:10 (join) jonrafkind
15:13 (join) rndnick42131
15:13 (quit) gridaphobe: Ping timeout: 264 seconds
15:31 (quit) bitonic: Ping timeout: 264 seconds
15:32 (join) mizu_no_oto
15:37 (join) bitonic
15:38 (quit) mizu_no_oto: Quit: Computer has gone to sleep.
15:41 (quit) serhart: Remote host closed the connection
15:42 (quit) Kaylin: Quit: Leaving.
15:53 (join) merijn
15:54 (join) netrino
15:55 (quit) anRch: Quit: anRch
16:05 (quit) bitonic: Ping timeout: 252 seconds
16:07 (join) ijp`
16:08 (quit) pierpa``: Ping timeout: 264 seconds
16:09 (quit) rndnick42131: Remote host closed the connection
16:10 (quit) ijp: Ping timeout: 252 seconds
16:13 (join) mizu_no_oto
16:15 (quit) merijn: Ping timeout: 256 seconds
16:15 (join) merijn
16:16 (quit) mizu_no_oto: Client Quit
16:18 (join) mizu_no_oto
16:20 (quit) merijn: Ping timeout: 246 seconds
16:21 (join) bitonic
16:22 (quit) netrino: Remote host closed the connection
16:23 (quit) mizu_no_oto: Quit: Computer has gone to sleep.
16:24 (quit) yacks: Quit: Leaving
16:27 (nick) ijp` -> ijp
16:29 (join) jao
16:29 (quit) jao: Changing host
16:29 (join) jao
16:30 (quit) sirdancealot: Ping timeout: 240 seconds
16:35 (quit) Gonzih: Ping timeout: 248 seconds
16:40 (quit) vkz: Quit: vkz
16:40 (join) didi`
16:41 (nick) didi` -> didi
16:47 (join) merijn
16:47 (join) Gonzih
16:49 (join) sirdancealot
17:13 (quit) merijn: Remote host closed the connection
17:13 (join) merijn
17:17 (join) DanBurton
17:18 (quit) merijn: Ping timeout: 245 seconds
17:21 (quit) Fare: Ping timeout: 264 seconds
17:21 (quit) Gonzih: Ping timeout: 252 seconds
17:37 (join) Fare
17:50 (join) gridaphobe
17:52 (quit) Nisstyre: Ping timeout: 246 seconds
17:53 (join) Nisstyre
17:56 (quit) dyoo: Quit: dyoo
17:59 (quit) basdirks: Ping timeout: 260 seconds
18:01 (join) RacketCommitBot
18:01 RacketCommitBot: [racket] plt pushed 1 new commit to master: http://git.io/Es-5ow
18:01 RacketCommitBot: racket/master b40c91e Matthew Flatt: more fixes to avoid warnings
18:01 (part) RacketCommitBot
18:01 (quit) xian: Remote host closed the connection
18:02 (quit) jao: Ping timeout: 260 seconds
18:02 (join) DrDuck
18:06 (join) jao
18:06 (quit) jao: Changing host
18:06 (join) jao
18:08 (quit) bremner: Quit: Coyote finally caught me
18:10 (join) juanfra
18:19 (quit) Nisstyre: Quit: Leaving
18:20 (join) bremner
18:20 (quit) bremner: Changing host
18:20 (join) bremner
18:30 (quit) juanfra: Quit: juanfra
18:33 (join) merijn
18:33 (quit) jao: Ping timeout: 246 seconds
18:38 (join) kvda
18:43 (join) adu_
18:43 (join) jeapostrophe
18:43 (quit) jeapostrophe: Changing host
18:43 (join) jeapostrophe
18:48 (quit) SeanTAllen: Ping timeout: 255 seconds
18:54 (quit) jeapostrophe: Ping timeout: 264 seconds
19:02 bremner: eli: did the opaqueness of defined types in PL change? I feel like the printer used to print something more than the top level type name
19:05 bremner plays with "output style"
19:14 (quit) jonrafkind: Ping timeout: 272 seconds
19:22 eli: bremner: Quick, because I have to run:
19:23 eli: When you did (define-type AE [Num Number] [Add AE AE]), then the types in the pl version from about a month ago were wrong
19:23 eli: For example, the type of `Num' would be `Number -> Num'
19:23 bremner: ooh.
19:23 eli: Now that's fixed, and the type is `Number -> AE'
19:24 eli: This avoids confusion, because `Num' is not available in the pl language.
19:24 eli: And it also avoids a problem with boxes as I said earlier,
19:24 eli: since (box (Num 123)) would be inferred as (Boxof Num) and that's not a subtype of (Boxof AE).
19:24 eli: (roughly)
19:24 (join) RacketCommitBot
19:24 RacketCommitBot: [racket] plt pushed 10 new commits to master: http://git.io/IPkoSQ
19:24 RacketCommitBot: racket/master 616ca51 Ryan Culpepper: documented :stxclass patterns...
19:24 RacketCommitBot: racket/master 91cbbbb Ryan Culpepper: change syntax-parse clause parsing code
19:24 RacketCommitBot: racket/master 9d84c5f Ryan Culpepper: add #:commit, fix other typos
19:24 (part) RacketCommitBot
19:25 eli: And that messed up running code where it gets to boxes in the later version of the interpreter, somewhere around the TOY language.
19:25 eli: In any case, I have to run, so email if there's something else.
19:25 eli: (Or say "eli" here and my bot will alert me...)
19:25 bremner: eli: ok, so there was a change, but to fix a bug, iiuc
19:26 bremner: anyway, you have to run, understood.
19:26 eli: Yes, roughly.
19:26 eli runs
19:27 (quit) bjz: Ping timeout: 264 seconds
19:30 (quit) cored: Ping timeout: 264 seconds
19:31 (join) cored
19:31 (quit) adu_: Quit: adu_
19:36 (quit) carleastlund: Quit: carleastlund
19:39 (quit) cored: Read error: Connection reset by peer
19:45 (join) cored
19:45 (quit) cored: Changing host
19:45 (join) cored
19:47 (quit) cored: Read error: Connection reset by peer
19:50 (quit) jbclements: Quit: jbclements
19:50 (quit) bitonic: Ping timeout: 260 seconds
19:56 (join) Licenser
19:59 (join) walter|r
20:02 (quit) walter: Ping timeout: 264 seconds
20:09 (join) cored
20:09 (quit) cored: Changing host
20:09 (join) cored
20:09 (quit) cored: Read error: Connection reset by peer
20:15 (join) cored
20:15 (quit) cored: Changing host
20:15 (join) cored
20:19 (join) ambrosebs
20:24 (quit) cored: Read error: Connection reset by peer
20:29 (join) cored
20:35 (quit) ncw: Remote host closed the connection
20:35 (join) ncw
20:38 (quit) cored: Read error: Connection reset by peer
20:40 (quit) ncw: Ping timeout: 256 seconds
20:41 (quit) soegaard: Quit: soegaard
20:42 (quit) dauterive: Quit: Leaving
20:43 (join) cored
20:47 (join) SeanTAllen
20:51 (quit) cored: Read error: Connection reset by peer
20:53 (join) mizu_no_oto
21:01 (join) ncw
21:03 (join) cored
21:03 (quit) cored: Changing host
21:03 (join) cored
21:04 (quit) cored: Read error: Connection reset by peer
21:20 (quit) hyko: Read error: Connection reset by peer
21:20 (join) hyko
21:25 (join) Nisstyre-laptop
21:39 (quit) mizu_no_oto: Quit: Computer has gone to sleep.
21:39 (join) cored
21:47 (quit) gridaphobe: Ping timeout: 260 seconds
21:50 (join) ambroseb_
21:50 (quit) ambrosebs: Ping timeout: 245 seconds
21:55 (quit) cored: Read error: Connection reset by peer
21:58 (quit) DanBurton: Remote host closed the connection
22:06 (join) cored
22:07 (quit) kvda: Quit: z____z
22:07 (quit) cored: Read error: Connection reset by peer
22:08 (quit) merijn: Ping timeout: 248 seconds
22:10 (join) cdidd
22:13 (join) cored
22:13 (quit) cored: Changing host
22:13 (join) cored
22:15 (quit) cored: Read error: Connection reset by peer
22:21 (join) cored
22:21 (quit) cored: Changing host
22:21 (join) cored
22:21 (quit) cored: Read error: Connection reset by peer
22:21 (join) mizu_no_oto
22:27 (join) cored
22:27 (quit) cored: Changing host
22:27 (join) cored
22:27 (quit) cored: Read error: Connection reset by peer
22:28 (join) jeapostrophe
22:29 (join) kvda
22:33 (join) cored
22:33 (quit) cored: Changing host
22:33 (join) cored
22:41 (quit) cored: Read error: Connection reset by peer
22:42 (quit) ncw: Remote host closed the connection
22:44 (join) ncw
22:46 (join) cored
22:46 (quit) cored: Changing host
22:46 (join) cored
22:48 (join) adu_
22:49 (quit) mizu_no_oto: Quit: Computer has gone to sleep.
22:50 (quit) cored: Read error: Connection reset by peer
22:50 (quit) ncw: Remote host closed the connection
22:53 (join) ncw
22:54 (join) sizz_
22:54 (quit) jeapostrophe: Ping timeout: 256 seconds
22:54 (quit) sizz: Ping timeout: 248 seconds
22:58 (join) mizu_no_oto
23:01 (quit) mizu_no_oto: Client Quit
23:02 (join) cored
23:02 (quit) cored: Read error: Connection reset by peer
23:05 (nick) adu_ -> adu
23:05 (quit) ncw: Remote host closed the connection
23:11 (join) sizz
23:12 (quit) sizz_: Ping timeout: 245 seconds
23:15 (join) mizu_no_oto
23:16 (join) cored
23:16 (quit) cored: Changing host
23:16 (join) cored
23:16 (join) dyoo
23:25 (quit) cored: Read error: Connection reset by peer
23:26 (quit) mizu_no_oto: Quit: Computer has gone to sleep.
23:26 (join) jao
23:26 (quit) jao: Changing host
23:26 (join) jao
23:27 (join) mizu_no_oto
23:30 (join) cored
23:30 (quit) cored: Changing host
23:30 (join) cored
23:32 (quit) cored: Read error: Connection reset by peer
23:37 (join) cored
23:46 (quit) cored: Read error: Connection reset by peer
23:48 (quit) mizu_no_oto: Quit: Computer has gone to sleep.
23:51 (quit) Nisstyre-laptop: Ping timeout: 264 seconds
23:52 (join) cored
23:52 (quit) cored: Changing host
23:52 (join) cored
23:57 (quit) cored: Ping timeout: 256 seconds
23:58 (join) cored