[04:04] Join: Manneris_ joined #corewars [04:05] Nick Change: Manneris_ changed nick to Mannerisk [04:55] MSG: Ping timeout: 240 seconds [06:23] Join: Mannerisk joined #corewars [06:29] yoR: I'm not sure if the code above works [06:30] Join: fiveop joined #corewars [06:30] Part: Mannerisk left #corewars [06:36] Join: Mannerisk joined #corewars [07:37] M'ning, I'm also not sure if it works, but it can hold processes and release them one at the time, thats what it should do right? [07:41] Join: sh0ne joined #corewars [07:41] aloha [07:48] hi [07:54] Hi sh0ne, yoR [07:56] The first process should go straight through, then subsequent processes should be release when 'set' is executed [07:56] I was trying to figure out where the signal label should be [07:58] Ah, signal == wait :) and if you start with dat 1,0/djn.a #-1,}0 it'll do that [07:59] Aha, thanks [08:00] I was working on something last night, but it still doesn't work perfectly [09:19] MSG: Ping timeout: 240 seconds [09:20] hi [09:21] is metcalf trying to do multithreaded coreware 'programming'? :P [09:28] -e [09:28] hardware, software, coreware ... [09:28] :) [09:57] Multicore enviroment? [09:59] quantum core where you transposition between win and loss? [13:59] MSG: Ping timeout: 240 seconds [14:14] Join: sh0ne joined #corewars [14:22] Part: Mannerisk left #corewars [15:46] greetings humans! [15:47] hi [15:48] how are you shone. [15:48] sh0ne rather. [15:49] * bvowk is sad he has to work today instead of spending more time in Banff :( [15:50] I'm OK, man, yourself? [15:50] not too shabby. [15:54] I'm thinking it's time for a big skim. [16:46] any native speaker here? [16:46] hm [16:46] got it [16:53] Join: CoreOld joined #corewars [17:10] native speaker? [17:12] ..fiveop..? [17:13] I'm a native speaker (Dutch that is) [17:13] I was looking for the word peek [17:13] and I found it :P [17:43] Hmm, with some game-theory experience through Corewars and other AI-games, we should make one of these: http://en.wikipedia.org/wiki/Algorithmic_trading [17:43] Then we could just make a anti iceberger, dagger, guerrilla, benchmarker, sniper, sniffer algorithm that takes advantage of the known strategies :) [17:44] 1. Analyse algorithms [17:44] 2. Study game-theory [17:44] 3. Build [17:44] 4. ... [17:44] 5. Profit! [17:44] lol [17:44] :) [17:45] how about using our abilities to not play some game but rather do meaninful research :P [17:46] Like...? [17:46] Building semaphores in Redcode..? [17:47] well [17:47] for example? :P [17:48] Then I'd rather play like a shark sniffing for iceburged orders and snipe them (I really digg their lingo!) [17:49] iceburged ... [17:49] you could do so much else :) [17:50] Again: Like? [17:50] I'm open to suggestion :) [17:51] I still want to build a formalized maths database :P [17:51] today there even was a post on slashdot about someone else planning to do that [17:51] he already got an email from me:P [17:51] Creating algorithms for adding/substracting/multiplying arbitraty precision arithmetic in Redcode also didn't do much good [17:52] that's probably true :0 [17:52] write a corewar book for educational purposes :P [17:53] There already are much CW books.. [17:53] And having people play CW isn't very contributing to the world [17:55] oh yes [17:55] it is educating [17:55] training their ways to think [17:55] and hence enabling them to tackle more complicated problems in other field [17:55] s [17:56] I'm not sure corewars is the best method to expand minds.. mine is still tiny :) [17:56] formalized math database! [17:59] Then I need to know maths! [18:03] so learn it? :P [18:04] Learning math is hard.. as I hardly read books, and to really learn it, I'd have to read lots of them probably [18:04] Or take evening classes (I have been thinking about that) [18:12] * bvowk expands roy's mind! [18:13] using a pry bar. [18:14] Thanks bvowk! I actually learned something new (had no idea what a pry bar was) [18:20] MSG: Ping timeout: 240 seconds [18:21] But that formalized database looks intresting, but what would if actually offer? [18:22] Just the advantage of having everything formalized together, or could you do cool things with all these theories in the same format? [18:23] yes you could [18:23] having dependency relations in a digital format being one of them :P [18:24] But how can you have dependencies? You must have a system deciding those dependencies right? Or find them yourself? [18:24] nope [18:25] the thing about storing them in a formalized way is that through the proofs you have references from from theorems via their proofs to other theorems they depend on [18:26] Because parts are the same? [18:26] nope [18:26] to give a (simplified example) [18:27] lets say we want to proof that 2+2 = 4 when we have defined 2 = 1 + 1 , 3 = 2+1 and 4 = 3+1 [18:28] we know that 2 + 2 = (1 + 1) + (1 + 1) (by definition above ... this has to be in the proof ... and hence references the definition) [18:28] then we have associativity (i.e. a + (b + c) = (a + b) + c ... that's something that can be proven about addition for example [18:28] and we use it in the current prove to rewrite [18:29] 2 + 2 = ((1 + 1) + 1 ) + 1 ... again in the proof we reference all that we use [18:29] Join: Metcalf joined #corewars [18:29] Hi :-) [18:29] and hence 2+2 = ((2 + 1) + 1 = (3 + 1) = 4 ... etc. [18:29] with many steps in between [18:29] but in the proof we reference everything etc etc [18:30] Yes, so basically, if you want to prove something, and you have parts that needs to be proved, you can search for them in the database and reference them to support your own proof [18:30] exactly [18:30] in a formal way [18:31] But the more intresting bits probably are when people add proofs, and have duplicate stuff [18:31] (which basically means ... you have an allowed way to write things down ... and proving is sthen nothing else but 'rewriting' things after a certain set of rules [18:32] Hi JM! [18:32] hi [18:32] Greetings yoR, fiveop [18:33] So JM, what is the next assignment (since Neo and maybe I cracked the semaphores) [18:33] so you want to do corewar programming roy? :P [18:34] Heh yeah, I need a couple of years more math knowledge to really start doing formalized stuff ;-) [18:34] Join: sh0ne joined #corewars [18:35] id be interested in seeing redos 2.0 [18:35] Mine? I can upload it.. [18:35] nah [18:36] one where you can actually launch up programs and the system kill one that has gone bonkers [18:36] protected memory however would be a little hard to implement [18:36] Heh, that would be great.. [18:49] hmm [18:52] my english fails me [18:53] I'm on holiday from tomorrow [18:53] I'll be in Cornwall for 9 days [18:53] no need to give the pastry-report when you come back [18:53] Thats nice! [18:54] I'll try to avoid them [18:55] I'm interested in old ruins and stuff, so I'm really looking forward to it [18:59] No climbing? [19:03] Probably not much. Definitely I will be visiting a few short caves [19:05] cornish pastries are horibble things [20:33] damnit [20:33] im out of space again, and i dont know what i would dump to discs [20:33] sure, i could move 90% of material to discs, but i dont trust these discs enough [21:05] MSG: Quit: Trillian (http://www.ceruleanstudios.com [21:23] Join: Mannerisk joined #corewars [22:01] MSG: Ping timeout: 240 seconds [22:09] MSG: Quit: humhum [23:55] MSG: Quit: Leaving