00:00:42 maybe there should be a mode to send the text only if it quits with exit code 0 00:01:04 -!- Taneb has quit (Quit: Leaving). 00:13:18 -!- mnoqy has joined. 00:26:17 -!- yorick has quit (Remote host closed the connection). 00:31:52 oerjan: I guess your IRC client / terminal / whatever doesn't know about non-ASCII spaces 00:32:22 er actually there isn't a space there 00:33:06 kmc: hm? it's not my client. my client doesn't make links anyhow. 00:33:51 so you were asking if anyone saw something that you don't see? 00:34:04 but jwinslow23 made a page on esolang that looks like it came from that message. 00:34:33 so yeah. 00:35:00 -!- nisstyre has joined. 00:38:29 -!- impomatic has quit (Quit: impomatic). 00:45:05 -!- Bike has quit (Quit: work). 00:51:41 I intend to make it so that there is four kind of line prefixes (there is also lines with no prefix), meaning: assembly language, SQL, text, preformatted text. What could be the prefix characters to indicate these things? 00:56:53 a, s, t, f? 00:57:48 what the hell are you doing 00:57:50 I shouldn't use letters; I should use a punctuation, other than those used by the basic format that can occur at the start of the line. 00:58:23 zzo38: ) } ] and > 00:58:28 !?.: 00:58:35 * oerjan cackles evilly 00:58:41 +-*/ 00:59:19 you guys don't even try 00:59:37 So far I think your idea of !?.: is best 01:00:03 _-=+ 01:01:09 -!- hypha has quit (Remote host closed the connection). 01:02:54 I was gonna go for _ = ≡ but I didn't have a quadruple-bar symbol on my keyboard 01:03:12 I don't have either; I have to use only ASCII symbols. 01:03:24 (and furthermore, only printable ASCII symbols) 01:50:34 man, I come across random IRC snippets 01:50:37 and omg I find kmc 01:50:41 and guess what he's talking about! 01:50:42 >_> 01:51:02 rust? 01:51:10 I cannot guess it very well. 01:51:11 you got the vowel right 01:51:12 Do you know? 01:52:03 -!- tswett has joined. 01:54:27 Does space count as printable? 01:55:13 I consider space a printable character. 01:55:28 It doesn't do anything besides advancing the cursor and painting stuff. 01:58:12 Yes space does count as printable (as far as I am concerned), but it doesn't count here because the space would be ignored even before the prefix symbol; this way you can make it in a indented block rather than having to move it to the first column to make it messy. 01:58:49 Do you have the stats for the big leech so that we can downgrade it to make the stats for the small one too? 02:00:06 zzo38: maybe this? http://www.dandwiki.com/wiki/Black_Leech_(3.5e_Creature) 02:01:08 I will look later, but is it suitable to downgrade to make the small one? 02:01:17 (Right now I have another program open instead) 02:01:30 it actually says "small animal" 02:02:02 "A black leech, often called blood devil, is an about 3 feet long, 1 feet thick creature with a completely, inky black skin. It weighs about 40 pounds and is parasitic." 02:02:11 I suppose if the ordinary rules are used to change it to "tiny animal" then it might work 02:03:23 anyway it was my first google hit for '"leech" d&d' (i put leech in quotes because google seemed to want it to be lich instead), there may be other hits. 02:04:12 So, lemme complain about... the universe or something. 02:05:00 well, i have a hunch the others on the first page are spells and powers. 02:05:03 -!- Bike has joined. 02:05:19 So, there's Haskell. It's described as "the simply typed lambda calculus with tons and tons of syntactic sugar on top". It's pretty much one of the fundamental programming languages of the universe. 02:05:37 legend has it that the sun was developed in haskell 02:05:43 Probably. 02:05:57 oerjan: Maybe. However the purpose of such a thing I ask is for use as a familiar and other things. 02:06:58 No,no,no 02:07:00 zzo38: yes, the link i gave was for a creature. 02:07:05 Brainfuck is the most fundamental language 02:07:07 So I once pondered, what would Haskell be like if values couldn't be duplicated or discarded? A lot of stuff would become easier; instead of having monadic I/O, you could have functions taking a World and returning a World. 02:07:11 Everything else is a dialect of Brainfuck 02:07:16 oerjan: Yes I know that you said "small animal" which is implying that. 02:07:17 Well, except for INTERCAL 02:07:25 tswett: http://xkcd.com/224/ 02:07:34 Are we talking about animals, I bet animals are way more interesting than Platonism. 02:07:41 tswett: uniqueness types? 02:07:41 Turns out that, like Haskell is in some sense equivalent to intuitionistic logic, there's another sort of logic, linear logic, that would be equivalent to Haskell-without-duplicating-or-discarding. 02:08:12 (But I do like to make up some spell/power too, such as, "Kjugobe's Timer", and magic items such as the magic pair balls which allow you to know the distance between them and teleport the other one to you while you are holding one.) 02:08:20 -!- Sprocklem has joined. 02:08:56 FreeFull: something like that. In this language, uniqueness would be enforced *everywhere*; you'd need special markers or whatever in order to do something that doesn't obey it. 02:09:02 tswett: btw haskell isn't simply typed, it's polymorphic with its own heap of extensions to hindley-milner types. 02:09:26 oerjan: how far does Haskell 98 extend HM types? 02:09:58 So it turns out some people have created programming languages based on linear logic. I've looked at them, and I don't really like any of them. So I decided to try to create a programming language that's pretty much Haskell, but linear. 02:10:18 How is it going? 02:10:19 tswett: also look at Clean, which is the very-similar-to-an-older-brother-of-haskell-using-unique-types-instead-of-IO-monads-although-you-_can_-define-monads-if-you-want language. 02:10:24 I will write down the creature stats you gave me so that I can remember it for later in order to downgrade it. 02:10:53 I'm calling it Hylisk. As far as I can think, I have it totally worked out, except for a few unimportant details, like what members its None class would have. 02:11:58 So, Hylisk and Haskell are almost completely identical, right? Hylisk is also purely functional, with lambdas and applying and algebraic data types and pattern matching and all that jazz. 02:12:25 And yet, I've put hours and hours of thought into the idea of compiling Hylisk into Haskell, and I just can't find a way to do it that makes any sense. 02:12:54 tswett: well the first haskell extension was type classes. then the classes were allowed to be type constructors instead of just types, which allowed e.g. Monad. since then it has got all kinds of weird stuff, type families, multiparameter type classes, rank n types, existential types, and lately kind polymorphism and automatic raising of types to kinds... 02:13:18 *the class members were 02:13:19 oerjan: A lot of these Haskell extension are useful. 02:13:26 Since when does Haskell 98 have type families? 02:13:45 tswett: Have you been working on an implementation? 02:13:57 But yeah, type constructors and classes are definitely extensions, I think. 02:14:10 tswett: Do you have the other details too? 02:14:30 tswett: haskell 98 isn't the latest standard. almost everything beyong class type constructors isn't included in that. not that haskell 2010 added any type extensions that i recall. 02:14:32 FreeFull: not really; I want to write a compiler, not an interpreter, but I have no idea how a compiler would work. 02:14:39 *beyond 02:14:52 oerjan: *nod* I'm just looking to copy Haskell 98 at the moment. 02:14:56 tswett: Would System F be useful? 02:15:02 zzo38: the other details about what? The type system, or the entire language? 02:15:18 Maybe you could compile down to the same dialect of System F that Haskell uses, and then use GHC's infrastructure from there on 02:15:27 tswett: Both. 02:15:29 tswett: with all the changes they've done in the basic libraries i'm not even sure ghc _supports_ haskell 98 any more. 02:15:49 FreeFull: the thing is, Hylisk types don't translate cleanly into Haskell types, at least not in any way I've discovered. 02:16:03 the removal of superclasses on Num would be the biggest inconsistency, i think. 02:16:05 oerjan: you have to replace (Num a) constraints with (Num a, Show a, Eq a), everything else is "fine" if you use the haskell98 base library afaik 02:16:08 and -XHaskell98 02:16:18 of course Applicative => Monad is happening and will ruin everything. 02:16:22 by unruining everything 02:16:28 -!- Guest35587 has joined. 02:16:30 The best idea I've come up with so far is to have a Haskell type called HyliskValue and make everything be that. 02:16:57 That sounds like throwing types away 02:16:59 -!- Guest35587 has quit (Remote host closed the connection). 02:16:59 copumpkin: what did i do now 02:17:02 FreeFull: right. 02:17:09 tswett: look at https://github.com/isomorphism/Delineate. 02:17:28 zzo38: well, I guess there are some other details I've thought of that I haven't decided what to do about. And, undoubtedly, some other details I've completely forgotten about. 02:18:29 tswett: I think rather than trying to map types to types, you just create your own type system 02:18:37 Which you probably are already doing 02:19:01 Although if you say it's still typed lambda calculus, you should be able to compile down to that 02:19:28 elliott: I've looked at that, and I feel like I ultimately dismissed it for some reason. Now I don't remember why I dismissed it. Maybe I didn't have a good reason. 02:21:04 FreeFull: well, here's one rough spot that Hylisk has. In Hylisk, there's a type for functions that don't return: a function of type "a -> Done" takes "a", and then doesn't return. Now, there's a function cancel :: ((a -> Done) -> Done) -> a. 02:21:31 elliott: it just makes a lie of the promise the haskell 98 report made that programs made according to it should expect to be supported long after new standards had arrived. 02:21:44 "cancel" takes a function f. It then creates a new function g, and passes g into f. Then it waits for f to call g, and grabs the argument to g and returns it. 02:22:19 tswett: what's the point of a function that doesn't return, except side-effects? but I thought Hylisk was purely functional and that would mean there are no side-effects... 02:23:50 Koen_: well, there are ways that data can get out of a function besides being returned. 02:24:15 show me the way 02:25:02 All right. You might really hate this syntax. If so, I apologize. 02:25:11 -!- Zuu has quit (Ping timeout: 245 seconds). 02:25:18 Example: ((\y -> y 3) \x) -> x 02:25:37 You know what, that example can be simplified. 02:25:41 Example: (\x 3) -> x 02:25:55 In Hylisk, \x is a function that binds x to its argument, and doesn't return. 02:26:04 So (\x 3) -> x evaluates to 3. 02:26:28 Do they have any relations to linear logic? 02:26:37 Interesting 02:26:44 so that's "assign 3 to x"? 02:26:49 zzo38: the stuff that I just described? Yeah, absolutely; it's completely inspired by linear logic. 02:26:53 that sounds *a lot* like a side-effect 02:26:58 Koen_: it does, yeah. 02:27:07 Is there a zero, one, top, and bottom types? What do they do, if so? 02:27:39 Sounds really impure, but isn't. There's no way to do destructive modifications. Evaluating the same expression twice always gives you the same answer. 02:28:17 destructive as in irreversible? 02:28:54 i see google front page has changed its ui again. now i need one more click to get to translate. 02:29:09 it was already slightly annoying that i needed two. 02:29:16 zzo38: yup. Zero is an uninhabited type. One is the unit type, whose values can be freely created and destroyed. Top is a "garbage" type; you can create values of it, but values of that type can't be destroyed or otherwise disposed of. Done is the "no return" type; if a function returns Done, that's equivalent to not returning. 02:30:14 i assume this is poisonous infection from that mobile app stuff. 02:31:20 Koen_: you know, I guess I don't really have a good idea of what "destructive modification" actually means. 02:31:36 I mean, "const True" is an irreversible function in Haskell, isn't it? But it's not impure. 02:32:39 I'm not sure what -> means in Hylisk, but I'm gonna assume "(\x 3) -> x" is literally what I would write in ocaml as "let x = 3 in x". in that case the only reason why this "assignment" isn't a side-effect is because it's not an assignment, but rather just a replacement in the right-hand expression 02:33:12 (and the right-hand expression wouldn't make sense without the let in, since x would be free) 02:33:29 Right. And that's pretty much what -> does. 02:33:45 Evaluate the left hand side until it's of the form "\x y", and then replace x with y on the right hand side. 02:34:19 yeah... but in that case "\x 3" doesn't make sense without the "->" ? 02:34:22 Now, here's cancel: cancel f = (f \x) -> x 02:34:23 Koen_: correct. 02:34:37 so it's not really a function 02:35:16 Backslash-variables, arrows, and the corresponding bare variables are in a one-to-one-to-one correspondence. Each appearance of one must correspond to exactly one appearance of each of the other two. 02:35:54 Koen_: well, it's certainly treated as a function. It has a type (in this case, something like Integer -> Done), it can be passed into functions that take functions, and so on. 02:35:54 Which excludes something like \x -> x*x 02:36:05 FreeFull: right, because x appears too many times on the right hand side. 02:36:30 my point is I'm under the impression that this "Done" is similar to ocaml's "unit"... but ocaml has a unit type because it's is *not* purely functional 02:36:52 tswett: How would you write something like that, assuming there is no other way to square? 02:37:34 FreeFull: well, here's how you're going to write it if I don't create any syntactic sugar for it: \x -> uncurry (*) (duplicate x) 02:37:39 I'm going to create syntactic sugar for it. 02:38:10 duplicate is a primitve? 02:38:12 "\x -> x*x" is probably going to be syntactic sugar for "\x -> uncurry (*) (duplicate x)". "duplicate" is a member of a class, called Duplicable or something. 02:38:13 primitive* 02:38:21 Ah 02:38:40 The instance of duplicate for Int is primitive, but other data types might have non-primitive implementations. 02:38:42 tswett: Do you think something like this could work as a stack-based/concatenative language? 02:39:20 Koen_: it took me a really, really long time to figure out what Done means, and I still don't have too great a grip on it. 02:39:31 oh 02:40:15 then it's probably not like ocaml's unit, because afaik "unit" just stands for "dummy value you return when you've got nothing to return" 02:40:38 Koen_: right. Hylisk has such a type; it's tentatively called Unit. 02:41:03 ooooookay. so there are side-effect after-all? 02:41:43 Haskell has () too. nothing to do with side-effects 02:42:17 FreeFull: well, I did come up with an idea for a modified do-block. "sdo {a; b; c}" is syntactic sugar for "c . b . a". And if you write "x <- a", then I think that corresponds to matching a with a pair, binding x to one half of it, and passing the rest of it along. 02:42:39 elliott: yeah, but my Weird Extended Lambda Syntax looks a lot like side-effects. 02:42:40 I apologize for exhibiting my ignorance like that :p but I really can't think of a use for the unit type, other than as return type for side-effect-only functions 02:43:01 same reason the identity function is useful 02:43:14 Do you expect downgrading the size to make it suitable for familiar and similar things? 02:43:17 e.g., instantiating parameterised types 02:43:19 "making @pl do stupid things" 02:44:20 I'll try to give that some thought, and in the meantime I'll give myself some sleep. thank you for your explanations and your patience! 02:44:44 tswett: I want to try it out as soon as you have a working implementation 02:45:54 -!- Koen_ has quit (Quit: Koen_). 02:46:07 I guess here's how I'd say it. "\x 3 -> x" doesn't have side effects. The funky thing about \x is that instead of returning a value into the surrounding expression, it returns a value into the letter x on the other side of the arrow. The only "side effect" is that data moves through a different channel. 02:46:12 FreeFull: yeah, me too. ^_^ 02:48:49 So, lemme think. Hylisk types don't seem to be possible to translate into Haskell in a sensible way. Maybe they are, I dunno. But Hylisk *expressions* can be translated into Haskell in a sensible way, or so it seems. 02:49:42 tswett: a Hylisk type of kind * will most likely translate into a Haskell type of kind * -> * or (* -> *) -> *. 02:50:39 elliott: I had that thought, yeah. For a little while, I thought that Hylisk types might even translate into monads. 02:52:13 e.g. newtype Done r = Done r; data Unit r = Unit; data Zero r 02:52:23 don't know about Top. 02:52:29 Top = Bottom 02:52:31 maybe that Unit is actually Top. 02:52:39 FreeFull: what? 02:52:48 elliott: I've had almost exactly the same thought as that, yeah. 02:53:18 Just kidding 02:53:39 that wasn't very funny. 02:53:49 I defined the four identity types (Done, Unit, Zero/Impossible, Top/Garbage) in those three ways, using one of the definitions twice, but I knew that had to be wrong. 02:54:26 Now, certainly the Hylisk type World does translate to a Haskell monad. You'll never guess which one. Hint: it's IO. 02:54:31 tswett: I think you should rename Unit -> One and Done -> Bottom. 02:54:35 for consistency with the rest of the world. 02:55:14 elliott: I could, I suppose, but Haskellers are used to "bottom" meaning... whatever its Haskell meaning is. 02:55:51 Now, my reasoning with World and IO is pretty straightforward. In Haskell, a monad is essentially a context, which cannot be duplicated or discarded, but which can be queried. 02:56:18 And in Hylisk, a value of type World is essentially a context, which cannot be duplicated or discarded, but which can be queried. So, like, exactly the same damn thing. 02:56:59 But there's a problem. In Haskell, querying the context doesn't change the type of a context. If you make a query, you can always make the same query again any number of types. 02:57:27 Is this OK? Telepathy to 5ft anywhere; master loses 3 max HP within range. 02:58:09 But that's not the case in Hylisk. If you have a value of type (Int -> Int), then you can pass an Int into it and receive an Int, but only once. 02:58:30 tswett: Then add some ! and ? types too. 02:58:46 (Possibly even more than one kind of each.) 02:58:59 zzo38: yeah, but the problem isn't that ! and ? don't exist; the problem is that types without ! and ? do exist. 02:59:44 tswett: Yes, I know, but there can be ! and ? types in addition to the types without ! and ? 03:00:12 !(Int -> Int) would translate perfectly well as a Haskell monad, I think. But that doesn't fix the fact that (Int -> Int) does not. 03:01:28 -!- zzo38 has quit (Quit: So, that's what happens when Imakuni? means Imakuni! and Imakuni@. Now I know.). 03:02:14 So, this gives me a thought: "duh, just make them functors instead". 03:03:15 If "f" is a Hylisk type, then the corresponding Haskell type "f a" will mean "something that uses a Hylisk value of type 'f' to produce a Haskell value of type 'a'". 03:03:51 duh 03:04:38 So, what is "Done a"? It's something that uses a Hylisk value of type "Done" to produce a Haskell value of type "a". 03:05:15 There's a problem with that, though. The only thing you can do with a value of type "Done" is call it, and when you do, it won't return the program flow back to you. 03:05:54 tswett: I am pretty sure you want to be using something like the continuation monad's idea of negation. 03:06:07 which importantly, lets you *customise* the equivalent of Done to an "r" type you get to choose 03:06:31 elliott: I've definitely thought about the continuation monad(s) a lot, yeah. They also have the idea of "functions that don't return". 03:06:48 Where can I read about negation in a continuation monad? 03:06:57 Oleg's site has some stuff, I think 03:11:08 I haven't found anything yet. 03:14:06 What *is* the continuation monad's idea of negation, exactly? Is the negative of "a" in "Cont r" just "a -> r"? 03:17:08 :t callCC 03:17:09 MonadCont m => ((a -> m b) -> m a) -> m a 03:18:37 I have had some vague ideas about how Hylisk might turn into continuation stuff. In Haskell, you can't prevent someone from duplicating a value; but there may be ways to make it so that even if they do duplicate a value, they can only use one copy of it. 03:19:21 Like, suppose you're a function of type (a -> r) -> r, where r is opaque to you. You can duplicate your argument all you want, but it's not going to matter, because you can only *use* it once. 03:20:08 tswett: i think the negative of a is ideally a -> Cont r Void 03:20:57 That's isomorphic to a -> r, though, isn't it? 03:21:10 @unmtl Cont r Void 03:21:10 (Void -> r) -> r 03:21:14 That's a -> (Void -> r) -> r, and (Void -> r) only has one inhabitant. 03:21:30 yeah probably 03:21:44 i was trying to think inside the monad 03:22:09 Gee, this is starting to seem like it might be really simple. 03:22:28 wait, Void -> r has as many inhabitants as r has. 03:22:31 -!- nisstyre has quit (Ping timeout: 245 seconds). 03:22:32 such is computer science 03:22:46 const r 03:22:53 oerjan: uh, no? The only inhabitant is \x -> case x of {}. 03:22:59 Uhh. 03:23:00 Hm. 03:23:03 no 03:23:09 one element, in a total language 03:23:13 oerjan: yeah, I think all those are equivalent, aren't they? 03:23:15 Void is initial 03:23:37 they're all the same empty function 03:23:54 copumpkin: a total language function doesn't have to use its argument. 03:24:13 oerjan: yeah, but who says const x /= const y? 03:24:15 it doesn't matter 03:24:18 you're being intensional 03:24:32 erm 03:24:40 take the graph of the function 03:24:41 OKAY 03:24:43 :) 03:25:16 If you're a function of type "Either (a -> r) (b -> r) -> r", you'll provide either an "a" or a "b" to anyone who asks, but they'll only really be able to use one of them. 03:26:41 And if you're a function of type "(a -> r, b -> r) -> r", then, uh... what the heck is that 03:27:24 Either a b 03:27:34 Can't be. 03:28:11 Okay, if you're a function of type "(a, b -> r) -> r", then you'll take an "a", and you'll return a "b", but no matter how many times you're called, they'll only be able to use one of the "b"s. 03:28:21 I'm too tired to explain now, but https://groups.google.com/forum/#!msg/haskell-cafe/XQ-tFFKgyqM/ldrTqYd4hHsJ 03:28:42 I'm talking about your (a -> r, b -> r) -> r 03:28:44 being isomorphic to Either a b, if your quantifiers are where I think they re 03:28:58 type Either a b = forall r. (a -> r, b -> r) -> r 03:29:05 I guess that makes sense. 03:29:10 Yeah, I'm not sure where the quantifiers are, though. 03:29:33 quantification is hard 03:29:35 let's go to sleep 03:29:38 * copumpkin goes to sleep 03:29:57 * copumpkin mumbles something about fibrations and binding 03:30:01 What if r is existentially qualified... then it's much worse. 03:30:12 Er, quantified. 03:30:13 then it's useless 03:30:22 Yeah, it must be quantified dependent on something... 03:30:38 Because that's supposed to be the "par" of linear logic, which is definitely not Either. 03:31:05 if those are -o then it's different 03:31:10 Essentially, a "Par a b" is a single value that behaves as both "a" and "b" at once. 03:31:15 but I'm not well versed in reasoning about linear logic 03:31:19 Nope, this is Haskell. 03:31:48 Guess I'll go to sleep, yeah. I'll think about continuations. 03:31:50 Good night, everyone. 03:31:51 :) 03:31:52 ciao 03:32:05 Auf Wiedersehen. 03:32:08 -!- tswett has quit (Quit: Page closed). 03:34:58 par is the one that's hardest to intuit 03:42:12 oerjan: forall r (f g :: Void -> r), f = g 03:42:30 oerjan: because forall (x :: Void), f x = g x 03:42:44 because forall (x :: Void), p 03:42:47 because Void -> p 03:44:53 OKAY BUT DON'T ASK ME FOR HELP WHEN LOGIC STARTS BREAKING 03:50:20 `slist (or did someone already do this? I don't know when the upd8 was) 03:50:24 slist (or did someone already do this? I don't know when the upd8 was): Taneb atriq Ngevd Fiora nortti Sgeo ThatOtherPerson alot 03:50:47 There was one HUGE update today 03:50:49 Forgot to slist 03:53:37 This webpage is not available <-- so i take it it turned out roxy is calliope's dream clone wife or something similarly server-crashing 04:07:03 -!- roflplatypus has joined. 04:07:18 hello? 04:08:15 -!- roflplatypus has quit (Client Quit). 04:10:40 hello 04:12:42 hello 04:12:48 hello 04:29:10 -!- Sprocklem has quit (Ping timeout: 245 seconds). 04:29:50 -!- nisstyre has joined. 05:07:22 -!- Yaasky has joined. 05:15:32 -!- Yaasky has left. 05:18:54 -!- __Hithere has joined. 05:18:59 <__Hithere> hlleo 05:19:35 oehll 05:19:51 <__Hithere> i lkie you Bike, you are the cesloot 05:20:02 fnially someonea gets it 05:20:12 <__Hithere> i konw rtie? :D 05:20:12 -!- conehead has quit (Quit: Computer has gone to sleep.). 05:24:33 hi __Hithere 05:24:38 `relcome __Hithere 05:24:42 <__Hithere> hlelo kmc 05:24:43 ​__Hithere: Welcome to the international hub for esoteric programming language design and deployment! For more information, check out our wiki: http://esolangs.org/wiki/Main_Page. (For the other kind of esoterica, try #esoteric on irc.dal.net.) 05:24:54 <__Hithere> i was adaerly wlceeomd lkie fitfy mliolin tmies 05:25:08 <^v> wдt 05:25:18 loco popele 05:25:24 itt we are drunk 05:25:44 <__Hithere> so, whats going on 05:25:53 <__Hithere> erm, forgot the ~ sorry 05:25:57 <__Hithere> so, wahts gnoig on 05:26:43 -!- kmc has set topic: The how-to guide to become the new face of zero and one | PDF yourself: https://dl.dropboxusercontent.com/u/2023808/wisdom.pdf | logs: http://codu.org/logs/_esoteric/ or http://tunes.org/~nef/logs/esoteric/ | this spacetime intentionally left right. 05:26:45 ^v: why are you connected as both ^v and __Hithere? 05:27:20 <__Hithere> eloitlt, becusae i wnat to see how aewosme my txet lokos 05:28:38 i think someone read too much of that "people only need the first and last letters to be in the right place" theory 05:29:00 so you're not drunk?!?!?!?!?!?!?!? fals advertising 05:29:10 <__Hithere> nrep, sorry to dnpiiossat kmc 05:29:14 what this channel has become.......... 05:29:22 <__Hithere> buirfcank 05:29:36 <__Hithere> brainfuck 05:29:42 buttfuck 05:29:45 <__Hithere> bairn|fcuk 05:29:54 <__Hithere> hmm 05:30:00 <__Hithere> maby i should make it seperate by capitals 05:30:07 <__Hithere> so BrainFuck comes out properly 05:30:30 __Hithere: there is no such thing as BrainFuck. 05:30:39 you may be confusing it with brainfuck. 05:30:43 brbrbrbrbrbrbrbrbrbrbrbrbrbrbrbrbrbrbrbrbrbrbrbrbrbrb- 05:30:48 <^v> oh right 05:30:52 * ^v shoots himself in head 05:30:58 NOW THE HUNTER BECOMES THE HUNTED 05:31:15 <^v> is it good that i use http response code 337 for a project thingy? c_c 05:31:28 HTTP 402 Payment Required 05:31:39 <^v> so that the header looks like HTTP/1.1 337 H4X 05:31:45 * kmc hugs ^v 05:32:08 * __Hithere raeps kmc 05:32:13 not cool 05:32:18 <__Hithere> (i cant /me ~text) 05:32:22 <__Hithere> :( 05:32:30 none of that here plz 05:32:32 <__Hithere> i need to add thдt 05:32:33 <__Hithere> okay 05:32:39 why are you russian some of the time 05:32:46 <^v> wдt 05:32:51 <^v> im never russian 05:32:55 privyet 05:33:20 Я люблю большие окурки и я не могу лгать 05:33:42 <^v> Ш вщте дшлу нщг kmc нщг фку ф зщефещ. 05:33:59 ^v: i suspect nonexistent response codes are not recommended. 05:34:11 <^v> not for webpages 05:34:13 im a potato?!?!?!? 05:34:38 <^v> kmc has a russian keyboard 05:34:39 russian is hard 05:34:40 <^v> confirmed 05:34:41 no 05:34:49 <^v> (or memorized the keys) 05:34:55 <^v> c_c 05:35:00 ꙮ 05:35:10 <^v> ^ cant see this 05:35:19 ^----------------------- IM WITH STUPID 05:35:24 -!- __Hithere has quit (Quit: Leaving). 05:35:29 ;_; 05:35:37 <^v> :_: 05:35:39 by there 05:35:46 <^v> bye :) 05:35:51 <^v> i hated that bastard 05:35:56 <^v> he was an $%^hole 05:36:06 he had something to hyde 05:36:08 Русский Стандарт 05:36:20 <^v> Russian Standard 05:36:23 da 05:36:47 Вы хотите муравьев? потому что это, как вы получите муравьев 05:37:29 <^v> Нет, я, как картофель больше 05:38:10 <^v> Ш дшлу екфшты 05:38:14 kartofel 05:38:32 <^v> 05:38:45 05:38:54 <^v> 05:39:01 05:39:20 <^v> i dont like python 05:39:28 <^v> it is worth the title of joke esoteric language 05:39:35 not interesting enuf 05:39:41 <^v> Lua ftw 05:39:47 <^v> but its useless by itself 05:39:50 <^v> gmod ftw 05:40:13 those languages are so boring 05:41:00 <^v> [>->] 05:42:21 beep boop 06:18:58 What's a "cesloot"? 06:19:37 Presumably a "coolest". 06:20:36 not to be confused with a coopless 06:26:01 Ohh. (I slow.) 06:28:32 -!- FreeFull has quit (Quit: Cua). 06:31:21 -!- oerjan has quit (Quit: leaving). 06:56:17 -!- ^v has quit (Read error: Connection reset by peer). 06:58:06 -!- Bike has quit (Ping timeout: 245 seconds). 06:58:21 -!- Bike has joined. 07:13:48 -!- Bike has quit (Ping timeout: 240 seconds). 07:34:49 -!- Bike has joined. 08:26:30 -!- Zuu_ has joined. 09:10:34 -!- carado has joined. 09:26:23 -!- shikhin has joined. 09:42:48 -!- Zuu_ has changed nick to Zuu. 09:56:10 -!- AnotherTest has joined. 10:43:43 -!- MindlessDrone has joined. 11:22:04 -!- Sgeo has quit (Read error: Connection reset by peer). 11:31:13 -!- Taneb has joined. 11:32:13 Man, I forget how easy adblock makes watching youtube 11:32:26 Or having a desktop IRC client makes going on IRC 11:33:44 I had my first actual lectures this morning 11:34:09 One was an introduction to boolean logic, the other was an introduction to the concept of a computer architecture 11:34:17 I preferred the first one 11:34:31 I didn't think the second was very well presented 11:35:58 sounds exciting 11:36:37 -!- yorick has joined. 11:37:26 -!- S1 has joined. 11:51:50 -!- Bike has quit (Ping timeout: 240 seconds). 11:52:32 -!- Bike has joined. 11:55:27 So Bike what are you doing? 12:02:23 ah ok 12:02:27 good to hear 12:03:05 same 12:04:55 -!- Mayushii has changed nick to Lymia. 12:08:56 -!- Bike has quit (Ping timeout: 245 seconds). 12:26:01 -!- Taneb has quit (Quit: Page closed). 12:33:59 -!- S1 has quit (Quit: Page closed). 12:36:20 -!- Bike has joined. 12:46:38 -!- MindlessDrone has quit (Ping timeout: 240 seconds). 13:01:50 -!- MindlessDrone has joined. 13:04:16 -!- boily has joined. 13:05:23 -!- metasepia has joined. 13:06:23 -!- asie has joined. 13:10:07 -!- asie has quit (Read error: No route to host). 13:15:56 -!- asie has joined. 13:24:12 -!- Koen_ has joined. 13:25:22 -!- Koen__ has joined. 13:25:22 -!- Koen_ has quit (Read error: Connection reset by peer). 13:49:52 -!- Koen__ has quit (Quit: The struct held his beloved integer in his strong, protecting arms, his eyes like sapphire orbs staring into her own. "W-will you... Will you union me?"). 13:52:07 `pastewisdom 13:52:11 http://codu.org/projects/hackbot/fshg/index.cgi/file/tip/wisdom/ 13:53:47 @tell oerjan my perception skills are poor. I usually need 17+ on a check. 13:53:47 Consider it noted. 13:53:51 @tell oerjan indeed. 13:53:51 Consider it noted. 14:00:55 -!- asie has quit (Quit: My MacBook Pro has gone to sleep. ZZZzzz...). 14:04:08 -!- asie has joined. 14:08:02 -!- asie has quit (Client Quit). 14:18:42 -!- asie has joined. 14:30:36 -!- Zuu has quit (Ping timeout: 245 seconds). 14:31:13 -!- conehead has joined. 14:37:13 -!- Zuu has joined. 14:42:55 -!- shikhin_ has joined. 14:46:18 -!- shikhin has quit (Ping timeout: 264 seconds). 14:51:58 -!- nooodl has joined. 15:00:39 -!- FreeFull has joined. 15:03:27 -!- JWinslow23 has joined. 15:07:05 -!- carado has quit (Ping timeout: 245 seconds). 15:11:15 I'm working on a Hello World program in Tic-Tac-Toe. 15:11:25 So far, I have 60 games. 15:11:38 They print "Hello Wor" so far. 15:16:41 -!- Taneb has joined. 15:20:38 -!- Bike has quit (Ping timeout: 264 seconds). 15:23:28 -!- Sprocklem has joined. 15:23:45 Anyone wanna help convert other BF programs to Tic-Tac-Toe? 15:23:57 Maybe someone can make a conversion program! 15:24:01 I can't. 15:24:10 I'm terrible at non-esoteric programming. 15:24:25 At best, I'll make a table. 15:28:32 -!- Bike has joined. 15:40:50 "I'm terrible at non-esoteric programming" -> So write a BF version. Then convert it with itself. 15:43:20 -!- mnoqy has quit (Quit: hello). 15:44:11 -!- JWinslow23 has quit (Quit: Page closed). 15:55:55 help i think tic tac toe is kinda cute for a brainfuck derivative... 15:58:10 -!- Taneb has quit (Quit: Page closed). 16:00:11 -!- myname has quit (Ping timeout: 256 seconds). 16:07:25 -!- myname has joined. 16:07:48 -!- asie has quit (Quit: My MacBook Pro has gone to sleep. ZZZzzz...). 16:09:53 -!- carado has joined. 16:15:23 -!- ais523 has joined. 16:15:33 @tell JWinslow http://codepad.org/fBMEnC3S is this a valid bf->ttt conversion? the wiki article is kinda vague 16:15:33 Consider it noted. 16:19:08 -!- Sprocklem has quit (Ping timeout: 240 seconds). 16:21:37 -!- asie has joined. 16:23:05 @tell elliott I want to block the latest spambot (I think I've spotted a pattern) http://esolangs.org/wiki/Special:AbuseFilter/new appears to be a blank page; is there some sort of PHP issue going on on esolangs.org? 16:23:05 Consider it noted. 16:27:24 nooodl: It seems kinda wasteful. 16:41:18 -!- shikhin_ has changed nick to shikhin. 16:51:07 -!- Sprocklem has joined. 16:56:02 -!- Sprocklem has quit (Ping timeout: 264 seconds). 16:59:13 I have a dream... an Esolang Wiki without spam... 17:00:46 -!- augur has quit (Remote host closed the connection). 17:01:14 -!- augur has joined. 17:05:26 -!- augur has quit (Ping timeout: 240 seconds). 17:08:02 -!- Bike has quit (Ping timeout: 264 seconds). 17:16:27 -!- Sprocklem has joined. 17:17:51 shachaf: it sounds like Servo may get speculative tokenization of CSS a la http://research.microsoft.com/pubs/118795/pldi026-vaswani.pdf 17:17:54 p. exciting 17:21:11 -!- callforjudgement has joined. 17:21:11 -!- ais523 has quit. 17:21:37 -!- callforjudgement has changed nick to ais523. 17:21:40 that was hilarious 17:21:46 I started lagging, so I reconnected 17:21:50 in time to see the messages I'd just sent 17:23:41 -!- Taneb has joined. 17:27:16 -!- shikhin has quit (Ping timeout: 245 seconds). 17:36:03 ais523: ugh, same here 17:36:07 probably a version mismatch 17:39:34 -!- Sprocklem has quit (Ping timeout: 268 seconds). 17:44:23 -!- shikhin has joined. 17:47:41 -!- augur has joined. 17:54:45 -!- Phantom_Hoover has joined. 18:03:29 -!- Bike has joined. 18:04:01 -!- Taneb has quit (Quit: Leaving). 18:04:23 -!- Frooxius has quit (Read error: Connection reset by peer). 18:06:46 -!- Sprocklem has joined. 18:08:32 -!- Frooxius has joined. 18:08:37 -!- nisstyre has quit (Disconnected by services). 18:08:52 -!- nisstyre has joined. 18:11:01 -!- yours_truly has joined. 18:16:18 -!- Sprocklem has quit (Ping timeout: 264 seconds). 18:18:29 ~metar CYUL 18:18:30 CYUL 071810Z 22034G50KT 140V220 6SM -RA SCT022 OVC045 20/17 A2956 RERA RMK SC4SC4 PRESRR SLP011 DENSITY ALT 1000FT 18:21:54 -!- nisstyre has quit (Quit: Leaving). 18:22:36 -!- Sprocklem has joined. 18:30:01 -!- Sprocklem has quit (Ping timeout: 245 seconds). 18:32:13 -!- tswett has joined. 18:32:23 Hey guys. 18:33:49 So you guys know Delineate.hs? A certain Haskell module that pretty much purports to implement linear typing, in Haskell. 18:34:58 This morning, during statistics class, I tried to replicate it. I could remember the definitions for Not and the turnstile, but nothing else. I came up with an implementation of Plus, and then I just used Not to turn it into an implementation of With. 18:35:22 did you learn any statistics 18:35:27 I don't think so. 18:36:09 So then I realized that given a linear type, the double negation of that type is always equivalent to the original type. So I added a new class, Dne, with a function called dne that lets you eliminate double negation. 18:36:18 This allowed me to simplify my implementation of With. 18:36:34 Then I go look here, and it turns out my implementation of With is this guy's implementation of Times. 18:36:35 so... you added stuff to remove stuff? 18:36:58 They can't both be right, can they?????? 18:36:59 * boily scratches his head in paradozzulment 18:37:00 boily: something like that, yeah. 18:37:42 So now I'm skeptical that this guy's Times is actually Times and not just With, because the thing he calls Times ought to be With. 18:40:28 It kind of seems like it is. Ich estoy confused. 18:42:34 I'll try to get a better idea of *how* this guy's stuff corresponds to linear logic. Like, what the actual correspondence is. 18:42:35 tswett: Je am 慌てている también. 18:44:10 Google Translate says "慌てて" means "hastily". 18:44:51 ah? 18:45:20 it also suggests “perpexedly”. 18:45:30 Ah, so it does. 18:46:18 i am perplexedly always? that's some deep shit boily. 18:46:24 Je don't parlare Japanisch. 18:46:28 También is also, not always. 18:46:38 same diff 18:46:41 Bike: I am deep. it was -RAing today. humidity confuses my neurons. 18:46:54 why your neurons specifically? 18:46:56 -!- ^v has joined. 18:47:16 tswett: et avec mon (supposément horrible) accent français, the confusion propagates by itself. 18:47:54 Bike: statistically, I have way more neurons than anything else in my body, modulo gastrointestinal bacteria. 18:48:41 uh... you are human, right? or am i making bad assumptions? 18:49:25 I have five fingers per hand, and I dislike BF derivatives. I think I am human, or under ~duck typing, something that moderately acts like one. 18:49:53 Is a ~duck a function that takes a duck and doesn't return? 18:50:35 hmm, there's an interesting insider trading speculation going on 18:51:01 it seems as though some people became aware of the contents of a specific announcement that was going to be released at a specific time 18:51:07 -!- nisstyre has joined. 18:51:09 tswett: it's a function that takes an unwanted query, then returns no information. 18:51:21 Ooh, I love those. 18:51:23 -!- asie has quit (Quit: My MacBook Pro has gone to sleep. ZZZzzz...). 18:51:25 and acted upon it after it had been announced, but before there was time for the information to reach the markets even at the speed of light 18:52:01 Isn't that a window of a few hundred milliseconds? 18:52:11 i mean i'm just saying, you have less than a hundred billion neurons, and more than a hundred trillion cells. by cell count you probably have more fascia or something 18:52:17 tswett: it was 7ms in this particular case 18:52:22 wikipedia says that there are about a thousand more bacteria in your gut than neurons in your brain. “The human body carries about 100 trillion microorganisms in its intestines” “One estimate puts the human brain at about 100 billion (10¹¹) neurons” 18:52:26 but finance trading software's faster than that nowadays 18:52:37 boily: well yes, but your body has other cells in it. 18:52:48 I must admit to being a bit surprised that there is a non empty intersection of relativity and finance law. 18:53:17 ais523: is it time for me to recommend krugman's paper on hyperspace arbitrage again 18:53:30 Bike: that seems like a great recommendation 18:53:32 I won't read it 18:53:37 Yeah, the relative order of those two events seems to depend on the frame of reference, doesn't it. 18:53:39 but I enjoy the fact that it exists 18:53:40 aw, but it's full of jokes 18:53:48 ais523: isn't it easily explainable by the fact that news organisations are allowed to transfer the data to their own servers in preparation for releasing it? 18:54:00 so it can be released immediately at the scheduled time once copied 18:54:04 ~duck fascia 18:54:08 http://www.princeton.edu/~pkrugman/interstellar.pdf 18:54:12 elliott: this was a big federal announcement in the US 18:54:17 ais523: so, is anyone actually going to get prosecuted here? 18:54:18 and they were intentionally keeping it secret until a specific time 18:54:19 the really weird thing is that US securities law mandates a notional single reference frame for the National Market System, even though this is physically impossible 18:54:25 .............metasepia......... 18:54:36 and they knew how time-sensitive it was, thus they specified the time they'd release it in advance, and used an atomic clock to make sure 18:54:43 tswett: who knows 18:54:48 my guess is no, but it's quite early yet 18:55:07 -!- metasepia has quit (Remote host closed the connection). 18:55:11 ais523: yes, I know 18:55:15 ais523: so the information was time-sensitive down to less than a second? 18:55:23 ais523: if you read the news articles it says news organisations are allowed to see and IIRC copy the data before it's announced 18:55:27 tswett: yes 18:55:34 -!- metasepia has joined. 18:55:36 elliott: hmm, right 18:55:38 ~duck fascia 18:55:39 fascia definition: a flat usually horizontal member of a building having the form of a flat band or broad fillet. 18:55:41 ais523: so it's perfectly plausible they just copied it to a nearer server before the release date, as far as I know 18:55:56 this is a plausible explanation 18:55:57 ais523: thus allowing simultaneous release at both locations, because you already paid the light-speed requirement in transferring it beforehand 18:56:20 I'd like to think that if it was that simple there would be no story, but... 18:56:21 ais523: so... do you have a link to this or something? 18:56:47 if I send an order to buy stock on NASDAQ, and NASDAQ thinks that I can get a better price on BATS, then they are legally required to route my order to BATS, but they might do this on the basis of their link to BATS being slow and the order can't actually be filled by the time it gets there 18:56:52 v. annoying 18:57:11 tswett: http://www.washingtonpost.com/blogs/wonkblog/wp/2013/09/24/traders-may-have-gotten-last-weeks-fed-news-7-milliseconds-early/ 18:58:41 -!- Bike has quit (Ping timeout: 248 seconds). 19:01:17 Okay. So the article says that they placed the order at about 2:00:00.002, even though theoretically, there was no way they could have gotten that information until 2:00:00.007. 19:03:47 , that's not insider trading. The information was released at 2:00:00.000, so they placed the order after the information was publicly available. That may be really unfair, but the purpose of insider trading laws isn't to make the marketplace more fair; it's to prevent people with insider knowledge from leaking it. 19:04:35 tswett: not sure anyone understands this correctly 19:04:45 I doubt it's ever come up before 19:05:52 what's the purpose of preventing them from leaking it 19:05:55 if not to make things more fair 19:06:24 kmc: they obtained the information through some sort of agreement that obliges them to keep the information private. 19:06:48 Or through illegitimate means. 19:07:21 -!- Bike has joined. 19:09:01 boily: connective tissue. the stuff that keeps your heart tied to your ribcage. 19:09:37 But yeah, the article makes a good point, I think. People trading securities ignorantly (i.e. literally everyone) are injecting free money into the market, or something like that, and all these guys compete to be the first to slurp it up. 19:10:09 http://en.wikipedia.org/wiki/Rolfing haha what the fuck, awesome 19:11:01 tswett: I don't know about "literally everyone"; the public US equity market is pretty damn efficient these days. it's hard to get a foothold building a new HFT strategy from scratch as there's very little low-hanging fruit 19:11:46 kmc: yeah, but of all the people trading securities, not one of them knows *all* of the relevant information. 19:12:05 brokerages get a lot of stupid orders but they'll match them internally or route them to various "dark pools" etc. before it hits the public market 19:12:27 tswett: hm, ok, I guess that's a valid use of the word "ignorant"; I read a value judgement into it that wasn't there 19:12:34 but I wouldn't say they're injecting "free money" then 19:12:42 combining all that relevant information has a cost 19:12:46 Yeah, true. 19:12:53 I don't know all the information relevant to this thai chicken i just bought for lunch but i'm confident that the purchase was a good decision. 19:12:54 the people who don't pay that cost are paying others to do it for them 19:13:00 or something 19:13:07 isn't HFT more along the lines of like, basically shaving cents off each transaction? 19:13:11 -!- Sprocklem has joined. 19:13:29 Bike: what the rolfungot is that... 19:13:29 boily: is the source free? can i write 19:13:35 long term investors don't care about the last penny of the price; somebody else pays a bunch of physics PhDs and buys a bunch of servers to get that last penny from them 19:13:38 Fiora: that's not how it's defined, but that's what it normally does in practice 19:13:39 both parties walk away satisfied 19:13:41 fungot: of course you can. you just need an account on wikipédia. 19:13:41 boily: or lichen. not. know. 19:13:42 boily: pretty hilarious 19:13:51 I remember reading an article where they were doing cheesy things like using recognition algorithms to find large institutional trades 19:13:54 Fiora, ais523: there are all kinds of different HFT strategies 19:13:57 basically, suppose I want to buy something from you, I'm willing to pay £7, you're willing to sell it for £6 19:13:57 and then like, take advantage of that 19:14:12 if we just made the deals with each other directly, we'd probably agree on a price somewhere in between 19:14:30 in the markets, what will normally happen is that HFT bots will try to react as quickly as possible to us placing the buy or sell orders 19:14:39 then buy it from you for £6 and sell it to me for £7 19:14:48 so like super short timescale arbitrage? 19:14:49 Bike: indeed. my previous top-quackering holistic body manipultion technique was accupressure, but I think that one takes the cherry. 19:14:51 Fiora: yep 19:15:13 fungot: lichen tastes good. I had it once in China. 19:15:13 boily: every procedure returns a recurisve procedure. http://www.kendyck.com/ 2005/ 02/15-feb-2005 the scsh manual is?! 19:15:27 boily: i wish my whole body was organized in gravity. 19:15:44 anyway, this is tolerated because it increases liquidity; if I want to buy something for £7, and it normally trades for less than that, then the HFT bots will sell it to me immediately 19:15:49 Bike: btw, what does it mean? 19:15:56 boily: what does what mean 19:16:00 in anticipation of someone selling it for less than that soon (say, when you come along with your £6 version) 19:16:22 so I pay more than I might have to if I'd traded with you directly, but I get the trade fulfilled faster 19:16:40 So suppose that first you place an order of BUY LIMIT 7. Then I guess the bots could place an order of BUY LIMIT 6 right away. Then I place an order of SELL LIMIT 6, and so I sell it to the bot. Then the bot places an order of SELL LIMIT 7 and sells it to you. 19:16:42 Yup, that works. 19:16:52 Bike: to be organized in gravity. 19:16:54 some strategies provide liquidity, some of them take liquidity 19:16:58 both can be classified as HFT 19:17:09 fungot: the recursion that can be recursed is not the true recursion. 19:17:09 boily: I don't know but it sounds relaxing. 19:17:09 boily: it is not so much so that a reload can work" occasions. stupidity isn't so special. eg. many doctors think that multiple sclerosis ( fnord), fnord ( the old style negation symbol looks in between and good key travel 19:17:16 some strategies lose money on average except that exchanges pay you to provide liquidity 19:17:37 Bike: I'm sure I can find at least on place here. 19:17:56 I'd love to see the origin of "every procedure returns a recurisve procedure". 19:17:57 s/on/one 19:18:09 `pastlogs every procedure returns 19:18:13 ​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: pastlogs: not found 19:18:20 it could be, like, markov. 19:18:28 Search for "recurisve procedure", man. 19:18:30 "every procedure returns" and "returns a recurisve procedure" massed up. 19:19:10 Bike: what do you know → http://www.rolfing.qc.ca/engl/rolf2.htm 19:19:18 Yeah, but what sorts of things return recurisve procedures? 19:19:45 https://www.google.com/search?q=recurisve this misspelling is more common than i thought. 19:19:53 I guess you could say that the Y combinator returns a recurisve procedure. But we wouldn't call it a procedure. 19:20:23 boily: damn. 19:21:33 Like, since it's a "procedure", that seems to imply that it's an actual piece of computer code. A recurisve one, to boot. But what sort of thing would specifically return a piece of recurisve code, rather than just any type of code? Not a compiler. Usually. 19:21:51 "I have the profound conviction that our bodies are the physical manifestation of who we are." 19:21:51 -!- nooodl_ has joined. 19:21:58 tswett: self-self-modifying code? 19:22:53 what if it meant "recursive" as in "computable", eh 19:23:16 Hmmm. That's a possibility. 19:23:24 recurisve* 19:23:42 Fiora, ais523: a lot of strategies can be decomposed as a "signal" that tells you what assets would be good to own right now, and an execution engine which buys those at the best possible price by understanding market microstructure 19:23:52 boily: by the way, if your neurons are directly exposed to atmospheric humidity, i recommend consulting a medical professional immediately. preferably a certified Rolfer ™. 19:24:45 in some cases the former is trivial, e.g. a pure market maker which is willing to go long or short on anything. in that case the execution had better be very good so that you can unload the position when the market moves 19:25:07 :-D. The video could be straight from The Onion. I also laughed when a Fox News employee explained with a straight face that since people don’t have the time to find out what’s true and what’s not, Fox News will helpfully do that for them. http://www.theverge.com/2013/10/7/4812630/fox-news-shepard-smith-news-deck 19:25:20 -!- nooodl has quit (Ping timeout: 248 seconds). 19:25:36 Bike: can one auto-rolf oneself? I have this emotional attachment to my precious brain. 19:25:44 ion: that is an awesome picture 19:25:51 but often the signal is based on observed patterns and statistical correlations between assets and such 19:25:58 boily: you'll have to get certification in practicing Rolfing ® first. 19:26:01 So, like... what happens when a person sells stock short, or something, and then they don't have enough money to buy it back? 19:26:07 also, you can factor out the execution engine as a service, and this is often done within a firm, but brokers will also do it for you 19:26:10 Presumably someone has to pay for that. 19:26:30 -!- MindlessDrone has quit (Quit: MindlessDrone). 19:26:37 they'll offer a service which guarantees to buy a stock over the next minute and give you a price which is at most x basis points above the volume-weighted average price over that minute 19:26:46 Guess I need to go. Auf Wiedersehen. 19:26:50 -!- tswett has quit (Quit: Page closed). 19:26:56 oh I was going to answer the question :/ 19:26:59 «"We call these BATs," Smith notes. "Big area touchscreens."» it's so beautiful 19:27:43 uhm. in Québec French, «toucher son bat» is very obscene... 19:28:10 what's it mean 19:28:22 -!- nisstyre has quit (Quit: Leaving). 19:28:43 'This is to apprise you that $1.9 Million USD was paid out to us by the United Nations in conjunction with Microsoft... 19:28:46 They have successfully succeeded in depositing "your" total funds of $1,900,000.00 with us here at Western Union, Malaysia.' 19:29:03 you had two million dollars? do you have any more? can i have some? 19:29:27 kmc: «bat» is slang for penis. 19:36:14 why does each time I mention something embarassing do all conversations suddenly stop? 19:36:27 My chicken is spicy. I can't talk. 19:37:38 good point. chicken has ultimate priority. 19:37:53 what isn't slang for penis, really 19:40:00 kmc: "what" isn't slang for penis 19:40:08 at least, not before I said that 19:40:10 now it probably is 19:40:22 no, it was before you said that, i can think of how 19:40:44 Bike: it has to actually be used for that purpose to be slang 19:40:52 yes, i know 19:40:52 or at least appear on Urban Dictionary 19:43:02 "Note: This fund is coming in 2 security proof boxes which are sealed with Synthetic nylon seal and padded with machine." 19:43:03 The Oxford Dictionary of Euphemisms lists "what you may call it" ("often shortened to whatsit, less often to whatzis") with the meaning of "any taboo object". 19:43:42 yeah, that's the sort of thing i was thinking o. 19:43:43 f 19:43:57 "The whatsit is through there if you want it. (B. Forbes, 1983--a woman was indicating where the lavatory lay)" 19:44:09 let's see so World Fund Management wants to give me $7.3M, Standard Chartered is sending me $65M, and the United Nations / Microsoft are sending me $1.9M 19:44:15 fizzie: but that's a different word 19:44:18 lucky. 19:44:40 my spam box has a $10.5m thing from Nigeria 19:44:40 ("whistle" is slang for penis. (Didn't have to read very far to find one.)) 19:44:40 * ais523 wonders what "padded with machine" means 19:44:55 I am vaguely afraid to open any of them though 19:45:03 * kmc asks the padding oracle 19:45:33 -!- asie has joined. 19:48:24 "jump² a single act of copulation" 19:48:28 -!- Sprocklem has quit (Ping timeout: 240 seconds). 19:50:31 kmc: why are they giving you money? 19:51:02 cause i'm so great 19:51:17 Copulation in Three Acts 19:56:38 -!- Bike has quit (Ping timeout: 264 seconds). 20:00:17 -!- Bike has joined. 20:15:36 -!- asie has quit (Quit: My MacBook Pro has gone to sleep. ZZZzzz...). 20:29:46 -!- AnotherTest has quit (Ping timeout: 268 seconds). 20:38:57 checking whether the C compiler (clang -fPIC -fPIC -fPIC) works... no 20:39:03 maybe with a fourth -fPIC ?!?!?!? 20:40:14 kmc: you sound like fungot. 20:40:44 -!- ais523 has quit. 20:40:47 fungot: Why u no reply? 20:40:47 fizzie: invalid syntax delay and force are deficient. is that possible. 20:40:53 Oh, okay. 20:41:20 fungot: what have I done to you? 20:41:20 boily: " you must be 20:41:32 fungot: I must be... what? 20:41:33 boily: oh offby1, it's not useful 20:42:53 * boily slaps fungot "get a hold of yourself!" 20:42:53 boily: it's silly to junk up a page for the 21st century or something for tseitsei and perhaps others too: http://www.deviantart.com/ view/ fnord 20:43:22 http://www.techdirt.com/articles/20131005/01383624761/how-telecom-helped-government-spy-me.shtml 20:46:11 fungot: obviously. 20:46:12 boily: stalin compiling itself is, just a clue 20:46:17 ion: obviously. 20:47:30 -!- Phantom_Hoover has quit (Ping timeout: 245 seconds). 20:50:32 -!- Taneb has joined. 21:01:17 -!- augur has quit (Remote host closed the connection). 21:15:46 -!- Phantom_Hoover has joined. 21:24:35 -!- boily has quit (Quit: ASSERTIVE CHICKEN!). 21:24:36 -!- metasepia has quit (Remote host closed the connection). 21:34:45 -!- Zuu__ has joined. 21:34:51 -!- Zuu has quit (Ping timeout: 245 seconds). 21:38:08 -!- oerjan has joined. 21:41:55 -!- augur has joined. 21:42:20 `pastelogs @tell boily 21:42:25 @messages-loud 21:42:25 boily said 7h 48m 37s ago: my perception skills are poor. I usually need 17+ on a check. 21:42:25 boily said 7h 48m 33s ago: indeed. 21:42:54 HackEgo: chop chop 21:43:06 http://codu.org/projects/hackbot/fshg/index.cgi/raw-file/tip/paste/paste.3029 21:44:19 HackEgo: chop chop 21:45:31 -!- yours_truly has quit (Quit: Leaving). 21:46:12 -!- nisstyre has joined. 21:48:38 -!- nooodl_ has quit (Ping timeout: 240 seconds). 21:56:31 -!- Taneb has quit (Quit: Leaving). 22:00:14 -!- carado has quit (Ping timeout: 264 seconds). 22:02:56 -!- Bike has quit (Ping timeout: 245 seconds). 22:04:44 -!- shikhin has quit (Ping timeout: 268 seconds). 22:05:35 -!- shikhin has joined. 22:11:22 -!- Bike has joined. 22:14:32 `pastelogs recurisve 22:14:55 http://codu.org/projects/hackbot/fshg/index.cgi/raw-file/tip/paste/paste.1949 22:15:30 ^style 22:15:30 Available: agora alice c64 ct darwin discworld enron europarl ff7 fisher fungot homestuck ic irc* iwcs jargon lovecraft nethack pa qwantz sms speeches ss wp youtube 22:16:23 @tell boily fungot's irc style includes some logs from #scheme, the recurisve thing probably comes from there. 22:16:23 Consider it noted. 22:16:23 oerjan: that's why i was confused by spurious control chars coming out of nothing but cornstarch water. you would see them as seperate libraries instead of solving f(x,y,z,t) 0 for x 0 99 22:16:57 fungot: I would also be confused by that... 22:16:57 olsner: it was quick and she i let her fnord out one last zippy the pinhead is a character from the input from a file; i don't wnat to setup output to fnord to 22:17:23 i see #scheme takes grieving over their idols seriously. 22:18:07 hi fungot 22:18:08 shachaf: ( r6rs seems pretty cool game, supports many languages) fnord work 22:19:18 fungot got got 22:19:18 shachaf: and another satisfied customer. next! *grin* 22:22:48 -!- conehead has quit (Quit: Computer has gone to sleep.). 22:27:15 -!- augur has quit (Remote host closed the connection). 22:28:01 -!- augur has joined. 22:28:40 "I have the profound conviction that our bodies are the physical manifestation of who we are." <-- finally a profound statement we can all agree with! 22:28:55 -!- JWinslow23 has joined. 22:29:05 except, perhaps, the profundity part. 22:29:42 I figured out my Hello World program! It is 101 instructions in BF, and 81 games in TicTacToe. Wow. 22:29:58 I'll upload it soon! 22:30:05 hm... 22:30:24 !bf_txtgen Hello, World! 22:30:29 ​140 ++++++++++++++[>+++++>+++++++>+++>++++++<<<<-]>++.>+++.+++++++..+++.>++.------------.>+++.<<.+++.------.--------.>+.-----------------------. [238] 22:30:53 !bf_txtgen Hello World 22:30:55 ​110 ++++++++++[>+>++++++++++>+++++++>+++<<<<-]>>>++.<+.+++++++..+++.>>++.<+++++++++++++++.<.+++.------.--------.<. [831] 22:31:00 I'm talking about the wiki example. 22:31:04 oh. 22:31:56 ++++++++++[>+++++++>++++++++++>+++>+<<<<-]>++.>+.+++++++..+++.>++.<<+++++++++++++++.>.+++.------.--------.>+.>. 22:32:35 wait what 22:32:56 JWinslow23: so, you have your language specified? 22:33:19 What is specified? 22:34:26 tictactoe 22:34:47 ^bf ++++++++++[>+++++++>++++++++++>+++>+<<<<-]>++.>+.+++++++..+++.>++.<<+++++++++++++++.>.+++.------.--------.>+.>. 22:34:47 Hello World!. 22:34:53 I have all of the syntax (and cat program) down. 22:35:22 -!- augur has quit (Remote host closed the connection). 22:35:43 JWinslow23: oh the wikipedia one. that's shorter yes. here in this channel, "the wiki" usually means the esolang wiki (also we all are disgusted by people calling wikipedia just "wiki" hth) 22:37:27 (as we all know, the full name is wikiwikipedia) 22:39:05 -!- JWinslow23 has quit (Ping timeout: 250 seconds). 22:44:54 oh wait the wikipedia one isn't shorter, it was 111 chars. 22:52:55 the wikipedia one looks txtgen made, unlike the one on esolang. 22:53:39 oh hm 22:54:00 !bf_txtgen Hello World! 22:54:03 ​111 ++++++++++[>+++++++>++++++++++>+++>+<<<<-]>++.>+.+++++++..+++.>++.<<+++++++++++++++.>.+++.------.--------.>+.>. [243] 22:55:19 ok now i had the same text and it's identical to wikipedia. 22:55:45 indeterminism~ 22:56:14 no, i just didn't write precisely Hello World! before. 22:56:32 !bf_txtgen Hello World! 22:56:34 ​111 ++++++++++[>+++++++>++++++++++>+++>+<<<<-]>++.>+.+++++++..+++.>++.<<+++++++++++++++.>.+++.------.--------.>+.>. [324] 22:56:58 er, what's the bracketed number even do 22:57:07 ^bf >+++++++++[<++++++++>-]<.>+++++++[<++++>-]<+.+++++++..+++.>>>++++++++[<++++>-]<.>>>++++++++++[<+++++++++>-]<---.<<<<.+++.------.--------.>>+. 22:57:07 Hello World! 22:57:25 Bike: number of execution steps, i think 22:57:44 !bf_txtgen Hello World! 22:57:47 ​115 +++++++++[>++++++++>+++++++++++>++++>+<<<<-]>.>++.+++++++..+++.>----.<<+++++++++++++++.>.+++.------.--------.>+.>+. [189] 22:58:04 now that's more like it 22:58:43 243and 324 are different even though it looks like the code is the same... 22:59:29 oh good point. 22:59:40 maybe it's genetic algorithm steps, then. 23:05:46 * oerjan makes our wiki use the shorter version too. 23:06:19 -!- Bike has quit (Ping timeout: 246 seconds). 23:09:47 -!- lexande has joined. 23:12:11 hexande 23:12:16 hkmc 23:12:20 are you here for nobel prize season? 23:12:39 a nobel endeavor? 23:14:07 you can award your own nobel prizes when you can come up with an endowment big enough for a million dollar prize annually 23:14:22 when I become a central bank you mean 23:14:38 and get some scandinavian institution to agree to make the decisions 23:16:09 -!- JWinslow23 has joined. 23:17:40 what if i want to award micronobel prizes 23:18:07 Look at the wiki page for my language, TicTacToe. http://esolangs.org/wiki/Tic_Tac_Toe 23:18:17 Any suggestions? 23:18:56 kmc: how about the fact that nobel's will says the prize in literature is only for work in an idealistic direction 23:19:06 LOOK! At the picture. SEE! The skull. The piece of skull removed. 23:19:10 lexande: wtf 23:19:37 -!- Bike has joined. 23:20:56 @tell ais523 or at least appear on Urban Dictionary <-- ok i see cocaine and marihuana, but not penis. 23:20:56 Consider it noted. 23:21:10 it's for science. 23:21:56 perhaps cocaine is itself slang for penis 23:22:32 `? bsdmreclist 23:22:35 bsdmreclist? ¯\(°_o)/¯ 23:22:51 it's not a wisdom entry, it's just a file 23:22:52 `? bdsmreclist 23:22:53 `cat bdsmreclist 23:22:55 cat: bdsmreclist: No such file or directory 23:22:55 ​* oerjan swats quintopia -----### \ Phantom_Hoover: it records all the big hits 23:23:17 hmm, those were meant to be out of order 23:23:33 YOU are out of order. 23:23:39 whisky dick, cocaine cock 23:23:56 umm 23:24:03 `run echo YOU are out of order. >> bdsmreclist 23:24:04 bash: oerjan: No such file or directory 23:24:06 this is clearly a strange place 23:24:12 lexande: what were you expecting 23:24:19 `run echo " YOU are out of order." >> bdsmreclist 23:24:22 `relcome lexande 23:24:23 No output. 23:24:25 ​lexande: Welcome to the international hub for esoteric programming language design and deployment! For more information, check out our wiki: http://esolangs.org/wiki/Main_Page. (For the other kind of esoterica, try #esoteric on irc.dal.net.) 23:24:29 lexande: NOW you are realizing? wait are you new here. 23:24:33 darn too late. 23:24:44 i thought lexande looked familiar. 23:24:44 `quote 23:24:46 713) I think we are sort of this insane, and also sort of not as much as insane, and also sort of a bit more insane than that, and also somewhat more various other thing at various times whatever you are discussing at that time 23:24:57 kmc: very poignant. 23:24:58 that quote is hella apropos 23:25:02 oerjan: i've stuck my head in here a few times previously 23:25:09 i recall it being less strange 23:25:11 and you have always left with your head too! 23:25:17 lexande: it's my civilizing influence 23:25:18 that's true 23:25:26 wait, poignant is not a synonym for apropos 23:25:29 it may be strange but it doesn't seem dangerous 23:25:30 -!- shikhin_ has joined. 23:25:37 `quote kmc 23:25:39 588) COCKS [...] truly cocks \ 618) You should get kmc in this channel. kmc has good quotes. `quote kmc 686) COCKS [...] truly cocks Well, in theory. \ 689) damn i should make a quasiquoter for inline FORTRAN \ 692) has there been any work towards designing programming l 23:25:40 also I can do this now: 23:25:46 -!- ChanServ has set channel mode: +o kmc. 23:25:49 `quote lexande 23:25:51 -!- ChanServ has set channel mode: -o kmc. 23:25:51 939) sometimes i am confronted with a problem and i think "I know, I'll use Banach-Tarski" 23:26:20 lexande, do these problems involve not having enough of something 23:26:21 `run quote kmc | shuf 23:26:23 1044) would not be surprised to find out this tumblr is guerilla marketing by wolfram co to sell mathematica to stoners \ 1000) man at least job applications in biosciences are just like "you are willing to put your arms through a cow" Bike: please send us a link to your CowHub profile of cows you have previously put your arms t 23:26:29 `run quote kmc | shuf 23:26:32 724) aim hecker (n): when ur dronk and u pee so bad all over the toilet that ppl make fun of u (corruption of "aim heckler") \ 999) healthy immune system is a wonderful thing, you gotta take advantage sometimes i eat food off the ground just to keep mine on its toes \ 956) Sgeo_, are you just trying to pos 23:26:38 -!- JWinslow23_ has joined. 23:26:57 Phantom_Hoover: ... 23:27:06 what 23:27:11 -!- JWinslow23 has quit (Ping timeout: 250 seconds). 23:27:17 what did i do this time 23:27:18 Phantom_Hoover: you seem to have been whooshed by that quote. 23:28:09 oerjan: mostly i am a friend of kmc's from way back. i also know shachaf from Another Place 23:28:11 oh is the joke that you'll have as much problem as you like 23:28:11 `? cello 23:28:14 ​The high level stucture of Cello projects is inspired by /Haskell/, while the syntax and semantics are inspired by /Python/ and /Obj-C/. 23:28:20 WTF? 23:28:43 Phantom_Hoover: the joke is that it's an allusion to the regexp joke. 23:28:50 also, banach-tarski. 23:28:54 -!- shikhin has quit (Ping timeout: 264 seconds). 23:28:58 yes, that would make sense 23:29:17 `run quote kmc | shuf 23:29:19 842) i would subscribe to @zzo38_ebooks kmc: I have no ebooks which can subscribe to \ 865) i like the idea that if you name your country a Soviet Republic you automatically get the right to call up Lenin on the telephone and complain about bathroom pranks \ 984) i'm not actually competent at hacking things umm 23:30:18 `quote 984 23:30:19 984) i'm not actually competent at hacking things ummmm kmc dont u mean `cracking' [tiny glider symbol with "hacker pride" written next to it in silkscreen] [head of a gnu] [tux penguin] [face shoved in toilet] 23:30:41 kmc why u do this 23:30:48 which? 23:30:52 my quote 984? 23:30:57 that was kind of kmc.jerkcity.moed++ 23:31:04 because elliott's a nerdeeee 23:31:08 no, `run quote kmc | shuf 23:31:12 oh why not 23:31:23 oerjan started in with the `quote kmc 23:31:29 but the earliest quotes are embarassing and bad 23:31:31 so i had to shuf them 23:31:44 to get other embarassing quotes. 23:31:46 `run quote lexande | wc -l 23:31:48 1 23:31:50 oerjan: but not bad ones! 23:31:56 it's beyond me why you would be embarassed by cocks 23:31:58 true, true. 23:32:02 i'm pretty happy with my one quote 23:32:16 `quote lexande 23:32:18 939) sometimes i am confronted with a problem and i think "I know, I'll use Banach-Tarski" 23:32:29 `quote tarski 23:32:31 939) sometimes i am confronted with a problem and i think "I know, I'll use Banach-Tarski" 23:32:32 i was expecting " i'm pretty happy with my one quote" 23:32:38 i feel tarski's the less appreciated of the pair 23:32:44 `? banach-tarski 23:32:53 ​"Banach-Tarski" is an anagram of "Banach-Tarski Banach-Tarski". 23:33:05 tarski, as in "proved reals decideable" tarski, is underappreciated? 23:33:05 we should have something cleverer there 23:33:11 Phantom_Hoover: but, Tarski undefinability of truth, and Tarski-Vaught test for elementary substructures, and stuff 23:33:19 yeah what he said 23:33:26 i mean banach's theorem is cool too but c'mon 23:33:29 vs. banach space? i know which i've heard of more 23:33:37 and he has a theorem of his own! 23:33:40 whereas only analysts care about banach mostly 23:34:00 maybe you've been spending too much time in infinite-dimensional space, phantom 23:34:12 -!- Sgeo has joined. 23:34:15 maybe you've been spending too much time around analysts 23:34:18 whereas only logicians care about tarski? 23:34:22 -!- JWinslow23_ has quit (Quit: Page closed). 23:34:28 yeah, well, which one is closer to this channel 23:34:32 well i do avoid logicians when i can... 23:35:01 what did we ever do to you 23:35:04 programmers are confused and scared by reals, man 23:35:11 that's because real numbers are /fucked up/ 23:35:18 Phantom_Hoover: well you see, since tarski and banach are both half of banach-tarski, they are also equivalent to the whole 23:35:25 see like that *points and laughs at kmc* 23:35:51 oerjan, oh ofc. 23:35:57 though speaking of unknown hyphenated mathematicians, i only looked up who bendixson was today 23:36:02 and i already forgot 23:36:11 -!- mnoqy has joined. 23:36:17 good job 23:36:21 good story 23:36:38 "As a young student Bendixson made his name by proving that every uncountable closed set can be partitioned into a perfect set (the Bendixson derivative of the original set) and a countable set." deep, apparently 23:37:04 maybe he was just trying to get the name bendixson on things 23:37:20 i know i would 23:37:24 mathematicians: taking derivatives of things since 1680 23:37:33 well he's mostly known for the "poincaré-bendixson theorem" and poincare is obviously famouser 23:37:37 AUGH he was a fucking SWEDE 23:37:56 the curry-howard correspondance is the curry-howard-de Bruijn correspondance in .nl 23:38:11 it's kind of weird to say someone's name is cool and then complain about their nationality 23:38:24 imo debruijn++ 23:38:57 Bike, i... didn't say it was cool! 23:39:04 you implied it 23:39:14 implying is the new saying 23:39:58 "You infer, I imply" 23:40:07 Bike: oh, i only heard of him because of cantor-bendixson rank 23:40:21 huh i have never heard of that 23:40:33 maybe he's more famous than i realized.................. 23:40:48 -!- yorick has quit (Remote host closed the connection). 23:41:01 does the "s" actually do anything in "Bendixson"? 23:41:09 or is it just like, okay, here's an "s" to help you get over that "x" 23:41:16 it says he's son of bendix obviously 23:41:17 probably copied other people's work and pretended he discovered it independently 23:41:23 to get his name on things 23:41:43 Phantom_Hoover: well poincare-bendixson was him ironing out an earlier proof by poincare. 23:42:36 oh, but it went the opposite way with "bendixson-dulac" 23:43:00 maybe mathematics isn't actually driven by single geniuses and a bunch of hangers on........ 23:44:38 -!- Phantom_Hoover has quit (Quit: Leaving). 23:44:42 elliott: seems "bengtsson" is another form 23:45:54 -!- Phantom_Hoover has joined. 23:45:58 maybe mathematics isn't actually driven by single geniuses and a bunch of hangers on........ 23:46:10 hi 23:46:17 on this general topic can i have 3 minutes of hate for the wolframs 23:46:27 plural, now? 23:46:35 yes 23:46:36 elliott: i think the s does something, yes 23:47:14 ben dix son 23:47:33 i saw a new kind of science in my uni bookstore, had a good chuckle 23:47:42 conrad's now going around doing TED speeches about how terrible maths education is and how we all have to fix it by teaching all the kids with mathematica 23:47:55 i love ted talks. they're so bad 23:48:09 also elliott you know alice atlas? 23:48:26 "Wolfram has been a prominent proponent of 'Computer-Based Math'- a reform of mathematics education to make greater use of information technology. [4][5][6][7][8][9][10][11][12]" hmm not sure i buy it better find some more sources 23:48:36 warwick has a big TED^x conference 23:48:41 i know people who go and all 23:48:41 lexande: yeah, for 7 years :) 23:48:48 yay for the world being small 23:48:55 «he argued that "Maths should be more practical and more conceptual, but less mechanical,"[19] and that "Calculating is the machinery of math - a means to an end."» is this even coherent 23:49:30 Phantom_Hoover: what i've seen of tedx has been way worse than even regular ted 23:49:44 Bike, keep in mind that vortex math had its big break at a tedx 23:49:54 haha 23:49:57 i've only seen the vortex math tedx 23:50:14 some kind of joke about how singular geniuses are not invertible 23:50:16 it was a good tedx though 23:50:22 the last ted talk i saw was this neuroanatomist going on about the mystic experience she got from a hemorrage 23:50:29 what do you even say to that 23:50:36 tedx presumably? 23:50:37 hm 23:50:39 "i'm sorry your brain blew up but i don't care" 23:50:39 have you all heard the story about my dad and vortex math 23:50:58 i vaguely remember something about it but i could be imagining 23:51:39 so generally when i hear about such hilariously bad talks they are TEDx but are there notable TED-proper instances? 23:51:43 -!- augur has joined. 23:51:56 well i showed it to him 23:51:58 ... is TEDx like UberX 23:52:04 tedx is ted by third parties 23:52:07 and he was all like "this guy's onto something, i'm interested" 23:52:15 a cut rate version of TED where they let random jerkoffs do it 23:52:18 so, yes 23:52:20 yep 23:52:32 lexande: the one i'm talking about was ted proper actually. jill bolte taylor if you want to look it up 23:52:59 uberx is fine, so is lyft, cab drivers are not really less jerkoff-y than randoms 23:53:49 they are maybe better at driving but not necessarily 23:55:05 how is lyft still legal 23:55:11 are they really still relying on the "donation" thing 23:55:47 aren't they legal the same way uberx is? 23:55:52 which way is that 23:55:52 what's lyft and why would it be illegal 23:56:10 also the donation number is inscrutable 23:56:15 -!- Phantom_Hoover has quit (Quit: Leaving). 23:56:26 there's no price list or anything 23:58:55 -!- Sprocklem has joined.