00:04:40 <ihope> And throw, of course.
00:04:52 <ihope> Okay. <exception> throws exception.
00:06:18 <ihope> (foo|<bar>:baz;<gug>:erf|wuz) performs foo. If the exception bar is thrown, then it does baz. If gug is thrown, it does erf. No matter what, wuz if performes.
00:06:28 <ihope> s/if performes/is performed/
00:59:24 <GregorR> <...> conflicts with my method of inputting numbers ;)
01:33:28 -!- ihope_ has joined.
01:36:39 -!- kipple has quit (Read error: 110 (Connection timed out)).
01:38:32 -!- ihope has quit (Read error: 110 (Connection timed out)).
01:38:46 -!- ihope_ has changed nick to ihope.
01:53:12 -!- Arrogant has joined.
02:02:32 -!- GregorR-L has joined.
02:11:13 -!- Arrogant has quit ("Leaving").
02:38:44 <ihope> <matches> ::= <match> <matches> | epsilon; <match> ::= "(" <matches> ")"
02:44:12 <ihope> Please don't do that on the carpet...
02:57:13 <ihope> Okay. Parsey parsey.
02:58:31 <ihope> So to match <matches> against (()()(()))()(()), we need to match <match> against (()()(()))()(()), then match <matches> against the remainder
02:59:18 <ihope> So, that is, <matches> ::= "(" <matches> ")" <matches> | epsilon.
03:00:25 <ihope> To match <matches> against (()()(()))()(()), we need to match it against ()()(()))()(()), then discard the ), then match it against the remainder.
03:01:16 <ihope> Matching against ()()(()))()(()) means matching against )()(()))()(()), which yields epsilon.
03:01:21 <ihope> I'm confusing myself.
03:06:36 -!- Arrogant has joined.
03:21:22 -!- ihope has quit (Read error: 110 (Connection timed out)).
03:34:59 -!- GregorR-L has quit (Read error: 113 (No route to host)).
05:01:00 -!- Arrogant_ has joined.
05:20:02 -!- Arrogant has quit (No route to host).
05:38:22 -!- Arrogant_ has changed nick to Arrogant.
06:08:20 -!- calamari has joined.
06:38:38 -!- Arrogant_ has joined.
06:55:05 <calamari> getting o so excited for finals?
06:58:51 <GregorR> Umm ... the finals in two months?
06:59:17 <calamari> did you already start summer classes?
07:00:47 -!- Arrogant has quit (Connection timed out).
07:07:23 <GregorR> What with the whole it being spring thing.
07:07:32 * Arrogant_ has AP tests on Wednesday and Thursday.
07:31:23 -!- Arrogant_ has quit ("Leaving").
07:59:59 -!- clog has quit (ended).
08:00:00 -!- clog has joined.
08:46:32 -!- calamari has quit (Read error: 110 (Connection timed out)).
11:24:12 -!- kipple has joined.
12:24:43 -!- ihope_ has joined.
12:24:49 -!- ihope_ has changed nick to ihope.
15:28:14 <ihope> <paren> = "(" <parens> ")"; <parens> = <paren> <parens> | epsilon
15:40:56 * ihope invents a language that consists entirely of perentheses
15:55:00 <ihope> Okay. We need a return instruction, (), a throw instruction, (()()<exception>), a try/catch/finally instruction, ((())<instructions>{<exception><instructions>}<instructions>
15:56:34 <ihope> s/()()/(()())/, s/(())/((()))/
16:01:15 <ihope> Well, given two random tibs, there's a one in sqrt 2 chance of them being the same.
17:00:00 <ihope> That's the chance of two bits being the same.
17:05:21 <ihope> Now, I don't think stibs can work, as throwing away a stib *adds* information to the system.
17:06:03 <ihope> So a deterministic machine that deals with stibs cannot be allowed to ignore stibs.
17:07:32 <ihope> Yet it can conjure stibs out of thin air.
17:08:27 <ihope> Let's just ignore stibs for a while. (We can do that, since we don't have any.)\
17:09:07 <ihope> It should be possible to deconsolidate a bit into its conponent tibs, and to consolidate two tibs into a bit.
17:22:41 -!- ihope_ has joined.
17:23:45 <ihope_> So we can store a tib as two bits, oddly enough :-)
17:23:51 <ihope_> We'll say a tib can have the values LeftZero, LeftOne, RightZero, and RightOne.
17:24:06 -!- ihope has quit (Nick collision from services.).
17:24:11 -!- ihope_ has changed nick to ihope.
17:24:44 * SimonRC thinks ihope is makng this all up.
17:25:11 <ihope> http://esoteric.voxelperfect.net/wiki/TIB_and_STIB
17:27:36 <ihope> Let's call the bit constructor <+>.
17:28:01 <ihope> Now, obviously, LeftZero <+> RightZero = Zero and LeftOne <+> RightOne = One.
17:29:23 <ihope> Now, suppose RightZero <+> LeftZero = One. This means that RightZero = LeftOne and LeftZero = RightOne...
17:30:06 <ihope> LeftZero <+> LeftOne = Zero, therefore...
17:30:54 <ihope> Well, let's just call them Left and Right. Left <+> Right = Zero and Right <+> Left = One.
17:32:15 <ihope> If Left <+> Left = One, then Left <+> Left = Right <+> Left, so Left = Right. This is a contradiction, so RightZero <+> LeftZero must be Zero.
17:32:32 <ihope> So RightZero = LeftZero.
17:32:56 <ihope> We'll just call it Zero.
17:33:06 <ihope> So Zero <+> Zero = Zero.
17:34:21 <ihope> Now, we can make a similar argument stating that LeftOne = RightOne.
17:34:27 <ihope> We'll call those One.
17:34:48 <ihope> Now, Zero <+> Zero = Zero and One <+> One = One.
17:35:11 <ihope> If Zero <+> One is Zero, then Zero <+> One = Zero <+> Zero, so One = Zero.
17:35:50 <ihope> A similar argument can be made against Zero <+> One being One. But Zero <+> One must be something, so we have a contradiction.
17:36:13 <ihope> The problem is that we aren't supposing anything. Therefore, our whole set of mathematics must be wrong.
18:03:37 -!- GregorR-L has joined.
18:04:34 -!- sekhmet has quit ("leaving").
18:11:35 -!- sekhmet has joined.
18:14:36 -!- GregorR-L has quit (Remote closed the connection).
18:14:38 -!- GregorR-L_ has joined.
18:24:08 <SimonRC> ihope: WTF did all this "tibs" buisiness come from?
18:24:55 -!- GregorR-L_ has changed nick to GregorR-L.
18:41:39 <GregorR-L> You guys missed the "fun" on ##brainfuck
19:23:15 <SimonRC> ihope: Actually the language "TURKEY BOMB" has the type "BI_IT" which is 2/3 of a bit + 1/2 a trit
19:23:57 <SimonRC> (??? http://superpope.planets.gamespy.com/spep1.html )
20:05:16 -!- GregorR-L has quit.
20:07:28 -!- GregorR-L has joined.
20:26:39 <ihope> So how'd they pull that off?
20:26:52 <ihope> That's 2.74945927 possible values.
20:33:16 <ihope> I take it there's no interpreter for that one...
20:34:06 -!- calamari has joined.
20:39:04 -!- GregorR-L_ has joined.
20:39:49 -!- GregorR-L has quit (Remote closed the connection).
20:40:04 -!- GregorR-L_ has changed nick to GregorR-L.
20:46:41 -!- GregorR-L has quit ("Arr, teh batteryyyyyyyyyyy").
20:46:45 <ihope> Okay. Parser, parser, parser, parser, parser, parser, parser, parser, parser, parser, parser, parser, mushroom, mushroom...
20:47:46 <ihope> Parser for... Stuff.
20:48:03 <ihope> It can parse anything!!1!!!1!111!!!
20:48:50 <ihope> Parsers can cheat, too.
20:49:18 <ihope> There's a parser that'll replace everything that hasn't been parsed yet with a given string.
20:50:02 <ihope> There's also an only sort of cheating parser, which does a look-ahead.
20:50:26 -!- tgwizard has joined.
20:51:36 <ihope> Then there's the epsilon parser, which takes a value and returns that value, without actually doing anything.
20:54:10 <ihope> And the noParse parser, which ignores what you tell it to parse and tells you it couldn't parse it.
20:58:42 <ihope> And combineParse, which takes two parsers and parses your string both ways.
20:59:46 -!- Arrogant has joined.
21:00:03 <ihope> And, of course, the literal parser, which takes some string and tries to chomp it off the beginning of the string you're trying to parse.
21:03:21 <calamari> it is giving me a precondition false thing
21:07:30 <ihope> I can post just fine.
21:08:43 <calamari> hmm, fails on preview for me too
21:09:00 <calamari> try editing Esolang:Wiki preservation and do a preview
21:09:48 <ihope> I got the error there.
21:17:30 -!- calamari has quit ("Leaving").
21:33:54 -!- Arrogant has quit ("Leaving").
21:38:05 -!- tgwizard has quit ("Leaving").
22:04:29 -!- GregorR-L has joined.
22:45:43 -!- ihope_ has joined.
23:01:59 -!- ihope has quit (Connection timed out).
23:39:46 -!- ihope__ has joined.
23:39:56 -!- ihope__ has changed nick to ihope.
23:48:02 -!- ihope_ has quit (Connection timed out).