00:11:06 -!- adu has joined. 00:18:41 hi 00:19:35 -!- adu has quit. 00:20:30 bye 00:27:32 "... Unfortunately, Ossanna's troff was written in PDP-11 assembly language and produced output specifically for the CAT phototypesetter. He rewrote it in C, although it was now 7000 lines of uncommented code and still dependent on the CAT. As the CAT became less common, and was no longer supported by the manufacturer, the need to make it support other devices became a priority. However, before this could be done, Ossanna died. ..." 00:29:00 -!- ehird has quit ("Konversation terminated!"). 00:44:17 ..Where have I seen "Troff" before? 00:56:54 troff is the markup language used by man pages. 00:56:57 It's pretty horrible. 00:57:28 Or rather, roff is the markup and troff is the default implementation, or something like that. 01:08:19 I remember seeing it mentioned in some For Dummies book 01:13:42 GregorR: The format used by man pages is actually only a set of macros in troff. 01:13:50 Rull-on troff gets even worse. ;) 01:21:12 Rull-on? 01:25:21 Full-on. 01:31:34 * Sgeo is going to go to sleep soon, maybe I'll have a decent amount of sleep tonight! 01:47:14 -!- sebbu has quit (No route to host). 01:50:26 G'night all. Here's hoping for remembered lucid dreams.. 01:51:32 -!- Sgeo has quit ("Ex-Chat"). 02:40:37 -!- adu_1 has joined. 02:41:23 -!- adu_1 has changed nick to adu. 03:00:50 -!- adu_1 has joined. 03:16:24 -!- adu has quit (Connection timed out). 03:23:55 -!- andydude has joined. 03:24:48 -!- andydude_ has joined. 03:26:11 -!- andydude_ has quit (Client Quit). 03:39:20 -!- adu_1 has quit (Read error: 110 (Connection timed out)). 03:40:43 -!- andydude has quit (Read error: 110 (Connection timed out)). 04:00:44 -!- GreaseMonkey has joined. 04:22:25 -!- adu_1 has joined. 04:22:35 -!- adu_1 has quit (Client Quit). 04:27:16 -!- adu has joined. 04:33:31 -!- calamari has joined. 04:43:25 -!- adu_ has joined. 04:45:53 -!- adu has quit (Nick collision from services.). 04:46:11 -!- adu_ has changed nick to adu. 04:54:09 -!- adu_ has joined. 04:55:53 -!- adu_ has quit (Remote closed the connection). 04:57:29 -!- adu has quit (Nick collision from services.). 04:58:13 -!- bd_ has left (?). 05:00:55 -!- adu has joined. 05:05:49 http://www.nonlogic.org/dump/images/1204607128-Censored.png <- new cartoon guys! 05:20:23 -!- andydude has joined. 05:22:23 -!- adu has quit (Nick collision from services.). 05:22:27 -!- andydude has changed nick to adu. 05:23:24 -!- adu has left (?). 05:26:06 meh 05:26:34 meh? 05:29:48 at your comic 05:31:37 LMAO 05:31:40 anything in particular you didn't like about it? 05:32:17 And yes, I do want to know. :p 05:32:48 heheh. Glad to see you enjoyed it, pikhq. What do you think of the new look? 05:33:08 Your art looks *really* good inked and colored like that. :) 05:33:17 thanks 05:33:21 Not quite Dresden Codak level, but pretty good. 05:33:50 well, naturally- I think he takes more than an hour and a half to do his, for one thing 05:33:51 Of course, DC is nearly a god of webcomicry, so. . . 05:34:05 I suspect as much, myself. 05:34:31 I'm thinking about buying/making a font of my handwriting for the speech bubbles and things, though 05:34:43 I'm not sure how I feel about the Comic Sans knockoff 05:34:53 Comic Sans is 'Meh'. 05:36:36 -!- andydude has joined. 05:39:08 -!- Judofyr has quit (Read error: 104 (Connection reset by peer)). 05:39:30 -!- adu has joined. 05:40:22 -!- adu has quit (Remote closed the connection). 05:40:25 -!- Judofyr has joined. 05:47:20 -!- calamari has quit ("Leaving"). 05:54:28 -!- andydude has quit (Connection timed out). 06:31:33 -!- sebbu has joined. 06:34:36 -!- olsner has joined. 07:14:56 nothing more refreshing than a good 14 hours of sleep 07:17:43 " get a client that knows what flooding is" <<< iirc, konversation warns when you're about to start a flood, but it does not do the actually useful part of slowing down the flood. 07:18:35 -!- olsner has quit ("Leaving"). 07:20:10 -!- Judofyr has quit. 07:21:44 i want to know too, make another cartoon with just that one square 07:59:59 -!- clog has quit (ended). 08:00:00 -!- clog has joined. 08:15:01 -!- oerjan has joined. 08:43:45 -!- GreaseMonkey has quit ("Read error: 110 (Connection chickened out)"). 09:15:44 -!- oklokok has quit (Client Quit). 10:31:07 -!- jix has joined. 10:38:58 -!- slereah_ has joined. 10:39:18 -!- slereah__ has quit (Read error: 104 (Connection reset by peer)). 11:00:36 -!- jix has quit ("CommandQ"). 12:02:25 -!- jix has joined. 12:16:08 -!- oerjan has quit ("hoogle hates operators"). 12:52:47 -!- slereah_ has quit (Read error: 104 (Connection reset by peer)). 12:53:35 -!- slereah_ has joined. 13:16:10 -!- RedDak has joined. 13:20:32 -!- slereah__ has joined. 13:20:39 -!- slereah_ has quit (Read error: 104 (Connection reset by peer)). 14:11:51 hello 14:36:54 -!- RedDak has quit (Remote closed the connection). 15:19:54 * AnMaster just got a SQL error on esolang wiki 15:20:21 not able to reproduce *shrug* 15:29:03 -!- ehird has joined. 15:29:22 -!- ehird has quit (Remote closed the connection). 15:29:41 -!- ehird has joined. 15:59:38 -!- Judofyr has joined. 16:12:51 -!- slereah_ has joined. 16:13:46 -!- slereah__ has quit (Read error: 104 (Connection reset by peer)). 16:25:07 -!- timotiis has joined. 16:45:52 -!- ehird has quit ("Konversation terminated!"). 16:46:33 -!- slereah__ has joined. 16:46:38 -!- ehird has joined. 16:47:06 -!- slereah_ has quit (Read error: 104 (Connection reset by peer)). 17:07:54 -!- Corun has joined. 17:09:16 -!- slereah_ has joined. 17:09:52 -!- slereah__ has quit (Read error: 104 (Connection reset by peer)). 17:38:55 anyone got an idea for some new language, turing tarpit style, but not just some variation of brainfuck or similar languages 17:39:06 hm 17:39:14 * AnMaster wants to code something 17:39:22 (in C) 17:39:33 well, I am a tremendous fan of stack-based languages, and there are many unique and painful ways to do that in a minimalistic fashion 17:39:46 RodgerTheGreat, got any link so I can read up on that? 17:40:01 providing only pancake-flips or something like that for deep stack manipulation could be fun 17:40:02 one sec 17:40:06 -!- oklokok has joined. 17:40:19 http://en.wikipedia.org/wiki/Stack-oriented_programming_language 17:41:12 your code won't look anything like BF, and although there are already esolangs that are stack-oriented, there are a lot of new and different ideas you can explore 17:41:39 or it could inspire you to create queue-oriented languages or a similar monstrosity 17:42:08 hm 17:42:23 RodgerTheGreat, got any examples of existing stack based esoteric languages? 17:42:30 (or queue based) 17:42:32 yes... 17:42:33 FALSE is one 17:42:35 Befunge 17:42:40 .... thousands, really 17:42:43 -!- ais523 has joined. 17:42:50 hm ok 17:42:54 Arguably, FORTH and PostScript 17:43:01 What of Underload! 17:43:03 ehird, err wait, befunge is 2D hm 17:43:11 uhhh 17:43:12 and? 17:43:14 slereah_: oh yeah 17:43:15 hmmm 17:43:16 befunge is a hybrid of several things 17:43:17 wonderful underload <3 17:43:22 is there any 3D language :D 17:43:25 hello ais523 17:43:26 TreFunge 17:43:29 AnMaster: Funge-98 17:43:33 contains N-funge 17:43:37 for all values of N 17:43:38 aww 17:43:38 AnMaster: noit-o'-mnain worb 17:43:39 sigh 17:43:40 well, not negative 17:43:42 and not 0 i don't think 17:43:44 * slereah_ had an idea. 17:43:46 but 1,2,3,4,5,6,7,... 17:43:52 I'm not sure if it's TC, or even a good idea. 17:43:55 several n-dimensional languages exits 17:43:56 *exist 17:43:58 1.6 dimensional 17:44:00 hrrm? 17:44:09 (wtf would that look like) 17:44:11 A language based on animal populations. 17:44:13 queue-oriented languages are largely unexplored! 17:44:24 a language involving apples and string 17:44:29 RodgerTheGreat, not sure how to make one, but sounds interesting 17:44:32 AnMaster: integers 17:44:41 You define areas, and animals 17:44:53 ehird, well, I want a 4i-dimensional language ;P 17:44:54 With predation relations, reproduction rates and the like* 17:45:05 And you act on those. 17:45:11 * ais523 is wondering what the original question was 17:45:15 It would be really easy to do Fibonacci! 17:45:26 Dimensions can't be imaginary. 17:45:29 ais523, " anyone got an idea for some new language, turing tarpit style, but not just some variation of brainfuck or similar languages * AnMaster wants to code something" 17:45:36 ais523, that was the original question 17:45:38 OK 17:45:58 There's plenty of theoretical machines that no one touched. 17:46:00 but queue based language sounds very interesting idea *puts on list* 17:46:14 Sceql 17:46:21 (if I've spelt that correctly) 17:46:30 that was a queue-based language 17:46:33 * AnMaster looks at RodgerTheGreat 17:46:33 A query language (Think SQL, but crazier) that works on stacks 17:46:33 not sure whether it was TC 17:46:39 ah true 17:46:51 :D 17:46:58 would it be possible to make a queue based language TC? 17:47:05 I said "largely unexplored", not "none exist" 17:47:12 I don't see why it wouldn't be possible! 17:47:13 AnMaster: yes 17:47:17 -!- oerjan has joined. 17:47:20 hm 17:47:58 and I'd still like that biblically-themed gimmick language we were tossing about a while back 17:48:26 Would it have TEN COMMANDS? 17:48:48 ments 17:48:51 oh 17:48:53 * AnMaster just got a SQL error on esolang wiki 17:48:53 you referenced that 17:48:54 heh 17:49:01 oerjan, yep 17:49:01 everyone gets those 17:49:01 it does that all the time 17:49:07 oerjan, ah 17:49:10 RodgerTheGreat: DO UNTO OTHERS 17:49:20 ye olde heisenbug 17:49:27 I figured commandments would be like functions or assertions 17:49:30 CAST THE FIRST POINTER 17:49:32 Or something 17:49:34 AnMaster: it's possible, because when talking about computability, "queue-based" means absolutely nothing 17:49:43 possible to make a queue-based language tc that is 17:49:46 What would be the data structure? 17:49:47 LET THERE BE PEPERONY AND CHEASE 17:49:53 What would Jesus program! 17:50:13 what about other religions 17:50:26 hmm 17:50:31 the SQL-stack should be called: 17:50:36 Using bodies as variables, and souls as value? :o 17:50:40 * SELECT FROM 17:50:47 i was thinking about a language based on religions a while ago 17:50:47 no reason you couldn't slip in parts of the torah and Koran, but I'm not sure it would be as instantly recognizable to most people 17:51:03 RodgerTheGreat: i think such a biblical language might be NSFW 17:51:08 KNOW 17:51:12 haha 17:51:44 the torah _is_ part of the christian bible too. the koran might be a more difficult matter. 17:51:55 what about a language, where you had to define the source as the result of an equation in RPN, possibly the result should be interpreter in unary? The equation would have to involve complex numbers and a least amount of terms maybe 17:51:56 What, genociding all the variables for having the wrong value? 17:52:02 17:52:11 oerjan: but jesus came along and fixed all that; really god was just misunderstood 17:52:16 now look away from that evil one and look at this lovely new one 17:52:18 yes, that's it 17:52:22 <.< 17:52:23 AND THE LORD SAID UNTO NOAH, "GATHER YE SIX OF EVERY ENTRY IN THE 'ANIMALS' TABLE THAT ARE CLEAN AND STORE THEM IN THE ARK" 17:52:24 -!- RedDak has joined. 17:52:46 Is heaven the output? 17:52:47 RodgerTheGreat: wow, so my StackSQL is now in the biblical language? 17:52:56 AnMaster: i didn't get your idea 17:53:17 AND THE LORD SAID UNTO NOA, "TABLE ANIMALS SIX EVERYENTRY CLEAN? IF ARK STORE THEN" 17:53:18 oklokok, was random, doesn't work well I think 17:53:20 AND THE LORD SAID UNTO NOAH, "SMITE NOT THE UNCLEAN ANIMALS FOR THEY ARE SACRED IN THE EYES OF THE LORD" 17:53:23 cat >/dev/hell 17:53:38 dd if=/dev/god of=/dev/heaven 17:53:44 (file not found: /dev/god) 17:53:50 well I don't know much of the Bible, and even less of it in English so hm 17:53:50 "the void" or "clay" would probably be input 17:54:11 AnMaster: if that's the game we're playing, then i have an idea too: a language where a stack and there's some complex numbers where the stack is defined in terms of arbitrary calculations on the range of its lists and all the multiprocessing 17:54:17 I'd guess the language would probably include many synonyms for builtins and keywords to retain coherence 17:54:26 oklokok, hehheh 17:54:40 LET THERE BE X 17:54:40 RodgerTheGreat, this reminds me of that shakespearlang 17:54:44 RodgerTheGreat: it would be 40% nop :p 17:54:49 lol 17:54:51 RodgerTheGreat, that is, same basic idea 17:55:12 yeah, exactly- that's what makes it a gimmick language rather than high-concept 17:55:24 what about a language which looks like shell commands? 17:55:30 that exists 17:55:32 it's called 'bash' 17:55:34 Judofyr, err, that's called shell 17:55:35 Heh 17:55:49 :P 17:55:56 Judofyr, ais523, I wrote an modular irc bot in bash btw: http://envbot.org 17:56:02 ais knows 17:56:07 yeah, but it shouldn't do what you expect 17:56:22 Judofyr, oh cat = sudo rm -rf /? 17:56:33 AnMaster: and we call know. 17:56:34 *all 17:56:39 its a waste of time too 17:56:45 that wouldn't be a noob-safe language :P 17:56:46 it would be cooler in zsh, anyway 17:56:56 ehird, too easy in zsh 17:57:04 the only thing i like more than telling people i know everything that has ever happened here when someone tells me something is to tell people what others already know. 17:57:22 AnMaster: hardly 17:57:28 anyway, your project seems to be serious 17:57:32 also, english is clearly not suited for that complicated sentences 17:57:32 therefore zsh would be the best choice 17:57:43 ehird, how many servers got zsh on them? 17:57:48 most. 17:57:51 AnMaster: sudo rm -rf /? would delete all directories with one-character names in the root directory 17:57:58 and if not its in 99% of pkg management systems 17:58:05 zsh is the second-most popular shell from bash i'd say 17:58:08 ais523, the question mark was not part of the question, it was a question mark 17:58:14 and its programming language is highly superior 17:58:14 ehird, while bash isn't portable, it is more portable than zsh normally 17:58:16 it is very advanced 17:58:23 AnMaster: still. zsh is a better choice 17:58:28 ehird: maybe ash is the most popular, because that's used in most embedded systems 17:58:37 ais523: i don't think AnMaster is targeting those 17:58:57 ehird, I'm targeting standard shell servers, like those you can get for $5 or whatever it is 17:59:04 AnMaster: those have zsh 17:59:28 ehird, not last I checked on the one I got an account on, runs freebsd 6.2 17:59:34 and got bash but no zsh 17:59:38 AnMaster: then its a rarity 18:00:06 anyway that wasn't the point of this discussion, feel free to fork, it's open source ;P 18:00:28 it wouldnt be a fork 18:00:30 itd be a rewrite 18:01:22 now, why not make it work under either then (painful, as the common subset of extended functionality compared to POSIX isn't that large iirc) 18:02:07 why not make it work under POSIX sh? 18:02:34 ais523, interesting idea, but would be painful 18:04:20 hm, if that "if an infinite number of monkies tyoe on an infinite number of typewriters for infinitly long we would get all the great works of Shakespear sooner or later is true", then that is true for any data 18:04:31 Yes. 18:04:39 It's called the internet 18:04:47 meaning, it would sooner or later generate a brainfuck interpreter heh 18:04:47 AnMaster: um, duh 18:04:51 Millions of monkeys on millions of typewriters! 18:04:55 why is that suprising? 18:04:59 not really 18:05:07 it's such an obvious statement that only an idiot would argue against it 18:05:10 ehird, but what if you could exploit it 18:05:13 :) 18:05:17 Not really 18:05:20 if you have a perfect random number generator on (0,1) [i.e. for bits] 18:05:21 It's totally random 18:05:23 and run it infinitely 18:05:25 ehird, indeed 18:05:29 of course it will generate everything 18:06:00 But then again, the only way to have a good program out of it would be to use a bigass if 18:06:07 the problem is that _finding_ something in the monkey output is even harder than writing it yourself in the first place 18:06:07 And it would be shorter to just use the if 18:06:09 please show me some statistics to support this. 18:06:12 well, what's inside the if 18:06:14 how likley is it that cat /dev/urandom will generate hamlet in ASCII, starting within 1 MB from stream start with fewer than three errors in it? 18:06:21 anyone want to calculate? :) 18:06:43 oklokok: support one 18:06:45 err 18:06:46 oklokok: support what 18:06:52 AnMaster: /dev/urandom is not random 18:06:53 , 18:06:56 AnMaster: A string of length n is always 1/256^n 18:06:57 for example, there will be _many_ more instances of "To be or not to flaggle gnart gop" than of the entire Hamlet 18:07:02 ehird: that monkey thing! 18:07:08 AnMaster: that's trivial to calculate 18:07:11 ehird, ok, true, /dev/random with a hardware based number generator 18:07:14 oklokok: ummm 18:07:23 oerjan: tell oklokok he is silly 18:07:26 based on atmospheric noise 18:07:28 ehird, ^ 18:07:30 Although it would be better to use the printable character set. 18:07:36 of course if you have a truly random bit generator run through every possible combination infinitely that contains everything 18:07:44 slereah_: OK. 18:07:45 oerjan: tell ehird i was joking 18:07:50 Then a rng on (0,255) 18:07:52 oklokok: oh. :P 18:08:09 oklokok: you are silly 18:08:09 I like random number generators built from a radioactive sample and a detector array, sealed in a lead-lined box 18:08:11 (32,127) would be better. 18:08:15 ehird: oklokok was joking 18:08:23 perhaps the penis in my name makes me appear even stupider than i actually am 18:08:33 hmph, i already have oklopol in use 18:08:44 let msg = "oerjan: tell oklokok to tell " ++ msg in msg 18:08:53 (i know i could kill it) 18:09:18 oklokok: tell let msg = "oerjan: tell oklokok to tell " ++ msg in msg 18:10:15 uhh 18:10:16 does the irp spec say it has lazy evaluation? i think that would be kinda funny. 18:10:18 oerjan: that's wrong 18:10:25 reduction example: 18:10:26 let msg = "oerjan: tell oklokok to tell " ++ msg in msg 18:10:29 ======> 18:10:39 oerjan: tell oklokok to tell oerjan: tell oklokok to tell oerjan: ... 18:10:44 oklokok, hehe 18:10:46 oklokok: You write "Please do this function with x evaluation" 18:11:03 Please evaluate the list in range 1,inf, strictly. 18:11:05 IRP can does all! 18:11:14 ehird: Fuck-you error 18:11:44 sheesh 18:11:46 ehird: you too must be happy to know i actually begun writing an oklotalk interp 18:12:03 oklokok: OH YEAH 18:12:11 :P 18:12:13 oklokok, link to source? 18:12:14 give me a REPL, nao 18:12:19 AnMaster: Do you know what oklotalk is? 18:12:22 He won't be done for years! 18:12:25 ehird, I know 18:12:28 I seen it 18:12:28 It's the biggest, most ambigious language that exists 18:12:38 let msg = "tell oerjan: tell oklokok to " ++ msg in "oklopol: " ++ msg 18:12:39 it does not have a parser yet, but it already evaluates *some* of the basic things 18:12:42 I know he's been talking about it for months, but I still don't know what it is! 18:13:00 the problem is oklotalk's pattern matching and it's parsing, which are the most complicated things, aren't even started yet 18:13:09 oklokok, no esolang entry on it? 18:13:23 no. 18:13:27 i'm scared of the wiki 18:13:40 slereah_, some extreme syntax thing 18:13:44 but i'll put it there, even though it's not entirely made for esopurposes 18:13:48 oerjan: ok, fine 18:13:49 evaluate that 18:14:00 What be the syntax? 18:14:06 slereah_: You don't want to know 18:14:09 oklokok: Show him quicksort! 18:14:17 ehird: you probably guessed, but i'm only implementing a subset of it. 18:14:21 I've seen examples 18:14:23 ehird, you forgot the magic word (not, xyzzy!) 18:14:25 ;P 18:14:26 But I don't know what they mean 18:14:28 Show him quicksoooooooooooooooooooooooooooooort 18:14:33 :D 18:14:39 i can show *a* quicksort 18:14:41 yes 18:14:43 an evil one 18:15:14 Bible Code does not approve of evil codes 18:16:15 {L->{.L>}/_+._+{.L<}/:_} 18:16:21 i think that will do 18:16:30 What does it mean:! :o 18:16:34 that's not fully portable 18:16:37 it's just mean! 18:16:58 because if the lists contain lists, the addition will not put ._ automatically in a list 18:17:01 Judofyr: Oklotalk rocks 18:17:19 oklokok, really post a syntax desc 18:17:41 AnMaster: it is not parsable by traditional parsers 18:17:48 Without the syntax, it's hard to get a sense of the evilness 18:17:51 iirc it's even more malleble than perl 18:17:54 {L->{.L>}/:_+[._]+{.L<}/:_} <<< made portable + corrected an error 18:17:56 ehird, how comes? 18:18:06 AnMaster: its too ambigious+context sensitive+runtime-changable 18:18:14 [(Quicksort in Overload)] 18:18:14 (The quick brown fox jumps over the lazy dog.) 18:18:14 (~:L{gg(("<"")S:S'""Sn1~:A~D(:@~:@-@~zaa~g(A1a&)f)e@(:A@za*~D)e'*t.DDD?:^~'*t.DDD?:^@~a&*(">"")S:S'""Sn)f~!):^nSn 18:18:21 ais523: haha 18:18:32 somewhat longer than the oklotalk version 18:18:43 that's the language that was eventually tarpitised into Overload 18:18:56 ais523, can't find overload on esolang? 18:18:58 {L->'({.L>}/:_)+._+'${.L<}/:_} <<< added some more shit, but now i'm fairly sure it works :D 18:19:05 but I keep getting stuck halfway through when trying to write the spec 18:19:13 it can be done shorter, i'm just a bit panicky doing this live :P 18:19:16 AnMaster: that's because I've never actually managed to write the spec 18:19:21 ah ojk 18:19:22 ok* 18:19:34 I can give you a buggy interpreter in C++ that you can reverse-engineer if you want to mess around with it, though 18:19:39 * slereah_ should write the Andrei Machine 9000's specs 18:19:46 (that's only half-finished and abandoned because it became unmaintainable) 18:19:51 there are binary and trinary esolangs right? so what about other n-nary 18:19:59 ais523: you got a mix up :P 18:20:02 hey 18:20:06 who wants to write a turkey bomb impl :3 18:20:08 TriINTERCAL works in bases 3-7 18:20:13 Ten-ary? :o 18:20:18 ehird, not possible I think after looking at it 18:20:25 slereah_, whoo, that would be fun 18:20:45 anyway, {.L>}/:_ is assumed to mean {.L>_}/:_ because it ends in an oper, which means: collect for tail of argument all elements that are greater than the head of the list 18:20:59 umm, not greater, smaller 18:21:03 2i would be moar fun 18:21:04 AnMaster: um it is 18:21:08 {.L<}/:_ is the inverse 18:21:14 ais523 did a little bit writing a TURKEY BOMB interp beforehand 18:21:15 so ... :D 18:21:33 ehird, it is? turky bomb didn't specify most things about implementation it seemd? 18:21:36 I vote that the interpreter should be called CHICKEN EXPLOSIVE 18:21:36 seemed* 18:21:39 AnMaster: what in particular seems impossible about it? 18:21:40 like "half a bit" 18:21:46 AnMaster: half a bit is easy 18:21:49 just use crazy padding 18:21:56 ehird, err, what? 18:21:57 (i want to remind everyone once again oklotalk is *not* my official terse language! cise is :)) 18:22:18 Cise? 18:22:24 Overload was meant to be mine, but that would require implementing a standard library 18:22:29 (which would contain a sort function) 18:22:35 ehird, the size of some objects too, 18:22:51 AnMaster: some languages have extendable syntax, you can use any base 18:22:54 incidentally, the quicksort I pasted above also shows debug output 18:23:09 slereah_: Cise owns. 18:23:11 oklokok, what about non-unsigned integers? 18:23:24 i should put some examples somewhere 18:23:25 that is, something that isn't an unsigned integer 18:23:34 umm, like what? 18:23:39 oklokok: Cise does not use the wiki, it be not on it :o 18:23:45 do you understand "extendable syntax"? 18:23:46 *own the wiki 18:23:48 ais523: OMG, hexl-mode in emacs lets you use your major mode. I just used nxml-mode with hexl-mode 18:23:56 that's zen 18:23:59 ehird, another thing: PUDDING size: Infinite. impossible to *implement* 18:24:01 HexML? 18:24:05 AnMaster: you mean Amiced? 18:24:13 if so - just store it as a NEGATIVE_AMICED 18:24:25 and store it in any PUDDINGs that don't contain the AMICED in question 18:24:26 also, PUDDING could be done quite trivially in haskell. in C, you just make it the minimum to store its fields, and fake it 18:24:46 hm true 18:25:33 -!- RedDak has quit (Remote closed the connection). 18:25:50 ehird: the ide will be PARROT NUKE 18:25:54 oerjan: haha 18:26:04 ais523: OMG, hexl-mode in emacs lets you use your major mode. I just used nxml-mode with hexl-mode that's zen <-- NICE! 18:26:06 * AnMaster tries 18:26:19 wow indeed 18:26:34 breaks if you add more text though i think 18:26:34 :) 18:26:43 ehird, still, it's pretty :) 18:26:51 yes 18:26:59 can you syntax-highlight the hex? 18:26:59 but nxml-mode thinks the hex is part of the file 18:27:01 so messes up a bit 18:27:01 damn, cannot get Cise upped 18:27:08 ais523: no but the right-hand doc is 18:27:16 nxml-mode is horrid anway, its evil tricksy :) 18:27:30 http://www.vjn.fi/pb/p411124234.txt <<< my official terse language. 18:27:41 ehird, it doesn't work for hexl + shell mode here 18:27:43 weird 18:27:45 ais523: opinions on the name CHICKEN EXPLOSIVE? ;) 18:27:48 AnMaster: shell-mode is too hacky 18:27:50 but try: 18:27:55 M-x shellM-x hexl-mode 18:28:09 ehird, no I mean shell script mode 18:28:13 ah 18:28:14 let me try 18:28:14 ehird: it doesn't trip off the tongue like TURKEY BOMB does 18:28:31 hmm 18:28:32 oklokok: Looks like noise! 18:28:34 you're right, AnMaster 18:28:39 ais523: true 18:28:51 ehird, no idea why it doesn't 18:29:31 ehird, also doesn't work for lisp mode (as in *scratch* buffer 18:29:49 nxml-mode is evil 18:29:51 cise is only my current terse language though, i don't have such an intuitive way to see what's useful for the general graph, so cise pretty much just makes list operations terse 18:29:55 iirc it's a minor mode 18:30:05 tried implementing a red-black tree on it... that was hell :D 18:30:11 oklokok: cise spec? 18:30:13 i'll impl 18:30:34 you don't wanna parse cise... 18:30:57 ehird, I don't even have nxml-mode here? 18:31:12 hehe 18:31:15 you have to parse at runtime in the general case, i think 18:31:16 install it, AnMaster... 18:31:23 it contains an xml parser written in elisp 18:31:24 that's how it works 18:31:27 and it validates on-the-fly 18:31:31 and highlights errors exactly 18:31:33 because correct parsing relies on type checking 18:31:37 oklokok: sure 18:31:38 i can do that 18:31:42 anyway, i'll go buy me some keb 18:31:45 ah emacs-23 has it 18:31:59 ehird, ok, that's eww 18:32:09 i know you can, the real reason is i don't want you to implement my languages before me :D 18:32:39 AnMaster: no 18:32:41 it's brilliant 18:32:45 it is amazing for editing xml 18:32:47 pure bliss 18:32:48 the languages i'm in any way proud of, that is, you can implement yabc if you want... :P 18:32:48 ehird, mixing the modes I mean 18:32:49 ... 18:32:51 but its inner workings, whaow :) 18:33:16 AnMaster: that ' Invalid' thing is actually hacked in by nxml-mode 18:33:45 ehird, also why the brainfuck is emacs-32 ignoring my .emacs file, at least this line: "(setq inhibit-startup-message t)" 18:33:51 it works fine under emacs-22 18:33:59 -32 18:33:59 xD 18:34:04 ehird, err 18:34:06 anyway 18:34:06 23 I meant 18:34:06 its this 18:34:08 sorry 18:34:08 (setq inhibit-splash-screen t) 18:34:20 ehird, err, they renamed it? 18:34:21 sigh 18:34:49 I have emacs aliased in my bashrc to not show the splash screen 18:34:51 ehird, still doesn't work 18:35:17 alias emacs='emacs --no-splash' 18:35:49 AnMaster: #emacs 18:36:01 ais523, err, not really, because I use emacs as emacs-22, and emacs-23 as "whatever snapshot I currently use of that pre-release" 18:36:21 oklokok: aww come on, i want to try cice 18:36:24 so i can fail terribly 18:41:21 ais523: hey you 18:41:26 uhh what was i going to say 18:41:48 :| 18:42:01 how am I meant to know? 18:42:14 magic 18:42:21 ais523: how's BURKEY TOMB for a name? :P 18:42:28 yes 18:43:10 xD 18:43:13 kind of hard to pronounce 18:44:02 'tomb' is a real word 18:44:07 and 'burkey' is easy to pronounce 18:44:44 doesn't roll off the tounge, though 18:46:31 ais523: An Implementation Of Turkey Bomb I Mean Jeez sounds good 18:46:35 AIOTBIMJ 18:46:55 that's even harder to pronounce 18:47:59 Yeah well :P 18:49:06 BURKEY TOMB is rather easy 18:49:13 IMO 18:49:16 ais523: How about Tuberculosis 18:49:26 ehird: the failing terribly sounds like such an egoboost i might just make you a spec ;) 18:49:29 ehird, err "Tuberculosis" is hard 18:49:46 AnMaster: you didn't get the joke 18:49:48 :( 18:49:56 nop? 18:50:01 Turkey Bomb 18:50:01 TB 18:50:06 oklokok: \o/ :D 18:51:25 * slereah_ wrote a cat for the Andrei Machine :D 18:51:40 slereah_, for what? 18:51:49 The Andrei Machine 9000 18:51:56 what is it? 18:52:03 It's a Kolmogorov machine, but with an attempt at I/O 18:52:17 I'm not too sure it can do I/O at arbitrary points, but well. 18:52:36 is andrei your name 18:52:44 It's the name of Kolmogorov 18:52:48 And shorter to write. 18:52:57 and what is a "Kolmogorov machine"? 18:53:04 AnMaster: you are unable to google. 18:53:11 AnMaster: this is serious. we must spoon-feed you information. 18:53:17 ehird, I tried, found wikipedia page on person 18:53:22 but no mention of machine 18:53:30 http://www.esolangs.org/wiki/Kolmogorov_machine 18:53:30 second result 18:53:41 ehird, not in Swedish google :( 18:53:59 don't use swedish google then 18:54:07 ehird, it redirects me to it 18:54:24 The cat would be 0-5,-;0,->0-5,-;0-2,->0-5,-;0-2-6-7-*2,->0-*2,- 18:54:57 AnMaster: there's a button to go to US 18:55:08 Although 0,->0-5,- isn't really necessary, its only for the case where you input /000 18:55:12 ehird, yep, and that redirects me back again straight away 18:55:28 Oh wait, forgot to add the actual output of the value 18:55:33 AnMaster: google.com/ncr 18:55:45 oklokok: ciseeeeeee :-D 18:55:57 :P 18:56:00 ehird, weirdly: redirects 18:56:02 * AnMaster sigjs 18:56:04 sighs* 18:56:12 if i do something coding-related, it'll prolly be about oklotalk 18:56:17 *tonight 18:56:55 oklokok: i just want the spec so i can badly fail to implement it 18:56:55 :( 18:57:12 i don't have a spec yet! 18:57:15 so i'd need to make it 18:57:33 just write a short one :p 18:57:36 i just have a list of currently known functions 18:57:53 perhaps tomorrow. 18:58:04 ehird: maybe I'll send you the Overload interp so far (the first one in C++ that's more advanced), so you can try to write your own saner version 18:58:22 lol 18:58:25 ais523: okies :P 18:58:28 I just got a job offer :D 18:58:37 Judofyr: programming sofa skull? 18:58:50 ehird: no, with Ruby on Rails 18:58:52 ehird's such and implementation whore! 18:59:00 Judofyr: eeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeek 18:59:08 oklo! 18:59:10 the problem is that I have to go to school :( 18:59:12 0-5-4,-;0-4,->0-5-4;0-*2|*2-4,->0-*2|*2,-;0-2-6-7-2-4,->0-5-4,-;0,->0-5,-;0-2,->0-5,-;0-2-6-7-*2,->0-*2,- 18:59:15 bsmnt! 18:59:15 Or something 18:59:24 * bsmntbombdood fellates oklo 18:59:28 uuhh 18:59:32 * Judofyr still has 3 years left with school :( 18:59:41 Judofyr: me quit school! 18:59:44 high school? 18:59:47 Remind me that eso-std.org needs a qdb 18:59:49 :D 18:59:54 PRE SCHOOL :O 19:00:17 oklokok: hm... It's a little diffenrent here in Norway, so I don't know... 19:00:24 bsmntbombdood: no you didn't :o 19:00:25 different* 19:00:27 Graphs in ASCII are pretty uninspiring. 19:00:48 slereah_: no if they're made in graphica 19:00:49 yes i did 19:00:49 ehird (and anyone else interested): http://pastebin.ca/928017 19:00:51 *not 19:01:04 bsmntbombdood: no university for you? 19:01:07 nope 19:01:52 oklokok: There seem to be plenty of programs with that name 19:03:06 I'm pondering writing a befunge interpreter in bash, however, I'm not clear on one point, while the size of the playfield isn't limited in Befunge-98, is it "not limited in one dimension, but still limited in the other" or "totally unlimited"? 19:03:24 -!- oklokok has quit (Read error: 104 (Connection reset by peer)). 19:03:30 ais523: you know i would prefer a spec 19:03:31 :-P 19:03:38 -!- oklokok has joined. 19:03:40 AnMaster: It's Funge-98 19:03:40 * ais523 has two partially-complete specs 19:03:51 And don't bother; there are about 20 implementations, only one passes the test suite 19:03:54 and it was written over a yaer 19:04:02 can someone give me a link to the logs 19:04:03 it is an extremely complex langugae 19:04:12 ...or just paste me the few lin 19:04:13 es 19:04:18 ircbrowse.com 19:04:20 oklokok: they're linked from the community portal on the wiki 19:04:36 i'm too lazy for something like that 19:04:38 ehird, then the page http://www.esolangs.org/wiki/Befunge is wrong 19:04:45 ehird, it states "Befunge-98 removes the fixed-size restriction on the playfield, and thus should be Turing-complete." 19:05:05 AnMaster: uhhh, it is TC 19:05:08 but Don't Bother 19:05:11 Writing an interp 19:05:15 It is extremely difficult 19:05:17 ehird, quote from esolang 19:05:21 I didn't say it wasn't TC 19:05:22 ... 19:05:27 Since, you know, since it was released, *only one person has correctly implemented it* 19:05:27 quote from the wiki 19:05:35 Heh 19:05:41 ehird, http://www.esolangs.org/wiki/Befunge#Computational_class 19:05:42 ehird: http://pastebin.ca/928021 is the reasonably-full but vague and confusing spec 19:05:42 So it took about a decade to be implemented correctly. 19:05:44 But maybe AnMaster is a master programmer! 19:05:51 slereah_, I'm not 19:05:56 but will be fun to try 19:05:59 CCBI/Mycology's site seems to be down 19:06:01 A reasonably good programer? 19:06:08 slereah_, "okish" 19:06:09 AnMaster: Even the *person who wrote most of the befunge98 spec didn't get it right* 19:06:11 does befunge have bignums? 19:06:32 Writing interpreters for 2D languages does not seem to qualify as fun. 19:06:43 especially befunge98 19:06:48 well, why am i saying that 19:06:49 it's Funge98 19:06:52 AnMaster: you hear that? 19:06:55 you need to implement N dimensions 19:07:01 ehird: http://pastebin.ca/928023 is the much clearer spec I got less than halfway through 19:07:04 and, again, only one person has got Funge98 right, ever. 19:07:06 ehird, hrrm 19:07:11 And it took them a year, using D and the rich Tango library. 19:07:20 Most of the people here, in Bash? Very little chance. 19:07:29 well I won't do that then, however the original befunge maybe 19:07:31 ehird: that person did manage to correct someone else's interp to get a lot more right 19:07:32 I could manage that 19:07:36 though it isn't TC 19:07:43 and now there's a testsuite, you can continually keep on fixing your first error 19:07:45 befunge-93 is trivial yeah 19:07:51 ais523: still 19:07:54 i wouldnt attempt it in bash 19:08:17 ehird: you have to go off and write an Overload interp now, now I've given you a reference interp and two specs 19:08:21 what's hard to implement about funge-98? 19:08:29 ais523: yes yes ;) 19:08:32 (not that any of them is perfect for understanding the language with) 19:08:33 is it just the n-dimensionality? 19:08:35 oklokok: its very complex 19:08:43 the most complex esolang existing for sure 19:08:47 i should check it out 19:08:49 by many factors 19:08:51 ok what about befunge-98--? ;D 19:09:52 ehird: maybe recent INTERCAL dialects beat it for complexity 19:10:13 with these restrictions I could do it in bash: 1) playfield resricted to two dimensions 2) restricted in width to some fixed amount 3) height not restricted 19:10:18 ais523: doubt it 19:10:22 AnMaster: no 19:10:25 you couldn't 19:10:33 then I could use some cleaver tricks with bash's one dimensional arrays 19:10:42 well known way 19:10:46 no, AnMaster 19:10:50 the language itself is just too comple 19:10:53 there is no way you could do it 19:10:55 ehird: stop being such a pessimist 19:10:58 heck, I couldn't 19:10:58 :P 19:11:01 ehird, so not even same instruction set 19:11:08 there isn't anything all that difficult about it, it's just so extensive that it's easy to make a mistake 19:11:21 also, speed would be terrible 19:11:30 I won't aim at making a fast implementation 19:11:39 AnMaster: http://catseye.tc/projects/funge98/doc/funge98.html 19:11:45 One look at that spec should send you running 19:12:58 ok, befunge-93++ then it is 19:13:06 AnMaster: hehe, did that spec scare you? 19:13:09 sure scares me 19:13:28 What's the syntax to make a footnote on Esolang? 19:13:29 would still be turing complete, by specifying that "height of play field is not limited" 19:13:41 ehird, anyway section "Wrapping" did scare me 19:13:44 slereah_: there isn't one 19:13:48 because Cite isn't installed 19:13:48 Oh. 19:14:00 just use tags to put an asterisk or something similar 19:14:05 and use it as a footnote marker 19:14:12 sup? 19:14:18 superscript 19:14:27 as in this is in superscript 19:15:17 ais523: opinions on Tuberculosis as a TB interp name? 19:15:31 It's not TB. 19:15:58 ehird: if you can somehow get in the tuber=potato thing, then I like it 19:16:00 slereah_: huh? 19:16:07 House reference. 19:16:51 ais523: was that sentence even english? 19:16:51 :p 19:16:57 ehird: yes 19:17:09 'tuber=potato' maybe should have been in quotes 19:17:18 what 'tuber=potato' thing 19:17:21 (sorry, i'm dumb today) 19:17:50 a potato is a sort of tuber 19:18:01 playfield can be limited too, and still it can be tc 19:18:05 and the letters TUBER occur consecutively in Tuberculosis 19:18:08 oh. 19:18:10 potatoculosis 19:18:12 and potatos seem linked to TURKEY BOMB in some way 19:18:18 #tuberculosis 19:18:25 just have bignums, and you don't even need an infinite stack 19:18:32 ehird: stop making random channels and forcing other people to join you there! 19:18:46 hahaha 19:18:47 :D 19:18:49 no, it's fun 19:18:58 besides, you aren't there 19:19:05 yes, i am 19:19:08 #tuberculosis 19:19:11 either that, or it's a secret channel 19:19:23 oklokok just joined 19:19:24 so I can't tell if you're in it without joining it myself 19:19:39 fine, i reg'd it 19:19:51 tuber, cool oasis 19:20:31 "it all starts when a nulevule comes out of its nest" 19:20:32 3 people are in already 19:20:35 it's popular! ;) 19:20:37 *nulecule 19:21:54 -!- Corun has quit ("Leaving"). 19:26:06 -!- Corun has joined. 19:27:55 oklokok! 19:28:30 ! 19:28:51 and don't you fellate me 19:28:58 that's just for bsmnt 19:29:08 Okay. 19:29:08 what? 19:29:11 Where can I find this Graphica? 19:29:30 must be the alzheimer again 19:29:38 Probably. 19:29:41 bsmntbombdood: i'm fairly sure i was being clear 19:29:47 slereah_: i have a spec somewhere 19:29:49 that's why he had to quit school, you see 19:29:57 wait a year or something, i'll get it 19:30:03 What, bsmntbombdood got pregnant? 19:30:11 And you had to drop out of high school? 19:30:31 Got any idea to draw some graphs? 19:30:48 I don't look forward to do them in gimp 19:30:53 * oerjan makes a note not to expect too much of slereah_'s medical knowledge 19:30:58 slereah_: you could use GammaPlex if you wanted something esoteric 19:31:12 oerjan: do you actually know for certain what gender bsmntbombdood is? 19:31:12 Buttbabies, oerjan 19:31:34 ais523: hm interesting question 19:31:59 there have been pictures of him 19:32:20 but certain, of course not 19:32:31 slereah_: try R, perhaps? 19:32:40 http://www.vjn.fi/oklopol/graphica.txt <<< and n-dimensional binary hypercube in case you missed it, slereah_ 19:32:45 that's an example 19:32:50 i cannot find the spec right now 19:33:00 or depending on what you need to graph, I might be able to whip up some postscript, given time 19:33:38 i don't think R is for this kind of graphs 19:33:42 RodgerTheGreat: I really don't want to google R. 19:33:46 says something about statistics in there 19:33:50 slereah_: r programming 19:34:02 wait, do you mean like graph theory graphs, or statistics graphs? 19:34:09 graph theory 19:34:09 Graph theory. 19:34:11 kolmogorov machine 19:34:20 oh, then fuck- R probably can't do that 19:34:32 I recall reading about a python plugin for managing those though 19:34:32 I tried to use Gato, but I can't install it. 19:34:41 I miss some Python modules apparently 19:34:45 RodgerTheGreat: yeah, my graphica interp! :D 19:35:02 "managing" 19:35:11 it doesn't manage 'em, just makes 19:36:14 I thought it came with some handy data structures 19:37:41 isn't gato just for drawing graphs? 19:37:51 I don't know. 19:38:04 Though it would be a good start. I do need some pix to illustrate the article 19:38:27 well, for starters, why the hell would anyone make a language spesifically for the purpose of creating graphs 19:38:43 unless of course as a part of a graph drawing program or something 19:38:49 it'd be awfully.... esoteric... 19:38:53 oklokok: why the hell would anyone make an esolang anyway? 19:39:01 Sexual perversion? 19:39:07 * RodgerTheGreat high-fives ais523 19:39:13 Hmm, sex, what? 19:39:21 Corun: Do you have that on highlight? 19:39:22 all i'm saying there's prolly no big, real, language for that. 19:39:37 real being something not made by me 19:39:44 Heh. 19:40:01 I guess I can just whip up something with Python. 19:40:07 I always end up there! 19:40:18 Corun: you are now in charge of developing a "sexy" programming language. Strike fear into us all. 19:40:30 ayeeeeeh 19:40:33 Penis input? 19:40:51 void main() {} -> I put on my robe and wizzard hat 19:41:06 zz? 19:41:11 also 19:41:13 void main()?! 19:41:19 that won't even COMPILE 19:41:23 you mean: int main(void) 19:41:24 Or would it? 19:41:40 ehird: void main() compiles but is UB 19:41:42 heaven forbid we use simplified illustrations to present a joke 19:41:43 As far as I know, main() compiles on some compilers 19:41:48 as in, you're not supposed to do it 19:42:05 and main(){} is correct C89 (but not correct C99) 19:42:05 RodgerTheGreat: are you saying one cannot be pedantic on #esoteric? 19:42:23 ais523: no no no 19:42:26 func() 19:42:29 IS NOT LEGAL in a prototype 19:42:32 it must be func(void) 19:42:36 I'm simply voicing my irritation about it, as usual. I realize it's inevitable, oklokok 19:42:41 yes, but you can use functions without prototypes 19:42:41 void main() will NOT compile 19:42:49 it will if you put braces after it 19:42:52 RodgerTheGreat: do realize i just said that because you said that some time ago. 19:43:02 because that's a non-prototype declaration of "function taking unspecified args, returning void" 19:43:22 i think everyone should both be pedantic and be irritated about it 19:43:36 main returns int 19:43:47 but int is the default in C89, so you can leave off the int at the start 19:43:50 although I am aware of making that statement, I believe I was being sarcastic. Not that it matters. 19:43:56 (C99 doesn't have defaults, you have to state the data type) 19:44:02 oklokok: i hate it when you say that. btw CAPITALIZE YOUR SENTENCES 19:44:38 RodgerTheGreat: does not matter, no, but were you being sarcastic now or back then? 19:45:06 ah, russell's paradox. 19:45:43 he wioll haven been sarcastic previously afterward 19:46:30 heh, anyway, i don't think you were being sarcastic back then, because you were accused of being pedantic, and that was your response... i just followed the pattern. 19:47:32 there is no pattern. our words make sense purely by trogg. 19:48:34 oerjan: is that a HHGTTG verb? 19:48:42 what's a trogg, besides a person who tries to be a wog? 19:49:14 ais523: more or less 19:49:47 oklokok: it's what i typed when trying to type a random unpronouncable word. obviously i failed. 19:49:59 google gives some WoW link 19:50:49 every word with less than 10 characters has a sexual/drug-related meaning in urbandictionary. 19:51:29 yes. even siojuww 19:52:35 hah, i was _not_ fooled into googling that. nope, never. 19:52:50 That's like 141167095653376 words :o 19:53:07 slereah_: that's modern english for ya 19:53:39 hehe 19:53:41 i have a fun idea 19:53:54 something like urbandictionary, but meanings are generated 19:53:57 Does it involve jello? 19:54:02 that too. 19:54:25 jello looks _so_ like a random letter combination 19:54:31 oklokok: i can trivially write that 19:54:37 markov chain + urbandict DB dump = fun and laughter 19:54:42 :) 19:54:56 well, that's an easy but sucky way to do it 19:55:05 :( 19:55:08 you can probably make it correct english. 19:55:29 most of urbandictionary is not correct english 19:56:23 okay, you can make everything actually have a meaning. 19:56:32 correct that way. 19:57:42 ditto 19:58:08 Ditto: A popular lottery in New Zealand 19:58:35 Holy shit, Gygax is dead 20:00:20 * ais523 checks Slashdot to confirm 20:00:38 * oerjan checked wikipedia 20:00:47 ..gygax 20:00:47 ? 20:00:50 * ehird is dum 20:00:54 Gary Gygax 20:00:56 Gary Gygax 20:00:58 D&D guy 20:03:14 ehird: because you're probably the second most interested in my oklotalk interp in the world: it currently does both static and dynamic scoping perfectly, i think, ran ``s``s`ks``s`kk``skk`k``skk on it 20:03:40 hah 20:03:42 oklokok: src? 20:03:45 the dynamic scoping should work too, sk ofc doesn't tell anything about that. 20:03:48 :o 20:03:52 you do not want to see it. 20:04:01 Hm. I wonder if it would be easy to run some combinators in the Andrei Machines. 20:04:29 As a tree or something 20:04:35 for one, the interp is so slow you would cry. 20:04:46 i dooo 20:04:47 i like slow 20:04:49 heh 20:05:17 not that it actually matters, but i'll only show it in priv, and don't want you to spread it. 20:05:56 heh 20:05:58 ok :p 20:06:49 -!- oklokok has changed nick to oklopol. 20:11:28 -!- olsner has joined. 20:12:43 Does GIMP have a tool for basic shapes, or should I look for another program? 20:33:48 slereah_, inkscape? 20:33:58 I'll try it. 20:46:13 -!- Corun has quit ("Leaving"). 21:06:40 oerjan: ping 21:07:31 gnidllgnafnoopeepeepsnapfiongflipspIONG 21:07:46 oerjan: erm. 21:07:56 I was just wondering if you had any ideas how to represent a BI_IT and similar 21:08:14 you can pad them to an integral number of bits but you'll have trouble finding reasonable data to put in them anyway 21:08:16 since i don't know what it _is_... 21:08:26 half of a trit + two-thirds of a bit 21:08:39 you can combine 6 of them to get a data type consisting of 4 bits and 3 trits 21:08:47 oerjan: read TURKEY BOMB spec 21:09:03 oops 21:09:27 well, a trit = ln 3 / ln 2 bits 21:09:33 convenient link: http://catseye.tc/projects/turkeyb/doc/turkeyb.html 21:09:39 :p 21:10:15 1.45914791702724 bits 21:10:38 oerjan: yes. 21:11:14 strange, I make it 1.5849625007211563 bits 21:11:15 so in one you can save a bit + a little more 21:11:18 (according to ghci) 21:11:28 (log 3/log 2)/2 + 2/3 ? 21:11:38 oh, I just calculated log 3 / log 2 21:11:54 agree with you on the size of a BI_IT 21:12:02 the next two decimal places are 4 and 8, apparently 21:12:31 hmm... is it usual for people to use ghci for quick calculations? 21:12:44 well i just used hugs :) 21:12:44 haskell isn't known for being good at, well, arithmetic 21:12:45 :-) 21:13:00 but it _is_ 21:13:01 (I think this should be resolved with matlab. ;P) 21:13:05 haskell is good at arithmetic 21:13:11 ais523: yes 21:13:15 it does bignums automatically 21:13:17 as long as you don't want weird functions 21:13:18 umm 21:13:27 bignums automatically is an idea from the 50s 21:13:28 :-) 21:13:38 yes, but how many calculators actually do it? 21:13:43 uhhh 21:13:48 all of them? :/ 21:13:59 most don't 21:14:06 Windows Calculator, for instance 21:14:13 or pretty much any handheld electronic calculator 21:14:40 um, i meant ones on a compooter 21:15:04 dc seems to do bignums, though 21:15:40 Google calculator doesn't, instead rounding large numbers to floating-point 21:15:56 every language does bignums 21:16:15 * (+ (/ (/ (log 3) (log 2)) 2) 2/3) 21:16:15 1.4591479 21:16:15 in conclusion, oerjan is right 21:16:18 what SBCL says goes :-P 21:16:18 not all of them do by default, or easily 21:16:21 the problem is arbitrary precision reals 21:16:30 SBCL? 21:16:37 from the syntax I guess it's a Lisp variant 21:16:37 ais523: Steel Bank Common Lisp 21:16:48 ais523: not all, but most good ones. 21:16:49 the best open-source Common Lisp implementation, IMO :) 21:16:57 * ais523 fires up flonck 21:17:09 if a language does not do them, it either sucks, or is some low-level wongomadol 21:17:20 SBCL descended from CMUCL 21:17:28 'The name "Steel Bank Common Lisp" is a pun on Carnegie Mellon University Common Lisp from which SBCL forked: Andrew Carnegie made his fortune in the steel industry and Andrew Mellon was a successful banker.' 21:17:54 wongomadol: The capital of Southern Zambesi 21:18:09 oerjan: you sure know a lot :o 21:18:17 what would half a bit of information be? 21:18:28 ( to | 21:18:30 err 21:18:32 ( to ` 21:18:36 but a backwards ` 21:18:39 i can't enter those 21:18:46 would there be a possibility of the info being wrong or what... 21:18:53 i can't quite get on top of it 21:19:00 Half a bit of info: ( to ` 21:19:03 err 21:19:04 wait 21:19:07 i don't get that 21:19:13 oklopol: 0 ( 21:19:18 1 ` (imagine the ` is backwards) 21:19:21 (´ 21:19:29 half a bit of information is the amount of information in knowing that an event of probability 1/sqrt 2 occured. 21:19:30 now wtf does that mean? 21:19:46 ah. 21:19:56 oklopol: ... 21:19:56 wait... 21:19:57 no 21:20:06 WHOLE BIT --- HALF BIT 21:20:08 0 --- ( 21:20:09 1 --- ` 21:20:14 It's half of the digit. 21:20:23 oh, it's a joke :D 21:20:35 sorry, was assuming it was an unlambda reference 21:21:28 ais523: underlambda. do the tiers have a spec yet? 21:21:54 hmm, i need to think about this half-a-bit crap, you might be able to get something interesting out of it 21:22:05 turkey bomb has something like that? 21:22:22 ehird: 1, 1a, 2, 2a 21:22:36 ais523: ESOification? :D 21:22:37 although I'm planning to move S from 1 to 2a because it fits more logically there 21:22:55 ehird: yes, eventually 21:22:56 let me work out the size of a BI_IT using flonck first 21:23:03 ais523: Can I make overlambda? :P 21:23:05 I've got the output, now just need to translate it into decimal :) 21:23:07 ehird: yes 21:23:18 @define flonck 21:23:22 damn, we need Endeavour in here 21:23:25 oh wait i didn't write it yet 21:23:26 :P 21:24:47 hmm... it gave me an output of 0.666666, which is obviously wrong 21:25:00 @define flonck 21:25:08 ehird: an RPN floating-point calculator written in INTERCAL-72 21:25:35 wow 21:25:56 ais523: what would overlambda be, by the way? :P 21:26:05 no idea 21:26:20 oklopol: Cise spec? :D 21:26:22 I want to fail terribly! 21:27:05 oh, you :) 21:27:14 tomorrow isn't until like 30 minutes 21:27:24 I CAN'T WAIT 21:27:24 :( 21:29:46 hmm... there seems to be something wrong with flonck's implementation of ln 21:30:28 ah, I was writing ln 20 / ln 30 by mistake 21:30:30 oklopol: aww come on :( 21:30:33 which is quite different 21:32:27 J 21:32:35 s/.*\n// 21:33:03 I now get an answer of 7.35053 21:33:06 which is also wrong 21:33:15 hmm... flonck is really hard to use 21:33:26 and floating-point output in Roman numerals is not very understandable either 21:34:00 (6 decimal digits mantissa, one bit sign, and 1 base-5 and 1 base-10 digit for exponent) 21:34:02 ais523: i need to write my calculator sometime 21:34:12 it would be like a programming language but specialized for quick calculator stuff. 21:34:13 (but written in Roman numerals) 21:34:20 it would have infinite-precision floating-point numbers, too 21:34:22 <3 gmp 21:34:39 oh, and it would allow stuff like the google calc 21:34:44 pseudo-english input 21:34:48 e.g. '2*3 in binary' 21:34:56 110 21:35:16 sorry, I thought I was in #irp for a moment 21:35:19 oh 21:35:20 and this: 21:35:21 http://www.google.com/search?q=number+of+horns+on+a+unicorn+acre+in+tea+spoons+per+light+year 21:35:53 they've been adding more silly units into it again, I see 21:35:54 what is that from? 21:36:08 bsmntbombdood: it was on reddit a while back 21:36:23 ais523: it makes sense, actually 21:36:32 'number of horns on a unicorn' is admittedly a joke unit 21:36:34 it's 1, of course 21:36:37 so LHS = 1 acre 21:36:40 now 21:36:46 'X per Y' will be handled automatically 21:36:50 teaspoons will be in there for cooking 21:36:55 light year for obvious reasons 21:37:00 I was referring to the unicorn unit 21:37:03 the rest make sense 21:37:05 so, the only joke unit involved is 'number of horns on a unicorn' 21:38:12 I wonder if they'd heard of the fortnight/furlong/firkin system of measurement? 21:38:39 mostlikely 21:39:04 http://www.google.com/search?aq=f&hl=en&safe=off&q=1+furlong%2Ffortnight&btnG=Search 21:39:23 hmm... why do you have safe=off in that URL? 21:39:50 ais523: his prefs include it? 21:39:52 dunno 21:40:02 ehird: if they do, that's somewhat revealing 21:40:13 'dunno' is probably the best response 21:40:23 http://www.google.com/search?q=number+of+horns+on+a+unicorn+baker%27s+dozens+answer+to+life%2C+the+universe%2C+and+everything+baker%27s+dozen+acres+in+tea+spoons+baker%27s+dozen+per+light+year 21:40:33 ais523: safesearch is a pretty bad idea no matter what.. 21:40:41 esp. since it could filter out legit results 21:41:05 also, i have no idea what anyone could do with the 'revealing' info that someone has turned off safesearch. 21:41:08 perhaps blackmail them. 21:43:38 this gets me wondering whether Google have been persuaded to write an antifilter 21:43:50 which only returns results that safesearch would have filtered out 21:43:56 some people might be interested in that too... 21:44:48 ais523: a funny common lisp thing -- 21:44:54 the special form THE 21:44:58 (the TYPE THING) 21:45:03 its a type hint to the compiler 21:45:13 i.e. 'this will always be a TYPE, stop yer checks' 21:45:16 why is it amusing? 21:45:18 (the fixnum 5) 21:45:26 (the list '(1 2 3)) 21:45:29 pseudo-english 21:45:44 can that be implemented with (macro)? 21:46:26 ais523: of course not. 21:46:32 it's an internal compiler thing 21:46:37 it doesn't have to listen to it 21:46:39 but e.g. 21:46:45 (the fixnum 928374892347982347923847239847238947234234) 21:46:50 will, in most compilers, be ... not that 21:46:58 it's best used in cases like 21:47:01 (the fixnum (+ a b)) 21:47:07 (I'm still trying to argue my point about (macro) not fitting well in Lisp) 21:47:26 ais523: if the compiler provides enough hooks you could define it with defmacro 21:47:53 but whatever, you are wrong. it might not fit with what you want in a paren-filled language, but Lisp is all about macros. you're just saying 'i don't like macros', not 'macros are unlispish' 21:48:38 there is a subset of this channel that should avoid reading today's xkcd... 21:49:04 I know how to tell if you are int this subset ... 21:49:07 really? link! 21:49:21 but to tell you would cause exactly the problem that avoiding reading today's xkcd would cause 21:49:22 oklopol: it's about losing the game 21:49:28 lisp is all about scaring the user away with 50-year-old conventions, fragmented community, half-crazy evangelists, weird syntax and an overall air of nuttyness 21:49:29 tee hee 21:49:32 ehird: I like them in some cases, but the rest of Lisp seems like the wrong language to put them in 21:49:48 there is a new xkcd today? 21:49:52 http://www.google.com/search?q=1+teaspoon+in+megaparsec+barns 21:49:56 SimonRC: is it uncontroversial, well-sourced proof that the Game exists? 21:49:59 oerjan: yes, it's about losing The Game 21:50:05 because Wikipedia have been looking for that for a while 21:50:07 ais523: it is a definition 21:50:12 SimonRC: lol 21:50:28 ais523: well, those people are idiots :) 21:50:33 unfortunately, xkcd probably isn't a sufficiently reliable source 21:50:37 The Game undisputably does exist and it's very popular 21:50:44 ehird: yes, but can you /prove/ it 21:50:58 s/$/?/ 21:50:58 -!- Judofyr has quit. 21:51:00 someone mentionned an origin on the XKCD forum thread 21:51:05 or at least hinted at an origin 21:51:13 ais523: you can't *prove* anything 21:51:15 I'm pretty sure that your statement is true, but finding reliable sources has proven very difficult 21:51:29 well, sure. the game is by definition entirely grassroots 21:51:35 oh, and BTW, for any game, there exists another game with the winnign and losing conditions reversed 21:51:39 ehird: use the Wikipedia definition of 'find that it's stated in at least two reliable sources independent of the source itself' 21:51:50 SimonRC: yes, that game is actually played at a roleplaying group I help to run 21:51:50 so there is a game that you win whenever you lose The Game 21:51:56 assuming The GAme is a game 21:52:02 SimonRC: I just won The Antigame!!!!! 21:52:03 \o/ 21:52:13 ais523: yeah, um, you're not going to find that 21:52:16 it's a popular mind game 21:52:17 little else 21:52:17 except that the first person to remember the existence of the Anti-Game wins it, and announcing the fact causes everyone within earshot to lose 21:52:23 now, I just need to go back in time and invert the "win" game before The Game gets invented 21:52:31 ais523: ah 21:52:31 it probably deserves a WP article 21:52:34 but it isn't highly notable 21:53:01 er i still won 21:53:06 oerjan: huh? 21:53:12 * oerjan wonders what this is all about 21:53:24 * oerjan visited the xkcd page 21:53:25 oerjan: see forum thread, post #1 21:53:35 ehird: http://en.wikipedia.org/wiki/Wikipedia:Articles_for_deletion/The_Game_%28game%29_%286th_nomination%29 21:53:46 (that URL was retyped, so I may have got it wrong) 21:53:46 oerjan: The Game. 21:53:53 do not read more that the first few posts though, as there are some very evil posts in that thread 21:53:54 286th nomination 21:53:55 :-D 21:54:00 6th, actually 21:54:04 yes 21:54:05 but it took that many before it was deleted 21:54:06 ubt it looks funny 21:54:07 Also 21:54:11 'The Game (game)'?! 21:54:13 xD 21:54:18 The Game (non-game) 21:54:25 actually, reading the whole thread didn;t harm me 21:54:27 haha 21:54:29 ehird: disambiguator 21:54:34 ais523: a ridiculous one 21:54:34 :-) 21:54:39 it might make you lose a lot more over the next few weeks though 21:54:56 I don't play 21:55:08 ais523: Everyone starts playing the moment they learn of The Game's existance. 21:55:09 many people playing think the third rule compels me to play, but as I'm not playing I'm not bound by it 21:55:09 ais523: to be accurate, you don't obey the rules 21:55:12 You do not have a choice. 21:55:24 the rules compel people to believe that, but they are wrong 21:55:29 That's not a rule. That's just The Game. 21:55:29 hmm 21:55:38 because the rules don't bind people until they start playing 21:55:40 By its definition, it is a game whose participation is required after learning of its existance. 21:55:46 The rules are just by-notes. 21:55:54 admittedly, once you start, it's theoretically impossible to stop without forgetting the rules 21:55:59 ais523: please stop trying to climb throught the keyhole and just open the damn door. 21:56:08 ehird: it's a game, not a law of physics 21:56:20 the definition of winning the game is a definition in the mathematical sense 21:56:22 BUT 21:56:28 the game cannot escape that greater rule binding all games, just as a side-effect-less function in haskell simply *cannot have side-effects*, both are run in microcosms bounded on an upper level 21:56:31 you are not compelled to obey the rules 21:56:35 SimonRC: AFAIK it's impossible to win the original game 21:56:39 ais523: No. 21:56:40 ais523: yes 21:56:58 oklopol: you are wrong 21:56:59 ehird: what statement of mine did you just try to object to? 21:57:06 ehird: no i'm not 21:57:09 ehird: oklopol was right 21:57:23 except for unsafePerformIO, of course 21:57:26 factorial n = if n == 0 then 1 else unsafePerformIO (putStrLn "SIDE-EFFECT") `seq` n * factorial (n-1) 21:57:27 :P 21:57:28 hehe :) 21:57:33 oklopol: I win. 21:57:39 okay, okay, you won this round 21:57:42 OK unsafePerformIO isn't standard but every interpreter and compiler implements it 21:57:47 but i'm fairly sure i had a point, still 21:58:04 I agree with oklopol's point even if the statement has factual problems 21:58:31 the definition of playing the game is to have heard of it, BUT there is no compulsion in the general case to obey the rules just because something called "playing the game" is defined as what you are doing 21:58:40 sudo the-game --daemonize 21:58:45 No longer in its jail! 21:58:56 OK, so we're all bound by it now since I just introduced you all to it by starting it as a root daemon. 21:58:59 Now you all must play, 21:59:01 Yay. 21:59:10 root priveliges don't carry over IRC AFAIK 21:59:20 if they did, it would be a massive security risk 21:59:26 ... so, by the definition of the rules, I am playing the game, BUT i am not obeying the stated rules 21:59:26 as well as being somewhat hard to implement 21:59:43 the rules themselves have a factually incorrect view of reality 22:00:08 ais523: that was on god@universe 22:00:13 that is another idea too: the original statement of the rules had a major misprint in them 22:00:17 my message was just informing you that i'd done it 22:00:25 and to introduce you all to the game (which is now a new instance) 22:00:27 thus, you are all playing it. 22:00:32 * ais523 chooses not to believe ehird 22:00:35 :( 22:00:43 summary: "I must obey the rules of The Game must I? Or else what?" 22:01:28 hmm 22:01:48 or else... 22:01:55 well, let's just say god@universe has kill(1) 22:02:01 or else I will hit you with an ellipsis 22:02:14 I wonder if I can beat some of the posters on that thread for "suggestion that is most likely to make someone keep losing the game every 5 mins for the next week". 22:02:32 SimonRC: The Game porn 22:02:32 * SimonRC recalls the Basil puzzle. 22:02:33 free 22:02:37 that's the problem with laws, in most peoples' eyes, nothing can be forbidden, things can only have a punishment. 22:02:41 that gives away free iphones 22:02:47 loaded with the porn as the theme & homepage etc 22:03:03 oklopol: well, things can help or hinder one's objectives 22:03:12 a poster campaign? 22:03:15 oklopol: I'm quite handy with attaching gdb to a process and poking at memory... 22:03:19 I will MAKE ais523 obey! 22:03:19 a prime-time TV ad? 22:03:49 SimonRC: an IRC nickname? 22:03:58 ais523: yes! 22:03:59 -!- ehird has changed nick to TheGamehird. 22:04:06 -!- SimonRC has changed nick to YouJustLostTheGa. 22:04:20 YouJustLostTheGa loses 22:04:23 -!- YouJustLostTheGa has changed nick to SimonRC. 22:04:23 YouJustLostTheGa: is there a limit on nickname length? 22:04:32 yes 22:04:33 hehehe, I just made about 1000 pweople lose 22:05:00 SimonRC: i don't see what you mean 22:05:06 ehird: i don't see what you mean 22:05:14 presumably SimonRC was in more than one channel 22:05:27 * ais523 just tried to tab-complete the word 'presumably' 22:05:30 highlighting me ? 22:05:44 -!- TheGamehird has changed nick to UJustLostTheGame. 22:06:09 ais523: wow, vi is actually pretty cool 22:06:13 oklopol: yes 22:06:19 UJustLostTheGame: also yes 22:06:22 interesting. 22:06:24 the external file filtering is actually pretty cool 22:06:26 but I haven't really learnt to use it 22:06:26 saw this on reddit: 22:06:30 if you're editing a file 22:06:32 :%!xxd 22:06:37 and it's very beginner-unfriendly 22:06:37 xxd prints out a hex dump of the file 22:06:46 edit the hex stuff (formatted just like a regular hex editor) 22:06:48 then: 22:06:51 :%!xxd -r 22:06:53 and it goes back 22:06:55 even worse than Emacs in that respect 22:07:05 i never thought of using filtering for stuff like that 22:07:20 -!- oerjan has quit ("Good night"). 22:07:24 and the coolest thing, of course 22:07:32 is that you can use vi's moving commands to use it efficiently 22:07:38 wow 22:07:41 hl -> bw 22:07:47 and you go one hex block at a time 22:07:55 I think that comes to almost 1000 people simultaneously 22:07:59 surely a record... 22:08:18 SimonRC: were you busy counting how many people were in all the channels you were in? 22:08:20 but an admin must have read it, and they might be about to /wall 22:08:22 ... 22:08:24 ais523: yes 22:08:43 hmm 22:08:48 i'm going to join #ubuntu 22:08:50 what we need to do now is get [[The Game (game)]] as Wikipedia's front-page featured article 22:08:53 and try it there 22:09:09 but you'd need loads more sources for that to happen 22:09:14 maybe Everything2 would be easier 22:09:19 yea, about 800 people just saw my nick change 22:09:23 ais523: i'll try :P 22:09:27 I bet severl will copy it 22:09:29 acutally no 22:09:32 i'm too lazy 22:09:43 hey -- is anyone here an ircop on a relatively big network? 22:09:52 /wall You just lost the game. 22:09:53 :-) 22:10:03 you would so get in trouble for that 22:10:11 bah 22:10:14 not if it was efnet 22:10:16 :P 22:10:20 just like a Wikipedia admin would get in trouble for putting it in the sitenotice 22:10:33 -!- RedDak has joined. 22:10:38 efnet is anarchic 22:10:39 (no, I'm not going to do that, no matter how hard you try to persuade me) 22:10:56 * SimonRC imagines the headlines: "Wolphram Prize Winner starts wave of Game-Losing" 22:11:18 * ais523 wonders how annoyed Wolfram Research would get at the misspelling 22:11:23 oops 22:11:31 ais523: you are that guy, right? 22:11:34 yes 22:11:56 * SimonRC ponders bashing the time around when he changed his nick 22:12:12 how often is #esoteric bashed, anyway? 22:12:17 probably not often enough 22:12:43 and bashing it would actually tie into the point of the thread, ironically 22:12:47 ais523: ummm 22:12:51 i assume he means a diff. network 22:12:52 (does IRC have threads?) 22:12:59 kinda 22:13:00 there's not 800 people in here 22:13:11 UJustLostTheGame: I am in many channels 22:13:23 [22:13] [Whois] SimonRC is a user on channels: #esoteric 22:13:25 all of which are apparently secret apart from this one, or on different networks 22:13:28 ah 22:13:29 #uncyclopedia #haskell and #nethack being the major contributors 22:13:33 um 22:13:36 they're not secret 22:13:38 and you're not in them, SimonRC 22:13:45 yes I am 22:13:51 go visit them 22:13:51 well 22:13:54 /whois disagrees 22:14:07 /whois is cencored 22:14:10 *censored 22:14:18 SimonRC is in #haskell 22:14:22 I just nipped over there to check 22:14:24 i don't see the game in wikipedia 22:14:32 bsmntbombdood: it was deleted after 6 AfDs 22:14:39 the previous 5 didn't get enough consensus to delete it 22:14:43 oh 22:15:07 afd? 22:15:23 Articles for Deletion 22:15:30 where people debate about whether to delete an article 22:15:30 ah 22:15:35 hmm 22:15:44 eso-std.org should have an irc network, but that would fragment the community :-) 22:15:45 normally it's clear-cut delete or keep (or sometimes merge, redirect or transwiki), but not in this case 22:15:55 ais523: 'normally'? hardly 22:15:55 :p 22:16:11 UJustLostTheGame: write a pair of bots that copy all conversation from each channel into the other 22:16:14 As some wit said: "The human hand has 5 fingers [citation needed]" 22:16:23 and UJustLostTheGame: yes, it is normally clear-cut how to close an AfD 22:16:31 ais523: such bots exist 22:16:31 ais523: well sure 22:16:33 but ... that's kinda ugly 22:16:35 :P 22:16:37 ais523: they can tie networks together 22:16:40 one channel is far nicer 22:16:49 let's all migrate to eso-std.org#esoteric 22:16:49 :D 22:16:53 apparently in some places there's a craze of people carrying around small adhesive [citation needed] signs to stick on adverts 22:17:19 there was one such bot in the OTTD channel for a whiloe 22:17:19 ais523: xkcd. 22:17:22 *while 22:17:26 there was an xkcd comic on that 22:17:29 and now people are copying it 22:17:35 ais523: he waves it at a political speech 22:17:43 Randal is going to get power-mad some day 22:17:52 I mean, he just took on The Game 22:20:11 *pause* 22:20:36 All you need is one disgruntled Google employee (with access to the front-page image)... 22:20:48 oh, wait, "disgruntled Google employee" is an oxymoron 22:20:52 bugger 22:21:03 you could put it in the adverts at the bottom of Hotmail messages 22:21:14 that would only require a disgruntled Microsoft employee, which is much more likely 22:21:39 ais523: simon peyter jones is a MSofties 22:21:43 hmm 22:21:52 nah MS research isn't real MS 22:22:06 hehe 22:23:27 anyone here checked out DragonFly BSD? 22:23:32 its checkpointing stuff looks awesome 22:23:34 why? 22:23:36 + the virtual kernels 22:23:38 cool 22:23:47 SimonRC: smalltalk-like imaging of any process 22:23:51 * SimonRC want's hot-swappable kernels 22:23:56 & chroot jails and such are replaced with virtual kernels 22:23:57 *want 22:23:59 *wants 22:24:18 _why uses it as his main OS 22:24:28 & is maintaining a ruby binding to those nifty dfly stuff 22:24:47 ooh, maybe the front page of slashdot would be good... 22:25:09 nah, most of the people there probably play it already 22:25:21 hmm... what about making it pop up in a Windows Update dialog box? 22:25:44 ais523: i had an idea for bignum libs 22:25:53 ais523: good point 22:25:57 since you need internal bookkeeping even gmp has max-digits 22:26:06 what if you stored bookkeeping nums as bigints? 22:26:09 turtle bignum! ;) 22:26:28 UJustLostTheGame: just store it using base-Fibonacci or some other self-delimiting number scheme 22:26:32 then you don't need delimiting info 22:27:04 but a decent philosophical analysis of The Game might make the front page of slashdot and digg... 22:27:08 hmm 22:27:54 is savethegame.org still running? 22:28:03 dunno 22:30:51 -!- ais523 has quit ("what oerjan said"). 22:31:23 ? 22:31:35 Well, the first version of the Andrei Machine's specs is posted. 22:31:44 I should prolly go to bed. 22:35:35 UJustLostTheGame: look back up... 22:35:46 "22:07:20 -!- oerjan [n=oerjan@hagbart.nvg.ntnu.no] has quit ["Good night"]" 22:35:53 slereah_: where 22:36:29 http://www.esolangs.org/wiki/Andrei_Machine_9000 22:37:06 ok 22:37:15 slereah_: is 9000 your trademark? 22:38:12 It's based on the Gruntmeister 9000 in the Dilbert cartoon. 22:38:49 wuzz that 22:39:47 oklopol: it's that one with the engineer with the wonky tie 22:39:49 ;-) 22:40:06 i know *dilbert*, just not gruntmeister 22:40:08 :) 22:40:18 It's from the animated series. 22:40:41 although dilbert actually has some weird-ass translation in finland, so i could well have not known that 22:40:44 There's a bunch of them centered around their next product, the Gruntmaster 6000. 22:41:24 Then one day, the competition announces a product of their own, the Gruntmeister 9000 :o 22:41:43 i liked 9000 better as your trademark 22:41:48 please make it that 22:41:53 * slereah_ erases oklopol memory 22:41:56 :P 22:41:59 It's my trademark, bitch. 22:42:45 love machine 9000, andrew machine 9000, will we be seeing something *original* soon? 22:42:55 Well, there's Lazy Bird! 22:43:06 was lazy bird 9000 original in some way? 22:43:11 And the never finished Clockpunk! 22:43:19 that i've never even heard about 22:43:23 Also the soon to come Volterra. 22:43:32 that i've never even heard about 22:43:49 Although those two, I'm not sure if they're Turing complete, or even useful in some way 22:43:59 Volterra is based on animal populations as datas. 22:44:14 It's easiest program will be the Fibonacci! 22:44:27 *its 22:44:39 heh 22:45:02 Clock Punk uses clocks as datas. 22:45:15 you prolly get primitive-recursive functions out of volterra 22:45:16 It is painfully slow, inefficient and unportable. 22:45:34 if it's anything like i imagine 22:45:53 Well, I thought of it today, so I'm open to suggestion. 22:46:21 well, first of all you want "o" to be the basic "creature" 22:46:26 o is a nop 22:46:27 So far, you have to define the animals. Their original populations, reproduction rates, predation conversion. 22:46:29 oo is fibonacci 22:46:56 parens someway separate populations 22:47:05 how is that fibb? 22:47:06 and populations fight when barriers crash 22:47:09 And then, once you haver that, you give a list of instructions 22:47:19 barriers crash when the population inside them gets too big 22:47:30 then the population gets smaller, and barriers can rebuild. 22:47:40 SimonRC: they will mature up, and start breeding 22:47:51 because they belong to the same initial population, they shall not fight 22:47:55 and thus live forever 22:47:58 As the name implies, it's based on the Lotka-Volterra equation. 22:48:11 obviously 22:48:12 So it's a very simple model. 22:48:21 It's also on a discrete version of it. 22:48:28 * SimonRC looks it up 22:48:54 You've got n populations. herbivores at the bottom, and then, n eats n-1 22:49:04 oh, fun 22:49:18 unbounded storage? 22:49:29 The herbivores have a reproduction rate. an individual gives birth to puppies and kittens or whatever. 22:49:30 surely you can't even do list indexing in it? 22:49:50 The predators converts food into babies 22:50:02 Well, it's only an idea so far 22:50:25 hmm, your clockpunk idea sounds fun actually: each variable increments every time an instruction is executed. 22:50:31 A stupid one, and actually similar to Clock Punk. 22:50:45 a cat would need to compensate for the ticks taken between input and output for example 22:50:51 Both are time changing variables. 22:51:12 Yes. Clockpunk has huge problems for that 22:51:16 Even for Hello, world 22:51:17 i don't really like the idea of numbers for volterra 22:51:28 -!- sebbu has quit ("@+"). 22:51:38 but whatever moves your bowels 22:51:41 where is clockpunk? 22:51:41 as they say 22:51:58 Clockpunk has an interpreter, of sort, if you want 22:52:02 But it isn't complete yet 22:52:08 ah, ok 22:52:18 It still lacks the conditional jump. 22:52:29 Or maybe not. Maybe it's just not complete 22:52:31 I forgot 22:52:53 http://membres.lycos.fr/bewulf/Russell/Clockpunk.py 22:53:23 There's two symbols. - waits for one time period, * executes an instruction. 22:53:38 The instructions depend on the value of the clock, mod 8 22:53:53 ah, ok 22:53:59 not like my idea quite then 22:54:14 What was your idea? 22:54:26 Just clocks as variables? 22:54:32 yesish 22:54:45 It's actually a better idea, since you can use conditionals 22:54:51 And actually have inputs. 22:54:59 TBH I think keeping track of how long everything took would be quite hard enough 22:55:22 Plus, with multitasking, it might even be impossible! 22:55:28 if one branch of an if takes longer than another, the compensation must differ 22:55:50 but the clock ticks must be defined in the language 22:56:10 Well, if it is, it would just be a Turing machine where the cells increase at every step. 22:56:10 this makes everything slow down proportional to space consumption 22:56:13 Not very clocklike 22:56:19 slereah_: hmm 22:56:32 very like a computer clock though 22:56:53 Isn't it just a regular clock inside? 22:57:07 (When I say regular, I mean a quartz cristal) 22:57:33 hmm 22:57:45 ok, maybe like the x86 instruction counter then 23:02:17 * slereah_ was thinking of three variables for Volterra. 23:02:26 Sheep, wolves, and BEARS 23:02:42 Bears do not attack wolves, but they can through the rule of cool 23:03:34 slereah_: also add some nopular birds 23:03:53 So they can do functions? :o 23:04:08 nopular == one that performs a nop 23:16:43 -!- timotiis has quit ("leaving"). 23:18:15 no 23:18:18 add lazy birds 23:18:20 (birii?) 23:19:01 I'm not sure combinators would fit well in the context! 23:21:45 birii -> virii 23:21:48 add lazy viruse 23:21:48 s 23:24:13 heh, right, lazy birds... birds just happened to be the most apparently nopular creature i could think of 23:26:36 birds referring to the lambda-calculus-with-birds thing, right? 23:27:00 Combinators, yes. 23:27:22 yeah, that's the reference i didn't get from what i said myself 23:27:33 which is kinda weird. 23:37:33 hmm... i'm fairly sure i just invented directed acyclic graphs... 23:37:47 i hate living in this century 23:39:03 but at least this mathematics i'm doing with it just *has* to be new, because no one prolly investigated dags that much! 23:40:54 3 = 33 ascii 23:40:55 in hex 23:40:55 cool 23:41:20 n = 3n in ascii, isn't it defined on that? 23:41:58 same goes for letters ofc, except letters are one-based 23:42:47 well still :( 23:42:53 oh, indeed 23:43:11 A 1..10 scale in hex is one of the few places where an E is good 23:43:24 A is not so good, and 7 rather sucks 23:43:28 etc 23:44:28 zzzzz