00:30:04 http://www.new.facebook.com/photo.php?pid=30185035&l=998b5&id=1055580469 I AM THE FIRST WAVE OF THE ZOMBIE INVASION 00:32:02 Brains.. 00:32:38 Enjoy your AIDS 00:32:39 -!- puzzlet has quit (Read error: 60 (Operation timed out)). 00:34:20 -!- puzzlet has joined. 00:34:54 also, CJD 00:36:45 +ul ((kuru )S:^):^ 00:36:46 kuru kuru kuru kuru kuru kuru kuru kuru kuru kuru kuru kuru kuru kuru kuru kuru kuru kuru kuru kuru kuru kuru kuru kuru kuru kuru kuru kuru kuru kuru kuru kuru kuru kuru kuru kuru kuru kuru kuru kuru kuru kuru kuru kuru kuru kuru kuru kuru kuru kuru kuru kuru ...too much output! 00:37:49 +ul ((ku)(ru)):^!S(~:^:S*a~^~*a*~:^):^ 00:37:50 kururukurukukururukukurukururukurukukurukururukukururukurukukururukukurukururukukururukurukukurukururukurukukururukukurukururukurukukurukururukukururukurukukurukururukurukukururukukurukururukukururukurukukururukukurukururukurukukurukururukukururukurukukuru ...too much output! 00:40:42 +ul ((desu )S:^):^ 00:40:43 desu desu desu desu desu desu desu desu desu desu desu desu desu desu desu desu desu desu desu desu desu desu desu desu desu desu desu desu desu desu desu desu desu desu desu desu desu desu desu desu desu desu desu desu desu desu desu desu desu desu desu desu ...too much output! 00:40:45 :D 00:41:30 -!- optbot has set topic: the entire backlog of #esoteric: http://tunes.org/~nef/logs/esoteric | hm. 00:41:48 optbot is not amused 00:41:50 oerjan: chords 00:42:46 +ul ((optbot! )S:^):^ 00:42:47 Slereah_: lol! 00:42:48 optbot! optbot! optbot! optbot! optbot! optbot! optbot! optbot! optbot! optbot! optbot! optbot! optbot! optbot! optbot! optbot! optbot! optbot! optbot! optbot! optbot! optbot! optbot! optbot! optbot! optbot! optbot! optbot! optbot! ...too much output! 00:42:48 thutubot: seems it succeeds 00:42:59 :D 00:44:56 http://www.new.facebook.com/photo.php?pid=30185038&id=1055580469&saved I improved my Zombiism. 00:45:38 This content is currently unavailable 00:45:53 optbot! 00:45:53 -!- optbot has set topic: the entire backlog of #esoteric: http://tunes.org/~nef/logs/esoteric | ha. 00:45:55 ha! 00:45:59 Errr, mislink 00:46:05 http://www.new.facebook.com/photo.php?pid=30185038&l=68f03&id=1055580469 This is what I meant 00:48:24 You have a luxuriant mane for a zombie 00:48:31 I'm not sure they shampoo that often 00:49:02 Heh 00:53:33 -!- puzzlet_ has joined. 00:57:22 luxuriant mane 01:05:47 -!- puzzlet has quit (Read error: 110 (Connection timed out)). 01:41:35 -!- GreaseMonkey has joined. 02:55:29 -!- GreaseMonkey has quit ("So, how much do you love noodles?"). 02:57:40 -!- oerjan has quit ("leaving"). 03:36:59 -!- Doitle2 has joined. 04:59:54 -!- Corun has quit ("This computer has gone to sleep"). 05:51:00 -!- jix has quit (Read error: 60 (Operation timed out)). 05:51:18 -!- jix has joined. 05:53:22 I substantially improved my zombification! 05:53:24 http://www.facebook.com/photo.php?pid=30185196&l=4069f&id=1055580469 05:56:55 -!- psygnisfive has joined. 06:17:01 psygnisfive: http://www.facebook.com/photo.php?pid=30185196&l=4069f&id=1055580469 06:26:57 for the twelve time? 06:26:58 -!- psygnisfive has quit (Remote closed the connection). 06:29:23 -!- psygnisfive has joined. 06:41:30 -!- optbot has set topic: the entire backlog of #esoteric: http://tunes.org/~nef/logs/esoteric | That must have been glorious.. 07:59:59 -!- clog has quit (ended). 08:00:00 -!- clog has joined. 08:19:01 -!- kar8nga has joined. 08:35:41 -!- Mony has joined. 08:36:10 plop 09:25:04 -!- Slereah has joined. 09:41:10 -!- Slereah_ has quit (Read error: 113 (No route to host)). 09:42:43 -!- puzzlet_ has quit (Read error: 104 (Connection reset by peer)). 09:43:48 -!- puzzlet has joined. 10:01:56 -!- puzzlet has quit (Remote closed the connection). 10:07:04 -!- puzzlet has joined. 10:14:30 -!- kar8nga has quit (Read error: 110 (Connection timed out)). 10:16:36 -!- kar8nga has joined. 10:20:10 * Deewiant sighs at RC/Funge-98 10:20:15 ./funge --help 10:20:16 zsh: segmentation fault ./funge --help 10:42:50 -!- LinuS has joined. 11:00:23 -!- LinuS has quit ("Puzzi. Sě, parlo proprio con te. Puzzi."). 11:04:45 -!- Slereah_ has joined. 11:12:50 -!- Slereah has quit (Read error: 145 (Connection timed out)). 11:18:10 -!- puzzlet_ has joined. 11:19:02 -!- puzzlet has quit (Read error: 60 (Operation timed out)). 12:14:59 -!- puzzlet_ has quit (Remote closed the connection). 12:15:08 -!- puzzlet has joined. 12:29:43 -!- kar8nga has left (?). 12:36:18 -!- puzzlet has quit (Remote closed the connection). 12:36:24 -!- puzzlet has joined. 12:41:30 -!- optbot has set topic: the entire backlog of #esoteric: http://tunes.org/~nef/logs/esoteric | yep. 13:04:53 -!- adimit has joined. 13:07:35 -!- puzzlet has quit (Remote closed the connection). 13:07:42 -!- puzzlet has joined. 13:38:05 -!- oerjan has joined. 13:41:48 -!- Mony has quit ("Join the Damnation now !"). 13:48:29 -!- Doitle2 has quit (Read error: 104 (Connection reset by peer)). 14:17:54 -!- Corun has joined. 14:32:17 -!- Asztal has quit (Read error: 110 (Connection timed out)). 14:48:42 Deewiant, I seen that before 14:48:49 Deewiant, I even checked in gdb what the issue was 14:49:36 iirc: it was that after he parsed command line arguments he then tried to find where the script arguments begun by scanning for the script name, which ended up as not set 14:56:04 so strcmp with a null pointer iirc 14:56:10 or maybe it was uninitalised 15:23:51 -!- puzzlet_ has joined. 15:24:37 -!- puzzlet has quit (Remote closed the connection). 15:58:47 -!- oerjan has quit ("leaving"). 16:01:03 hi ais523 16:01:11 hi ehird 17:01:18 hi 17:01:24 hi 17:01:37 hello 17:01:49 +ul (hello)S 17:01:50 hello 17:02:07 +ul (optbot)S 17:02:08 optbot 17:02:08 ais523: there's a link to it somewhere there but it's broken 17:02:08 thutubot: hmm 17:02:20 ah, I was wondering why thutubot was being slow, must have been a one-off thing 17:20:53 -!- Corun has quit ("Leaving"). 17:26:56 -!- Corun has joined. 17:27:13 -!- Corun has quit (Remote closed the connection). 17:33:37 -!- oerjan has joined. 17:33:53 +ul (!)(d)(l)(r)(o)(w)( )(,)(o)(l)(l)(e)(H)(~S:^):^ 17:33:54 Hello, world! ...S out of stack! 17:34:18 Onoes! 17:34:23 NEED MOAR STAX : 17:34:25 D: 17:49:47 control-D on that line 18:41:30 -!- optbot has set topic: the entire backlog of #esoteric: http://tunes.org/~nef/logs/esoteric | horrible. 19:09:19 -!- Slereah has joined. 19:13:53 -!- Slereah_ has quit (Read error: 60 (Operation timed out)). 19:20:02 -!- Azstal has joined. 19:20:07 -!- Azstal has changed nick to Asztal. 19:20:21 fizzie: 100.6 meters 19:28:49 Is this your penis size? 19:32:00 -!- Slereah_ has joined. 19:41:11 Slereah_: finnish statistical average, i think 19:51:08 -!- Slereah has quit (Read error: 110 (Connection timed out)). 19:53:11 -!- Slereah_ has quit (Read error: 110 (Connection timed out)). 20:03:22 -!- sebbu2 has joined. 20:04:17 -!- Slereah_ has joined. 20:04:30 'sup dudes 20:05:28 not all that much, I don't think 20:06:06 you don't think? 20:06:11 That's pretty dumb! 20:08:02 HAW HAW U R SO KEVLAR 20:08:08 I NO RITE? 20:08:16 DID YOU SEE WHAT I DID THERE? 20:08:31 ... brains ... 20:08:42 GregorR: he's impenetrable to bullets? 20:09:04 I'm immune to all sorts of projectiles. 20:09:51 except cream pies. 20:10:40 Fuck you clown 20:10:48 -!- sebbu has quit (Read error: 113 (No route to host)). 20:10:49 -!- sebbu2 has changed nick to sebbu. 20:10:56 oerjan: could you stop with the sex jokes? 20:11:17 oklopol: um i didn't start it this time? 20:11:36 oerjan: yes you did, you invaded Poland 20:11:48 creampie is a well-known sex term! that was so improper 20:12:03 oerjan has a clown fetish 20:12:04 but but - it's strawberry! 20:12:14 8| 20:12:21 i can't take this! need to go raed 20:12:49 *raped 20:12:57 ais523: i think that means the discussion is officially over 20:13:16 oerjan: is this some sort of #esoteric version of Godwin's law? 20:13:24 yes 20:13:48 incidentally, I deliberately invoked Godwin's law over in #nethack because there was a GPL vs BSD flamewar starting up 20:13:51 and it actually worked 20:13:59 :D 20:14:06 I said "someone mention Hitler" 20:14:07 Oh you. 20:15:11 Hm. 20:15:31 I wonder, should I put a link to scans of the original article on the Kolmogorov machine page on the esowiki? 20:15:53 It is not street legal, but I'm not sure Kolmogorov would complain 20:16:08 And it's pretty hard to find otherwise. 20:16:40 Just put up a disclaimer like 20:16:54 DISCLAIMER: NO ONE IS LIABLE FOR DAMAGES CAUSED BY POTENTIAL COPYRIGHT INFRINGEMENT 20:17:04 And they'll be so confused reading the disclaimer they won't know who to sue. 20:17:12 Slereah_: don't put copyright violation on the esowiki 20:17:16 I'll just have to delete it again 20:17:26 Again? :o 20:17:30 I never did it before! 20:17:45 I am shocked and appaled by your insinuations sir! 20:18:04 Slereah_: copyvio's been deleted from the esowiki before 20:18:24 But has it been posted before, though? 20:18:36 ais523: what is it 20:19:48 Slereah_: no matter what happens, make sure you give it to me one way or another, i've been wanting to learn the basics of kolmogorovian computation since i first heard about it 20:19:59 -!- MikeA has joined. 20:20:09 oklopol : http://membres.lycos.fr/bewulf/Russell/Kolmo/ 20:20:13 -!- KingOfKarlsruhe has joined. 20:20:15 QUICK, BEFORE AIS DELETES IT 20:20:28 I wonder if it's a copywrite violation though. 20:20:56 Then again, the translation is also copywrited, and it's recent. So no dice I guess 20:21:14 good afternoon, or whatever time of day it happens to be :) 20:21:29 Hello sir 20:21:32 22.20, so morning 20:21:35 MikeA: good evening 20:21:36 We were just violating copyrights. 20:21:53 rules are meant to be broken 20:22:02 no, not at all 20:22:02 so's your face 20:22:07 ok, maybe bent 20:22:12 if they were they wouldn't have been made in the first place 20:22:32 ais523: Rule: You must break this rule. 20:22:33 Or maybe put in a space with a metric such that they appear bent 20:22:35 WHAT NOW??? 20:22:38 WHAT NOW ais523??!??!! 20:22:39 Coined phrases were made to be taken at face value. 20:22:44 ehird: I never agreed to that one in the first place 20:22:52 and I wouldn't, it would be a stupid rule to agree to 20:22:52 but I did 20:22:53 oops sorry wrong context.. 20:22:59 ais523: did you explicitly agree to copyright law? 20:23:01 ais523: they're not meant to be broken from within the system, they're meant to be broken by introducing only a subset of them into another system, from inside a supersystem containing both theses systems. 20:23:10 people tend to get that wrong. 20:23:12 ehird: I implicitly did by not emigrating 20:23:22 ie, obey the rules but question them. copyright, that's different :) 20:23:27 -!- ehird has set topic: Rules of #esoteric: You must break this rule.. 20:23:29 ais523: gonna /part? 20:23:29 oklopol: you should play nomic 20:23:30 ehird : Copyrights laws are international 20:23:32 optbot! 20:23:33 -!- optbot has set topic: the entire backlog of #esoteric: http://tunes.org/~nef/logs/esoteric | How about jumpwalls, which are jumped over such that you land just after the next jumpwall?. 20:23:34 ehird: no 20:23:37 -!- ehird has set topic: Rules of #esoteric: You must break this rule.. 20:23:38 ais523: heh, maybe :P 20:23:48 ehird: besides, nobody's bound by those rules 20:23:50 ais523: why aren't you breaking it? 20:23:51 and yes they are 20:23:56 irc channels have rules 20:23:58 i refuse to break this rule 20:24:00 do you violate them? 20:24:08 -!- ais523 has set topic: Rules of Freenode: You must mention the logs (http://tunes.org/~nef/logs/esoteric) in the topic.. 20:24:21 ehird: it depends on how established the rules were 20:24:25 Man, we were having a blast violating copyrights before that discussion :( 20:24:31 ais523: optbot's topics are pretty established, right? 20:24:31 ehird: like this? http://www.nsfwlinks.com/ 20:24:41 rules depend on the threat of violence 20:24:43 if fizzie or lament put that into the topic and locked it, then I'd consider it to be more of an established rule 20:24:44 lol 20:24:56 i read that as "optbot's links are pretty established, right?" 20:24:57 oklopol: (Mark Twain)++ 20:25:03 -!- optbot has quit (Remote closed the connection). 20:25:07 was pretty funny 20:25:10 bye optbot 20:25:15 it'll be back 20:25:20 not a tom sawyer fan 20:25:40 hmm. 20:25:41 optbot won't start. 20:26:02 -!- optbot has joined. 20:26:02 -!- optbot has set topic: the entire backlog of #esoteric: http://tunes.org/~nef/logs/esoteric | http://tunes.org/~nef/logs/esoteric | Rule: You must violate this rule.. 20:26:11 see, optbot's topics are well-established. 20:26:11 ehird: http://tunes.org/~nef/logs/esoteric | Rule: You must violate this rule. 20:26:15 optbot: i agree. 20:26:15 ehird: http://tunes.org/~nef/logs/esoteric | Rule: You must violate this rule. 20:26:23 ehird: you just modified it, that doesn't ount 20:26:24 umm. Slereah_: did ais523 get to you, i can't get the pages to load anymore 8| 20:26:25 count 20:26:31 optbot has also not violated the rule 20:26:31 jayCampbell: http://tunes.org/~nef/logs/esoteric | Rule: You must violate this rule. 20:26:33 someone kick optobt for not being a useful bot any more 20:26:33 ais523: i was just improving it 20:26:37 and no 20:26:39 ehird: that isn't an improvement 20:26:41 optbot! 20:26:41 since when do we kick useless bots? 20:26:45 ehird: when they lie in the topic 20:26:57 ais523: when was the last time we kicked anyone 20:26:58 seriously. 20:27:02 anyway 20:27:03 since the latest batch of power-hungry etc 20:27:07 it may not be an improvement in your eyes 20:27:08 D 20:27:09 :D 20:27:18 oklopol : They work good here! 20:27:22 Try refreshing it 20:27:29 well 20:27:32 http://membres.lycos.fr/bewulf/Russell/Kolmo/ 20:27:36 golmogorog 20:27:38 my internet connection says "local only" now, so. 20:27:55 ais523: why aren't you violating the rule yet 20:28:11 He's not violating the rule, ehird 20:28:12 so, because i'm not going to read that right now, can you tell me the highpoints of it, Slereah_? 20:28:25 oklopol : It's about the Kolmogorov machine. 20:28:42 -!- oerjan has quit ("Out"). 20:28:44 i initiate a criminal cfj against ais523 for violating the Rule. 20:28:47 Slereah_: i know, but i don't know how it works 20:28:49 i assign this criminal cfj to jayCampbell 20:28:57 (the only other talking nomic player in here) 20:29:04 oklopol : Go see the andrei machine 9000 article on the esowiki 20:29:12 -!- bsmntbombdood has quit (Read error: 60 (Operation timed out)). 20:29:50 jayCampbell: i am about to crim cfj you for not judgding that 20:29:53 judging 20:30:05 -!- optbot has quit (Remote closed the connection). 20:30:10 http://esolangs.org/wiki/Andrei_Machine_9000 20:30:32 According to my logs, the last time we kicked anyone was 2008-08-10 when ehird (well, tusho) was kicked for insisting to be kicked. 20:30:38 :D 20:30:49 He's such a rebel! 20:31:02 Slereah_: the special nodes 0-5 are just an andrei machine 9000 thing, and not related to the original? 20:31:08 I'm out, peace 20:31:12 peace. 20:31:19 -!- MikeA has left (?). 20:31:21 oklopol : The original machine had 0 and 1 20:31:25 right, okay. 20:32:05 It's probably the worst algorithmic system there is that wasn't designed for this express purpose. 20:32:15 -!- thutubot_ has joined. 20:32:21 i judge ais523 guilty of violating the rule 20:32:22 I tried writing a Fibonacci thingy on it, but fuck is it long 20:32:28 ... 20:32:29 jayCampbell 20:32:30 +topic 20:32:30 -!- thutubot_ has set topic: http://tunes.org/~nef:/logs:/esoteric | Rules: ehird may not talk in this channel, and optbot may not set the topic .. 20:32:32 Because of you 20:32:35 I lost the game 20:32:48 hi5 20:32:50 unknown computational class? 20:32:51 how so? 20:32:58 wat? 20:33:02 ais523: 20:33:04 did you just kill optbot? 20:33:09 Categories: Languages | 2008 | Unimplemented | Unknown computational class 20:33:12 oklopol : Oh. 20:33:18 I probably fucked up 20:33:21 ais523: well? 20:33:27 It has a known computational class 20:33:38 ehird: no, I didn't kill optbot 20:33:39 I'll remove that 20:33:41 not deliberately, anyway 20:33:45 ais523: what DID you do? 20:33:48 I killed a process but it was owned by me, and I didn't use sudo 20:33:58 ais523: which process was that? 20:33:59 and I thought you ran optbot under your username 20:34:08 ehird: a test thutubot process that failed to work 20:34:45 i don't get the "active part" thingö 20:34:46 brb 20:34:48 *thing 20:35:25 ^reload 20:35:25 Reloaded. 20:35:26 ^style 20:35:26 Available: agora alice darwin* discworld europarl ff7 fisher ic irc lovecraft pa speeches ss wp 20:35:31 Now there's a *. 20:36:04 The Copyright law of 1993 had specified a general duration of copyrights of 50 years beyond an author's death, or 50 years since the publication of an anonymous work. The implementation act for the law made the new law apply retroactively, restoring copyrights (and neighbouring rights) on works on which the shorter 20:36:05 copyright terms from the Soviet-era had already expired or which had not been copyrighted at all under Soviet law. In 2004, this copyright term was extended to 70 years for all works still copyrighted. 20:36:15 Slereah_: explain active part. 20:36:17 Well, I guess Kolmogorov's paper is still copyrighted 20:36:53 oklopol : The active part of a transformation is a part that will undergo changes. 20:37:06 err, specified by the rule? 20:37:12 is there just one rule? 20:37:19 There are as many rules as you want 20:37:48 The active part also doesn't have to be in one piece 20:38:42 If you want an example, try to fucking refresh the page. 20:39:01 There's only one actual example, it is "Doubling a number" 20:39:20 It's already pretty horrible 20:40:27 I'd write it for you, but it's hard to write a graph 20:41:06 -!- bsmntbombdood has joined. 20:41:33 Aw. 20:41:39 Kolmogorov died in 87 :( 20:41:50 Still 30 years of copyright 20:42:22 I wonder who owns the copyright now. 20:42:25 Mother Russia? 20:42:32 So's your face. 20:43:07 My face is mother Russia? 20:43:37 He died a short while after my birth. 20:43:39 COINCIDENCE? 20:43:56 yes. 20:53:58 So oklopol, still not loading? 20:54:07 is! 20:54:27 "is" is not an answer. 20:54:40 hmm, is it just me or does http://codu.org/colormatch/multibg.html not work? 20:54:54 Error: D[D.length - 1] is undefined 20:55:34 It works 20:55:37 And it's beautiful 20:55:38 in the non-minified version that's line 89; return results[results.length-1][0]; 20:55:45 :( 20:56:27 Asztal: E_WORKSFORME 20:56:34 -!- Corun has joined. 20:56:42 Asztal: What browser? 20:56:56 It's a firefox 3.1 nightly 20:57:14 it was definitely working recently, but stopped a while ago, I just got around to investigating 20:57:29 Slereah_: it is an answer. 20:57:44 i mean 20:57:46 is. 20:58:05 Asztal: Sounds like a Firefox problem X-P 20:58:27 is is an answer? 20:59:41 Slereah_: is. 21:00:11 So, do you feel more knowledgable on Kolmogorov machines now? 21:00:31 i didn't read it yet! 21:00:36 Here's the example : http://membres.lycos.fr/bewulf/Russell/Kolmo/Kolmo%2024.jpg 21:00:44 http://membres.lycos.fr/bewulf/Russell/Kolmo/Kolmo%2025.jpg 21:00:51 Those 5 rules can double a number. 21:01:26 coooool 21:01:45 (A number is here defined as the number of 2's in a line. They've got 3-4 between them because two nodes of the same types can't touch) 21:01:50 (Or KABLOOEY) 21:03:32 -!- Corun has quit ("Leaving"). 21:04:11 hmm. i don't see why it doubles exactly 21:04:14 will have to ponderize 21:04:17 ah, excellent, it would also appear that my javascript debugger is broken :) 21:04:20 after buying a drinker 21:04:20 -> 21:04:33 The proof of the TC-ness of it uses recursive functions. A list of numbers is defined by numbers separated with the nodes 5-6 21:04:40 Asztal: Gwahahaher. 21:05:03 Hm. I wonder if the piece of paper with my attempt at a Fibonacci is still around 21:05:50 oh, and ais523: eodermdrome isn't tc methinks. 21:05:57 oklopol: really? 21:06:05 the set of all possible rules is finite. 21:06:07 I'm pretty sure you can implement some sort of cyclic tag system in it 21:06:15 oklopol: yes 21:06:16 but 21:06:17 *the set of all sets of possible rules 21:06:26 having finitely many programs does not imply not TC 21:06:29 especially when you have input 21:06:31 like that does 21:06:39 if any of those programs is a BF interp, for instance 21:06:41 the lang is TC 21:06:49 and I suspect one of them is 21:06:52 ais523 : Does it have a BF interpreter? 21:07:02 Slereah_: it doesn't have any useful programs yet, it's a pain to write in 21:07:08 hmm. i would say you need to be able to encode the input in the language. 21:07:10 but I suspect it is possible to write a BF interp in eodermdrome 21:07:23 or it's not a tc language 21:07:25 oklopol: we're about to have yet another discussion on what TCness actually means, then, I suspect 21:07:29 ;) 21:08:31 tossonoss 21:08:46 that's really a matter of opinion, it can be tc in the way a language with just the "run input as bf" in tc, it's just it's not tc in the way that's interesting. 21:08:58 programs essentially can't be written in it. 21:09:25 a BF interp is an interesting program 21:09:34 :| 21:09:44 hmm... arguably, the input is part of the program in that case 21:09:47 that only sidesteps the issue. 21:09:54 err 21:09:57 GregorR: apparently you found a way to break Firefox 3.1's JIT, well done :D 21:10:17 if you can make a bf interp, and give it input without actual IO involving an input device, then it's tc in a way i can agree with 21:10:23 but that's not possible. 21:10:50 oklopol: eodermdrome + an input device together make a TC system, almost certainly 21:11:06 but is having only a finite amount of possible programs necessarily non-TC-ising, if you have input 21:11:13 also, what about this for an argument: 21:11:21 ais523: whatever. if the set of programs is finite, i'm never going to see it as an interesting language. 21:11:27 it's probably possible to make an eodermdrome program which emulates all possible Turing machines, in parallel 21:11:31 so it runs all possible programs at once 21:11:38 slowly 21:11:49 and mingles together their outputs, with identifiers saying which ones are which 21:11:54 jayCampbell: yes, but that doesn't matter for TCness 21:12:07 oklopol: then, it's running any program you want, you just have to filter the output 21:12:11 KURNEL KLINK, WY HAVE YOU FORSAKEN ME! 21:12:17 I think most people would consider that TC 21:12:23 even Vaughan Pratt, I think 21:12:51 ais523: that's a lot better then relying on IO. 21:13:05 but 21:13:33 wee 21:13:40 oklopol: think about it this way: is a Python interpreter TC? It only has one possible program, which is to interpret Python 21:13:50 my little sentence generator thing has a subsystem that does graph rewriting :3 21:13:56 ais523: no, i wouldn't say it is 21:14:00 I would 21:14:01 but not just any graph rewriting, pattern-matched graph rewriting :o 21:14:30 ais523: anyway, tc or not, it's not an interesting language. 21:14:37 psygnisfive : Code for graph rewriting plox 21:14:45 what? 21:14:53 psygnisfive : Code for graph rewriting plox 21:15:02 SPEAK ENGRISH NEGR 21:15:17 psygnisfive : Code for glaph rewliting prox 21:15:22 psygnisfive: he wants the graph rewriting code 21:15:33 oklopol: I'd say it's effectively TC, whether it's TC or not is a matter of semantics, not a matter of computational class... 21:15:34 oh. why? graph rewriting isnt all that complicated 21:15:34 i wrote a graph thing for eodermdrome 21:15:43 IS IT? 21:15:46 yes? 21:15:47 ais523: yes, let's just say it's an uninteresting language. 21:16:10 ah, ok, sorry if you aren't interested in it 21:16:11 Then code plox 21:16:15 I thought it was rather neat... 21:16:18 it's tc in the way a language that only prints the output of all turing machines is tc, no matter what the input program is. 21:16:20 it uses graph writing to fucking do lexical morphology :D:D:D 21:16:27 slereah, let me upload it. 21:16:35 oklopol: would you say non-TC languages can be interesting? 21:16:38 ais523: well i guess you could think of it as a kind of graph-rewriting assembly. 21:16:41 like Splinter or Malbolge, for instance? 21:16:49 ais523: yes, they sure can, assemblies are like that 21:16:50 * Slereah_ found his attempt at a Fibonacci in graph rewriting 21:17:00 At least part of it 21:17:01 also, Malbolge-T would be Turing-incomplete by your definition, as it can only have a finite number of programs too 21:17:19 they are almost tc, and you can just kinda increment one of their variables to get more computational power, like the size of registers 21:17:36 if i think about eodermdrome that way, it seems much nicer already. 21:17:53 well, you could just make it a matrioshka language 21:18:01 say the program + input is the actual program being run 21:18:22 slereah: http://wellnowwhat.net/linguistics/SemSyn/generator.js 21:18:31 yeah, that's another way to think of it that makes it more interesting. 21:18:52 the relevant functions are under the Derivational Lexicon section, functions lexical_derivation, single_lexical_resolution, and multiple_lexical_resolution 21:19:00 ais523: yeah okay you've convinced me for now, i will not plead for adding an infinite amount of labels. 21:19:26 Java Script? 21:19:28 Duuuude 21:19:33 well, mostly the first two. the last one is multiple application of the second plus collecting the rewrite rules that were applied in an array 21:19:40 yes, javascript. i know. :( 21:19:55 but its the easiest way for me to get a semi-portable interface 21:20:01 i could code it in PHP actually 21:20:09 but then it'd _have_ to be on my server and i dislike that idea 21:20:10 php is worse than js 21:20:16 true, but php is more portable 21:20:28 yeah tell me about portability. 21:20:31 in that it runs backend not locally so conditions never change 21:20:37 there are some interesting environments for javascript these days 21:20:43 we all know what a massive fuck about it i give 21:20:51 Scratch that, I'll do it myself! 21:21:00 With BLOOD AND BONES! 21:21:05 ideally i'd like to write this in scheme but scheme doesnt have a convenient UI system. 21:21:05 Are blood and bones TC? 21:21:11 UI? 21:21:17 yes 21:21:26 Oh, user interface? 21:21:40 i can plug my JS code directly into an html file and get all the UI crap out of that 21:21:50 input and output for free, with hardly any work. 21:22:10 -!- KingOfKarlsruhe has quit (Remote closed the connection). 21:22:21 Hm. I wonder if I can easily do graphs as a GUI with Python 21:22:22 i should probably migrate this shit over to ObjC and make an _actual_ program 21:22:23 but 21:22:24 Lessee 21:22:50 i want this to remain web-workable so i should probably do it in PHP. but i hate php :( 21:23:03 ok im off to get foods 21:23:04 bye <3 21:23:41 Do it in scheme and a scheme interpreter in PHP 21:23:45 Or something 21:29:49 lol, there are no videos on youtube of someone actually beating http://www.foddy.net/Athletics.html by running 21:32:00 Yay, I ran 2 meters :D 21:32:08 i ran a hundred 21:32:16 shoppe -> 21:33:37 -!- ais523 has set topic: http://tunes.org/~nef/logs/esoteric | Rules: ehird may not talk in this channel, and optbot may not set the topic .. 21:33:50 it feels wrong to me that channel topics don't have edit summaries... 21:34:11 They have. On mIRC at least 21:34:15 Also in the logs, technically 21:38:23 -!- oerjan has joined. 21:38:27 -!- ehird has set topic: http://tunes.org/~nef/logs/esoteric. 21:38:29 osnap 21:39:05 +ul (:aSS):aSS 21:39:05 (:aSS):aSS 21:39:05 (:aSS):aSS 21:39:11 Ass. 21:41:46 ais523, hi 21:41:47 btw 21:42:29 why are computer architectures called "architectures" 21:42:35 how is it related to houses? 21:44:17 Architecture isn't necessarily related to houses. 21:44:50 hm 21:44:53 "As documentation, usually based on drawings, architecture defines the structure and/or behavior of a building or any other kind of system that is to be or has been constructed." -- wikipedia 21:44:54 WLIW arch 21:44:59 no not VLIW 21:45:01 but WLIW 21:45:27 VLIW is Very Long Instruction word 21:45:34 Word* 21:45:45 but I think WLIW is kind of neat 21:45:58 Wood Logs In Walls 21:51:18 +ul (:aSSorted):aSSorted 21:51:18 (:aSSorted):aSSorted 21:51:18 (:aSSorted):aSSorted 21:51:26 o u 21:51:39 Is there an unlambda bot here? 21:51:47 NAFAIK 21:52:00 Slereah_: not yet 21:52:06 (:aSSorted):aSSorted is an invalid program 21:52:08 oerjan: stop exploiting bugs in thutubot 21:52:15 ok 21:52:17 Heh. 21:52:24 But, ais523 21:52:27 +ul (:aSS(orted):aSS(orted) 21:52:28 ...out of time! 21:52:28 ...out of time! 21:52:32 oops 21:52:33 RULES ARE MEANT TO BE BROKEN 21:52:37 +ul (:aSS(orted)):aSS(orted) 21:52:38 (:aSS(orted)):aSS(orted) 21:52:38 (:aSS(orted)):aSS(orted) 21:54:12 ~ul (:aSS(orted)):aSS(orted) 21:54:30 +ul ((+ul )S:aSS)(+ul )S:aSS(orry about this...) 21:54:31 +ul ((+ul )S:aSS)(+ul )S:aSS 21:54:31 +ul ((+ul )S:aSS)(+ul )S:aSS 21:54:31 +ul ((+ul )S:aSS)(+ul )S:aSS 21:54:31 +ul ((+ul )S:aSS)(+ul )S:aSS 21:54:31 +ul ((+ul )S:aSS)(+ul )S:aSS 21:54:31 +ul ((+ul )S:aSS)(+ul )S:aSS 21:54:31 +ul ((+ul )S:aSS)(+ul )S:aSS 21:54:31 +ul ((+ul )S:aSS)(+ul )S:aSS 21:54:31 +ul ((+ul )S:aSS)(+ul )S:aSS 21:54:32 +ul ((+ul )S:aSS)(+ul )S:aSS 21:54:32 +ul ((+ul )S:aSS)(+ul )S:aSS 21:54:32 +ul ((+ul )S:aSS)(+ul )S:aSS 21:54:33 +ul ((+ul )S:aSS)(+ul )S:aSS 21:54:34 +ul ((+ul )S:aSS)(+ul )S:aSS 21:54:35 +ul ((+ul )S:aSS)(+ul )S:aSS 21:54:36 +ul ((+ul )S:aSS)(+ul )S:aSS 21:54:37 +ul ((+ul )S:aSS)(+ul )S:aSS 21:54:37 oerjan: i love you 21:54:38 +ul ((+ul )S:aSS)(+ul )S:aSS 21:54:39 +ul ((+ul )S:aSS)(+ul )S:aSS 21:54:40 +ul ((+ul )S:aSS)(+ul )S:aSS 21:54:41 +ul ((+ul )S:aSS)(+ul )S:aSS 21:54:41 :D 21:54:42 +ul ((+ul )S:aSS)(+ul )S:aSS 21:54:43 +ul ((+ul )S:aSS)(+ul )S:aSS 21:54:44 +ul ((+ul )S:aSS)(+ul )S:aSS 21:54:45 +ul ((+ul )S:aSS)(+ul )S:aSS 21:54:46 +ul ((+ul )S:aSS)(+ul )S:aSS 21:54:47 +ul ((+ul )S:aSS)(+ul )S:aSS 21:54:48 +ul ((+ul )S:aSS)(+ul )S:aSS 21:54:49 +ul ((+ul )S:aSS)(+ul )S:aSS 21:54:50 +ul ((+ul )S:aSS)(+ul )S:aSS 21:54:51 +ul ((+ul )S:aSS)(+ul )S:aSS 21:54:52 +ul ((+ul )S:aSS)(+ul )S:aSS 21:54:53 +ul ((+ul )S:aSS)(+ul )S:aSS 21:54:54 +ul ((+ul )S:aSS)(+ul )S:aSS 21:54:55 +ul ((+ul )S:aSS)(+ul )S:aSS 21:54:56 +ul ((+ul )S:aSS)(+ul )S:aSS 21:54:57 +ul ((+ul )S:aSS)(+ul )S:aSS 21:54:58 why the hell are there two thutubots here anyway 21:54:58 +ul ((+ul )S:aSS)(+ul )S:aSS 21:54:59 +ul ((+ul )S:aSS)(+ul )S:aSS 21:55:00 +ul ((+ul )S:aSS)(+ul )S:aSS 21:55:01 +ul ((+ul )S:aSS)(+ul )S:aSS 21:55:02 +ul ((+ul )S:aSS)(+ul )S:aSS 21:55:03 +ul ((+ul )S:aSS)(+ul )S:aSS 21:55:04 +ul ((+ul )S:aSS)(+ul )S:aSS 21:55:05 +ul ((+ul )S:aSS)(+ul )S:aSS 21:55:06 +ul ((+ul )S:aSS)(+ul )S:aSS 21:55:07 +ul ((+ul )S:aSS)(+ul )S:aSS 21:55:08 +ul ((+ul )S:aSS)(+ul )S:aSS 21:55:09 +ul ((+ul )S:aSS)(+ul )S:aSS 21:55:09 :D 21:55:10 ^ul (:aSS(orted)):aSS(orted) 21:55:10 +ul ((+ul )S:aSS)(+ul )S:aSS 21:55:10 (:aSS(orted)):aSS(orted) 21:55:11 +ul ((+ul )S:aSS)(+ul )S:aSS 21:55:12 +ul ((+ul )S:aSS)(+ul )S:aSS 21:55:12 For ass related purposes 21:55:13 +ul ((+ul )S:aSS)(+ul )S:aSS 21:55:13 this is great 21:55:14 +ul ((+ul )S:aSS)(+ul )S:aSS 21:55:15 +ul ((+ul )S:aSS)(+ul )S:aSS 21:55:16 +ul ((+ul )S:aSS)(+ul )S:aSS 21:55:17 +ul ((+ul )S:aSS)(+ul )S:aSS 21:55:18 +ul ((+ul )S:aSS)(+ul )S:aSS 21:55:19 +ul ((+ul )S:aSS)(+ul )S:aSS 21:55:20 +ul ((+ul )S:aSS)(+ul )S:aSS 21:55:21 +ul ((+ul )S:aSS)(+ul )S:aSS 21:55:22 +ul ((+ul )S:aSS)(+ul )S:aSS 21:55:23 +ul ((+ul )S:aSS)(+ul )S:aSS 21:55:24 +ul ((+ul )S:aSS)(+ul )S:aSS 21:55:25 +ul ((+ul )S:aSS)(+ul )S:aSS 21:55:26 +ul ((+ul )S:aSS)(+ul )S:aSS 21:55:27 +ul ((+ul )S:aSS)(+ul )S:aSS 21:55:28 +ul ((+ul )S:aSS)(+ul )S:aSS 21:55:29 +ul ((+ul )S:aSS)(+ul )S:aSS 21:55:30 +ul ((+ul )S:aSS)(+ul )S:aSS 21:55:31 +ul ((+ul )S:aSS)(+ul )S:aSS 21:55:31 +ul ((^ul )S:aSS)(+ul )S:aSS 21:55:32 +ul ((+ul )S:aSS)(+ul )S:aSS 21:55:33 +ul ((^ul )S:aSS)(^ul )S:aSS 21:55:34 +ul ((+ul )S:aSS)(+ul )S:aSS 21:55:35 +ul ((+ul )S:aSS)(+ul )S:aSS 21:55:36 +ul ((^ul )S:aSS)(^ul )S:aSS 21:55:37 +ul ((+ul )S:aSS)(+ul )S:aSS 21:55:37 ^ul ((+ul )S:aSS)(^ul )S:aSS 21:55:38 ^ul ((+ul )S:aSS)(+ul )S:aSS 21:55:38 ^ul ((^ul )S:aSS)(^ul )S:aSS 21:55:39 -!- thutubot_ has quit ("ThutuBot quitting"). 21:55:40 +ul ((+ul )S:aSS)(+ul )S:aSS 21:55:42 +ul ((+ul )S:aSS)(+ul )S:aSS 21:55:48 +ul (+ul )S:aSS)(^ul )S:aSS 21:55:49 +ul ...: out of stack! 21:55:52 +ul ((+ul )S:aSS)(^ul )S:aSS 21:55:53 ^ul ((+ul )S:aSS)(+ul )S:aSS 21:55:53 And thus thutubot died the way he lived 21:55:54 sorry ehird... 21:56:00 ^ul ((^ul )S:aSS)(+ul )S:aSS 21:56:00 +ul ((^ul )S:aSS)(^ul )S:aSS 21:56:00 ^ul ((^ul )S:aSS)(^ul )S:aSS 21:56:09 Deewiant: MAKE IT WORK >::( 21:56:22 ehird: that works, to an extent, but fungot is smarter 21:56:23 Deewiant: mr., bees :) different hives visiting different kinds :) flowers are concerned, there seems to be from a cross with a fresh stock, and :)/ upper margin is not at all agree, but merely pro bono fnord fnord. 21:56:30 ... about some things 21:58:17 Slereah_: what book is that kolmogorov thing from btw? 21:58:45 oklopol : One of those best sellers book that everyone can find! 21:59:04 "American Mathematical Society Translations Series 2 Volume 29" 21:59:16 That's why I wanted to put it there, it's very hard to find 21:59:37 :D 21:59:51 "series 2 volume 29", i'm sure there's a torrent :P 22:00:09 oklopol : You can try, but I sure as hell didn't find any! 22:00:39 where did you get it? 22:00:56 Used book website. 22:02:33 I also want to buy "Science without numbers", but it's fucking expensive as hell 22:02:46 It's been out of print for 20 years, so the books are like $170 22:02:59 your life is so much more exciting than mine 22:03:27 it also involves more gay sex 22:04:54 does that make it less *exciting*? 22:05:09 sex is teh boring 22:05:22 sex? on 22:05:30 How would you know, oerjan? 22:05:31 Zing! 22:05:35 true, true 22:06:04 oh, never mind, I think I'll just not complete that sentence 22:06:35 that just means we'll have to do it 22:06:47 sex? on top of a zebra 22:07:09 I'd do it. 22:07:18 Especially if it's WITH THE ZEBRA 22:07:34 i wanted to leave that ambiguous 22:09:19 Slereah_ doesn't understand puns 22:09:30 hmm 22:09:31 wait 22:09:41 i was going to make a joke, but it doesn't work. 22:10:01 you and your puny jokes 22:10:29 that one kills year after year,. 22:10:48 I understand. I just want to have sex with a zebra. 22:11:20 well, "zebra" is a cool word i guess. 22:11:53 how do you pronounce it? 22:12:08 the x is silent 22:13:00 also invisible. 22:13:08 true that 22:13:15 You also can't feel it 22:13:27 yeah you can only smell it 22:13:38 It smells of zebra sex. 22:14:01 so does your face 22:14:03 hmm. 22:14:07 why am i still not reading 22:14:17 i haven't had such an unproductive day in months. 22:14:34 Asztal: http://www.merriam-webster.com/dictionary/zebra claims americans and brits pronounce it differently 22:14:36 alcohol = bad 22:15:30 oerjan: yes, I pronounce it the british way, which one would you use? 22:15:59 well before i looked it up i thought it was long e, so american 22:16:22 I guess you also say the letter Z as zee? 22:16:26 yez 22:16:35 or wait 22:16:40 you mean the letter itself 22:16:45 Zedbra 22:16:47 Zodbra 22:16:54 i guess i learned it as zed 22:17:09 i say it as "zing" 22:17:19 KNEEL BEFORE ZOD 22:18:12 * oerjan hides behind a lead wall 22:18:33 okay. i'm going to leave now. if i come back in less than, say, three hours, please say something insulting about my mother 22:18:37 tha'll teach me. 22:18:38 -> 22:19:03 i think it would be unhealthy to claim Zod had a bra, though 22:19:38 Iunno, that suit wasn't very manly. 22:20:41 http://www.chestert-shirtprinter.co.uk/images/t-shirt-wholesale/Cool%20t-shirts/Zod-Sticker.jpg 22:20:57 Would you really bet money on the fact that this guy has no bra? 22:25:25 general zod? 22:25:26 whats that from 22:25:27 ? 22:25:37 Superman 22:25:40 The second movie. 22:27:08 oh yes right 22:27:21 * psygnisfive never saw 22:28:54 You should see the first movie. 22:29:05 You can see a NAKED LITTLE BOY in it D: 22:29:52 OH? 22:29:54 YUM. 22:30:29 Yeah 22:30:43 When the little Superman gets out of his vessel. 22:31:01 I guess pedophilia wasn't such a big scare back then! 22:38:09 Or back when the Simpsons Movie came out. 22:39:38 It's all part of the gay agenda, warrie 22:39:44 Just so they can have sex with little boys 22:41:18 * warrie nods 23:06:05 night 23:06:48 indeed it is 23:32:20 tumtitum 23:33:29 and there is A Cock and Bull Story, with its painful incident when the author (as a young boy) was pissing out of a window. 23:33:35 (the type that slides up) 23:47:51 -!- Sgeo has joined. 23:58:16 Deewiant, just got your mail \o/