00:00:28 As for precedence, I think + should bind more tightly than |. 00:00:47 They're both associative, so we don't need to pay attention to that. 00:01:06 (At least, I think they are.) 00:01:29 I'm guessing right-associativity would be faster in implementation. 00:01:40 well... kinda hard to say which they are, 00:02:03 you can't parse a+(b+c) 00:02:12 hmm... 00:02:16 You can't? 00:02:38 Also, I think brackets should bind even more tightly than +. 00:02:39 what's that mean? 00:02:46 What's what mean? 00:02:55 right-associativity 00:02:59 with parsign 00:03:03 a + b + c = a + (b + c) 00:03:15 yeah... but what's that mean when you're parsing? 00:03:45 I guess it means that for a + b, you assume that a doesn't contain any "top-level" +. 00:03:58 "Top-level" meaning not inside a grouping symbol of any sort. 00:06:55 i'im pretty sure that works 00:06:57 *i'm 00:07:54 i got a bit stuck with fooCC returning "CA"+foo() first, but then realized A is "s", not "i" 00:08:59 New version: http://pastebin.ca/679378 00:10:08 Complete with multi-character regexes and working with weak alternation. 00:11:16 hmmm 00:11:43 I just got here- could someone briefly explain what that is? 00:12:11 {/``k/; a <- sk(); sk(); a} <<< isn't the a just discarded? 00:12:18 RodgerTheGreat: a parsing-based language 00:12:19 by ihope 00:12:48 oh. neato 00:14:33 {/``k/; a <- sk(); sk(); a} <<< does this return a from the whole sk expression? 00:14:46 -!- spacebark has joined. 00:15:04 oh 00:15:06 soryy 00:15:09 *sorry 00:15:11 i misread. 00:16:18 ihope: seems fine 00:16:30 i never thought it'd be that easy 00:16:48 perhaps because i didn't realize there were functions even though you mentioned them 00:17:54 ihope: what's the name of the lang? 00:18:13 -!- ehird` has quit (No route to host). 00:18:33 also, i think you could squeeze that program smaller 00:18:48 not that i'm necessarily up for the task... 00:20:03 ah 00:20:09 alright, you 00:20:17 *can't* pass parsers around 00:20:54 -!- oerjan has joined. 00:24:23 oerjan: look it's ski! http://pastebin.ca/679378 00:24:28 sk! 00:25:19 i'm gonna go buy something to drink now, before shops are closed -> 00:27:21 -!- spacebark has changed nick to spacebark_. 00:28:16 -!- spacebark_ has changed nick to spacebark. 00:29:58 oklopol: it tries the _last_ option first? otherwise the structure reminds me of haskell's Parsec with monads (especially the <-'s) 00:32:31 oerjan: what's this about last option first? 00:33:07 ihope: oklopol's paste 00:33:13 And yes, it's sort of a subset of Parsec :-) 00:33:19 oerjan: I wrote that program. 00:33:39 oh :) 00:33:42 -!- rutlov has joined. 00:33:51 What's this about trying the last option first? 00:34:03 that's what you would have to do in parsec 00:34:12 Why? 00:34:20 or wait... 00:34:39 i'm mistaken 00:34:41 -!- rutlov has left (?). 00:35:12 they're actually disjoint, i was confused by no ^$ or similar around k and s 00:35:32 but of course that's not needed for unlambda syntax 00:35:38 In parsec, does string "bar" <|> string "baz" work properly, or say that it was expecting r after ba? 00:36:00 no, you need to put try around string "bar" 00:36:31 an option without try is not backtracked unless it consumes no input 00:37:26 * ihope nods 00:37:46 Here, /bar/ applied to "baz" doesn't consume input. 00:37:53 this allows parsec to prune many branches for efficiency, i believe 00:38:17 Otherwise, it works the same way as Parsec when it comes to alternation, I think. 00:49:31 -!- spacebark has quit ("( www.nnscript.de :: NoNameScript 4.02 :: www.XLhost.de )"). 00:58:02 i should've known that genius an idea must have come from haskell :) 00:58:13 especially when it's ihopes 00:58:16 ihope's 00:58:25 :-) 00:58:37 uhhh energy, flow through me 00:59:02 some ed energy drink to make my night complete 00:59:27 it seems my friend's bot is still running on my network, so i can't take it offline... 00:59:30 darnz 00:59:46 i could do my germans, but BLARGH 00:59:47 Does somebody happen to feel like naming, implementing and posting-on-the-wiki my language? 00:59:54 (I probably should have thought that word order through better.) 01:00:04 heh 01:00:44 perhaps i just idle and look at this channel? 01:00:48 sounds like a plan. 01:01:23 Cool, I/O errors. 01:01:36 * ihope pushes the Small Red Button 01:01:38 ihope: what's the reason for not having first-class parsers? 01:01:51 oklopol: lack of necessity, I guess. 01:02:04 Lack of necessity, possible ease of implementation. 01:02:14 Does that actually make it any easier to implement? 01:02:38 * ihope ponders 01:02:48 Ah, maybe it's about blocks. 01:03:17 Does the block return the last parser, or run it and return what it returns? 01:03:24 hmm 01:03:27 And if the latter, how *do* you return the last parser? 01:03:43 you have separate high-level operators 01:03:57 01:04:05 ...what? 01:04:11 <> brackets for lambdas 01:04:14 or smth 01:04:25 like a=; 01:04:42 <> takes a string and returns the parser 01:04:46 Ah, I see what you mean. 01:04:48 ...I think? 01:04:50 leaving the string intact 01:04:50 hmm 01:05:01 What do you mean, takes a string and returns the parser? 01:05:05 i mean 01:05:09 everything is a parser 01:05:12 so <> must be too 01:05:18 so... it takes a string 01:05:22 because everythign does... 01:05:24 *everything 01:05:46 What parser does it return? 01:05:53 whatever is inside it 01:06:12 So <"/aaa/"> is /aaa/? 01:06:26 a=; would help in making the parser 01:06:30 Or returns /aaa/? 01:06:33 of course, that's very simple as it is 01:06:34 err 01:06:35 yes 01:06:43 that's what i meant 01:07:14 Actually, I do sort of have some... regexes that aren't taken advantage of. 01:07:22 what? 01:08:04 http://pastebin.ca/679421 01:10:05 yeah 01:10:10 that was what i meant 01:10:18 Also, I'm not at all using the anchor $, which could be... you know, user as that anchor. 01:10:29 hmm... what's that? 01:10:30 s/user/used/ 01:10:47 /$/ matches only when there's nothing left of the string. 01:11:00 ah, would that help? 01:11:18 Well, it's not required for Turing-completeness, but it'd be nice, I guess. 01:11:21 oh $ is the past-the-end character? 01:11:38 Um... 01:11:58 like 01:12:03 /$/[""] = "" 01:12:13 /$/["foo"] = immediate fail 01:12:34 /asdf$/["asdf"] = "asdf", /asdf$/["asdffd"] = fail 01:12:36 ? 01:12:42 Yeah. 01:12:50 so it's the past-the-end character 01:13:02 like, something implicitly in the end of every string 01:13:06 i mean 01:13:08 not literally. 01:13:10 Pretty much. 01:13:16 EOS. 01:13:19 yeaaaaaaaaaaaa 01:17:18 http://en.wikipedia.org/wiki/World's_funniest_joke <<< god the third one is bad 01:17:26 What the... 01:17:46 what the what? 01:17:54 This file didn't get written. 01:18:25 eh... i see. 01:19:31 This time it got written, but it's full of ΓΏ. 01:19:47 whut file? 01:20:38 It's the output of a certain command. 01:21:17 That time it got written properly. 01:21:26 cool 01:24:33 A boy owned a dog that was uncommonly shaggy. Many people remarked upon its considerable shagginess. When the boy learned that there are contests for shaggy dogs, he entered his dog. The dog won first prize for shagginess in both the local and the regional competitions. The boy entered the dog in ever-larger contests, until finally he entered it in the world championship for shaggy dogs. When the judges had inspected all of the competing dogs, they remarke 01:24:40 god this is great xD 01:24:50 still laughing 01:25:28 Truncated. 01:25:50 i don't think it could get any funnier 01:25:54 Of course, you can't say "ever-larger contests". You have to say all of them. 01:26:19 of course you can, he just did. 01:26:28 i couldn't tell that joke, it's just too funny 01:26:31 xDDDDDDDD 01:26:50 you're just putting us on with that truncation. 01:27:11 I'll find the full version. 01:27:35 it's not funny when you say it out loud 01:27:39 i just tried 01:27:48 Well, hey. 01:27:49 'When the judges had inspected all of the competing dogs, they remarked about the boy's dog: "He's not so shaggy."' 01:28:24 The end? 01:29:21 oh my god these ppl have been flooding on my server... 01:29:22 Ah. 01:29:37 Yup, the end. 01:29:41 like 3 hours it's just been emptying the buffer 01:29:49 * oerjan looked it up. 01:30:07 -!- importantshock has joined. 01:30:21 i now see why you have to say all of them. 01:30:30 * oerjan is enlightened. 01:31:00 -!- importantshock_ has joined. 01:31:38 -!- importantshock has quit (Nick collision from services.). 01:31:45 -!- importantshock_ has changed nick to importantshock. 01:32:21 pretty weird out of all there people the scandinavians are here. 01:32:25 considering the time 01:32:29 *thesse 01:32:31 *these 01:33:06 something to do.. something to do.. 01:33:07 we're 'ere mate 01:33:14 oh :D 01:33:17 i've never seen ya 01:37:01 it is somewhat difficult to be transitive and symmetric (which it is) but not reflexive - the non-reflexive elements would have to be related to nothing. 01:37:16 Wong Chan-Nel strikes again. 01:39:16 -!- rutlov has joined. 01:40:15 -!- rutlov has left (?). 01:40:29 Hmm, indeed. 01:40:56 Doesn't seem like an order. 01:41:41 Oh, pff. 01:42:01 Oh, yeah, I see now. 01:42:15 Yeah, not related to anything. 01:50:13 -!- CakeProphet has joined. 02:16:44 CakeProphet! 02:17:00 I thought you'd, like, died or something! :-P 02:17:38 old prophets never die! or something. 02:25:18 Also, this is cool: http://1089059683/ 02:25:21 It's Google. 02:31:01 ooooold 02:34:08 -!- importantshock has quit (Read error: 104 (Connection reset by peer)). 02:34:31 What's old? 02:35:03 that's what he said 02:36:10 * ihope nods 02:39:15 omg 02:39:17 ...I did die 02:39:19 but I came back 02:39:31 subversion releave 2.5.5.5.0.2.1.2 02:39:32 i pooted *_* 02:39:50 ... *release 02:40:57 CakeProphet: what ihope said 02:41:03 :) 02:41:10 ...the CakeProphet project was officially orphaned... so I'm stuck on an outdated revision. 02:41:15 * bsmntbombdood bsmntbombdood * 02:41:22 CakeProphet: do you intend on dying again any time soon? 02:41:30 ...perhaps 02:41:36 these things are enigmas 02:41:43 when you do, can i sex you? 02:41:43 enigmas that are confusing... 02:41:46 ...yep 02:41:53 sweet 02:42:05 * CakeProphet was missed? 02:42:08 INTERESTING 02:42:47 the wall on which \ the prophets wrote \ is cracking \ at the seams 02:42:49 etc 02:52:33 exactly what i was thinking 02:58:53 Yeah, you were sort of missed. 03:04:11 i was mist 03:08:01 No, CakeProphet was mist. 03:08:10 Never mind that "mist" means "garbage". 03:08:27 i thought it meant fog 03:09:27 German slang term, I think. 03:09:41 mist collection 03:09:53 then it needs to be capitalized by those who do such things 03:09:55 a german gc 03:10:47 tree rewriting is much harder to codify than i thought... 03:10:48 Blah, who actually capitalizes common nouns in German? :-P 03:10:57 in irc? 03:11:09 I don't think English would be much different if we did that here. 03:11:24 I meant to capitalize all the common Nouns in that Sentence, but it didn't have any. 03:11:43 none germans awake, can't show ya, but they do use capitals 03:11:46 So I did all of them in that one instead. 03:11:48 at least some 03:12:40 Annoying that you only encounter Nouns when you're not trying to :-P 03:12:48 Should I stop capitalizing them now? 03:13:13 Hmm, I'll do it... vacuously! >:-) 03:14:37 Why Not Capitalize everything But Annoyingly Forget To capitalize Some Words? 03:15:16 why not lowercase everything? 03:15:30 that's what i generally do 03:16:23 HOW ABOUT UPPERCASE EVERYTHING? 03:16:31 BECAUSE CAPS LOCK IS CRUISE CONTROL FOR COOL 03:17:02 I LIKE THIS 03:17:07 BUT MANY PEOPLE DON'T 03:17:17 I DON'T UNDERSTAND WHY HAVE TO KINDS OF LETTERS 03:17:21 *TWO 03:17:25 EVEN WITH CRUISE CONTROL YOU STILL NEED TO STEER 03:17:51 EVEN LESS I UNDERSTAND WHY TO HAVE ONE OF THE CASES BE NON UNISIZEY 03:17:53 LIKE 03:18:02 a, y, l, WHAT'S THAT ABOUT 03:18:45 :) 03:18:47 I DON"T EVEN HAVE A CAPS LOCK KEY 03:19:41 oklopol: um, to have as much variation as possible to make your visual apparatus pick things up easier? 03:19:49 HoW aBoUt AlTeRnAtiNg? 03:20:12 -!- chton_ has changed nick to Chton. 03:20:48 oerjan: purity over readability 03:20:52 HoW aBouT oNLY CaPiTaLiZiNG CoNSoNeNTS? 03:21:06 ONE PEOPLE, ONE COLOR, ONE CASE 03:21:20 ESOTERIC POWER 03:21:30 bsmntbombdood: nOt A bAd IdEA 03:21:32 :p 03:21:36 I have a Caps Lock. . . 03:21:37 well, having consonants bigger than vocals is okay 03:21:44 I call it "Ctrl". 03:21:58 :| 03:22:10 Hmm. I've got an Idea. Let's use the traditional Notion of capitalising all Nouns in English Sentences. 03:22:12 my ctrl doesn't do that 03:22:27 pikhq: where'd that come from? 03:22:34 pikhq: let's just speak german 03:22:35 -!- rutlov has joined. 03:22:38 how about inventing an inbetween case? 03:22:52 oklopol: what languages do you speak? 03:23:02 urrrrrrrrr finnish german english swedish 03:23:09 also zx3 and lojban a bit 03:23:18 and i understand spanish a bit 03:23:23 very very bit :) 03:23:24 i meant fluent 03:23:26 bsmntbombdood: It was a feature of English until, IIRC, the late 1700's, and I *think* is still used in German. 03:23:27 oh 03:23:33 english and finnish pretty fluent. 03:23:35 -!- rutlov has left (?). 03:23:37 it is pikhq 03:23:50 swedish and german i can have a conversation in 03:24:15 scandinavian languages ftw 03:24:34 i have both swedish and german matriculation in a few weeks (end-of-high-school-test) 03:25:12 bsmntbombdood: why do you ask? 03:25:18 just wondering 03:25:43 i bet oerjan knows more than one language 03:25:48 i bet pikhq doesn't 03:25:54 :P 03:26:04 i'm gonna learn them all 03:26:10 bsmntbombdood: Hontou zya nai. 03:26:24 are you fluent in espranto? 03:26:32 No. 03:26:35 That was Japanese. 03:26:44 ...or japanese? 03:26:49 (romanised; my IME doesn't like my terminal) 03:26:51 yes, and it's not friendly to curse pikhq 03:27:02 No, I'm merely a 4th-year student. 03:27:08 Chton: "Not true" is cursing?!? 03:27:16 just guessing :p 03:27:22 i bet everyone in here that's not from the US or canada or the UK speaks more than one language 03:27:35 Quite possible. 03:27:36 i'd say that's a pretty solid bet 03:27:59 well, the native one and english are quite hard to evade... 03:28:08 true 03:28:21 doubly so if you live in a country with 3 languages 03:28:38 Of course, when English is native, it's hard to evade English. ;) 03:28:44 :) 03:28:59 bsmntbombdood: i don't speak german or swedish that fluently, but i do have a prety native accent in both! 03:29:17 in germany, they said i sounded like a native for a while 03:29:30 * oklopol starts bragging when it's tired, it seems 03:29:30 I look native until I speak in Germany. :p 03:30:02 lol 03:30:17 *pretty 03:30:46 And I also get the curious property of looking vaguely English, as well. . . 03:30:57 Damned America, making mutts of us all. :p 03:31:15 i look vaguely SUPER SEXY 03:31:26 Very vaguely. 03:31:27 only very very vaguely 03:31:48 almost, but not entirely unlike SUPER SEXY 03:32:01 -!- ihope has quit (Connection timed out). 03:32:10 i'm pretty sexy 03:32:24 ! 03:32:26 <-- almost, but not enirely GOING TO SLEEP 03:32:27 Huh? 03:32:39 EgoBot caught my lie 03:35:25 i am totally SUPER SEXY 03:35:36 yeah, we've all seen your pics 03:36:22 that old guy with the beard, right? 03:37:06 i envy his beard 03:49:18 Bow. 03:49:50 Wow? 03:50:40 How? 03:51:01 Bow before me!!! 03:52:04 no, after 03:52:30 Now? 03:53:39 Blow 03:54:26 Good show 03:54:48 Down low 04:03:36 i have a roll of duck tape 04:03:39 is awesome 04:05:28 omg i got it working 04:07:11 what? 04:08:26 trewriter 04:08:40 a tree rewriting quickie i'm doing in python 04:09:55 write a general one 04:10:05 what do you mean? 04:10:24 i'd like to make it not a language, but a python library 04:10:32 is it general? 04:10:35 but currently i'm parsing the rule from strings, at least 04:10:40 i'm not sure what that is. 04:10:44 that's why i asked 04:11:13 i mean like a function that takes a set of rules and a tree, and returns the rewritten tree 04:11:39 def trewrite(rules,data): 04:11:42 yep 04:11:50 that's what it does 04:12:03 rules is also just a python list 04:12:05 how do you specify the rules? 04:12:06 actually 04:12:15 rules_str=""" 04:12:15 ["k",a,b]:a 04:12:15 """ 04:12:18 k combinator 04:12:21 *-actually 04:12:45 [[[('r', 'k'), 'a', 'b'], 'a']] 04:12:49 currently becomes that 04:12:55 you mean [["k", a], b] 04:13:07 well, should be, yes. 04:13:22 but... that wouldn't work yet 04:13:28 so it's like that until it will. 04:16:35 -!- oklofok has joined. 04:16:44 i did the disco :< 04:17:07 /disco makes you do a little dance! 04:17:11 * bsmntbombdood dances * 04:18:02 * oerjan too 04:19:41 hmm, gimme something in unlambda again... 04:19:50 i'll try out my sk-interpreter 04:19:55 rules_str=""" 04:19:55 [["k",a],b]:a 04:19:55 [[["s",a],b],c]:[[a,c],[b,c]] 04:19:55 """ 04:21:18 actually, i was mainly going for a nice support for making the tree rewriting *rules*, but the actual tree rewriting turned out to be quite tricky 04:21:24 or then it's just all the tired. 04:21:56 >>> pl ``^a^b$a 04:22:05 >>> pl `^a^b$a 04:22:14 ... 04:22:23 i'm fairly sure that should work 04:22:29 >>> pl i 04:22:30 i 04:22:40 >>> pl `ii 04:22:41 `ii 04:22:46 >>> pl `^a$a 04:22:49 >>> pl `^a$ai 04:22:49 `ii 04:23:03 >>> pl ``^b^a$aii 04:23:03 ```kiii 04:23:14 >>> ul ```kiii 04:23:15 -> i 04:23:28 >>> ul ```kiil 04:23:28 -> l 04:26:09 whut 04:26:11 it works 04:26:13 :O 04:27:41 [[["k","i"],"i"],"l"] -> "l" 04:27:52 hmm... something harder, with "s"? 04:28:04 please gimme, i'm all coded out 04:28:37 ```sii``sii 04:28:41 :D 04:28:49 * oerjan whistles innocently 04:28:49 something that won't crash 04:29:01 guess i could check if it crashes 04:30:29 RuntimeError: maximum recursion depth exceeded in cmp 04:30:43 can you give me something a bit more complicated, but not toooo much? 04:31:02 * oerjan needs to calculate it first 04:31:12 i don't understand how i don't have any sk code nearby, sk is basically all i do :D 04:31:56 and random python quickies 04:32:34 ````s``s`ksk``s``s`ksk`kiki 04:33:23 what should that do? 04:33:34 -!- oklopol has quit (Connection timed out). 04:33:45 and... whut? :| 04:33:48 -!- oklofok has changed nick to oklopol. 04:33:49 indeed. 04:34:06 i think it should return `k`ki 04:34:52 hmm... that's a bit hard to manually convert for python... 04:35:00 i guess it's not 04:35:05 <- tider 04:35:08 riedt 04:35:11 tdire 04:35:15 wait... i made it too complicated 04:35:31 it's fine if you do the conversion :) 04:35:49 i could make a convertor, but that'd take longer than necessary, methinks 04:35:57 >>> ski->py 04:36:04 well 04:36:08 >>> sk-py 04:36:15 if you wanna keep convertors similar 04:36:17 okokoko 04:37:25 -!- cherez has joined. 04:38:47 [[[[s,[[s,[k,s]],k]],[[s,[[s,[k,s]]],k],[k,i]]],k],i] 04:38:49 i think 04:38:55 and then strings out of those 04:39:33 ````s``s`kskiki 04:39:37 >>> ul ````s``s`ksk``s``s`ksk`kiki 04:39:38 -> ('k', ('k', 'i')) 04:39:44 is that right? 04:39:48 `k`ki 04:39:48 i forgot all the shortcuts 04:39:57 i hope so 04:39:59 I hate you and your SKI calculus. 04:40:26 fuck 04:40:27 ['k', [[[['s', [['s', ['k', 's']]], 'k'], ['k', 'i']], 'k'], 'i']] 04:40:30 failed :< 04:40:31 now you can try `` ```s``s`kski``s``s`kski ki 04:40:38 or then i failed. 04:40:44 >>> ul ````s``s`kskiki 04:40:44 -> ('k', ('k', 'i')) 04:40:50 i'll try that 04:41:11 that should be the same, i forgot some shortcuts the first time 04:42:24 ['k', ['k', 'i']] <<< kay, now worked 04:42:30 was most likely my error then... 04:42:35 #````s``s`ksk``s``s`ksk`kiki 04:42:35 #[[[["s",[["s",["k","s"]],"k"]],[["s",[["s",["k","s"]]],"k"],["k","i"]]],"k"],"i"] 04:43:04 try converting that if you please 04:43:12 i don't feel like doing it again... 04:43:20 and fuck, school soon 04:43:35 it contains the same subparts 04:44:11 * oerjan doesn't really feel like doing it either 04:44:14 :P 04:44:18 i'll redo it. 04:45:46 try `` ```s``s`kski``s``s`kski ki instead, it's just the shortest version with a part doubled 04:45:57 [[[[s,[[s,[k,s]],k]],[[s,[[s,[k,s]],k]],[k,i]]],k],i] 04:46:06 (and ` prepended) 04:46:11 okay... 04:46:16 one tiny difference. 04:46:20 let's try that 04:47:07 ['k', ['k', 'i']] <<< yeas fucking omg ?!? 04:47:12 it worked, that is 04:47:34 my first suggestion? 04:47:38 yep 04:47:42 i don't need to try anything anymore, if one random program works, everything works :) 04:47:46 that's the beauty of sk 04:48:04 your first suggestion, indeed 04:48:07 how did you do that? 04:48:25 `k`ki and then synonym replacementz? 04:49:47 hmm... if the "from" expression is more complex, it prolly fails... i'll try to implement "append" 04:50:13 ^f^x`$f`$f$x and then abstraction implementation 04:50:45 then apply to k i 04:51:17 >>> pl ^f^x`$f`$f$x 04:51:18 ``s``s`ks``s`kki``s``s`ks``s`kki`ki 04:51:39 some day... 04:51:48 that is with no shortcuts at all 04:51:57 i assume 04:52:15 it does absolutely no optimization 04:52:26 just the transformation described on the unlambda page 04:55:41 ['append', [[[[[[['nil']]]]]]], [[[['nil']]]]] 04:55:41 ===> 04:55:41 [[[[[[[[[[['nil']]]]]]]]]]] 04:55:43 omg 04:55:52 i can't believe it's working that well 04:56:01 ["append",[a],b]:["append",a,[b]] 04:56:01 ["append","nil",b]:b 04:56:14 that was like a 1 hour project 04:56:37 and that's better than scheme 04:56:44 i mean, better than my scheme. 04:57:14 >>> sch "this is so sucky, there aren't even strings yet." 04:57:15 None 04:59:07 hmm... can't think of anything else i can do with that in the 20 minutes i have left 04:59:16 guess i should start making that better. 05:01:02 have to make a syntax for specifying something macroish 05:01:20 like "only match top level" 05:01:58 afk 05:08:57 basically, this is thue with trees 05:09:01 like... thrue 05:09:02 ["append",[a],b]:["append",a,[b]] 05:09:02 ["append","nil",b]:b 05:09:02 ["append",[[[[[[["nil"]]]]]]],[[[["nil"]]]]] 05:13:22 ["append",[a],b]:["append",a,[b]] 05:13:22 ["append",[],b]:b 05:13:22 [append,[[[[[[[]]]]]]],[[[[]]]]] 05:13:23 xD 05:13:28 ingenious 05:13:37 whooops 05:13:43 i wasn't gonna put that here 05:13:59 my first channel fail \o/ 05:14:09 oerjan: now i know how you feel 05:14:38 it's pretty bad 05:16:08 i gotta leave now, cya -> 05:18:56 -!- rutlov has joined. 05:19:56 -!- rutlov has left (?). 05:25:33 I'd like to inform Sukoshi that it's been one *year* since the Esolang contest, and its still not been judged. 05:25:39 (hell, am I the only entrant?) 05:29:01 i am sure the contest is being conducted according to all relevant esolang traditions. 05:29:28 which, unfortunately, don't include actually completing the judging. 05:29:28 That's a bad sign. ;) 05:48:07 -!- oklopol has quit (Read error: 104 (Connection reset by peer)). 05:48:11 -!- oklofok has joined. 05:48:18 -!- theoros has quit (Connection timed out). 05:58:37 -!- oerjan has quit ("Carrot Cake Craving"). 07:01:28 It is now PEBBLEversary. 07:02:57 woo 07:03:18 Also, #esoteric is getting some holidays. w00t. 07:05:11 I would like to thank the US government for giving me the day off to celebrate this momentous occasion. 07:05:37 you can't say they never did anything for you 07:06:07 I never said they did *nothing*, just that they do the wrong things. :p 07:35:55 so, how are the PEBBLE-fest activities continuing? 07:36:19 I shall begin the festivities with the traditional PEBBLE sport: competitive sleeping. 07:36:33 (I'm lazy ;)) 07:36:52 how do you win? 07:36:54 my reticular activating system has still deserted me 07:41:51 bsmntbombdood: You don't. It's not much of a competiton. :) 07:41:53 G'night. 07:45:27 'night 07:45:31 * RodgerTheGreat sighs 07:46:45 why? 07:51:00 because I'm having difficulty going to sleep 07:53:52 -!- rutlov has joined. 07:59:59 -!- clog has quit (ended). 08:00:00 -!- clog has joined. 08:01:52 -!- rutlov has left (?). 08:01:52 * RodgerTheGreat tries bed again 09:35:41 -!- GreaseMonkey has joined. 10:07:16 -!- ehird` has joined. 10:23:44 #thelang didn't last long 10:23:45 :-) 10:31:01 -!- ehird` has left (?). 10:31:03 -!- ehird` has joined. 10:54:19 -!- GreaseMonkey has quit (Connection timed out). 11:04:02 anyone awake? 11:09:37 -!- ehird` has left (?). 11:09:39 -!- ehird` has joined. 11:25:07 -!- ihope__ has joined. 11:25:16 -!- ihope__ has changed nick to ihope. 12:16:13 -!- oerjan has joined. 13:20:58 -!- RedDak has joined. 14:12:31 -!- ehird` has quit (Read error: 104 (Connection reset by peer)). 14:12:59 -!- ehird` has joined. 14:17:35 -!- RedDak has quit (Read error: 110 (Connection timed out)). 14:24:32 -!- Tritonio_ has quit (Read error: 104 (Connection reset by peer)). 14:57:33 -!- CakeProphet has quit ("haaaaaaaaaa"). 15:12:27 -!- bsmntbombdood has quit (Read error: 104 (Connection reset by peer)). 15:16:26 * ihope ponders instructions 15:16:38 Assembly-type. 15:17:11 Hmm, a bit shift left/if instruction would be nice. 15:34:48 -!- jix_ has joined. 15:48:09 -!- theoros has joined. 16:47:25 -!- sebbu has joined. 16:58:03 Cheers. . . 16:58:52 Cheers? 17:02:47 It's PEBBLEversary. 17:05:17 * oerjan throws PEBBLES at everyone to celebrate 17:07:31 =D 17:08:03 -!- poiuy_qwert has joined. 17:08:16 write an article on how pebble works to celebrate 17:08:26 it'll help aspiring compile-to-bf language writers like me :p 17:13:42 It's in the PEBBLE tarball. 17:20:49 Well write a longer one and put it on the web 17:20:50 :< 17:20:56 i like my html 17:21:05 I call it "pebble.tcl" 17:21:12 Well phooey 17:21:16 I can't read tcl 17:21:19 I want a theoretical paper 17:25:06 =( 17:27:35 Sorry, I'm lousy at theory. 17:27:56 I follow a "git 'er done" philosophy to coding ATM. :p 17:45:35 i just want info about pebble v_v 17:48:52 -!- bsmntbombdood has joined. 17:49:12 Yay, PEBBLES! 18:00:09 I'm open for questions on this magnificent holiday. 18:00:24 hm? 18:02:30 -!- ehird` has quit. 18:05:24 -!- sebbu2 has joined. 18:07:43 -!- bsmnt_bot has joined. 18:07:52 i has a bot! 18:08:02 oh, no, not again 18:15:36 -!- bsmntbombdood has changed nick to bsmntbombdood`. 18:15:52 -!- bsmntbombdood` has changed nick to bsmntbombdood. 18:16:09 -!- jix_ has quit (Nick collision from services.). 18:16:25 -!- jix__ has joined. 18:24:40 -!- sebbu has quit (Read error: 110 (Connection timed out)). 18:40:03 Somebody translate http://pastebin.ca/679421 to C or something. :-P 18:40:49 what language is it/ 18:40:50 ? 18:41:28 I haven't given it a name. 18:41:38 Perhaps it could be called Redivider. 18:41:59 Even though it has nothing to do with palindromes or redivision. 18:42:31 it can't be converted to C unless we know the semantics 18:42:42 Indeed. 18:43:12 SK calculus. I think I'll come up with an interpreter in Haskell. 18:43:29 (Because it's impossible to write an interpreter in any other language. :-P) 18:43:34 * SimonRC watches Atlantis 18:45:28 -!- Tritonio has joined. 18:59:50 My. I'm having a weird urge to play Lincity. 19:00:09 I learned PostScript last night. fun stuff. 19:00:11 I'm getting an urge to get good at Bos Wars. 19:00:30 Ironic(al)ly enough, I only have it on my Windows machine. 19:02:27 learn postscript in one night? 19:02:56 write a tex compiler 19:06:45 I dunno 19:07:29 hello everyone... 19:12:08 hi 20:03:34 -!- oerjan has quit ("Good night"). 20:25:49 -!- RedDak has joined. 21:20:37 -!- jix__ has quit ("CommandQ"). 21:31:16 -!- ihope has quit ("http://tunes.org/~nef/logs/esoteric/06.08.09"). 21:53:36 -!- poiuy_qwert has quit (Read error: 110 (Connection timed out)). 22:33:09 -!- ehird` has joined. 22:36:00 -!- sebbu2 has quit ("@+"). 22:37:05 * ehird` is talking from xubuntu -- running on an intel iMac :) 22:37:10 wireless internet and all! 22:40:15 * SimonRC opines that OTTD rocks 22:48:55 ottd? 22:56:07 JFGI 22:56:23 Grow a Google reflex already. 22:56:54 SimonRC, alternatively, try and be less condescending and tell people instead of directing all queries to a website 22:57:09 i hear it's called "kindness" 22:57:37 ok 22:57:49 Open Transport Tycoon Deluxe. 22:57:51 A Game 22:57:59 based on Transport Tycoon Deluxe. 22:58:05 kinda 22:58:06 sounds cool 22:58:12 addictive 22:58:26 looks cool, but light on th CPU 22:58:49 cpus are for using, people =p 22:59:00 sounds almost as much fun as my duck-duck-goose task scheduler. 22:59:09 lol 22:59:16 RodgerTheGreat, exciting 22:59:20 you actually implemented that? 22:59:20 RodgerTheGreat, i'll tell EA games 22:59:35 not nearly as exciting as the musical chairs version, although it has some minor issues 22:59:46 race conditions? 23:00:17 implementing the part where all the processes get up and run around is a trick 23:00:25 haha 23:00:36 integrate it with mpd or amarok or something 23:01:38 I know, you could have all the processors in the machien randomly keep re-picking (but not running) processes, until an interupt stops them all and any processes having a CPU at the time run. 23:01:51 which sucks if there is only 1 CPU 23:02:06 who wants to help out the planned implang-continuation :) 23:02:14 #testlang 23:02:32 what is that? 23:02:51 a very very simple conlang planned over irc 23:03:04 basically you join, look at the language it is now, and discuss it. 23:03:21 i started that retry of the idea a day or so ago with ihope 23:03:30 there's also the possibility of a russian-roulette task manager (made all the more amusing if you have a CPU capable of barrel multitasking) 23:04:21 ehird`: is this in any way associated with the Adjudicated Blind Collaborative Design Esolang Factory? 23:04:27 RodgerTheGreat, no? 23:04:33 conlang = natural language 23:04:34 aw. :( 23:05:02 why? 23:06:36 =/ 23:09:35 um 23:10:04 surely conlang = constructed language? 23:10:09 yes 23:10:11 but a natural one 23:10:16 not programming 23:10:52 anyway, you should join in :p 23:13:03 :) 23:13:12 SimonRC: you could help kickstart it 23:13:32 where? 23:13:36 #testlang 23:13:38 er wait no 23:13:39 #thelang 23:23:44 -!- RedDak has quit (Read error: 104 (Connection reset by peer)). 23:49:53 anyone else want to help out? ;) 23:53:58 -!- dibblego has quit (Remote closed the connection).