00:01:40 -!- oerjan has joined.
00:10:20 * oerjan has been trying to avoid jokes about bsmntbombdood going down the drain, to no avail
00:18:26 <oerjan> he looked a bit old to be in high school :)
00:20:45 -!- ehird` has quit.
00:21:44 * SimonRC fails to recall the language based on brownian motion
00:22:57 <SimonRC> I looked at that in a list, but rejected it
00:24:58 -!- ihope__ has joined.
00:33:54 <SimonRC> why did you go down there?
00:36:37 <SimonRC> you can't do that round here
00:36:43 <SimonRC> (they are all to small for a start)
00:37:23 <SimonRC> well there aren't any of those round here
00:37:42 <SimonRC> how did you find the entrance in the end?
00:38:17 <SimonRC> and I suspect nottoo legal
00:39:09 <bsmntbombdood> the uk has really lax trespassing laws doesn't it?
00:39:12 <bsmntbombdood> http://abacus.kwzs.be/~bsmntbombdood/hdr_pole_small.png
00:42:37 -!- ihope_ has quit (Read error: 110 (Connection timed out)).
01:30:10 -!- ihope__ has quit (Read error: 104 (Connection reset by peer)).
02:17:39 <ihope> I'm guessing the next one is vvvvvvvvvvvvvv, followed by cccccccccccccc again.
02:17:49 <ihope> Then bbbbbbbbbbbbbb.
02:42:09 <ihope> Was xxxxxxxxxxxxxx supposed to be bbbbbbbbbbbbbb?
02:42:25 <ihope> Followed my mmmmmmmmmmmmmm, followed by ..............?
02:43:11 * oerjan wishes to deny that he considered keyboard placement when selecting c
02:44:13 <oerjan> in fact unpronouncability was higher on the priority list
02:46:32 <oerjan> i recall discarding y,a, and m at least. the details are rather vague and were so already at the time.
02:52:21 <ihope> But yyyyyyyyyyyyyy is so unobviously pronounced.
02:52:36 <ihope> Unless you pronounce it "Eeeeeeeeeeeeeeeeeeeeeeeeeeee!"
02:55:33 <ihope> How would a Norwegian pronounce it?
03:03:30 -!- puzzlet has quit (Read error: 110 (Connection timed out)).
03:14:05 <oerjan> front upper rounded with protruded lips
03:40:42 -!- ihope has quit ("Lost terminal").
05:46:10 -!- poiuy_qwert has joined.
05:53:17 -!- GreaseMonkey has joined.
06:28:09 -!- poiuy_qwert has quit.
07:39:41 -!- GreaseMonkey has quit ("Man who stand in frond of car is tired. Man who stand behind car is exhausted.").
07:59:59 -!- clog has quit (ended).
08:00:00 -!- clog has joined.
08:28:16 -!- oerjan has quit ("Good night").
09:53:07 -!- sebbu has joined.
11:30:55 -!- ehird` has joined.
11:41:53 <ehird`> i think i will start on that optimizes-to-hell BF compiler i was going to work on
12:18:37 -!- jix_ has joined.
12:41:40 -!- sebbu has quit (Success).
12:51:12 -!- ehird` has quit ("Pong timeout").
12:54:26 -!- sebbu has joined.
13:13:08 -!- ehird` has joined.
15:18:08 -!- importantshock_ has joined.
15:18:11 -!- importantshock_ has quit (Remote closed the connection).
15:18:28 -!- importantshock has joined.
15:25:33 -!- Tritonio has quit (Read error: 110 (Connection timed out)).
15:26:44 -!- Tritonio has joined.
15:52:25 -!- importantshock_ has joined.
16:04:53 -!- importantshock- has joined.
16:14:20 -!- importantshock-_ has joined.
16:16:08 -!- importantshock_ has quit (Read error: 113 (No route to host)).
16:53:30 -!- importantshock-- has joined.
17:00:10 -!- importantshock-- has quit.
17:00:10 -!- importantshock- has quit (Remote closed the connection).
17:00:10 -!- importantshock-_ has quit (Remote closed the connection).
17:00:10 -!- importantshock has quit (Remote closed the connection).
17:00:19 -!- importantshock-- has joined.
17:00:54 -!- importantshock-- has changed nick to importantshock.
17:34:00 -!- importantshock has quit ("Leaving...").
17:37:41 -!- sebbu2 has joined.
17:50:44 -!- sebbu has quit (Nick collision from services.).
17:50:45 -!- sebbu2 has changed nick to sebbu.
18:04:22 -!- sebbu2 has joined.
18:09:03 -!- jix_ has quit (Read error: 113 (No route to host)).
18:11:13 -!- jix_ has joined.
18:23:28 -!- Tritonio has quit (Remote closed the connection).
18:23:50 -!- sebbu has quit (Connection timed out).
18:27:19 -!- Tritonio has joined.
18:41:59 -!- importantshock has joined.
19:12:07 -!- sebbu2 has changed nick to sebbu.
19:16:38 -!- importantshock has quit ("Leaving...").
19:40:35 -!- mordaunt has joined.
20:10:44 -!- mordaunt has left (?).
22:36:08 -!- clog has joined.
22:36:08 -!- clog has joined.
22:47:38 -!- importantshock has quit ("Leaving...").
22:58:31 -!- RedDak has quit (Remote closed the connection).
23:25:37 <oklopol> gimme a big math expression
23:35:03 <bsmntbombdood> \exist \mathbf{N}: \varnothing \in \mathbf{N} \and (\forall x: x \in \mathbf{N} \implies x \cup \{x\} \in \mathbf{N})
23:44:43 <oklopol> no predicate logic or whaddyacallit
23:45:12 -!- ololobot has joined.
23:45:27 <oklopol> i don't know anything that does random expressions
23:45:42 <oklopol> and i just simply cannot make them manually
23:46:03 <oklopol> they always come out square, you know
23:46:52 <oklopol> infix -> finefix convertor
23:48:09 <oklopol> haven't made a formal proof it's as strong as postfix, though i'm fairly sure it is, being conceptually pretty much the same thing...
23:48:29 <oklopol> because infix wasn't "nesting complete"
23:48:36 <oklopol> i don't know if there's a real term for that
23:48:43 <oklopol> but you can't do implicit nesting with it
23:49:07 <oklopol> 5+(5+5), you cannot eliminate the parens
23:49:15 <bsmntbombdood> and, i've just died many firey death's in google earth's flight simulator
23:49:29 <oklopol> i thought you can't die in that...
23:49:55 <oklopol> guess i have to do >>> rand-expr
23:50:22 <oklopol> plus i could let you specify the objoken regexes and the funcoken regexes
23:50:29 <oklopol> also, i should stop using my own terms
23:50:46 <oklopol> objoken = token that's parsed as a value
23:50:56 <oklopol> i don't know the terms for anything thattish
23:51:05 <oklopol> since i haven't seen anything written about parsing really...
23:51:43 <oklopol> anyone made an irc server?
23:51:53 <oklopol> i thought i'd write one now
23:52:12 <oklopol> hmm... i'm fairly sure you can only do numbers :|
23:52:40 <oklopol> >>> in-fi (1 + 2) * (3 - 4) * 5 + 1*(3 + 6)
23:53:18 <pikhq> Looks like syntactic sugar around parens.
23:53:44 <oklopol> well yes, but so are post-/prefix...
23:53:56 <pikhq> Hmm. What, exatly, *is* the syntax?
23:54:00 <oklopol> basically that's the idea.
23:54:53 <oklopol> finefix is based on infixifying postfix
23:54:56 <pikhq> It looks like some parts are postfix, some are infix. . .
23:55:05 <pikhq> Hmm. Impossible to parse?
23:55:15 <oklopol> stack-based parsing as in postficx
23:55:28 <oklopol> i'll upload the "spec" soon
23:55:33 <pikhq> >> fi-in 1 + 2 3 * - 4 * 5 1 3 + * + 6
23:55:39 <pikhq> >>> fi-in 1 + 2 3 * - 4 * 5 1 3 + * + 6
23:55:45 * pikhq hopes you've bothered with that
23:56:04 <oklopol> the conversion is also based on postfix, just shift every sequence of funcokens left one step
23:56:23 -!- ehird` has quit.
23:56:24 <oklopol> also, you have to reverse them
23:57:19 <oklopol> you can immediately have 4 variations of infix depending on whether to base around prefix or postfix and whether to reverse functions when you are "evaluating lazily"-ish
23:57:56 <oklopol> evaluating lazily = leaving something on the stack when encountering a token
23:58:18 <oklopol> infix without explicit nesting, normally parsed, never does that
23:58:26 <oklopol> which is why it's not "nesting complete"
23:58:33 <oklopol> pikhq: also, the command is in-fi
23:58:46 <bsmntbombdood> i quat gearth and now it won't let me simulate flight again
23:58:55 <oklopol> i haven't done the other way around yet
23:59:17 <pikhq> oklopol: I was trying to do the *inverse*.
23:59:38 <oklopol> but since i didn't make an actual good "fix" parsing library, those are all separate functions, which i had to make