< 1350433128 166785 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :[[ < 1350433128 513713 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Absurd Ambition: Towards lifting differential/integral calculus into Haskell (self.haskell) < 1350433128 594853 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :submitted 1 day ago by enolan < 1350433128 595021 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Okay, so first observe that FRP is a language embedded in Haskell for reasoning about systems evolving in time. Then make time first class. This enables time-bending programs, among other things. Remember that "regular" calculus is about rates of change and things depending on other things. Generalize FRP into differential/integral calculus on arbitrary data. (Remember we can find derivatives of data structures!) < 1350433129 547611 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Please poke all the holes possible in this idea. < 1350433131 456374 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Bitcoin donations graciously accepted here 1EDqgKBx3XuVnMughSzmTtFjqz5zey12Jv < 1350433133 578255 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :]] < 1350433135 703024 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :i nominate this for worst /r/haskell post of any time < 1350433138 735272 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :any objections < 1350433154 531922 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :[[I'm aware of automatic differentiation, hence "Remember we can find derivatives of data structures!".]] < 1350433158 318844 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :looks like their replies are golden too < 1350433168 857688 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :"Automatic differentiation is not the same as differentiating data structures." "I don't know what that means yet, but thank you." < 1350433228 852543 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :shachaf: does this enolan guy talk in #haskell at all < 1350433283 277124 :Phantom__Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 JOIN :#esoteric < 1350433288 790118 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :17:21 enolan was last seen on #haskell 1 day, 1 hour, 18 minutes and 3 seconds ago, saying: http://www.reddit.com/r/haskell/comments/11ixcl/absurd_ambition_towards_lifting/ < 1350433299 2833 :Phantom__Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :http://www.reddit.com/user/enolan < 1350433300 544907 :Phantom__Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :wow < 1350433319 474180 :Phantom__Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :a supercomputer that's also a nuclear reactor < 1350433326 425024 :Phantom__Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :guy thinks big, i'll give him that < 1350433335 711047 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :"Architect of the Bitcoin singularity, man of super-Einsteinian ambition, nerd accelerator. ;)" < 1350433340 312960 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :guys this is an emergency < 1350433343 417353 :Phantom__Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :http://paste.ubuntu.com/1276031/ < 1350433344 787551 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :someone has actually described themselves with these words < 1350433350 615223 :Phantom__Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :this guy is grade-a awful < 1350433356 661316 :Phantom__Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :(the a is for awful) < 1350433365 632967 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Phantom__Hoover: what is that from < 1350433372 920697 :Phantom__Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :fuck < 1350433373 972987 :Phantom__Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :knows < 1350433382 617029 :Phantom__Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :he posted a link to it on reddit, there is no context < 1350433391 892343 :Phantom__Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :no comments, just downvotes < 1350433462 845108 :Phantom__Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :http://www.reddit.com/r/askscience/comments/10bnuv/mirs_orbit_eventually_decayed_and_it_crashed_into/ < 1350433464 41127 :Phantom__Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :troll < 1350433467 810321 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 QUIT :Ping timeout: 240 seconds < 1350433468 144269 :Phantom__Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :for the love of god please < 1350433485 157959 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Phantom__Hoover: The question is: How can I donate bitcoins to this person? < 1350433490 185592 :Phantom__Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :http://www.reddit.com/r/askscience/comments/z8mnv/why_are_tall_women_generally_considered_more/ < 1350433539 819391 :Phantom__Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :if we capture and dissect this man we may finally understand the true essence of human stupidity < 1350433574 975472 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :"Asking for money seems a bit gratuitous." "I think this is gratutiously awesome idea." < 1350433578 183512 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :best reddit comment ever < 1350433661 863326 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :"Anyone who posts like that, and hurts my brain, gets upvotes and possibly BTC." < 1350433677 473159 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :"Does that mean we need dependent Haskell to express this? I am totally willing to go there!" < 1350433678 885190 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :careful guys < 1350433684 485338 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :he's totally willing to go there!! < 1350433691 895813 :Phantom__Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :he went there < 1350433695 41296 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :"Why is Edward getting all the imaginary internet points in this thread? Where are my points?!?!!?" he actually posted this < 1350433696 891973 :Phantom__Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :no coming back from there < 1350433745 114069 :Phantom__Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :"hey guys upvote upvote!!! it's ok because i've evolved beyond meaningless ideas of karma" < 1350433782 220003 :Phantom__Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :http://www.reddit.com/r/math/comments/yy344/askmath_what_is_a_good_mathematical_basis_for_a/ < 1350433787 204765 :Phantom__Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :oh sweet jesus < 1350433810 173743 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :@tell cmccann I have no idea what this is -- http://www.reddit.com/r/haskell/comments/11ixcl/absurd_ambition_towards_lifting/ -- but it looks sort of like trolling, esp. given http://www.reddit.com/r/haskell/comments/11ixcl/absurd_ambition_towards_lifting/c6n0evb... the asking for money thing seems inappropriate but I don't know if you want to do anything about it < 1350433810 381204 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :Consider it noted. < 1350433826 455424 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :my work is done < 1350433851 688817 :Arc_Koen!~Arc_Koen@78.245.243.132 PRIVMSG #esoteric :that's a pretty depressive sentence. < 1350433858 394561 :Phantom__Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :@tell cmccann make sure you check his post history if you feel like working up a good healthy hatred < 1350433858 835003 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :Consider it noted. < 1350433885 86173 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Why are you @telling cmccann? < 1350433907 355669 :DHeadshot!~DH____@unaffiliated/dh----/x-6288474 JOIN :#esoteric < 1350433908 324765 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :shachaf: I was @telling cmccann because reddit's report feature is useless and he's the most active /r/haskell mod and I talk with him fairly. < 1350433918 740402 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Phantom__Hoover is @telling cmccann because he's trying to be annoying, which I'm sure is behaviour you're familiar with. < 1350433931 428998 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :elliott: Fairly? < 1350433938 650068 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :*fairly often, whatever < 1350433942 56503 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :What about copumpkin? < 1350433957 370106 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :More like coolpumpkin, AM I RIGHT? < 1350433961 790974 :copumpkin!~copumpkin@unaffiliated/copumpkin PRIVMSG #esoteric :? < 1350433963 461988 :Phantom__Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 QUIT :Quit: Leaving < 1350433967 600537 :Arc_Koen!~Arc_Koen@78.245.243.132 PRIVMSG #esoteric :hey do you pronounce it often or often? < 1350433976 286516 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :copumpkin: shachaf is talking about /r/haskell mods :p < 1350433979 978234 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :re @tell cmccann I have no idea what this is -- http://www.reddit.com/r/haskell/comments/11ixcl/absurd_ambition_towards_lifting/ -- but it looks sort of like trolling, esp. given http://www.reddit.com/r/haskell/comments/11ixcl/absurd_ambition_towards_lifting/c6n0evb... the asking for money thing seems inappropriate but I don't know if you want to do anything about it < 1350433982 447993 :copumpkin!~copumpkin@unaffiliated/copumpkin PRIVMSG #esoteric :I pay attention to the modqueue whenever I can < 1350433988 457340 :copumpkin!~copumpkin@unaffiliated/copumpkin PRIVMSG #esoteric :and have done my fair share of moderating recently < 1350434003 594187 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :You should make elliott a moderator. < 1350434004 941084 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :
ACTION would have reported it if reddit's report feature included anything even vaguely useful like a text box to say wtf you're reporting for
< 1350434010 513528 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :It would be the end of /r/haskell as we know it. < 1350434629 965926 :Sgeo!~Sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :elliott, feel free to report then message mods? < 1350434762 597691 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Sgeo: I figured just messaging a mod would be less work. < 1350434766 385664 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Formal complaints are work 'n stuff. < 1350434778 141569 :Sgeo!~Sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :"A" mod? < 1350434782 153644 :Sgeo!~Sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :Why not the mods? < 1350434840 293407 :Sgeo!~Sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :You do know that that's a thing, right? You don't have to choose one particular mod, you can message /r/haskell < 1350434859 418927 :Sgeo!~Sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric : < 1350434866 208019 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :/msg /r/haskell hi monqy < 1350434869 926629 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :telling "a" mod, n. @tell cmccann I have no idea what this is -- http://www.reddit.com/r/haskell/comments/11ixcl/absurd_ambition_towards_lifting/ -- but it looks sort of like trolling, esp. given http://www.reddit.com/r/haskell/comments/11ixcl/absurd_ambition_towards_lifting/c6n0evb... the asking for money thing seems inappropriate but I don't know if you want to do anything about it < 1350434902 825914 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :elliott wants to tell his buddy cmccann < 1350434910 306136 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Because he knows cmccann will give him special treatment. < 1350434948 971794 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Yes, I control /r/haskell from behind closed doors. < 1350434957 43961 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Sgeo has found out my terrible secret. < 1350434962 646656 :Jafet!~Jafet@unaffiliated/jafet JOIN :#esoteric < 1350434974 612054 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :I will have to assassinate him and shachaf for their sins. < 1350435005 78106 :Arc_Koen!~Arc_Koen@78.245.243.132 PRIVMSG #esoteric :ok well good night < 1350435015 768796 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :copumpkin might assassinate you for your cosins! < 1350435016 308108 :Arc_Koen!~Arc_Koen@78.245.243.132 QUIT :Quit: and happy assassination < 1350435031 892250 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Does the co in cosine have anything to do with the category co? < 1350435037 158765 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net JOIN :#esoteric < 1350435052 699567 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :copumpkin: Please spare me, my cousins didn't do anything wrong. < 1350435070 713577 :copumpkin!~copumpkin@unaffiliated/copumpkin PRIVMSG #esoteric :elliott: your wish is granted, just this once < 1350435079 397189 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net QUIT :Client Quit < 1350435107 985401 :Jafet!~Jafet@unaffiliated/jafet PRIVMSG #esoteric :My croissants are to die for. < 1350435124 877420 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net JOIN :#esoteric < 1350435162 679243 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net QUIT :Client Quit < 1350435178 717139 :Sgeo!~Sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :"The cosine of an angle is the ratio of the length of the adjacent side to the length of the hypotenuse: so called because it is the sine of the complementary or co-angle." < 1350435181 681933 :Sgeo!~Sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :--Wikipedia < 1350435213 484136 :Jafet!~Jafet@unaffiliated/jafet PRIVMSG #esoteric :Don't stifle shachaf's new angle on category theory. < 1350435214 877147 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net JOIN :#esoteric < 1350435232 544006 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Sgeo: Yes, I know. < 1350435244 39362 :Sgeo!~Sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :
ACTION chokes with laughter.
< 1350435325 867437 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :...so I type /quit followed with a funny reason, then I click the damn red button to close the application before it has time to reconnect me somehow, and you know what? instead of closing it pops a little window "are you sure you want to close the application? that would close all connections" < 1350435336 224623 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :"what connection" < 1350435351 680889 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :"Welcome to the esoteric programming channel! < 1350435363 362069 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net QUIT :Client Quit < 1350435426 9936 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :shachaf: You killed Sgeo. < 1350435427 582821 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :That's murder. < 1350435428 964433 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :`quote murder < 1350435432 236390 :HackEgo!codu@codu.org PRIVMSG #esoteric :152) Phantom_Hoover: Don't be nasty; he's a lunatic, not a murderer. \ 304) elliott, it was an artful robbery! wait, murder \ 826) you've constructed a situation in which i have no choice but to die in 10 days well done that's murder < 1350435460 820611 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :when did monqy say that :'( < 1350435471 749440 :Jafet!~Jafet@unaffiliated/jafet PRIVMSG #esoteric :Less than ten days ago? < 1350435481 741852 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Presumably. < 1350435485 102756 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :monqy is a ghost. < 1350435490 782680 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`quote ghost < 1350435493 935112 :HackEgo!codu@codu.org PRIVMSG #esoteric :457) monqy: last night in my dreams I saw a false photo album of my childhood... looking ghostly \ 504) I MIGHT BECOME GHOST < 1350435495 503954 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`qhuost < 1350435499 58051 :HackEgo!codu@codu.org PRIVMSG #esoteric :​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: qhuost: not found < 1350436598 466346 :Jafet1!~Jafet@unaffiliated/jafet JOIN :#esoteric < 1350436649 320352 :Jafet!~Jafet@unaffiliated/jafet QUIT :Disconnected by services < 1350436655 704753 :Jafet1!~Jafet@unaffiliated/jafet NICK :Jafet < 1350436708 441246 :Sgeo!~Sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :http://www.reddit.com/r/Clojure/comments/11kav3/the_consequences_of_not_using_paredit/ < 1350436840 25727 :hogeyui!~hogeyuiVP@vps.usamimi.biz QUIT :*.net *.split < 1350436843 185748 :lahwran!lahwran@unaffiliated/lahwran QUIT :*.net *.split < 1350436907 85557 :hogeyui!~hogeyuiVP@vps.usamimi.biz JOIN :#esoteric < 1350436907 166249 :lahwran!lahwran@unaffiliated/lahwran JOIN :#esoteric < 1350437793 133948 :ion!ion@heh.fi PRIVMSG #esoteric :pareddit < 1350437870 248039 :ion!ion@heh.fi PRIVMSG #esoteric :Their target market is the non-OCD customers. < 1350438031 137040 :DHeadshot!~DH____@unaffiliated/dh----/x-6288474 QUIT :Read error: Connection reset by peer < 1350438036 905910 :DH____!~DH____@unaffiliated/dh----/x-6288474 JOIN :#esoteric < 1350438393 813245 :trout!root@freebsd/developer/variable NICK :function < 1350439055 600512 :Sgeo!~Sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :What mathematical problems, besides Fermat's last theorem, could a solution to the halting problem be used to solve, and to which we do manage to know the answer? < 1350439107 550285 :Slereah_!x@ANantes-259-1-252-78.w83-195.abo.wanadoo.fr PRIVMSG #esoteric :All of them really < 1350439125 666419 :pikhq!~pikhq@75-163-202-84.clsp.qwest.net PRIVMSG #esoteric :Most any. It's fairly trivial to produce a brute-force check of most theorems by looping over all *possible* combinations, that will only halt/not-halt if it's true. < 1350439128 265431 :Slereah_!x@ANantes-259-1-252-78.w83-195.abo.wanadoo.fr PRIVMSG #esoteric :Well, all problem that are recursively enumerable < 1350439140 403678 :Sgeo!~Sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :Which ones were difficult? < 1350439159 173481 :pikhq!~pikhq@75-163-202-84.clsp.qwest.net PRIVMSG #esoteric :And so a halting oracle can basically give you an answer to anything you can write an algorithm, no matter how shitty, to check. < 1350439162 503999 :Slereah_!x@ANantes-259-1-252-78.w83-195.abo.wanadoo.fr PRIVMSG #esoteric :It doesn't work if, say, you need to check over aleph_0 solutions < 1350439177 308062 :Sgeo!~Sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :Preferably a famous one. I have a reason for asking < 1350439205 124517 :Slereah_!x@ANantes-259-1-252-78.w83-195.abo.wanadoo.fr PRIVMSG #esoteric :Poincaré conjecture? < 1350439205 662654 :pikhq!~pikhq@75-163-202-84.clsp.qwest.net PRIVMSG #esoteric :Hmm. I wonder if P=NP could be expressed appropriately. < 1350439215 668198 :Slereah_!x@ANantes-259-1-252-78.w83-195.abo.wanadoo.fr PRIVMSG #esoteric :The thing about it is < 1350439217 416916 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Sgeo: anything of the form (exists (n:Z), p(n)) where p is a decidable proposition can be solved given a halting oracle < 1350439234 557170 :Slereah_!x@ANantes-259-1-252-78.w83-195.abo.wanadoo.fr PRIVMSG #esoteric :You can solve most math because you can do a syntactic proof using logical axioms < 1350439235 303409 :Jafet!~Jafet@unaffiliated/jafet PRIVMSG #esoteric :print $ doesHalt $ filter (isProofOf P) $ listAllProofs < 1350439249 972984 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :proof: halts?({ for(Z i=0;;i++)if(p(i))break; }) < 1350439251 817764 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :and what Jafet said yes < 1350439263 573957 :Slereah_!x@ANantes-259-1-252-78.w83-195.abo.wanadoo.fr PRIVMSG #esoteric :The syntactic proof has to exist, though, but that's a pretty wide category of things < 1350439263 939179 :Jafet!~Jafet@unaffiliated/jafet PRIVMSG #esoteric :You probably want to run that in parallel with (isProofOf (not P)) < 1350439275 966500 :Jafet!~Jafet@unaffiliated/jafet PRIVMSG #esoteric :And provableIn (modelOf P) < 1350439276 473892 :Sgeo!~Sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :
ACTION would have done Fermat's last theorem, but I don't see a simple way to loop over a b c and n such that it won't just increase one of them
< 1350439297 309512 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Sgeo: do you really not see a bijection Z^4 <-> Z < 1350439312 794832 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :i mean i can't think of a *good* one (fsvo good) off-hand < 1350439315 999377 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :but Q <-> Z hence pack etc. < 1350439328 746630 :Sgeo!~Sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :elliott, I know it exists, but I don't know how to do it easily < 1350439370 248346 :Jafet!~Jafet@unaffiliated/jafet PRIVMSG #esoteric :> [ (a, b, c, n-a) | n <- [0..], a <- [0..n], b <- [0..n-a], c <- [0..n-a-b] ] < 1350439371 825146 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : [(0,0,0,0),(0,0,0,1),(0,0,1,1),(0,1,0,1),(1,0,0,0),(0,0,0,2),(0,0,1,2),(0,0... < 1350439390 521991 :Sgeo!~Sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :hmm < 1350439404 540862 :Sgeo!~Sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :Cool < 1350439463 753572 :Sgeo!~Sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :Wait, why n-a? < 1350439471 663589 :Sgeo!~Sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :> [ (a, b, c, n) | n <- [0..], a <- [0..n], b <- [0..n-a], c <- [0..n-a-b] ] < 1350439472 964350 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : [(0,0,0,0),(0,0,0,1),(0,0,1,1),(0,1,0,1),(1,0,0,1),(0,0,0,2),(0,0,1,2),(0,0... < 1350439489 684680 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Sgeo: because n <- [0..] < 1350439497 208872 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :need to reset it when you "roll over" < 1350439557 837404 :Jafet!~Jafet@unaffiliated/jafet PRIVMSG #esoteric :Actually I don't know. That could be wrong. < 1350439575 774959 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :There are variuos ways to encode pairs into single numbers, such as bit interleave, or whatever < 1350439742 479889 :DH____!~DH____@unaffiliated/dh----/x-6288474 QUIT :Read error: Connection reset by peer < 1350439819 844455 :Slereah_!x@ANantes-259-1-252-78.w83-195.abo.wanadoo.fr QUIT :Ping timeout: 260 seconds < 1350440125 748616 :Slereah!x@ANantes-259-1-252-78.w83-195.abo.wanadoo.fr JOIN :#esoteric < 1350441631 25668 :MoALTz!~no@212.183.128.175 QUIT :Ping timeout: 256 seconds < 1350442167 832907 :ion!ion@heh.fi PRIVMSG #esoteric :http://i.imgur.com/BJmIg.jpg < 1350442368 245404 :Robdgreat!~rob@unaffiliated/robdgreat PRIVMSG #esoteric :but that left parenthesis has a match < 1350442584 387836 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :Is there programs for random text generator other than Dada Engine, rmutt, and FurryScript? < 1350442686 179028 :ion!ion@heh.fi PRIVMSG #esoteric :autogen < 1350442701 635557 :ion!ion@heh.fi PRIVMSG #esoteric :Oh, wait. That wasn’t the one i was thinking of. < 1350442854 203536 :kmc!~keegan@ec2-23-23-43-158.compute-1.amazonaws.com PRIVMSG #esoteric :what kind of random text? < 1350442870 628768 :kmc!~keegan@ec2-23-23-43-158.compute-1.amazonaws.com PRIVMSG #esoteric :i wrote http://hackage.haskell.org/package/detrospector < 1350442879 65403 :kmc!~keegan@ec2-23-23-43-158.compute-1.amazonaws.com PRIVMSG #esoteric :there are a billion programs like it < 1350442982 613410 :ion!ion@heh.fi PRIVMSG #esoteric :Ah, found it. polygen < 1350443010 986353 :Sgeo!~Sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :What sort of fun can I have with reified lexical environments? < 1350443020 296071 :ion!ion@heh.fi PRIVMSG #esoteric :http://pdos.csail.mit.edu/scigen/ < 1350443031 612088 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :I mean like the examples I have given, though. However these are OK too < 1350443648 587064 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :kmc: It is good; I do not think any of the three programs I listed have any command for Markov chain, but maybe later I may add command in FurryScript for Markov (including high order). < 1350443665 607733 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :Anyways, which programs have you used to write your own, which one don't, etc? < 1350443795 149992 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :You said there are billion programs like it, how many in Haskell and what difference of feature? < 1350443980 932798 :ion!ion@heh.fi PRIVMSG #esoteric :kmc: Aww, you can’t use detrospector as a library? < 1350444062 338371 :Jafet!~Jafet@unaffiliated/jafet QUIT :Ping timeout: 255 seconds < 1350444094 222629 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :Do you intend to change it so that it does? < 1350444376 417691 :kmc!~keegan@ec2-23-23-43-158.compute-1.amazonaws.com PRIVMSG #esoteric :yeah, people have asked for that < 1350444378 815615 :kmc!~keegan@ec2-23-23-43-158.compute-1.amazonaws.com PRIVMSG #esoteric :i probably won't though < 1350444381 724543 :kmc!~keegan@ec2-23-23-43-158.compute-1.amazonaws.com PRIVMSG #esoteric :because i am lazy < 1350444593 260325 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :Sgeo: What is reified lexical environments? < 1350444672 680935 :Sgeo!~Sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :zzo38, a macro in Clojure, and probably Common Lisp, can help capture the lexical environment, as in, symbols bound by let and their values < 1350444836 995096 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Design goals include speed and full Unicode support. I welcome suggestions and patches regarding any aspect of this program. < 1350444859 235256 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :kmc welcomes your suggestions into the trash bin. < 1350444986 6552 :Jafet!~Jafet@unaffiliated/jafet JOIN :#esoteric < 1350445854 812061 :elliott!~elliott@unaffiliated/elliott QUIT :Ping timeout: 240 seconds < 1350446362 285418 :mean!~this@188.214.33.238 QUIT :Ping timeout: 260 seconds < 1350446708 892186 :Jafet!~Jafet@unaffiliated/jafet QUIT :Ping timeout: 248 seconds < 1350447039 389745 :sirdancealot7!~sirdancea@98.82.broadband5.iol.cz JOIN :#esoteric < 1350447537 647821 :sirdancealot7!~sirdancea@98.82.broadband5.iol.cz QUIT :Ping timeout: 252 seconds < 1350447692 594442 :Frooxius!~Frooxius@cust-101.ktknet.cz QUIT :Ping timeout: 246 seconds < 1350447912 984165 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :kmc: Man, I looked up some things on Google and found #haskell logs with you and ski and all that. < 1350447915 967631 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Those were the days. < 1350447919 998381 :kmc!~keegan@ec2-23-23-43-158.compute-1.amazonaws.com PRIVMSG #esoteric :heh < 1350447920 557091 :kmc!~keegan@ec2-23-23-43-158.compute-1.amazonaws.com PRIVMSG #esoteric :yeah < 1350447925 90385 :kmc!~keegan@ec2-23-23-43-158.compute-1.amazonaws.com PRIVMSG #esoteric :i do miss #haskell < 1350447928 265266 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Talking about ∃ and things. < 1350447940 100208 :kmc!~keegan@ec2-23-23-43-158.compute-1.amazonaws.com PRIVMSG #esoteric :i tried reasonably hard to get the good parts of it elsewhere < 1350448283 517512 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :kmc: You know the way converting ∃ to ∀ is like currying? < 1350448356 997308 :kmc!~keegan@ec2-23-23-43-158.compute-1.amazonaws.com PRIVMSG #esoteric :i could probably come up with it, but what do you have in mind? < 1350448788 930777 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :kmc: (exists a. Foo a) = forall r. ((exists a. Foo a) -> r) -> r < 1350448821 719683 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :forall a. Foo a is like (a:*) -> Foo a, exists a. Foo a is like ((a:*),Foo a) < 1350448862 39012 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :So ((exists a. Foo a) -> r) is like (((a:*),Foo a) -> r), and if you curry that you get ((a:*) -> Foo a -> r), so it's the same as (forall a. Foo a -> r) < 1350448903 983308 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Something along those lines, anyway. < 1350448958 560661 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :ais523 also says "!" in linear logic is like comonad, too? So, it is not only me. Is it like intuitionistic logic can be a comonad on linear logic, as classical logic can be a monad on intuitionistic logic? They mention how encoding intuitionistic logic in linear logic. < 1350449007 812743 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :So what happen in linear logic putting multiple "!" and/or "?" together? < 1350449100 144185 :Sgeo!~Sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :Oh, zzo38 < 1350449110 794154 :Sgeo!~Sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :An example of what I meant by reified lexical environment < 1350449123 345852 :Sgeo!~Sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :In Clojure, a hash-map is {key1 val1 key2 val2} etc < 1350449139 867551 :Sgeo!~Sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :I wrote a macro, get-lexical-env, that does this: < 1350449164 539394 :Sgeo!~Sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :(let [a 1 b 2] (get-lexical-env)) ; returns {'a 1 'b 2} < 1350449171 623177 :Sgeo!~Sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :Although it would print as {a 1 b 2} < 1350449203 455006 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :O, that is what it means. OK < 1350449420 506838 :Sgeo!~Sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :I don't know if that's actually a correct description of the term "lexical environment", but it's what I meant. < 1350449545 840517 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :OK < 1350449795 542412 :Jafet!~Jafet@unaffiliated/jafet JOIN :#esoteric < 1350450058 36448 :evincar!~jon@173-228-13-253.dsl.static.sonic.net JOIN :#esoteric < 1350451636 790675 :ion!ion@heh.fi PRIVMSG #esoteric :PSY vs Ghostbusters - Gangnam Busters - Mashup by FAROFF http://youtu.be/82LCKBdjywQ < 1350451864 355530 :kmc!~keegan@ec2-23-23-43-158.compute-1.amazonaws.com PRIVMSG #esoteric :++ < 1350452512 113421 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net JOIN :#esoteric < 1350452849 94727 :evincar!~jon@173-228-13-253.dsl.static.sonic.net PART :#esoteric < 1350456033 470327 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :I made up law of excluded middle continuations. < 1350456162 404375 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :are they any useful < 1350456186 984604 :Jafet!~Jafet@unaffiliated/jafet PRIVMSG #esoteric :You can't prove that they aren't useless, so they are useful. < 1350456224 113795 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :callCC (return . Right . (<=< return . Left)) :: ContT r m (Either a (a -> ContT r m b)) it is similar to law of excluded middle, I guess. < 1350457804 844970 :FreeFull!~freefull@defocus/sausage-lover QUIT :Quit: And so pie was invented. < 1350458104 20544 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :I have added some more commands in FurryScript now, including AGA IMC MC SHF < 1350458227 923674 :zzo38!~zzo38@24-207-49-17.eastlink.ca QUIT :Remote host closed the connection < 1350459218 348468 :nooga!~nooga@ip-46-250-173-30.ip.maverick.com.pl JOIN :#esoteric < 1350460129 73350 :sirdancealot7!~sirdancea@98.82.broadband5.iol.cz JOIN :#esoteric < 1350461558 834553 :epicmonkey!~epicmonke@188.134.41.171 JOIN :#esoteric < 1350463359 486976 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net QUIT :Quit: hello < 1350465522 907505 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net JOIN :#esoteric < 1350465613 177009 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net QUIT :Client Quit < 1350465635 816479 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net JOIN :#esoteric < 1350465658 316149 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :hello < 1350466027 950606 :ais523!~ais523@unaffiliated/ais523 JOIN :#esoteric < 1350466097 328431 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :wb elliott < 1350466639 429161 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 JOIN :#esoteric < 1350467492 550558 :epicmonkey!~epicmonke@188.134.41.171 QUIT :Remote host closed the connection < 1350467512 790769 :epicmonkey!~epicmonke@188.134.41.171 JOIN :#esoteric < 1350469429 243449 :ais523!~ais523@unaffiliated/ais523 QUIT :Read error: Connection reset by peer < 1350469443 807396 :ais523!~ais523@unaffiliated/ais523 JOIN :#esoteric < 1350470042 776417 :ogrom!~del@gprs-inet-65-101.elisa.ee JOIN :#esoteric < 1350470887 863613 :ais523!~ais523@unaffiliated/ais523 QUIT :Ping timeout: 246 seconds < 1350470927 27031 :ais523!~ais523@unaffiliated/ais523 JOIN :#esoteric < 1350471585 683977 :nortti!nortti@dsl-hkibrasgw3-ff25c000-52.dhcp.inet.fi PRIVMSG #esoteric :this is fucking scary: http://superchief.tv/leaked-north-korean-documentary-exposes-western-propaganda-and-its-scary-how-true-it-is/ < 1350471610 617722 :ion!ion@heh.fi PRIVMSG #esoteric :Someone forgot to tell Gnesa that 0) autotune exists; 1) clown makeup looks even more atrocious in close-up. http://youtu.be/CF2o5RDkq9A < 1350471673 399622 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 QUIT :Ping timeout: 268 seconds < 1350471918 318390 :nortti!nortti@dsl-hkibrasgw3-ff25c000-52.dhcp.inet.fi NICK :protip < 1350471928 405702 :protip!nortti@dsl-hkibrasgw3-ff25c000-52.dhcp.inet.fi NICK :nortti < 1350472667 634485 :ais523!~ais523@unaffiliated/ais523 QUIT :Remote host closed the connection < 1350472741 827357 :ais523!~ais523@unaffiliated/ais523 JOIN :#esoteric < 1350473440 502601 :ion!ion@heh.fi PRIVMSG #esoteric :nortti: It’s funny when it’s true. < 1350474235 825922 :ais523_!~ais523@unaffiliated/ais523 JOIN :#esoteric < 1350474373 800548 :ais523!~ais523@unaffiliated/ais523 QUIT :Ping timeout: 246 seconds < 1350475187 732641 :boily!~boily@mtl.savoirfairelinux.net JOIN :#esoteric < 1350475303 793716 :Frooxius!~Frooxius@cust-101.ktknet.cz JOIN :#esoteric < 1350475996 682855 :ais523_!~ais523@unaffiliated/ais523 NICK :ais523 < 1350476622 804901 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :I know The Rock's real name! < 1350477172 492695 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :mroman: But can you find Britain on a map?! < 1350477304 865428 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 JOIN :#esoteric < 1350477384 463571 :Jafet!~Jafet@unaffiliated/jafet PRIVMSG #esoteric :Does he have a GPS phone? < 1350477537 511912 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Does a GPS phone transmit voice through GPS satellites? < 1350477591 250375 :Jafet!~Jafet@unaffiliated/jafet PRIVMSG #esoteric :No, silly, it uses the GPS satellites to calculate your location and transmits it to spy satellites. < 1350477716 21553 :ion!ion@heh.fi PRIVMSG #esoteric :[image of Keanu Reeves] What if GPS satellites are spy satellites? < 1350477855 937762 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Jafet: I hear all phones are espionage devices that listen to you even when turned off, and transmit detailed location data too. < 1350477863 755373 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :I heard this from that Stallman guy. < 1350477865 533181 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :ok hopefully my emmental interpreter should be working buuuuuuut I have nothing to test it on < 1350477872 487967 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :(Disclaimer: slightly exaggerated, maybe.) < 1350477916 765819 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Actual quote, for the record: "I refuse to have a cell phone because they are tracking and surveillance devices. They all enable the phone system to record where the user goes, and many (perhaps all) can be remotely converted into listening devices." http://stallman.org/rms-lifestyle.html < 1350477920 47780 :Jafet!~Jafet@unaffiliated/jafet PRIVMSG #esoteric :Yay, another cheesy language < 1350477936 921561 :nortti!nortti@dsl-hkibrasgw3-ff25c000-52.dhcp.inet.fi PRIVMSG #esoteric :what language? < 1350477937 173108 :Jafet!~Jafet@unaffiliated/jafet PRIVMSG #esoteric :fizzie: actually, that's probably true < 1350477941 213732 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Arc_Koen: You need to eat, I mean, write some emmental. < 1350477955 477856 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :yes I do need to eat < 1350478030 111913 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :(for the record if I ever have to take part in a conspiracy, I promise I won't take my phone with me) < 1350478031 632513 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :fizzie: his statement is, of course, technically correct < 1350478050 959694 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I refuse to have a cellphone for reasons which are only very vaguely related (specifically, I don't like people being able to contact me at arbitrary times) < 1350478090 841257 :Slereah_!x@ANantes-259-1-204-58.w90-49.abo.wanadoo.fr JOIN :#esoteric < 1350478174 643062 :ion!ion@heh.fi PRIVMSG #esoteric :fizzie: http://www.ted.com/talks/malte_spitz_your_phone_company_is_watching.html < 1350478189 380023 :Slereah!x@ANantes-259-1-252-78.w83-195.abo.wanadoo.fr QUIT :Ping timeout: 256 seconds < 1350478266 795713 :Jafet!~Jafet@unaffiliated/jafet PRIVMSG #esoteric :Most people probably want their phone to be able to remember where they went and what they did, anyway. < 1350478287 306115 :ion!ion@heh.fi PRIVMSG #esoteric :How about their phone company? < 1350478290 857998 :ais523!~ais523@unaffiliated/ais523 QUIT : < 1350478293 421805 :ais523_!~ais523@unaffiliated/ais523 JOIN :#esoteric < 1350478300 822186 :Jafet!~Jafet@unaffiliated/jafet PRIVMSG #esoteric :Most people are pretty short-sighted. < 1350478482 985722 :ais523_!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :you mean metaphorically, right? < 1350478484 586099 :ais523_!~ais523@unaffiliated/ais523 NICK :ais523 < 1350478492 328468 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :literally, I think more than half of people can focus to infinity < 1350478510 660798 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :and focusing beyond infinity is not a massively useful operation (despite being technically possible, it just leaves /everything/ out of focus) < 1350478512 253889 :Slereah_!x@ANantes-259-1-204-58.w90-49.abo.wanadoo.fr PRIVMSG #esoteric :But you can only focus to infinity if the universe is infinite :o < 1350478534 924137 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :The location-tracking is kind of obvious; I'm a bit more sceptical on any claims that phone companies / law enforcement / the gummint would generally turn phones into listening devices. (Admittedly RMS only says "can".) < 1350478540 141175 :Jafet!~Jafet@unaffiliated/jafet PRIVMSG #esoteric :The universe can be finite and have unbounded light lines < 1350478555 887208 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :Slereah_: focusing to infinity means assuming that incoming light rays are parallel to each other < 1350478568 109815 :Slereah_!x@ANantes-259-1-204-58.w90-49.abo.wanadoo.fr PRIVMSG #esoteric :Yes, but how are you going to get that! < 1350478572 418573 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :focusing beyond infinity is only useful if you have a lens that's making light rays more convergent and want to cancel out its effects < 1350478581 661061 :Slereah_!x@ANantes-259-1-204-58.w90-49.abo.wanadoo.fr PRIVMSG #esoteric :Light tends to be emitted isotropically < 1350478667 234577 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :in practice, focusing to infinity is visually indistinguishable from focusing to, say, 100m < 1350478733 9591 :Slereah_!x@ANantes-259-1-204-58.w90-49.abo.wanadoo.fr PRIVMSG #esoteric :Mostly because your eye can't make the difference if the light rays land a nanometer apart~ < 1350478795 586963 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :I don't quite see how the actual incoming light would matter when discussing how your optics can or cannot focus. < 1350478892 400335 :Slereah_!x@ANantes-259-1-204-58.w90-49.abo.wanadoo.fr PRIVMSG #esoteric :Do you want me to make irrelevant complaints about something else, perhaps < 1350478940 667706 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :hey guys I'm getting the weirdest errors < 1350478973 614997 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :for instance if I try to pop an element from a queue and push it on a stack, when the queue is empty, ocaml raises exception Stack.Empty < 1350479246 654108 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :http://sprunge.us/DYDR -- not for me. < 1350479286 711964 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :yes I think it is reasonable to assume I'm the one doing something wrong, not ocaml < 1350479293 958047 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :You just never know. < 1350479413 373920 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :ok I just fixed a minor bug that was apparently completely unrelated and now it seems to be raising the proper exceptions < 1350479435 396719 :ais523!~ais523@unaffiliated/ais523 QUIT : < 1350479457 338866 :copumpkin!~copumpkin@unaffiliated/copumpkin QUIT :Quit: Computer has gone to sleep. < 1350479823 665812 :ion!ion@heh.fi PRIVMSG #esoteric :https://www.computerworld.com/s/article/9232477/Pacemaker_hack_can_deliver_deadly_830_volt_jolt The following people were surprised by the security problem: < 1350479985 561749 :Jafet!~Jafet@unaffiliated/jafet PRIVMSG #esoteric :Like wardriving but more fun < 1350480105 792788 :elliott!~elliott@unaffiliated/elliott JOIN :#esoteric < 1350480130 765649 :Jafet!~Jafet@unaffiliated/jafet PRIVMSG #esoteric :Hm, same person behind http://youtu.be/bidDXuM4-2E < 1350480161 821776 :ogrom!~del@gprs-inet-65-101.elisa.ee QUIT :Ping timeout: 255 seconds < 1350480469 720811 :ion!ion@heh.fi PRIVMSG #esoteric :libseccomp looks really nice. http://s3hh.wordpress.com/2012/07/24/playing-with-seccomp/ < 1350480673 369081 :Jafet!~Jafet@unaffiliated/jafet PRIVMSG #esoteric :This is like the path that goes over mountains and through five days of blinding hail to get capabilities < 1350480696 21551 :copumpkin!~copumpkin@unaffiliated/copumpkin JOIN :#esoteric < 1350480805 105710 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 QUIT :Ping timeout: 260 seconds < 1350481294 633786 :AnotherTest!~tim@94-224-25-226.access.telenet.be JOIN :#esoteric < 1350481327 61120 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 JOIN :#esoteric < 1350481337 650105 :AnotherTest!~tim@94-224-25-226.access.telenet.be PRIVMSG #esoteric :Hello < 1350481347 962369 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :heroux, < 1350481395 790298 :AnotherTest!~tim@94-224-25-226.access.telenet.be PRIVMSG #esoteric :http://esolangs.org/wiki/WASD - oh god < 1350481408 8784 :AnotherTest!~tim@94-224-25-226.access.telenet.be PRIVMSG #esoteric :"inspired by brainfuck" < 1350481566 813803 :Slereah_!x@ANantes-259-1-204-58.w90-49.abo.wanadoo.fr PRIVMSG #esoteric :Inspired by brainfuck is a code for brainfuck cypher < 1350481614 620465 :AnotherTest!~tim@94-224-25-226.access.telenet.be PRIVMSG #esoteric :so for what is "and several other esolangs" code? < 1350481628 786226 :Slereah_!x@ANantes-259-1-204-58.w90-49.abo.wanadoo.fr PRIVMSG #esoteric :"with elements from" < 1350481648 975948 :AnotherTest!~tim@94-224-25-226.access.telenet.be PRIVMSG #esoteric :also which ones? (except for all other brainfuck equivalents) < 1350481684 825662 :Slereah_!x@ANantes-259-1-204-58.w90-49.abo.wanadoo.fr PRIVMSG #esoteric :But then again, I once made an esolang based on unlambda because I didn't like lazy evaluation < 1350481693 26922 :AnotherTest!~tim@94-224-25-226.access.telenet.be PRIVMSG #esoteric :In this regard, I would like to suggest that brainfuck equivalents will no longer be listed in the manually maintained language list < 1350481697 289967 :Slereah_!x@ANantes-259-1-204-58.w90-49.abo.wanadoo.fr PRIVMSG #esoteric :Although I tried mixing it up by adding lambda calculus < 1350481720 819486 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :Hmm. < 1350481734 996253 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Slereah_: did you ever figure monads out < 1350481736 663452 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :Having rewritten the argument I'm not sure that he specified the same loop semantics as Brainfuck. < 1350481743 305994 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :s/argument/article/ < 1350481744 592488 :AnotherTest!~tim@94-224-25-226.access.telenet.be PRIVMSG #esoteric :Brainfuck equivalents are EQUIVALENT to brainfuck, thus they shouldn't be considered separated pages < 1350481751 681335 :Slereah_!x@ANantes-259-1-204-58.w90-49.abo.wanadoo.fr PRIVMSG #esoteric :elliott : Hell, I didn't even look up esolangs in months < 1350481785 936716 :AnotherTest!~tim@94-224-25-226.access.telenet.be PRIVMSG #esoteric :Phantom_Hoover:"If pointer is set to 0 loop starts" < 1350481813 458086 :AnotherTest!~tim@94-224-25-226.access.telenet.be PRIVMSG #esoteric :Phantom_Hoover: he probably wanted to say "If the value at the pointer is set to 0" < 1350481952 720782 :AnotherTest!~tim@94-224-25-226.access.telenet.be PRIVMSG #esoteric :Alright his input is different < 1350481984 259704 :AnotherTest!~tim@94-224-25-226.access.telenet.be PRIVMSG #esoteric :He reads integers rather than characters < 1350482094 2301 :AnotherTest!~tim@94-224-25-226.access.telenet.be PRIVMSG #esoteric :and you can't nest loops because his implementation sucks < 1350482229 937062 :AnotherTest!~tim@94-224-25-226.access.telenet.be PRIVMSG #esoteric :" in order to create a language that would be quick to program" < 1350482238 118256 :AnotherTest!~tim@94-224-25-226.access.telenet.be PRIVMSG #esoteric :Yeah, definitely < 1350482263 951637 :TeruFSX!~quassel@65-128-188-237.mpls.qwest.net QUIT :Read error: Connection reset by peer < 1350482301 24899 :AnotherTest!~tim@94-224-25-226.access.telenet.be PRIVMSG #esoteric :This is a shame for the wiki < 1350482340 876756 :Phantom__Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 JOIN :#esoteric < 1350482372 290534 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :there is not really limited space < 1350482381 230663 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :are http://esolangs.org/wiki/Snack and http://esolangs.org/wiki/Esme better because they're not bf derivatives < 1350482398 607501 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :AnotherTest: Did you check the WASD interpreter? It's... kinda curious, when it comes to loops. Can't say I've ever seen that particular approach yet. < 1350482417 446373 :AnotherTest!~tim@94-224-25-226.access.telenet.be PRIVMSG #esoteric :elliott: At least they are not listed on the language list! < 1350482438 882343 :AnotherTest!~tim@94-224-25-226.access.telenet.be PRIVMSG #esoteric :fizzie: yes, I have (unfortunately) seen it < 1350482502 174774 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :AnotherTest: you are wrong < 1350482509 323622 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :snack is listed on the languag elist < 1350482509 496888 :AnotherTest!~tim@94-224-25-226.access.telenet.be PRIVMSG #esoteric :elliott: well snack is < 1350482511 499517 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :*language list < 1350482516 468434 :AnotherTest!~tim@94-224-25-226.access.telenet.be PRIVMSG #esoteric :esme is not < 1350482530 293396 :AnotherTest!~tim@94-224-25-226.access.telenet.be PRIVMSG #esoteric :snack shouldn't be listed either < 1350482537 470770 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :http://esolangs.org/wiki/FURscript another bad language unrelated to brainfuck < 1350482548 986713 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 QUIT :Ping timeout: 248 seconds < 1350482549 760697 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :and that should be on the language list, not the joke language list; it clearly has semantics, just stupid ones < 1350482608 846290 :AnotherTest!~tim@94-224-25-226.access.telenet.be PRIVMSG #esoteric :I must agree < 1350482633 552911 :AnotherTest!~tim@94-224-25-226.access.telenet.be PRIVMSG #esoteric :but I must also say that I never said that only brainfuck equivalents were often bad < 1350482644 826814 :AnotherTest!~tim@94-224-25-226.access.telenet.be PRIVMSG #esoteric :There are lots of other bad languages < 1350482693 202029 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :well the language list should not be an arbiter for taste... the featured language thing was meant to highlight some of the better esolangs but it hasn't been updated in ages because apparently I and all the other admins are lazy as sin < 1350482705 171151 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :arguably there should be a separate list for brainfuck derivatives just because there are so many of them, but idk < 1350482752 409447 :AnotherTest!~tim@94-224-25-226.access.telenet.be PRIVMSG #esoteric :I just noticed the case of "WASD", the creator cannot even implement loops. You can as well ask a 5 year old to think of a nice way to write the brainfuck operators. < 1350482787 49761 :AnotherTest!~tim@94-224-25-226.access.telenet.be PRIVMSG #esoteric :elliott: I'm talking about equivalents here, not deriatives, may that be clear (there are many very nice deriatives) < 1350482800 580895 :AnotherTest!~tim@94-224-25-226.access.telenet.be PRIVMSG #esoteric :s/deriatives/derivatives < 1350482824 8311 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :didn't you just find out its semantics are different :p < 1350482829 235627 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :I guess the interpreter might be equivalent though < 1350482875 429037 :AnotherTest!~tim@94-224-25-226.access.telenet.be PRIVMSG #esoteric :But where not intended to be different; I'm pretty sure the author just didn't understand brainfuck or couldn't make a proper implementation < 1350483023 990030 :AnotherTest!~tim@94-224-25-226.access.telenet.be PRIVMSG #esoteric :If a new visitors clicks the language list and chooses a random language at this moment, chances are getting higher (because of such languages) it's going to be a worthless language < 1350483064 192313 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :suspect people are more likely to click random page < 1350483088 203532 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :anyawy a list of good esolangs would certainly have value, though it's of course completely subjective... the wiki has traditionally been open to every language no matter how crappy though < 1350483110 775620 :Phantom__Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :suggestion: have a bf substitutions page < 1350483114 38221 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :and, unfortunately, there are an awful lot of crap esolangs... far outweighing the good ones < 1350483115 913534 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :but that's just how it is < 1350483128 33429 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :AnotherTest: Be fair, it implements *a* loop. < 1350483129 285211 :Phantom__Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :it's a giant table of the name of the language, the command substitutions, and author name etc < 1350483154 221536 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :There's quite a few interpreters that don't get nested loops. (Although this was the first one that duplicated essentially the whole interpreter for the insides of the loop.) < 1350483185 332973 :Phantom__Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :delete all pages for substitutions except the one or two with historical interest (by which i mean ook) < 1350483188 166882 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :First one I've seen, I mean. < 1350483202 157852 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Phantom__Hoover: you could have at least read the interpreter before making an incorrect edit < 1350483202 241207 :AnotherTest!~tim@94-224-25-226.access.telenet.be PRIVMSG #esoteric :elliott: That people can create crappy pages: OK if you really want it like that; but that they are all in the same language list: definitely not OK. < 1350483235 200408 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :there should be a QA process -- Quintopia Approval :p < 1350483240 523730 :FreeFull!~freefull@defocus/sausage-lover JOIN :#esoteric < 1350483250 201557 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :(at least one of my langs is already certified) < 1350483257 818466 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :AnotherTest: well feel free to come up with some objective criteria for whether an esolang should be on the list or not... the closest thing I can think of is some kind of vote, which would be terribly un-wiki and slow things down immensely and generally result in stagnation IMO < 1350483275 731401 :AnotherTest!~tim@94-224-25-226.access.telenet.be PRIVMSG #esoteric :elliott: so I will make a brainfuck interpreter were you input real numbers, and it will be an entirely new concept? < 1350483280 60901 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :besides, it would be dishonest to portray the esolangs community as mostly full of quality languages... it is a mixed bag and that's how it's always been < 1350483317 234879 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :AnotherTest: I don't claim to make any judgement of whether it's entirely new or not... it would probably be uninteresting and I wouldn't like it, although real numbers are a vaguely interesting premise for a BF derivative (depending on what +-[] do) < 1350483352 468618 :AnotherTest!~tim@94-224-25-226.access.telenet.be PRIVMSG #esoteric :elliott: I'm pretty sure the author of WASD didn't even realize q was different. < 1350483356 274236 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :still, I don't see how you can just say "the language list shouldn't list unoriginal languages" without realising how impractical that is < 1350483358 662832 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :Psh < 1350483363 615964 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :Make it complex numbers < 1350483402 801722 :Phantom__Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :hmm, wasd doesn't actually allow for nested loops < 1350483431 474085 :AnotherTest!~tim@94-224-25-226.access.telenet.be PRIVMSG #esoteric :elliott: I realize that, but it might still be possible to filter out a number of cases; such as were one language can be converted to another by simply replacing characters < 1350483456 945501 :Phantom__Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :AnotherTest, that only ever happens with brainfuck though. < 1350483487 420812 :AnotherTest!~tim@94-224-25-226.access.telenet.be PRIVMSG #esoteric :well at least that would get rid of the dozens of brainfuck equivalents < 1350483525 382188 :Phantom__Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :i still prefer my idea < 1350483527 473350 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :the closest thing I can see as being viable is to have a section on the joke language list for languages that are very very close (intentionally so) to existing esolangs < 1350483541 881346 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :if you think that'll make the average language on the main list good though you're out of your mind :) < 1350483576 416954 :hagb4rd!~perdito@koln-4d0b75ca.pool.mediaWays.net PRIVMSG #esoteric :what do we need to form a language? syntax, sematics..and.. < 1350483595 202734 :AnotherTest!~tim@94-224-25-226.access.telenet.be PRIVMSG #esoteric :What about something like a good language list? I know it's unpractical to realize, but it doesn't have to be a large list either. < 1350483607 223839 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :http://esolangs.org/wiki/Esolang:Featured_languages < 1350483621 833816 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :you need to define rules for it or people will just put their own languages on and you'll have dumb revert wars over matters of opinion of whether a language is good or not < 1350483634 373760 :AnotherTest!~tim@94-224-25-226.access.telenet.be PRIVMSG #esoteric :elliott: I think there are more than 2 good languages < 1350483641 159334 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :main problem is almost all ideas are either too much overhead/work (and hence they stagnate), or open to that kind of nonsense < 1350483647 224819 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :featured language process has the former < 1350483663 381684 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :feel free to put a better proposal for a collection of recommended languages on the community portal, it would be welcomed < 1350483698 445319 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :speaking of bad languages, seems like good old !!!Batch got an update < 1350483708 825637 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :what would we do without shubshub < 1350483840 765365 :AnotherTest!~tim@94-224-25-226.access.telenet.be PRIVMSG #esoteric :Personally I think that the languages on the "good language list" should be implemented. I realize that some very good languages have not yet been implemented, although visitors should be able to try out these "good languages". < 1350483901 327488 :hagb4rd!~perdito@koln-4d0b75ca.pool.mediaWays.net PRIVMSG #esoteric :syntactics, semantics and pragmatics.. finally got it < 1350483913 692366 :Phantom__Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :shut up hagb4rd < 1350483956 757815 :AnotherTest!~tim@94-224-25-226.access.telenet.be PRIVMSG #esoteric :and it should have a decent specification (either external or on the wiki); this means, for example, that you can't capitalize every word(Like With !!!Batch Really) < 1350484084 25514 :AnotherTest!~tim@94-224-25-226.access.telenet.be PRIVMSG #esoteric :The language may also not be a semantic equivalent of another language < 1350484189 17374 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :How much of a problem are these unoriginal languages right now? < 1350484222 865922 :AnotherTest!~tim@94-224-25-226.access.telenet.be PRIVMSG #esoteric :As long as there is a way to filter the good languages from the bad languages they are not a problem < 1350484235 978170 :AnotherTest!~tim@94-224-25-226.access.telenet.be PRIVMSG #esoteric :but there is currently not a good way to do it < 1350484257 817497 :AnotherTest!~tim@94-224-25-226.access.telenet.be PRIVMSG #esoteric :so I think they're a pretty big problem when you want to find nice languages < 1350484333 653905 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :wow Phantom__Hoover < 1350484341 865728 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :did you edit WASD wiki page? < 1350484344 477190 :AnotherTest!~tim@94-224-25-226.access.telenet.be PRIVMSG #esoteric :Oh, another requirement should be that the language is not a vague idea, but rather is actually well defined etc. < 1350484354 277412 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :did you actually CONTRIBUTE to that brainfuck-derivative?? < 1350484381 434144 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :i don't quite understand why everyone is reacting so strongly here, you guys realise trivial brainfuck ciphers are nothing new right :P < 1350484401 927405 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :Brainfuck is the most trivial cipher of brainfuck < 1350484447 31370 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :elliott: something about a straw and a camel, I reckon < 1350484540 754196 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :your backs should have broken years ago < 1350484571 330872 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :btw I think Ook! was an awesome idea < 1350484578 871912 :Phantom__Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :it wasn't < 1350484596 966460 :Phantom__Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :it was a funny joke at the time for about 20 minutes < 1350484608 403931 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :it's just the 36 zillion that came after that were bad ideas < 1350484693 191561 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric : and it should have a decent specification (either external or on the wiki); this means, for example, that you can't capitalize every word(Like With !!!Batch Really) < 1350484700 926279 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :these sound basically like the rough featured language criteria i wrote ages ago < 1350484753 476882 :AnotherTest!~tim@94-224-25-226.access.telenet.be PRIVMSG #esoteric :elliott: I should probably read those, it might be a good source of inspiration < 1350484762 859573 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :and only two languages were good enough?? < 1350484794 181121 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Arc_Koen: how about read the process before making assumptions < 1350484803 801013 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :that was a joke < 1350484812 653276 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :it relied on admins do sift through them every now and then and that didn't happen because it means main page blurbs have to be written for the language < 1350484821 320813 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :and that's difficult and annoying and nobody ever wants to do it :p < 1350484824 588265 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :so it's laid dormant for months < 1350484978 511906 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :"If pointer is set to 0 loop starts" uh, does that mean "if the pointer points to the first cell"? < 1350485010 107019 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :Zeroth cell < 1350485017 330849 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :Assuming there is one < 1350485210 836526 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :uh, his interpreter seems to do awful stuff < 1350485422 929557 :AnotherTest!~tim@94-224-25-226.access.telenet.be PRIVMSG #esoteric :doesn't seem to < 1350485424 396563 :AnotherTest!~tim@94-224-25-226.access.telenet.be PRIVMSG #esoteric :it does < 1350485428 612519 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :in particular I think the instruction pointer will never wander beyond the first end loop < 1350485447 100281 :AnotherTest!~tim@94-224-25-226.access.telenet.be PRIVMSG #esoteric :elliott: I have a list of 7 requirement < 1350485451 49999 :AnotherTest!~tim@94-224-25-226.access.telenet.be PRIVMSG #esoteric :+s < 1350485488 669448 :AnotherTest!~tim@94-224-25-226.access.telenet.be PRIVMSG #esoteric :http://esolangs.org/wiki/Esolang_talk:Community_portal#List_of_.22good.22_languages < 1350485509 277271 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :your mission, if you accept it, is to find those 7 requirements, and destroy them using enchanted swords and other basilisk fangs. < 1350485529 712082 :AnotherTest!~tim@94-224-25-226.access.telenet.be PRIVMSG #esoteric :"This message will self destruct in 60 seconds." < 1350485538 441843 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :"semantically equivalent" rules out TC languages < 1350485557 910311 :AnotherTest!~tim@94-224-25-226.access.telenet.be PRIVMSG #esoteric :let me modify that < 1350485566 996120 :AnotherTest!~tim@94-224-25-226.access.telenet.be PRIVMSG #esoteric :I wasn't clear < 1350485623 435939 :augur!~augur@208.58.5.87 QUIT :Remote host closed the connection < 1350485637 377337 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :hey seriously if your secret agents require a whole minute to read their assignment I doubt they will be a match against the great evil we're all fighting < 1350485642 271652 :AnotherTest!~tim@94-224-25-226.access.telenet.be PRIVMSG #esoteric :"The language may not be convertible to another language by a series of simple substitutions." < 1350485671 990166 :AnotherTest!~tim@94-224-25-226.access.telenet.be PRIVMSG #esoteric :elliott: Is that better? < 1350485678 185901 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :better, certainly < 1350485682 467120 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :not good enough! < 1350485689 652806 :augur!~augur@208.58.5.87 JOIN :#esoteric < 1350485693 402094 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :see http://esolangs.org/wiki/Maze < 1350485699 441213 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :it can be converted to brainfuck easily < 1350485709 36079 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :uh, wait, the opposite < 1350485719 99462 :augur!~augur@208.58.5.87 QUIT :Remote host closed the connection < 1350485733 707013 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :in fact, you're basically ruling out all turing tarpits < 1350485756 817727 :AnotherTest!~tim@94-224-25-226.access.telenet.be PRIVMSG #esoteric :You can't convert Maze by simple substitutions < 1350485769 636338 :AnotherTest!~tim@94-224-25-226.access.telenet.be PRIVMSG #esoteric :You have to preform additional semantic checking < 1350485772 399788 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :no, I mean, you can convert brainfuck into Maze by simple substitutions < 1350485806 244685 :AnotherTest!~tim@94-224-25-226.access.telenet.be PRIVMSG #esoteric :oh yes < 1350485807 65887 :AnotherTest!~tim@94-224-25-226.access.telenet.be PRIVMSG #esoteric :hm < 1350485876 556371 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :well Maze is much more recent that brainfuck but that's not the point, for instance brainfuck can be converted into C easily < 1350485904 958940 :AnotherTest!~tim@94-224-25-226.access.telenet.be PRIVMSG #esoteric :Yeah < 1350485926 480399 :AnotherTest!~tim@94-224-25-226.access.telenet.be PRIVMSG #esoteric :By replacing one lexeme with another lexeme from the other language? < 1350485946 485956 :AnotherTest!~tim@94-224-25-226.access.telenet.be PRIVMSG #esoteric :(note: by just one lexeme) < 1350485958 919261 :oklofok!~oklopol@dyn58-51.yok.fi PRIVMSG #esoteric :i have a great idea < 1350485968 480850 :oklofok!~oklopol@dyn58-51.yok.fi PRIVMSG #esoteric :how about you take brainfuck but the cells have like complex values < 1350485977 265805 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :ouh, great idea < 1350486004 399490 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :in fact I had a hard time not saying the exact same thing a few minutes ago < 1350486005 294374 :AnotherTest!~tim@94-224-25-226.access.telenet.be PRIVMSG #esoteric :that's ruled out by another rule :) < 1350486045 734681 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :AnotherTest: the "just one lexem" thing allows languages like "unary brainfuck" in < 1350486060 979737 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :I mean, what "one lexeme" is is easily abusable < 1350486065 985837 :oklofok!~oklopol@dyn58-51.yok.fi PRIVMSG #esoteric :darn, clue doesn't fit the specification < 1350486077 194690 :oklofok!~oklopol@dyn58-51.yok.fi PRIVMSG #esoteric :because it's page is a joke. < 1350486090 276801 :Phantom__Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :oklofok, you mean there are two versions of + and - < 1350486091 314762 :AnotherTest!~tim@94-224-25-226.access.telenet.be PRIVMSG #esoteric :Arc_Koen: unary brainfuck doesn't meet all the other requirements < 1350486099 252701 :Phantom__Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :which are orthogonal to each other < 1350486119 934056 :oklofok!~oklopol@dyn58-51.yok.fi PRIVMSG #esoteric :Phantom__Hoover: yeah gaussian integers because all the other complex numbers are just silly < 1350486134 246781 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :true - but then can you think of one language that is ruled out by 4 but not by 5? < 1350486134 994498 :Phantom__Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :oh yes! i needed your guidance < 1350486157 582182 :Phantom__Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :i hung out with that elliott one and he peer pressured me with constructivism < 1350486178 830152 :Phantom__Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :now i have nagging doubts whenever i do proofs by contradiction < 1350486187 842590 :oklofok!~oklopol@dyn58-51.yok.fi PRIVMSG #esoteric :constructivism? lol try finitism. in fact fuck finitism, i'm a singletonist. < 1350486199 870643 :AnotherTest!~tim@94-224-25-226.access.telenet.be PRIVMSG #esoteric :Arc_Koen: No, but 4 is easier to determine objectively. < 1350486208 420139 :Phantom__Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :what is 2 anyway < 1350486210 97862 :Phantom__Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :what is 1 < 1350486212 956803 :Phantom__Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :what are numbers < 1350486269 113021 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :well a cell in brainfuck is just a simple 256-state automaton < 1350486301 448113 :oklofok!~oklopol@dyn58-51.yok.fi PRIVMSG #esoteric :lol nihilism is just silly, i'm a singletonist to the bone. as we singletonists say, cogito ergo sum, but that's it. < 1350486308 212609 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :AnotherTest: how about "is not a close derivative of another language" < 1350486323 308476 :oklofok!~oklopol@dyn58-51.yok.fi PRIVMSG #esoteric :also known as solipsism then i guess. < 1350486349 341969 :AnotherTest!~tim@94-224-25-226.access.telenet.be PRIVMSG #esoteric :Arc_Koen: you can add it an 8th rule < 1350486411 574799 :hagb4rd!~perdito@koln-4d0b75ca.pool.mediaWays.net PRIVMSG #esoteric :how bout group by affinities in the instruction set or sth < 1350486418 28624 :oklofok!~oklopol@dyn58-51.yok.fi PRIVMSG #esoteric :is that not essentially 4? < 1350486422 299874 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :no I intend to strongly argue that it is redundant with 4 and 5 and at least one of the three should not be included < 1350486428 671992 :oklofok!~oklopol@dyn58-51.yok.fi PRIVMSG #esoteric :oh actually not < 1350486446 414534 :oklofok!~oklopol@dyn58-51.yok.fi PRIVMSG #esoteric :but perhaps what Arc_Koen said < 1350486454 187827 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :or maybe we should make a list of requirements for a requirement to be featured in the requirement list < 1350486562 959838 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :"semantically equivalent" was interesting - that'd probably leave us with a list of computational models, plus deadfish < 1350486593 817547 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :oh and also a few like banana scheme and twoducks < 1350486707 804945 :tswett!~tswett@unaffiliated/tswett PRIVMSG #esoteric :oklofok: singletonism, eh? As in forall x y, x = y? < 1350486773 480279 :tswett!~tswett@unaffiliated/tswett PRIVMSG #esoteric :I have a tendency to prefer axiom systems capable of expressing themselves. < 1350486776 191175 :oklofok!~oklopol@dyn58-51.yok.fi PRIVMSG #esoteric :totally < 1350486832 489835 :tswett!~tswett@unaffiliated/tswett PRIVMSG #esoteric :Let x = x. Is x an element of x? < 1350486833 417255 :hagb4rd!~perdito@koln-4d0b75ca.pool.mediaWays.net PRIVMSG #esoteric :tswett: you're out to complete gödels incompleteness theorem? < 1350486842 915153 :hagb4rd!~perdito@koln-4d0b75ca.pool.mediaWays.net PRIVMSG #esoteric :or at it least to extend it < 1350486860 202073 :tswett!~tswett@unaffiliated/tswett PRIVMSG #esoteric :hagb4rd: no, I'm not sure what you're getting at. < 1350486865 65673 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :the heck does "Let x = x." mean < 1350486875 583614 :tswett!~tswett@unaffiliated/tswett PRIVMSG #esoteric :Arc_Koen: it means "let x be a value such that x = x". < 1350486888 446247 :Phantom__Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :what's a value < 1350486892 121118 :Phantom__Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :also shut up hagb4rd < 1350486906 163063 :hagb4rd!~perdito@koln-4d0b75ca.pool.mediaWays.net PRIVMSG #esoteric :yep < 1350486906 821948 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :tswett: the heck is x < 1350486918 690582 :tswett!~tswett@unaffiliated/tswett PRIVMSG #esoteric :Arc_Koen: a value such that x = x. < 1350486919 915919 :tswett!~tswett@unaffiliated/tswett PRIVMSG #esoteric :^_^ < 1350486940 962450 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :tswett: the heck is x < 1350486952 961641 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :I'M STUCK PLEASE HELP ME < 1350486967 15505 :tswett!~tswett@unaffiliated/tswett PRIVMSG #esoteric :A value equal to itself? < 1350486974 242520 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :oh, ok < 1350486980 818388 :hagb4rd!~perdito@koln-4d0b75ca.pool.mediaWays.net PRIVMSG #esoteric :lol < 1350486986 649894 :tswett!~tswett@unaffiliated/tswett PRIVMSG #esoteric :Alternatively, let me restate. < 1350486992 340602 :tswett!~tswett@unaffiliated/tswett PRIVMSG #esoteric :True or false: For all x, x is an element of x. < 1350487009 693413 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :see that would have been much more simple to answer with nihilism < 1350487051 118702 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :(but honestly who needs a set theory when there is only one element?) < 1350487052 466067 :tswett!~tswett@unaffiliated/tswett PRIVMSG #esoteric :"There's no such thing"? < 1350487075 684632 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :well all statement starting with "for all" would be true < 1350487111 364935 :hagb4rd!~perdito@koln-4d0b75ca.pool.mediaWays.net PRIVMSG #esoteric :at least better then false < 1350487118 749727 :tswett!~tswett@unaffiliated/tswett PRIVMSG #esoteric :Hm. So, here's a simple set theory. I'll call it Zero. < 1350487126 329382 :hagb4rd!~perdito@koln-4d0b75ca.pool.mediaWays.net PRIVMSG #esoteric :the would be fatalism i guess < 1350487128 648279 :tswett!~tswett@unaffiliated/tswett PRIVMSG #esoteric :The axioms of Zero: "For all x, x != x." < 1350487145 761554 :kmc!~keegan@ec2-23-23-43-158.compute-1.amazonaws.com PRIVMSG #esoteric :i came up with a complete consistent axiomatization of number theory < 1350487164 541338 :tswett!~tswett@unaffiliated/tswett PRIVMSG #esoteric :kmc: neat! Does it prove its own consistency? < 1350487172 913987 :kmc!~keegan@ec2-23-23-43-158.compute-1.amazonaws.com PRIVMSG #esoteric :sure < 1350487179 712890 :kmc!~keegan@ec2-23-23-43-158.compute-1.amazonaws.com PRIVMSG #esoteric :i just take every true statement of number theory as an axiom < 1350487181 886404 :kmc!~keegan@ec2-23-23-43-158.compute-1.amazonaws.com PRIVMSG #esoteric :it's so easy! < 1350487194 932895 :tswett!~tswett@unaffiliated/tswett PRIVMSG #esoteric :Hm. I like it. < 1350487211 745394 :Phantom__Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :kmc, what if it's inconsistent < 1350487218 795834 :kmc!~keegan@ec2-23-23-43-158.compute-1.amazonaws.com PRIVMSG #esoteric :WHAT IF YOU'RE INCONSISTENT < 1350487223 342528 :tswett!~tswett@unaffiliated/tswett PRIVMSG #esoteric :Hm, let me ponder that system. < 1350487249 837974 :kmc!~keegan@ec2-23-23-43-158.compute-1.amazonaws.com PRIVMSG #esoteric :this is why goedel's incompleteness theorem says there is no complete, consistent, *recursively enumerable* axiomitization of number theory < 1350487255 490002 :kmc!~keegan@ec2-23-23-43-158.compute-1.amazonaws.com PRIVMSG #esoteric :but people forget about the third condition < 1350487262 523537 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :To be fair, kmc, you're not recursively enumerable. < 1350487264 911241 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Burn? < 1350487276 948687 :kmc!~keegan@ec2-23-23-43-158.compute-1.amazonaws.com PRIVMSG #esoteric :nah i'm a finite object < 1350487280 961865 :tswett!~tswett@unaffiliated/tswett PRIVMSG #esoteric :What counts as a "statement of number theory"? Is it simply a statement quantified over the natural numbers whose predicates are addition and blah blah blah? < 1350487297 307599 :glogbackup!~glogbacku@64.31.59.246 QUIT :Ping timeout: 246 seconds < 1350487299 96466 :kmc!~keegan@ec2-23-23-43-158.compute-1.amazonaws.com PRIVMSG #esoteric :"yo momma so fat she's a strongly inaccessible cardinal" < 1350487341 569804 :hagb4rd!~perdito@koln-4d0b75ca.pool.mediaWays.net PRIVMSG #esoteric :
ACTION pulls on his kmc shirt
< 1350487371 602235 :ion!ion@heh.fi PRIVMSG #esoteric :It puts the lotion on its skin? < 1350487413 299447 :hagb4rd!~perdito@koln-4d0b75ca.pool.mediaWays.net PRIVMSG #esoteric :no, it lights on in the dark < 1350487473 801893 :tswett!~tswett@unaffiliated/tswett PRIVMSG #esoteric :Yo mama so fat, the set {{x} where x ∈ yo mama} has a cardinality strictly smaller than that of yo mama. < 1350487489 599571 :hagb4rd!~perdito@koln-4d0b75ca.pool.mediaWays.net PRIVMSG #esoteric :also it levels up charisma by 1 if worn in set with the mkc boots < 1350487510 405646 :augur!~augur@129-2-129-33.wireless.umd.edu JOIN :#esoteric < 1350487545 115417 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :uh, is that possible? < 1350487583 435657 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :please don't say "fsvo 'strictly smaller'" < 1350487821 865750 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :AnotherTest: what if the complex numbers in my brainfuck derivative are encoded as polynomials to which they are roots? < 1350487849 852156 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :would that be a unique enough concept? < 1350487881 694644 :Phantom__Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :how are you manipulating them then < 1350487906 589998 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :by factoring them < 1350487919 602573 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :(yeah hum currently the implementation is unavailable) < 1350487960 276368 :Phantom__Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :maybe with coefficients? < 1350488382 674067 :AnotherTest!~tim@94-224-25-226.access.telenet.be PART :#esoteric < 1350490486 877902 :Phantom__Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 QUIT :Ping timeout: 244 seconds < 1350491574 664875 :tswett!~tswett@unaffiliated/tswett PRIVMSG #esoteric :Arc_Koen: it's not possible in ZFC, since there's a bijection { (x, {x}) where x ∈ yo mama}. < 1350491609 224411 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :what's zfc? (and why am I asking?) < 1350491629 851302 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :http://en.wikipedia.org/wiki/Zermelo%E2%80%93Fraenkel_set_theory < 1350491855 559560 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :is ur mama a urelement? < 1350491879 924470 :Slereah_!x@ANantes-259-1-204-58.w90-49.abo.wanadoo.fr PRIVMSG #esoteric :Zermelo Fried Chicken < 1350491901 875558 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Does someone join a mostly empty Dropbox shared folder? I'll get this 250 MB "Get Started" reward if I get a fifth step done in this stupid thing. (Made stupider by the fact that I'm not even going to use the deebee for anything.) < 1350491905 772064 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :I can drop an in-Finnish religious proselytization note I found on the ground in Järvenpää into the folder to sweeten the deal. < 1350491914 5507 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Well, a photo of one, anyway. < 1350492015 478757 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :fizzie: what is deebe < 1350492016 297594 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :e < 1350492066 379744 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Dropbox. < 1350492233 188729 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :fizzie: i'll do it if you give me the note irl < 1350492234 973135 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :post it < 1350492272 267688 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :I didn't actually pick it up. I thought then I'd be depriving someone else of God and whatnot. < 1350492277 381934 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :The next one to walk that way, I mean. < 1350492298 610870 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :so I just put a slice of bread in a frying pan, with grated cheese on top of the bread, and an egg on top of the grated chease < 1350492716 207574 :ogrom!~del@gprs-inet-65-125.elisa.ee JOIN :#esoteric < 1350493408 927346 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :as I feared, the slice of bread got completely burnt before the egg was properly baked < 1350493447 533645 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :next time I'll try putting the egg under the toast, or something < 1350493528 122772 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :You can also put it beside the toast. < 1350493566 989752 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :or maybe make it an egg sandwich < 1350493579 187135 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :and when the egg is half-baked, I flip it < 1350493622 923981 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :I wonder if that's how they do paninis < 1350493733 911916 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Don't those usually get made in those grill-on-both-side machines? < 1350493745 504606 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :http://en.wikipedia.org/wiki/File:Professional_panini_machine.JPG you know, that kind of things. < 1350493833 548008 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Also thanks a whole lot, now I'm terribly hungry. < 1350494091 625474 :Slereah_!x@ANantes-259-1-204-58.w90-49.abo.wanadoo.fr PRIVMSG #esoteric :Panini was also the first esolanger :V < 1350494464 636718 :Phantom__Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 JOIN :#esoteric < 1350495970 351311 :zzo38!~zzo38@24-207-49-17.eastlink.ca JOIN :#esoteric < 1350496881 115472 :augur!~augur@129-2-129-33.wireless.umd.edu QUIT :Read error: Connection reset by peer < 1350496904 21493 :augur!~augur@129-2-129-33.wireless.umd.edu JOIN :#esoteric < 1350497781 384669 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :fizzie: yes during the whole thing I was wondering if there was anything I could use to heat the egg from above < 1350498086 911255 :Phantom__Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :uh < 1350498093 534070 :Phantom__Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :are you experimenting in advanced egg-cooking < 1350498110 805464 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :It was more about sandwich-making. < 1350498516 629238 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :anyway see you later guys < 1350498532 403115 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net QUIT :Quit: Arc_Koen < 1350499882 676388 :Phantom__Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 QUIT :Ping timeout: 265 seconds < 1350500100 302857 :augur!~augur@129-2-129-33.wireless.umd.edu QUIT :Read error: Connection reset by peer < 1350500119 707218 :augur!~augur@129-2-129-33.wireless.umd.edu JOIN :#esoteric < 1350500363 345300 :ogrom!~del@gprs-inet-65-125.elisa.ee QUIT :Quit: Left < 1350502621 330642 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :fizzie: Of course I can find Britain on a map. < 1350502643 459280 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :If the map has names on it then I also can locate Afghanistan. < 1350502720 262238 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :It's a pretty big country. < 1350504267 445596 :olsner!~salparot@c83-252-194-156.bredband.comhem.se PRIVMSG #esoteric :if it's a map of afghanistan I can probably locate it < 1350504793 282969 :Phantom__Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 JOIN :#esoteric < 1350505460 773588 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :If it's a map of great britain I can locate it perfectly. < 1350505488 730784 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :I'm quite good at locating Afghanistan on maps of Great Britain too < 1350505496 932002 :olsner!~salparot@c83-252-194-156.bredband.comhem.se PRIVMSG #esoteric :neither am I < 1350505554 793897 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :I just have to abuse a little trick from classic logic. < 1350505566 72026 :Phantom__Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :12:47:30: I refuse to have a cellphone for reasons which are only very vaguely related (specifically, I don't like people being able to contact me at arbitrary times) < 1350505572 140863 :Phantom__Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :oh my god someone else who hates phones < 1350505593 106502 :Phantom__Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :who the fuck thought it was a good idea to invent a device that allows people to blindly pester you whenever they like < 1350505607 875301 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :Well < 1350505613 464046 :olsner!~salparot@c83-252-194-156.bredband.comhem.se PRIVMSG #esoteric :Bell < 1350505617 903539 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :according to the north korean propanda movie < 1350505625 359373 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :an iPhone changes everything! < 1350505648 924962 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :Nice typo. < 1350505655 27735 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :I don't think they like pandas. < 1350505676 961300 :olsner!~salparot@c83-252-194-156.bredband.comhem.se PRIVMSG #esoteric :if they don't like pandas why would they make propanda movies? < 1350505686 203647 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :To please china? < 1350505690 158994 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :(obviously) < 1350505699 202533 :olsner!~salparot@c83-252-194-156.bredband.comhem.se PRIVMSG #esoteric :ah, right < 1350505791 232093 :Phantom__Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :i hate pandas < 1350505888 603041 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :Blasphemie. < 1350507357 799347 :MoALTz!~no@212.183.128.136 JOIN :#esoteric < 1350507669 896890 :Frooxius!~Frooxius@cust-101.ktknet.cz QUIT :Quit: ChatZilla 0.9.89-rdmsoft [XULRunner 1.9.0.17/2009122204] < 1350508016 536225 :Frooxius!~Frooxius@cust-101.ktknet.cz JOIN :#esoteric < 1350509928 156862 :augur!~augur@129-2-129-33.wireless.umd.edu QUIT :Remote host closed the connection < 1350510165 380470 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :shachaf: What type f has f (a,b) = Either a b? < 1350510229 942037 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :elliott: Is there such a type? < 1350510262 801593 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Is there? < 1350510268 638508 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :What type f has f (Either a b) = (a,b)? < 1350510284 28749 :MoALTz!~no@212.183.128.136 QUIT :Quit: Leaving < 1350510325 531177 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Why would these types exist? < 1350510337 626271 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Why would anything exist? < 1350510392 118852 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :elliott: woah, dude < 1350510401 383193 :Phantom__Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :we already had this conversation today dammit < 1350510409 32414 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :But, really, why does that make sense? < 1350510409 686135 :olsner!~salparot@c83-252-194-156.bredband.comhem.se PRIVMSG #esoteric :shachaf: profound, isn't it? < 1350510417 904090 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :elliott: "I could do this with recursion, but since I'm doing this in Haskell, I'd like to understand the monads. The State Monad is probably the best for this job, I suppose?" < 1350510421 32056 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :shachaf: I don't know. Do you make sense? < 1350510427 567102 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :elliott: Sometimes I do. < 1350510442 630273 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :shachaf: Anyway if you defined f (Either a b) = (a, b) as a type family what would you call it? < 1350510444 306379 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :And what does it mean? < 1350510457 954804 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :elliott: Oh, a type family. < 1350510460 314036 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :That's not at ype. < 1350510489 940346 :olsner!~salparot@c83-252-194-156.bredband.comhem.se PRIVMSG #esoteric :if it's not at ype, where is it? < 1350510505 755852 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :olsner: oerjan would never say that. < 1350510511 551952 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :That's why you should be more like oerjan. < 1350510545 388806 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :shachaf: I didn't mean a type family before. < 1350510562 793514 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :So F (Either a b) = (a,b) < 1350510571 662068 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Do you know anything else about F? < 1350510620 332017 :olsner!~salparot@c83-252-194-156.bredband.comhem.se PRIVMSG #esoteric :shachaf: oerjan would never make fun of at ypo? < 1350510624 36051 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :shachaf: Well, ideally F (forall r. (a -> r) -> (b -> r) -> r) would be isomorphic to (a, b). < 1350510652 912031 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :@context elliott < 1350510653 342506 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :Unknown command, try @list < 1350510693 582795 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :I'm just wondering. < 1350510721 71347 :hagb4rd!~perdito@koln-4d0b75ca.pool.mediaWays.net QUIT :Quit: hagb4rd < 1350510819 254039 :sirdancealot7!~sirdancea@98.82.broadband5.iol.cz QUIT :Ping timeout: 268 seconds < 1350510853 782589 :copumpkin!~copumpkin@unaffiliated/copumpkin QUIT :Quit: Computer has gone to sleep. < 1350511336 495804 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :Then how can F be if it is possible to make that working? < 1350511348 211331 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :I have no idea, honestly. < 1350511364 607244 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :elliott: What do you want it for? < 1350511415 392750 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :elliott: Is there a "log" function such that f (a,b) = Either (f a) (f b)? < 1350511416 722525 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :Is it possible, even? If not with intuitionistic logic, is it possible with linear logic, or other logical systems? Would F do anything else other than just this? < 1350511424 320030 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :shachaf: I don't want it for anything. < 1350511434 633252 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :I don't know if there's such a log. But that sounds cute, so let's go with: yes. < 1350511447 525518 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :shachaf: Const Void satisfies log. < 1350511454 27375 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :elliott: I know. < 1350511524 423412 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :elliott: What's the other thing you need to satisfy log? < 1350511539 82348 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Something like log 1 = 0? < 1350511579 118580 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Presumably. < 1350511593 835465 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :I have tried before to make logarithm of types but I don't think it can be done? < 1350511596 970937 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :You have b^log_b(a) = a. So Log a -> b should be iso to a. Problem: what's b? < 1350511611 620513 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :I don't think that even makes sense. < 1350511617 636667 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :b has to be constant; you can't extract any info out of the result. < 1350511620 159256 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :It looks like callcc. < 1350511635 140026 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :shachaf: Anyway Const Void satisfies log 1 = 0 too. < 1350511672 231321 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :shachaf: Log (a -> b) ~ (a, Log b). < 1350511673 885288 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :I don't think you can make a base of natural logarithms as a type, though < 1350511680 182693 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :15:07 shachaf: once upon a time I had this idea that log corresponded to "paths" in data structures < 1350511683 359157 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Does Const Void satisfy that? I guess yes. < 1350511683 443473 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :15:07 shachaf: e.g. a path to a value in an (a,b) structure is either a path to an a, or a path to a b. < 1350511685 488706 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Since (a, Void) is Void. < 1350511686 702976 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :15:07 shachaf: but I couldn't quite make it all work out nicely. but I'm still convinced there's something interesting there. < 1350511712 518462 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :elliott: I have a feeling you're missing a point here. < 1350511720 556736 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :Maybe, try something, see < 1350511728 850348 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Or are you trying to come up with a rule for log that Const Void doesn't satisfy? < 1350511782 457011 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :shachaf: Yes. < 1350511782 737093 :boily!~boily@mtl.savoirfairelinux.net QUIT :Read error: Connection reset by peer < 1350511911 862265 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :elliott: Also, Log_b (a -> b) = a? That doesn't even make sense. < 1350511954 126427 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :shachaf: I think forgetting about "b" here is ideal. < 1350511958 182741 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :It seems misleading. < 1350511967 155883 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :(But it does seem to make sense somehow...) < 1350511968 371589 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :elliott: Makes sense. < 1350511977 56170 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :What about Bag x = e^x? < 1350511980 715942 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :(If you take b as some kind of continuation token, then the formulae involving b seem to make sense.) < 1350511983 389495 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Wait, no, we figured out that that was nonsense. < 1350511994 429652 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :15:12 shachaf, heh, that looks an awful lot like de morgan's law < 1350512029 746651 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :15:12 cmccann: You have 5 new messages. '/msg lambdabot @messages' to read them. < 1350512032 796353 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :15:12 D: < 1350512043 703054 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :elliott: Stop making cmccann's life painful. < 1350512059 372328 :Phantom__Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :that was my fault < 1350512072 26662 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Phantom__Hoover: Oh, and you. < 1350512093 25613 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :I sent two; Phantom__Hoover sent one. < 1350512102 411653 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :If there's any more then either it's someone else or Phantom__Hoover decided to be more annoying than usual. < 1350512108 310886 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :15:14 did elliott finally lose it after all those lambdabot messages and start spamming everyone? :D < 1350512165 502043 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :shachaf: This is great. It's like being in #haskell except all the lines have wrong timestamps on them. < 1350512173 807122 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :elliott: /join #haskell < 1350512181 680427 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Why? < 1350512200 740686 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :To fix your timestamps. < 1350512205 349374 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Otherwise I'll have to keep pasting. < 1350512211 762580 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :15:15 -!- gnuvince [~vince@ip-50-21-138-141.dsl.netrevolution.com] has joined #haskell < 1350512214 701367 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :15:15 -!- clahey is now known as cl_away < 1350512217 203404 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :15:15 -!- zhulikas [~Derp@195.181.64.50] has quit [Ping timeout: 246 seconds] < 1350512219 703437 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :15:15 cmccann: Hey, it does. < 1350512222 233006 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :15:16 -!- corruptmemory [~jim@h-64-236-128-62.nat.aol.com] has joined #haskell < 1350512265 725491 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :15:17:15 heh, so I guess f ~ ((->) Void) works < 1350512277 546497 :olsner!~salparot@c83-252-194-156.bredband.comhem.se PRIVMSG #esoteric :you know, if any of us wanted to be in #haskell we'd be in #haskell < 1350512281 588246 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :(Void -> a -> b) ~ (a, Void -> b)? < 1350512285 99308 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Is that true? < 1350512288 986668 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :That's not true. < 1350512346 323616 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Oh, it's (-> Void). < 1350512350 331722 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :(-> Void), yes. < 1350512364 278748 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :((a -> b) -> Void) ~ (a, b -> Void). < 1350512374 608995 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :not (a implies b) = a and not b < 1350512383 263655 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Isn't that true in classical logic? < 1350512411 64740 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :(0^x) is pretty close to (const 0) :-( < 1350512414 139607 :copumpkin!~copumpkin@unaffiliated/copumpkin JOIN :#esoteric < 1350512420 518552 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric : You have b^log_b(a) = a. So Log a -> b should be iso to a. Problem: what's b? < 1350512423 663464 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Also let's say b = Void. < 1350512427 158488 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :(Log a -> Void) ~ a < 1350512430 127728 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :((a -> Void) -> Void) ~ a < 1350512432 489001 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :not not a ~ a < 1350512438 431305 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :snazzy < 1350512446 216000 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :So it is for classical logic only, I guess. < 1350512450 592800 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :OK, now we can not think about Log ever again. < 1350512473 136426 :Phantom__Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :Can't have logs base 0. < 1350512596 219088 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :15:21 byorgey: (-> Void) = (0^), which is worryingly close to (const 0) < 1350512602 777079 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :15:21 It doesn't really behave like a logarithm in terms of most things you expect from a logarithm, I think. < 1350512610 363192 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :15:21 Then again it's hard to do that while staying discrete. :-) < 1350512647 124856 :olsner!~salparot@c83-252-194-156.bredband.comhem.se PRIVMSG #esoteric :what timezone are those timestamps in? < 1350512657 439949 :Phantom__Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :GMT+shachaf < 1350512666 567335 :olsner!~salparot@c83-252-194-156.bredband.comhem.se PRIVMSG #esoteric :is that a couple of minutes ago or 9 hours ago? < 1350512668 955720 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :More like GMT-shachaf < 1350512678 984184 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :olsner: A couple minutes ago. < 1350512754 222433 :olsner!~salparot@c83-252-194-156.bredband.comhem.se PRIVMSG #esoteric :anyway, what's exponentiation in types? < 1350512763 926845 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :(->) < 1350512766 423821 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :a^b = b->a < 1350512869 556283 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Just like with sets! < 1350512882 430619 :copumpkin!~copumpkin@unaffiliated/copumpkin PRIVMSG #esoteric :which is just iterated product! < 1350512899 185149 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Which is just iterated iterated sum! < 1350512950 892107 :Phantom__Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :which is just iterated iterated iterated succ! < 1350513022 218466 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :which is just iterated iterated iterated iterated iterated iterated iterated iterated iterated iterated iterated iterated iterated iterated iterated iterated iterated iterated iterated iterated iterated iterated iterated iterated iterated iterated iterated iterated iterated iterated iterated iterated iterated iterated < 1350513026 358130 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :stack overflow < 1350513393 85061 :olsner!~salparot@c83-252-194-156.bredband.comhem.se PRIVMSG #esoteric :I wasn't listening before, but was there any use for this Log thing except trying to figure out what it might mean? < 1350513432 594234 :olsner!~salparot@c83-252-194-156.bredband.comhem.se PRIVMSG #esoteric :oh, and shouldn't it be Log b a or something? just guessing that the base should be involved somewhere < 1350513450 936184 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :olsner: Real logarithms don't have bases. < 1350513457 667319 :olsner!~salparot@c83-252-194-156.bredband.comhem.se PRIVMSG #esoteric :really? < 1350513468 218621 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Really. < 1350513476 203024 :olsner!~salparot@c83-252-194-156.bredband.comhem.se PRIVMSG #esoteric :wow < 1350513478 496207 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :log_b(x) is just log(x)/log(b) so < 1350513488 248593 :olsner!~salparot@c83-252-194-156.bredband.comhem.se PRIVMSG #esoteric :yah < 1350513503 554913 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric : I wasn't listening before, but was there any use for this Log thing except trying to figure out what it might mean? < 1350513503 994184 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric : 15:07 shachaf: once upon a time I had this idea that log corresponded to "paths" in data structures < 1350513505 296670 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric : 15:07 shachaf: e.g. a path to a value in an (a,b) structure is either a path to an a, or a path to a b. < 1350513506 316171 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric : 15:07 shachaf: but I couldn't quite make it all work out nicely. but I'm still convinced there's something interesting there. < 1350513516 946483 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :15:38 15:07 shachaf: once upon a time I had this idea that log corresponded to "paths" in data structures < 1350513594 805750 :augur!~augur@208.58.5.87 JOIN :#esoteric < 1350513597 469517 :olsner!~salparot@c83-252-194-156.bredband.comhem.se PRIVMSG #esoteric :and log is the length of the path? < 1350513633 142971 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :no, Log t would be the path itself < 1350513638 916262 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :type of paths < 1350513985 308256 :impomatic!~digital_w@105.19.112.87.dyn.plus.net JOIN :#esoteric < 1350514033 941525 :olsner!~salparot@c83-252-194-156.bredband.comhem.se PRIVMSG #esoteric :alright, I am slep < 1350514036 586162 :olsner!~salparot@c83-252-194-156.bredband.comhem.se PRIVMSG #esoteric :tell me if you ever figure it out though < 1350514368 462049 :Sgeo!~Sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :I want to make a Clojure-like language that gets some inspiration from Tcl. < 1350514373 508718 :Sgeo!~Sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :But the name.... < 1350514386 85633 :Sgeo!~Sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :Tclj comes to mind, but that makes it look like it's primarily based on Tcl. < 1350514391 34821 :Sgeo!~Sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :I might call it Cloqure. < 1350514397 575635 :Sgeo!~Sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :Clojure with a lot of quote marks < 1350514594 260762 :Sgeo!~Sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :pikhq, is [uplevel] generally hated? < 1350514698 396646 :nooga!~nooga@ip-46-250-173-30.ip.maverick.com.pl QUIT :Ping timeout: 264 seconds < 1350515254 992455 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :16:06 shachaf: btw, logarithms are easy for representable functors < 1350515262 349492 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net JOIN :#esoteric < 1350515290 73004 :sirdancealot7!~sirdancea@98.82.broadband5.iol.cz JOIN :#esoteric < 1350515291 985028 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :hello < 1350515329 986976 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :elliott: do you know what that is :'( < 1350515351 110780 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :shachaf: yes < 1350515381 211547 :Sgeo!~Sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :Someone suggested Tclojure < 1350515418 795326 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :[[ < 1350515419 255519 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :For a long years Archlinux WAS my favorite linux distibutive. Because it was simple and powerfull, flexible configurabe. It was really best choise for home and for server! And now, archlinux turning into ....even not Unbutu, Arch turning into Windows!! < 1350515419 337364 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :RIP, beloved ARCH! < 1350515419 418036 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :P.S.: I WISH LENNART POETTERING TO GO TO HELL!!! < 1350515419 650086 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :]] < 1350515451 273112 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Arch turning into Windows!!?? < 1350515454 21622 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oh no!! < 1350515475 63683 :Phantom__Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :lennart poettering? < 1350515478 63441 :Jafet!~Jafet@unaffiliated/jafet PRIVMSG #esoteric :What next, gates turning into basements? < 1350515488 438484 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :yet another linux derivative < 1350515505 151801 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Phantom__Hoover: he's this guy who to goed to hell after someone flamed him on the arch linux forums < 1350515506 992697 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :hope it's not a simple substitution < 1350515512 872833 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :https://bbs.archlinux.org/viewtopic.php?pid=1175809#p1175809 < 1350515514 480550 :Phantom__Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :oh ok < 1350515519 219237 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :next time include the link :'( < 1350515521 391041 :Phantom__Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :how is arch turning into windows btw < 1350515533 590768 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :in an AWFUL way < 1350515534 486986 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Phantom__Hoover: well all windows users to go to hell on a regular basis < 1350515560 307304 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :"this guy who to goed to hell" < 1350515562 805190 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Hmm, Lennart Poettering wrote PulseAudio. < 1350515571 586370 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :like, "to to go to hell" is a verb? < 1350515580 236562 :pikhq!~pikhq@75-163-202-84.clsp.qwest.net PRIVMSG #esoteric :Sgeo: Uh, not so much "hated" as it is "use sparingly". < 1350515583 255599 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Arc_Koen: if this post is any metric, then yes < 1350515605 183806 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :well I can live with that < 1350515616 539701 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :shachaf: yes < 1350515626 224262 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :as long as nobody starts to coming from hell < 1350515628 847059 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 JOIN :#esoteric < 1350515644 836524 :Sgeo!~Sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :pikhq, similarly to how in Lisps, people are expected to use macros sparingly? < 1350515658 244967 :Sgeo!~Sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :pikhq, and I'm thinking more in terms of, do alternatives exist < 1350515669 284666 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :(that was supposed to be a joke but I think it's broken) < 1350515699 802376 :pikhq!~pikhq@75-163-202-84.clsp.qwest.net PRIVMSG #esoteric :Sgeo: Not really. < 1350515707 607444 :pikhq!~pikhq@75-163-202-84.clsp.qwest.net PRIVMSG #esoteric :If you want custom control structures you need uplevel. < 1350515726 451087 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :(because tcl is bad) < 1350515727 244519 :copumpkin!~copumpkin@unaffiliated/copumpkin NICK :BinderFullOfWome < 1350515737 672894 :Sgeo!~Sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :pikhq, I don't mean within Tcl, I mean as far as language features go < 1350515742 493259 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :well you have to keep your wome somewhere < 1350515749 801037 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :can't just have it lying all over the place < 1350515750 356715 :BinderFullOfWome!~copumpkin@unaffiliated/copumpkin NICK :BinderOfWomen < 1350515750 691887 :Sgeo!~Sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :That would still give me pervasive eval + lexical scope < 1350515754 922823 :BinderOfWomen!~copumpkin@unaffiliated/copumpkin NICK :copumpkin < 1350515769 706924 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :is that a binder containing women, or is it someone who binds women? < 1350515787 391873 :copumpkin!~copumpkin@unaffiliated/copumpkin NICK :BinderOfBigBird < 1350515788 244238 :Phantom__Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 QUIT :Ping timeout: 260 seconds < 1350515804 258993 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :BinderOfBigBird: hi < 1350515812 754204 :BinderOfBigBird!~copumpkin@unaffiliated/copumpkin PRIVMSG #esoteric :hey < 1350515817 464147 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :oh god not another bird fetishist < 1350515831 687659 :Sgeo!~Sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :http://manuel.github.com/wat-js/doc/manual.html < 1350515835 916756 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :BinderOfBigBird: Three rings to bind them all? < 1350515844 506176 :BinderOfBigBird!~copumpkin@unaffiliated/copumpkin PRIVMSG #esoteric :yes < 1350515845 443641 :Sgeo!~Sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :kmc, ^ < 1350515864 328172 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :kmc, v < 1350515880 422876 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :kmc: < < 1350515890 585049 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Well, more like < 1350515893 325461 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :kmc: ☚ < 1350515960 515530 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :beware the turing tar pits < 1350515975 537680 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :oh wait, I was trying to make a pun by merging "turing" and "ring" < 1350515992 969965 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :ah, the famous ring tar pits < 1350516005 100301 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :see, it doesn't work < 1350516031 437057 :Jafet!~Jafet@unaffiliated/jafet PRIVMSG #esoteric :Tarring turpids < 1350516039 865193 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :tarring turnips < 1350516062 53420 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :well you understand my joke anyway and assuming we share some common sense of humour, you're free to go ahead and laugh even though the pun failed < 1350516076 201704 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :or better pretend it went right!! < 1350516161 742875 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :hey can I add Emmental to the list of featured language candidates? < 1350516225 785231 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :assuming you did not create it < 1350516261 164493 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :are you kidding it's chris pressey's < 1350516306 339169 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :idk maybe you are chris < 1350516310 753472 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :`pastelogs ZOMGMODULES < 1350516325 241335 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :MAYBE I AM < 1350516338 399420 :HackEgo!codu@codu.org PRIVMSG #esoteric :http://codu.org/projects/hackbot/fshg/index.cgi/raw-file/tip/paste/paste.9977 < 1350516400 178629 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :2011-04-05.txt:20:38:24: * ZOMGMODULES IS ZOMGMODULES < 1350516408 315345 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :if only we still had chris around to dispense wisdom like this < 1350516425 277315 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :i < 1350516433 562161 :Sgeo!~Sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :Maybe I should make wat running on node.js my new favorite language. < 1350516435 31792 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :i've forgotten chris' last name :'( < 1350516438 689213 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Phantom_Hoover: pressey < 1350516440 583602 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :
ACTION looks up a few lines
< 1350516444 761141 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :right, pressey < 1350516468 621029 :kmc!~keegan@ec2-23-23-43-158.compute-1.amazonaws.com PRIVMSG #esoteric :Sgeo: ooooh < 1350516498 362108 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :2011-04-05.txt:21:39:53: * ZOMGMODULES SAYS ONLY EXACTLY WHAT ZOMGMODULES MEANS < 1350516498 532679 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :2011-04-05.txt:21:40:18: * ZOMGMODULES DISMISSES TSWETTBOT!!!! < 1350516499 860748 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :Phantom_Hoover: you hang around with brainfuck-equivalent designers too much < 1350516518 608646 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :why do you hurt me so ;_; < 1350516537 517644 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :2011-04-05.txt:22:54:21: YES < 1350516537 636893 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :2011-04-05.txt:22:54:23: YES YES YES < 1350516537 637057 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :2011-04-05.txt:22:57:01: THIS IS HOW CHILDREN LEARN < 1350516600 816643 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :kmc: 16:29 Boston has some good burritos. < 1350516600 897678 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :16:29 dolio: As good as SF? < 1350516600 897877 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :16:29 I don't know. < 1350516616 669877 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :kmc: You're clearly the one to answer this. < 1350516617 375357 :kmc!~keegan@ec2-23-23-43-158.compute-1.amazonaws.com PRIVMSG #esoteric :i like beantown taqueria < 1350516619 915468 :kmc!~keegan@ec2-23-23-43-158.compute-1.amazonaws.com PRIVMSG #esoteric :it's close to my house < 1350516622 381786 :kmc!~keegan@ec2-23-23-43-158.compute-1.amazonaws.com PRIVMSG #esoteric :i was just there < 1350516632 123597 :tswett!~tswett@unaffiliated/tswett PRIVMSG #esoteric :Wtf is tswettbot. < 1350516642 114087 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :luite is in FS. < 1350516644 846929 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :SF < 1350516648 112888 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :That place with the burritos. < 1350516650 640248 :BinderOfBigBird!~copumpkin@unaffiliated/copumpkin NICK :copumpkin < 1350516668 75189 :kmc!~keegan@ec2-23-23-43-158.compute-1.amazonaws.com PRIVMSG #esoteric :hm if i enumerate eight different ways of complaining about brainfuck-equivalent esolangs, then... < 1350516680 756092 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :tswett: something you made in 2k11 < 1350516694 942412 :tswett!~tswett@unaffiliated/tswett PRIVMSG #esoteric :Wtf is 2011. < 1350516703 610840 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :2k11 = 22,000 < 1350516708 664397 :kmc!~keegan@ec2-23-23-43-158.compute-1.amazonaws.com PRIVMSG #esoteric :yes < 1350516710 428677 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :2.011k = 2011 < 1350516712 216530 :tswett!~tswett@unaffiliated/tswett PRIVMSG #esoteric :I remember no such year as 2011. < 1350516739 234677 :kmc!~keegan@ec2-23-23-43-158.compute-1.amazonaws.com PRIVMSG #esoteric :i have invented a language where each line is a transcript of something said in #esoteric complaining about brainfuck-equivalent esolangs < 1350516767 682344 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :is it a brainfuck equivalent < 1350516784 252166 :kmc!~keegan@ec2-23-23-43-158.compute-1.amazonaws.com PRIVMSG #esoteric :each line performs an operation equivalent to one of brainfuck's <>+-,.[] according to the number of the day on which the thing was first said, mod 8 < 1350516805 9362 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I have invented a language where Phantom_Hoover = [, elliotit = ], shachaf = <, kmc = >, tswett = -, pikhq = +, oerjan = ,, olsner = . < 1350516818 648950 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Sorry oerjan. :-( You got the worst operator. < 1350516825 733966 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :kmc: does that mean your language evolves every time someone complains about brainfuck equivalents? < 1350516827 351111 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :elliotit < 1350516831 238023 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Oh, and operators have to be enclosed in <> < 1350516835 28919 :kmc!~keegan@ec2-23-23-43-158.compute-1.amazonaws.com PRIVMSG #esoteric :shachaf: do you also have a giant chessboard and 32 silly outfits? < 1350516847 491415 :kmc!~keegan@ec2-23-23-43-158.compute-1.amazonaws.com PRIVMSG #esoteric :Arc_Koen: yeah, though old programs should keep the same meaning < 1350516859 633636 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :elliott: "oopse" < 1350516878 891443 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :"ddoublle lleterss are hard" < 1350516879 838125 :kmc!~keegan@ec2-23-23-43-158.compute-1.amazonaws.com PRIVMSG #esoteric :elliotit: the wiki server backed by the elliott content tracker < 1350516906 640308 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :kmc: that's just esolangs.org < 1350516910 928186 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :so we're developing brainfuck-equivalent supersets of brainfuck-equivalents? EVEN WORSE < 1350516911 708049 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :kmc: More like the elliot content tracker. < 1350516917 479506 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :that's like being brainraped < 1350516976 499958 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :wait I was supposed to put "we create brainfuck-equivalents against our will" in one of the sentences before, otherwise the joke doesn't work < 1350516984 450562 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :did I just fail three jokes in a row? < 1350517004 593816 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :kmc: Today I overheard people talking about their social photo-sharing app for iOS. < 1350517153 130098 :elliott!~elliott@unaffiliated/elliott PART #esoteric :"Leaving" < 1350517317 259463 :Nisstyre!~yours@oftn/member/Nisstyre QUIT :Quit: Leaving < 1350517332 873289 :kmc!~keegan@ec2-23-23-43-158.compute-1.amazonaws.com PRIVMSG #esoteric :isn't that every day in the bay area < 1350517348 93694 :kmc!~keegan@ec2-23-23-43-158.compute-1.amazonaws.com PRIVMSG #esoteric :\ < 1350517354 335416 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Pretty much. :-( < 1350517358 589577 :kmc!~keegan@ec2-23-23-43-158.compute-1.amazonaws.com PRIVMSG #esoteric :No newline at end of file < 1350517365 543669 :Nisstyre!~yours@oftn/member/Nisstyre JOIN :#esoteric