00:12:34 -!- Sgeo has quit ("Ex-Chat").
00:35:38 -!- RedDak has joined.
00:37:36 -!- RedDak has quit (Client Quit).
01:32:10 -!- importantshock has joined.
01:56:48 -!- ehird` has quit.
02:29:49 <GregorR> Thoughts I've had today: An NFSM with a stack (a basic stack machine) can parse any context-free grammar.
02:30:13 <Robdgreat> you were feeling ambitious today, weren't you
02:30:17 <GregorR> 2) A machine of this type can go into an infinite loop.
02:30:50 <GregorR> 3) In fact, it will go into an infinite loop with any recursive grammar parsing code with bad grammar.
02:31:09 <GregorR> 4) The halting problem is solvable, but
02:31:22 <GregorR> 5) It's a HUGE EFFING PITA TO SOLVE IMPLEMENT :(
02:44:08 <GregorR> I'm fried from trying to figure out this NFSM+Stack stuff :P
03:25:54 -!- importantshock has quit (kornbluth.freenode.net irc.freenode.net).
03:25:54 -!- Chton has quit (kornbluth.freenode.net irc.freenode.net).
03:25:54 -!- Overand has quit (kornbluth.freenode.net irc.freenode.net).
03:25:54 -!- Eidolos has quit (kornbluth.freenode.net irc.freenode.net).
03:25:55 -!- tokigun has quit (kornbluth.freenode.net irc.freenode.net).
03:25:55 -!- cmeme has quit (kornbluth.freenode.net irc.freenode.net).
03:25:57 -!- zuzu_ has quit (kornbluth.freenode.net irc.freenode.net).
03:25:57 -!- sekhmet has quit (kornbluth.freenode.net irc.freenode.net).
03:25:58 -!- Tritonio has quit (kornbluth.freenode.net irc.freenode.net).
03:25:58 -!- pikhq has quit (kornbluth.freenode.net irc.freenode.net).
03:25:58 -!- g4lt-yarrrrr has quit (kornbluth.freenode.net irc.freenode.net).
03:25:59 -!- GregorR has quit (kornbluth.freenode.net irc.freenode.net).
03:25:59 -!- sp3tt has quit (kornbluth.freenode.net irc.freenode.net).
03:25:59 -!- SEO_DUDE has quit (kornbluth.freenode.net irc.freenode.net).
03:26:00 -!- mtve has quit (kornbluth.freenode.net irc.freenode.net).
03:26:00 -!- SimonRC has quit (kornbluth.freenode.net irc.freenode.net).
03:26:00 -!- puzzlet_ has quit (kornbluth.freenode.net irc.freenode.net).
03:26:00 -!- bsmntbombdood has quit (kornbluth.freenode.net irc.freenode.net).
03:26:00 -!- lament has quit (kornbluth.freenode.net irc.freenode.net).
03:26:00 -!- oklopol has quit (kornbluth.freenode.net irc.freenode.net).
03:26:51 -!- importantshock has joined.
03:26:51 -!- oklopol has joined.
03:26:51 -!- sp3tt has joined.
03:26:51 -!- Tritonio has joined.
03:26:51 -!- SEO_DUDE has joined.
03:26:51 -!- puzzlet_ has joined.
03:26:51 -!- bsmntbombdood has joined.
03:26:51 -!- pikhq has joined.
03:26:51 -!- Eidolos has joined.
03:26:51 -!- Chton has joined.
03:26:51 -!- Overand has joined.
03:26:51 -!- tokigun has joined.
03:26:51 -!- g4lt-yarrrrr has joined.
03:26:51 -!- cmeme has joined.
03:26:51 -!- lament has joined.
03:26:51 -!- zuzu_ has joined.
03:26:51 -!- sekhmet has joined.
03:26:51 -!- SimonRC has joined.
03:26:51 -!- GregorR has joined.
03:26:51 -!- mtve has joined.
04:00:19 <GregorR> Yeah, solving the halting problem for an NFSM stack machine = MASSIVE pain in the arse.
04:03:58 <GregorR> Nondeterministic Finite State Machine
04:04:05 <GregorR> A non-finite state machine is a Turing machine :P
04:08:41 <GregorR> Basically, you can make sure the machine never halts by 1) handling all non-consumptive steps simultaneously, 2) detecting loops in those steps and 3) encapsulating infinite recursion on the stack into a special "infinity" marker. When the infinity marker is popped, the state splits into two: One with the infinity marker and the remainder on the stack, one with only the remainder on the stack.
04:09:52 <RodgerTheGreat> so, in this type of system, does it become solvable because it's possible to calculate how likely the machine is to be in a particular state?
04:10:21 <GregorR> NFSMs are interpreted by having a set of states that the machine is in the superposition of.
04:10:39 <GregorR> Once every state has either led to a dead end or consumed all of the input, you're done.
04:12:02 <GregorR> You can detect loops in an FSM, since returning to a state without consuming anything is always an infinite loop.
04:15:40 <GregorR> I forgot, that's what a PDA is X-D
04:16:18 <GregorR> Err, right, NFSM + stack = NPDA
04:24:53 -!- Sgeo has joined.
04:27:20 * Sgeo should really work on PSOX
04:27:49 * GregorR should really work on Plof3
04:28:02 <GregorR> The next incarnation of Plof.
04:29:16 <GregorR> http://www.codu.org/plof/plof3.txt // current work-in-progress new spec
04:42:09 -!- kwertii has joined.
04:43:13 -!- kwertii has quit (Client Quit).
04:43:25 -!- kwertii has joined.
04:54:59 -!- importantshock has quit ("Meh.").
05:28:02 -!- GreaseMonkey has joined.
05:28:05 -!- Sgeo has quit ("Ex-Chat").
05:36:57 <RodgerTheGreat> I've been drawing a bunch of increasingly bizarre comics for fun this evening. I present my creations for the enjoyment of anyone with the misfortune to still be awake:
05:37:01 <RodgerTheGreat> http://www.nonlogic.org/dump/images/1190259559-rootpowah.png
05:37:05 <RodgerTheGreat> http://www.nonlogic.org/dump/images/1190260876-inetargument.png
05:37:09 <RodgerTheGreat> http://www.nonlogic.org/dump/images/1190262068-rollin.png
05:49:18 -!- GreaseMonkey has quit ("Man who stand in frond of car is tired. Man who stand behind car is exhausted.").
06:47:10 -!- oerjan has joined.
07:59:59 -!- clog has quit (ended).
08:00:00 -!- clog has joined.
08:25:17 -!- oklopol has quit (Read error: 104 (Connection reset by peer)).
08:25:24 -!- oklopol has joined.
08:39:09 -!- GreaseMonkey has joined.
08:43:25 -!- GreaseMonkey has left (?).
08:43:53 -!- GreaseMonkey has joined.
09:05:11 -!- jix has joined.
09:35:26 -!- sebbu has joined.
10:18:03 -!- jix has quit ("CommandQ").
10:25:10 <oklopol> (kinda embarrasing looking up a word and managing to write it here instead of the url block...)
10:54:38 -!- GreaseMonkey has quit ("http://freechess.org").
10:55:47 -!- kwertii has quit (Read error: 113 (No route to host)).
11:02:22 -!- oerjan has quit ("Lunch").
11:20:32 -!- g4lt-sb100 has joined.
11:21:26 -!- g4lt-yarrrrr has quit (Read error: 104 (Connection reset by peer)).
12:53:31 <SimonRC> RodgerTheGreat: is root wearing a bandanna, or is that a /
13:26:47 -!- Sgeo has joined.
13:28:24 * Sgeo should work on PSOX
13:59:46 -!- jix has joined.
14:07:36 -!- Tritonio has quit (Remote closed the connection).
14:44:42 -!- jix has quit (Read error: 104 (Connection reset by peer)).
14:53:33 -!- jix has joined.
15:55:52 -!- Guilt has joined.
16:27:40 <GregorR> $ twopipe psoxi "egobfc2m Sgeo.bf"
16:28:17 <GregorR> Sgeo: Yeah, you SHOULD work on PSOX, but you don't.
16:54:50 -!- Guilt has quit ("CGI:IRC at http://freenode.bafsoft.ath.cx:14464/").
17:25:48 <oklopol> GregorR: can i see some plof3 code?
17:26:09 <oklopol> or do you even have the runtime parsing system ready yet?
17:26:34 <GregorR> I've barely started writing anything yet :P
17:27:00 <oklopol> then i daresay my oklotalk runtime parsing modification syntax might be further thought than yours :)
17:27:01 <GregorR> You can have the thirty or so lines of an NPDA implementation I've written thusfar :P
17:27:12 <oklopol> i'll prolly never get to implementing it so... no conflict :<<
17:27:31 <GregorR> I hear alllll these great things about oklotalk ripping me off, but I see no code.
17:27:59 <GregorR> Anyway, my code is all in D, and I'm betting yours isn't, so you can't steal my code :P
17:28:15 <oklopol> i'm not gonna, all the similarities are superficial
17:28:29 <oklopol> but there are a lot of them, and i'm changing them, obviously
17:28:31 <GregorR> So, how does your runtime parsing system work?
17:28:56 <oklopol> that's the thing, your idea seems so much more coherent i don't even want to talk about mine.
17:29:38 <oklopol> i think you've just had time to put more thought to that, but i do admit you are brilliant.
17:30:12 <oklopol> because while that stack thing is clever, it is obvious up to the knowledge i have about it
17:30:51 <oklopol> it's just you're thinking about it in implementation, the stack thing i mean, i was basically going for bnf-ish first class constructs + multilevel strings.
17:31:08 <oklopol> meaning you would do a lot of metacoding to use the runtime parsing.
17:31:50 <oklopol> "(oklopol) then i daresay my oklotalk runtime parsing modification syntax might be further thought than yours :)" <<< this was merely to comfort me a bit, no offence to you, more to my bad luck for knowing about plof ;)
17:32:59 <GregorR> My conversation yesterday was a reiteration of this common habit of mine: 1) Completely forget about a computing topic. 2) Need said computing topic. 3) Reinvent it identically to what I pseudo-remember. 4) Bash my head into the wall when somebody say "Uh, you mean an NPDA, right?"
17:33:01 <oklopol> i'm thinking i'll really start emptying my 2-meter-long TODO list after my german + swedish exams...
17:33:19 <oklopol> hopefully we'll be seeing oklotalk and a lot of other stuff about then
17:33:39 <oklopol> or, i'll just keep talking about it, and do nothing, like i usually do.
17:34:10 <oklopol> yeah, i did some banging when i realized what PDA was, too :P
17:34:38 <GregorR> Plof's grammar is defined entirely at runtime.
17:34:46 <oklopol> not entirely, you liar! :P
17:34:59 <GregorR> The Plof user language's grammar is defined entirely at runtime.
17:35:10 <GregorR> The Plof stack language isn't Plof, it's the Plof stack language :P
17:35:40 <oklopol> gotta go read my germans! ->
17:37:09 <GregorR> bsmntbombdood: If that answers your questions at all :P
17:38:24 <GregorR> (Of course, compiling the grammar to an NPDA and running that is probably less efficient than compiling to an LALR parser, but eh :P )
17:39:17 <GregorR> (Of course of course, there are technically grammars that an NPDA can parse that an LALR parser can not)
17:40:22 -!- jix has quit ("This computer has gone to sleep").
17:46:37 <oklopol> now that i've tried to read german for a few minutes == thought about that parsing thing for a while, i can safely say oklotalk will have a very different runtime parser system
17:47:11 <oklopol> ...and i'd kinda like to implement it now, but i can't :(
17:48:04 -!- boily has joined.
17:48:34 -!- boily has quit (Client Quit).
17:49:44 <GregorR> Very different from Plof or very different from what's in your head now?
17:50:01 <GregorR> [Oh, and don't feel bad when I implement your runtime parser as a grammar for my runtime parser]
17:50:19 <bsmntbombdood> do you have something to read about this language?
17:50:39 <GregorR> http://www.codu.org/plof/plof3.txt
18:00:59 <oklopol> GregorR: very different from anything that has an underlying stack language.
18:01:50 * GregorR imagines a runtime parser which transforms one grammar into another.
18:03:53 <oklopol> GregorR: basically, i changed the whole thing into something that not necesarily can be considered run-time parsing in the sense you use it.
18:04:29 <oklopol> but i'm not gonna explain it now, so all you need to know is i'm not ripping of your language :)
18:06:43 <oklopol> do correct me, that's your thing
18:06:59 <GregorR> Didn't notice it, too busy actually doing work :P
18:10:25 <GregorR> !glass {M[m(_o)O!"Muaha"(_o)o.?]}
18:11:40 <oklopol> if it says "to be completed" or anything resembling that, i don't examine it very closely
18:11:55 <oklopol> not many specs seen in the last few days :P
18:13:14 <oklopol> i'll look into it more once you have the interpreter ready, since that probably won't take long in your case
18:14:52 <GregorR> But, the Plof3 spec /does/ say "to be completed" or something like that :P
18:15:10 <GregorR> "this list is horrendously incomplete" in fact :P
18:15:34 <RodgerTheGreat> interesting how often "I'll finish this momentarily" becomes "I'll never finish this" on the internet
18:16:58 <GregorR> I find that things are EITHER completed immediately or never. There is no "within a month"
18:18:15 <RodgerTheGreat> sometimes projects defy that, but every time they slip onto the back burner there's a greater chance they'll never come back
18:23:00 <SimonRC> I never realised how crap mamalian lungs were
18:23:02 <SimonRC> http://people.eku.edu/ritchisong/birdrespiration.html
18:32:31 <oklopol> GregorR: i've gotten a lot of things implemented within a month, though usually that has meant stalling for a few weeks, then doing it in 2 hours once i already know what to write
18:32:37 <oklopol> but that's the general case, i have to admit
18:32:46 <oklopol> also, what am i doing in irc again.
18:33:14 <oklopol> and, i meant i didn't read the spec that well exactly because it said 2to be completed"
18:34:02 <GregorR> Typing on a Commodore 64? [joke no one will get]
18:34:30 <oklopol> wait, i'll try and get that by looking at my c64 keyboard on the floor...
18:34:53 <GregorR> I want to see if oklopol gets it first.
18:35:23 <oklopol> umm... this can't be my c64... it doesn't say c64 innit!
18:35:35 <oklopol> okay, explain, i seem to have lost it or something :P
18:37:42 <oklopol> i didn't know it's ever anywhere else
18:37:59 <GregorR> What keyboard layout is this?
18:38:35 <SimonRC> Um, shift+2 is a " here too
18:38:45 <oklopol> hah, GregorR, you're a freak! :)
18:39:01 <GregorR> SimonRC: Aren't you in Britain?
18:39:25 <GregorR> Why the hell would a British keyboard differ from an American keyboard? >_O
18:39:35 <oklopol> but... anyway... this is an outrage! where's my c64 :<<
18:39:46 <oklopol> i guess you might not know that.
18:40:10 <GregorR> Why the hell would a British keyboard differ from an American keyboard? O_<
18:41:09 <GregorR> Well anyway, I'm right because America > you 8-D
18:42:18 <oklopol> i'd say we all lose for using qwerty
18:42:49 <oklopol> that's a brave assumption though, since i don't actually know you're using it
18:43:16 <oklopol> (and i guess it doesn't have much to do with this :P)
18:44:28 <oklopol> das Band -> die Bnder, der Band -> die Bnde, die Band -> die Bands
18:44:42 <oklopol> ASDFuck with these germans
18:45:08 <oklopol> don't they understand gender is a confusing concept as it is!
18:45:36 * GregorR <3 genderless languages :P
18:48:39 <GregorR> Literally. We Lingua Franca'd your arse :P
18:51:38 <GregorR> What language are we speaking? QED.
18:51:44 <oklopol> if you compare with languages that can imitate english with lesser modifications to the root words
18:52:47 <oklopol> i don't see how the fact a language is used less kills the language itself
18:53:00 <GregorR> I never claimed to have killed your language ...
18:53:09 <oklopol> i may have misinterpreter your fancy words
18:53:23 <GregorR> Lingua franca = language of commerce/diplomacy/etc
18:53:27 <oklopol> i guess my ass != my language
18:53:56 <oklopol> the other one i speak *out of*, the other i talk *in*
18:54:15 <oklopol> there's a difference i didn't realize right away
19:44:50 -!- sebbu2 has joined.
19:50:12 -!- ehird` has joined.
20:02:27 <Sgeo> <GregorR> $ twopipe psoxi "egobfc2m Sgeo.bf"
20:02:27 <Sgeo> <GregorR> <Sgeo> Booting ...
20:02:27 <Sgeo> <GregorR> Segmentation fault
20:02:41 <Sgeo> What's that supposed to be?
20:03:26 -!- sebbu has quit (Connection timed out).
20:03:48 * Sgeo is so **** tired
20:12:33 -!- jix has joined.
20:33:35 <Sgeo> Is the core PSOX spec done?
20:34:25 * Sgeo is incredibly tired
20:39:59 * Sgeo goes to begin implementing PSOX(!)
20:59:25 -!- kwertii has joined.
21:21:26 -!- GregorR has changed nick to _D6Gregor1RFeZi.
21:22:18 <Sgeo> _D6Gregor1RFeZi, hm?
21:25:47 <Sgeo> How do you get "mangled?":
21:27:04 <Sgeo> Why did you do that?
21:29:10 * _D6Gregor1RFeZi suggests that Sgeo look up "Name mangling" on wikipedia :P
21:30:11 <Sgeo> Why were you being mangled?
21:33:39 -!- _D6Gregor1RFeZi has changed nick to GregorR.
21:39:21 <ehird`> Sgeo: _D6Gregor1RFeZi is how D would mangle GregorR into a symbol name
21:47:16 -!- interact has joined.
21:48:06 -!- importantshock has joined.
21:49:01 <importantshock> so...anyone else looked at the mediadefender source code?
21:51:43 <Sgeo> mediadefender?
21:52:24 * Sgeo misread taht as PSP
21:56:01 <GregorR> I love how people that are bent on destroying piracy magically become bent on destroying P2P.
21:56:01 <GregorR> The Internet is P2P people! :P
21:56:01 <ehird`> one of the better analogies for piracy, although still flawed: "There is a machine that clones cars. Everyone has this machine, and the car companies still sell cars for lots of money. Piracy is cloning someone's car, when they give you permission to."
21:56:45 <GregorR> Manufacturers are gonna be PISSED OFF when we finally get matter replicators ^^