00:00:15 and then you can put coherent light in and use interference to determine the shortest path 00:00:22 ugh you know i don't have the money for physarum machines, don't tempt me 00:00:28 thus solving an NP-complete problem in polynomial time BUT with an exponential amount of energy :/ 00:00:48 basically you have built a parallel computer where each photon is a separate instruction pointer 00:00:53 .... wow 00:01:00 That sounds nifty. 00:01:04 kmc: doubles as the marketing copy 00:01:07 "We'll just farm out the computation to whatever the universe runs on" 00:01:37 we can perform FFTs by using a liquid crystal screen and a laser and a lens and a CCD 00:01:45 can't you fit only a polynomial number of photons in a cubic meter 00:02:18 because then that won't help you solve what otherwise takes exponential time, at least 00:02:28 maybe so 00:02:35 I think in practice it's going to be limited more by melting the optical fiber 00:02:35 not that i don't agree with the wow 00:03:08 another cool thing is http://en.wikipedia.org/wiki/TWINKLE 00:03:15 or we can solve optimization problems by like, representing them as protein folding problems 00:04:21 this is a prime number sieve built out of simple, independent elements that communicate with a controller by freespace optics 00:04:25 http://cs.tau.ac.il/~tromer/twirl/ 00:04:42 yeah, that's the successor project 00:04:50 kmc: so why is it only hypothetical? 00:04:56 dunno 00:05:12 bother 00:05:26 the cool trick is that you sum the outputs from these elements just by measuring the total amount of light 00:05:33 which is far far faster than you could run a binary adder tree 00:05:46 and you clock them by blasting the whole wafer with IR light 00:05:58 which is far easier than widespread clock distribution 00:07:08 Twinkle, twinkle, little prime // How I wonder what you divide 00:07:21 @slap GreyKnight 00:07:21 * lambdabot orders her trained monkeys to punch GreyKnight 00:07:27 Please, no bad rhymes. 00:07:28 it doesn''t scan! 00:07:35 lambdabot is female? 00:07:36 Or that. 00:07:40 >:-( 00:07:44 yeah 00:07:45 FINE you do better then!! 00:07:49 GreyKnight: best poem this year 00:07:50 ... for that matter, has a gender? 00:08:10 hm. how i di-vide what you are? that's pretty sucky though 00:08:17 "Shamir has estimated that the cost of TWINKLE could be as low as $5000 per unit with bulk production." <-- I am guessing it would cost £bignum to make it non-theoretical *without* bulk production 00:08:21 @slap Bike 00:08:21 * lambdabot smashes a lamp on Bike's head 00:08:29 ow :( 00:08:38 Bike, you don't divide the prime >:-( 00:08:51 GreyKnight: More like $bignum 00:08:57 you do to see if it's really prime! 00:08:59 Which is something like half as much?! 00:09:04 shachaf: no u 00:09:26 shachaf: this is computer science, constant factors are so unimportant 00:09:49 Bike: But every prime factors into constants... 00:09:50 bignum, multiplied or divided by 100 00:10:09 (order-of-magnitude error bars are the best thing) 00:10:41 GreyKnight: $TEXAS 00:11:01 did I wander into #perl by accident 00:12:16 is there a CPAN module to use £ and € as sigils 00:12:16 surely 00:12:37 they have modules to let you program in Latin, surely the above exists 00:12:48 I'm sure I saw a Klingon one too 00:13:11 (for when regular perl isn't opaque enough) 00:15:01 -!- sebbu2 has changed nick to sebbu. 00:17:39 > nubBy(((>1).).gcd)[2..] 00:17:41 [2,3,5,7,11,13,17,19,23,29,31,37,41,43,47,53,59,61,67,71,73,79,83,89,97,101... 00:18:36 > nubBy((>1).:gcd)[2..] 00:18:38 [2,3,5,7,11,13,17,19,23,29,31,37,41,43,47,53,59,61,67,71,73,79,83,89,97,101... 00:18:59 shachaf: will you give me a trip report regarding whatever route you take from JFK? 00:19:13 kmc: If you like. 00:19:30 yay 00:19:32 i do like 00:19:45 5000 word essay please with diagrams 00:19:52 Hmm, is "trip report" also a drugs thing? 00:19:59 yes 00:20:08 that's the 'original' context from which i know it 00:20:08 Is that why you like trains so much? 00:20:13 haha 00:20:14 no 00:20:17 I guess that wouldn't explain why lexande likes trains. 00:20:43 > fix (\x -> 1:map (+1) x) 00:20:45 [1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,22,23,24,25,26,27,28... 00:20:57 > fix (\x -> 1:map (gcd . (+1)) x) 00:20:59 Occurs check: cannot construct the infinite type: a0 = a0 -> a0 00:21:21 Wait 00:21:23 yes, for some trips gmaps does recommend taking MNRR 00:21:27 Nevermind 00:21:28 gcd takes two arguments 00:21:37 kmc: is that a drug 00:21:38 Yeah, I noticed 00:21:45 though i would just walk from lex/53rd to Grand Central instead of trying to catch the 6 00:21:50 it's a railroad 00:21:50 metro north rail road 00:21:51 > fix (\x -> 1:map (*2) x) 00:21:52 [1,2,4,8,16,32,64,128,256,512,1024,2048,4096,8192,16384,32768,65536,131072,... 00:22:05 > fix (\x -> 1:map (*2 - 1) x) 00:22:06 The operator `GHC.Num.*' [infixl 7] of a section 00:22:06 must have lower prece... 00:22:21 sad trombone 00:22:21 > fix (\x -> 1:map (*2).(-1) x) 00:22:22 No instances for (GHC.Num.Num [b0], GHC.Num.Num ([[b0]] -> [[b0]])) 00:22:22 aris... 00:22:22 kmc: Once you recommended hopstop.com instead of Google Maps for NYC trips, I think? 00:22:28 that's right 00:22:33 let's see what hopstop says 00:23:03 FreeFull: that last one is wrong for at least 3 different reasons :P 00:23:38 > fix (\x -> 1:map ((*2).((-)1)) x) 00:23:40 [1,0,2,-2,6,-10,22,-42,86,-170,342,-682,1366,-2730,5462,-10922,21846,-43690... 00:24:19 hopstop lets you exclude individual subway lines 00:24:22 in case you really hate the G train 00:24:34 I wonder how you would do primes 00:25:16 > fix (\x -> 2:filter (\a -> a`mod`x == 0) (x+1)) 00:25:17 Occurs check: cannot construct the infinite type: a0 = [a0] 00:25:35 Yeah, that wouldn't work 00:25:40 -!- Phantom_Hoover has quit (Ping timeout: 260 seconds). 00:25:42 x isn't the list, just an element 00:25:52 What's wrong with the G? 00:25:54 if you look at the entire lower list you could pull off some sort of sieve 00:26:17 But I think you can only access the upper parts like this 00:27:01 -!- Phantom_Hoover has joined. 00:27:09 it's the train everyone loves to hate 00:27:21 @src nubBy 00:27:22 nubBy eq [] = [] 00:27:22 nubBy eq (x:xs) = x : nubBy eq (filter (\ y -> not (eq x y)) xs) 00:27:27 The E train is fancy. 00:27:31 Well, the one I was on. 00:27:34 yes 00:27:40 it has the newest cars in the system afaik 00:27:48 with voice announcements by Bloomberg Radio personalities 00:28:01 i think they do like Moscow Metro and use male voices in one direction and female in the other 00:28:55 Stay clear oft he closing doors, please! 00:29:38 Run around the block. Run for office. But don't run on the subway. 00:29:56 "Mind the gap." "The gap is old enough to mind itself, bog off." 00:32:14 > fix((0:).scanl(+)1) 00:32:15 [0,1,1,2,3,5,8,13,21,34,55,89,144,233,377,610,987,1597,2584,4181,6765,10946... 00:32:34 i think the newest cars on PATH might be a bit newer though 00:32:40 (other obligatory example) 00:32:59 oerjan: uhhhhhh............... 00:33:05 > fix((1:).scanl(+)1) 00:33:07 [1,1,2,3,5,8,13,21,34,55,89,144,233,377,610,987,1597,2584,4181,6765,10946,1... 00:33:16 ftfy hth hand 00:33:21 shachaf: i considered, then rejected that option 00:33:33 But the sequence starts with 1. 00:34:34 > fix((55),scanl(-)34) 00:34:35 Couldn't match expected type `a0 -> a0' with actual type `(t0, t1)' 00:34:41 > fix((55).scanl(-)34) 00:34:42 No instance for (GHC.Num.Num ([b0] -> [b0])) 00:34:43 arising from a use of `e_15... 00:34:55 starting with 0 gives you the nice boundary condition that F_0 = 0 and F_1 = 1 00:34:57 > fix((55:).scanl(-)34) 00:34:59 [55,34,-21,-55,-34,21,55,34,-21,-55,-34,21,55,34,-21,-55,-34,21,55,34,-21,-... 00:35:02 (how can you resist?!) 00:35:07 exactly! 00:35:15 Ok, this isn't what I intended 00:35:23 Starting with 1 gives you the very nice condition that it's correct. 00:35:25 So there's that. 00:35:36 (also F_(gcd(m,n)) = gcd(F_m,F_n)) 00:35:42 Both 0,1 and 1,1 are correct 00:36:01 @swat oerjan 00:36:01 Maybe you meant: slap what 00:36:08 @what oerjan 00:36:08 I know nothing about oerjan. 00:36:21 oerjan is just a monoid in the monoid of monoids. 00:36:26 * GreyKnight gazes at shachaf Ꙭ 00:37:09 -!- nooga has quit (Ping timeout: 248 seconds). 00:43:54 > let trundle = (\init op -> fix (\x -> init:map op x)) in take 16 (trundle 1 (*2)) 00:43:55 [1,2,4,8,16,32,64,128,256,512,1024,2048,4096,8192,16384,32768] 00:47:39 If only there was a standard library operation for that. 00:48:14 Yes. 00:48:42 I'm sure it'd be very popular 00:49:00 Well, you can't just invent an entire standard library at once. 00:49:14 You start with a simple base, see what people are missing, and iterate. 00:49:22 first there is the important matter of *comment syntax* to settle 00:51:16 > fix id 00:51:20 mueval-core: Time limit exceeded 00:51:21 > fix id 3 00:51:24 mueval-core: Time limit exceeded 00:51:33 > fix \x -> 3 00:51:34 :1:5: parse error on input `\' 00:51:37 > fix $ \x -> 3 00:51:38 3 00:51:46 > fix $ id $ 3 00:51:48 No instance for (GHC.Num.Num (a0 -> a0)) 00:51:48 arising from a use of `e_13' 00:51:48 P... 00:51:48 > Just $ do 5 :: Int 00:51:49 Just 5 00:52:17 > Just $ do 5; return 10; 00:52:19 Could not deduce (GHC.Num.Num (m a0)) 00:52:19 arising from the ambiguity check f... 00:52:28 > Just $ do 5; return (10 :: Int); 00:52:29 Could not deduce (GHC.Num.Num (m a0)) 00:52:29 arising from the ambiguity check f... 00:52:38 > Just $ do 5 :: Int; return (10 :: Int); 00:52:40 Couldn't match expected type `m0 a0' 00:52:40 with actual type `GHC.Typ... 00:52:44 Hrm 00:53:20 > fix (\f -> (\s -> 'h':'t':f s)) "h" 00:53:21 :t Just $ do 00:53:22 "hththththththththththththththththththththththththththththththththththththt... 00:53:22 Empty 'do' block 00:53:31 :t Just $ 00:53:32 parse error (possibly incorrect indentation) 00:53:34 :t Just 00:53:35 a -> Maybe a 00:53:57 > Just $ do 5 :: Int; 10 :: Int 00:53:59 Couldn't match expected type `m0 a0' 00:53:59 with actual type `GHC.Typ... 00:54:13 :t \x -> do x 00:54:14 t -> t 00:54:27 > Just $ do 5 >> 10 :: Int 00:54:29 Couldn't match expected type `GHC.Types.Int' 00:54:29 with actual type ... 00:55:10 FreeFull: do 5 only works because the monadic type isn't checked when there is only one action 00:55:31 oerjan: It's hopefully not checked no matter how many actions there are. 00:55:40 It's just that (>>)'s type forces it. 00:56:00 :set -XRebindableSyntax 00:56:01 shachaf: i mean a do block action 00:56:05 λ> let (>>) = const id in do 5; 6 00:56:05 6 00:56:41 oh well that redefinablesyntax thing 00:57:10 FreeFull: "do" is a special syntax and not a function, so (Just $ do) isn't anything meaningful AIUI 00:57:43 seriously, -XRebindableSyntax? 00:57:47 :t Just $ return 5 >> return 6 :: Int 00:57:48 that sounds neat 00:57:48 Couldn't match expected type `Int' with actual type `Maybe (m0 b0)' 00:57:48 In the expression: Just $ return 5 >> return 6 :: Int 00:57:53 Hmm, you can make that particular line work without RebindableSyntax, I think. 00:57:54 :t Just $ return 5 >> return 6 :: Maybe Int 00:57:55 Couldn't match expected type `Int' with actual type `m0 b0' 00:57:55 Expected type: Maybe Int 00:57:55 Actual type: Maybe (m0 b0) 00:58:02 :t Just $ return 5 >> return 6 00:58:03 * GreyKnight wonders what FreeFull is trying to do 00:58:04 (Monad m, Num b) => Maybe (m b) 00:58:05 FreeFull: You should spam lambdabot in /msg 00:58:17 One last thing 00:58:21 > Just $ return 5 >> return 6 00:58:22 No instance for (GHC.Show.Show (m0 b0)) 00:58:23 arising from a use of `M80020794... 00:58:34 or, maybe get ghci locally :-) 00:58:35 M80020794.... 00:58:42 m80020794 is my favorite type. 00:58:43 those pesky M80020794s 00:58:52 GreyKnight: lambdabot behaves differently from ghci though 00:59:02 well! 00:59:46 λ> Just $ do 5; 6 00:59:46 Just 6 00:59:48 No RebidnableSyntax 00:59:57 > Just $ return 5 >> return 6 :: Maybe (Either String Word16) 00:59:58 What do you say to that? 00:59:59 Just (Right 6) 01:00:19 * shachaf feels mildly bad for that, actually. 01:00:30 > "Just $ do 5; 6" 01:00:32 "Just $ do 5; 6" 01:00:44 UNICODE CHECK PASSED 01:01:03 But that didn't use any UTF-8 that isn't also ASCII-7 01:01:09 I wouldn't feel bad for cheating. 01:01:13 Er, for cheating that way. 01:01:21 shachaf: you can do it with a sufficiently evil instance, of course 01:01:35 You need more than one, I think. 01:02:12 instance Num a=> Num (m a) 01:02:26 Right, that's one. 01:02:37 and a Show 01:02:39 I think you have to define two different data types to make it work? 01:03:10 It's time for the Tuesday edition of the Type Arcana Show 01:03:32 -!- nooodl has quit (Ping timeout: 248 seconds). 01:03:35 Making defaulting work is tricky. 01:03:37 FreeFull: THUS IT PASSED 01:04:12 > "😻" 01:04:13 mueval: recoverEncode: invalid argument (invalid character) 01:04:37 @read  01:04:37 Plugin `dummy' failed with: Prelude.read: no parse 01:04:42 @read "" 01:04:42  01:04:51 eek 01:04:58 @read "" 01:04:58  01:04:58 innovative bugs up in here 01:05:18 -!- ais523 has quit. 01:05:21 @show  01:05:21 "\239\152\187" 01:05:28 -!- zzo38 has joined. 01:07:22 > let trap_in_forcefield = (\P -> "⌇⌇"++P++"⌇⌇") in (trap_in_forcefield "shachaf") 01:07:22 mueval: recoverEncode: invalid argument (invalid character) 01:07:39 -!- Phantom_Hoover has quit (Ping timeout: 260 seconds). 01:08:01 -!- monqy has joined. 01:09:25 -!- Phantom_Hoover has joined. 01:10:10 hi monqy :') 01:10:14 -!- Phantom_Hoover has quit (Remote host closed the connection). 01:10:28 have you ever been trapped in a force field 01:10:31 hi shachaf 01:10:47 i don't think those exist 01:10:54 uhhh 01:11:03 p. sure they do? 01:11:08 ok 01:11:15 i saw it in a movie 01:11:26 ⌇⌇forcefields⌇⌇ 01:11:30 i'm trapped in this ridiculously strong force field 01:11:54 it's so strong, i simply cannot afford to get off this planet 01:12:12 must suck to be you!!! 01:12:20 ⌇⌇😻 oerjan⌇⌇ Now a smiling cat with heart-shaped eyes is trapped in the force field with you 01:12:30 who will get hungry first?! 01:12:37 oerjan: you can't because you don't really *want* to, that's all! 01:13:02 omg it really is a smiling cat with heart shaped eyes 01:13:52 * oerjan munches on the cat 01:14:21 it wasn't feline very good 01:15:31 hagb4rd, it is best character 01:15:36 monqy: the gravity of the situation is unmistakeable 01:15:50 all the time i thought it's a joke 01:16:52 Where should I learn about reading diagrams like http://slbkbs.org/help.png ? 01:16:59 now i am little bit scared 01:17:05 It looks scary. 01:17:52 doesnt look that bad 01:18:19 hagb4rd: we also discovered a few weeks back that there are not one but three penis glyphs in Unicode hth 01:18:26 type judgements in natural deduction notation 01:18:34 I don't even know the notation. 01:18:40 GreyKnight: but no combining penis above :( 01:18:45 you've never seen natural deduction notation? 01:18:54 wow 01:18:56 shocking omission :< 01:19:04 I've seen simple versions. 01:19:21 (hagb4rd: to be fair they are all Egyptian hieroglyphs so not technically Unicode's fault :-3) 01:19:44 the hieroglyph for "penis" is guess what 01:19:51 dunno 01:19:57 a penis? 01:20:06 combining multiocular o above 01:20:16 hagb4rd, exactly :-P 01:20:22 lol 01:20:26 "Japanese hacker continues to taunt police with clue strapped to cat" 01:20:56 kmc: it's http://xkcd.com/262/ in real life :-o 01:21:43 stupid cyberpunk future 01:22:44 monqy: Maybe the problem is that I don't know anything about type systems. 01:22:50 that could be it 01:23:05 I am glad Unicode included specific codepoints for Roman numerals, I've no idea how I would write 50 without the glyph for "Ⅼ" 01:23:09 Do you know about type systems? 01:23:11 shachaf: have you read "tapl"? it's a nice introduction 01:23:21 monqy: Nope. 01:23:26 Should I read that? 01:23:28 shachaf: hm the parts from the squiggly lines out _do_ look unfamiliar, without them most of it would be as i expect 01:23:29 I guess I should. 01:23:39 shachaf: you are a haskellian how can you not know type systems?! 01:23:52 GreyKnight: I'm a fake. :-( 01:24:10 my guess about the squiggly lines is it's the constraints you can derive from the typing judgment 01:24:24 what has to unify with what 01:24:39 (which afaict is supported by how they're used) 01:25:12 aha 01:27:00 shachaf: generally for natural deduction stuff the way i go about it is if there's something that the judgment is "about" e.g. the expression being typed, in the case of type systems, or evaluated, in the case of operational semantics, look at that bit under the line first to know what's going on, and then go from there 01:29:42 monqy: indeed that seems to be how to interpret the added tau ~ tau_1 condition in LETA 01:33:46 monqy: Hmm. 01:33:58 I guess I should read TaPL. 01:36:22 -!- Arc_Koen has quit (Quit: Arc_Koen). 01:40:16 -!- GreyKnight has quit (Quit: zzz). 01:40:30 "A pony isn't a baby horse, it's a foal, a fucking foal is a baby horse" "Right, our guest tonight on I Don't Give A Fuck About Baby Horses is me" 01:40:44 right, ponies are foals 01:42:55 hm do girls who want ponies believe that they are baby horses? 01:44:06 they probably hope for a mishap in the pony store so they get a baby horse mistaken for a pony 01:44:28 Mishap in the Pony Store would be a good name for an emo band 01:44:41 -!- TeruFSX has joined. 01:44:51 that has a ring to it 01:45:22 related: http://emobandname.com/ 01:46:15 "Mornings Post Sex" 01:46:25 i got "Drunk Hungry Sex" 01:46:33 also "Bullied Your Family" 01:47:09 "October Fun Hot Dog" 01:47:36 That hardly sounds very emo. 01:48:40 well.. it hardly beats "mishap in the pony store" 01:48:48 that's right 01:51:04 "New party logo: A kitten in a sock, sitting on a motorway shouting 'Help me, help me, I don't know what to do'" 01:55:50 ^rot13 ivan 01:55:51 vina 01:56:11 ☝ 01:56:14 ^rot13 *GASP* 01:56:14 *TNFC* 01:59:35 this reminds of a southpark episode in which they claimed the scripts of "family guy" beeing written by a group of seals randomly picking up some coloured balls representing pop-cultural-references 01:59:51 -!- WeThePeople has joined. 02:05:12 "PRESENTATION FORM FOR VERTICAL RIGHT WHITE LENTICULAR BRAKCET * misspelling of "BRACKET" in character name is a known defect" 02:06:00 1D0C5 BYZANTINE MUSICAL SYMBOL FHTORA SKLIRON CHROMA VASIS 02:06:02 * misspelling of "FTHORA" in character name is a known defect 02:06:14 Hmm. 02:06:26 * shachaf is more concerned with LAMDA. 02:06:56 MATHEMATICAL SANS-SERIF BOLD ITALIC SMALL LAMDA 02:07:51 * misspelling of "LAMBADA" in character name is a known defect 02:07:53 but is it a known defect?? 02:08:26 (The regular λ is also spelled LAMDA.) 02:08:57 if they don't know how to spell something, I guess they can call it an unknown defect 02:09:18 they can't change the names once they're set down, can they? 02:09:46 they can start consistently misspelling the name 02:10:11 referer 02:11:03 ^rot13 Vivian 02:11:03 Ivivna 02:12:02 ^rot13 naught, vain 02:12:03 anhtug, inva 02:12:21 ^rot13 anna 02:12:21 naan 02:12:40 ^rot13 funpuns 02:12:40 shachaf 02:12:43 :0 02:12:52 monqy: zomg 02:13:08 ^rot13 natural deduction 02:13:09 angheny qrqhpgvba 02:13:15 ^rot13 monqy 02:13:15 zbadl 02:13:21 ^rot13 mrmistermonkey 02:13:22 zezvfgrezbaxrl 02:14:24 monqy: do you know about linear algebra 02:14:32 ^rot13 itflabtijtslwi 02:14:32 vgsynogvwgfyjv 02:14:44 ^rot13 emblazonry 02:14:45 rzoynmbael 02:14:52 shachaf: at lest some about it. what about it? 02:15:06 monqy: i don't know i don't know much about it :( 02:15:13 and elliott doesn't either? unless he does 02:15:22 and anyway should i know things about it 02:15:26 ^rot13 g 02:15:26 t 02:15:52 It's fun, especially if you like writing raycasters and raytracers and stuff 02:16:12 my knowledge of linear algebra is more on the theory side than the appication side 02:16:33 the theory side is good 02:17:22 derivative esolang time: vgsynogvwgfyjv is itflabtijtslwi but with T instead of G 02:17:31 OKAY 02:17:53 ^rot13 02:17:57 ^rot13 brick 02:17:57 oevpx 02:18:04 ^rot13 oerjan 02:18:05 brewna 02:18:09 ^rot13 brain 02:18:09 oenva 02:18:25 ^rot13 averting 02:18:25 niregvat 02:18:28 expect your oenva to swapped with an oevpx 02:18:34 *+be 02:18:34 ok brewna 02:18:43 ^rot13 verily 02:18:43 irevyl 02:18:52 ^rto13 regret 02:18:58 ^rot13 regret 02:18:59 erterg 02:19:05 ^rot13 fuehrer 02:19:06 shruere 02:19:09 oh, darn 02:19:20 that works when pluralised 02:19:29 hey regret makes a perfect anagram tooo 02:19:58 ^rot13 grievant 02:19:58 tevrinag 02:20:24 qre shruere 02:20:38 Ooh. 02:20:40 ^rot13 ravine 02:20:41 enivar 02:20:47 Oh, nice 02:20:48 oerjan: I thought the brickbraining only applied for BF derivatives 02:21:15 A COMMON ERROR 02:21:36 we're just so lonely and bored 02:21:52 ^rot13 tang 02:21:53 gnat 02:22:05 and we don't even have hackego to play with 02:22:38 ^rot13 hackego 02:22:38 unpxrtb 02:22:49 ^rot13 fungot 02:22:49 shatbg 02:23:00 ^rot13 hagb4rd 02:23:00 unto4eq 02:23:19 find a nice character that looks like a flipped G, swap / and \ and you can get iwlstjitbalfti 02:23:36 shachaf: http://hastebin.com/jelivupufu 02:24:11 I think your words file is better than mine. 02:24:48 ^rot13 erneenatrzrag 02:24:49 rearrangement 02:24:51 "almost" 02:25:18 * FireFly uses the words-insane package from AUR 02:25:26 or rather, the words file it provides 02:25:44 Hmm, find me a good Debian package. 02:26:28 You could just look at the pkgbuild and grab the file from the same source 02:26:32 https://aur.archlinux.org/packages/wo/words-insane/PKGBUILD 02:26:57 http://downloads.sourceforge.net/wordlist/scowl-7.1.tar.gz it seems 02:27:45 > rot13 "terra" 02:27:47 "green" 02:33:22 ^rot13 mars 02:33:23 znef 02:33:47 ^rot13 mercury venus jupiter saturn uranus neptune 02:33:47 zrephel irahf whcvgre fnghea henahf arcghar 02:33:52 ^rot13 pluto 02:33:53 cyhgb 02:34:28 ^rot13 titan enceladus ganymede eris vesta ceres 02:34:28 gvgna raprynqhf tnalzrqr revf irfgn prerf 02:34:32 ^rot13 mercurial 02:34:32 zrephevny 02:34:55 the famous czech version control 02:35:15 ^rot13 czech 02:35:15 pmrpu 02:36:23 ^rot13 io miranda triton 02:36:23 vb zvenaqn gevgba 02:36:41 ^rot13 phobos 02:36:41 cubobf 02:38:20 ^rot13 cookies 02:38:20 pbbxvrf 02:38:22 ^rot13 robyn 02:38:23 ebola 02:38:44 shachaf is cheating 02:41:11 guess i'll watch another space-realated-documentation and try to fall asleep 02:41:16 ^rot13 good night 02:41:17 tbbq avtug 02:41:54 -!- hagb4rd has quit (Quit: tbbq avtug). 02:43:04 ^rot13 nowhere 02:43:04 abjurer 02:56:40 I guess most of these are well-known. 02:56:43 I didn't know them! 03:00:44 -!- DHeadshot has joined. 03:02:49 I have read it somewhere; "abjurer" and "nowhere" is apparently the longest ROT13 pair in ordinary English words. 03:03:50 that's neat 03:04:34 I don't even remember what "abjurer" means. A summoning magician? Some kind of legal thing? 03:04:37 @wn abjurer 03:04:38 *** "abjurer" wn "WordNet (r) 3.0 (2006)" 03:04:38 abjurer 03:04:38 n 1: a person who abjures 03:04:42 Fuck you. 03:04:46 thx lambdabot 03:04:49 * kmc falls over laughing 03:05:01 @wn abjures 03:05:01 No match for "abjures". 03:05:06 apparently it means "to solemnly renounce" 03:05:07 fuuuuuck youuuuu 03:05:09 @wn abjure 03:05:09 *** "abjure" wn "WordNet (r) 3.0 (2006)" 03:05:10 abjure 03:05:10 v 1: formally reject or disavow a formerly held belief, usually 03:05:10 under pressure; "He retracted his earlier statements about 03:05:10 his religion"; "She abjured her beliefs" [syn: {abjure}, 03:05:11 {recant}, {forswear}, {retract}, {resile}] 03:05:31 That's, like. How do you do that typically? 03:05:37 I want "abjurer" on business cards now 03:05:50 @wn abjuration 03:05:50 *** "abjuration" wn "WordNet (r) 3.0 (2006)" 03:05:51 abjuration 03:05:51 n 1: a disavowal or taking back of a previous assertion [syn: 03:05:51 {retraction}, {abjuration}, {recantation}] 03:33:39 "California man says he can drive in carpool lane with corporation papers" 03:33:44 because corporations are people! 03:33:53 this is masterful law-trolling 03:34:36 is that in court yet? 03:34:59 kmc: hahahahahahahahaha 03:35:31 Corporations are people, but corporation papers aren't corporations. 03:52:36 then maybe bodies aren't people 03:54:37 Yes, but your soul is in your body. 03:55:09 Your soul is not a physical object though; how can it have a physical location? 03:55:17 -!- monqy has quit (Quit: hello). 03:55:28 if they get a medieval theologian in court i will be appeased 03:57:26 -!- myndzi\ has joined. 04:05:04 But I also do not think whether your soul is a physical object is relevant to the case, anyways. 04:38:47 Someone once told me what they thought Canadian chess was, which was that the bishops are replaced by beavers, and that the king can use the gun, but only if he has a license. 04:41:10 -!- TeruFSX has quit (Ping timeout: 260 seconds). 04:44:09 -!- TeruFSX has joined. 05:06:50 -!- TeruFSX has quit (Ping timeout: 246 seconds). 05:07:39 -!- Nisstyre has quit (Remote host closed the connection). 05:14:13 -!- DH____ has joined. 05:15:47 -!- DHeadshot has quit (Ping timeout: 248 seconds). 05:17:25 -!- monqy has joined. 05:40:56 I should really grab all my college stuff off their servers 05:41:43 then do so. 05:45:54 zzo38: how far does the king shoot? 05:56:01 -!- WeThePeople has quit (Quit: Leaving). 06:03:11 kmc: I don't know. Someone just said these things; not the details. 06:03:47 zzo38: Does the king need a license in American chess? 06:05:23 shachaf: I know how to play the actual games called Canadian chess and American chess, and in neither game can the king shoot (American chess doesn't have a king). And it also isn't what those other people suggested to me. 06:05:45 -!- oklofok has joined. 06:06:08 What about Finnish chess? 06:06:37 I don't know that one. 06:07:19 They don't seem to have that one. 06:07:39 You can make up a variant called "Finnish chess" if you want to. 06:08:03 zzo38: Does the king have a gun? 06:09:12 shachaf: I think in some variants there is the king having a gun. 06:09:26 http://www.chessvariants.org/difftaking.dir/kingwithshotgun.html 06:10:24 zzo38: Is there a variant where you can take the king? 06:10:58 http://www.chessvariants.org/usualeq.dir/ktkprobl.html 06:11:28 zzo38: the canadian chess thing was just a joke, you know. the author knew that no such thing existed. 06:12:17 quintopia: Yes, I am sure you are correct; they were just suggesting a game like that, because I told them about Canadian chess, and they didn't know the actual Canadian chess game. 06:12:34 what's actual canadian chess like? 06:12:41 -!- asiekierka_ has joined. 06:13:11 If you capture opponent's pieces, you have to place it on a vacant square as part of your turn. The color and kind of piece remains the same. 06:13:45 wow that sounds really difficult 06:14:07 i doubt a computer could play that one very well 06:14:20 it has a branching factor higher than arimaa 06:14:49 -!- DH____ has quit (*.net *.split). 06:14:49 -!- asiekierka has quit (*.net *.split). 06:14:49 -!- fungot has quit (*.net *.split). 06:14:49 -!- oklopol has quit (*.net *.split). 06:14:49 -!- Sgeo has quit (*.net *.split). 06:15:54 i once invented a game on a chessboard 06:17:40 iirc, if the queen got captured, it could swap with any other piece to be captured in its place 06:19:38 but i think an interesting variant would be: if a piece is captured and its starting square is open, it returns there instead. perhaps you would have to label all the pieces to remember where they started 06:20:10 zzo38: have you ever played bughouse 06:20:46 -!- Sgeo has joined. 06:22:32 -!- Nisstyre has joined. 06:22:46 -!- Nisstyre has quit (Changing host). 06:22:47 -!- Nisstyre has joined. 06:32:06 quintopia: I have played bughouse on computer once, I think, against the computer. I forget if I win or lose though 06:32:35 I think the variant where pieces return to their starting square if it is vacant, is exist too, and is called Circe. 06:32:52 zzo38: do you label the pieces 06:33:33 http://www.chessvariants.org/difftaking.dir/circe.html 06:33:57 -!- Sgeo_ has joined. 06:34:02 -!- Sgeo has quit (Ping timeout: 248 seconds). 06:34:21 It is possible to label the pieces (I believe if you label the pieces it is called "heraldic"), but it is different to how Circe is played. 06:34:57 -!- oerjan has quit (Quit: leaving). 06:35:44 what, normally you just have to remember? 06:37:18 Bike: No; in Circe, a rook/knight/bishop is placed on a square of the same color as it is currently on, and a pawn is placed on the same file it is currently on. 06:37:29 oh, i see. 06:38:22 However, you could also play Heraldic Circe where they do go back to their actual starting position instead. 06:39:58 My brother and myself have made up many chess variants, though. 06:46:16 what is the best one? 06:47:54 I don't know. 06:50:53 However, some of them are: http://www.chessvariants.org/index/msdisplay.php?itemid=MSblandchess http://www.chessvariants.org/index/msdisplay.php?itemid=MSlatrumcolorumc http://www.chessvariants.org/index/msdisplay.php?itemid=MS123456chess http://www.chessvariants.org/index/msdisplay.php?itemid=MS123456chess 06:51:20 Here is one that me and my brother have invented simultaneously: http://www.chessvariants.org/index/msdisplay.php?itemid=MSchesswithcheck 06:54:17 DrRacket freezes way too much for my comfort 06:56:14 This is a game that I don't know the inventor; someone who described it to me, says someone else described it to him and he does not know who invented it. But this game was not already documented, so I put it onto the computer. http://www.chessvariants.org/index/msdisplay.php?itemid=MSchesswithquant 06:58:10 telefrag chess, eh 06:58:25 How do you play telefrag chess? 06:58:33 is a telefrag where you teleport inside someone else and explode them? 06:58:39 that was the best in unreal tournament 06:59:13 yeah, that's a telefrag. double bishop high-falutin' action reminded me of it 06:59:21 bishop on bishop action 06:59:36 123456 Chess reminds me of 123456 Pokémon 07:00:14 What is 123456 Pokemon? 07:00:20 a song 07:00:21 https://www.youtube.com/watch?v=ZlVUXLBJg14 07:02:15 dig the outfit 07:05:10 I have made up a Pokemon card puzzle requiring to retreat three times. Is there a situation which requires retreating more than three times? 07:05:33 I don't know 07:08:01 Sometimes even in an actual game, I have retreated twice in one turn (even if not confused), but not more than that. 07:19:35 -!- augur_ has joined. 07:22:10 -!- augur has quit (Ping timeout: 260 seconds). 07:31:45 -!- ogrom has joined. 07:49:18 Can you understand this Pokemon card puzzle? gopher://zzo38computer.org:70/0textfile/miscellaneous/pokemon_card/puzzle.3 http://zzo38computer.org/textfile/miscellaneous/pokemon_card/puzzle.3 07:50:10 -!- ogrom has quit (Ping timeout: 255 seconds). 08:08:37 -!- ogrom has joined. 08:22:52 The other ones were you have to win before your opponent's turn; this one is different. 08:33:29 -!- zzo38 has quit (Quit: sleep). 08:35:43 -!- ogrom has quit (Quit: Left). 08:37:15 -!- mig22 has joined. 08:40:49 "The Adventures of a Pythonista in Schemeland " 08:40:53 It's starting to scare me away 08:41:50 what, schemeland? 08:43:45 -!- Bike has quit (Quit: leaving). 08:47:11 "Basically, the R6RS standard is the result of a compromise between the partisans of explicit phasing - people wanting to control in which phases names are imported - and the partisan of implicit phasing - people wanting to import names at all phases, always. 08:47:12 A compromise was reached to make unhappy both parties." 08:48:59 r6rs the perfect scheme for adventuring 08:53:47 -!- FreeFull has quit. 09:00:04 -!- mig22 has quit (Quit: mig22). 09:29:41 -!- Taneb has joined. 09:31:56 I'd like to put my weight behind Underload for the next featured language 09:32:25 It's got one of the best articles on the wiki, and is a really interesting language 09:35:14 -!- fungot has joined. 09:35:20 ^ul (load)(Under)SS 09:35:21 Underload 09:35:25 ! 09:36:09 -!- nooga has joined. 09:55:55 -!- carado has joined. 10:09:56 -!- ogrom has joined. 10:09:56 -!- ogrom has quit (Client Quit). 10:13:19 -!- monqy has quit (Quit: hello). 10:16:11 -!- DHeadshot has joined. 10:39:25 -!- monqy has joined. 10:44:47 -!- Taneb has quit (Ping timeout: 240 seconds). 10:45:10 -!- GreyKnight has joined. 10:47:17 Sgeo_: is that the only scary bit? 10:48:46 Huh, Gregor gives two responses for CTCP TIME... and they're in different timezones... 10:50:29 One is probably a VPS 10:50:35 Let's see if that confuses even machines. 10:50:37 @localtime Gregor 10:50:37 Local time for Gregor is Tue Jan 8 05:50:36 10:51:01 Probably just looked at the first one. :/ 10:51:26 Yeah that's consistent with the first response I got 10:52:56 Sgeo_: the TOC of "Adventures..." seems to consist almost entirely of macro stuff 10:53:25 @localtime fungot 10:53:26 GreyKnight: they're easy. that's why i prefer to just learn 10:54:06 It doesn't answer to CTCPs at all. :/ 10:54:22 I have two VERSION replies, but just one TIME. 10:55:46 I got *four* VERSION replies from Gregor 10:56:02 Someone's playing silly-beggars 10:56:13 Local time for fungot is I AM ABOVE SUCH MORTAL THINGS AS TIME 10:56:29 lambdabot: it's truth 10:56:39 @nixon truth 10:56:39 A man who has never lost himself in a cause bigger than himself has missed one of life's mountaintop experiences. Only in losing himself does he find himself. Only then does he discover all the 10:56:40 latent strengths he never knew he had and which otherwise would have remained dormant. 10:57:56 I take the Granny Weatherwax approach to finding myself 10:58:24 I just looked down and there I was! 10:58:51 GreyKnight: Next you'll get eight PING replies, then 16 USERINFO replies, 32 FINGER replies, and so on. 10:58:54 You were underneath yourself? 10:59:20 Most people have their eyes at the top 10:59:32 1048576 DCC handshakes. Oh wait. 10:59:59 Only two PINGs, sadface 11:00:15 And on the final square of the chessbord there were 2^63 XDCC file listings. 11:05:34 (two of the version replies were xchat running on different versions of Linux, one was "bip-0.8.8", the other was "Microsoft IRC# 2013 64-bit (Windows 9 Developer Pre-Alpha Release, x64, 1.5GB RAM)" 11:05:52 Hey, another bip user. 11:06:17 Well, assuming *any* of those were true :-P 11:06:17 I have a feeling that the last one might not be 100% truthful. 11:07:19 The xchats claim to be running under different Linux kernel versions so there are more lies afoot! 11:07:25 Yeah, jeez. only 1.5 gigabytes of RAM? 11:07:29 can't be right. 11:07:42 GreyKnight: They would probably be running on different machines, then? 11:07:48 I mean, bip *is* a bouncer. 11:08:01 Fiora: If Windows 9 can run with that much I will eat my hat :-U 11:08:19 fizzie: disclaimer: I don't know what bip is or does 11:08:32 -!- mig22 has joined. 11:08:55 It does what IRC bouncers usually do. 11:08:56 xchat's VERSION prints the kernel version? 11:09:20 Runs as a daemon, lets you connect N clients, broadcasts the stuff to all of them. 11:09:23 fizzie: disclaimer: I don't know what IRC bouncers are or do 11:09:42 O KAY 11:09:43 Jafet: It's to make life of a mIRC warrior easier. You know what scripts to run. 11:09:59 It's the best way to prevent your nick from being taken 11:10:00 Sure it's not the version it was compiled on, or something? 11:10:33 Pretty sure it's the one it's running on 11:10:37 [Gregor VERSION reply] xchat 2.8.8 Linux 3.1-0.slh.5-aptosid-amd64 [x86_64/800.50MHz/SMP] 11:11:00 [Gregor VERSION reply] xchat 2.8.8 Linux 3.1-5.slh.2-aptosid-amd64 [x86_64/800.50MHz/SMP] 11:11:17 I like the megahurtz display too. 11:11:31 It gives a MHz number there so I assume "running" 11:12:07 fizzie: "what's the most irrelevant thing we could put in a VERSION reply?" 11:12:51 -!- Taneb has joined. 11:12:55 You wouldn't want to chat with someone who's on a slow machine, would you? 11:13:06 Depends on the person 11:13:07 It's not contagious! 11:13:14 -!- Phantom_Hoover has joined. 11:13:16 GreyKnight: I mean, it does kind of mean you don't have to keep pasting your vpenis.sh score so often. 11:13:25 Jafet: Hertzist >:-( 11:14:34 When the other person is on a different frequency, the conversation is over. 11:14:51 Vibrational frequency. 11:14:57 So, let's review. Gregor has two xchats running three timezones apart, with a tee to tie them both together. There is also some sort of joke VERSION reply involved. 11:15:21 Sure, nothing wrong with that 11:15:32 GreyKnight: And Gregor itself is kind of a probability distribution spread all over the globe. 11:15:49 A year ago I'd have reported three or four VERISON replies (although no lies) 11:15:49 Gregor has three irc clients, two running in timesliced virtual machines, one with a joke version (clearly the one he actually uses), connected to a bouncer 11:15:53 -!- mig22 has quit (Quit: mig22). 11:15:55 Or maybe that was electrons. 11:16:02 I would addquote that but SOMEBODY hasn't fixed HackEgo yet 11:16:11 Spread over two timezones quite far apart (a US one for the VPS, and my local swedish one for my clients connected to it) 11:16:21 HackEgo is kind of a probability distribution 11:17:01 Our friend fungot here has a lying hostname. 11:17:02 fizzie: if you enforce monospacing, it's the buzzwords. 11:17:16 Jafet: we only get two PING and TIME replies, which makes me think the joke VERSION doesn't actually correspond to a real client 11:17:18 It says fis@selene.zem.fi, but that's just a ssh -L -- in reality it's running on momus.zem.fi. 11:17:42 fungot, you vicious charlatan 11:17:43 Jafet: ( and true more...) 11:17:45 (Or maybe Microsoft IRC# doesn't support CTCP PING/TIME) 11:18:35 Perhaps Gregor has turned off ping and time replies to thwart would-be assailants 11:18:42 The xchats are cunning decoys 11:19:05 Honeypot xchat 11:19:37 Are we doing CSI:Linux again 11:20:07 Hm for maximum acronymicity let's go with CSI:GNU:Linux 11:20:40 I'm technically speaking in the "CSI-speech" project. 11:21:34 wat 11:21:52 Or I guess they spell it "CSI-Speech", with an uppercase S, in official materials. 11:21:59 I don't remember what it stands for. 11:22:02 The I is for inversion. 11:22:14 Is that trying to translate technobabble to English 11:22:16 Oh okay 11:22:24 CSI:fizzie 11:23:26 "fizzie: like Judge Dredd, in a way" 11:24:17 In the way that both the strings "fizzie" and "Judge Dredd" have one or more letters "e" in them. 11:24:23 That's about the extent of the similarities. 11:24:48 > "fizzie" `intersect` "Judge Dredd" 11:24:49 "e" 11:25:02 > "Jafet" `intersect` "Judge Dredd" 11:25:06 mueval-core: Time limit exceeded 11:25:15 I'm too evil 11:25:22 -!- monqy has quit (Quit: hello). 11:25:47 You also both hunt down lawbreakers and sentence them 11:26:25 And are fictional 11:26:29 I find trial programs and execute them 11:27:02 > "fungot" `intersect` "Judge Dredd" 11:27:03 fizzie: and libc provides for it. heck, even ( macro ( fnord this lump of rumbling orange fur decides to budge.) possibly being less than ( expt 2 23) ( last 45)) is 11:27:03 "ug" 11:27:13 That's closer. 11:27:32 fungot: What are you talking about? 11:27:32 fizzie: ms is not the 11:27:43 > "Judge Dredd" `intersect` "President" 11:27:45 "deredd" 11:27:59 Vote Judge Dredd for Presidredd. 11:30:39 fungot: (defmacro (rumbling-lump-of-fur colour) ...) ? 11:30:40 GreyKnight: as i said. fnord is fnord and you'll have to use mzscheme, which is important for my program is an emulator for mit's cadr. 11:31:18 ^style 11:31:19 Available: agora alice c64 ct darwin discworld europarl ff7 fisher fungot homestuck ic irc* iwcs jargon lovecraft nethack pa qwantz sms speeches ss wp youtube 11:31:28 Oh I forgot the fnords, sorry. I didn't realise they were so important. 11:31:44 (thinks fungot (speak us (like this))) 11:31:45 Jafet: i suspend to disk most of the attempts at radical open-source os projects end up as: 11:32:20 End up as: nothing. Deep. 11:32:23 (Also: sort of accurate?) 11:33:49 End up in a suspended state 11:33:54 fungot: Don't be so pessimistic. :/ 11:33:55 fizzie: i haven't understood the concept of lie isn't obvious either.) shrug 11:34:08 So ruthless. 11:34:22 fungot refuses to shield our human minds from the truth 11:34:22 Jafet: you don't need a version of lambda that curries, and assume the program got stuck in a room definition in calling it. 11:35:15 * GreyKnight turns that one into an esolang 11:35:38 Lambda doesn't curry, and your program is stuck in a room 11:36:20 Hm switch room for IO monad and you're close to Haskell 11:46:52 -!- GreyKnight has quit (Ping timeout: 256 seconds). 11:47:27 -!- greyooze has joined. 11:48:35 -!- greyooze has changed nick to GreyKnight. 12:00:20 Is it known what sort of computing system could solve the TM-halting problem? (Other than by trivial definition) 12:00:21 I guess TwoDucks can do it 12:02:19 Feather can't AIUI since it only uses continuations to give the *appearance* of time travel 12:02:20 Whereas TwoDucks presupposes time travel capabilities and just puts them to use 12:03:19 real-number computers can, I think 12:05:24 http://en.wikipedia.org/wiki/Malament-Hogarth_spacetime This one too 12:07:50 -!- GreyKnight has quit (Ping timeout: 256 seconds). 12:24:18 There's also banana scheme 12:38:16 -!- asiekierka_ has changed nick to asiekierka. 12:39:15 -!- GreyKnight has joined. 12:39:58 Fiora: oh yes banana scheme 12:40:10 The M-H thing is new on me, pretty nice 12:40:13 Ta 12:43:34 banana scheme? 12:45:55 -!- nooga has quit (Ping timeout: 260 seconds). 12:47:05 -!- GreyKnight has quit (Ping timeout: 246 seconds). 12:47:23 oooh. interesting 12:50:16 Wow, a system with a non-UTF-8 default locale. 13:01:11 Well, I was wrong. That was paedophilia 13:01:28 Even if the younger is over 13 and it's consensual 13:02:28 #what I do in my spare time 13:02:42 #read laws 13:11:20 -!- nooga has joined. 13:27:23 -!- epicmonkey has joined. 13:33:51 -!- nooga has quit (Quit: leaving). 13:43:55 So, the Malement-Hogarth spacetime is notable because, if it existed, it would be cool. 13:45:43 Like carbon nanotube monofilament, I suppose. 13:47:06 -!- GreyKnight has joined. 13:48:02 Jafet: also like pokémon (except those don't get a WP article :-( ) 13:48:30 real-number computers can, I think 13:48:32 I don't think Pokemon existing would be cool 13:48:32 -!- ais523 has joined. 13:48:37 http://www.rarecandytreatment.com/comics/1246650/the-re-bustening/ 13:48:43 Imagine having 6 foot tall wasps 13:48:45 this is more a symptom of how terrifying the reals are than anything else 13:48:58 And 10 year olds being able to tame gods 13:49:09 Actually some pokémon would be nightmare fuel if they existed 13:49:19 I remember seeing some drawings of realistic pokemon, they were terrifying. 13:51:02 Phantom_Hoover: totally 13:52:14 What are the reals doing that's terrifying? 13:52:24 Besides mostly being indescribable 13:53:29 There's so damn many of them 13:53:40 I tried to count them once, but I could barely even get started 13:53:51 Sgeo_, that's what's terrifying man 13:54:07 Taneb: Did you count as many as there are integers, at least? 13:54:28 fizzie, yes, yes I did 13:54:37 I thought that would be all of them, but it wasn't 13:55:32 -!- GreyKnight has quit (Ping timeout: 252 seconds). 13:55:38 Not by a long way 13:55:45 the rest aren't very interesting anyway 13:56:35 e^pi + 7 would be the least interesting number there is, were it not for the fact that it's e^pi + 7 13:57:08 e^pi + 7 isn't one of the rest though 13:58:17 although the only obvious way of counting to it is only counting by a very generous definition 13:59:16 fromGödel <$> [0..] 13:59:55 -!- GreyKnight has joined. 14:00:15 Taneb, too easy to describe to be uninteresting 14:00:23 Yes 14:00:27 GreyKnight, is the reason you reconnect all the time because you are using crappy ireland internet 14:00:40 it's because I'm using my phone 14:00:41 (usually) 14:00:49 and it likes to randomly drop out 14:01:08 Actually some pokémon would be nightmare fuel if they existed 14:01:13 ^-- Yamask is the WORST THING 14:01:32 it is the ghost of a *person* 14:02:01 (oh and it can possess you so yeah) 14:02:19 GreyKnight: Perhaps you should invest in one of those bouncers. (Extra benefits: you get people analysing your CTCP replies.) 14:02:55 In case anyone ever doubted that the government is a game of nomic http://www.bloomberg.com/news/2013-01-07/why-platinum-coin-opponents-are-all-wrong.html 14:03:18 fizzie: problem, this involves effort 14:03:37 :effort: 14:03:59 -!- Phantom__Hoover has joined. 14:04:07 Gracenotes, what about drifloon 14:04:13 (Basically: Some law about the President being able to issue commemorative coins does not have a maximum denomination. Therefore, political consequences) 14:04:15 i got it as a trophy in ssbm and when i read the description i was like what the FUCK 14:06:20 -!- Phantom_Hoover has quit (Ping timeout: 255 seconds). 14:06:23 There should be a #esoteric nomic 14:06:59 Phantom__Hoover: I'm not Gracenotes but yes that is pretty horrifying too 14:07:31 Taneb, only if the language for rule specification is esoteric 14:07:34 Sgeo_: IMAO governments could only be improved by acknowledging their game nature :-) 14:08:29 Phantom__Hoover, English is pretty esoteric, as is Finnish 14:08:45 Taneb: all rules must be programs in any esolang. A statement (including proposals etc) by any player is valid if it is accepted by all rule-programs. 14:09:02 I'd vote against that rule 14:09:30 FINE do better 14:10:20 GreyKnight, booooring 14:10:42 DO BETTER THEN 14:11:53 `tumbleweed 14:11:54 Must...not...be...sarcastic... 14:12:11 Prime-numbered rules do not apply on the first Thursday in a month 14:12:14 i'm thinking some sort of formal logic with really obtuse rules 14:13:07 Phantom__Hoover: that's not very specific 14:13:09 I didn't eat dinner last night. I was scared of being too loud 14:13:38 Will eat dinner for breakfast 14:13:41 Sgeo_, ...don't you live at home 14:14:16 I live in an apartment building. Apparently there have been complaints about noise late at night and early in the morning 14:14:18 don't most people live at home...? 14:14:49 Some people live at school 14:14:55 not at university age 14:14:59 some people die 14:15:01 Or at university 14:15:04 Or at work 14:15:15 Or 6 feet underground in a small wooden box 14:15:17 Well 14:15:21 Nobody lives there 14:15:26 Not for very long, at least 14:15:48 -!- WeThePeople has joined. 14:15:56 `welcome WeThePeople 14:15:57 http://www.rarecandytreatment.com/comics/1197860/whos-watching-the-watchman/ <-- more creepy pokémon 14:16:07 Gregor: we miss HackEgo ;_; 14:16:24 Oh, huh, HackEgo's gone 14:18:21 rip hackego 14:18:58 nap in peace 14:27:20 laser cannons but still no flying cars: http://www.bbc.co.uk/news/technology-20944726 14:28:52 GreyKnight: http://www.hammacher.com/Product/11812 14:29:06 The reason we can't have flying cars is because we're too dumb to fly them 14:29:32 http://www.bbc.co.uk/news/world-us-canada-20941355 14:29:35 (Descent was a secret government project to study its feasibility. The result was strongly negative. Now you know.) 14:29:44 you just can't make the bbc's use of quotes up 14:30:09 Jafet, descent's that thing that freespace 1 was ostensibly a sequel to, right 14:30:21 -!- Nisstyre-laptop has joined. 14:32:03 I thought Descent II was the sequel to Descent :-I 14:32:28 o.O 14:32:35 there's also a descent 3 in there somewhere 14:32:43 I almost jumped for joy when googling Tremulous and it said 1.2 was almost ready 14:32:53 Than I read that it was waiting for sounds. Which it has been for years 14:33:04 I should make a game called Sequel 14:33:14 Also, that's not a very cool laser cannon 14:34:08 wat http://www.causes.com/causes/809798-convince-president-obama-to-play-tremulous 14:35:10 Jafet, is http://img237.imageshack.us/img237/1188/homesick2.png a cool enough laser cannon for you 14:36:20 http://www.youtube.com/watch?v=FQRIjzW-kg0 14:37:28 yes but that's eve 14:37:42 -!- Nisstyre-laptop has quit (Quit: Leaving). 14:52:14 hi 15:05:33 -!- DHeadshot has quit (Read error: Connection reset by peer). 15:05:52 -!- DHeadshot has joined. 15:08:28 Hi WeThePeople 15:12:19 -!- Phantom__Hoover has quit (Ping timeout: 276 seconds). 15:13:58 -!- Phantom_Hoover has joined. 15:27:26 -!- hagb4rd has joined. 15:32:27 @tell zzo38 (re. puzzle.1) You only need two retreats I think: http://hastebin.com/wohodetece 15:32:27 Consider it noted. 15:43:51 -!- azaq23 has joined. 15:44:00 -!- azaq23 has quit (Max SendQ exceeded). 15:44:35 -!- azaq23 has joined. 15:48:50 21:52:27: oerjan: `run runs it in bash 15:48:50 21:52:41: And if everything got deleted, it wouldn't show up, would it 15:48:59 does he figure out how hackego's sandboxing works eventually 15:49:04 or is reading this log going to be unending torment and agony 15:49:13 elliott: well HackEgo crashed 15:49:18 so maybe he was right????? 15:50:16 22:12:53: damn this cough syrup is strong 15:50:18 kmc: drugs 15:51:11 -!- Nisstyre has quit (Ping timeout: 260 seconds). 15:52:08 22:24:33: GreyKnight: https://dl.dropbox.com/u/12780151/blackboard.png behold 15:52:12 oh he's not here 15:53:03 hi Phantom__Bike 15:54:20 -!- Phantom_Hoover has quit (Ping timeout: 252 seconds). 15:54:35 23:08:50: i've not found this to be a major problem 15:54:35 23:09:10: likewise I am able to mentally switch between keyboard layouts 15:54:38 23:10:25: people sometimes try to dissuade others from learning Dvorak on the basis that it is impossible to know two keyboard layouts 15:54:41 23:10:41: but it's not true in my experience, or in the experience of millions of bilingual computer users 15:54:44 kmc: Doesn't this contradict your argument against Colemak? 15:56:26 -!- Phantom_Hoover has joined. 15:56:36 `addquote what is this set? sounds like shakespear Yes, that's what people often say about Chrono Trigger. 15:57:23 `quoerjan 15:57:29 Oh. 15:57:37 elliott: The bot's not here. 15:57:49 I guess oerjan (helloerjan!) will logread this later and add quotes? 15:58:22 But how can he paste the logs without HackEgo? 15:58:28 Checkmate. 15:59:19 `style 15:59:23 ^style 15:59:23 Available: agora alice c64 ct darwin discworld europarl ff7 fisher fungot homestuck ic irc* iwcs jargon lovecraft nethack pa qwantz sms speeches ss wp youtube 15:59:28 Bah, I'm tired 15:59:36 ^style jargon 15:59:36 Selected style: jargon (UNIX-HATERS mailing list archive) 15:59:37 Checkmate, fungot. 15:59:37 FireFly: for file in my code. i'm certain that everyone overlooks is that 16:00:11 ^style 16:00:12 Available: agora alice c64 ct darwin discworld europarl ff7 fisher fungot homestuck ic irc iwcs jargon* lovecraft nethack pa qwantz sms speeches ss wp youtube 16:00:17 Oh. 16:00:22 ^style sms 16:00:22 Selected style: sms (National University of Singapore SMS corpus, 2011-08-20) 16:00:25 fungot 16:00:26 shachaf: can also but lunch will only b ready at 1 smth 2... u hungry? does it make your belly? how goes it loverboy. i hope they don't turn my phone off by then. before you created one like you suggested to me about the irrational. just like that! life is nt abt rs coffee at ccd,bt many frenz but they dunno u la?mama? i dun understand wat is it trying to talk back 16:00:39 it makes my belly, fungot. 16:00:39 shachaf: near room wait 16:00:40 (new-∀/c name) 16:00:46 What a conveniently named function 16:00:56 What's wrong with it? 16:01:03 It's annoying to type 16:01:12 Why? 16:01:21 -!- Arc_Koen has joined. 16:01:40 Add ∀ to your keyboard layout then 16:02:05 * FireFly has it on altgr+shift+å (å being on the qwerty position for q) 16:02:26 * shachaf has it on Ctrl-Shift-U 2200 Space 16:02:56 * FireFly would appreciate a unicode-codepoint-entering mode that completes 16:02:58 argh. 16:03:05 that completes character names for you* 16:03:18 agda-mode? 16:03:24 C-S-u delta 16:03:35 I haven't used agda-mode, so I wouldn't know 16:06:01 http://wiki.portal.chalmers.se/agda/pmwiki.php?n=Docs.EmacsModeKeyCombinations ← this doesn't seem related to unicode input 16:09:54 -!- nooodl has joined. 16:34:35 -!- azaq23 has quit (Max SendQ exceeded). 16:38:33 https://github.com/SirCmpwn/bf-irc-bot/pull/1 16:45:05 -!- carado has quit (Ping timeout: 246 seconds). 16:54:20 -!- Nisstyre has joined. 16:54:48 * hagb4rd pings Gregor 16:55:13 hello? are you here? 16:56:11 @ask gregor could you please check what happened to HackEgo? 16:56:11 Consider it noted. 16:58:04 is gregor the only one who has access to that ominous sandbox? 17:00:34 open the gates! you evil scoundrel 17:03:04 -!- c00kiemon5ter has quit (Quit: c00kiemon5ter). 17:14:14 -!- ogrom has joined. 17:16:04 -!- ogrom has quit (Client Quit). 17:16:19 SirCmpwn: oh, you've found your way here 17:16:28 I am everywhere, FireFly 17:16:34 I presume you've seen fungot's source, then 17:16:34 FireFly: same to me. leogoh sounds to me that u don't care enough to stop me... i ll seeyou! nomnomnom!then studying. anyways i vil nt so met some hadsome boys. i even told mark in my dream 17:16:59 FireFly, the migration from #0x10c-dev to here is mostly my fault, I'm afraid 17:17:12 Shrug, I don't care much :p 17:17:38 Ugh. 17:17:47 Taneb: You mentioned #esoteric in that channel? 17:17:54 Yes 17:18:05 Specifically, HackEgo's quote feature 17:28:25 FireFly: nope 17:28:28 FireFly: link it 17:28:34 fungot: source 17:28:35 SirCmpwn: shal i tel u dat problem! happy vinayaka nagar.. get it from me) has to leave not long ago? but it's up... 17:28:42 :| 17:28:47 `source 17:28:48 ^style 17:28:48 Available: agora alice c64 ct darwin discworld europarl ff7 fisher fungot homestuck ic irc iwcs jargon lovecraft nethack pa qwantz sms* speeches ss wp youtube 17:28:51 ^source 17:28:52 http://git.zem.fi/fungot/blob/HEAD:/fungot.b98 17:28:53 ^style pa 17:28:54 Selected style: pa (around 1200 transcribed Penny Arcade comics) 17:29:00 Ugh. 17:29:02 ^style iwcs 17:29:02 Selected style: iwcs (Irregular Webcomic scripts) 17:29:10 ^style alice 17:29:11 Selected style: alice (Books by Lewis Carroll) 17:29:24 Considering its functionality, and it seeing daily usage, it's fairly impressive I think 17:29:42 (okay, really impressive) 17:29:52 shachaf: you don't like penny arcade? 17:30:00 is that befunge 17:30:04 Yes 17:30:13 kmc: Not especially, but then I haven't read much of it. 17:30:18 Maybe it's good if you read it. 17:30:21 that's interesting 17:30:40 is befunge difficult to code in (i.e. does it have good scemantics and such) or is it just a novelty because it's a grid 17:30:52 * kmc interprets that sentence two ways 17:31:05 -!- AnotherTest has joined. 17:31:36 i think it's hit kind of a slump recently 17:31:38 but it's pretty good overall 17:31:58 Well, it's certainly less difficult than brainfuck in the sense that.. it has "higher-level" commands, so to speak 17:32:01 I didn't mean you as in you. 17:32:09 I mean, maybe if one reads more of the comic, one finds it to be good. 17:32:26 sure 17:32:30 i figured that's what you meant 17:32:50 But I guess it has its own set of difficulties, what with using fungespace for both code and storage 17:33:20 those guys are now doing approximately a billion things besides the comic 17:35:26 they started a major charitable organization and a few gigantic gaming conventions 17:36:32 and they've filmed a reality-TV-style "america's next webcomic artist" show called "Strip Search" 17:38:54 also Paramount Pictures is making an animated film based on a single PA strip 17:39:12 Phantom_Hoover: I remember there was some thing where if you had an oracle that gave you the Nth digit of Chaitin's constant for your machine, you'd have a halting solver 17:39:18 I'm glad you added "Pictures" there. Otherwise I'd be confused. 17:39:30 Fiora: yeah, that's pretty much the definition of chaitin's number in fact 17:39:47 same applies for a machine that tells you if an arbitrary diophantine is solvable 17:39:55 Phantom_Hoover: that's a lot more magical though. 17:40:10 As in, an oracle that just gives you some digits seems like a lot less to ask. 17:40:32 i don't think anyone has done better than penny arcade in terms of turning a webcomic into a major business venture in several domains 17:40:40 Homestuck? :p 17:40:47 -!- FreeFull has joined. 17:40:55 the thing that really boggles me is that the computable reals are uncomputably countable 17:40:56 i... don't know anything about homestuck 17:41:13 Phantom_Hoover: That's not so weird. 17:41:19 oh and also there's the thing where you can have a function that grows slower than any computable function 17:41:25 That one is weird. 17:41:25 kmc: Is a webcomic 17:41:29 Obvious but weird. 17:41:48 It only has one panel per page 17:41:58 slower than any strictly increasing computable function? 17:41:59 Homestuck really only has webcomic, shirts, books, and upcoming video game 17:42:10 Not as wide as Penny Arcade 17:42:13 Phantom_Hoover: Is it uncomputable because it would take forever? 17:42:16 Phantom_Hoover: have you seen http://r6research.livejournal.com/19619.html 17:42:18 And probably not as deep either 17:42:20 yeah, plenty of webcomics sell swag 17:42:40 that is the standard way to monetize a webcomic and a fair number of people have done ok with it 17:42:55 Phantom_Hoover: really he thing is that all e.g. types in Coq look countable to us 17:42:59 FreeFull, ok so basically it's not so hard to demonstrate that there are functions which grow faster than any computable function 17:43:01 Not many that had a 2.5 million dollar kickstarter to fund a video game 17:43:03 because the set of expressions is countable 17:43:06 that's cool 17:43:35 Which is going to be ridiculous simply because of the complexity of Homestuck 17:43:39 Phantom_Hoover: I think there are more of those than there are computable functions 17:43:57 obviously 17:44:16 Ugh, plane ticket prices have gone up. 17:44:24 what kind? 17:44:34 Adventure game 17:44:40 maybe you should take a TRAIN 17:44:45 I've got no idea if anyone's talking to me 17:44:48 kmc might be 17:44:50 I'm not sure 17:44:51 heh 17:44:57 The fantroll that someone paid for doesn't seem to have appeared yet 17:45:03 Taneb: i meant that the kickstarter is cool 17:45:14 sadly "take the train instead" is not a reasonable option for most air routes in the USA 17:45:25 FreeFull, there's still a few months of Homestuck left 17:45:31 Aren't trains in the USA expensive and slow? 17:45:38 unless you quite enjoy the experience of sitting on a train for n+1 hours 17:45:45 FreeFull: yes 17:46:11 kmc: Imagine if Japan went over and did your trains for you 17:46:12 Zoooom 17:46:14 I would take a train, except for that. 17:46:19 yeah 17:46:25 but we can't have that because BUY AMERICAN 17:46:35 plus construction costs like 10x as much in america for no clear reason 17:46:38 literally 10x in some cases 17:47:44 the second avenue subway is going to cost $1,700,000,000 per kilometer 17:48:01 which yes is about 10 times what it costs to build a subway in singapore or tokyo 17:48:10 That's a lot of money. 17:48:38 i have taken the train+bus between LA and SF a few times and it's... okay 17:48:47 one day in the far future there will be proper high speed rail on this route 17:48:50 The kickstarter video for the Homestuck game is probably the best rapid intro to Homestuck out there 17:48:52 if I had a nickel for every nickel they're going to spend on the second avenue subway I'd have a lot of nickels 17:49:00 indeed 17:49:00 -!- copumpkin has quit (Ping timeout: 252 seconds). 17:49:16 if I had a nickel for every damn dime I'd have half the time 17:49:17 If I had a nickel for every nickel they're going to spend on that I have no idea what a nickel actually is 17:49:30 -!- copumpkin has joined. 17:49:31 I imagine if the USA had good maglev trains, people would use them rather than go through the trouble of boarding a plane 17:49:48 you don't need maglev 17:49:59 there is only one passenger maglev in revenue service in the world 17:50:01 if i had a nickle for every nickel, i'd have holes in the floors grimed in a heap of birdshit 17:50:03 Taneb: it's a kind of meltametal 17:50:07 stupid mosh 17:50:12 conventional rail can run plenty fast and has a lot of advantages 17:51:01 elliott, you live within 5 miles of the birthplace of the person to open the first commercial rail line! 17:51:25 what if he actually lives in a shack a few miles from hexham 17:51:26 By 5 I mean 15 17:51:26 in fact the record conventional rail speed is only like 6 km/hr less than the record maglev speed 17:51:38 kmc: yes but maglev is cooler... 17:51:45 oh 17:51:50 well let's build a maglev then 17:51:50 elliott: only if you bother to supercool it 17:52:03 which is not cost-effective really 17:52:13 quintopia, just build it in Alaska 17:52:15 Problem solved 17:52:39 but alaska gets into the 60s in summer. also...who would ride it? 17:52:50 FreeFull: it's also possible that if people started to use rail transit in great numbers, the TSA would assert their (legally already existing right) to install airport-style security at train stations 17:52:50 i guess it could carry people over the bridge to nowhere 17:52:57 Russians trying to get to Canada 17:53:04 kmc: Ouch 17:53:22 maglev bridge across the bering strait! 17:54:02 kmc: do the TSA actually have a reason to do that? 17:54:11 self preservation 17:54:17 Cash? 17:54:37 yes salaries for themselves and cash for their contractor buddies 17:54:42 http://projecteuler.net/problem=81 Help, I'm finding myself writing a whole matrix manipulation library 17:54:48 well, people are going to use airports even if trains exist 17:55:02 Actually, I guess it'll be useful for other matrix problems 17:56:17 -!- Phantom_Hoover has quit (Ping timeout: 240 seconds). 17:57:36 I've taken a plane down to London a couple of times 17:58:36 i've taken a plane down in london 17:58:47 with my anti-aircraft gun nest 17:58:52 Taneb: have you considered taking a plane to new york 17:58:54 I've taken a plane to London too 17:58:58 just a matter of time before they find it 17:59:02 shachaf, nah, I'd get the train to there 17:59:04 It's a bit too far to swim, I think 17:59:54 flying to new york city is a huge pain 18:00:17 flying is the only way to travel 18:00:31 kmc: because your arms get tired? 18:00:34 kmc: Why? 18:00:46 elliott: yes 18:00:50 I read somewhere that at one point the Empire State Building was going to have a airship port at the top 18:00:57 shachaf: because the airports are in the middle of nowhere 18:01:02 -!- Phantom_Hoover has joined. 18:01:05 I just flew here from a Calabi-Yau manifold, and boy are my arms toroid! 18:01:18 LGA isn't really in the middle of nowhere but it has no direct rail connection 18:01:21 GreyKnight: hahahaha 18:01:31 Heathrow airport is in the middle of nowhere, but London's big enough that that counts as in London 18:01:40 -!- kmc has set topic: I just flew here from a Calabi-Yau manifold, and boy are my arms toroid! | http://codu.org/logs/_esoteric/. 18:02:06 Taneb: sure, and bumblefuck queens counts as nyc, but it's still an annoying distance from the manhattan central business districts 18:02:27 I've never been to NYC, I wouldn't know 18:02:32 heathrow is also kind of a pain but at least there are tube stations under the airport on lines that go directly into the city 18:02:37 I've only used two US airports 18:02:42 (ok, one line, but still) 18:02:47 And I was too young to remember either 18:03:02 Eh, I flew to Newark and I didn't mind the distance from the city-center 18:03:05 Denver and one in California 18:03:27 the transit situation from newark is a real pain 18:03:32 Hang on 18:03:39 Even Newcastle Airport is on the metro 18:04:46 from newark you have to take the airport train to a New Jersey Transit commuter train station and take that into Manhattan, or take it to Newark Penn Station and get onto the PATH subway into Manhattan 18:05:01 of course commuter trains are not as frequent as subway, and more expensive too 18:05:08 and there's an extra charge for the airport train 18:05:18 or you can take a Newark city bus and try not to get stabbed 18:05:33 or you can take a privately run shuttle bus direct to manhattan which is honestly probably the best option 18:05:41 if you are not tremendously cheap like myself and my friends 18:05:50 Yeah, that's what we did (take a shuttle bus, I mean) 18:05:50 Annoyingly, the Metro Centre is not the Centre of the Metro 18:05:56 heh 18:06:00 They dropped us off by grand central 18:06:01 The bus is ~$15, right? 18:06:06 sounds about right 18:06:08 I think so 18:06:10 That's be Monument 18:06:56 The only point on the Metro on three lines 18:07:03 Even though the Metro only has two lines? 18:07:08 It's on one line twice 18:07:50 Boston has one of the better airport transit connections in the US 18:08:24 there's a bus at the airport which turns into a fake train and takes you downtown, at which point you can transfer to the subway that goes to MIT and Harvard etc 18:08:33 and it's all pretty close together and quick 18:09:28 also "Calabi-Yau manifold" sounds like something the starship enterprise would get sucked into 18:09:50 Divert all power to rear thrusters! 18:10:04 It's no good, cap'n! We're manifoldin'! 18:11:50 If I have some bunch of sets. And I the amount of elements in every set and the amount of elements in all possible intersection. Can I determine the amount of elements in the union of all sets? 18:12:16 yes 18:12:21 i.e I know |a|,|b|,|c| and I know |a n b|,|a n c|,|b n c| 18:12:22 that's inclusion-exclusion principle 18:12:37 Looks like the Bronx is much more awkward to get to for everyone. 18:12:45 yes 18:12:53 isn't it just |a|+|b|+|c|-|a n b|-|a n c|-|b n c|... 18:12:57 oh, I guess not 18:13:01 http://upload.wikimedia.org/wikipedia/commons/3/3d/Inclusion-exclusion-3sets.png 18:13:07 ok. so. 18:13:08 right 18:13:12 Neat. 18:13:38 Given now that I have the corresponding truthtable of a knf boolean formula 18:13:44 *cnf 18:15:09 Like (a v c) ^ (!a v b) ^(b v c) would result in a truthtable with the entries {0x0,10x,x00} 18:15:35 and every entry in that truthtable is actually a set of entries 18:15:49 0x0 would expand to 2 elements in that set 010 and 000 18:16:07 Essentially I can calculate all the intersections in these sets. 18:16:48 Now implement this as a data type 18:17:20 e.g 0x0 and x00 would have the intersection 000 18:17:56 and if everything works out 18:18:13 I can calculate the amount of elements in the union of all these sets. 18:18:32 probably. 18:23:38 What is the union of 0x0 and x00? 18:23:54 which would predict how many entries in the truth-table can not be solutions 18:24:09 000 010 100 110 ? 18:24:22 Wait 18:24:27 110 wouldn't be there 18:24:37 So just the first three 18:24:44 000, 010, 100 18:24:58 The x gets lost 18:26:14 so the size of each set is two to the number of x's 18:26:22 exactly. 18:28:12 and you can intersect two patterns... xx=x, x0=0, x1=1, 00=0, 11=1, 01 = 10 = whole set is empty 18:28:29 nice trick :) 18:33:02 well 18:33:15 if the distance is zero, then there is no intersection yes. 18:33:38 eh 18:33:40 if it is not zero 18:34:01 also 18:34:18 if such a pattern has the distance two to every other pattern 18:34:30 then a neighbouring pattern is a trivial solution for that cnf term. 18:37:27 i.e {x00,00x,111} 18:37:47 111 has distance d = 2 two every other pattern 18:37:59 therefore every pattern with d = 1 to 111 is a solution. 18:38:03 -!- c00kiemon5ter has joined. 18:41:11 but that's probably never the case :) 18:41:43 anyway it should be fairly quick to state if a cnf term has a solution or not 18:42:26 however, findig that solution is not. 18:43:20 because you can only state how big the set of non-solutions is. 18:43:54 and therefore you also know the size of the set of solutions but you have no clue about what that set contains :) 18:46:35 at least that's what my brain suggests me. 18:49:22 The intersection is cookies 18:49:25 -!- GreyKnight has quit (Quit: -->). 18:49:28 -!- Taneb has quit (Quit: Leaving). 18:50:19 >:3 18:50:23 * c00kiemon5ter omnomnomnomnomnm 18:53:51 ahhhhhh 18:54:24 Don't eat the intersections! 18:55:25 yummee 18:55:27 ? 19:01:27 Huh. /r/promos is magic 19:07:38 -!- impomatic has joined. 19:16:19 -!- copumpkin has quit (Ping timeout: 248 seconds). 19:16:59 -!- copumpkin has joined. 19:23:35 -!- c00kiemon5ter has quit (Quit: c00kiemon5ter). 19:24:25 -!- c00kiemon5ter has joined. 19:31:32 -!- Taneb has joined. 19:33:09 -!- Nisstyre has quit (Ping timeout: 248 seconds). 19:43:30 -!- Bike has joined. 19:56:58 -!- ogrom has joined. 19:57:08 -!- ogrom has quit (Read error: Connection reset by peer). 20:00:23 -!- AnotherTest has quit (Quit: Leaving.). 20:01:51 -!- GreyKnight has joined. 20:02:08 -!- GreyKnight has quit (Client Quit). 20:05:29 -!- GreyKnight has joined. 20:12:34 I just idly checked, and in fact simple-wikipedia *does* have an article on Calabi-Yau manifolds: http://simple.wikipedia.org/wiki/Calabi-Yau_manifold 20:12:40 Now I have a happy. 20:13:08 It links to "small" in the first line 20:13:12 I have a happy too 20:13:26 "But wait. These tiny parts are also interesting. Why?" 20:14:02 I have read that article before, it has been there for quite some time 20:14:08 "That IS small." 20:14:40 >The English used in this article may not be easy for everybody to understand. 20:15:07 oh, it was on the simple english wikipedia 20:15:09 I think "simplifying" the language used further would only make matters worse 20:15:26 olsner: thatsthejoke.gif 20:16:42 thatsthejoke.youtube 20:16:56 it's better with sound 20:17:52 oh hey there's a talkpage, this outta be good 20:17:57 GreyKnight, the metaphors man 20:18:01 i don't think i can handle 20:18:04 all these metaphors 20:18:52 A metaphor is a lot like a beautiful woman. 20:19:28 -!- GreyKnight has quit (Quit: brb train). 20:19:49 we will never know how 20:19:58 ...that's a simile 20:20:39 similes are just metaphors anyway 20:20:44 is simple english required on the talk pages too? 20:21:47 Who knows 20:22:06 not me 20:23:37 -!- oerjan has joined. 20:23:54 -!- oerjan has quit (Client Quit). 20:25:37 -!- GreyKnight has joined. 20:25:55 and then you go to the en-wikipedia version and it's a ~whole new world~ 20:27:08 http://la.wikipedia.org/wiki/Spatium_Calabi-Yau 20:27:37 superchordarum 20:27:39 FINE a metaphor IS a beautiful woman HAPPY??? 20:27:56 "Multiplex Calabi-Yau in cultura populare" :-D 20:28:01 I have several happies. 20:28:08 right, of course the pop culture section is longest. 20:28:11 Why does half of the Latin article consist of "in popular culture" 20:28:12 wat 20:28:47 Calabi-Yau est nomen navis interstellaris quam Jetfire et grex technobotorum navigant in Transformariorum libello Stormbringer, ab IDW Publishing edito. 20:29:07 >>Transformariorum<< 20:29:29 Genitive plurul of transformarium? 20:29:40 of the transformations 20:30:01 I'm disappointed there's no actual la-wikipedia article for the Transformers 20:30:19 Taneb: not "transformations", these guys: http://en.wikipedia.org/wiki/Transformers 20:30:29 Oooh 20:30:42 "technobotorum" 20:30:55 yesssss 20:32:03 Transformaria: roboti incogniti 20:33:48 -!- sebbu2 has joined. 20:34:06 -!- sebbu2 has quit (Changing host). 20:34:06 -!- sebbu2 has joined. 20:35:04 -!- sebbu has quit (Ping timeout: 256 seconds). 20:38:10 ais523: I had something I wanted to say to you earlier, but then I forgot it. So this is a pointless comment. 20:38:28 elliott, tswett Fiora Phantom_Hoover http://movies.yahoo.com/news/homestuck-movie-comedy-inevitable-unless-not-board-unless-193000232.html 20:38:34 Taneb 20:38:46 Saw it 20:39:46 "you either don't kids" 20:39:51 I don't kids personally. 20:39:57 I don't mean to be mean to zzo38, but "But it could become a movie. Unless it can't." is a very zzo38 thing to say 20:40:04 it is 20:40:14 although zzo38 wouldn't put it quite like that 20:40:30 Sgeo_, how can you be mean to zzo 20:40:58 he is above and transcendant to us, he cares not for our petty insults 20:41:14 So does insulting him matter, if he cares not about them 20:42:19 no 20:46:48 -!- c00kiemon5ter has quit (Quit: c00kiemon5ter). 20:46:58 > let q = fix (\f x -> [x]:(f x)) in (q 1) 20:47:00 [[1],[1],[1],[1],[1],[1],[1],[1],[1],[1],[1],[1],[1],[1],[1],[1],[1],[1],[1... 20:47:00 -!- oerjan has joined. 20:47:02 -!- c00kiemon5ter has joined. 20:47:24 -!- GreyKnight has quit (Quit: brb switching trains). 20:48:22 > fix ((Control.Applicative.<**>) . seq) (*) 8 20:48:24 64 20:48:36 15:48:59: does he figure out how hackego's sandboxing works eventually 20:48:39 the latter. 20:48:41 15:49:04: or is reading this log going to be unending torment and agony 20:48:57 or well, it gets cut short by HackEgo crashing. 20:49:24 how was he trying to break out? 20:49:25 :t (<**>) 20:49:26 Ambiguous occurrence `<**>' 20:49:27 It could refer to either `Control.Applicative.<**>', 20:49:27 imported from `Control.Applicative' at State/L.hs:4:1-26 20:49:44 * oerjan swats lambdabot -----### 20:50:02 It's flip (<**>) 20:50:13 *(<*>) 20:50:22 i know what it is, i was wondering why the heck you had to add the module 20:51:12 :t acceptSession 20:51:13 Not in scope: `acceptSession' 20:51:20 ais523: he was just hallucinating his rm -rf * working. 20:51:30 Not that one 20:51:46 oerjan: what's the point of doing that when it's just trivially undoable? 20:51:56 we don't really even need the canary, it's just there for trolling 20:52:00 `cat canary 20:52:03 SHUSH 20:52:18 * oerjan swats ais523 for mentioning the canary 20:52:23 * ais523 dodges 20:52:25 * + -----### 20:53:18 -!- GreyKnight has joined. 20:54:32 what does the canary do? 20:54:41 oerjan: you are *too slow* 20:55:03 GreyKnight: what now 20:55:40 ais523 was able to dodge your swat 20:55:42 oh. well it's hard to hit when you forget the swatter. 20:55:49 yeah 20:55:54 you'd probably have hit otherwise 20:56:04 olsner: basically it's just to stop people doing rm -rf *, and has no other effect 20:56:15 What is it, though 20:56:26 YOU WILL HAVE TO FIND OUT FOR YOURSELF 20:56:44 WELL IF HACKEGO WAS HERE I WOULD 20:56:46 hint: you've already had too many hints 20:57:26 * GreyKnight guesses a file with tactical permissions set 20:57:38 WRONG 20:57:39 -!- sebbu2 has changed nick to sebbu. 20:57:40 GreyKnight: even stronger hint: HackEgo has a revert command, and enough intelligence to know when to use it 20:58:08 Oh, he auto-reverts if the canary is removed 20:58:21 Cute 20:58:24 YOU AND YOUR NUCLEAR HINTS 20:58:30 It just doesn't commit, rather. 20:58:32 Is it atomic? 20:58:32 Sgeo_: that article is so badly written it almost makes me think it's trying to be sbahj-kitschy 20:58:35 Yes, very atomic 20:58:41 Put the nuclear hint in a space suite 20:59:00 Oh hey ∃ and ∀ are easy to type in DrRacket. \exists Alt-\ \forall Alt-\ 20:59:36 -!- carado has joined. 20:59:43 Hm I wonder if there're standard compose sequences for those 21:06:34 GreyKnight: No 21:06:50 I grepped through compose sequences and didn't find it 21:07:43 Hmph 21:08:02 how can you grep for it if you cannot compose it? CHECKMATE LINUXISTS 21:08:13 oerjan: Copy-paste? 21:08:17 * GreyKnight will add something to .XCompose 21:08:39 * oerjan sees FreeFull isn't into the spirit of checkmates 21:08:46 https://groups.google.com/forum/#!topic/rubyonrails-security/61bkgvnSGTQ/discussion code execution exploit for any Rails app 21:09:06 kmc: not /any/ Rails app? or is this a new one? 21:09:19 I can also do ctrl+shift+u 2203 space 21:09:22 ∃ 21:09:28 But that's difficult to remember 21:09:29 I thought the old one required you to modify a cookie to replace a representation of a string literal with a representation of a Ruby dictionary 21:09:32 apparently a new one 21:09:40 and that only worked if it happened to be stored in a cookie at the time 21:09:41 hmm, OK 21:09:42 haven't absorbed all the details 21:12:01 @hoogle absorb 21:12:01 No results found 21:12:18 ...how can there not be a haskell function by that name 21:12:28 hoogle doesn't search that much 21:12:29 ! 21:12:54 :t Absorbaloff 21:12:55 Not in scope: data constructor `Absorbaloff' 21:12:57 @hoogle adsorb 21:12:58 No results found 21:13:32 ah, hayoo shows Data.Semiring has one 21:13:44 -!- Phantom_Hoover has quit (Ping timeout: 255 seconds). 21:14:34 -!- Phantom_Hoover has joined. 21:15:03 -!- carado has quit (Quit: Leaving). 21:15:10 -!- asiekierka has quit (Excess Flood). 21:20:11 -!- asiekierka has joined. 21:30:53 -!- GreyKnight has quit (Remote host closed the connection). 21:31:37 -!- GreyKnight has joined. 21:32:38 I guess oerjan (helloerjan!) will logread this later and add quotes? <-- TOO LATE I'M PAST IT NOW AND HACKEGO'S STILL NOT HERE 21:32:53 -!- asiekierka has quit (Excess Flood). 21:32:59 ohnoerjan! 21:33:14 r.i.p. quotes 21:33:26 lost forever ;_; 21:33:32 still no hackego? this is horrible 21:33:35 oerjan: You could @remember it. 21:33:39 @quote 21:33:39 elven says: foldr sounds like a web-2.0 service 21:33:44 @quote 21:33:44 NealStephenson says: Long names get worn down to three-letter nubbins like stones smoothed by a river. 21:33:53 @quote 21:33:54 JoeMarshall says: I recall that Mike Blair once got the meta-circular evaluator to run itself. It took about forty minutes to get to the prompt. 21:34:04 Shut up Nel Stp 21:34:07 @quote 21:34:07 Veinor says: SMT? shin megami tensei! the goal is to figure out how to max your s-links in persona 4 on the first run ... which is reducible to SAT, now that I think about it 21:34:16 @quote 21:34:16 EvanR says: oop is never about what people say its about 21:35:08 -!- WeThePeople has quit (Quit: Leaving). 21:35:19 -!- canaima172429 has joined. 21:35:26 @tell shachaf hm... 21:35:26 Consider it noted. 21:35:37 @ask oerjan thx 21:35:37 Consider it noted. 21:35:46 -!- asiekierka has joined. 21:35:53 @messages 21:35:53 shachaf asked 16s ago: thx 21:36:21 @todo 21:36:21 0. SamB: A way to get multiple results from a google search 21:36:21 1. dons: improve formatting of @dict 21:36:21 2. dons: write Haskell Manifesto 21:36:21 3. lispy: don't let lambdabot's prettyprinter split the sequence @foo across lines 21:36:21 4. TheHunter: priviledged users should get priviledged listcommands. 21:36:23 [37 @more lines] 21:36:44 "Haskell Manifesto" 21:36:49 hola 21:36:49 what's up with gregor? doesn't he care anymore? 21:37:13 dammit a newbie and we don't have the bot to `welcome him! 21:37:15 IT'S LIKE HE'S NOT EVEN HERE 21:37:23 shocking 21:37:27 yes 21:37:28 what will we do?! ;_; 21:37:30 hi canaima172429 21:37:35 hm i have an idea 21:37:52 @more 21:37:52 5. TheHunter: @type 1 :: Int 21:37:52 6. lispy: haddock gives a link from a type signature to the types. It would be nice if it also let you find functions in the given module that use a type. 21:37:52 7. dons: Implement @whatis 21:37:52 8. dcoutts: implement @cool list, as a clone of the @todo(-add) commands 21:37:52 9. dons: there's some bug in the 'when i left' code of @seen 21:37:54 [32 @more lines] 21:37:58 ^welcome canaima172429 21:37:58 hablan español 21:38:01 @more 21:38:01 10. dons: sarahbot style @tell 21:38:01 11. beelsebob_: @tell command - relays a message to someone when they next speak 21:38:01 12. dons: @seen on lambdabot should report lambdabot's channels too 21:38:02 13. ski: when printing first lines of infinite things (or all cases with nonexact), should say 'at least' 21:38:04 14. ski: provide '@more ', at least for privmsg 21:38:06 [27 @more lines] 21:38:10 fungot: You *had* a ^welcome there. 21:38:13 @more 21:38:13 15. ski: '@todo-remove ' for priviledged users, and possibly the user who added the todo note (is @todo-replace worth it ?) 21:38:13 16. dons: BUG: @pl (\_ -> return ()) --> const return 21:38:13 17. beelsebob_: "@remind command formatted as '@remind {at