00:09:36 http://www.tom.sfc.keio.ac.jp/~sakai/hiki/?CPL 00:10:18 -!- lifthras1ir has changed nick to lifthrasiir. 00:12:01 right object exp(a,b) with curry is ev: prod(exp,a) -> b 00:12:01 end object; 00:12:05 that's how to implement lambda 00:13:21 -!- BeholdMyGlory has quit (Remote host closed the connection). 00:24:57 Sgeo_: just tie a loose knot in the cord. 00:25:35 -!- charlls has quit (Ping timeout: 246 seconds). 00:50:35 -!- Oranjer has left (?). 01:08:45 I need to be up at ~9am. 01:08:48 Meh. 01:08:56 bye 01:11:07 hi 01:11:16 oerjan you like my link 01:11:18 :) 01:12:11 um i suppose 01:16:34 :( 01:22:20 -!- dixon has quit (Quit: Leaving). 01:25:55 http://pastie.org/892789.txt?key=t975zsuwf3eij1003wwq In which I prove, in 57 labourous lines, that the cardinality of (option T) (i.e. T with an extra element None) is the cardinality of T plus 1, for both finite and infinite types. 01:26:02 Axioms used: 01:26:06 Axiom Proof_Irrelevance : forall P : Prop, forall x y : P, x = y. 01:26:06 Axiom One_Cardinality : forall T, forall c, T |=| c -> forall d, T |=| d <-> d = c. 01:26:16 I'm certain I could eliminate the former - even though it is totally reasonable - 01:26:22 and I think I could eliminate the latter with some trickery. 01:26:30 Apart from that, it's all bijections. 01:27:21 * fax bites oerjan 01:27:36 and yes I am aware that all of this is ridiculously verbose 01:28:02 ouch 01:32:05 -!- oerjan has quit (Quit: Excuse me, I seem to be in need of a rabies shot). 01:35:11 Got rid of proof irrelevance. 01:36:49 What language are you proving this stuff in? 01:37:34 Aliseese. 01:39:07 Coq. 01:39:17 See http://pastie.org/892789.txt?key=t975zsuwf3eij1003wwq though it's much better now. 01:41:54 Is the Haskell style of separating IO from other stuff a good rule to follow in other languages? 01:42:44 Sgeo: btw 01:42:51 Sgeo: I wouldn't say that haskell seperates them at all 01:43:07 Sgeo_: of course. 01:43:47 you can do pure functions like [IO a] -> [IO a] or whatever 01:44:05 uorygl: Here's the current code: http://pastie.org/892810.txt?key=eesyermgmbltv9jhbhk8eq 01:44:41 I've heard that it's good practice to treat IO and -> as different things. 01:44:49 And in Haskell, they are! How neat is that? 01:45:01 uorygl: And here is the totally gnarly lambda term Coq spits out for option_adds_one: http://pastie.org/892808.txt?key=b7m1ufymznbtw8hospsziw 01:45:08 -!- zzo38 has joined. 01:45:38 All that just to prove that |a+1| = |a|+1. 01:45:50 (Cardinality, of course; not absolute value.) 01:46:00 Let's see if you can figure out this one... http://golf.shinh.org/p.rb?Check+for+brainwave+activity 01:46:09 zzo38: http://pastie.org/892810.txt?key=eesyermgmbltv9jhbhk8eq 01:46:33 alise_: Application error 01:46:42 hi zzo 01:46:49 zzo38: Howso? 01:47:04 Are you just not cool enough for my awesome proof? :| 01:47:15 I get a 500 error when accessing that URL 01:47:29 !bf ++++++++++++++++[>++>+++>++++>++++++>++++++>+++++++>++++++++<<<<<<<-]+++++++++++++++++>>>>++++.>>++++++.<<<<<++.>>>>>++++++++..>+++.<--.++++++++.>----.>-.<<--------.>>-.<<++++.<<<<.>>>>----.++.>>--.<-----.>++.<.>--.+++++.<<<<<<.>>>>+.+.>>-----.<<.--.>>.<<++.--------.<<<+.<..>>+++++.>>--.>>-------.+++.++.<.+++++.<+++++.<<<. 01:47:35 zzo38: Did you include the ?key= part? 01:47:42 Perhaps try refreshing. 01:47:58 Yes I did. But now I found out what was wrong and now I can view it 01:48:11 I just forgot the "q" at the end. 01:48:45 Check for brainwave activity? 01:48:48 I clearly don't have any 01:48:52 I have no idea what this means 01:49:05 you're supposed to write a short program that does something :D 01:49:06 I mean the computer's brainwave activity. 01:49:10 You have 01:49:22 Wow, that actually got sent. 01:49:32 You have a strange definition of cardinality. 01:49:35 The computer doesn't have any brainwave activity 01:49:44 so it just needs to print No brainwave activity detected. Aborting.? 01:49:56 print "No brainwave activity detected. Aborting." ? 01:50:06 zzo your puzzles are WAY too hard for me :D 01:50:09 That works, but see if there are other ways... 01:50:15 uorygl: Howso? 01:50:25 In dependent type theory, there are only finite cardinalities and Aleph_0. 01:50:28 There is nothing bigger than the rationals. 01:50:45 I guess that sounds consistent enough. 01:50:50 Well, you can't actually prove any properties about the cardinality of functions (but postulating a bijection (A -> B) -><- nat is consistent) 01:51:05 Error: empty file 01:51:06 :( 01:51:08 Well, why not. 01:51:10 uorygl: it's because the set of algorithms is countably infinite - and we do computable reals 01:51:12 which are just functions 01:51:47 Have it print characters for 1+1=, and if it magically inputs 2, there's brainwave activity? 01:51:56 even (list T) is Aleph_0 -- T must be Aleph_0 or less, so it has a bijection to-fro naturals. Transform to naturals. 01:52:07 1 = unary natural digit; 0 = list separator. 01:52:32 Hmm, I just realized that my last message could also be interpreted as "Well, why not?" 01:53:09 I meant "Well, upon taking that into account, I see no reason not to have only one infinite cardinality". 01:53:24 so TONAT[[1,2],[3,4]] = TONAT[TONAT[1,2], TONAT[3,4]] = TONAT[1011, 11101111] = 11111111111011111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111 01:53:47 Which is, admittedly, not the shortest representation. 01:53:51 It would make Godel proud. 01:54:00 1+1=2 is not brainwave activity, as far as I know. Try again. 01:54:32 do brainwave exist? 01:54:41 uorygl: Fin, of course, is the type of infinite types; Fin n is the type with n elements. 01:54:48 erm 01:54:49 of finite types 01:55:12 Searches for a file known.. wait, the program itself is what takes in a BF program? 01:55:28 fax: Yes, brainwave exist and I can measure it. But the computer doesn't have any, it isn't hook to hardware to process brainwaves nor software to generate brainwaves. 01:55:43 So, I'm going now until Friday again. Anyone want to lavish praise on my cardinalities? 01:56:08 Sgeo_: You can try that if you want 01:56:12 #include 01:56:12 int main(void){puts("No brainwave activity detected. Aborting.");return 0;} 01:56:16 this got accepted o 01:56:45 main(){puts("No brainwave activity detected. Aborting.");} 01:56:48 Yes, it definitely works, but it is long. 01:56:51 If the BF program is optimized in superficial ways, it wasn't optimized by a computer, therefore a human made it 01:56:52 So, nobody has anything to say? 01:57:04 Sgeo_: It's tradition for you to say goodbye, asshole! 01:57:15 Sorry, alise. Hope things improve 01:57:18 Yay! 01:57:21 we are meant to use this brainfuck string as input to make the program print this output 01:57:21 Goodbye, folks. 01:57:25 bye 01:57:28 Seeya 'round n round n round n stack overflow 01:57:31 -!- alise_ has quit (Quit: Leaving). 01:57:55 fax: Try that if you want... 01:58:09 I have fooled alise_, for I am not Sgeo_, but Sgeo! 01:58:13 -!- Sgeo_ has changed nick to sGEO. 01:58:15 -!- sGEO has changed nick to Sgeo. 01:58:21 * Sgeo is in a silly mood 01:59:48 zzo I am so confused :P 02:01:07 Maybe pseudo-interpret the BF 02:01:39 13 chars of Bash 02:02:14 Clearly, the string isn't embedded in zzo's Bash solution 02:16:59 What does it mean to "pseudo-interpret the BF" in your opinion? 02:20:56 -!- Gracenotes has joined. 02:21:27 -!- fax has quit (Quit: Lost terminal). 02:22:30 -!- rosyd1279 has joined. 02:23:22 -!- rosyd1279 has left (?). 02:26:09 -!- Oranjer has joined. 02:31:46 I thought if there were no loops, just a BF interpreter that doesn't read loops. But there are loops 02:44:41 -!- zzo38 has quit (Remote host closed the connection). 03:01:30 what's wrong with wireless mice? 03:01:59 in my experience wireless mouse >>>>>>>>>>>>>>>>>>>>>>>>>> mouse with cord 03:02:26 -!- adu has joined. 03:02:38 good night ~> 03:03:37 how do I write programs in several languages? 03:33:52 If several = 0, then stop. Otherwise, write a program in one language, then write programs in (several - 1) languages. 03:34:31 Or do you mean a single program that is valid in several languages? 03:35:21 Well, 君は utilisar multaj итак. 03:39:43 I like this polyglot with its contrived comment markers: http://ideology.com.au/polyglot/polyglot.txt 03:40:21 CuG #%* The comment goes here, and, I imagine, must always be of exactly a certain length. *+Ex= 03:40:53 I guess there are also block comment markers around the whole thing. 03:41:11 Why are the blank spaces at the beginning important? 03:42:38 -!- Oranjer has quit (Quit: Leaving.). 03:43:01 I THINK THAT POLYGLOT IS UTTER_XYZZXX! 03:43:24 Probably the postscript. 03:43:27 I don't even get it 03:43:44 why does the C compiler accept (*0); 03:44:07 Because that's a valid expression, I guess. 03:44:23 0 is the null pointer, right? 03:44:23 not a global scope 03:44:31 *at 03:44:43 It, uh, dereferences the null pointer? 03:44:49 Or maybe it's O? 03:44:56 That's O. 03:44:58 oh yeah, it is 03:45:03 so it's a declaration of a pointer to int 03:45:24 Bah, that's no 0. 03:45:36 huh? 03:45:42 that's a star-identifier 03:45:51 I still don't get (*O 03:46:00 Sgeo: there 03:46:04 *there's a ); after the comment 03:46:10 in C, this is a declaration of a pointer to int named O 03:46:32 the "that's a star-identifier" comment was my witty response to pikhq's "that's no 0" 03:46:49 * Sgeo mindboggles 03:47:04 pikhq didn't say that. 03:47:20 oh wait, yeah, that was uorygl 03:47:28 COBOL accepts CuG #% as a line number? 03:47:49 I don't know and I don't want to 03:48:20 * Sgeo tortures coppro with an identification division. 03:48:50 http://ideology.com.au/polyglot/x86/ Ah. 03:49:14 Oh, that's cool 03:49:45 The whitespace is needed for the x86 *machine code*. 03:50:00 Erm. Assembly? Doesn't look like assembly. 03:50:17 How does the C get away with not having an ending.. oh, I missed it 03:50:59 WTF does CuG mean to a shell script? 03:51:23 Presumably, it means you run CuG. 03:51:36 Now write a polyglot quine in /// and BF. 03:51:54 Sgeo: It looks like a bunch of commands that get the stderr shoved into _$$. 03:51:59 http://ideology.com.au/polyglot/shell/ 03:52:02 Yeah, really. 03:52:14 * Sgeo sees it 03:52:15 I guess that's pretty easy. Write a quine in BF; it will also be a quine in ///. 03:52:42 * Sgeo wonders what languages an empty source file ISN'T a quine in 03:52:43 Now write a non-trivial polyglot quine in /// and BF. 03:52:59 COBOL probably, and Homespring 03:53:27 There are lots of languages where a program is not simply a series of statements. 03:53:51 * Sgeo reads the Homespring standard 03:54:22 * Sgeo attempts to get the standard to load 03:57:37 I must admit, I'm rather proud of ///. It's really simple, it's Turing-complete in a totally non-obvious way, and all data is essentially stored within the program's source code. 03:58:10 Link? 03:58:19 Searching on the esolang wiki for three slashes is a pain 03:58:34 The page is called Slashes. 04:00:29 "This allows you to avoid worrying about program style and focus on what programming is really about, the reproductive behavior of salmon." 04:00:39 (not Slashes) 04:02:34 A random sentence from the Homespring spec: "However, it does not proscribe the same behaviour as the official interpreter in every case." 04:03:04 This makes me want to write a language called Proscription, where every program's behavior is completely undefined, except that one particular behavior is proscribed. 04:03:27 "This program does anything but output Hello, world!" 04:03:27 Hm, are there nicer ways to write 99.. no, of course there aren't 04:03:36 In which language? 04:03:46 /// 04:04:50 Write a version that takes advantage of all redundancy. 04:04:58 Let me think... 04:05:37 "X bottles of beer on the wall / X bottles of beer / Take one down, pass it around / X bottles of beer on the wall /// X bottles of beer on the wall ..." 04:06:30 So the fundamental strings there are "bottles of beer", "on the wall", and "Take one down, pass it around"; you can probably find some more redundancy in the line breaks. 04:06:43 Of course, "bottles of beer" sometimes becomes "bottle of beer". 04:07:07 * Sgeo meant in particular with the digits 04:07:11 Then find a way to programmatically decrement a natural number. 04:07:39 Pretend you're writing in Thue. Then find the best way to translate your Thue to ///. 04:07:49 Which is really difficult, of course. 04:16:43 I wonder how one might turn /// into a language capable of arbitrary I/O behavior. 04:17:16 Monads! 04:17:17 04:18:51 Let's say that | is an input token and running it causes a character of input to be stuck at the end of the program, followed by | 04:19:45 s/character/byte/; we don't want to require ultra-longnesses in order to be able to recognize every possible character. 04:20:19 let's not 04:20:29 Why the extra |? 04:21:24 If we didn't somehow mark the input, then it might be the case that there are always two pieces of input that do the same thing. 04:21:38 * Sgeo wonders how you'd write a BF interpreter (minus , and .) in vanilla /// 04:22:25 After all, if you're replacing one string wholesale with another, the two strings behave the same way. 04:28:28 * Sgeo is confused 04:46:28 If your program contains /foo/bar/, how is it supposed to distinguish between foo and bar? 04:55:26 -!- adu has quit (Quit: adu). 05:19:24 -!- augur has joined. 05:24:31 -!- augur has quit (Ping timeout: 246 seconds). 05:31:33 -!- MizardX has quit (Ping timeout: 240 seconds). 05:39:47 -!- augur has joined. 06:05:59 * coppro wants a good programming game to play 06:07:57 Sgeo: you usually have these sorts of links 06:08:09 Oh, hi 06:08:21 Besides RoboZZle? 06:08:23 yeah 06:08:30 played that too much 06:08:48 http://tvtropes.org/pmwiki/pmwiki.php/Main/ProgrammingGame is where I found RoboZZle from 06:08:53 I know 06:09:04 Other than that, I'm not sure 06:09:22 Scripting in Second Life entertains me sometimes 06:12:18 http://www.introversion.co.uk/darwinia/ I'm not sure if it's a programming game, I haven't tried it myself 06:12:29 That company does make a Hollywood-style hacking game though, so :/ 06:17:03 * Sgeo pokes coppro 06:17:34 looks unexciting 06:18:55 I remember seeing one about controlling.. a rover in 3d, I think? Can't seem to find it 06:21:37 kiki the nano-bot? 06:21:45 not really a programming game 06:22:11 I guess I could just play DROD 06:22:43 There's that defunct LEGO game. 06:22:49 Unfortunately, that defunct LEGO game is defunct. 06:23:08 "Firefox 3.0? Your browser is obsolete! Please upgrade to Netscape Navigator 4.0!" 06:24:53 heh 06:25:58 http://nerogame.org/ 06:26:05 Don't know how much programming's actually involved 06:26:30 More training neural nets I think 06:26:58 http://www.ceebot.com/colobot/index-e.php This is what I was thinking of 06:30:03 thanks 06:30:59 yw 06:34:36 -!- coppro has changed nick to Helium_Dragon. 06:34:59 -!- Helium_Dragon has changed nick to Copernicium_Drag. 06:35:59 -!- Copernicium_Drag has changed nick to Carbon_Dragon. 06:39:58 -!- tombom has joined. 06:40:53 -!- MaXo2 has quit (Quit: anéfé). 06:41:11 -!- Carbon_Dragon has changed nick to coppro. 06:50:27 -!- FireFly has joined. 07:13:03 -!- yiyus has quit (*.net *.split). 07:13:03 -!- Gracenotes has quit (*.net *.split). 07:13:05 -!- oklofok has quit (*.net *.split). 07:13:05 -!- pikhq has quit (*.net *.split). 07:13:06 -!- sshc has quit (*.net *.split). 07:13:07 -!- Gregor has quit (*.net *.split). 07:13:07 -!- olsner has quit (*.net *.split). 07:13:07 -!- augur has quit (*.net *.split). 07:13:07 -!- jcp has quit (*.net *.split). 07:13:07 -!- pineapple has quit (*.net *.split). 07:13:08 -!- cheater3 has quit (*.net *.split). 07:13:09 -!- Leonidas has quit (*.net *.split). 07:13:09 -!- mycroftiv has quit (*.net *.split). 07:13:10 -!- ineiros has quit (*.net *.split). 07:13:10 -!- werdan7_ has quit (*.net *.split). 07:13:11 -!- Quadrescence has quit (*.net *.split). 07:13:11 -!- jix has quit (*.net *.split). 07:13:11 -!- rodgort has quit (*.net *.split). 07:13:11 -!- chickenzilla has quit (*.net *.split). 07:13:12 -!- mtve has quit (*.net *.split). 07:13:12 -!- lifthrasiir has quit (*.net *.split). 07:13:12 -!- uorygl has quit (*.net *.split). 07:13:12 -!- SimonRC has quit (*.net *.split). 07:13:13 -!- Deewiant has quit (*.net *.split). 07:13:13 -!- sebbu has quit (*.net *.split). 07:13:13 -!- EgoBot has quit (*.net *.split). 07:13:13 -!- HackEgo has quit (*.net *.split). 07:13:13 -!- FireFly has quit (*.net *.split). 07:13:13 -!- tombom has quit (*.net *.split). 07:13:14 -!- AnMaster has quit (*.net *.split). 07:13:14 -!- wareya has quit (*.net *.split). 07:13:15 -!- bsmntbombdood has quit (*.net *.split). 07:13:15 -!- comex has quit (*.net *.split). 07:13:15 -!- Ilari has quit (*.net *.split). 07:30:32 -!- FireFly has joined. 07:30:32 -!- tombom has joined. 07:30:32 -!- augur has joined. 07:30:32 -!- Gracenotes has joined. 07:30:32 -!- jcp has joined. 07:30:32 -!- cheater3 has joined. 07:30:32 -!- oklofok has joined. 07:30:32 -!- pineapple has joined. 07:30:32 -!- yiyus has joined. 07:30:32 -!- Deewiant has joined. 07:30:32 -!- ineiros has joined. 07:30:32 -!- sebbu has joined. 07:30:32 -!- mtve has joined. 07:30:32 -!- werdan7_ has joined. 07:30:32 -!- lifthrasiir has joined. 07:30:32 -!- uorygl has joined. 07:30:32 -!- Leonidas has joined. 07:30:32 -!- SimonRC has joined. 07:30:32 -!- AnMaster has joined. 07:30:32 -!- sshc has joined. 07:30:32 -!- mycroftiv has joined. 07:30:32 -!- Quadrescence has joined. 07:30:32 -!- pikhq has joined. 07:30:32 -!- wareya has joined. 07:30:32 -!- EgoBot has joined. 07:30:32 -!- HackEgo has joined. 07:30:32 -!- jix has joined. 07:30:32 -!- rodgort has joined. 07:30:32 -!- chickenzilla has joined. 07:30:32 -!- olsner has joined. 07:30:32 -!- Gregor has joined. 07:30:32 -!- bsmntbombdood has joined. 07:30:32 -!- comex has joined. 07:30:32 -!- Ilari has joined. 07:52:38 -!- tombom has quit (Quit: Leaving). 07:59:59 -!- clog has quit (ended). 08:00:00 -!- clog has joined. 08:00:25 -!- FireFly has quit (Quit: Leaving). 08:03:26 -!- jcp has quit (Quit: I will do anything (almost) for a new router.). 08:40:02 Sgeo: Darwinia isn't a programming game 09:23:55 -!- AnMaster has quit (Read error: Operation timed out). 09:24:21 -!- Ilari has quit (Read error: Operation timed out). 09:24:30 -!- AnMaster has joined. 09:24:36 -!- Ilari has joined. 09:59:37 -!- lereah_ has joined. 10:05:09 -!- oerjan has joined. 10:17:00 I wonder how one might turn /// into a language capable of arbitrary I/O behavior. 10:17:32 um, Itflabijtslwi is linked right there on the Slashes page... 10:18:33 (sp) 10:22:21 Let's say that | is an input token and running it causes a character of input to be stuck at the end of the program, followed by | 10:23:13 i think this will be harder to use, you would essentially _have_ to match all character possibilities to do anything with it 10:24:10 because you cannot substitute on just | without ruining all future iterations 10:25:08 btw yes, /// is great :) 11:20:00 -!- oerjan has quit (Quit: leaving). 11:26:40 -!- cheater3 has changed nick to cheater. 12:58:10 -!- FireFly has joined. 13:11:07 -!- cheater2 has joined. 13:13:01 -!- cheater has quit (Ping timeout: 264 seconds). 14:29:12 -!- MigoMipo has joined. 14:38:17 -!- MizardX has joined. 14:52:38 -!- hiato has joined. 15:09:15 -!- ais523 has joined. 15:28:01 -!- BeholdMyGlory has joined. 15:39:41 -!- adam_d has joined. 15:44:53 -!- charlls has joined. 15:54:45 -!- MizardX has quit (Read error: Connection reset by peer). 16:00:58 -!- MizardX has joined. 16:28:54 -!- augur has quit (Ping timeout: 240 seconds). 16:59:44 -!- lereah_ has quit (Quit: Leaving). 17:03:55 -!- jcp has joined. 17:12:26 -!- hiato has quit (Quit: underflow). 17:43:49 -!- kar8nga has joined. 17:48:50 -!- tombom has joined. 17:52:48 -!- dev_squid has joined. 17:52:54 Hey guys. 17:53:18 Hey, I have a really neat idea for an esolang. Just wanted to see what you guys thought of it. 17:55:37 -!- adam_d has quit (Ping timeout: 252 seconds). 17:56:02 What about an asm-esque language that runs on a hypothetical stack machine which uses a Harvard architecture; the unique thing about it is that both code -and- data space is a stack, and code can be treated just like stack data. I was thinking about having a conditional swap which would allow you to create pretty neat conditional loops. 17:56:34 I think it's leetsauce...but that's just me. :) 17:57:07 something neat would be adding unit testing into the language 17:57:49 for example, a class can extends some class, implement some interface, or *support* some functionality which is in itself a testing declaration 17:58:32 something like class Service implements iService supports Scalable, ThreadSafe 17:58:56 where Scalable is an abstract test case declaration 17:59:20 but defines explicit tests to be made that certify that certain class supports it 17:59:41 -!- Gracenotes has quit (Ping timeout: 276 seconds). 18:06:41 o_O ? 18:07:57 -!- charlesq__ has joined. 18:11:02 -!- charlls has quit (Ping timeout: 258 seconds). 18:17:20 -!- Gracenotes has joined. 18:27:35 -!- charlls has joined. 18:31:20 -!- charlesq__ has quit (Ping timeout: 258 seconds). 18:58:02 -!- Asztal has joined. 19:44:37 -!- kar8nga has quit (Ping timeout: 276 seconds). 19:47:31 -!- oerjan has joined. 19:50:35 -!- charlesq__ has joined. 19:51:48 -!- charlls has quit (Read error: Connection reset by peer). 19:52:45 -!- ais523 has quit (Remote host closed the connection). 19:52:51 -!- charlesq__ has quit (Read error: Connection reset by peer). 20:07:38 -!- sebbu2 has joined. 20:09:08 -!- sebbu has quit (Ping timeout: 258 seconds). 20:09:09 -!- sebbu2 has changed nick to sebbu. 20:18:03 -!- fizzie has quit (Quit: Coyote finally caught me). 20:19:32 -!- pikhq has quit (Read error: Connection reset by peer). 20:19:53 -!- pikhq has joined. 20:30:57 -!- atrapado has joined. 20:34:43 -!- adam_d has joined. 20:38:06 -!- charlls has joined. 20:42:23 -!- sebbu2 has joined. 20:43:24 -!- jcp has quit (Quit: I will do anything (almost) for a new router.). 20:44:13 -!- sebbu has quit (Ping timeout: 264 seconds). 20:48:11 -!- sebbu2 has quit (Ping timeout: 258 seconds). 20:49:05 -!- sebbu has joined. 20:52:24 -!- sebbu2 has joined. 20:52:40 -!- Oranjer has joined. 20:53:33 -!- sebbu has quit (Ping timeout: 240 seconds). 20:53:33 -!- sebbu2 has changed nick to sebbu. 20:59:02 -!- isch has joined. 20:59:51 -!- isch has left (?). 21:30:58 -!- fizzie has joined. 21:45:30 -!- adam_d has quit (Ping timeout: 245 seconds). 21:48:47 -!- cheater2 has quit (Ping timeout: 260 seconds). 21:50:42 -!- cheater2 has joined. 22:08:02 -!- MigoMipo has quit (Remote host closed the connection). 22:28:49 -!- tombom has quit (Quit: Leaving). 23:18:29 -!- s_h has joined. 23:18:56 -!- s_h has left (?). 23:25:30 -!- charlls has quit (Quit: Saliendo). 23:49:14 -!- sshc has quit (Quit: leaving). 23:52:39 -!- FireFly has quit (Quit: Leaving). 23:56:20 -!- BeholdMyGlory has quit (Remote host closed the connection).