00:04:40 And throw, of course. 00:04:52 Okay. throws exception. 00:06:18 (foo|:baz;: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 s/if performes/is performed/ 00:59:24 <...> 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:06 Let's see here. 02:38:44 ::= | epsilon; ::= "(" ")" 02:40:38 *brain explodes* 02:43:52 * ihope cleans up 02:44:12 Please don't do that on the carpet... 02:57:13 Okay. Parsey parsey. 02:57:40 Parsley? 02:57:42 :P 02:57:49 Yum, parsley... 02:58:31 So to match against (()()(()))()(()), we need to match against (()()(()))()(()), then match against the remainder 02:59:18 So, that is, ::= "(" ")" | epsilon. 03:00:25 To match against (()()(()))()(()), we need to match it against ()()(()))()(()), then discard the ), then match it against the remainder. 03:01:16 Matching against ()()(()))()(()) means matching against )()(()))()(()), which yields epsilon. 03:01:21 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:08:32 hi 06:38:38 -!- Arrogant_ has joined. 06:54:12 Hola 06:54:38 hi GregorR 06:55:05 getting o so excited for finals? 06:58:51 Umm ... the finals in two months? 06:59:03 2 months? 06:59:17 did you already start summer classes? 07:00:47 -!- Arrogant has quit (Connection timed out). 07:07:10 ... 07:07:17 No, I'm in Spring term. 07:07:23 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:27:18 Hmm... 15:28:14 = "(" ")"; = | epsilon 15:40:56 * ihope invents a language that consists entirely of perentheses 15:41:04 s/peren/paren/ 15:55:00 Okay. We need a return instruction, (), a throw instruction, (()()), a try/catch/finally instruction, ((()){} 15:55:01 ) 15:56:19 Wait a minute... 15:56:34 s/()()/(()())/, s/(())/((()))/ 15:57:44 Oh my. 16:01:15 Well, given two random tibs, there's a one in sqrt 2 chance of them being the same. 16:01:41 Hmm/// 16:58:59 One in sqrt 2? 16:59:06 surely 1 in 2 17:00:00 That's the chance of two bits being the same. 17:00:07 Bit /= tib. 17:01:03 what is a tib? 17:01:28 Half a bit. 17:05:21 Now, I don't think stibs can work, as throwing away a stib *adds* information to the system. 17:06:03 So a deterministic machine that deals with stibs cannot be allowed to ignore stibs. 17:06:11 :-S! 17:07:32 Yet it can conjure stibs out of thin air. 17:07:42 * ihope is confused. 17:08:27 Let's just ignore stibs for a while. (We can do that, since we don't have any.)\ 17:09:07 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 So we can store a tib as two bits, oddly enough :-) 17:23:51 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 http://esoteric.voxelperfect.net/wiki/TIB_and_STIB 17:27:36 Let's call the bit constructor <+>. 17:28:01 Now, obviously, LeftZero <+> RightZero = Zero and LeftOne <+> RightOne = One. 17:29:23 Now, suppose RightZero <+> LeftZero = One. This means that RightZero = LeftOne and LeftZero = RightOne... 17:30:06 LeftZero <+> LeftOne = Zero, therefore... 17:30:54 Well, let's just call them Left and Right. Left <+> Right = Zero and Right <+> Left = One. 17:32:15 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 So RightZero = LeftZero. 17:32:56 We'll just call it Zero. 17:33:06 So Zero <+> Zero = Zero. 17:34:21 Now, we can make a similar argument stating that LeftOne = RightOne. 17:34:27 We'll call those One. 17:34:48 Now, Zero <+> Zero = Zero and One <+> One = One. 17:35:11 If Zero <+> One is Zero, then Zero <+> One = Zero <+> Zero, so One = Zero. 17:35:50 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 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 ihope: WTF did all this "tibs" buisiness come from? 18:24:55 -!- GregorR-L_ has changed nick to GregorR-L. 18:41:39 You guys missed the "fun" on ##brainfuck 19:23:15 ihope: Actually the language "TURKEY BOMB" has the type "BI_IT" which is 2/3 of a bit + 1/2 a trit 19:23:31 ah, so we did 19:23:57 (??? http://superpope.planets.gamespy.com/spep1.html ) 20:05:16 -!- GregorR-L has quit. 20:07:28 -!- GregorR-L has joined. 20:26:39 So how'd they pull that off? 20:26:44 ? 20:26:52 That's 2.74945927 possible values. 20:27:15 look up the language 20:33:16 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:40:52 hi 20:42:31 ihope: heh 20:46:41 -!- GregorR-L has quit ("Arr, teh batteryyyyyyyyyyy"). 20:46:45 Okay. Parser, parser, parser, parser, parser, parser, parser, parser, parser, parser, parser, parser, mushroom, mushroom... 20:47:19 parser for what? 20:47:34 Um... 20:47:46 Parser for... Stuff. 20:48:03 It can parse anything!!1!!!1!111!!! 20:48:50 Parsers can cheat, too. 20:49:18 There's a parser that'll replace everything that hasn't been parsed yet with a given string. 20:49:44 hm 20:50:02 There's also an only sort of cheating parser, which does a look-ahead. 20:50:09 It's called peek. 20:50:26 -!- tgwizard has joined. 20:50:34 hi 20:51:26 * SimonRC goes 20:51:36 Then there's the epsilon parser, which takes a value and returns that value, without actually doing anything. 20:54:10 And the noParse parser, which ignores what you tell it to parse and tells you it couldn't parse it. 20:58:42 And combineParse, which takes two parsers and parses your string both ways. 20:59:46 -!- Arrogant has joined. 21:00:03 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:04 can anyone post to the wiki? 21:03:21 it is giving me a precondition false thing 21:06:18 anyone? 21:07:30 I can post just fine. 21:08:43 hmm, fails on preview for me too 21:09:00 try editing Esolang:Wiki preservation and do a preview 21:09:48 I got the error there. 21:09:52 ok 21:17:28 bbl 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).