00:00:28 -!- azaq231 has quit (Ping timeout: 240 seconds). 00:05:22 -!- elliott has joined. 00:05:36 elliott: Have you watched the Princess Bride yet? 00:08:36 -!- azaq23 has joined. 00:10:20 i should reaaaally switch isos 00:10:20 isps 00:10:41 elliott: Have you watched the Princess Bride yet? 00:11:59 If I say I've watched the Princess Bride, that will mean elliott will not watch it. And thus I deprive elliott of entertainment. 00:12:15 [Note: elliott does not seem to avoid enjoying the fiction I enjoy] 00:13:04 elliott: If not, why aren't you watching it right now? 00:13:12 And you *better* have a good reason. 00:14:03 -!- TLUL has joined. 00:14:30 I'm not even kidding. 00:14:59 Vorpal still hasn't asked 00:15:06 Because Randall Munroe likes it! 00:15:10 -!- TLUL has changed nick to Jjjj_J_J_J. 00:15:24 night → 00:15:48 elliott, at any rate, go watch Princess Bride. 00:15:53 Sgeo: I don't think there's anyone who's seen it who *doesn't* like it. 00:17:32 Vorpal: psht 00:17:46 elliott: do what sgeo says 00:22:28 qwertyui 00:24:07 pqwt 00:25:07 -!- cheater- has quit (Ping timeout: 240 seconds). 00:25:11 you're not watching the princess bride 00:26:16 http://i.imgur.com/KEfZv.pnghttp://i.imgur.com/KEfZv.pnghttp://i.imgur.com/KEfZv.pnghttp://i.imgur.com/KEfZv.pnghttp://i.imgur.com/KEfZv.png 00:38:10 hmm ais is gone 00:38:24 You're not watching the Princess Bride. 00:38:53 -!- cheater- has joined. 00:43:41 -!- Mannerisky has left (?). 00:43:46 I know being good at arithmatic isn't really something that's... entirely necessary for understanding math, but surely simple shortcuts are kind of necessary 00:44:47 -!- impomatic has quit (Quit: ChatZilla 0.9.86 [Firefox 3.5.16/20101130074636]). 00:47:44 pikhq: go away 00:47:53 elliott: No, but seriously. 00:48:59 DAMN IT FLUIDSYNTH X_X 00:49:13 Gregor: What say ye? 00:49:22 elliott, if you don't watch it now, I'll spoil it for you 00:49:29 fluidsynth is the worst piece of excellent software I've ever used X_X 00:50:18 Gregor: No, regarding the movie nobody dislikes. 00:50:35 I'm not reading the conversation :P 00:50:53 Gregor: elliott hasn't watched The Princess Bride. We are attempting to get him to. 00:50:53 Our next aim is to make amends to our god for all our bad behaviour 00:50:54 over the previous turns. Angry gods are generally quite hard to 00:50:54 please, demanding the sacrifice of a single very poweful monster to 00:50:54 make amends (rather than several sacrifices of anything like they 00:50:54 usually do, which is typically easier to come across). Luckily, we 00:50:56 happen to have a shopkeeper corpse handy; unluckily, they're very 00:50:59 ais523: "poweful" 00:51:16 Gregor: I haven't watched The Princess Bride yet, because I have a ten-year-long backlog of fiction to consume, and now nobody will shut up. 00:51:18 elliott: Nobody gives an eff. It's a cult classic, which is to say a bad movie. 00:51:26 Gregor: ... 00:51:32 Gregor: Something is wrong with you. 00:51:37 Gregor: I have a feeling you're wrong, but thank god there's somebody in the world who won't bug me about it. 00:51:38 WHERE'S MY DAMNED TROLLFACE UNICODE CODEPOINT ALREADY 00:51:43 :p 00:52:01 elliott: Top of the queue. It's the most important. 00:52:02 Why is everyone bugging elliott _now_? 00:52:11 pikhq, no, it's not? 00:52:21 Sgeo: What movies should he see first? 00:52:34 pikhq: My backlog is very, VERY long. 00:52:35 pikhq, I don't know what's on his list 00:53:00 -!- m00barax has joined. 00:53:41 elliott: Well, you've probably seen most of the other movies on the "Movies you've seen if you haven't been living under a rock" list, so. :P 00:53:56 * Sgeo still hasn't seen Inception 00:54:03 pikhq: I really *haven't*. 00:54:11 My backlog is _extremely_ long. 00:54:11 hi, exothermix 00:54:16 m00barax: :wat: 00:54:18 elliott: Do tell. 00:54:31 pikhq: I don't consume fiction, I put fiction on my "to consume" list. 00:54:40 pikhq: For instance: The entire Culture series is high up on that list. 00:54:49 elliott: Have you seen Star Wars? 00:55:02 Well, yes. (I dislike the Star Wars films.) 00:55:02 elliott: You put fiction on your list but don't inhale? 00:55:14 fizzie: It depends on the meaning of "on". 00:55:29 elliott: Lemme guess. Prequels ruined it for you? 00:55:54 pikhq: No... I actually don't like Star Wars Episode IV: A New Hope. Independently from any other film. 00:56:13 Weird. 00:56:16 It's entertaining in parts, but I don't really think it's a good film. And the other films in the series don't appeal to me at all. 00:56:54 pikhq: BUT THE HOLIDAY SPECIAL, I LOVE THAT 00:56:58 (JOKE) 00:57:06 Anyways, *that's* an example of a movie I'd accuse you of having lived under a rock for not having seen. 00:57:41 Even if you didn't *like* it, well, WTF how could have not seen it. 00:58:44 * Sgeo has not seen it 00:58:52 pikhq: Star Wars was a lucky guess though, guess again and you'll probably hit something I haven't seen. 00:58:56 yep 00:59:01 Hi m00barax 00:59:20 Sgeo: ... Lolwut? 00:59:33 elliott: Uh. Heck, let's just go with "Pixar" here. 00:59:45 pikhq: Why are you guessing properly :P 00:59:46 I've.. seen a flash animation that has vaguely the plot 01:00:01 I haven't seen Cars or Ratatouille or WALL-E, though. 01:00:02 So ha! 01:00:08 elliott: Because I'm actually guessing ones that seriously everyone has seen and should see. 01:00:12 I HAVE NOT SEEN THE ENTIRE PIXAR BACK CATALOGUE 01:00:19 elliott: START WATCHING. 01:00:24 hi 01:00:26 elliott: GET THROUGH YOUR BACK CATALOGUE. 01:00:31 elliott: I EXPECT TO SEE YOU NEXT YEAR. 01:00:36 WALL-E is on the backlog, the others aren't. 01:00:45 I've seen every Pixar film other than those three :P 01:00:49 i love ufo and prime numbers 01:00:49 Okay, Cars is probably skippable. 01:00:58 Dagobah. That's a Star Trek thing, apparently. Where else have I seen it? 01:01:09 Sgeo: Star Wars. 01:01:13 Erm, yeah 01:01:15 Hmm, stone or wood-bordered glass... 01:01:16 Wow I'm tired 01:01:24 m00barax: this is a channel about programming 01:01:28 >.> I KNOW THE DIFFERENCE BETWEEN THE TWO DAMMIT 01:01:55 Prime numbers are more than welcome here, though 01:02:14 elliott: Hmm. Having trouble thinking of more movies that both *must* be seen by everyone and *have been* seen by most everyone. 01:03:15 pgm esoterik ? 01:03:19 Cause you start getting into movies that everyone should see but are too old to have been seen by just about everyone alive. :P 01:03:25 m00barax: programming. 01:03:34 Perhaps everyone above $age, but hey. 01:03:35 wich kind of langage ? 01:03:36 m00barax, have you heard of Brainfuck? 01:03:41 m00barax: esoteric programming languages 01:03:46 yes bf.... lulz 01:03:48 m00barax, computer languages with limited practical use. 01:03:51 pikhq: I haven't seen Casablanca. Or Citizen Kane. Or ... yeah :P 01:03:55 m00barax: Well, yes. 01:03:55 yes 01:04:00 pikhq: OR ANYTHING 01:04:02 very limited :) 01:04:07 m00barax, yes. Well, BF is a famous example of an esoteric programming language. 01:04:11 elliott: See, movies that are too old to have been seen by just about everyone alive. 01:04:16 ok 01:04:34 but to me basic is esoterrik too 01:04:41 elliott: But, anyways, I expect to see you next year with a bunch of movies watched. 01:04:48 And books read. 01:04:55 And, heck, games played, too. 01:04:57 pikhq: YOU HAVE NO IDEA HOW LONG I HAVE BEEN KEEPING THIS BACKLOG 01:05:01 Hope you don't have anything else to do! 01:05:23 People actually once used BASIC for stuff. Maybe it deserves to be counted as esoteric, but it isn't, I think. 01:05:31 {0,1}-langage very standard so? 01:05:43 {0,1}-language? 01:05:45 pikhq: Yeah, there are a shitload of games on the list... 01:05:49 pikhq: Like any game by Valve ever. 01:06:07 elliott, you're running in Valve time? That explains it. 01:06:12 elliott: Oh fuck, there's probably RPGs on there too. 01:06:17 binary ? or ternary ? 01:06:25 pikhq: I'm not much of an RPG person... but Chrono Trigger is on the list :P 01:06:34 m00barax, you may be referring to machine code? 01:06:41 elliott: I didn't say "many". Just some. 01:06:44 yep 01:06:52 Feel free to suggest additions to the list :P 01:07:02 elliott: Shin Megami Tensei: Persona 3 FES. 01:07:03 its basic.... 0 1 01:07:04 elliott: Shin Megami Tensei: Persona 4. 01:07:12 GEE, I COULD NEVER HAVE GUESSED 01:07:15 No one sane programs directly in machine code. Instead, they program in a language that translates very easily to machine code. 01:07:19 I meant non-RPG suggestions, but kay :P 01:07:36 Heck, let's just go for "The entire series". Hope you know Japanese and have a decade free. :P 01:07:37 -!- Jjjj_J_J_J has changed nick to toenail|toe. 01:07:44 Maybe a long time ago people programmed directly in machine code, I don't know. But assembly to machine code is very simple 01:07:51 Neither! 01:07:54 (there's like 50 fucking games. God.) 01:08:08 yep.... but 0-1 its the BF of all BF langages 01:08:16 ANYONE ELSE WANT TO EXTEND MY LIST 01:08:41 The Dresden Files. It'll probably be up to 20 books by the time you get around to it. 01:08:46 m00barax, machine code is actually used. Not by humans, but it's what's _actually running_ on your machine 01:08:51 RPG of ibm ? 01:09:00 BF, by contrast, is only used by people messing around with BF 01:09:06 Though it'll probably not take you too long to finish — you're not likely to eat or sleep until you finish after starting. 01:09:28 lol... i new that :) 01:10:07 w 01:10:16 RPG is'nt a langage, but a stone-level of minding 01:10:21 does anyone in here want a hand-written letter? 01:10:49 hand? ... i haven't 01:10:56 Although.. the people here aren't entirely sane [no offense, people who might take offense, I didn't mean it literally]. People here sometimes work somewhat directly with machine code if they have to becase they're working on a project that, strictly speaking, does't need to exist 01:11:12 Sgeo: :) 01:12:20 m00barax, sometimes, we go off topic. Much more rarely, we go on topic. 01:12:25 hurps- youlahoup? 01:12:36 -!- Tritonio has joined. 01:12:50 I'm beginning to think m00barax is a bot. 01:13:14 lol, a kind of :/ 01:13:38 binary bot? 01:14:11 i'm an esotermik programmers 01:14:42 i do usr g++ and concurrent-Clean 01:14:58 on nux 01:15:26 I've looked at Clean 01:15:39 I don't know how to avoid being bored when looking at it though 01:15:48 I just want to learn the differences between Clean and Haskell 01:15:59 are you actually talking in english? 01:16:07 are we talking Clean the language that's almost exactly like Haskell? 01:16:22 clean and haskell.... uniquness of typing maybe :) 01:17:05 arrows... category approch of minding 01:17:09 etc 01:17:11 why is a function "(a -> b) -> c" written "(a -> b) c" in clean 01:17:12 that's just stupid :) 01:18:12 its not typing the same... 01:18:44 m00barax: the word you want it thinking, not minding 01:19:09 yep.... i do tink in french... that wath for :) 01:20:47 (a -> b) -> c not same as (a -> b) c ... in cclean 01:21:09 why not? 01:21:50 because 'c' is not linked the same way... 01:22:15 m00barax: i seee :) 01:22:21 why is (cons x xs) [x:xs] 01:22:28 that should be a singleton list of (cons x xs) or something 01:23:10 that sugar-coding :) 01:23:36 but [5] is [5:[]] ? 01:23:41 (cons x xs) is lambda thinking... not modern langage ... 01:24:07 yes [5] is [5:[]] 01:25:05 [5:[]:[]] is [[5]]? 01:25:06 why clean is in this channel of "esoteric langage" ? 01:25:21 or precedence probably makes that [(5:[]):[]] 01:25:58 its one of the better langage with.... haskell ghci ? 01:27:17 (5:[]) is an item of the list [...:[]] .... i think 01:27:41 (cons x xs) is lambda thinking... not modern langage ... 01:27:42 what? 01:27:49 I was just using it as unambiguous notation 01:27:54 so that you could see what i'm talking about 01:28:50 yes... (cons a b) is directly term of lisp/scheme or any untyped lambda-langage as is 01:29:10 suited towards laptops and simialr systems). A little-known feature 01:29:14 ais523: simialr 01:29:19 m00barax: sure, but you could easily define that in e.g. haskell 01:29:20 cons = (:) 01:29:23 then (cons 1 []) = [1] 01:29:47 yes in haskell... not so easy in lisp 01:30:12 it could easily be a typed language 01:30:20 and what about precedence of operators ? 01:30:31 there aren't operators 01:30:33 just application 01:30:54 yes... lisp easy typed langage than ... basic... lol 01:31:08 I'm saying the syntax could be applied to any language 01:31:18 (:) not an operator ?? 01:31:20 hum 01:31:33 a function anyway :) 01:31:45 operator vs. function is purely syntactic 01:32:03 yes 01:32:40 -!- pumpkin has quit (Quit: Computer has gone to sleep.). 01:32:57 but fondments of operators are easyer to define in function and curry... 01:34:55 -!- toenail|toe has changed nick to Jjjj_J_J_J. 01:35:03 -!- Tritonio_Droid has joined. 01:38:17 -!- Tritonio_Droid has quit (Client Quit). 01:40:02 -!- Tritonio_Droid has joined. 01:45:01 -!- m00barax has quit (Quit: Leaving). 01:47:34 -!- oerjan has joined. 01:49:50 -!- Tritonio has quit (Quit: Leaving). 01:50:07 oerjan! hi! 01:50:15 g'day! 01:51:02 again... "Asking a linguist how many languages they know is like asking a doctor how many diseases they have." 01:51:15 i know i know 01:51:16 yes, but once again, it reminds me of Lockhart's Lament 01:51:18 i quoted it as a joke 01:51:29 oerjan: meh :P 01:51:48 hm but then again the _opposite_ could also remind me of lockhart's lament 01:52:10 people rote memorizing vocabulary with no overarching understanding 01:53:46 -!- Jjjj_J_J_J has changed nick to TLUL. 01:53:54 AKA "the usual means of learning languages" 01:53:55 :( 01:56:31 synchronise target offiufiofoijfoijfoifoifofojfofojfoifiojfoijfoijfoifoif 01:56:32 LOL POOP 01:56:33 -> 01:56:34 -!- elliott has left (?). 01:56:54 parting the channel just to poop seems a _tad_ excessive 01:57:52 I saw something on Fark saying that Wikipedia had a redirect... 01:58:18 wikipedia has a policy to use the spelling (am/br) of the region relevant to the topic 01:58:27 when there is one 01:58:49 so it would obviously be World Trade Center 01:58:55 -!- copumpkin has joined. 02:00:43 -!- Tritonio_Droid has quit (Quit: Bye). 02:06:15 he didn't know of "share and share alike" 02:06:19 I DENY EVERYTHING 02:06:28 despite not remembering the actual conversation 02:09:24 Man, sox' "earwax" filter is creepsiloo. 02:09:47 ...that sentence is almost poetry 02:10:22 of the lewis carroll type 02:10:36 Supposedly it makes it easier to listen to the audio on headphones by adding "cues" that make your brain hear it outside your head instead of inside your head. 02:10:41 Which it most certainly does. 02:10:45 But for some reason that's just creepy. 02:11:51 i'm an esotermik programmers 02:12:08 beware of esothermic programmers exploding 02:12:39 wait that's exothermic 02:13:00 * oerjan watches his pun stretch to the breaking point, then snap 02:14:55 actually exothermic puns _should_ crash and burn, shouldn't they 02:15:06 no no recovering it now 02:15:08 you already broke it 02:15:28 :( 02:30:51 Oh, I remember where I've seen "Dagobah" from! It's a website! 02:31:02 -!- augur has joined. 02:32:01 *sigh* 02:32:09 Why do I always do things the complicated way? 02:32:47 Professor was suggesting that putting code for randomness in the Card class was a bad idea, so I "compromise" and initialize a Random lazily 02:43:13 -!- poiuy_qwert has joined. 03:10:20 Horribly Inappropriate Movies LLC presents: Ein Führer und sein Hund, Hitler's story as told from the imagined perspective of his toy poodle Schnitzel. 03:12:16 i'm pretty sure hitler had a real dog 03:13:07 which mind-blowingly enough, probably loved him 03:13:38 I think that's Gregor's point 03:13:46 http://en.wikipedia.org/wiki/Blondi 03:14:06 well it was not a toy, nor a poodle, nor named Schnitzel 03:14:25 I did not know that, and it somewhat diminishes from the joke :P 03:14:48 Also, I don't think any German speaker under any circumstances would name their dog "Schnitzel" :P 03:15:31 "Hitler's nurse, Erna Flegel, said in 2005 that Blondi's death had affected the people in the bunker more than Eva Braun's suicide had" 03:15:53 Gregor: YOU DON'T SAY 03:16:12 Sgeo: That ... makes no sense ... wtf. Eva Braun's suicide coincided with Hitler's ... 03:16:34 http://www.guardian.co.uk/world/2005/may/02/artsandhumanities.secondworldwar is the linked reference 03:27:48 Phantom_Hoover> [22:17:37] I just saw the word "zygomorphism". 03:27:48 [22:17:42] Is kfr being an idiot? 03:27:53 What? I never used that word 03:31:49 i'm not sure those lines were connected... 03:33:53 5 seconds, they better be! 03:46:45 Tomorrow is clear ... with a high of 13°F (-11°C) ... 03:48:14 Gregor: You lucky bastard. 03:48:40 Oh, wait, it'll be getting up to 30°F tomorrow. 03:48:44 IT'S POSITIVE! 03:49:04 (note: right now, not only no but fuck no) 03:49:22 -!- Sgeo has changed nick to No. 03:49:28 Registered 03:49:36 -!- No has changed nick to Sgeo. 03:51:24 -!- azaq23 has quit (Ping timeout: 240 seconds). 04:08:30 -!- azaq23 has joined. 04:29:54 -!- leonid has left (?). 04:43:24 -!- augur has quit (Remote host closed the connection). 04:44:57 knock on wood... 04:45:00 ^ul ((::**)~^)((((:((0)(!(1)(!(2)(!(3)(_))))(^))~*^^!S)(:a(~^)*~(()(~(~(:a~*):^))(a))~*^^)):^(()~)~**~^(:)~((a(~^)*~**)~a)~a(**~:((:)~(*)**)~a*~(^))**a(~*^^^!^)***(~)~a(~a*^:)**a(:)**~^!a(~^)*~**)~a((, )S:^)**^):^ 04:45:00 3, 2 ...bad insn! 04:45:18 *sigh* 04:46:04 ^ul ((::**)~^)((((:((0)(!(1)(!(2)(!(3)(_))))(^))~*^^!S)(:a(~^)*~(()(~(~(:a~*):^))(a))~*^^)):^(()~)~**~^(:)~((a(~^)*~**)~a)~a(**~:((:)~(*)**)~a*~(^))**a(~*^^^!^)***(~)~a(~a*^:)**a(:)**~^!a(~^)*~**)~a((~aS:^):^(, )S:^)**^):^ 04:46:04 3((((:((0)(!(1)(!(2)(!(3)(_))))(^))~*^^!S)(:a(~^)*~(()(~(~(:a~*):^))(a))~*^^)):^(()~)~**~^(:)~((a(~^)*~**)~a)~a(**~:((:)~(*)**)~a*~(^))**a(~*^^^!^)***(~)~a(~a*^:)**a(:)**~^!a(~^)*~**)~a((~aS:^):^(, )S:^)**^)((~(:((0)(!(1)(!(2)(!(3)(_))))(^))~*^^!S:((a(~^)*~**)~a(:a(~^)*~(()(~(~(:a~*):^))(a))~*^^)**~:((:)~(*)**)~a*~(^))~*^^ ...too much output! 04:46:34 ^ul ((::**)~^)((((:((0)(!(1)(!(2)(!(3)(_))))(^))~*^^!S)(:a(~^)*~(()(~(~(:a~*):^))(a))~*^^)):^(()~)~**~^(:)~((a(~^)*~**)~a)~a(**~:((:)~(*)**)~a*~(^))**a(~*^^^!^)***(~)~a(~a*^:)**a(:)**~^!a(~^)*~**)~a(!(~aS:^):^(, )S:^)**^):^ 04:46:34 3((~(:((0)(!(1)(!(2)(!(3)(_))))(^))~*^^!S:((a(~^)*~**)~a(:a(~^)*~(()(~(~(:a~*):^))(a))~*^^)**~:((:)~(*)**)~a*~(^))~*^^^!^)~a*^:)~^(((~(~(:a~*):^)))))((::**)~^)() ...out of stack! 04:48:45 ^ul ((::**)~^)((((:((0)(!(1)(!(2)(!(3)(_))))(^))~*^^!S)(:a(~^)*~(()(~(~(:a~*):^))(a))~*^^)):^(()~)~**~^(:)~((a(~^)*~**)~a)~a(**~:((:)~(*)**)~a*~(^))**a(~*^^^!^)***(~)~a(~a*^:)**a(:)**~^!!!a(~^)*~**)~a((, )S:^)**^):^ 04:48:45 3, 13, 1(::**)~^ ...bad insn! 04:49:06 darn 04:49:15 ^ul (()~^(::**)~^)((((:((0)(!(1)(!(2)(!(3)(_))))(^))~*^^!S)(:a(~^)*~(()(~(~(:a~*):^))(a))~*^^)):^(()~)~**~^(:)~((a(~^)*~**)~a)~a(**~:((:)~(*)**)~a*~(^))**a(~*^^^!^)***(~)~a(~a*^:)**a(:)**~^!!!a(~^)*~**)~a((, )S:^)**^):^ 04:49:15 13, 1(::**)~^ ...bad insn! 04:49:39 ^ul (()~^()~^)((((:((0)(!(1)(!(2)(!(3)(_))))(^))~*^^!S)(:a(~^)*~(()(~(~(:a~*):^))(a))~*^^)):^(()~)~**~^(:)~((a(~^)*~**)~a)~a(**~:((:)~(*)**)~a*~(^))**a(~*^^^!^)***(~)~a(~a*^:)**a(:)**~^!!!a(~^)*~**)~a((, )S:^)**^):^ 04:49:40 11, 1:^* ...bad insn! 04:49:50 When do I stop making fun of coppro? 04:50:49 ^ul (()~^()~^)((((:((0)(!(1)(!(2)(!(3)((~a( )*S:^):^))))(^))~*^^!S)(:a(~^)*~(()(~(~(:a~*):^))(a))~*^^)):^(()~)~**~^(:)~((a(~^)*~**)~a)~a(**~:((:)~(*)**)~a*~(^))**a(~*^^^!^)***(~)~a(~a*^:)**a(:)**~^!!!a(~^)*~**)~a((, )S:^)**^):^ 04:50:49 11, 1:^* ...bad insn! 04:50:58 oerjan: what are you writing? 04:51:12 look and say sequence 04:51:50 where the heck can the bad insn come from 04:53:35 ^ul (()~^)((((:((0)(!(1)(!(2)(!(3)(_))))(^))~*^^!S)(:a(~^)*~(()(~(~(:a~*):^))(a))~*^^)):^(()~)~**~^(:)~((a(~^)*~**)~a)~a(**~:((:)~(*)**)~a*~(^))**a(~*^^^!^)***(~)~a(~a*^:)**a(:)**~^!!!a(~^)*~**)~a((, )S:^)**^):^ 04:53:36 1, 11, 1:^* ...bad insn! 04:53:45 ^ul ((:*)~^)((((:((0)(!(1)(!(2)(!(3)(_))))(^))~*^^!S)(:a(~^)*~(()(~(~(:a~*):^))(a))~*^^)):^(()~)~**~^(:)~((a(~^)*~**)~a)~a(**~:((:)~(*)**)~a*~(^))**a(~*^^^!^)***(~)~a(~a*^:)**a(:)**~^!!!a(~^)*~**)~a((, )S:^)**^):^ 04:53:45 2, 12, 1(:*)~^ ...bad insn! 04:53:58 what is an insn? 04:54:03 ^ul ((:*)~^(:*)~)((((:((0)(!(1)(!(2)(!(3)(_))))(^))~*^^!S)(:a(~^)*~(()(~(~(:a~*):^))(a))~*^^)):^(()~)~**~^(:)~((a(~^)*~**)~a)~a(**~:((:)~(*)**)~a*~(^))**a(~*^^^!^)***(~)~a(~a*^:)**a(:)**~^!!!a(~^)*~**)~a((, )S:^)**^):^ 04:54:03 2, 2^ ...bad insn! 04:54:07 instruction 04:54:25 it means it has somehow managed to execute a non-command character 04:54:57 hm that ^ should not have been printed 04:55:51 ^ul ((:*)~^(:*)~)((((:((a)S(0)(!(1)(!(2)(!(3)(_))))(^))~*^^!S)(:a(~^)*~(()(~(~(:a~*):^))(a))~*^^)):^(()~)~**~^(:)~((a(~^)*~**)~a)~a(**~:((:)~(*)**)~a*~(^))**a(~*^^^!^)***(~)~a(~a*^:)**a(:)**~^!!!a(~^)*~**)~a((, )S:^)**^):^ 04:55:51 a2, a2a^ ...bad insn! 04:56:13 ^ul ((:*)~^(:*)~)((((:((a)S(0)(!(1)(!(2)(!(3)((b)S_))))(^))~*^^!S)(:a(~^)*~(()(~(~(:a~*):^))(a))~*^^)):^(()~)~**~^(:)~((a(~^)*~**)~a)~a(**~:((:)~(*)**)~a*~(^))**a(~*^^^!^)***(~)~a(~a*^:)**a(:)**~^!!!a(~^)*~**)~a((, )S:^)**^):^ 04:56:13 a2, a2a^ ...bad insn! 04:56:32 http://www.reddit.com/r/canada/comments/fdy76/disappointed_with_snowmageddon_its_because_theres/ 04:59:55 ^ul ((:*)~^(:*)~)((((:(((a)S0)(!((a)S1)(!((a)S2)(!((a)S3)(_))))(^))~*^^!S)(:a(~^)*~(()(~(~(:a~*):^))(a))~*^^)):^(()~)~**~^(:)~((a(~^)*~**)~a)~a(**~:((:)~(*)**)~a*~(^))**a(~*^^^!^)***(~)~a(~a*^:)**a(:)**~^!!!a(~^)*~**)~a(((b)S, )S:^)**^):^ 04:59:55 (a)S2(b)S, (a)S2^a ...bad insn! 05:00:39 ^ul ((:*)~^(:*)~)((((:(((a)S0)(!((b)S1)(!((c)S2)(!((d)S3)(_))))(^))~*^^!S)(:a(~^)*~(()(~(~(:a~*):^))(a))~*^^)):^(()~)~**~^(:)~((a(~^)*~**)~a)~a(**~:((:)~(*)**)~a*~(^))**a(~*^^^!^)***(~)~a(~a*^:)**a(:)**~^!!!a(~^)*~**)~a((, )S:^)**^):^ 05:00:39 (c)S2, (c)S2^d ...bad insn! 05:01:09 it is somehow trying to execute that 3 05:02:15 of course this _should_ be utterly impossible :D 05:03:33 hm 05:03:59 ^ul ((:*)~^(:*)~)((((:aS:(((a)S0)(!((b)S1)(!((c)S2)(!((d)S3)(_))))(^))~*^^!S)(:a(~^)*~(()(~(~(:a~*):^))(a))~*^^)):^(()~)~**~^(:)~((a(~^)*~**)~a)~a(**~:((:)~(*)**)~a*~(^))**a(~*^^^!^)***(~)~a(~a*^:)**a(:)**~^!!!a(~^)*~**)~a((, )S:^)**^):^ 05:03:59 (:*)(c)S2, (:*)(c)S2(((~(~(:a~*):^))))^d ...bad insn! 05:05:07 -!- augur has joined. 05:06:08 ok that thing on top of the stack should be a church numeral but is an equality check instead 05:06:44 to be precise, a check for the number 2 05:08:08 -!- Zuu has quit (Read error: Connection reset by peer). 05:08:13 oh wait i have another bug 05:08:49 ^ul ((:*)~^(:*)~^)((((:aS:(((a)S0)(!((b)S1)(!((c)S2)(!((d)S3)(_))))(^))~*^^!S)(:a(~^)*~(()(~(~(:a~*):^))(a))~*^^)):^(()~)~**~^(:)~((a(~^)*~**)~a)~a(**~:((:)~(*)**)~a*~(^))**a(~*^^^!^)***(~)~a(~a*^:)**a(:)**~^!!!a(~^)*~**)~a((, )S:^)**^):^ 05:08:49 (:*)(c)S2(:*)(c)S2, (:*)(c)S2((:)~(*)**(((~(~(:a~*):^))))):^*d ...bad insn! 05:09:03 * Sgeo insns oerjan 05:09:08 (a<1>c|(b<2>c|))|(a<3>c|(a<4>b|)) 05:11:29 hm it _does_ manage to get through the first number for those i've tried. 05:12:10 -!- Zuu has joined. 05:12:14 ^ul (()~^(::**)~^)((((:((0)(!(1)(!(2)(!(3)(_))))(^))~*^^!S)(:a(~^)*~(()(~(~(:a~*):^))(a))~*^^)):^(()~)~**~^(:)~((a(~^)*~**)~a)~a(**~:((:)~(*)**)~a*~(^))**a(~*^^^!^)***(~)~a(~a*^:)**a(:)**~^!!!a(~^)*~**)~a((, )S:^)**^):^ 05:12:14 13, 1(::**)~^ ...bad insn! 05:12:32 ^ul (()~^(::**)~^)((((:((0)(!(1)(!(2)(!(3)(_))))(^))~*^^!S)(:a(~^)*~(()(~(~(:a~*):^))(a))~*^^)):^(()~)~**~^(:)~((a(~^)*~**)~a)~a(**~:((:)~(*)**)~a*~(^))**a(~*^^^!^)***(~)~a(~a*^:)**a(:)**~^!!!a(~^)*~**)~a((~a(; )S:^):^(, )S:^)**^):^ 05:12:32 13; , ...out of stack! 05:13:27 ^ul (()~^(::**)~^)((((:((0)(!(1)(!(2)(!(3)(_))))(^))~*^^!S)(:a(~^)*~(()(~(~(:a~*):^))(a))~*^^)):^(()~)~**~^(:)~((a(~^)*~**)~a)~a(**~:((:)~(*)**)~a*~(^))**a(~*^^^!^)***(~)~a(~a*^:)**a(:)**~^!!!a(~^)*~**)~a((~a(; )*S:^):^(, )S:^)**^):^ 05:13:27 13((((:((0)(!(1)(!(2)(!(3)(_))))(^))~*^^!S)(:a(~^)*~(()(~(~(:a~*):^))(a))~*^^)):^(()~)~**~^(:)~((a(~^)*~**)~a)~a(**~:((:)~(*)**)~a*~(^))**a(~*^^^!^)***(~)~a(~a*^:)**a(:)**~^!!!a(~^)*~**)~a((~a(; )*S:^):^(, )S:^)**^); (()~^(:a(~^)*~**(::**):a(~^)*~(()(~(~(:a~*):^))(a))~*^^*)~^); (); ...out of stack! 05:13:54 Better example: (0<1>0|1<1>1|) 05:14:20 Ilari: hm? 05:15:45 Regexps + operator that matches anything subexpression can match isn't equivalent to deterministic pushdown automata in power (that describes language no such automaton can match) ... 05:18:38 In fact, it seems that Regexps + operator that matches anything subexpression can match are exactly equivalent to context free grammars in expressive power... 05:19:07 * oerjan doesn't understand that <1> syntax 05:19:59 Matches anything 1st subexpression can match. 05:20:10 and what _is_ the 1st subexpression? 05:20:17 0<1>0 ? 05:20:18 0<1>0|1<1>1| 05:20:44 um that's the whole thing there 05:21:11 ok so it's just S := 0 S 0 | 1 S 1 05:21:37 * | 05:22:03 Yup. 05:23:07 ok you can encode an _impossible_ subexpression, and use that to ensure that some branches cannot be taken, which means those branches can be used as independent nonterminals. 05:23:21 i believe that means you can encode any CF grammar, yes 05:25:06 -!- Mannerisky has joined. 05:25:10 One can eliminate impossible nonterminals from CF grammar anyway. 05:25:31 Ilari: um it's not in the _CF_ grammar it is supposed to be impossible 05:26:17 say you have an expression of the form ((0<2>)|...) 05:26:38 then the second subexpression is infinitely recursive, and so cannot be satisfied 05:27:09 Thus, one only needs to reference amount of subexpressions at most equal number of nonterminals in the CFG... 05:27:50 that means that you can use a subexpression of the form (<2>(whatever...)) to make (whatever...) an unreachable subexpression which can only be referred by number 05:29:12 AFAIK, you can match any language CFG can describe without impossible subexpressions. 05:29:13 hm you don't need the outer parentheses 05:29:22 oh? 05:29:44 hm i guess 05:30:27 since if you need them, they must be reachable _somewhere_ from S, and you can then put the rules for that nonterminal in any of those spots and replace the others by references to that one 05:30:34 Because algorithmical manner of generating those would only generate impossible subexpression if there was impossible nonterminal in the CFG. And one can eliminate those. 05:30:59 Or impossible production. 05:31:05 i think i see it now 05:31:40 The elimination works because emptyness of CFG is decidable problem. 05:31:58 i know 05:35:03 Going the other way can require more nonterminals than there are subexpressions in the original (in order to deal with Kleene closures). 05:36:25 (<1>+<2>|<1>-<2>|(<2>*<3>|<2>/<3>|(<4>^<3>|($<5>$|())))) 05:36:42 or something like that 05:40:23 -!- pikhq has quit (Remote host closed the connection). 05:40:39 -!- pikhq has joined. 05:41:06 ^ul (()~^(::**)~^)((((:((0)(!(1)(!(2)(!(3)(_))))(^))~*^^!S)(:a(~^)*~(()(~(~(:a~*):^))(a))~*^^)):^(()~)~**~^(:)~((a(~^)*~**)~a)~a(**~:((:)~(*)**)~a*~(^))**a(~*^^^!^)***(~)~a(~a*^:)**a(:)**~^(~!(x)S:^):^)!!!a(~^)*~**)~a((~a(; )*S:^):^(, )S:^)**^):^ 05:41:07 ...out of stack! 05:41:50 ^ul (()~^(::**)~^)((((:((0)(!(1)(!(2)(!(3)(_))))(^))~*^^!S)(:a(~^)*~(()(~(~(:a~*):^))(a))~*^^)):^(()~)~**~^(:)~((a(~^)*~**)~a)~a(**~:((:)~(*)**)~a*~(^))**a(~*^^^!^)***(~)~a(~a*^:)**a(:)**~^(~!(x)S:^):^!!!a(~^)*~**)~a((~a(; )*S:^):^(, )S:^)**^):^ 05:41:50 13xxxxxxx ...out of stack! 05:42:43 ^ul (()~^(::**)~^(:*)~^)((((:((0)(!(1)(!(2)(!(3)(_))))(^))~*^^!S)(:a(~^)*~(()(~(~(:a~*):^))(a))~*^^)):^(()~)~**~^(:)~((a(~^)*~**)~a)~a(**~:((:)~(*)**)~a*~(^))**a(~*^^^!^)***(~)~a(~a*^:)**a(:)**~^(~!(x)S:^):^!!!a(~^)*~**)~a((~a(; )*S:^):^(, )S:^)**^):^ 05:42:44 132xxxxxxxx ...out of stack! 05:43:20 ...ok the stack is _not_ supposed to be that deep at that point, and adding a digit seems to make it deeper 05:43:36 ^ul (()~^()~^(::**)~^(:*)~^)((((:((0)(!(1)(!(2)(!(3)(_))))(^))~*^^!S)(:a(~^)*~(()(~(~(:a~*):^))(a))~*^^)):^(()~)~**~^(:)~((a(~^)*~**)~a)~a(**~:((:)~(*)**)~a*~(^))**a(~*^^^!^)***(~)~a(~a*^:)**a(:)**~^(~!(x)S:^):^!!!a(~^)*~**)~a((~a(; )*S:^):^(, )S:^)**^):^ 05:43:36 1132xxxxxxxxx ...out of stack! 05:43:58 and it doesn't matter if there are consecutive equal numbers. hm. 05:46:44 ^ul (()~^()~^(::**)~^(:*)~^)((((:((0)(!(1)(!(2)(!(3)(_))))(^))~*^^!S)(:a(~^)*~(()(~(~(:a~*):^))(a))~*^^)):^(()~)~**~^(:)~((a(~^)*~**)~a)~a(**~:((:)~(*)**)~a*~(^))**a(~*^^^!^)***(~)~a(~a*^:)**a(:)**~^!!!(~a(; )S:^):^a(~^)*~**)~a((~a(; )*S:^):^(, )S:^)**^):^ 05:46:44 1132; ((((:((0)(!(1)(!(2)(!(3)(_))))(^))~*^^!S)(:a(~^)*~(()(~(~(:a~*):^))(a))~*^^)):^(()~)~**~^(:)~((a(~^)*~**)~a)~a(**~:((:)~(*)**)~a*~(^))**a(~*^^^!^)***(~)~a(~a*^:)**a(:)**~^!!!(~a(; )S:^):^a(~^)*~**)~a((~a(; )*S:^):^(, )S:^)**^); (~a(; )S:^(:a(~^)*~**(:*):a(~^)*~(()(~(~(:a~*):^))(a))~*^^*)~^(:a(~^)*~**(:*):a(~^)*~(()(~ ...too much output! 05:52:12 -!- Mathnerd314 has quit (Remote host closed the connection). 05:53:03 ^ul ((::**)~^)((((:((0)(!(1)(!(2)(!(3)(_))))(^))~*^^!S)(:a(~^)*~(()(~(~(:a~*):^))(a))~*^^)):^(()~)~**~^(:)~((a(~^)*~**)~a)~a(**~:((:)~(*)**)~a*~(^))**a(~*^^^!^)***(~)~a(~a*^:)**a(:)**~^!!!(~a(; )S:^):^a(~^)*~**)~a((~a(; )*S:^):^(, )S:^)**^):^ 05:53:03 3; ((((:((0)(!(1)(!(2)(!(3)(_))))(^))~*^^!S)(:a(~^)*~(()(~(~(:a~*):^))(a))~*^^)):^(()~)~**~^(:)~((a(~^)*~**)~a)~a(**~:((:)~(*)**)~a*~(^))**a(~*^^^!^)***(~)~a(~a*^:)**a(:)**~^!!!(~a(; )S:^):^a(~^)*~**)~a((~a(; )*S:^):^(, )S:^)**^); (~a(; )S:^()~^()); ((::**)~^); (); ...out of stack! 05:54:34 -!- Vorpal has quit (Read error: Connection reset by peer). 05:54:56 -!- Vorpal has joined. 05:56:17 There should be an initiative for using more Unicode in programming languages 05:56:19 And colours! 05:56:38 -!- poiuy_qwert has quit (Ping timeout: 255 seconds). 06:01:23 -!- poiuy_qwert has joined. 06:06:42 -!- hagb4rd has quit (Ping timeout: 240 seconds). 06:11:22 -!- poiuy_qwert has quit (Ping timeout: 272 seconds). 06:11:55 -!- poiuy_qwert has joined. 06:19:26 -!- hagb4rd has joined. 06:29:54 -!- poiuy_qwert has quit (Ping timeout: 240 seconds). 06:30:19 -!- poiuy_qwert has joined. 06:45:13 -!- Zuu has quit (Read error: Connection reset by peer). 06:45:16 -!- Zuu_ has joined. 06:50:28 -!- azaq23 has quit (Quit: Leaving.). 07:07:57 -!- poiuy_qwert has quit (Ping timeout: 276 seconds). 07:08:27 -!- poiuy_qwert has joined. 07:15:00 -!- asiekierka has joined. 07:15:05 -!- poiuy_qwert has quit (Ping timeout: 240 seconds). 07:15:33 -!- poiuy_qwert has joined. 07:30:15 ^ul (()~^(::**)~^)((((:((0)(!(1)(!(2)(!(3)(_))))(^))~*^^!S)(:a(~^)*~(()(~(~(:a~*):^))(a))~*^^)):^(()~)~**~^(:)~((a(~^)*~*:a(.B)*S*)~a)~a(**~:((:)~(*)**:a(.A)*S)~a*~(^))**a(~*^^^!^)***(~)~a(~a*^:)**a(:)**~^!!!a(~^)*~*:a(.C)*S*)~a((, )S:^)**^):^ 07:30:15 13(:a(~^)*~*:a(.B)*S*(::**):a(~^)*~(()(~(~(:a~*):^))(a))~*^^*).A((:a(~^)*~*:a(.B)*S*(::**):a(~^)*~(()(~(~(:a~*):^))(a))~*^^*)~^).C, 1((^)~^^).B(::**)~^ ...bad insn! 07:33:05 ^ul (()~^(::**)~^)((((:((0)(!(1)(!(2)(!(3)(_))))(^))~*^^!S)(:a(~^)*~(()(~(~(:a~*):^))(a))~*^^)):^(()~)~**~^(:)~((a(~^)*~*(!=)*S*)~a)~a(**~:((:)~(*)**(=)*S)~a*~(^))**a(~*^^^!^)***(~)~a(~a*^:)**a(:)**~^!!!a(~^)*~*(!=.)*S*)~a((, )S:^)**^):^ 07:33:05 13:a(~^)*~*(!=)*S*(::**):a(~^)*~(()(~(~(:a~*):^))(a))~*^^*=()~^()~^!=. ...out of stack! 07:33:09 Full IANA IPv4 depletion in about 7 hours? 07:33:40