[08:32] booooooore [10:43] Join: fiveop joined #corewars [11:32] fukken hell [11:47] i r bored [13:52] MSG: Quit: humhum [13:53] Join: fiveop joined #corewars [13:54] MSG: Client Quit [13:54] Join: fiveop joined #corewars [16:39] Join: Core_old joined #corewars [17:44] Join: Fluffy joined #corewars [17:44] :) [17:46] . [17:47] From the logs I see that you are bored, Miczu. Did you find sth. interesting during the last few hours? [17:47] school ended [17:48] I'm bored too! :) [17:48] Then why don't you write a warrior? [17:48] well, i did have a touch of invention during physics -lessons [17:48] and? [17:49] results might be available June [17:50] I see [17:53] Join: John joined #corewars [17:53] Hi :-) [17:53] Hi John [17:53] h [17:54] Hi Fluffy, Mizcu [17:55] Fluffy: what do you think of a database containing (proven) (mathematical) implications, that can be searched for questions like: what do I know about objects with these and that properties, what follows if proposition A is true etc [17:55] darned, i touched nanoKoth and now almost out [17:55] fiveop: nothing [17:56] Fluffy: why? [17:56] But I'd like to have a really nice (hyper)textbook, where you can quickly jump around and look up all the references :) [17:56] But so far I've found nothing that suits me. [17:57] that could be a result of it [17:57] a byproduct :P [17:57] so why don't you think it's a good idea? [17:58] fiveop: About that database. It is a nice idea for the basic, but if you go further you'll find that every author uses a slightly differenly wording/uses different terms/... so it would be hard to a) create it and b) to maintain it [17:58] *basics [17:58] And you'll *NEVER* find more than say 5 mathematicians who'll use the same terms. [17:59] Well maybe you could kill them all and enforce your own terms, but short of that I see no solution to that problem. [17:59] Fluffy: the wording wouldn't be that much of a problem [17:59] this would just depend on the interface you provide [17:59] huh? The wording is always important [17:59] and what kind of interface comes into your mind? [18:00] Csaba Biro has put his webpage back online :-) [18:01] Fluffy: you don't type yourself [18:01] John, your page says Monowire is my most succesful warrior to date X( [18:01] fiveop: ??? [18:01] the first thing that would come to my mind would be a dropdownlist of properties or such :P [18:01] but there should be a much nicer way [18:01] that would be *very* long list [18:02] it's only an example [18:02] hehe ... try to list all properties of a Banach space :) [18:02] as I said: I think it could be provided in a more convenient way [18:02] ;) [18:02] MSG: Read error: Connection reset by peer [18:02] Fluffy: the list would be finit :P [18:02] How can you be sure? [18:03] Mizcu: I'll fix that [18:05] fiveop: ? [18:05] let's say [18:06] the set of properties of a banach space finit humans can come up with [18:06] has to finit :P [18:07] if a human can find a infinit set of properties there has to be a way to represent them in a finit way or he wouldn't have ben able to grasp it ;) [18:07] hrm [18:08] and as a matter of fact I'm only interested to put things we as humanity have proven [18:16] * John waves [18:16] MSG: Quit: mov.i #1,1 [18:24] hrm. [18:24] I missed the met! [18:38] Join: Roy joined #corewars [18:38] And got me instead! [18:45] heh [18:49] Hi bvowk, Roy! [18:52] whats up fluffy? [18:53] The Moon? [18:54] I hope nothing it up Fluffys! [18:54] it/is [18:55] grmpf [18:55] ill leave yace churning and go night-night [18:55] Already!? [18:56] I should do that too actualy.. alarmclock is set on 04:30 :( [19:00] * Fluffy waves [19:00] MSG: Quit: fluffy.i < 1, # 42 [19:22] Join: Nenad joined #corewars [19:22] hi [19:22] hi nenad! [19:23] hi :) [19:25] hi [19:27] hi Roy [19:28] how are you? doing some corewar? [19:31] Not really, packing my bag again for another vacation [19:32] where are you going? [19:36] Söll in Austria, some more skiing+snowboarding [19:37] heh. that does sound like fun [19:38] It is, really looking forward too it! [19:39] You working on something instresting/going to do something? [19:39] well, the warrior categorization project continues, and there will be new results pretty soon - by the end of the month :) [19:40] apart from that, the usual stuff, moving my nose from one book to the other... [19:55] * Nenad waves [19:55] MSG: [20:35] Join: Fluffy joined #corewars [20:36] :) [20:36] I just wanted to mention sth. [20:36] YAY! [20:41] yay? [20:44] what? [20:45] YAY as in "It is secret, but you'll see in a couple of months when the project is finished" [20:50] Join: John joined #corewars [20:50] Hi :-) [20:50] :) [20:55] Infinano will be updated in a moment :-) [20:55] All evolved warriors kicked off! [20:56] huh? [20:56] They make infinano look ugly so I kicked them off [20:56] lol [20:56] lol [20:56] awww! [20:57] Check it out, it looks much better [20:57] w00t [20:57] so it does! [20:57] eek! [20:58] * bvowk does the fluffy is so not koth dance. [20:58] John: I can't access the code for top 2 warriors [20:59] 37 is a record for the D column huh? [20:59] What does that column mean? [21:00] number of warriors that beat you iirc [21:01] hey.. miz's warriors on there.. [21:01] with a nice rank [21:01] Code is there for the top two now, I was in the middle of uploading [21:04] Since this vanished from the net, I've put it back up http://corewar.co.uk/boer/ [21:07] nice [21:07] * bvowk continues his happy, top of infnano dance [21:10] * Fluffy congrats bvowk [21:11] thanks fluffy [21:11] Shouldn't you send some of your warriors to Koenigstuhl, too? [21:11] so I'm tied for top of nano, and I'm the top of infnano.. [21:11] I believe met sends all his infnano warriors to birk [21:12] Yes, I send everything to Christoph [21:12] bvowk: Don't forget to submit your oldest warrior! [21:13] so you'll be seeing a post from birk in rgc to tell you I run K too ;) [21:13] * bvowk ducks [21:13] we'll see :) [21:13] And don't forget about White Moon! [21:22] * Fluffy waves [21:22] MSG: Quit: fluffy.i < 1, # 42 [21:23] * John waves too [21:23] MSG: Quit: mov.i #1,1 [21:33] MSG: