00:04:45 -!- jix has quit ("Bitte waehlen Sie eine Beerdigungnachricht"). 01:21:33 -!- Taliesin41 has joined. 01:22:06 -!- Taliesin41 has changed nick to KevinN. 01:29:54 -!- kipple has quit (Read error: 110 (Connection timed out)). 02:32:26 -!- ihope has joined. 02:32:53 ack (9 -> 9 -> 9 -> 9, 9 -> 9 -> 9 -> 9) 02:53:30 So I hear it's possible to write a Brainhype program that will check to see if it halts, and if it does, infinite-loop? 02:56:23 because brainfuck is TC, that should be possible 02:57:14 Hmm... maybe someone could write one and post it on the forums? 02:58:34 -!- ihope has quit ("Chatzilla 0.9.68.5 [Firefox 1.0.7/20050915]"). 03:01:25 actually, probably not... 03:06:31 now that i think about it, brainhype doesn't create any paradoxes 03:06:52 you can't "break" the {} instruction 03:12:26 brainhype? 03:20:51 http://esoteric.voxelperfect.net/wiki/Brainhype 03:21:40 guess that one won't be implemented soon :) 03:32:29 -!- GregorR-L has joined. 03:48:43 Hi GregorR-L 03:48:50 'ello Sgep. 03:49:29 Could the alternative version of Brainhype be implemented? 03:51:33 I've not seen of it, I'm not at home and don't have the logs therefore. 03:51:40 Err, I could get the logs :P 03:52:15 http://esoteric.voxelperfect.net/wiki/Brainhype ? 03:53:41 hmm...... When there is code between the {}, simply have run a Brainhype interpreter on it, ignoring IO, and when done, places 0 on the current cell 03:53:54 If it never halts... 03:55:54 It's clearly unimplementable. 03:56:22 GregorR: Not with the alternative specified... 03:56:43 You can't compute whether a program will halt. 03:56:46 Therefore it's unimplementable. 03:57:34 GregorR-L: If the program between the {} doesn't halt, then the whole thing doesn't halt 03:59:22 Oh, wait, I see .... so really it just runs whatever's in {} ... 04:02:11 (Of course, referring to the alternative) 04:04:47 I want a befunge interpreter on a DVD player VM, but the silly thing completely lacks all heap-style memory, it only has something like 16+24 32-bit registers. (And it does all the normal binary operators (and, or, xor) on those registers, which is probably oh-so-useful when all you can do is jump to title number N (or select audio track N) on the disc.) 04:08:20 -!- KevinN has quit ("Miranda IM! Smaller, Faster, Easier. http://miranda-im.org"). 04:10:49 fizzie: lol 04:11:18 * calamari suggests the play button on the remote ;) 04:30:20 One can do simple I/O from the registers by having short video-clips containing a single number, and then playing those back in an ordered sequence. But the lack of memory is a rather severe restriction. 04:32:27 -!- bd_ has joined. 04:32:52 http://sgeo.diagonalfish.net/esoteric/MKBL.txt <<< My personal notes on a language I'm making 05:19:06 -!- Arrogant has joined. 05:35:26 -!- bd_ has left (?). 05:39:33 hi Arrogant 05:39:41 Hey 05:39:41 What's up? 05:49:55 http://sgeo.diagonalfish.net/esoteric/MKBL.txt 05:50:01 ^^^ personal notes 05:50:12 NOT specs (too unreadable...) 05:50:22 And it's nowhere near done 05:56:03 Any thoughts? 05:56:21 -!- Arrogant has quit (brown.freenode.net irc.freenode.net). 05:56:22 -!- puzzlet has quit (brown.freenode.net irc.freenode.net). 05:56:22 -!- lirthy has quit (brown.freenode.net irc.freenode.net). 05:56:24 -!- cpressey has quit (brown.freenode.net irc.freenode.net). 05:56:28 -!- tokigun has quit (brown.freenode.net irc.freenode.net). 05:56:32 -!- cmeme has quit (brown.freenode.net irc.freenode.net). 05:56:32 -!- lindi- has quit (brown.freenode.net irc.freenode.net). 05:56:32 -!- pgimeno has quit (brown.freenode.net irc.freenode.net). 05:56:32 -!- fizzie has quit (brown.freenode.net irc.freenode.net). 05:56:32 -!- ChanServ has quit (brown.freenode.net irc.freenode.net). 05:56:32 -!- sekhmet has quit (brown.freenode.net irc.freenode.net). 05:56:32 -!- ZeroOne has quit (brown.freenode.net irc.freenode.net). 05:56:32 -!- CXI has quit (brown.freenode.net irc.freenode.net). 05:56:36 -!- mtve has quit (brown.freenode.net irc.freenode.net). 05:56:36 -!- ineiros has quit (brown.freenode.net irc.freenode.net). 05:57:56 owowow! Netsplit 05:58:22 -!- ChanServ has joined. 05:58:22 -!- Arrogant has joined. 05:58:22 -!- sekhmet has joined. 05:58:22 -!- CXI has joined. 05:58:22 -!- puzzlet has joined. 05:58:22 -!- cmeme has joined. 05:58:22 -!- lirthy has joined. 05:58:22 -!- pgimeno has joined. 05:58:22 -!- cpressey has joined. 05:58:22 -!- ineiros has joined. 05:58:22 -!- mtve has joined. 05:58:22 -!- ZeroOne has joined. 05:58:22 -!- lindi- has joined. 05:58:22 -!- tokigun has joined. 05:58:22 -!- fizzie has joined. 05:58:22 -!- irc.freenode.net has set channel mode: +o ChanServ. 05:58:52 YEAAAAAAAAAAAAH NETSPLIT! 05:59:04 huray 05:59:37 -!- ChanServ has quit (Shutting Down). 06:03:10 -!- CXII has joined. 06:04:45 -!- sekhmet has quit (brown.freenode.net irc.freenode.net). 06:04:53 -!- ZeroOne has quit (brown.freenode.net irc.freenode.net). 06:05:02 -!- ineiros has quit (brown.freenode.net irc.freenode.net). 06:05:02 -!- mtve has quit (brown.freenode.net irc.freenode.net). 06:05:02 -!- CXI has quit (brown.freenode.net irc.freenode.net). 06:06:44 -!- sekhmet has joined. 06:07:33 -!- ineiros has joined. 06:09:07 -!- ChanServ has joined. 06:09:07 -!- irc.freenode.net has set channel mode: +o ChanServ. 06:09:10 -!- calamari has quit ("Leaving"). 06:12:15 -!- ZeroOne_ has joined. 06:15:42 Hi 01 06:46:14 -!- Arrogant has quit ("I AM QUIT HAVE A NICE DAY"). 07:29:50 Night all 07:30:14 -!- Sgep has quit. 07:59:59 -!- clog has quit (ended). 08:00:00 -!- clog has joined. 08:11:09 -!- mtve has joined. 08:38:50 -!- CXI has joined. 08:45:34 -!- CXII has quit (Connection timed out). 09:00:01 -!- nooga has joined. 09:00:07 gi 09:27:44 -!- lirthy has quit (Read error: 104 (Connection reset by peer)). 09:31:30 -!- lirthy has joined. 09:31:34 -!- tokigun has quit (Read error: 104 (Connection reset by peer)). 09:33:21 -!- tokigun has joined. 09:41:03 -!- GregorR-L has quit (Read error: 110 (Connection timed out)). 11:00:57 * nooga is writing libsadol :) 11:07:31 -!- jix has joined. 11:14:11 hi jix 11:15:24 moin nooga 11:17:04 how are you? 11:18:00 tired... zzZZ.... 11:19:16 ehhe.. im writing libSADOL ;p 12:10:51 -!- nooga has quit (Read error: 110 (Connection timed out)). 12:49:26 -!- Keymaker has joined. 12:56:25 moin Keymaker 12:59:37 hi 12:59:47 i'm writing a sci-fi short story 13:00:14 (and yes, it sucks) 13:16:15 1[0=2920010139644052621]3 13:16:15 3[1#,1=*0,0>1,1|1,1|*1,1<1:4]3 13:16:15 4[3=9223372036854781733,2=*0,0|*3,3|*3,2|*2,3|*2,0|*3,0|*0]3 13:18:16 it should have a period of 2^64 13:20:03 what it does? 13:20:49 pseudo random number generator 13:20:56 ok 13:21:38 the first big number is the seed 13:21:46 ok 13:21:53 the 2nd big number shouldn't be changes because in most cases it results in a lower period 13:23:50 it generates 16 exabytes (thats 17179869184 gigabyte) without repeating 13:23:59 wow 13:24:05 awesome! 13:24:12 but that isn't much compared with MT 13:24:30 MT? 13:24:39 Mersenne Twister 13:24:41 ah 13:24:59 it repeats after: 13:25:00 401905253286302336310524075882315620691881984772785706926626203712386142475312397920568600570024779676881338825986244113351239052923251072964894298041324764667152197507595608912426234357864418091824411586330057869665946141863093669075408727648975046759118648448869552382652510009963247929821784108659705296105115446136682110298092945440999871700665997787829001362565702771561413870308725670672327694754890845839328233974660572797306528790646305422138696 13:25:00 953421669830456914566725163342423408909376719040437562394366174505002702240776846118942006685152787793869924857721928202341120370182281796905369924998191834449779803307606175045017464512722290264734001793201898977068433313657186656111382343558398878830515863014151395916388419359664339721556758243878140965234297840366774744663885561665950791281690041923863361315573392987259286200765857602241981000308373847518919762191244441163264999384252627068372033 13:25:02 763111933980550327534027629016684766185140254468796078835436354368351649215978886270470928451660048312951427468905541138223278914882273249567933713889062224031935413805139845547524008619593826820035713606314057959271250843507832621367887924746386518091551034509831977332030888003937697939028884420167676864318828086560698518626411885386315090235498881811701636151255397071779075040277054989648673189942462029818497132474212455947188692775527087237185159 13:25:07 285590811568299895764642182655379678933841624928789735624686101266822082312651269641096431819119244285586424906522611733370654073363587322562241118375794792204641863670475294474292246969596946939625424745445705551569518210600261983148606395664183203617942963284017811862197413912312554993243967760894843088345345453558909635202751480109693467398530223859606275400533788896904933482341635963009873092800072519775784718634522305851641058860350428723734409 13:25:14 465783733761635505812515964174132520069518882090187528070784131316255311617158576067481328016007555012139598198968935842223544200014498804384934079245514095813239200626816475285642492404879924885373645381534804456517361693374798823490984080501745948314651320031345914976730651979960073639663455753842287970932922599362978717180758402898450916792059614416362424154632339935683280993906592580557520035536539145208631964961604162559243909099550162201200541 13:25:21 471672631326137201415532103096019583120909261804468744780038739084112996375538286284027488435784102137449609286800223753555687919990567435340481755240290277607498175543139914790884517656643197200835111263671941029197734265368431172849344872058242193876826014077933957565416164855051227975133151022507833089361070352161316657271161383352851137068879548299505935412828240732837247696414242779441034794252355403191062065480395091519540873724723403575106334 13:25:28 778762119321672003339440280866230493413016937925959062149095369331265423917515210582163905707952837342344688802796881636671941656836630477110586935364074881632858514937363011998417234225376788375805269112022269520313087790353239316564868842832537899680952926212017677651906238612740832608657999618078048290359428011992699227524026914199805244825657286558393035231894725808402742302969011883433452283242200647862328487302512172034250392866137194030560105 13:25:33 778687406520608632121689650146274195622947884674329435506772711365572438133116905792497645867747401977407239274787144705228582781864687572261213573995264016991868759518545974120341513676822563771002487209436637535104430459326213982153606058542718202626644550745420413475747045005042533456774308703385617977579870024900082543661374474559380983420415482517172007668415904820305998270106312255807070243471996136965997260449112167264107699690234412423447395 13:25:38 751412485882393683682934285368714358137360698128273825121478705374641886644388515859629240250196682286812719529901402217066646212755457520520106456039225376069962370228551948779804054682070886550563475736133679097160940039162605462369232499088528965234298316387788928496019422030861288877732133192380843051003320130591569633154031319643391412814338033297382591195556028259695648435484016352771640485017238431635983821944336722119761018553787092706467972 13:25:44 how do you calculate that number?! 13:25:47 174313737945085434274243842124636297627305078791012909092381415173324566434929087580150769085601728991068098774710981378965960366097338952394567498161562790117523561200066553602210197696066643673044077932497572332289384254392826007687634946646692624097351215512761675552914350269141136950360241936638656691239914642944722040881522059749593399427778490894646105795714192242821626563338695357208232861531404601905556488796698821565663592827061837651085398 13:25:52 714141451488377947321936647854584724449197309257648689992886833833602510587001942847167051478799654202027680038526833442117780938322359165320989777126610382329712863008140208329710041019106708197507613351771250043648529363865103809210936836800486399851875943451238596594984294102060281494270496715405988262168724641148130993418086798761968434504156980407953434701066696596842406280927076168905398064849886617375798772307601582850973655536893324365662798 13:25:57 543029605211676137100879919371781374433526383055549267985159945364042940898560871355096477789687992786023254959148414278324275703077091760517246969630424801588513121008007965383640801367552077318329224874606656014520888406142112822156057722103025817173286991581139323475871036331668228805199013472211271589826088241928166926201134103251802606886197245441864446532161737524150797682448927728213170166254167484512609907951741609138165963904068226247106174 13:26:02 508460595627883667103823785616370812910983804500731206138729340991498443808015978016201002530918857149702932803481398352865790226132299264376246143205641418087767689473261995986735350044161104544930288228165894745359996087420647568603169180537022929978058600979018342652811953308939013780706438708452038056052665263320083478237083749452018379785078399027828461636855545733655124132393420144891490343097763944394018354454966604339945971413594497969441851 13:26:07 18652403114494638117608816547554166036536718641160638647554605691604189678640504837566913017664795312128 13:26:09 GB 13:26:13 hm that number didn't fit on one line 13:26:15 using ruby code: 2**19937/2**30 13:26:17 the period of MT is 2**19937 and one gigabyte is 2**30 bytes 13:26:28 ** is power btw 13:26:29 wow, and ruby outputs that? 13:26:39 yes 13:26:42 woah 13:26:46 python would do that too 13:26:49 lisp too 13:26:51 haskell too 13:26:55 linguine too! 13:27:03 yeah 13:27:14 it's just the matter of writing the code 13:27:14 down with C! 13:27:17 :) 13:27:23 but ruby's number output algorithm is inefficient 13:27:30 it's a simple divide and reminder algorithm 13:27:44 you can write a pure ruby algorithm that performs better! 13:27:51 :) 13:28:00 perhaps it'll change in the future, then 13:28:17 using the mid-divide and reminder algorithm (i don't know if that is the name but that is what it does) 13:30:32 but my prng isn't cryptographic secure 13:30:35 MT neither 13:31:17 > (/ (expt 2 19937) (expt 2 30)) 13:31:18 401905253286302.... 13:31:28 Most sensible languages have built-in bignums. :p 13:32:05 one could implement a MT with a period of 2**25964951 13:33:17 I'm having trouble with my prolog-scheme. :/ 15:03:23 -!- CXI has quit (Read error: 104 (Connection reset by peer)). 15:03:50 -!- CXI has joined. 15:23:42 -!- kipple has joined. 15:31:26 -!- calamari has joined. 15:31:32 hi 15:32:22 hi 15:32:58 jix: after seeing your cool rng, I added a time in seconds since the epoch feature.. if you use this for the seed you can change line 1 to: 1[0^]3 15:33:16 hi Keymaker.. how's it going 15:33:39 I figured nobody would use it, but what the heck.. why not hehe 15:33:58 calamari: i'm fine 15:34:10 i'm writing a sci-fi short story 15:35:20 oh yeah.. I remember seeing that in the logs now. How is that going? 15:35:54 back 15:35:56 calamari: cool 15:36:09 calamari: nicely, i guess 15:36:19 i've had some fun (imho) things in it 15:37:07 are you planning on releasing it? 15:37:30 not entirely sure :) 15:37:42 perhaps i will let those to see it who want to read it 15:38:01 like, via e-mail or such 15:38:06 yeah, let me know.. I generally like sci-fi stuff 15:38:11 ok 15:40:51 jix: it seems to always start with 0.. am I just lucky? 15:41:41 probably due to the seed.. 15:44:01 calamari: no 15:44:08 the first number is printed after the first tap 15:44:28 look at line 3 15:44:28 3[1# 15:44:44 aha :) 15:45:42 1[0^]3 15:45:42 2[1#]3 15:45:42 3[1=*0,0>1,1|1,1|*1,1<1:4]2 15:45:42 4[3=9223372036854781733,2=*0,0|*3,3|*3,2|*2,3|*2,0|*3,0|*0]2 15:46:38 adding a 1# to the end of line 3 and 4 would be shorter 15:46:52 yeah I suppose it would be 15:47:20 oh and it isn't a very strong prng 15:48:49 1[0^]2 15:48:49 2[1=*0,0>1,1|1,1|*1,1<1:3,1#]2 15:48:49 3[3=9223372036854781733,2=*0,0|*3,3|*3,2|*2,3|*2,0|*3,0|*0,1#]2 15:49:20 perhaps not.. but it'd be good for games, etc 15:49:27 yes 15:49:42 but for games one could use a period smaller than 2**64 15:49:59 I was looking at the timer function.. but it can only guarantee 1 second accuracy 15:50:28 so it's no good for speed limiting a game 15:50:55 and there is no way to controll the tty device 15:51:08 for getting non-blocking input 15:51:11 or non-echoing input 15:51:19 yeah, you'd have to use stty 15:51:32 linguine sdl bindings would be cool 15:51:43 or linguine dynamic linker bindings => call any c lib! 15:52:26 but that is maybe a bit bloated 15:52:33 I don't know anything about those really 15:53:15 i know how to call the dynamic linker using ruby/dl but with python i have no idea 15:54:22 if you can call c libraries, that would really improve your c ompiler :) 15:54:35 yeah 15:54:41 but it would make linguine insecure 15:54:55 yeah I dunno.. I think I'll just leave it be :) 15:55:20 was looking up how to do this in python and its not great :) 15:56:43 btw this ( 2=*0,0|*3,3|*3,2|*2,3|*2,0|*3,0|*0 ) is 0^=3 15:57:11 you can always use an i/o extender with any esolang to enhance the i/o abilities 15:57:19 probably the better way to go 15:57:24 yeah 15:57:37 yay.. xor :) 15:59:46 well, gotta go.. have fun 15:59:48 -!- calamari has quit ("Leaving"). 17:54:25 i made up a new quit message: "You can never read this quit message fully in one exact point of time. When you're reading one part of it, how do you know the other parts remain as they were when you read them?" 18:02:02 well i trust my machine 18:02:50 and my reading skill 18:02:51 :) 18:02:54 hehe 18:06:41 I zipped that message: "Leaving". 18:07:08 :) 19:12:56 3.80 seconds to calculate the value of (letrec ((fib (lambda (n) (if (= n 1) 0 (if (= n 2) 1 (+ (fib (- n 2)) (fib (- n 1)))))))) (fib 8)) -- this must be one of the slowest scheme systems ever built. 19:23:42 -!- Sgep has joined. 19:28:18 -!- Sgep has quit. 19:36:41 -!- Sgep has joined. 19:36:43 -!- CXI has quit (Connection timed out). 19:37:59 hiall 19:38:13 hi 19:38:41 * Sgep is superhypoer\ 19:38:44 hyper 19:38:51 hm? :) 19:48:57 -!- Sgep has quit. 19:54:09 -!- Sgep has joined. 21:12:15 Attempting to restart into ReactOS 21:12:19 -!- Sgep has quit. 21:26:34 -!- jix has quit ("Bitte waehlen Sie eine Beerdigungnachricht"). 21:31:09 -!- Sgep has joined. 21:36:58 -!- BodyTag has joined. 21:47:02 hi BT 21:58:43 -!- Sgep has quit. 22:05:58 -!- Sgep has joined. 22:07:48 -!- BodyTag has quit. 22:12:46 -!- Sgep has quit. 22:17:36 -!- Sgep has joined. 22:24:17 well, the first draft of the story is finished 22:28:33 -!- Sgep has quit. 22:38:05 * Keymaker disappears mysteriously 22:38:07 -!- Keymaker has quit ("You can never read this quit message fully in one exact point of time. When you're reading one part of it, how do you know th). 22:41:51 -!- Sgep has joined. 22:53:15 -!- calamari has joined. 22:53:22 hi 22:55:13 hicAL 23:02:17 -!- Sgep has quit. 23:17:53 -!- Arrogant has joined. 23:27:49 -!- Sgep has joined. 23:50:26 -!- Sgep has quit.