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