< 1381104042 304043 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :maybe there should be a mode to send the text only if it quits with exit code 0 < 1381104064 982950 :Taneb!~Taneb@5.151.64.250 QUIT :Quit: Leaving < 1381104798 726754 :mnoqy!~okay@pool-98-108-206-66.snloca.dsl-w.verizon.net JOIN :#esoteric < 1381105577 718303 :yorick!~yorick@oftn/member/yorick QUIT :Remote host closed the connection < 1381105912 613880 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :oerjan: I guess your IRC client / terminal / whatever doesn't know about non-ASCII spaces < 1381105942 772347 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :er actually there isn't a space there < 1381105986 703829 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :kmc: hm? it's not my client. my client doesn't make links anyhow. < 1381106031 752161 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :so you were asking if anyone saw something that you don't see? < 1381106044 688511 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :but jwinslow23 made a page on esolang that looks like it came from that message. < 1381106073 731200 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :so yeah. < 1381106100 444062 :nisstyre!~yours@oftn/member/Nisstyre JOIN :#esoteric < 1381106309 19840 :impomatic!~digital_w@87.113.111.85 QUIT :Quit: impomatic < 1381106705 909707 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu QUIT :Quit: work < 1381107101 552350 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :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? < 1381107413 912010 :Koen_!~Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :a, s, t, f? < 1381107468 29273 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :what the hell are you doing < 1381107470 887123 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :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. < 1381107503 88114 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :zzo38: ) } ] and > < 1381107508 703454 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :!?.: < 1381107515 128991 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :
ACTION cackles evilly
< 1381107521 380482 :Koen_!~Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :+-*/ < 1381107559 873182 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :you guys don't even try < 1381107577 171259 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :So far I think your idea of !?.: is best < 1381107603 275961 :Koen_!~Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :_-=+ < 1381107669 386781 :hypha!~hypha@93.158.64.201 QUIT :Remote host closed the connection < 1381107774 52593 :Koen_!~Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :I was gonna go for _ = ≡ but I didn't have a quadruple-bar symbol on my keyboard < 1381107792 836842 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :I don't have either; I have to use only ASCII symbols. < 1381107804 221959 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :(and furthermore, only printable ASCII symbols) < 1381110634 161322 :copumpkin!~copumpkin@unaffiliated/copumpkin PRIVMSG #esoteric :man, I come across random IRC snippets < 1381110637 708303 :copumpkin!~copumpkin@unaffiliated/copumpkin PRIVMSG #esoteric :and omg I find kmc < 1381110641 150560 :copumpkin!~copumpkin@unaffiliated/copumpkin PRIVMSG #esoteric :and guess what he's talking about! < 1381110642 959715 :copumpkin!~copumpkin@unaffiliated/copumpkin PRIVMSG #esoteric :>_> < 1381110662 213592 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :rust? < 1381110670 445262 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :I cannot guess it very well. < 1381110671 219482 :mnoqy!~okay@pool-98-108-206-66.snloca.dsl-w.verizon.net PRIVMSG #esoteric :you got the vowel right < 1381110672 862902 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :Do you know? < 1381110723 363791 :tswett!6b0598fd@gateway/web/freenode/ip.107.5.152.253 JOIN :#esoteric < 1381110867 90080 :Sgeo!~quassel@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :Does space count as printable? < 1381110913 397049 :tswett!6b0598fd@gateway/web/freenode/ip.107.5.152.253 PRIVMSG #esoteric :I consider space a printable character. < 1381110928 747884 :tswett!6b0598fd@gateway/web/freenode/ip.107.5.152.253 PRIVMSG #esoteric :It doesn't do anything besides advancing the cursor and painting stuff. < 1381111092 874696 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :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. < 1381111129 635790 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :Do you have the stats for the big leech so that we can downgrade it to make the stats for the small one too? < 1381111206 64998 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :zzo38: maybe this? http://www.dandwiki.com/wiki/Black_Leech_(3.5e_Creature) < 1381111268 459674 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :I will look later, but is it suitable to downgrade to make the small one? < 1381111277 522086 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :(Right now I have another program open instead) < 1381111290 959736 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :it actually says "small animal" < 1381111322 800730 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :"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." < 1381111331 843399 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :I suppose if the ordinary rules are used to change it to "tiny animal" then it might work < 1381111403 956766 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :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. < 1381111452 64337 :tswett!6b0598fd@gateway/web/freenode/ip.107.5.152.253 PRIVMSG #esoteric :So, lemme complain about... the universe or something. < 1381111500 386277 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :well, i have a hunch the others on the first page are spells and powers. < 1381111503 127958 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu JOIN :#esoteric < 1381111519 894981 :tswett!6b0598fd@gateway/web/freenode/ip.107.5.152.253 PRIVMSG #esoteric :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. < 1381111537 927589 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :legend has it that the sun was developed in haskell < 1381111543 757440 :tswett!6b0598fd@gateway/web/freenode/ip.107.5.152.253 PRIVMSG #esoteric :Probably. < 1381111557 828047 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :oerjan: Maybe. However the purpose of such a thing I ask is for use as a familiar and other things. < 1381111618 955912 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :No,no,no < 1381111620 49367 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :zzo38: yes, the link i gave was for a creature. < 1381111625 363026 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :Brainfuck is the most fundamental language < 1381111627 530720 :tswett!6b0598fd@gateway/web/freenode/ip.107.5.152.253 PRIVMSG #esoteric :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. < 1381111631 885355 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :Everything else is a dialect of Brainfuck < 1381111636 935365 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :oerjan: Yes I know that you said "small animal" which is implying that. < 1381111637 155600 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :Well, except for INTERCAL < 1381111645 949512 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :tswett: http://xkcd.com/224/ < 1381111654 166530 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :Are we talking about animals, I bet animals are way more interesting than Platonism. < 1381111661 184888 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :tswett: uniqueness types? < 1381111661 482685 :tswett!6b0598fd@gateway/web/freenode/ip.107.5.152.253 PRIVMSG #esoteric :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. < 1381111692 287848 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :(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.) < 1381111700 385880 :Sprocklem!~Sprocklem@S010674440130be65.cg.shawcable.net JOIN :#esoteric < 1381111736 372805 :tswett!6b0598fd@gateway/web/freenode/ip.107.5.152.253 PRIVMSG #esoteric :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. < 1381111742 591630 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :tswett: btw haskell isn't simply typed, it's polymorphic with its own heap of extensions to hindley-milner types. < 1381111766 714550 :tswett!6b0598fd@gateway/web/freenode/ip.107.5.152.253 PRIVMSG #esoteric :oerjan: how far does Haskell 98 extend HM types? < 1381111798 392074 :tswett!6b0598fd@gateway/web/freenode/ip.107.5.152.253 PRIVMSG #esoteric :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. < 1381111818 923525 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :How is it going? < 1381111819 564410 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :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. < 1381111824 26657 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :I will write down the creature stats you gave me so that I can remember it for later in order to downgrade it. < 1381111853 969485 :tswett!6b0598fd@gateway/web/freenode/ip.107.5.152.253 PRIVMSG #esoteric :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. < 1381111918 807985 :tswett!6b0598fd@gateway/web/freenode/ip.107.5.152.253 PRIVMSG #esoteric :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. < 1381111945 474332 :tswett!6b0598fd@gateway/web/freenode/ip.107.5.152.253 PRIVMSG #esoteric :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. < 1381111974 166720 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :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... < 1381111998 167866 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :*the class members were < 1381111999 197039 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :oerjan: A lot of these Haskell extension are useful. < 1381112006 695544 :tswett!6b0598fd@gateway/web/freenode/ip.107.5.152.253 PRIVMSG #esoteric :Since when does Haskell 98 have type families? < 1381112025 335228 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :tswett: Have you been working on an implementation? < 1381112037 819514 :tswett!6b0598fd@gateway/web/freenode/ip.107.5.152.253 PRIVMSG #esoteric :But yeah, type constructors and classes are definitely extensions, I think. < 1381112050 329691 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :tswett: Do you have the other details too? < 1381112070 349744 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :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. < 1381112072 699845 :tswett!6b0598fd@gateway/web/freenode/ip.107.5.152.253 PRIVMSG #esoteric :FreeFull: not really; I want to write a compiler, not an interpreter, but I have no idea how a compiler would work. < 1381112079 129203 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :*beyond < 1381112092 910268 :tswett!6b0598fd@gateway/web/freenode/ip.107.5.152.253 PRIVMSG #esoteric :oerjan: *nod* I'm just looking to copy Haskell 98 at the moment. < 1381112096 352707 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :tswett: Would System F be useful? < 1381112102 827974 :tswett!6b0598fd@gateway/web/freenode/ip.107.5.152.253 PRIVMSG #esoteric :zzo38: the other details about what? The type system, or the entire language? < 1381112118 25557 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :Maybe you could compile down to the same dialect of System F that Haskell uses, and then use GHC's infrastructure from there on < 1381112127 433722 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :tswett: Both. < 1381112129 215378 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :tswett: with all the changes they've done in the basic libraries i'm not even sure ghc _supports_ haskell 98 any more. < 1381112149 656243 :tswett!6b0598fd@gateway/web/freenode/ip.107.5.152.253 PRIVMSG #esoteric :FreeFull: the thing is, Hylisk types don't translate cleanly into Haskell types, at least not in any way I've discovered. < 1381112163 255537 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :the removal of superclasses on Num would be the biggest inconsistency, i think. < 1381112165 424428 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :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 < 1381112168 451357 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :and -XHaskell98 < 1381112178 265034 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :of course Applicative => Monad is happening and will ruin everything. < 1381112182 183034 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :by unruining everything < 1381112188 319379 :Guest35587!~simpleirc@pool-108-12-44-234.syrcny.fios.verizon.net JOIN :#esoteric < 1381112190 483484 :tswett!6b0598fd@gateway/web/freenode/ip.107.5.152.253 PRIVMSG #esoteric :The best idea I've come up with so far is to have a Haskell type called HyliskValue and make everything be that. < 1381112217 733393 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :That sounds like throwing types away < 1381112219 105886 :Guest35587!~simpleirc@pool-108-12-44-234.syrcny.fios.verizon.net QUIT :Remote host closed the connection < 1381112219 512488 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :copumpkin: what did i do now < 1381112222 444233 :tswett!6b0598fd@gateway/web/freenode/ip.107.5.152.253 PRIVMSG #esoteric :FreeFull: right. < 1381112229 462048 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :tswett: look at https://github.com/isomorphism/Delineate. < 1381112248 441535 :tswett!6b0598fd@gateway/web/freenode/ip.107.5.152.253 PRIVMSG #esoteric :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. < 1381112309 181078 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :tswett: I think rather than trying to map types to types, you just create your own type system < 1381112317 4321 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :Which you probably are already doing < 1381112341 512339 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :Although if you say it's still typed lambda calculus, you should be able to compile down to that < 1381112368 694233 :tswett!6b0598fd@gateway/web/freenode/ip.107.5.152.253 PRIVMSG #esoteric :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. < 1381112464 287034 :tswett!6b0598fd@gateway/web/freenode/ip.107.5.152.253 PRIVMSG #esoteric :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. < 1381112491 616594 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :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. < 1381112504 778694 :tswett!6b0598fd@gateway/web/freenode/ip.107.5.152.253 PRIVMSG #esoteric :"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. < 1381112539 43172 :Koen_!~Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :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... < 1381112630 240293 :tswett!6b0598fd@gateway/web/freenode/ip.107.5.152.253 PRIVMSG #esoteric :Koen_: well, there are ways that data can get out of a function besides being returned. < 1381112655 905691 :Koen_!~Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :show me the way < 1381112702 74843 :tswett!6b0598fd@gateway/web/freenode/ip.107.5.152.253 PRIVMSG #esoteric :All right. You might really hate this syntax. If so, I apologize. < 1381112711 141199 :Zuu!zuu@unaffiliated/zuu QUIT :Ping timeout: 245 seconds < 1381112718 963759 :tswett!6b0598fd@gateway/web/freenode/ip.107.5.152.253 PRIVMSG #esoteric :Example: ((\y -> y 3) \x) -> x < 1381112737 73458 :tswett!6b0598fd@gateway/web/freenode/ip.107.5.152.253 PRIVMSG #esoteric :You know what, that example can be simplified. < 1381112741 167871 :tswett!6b0598fd@gateway/web/freenode/ip.107.5.152.253 PRIVMSG #esoteric :Example: (\x 3) -> x < 1381112755 360040 :tswett!6b0598fd@gateway/web/freenode/ip.107.5.152.253 PRIVMSG #esoteric :In Hylisk, \x is a function that binds x to its argument, and doesn't return. < 1381112764 667071 :tswett!6b0598fd@gateway/web/freenode/ip.107.5.152.253 PRIVMSG #esoteric :So (\x 3) -> x evaluates to 3. < 1381112788 950296 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :Do they have any relations to linear logic? < 1381112797 442597 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :Interesting < 1381112804 701093 :Koen_!~Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :so that's "assign 3 to x"? < 1381112809 116052 :tswett!6b0598fd@gateway/web/freenode/ip.107.5.152.253 PRIVMSG #esoteric :zzo38: the stuff that I just described? Yeah, absolutely; it's completely inspired by linear logic. < 1381112813 629714 :Koen_!~Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :that sounds *a lot* like a side-effect < 1381112818 17703 :tswett!6b0598fd@gateway/web/freenode/ip.107.5.152.253 PRIVMSG #esoteric :Koen_: it does, yeah. < 1381112827 898318 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :Is there a zero, one, top, and bottom types? What do they do, if so? < 1381112859 323577 :tswett!6b0598fd@gateway/web/freenode/ip.107.5.152.253 PRIVMSG #esoteric :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. < 1381112897 979599 :Koen_!~Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :destructive as in irreversible? < 1381112934 971223 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i see google front page has changed its ui again. now i need one more click to get to translate. < 1381112949 578063 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :it was already slightly annoying that i needed two. < 1381112956 459301 :tswett!6b0598fd@gateway/web/freenode/ip.107.5.152.253 PRIVMSG #esoteric :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. < 1381113014 786276 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i assume this is poisonous infection from that mobile app stuff. < 1381113080 170756 :tswett!6b0598fd@gateway/web/freenode/ip.107.5.152.253 PRIVMSG #esoteric :Koen_: you know, I guess I don't really have a good idea of what "destructive modification" actually means. < 1381113096 89979 :tswett!6b0598fd@gateway/web/freenode/ip.107.5.152.253 PRIVMSG #esoteric :I mean, "const True" is an irreversible function in Haskell, isn't it? But it's not impure. < 1381113159 126338 :Koen_!~Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :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 < 1381113192 915428 :Koen_!~Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :(and the right-hand expression wouldn't make sense without the let in, since x would be free) < 1381113209 294056 :tswett!6b0598fd@gateway/web/freenode/ip.107.5.152.253 PRIVMSG #esoteric :Right. And that's pretty much what -> does. < 1381113225 450391 :tswett!6b0598fd@gateway/web/freenode/ip.107.5.152.253 PRIVMSG #esoteric :Evaluate the left hand side until it's of the form "\x y", and then replace x with y on the right hand side. < 1381113259 97640 :Koen_!~Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :yeah... but in that case "\x 3" doesn't make sense without the "->" ? < 1381113262 272100 :tswett!6b0598fd@gateway/web/freenode/ip.107.5.152.253 PRIVMSG #esoteric :Now, here's cancel: cancel f = (f \x) -> x < 1381113263 981943 :tswett!6b0598fd@gateway/web/freenode/ip.107.5.152.253 PRIVMSG #esoteric :Koen_: correct. < 1381113277 333959 :Koen_!~Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :so it's not really a function < 1381113316 786402 :tswett!6b0598fd@gateway/web/freenode/ip.107.5.152.253 PRIVMSG #esoteric :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. < 1381113354 37059 :tswett!6b0598fd@gateway/web/freenode/ip.107.5.152.253 PRIVMSG #esoteric :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. < 1381113354 495190 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :Which excludes something like \x -> x*x < 1381113365 242007 :tswett!6b0598fd@gateway/web/freenode/ip.107.5.152.253 PRIVMSG #esoteric :FreeFull: right, because x appears too many times on the right hand side. < 1381113390 168079 :Koen_!~Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :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 < 1381113412 465562 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :tswett: How would you write something like that, assuming there is no other way to square? < 1381113454 343560 :tswett!6b0598fd@gateway/web/freenode/ip.107.5.152.253 PRIVMSG #esoteric :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) < 1381113459 460756 :tswett!6b0598fd@gateway/web/freenode/ip.107.5.152.253 PRIVMSG #esoteric :I'm going to create syntactic sugar for it. < 1381113490 51046 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :duplicate is a primitve? < 1381113492 948066 :tswett!6b0598fd@gateway/web/freenode/ip.107.5.152.253 PRIVMSG #esoteric :"\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. < 1381113493 823366 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :primitive* < 1381113501 518477 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :Ah < 1381113520 689983 :tswett!6b0598fd@gateway/web/freenode/ip.107.5.152.253 PRIVMSG #esoteric :The instance of duplicate for Int is primitive, but other data types might have non-primitive implementations. < 1381113522 833546 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :tswett: Do you think something like this could work as a stack-based/concatenative language? < 1381113560 142296 :tswett!6b0598fd@gateway/web/freenode/ip.107.5.152.253 PRIVMSG #esoteric :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. < 1381113571 81079 :Koen_!~Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :oh < 1381113615 741398 :Koen_!~Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :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" < 1381113638 828629 :tswett!6b0598fd@gateway/web/freenode/ip.107.5.152.253 PRIVMSG #esoteric :Koen_: right. Hylisk has such a type; it's tentatively called Unit. < 1381113663 948225 :Koen_!~Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :ooooookay. so there are side-effect after-all? < 1381113703 607163 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Haskell has () too. nothing to do with side-effects < 1381113737 474251 :tswett!6b0598fd@gateway/web/freenode/ip.107.5.152.253 PRIVMSG #esoteric :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. < 1381113759 291994 :tswett!6b0598fd@gateway/web/freenode/ip.107.5.152.253 PRIVMSG #esoteric :elliott: yeah, but my Weird Extended Lambda Syntax looks a lot like side-effects. < 1381113760 504927 :Koen_!~Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :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 < 1381113781 248071 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :same reason the identity function is useful < 1381113794 426018 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :Do you expect downgrading the size to make it suitable for familiar and similar things? < 1381113797 905319 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :e.g., instantiating parameterised types < 1381113799 490211 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :"making @pl do stupid things" < 1381113860 303066 :Koen_!~Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :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! < 1381113884 129515 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :tswett: I want to try it out as soon as you have a working implementation < 1381113954 910024 :Koen_!~Koen@vbo91-6-78-245-243-132.fbx.proxad.net QUIT :Quit: Koen_ < 1381113967 278654 :tswett!6b0598fd@gateway/web/freenode/ip.107.5.152.253 PRIVMSG #esoteric :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. < 1381113972 251514 :tswett!6b0598fd@gateway/web/freenode/ip.107.5.152.253 PRIVMSG #esoteric :FreeFull: yeah, me too. ^_^ < 1381114129 884366 :tswett!6b0598fd@gateway/web/freenode/ip.107.5.152.253 PRIVMSG #esoteric :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. < 1381114182 914296 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :tswett: a Hylisk type of kind * will most likely translate into a Haskell type of kind * -> * or (* -> *) -> *. < 1381114239 944578 :tswett!6b0598fd@gateway/web/freenode/ip.107.5.152.253 PRIVMSG #esoteric :elliott: I had that thought, yeah. For a little while, I thought that Hylisk types might even translate into monads. < 1381114333 712705 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :e.g. newtype Done r = Done r; data Unit r = Unit; data Zero r < 1381114343 222871 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :don't know about Top. < 1381114349 877631 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :Top = Bottom < 1381114351 244860 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :maybe that Unit is actually Top. < 1381114359 339648 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :FreeFull: what? < 1381114368 562484 :tswett!6b0598fd@gateway/web/freenode/ip.107.5.152.253 PRIVMSG #esoteric :elliott: I've had almost exactly the same thought as that, yeah. < 1381114398 435743 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :Just kidding < 1381114419 912337 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :that wasn't very funny. < 1381114429 328162 :tswett!6b0598fd@gateway/web/freenode/ip.107.5.152.253 PRIVMSG #esoteric :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. < 1381114466 688698 :tswett!6b0598fd@gateway/web/freenode/ip.107.5.152.253 PRIVMSG #esoteric :Now, certainly the Hylisk type World does translate to a Haskell monad. You'll never guess which one. Hint: it's IO. < 1381114471 698024 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :tswett: I think you should rename Unit -> One and Done -> Bottom. < 1381114475 945229 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :for consistency with the rest of the world. < 1381114514 263655 :tswett!6b0598fd@gateway/web/freenode/ip.107.5.152.253 PRIVMSG #esoteric :elliott: I could, I suppose, but Haskellers are used to "bottom" meaning... whatever its Haskell meaning is. < 1381114551 555657 :tswett!6b0598fd@gateway/web/freenode/ip.107.5.152.253 PRIVMSG #esoteric :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. < 1381114578 225624 :tswett!6b0598fd@gateway/web/freenode/ip.107.5.152.253 PRIVMSG #esoteric :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. < 1381114619 983153 :tswett!6b0598fd@gateway/web/freenode/ip.107.5.152.253 PRIVMSG #esoteric :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. < 1381114647 752991 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :Is this OK? Telepathy to 5ft anywhere; master loses 3 max HP within range. < 1381114689 205773 :tswett!6b0598fd@gateway/web/freenode/ip.107.5.152.253 PRIVMSG #esoteric :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. < 1381114710 533188 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :tswett: Then add some ! and ? types too. < 1381114726 605888 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :(Possibly even more than one kind of each.) < 1381114739 229264 :tswett!6b0598fd@gateway/web/freenode/ip.107.5.152.253 PRIVMSG #esoteric :zzo38: yeah, but the problem isn't that ! and ? don't exist; the problem is that types without ! and ? do exist. < 1381114784 801783 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :tswett: Yes, I know, but there can be ! and ? types in addition to the types without ! and ? < 1381114812 473844 :tswett!6b0598fd@gateway/web/freenode/ip.107.5.152.253 PRIVMSG #esoteric :!(Int -> Int) would translate perfectly well as a Haskell monad, I think. But that doesn't fix the fact that (Int -> Int) does not. < 1381114888 175083 :zzo38!~zzo38@24-207-49-17.eastlink.ca QUIT :Quit: So, that's what happens when Imakuni? means Imakuni! and Imakuni@. Now I know. < 1381114934 511597 :tswett!6b0598fd@gateway/web/freenode/ip.107.5.152.253 PRIVMSG #esoteric :So, this gives me a thought: "duh, just make them functors instead". < 1381114995 1069 :tswett!6b0598fd@gateway/web/freenode/ip.107.5.152.253 PRIVMSG #esoteric :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'". < 1381115031 459499 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :duh < 1381115078 311437 :tswett!6b0598fd@gateway/web/freenode/ip.107.5.152.253 PRIVMSG #esoteric :So, what is "Done a"? It's something that uses a Hylisk value of type "Done" to produce a Haskell value of type "a". < 1381115115 569402 :tswett!6b0598fd@gateway/web/freenode/ip.107.5.152.253 PRIVMSG #esoteric :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. < 1381115154 961919 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :tswett: I am pretty sure you want to be using something like the continuation monad's idea of negation. < 1381115167 231456 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :which importantly, lets you *customise* the equivalent of Done to an "r" type you get to choose < 1381115191 277171 :tswett!6b0598fd@gateway/web/freenode/ip.107.5.152.253 PRIVMSG #esoteric :elliott: I've definitely thought about the continuation monad(s) a lot, yeah. They also have the idea of "functions that don't return". < 1381115208 300383 :tswett!6b0598fd@gateway/web/freenode/ip.107.5.152.253 PRIVMSG #esoteric :Where can I read about negation in a continuation monad? < 1381115217 70097 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Oleg's site has some stuff, I think < 1381115468 341622 :tswett!6b0598fd@gateway/web/freenode/ip.107.5.152.253 PRIVMSG #esoteric :I haven't found anything yet. < 1381115646 251404 :tswett!6b0598fd@gateway/web/freenode/ip.107.5.152.253 PRIVMSG #esoteric :What *is* the continuation monad's idea of negation, exactly? Is the negative of "a" in "Cont r" just "a -> r"? < 1381115828 491731 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric ::t callCC < 1381115829 492241 :lambdabot!lambdabot@2a01:7e00::f03c:91ff:fedf:9fdd PRIVMSG #esoteric :MonadCont m => ((a -> m b) -> m a) -> m a < 1381115917 624184 :tswett!6b0598fd@gateway/web/freenode/ip.107.5.152.253 PRIVMSG #esoteric :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. < 1381115961 21050 :tswett!6b0598fd@gateway/web/freenode/ip.107.5.152.253 PRIVMSG #esoteric :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. < 1381116008 313799 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :tswett: i think the negative of a is ideally a -> Cont r Void < 1381116057 781435 :tswett!6b0598fd@gateway/web/freenode/ip.107.5.152.253 PRIVMSG #esoteric :That's isomorphic to a -> r, though, isn't it? < 1381116070 542815 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :@unmtl Cont r Void < 1381116070 688485 :lambdabot!lambdabot@2a01:7e00::f03c:91ff:fedf:9fdd PRIVMSG #esoteric :(Void -> r) -> r < 1381116074 146284 :tswett!6b0598fd@gateway/web/freenode/ip.107.5.152.253 PRIVMSG #esoteric :That's a -> (Void -> r) -> r, and (Void -> r) only has one inhabitant. < 1381116090 835892 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :yeah probably < 1381116104 301910 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i was trying to think inside the monad < 1381116129 522543 :tswett!6b0598fd@gateway/web/freenode/ip.107.5.152.253 PRIVMSG #esoteric :Gee, this is starting to seem like it might be really simple. < 1381116148 579199 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :wait, Void -> r has as many inhabitants as r has. < 1381116151 644824 :nisstyre!~yours@oftn/member/Nisstyre QUIT :Ping timeout: 245 seconds < 1381116152 926876 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :such is computer science < 1381116166 734200 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :const r < 1381116173 622028 :tswett!6b0598fd@gateway/web/freenode/ip.107.5.152.253 PRIVMSG #esoteric :oerjan: uh, no? The only inhabitant is \x -> case x of {}. < 1381116179 705526 :tswett!6b0598fd@gateway/web/freenode/ip.107.5.152.253 PRIVMSG #esoteric :Uhh. < 1381116180 407550 :tswett!6b0598fd@gateway/web/freenode/ip.107.5.152.253 PRIVMSG #esoteric :Hm. < 1381116183 817498 :copumpkin!~copumpkin@unaffiliated/copumpkin PRIVMSG #esoteric :no < 1381116189 745246 :copumpkin!~copumpkin@unaffiliated/copumpkin PRIVMSG #esoteric :one element, in a total language < 1381116193 756674 :tswett!6b0598fd@gateway/web/freenode/ip.107.5.152.253 PRIVMSG #esoteric :oerjan: yeah, I think all those are equivalent, aren't they? < 1381116195 863349 :copumpkin!~copumpkin@unaffiliated/copumpkin PRIVMSG #esoteric :Void is initial < 1381116217 640785 :copumpkin!~copumpkin@unaffiliated/copumpkin PRIVMSG #esoteric :they're all the same empty function < 1381116234 575463 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :copumpkin: a total language function doesn't have to use its argument. < 1381116253 835264 :tswett!6b0598fd@gateway/web/freenode/ip.107.5.152.253 PRIVMSG #esoteric :oerjan: yeah, but who says const x /= const y? < 1381116255 290309 :copumpkin!~copumpkin@unaffiliated/copumpkin PRIVMSG #esoteric :it doesn't matter < 1381116258 291392 :copumpkin!~copumpkin@unaffiliated/copumpkin PRIVMSG #esoteric :you're being intensional < 1381116272 353558 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :erm < 1381116280 66747 :copumpkin!~copumpkin@unaffiliated/copumpkin PRIVMSG #esoteric :take the graph of the function < 1381116281 763411 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :OKAY < 1381116283 533788 :copumpkin!~copumpkin@unaffiliated/copumpkin PRIVMSG #esoteric ::) < 1381116316 801691 :tswett!6b0598fd@gateway/web/freenode/ip.107.5.152.253 PRIVMSG #esoteric :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. < 1381116401 755463 :tswett!6b0598fd@gateway/web/freenode/ip.107.5.152.253 PRIVMSG #esoteric :And if you're a function of type "(a -> r, b -> r) -> r", then, uh... what the heck is that < 1381116444 966492 :copumpkin!~copumpkin@unaffiliated/copumpkin PRIVMSG #esoteric :Either a b < 1381116454 517281 :tswett!6b0598fd@gateway/web/freenode/ip.107.5.152.253 PRIVMSG #esoteric :Can't be. < 1381116491 248610 :tswett!6b0598fd@gateway/web/freenode/ip.107.5.152.253 PRIVMSG #esoteric :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. < 1381116501 199557 :copumpkin!~copumpkin@unaffiliated/copumpkin PRIVMSG #esoteric :I'm too tired to explain now, but https://groups.google.com/forum/#!msg/haskell-cafe/XQ-tFFKgyqM/ldrTqYd4hHsJ < 1381116522 559527 :copumpkin!~copumpkin@unaffiliated/copumpkin PRIVMSG #esoteric :I'm talking about your (a -> r, b -> r) -> r < 1381116524 449993 :copumpkin!~copumpkin@unaffiliated/copumpkin PRIVMSG #esoteric :being isomorphic to Either a b, if your quantifiers are where I think they re < 1381116538 253968 :copumpkin!~copumpkin@unaffiliated/copumpkin PRIVMSG #esoteric :type Either a b = forall r. (a -> r, b -> r) -> r < 1381116545 99029 :tswett!6b0598fd@gateway/web/freenode/ip.107.5.152.253 PRIVMSG #esoteric :I guess that makes sense. < 1381116550 823786 :tswett!6b0598fd@gateway/web/freenode/ip.107.5.152.253 PRIVMSG #esoteric :Yeah, I'm not sure where the quantifiers are, though. < 1381116573 930881 :copumpkin!~copumpkin@unaffiliated/copumpkin PRIVMSG #esoteric :quantification is hard < 1381116575 667372 :copumpkin!~copumpkin@unaffiliated/copumpkin PRIVMSG #esoteric :let's go to sleep < 1381116578 247670 :copumpkin!~copumpkin@unaffiliated/copumpkin PRIVMSG #esoteric :
ACTION goes to sleep
< 1381116597 37025 :copumpkin!~copumpkin@unaffiliated/copumpkin PRIVMSG #esoteric :
ACTION mumbles something about fibrations and binding
< 1381116601 701305 :tswett!6b0598fd@gateway/web/freenode/ip.107.5.152.253 PRIVMSG #esoteric :What if r is existentially qualified... then it's much worse. < 1381116612 760507 :tswett!6b0598fd@gateway/web/freenode/ip.107.5.152.253 PRIVMSG #esoteric :Er, quantified. < 1381116613 189706 :copumpkin!~copumpkin@unaffiliated/copumpkin PRIVMSG #esoteric :then it's useless < 1381116622 269231 :tswett!6b0598fd@gateway/web/freenode/ip.107.5.152.253 PRIVMSG #esoteric :Yeah, it must be quantified dependent on something... < 1381116638 196586 :tswett!6b0598fd@gateway/web/freenode/ip.107.5.152.253 PRIVMSG #esoteric :Because that's supposed to be the "par" of linear logic, which is definitely not Either. < 1381116665 586090 :copumpkin!~copumpkin@unaffiliated/copumpkin PRIVMSG #esoteric :if those are -o then it's different < 1381116670 374289 :tswett!6b0598fd@gateway/web/freenode/ip.107.5.152.253 PRIVMSG #esoteric :Essentially, a "Par a b" is a single value that behaves as both "a" and "b" at once. < 1381116675 530070 :copumpkin!~copumpkin@unaffiliated/copumpkin PRIVMSG #esoteric :but I'm not well versed in reasoning about linear logic < 1381116679 471540 :tswett!6b0598fd@gateway/web/freenode/ip.107.5.152.253 PRIVMSG #esoteric :Nope, this is Haskell. < 1381116708 21691 :tswett!6b0598fd@gateway/web/freenode/ip.107.5.152.253 PRIVMSG #esoteric :Guess I'll go to sleep, yeah. I'll think about continuations. < 1381116710 884430 :tswett!6b0598fd@gateway/web/freenode/ip.107.5.152.253 PRIVMSG #esoteric :Good night, everyone. < 1381116711 92385 :copumpkin!~copumpkin@unaffiliated/copumpkin PRIVMSG #esoteric ::) < 1381116712 744378 :copumpkin!~copumpkin@unaffiliated/copumpkin PRIVMSG #esoteric :ciao < 1381116725 649770 :tswett!6b0598fd@gateway/web/freenode/ip.107.5.152.253 PRIVMSG #esoteric :Auf Wiedersehen. < 1381116728 243475 :tswett!6b0598fd@gateway/web/freenode/ip.107.5.152.253 QUIT :Quit: Page closed < 1381116898 343268 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :par is the one that's hardest to intuit < 1381117332 736625 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :oerjan: forall r (f g :: Void -> r), f = g < 1381117350 459253 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :oerjan: because forall (x :: Void), f x = g x < 1381117364 444510 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :because forall (x :: Void), p < 1381117367 473737 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :because Void -> p < 1381117493 381052 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :OKAY BUT DON'T ASK ME FOR HELP WHEN LOGIC STARTS BREAKING < 1381117820 134951 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :`slist (or did someone already do this? I don't know when the upd8 was) < 1381117824 121677 :HackEgo!dlopen@libdl.so PRIVMSG #esoteric :slist (or did someone already do this? I don't know when the upd8 was): Taneb atriq Ngevd Fiora nortti Sgeo ThatOtherPerson alot < 1381117847 53567 :Sgeo!~quassel@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :There was one HUGE update today < 1381117849 173767 :Sgeo!~quassel@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :Forgot to slist < 1381118017 526232 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :This webpage is not available <-- so i take it it turned out roxy is calliope's dream clone wife or something similarly server-crashing < 1381118823 243788 :roflplatypus!484e8c36@gateway/web/freenode/ip.72.78.140.54 JOIN :#esoteric < 1381118838 172828 :roflplatypus!484e8c36@gateway/web/freenode/ip.72.78.140.54 PRIVMSG #esoteric :hello? < 1381118895 533170 :roflplatypus!484e8c36@gateway/web/freenode/ip.72.78.140.54 QUIT :Client Quit < 1381119040 695037 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :hello < 1381119162 541733 :mnoqy!~okay@pool-98-108-206-66.snloca.dsl-w.verizon.net PRIVMSG #esoteric :hello < 1381119168 25046 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :hello < 1381120150 285356 :Sprocklem!~Sprocklem@S010674440130be65.cg.shawcable.net QUIT :Ping timeout: 245 seconds < 1381120190 602068 :nisstyre!~yours@oftn/member/Nisstyre JOIN :#esoteric < 1381122442 80813 :Yaasky!~Adium@135.0.148.40 JOIN :#esoteric < 1381122932 193692 :Yaasky!~Adium@135.0.148.40 PART :#esoteric < 1381123134 865916 :__Hithere!~DerpHerp@c-71-238-152-180.hsd1.mi.comcast.net JOIN :#esoteric < 1381123139 389313 :__Hithere!~DerpHerp@c-71-238-152-180.hsd1.mi.comcast.net PRIVMSG #esoteric :hlleo < 1381123175 390988 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :oehll < 1381123191 538960 :__Hithere!~DerpHerp@c-71-238-152-180.hsd1.mi.comcast.net PRIVMSG #esoteric :i lkie you Bike, you are the cesloot < 1381123202 107100 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :fnially someonea gets it < 1381123212 149045 :__Hithere!~DerpHerp@c-71-238-152-180.hsd1.mi.comcast.net PRIVMSG #esoteric :i konw rtie? :D < 1381123212 830069 :conehead!~conehead@unaffiliated/conehead QUIT :Quit: Computer has gone to sleep. < 1381123473 703586 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :hi __Hithere < 1381123478 942901 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :`relcome __Hithere < 1381123482 540289 :__Hithere!~DerpHerp@c-71-238-152-180.hsd1.mi.comcast.net PRIVMSG #esoteric :hlelo kmc < 1381123483 608210 :HackEgo!dlopen@libdl.so PRIVMSG #esoteric :​04__H02ithere:10 Welcom11e to the04 inter07natio04nal hu06b f03o11r e08soter12ic programming la08nguage desi14gn and 09deploy05ment! For more informa07tion,06 check 07out our wiki:02 http://esolangs.org/wik13i/Ma02in_Page. (For the10 other k09ind 13o05f esoterica, try #esoteric 10on irc.d02al.ne08t10.) < 1381123494 876423 :__Hithere!~DerpHerp@c-71-238-152-180.hsd1.mi.comcast.net PRIVMSG #esoteric :i was adaerly wlceeomd lkie fitfy mliolin tmies < 1381123508 941054 :^v!~DerpHerp@c-71-238-152-180.hsd1.mi.comcast.net PRIVMSG #esoteric :wдt < 1381123518 905493 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :loco popele < 1381123524 392091 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :itt we are drunk < 1381123544 425649 :__Hithere!~DerpHerp@c-71-238-152-180.hsd1.mi.comcast.net PRIVMSG #esoteric :so, whats going on < 1381123553 364695 :__Hithere!~DerpHerp@c-71-238-152-180.hsd1.mi.comcast.net PRIVMSG #esoteric :erm, forgot the ~ sorry < 1381123557 187111 :__Hithere!~DerpHerp@c-71-238-152-180.hsd1.mi.comcast.net PRIVMSG #esoteric :so, wahts gnoig on < 1381123603 951994 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com TOPIC #esoteric :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 < 1381123605 567504 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :^v: why are you connected as both ^v and __Hithere? < 1381123640 845155 :__Hithere!~DerpHerp@c-71-238-152-180.hsd1.mi.comcast.net PRIVMSG #esoteric :eloitlt, becusae i wnat to see how aewosme my txet lokos < 1381123718 253511 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i think someone read too much of that "people only need the first and last letters to be in the right place" theory < 1381123740 265085 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :so you're not drunk?!?!?!?!?!?!?!? fals advertising < 1381123750 766584 :__Hithere!~DerpHerp@c-71-238-152-180.hsd1.mi.comcast.net PRIVMSG #esoteric :nrep, sorry to dnpiiossat kmc < 1381123754 725672 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :what this channel has become.......... < 1381123762 366265 :__Hithere!~DerpHerp@c-71-238-152-180.hsd1.mi.comcast.net PRIVMSG #esoteric :buirfcank < 1381123776 263513 :__Hithere!~DerpHerp@c-71-238-152-180.hsd1.mi.comcast.net PRIVMSG #esoteric :brainfuck < 1381123782 640613 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :buttfuck < 1381123785 721249 :__Hithere!~DerpHerp@c-71-238-152-180.hsd1.mi.comcast.net PRIVMSG #esoteric :bairn|fcuk < 1381123794 196745 :__Hithere!~DerpHerp@c-71-238-152-180.hsd1.mi.comcast.net PRIVMSG #esoteric :hmm < 1381123800 808972 :__Hithere!~DerpHerp@c-71-238-152-180.hsd1.mi.comcast.net PRIVMSG #esoteric :maby i should make it seperate by capitals < 1381123807 976681 :__Hithere!~DerpHerp@c-71-238-152-180.hsd1.mi.comcast.net PRIVMSG #esoteric :so BrainFuck comes out properly < 1381123830 461018 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :__Hithere: there is no such thing as BrainFuck. < 1381123839 8118 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :you may be confusing it with brainfuck. < 1381123843 68678 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :brbrbrbrbrbrbrbrbrbrbrbrbrbrbrbrbrbrbrbrbrbrbrbrbrbrb- < 1381123848 862881 :^v!~DerpHerp@c-71-238-152-180.hsd1.mi.comcast.net PRIVMSG #esoteric :oh right < 1381123852 724019 :^v!~DerpHerp@c-71-238-152-180.hsd1.mi.comcast.net PRIVMSG #esoteric :
ACTION shoots himself in head
< 1381123858 401548 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :NOW THE HUNTER BECOMES THE HUNTED < 1381123875 10455 :^v!~DerpHerp@c-71-238-152-180.hsd1.mi.comcast.net PRIVMSG #esoteric :is it good that i use http response code 337 for a project thingy? c_c < 1381123888 900639 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :HTTP 402 Payment Required < 1381123899 796800 :^v!~DerpHerp@c-71-238-152-180.hsd1.mi.comcast.net PRIVMSG #esoteric :so that the header looks like HTTP/1.1 337 H4X < 1381123905 232453 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :
ACTION hugs ^v
< 1381123928 84992 :__Hithere!~DerpHerp@c-71-238-152-180.hsd1.mi.comcast.net PRIVMSG #esoteric :
ACTION raeps kmc
< 1381123933 633827 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :not cool < 1381123938 648656 :__Hithere!~DerpHerp@c-71-238-152-180.hsd1.mi.comcast.net PRIVMSG #esoteric :(i cant /me ~text) < 1381123942 95495 :__Hithere!~DerpHerp@c-71-238-152-180.hsd1.mi.comcast.net PRIVMSG #esoteric ::( < 1381123950 189429 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :none of that here plz < 1381123952 64793 :__Hithere!~DerpHerp@c-71-238-152-180.hsd1.mi.comcast.net PRIVMSG #esoteric :i need to add thдt < 1381123953 758218 :__Hithere!~DerpHerp@c-71-238-152-180.hsd1.mi.comcast.net PRIVMSG #esoteric :okay < 1381123959 694867 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :why are you russian some of the time < 1381123966 513127 :^v!~DerpHerp@c-71-238-152-180.hsd1.mi.comcast.net PRIVMSG #esoteric :wдt < 1381123971 443645 :^v!~DerpHerp@c-71-238-152-180.hsd1.mi.comcast.net PRIVMSG #esoteric :im never russian < 1381123975 1212 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :privyet < 1381124000 969350 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :Я люблю большие окурки и я не могу лгать < 1381124022 973264 :^v!~DerpHerp@c-71-238-152-180.hsd1.mi.comcast.net PRIVMSG #esoteric :Ш вщте дшлу нщг kmc нщг фку ф зщефещ. < 1381124039 633689 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :^v: i suspect nonexistent response codes are not recommended. < 1381124051 277773 :^v!~DerpHerp@c-71-238-152-180.hsd1.mi.comcast.net PRIVMSG #esoteric :not for webpages < 1381124053 552513 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :im a potato?!?!?!? < 1381124078 329783 :^v!~DerpHerp@c-71-238-152-180.hsd1.mi.comcast.net PRIVMSG #esoteric :kmc has a russian keyboard < 1381124079 305021 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :russian is hard < 1381124080 186706 :^v!~DerpHerp@c-71-238-152-180.hsd1.mi.comcast.net PRIVMSG #esoteric :confirmed < 1381124081 588654 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :no < 1381124089 817715 :^v!~DerpHerp@c-71-238-152-180.hsd1.mi.comcast.net PRIVMSG #esoteric :(or memorized the keys) < 1381124095 674763 :^v!~DerpHerp@c-71-238-152-180.hsd1.mi.comcast.net PRIVMSG #esoteric :c_c < 1381124100 750668 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :ꙮ < 1381124110 273233 :^v!~DerpHerp@c-71-238-152-180.hsd1.mi.comcast.net PRIVMSG #esoteric : ^ cant see this < 1381124119 23118 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :^----------------------- IM WITH STUPID < 1381124124 648271 :__Hithere!~DerpHerp@c-71-238-152-180.hsd1.mi.comcast.net QUIT :Quit: Leaving < 1381124129 934527 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :;_; < 1381124137 20496 :^v!~DerpHerp@c-71-238-152-180.hsd1.mi.comcast.net PRIVMSG #esoteric ::_: < 1381124139 189340 :mnoqy!~okay@pool-98-108-206-66.snloca.dsl-w.verizon.net PRIVMSG #esoteric :by there < 1381124146 484999 :^v!~DerpHerp@c-71-238-152-180.hsd1.mi.comcast.net PRIVMSG #esoteric :bye :) < 1381124151 224686 :^v!~DerpHerp@c-71-238-152-180.hsd1.mi.comcast.net PRIVMSG #esoteric :i hated that bastard < 1381124156 677628 :^v!~DerpHerp@c-71-238-152-180.hsd1.mi.comcast.net PRIVMSG #esoteric :he was an $%^hole < 1381124166 743344 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :he had something to hyde < 1381124168 586801 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :Русский Стандарт < 1381124180 620902 :^v!~DerpHerp@c-71-238-152-180.hsd1.mi.comcast.net PRIVMSG #esoteric :Russian Standard < 1381124183 324598 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :da < 1381124207 395756 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :Вы хотите муравьев? потому что это, как вы получите муравьев < 1381124249 100195 :^v!~DerpHerp@c-71-238-152-180.hsd1.mi.comcast.net PRIVMSG #esoteric :Нет, я, как картофель больше < 1381124290 39772 :^v!~DerpHerp@c-71-238-152-180.hsd1.mi.comcast.net PRIVMSG #esoteric :Ш дшлу екфшты < 1381124294 224584 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :kartofel < 1381124312 385425 :^v!~DerpHerp@c-71-238-152-180.hsd1.mi.comcast.net PRIVMSG #esoteric : < 1381124325 775749 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric : < 1381124334 558826 :^v!~DerpHerp@c-71-238-152-180.hsd1.mi.comcast.net PRIVMSG #esoteric : < 1381124341 920984 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric : < 1381124360 242117 :^v!~DerpHerp@c-71-238-152-180.hsd1.mi.comcast.net PRIVMSG #esoteric :i dont like python < 1381124368 598440 :^v!~DerpHerp@c-71-238-152-180.hsd1.mi.comcast.net PRIVMSG #esoteric :it is worth the title of joke esoteric language < 1381124375 605128 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :not interesting enuf < 1381124381 751014 :^v!~DerpHerp@c-71-238-152-180.hsd1.mi.comcast.net PRIVMSG #esoteric :Lua ftw < 1381124387 30644 :^v!~DerpHerp@c-71-238-152-180.hsd1.mi.comcast.net PRIVMSG #esoteric :but its useless by itself < 1381124390 448916 :^v!~DerpHerp@c-71-238-152-180.hsd1.mi.comcast.net PRIVMSG #esoteric :gmod ftw < 1381124413 411642 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :those languages are so boring < 1381124460 134756 :^v!~DerpHerp@c-71-238-152-180.hsd1.mi.comcast.net PRIVMSG #esoteric :[>->] < 1381124541 70342 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :beep boop < 1381126738 329281 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :What's a "cesloot"? < 1381126777 770859 :Deewiant!~deewiant@deewiant.iki.fi PRIVMSG #esoteric :Presumably a "coolest". < 1381126836 512956 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :not to be confused with a coopless < 1381127161 239953 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Ohh. (I slow.) < 1381127312 140968 :FreeFull!~freefull@defocus/sausage-lover QUIT :Quit: Cua < 1381127481 890451 :oerjan!oerjan@sprocket.nvg.ntnu.no QUIT :Quit: leaving < 1381128977 908894 :^v!~DerpHerp@c-71-238-152-180.hsd1.mi.comcast.net QUIT :Read error: Connection reset by peer < 1381129086 147132 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu QUIT :Ping timeout: 245 seconds < 1381129101 566696 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu JOIN :#esoteric < 1381130028 816493 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu QUIT :Ping timeout: 240 seconds < 1381131289 671966 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu JOIN :#esoteric < 1381134390 175434 :Zuu_!zuu@unaffiliated/zuu JOIN :#esoteric < 1381137034 319961 :carado!~user4539@2a01:e35:8b61:e430:6ef0:49ff:fe73:1fd0 JOIN :#esoteric < 1381137983 206909 :shikhin!~Shikhin@unaffiliated/shikhin JOIN :#esoteric < 1381138968 848102 :Zuu_!zuu@unaffiliated/zuu NICK :Zuu < 1381139770 607386 :AnotherTest!~turingcom@94-224-28-191.access.telenet.be JOIN :#esoteric < 1381142623 813997 :MindlessDrone!~MindlessD@141.70.114.6 JOIN :#esoteric < 1381144924 318786 :Sgeo!~quassel@ool-ad034ea6.dyn.optonline.net QUIT :Read error: Connection reset by peer < 1381145473 877715 :Taneb!9020800e@gateway/web/freenode/ip.144.32.128.14 JOIN :#esoteric < 1381145533 510828 :Taneb!9020800e@gateway/web/freenode/ip.144.32.128.14 PRIVMSG #esoteric :Man, I forget how easy adblock makes watching youtube < 1381145546 85791 :Taneb!9020800e@gateway/web/freenode/ip.144.32.128.14 PRIVMSG #esoteric :Or having a desktop IRC client makes going on IRC < 1381145624 426887 :Taneb!9020800e@gateway/web/freenode/ip.144.32.128.14 PRIVMSG #esoteric :I had my first actual lectures this morning < 1381145649 166120 :Taneb!9020800e@gateway/web/freenode/ip.144.32.128.14 PRIVMSG #esoteric :One was an introduction to boolean logic, the other was an introduction to the concept of a computer architecture < 1381145657 866960 :Taneb!9020800e@gateway/web/freenode/ip.144.32.128.14 PRIVMSG #esoteric :I preferred the first one < 1381145671 107935 :Taneb!9020800e@gateway/web/freenode/ip.144.32.128.14 PRIVMSG #esoteric :I didn't think the second was very well presented < 1381145758 566167 :mnoqy!~okay@pool-98-108-206-66.snloca.dsl-w.verizon.net PRIVMSG #esoteric :sounds exciting < 1381145797 767017 :yorick!~yorick@oftn/member/yorick JOIN :#esoteric < 1381145846 249075 :S1!8d1fe87a@gateway/web/freenode/ip.141.31.232.122 JOIN :#esoteric < 1381146710 711892 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu QUIT :Ping timeout: 240 seconds < 1381146752 133888 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu JOIN :#esoteric < 1381146927 75876 :S1!8d1fe87a@gateway/web/freenode/ip.141.31.232.122 PRIVMSG #esoteric :So Bike what are you doing? < 1381147343 242958 :S1!8d1fe87a@gateway/web/freenode/ip.141.31.232.122 PRIVMSG #esoteric :ah ok < 1381147347 436926 :S1!8d1fe87a@gateway/web/freenode/ip.141.31.232.122 PRIVMSG #esoteric :good to hear < 1381147385 108716 :Taneb!9020800e@gateway/web/freenode/ip.144.32.128.14 PRIVMSG #esoteric :same < 1381147495 799377 :Mayushii!~moe@inportb/loli/cirno-chan NICK :Lymia < 1381147736 215278 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu QUIT :Ping timeout: 245 seconds < 1381148761 968903 :Taneb!9020800e@gateway/web/freenode/ip.144.32.128.14 QUIT :Quit: Page closed < 1381149239 877409 :S1!8d1fe87a@gateway/web/freenode/ip.141.31.232.122 QUIT :Quit: Page closed < 1381149380 724790 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu JOIN :#esoteric < 1381149998 682419 :MindlessDrone!~MindlessD@141.70.114.6 QUIT :Ping timeout: 240 seconds < 1381150910 701621 :MindlessDrone!~MindlessD@141.70.114.6 JOIN :#esoteric < 1381151056 338292 :boily!~boily@mtl.savoirfairelinux.net JOIN :#esoteric < 1381151123 722497 :metasepia!~metasepia@2607:fad8:4:6:f2de:f1ff:fe6c:6765 JOIN :#esoteric < 1381151183 353252 :asie!~textual@178235038113.elblag.vectranet.pl JOIN :#esoteric < 1381151407 580690 :asie!~textual@178235038113.elblag.vectranet.pl QUIT :Read error: No route to host < 1381151756 703990 :asie!~textual@178235038113.elblag.vectranet.pl JOIN :#esoteric < 1381152252 152067 :Koen_!~Koen@vbo91-6-78-245-243-132.fbx.proxad.net JOIN :#esoteric < 1381152322 180075 :Koen__!~Koen@vbo91-6-78-245-243-132.fbx.proxad.net JOIN :#esoteric < 1381152322 325550 :Koen_!~Koen@vbo91-6-78-245-243-132.fbx.proxad.net QUIT :Read error: Connection reset by peer < 1381153792 68896 :Koen__!~Koen@vbo91-6-78-245-243-132.fbx.proxad.net 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?" < 1381153927 243945 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :`pastewisdom < 1381153931 983969 :HackEgo!dlopen@libdl.so PRIVMSG #esoteric :http://codu.org/projects/hackbot/fshg/index.cgi/file/tip/wisdom/ < 1381154027 325053 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :@tell oerjan my perception skills are poor. I usually need 17+ on a check. < 1381154027 470574 :lambdabot!lambdabot@2a01:7e00::f03c:91ff:fedf:9fdd PRIVMSG #esoteric :Consider it noted. < 1381154031 424324 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :@tell oerjan indeed. < 1381154031 606428 :lambdabot!lambdabot@2a01:7e00::f03c:91ff:fedf:9fdd PRIVMSG #esoteric :Consider it noted. < 1381154455 71072 :asie!~textual@178235038113.elblag.vectranet.pl QUIT :Quit: My MacBook Pro has gone to sleep. ZZZzzz... < 1381154648 301677 :asie!~textual@178235038113.elblag.vectranet.pl JOIN :#esoteric < 1381154882 118901 :asie!~textual@178235038113.elblag.vectranet.pl QUIT :Client Quit < 1381155522 172499 :asie!~textual@178235038113.elblag.vectranet.pl JOIN :#esoteric < 1381156236 212227 :Zuu!zuu@unaffiliated/zuu QUIT :Ping timeout: 245 seconds < 1381156273 4922 :conehead!~conehead@unaffiliated/conehead JOIN :#esoteric < 1381156633 204163 :Zuu!zuu@unaffiliated/zuu JOIN :#esoteric < 1381156975 546692 :shikhin_!~Shikhin@unaffiliated/shikhin JOIN :#esoteric < 1381157178 181288 :shikhin!~Shikhin@unaffiliated/shikhin QUIT :Ping timeout: 264 seconds < 1381157518 527227 :nooodl!~nooodl@91.176.135.69 JOIN :#esoteric < 1381158039 970790 :FreeFull!~freefull@defocus/sausage-lover JOIN :#esoteric < 1381158207 252073 :JWinslow23!d83851e2@gateway/web/freenode/ip.216.56.81.226 JOIN :#esoteric < 1381158425 770424 :carado!~user4539@2a01:e35:8b61:e430:6ef0:49ff:fe73:1fd0 QUIT :Ping timeout: 245 seconds < 1381158675 891433 :JWinslow23!d83851e2@gateway/web/freenode/ip.216.56.81.226 PRIVMSG #esoteric :I'm working on a Hello World program in Tic-Tac-Toe. < 1381158685 641671 :JWinslow23!d83851e2@gateway/web/freenode/ip.216.56.81.226 PRIVMSG #esoteric :So far, I have 60 games. < 1381158698 442688 :JWinslow23!d83851e2@gateway/web/freenode/ip.216.56.81.226 PRIVMSG #esoteric :They print "Hello Wor" so far. < 1381159001 243688 :Taneb!90208049@gateway/web/freenode/ip.144.32.128.73 JOIN :#esoteric < 1381159238 737901 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu QUIT :Ping timeout: 264 seconds < 1381159408 177071 :Sprocklem!~Sprocklem@199.185.88.147 JOIN :#esoteric < 1381159425 334639 :JWinslow23!d83851e2@gateway/web/freenode/ip.216.56.81.226 PRIVMSG #esoteric :Anyone wanna help convert other BF programs to Tic-Tac-Toe? < 1381159437 91126 :JWinslow23!d83851e2@gateway/web/freenode/ip.216.56.81.226 PRIVMSG #esoteric :Maybe someone can make a conversion program! < 1381159441 127724 :JWinslow23!d83851e2@gateway/web/freenode/ip.216.56.81.226 PRIVMSG #esoteric :I can't. < 1381159450 423049 :JWinslow23!d83851e2@gateway/web/freenode/ip.216.56.81.226 PRIVMSG #esoteric :I'm terrible at non-esoteric programming. < 1381159465 90982 :JWinslow23!d83851e2@gateway/web/freenode/ip.216.56.81.226 PRIVMSG #esoteric :At best, I'll make a table. < 1381159712 726889 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu JOIN :#esoteric < 1381160450 539346 :Gregor!dlopen@libdl.so PRIVMSG #esoteric :"I'm terrible at non-esoteric programming" -> So write a BF version. Then convert it with itself. < 1381160600 829782 :mnoqy!~okay@pool-98-108-206-66.snloca.dsl-w.verizon.net QUIT :Quit: hello < 1381160651 945880 :JWinslow23!d83851e2@gateway/web/freenode/ip.216.56.81.226 QUIT :Quit: Page closed < 1381161355 68436 :nooodl!~nooodl@91.176.135.69 PRIVMSG #esoteric :help i think tic tac toe is kinda cute for a brainfuck derivative... < 1381161490 975328 :Taneb!90208049@gateway/web/freenode/ip.144.32.128.73 QUIT :Quit: Page closed < 1381161611 41210 :myname!~myname@84.200.43.57 QUIT :Ping timeout: 256 seconds < 1381162045 628792 :myname!~myname@84.200.43.57 JOIN :#esoteric < 1381162068 787890 :asie!~textual@178235038113.elblag.vectranet.pl QUIT :Quit: My MacBook Pro has gone to sleep. ZZZzzz... < 1381162193 723626 :carado!~user4539@2a01:e35:8b61:e430:6ef0:49ff:fe73:1fd0 JOIN :#esoteric < 1381162523 669355 :ais523!~ais523@unaffiliated/ais523 JOIN :#esoteric < 1381162533 269413 :nooodl!~nooodl@91.176.135.69 PRIVMSG #esoteric :@tell JWinslow http://codepad.org/fBMEnC3S is this a valid bf->ttt conversion? the wiki article is kinda vague < 1381162533 414948 :lambdabot!lambdabot@2a01:7e00::f03c:91ff:fedf:9fdd PRIVMSG #esoteric :Consider it noted. < 1381162748 549701 :Sprocklem!~Sprocklem@199.185.88.147 QUIT :Ping timeout: 240 seconds < 1381162897 190052 :asie!~textual@178235038113.elblag.vectranet.pl JOIN :#esoteric < 1381162985 351180 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :@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? < 1381162985 538619 :lambdabot!lambdabot@2a01:7e00::f03c:91ff:fedf:9fdd PRIVMSG #esoteric :Consider it noted. < 1381163244 213300 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :nooodl: It seems kinda wasteful. < 1381164078 160829 :shikhin_!~Shikhin@unaffiliated/shikhin NICK :shikhin < 1381164667 764716 :Sprocklem!~Sprocklem@199.185.88.147 JOIN :#esoteric < 1381164962 748902 :Sprocklem!~Sprocklem@199.185.88.147 QUIT :Ping timeout: 264 seconds < 1381165153 868736 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :I have a dream... an Esolang Wiki without spam... < 1381165246 89414 :augur!~augur@208.58.5.87 QUIT :Remote host closed the connection < 1381165274 797339 :augur!~augur@208.58.5.87 JOIN :#esoteric < 1381165526 680959 :augur!~augur@208.58.5.87 QUIT :Ping timeout: 240 seconds < 1381165682 732008 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu QUIT :Ping timeout: 264 seconds < 1381166187 341958 :Sprocklem!~Sprocklem@199.185.88.147 JOIN :#esoteric < 1381166271 732498 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :shachaf: it sounds like Servo may get speculative tokenization of CSS a la http://research.microsoft.com/pubs/118795/pldi026-vaswani.pdf < 1381166274 755528 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :p. exciting < 1381166471 121473 :callforjudgement!~ais523@unaffiliated/ais523 JOIN :#esoteric < 1381166471 322769 :ais523!~ais523@unaffiliated/ais523 QUIT : < 1381166497 722558 :callforjudgement!~ais523@unaffiliated/ais523 NICK :ais523 < 1381166500 329177 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :that was hilarious < 1381166506 16879 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I started lagging, so I reconnected < 1381166510 345168 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :in time to see the messages I'd just sent < 1381166621 896655 :Taneb!~Taneb@5.151.65.22 JOIN :#esoteric < 1381166836 130191 :shikhin!~Shikhin@unaffiliated/shikhin QUIT :Ping timeout: 245 seconds < 1381167363 225448 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :ais523: ugh, same here < 1381167367 753058 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :probably a version mismatch < 1381167574 341323 :Sprocklem!~Sprocklem@199.185.88.147 QUIT :Ping timeout: 268 seconds < 1381167863 725250 :shikhin!~Shikhin@unaffiliated/shikhin JOIN :#esoteric < 1381168061 244721 :augur!~augur@129-2-129-33.wireless.umd.edu JOIN :#esoteric < 1381168485 337523 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover JOIN :#esoteric < 1381169009 938383 :Bike!~Glossina@wl-nat109.it.wsu.edu JOIN :#esoteric < 1381169041 684840 :Taneb!~Taneb@5.151.65.22 QUIT :Quit: Leaving < 1381169063 362164 :Frooxius!~Frooxius@cust-101.ktknet.cz QUIT :Read error: Connection reset by peer < 1381169206 222999 :Sprocklem!~Sprocklem@199.185.88.147 JOIN :#esoteric < 1381169312 78572 :Frooxius!~Frooxius@cust-101.ktknet.cz JOIN :#esoteric < 1381169317 277232 :nisstyre!~yours@oftn/member/Nisstyre QUIT :Disconnected by services < 1381169332 662289 :nisstyre!~yours@oftn/member/Nisstyre JOIN :#esoteric < 1381169461 383442 :yours_truly!~yours@bas2-hamilton02-1176215029.dsl.bell.ca JOIN :#esoteric < 1381169778 236619 :Sprocklem!~Sprocklem@199.185.88.147 QUIT :Ping timeout: 264 seconds < 1381169909 450271 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :~metar CYUL < 1381169910 146673 :metasepia!~metasepia@2607:fad8:4:6:f2de:f1ff:fe6c:6765 PRIVMSG #esoteric :CYUL 071810Z 22034G50KT 140V220 6SM -RA SCT022 OVC045 20/17 A2956 RERA RMK SC4SC4 PRESRR SLP011 DENSITY ALT 1000FT < 1381170114 305137 :nisstyre!~yours@oftn/member/Nisstyre QUIT :Quit: Leaving < 1381170156 593898 :Sprocklem!~Sprocklem@199.185.88.147 JOIN :#esoteric < 1381170601 608087 :Sprocklem!~Sprocklem@199.185.88.147 QUIT :Ping timeout: 245 seconds < 1381170733 267890 :tswett!23284801@gateway/web/freenode/ip.35.40.72.1 JOIN :#esoteric < 1381170743 756316 :tswett!23284801@gateway/web/freenode/ip.35.40.72.1 PRIVMSG #esoteric :Hey guys. < 1381170829 568967 :tswett!23284801@gateway/web/freenode/ip.35.40.72.1 PRIVMSG #esoteric :So you guys know Delineate.hs? A certain Haskell module that pretty much purports to implement linear typing, in Haskell. < 1381170898 975828 :tswett!23284801@gateway/web/freenode/ip.35.40.72.1 PRIVMSG #esoteric :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. < 1381170922 632702 :Bike!~Glossina@wl-nat109.it.wsu.edu PRIVMSG #esoteric :did you learn any statistics < 1381170927 864015 :tswett!23284801@gateway/web/freenode/ip.35.40.72.1 PRIVMSG #esoteric :I don't think so. < 1381170969 540768 :tswett!23284801@gateway/web/freenode/ip.35.40.72.1 PRIVMSG #esoteric :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. < 1381170978 476817 :tswett!23284801@gateway/web/freenode/ip.35.40.72.1 PRIVMSG #esoteric :This allowed me to simplify my implementation of With. < 1381170994 332275 :tswett!23284801@gateway/web/freenode/ip.35.40.72.1 PRIVMSG #esoteric :Then I go look here, and it turns out my implementation of With is this guy's implementation of Times. < 1381170995 544819 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :so... you added stuff to remove stuff? < 1381171018 6182 :tswett!23284801@gateway/web/freenode/ip.35.40.72.1 PRIVMSG #esoteric :They can't both be right, can they?????? < 1381171019 706971 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :
ACTION scratches his head in paradozzulment
< 1381171020 463637 :tswett!23284801@gateway/web/freenode/ip.35.40.72.1 PRIVMSG #esoteric :boily: something like that, yeah. < 1381171062 172453 :tswett!23284801@gateway/web/freenode/ip.35.40.72.1 PRIVMSG #esoteric :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. < 1381171228 751478 :tswett!23284801@gateway/web/freenode/ip.35.40.72.1 PRIVMSG #esoteric :It kind of seems like it is. Ich estoy confused. < 1381171354 46764 :tswett!23284801@gateway/web/freenode/ip.35.40.72.1 PRIVMSG #esoteric :I'll try to get a better idea of *how* this guy's stuff corresponds to linear logic. Like, what the actual correspondence is. < 1381171355 681753 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :tswett: Je am 慌てている también. < 1381171450 412276 :tswett!23284801@gateway/web/freenode/ip.35.40.72.1 PRIVMSG #esoteric :Google Translate says "慌てて" means "hastily". < 1381171491 631530 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :ah? < 1381171520 334298 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :it also suggests “perpexedly”. < 1381171530 53075 :tswett!23284801@gateway/web/freenode/ip.35.40.72.1 PRIVMSG #esoteric :Ah, so it does. < 1381171578 223260 :Bike!~Glossina@wl-nat109.it.wsu.edu PRIVMSG #esoteric :i am perplexedly always? that's some deep shit boily. < 1381171584 392358 :tswett!23284801@gateway/web/freenode/ip.35.40.72.1 PRIVMSG #esoteric :Je don't parlare Japanisch. < 1381171588 396885 :tswett!23284801@gateway/web/freenode/ip.35.40.72.1 PRIVMSG #esoteric :También is also, not always. < 1381171598 724711 :Bike!~Glossina@wl-nat109.it.wsu.edu PRIVMSG #esoteric :same diff < 1381171601 695091 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :Bike: I am deep. it was -RAing today. humidity confuses my neurons. < 1381171614 605125 :Bike!~Glossina@wl-nat109.it.wsu.edu PRIVMSG #esoteric :why your neurons specifically? < 1381171616 129573 :^v!~DerpHerp@c-71-238-152-180.hsd1.mi.comcast.net JOIN :#esoteric < 1381171636 472717 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :tswett: et avec mon (supposément horrible) accent français, the confusion propagates by itself. < 1381171674 478327 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :Bike: statistically, I have way more neurons than anything else in my body, modulo gastrointestinal bacteria. < 1381171721 595188 :Bike!~Glossina@wl-nat109.it.wsu.edu PRIVMSG #esoteric :uh... you are human, right? or am i making bad assumptions? < 1381171765 731710 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :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. < 1381171793 842414 :tswett!23284801@gateway/web/freenode/ip.35.40.72.1 PRIVMSG #esoteric :Is a ~duck a function that takes a duck and doesn't return? < 1381171835 781436 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :hmm, there's an interesting insider trading speculation going on < 1381171861 809947 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :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 < 1381171867 564871 :nisstyre!~yours@oftn/member/Nisstyre JOIN :#esoteric < 1381171869 417557 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :tswett: it's a function that takes an unwanted query, then returns no information. < 1381171881 889682 :tswett!23284801@gateway/web/freenode/ip.35.40.72.1 PRIVMSG #esoteric :Ooh, I love those. < 1381171883 249697 :asie!~textual@178235038113.elblag.vectranet.pl QUIT :Quit: My MacBook Pro has gone to sleep. ZZZzzz... < 1381171885 213635 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :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 < 1381171921 529223 :tswett!23284801@gateway/web/freenode/ip.35.40.72.1 PRIVMSG #esoteric :Isn't that a window of a few hundred milliseconds? < 1381171931 406674 :Bike!~Glossina@wl-nat109.it.wsu.edu PRIVMSG #esoteric :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 < 1381171937 341056 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :tswett: it was 7ms in this particular case < 1381171942 830712 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :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” < 1381171946 765387 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :but finance trading software's faster than that nowadays < 1381171957 408297 :Bike!~Glossina@wl-nat109.it.wsu.edu PRIVMSG #esoteric :boily: well yes, but your body has other cells in it. < 1381171968 384655 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric : I must admit to being a bit surprised that there is a non empty intersection of relativity and finance law. < 1381171997 415846 :Bike!~Glossina@wl-nat109.it.wsu.edu PRIVMSG #esoteric :ais523: is it time for me to recommend krugman's paper on hyperspace arbitrage again < 1381172010 952487 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :Bike: that seems like a great recommendation < 1381172012 397792 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I won't read it < 1381172017 807492 :tswett!23284801@gateway/web/freenode/ip.35.40.72.1 PRIVMSG #esoteric :Yeah, the relative order of those two events seems to depend on the frame of reference, doesn't it. < 1381172019 214045 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :but I enjoy the fact that it exists < 1381172020 935440 :Bike!~Glossina@wl-nat109.it.wsu.edu PRIVMSG #esoteric :aw, but it's full of jokes < 1381172028 390129 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :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? < 1381172040 985565 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :so it can be released immediately at the scheduled time once copied < 1381172044 963352 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :~duck fascia < 1381172048 704893 :Bike!~Glossina@wl-nat109.it.wsu.edu PRIVMSG #esoteric :http://www.princeton.edu/~pkrugman/interstellar.pdf < 1381172052 318316 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :elliott: this was a big federal announcement in the US < 1381172057 812123 :tswett!23284801@gateway/web/freenode/ip.35.40.72.1 PRIVMSG #esoteric :ais523: so, is anyone actually going to get prosecuted here? < 1381172058 922611 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :and they were intentionally keeping it secret until a specific time < 1381172059 910638 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :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 < 1381172065 365569 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :.............metasepia......... < 1381172076 507482 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :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 < 1381172083 410834 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :tswett: who knows < 1381172088 650847 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :my guess is no, but it's quite early yet < 1381172107 780632 :metasepia!~metasepia@2607:fad8:4:6:f2de:f1ff:fe6c:6765 QUIT :Remote host closed the connection < 1381172111 309332 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :ais523: yes, I know < 1381172115 489831 :tswett!23284801@gateway/web/freenode/ip.35.40.72.1 PRIVMSG #esoteric :ais523: so the information was time-sensitive down to less than a second? < 1381172123 144064 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :ais523: if you read the news articles it says news organisations are allowed to see and IIRC copy the data before it's announced < 1381172127 147857 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :tswett: yes < 1381172134 154953 :metasepia!~metasepia@2607:fad8:4:6:f2de:f1ff:fe6c:6765 JOIN :#esoteric < 1381172136 993268 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :elliott: hmm, right < 1381172138 697676 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :~duck fascia < 1381172139 130028 :metasepia!~metasepia@2607:fad8:4:6:f2de:f1ff:fe6c:6765 PRIVMSG #esoteric :fascia definition: a flat usually horizontal member of a building having the form of a flat band or broad fillet. < 1381172141 26064 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :ais523: so it's perfectly plausible they just copied it to a nearer server before the release date, as far as I know < 1381172156 406415 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :this is a plausible explanation < 1381172157 86490 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :ais523: thus allowing simultaneous release at both locations, because you already paid the light-speed requirement in transferring it beforehand < 1381172180 712746 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :I'd like to think that if it was that simple there would be no story, but... < 1381172181 435569 :tswett!23284801@gateway/web/freenode/ip.35.40.72.1 PRIVMSG #esoteric :ais523: so... do you have a link to this or something? < 1381172207 265598 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :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 < 1381172212 274804 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :v. annoying < 1381172231 952105 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :tswett: http://www.washingtonpost.com/blogs/wonkblog/wp/2013/09/24/traders-may-have-gotten-last-weeks-fed-news-7-milliseconds-early/ < 1381172321 70733 :Bike!~Glossina@wl-nat109.it.wsu.edu QUIT :Ping timeout: 248 seconds < 1381172477 534109 :tswett!23284801@gateway/web/freenode/ip.35.40.72.1 PRIVMSG #esoteric :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. < 1381172627 218595 :tswett!23284801@gateway/web/freenode/ip.35.40.72.1 PRIVMSG #esoteric :, 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. < 1381172675 191781 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :tswett: not sure anyone understands this correctly < 1381172685 363864 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I doubt it's ever come up before < 1381172752 302062 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :what's the purpose of preventing them from leaking it < 1381172755 897705 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :if not to make things more fair < 1381172784 148827 :tswett!23284801@gateway/web/freenode/ip.35.40.72.1 PRIVMSG #esoteric :kmc: they obtained the information through some sort of agreement that obliges them to keep the information private. < 1381172808 740640 :tswett!23284801@gateway/web/freenode/ip.35.40.72.1 PRIVMSG #esoteric :Or through illegitimate means. < 1381172841 725040 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu JOIN :#esoteric < 1381172941 669502 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :boily: connective tissue. the stuff that keeps your heart tied to your ribcage. < 1381172977 711511 :tswett!23284801@gateway/web/freenode/ip.35.40.72.1 PRIVMSG #esoteric :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. < 1381173009 359496 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :http://en.wikipedia.org/wiki/Rolfing haha what the fuck, awesome < 1381173061 898211 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :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 < 1381173106 146685 :tswett!23284801@gateway/web/freenode/ip.35.40.72.1 PRIVMSG #esoteric :kmc: yeah, but of all the people trading securities, not one of them knows *all* of the relevant information. < 1381173125 535140 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :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 < 1381173147 273816 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :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 < 1381173154 424703 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :but I wouldn't say they're injecting "free money" then < 1381173162 885072 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :combining all that relevant information has a cost < 1381173166 441630 :tswett!23284801@gateway/web/freenode/ip.35.40.72.1 PRIVMSG #esoteric :Yeah, true. < 1381173173 66690 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :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. < 1381173174 562208 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :the people who don't pay that cost are paying others to do it for them < 1381173180 563112 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :or something < 1381173187 957136 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :isn't HFT more along the lines of like, basically shaving cents off each transaction? < 1381173191 594971 :Sprocklem!~Sprocklem@199.185.88.147 JOIN :#esoteric < 1381173209 280438 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :Bike: what the rolfungot is that... < 1381173209 630866 :fungot!fis@eos.zem.fi PRIVMSG #esoteric :boily: is the source free? can i write < 1381173215 271399 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :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 < 1381173218 910743 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :Fiora: that's not how it's defined, but that's what it normally does in practice < 1381173219 56257 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :both parties walk away satisfied < 1381173221 658269 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :fungot: of course you can. you just need an account on wikipédia. < 1381173221 901711 :fungot!fis@eos.zem.fi PRIVMSG #esoteric :boily: or lichen. not. know. < 1381173222 583141 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :boily: pretty hilarious < 1381173231 295092 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :I remember reading an article where they were doing cheesy things like using recognition algorithms to find large institutional trades < 1381173234 426254 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :Fiora, ais523: there are all kinds of different HFT strategies < 1381173237 31003 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :basically, suppose I want to buy something from you, I'm willing to pay £7, you're willing to sell it for £6 < 1381173237 356215 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :and then like, take advantage of that < 1381173252 90369 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :if we just made the deals with each other directly, we'd probably agree on a price somewhere in between < 1381173270 198573 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :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 < 1381173279 78408 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :then buy it from you for £6 and sell it to me for £7 < 1381173288 336412 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :so like super short timescale arbitrage? < 1381173289 403190 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :Bike: indeed. my previous top-quackering holistic body manipultion technique was accupressure, but I think that one takes the cherry. < 1381173291 631228 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :Fiora: yep < 1381173313 367531 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :fungot: lichen tastes good. I had it once in China. < 1381173313 704969 :fungot!fis@eos.zem.fi PRIVMSG #esoteric :boily: every procedure returns a recurisve procedure. http://www.kendyck.com/ 2005/ 02/15-feb-2005 the scsh manual is?! < 1381173327 270754 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :boily: i wish my whole body was organized in gravity. < 1381173344 237510 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :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 < 1381173349 450263 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :Bike: btw, what does it mean? < 1381173356 813043 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :boily: what does what mean < 1381173360 310595 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :in anticipation of someone selling it for less than that soon (say, when you come along with your £6 version) < 1381173382 507371 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :so I pay more than I might have to if I'd traded with you directly, but I get the trade fulfilled faster < 1381173400 171447 :tswett!23284801@gateway/web/freenode/ip.35.40.72.1 PRIVMSG #esoteric :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. < 1381173402 583022 :tswett!23284801@gateway/web/freenode/ip.35.40.72.1 PRIVMSG #esoteric :Yup, that works. < 1381173412 451847 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :Bike: to be organized in gravity. < 1381173414 995911 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :some strategies provide liquidity, some of them take liquidity < 1381173418 18524 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :both can be classified as HFT < 1381173429 301447 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :fungot: the recursion that can be recursed is not the true recursion. < 1381173429 846904 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :boily: I don't know but it sounds relaxing. < 1381173429 992561 :fungot!fis@eos.zem.fi PRIVMSG #esoteric :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 < 1381173436 560901 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :some strategies lose money on average except that exchanges pay you to provide liquidity < 1381173457 659190 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :Bike: I'm sure I can find at least on place here. < 1381173476 60790 :tswett!23284801@gateway/web/freenode/ip.35.40.72.1 PRIVMSG #esoteric :I'd love to see the origin of "every procedure returns a recurisve procedure". < 1381173477 465952 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :s/on/one < 1381173489 51960 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :`pastlogs every procedure returns < 1381173493 945634 :HackEgo!dlopen@libdl.so PRIVMSG #esoteric :​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: pastlogs: not found < 1381173500 131986 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :it could be, like, markov. < 1381173508 622622 :tswett!23284801@gateway/web/freenode/ip.35.40.72.1 PRIVMSG #esoteric :Search for "recurisve procedure", man. < 1381173510 775993 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :"every procedure returns" and "returns a recurisve procedure" massed up. < 1381173550 228009 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :Bike: what do you know → http://www.rolfing.qc.ca/engl/rolf2.htm < 1381173558 104108 :tswett!23284801@gateway/web/freenode/ip.35.40.72.1 PRIVMSG #esoteric :Yeah, but what sorts of things return recurisve procedures? < 1381173585 122765 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :https://www.google.com/search?q=recurisve this misspelling is more common than i thought. < 1381173593 748057 :tswett!23284801@gateway/web/freenode/ip.35.40.72.1 PRIVMSG #esoteric :I guess you could say that the Y combinator returns a recurisve procedure. But we wouldn't call it a procedure. < 1381173623 109100 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :boily: damn. < 1381173693 361604 :tswett!23284801@gateway/web/freenode/ip.35.40.72.1 PRIVMSG #esoteric :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. < 1381173711 488269 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :"I have the profound conviction that our bodies are the physical manifestation of who we are." < 1381173711 654315 :nooodl_!~nooodl@91.176.135.69 JOIN :#esoteric < 1381173718 446481 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :tswett: self-self-modifying code? < 1381173773 897905 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :what if it meant "recursive" as in "computable", eh < 1381173796 472642 :tswett!23284801@gateway/web/freenode/ip.35.40.72.1 PRIVMSG #esoteric :Hmmm. That's a possibility. < 1381173804 497490 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :recurisve* < 1381173822 516169 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :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 < 1381173832 454009 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :boily: by the way, if your neurons are directly exposed to atmospheric humidity, i recommend consulting a medical professional immediately. preferably a certified Rolfer ™. < 1381173885 548441 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :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 < 1381173907 590076 :ion!ion@heh.fi PRIVMSG #esoteric ::-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 < 1381173920 992702 :nooodl!~nooodl@91.176.135.69 QUIT :Ping timeout: 248 seconds < 1381173936 327325 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :Bike: can one auto-rolf oneself? I have this emotional attachment to my precious brain. < 1381173944 123307 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :ion: that is an awesome picture < 1381173951 514252 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :but often the signal is based on observed patterns and statistical correlations between assets and such < 1381173958 471104 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :boily: you'll have to get certification in practicing Rolfing ® first. < 1381173961 612768 :tswett!23284801@gateway/web/freenode/ip.35.40.72.1 PRIVMSG #esoteric :So, like... what happens when a person sells stock short, or something, and then they don't have enough money to buy it back? < 1381173967 617065 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :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 < 1381173970 724089 :tswett!23284801@gateway/web/freenode/ip.35.40.72.1 PRIVMSG #esoteric :Presumably someone has to pay for that. < 1381173990 198659 :MindlessDrone!~MindlessD@141.70.114.6 QUIT :Quit: MindlessDrone < 1381173997 451229 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :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 < 1381174006 894200 :tswett!23284801@gateway/web/freenode/ip.35.40.72.1 PRIVMSG #esoteric :Guess I need to go. Auf Wiedersehen. < 1381174010 858599 :tswett!23284801@gateway/web/freenode/ip.35.40.72.1 QUIT :Quit: Page closed < 1381174016 866358 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :oh I was going to answer the question :/ < 1381174019 743017 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :«"We call these BATs," Smith notes. "Big area touchscreens."» it's so beautiful < 1381174063 719878 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :uhm. in Québec French, «toucher son bat» is very obscene... < 1381174090 173947 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :what's it mean < 1381174102 905372 :nisstyre!~yours@oftn/member/Nisstyre QUIT :Quit: Leaving < 1381174123 458504 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :'This is to apprise you that $1.9 Million USD was paid out to us by the United Nations in conjunction with Microsoft... < 1381174126 464178 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :They have successfully succeeded in depositing "your" total funds of $1,900,000.00 with us here at Western Union, Malaysia.' < 1381174143 120090 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :you had two million dollars? do you have any more? can i have some? < 1381174167 807302 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :kmc: «bat» is slang for penis. < 1381174574 157126 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :why does each time I mention something embarassing do all conversations suddenly stop? < 1381174587 732129 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :My chicken is spicy. I can't talk. < 1381174658 74416 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :good point. chicken has ultimate priority. < 1381174673 701441 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :what isn't slang for penis, really < 1381174800 678452 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :kmc: "what" isn't slang for penis < 1381174808 169086 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :at least, not before I said that < 1381174810 613438 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :now it probably is < 1381174822 340235 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :no, it was before you said that, i can think of how < 1381174844 893358 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :Bike: it has to actually be used for that purpose to be slang < 1381174852 125225 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :yes, i know < 1381174852 591890 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :or at least appear on Urban Dictionary < 1381174982 369849 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :"Note: This fund is coming in 2 security proof boxes which are sealed with Synthetic nylon seal and padded with machine." < 1381174983 137677 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :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". < 1381175022 642873 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :yeah, that's the sort of thing i was thinking o. < 1381175023 380415 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :f < 1381175037 13735 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :"The whatsit is through there if you want it. (B. Forbes, 1983--a woman was indicating where the lavatory lay)" < 1381175049 490779 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :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 < 1381175055 319613 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :fizzie: but that's a different word < 1381175058 481491 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :lucky. < 1381175080 210513 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :my spam box has a $10.5m thing from Nigeria < 1381175080 398789 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :("whistle" is slang for penis. (Didn't have to read very far to find one.)) < 1381175080 563059 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :
ACTION wonders what "padded with machine" means
< 1381175095 218465 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :I am vaguely afraid to open any of them though < 1381175103 645216 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :
ACTION asks the padding oracle
< 1381175133 736803 :asie!~textual@178235038113.elblag.vectranet.pl JOIN :#esoteric < 1381175304 158266 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :"jump² a single act of copulation" < 1381175308 524367 :Sprocklem!~Sprocklem@199.185.88.147 QUIT :Ping timeout: 240 seconds < 1381175431 286421 :olsner!~salparot@c83-252-203-32.bredband.comhem.se PRIVMSG #esoteric :kmc: why are they giving you money? < 1381175462 223360 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :cause i'm so great < 1381175477 253818 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :Copulation in Three Acts < 1381175798 741058 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu QUIT :Ping timeout: 264 seconds < 1381176017 591643 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu JOIN :#esoteric < 1381176936 208750 :asie!~textual@178235038113.elblag.vectranet.pl QUIT :Quit: My MacBook Pro has gone to sleep. ZZZzzz... < 1381177786 401365 :AnotherTest!~turingcom@94-224-28-191.access.telenet.be QUIT :Ping timeout: 268 seconds < 1381178337 345714 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :checking whether the C compiler (clang -fPIC -fPIC -fPIC) works... no < 1381178343 212335 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :maybe with a fourth -fPIC ?!?!?!? < 1381178414 608764 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :kmc: you sound like fungot. < 1381178444 603954 :ais523!~ais523@unaffiliated/ais523 QUIT : < 1381178447 495264 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :fungot: Why u no reply? < 1381178447 816871 :fungot!fis@eos.zem.fi PRIVMSG #esoteric :fizzie: invalid syntax delay and force are deficient. is that possible. < 1381178453 169108 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Oh, okay. < 1381178480 428155 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :fungot: what have I done to you? < 1381178480 611148 :fungot!fis@eos.zem.fi PRIVMSG #esoteric :boily: " you must be < 1381178492 907842 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :fungot: I must be... what? < 1381178493 91072 :fungot!fis@eos.zem.fi PRIVMSG #esoteric :boily: oh offby1, it's not useful < 1381178573 508153 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :
ACTION slaps fungot "get a hold of yourself!"
< 1381178573 897913 :fungot!fis@eos.zem.fi PRIVMSG #esoteric :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 < 1381178602 345039 :ion!ion@heh.fi PRIVMSG #esoteric :http://www.techdirt.com/articles/20131005/01383624761/how-telecom-helped-government-spy-me.shtml < 1381178771 872999 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :fungot: obviously. < 1381178772 87832 :fungot!fis@eos.zem.fi PRIVMSG #esoteric :boily: stalin compiling itself is, just a clue < 1381178777 653122 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :ion: obviously. < 1381178850 333949 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover QUIT :Ping timeout: 245 seconds < 1381179032 981200 :Taneb!~Taneb@5.151.65.22 JOIN :#esoteric < 1381179677 685599 :augur!~augur@129-2-129-33.wireless.umd.edu QUIT :Remote host closed the connection < 1381180546 262134 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover JOIN :#esoteric < 1381181075 21703 :boily!~boily@mtl.savoirfairelinux.net QUIT :Quit: ASSERTIVE CHICKEN! < 1381181076 542797 :metasepia!~metasepia@2607:fad8:4:6:f2de:f1ff:fe6c:6765 QUIT :Remote host closed the connection < 1381181685 329731 :Zuu__!zuu@77.215.149.86 JOIN :#esoteric < 1381181691 814502 :Zuu!zuu@unaffiliated/zuu QUIT :Ping timeout: 245 seconds < 1381181888 137357 :oerjan!oerjan@sprocket.nvg.ntnu.no JOIN :#esoteric < 1381182115 678816 :augur!~augur@129-2-129-33.wireless.umd.edu JOIN :#esoteric < 1381182140 166021 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`pastelogs @tell boily < 1381182145 109905 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :@messages-loud < 1381182145 255968 :lambdabot!lambdabot@2a01:7e00::f03c:91ff:fedf:9fdd PRIVMSG #esoteric :boily said 7h 48m 37s ago: my perception skills are poor. I usually need 17+ on a check. < 1381182145 256151 :lambdabot!lambdabot@2a01:7e00::f03c:91ff:fedf:9fdd PRIVMSG #esoteric :boily said 7h 48m 33s ago: indeed. < 1381182174 803074 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :HackEgo: chop chop < 1381182186 528522 :HackEgo!dlopen@libdl.so PRIVMSG #esoteric :http://codu.org/projects/hackbot/fshg/index.cgi/raw-file/tip/paste/paste.3029 < 1381182259 885360 :olsner!~salparot@c83-252-203-32.bredband.comhem.se PRIVMSG #esoteric :HackEgo: chop chop < 1381182331 325696 :yours_truly!~yours@bas2-hamilton02-1176215029.dsl.bell.ca QUIT :Quit: Leaving < 1381182372 946110 :nisstyre!~yours@oftn/member/Nisstyre JOIN :#esoteric < 1381182518 674371 :nooodl_!~nooodl@91.176.135.69 QUIT :Ping timeout: 240 seconds < 1381182991 596421 :Taneb!~Taneb@5.151.65.22 QUIT :Quit: Leaving < 1381183214 746300 :carado!~user4539@2a01:e35:8b61:e430:6ef0:49ff:fe73:1fd0 QUIT :Ping timeout: 264 seconds < 1381183376 605512 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu QUIT :Ping timeout: 245 seconds < 1381183484 290418 :shikhin!~Shikhin@unaffiliated/shikhin QUIT :Ping timeout: 268 seconds < 1381183535 992289 :shikhin!~Shikhin@unaffiliated/shikhin JOIN :#esoteric < 1381183882 925632 :Bike!~Glossina@wl-nat101.it.wsu.edu JOIN :#esoteric < 1381184072 992722 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`pastelogs recurisve < 1381184095 80316 :HackEgo!dlopen@libdl.so PRIVMSG #esoteric :http://codu.org/projects/hackbot/fshg/index.cgi/raw-file/tip/paste/paste.1949 < 1381184130 671055 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :^style < 1381184130 819757 :fungot!fis@eos.zem.fi PRIVMSG #esoteric :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 < 1381184183 71593 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :@tell boily fungot's irc style includes some logs from #scheme, the recurisve thing probably comes from there. < 1381184183 217042 :lambdabot!lambdabot@2a01:7e00::f03c:91ff:fedf:9fdd PRIVMSG #esoteric :Consider it noted. < 1381184183 555712 :fungot!fis@eos.zem.fi PRIVMSG #esoteric :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 < 1381184217 520042 :olsner!~salparot@c83-252-203-32.bredband.comhem.se PRIVMSG #esoteric :fungot: I would also be confused by that... < 1381184217 970243 :fungot!fis@eos.zem.fi PRIVMSG #esoteric :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 < 1381184243 860886 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i see #scheme takes grieving over their idols seriously. < 1381184287 926296 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :hi fungot < 1381184288 159447 :fungot!fis@eos.zem.fi PRIVMSG #esoteric :shachaf: ( r6rs seems pretty cool game, supports many languages) fnord work < 1381184358 670177 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :fungot got got < 1381184358 875241 :fungot!fis@eos.zem.fi PRIVMSG #esoteric :shachaf: and another satisfied customer. next! *grin* < 1381184568 714113 :conehead!~conehead@unaffiliated/conehead QUIT :Quit: Computer has gone to sleep. < 1381184835 781590 :augur!~augur@129-2-129-33.wireless.umd.edu QUIT :Remote host closed the connection < 1381184881 762743 :augur!~augur@129-2-129-33.wireless.umd.edu JOIN :#esoteric < 1381184920 317481 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric : "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! < 1381184935 249642 :JWinslow23!411e34fe@gateway/web/freenode/ip.65.30.52.254 JOIN :#esoteric < 1381184945 808162 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :except, perhaps, the profundity part. < 1381184982 839545 :JWinslow23!411e34fe@gateway/web/freenode/ip.65.30.52.254 PRIVMSG #esoteric :I figured out my Hello World program! It is 101 instructions in BF, and 81 games in TicTacToe. Wow. < 1381184998 165307 :JWinslow23!411e34fe@gateway/web/freenode/ip.65.30.52.254 PRIVMSG #esoteric :I'll upload it soon! < 1381185005 187642 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :hm... < 1381185024 641686 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :!bf_txtgen Hello, World! < 1381185029 106518 :EgoBot!dlopen@libdl.so PRIVMSG #esoteric :​140 ++++++++++++++[>+++++>+++++++>+++>++++++<<<<-]>++.>+++.+++++++..+++.>++.------------.>+++.<<.+++.------.--------.>+.-----------------------. [238] < 1381185053 568042 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :!bf_txtgen Hello World < 1381185055 820919 :EgoBot!dlopen@libdl.so PRIVMSG #esoteric :​110 ++++++++++[>+>++++++++++>+++++++>+++<<<<-]>>>++.<+.+++++++..+++.>>++.<+++++++++++++++.<.+++.------.--------.<. [831] < 1381185060 66809 :JWinslow23!411e34fe@gateway/web/freenode/ip.65.30.52.254 PRIVMSG #esoteric :I'm talking about the wiki example. < 1381185064 331846 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :oh. < 1381185116 243790 :JWinslow23!411e34fe@gateway/web/freenode/ip.65.30.52.254 PRIVMSG #esoteric :++++++++++[>+++++++>++++++++++>+++>+<<<<-]>++.>+.+++++++..+++.>++.<<+++++++++++++++.>.+++.------.--------.>+.>. < 1381185155 451991 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :wait what < 1381185176 462397 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :JWinslow23: so, you have your language specified? < 1381185199 826668 :JWinslow23!411e34fe@gateway/web/freenode/ip.65.30.52.254 PRIVMSG #esoteric :What is specified? < 1381185266 289189 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :tictactoe < 1381185287 616658 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :^bf ++++++++++[>+++++++>++++++++++>+++>+<<<<-]>++.>+.+++++++..+++.>++.<<+++++++++++++++.>.+++.------.--------.>+.>. < 1381185287 764636 :fungot!fis@eos.zem.fi PRIVMSG #esoteric :Hello World!. < 1381185293 372828 :JWinslow23!411e34fe@gateway/web/freenode/ip.65.30.52.254 PRIVMSG #esoteric :I have all of the syntax (and cat program) down. < 1381185322 631647 :augur!~augur@129-2-129-33.wireless.umd.edu QUIT :Remote host closed the connection < 1381185343 229563 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :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) < 1381185447 968244 :olsner!~salparot@c83-252-203-32.bredband.comhem.se PRIVMSG #esoteric :(as we all know, the full name is wikiwikipedia) < 1381185545 292836 :JWinslow23!411e34fe@gateway/web/freenode/ip.65.30.52.254 QUIT :Ping timeout: 250 seconds < 1381185894 16396 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :oh wait the wikipedia one isn't shorter, it was 111 chars. < 1381186375 393903 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :the wikipedia one looks txtgen made, unlike the one on esolang. < 1381186419 73852 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :oh hm < 1381186440 641302 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :!bf_txtgen Hello World! < 1381186443 887751 :EgoBot!dlopen@libdl.so PRIVMSG #esoteric :​111 ++++++++++[>+++++++>++++++++++>+++>+<<<<-]>++.>+.+++++++..+++.>++.<<+++++++++++++++.>.+++.------.--------.>+.>. [243] < 1381186519 93385 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :ok now i had the same text and it's identical to wikipedia. < 1381186545 122614 :Bike!~Glossina@wl-nat101.it.wsu.edu PRIVMSG #esoteric :indeterminism~ < 1381186574 154347 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :no, i just didn't write precisely Hello World! before. < 1381186592 569919 :Bike!~Glossina@wl-nat101.it.wsu.edu PRIVMSG #esoteric :!bf_txtgen Hello World! < 1381186594 967754 :EgoBot!dlopen@libdl.so PRIVMSG #esoteric :​111 ++++++++++[>+++++++>++++++++++>+++>+<<<<-]>++.>+.+++++++..+++.>++.<<+++++++++++++++.>.+++.------.--------.>+.>. [324] < 1381186618 941371 :Bike!~Glossina@wl-nat101.it.wsu.edu PRIVMSG #esoteric :er, what's the bracketed number even do < 1381186627 698244 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :^bf >+++++++++[<++++++++>-]<.>+++++++[<++++>-]<+.+++++++..+++.>>>++++++++[<++++>-]<.>>>++++++++++[<+++++++++>-]<---.<<<<.+++.------.--------.>>+. < 1381186627 843736 :fungot!fis@eos.zem.fi PRIVMSG #esoteric :Hello World! < 1381186645 140010 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :Bike: number of execution steps, i think < 1381186664 766043 :Bike!~Glossina@wl-nat101.it.wsu.edu PRIVMSG #esoteric :!bf_txtgen Hello World! < 1381186667 62577 :EgoBot!dlopen@libdl.so PRIVMSG #esoteric :​115 +++++++++[>++++++++>+++++++++++>++++>+<<<<-]>.>++.+++++++..+++.>----.<<+++++++++++++++.>.+++.------.--------.>+.>+. [189] < 1381186684 361860 :Bike!~Glossina@wl-nat101.it.wsu.edu PRIVMSG #esoteric :now that's more like it < 1381186723 562909 :Bike!~Glossina@wl-nat101.it.wsu.edu PRIVMSG #esoteric :243and 324 are different even though it looks like the code is the same... < 1381186769 893514 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :oh good point. < 1381186780 596594 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :maybe it's genetic algorithm steps, then. < 1381187146 403900 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :
ACTION makes our wiki use the shorter version too.
< 1381187179 852158 :Bike!~Glossina@wl-nat101.it.wsu.edu QUIT :Ping timeout: 246 seconds < 1381187387 288297 :lexande!arapp@terpsichore.ugcs.caltech.edu JOIN :#esoteric < 1381187531 598757 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :hexande < 1381187536 717519 :lexande!arapp@terpsichore.ugcs.caltech.edu PRIVMSG #esoteric :hkmc < 1381187540 610980 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :are you here for nobel prize season? < 1381187559 731345 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :a nobel endeavor? < 1381187647 169673 :lexande!arapp@terpsichore.ugcs.caltech.edu PRIVMSG #esoteric :you can award your own nobel prizes when you can come up with an endowment big enough for a million dollar prize annually < 1381187662 11308 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :when I become a central bank you mean < 1381187678 147520 :lexande!arapp@terpsichore.ugcs.caltech.edu PRIVMSG #esoteric :and get some scandinavian institution to agree to make the decisions < 1381187769 239258 :JWinslow23!411e34fe@gateway/web/freenode/ip.65.30.52.254 JOIN :#esoteric < 1381187860 320716 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :what if i want to award micronobel prizes < 1381187887 340421 :JWinslow23!411e34fe@gateway/web/freenode/ip.65.30.52.254 PRIVMSG #esoteric :Look at the wiki page for my language, TicTacToe. http://esolangs.org/wiki/Tic_Tac_Toe < 1381187897 710830 :JWinslow23!411e34fe@gateway/web/freenode/ip.65.30.52.254 PRIVMSG #esoteric :Any suggestions? < 1381187936 756580 :lexande!arapp@terpsichore.ugcs.caltech.edu PRIVMSG #esoteric :kmc: how about the fact that nobel's will says the prize in literature is only for work in an idealistic direction < 1381187946 256383 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :LOOK! At the picture. SEE! The skull. The piece of skull removed. < 1381187950 341196 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :lexande: wtf < 1381187977 943371 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu JOIN :#esoteric < 1381188056 664557 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :@tell ais523 or at least appear on Urban Dictionary <-- ok i see cocaine and marihuana, but not penis. < 1381188056 809954 :lambdabot!lambdabot@2a01:7e00::f03c:91ff:fedf:9fdd PRIVMSG #esoteric :Consider it noted. < 1381188070 24826 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :it's for science. < 1381188116 322537 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :perhaps cocaine is itself slang for penis < 1381188152 845223 :JWinslow23!411e34fe@gateway/web/freenode/ip.65.30.52.254 PRIVMSG #esoteric :`? bsdmreclist < 1381188155 461438 :HackEgo!dlopen@libdl.so PRIVMSG #esoteric :bsdmreclist? ¯\(°_o)/¯ < 1381188171 345831 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover PRIVMSG #esoteric :it's not a wisdom entry, it's just a file < 1381188172 148151 :JWinslow23!411e34fe@gateway/web/freenode/ip.65.30.52.254 PRIVMSG #esoteric :`? bdsmreclist < 1381188173 672471 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover PRIVMSG #esoteric :`cat bdsmreclist < 1381188175 351995 :HackEgo!dlopen@libdl.so PRIVMSG #esoteric :cat: bdsmreclist: No such file or directory < 1381188175 700574 :HackEgo!dlopen@libdl.so PRIVMSG #esoteric :​* oerjan swats quintopia -----### \ Phantom_Hoover: it records all the big hits < 1381188197 666566 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover PRIVMSG #esoteric :hmm, those were meant to be out of order < 1381188213 269252 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :YOU are out of order. < 1381188219 766358 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :whisky dick, cocaine cock < 1381188236 895761 :lexande!arapp@terpsichore.ugcs.caltech.edu PRIVMSG #esoteric :umm < 1381188243 389663 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover PRIVMSG #esoteric :`run echo YOU are out of order. >> bdsmreclist < 1381188244 836075 :HackEgo!dlopen@libdl.so PRIVMSG #esoteric :bash: oerjan: No such file or directory < 1381188246 623630 :lexande!arapp@terpsichore.ugcs.caltech.edu PRIVMSG #esoteric :this is clearly a strange place < 1381188252 543401 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :lexande: what were you expecting < 1381188259 993971 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover PRIVMSG #esoteric :`run echo " YOU are out of order." >> bdsmreclist < 1381188262 759657 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :`relcome lexande < 1381188263 644219 :HackEgo!dlopen@libdl.so PRIVMSG #esoteric :No output. < 1381188265 872336 :HackEgo!dlopen@libdl.so PRIVMSG #esoteric :​12lexande: Wel07c12ome to the i04nternat02io05na04l09 hub for esoter04ic 08programming language desi05gn a10nd d13eployment! For more information, check out our wiki09: http://esola06ngs.o02rg/w05iki/Main_Pa07ge. (For 07the o10the08r14 kind of esoter02ica, try #e12soteric on i11rc.dal.11net.) < 1381188269 229487 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :lexande: NOW you are realizing? wait are you new here. < 1381188273 574362 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :darn too late. < 1381188284 727919 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i thought lexande looked familiar. < 1381188284 873475 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :`quote < 1381188286 674689 :HackEgo!dlopen@libdl.so PRIVMSG #esoteric :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 < 1381188297 660269 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :kmc: very poignant. < 1381188298 972686 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :that quote is hella apropos < 1381188302 762332 :lexande!arapp@terpsichore.ugcs.caltech.edu PRIVMSG #esoteric :oerjan: i've stuck my head in here a few times previously < 1381188309 89742 :lexande!arapp@terpsichore.ugcs.caltech.edu PRIVMSG #esoteric :i recall it being less strange < 1381188311 143661 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :and you have always left with your head too! < 1381188317 644720 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :lexande: it's my civilizing influence < 1381188318 21235 :lexande!arapp@terpsichore.ugcs.caltech.edu PRIVMSG #esoteric :that's true < 1381188326 925102 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :wait, poignant is not a synonym for apropos < 1381188329 793846 :lexande!arapp@terpsichore.ugcs.caltech.edu PRIVMSG #esoteric :it may be strange but it doesn't seem dangerous < 1381188330 135514 :shikhin_!~Shikhin@unaffiliated/shikhin JOIN :#esoteric < 1381188337 562396 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`quote kmc < 1381188339 690748 :HackEgo!dlopen@libdl.so PRIVMSG #esoteric :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 < 1381188340 728010 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :also I can do this now: < 1381188346 319059 :ChanServ!ChanServ@services. MODE #esoteric +o :kmc > 1381188346 400641 NAMES :#esoteric < 1381188349 832710 :lexande!arapp@terpsichore.ugcs.caltech.edu PRIVMSG #esoteric :`quote lexande < 1381188351 473107 :ChanServ!ChanServ@services. MODE #esoteric -o :kmc > 1381188351 494064 NAMES :#esoteric < 1381188351 618609 :HackEgo!dlopen@libdl.so PRIVMSG #esoteric :939) sometimes i am confronted with a problem and i think "I know, I'll use Banach-Tarski" < 1381188380 11872 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover PRIVMSG #esoteric :lexande, do these problems involve not having enough of something < 1381188381 184911 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :`run quote kmc | shuf < 1381188383 452693 :HackEgo!dlopen@libdl.so PRIVMSG #esoteric :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 < 1381188389 881010 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :`run quote kmc | shuf < 1381188392 177030 :HackEgo!dlopen@libdl.so PRIVMSG #esoteric :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 < 1381188398 239421 :JWinslow23_!411e34fe@gateway/web/freenode/ip.65.30.52.254 JOIN :#esoteric < 1381188417 259959 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :Phantom_Hoover: ... < 1381188426 517677 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover PRIVMSG #esoteric :what < 1381188431 245433 :JWinslow23!411e34fe@gateway/web/freenode/ip.65.30.52.254 QUIT :Ping timeout: 250 seconds < 1381188437 198449 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover PRIVMSG #esoteric :what did i do this time < 1381188438 761116 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :Phantom_Hoover: you seem to have been whooshed by that quote. < 1381188489 439150 :lexande!arapp@terpsichore.ugcs.caltech.edu PRIVMSG #esoteric :oerjan: mostly i am a friend of kmc's from way back. i also know shachaf from Another Place < 1381188491 27865 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover PRIVMSG #esoteric :oh is the joke that you'll have as much problem as you like < 1381188491 826752 :JWinslow23_!411e34fe@gateway/web/freenode/ip.65.30.52.254 PRIVMSG #esoteric :`? cello < 1381188494 74514 :HackEgo!dlopen@libdl.so PRIVMSG #esoteric :​4The 7high 8level 9stucture 2of 13Cello 6projects 4is 7inspired 8by 9/Haskell/, 2while 13the 6syntax 4and 7semantics 8are 9inspired 2by 13/Python/ 6and 4/Obj-C/. < 1381188500 750955 :JWinslow23_!411e34fe@gateway/web/freenode/ip.65.30.52.254 PRIVMSG #esoteric :WTF? < 1381188523 23761 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :Phantom_Hoover: the joke is that it's an allusion to the regexp joke. < 1381188530 517010 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :also, banach-tarski. < 1381188534 262527 :shikhin!~Shikhin@unaffiliated/shikhin QUIT :Ping timeout: 264 seconds < 1381188538 949649 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover PRIVMSG #esoteric :yes, that would make sense < 1381188557 477794 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :`run quote kmc | shuf < 1381188559 656791 :HackEgo!dlopen@libdl.so PRIVMSG #esoteric :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 < 1381188618 20857 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :`quote 984 < 1381188619 843723 :HackEgo!dlopen@libdl.so PRIVMSG #esoteric :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] < 1381188641 626219 :lexande!arapp@terpsichore.ugcs.caltech.edu PRIVMSG #esoteric :kmc why u do this < 1381188648 360341 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :which? < 1381188652 88069 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :my quote 984? < 1381188657 296490 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :that was kind of kmc.jerkcity.moed++ < 1381188664 482468 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :because elliott's a nerdeeee < 1381188668 554821 :lexande!arapp@terpsichore.ugcs.caltech.edu PRIVMSG #esoteric :no, `run quote kmc | shuf < 1381188672 667245 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :oh why not < 1381188683 332378 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :oerjan started in with the `quote kmc < 1381188689 172356 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :but the earliest quotes are embarassing and bad < 1381188691 700643 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :so i had to shuf them < 1381188704 847216 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :to get other embarassing quotes. < 1381188706 200648 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :`run quote lexande | wc -l < 1381188708 303815 :HackEgo!dlopen@libdl.so PRIVMSG #esoteric :1 < 1381188710 393629 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :oerjan: but not bad ones! < 1381188716 959969 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :it's beyond me why you would be embarassed by cocks < 1381188718 388610 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :true, true. < 1381188722 436146 :lexande!arapp@terpsichore.ugcs.caltech.edu PRIVMSG #esoteric :i'm pretty happy with my one quote < 1381188736 545604 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :`quote lexande < 1381188738 113190 :HackEgo!dlopen@libdl.so PRIVMSG #esoteric :939) sometimes i am confronted with a problem and i think "I know, I'll use Banach-Tarski" < 1381188749 665549 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover PRIVMSG #esoteric :`quote tarski < 1381188751 397939 :HackEgo!dlopen@libdl.so PRIVMSG #esoteric :939) sometimes i am confronted with a problem and i think "I know, I'll use Banach-Tarski" < 1381188752 180404 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :i was expecting " i'm pretty happy with my one quote" < 1381188758 723935 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover PRIVMSG #esoteric :i feel tarski's the less appreciated of the pair < 1381188764 752438 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`? banach-tarski < 1381188773 362515 :HackEgo!dlopen@libdl.so PRIVMSG #esoteric :​"Banach-Tarski" is an anagram of "Banach-Tarski Banach-Tarski". < 1381188785 268671 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :tarski, as in "proved reals decideable" tarski, is underappreciated? < 1381188785 487763 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover PRIVMSG #esoteric :we should have something cleverer there < 1381188791 785449 :lexande!arapp@terpsichore.ugcs.caltech.edu PRIVMSG #esoteric :Phantom_Hoover: but, Tarski undefinability of truth, and Tarski-Vaught test for elementary substructures, and stuff < 1381188799 540490 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :yeah what he said < 1381188806 670403 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :i mean banach's theorem is cool too but c'mon < 1381188809 843421 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover PRIVMSG #esoteric :vs. banach space? i know which i've heard of more < 1381188817 178361 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover PRIVMSG #esoteric :and he has a theorem of his own! < 1381188820 533459 :lexande!arapp@terpsichore.ugcs.caltech.edu PRIVMSG #esoteric :whereas only analysts care about banach mostly < 1381188840 298545 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :maybe you've been spending too much time in infinite-dimensional space, phantom < 1381188852 349394 :Sgeo!~quassel@ool-ad034ea6.dyn.optonline.net JOIN :#esoteric < 1381188855 689003 :lexande!arapp@terpsichore.ugcs.caltech.edu PRIVMSG #esoteric :maybe you've been spending too much time around analysts < 1381188858 567249 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover PRIVMSG #esoteric :whereas only logicians care about tarski? < 1381188862 448595 :JWinslow23_!411e34fe@gateway/web/freenode/ip.65.30.52.254 QUIT :Quit: Page closed < 1381188868 356802 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :yeah, well, which one is closer to this channel < 1381188872 58606 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover PRIVMSG #esoteric :well i do avoid logicians when i can... < 1381188901 252230 :lexande!arapp@terpsichore.ugcs.caltech.edu PRIVMSG #esoteric :what did we ever do to you < 1381188904 165232 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :programmers are confused and scared by reals, man < 1381188911 957579 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :that's because real numbers are /fucked up/ < 1381188918 543002 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :Phantom_Hoover: well you see, since tarski and banach are both half of banach-tarski, they are also equivalent to the whole < 1381188925 428797 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :see like that *points and laughs at kmc* < 1381188951 78984 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover PRIVMSG #esoteric :oerjan, oh ofc. < 1381188957 263220 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :though speaking of unknown hyphenated mathematicians, i only looked up who bendixson was today < 1381188962 210019 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :and i already forgot < 1381188971 308354 :mnoqy!~okay@pool-98-108-206-66.snloca.dsl-w.verizon.net JOIN :#esoteric < 1381188977 861291 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :good job < 1381188981 93010 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :good story < 1381188998 572887 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :"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 < 1381189024 444646 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover PRIVMSG #esoteric :maybe he was just trying to get the name bendixson on things < 1381189040 829421 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover PRIVMSG #esoteric :i know i would < 1381189044 940754 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :mathematicians: taking derivatives of things since 1680 < 1381189053 695068 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :well he's mostly known for the "poincaré-bendixson theorem" and poincare is obviously famouser < 1381189057 437421 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover PRIVMSG #esoteric :AUGH he was a fucking SWEDE < 1381189076 905909 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :the curry-howard correspondance is the curry-howard-de Bruijn correspondance in .nl < 1381189091 409224 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :it's kind of weird to say someone's name is cool and then complain about their nationality < 1381189104 869106 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :imo debruijn++ < 1381189137 382627 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover PRIVMSG #esoteric :Bike, i... didn't say it was cool! < 1381189144 221250 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :you implied it < 1381189154 821647 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :implying is the new saying < 1381189198 229968 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :"You infer, I imply" < 1381189207 201327 :lexande!arapp@terpsichore.ugcs.caltech.edu PRIVMSG #esoteric :Bike: oh, i only heard of him because of cantor-bendixson rank < 1381189221 120460 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :huh i have never heard of that < 1381189233 274444 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :maybe he's more famous than i realized.................. < 1381189248 864169 :yorick!~yorick@oftn/member/yorick QUIT :Remote host closed the connection < 1381189261 180830 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :does the "s" actually do anything in "Bendixson"? < 1381189269 172722 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :or is it just like, okay, here's an "s" to help you get over that "x" < 1381189276 3847 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :it says he's son of bendix obviously < 1381189277 490574 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover PRIVMSG #esoteric :probably copied other people's work and pretended he discovered it independently < 1381189283 653035 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover PRIVMSG #esoteric :to get his name on things < 1381189303 23500 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :Phantom_Hoover: well poincare-bendixson was him ironing out an earlier proof by poincare. < 1381189356 337297 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :oh, but it went the opposite way with "bendixson-dulac" < 1381189380 833231 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :maybe mathematics isn't actually driven by single geniuses and a bunch of hangers on........ < 1381189478 372072 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover QUIT :Quit: Leaving < 1381189482 18304 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :elliott: seems "bengtsson" is another form < 1381189554 848164 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover JOIN :#esoteric < 1381189558 281688 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover PRIVMSG #esoteric : maybe mathematics isn't actually driven by single geniuses and a bunch of hangers on........ < 1381189570 944218 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :hi < 1381189577 134452 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover PRIVMSG #esoteric :on this general topic can i have 3 minutes of hate for the wolframs < 1381189587 655708 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :plural, now? < 1381189595 897940 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover PRIVMSG #esoteric :yes < 1381189596 445393 :lexande!arapp@terpsichore.ugcs.caltech.edu PRIVMSG #esoteric :elliott: i think the s does something, yes < 1381189634 144438 :lexande!arapp@terpsichore.ugcs.caltech.edu PRIVMSG #esoteric :ben dix son < 1381189653 163486 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :i saw a new kind of science in my uni bookstore, had a good chuckle < 1381189662 23782 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover PRIVMSG #esoteric :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 < 1381189675 661361 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :i love ted talks. they're so bad < 1381189689 552083 :lexande!arapp@terpsichore.ugcs.caltech.edu PRIVMSG #esoteric :also elliott you know alice atlas? < 1381189706 981885 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :"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 < 1381189716 46547 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover PRIVMSG #esoteric :warwick has a big TED^x conference < 1381189721 201872 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover PRIVMSG #esoteric :i know people who go and all < 1381189721 792326 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :lexande: yeah, for 7 years :) < 1381189728 589902 :lexande!arapp@terpsichore.ugcs.caltech.edu PRIVMSG #esoteric :yay for the world being small < 1381189735 598242 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :«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 < 1381189770 702759 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :Phantom_Hoover: what i've seen of tedx has been way worse than even regular ted < 1381189784 214099 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover PRIVMSG #esoteric :Bike, keep in mind that vortex math had its big break at a tedx < 1381189794 266283 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :haha < 1381189797 311624 :mnoqy!~okay@pool-98-108-206-66.snloca.dsl-w.verizon.net PRIVMSG #esoteric :i've only seen the vortex math tedx < 1381189814 298159 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :some kind of joke about how singular geniuses are not invertible < 1381189816 613201 :mnoqy!~okay@pool-98-108-206-66.snloca.dsl-w.verizon.net PRIVMSG #esoteric :it was a good tedx though < 1381189822 741783 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :the last ted talk i saw was this neuroanatomist going on about the mystic experience she got from a hemorrage < 1381189829 407819 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :what do you even say to that < 1381189836 822916 :lexande!arapp@terpsichore.ugcs.caltech.edu PRIVMSG #esoteric :tedx presumably? < 1381189837 522278 :mnoqy!~okay@pool-98-108-206-66.snloca.dsl-w.verizon.net PRIVMSG #esoteric :hm < 1381189839 386397 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :"i'm sorry your brain blew up but i don't care" < 1381189839 708134 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover PRIVMSG #esoteric :have you all heard the story about my dad and vortex math < 1381189858 818293 :mnoqy!~okay@pool-98-108-206-66.snloca.dsl-w.verizon.net PRIVMSG #esoteric :i vaguely remember something about it but i could be imagining < 1381189899 934173 :lexande!arapp@terpsichore.ugcs.caltech.edu PRIVMSG #esoteric :so generally when i hear about such hilariously bad talks they are TEDx but are there notable TED-proper instances? < 1381189903 510694 :augur!~augur@208.58.5.87 JOIN :#esoteric < 1381189916 154360 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover PRIVMSG #esoteric :well i showed it to him < 1381189918 606103 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :... is TEDx like UberX < 1381189924 619021 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :tedx is ted by third parties < 1381189927 823023 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover PRIVMSG #esoteric :and he was all like "this guy's onto something, i'm interested" < 1381189935 997837 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :a cut rate version of TED where they let random jerkoffs do it < 1381189938 228186 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :so, yes < 1381189940 516267 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :yep < 1381189952 53426 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :lexande: the one i'm talking about was ted proper actually. jill bolte taylor if you want to look it up < 1381189979 824855 :lexande!arapp@terpsichore.ugcs.caltech.edu PRIVMSG #esoteric :uberx is fine, so is lyft, cab drivers are not really less jerkoff-y than randoms < 1381190029 106667 :lexande!arapp@terpsichore.ugcs.caltech.edu PRIVMSG #esoteric :they are maybe better at driving but not necessarily < 1381190105 634360 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :how is lyft still legal < 1381190111 753718 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :are they really still relying on the "donation" thing < 1381190147 615363 :lexande!arapp@terpsichore.ugcs.caltech.edu PRIVMSG #esoteric :aren't they legal the same way uberx is? < 1381190152 160059 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :which way is that < 1381190152 728444 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :what's lyft and why would it be illegal < 1381190170 722588 :lexande!arapp@terpsichore.ugcs.caltech.edu PRIVMSG #esoteric :also the donation number is inscrutable < 1381190175 82171 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover QUIT :Quit: Leaving < 1381190186 594766 :lexande!arapp@terpsichore.ugcs.caltech.edu PRIVMSG #esoteric :there's no price list or anything < 1381190335 357381 :Sprocklem!~Sprocklem@S010674440130be65.cg.shawcable.net JOIN :#esoteric