< 1374624165 811330 :copumpkin!~copumpkin@unaffiliated/copumpkin QUIT :Ping timeout: 248 seconds < 1374624204 69473 :copumpkin!~copumpkin@unaffiliated/copumpkin JOIN :#esoteric < 1374624533 670068 :Bike!~Glossina@174-25-43-108.ptld.qwest.net PRIVMSG #esoteric :@oeis 6,90,945,9450,93555 < 1374624534 98669 :kappabot!kappabot@unaffiliated/shachaf PRIVMSG #esoteric : Denominators of zeta(2n)/Pi^(2n). < 1374624534 298977 :kappabot!kappabot@unaffiliated/shachaf PRIVMSG #esoteric : [6,90,945,9450,93555,638512875,18243225,325641566250,38979295480125,15313294... < 1374625752 713712 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :you know a misspelling is good when it makes you forget the standard spelling for a little while < 1374626010 395288 :tertu!~tertu@65-128-181-81.mpls.qwest.net JOIN :#esoteric < 1374626229 426206 :Sgeo!~quassel@ool-ad034ea6.dyn.optonline.net JOIN :#esoteric < 1374626808 245451 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :Indubitaly. < 1374626853 405694 :Bike!~Glossina@174-25-43-108.ptld.qwest.net PRIVMSG #esoteric :monster < 1374626898 635440 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :In my case, "Excersizes" < 1374627032 729463 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :eksirsighzez! < 1374627102 126449 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :relatedly a friend was talking about a video game she was playing and mispelled "dropship" as "dorpship" and now neither of us can think of it any other way < 1374627109 36914 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :and she's now talking all about flying around her dorpship < 1374627134 246982 :Bike!~Glossina@174-25-43-108.ptld.qwest.net PRIVMSG #esoteric :now i wish i had a dorpship, gee thanks < 1374627192 586359 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :and like every single time I type it I giggle because "dorpship" < 1374627990 210496 :sprocklem!~sprocklem@S010674440130be65.cg.shawcable.net QUIT :Remote host closed the connection < 1374628768 330155 :Bike!~Glossina@174-25-43-108.ptld.qwest.net PRIVMSG #esoteric :http://www.sciencemag.org/content/334/6055/521.abstract "a refreshingly honest first/last authorship statement" < 1374628821 789857 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :what about all the other authorships < 1374628860 289619 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :btw would you really authorship Robert W. Meredith and William J. Murphy < 1374628917 478130 :yorick!~yorick@oftn/member/yorick QUIT :Remote host closed the connection < 1374629298 996937 :Nisstyre-laptop!~yours@oftn/member/Nisstyre JOIN :#esoteric < 1374629357 668791 :Nisstyre-laptop!~yours@oftn/member/Nisstyre NICK :nisstyre < 1374629655 760219 :nisstyre!~yours@oftn/member/Nisstyre QUIT :Quit: Leaving < 1374630113 131126 :tswett!~tswett@ec2-23-23-86-149.compute-1.amazonaws.com PRIVMSG #esoteric :Mmm maybe I'm going to have the return type be ContT (Expr bot bot) Maybe (Expr bot a). < 1374630244 103182 :tswett!~tswett@ec2-23-23-86-149.compute-1.amazonaws.com PRIVMSG #esoteric :Of Hebrew, Dutch, German, and Greek, German is best the language I speak. < 1374630271 862415 :Gracenotes!~person@wikipedia/Gracenotes PRIVMSG #esoteric :is that a bottom I spot < 1374630288 490005 :tswett!~tswett@ec2-23-23-86-149.compute-1.amazonaws.com PRIVMSG #esoteric :It is bottom, as in the sense of the... uh, which one. < 1374630317 515536 :tswett!~tswett@ec2-23-23-86-149.compute-1.amazonaws.com PRIVMSG #esoteric :Linear multiplicative falsity. < 1374630319 502540 :Bike!~Glossina@174-25-43-108.ptld.qwest.net PRIVMSG #esoteric :the caudal type < 1374630327 471804 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Gracenotes: imo memorize the hunting of the snark hth < 1374630336 61519 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Bike: imo you too < 1374630365 41675 :Bike!~Glossina@174-25-43-108.ptld.qwest.net PRIVMSG #esoteric :Np < 1374630371 182221 :Gracenotes!~person@wikipedia/Gracenotes PRIVMSG #esoteric :too many acronyms, I stab all of you in the face over the internet < 1374630379 102538 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :zomg the hunting of the snark is about mnoqy???? < 1374630384 657736 :tswett!~tswett@ec2-23-23-86-149.compute-1.amazonaws.com PRIVMSG #esoteric :Gracenotes: ok gl hth < 1374630409 132289 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :"It's excessively awkward to mention it now-- < 1374630409 332702 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :As I think I've already remarked." < 1374630409 533115 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :And the man they called "Hi!" replied, with a sigh, < 1374630409 533303 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :"I informed you the day we embarked. < 1374630416 372266 :sprocklem!~sprocklem@S010674440130be65.cg.shawcable.net JOIN :#esoteric < 1374630423 202141 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :He would answer to "Hi!" or to any loud cry, < 1374630423 462312 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Such as "Fry me!" or "Fritter my wig!" < 1374630430 91752 :Gracenotes!~person@wikipedia/Gracenotes PRIVMSG #esoteric :how many words is the book? < 1374630431 332528 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Fry me! < 1374630433 759826 :tswett!~tswett@ec2-23-23-86-149.compute-1.amazonaws.com PRIVMSG #esoteric :Is that the poem that has the thing about cabbages and kings? < 1374630438 580971 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :it's not really a book < 1374630447 241843 :Gracenotes!~person@wikipedia/Gracenotes PRIVMSG #esoteric :tswett: indeed < 1374630451 731879 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :tswett: no, that's The Walrus and the Carpenter < 1374630455 71810 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :v. different < 1374630457 801054 :tswett!~tswett@ec2-23-23-86-149.compute-1.amazonaws.com PRIVMSG #esoteric :Oh yeah. < 1374630461 832262 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :(same author, though) < 1374630468 212038 :Gracenotes!~person@wikipedia/Gracenotes PRIVMSG #esoteric :oh.. hm. thought it was an appendix < 1374630486 483661 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :neither one was an appendix < 1374630501 119439 :tswett!~tswett@ec2-23-23-86-149.compute-1.amazonaws.com PRIVMSG #esoteric :- ´ - ´ - ´ - ´ / - ´ - ´ - ´ hth < 1374630552 22670 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :h t h t h t h t / h t h t h t hth < 1374630613 722597 :Gracenotes!~person@wikipedia/Gracenotes PRIVMSG #esoteric :in any case, I wasn't there to experience the original formats in which the poems/books/etc. were released < 1374630627 534872 :tswett!~tswett@ec2-23-23-86-149.compute-1.amazonaws.com PRIVMSG #esoteric :hhtthtthtttthhhhhhthhthththttthttthtttththhthttthhtttthttthhth < 1374630635 20580 :tswett!~tswett@ec2-23-23-86-149.compute-1.amazonaws.com PRIVMSG #esoteric :(everyone in this channel should instantly recognize that sequence) < 1374630655 342060 :Gracenotes!~person@wikipedia/Gracenotes PRIVMSG #esoteric :ah. no, I was a bit confused, in the printing I read Jabberwocky was an appendix to the Snark < 1374630661 72489 :Bike!~Glossina@174-25-43-108.ptld.qwest.net PRIVMSG #esoteric :i refuse to recognize that sequence < 1374630666 653748 :tswett!~tswett@ec2-23-23-86-149.compute-1.amazonaws.com PRIVMSG #esoteric :@oeis 1,1,0,0,1,0,0,1,0,0,0,0,1,1,1,1,1,1 < 1374630675 842233 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :that makes a bit more sense at least < 1374630681 573116 :kappabot!kappabot@unaffiliated/shachaf PRIVMSG #esoteric : Expansion of Pi in base 2 (or, binary expansion of Pi). < 1374630681 773588 :kappabot!kappabot@unaffiliated/shachaf PRIVMSG #esoteric : [1,1,0,0,1,0,0,1,0,0,0,0,1,1,1,1,1,1,0,1,1,0,1,0,1,0,1,0,0,0,1,0,0,0,1,0,0,0... < 1374630682 222208 :Bike!~Glossina@174-25-43-108.ptld.qwest.net PRIVMSG #esoteric :Fiora: http://arxiv.org/abs/1307.5899 a thing < 1374630690 794238 :Bike!~Glossina@174-25-43-108.ptld.qwest.net PRIVMSG #esoteric :why would i recognize that, imo < 1374630690 994669 :Gracenotes!~person@wikipedia/Gracenotes PRIVMSG #esoteric :yeahwhatever < 1374630694 423592 :Lumpio-!~matti@89-166-34-164.bb.dnainternet.fi QUIT :Read error: Operation timed out < 1374630715 872249 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :imo why would it recognize you < 1374630730 563913 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :pi is "too cool for that" < 1374630734 112242 :tswett!~tswett@ec2-23-23-86-149.compute-1.amazonaws.com PRIVMSG #esoteric :Bike: because you've seen it 888,888 times before. < 1374630741 708673 :tswett!~tswett@ec2-23-23-86-149.compute-1.amazonaws.com PRIVMSG #esoteric :That's an ordered pair. < 1374630746 453134 :Bike!~Glossina@174-25-43-108.ptld.qwest.net PRIVMSG #esoteric :no i havent < 1374630752 845483 :tswett!~tswett@ec2-23-23-86-149.compute-1.amazonaws.com PRIVMSG #esoteric :Yes you have, hth. < 1374630753 473306 :Gracenotes!~person@wikipedia/Gracenotes PRIVMSG #esoteric :at some point this channel is going to devolve into 'no u' 'no u' 'no u' 'no u' < 1374630760 122254 :Gracenotes!~person@wikipedia/Gracenotes PRIVMSG #esoteric :(Yes, go ahead, be ironic) < 1374630765 624104 :tswett!~tswett@ec2-23-23-86-149.compute-1.amazonaws.com PRIVMSG #esoteric :Gracenotes: no it isn't! < 1374630772 104703 :Gracenotes!~person@wikipedia/Gracenotes PRIVMSG #esoteric :sssh. < 1374630774 866486 :tswett!~tswett@ec2-23-23-86-149.compute-1.amazonaws.com PRIVMSG #esoteric :I'm reasonably certain it won't, but I could be convinced that I'm wrong! < 1374630809 773464 :Gracenotes!~person@wikipedia/Gracenotes PRIVMSG #esoteric :I say, good sir < 1374630837 322416 :Lumpio-!~matti@89-166-34-164.bb.dnainternet.fi JOIN :#esoteric < 1374630843 322364 :Gracenotes!~person@wikipedia/Gracenotes PRIVMSG #esoteric :Trying to port GHC over to a platform without libc < 1374630869 362700 :Gracenotes!~person@wikipedia/Gracenotes PRIVMSG #esoteric :And compiling to LLVM bitcode (no native stuff allowed) < 1374630870 663242 :Gracenotes!~person@wikipedia/Gracenotes PRIVMSG #esoteric :is fun < 1374630900 292784 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :hey, Bike, tell me about adjunctions.............between groups!! < 1374630908 872548 :Bike!~Glossina@174-25-43-108.ptld.qwest.net PRIVMSG #esoteric :i don't know shit about adjunctions < 1374630975 183291 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Bike: well an adjunction is a pair of functions "i.e. group homomorphisms in this case" < 1374630984 113537 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :such that when you compose them one way you get a monad < 1374630993 615062 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :and actually you get a monad the other way too "because groups are weird hth" < 1374631020 195862 :Bike!~Glossina@174-25-43-108.ptld.qwest.net PRIVMSG #esoteric :i'm not sure this explanation is going to h anything at all < 1374631041 92902 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :well i'd give you a serious explanation but i d. you care < 1374631043 640255 :tswett!~tswett@ec2-23-23-86-149.compute-1.amazonaws.com PRIVMSG #esoteric :You're not sure t explanation is going to h anything at all hth. < 1374631054 754212 :Bike!~Glossina@174-25-43-108.ptld.qwest.net PRIVMSG #esoteric :what's this explanation then < 1374631056 573340 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :but maybe if i talk t. myself i'll figure it out < 1374631059 661362 :tswett!~tswett@ec2-23-23-86-149.compute-1.amazonaws.com PRIVMSG #esoteric :Am I doing t right h? < 1374631083 152547 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :ok let's see < 1374631096 913081 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Bike: the problem is that there are "like a billion definitions of" adjunctions < 1374631100 454118 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :which one should i pick < 1374631138 432777 :Bike!~Glossina@174-25-43-108.ptld.qwest.net PRIVMSG #esoteric :probably the best one for your purposes. < 1374631149 293270 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :which one is that < 1374631150 405495 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :let's say you have two groups < 1374631155 123016 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :help what letters do you use for groups < 1374631167 233868 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :i can't say G and H because the functor are going to be called F and G............. < 1374631172 89011 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :ok two groups C and D < 1374631203 623120 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :and two homomorphisms F : D -> C, G : C -> D < 1374631227 353512 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :so we know that G . F is an inner automorphism at least < 1374631235 93445 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :(in D) < 1374631262 233181 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :ok ok let's see < 1374631266 853277 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Gracenotes can help me imo < 1374631375 309964 :tswett!~tswett@ec2-23-23-86-149.compute-1.amazonaws.com PRIVMSG #esoteric :Hm. Maybe I don't want ContT Maybe; maybe I want MaybeT Cont. < 1374631394 218817 :tswett!~tswett@ec2-23-23-86-149.compute-1.amazonaws.com PRIVMSG #esoteric :(Now someone will say "maybe MaybeT Maybe hth") < 1374631407 43483 :Gracenotes!~person@wikipedia/Gracenotes PRIVMSG #esoteric :livin the category life < 1374631408 783364 :Bike!~Glossina@174-25-43-108.ptld.qwest.net PRIVMSG #esoteric :no, why would anyone say that. < 1374631414 499297 :tswett!~tswett@ec2-23-23-86-149.compute-1.amazonaws.com PRIVMSG #esoteric :So what's the idea behind the two? < 1374631417 683183 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :ok so we have eps : FG -> 1_C and eta : 1_D -> GF < 1374631420 104402 :tswett!~tswett@ec2-23-23-86-149.compute-1.amazonaws.com PRIVMSG #esoteric :Bike: maybe MaybeT Maybe hth. < 1374631432 243582 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :tswett..................................................................................... . < 1374631445 954109 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com TOPIC #esoteric :Mr. Burbujas Fan Club | http://underhanded.xcott.com/?page_id=5 | logs: http://codu.org/logs/_esoteric and http://tunes.org/~nef/logs/esoteric/ < 1374631460 214910 :Bike!~Glossina@174-25-43-108.ptld.qwest.net PRIVMSG #esoteric :mister who now < 1374631461 505488 :tswett!~tswett@ec2-23-23-86-149.compute-1.amazonaws.com PRIVMSG #esoteric :shachaf: … hth? < 1374631475 637533 :tswett!~tswett@ec2-23-23-86-149.compute-1.amazonaws.com PRIVMSG #esoteric :…………………………………………………………………………. < 1374631476 364895 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :kmc: hey, can i be in the Mr. Burbujas Fan Club < 1374631490 423919 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :http://blogs.sfweekly.com/thesnitch/assets_c/2009/08/rsz_1intact-thumb-500x374.jpg < 1374631495 584751 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :shachaf: uh you already are, see /topic < 1374631507 863741 :tswett!~tswett@ec2-23-23-86-149.compute-1.amazonaws.com PRIVMSG #esoteric :All right, uh, what was I doing. < 1374631541 113859 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :kmc: oh < 1374631547 554314 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :thx < 1374631556 893873 :Bike!~Glossina@174-25-43-108.ptld.qwest.net PRIVMSG #esoteric :wow i'm definitely in that fan club < 1374631574 39901 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Bike: have you even seen the new mr burbujas though < 1374631581 114222 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :the new one is p. scary < 1374631586 495998 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :kmc do you have a picture!!!! < 1374631601 165007 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :of me? < 1374631602 333442 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :oh < 1374631606 514684 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :of Mr Burbujas 2.0 < 1374631614 114759 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :not a good one < 1374631653 94775 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :you can kind of see him here to the right of the door http://s3-media4.ak.yelpcdn.com/bphoto/cxGNWxXViuddaSWubHoL6Q/l.jpg < 1374631660 344661 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :as your attorney i advise you to go take a good picture of Mr Burbujas 2.0 < 1374631660 733453 :tswett!~tswett@ec2-23-23-86-149.compute-1.amazonaws.com PRIVMSG #esoteric :Oh, it must be Burbujas as in /buɾˈbuxas/. < 1374631668 694284 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :anthropomorphic washing machine with a three-toothed lamprey mouth and a top hat < 1374631893 95563 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :kmc: http://www.flickr.com/photos/kaseysmith/7218024116/sizes/l/ < 1374631903 694734 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :kaseysmith++ < 1374632017 303321 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :thanks < 1374632020 575365 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :how did you find < 1374632024 115020 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :flickr search < 1374632027 164442 :dessos!~dessos@c-174-60-176-249.hsd1.pa.comcast.net QUIT :Read error: Connection reset by peer < 1374632036 634604 :Gracenotes!~person@wikipedia/Gracenotes PRIVMSG #esoteric :help how do I cross-compile ghc to a potato < 1374632046 65217 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :The Potato Has Landed < 1374632097 795129 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :ok so as i was saying, we have two natural transformations, eps : FG -> 1 and eta : 1 -> GF < 1374632167 545126 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :which means that for x : D, eta*x = GF(x)*eta < 1374632209 514627 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :wait does that whole "deal" still work < 1374632211 325180 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :yes it does < 1374632215 45427 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :so eta : D and eps : C < 1374632223 505380 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :is what i should have said < 1374632245 935269 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :and for x : C, eps*FG(x) = x*eps < 1374632256 94693 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :and then there are the laws < 1374632296 164997 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :wait none of what i said makes any sense whatsoever < 1374632310 166830 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :ok maybe i should actually work this out for myself < 1374632312 955301 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :(or make Bike do it) < 1374632317 465237 :Bike!~Glossina@174-25-43-108.ptld.qwest.net PRIVMSG #esoteric :nope < 1374632323 909016 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :uh, you can't refuse < 1374632334 294988 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :what am i paying you for < 1374632387 465752 :Bike!~Glossina@174-25-43-108.ptld.qwest.net PRIVMSG #esoteric :this photograph http://whatsinjohnsfreezer.files.wordpress.com/2013/06/creepy-proboscis-1.jpg < 1374632390 105157 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oh, no, what i said makes perfect sense < 1374632549 326156 :carado!~user4539@2a01:e35:8b61:e430:6ef0:49ff:fe73:1fd0 QUIT :Ping timeout: 245 seconds < 1374632609 705310 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Bike: oh, maybe the hom-set definition would be way simpler here < 1374632617 377404 :Bike!~Glossina@174-25-43-108.ptld.qwest.net PRIVMSG #esoteric :Maybe < 1374632735 526676 :Bike!~Glossina@174-25-43-108.ptld.qwest.net PRIVMSG #esoteric :hm, what's the math channel on freenode and does it suck < 1374632747 226249 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :##math and p. much < 1374632754 550246 :Bike!~Glossina@174-25-43-108.ptld.qwest.net PRIVMSG #esoteric :shit < 1374632785 25637 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :have just joined it < 1374632804 495618 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :you should join too < 1374632834 245547 :Bike!~Glossina@174-25-43-108.ptld.qwest.net PRIVMSG #esoteric :fine < 1374632870 786017 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :have you considered that one-oobjec < 1374632877 67451 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :have you considered that one-object categories are weird < 1374632888 186037 :Bike!~Glossina@174-25-43-108.ptld.qwest.net PRIVMSG #esoteric :aren't monoids one-object categories < 1374632888 559855 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :it's like trying to put together a puzzle where any piece fits any other piece < 1374632893 15795 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :yes, exactly < 1374632906 616220 :Bike!~Glossina@174-25-43-108.ptld.qwest.net PRIVMSG #esoteric :as well as groups and all those other "normal math things" < 1374632944 385886 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :right < 1374632961 522624 :Bike!~Glossina@174-25-43-108.ptld.qwest.net PRIVMSG #esoteric :if history is any indication those things are "pretty weird" < 1374632975 27359 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :Bike: oooh. that article looks interesting < 1374633010 907244 :Bike!~Glossina@174-25-43-108.ptld.qwest.net PRIVMSG #esoteric :" Perf. comparisons with in-order complete binary implicit trees makes me (and caches) cry :'(" was the comment with the link < 1374633017 76002 :Bike!~Glossina@174-25-43-108.ptld.qwest.net PRIVMSG #esoteric :i don't even know what "perf" stands for here man < 1374633043 594226 :tswett!~tswett@ec2-23-23-86-149.compute-1.amazonaws.com PRIVMSG #esoteric :Hum de hum what the hell am I doing de dum. I'm writing this thing that was originally Expr bot a -> Maybe (Expr bot a) but is slowly getting more and more complicated for some reason. < 1374633058 909578 :tswett!~tswett@ec2-23-23-86-149.compute-1.amazonaws.com PRIVMSG #esoteric :Bike: probably "perfluorocarbon". < 1374633072 926147 :Bike!~Glossina@174-25-43-108.ptld.qwest.net PRIVMSG #esoteric :Probably < 1374633218 266219 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :ok so we have a natural isomorphism phi : C(F-,-) ~> D(-,G-) < 1374633227 167787 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :maybe that should be written <~> < 1374633295 316503 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :btw every function is either linear or exponential < 1374633318 368511 :Bike!~Glossina@174-25-43-108.ptld.qwest.net PRIVMSG #esoteric :ashdfas. < 1374633376 916933 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :anyway so both of those functors are what, : D^op x C -> Set? or what < 1374633413 936698 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :that doesn't make sense....help < 1374633447 147010 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Bike: maybe try efnet #math < 1374633453 937243 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :monochrom is in there so how bad can it be < 1374633454 847139 :Bike!~Glossina@174-25-43-108.ptld.qwest.net PRIVMSG #esoteric :eh < 1374633456 897796 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :(#haskell joke) < 1374633468 117172 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :but, really, monochrom is great < 1374633471 726666 :Bike!~Glossina@174-25-43-108.ptld.qwest.net PRIVMSG #esoteric :i was just asking because i was going off topic explaining lambda calculus, and thought i would be better off talking elsewhere < 1374633475 776777 :Bike!~Glossina@174-25-43-108.ptld.qwest.net PRIVMSG #esoteric :but that's over now < 1374633496 556522 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oh no < 1374633505 646591 :Gracenotes!~person@wikipedia/Gracenotes PRIVMSG #esoteric :every channel I'm in is super < 1374633517 47926 :Gracenotes!~person@wikipedia/Gracenotes PRIVMSG #esoteric :necessary and sufficient, surely < 1374633518 736611 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :How might we make in Haskell that it is a type error to use a value if it specifies something that is no longer open or hasn't been created yet? Might existential quantification help? < 1374633534 706811 :Bike!~Glossina@174-25-43-108.ptld.qwest.net PRIVMSG #esoteric :you make a good case, Gracenotes < 1374633641 67202 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :zzo38: Doesn't pigworker have some papers on that kind of thing? < 1374633642 837674 :Gracenotes!~person@wikipedia/Gracenotes PRIVMSG #esoteric :I am practically a lawyer < 1374633646 287052 :mnoqy!~okay@pool-98-108-206-66.snloca.dsl-w.verizon.net QUIT :Quit: hello < 1374633659 697791 :Gracenotes!~person@wikipedia/Gracenotes PRIVMSG #esoteric :IAAL < 1374633660 907356 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :like https://personal.cis.strath.ac.uk/conor.mcbride/Kleisli.pdf < 1374633664 687106 :Bike!~Glossina@174-25-43-108.ptld.qwest.net PRIVMSG #esoteric :wow i said something really dumb didn't i < 1374633670 129894 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :or http://strictlypositive.org/winging-jpgs/ < 1374633670 368314 :Bike!~Glossina@174-25-43-108.ptld.qwest.net PRIVMSG #esoteric ::-( < 1374633672 266824 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :one of those things < 1374633679 177171 :Bike!~Glossina@174-25-43-108.ptld.qwest.net PRIVMSG #esoteric :o well < 1374633683 176960 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Bike: where?? < 1374633687 238090 :Bike!~Glossina@174-25-43-108.ptld.qwest.net PRIVMSG #esoteric :in #math < 1374633688 557674 :Bike!~Glossina@174-25-43-108.ptld.qwest.net PRIVMSG #esoteric :# < 1374633691 517300 :Bike!~Glossina@174-25-43-108.ptld.qwest.net PRIVMSG #esoteric :########## < 1374633692 492516 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oh i don't read that < 1374633699 87972 :Bike!~Glossina@174-25-43-108.ptld.qwest.net PRIVMSG #esoteric :good choice < 1374633712 430162 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :shachaf: I don't know about "pigworker". But I thought of somehow using new type variables for each object but sharing a class and use something which makes it so that it has to match the type variable used somewheres else < 1374633722 657690 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :I don't know exactly how to work such thing, though. < 1374633723 567119 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oh you said x/(1-x) was nearly linear? < 1374633729 848665 :Bike!~Glossina@174-25-43-108.ptld.qwest.net PRIVMSG #esoteric :yeah < 1374633730 707025 :Bike!~Glossina@174-25-43-108.ptld.qwest.net PRIVMSG #esoteric :bad < 1374633737 417659 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :that's ok it p. much is < 1374633739 537395 :Bike!~Glossina@174-25-43-108.ptld.qwest.net PRIVMSG #esoteric :"thanks for checking" < 1374633756 27085 :Bike!~Glossina@174-25-43-108.ptld.qwest.net PRIVMSG #esoteric :it's not < 1374633775 669129 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :no look http://www.wolframalpha.com/input/?i=y%3Dx%2F(1-x) < 1374633782 387208 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :that looks like a line to me < 1374633800 89180 :Bike!~Glossina@174-25-43-108.ptld.qwest.net PRIVMSG #esoteric :you're very mean. < 1374633817 767783 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :sry that was meant to be the opposite of mean < 1374633826 247991 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :not quite sure how < 1374633834 58716 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :maybe agreeing with people is unmean?? < 1374633882 68140 :Gracenotes!~person@wikipedia/Gracenotes PRIVMSG #esoteric :I think that's a very good definition of unmean < 1374633901 698309 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Gracenotes: did you finish that book < 1374633916 289201 :carado!~user4539@2a01:e35:8b61:e430:6ef0:49ff:fe73:1fd0 JOIN :#esoteric < 1374633917 977545 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Bike: it's ok < 1374633919 427802 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :@hug Bike < 1374633919 748502 :kappabot!kappabot@unaffiliated/shachaf PRIVMSG #esoteric :http://hackage.haskell.org/trac/ghc/newticket?type=bug < 1374633932 927541 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :I think you can agree or disagree if you want to it is OK. < 1374633964 647766 :Gracenotes!~person@wikipedia/Gracenotes PRIVMSG #esoteric :which book? probably a bit < 1374633972 879064 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :johnstone < 1374634015 387952 :Gracenotes!~person@wikipedia/Gracenotes PRIVMSG #esoteric :I have a part or two to go < 1374634057 467788 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :ok maybe i gotta understand comma categories < 1374634084 982787 :tswett!~tswett@ec2-23-23-86-149.compute-1.amazonaws.com PRIVMSG #esoteric :
ACTION decides to drop the Maybe.
< 1374634133 197868 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :19:48 What did Riastradh mean yesterday when he said: "Actually, there are a lot of 'factorization challenges' where you can win a lot more than 200,000 USD if you manage to factor a 2048-bit RSA modulus, but you might have to watch out for the cops if you enter and win these challenges." < 1374634138 257538 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :19:48 I don't think the cops will bust you because you solve a challenge, you get cash and you have an opportunity to create a new cryptographic algorithm and get famous. < 1374634149 218061 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :that's mafingre etc. of pastebin.com challenge fame < 1374634150 127779 :Bike!~Glossina@174-25-43-108.ptld.qwest.net PRIVMSG #esoteric :lol. < 1374634155 658254 :Bike!~Glossina@174-25-43-108.ptld.qwest.net PRIVMSG #esoteric :that's kind of adorable. < 1374634177 365200 :tswett!~tswett@ec2-23-23-86-149.compute-1.amazonaws.com PRIVMSG #esoteric :I assume dlackili is the person we're ridiculing, correct? < 1374634202 418044 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :do we have to ridicule people to enjoy what they say < 1374634204 168333 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :imo no < 1374634218 644083 :tswett!~tswett@ec2-23-23-86-149.compute-1.amazonaws.com PRIVMSG #esoteric :I assume dlackili is the person we're enjoying, correct? < 1374634228 257736 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :i ain't enjoying nothing < 1374634245 691482 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :ok Bike tell me about hom functors < 1374634277 758234 :Bike!~Glossina@174-25-43-108.ptld.qwest.net PRIVMSG #esoteric :well, when a daddy kleisi and a daddy kleisi love each other very much < 1374634279 570149 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Bike: btw 1 + x + x² + x³ + ... is the definition of a list < 1374634286 118106 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :and, like, zippers and stuff, man < 1374634306 898223 :Bike!~Glossina@174-25-43-108.ptld.qwest.net PRIVMSG #esoteric :why are you saying this thing that you are saying < 1374634321 48621 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :because you were talking about it in the other channel < 1374634340 238427 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :and it's p. good and also you never learned about "zippers and stuff did yoU"" < 1374634398 446468 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :anyway < 1374634405 669470 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :i think F : D^op -> C^op < 1374634431 589212 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :So C(F-,-) : D^op × C -> Set < 1374634445 848586 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :and D(-,G-) : D^op × C -> Set < 1374634449 358172 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :s/S/s/ < 1374634451 139560 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :er < 1374634457 858480 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :that was correcting the "So" not the "Set" < 1374634472 928267 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :anyway does that sounds right y/n < 1374634509 348349 :lifthrasiir!~lifthrasi@115.68.131.49 JOIN :#esoteric < 1374634705 78955 :Bike_!~Glossina@174-25-43-108.ptld.qwest.net JOIN :#esoteric < 1374634724 251631 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :19:58 -!- dlackili [dcfdcefc@gateway/web/freenode/ip.220.253.206.252] has joined ##math < 1374634727 299316 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :19:58 -!- Bike_ [~Glossina@174-25-43-108.ptld.qwest.net] has joined ##math < 1374634768 429822 :Bike_!~Glossina@174-25-43-108.ptld.qwest.net PRIVMSG #esoteric :he's still on my /ignore probably < 1374634784 959071 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :hasn't talked yet < 1374634858 369132 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Bike_: what about 1 < 1374634859 142934 :Bike!~Glossina@174-25-43-108.ptld.qwest.net QUIT :Disconnected by services < 1374634859 763727 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :checkmate < 1374634862 911685 :Bike_!~Glossina@174-25-43-108.ptld.qwest.net NICK :Bike < 1374634881 879438 :Bike!~Glossina@174-25-43-108.ptld.qwest.net PRIVMSG #esoteric :empty product, as you know < 1374634885 109017 :Bike!~Glossina@174-25-43-108.ptld.qwest.net PRIVMSG #esoteric :why do you say things like this < 1374634918 799095 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :i'm an empty product :'( < 1374634936 859075 :Bike!~Glossina@174-25-43-108.ptld.qwest.net PRIVMSG #esoteric :> foldl * [] < 1374634940 249065 :kappabot!kappabot@unaffiliated/shachaf PRIVMSG #esoteric : Couldn't match expected type `(a0 -> b0 -> a0) -> a0 -> [b0] -> a0' < 1374634940 449469 :kappabot!kappabot@unaffiliated/shachaf PRIVMSG #esoteric : ... < 1374634946 680079 :Bike!~Glossina@174-25-43-108.ptld.qwest.net PRIVMSG #esoteric :w/e < 1374634949 629113 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :> product [] < 1374634953 578285 :kappabot!kappabot@unaffiliated/shachaf PRIVMSG #esoteric : mueval-core: Time limit exceeded < 1374634956 619003 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :> product [] < 1374634960 280315 :kappabot!kappabot@unaffiliated/shachaf PRIVMSG #esoteric : 1 < 1374634963 29201 :Bike!~Glossina@174-25-43-108.ptld.qwest.net PRIVMSG #esoteric :good bot < 1374634975 849792 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :empty product of society < 1374634988 839178 :Bike!~Glossina@174-25-43-108.ptld.qwest.net PRIVMSG #esoteric :you have to provide an identity to folds, huh < 1374635003 979428 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :yes < 1374635007 530106 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :this isn't perl 6 < 1374635022 630291 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :(in perl 6 the fold operator decides whether to do foldr or foldl based on the associativity of the thing you're folding) < 1374635088 309411 :Bike!~Glossina@174-25-43-108.ptld.qwest.net PRIVMSG #esoteric :what does associativity have to do with it < 1374635104 499299 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :associativity/infixity/whatever < 1374635122 369303 :Bike!~Glossina@174-25-43-108.ptld.qwest.net PRIVMSG #esoteric :what < 1374635124 199645 :Bike!~Glossina@174-25-43-108.ptld.qwest.net PRIVMSG #esoteric :oh nevermind < 1374635142 441318 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :as in whether a*b*c means a*(b*c) or (a*b)*c < 1374635151 169722 :Bike!~Glossina@174-25-43-108.ptld.qwest.net PRIVMSG #esoteric :yes < 1374635342 849991 :seraph!~seraph@koln-4db426d8.pool.mediaWays.net JOIN :#esoteric < 1374635788 350945 :seraph!~seraph@koln-4db426d8.pool.mediaWays.net QUIT :Quit: irc2go < 1374636033 255249 :oerjan!oerjan@sprocket.nvg.ntnu.no QUIT :Quit: Gnot < 1374636439 622146 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Bike: why am i so bad at categories hth :'( < 1374636549 918231 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :Can you make a better 8x8 graphic for a German "Ss" ligature? < 1374636568 762937 :tswett!~tswett@ec2-23-23-86-149.compute-1.amazonaws.com PRIVMSG #esoteric :You know, I just realized that whenever you evaluate a Cancel, since the entire expression is subverted, the evaluation order's going to go weird, too. < 1374636589 478067 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :that's, like, how continuations work, man < 1374636602 644724 :tswett!~tswett@ec2-23-23-86-149.compute-1.amazonaws.com PRIVMSG #esoteric :My feeble mind cannot handle continuations. < 1374636667 175248 :Bike!~Glossina@174-25-43-108.ptld.qwest.net PRIVMSG #esoteric :you;re in good company < 1374636887 885931 :tswett!~tswett@ec2-23-23-86-149.compute-1.amazonaws.com PRIVMSG #esoteric :I'm going to use Either instead. < 1374636908 82754 :Bike!~Glossina@174-25-43-108.ptld.qwest.net PRIVMSG #esoteric :shachaf: categories seem hard!!! < 1374636918 829970 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Bike: p. sure they're not < 1374636933 723659 :Bike!~Glossina@174-25-43-108.ptld.qwest.net PRIVMSG #esoteric :well why else would you be so bad at them < 1374636938 212841 :Bike!~Glossina@174-25-43-108.ptld.qwest.net PRIVMSG #esoteric :it's, like, simple deduction, man. < 1374636944 476806 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :maybe i'm bad at easy things :'( < 1374636948 632953 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :like monoids :'( < 1374637052 747856 :tswett!~tswett@ec2-23-23-86-149.compute-1.amazonaws.com PRIVMSG #esoteric :A monoid is kind of like a set equipped with an associative operator with identity. < 1374637085 332933 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :@quote monoid < 1374637085 593399 :kappabot!kappabot@unaffiliated/shachaf PRIVMSG #esoteric :gwern says: [regarding the naming of Monoids] we will call them CuteFluffableThings, since you can put more fluff into them, but no one would remove fluff from a cute thing < 1374637094 793590 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :@quote monoid < 1374637095 53706 :kappabot!kappabot@unaffiliated/shachaf PRIVMSG #esoteric :PhilipWadler says: I'm delighted to learn that "a monad is a monoid in the category of endofunctors"---anyone know where I can find a good tutorial? < 1374637099 594610 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :@quote monoid < 1374637099 853290 :kappabot!kappabot@unaffiliated/shachaf PRIVMSG #esoteric :PhilipWadler says: I'm delighted to learn that "a monad is a monoid in the category of endofunctors"---anyone know where I can find a good tutorial? < 1374637101 543055 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :@quote monoid < 1374637101 803083 :kappabot!kappabot@unaffiliated/shachaf PRIVMSG #esoteric :PhilipWadler says: I'm delighted to learn that "a monad is a monoid in the category of endofunctors"---anyone know where I can find a good tutorial? < 1374637107 163457 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :eff this < 1374637108 604353 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :bad quotes..............................................a < 1374637117 123532 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oh, this is kappabot < 1374637118 424057 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :that's why < 1374637165 999677 :tswett!~tswett@ec2-23-23-86-149.compute-1.amazonaws.com PRIVMSG #esoteric :I'm pretty sure that "monoid in the category of endofunctors" is nothing more than a really terse way of stating the definition of a monad, so there isn't actually any insight there. < 1374637188 813339 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :In #haskell it's mostly a way of being annoying. < 1374637189 464264 :Bike!~Glossina@174-25-43-108.ptld.qwest.net PRIVMSG #esoteric :what are we effing < 1374637191 884030 :Bike!~Glossina@174-25-43-108.ptld.qwest.net PRIVMSG #esoteric :is it quotespam < 1374637196 172939 :tswett!~tswett@ec2-23-23-86-149.compute-1.amazonaws.com PRIVMSG #esoteric :You may as well just say "a monad is a fizheuer zieheuer", where "fizheuer zieheuer" is defined as "monad". < 1374637217 78744 :Bike!~Glossina@174-25-43-108.ptld.qwest.net PRIVMSG #esoteric :hey there's a kmc quote just like that but contextualized differently. < 1374637221 543381 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :fuck this imo < 1374637268 822253 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :kmc: sorry :'( < 1374637286 44922 :tswett!~tswett@ec2-23-23-86-149.compute-1.amazonaws.com PRIVMSG #esoteric :i'm getting a type error help < 1374637378 273898 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :
ACTION goes back to reading book
< 1374637388 275603 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :which book? < 1374637393 335063 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :the one you lent to me < 1374637408 895767 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oh < 1374637428 186680 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :maybe i should make a tree of books < 1374637431 436805 :tswett!~tswett@ec2-23-23-86-149.compute-1.amazonaws.com PRIVMSG #esoteric :Huh. Apparently \(Apply f x) -> (f, x) is a type error. Now that I think of it, that really couldn't possibly not be a type error. < 1374637446 971143 :tswett!~tswett@ec2-23-23-86-149.compute-1.amazonaws.com PRIVMSG #esoteric :It would be an existential type if it were typeable. < 1374637460 883909 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :"if you liked X and didn't like Y, you might like Z" < 1374637479 303985 :Bike!~Glossina@174-25-43-108.ptld.qwest.net PRIVMSG #esoteric :that would be kinda cool. < 1374637497 793643 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :'After you have sampled thousands of uses of the word "Tao", you might try your hand at being clever and framing one single definition to cover this whole multitude of cases. < 1374637500 814411 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :But even if you succeed, how utterly empty your definition will be to those who have not had your concrete experience of actually living through this philosophy!' < 1374637503 735804 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :apropos quote imo < 1374637511 133954 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :shachaf: It's like NETFLIX but for BOOKS! < 1374637536 424061 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :well except it would all be based on my recommendations personally < 1374637539 174703 :Bike!~Glossina@174-25-43-108.ptld.qwest.net PRIVMSG #esoteric :hey amazon is great < 1374637540 433717 :Gracenotes!~person@wikipedia/Gracenotes PRIVMSG #esoteric :r < 1374637547 133834 :Bike!~Glossina@174-25-43-108.ptld.qwest.net PRIVMSG #esoteric :at making me spend money i haven't earned < 1374637548 44623 :Bike!~Glossina@174-25-43-108.ptld.qwest.net PRIVMSG #esoteric ::( < 1374637555 386652 :Gracenotes!~person@wikipedia/Gracenotes PRIVMSG #esoteric :yeah... r. pretty good, huh < 1374637566 495689 :Gracenotes!~person@wikipedia/Gracenotes PRIVMSG #esoteric :Found in an actual dotfile: set visualbell " shut the fuck up < 1374637575 304745 :Gracenotes!~person@wikipedia/Gracenotes PRIVMSG #esoteric :rip in peace vim < 1374637575 824202 :Bike!~Glossina@174-25-43-108.ptld.qwest.net PRIVMSG #esoteric :lol < 1374637824 275991 :carado!~user4539@2a01:e35:8b61:e430:6ef0:49ff:fe73:1fd0 QUIT :Ping timeout: 245 seconds < 1374638080 665006 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :help what is going on in ##crypto < 1374638114 545784 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric : rajdhskdsf: You came in here yesterday, with the same IP under a diff name < 1374638120 506695 :Bike!~Glossina@174-25-43-108.ptld.qwest.net PRIVMSG #esoteric :lol < 1374638138 714614 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :the challenger is challenged < 1374638207 35637 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :a room full of sockpuppet dissociated identities, challenging each other to break weird codes < 1374638209 967664 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :stupid pkd future < 1374638222 654944 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :pkd? < 1374638233 876367 :Bike!~Glossina@174-25-43-108.ptld.qwest.net PRIVMSG #esoteric :philip k dick < 1374638248 135511 :Bike!~Glossina@174-25-43-108.ptld.qwest.net PRIVMSG #esoteric :predicted the internet age, by being high and schizophrenic < 1374638248 787437 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :kmc: what if rajdhskdsf is dlackili's sockpuppet < 1374638265 15056 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :an excuse to give their challenges to someone < 1374638267 746162 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :in-channel < 1374638269 976864 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :what if we are all zzo38's sockpuppet < 1374638280 204573 :tswett!~tswett@ec2-23-23-86-149.compute-1.amazonaws.com PRIVMSG #esoteric :Wooooo < 1374638293 534407 :tswett!~tswett@ec2-23-23-86-149.compute-1.amazonaws.com PRIVMSG #esoteric :I think I've successfully implemented my linear reducer thinger. < 1374638293 734589 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :zzo38: Are you a sockpuppet? < 1374638465 417114 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :##crypto: best channel? < 1374638487 606576 :Bike!~Glossina@174-25-43-108.ptld.qwest.net PRIVMSG #esoteric :"if you can solve this pastebin, you're obviously not a sockpuppet" < 1374638780 818268 :Bike_!~Glossina@67-5-219-218.ptld.qwest.net JOIN :#esoteric < 1374638959 937587 :Bike!~Glossina@174-25-43-108.ptld.qwest.net QUIT :Ping timeout: 246 seconds < 1374638963 966977 :Bike_!~Glossina@67-5-219-218.ptld.qwest.net NICK :Bike < 1374639183 387497 :Bike_!~Glossina@67-5-232-1.ptld.qwest.net JOIN :#esoteric < 1374639201 648736 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Bike_: What's with your ISP? < 1374639226 598383 :Bike_!~Glossina@67-5-232-1.ptld.qwest.net PRIVMSG #esoteric :crappy boonies connection dies every time the phone is picked up, i apologize < 1374639270 177857 :douglass!~thiotimol@home.pointlesstopology.com JOIN :#esoteric < 1374639276 397783 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :maybe you should run your irc client on a server < 1374639277 700019 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :hi douglass < 1374639293 338218 :douglass!~thiotimol@home.pointlesstopology.com PRIVMSG #esoteric :hi < 1374639333 740507 :Bike!~Glossina@67-5-219-218.ptld.qwest.net QUIT :Ping timeout: 248 seconds < 1374639345 422354 :Bike_!~Glossina@67-5-232-1.ptld.qwest.net NICK :Bike < 1374639620 99281 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :Bike: you're on dialup? < 1374639628 939305 :Bike!~Glossina@67-5-232-1.ptld.qwest.net PRIVMSG #esoteric :no, which just makes it surreal. < 1374639634 659562 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :... < 1374639635 650981 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :DSL? < 1374639650 720135 :Bike!~Glossina@67-5-232-1.ptld.qwest.net PRIVMSG #esoteric :proooobably. < 1374639688 439277 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Bike: they have those things that you're supposed to plug into phones when you're using dsl, don't they? do you use those things....... . < 1374639716 389690 :Bike!~Glossina@67-5-232-1.ptld.qwest.net PRIVMSG #esoteric :look i'm not good with computers ok < 1374639717 631753 :Gracenotes!~person@wikipedia/Gracenotes PRIVMSG #esoteric :do you know the horrors of using vim in compatible mode? < 1374639733 879107 :Gracenotes!~person@wikipedia/Gracenotes PRIVMSG #esoteric :I don't know how I could live like that for so long. like, a week. < 1374639876 169296 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :do what shachaf says < 1374639898 649500 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :shachaf: woah running a client ON a server? this is like inception < 1374639920 139423 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :endoclient < 1374639974 60504 :Gracenotes!~person@wikipedia/Gracenotes PRIVMSG #esoteric :REST is full of endoclients < 1374640024 859944 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :21:26 dlackili: dump all you know right here. < 1374640031 669930 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :21:27 dlackili: dump all your knowledge right here. < 1374640045 930003 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :imo this sockpuppet theory seems more and more likely < 1374640097 489835 :Gracenotes!~person@wikipedia/Gracenotes PRIVMSG #esoteric :knowledge dump in constant time. 1. Reflexivity 2. QED < 1374640098 270705 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :even with dlackili: ok. not its official: you know nothing about what you are talking about < 1374640124 970034 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Oh, maybe not. < 1374640129 759843 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :
ACTION wasn't following closely.
< 1374640132 661453 :Gracenotes!~person@wikipedia/Gracenotes PRIVMSG #esoteric :for sure, I am not in any such silly channels having silly conversations < 1374640178 940259 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :So there are two common strategies for making a thing you did seem impressive. One is to say that it was very hard (because doing hard things is impressive), and the other is to say that it was very easy (because if *that* was easy for you, who knows what you could do when you really put your mind to it!). < 1374640401 710951 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :so I think dlackili is trolling the channel and rajdhskdsf is trolling dlackili < 1374640436 72528 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :whom are you trolling < 1374640453 90501 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :ask not for whom the bell trolls < 1374640920 423695 :mnoqy!~okay@pool-98-108-206-66.snloca.dsl-w.verizon.net JOIN :#esoteric < 1374641363 974997 :Gracenotes!~person@wikipedia/Gracenotes PRIVMSG #esoteric :hm... I've forgotten whether I'm in a chroot or not < 1374641387 342550 :Bike!~Glossina@67-5-232-1.ptld.qwest.net PRIVMSG #esoteric :pkd goes a-hacking < 1374641401 123572 :Gracenotes!~person@wikipedia/Gracenotes PRIVMSG #esoteric :will Ctrl+D exit the chroot, or kill my terminal? < 1374641403 713129 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :dispatching rescue team < 1374641433 92638 :Bike!~Glossina@67-5-232-1.ptld.qwest.net PRIVMSG #esoteric :now i want a script called `ubik' that just tells you if you're chrooted < 1374641487 932927 :oklopol!~oklopol@85-76-178-43-nat.elisa-mobile.fi JOIN :#esoteric < 1374641583 872893 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :there's a windows program called redpill.exe that tells you if you're in a VM < 1374641588 153646 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :ubik is a m. better reference though < 1374641604 993361 :Bike!~Glossina@67-5-232-1.ptld.qwest.net PRIVMSG #esoteric :i haven't read the book in forever, what did the spray actually do < 1374641610 703620 :Bike!~Glossina@67-5-232-1.ptld.qwest.net PRIVMSG #esoteric :made stuff rotten or unrotted it, i forget < 1374641634 702981 :douglass!~thiotimol@home.pointlesstopology.com PRIVMSG #esoteric :unrotted it < 1374641668 922986 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :it wasn't always a spray though < 1374641672 733379 :douglass!~thiotimol@home.pointlesstopology.com PRIVMSG #esoteric :it's advertised as a "reality support" < 1374641709 543520 :Bike!~Glossina@67-5-232-1.ptld.qwest.net PRIVMSG #esoteric :so `ubik' ought to like, tell you you're in a chroot, but also make the chroot harder to break out of, or something < 1374641823 544709 :Gracenotes!~person@wikipedia/Gracenotes PRIVMSG #esoteric :so, yes, /etc/debian_chroot. woo. < 1374642256 895391 :copumpkin!~copumpkin@unaffiliated/copumpkin QUIT :Ping timeout: 256 seconds < 1374644114 637628 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :"The typical keyboard layout used in the United Kingdom features separate keys for vertical bar and broken bar; however, typically on Windows PCs the vertical bar key produces a broken-bar symbol." :psyduck: < 1374644209 308042 :Yoel!Yoel@173.41.107.190.dyn.supernet.com.bo JOIN :#esoteric < 1374644237 437563 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :nobody seems to know why the broken bar glyph even exists < 1374644251 8997 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :but it has its own codepoint in Unicode and indeed ISO-8859-1 < 1374644290 140116 :Bike!~Glossina@67-5-232-1.ptld.qwest.net PRIVMSG #esoteric :¦? < 1374644315 499816 :Yoel!Yoel@173.41.107.190.dyn.supernet.com.bo QUIT :Client Quit < 1374644350 427671 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :yes < 1374644379 920892 :Bike!~Glossina@67-5-232-1.ptld.qwest.net PRIVMSG #esoteric :it's so that i can make this face: ¦:| < 1374644400 657992 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :oh < 1374644401 437871 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :kmc: Remember whe | used to be rendered as ¦? < 1374644407 38037 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :kind of < 1374644418 207744 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :good times, man < 1374644429 667117 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :i was pretty young at the time < 1374644480 228360 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :so was i < 1374644489 747579 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :(which makes sense, i suppose) < 1374644496 77510 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :remember when keyboards had open-apple and closed-apple < 1374644501 370353 :Sgeo!~quassel@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :It's still rendered like that on my keyboard < 1374644506 738240 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :and swedish campground symbol < 1374644507 778471 :Sgeo!~quassel@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :What font do keyboards use? < 1374644522 797426 :Bike!~Glossina@67-5-232-1.ptld.qwest.net PRIVMSG #esoteric :Wingdings < 1374644539 198044 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :dongbongs < 1374644905 919609 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :You could use such "redpill.exe" and "ubik" and whatever, improve the VM software so that the program running in VM won't check! < 1374645003 838566 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :hi zzo38 < 1374645053 368637 :Bike!~Glossina@67-5-232-1.ptld.qwest.net PRIVMSG #esoteric :i've been assuming that ¦ is used for something since they gave it its own altgr < 1374645066 859352 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :zzo38: What do you mean? < 1374645125 868882 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :http://www.cs.tut.fi/~jkorpela/latin1/ascii-hist.html < 1374645150 247860 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Bike: ¦ is used by shells to make a pipeline that'll immediately cause a "broken bar" SIGPIPE signal when anything is written to. (It's not terribly useful.) ((This is not terribly true.)) < 1374645156 898764 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :shachaf: Make a VM software so that any program running in the VM won't run differently than one that isn't. < 1374645173 489919 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`quote zzo38 Make < 1374645181 509231 :HackEgo!dlopen@libdl.so PRIVMSG #esoteric :No output. < 1374645185 789392 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`quote zzo38 octopus < 1374645187 354698 :HackEgo!dlopen@libdl.so PRIVMSG #esoteric :No output. < 1374645188 721260 :Bike!~Glossina@67-5-232-1.ptld.qwest.net PRIVMSG #esoteric :«The left and right square brackets [] were proposed for inclusion because of their "high use in ALGOL" (in conjunction with arrays) and for being "useful for human-to-human communication".» i too am useful to human communication < 1374645196 579699 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`quote zzo38 sandwich < 1374645198 267929 :HackEgo!dlopen@libdl.so PRIVMSG #esoteric :No output. < 1374645200 472292 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :help < 1374645202 21240 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :shachaf: Is that the proper syntax for quote don't you have to use a regular expression? < 1374645244 689790 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Oh, I thought it was case-insensitive, but on second thought that's lambdabot. < 1374645246 136516 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`quote Octopus < 1374645247 859697 :HackEgo!dlopen@libdl.so PRIVMSG #esoteric :185) Invent the game called "Sandwich - The Card Game" and "Professional Octopus of the World" (these names are just generated by randomly) \ 214) ais523: Maybe it is better, because I don't think the octopus will live very well in the tree. But the difference is that the Internet is lying and you cannot see such things; you could m < 1374645271 119151 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Wait, 214 has "octopu -- oh. < 1374645278 610787 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :OK, I really got it mixed up with lambdabot. :-( < 1374645287 868640 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`quote zzo38.*Make < 1374645289 479352 :HackEgo!dlopen@libdl.so PRIVMSG #esoteric :182) Maybe they should just get rid of Minecraft. If more people want it someone can make using GNU GPL v3 or later version, with different people, might improve slightly. \ 186) I have plans to make the computer and one day I will do it!! (I have access to barter some people might help with these things) It is many difference from < 1374645303 803763 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Fine. And it's case-sensitive too. < 1374645306 99565 :Bike!~Glossina@67-5-232-1.ptld.qwest.net PRIVMSG #esoteric :«Proposed as "reverse division" operator and for use in two-character sequences for logical operators. » christ, they fucked that one up < 1374645362 563249 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Bike: MATLAB(/Octave) still uses it as a reverse division. < 1374645368 527353 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :octave:2> 2\1 < 1374645368 727772 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :ans = 0.50000 < 1374645396 605751 :Bike!~Glossina@67-5-232-1.ptld.qwest.net PRIVMSG #esoteric :wow. < 1374645407 469753 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Bike: hey you know what's "even cooler than" limits and adjunctions < 1374645413 810113 :Bike!~Glossina@67-5-232-1.ptld.qwest.net PRIVMSG #esoteric :what < 1374645432 9891 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :like, limits are adjoint, or something < 1374645448 872376 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :with the diagonal functor < 1374645457 265203 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :a little hazy on the details and i have no paper :'( < 1374645474 895923 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :anyway this being your area of expertise maybe you can explain it < 1374645478 771261 :augur!~augur@c-71-57-182-133.hsd1.fl.comcast.net JOIN :#esoteric < 1374645488 892932 :Bike!~Glossina@67-5-232-1.ptld.qwest.net PRIVMSG #esoteric :y r u so mean 2 me < 1374645509 462049 :sprocklem_!~sprocklem@S010674440130be65.cg.shawcable.net JOIN :#esoteric < 1374645513 757072 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :"fine don t" < 1374645517 673116 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Bike: (It's a reverse matrix division, so it's more useful in the sense that A\B is the solution to A*X = B; it's also supposed to be computed more efficiently/accurately than if you'd write inv(A)*B.) < 1374645522 803293 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :`quote 186 < 1374645524 430391 :HackEgo!dlopen@libdl.so PRIVMSG #esoteric :186) I have plans to make the computer and one day I will do it!! (I have access to barter some people might help with these things) It is many difference from other computer. < 1374645565 841714 :Bike!~Glossina@67-5-232-1.ptld.qwest.net PRIVMSG #esoteric :wow i can get this paper by just subscribing to Nature Neuroscience for $225 < 1374645569 839480 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :(It also returns the least-squares solution if A is not square.) < 1374645583 455475 :Bike!~Glossina@67-5-232-1.ptld.qwest.net PRIVMSG #esoteric :OR I could buy just the article (AND pdf) for $32!!! < 1374645597 429518 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Bike: what if you sold your soul instead < 1374645606 342822 :Bike!~Glossina@67-5-232-1.ptld.qwest.net PRIVMSG #esoteric :ah, tenure < 1374645606 961024 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :how many papers would that get you < 1374645639 662544 :Bike!~Glossina@67-5-232-1.ptld.qwest.net PRIVMSG #esoteric :ok well the proxy isn't working, fuck. < 1374645707 779954 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric : If D is a diagram, i.e. a functor, D : I -> C, and K is the constant functor K : C -> C^I, then limits are characterized by Nat(KA,D) ~ Hom(A, Lim D) and colimits by Hom(Colim D, B) ~ Nat(D, KB). < 1374645728 449537 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :so K means the diagonal functor, right? i.e. the functor that gives you a constant functor? < 1374645824 221840 :douglass_!~thiotimol@home.pointlesstopology.com JOIN :#esoteric < 1374645868 346599 :augur_!~augur@c-71-57-182-133.hsd1.fl.comcast.net QUIT :Read error: Connection reset by peer < 1374645868 591990 :sprocklem!~sprocklem@S010674440130be65.cg.shawcable.net QUIT :Read error: Connection reset by peer < 1374645869 243192 :douglass!~thiotimol@home.pointlesstopology.com QUIT :Ping timeout: 276 seconds < 1374646091 502712 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Bike: ok false alarm hth < 1374646097 99815 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :i was just being unable to read english < 1374646104 116143 :Bike!~Glossina@67-5-232-1.ptld.qwest.net PRIVMSG #esoteric :good < 1374646309 951751 :nooodl_!~nooodl@91.179.137.83 QUIT :Ping timeout: 246 seconds < 1374646434 598472 :copumpkin!~copumpkin@unaffiliated/copumpkin JOIN :#esoteric < 1374646578 658529 :comex!~comex@ec2-54-225-4-143.compute-1.amazonaws.com PRIVMSG #esoteric :help < 1374646597 484260 :Bike!~Glossina@67-5-232-1.ptld.qwest.net PRIVMSG #esoteric :hi comex < 1374646603 661163 :comex!~comex@ec2-54-225-4-143.compute-1.amazonaws.com PRIVMSG #esoteric :http://research.microsoft.com/en-us/um/people/simonpj/papers/ext-f/axioms-extended.pdf < 1374646606 618720 :comex!~comex@ec2-54-225-4-143.compute-1.amazonaws.com PRIVMSG #esoteric :figure 7 < 1374646611 705037 :comex!~comex@ec2-54-225-4-143.compute-1.amazonaws.com PRIVMSG #esoteric :it says that "Int and C Int have no common reduct." < 1374646629 235425 :comex!~comex@ec2-54-225-4-143.compute-1.amazonaws.com PRIVMSG #esoteric :yet C Int can be reduced to D Int (C Int) which can be reduced to Int < 1374646651 373057 :comex!~comex@ec2-54-225-4-143.compute-1.amazonaws.com PRIVMSG #esoteric :so i don't get it < 1374646783 483075 :copumpkin!~copumpkin@unaffiliated/copumpkin QUIT :Ping timeout: 245 seconds < 1374646825 304141 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I haven't read the paper or anything about this extension, but why can D Int (C Int) be reduced to Int? < 1374646850 101719 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :It's D x x = ..., not D x y. Or did I misunderstand? < 1374646858 773453 :comex!~comex@ec2-54-225-4-143.compute-1.amazonaws.com PRIVMSG #esoteric :aha < 1374646861 805752 :comex!~comex@ec2-54-225-4-143.compute-1.amazonaws.com PRIVMSG #esoteric :i can't read < 1374646880 958007 :comex!~comex@ec2-54-225-4-143.compute-1.amazonaws.com PRIVMSG #esoteric :thanks, duh :p < 1374646883 206271 :copumpkin!~copumpkin@unaffiliated/copumpkin JOIN :#esoteric < 1374646939 203037 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Maybe I should read this paper. < 1374646962 800158 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :But my tab bar is completely full so I'd have to pick a tab to close. < 1374646985 818442 :Bike!~Glossina@67-5-232-1.ptld.qwest.net PRIVMSG #esoteric :tab six < 1374647011 624243 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :OK, I have foo.old.txt and foo.txt both open next to each. That looks like a good candidate. < 1374647022 971497 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :But maybe I had a reason for it? < 1374647024 539594 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :help < 1374647033 614597 :Bike!~Glossina@67-5-232-1.ptld.qwest.net PRIVMSG #esoteric :yeah, metasyntax is bad for filenames < 1374647041 23296 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Maybe I should download papers like Bike rather than keep it all in my browser. < 1374647052 843162 :Bike!~Glossina@67-5-232-1.ptld.qwest.net PRIVMSG #esoteric :wave of the future < 1374647081 733209 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Hmm, .old.txt is much longer, so probably not. < 1374647193 791913 :copumpkin!~copumpkin@unaffiliated/copumpkin QUIT :Ping timeout: 264 seconds < 1374647373 664032 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Bike: hm maybe i was right all along < 1374647766 256806 :douglass_!~thiotimol@home.pointlesstopology.com QUIT :Ping timeout: 264 seconds < 1374647781 318635 :Bike!~Glossina@67-5-232-1.ptld.qwest.net PRIVMSG #esoteric :how right < 1374647799 934479 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :28% < 1374647897 755986 :Bike!~Glossina@67-5-232-1.ptld.qwest.net PRIVMSG #esoteric :that's not very much... < 1374648295 383597 :copumpkin!~copumpkin@unaffiliated/copumpkin JOIN :#esoteric < 1374648398 974633 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :kmc: Hmm, do enum and struct syntax overlap at all? < 1374648766 342516 :tertu!~tertu@65-128-181-81.mpls.qwest.net QUIT :Ping timeout: 268 seconds < 1374648826 624313 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :kmc: http://www.tdp.cat/issues/tdp.a015a09.pdf < 1374649091 28956 :conehead!~conehead@unaffiliated/conehead QUIT :Quit: Computer has gone to sleep. < 1374649171 388925 :copumpkin!~copumpkin@unaffiliated/copumpkin QUIT :Ping timeout: 276 seconds < 1374649214 634831 :Bike!~Glossina@67-5-232-1.ptld.qwest.net PRIVMSG #esoteric :god help me. < 1374649221 380791 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Bike: come on < 1374649224 60005 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :just work in binary < 1374649237 415989 :Bike!~Glossina@67-5-232-1.ptld.qwest.net PRIVMSG #esoteric :trinary 4 life. < 1374649266 385022 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :3 life hth < 1374649288 920666 :copumpkin!~copumpkin@unaffiliated/copumpkin JOIN :#esoteric < 1374649330 8248 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Bike: how many hours of sleep should i get p. night < 1374649340 22855 :Bike!~Glossina@67-5-232-1.ptld.qwest.net PRIVMSG #esoteric :many < 1374649345 262350 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :how < 1374649400 330556 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :is 8 many < 1374649404 245696 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :how about 7 < 1374649409 555699 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :12? < 1374649416 489283 :Bike!~Glossina@67-5-232-1.ptld.qwest.net PRIVMSG #esoteric :7 at least < 1374649424 711202 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :ok and at most how much < 1374649432 133175 :Bike!~Glossina@67-5-232-1.ptld.qwest.net PRIVMSG #esoteric :11 < 1374649437 244978 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :should i fix one of getting-up-time/going-to-sleep-time < 1374649477 190398 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Bike what do those guys/gals that sit and find large numbers do if not arithmetic? < 1374649488 393218 :Bike!~Glossina@67-5-232-1.ptld.qwest.net PRIVMSG #esoteric :uuuugh. < 1374649633 268792 :hogeyui___!~hogeyuiVP@vps.usamimi.biz QUIT :Ping timeout: 248 seconds < 1374649671 901437 :hogeyui___!~hogeyuiVP@vps.usamimi.biz JOIN :#esoteric < 1374649790 800489 :copumpkin!~copumpkin@unaffiliated/copumpkin QUIT :Ping timeout: 240 seconds < 1374649913 627867 :copumpkin!~copumpkin@unaffiliated/copumpkin JOIN :#esoteric < 1374650462 869001 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :ion: Did you figure out callcc<->lem? < 1374650480 791972 :ion!ion@heh.fi PRIVMSG #esoteric :shachaf: Haven't got around to it yet, but i certainly will. < 1374652933 102753 :Bike!~Glossina@67-5-232-1.ptld.qwest.net QUIT :Ping timeout: 256 seconds < 1374653621 871773 :nooodl_!~nooodl@91.179.137.83 JOIN :#esoteric < 1374654296 434113 :nooodl__!~nooodl@91.179.137.83 JOIN :#esoteric < 1374654304 490084 :nooodl__!~nooodl@91.179.137.83 NICK :nooodl < 1374654595 526241 :hogeyui___!~hogeyuiVP@vps.usamimi.biz QUIT :Ping timeout: 240 seconds < 1374654596 977781 :nooodl_!~nooodl@91.179.137.83 QUIT :Ping timeout: 240 seconds < 1374654599 340507 :hogeyui____!~hogeyuiVP@vps.usamimi.biz JOIN :#esoteric < 1374655203 949585 :ion!ion@heh.fi PRIVMSG #esoteric :Heh, i got an OTP that ended 3141592. < 1374655362 414404 :sacje!~sacre@unaffiliated/klet QUIT :Ping timeout: 264 seconds < 1374655763 865111 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Perhaps it's some kind of a pi backdoor. < 1374656095 170668 :Gracenotes!~person@wikipedia/Gracenotes PRIVMSG #esoteric :yeah, no secure generator would generate pi; everyone knows it < 1374656391 555543 :lambdabot!lambdabot@2a01:7e00::f03c:91ff:fedf:9fdd JOIN :#esoteric < 1374656613 845571 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :I used to have a credit card with a PIN code that was printed on the receipts, because it was equal to a substring of the "application ID" that gets printed. < 1374657179 978662 :Gracenotes!~person@wikipedia/Gracenotes PRIVMSG #esoteric :(incidentally, the defect of the Nazi enigma machine that contributed substantially towards automatically breaking it was that it was a letter-wise derangement: corresponding input/output letters never matched) < 1374657232 52195 :Gracenotes!~person@wikipedia/Gracenotes PRIVMSG #esoteric :(so, if your OTP never generates pi, or 111111, you should ask for your money back) < 1374657772 686510 :AnotherTest!~AnotherTe@94-224-28-191.access.telenet.be JOIN :#esoteric < 1374657778 544422 :AnotherTest!~AnotherTe@94-224-28-191.access.telenet.be PRIVMSG #esoteric :Hi < 1374657986 46866 :sprocklem_!~sprocklem@S010674440130be65.cg.shawcable.net QUIT :Remote host closed the connection < 1374658539 267657 :augur!~augur@c-71-57-182-133.hsd1.fl.comcast.net QUIT :Remote host closed the connection < 1374658573 369610 :augur!~augur@c-71-57-182-133.hsd1.fl.comcast.net JOIN :#esoteric < 1374658818 294156 :hogeyui____!~hogeyuiVP@vps.usamimi.biz QUIT :Ping timeout: 264 seconds < 1374659930 833710 :Vorpal!~Vorpal@unaffiliated/vorpal QUIT :Quit: ZNC - http://znc.sourceforge.net < 1374661243 865038 :Taneb!~nathan@host-92-30-203-51.as13285.net JOIN :#esoteric < 1374661274 610793 :carado!~user4539@2a01:e35:8b61:e430:6ef0:49ff:fe73:1fd0 JOIN :#esoteric < 1374662783 659706 :carado!~user4539@2a01:e35:8b61:e430:6ef0:49ff:fe73:1fd0 QUIT :Ping timeout: 264 seconds < 1374662883 564887 :carado!~user4539@2a01:e35:8b61:e430:6ef0:49ff:fe73:1fd0 JOIN :#esoteric < 1374663241 487495 :hogeyui____!~hogeyuiVP@vps.usamimi.biz JOIN :#esoteric < 1374663620 850061 :copumpkin!~copumpkin@unaffiliated/copumpkin QUIT :Remote host closed the connection < 1374663715 453520 :copumpkin!~copumpkin@unaffiliated/copumpkin JOIN :#esoteric < 1374663833 490058 :hogeyui____!~hogeyuiVP@vps.usamimi.biz QUIT :Ping timeout: 245 seconds < 1374664826 493860 :hogeyui____!~hogeyuiVP@vps.usamimi.biz JOIN :#esoteric < 1374666633 896856 :Taneb!~nathan@host-92-30-203-51.as13285.net QUIT :Ping timeout: 264 seconds < 1374666764 75252 :Sgeo!~quassel@ool-ad034ea6.dyn.optonline.net QUIT :Read error: Connection reset by peer < 1374668607 379508 :copumpkin!~copumpkin@unaffiliated/copumpkin QUIT :Ping timeout: 256 seconds < 1374668643 666301 :copumpkin!~copumpkin@unaffiliated/copumpkin JOIN :#esoteric < 1374668676 846060 :Taneb!~nathan@host-92-30-160-144.as13285.net JOIN :#esoteric < 1374668896 26460 :Taneb!~nathan@host-92-30-160-144.as13285.net PRIVMSG #esoteric :I'm re-reading 12House14 of Leaves < 1374670495 827999 :boily!~boily@mtl.savoirfairelinux.net JOIN :#esoteric < 1374670498 531392 :metasepia!~metasepia@2607:fad8:4:6:f2de:f1ff:fe6c:6765 JOIN :#esoteric < 1374671853 877898 :Taneb!~nathan@host-92-30-160-144.as13285.net QUIT :Ping timeout: 264 seconds < 1374671881 288715 :yorick!~yorick@oftn/member/yorick JOIN :#esoteric < 1374672528 319378 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :good cold morning! < 1374672585 345744 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :@seen vorpal < 1374672585 592970 :lambdabot!lambdabot@2a01:7e00::f03c:91ff:fedf:9fdd PRIVMSG #esoteric :V0rp41 < 1374672585 593167 :kappabot!kappabot@unaffiliated/shachaf PRIVMSG #esoteric :Unknown command, try @list < 1374672592 901645 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :... < 1374672644 763771 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :@tell vorpal eeeeh... tbh, no idea. I guess it finally worked? I went on another project, then switched teams. feedback from the client was very sparse. < 1374672645 11505 :lambdabot!lambdabot@2a01:7e00::f03c:91ff:fedf:9fdd PRIVMSG #esoteric :Consider it noted. < 1374672645 254384 :kappabot!kappabot@unaffiliated/shachaf PRIVMSG #esoteric :Consider it noted. < 1374672737 100314 :Taneb!~nathan@host-92-30-148-233.as13285.net JOIN :#esoteric < 1374672751 967008 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :kappabot: @part #esoteric < 1374672752 214775 :kappabot!kappabot@unaffiliated/shachaf PART :#esoteric < 1374672760 83780 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :boily: we have `seen < 1374672765 96216 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :`seen vorpal < 1374672774 913001 :HackEgo!dlopen@libdl.so PRIVMSG #esoteric :2013-07-23 15:34:10: Which is very very strange still < 1374672785 518335 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :ah, not so bad. < 1374672803 157470 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :but as long as he isn't connected, I can't @localtime him. < 1374673034 257573 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Swedish @localtime is Finnish @localtime minus one hour hth < 1374673046 241473 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :`thanks fizzie < 1374673047 454915 :HackEgo!dlopen@libdl.so PRIVMSG #esoteric :Thanks, fizzie. Thizzie. < 1374673062 49564 :Taneb!~nathan@host-92-30-148-233.as13285.net PRIVMSG #esoteric :`thanks Ngevd < 1374673063 293025 :HackEgo!dlopen@libdl.so PRIVMSG #esoteric :Thanks, Ngevd. Thevd. < 1374673075 110246 :Taneb!~nathan@host-92-30-148-233.as13285.net PRIVMSG #esoteric :`thanks cnsnt < 1374673076 328422 :HackEgo!dlopen@libdl.so PRIVMSG #esoteric :Thanks, cnsnt. Tnsnt. < 1374673084 675899 :Taneb!~nathan@host-92-30-148-233.as13285.net PRIVMSG #esoteric :`thanks cnnt < 1374673085 798223 :HackEgo!dlopen@libdl.so PRIVMSG #esoteric :Thanks, cnnt. Tnnt. < 1374673091 409124 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :`thanks ooel < 1374673092 912000 :HackEgo!dlopen@libdl.so PRIVMSG #esoteric :Thanks, ooel. Thooel. < 1374673140 122117 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :`thanks éeeee < 1374673141 293846 :HackEgo!dlopen@libdl.so PRIVMSG #esoteric :Thanks, éeeee. Théeeee. < 1374673153 872316 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :`thanks t́eeee < 1374673155 77326 :HackEgo!dlopen@libdl.so PRIVMSG #esoteric :Thanks, t́eeee. Theeee. < 1374673174 240018 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :`thanks ants < 1374673176 63133 :HackEgo!dlopen@libdl.so PRIVMSG #esoteric :Thanks, ants. Thants. < 1374673176 63320 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :It's "T at start, except if there is a vowel anywhere, then replace all initial non-vowels with Th". < 1374673187 597617 :carado!~user4539@2a01:e35:8b61:e430:6ef0:49ff:fe73:1fd0 QUIT :Ping timeout: 264 seconds < 1374673207 782037 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :(Where "T at start" means "replace first letter with T".) < 1374673241 256028 :Taneb!~nathan@host-92-30-148-233.as13285.net PRIVMSG #esoteric :`thanks 40601 < 1374673242 560412 :HackEgo!dlopen@libdl.so PRIVMSG #esoteric :Thanks, 40601. T0601. < 1374673281 207217 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :`thanks cnsntthnglngw/e < 1374673282 396405 :HackEgo!dlopen@libdl.so PRIVMSG #esoteric :Thanks, cnsntthnglngw/e. The. < 1374673305 110210 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :("Consonant-thing long whatever.") < 1374673675 275347 :oerjan!oerjan@sprocket.nvg.ntnu.no JOIN :#esoteric < 1374673727 499714 :AnotherTest!~AnotherTe@94-224-28-191.access.telenet.be QUIT :Read error: Connection reset by peer < 1374673727 896147 :AnotherTest1!~AnotherTe@94-224-28-191.access.telenet.be JOIN :#esoteric < 1374674661 237604 :carado!~user4539@2a01:e35:8b61:e430:6ef0:49ff:fe73:1fd0 JOIN :#esoteric < 1374674999 304941 :carado!~user4539@2a01:e35:8b61:e430:6ef0:49ff:fe73:1fd0 QUIT :Ping timeout: 245 seconds < 1374675065 882604 :jsvine!~Adium@205.203.128.141 JOIN :#esoteric < 1374675260 242896 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :@ask Gregor Why have the formatted logs suddenly turned black on grey, i find that annoying to read :( < 1374675260 531470 :lambdabot!lambdabot@2a01:7e00::f03c:91ff:fedf:9fdd PRIVMSG #esoteric :Consider it noted. < 1374675747 586182 :carado!~user4539@2a01:e35:8b61:e430:6ef0:49ff:fe73:1fd0 JOIN :#esoteric < 1374675869 553073 :tertu!~tertu@65-128-181-81.mpls.qwest.net JOIN :#esoteric < 1374675884 4758 :Gracenotes!~person@wikipedia/Gracenotes PRIVMSG #esoteric :I decided to dress in more classic silicon valley fashion today < 1374675910 31918 :Gracenotes!~person@wikipedia/Gracenotes PRIVMSG #esoteric :black jeans, long-sleeved striped dress shirt, hoodie < 1374675924 782461 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :Gracenotes: do you wear socks in your sandals? < 1374675934 496418 :Gracenotes!~person@wikipedia/Gracenotes PRIVMSG #esoteric :it's like I'm business casual, but taking it down a notch. yeaaaa < 1374675952 146208 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :
ACTION is wearing two layers of socks in his sandals at the moment
< 1374675966 143573 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :because my feet get cold < 1374675983 148302 :Gracenotes!~person@wikipedia/Gracenotes PRIVMSG #esoteric :boily: no, that's for plebes, for sure < 1374676023 547614 :Gracenotes!~person@wikipedia/Gracenotes PRIVMSG #esoteric :j/k. My outfit is a commentary on the subversion of business norms in a casual innovative environment. < 1374676048 451446 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :the outer layer is knitted wool < 1374676269 122598 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :oerjan: in the winter we have «gougounes en phentex» (handmade knitted synthetic wool slippers, a traditional christmas gift) < 1374676307 544668 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :synthetic? < 1374676333 373655 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i think mine are real wool, this particular pair is definitely handmade < 1374676418 527290 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :most definitely synthetic. Phentex is a brand. < 1374676439 658758 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :oh slippers < 1374676540 351416 :boily!~boily@mtl.savoirfairelinux.net QUIT :Quit: Poulet! < 1374676569 849567 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :chickening out again < 1374676614 833356 :boily!~boily@mtl.savoirfairelinux.net JOIN :#esoteric < 1374676627 268118 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :boily: stop chickening out all the time twh < 1374676761 330857 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric : rajdhskdsf: You came in here yesterday, with the same IP under a diff name <-- getting surreal < 1374676815 436968 :Frooxius_!~Frooxius@cust-101.ktknet.cz JOIN :#esoteric < 1374676816 192362 :Frooxius!~Frooxius@cust-101.ktknet.cz QUIT :Read error: Connection reset by peer < 1374676931 38139 :Frooxius_!~Frooxius@cust-101.ktknet.cz NICK :Frooxius < 1374677203 356307 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :oerjan: I'm still having trouble mixing /quit and /close. < 1374677219 229049 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :OKAY < 1374677230 667074 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :SORRY < 1374677234 255501 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :`? twh < 1374677235 914522 :HackEgo!dlopen@libdl.so PRIVMSG #esoteric :twh would help, but is an hth derivative. hth. twh. hand. < 1374677246 390317 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :oh yeah. I wrote that one. < 1374677257 863490 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :good one imo hth < 1374677814 434907 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :`pastewords < 1374677815 472581 :HackEgo!dlopen@libdl.so PRIVMSG #esoteric :​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: pastewords: not found < 1374677832 626240 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :`pastewisdom < 1374677833 761382 :HackEgo!dlopen@libdl.so PRIVMSG #esoteric :http://codu.org/projects/hackbot/fshg/index.cgi/file/tip/wisdom/ < 1374677902 931222 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`? tdh < 1374677904 600643 :HackEgo!dlopen@libdl.so PRIVMSG #esoteric :tdh? ¯\(°_o)/¯ < 1374677904 869040 :myndzi!myndzi@2600:3c00::f03c:91ff:fedf:3d4e PRIVMSG #esoteric :69          | < 1374677905 126408 :myndzi!myndzi@2600:3c00::f03c:91ff:fedf:3d4e PRIVMSG #esoteric :69        º¯`\o < 1374677915 464337 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oerjan!! < 1374677975 607490 :Taneb!~nathan@host-92-30-148-233.as13285.net QUIT :Quit: Leaving < 1374677978 525626 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :what the fungot is that ascii mutant doing here? < 1374677978 974977 :fungot!fis@eos.zem.fi PRIVMSG #esoteric :boily: almost as fun as it seems that there's a girl who entered college at 16 and haven't been coding other than icfp recently < 1374678006 273276 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :boily: myndzi does not discriminate the handicapped hth < 1374678063 716997 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :
ACTION vaguely remembers "handicapped" is no longer pc, but cannot remember what the pc term is. hm, disabled?
< 1374678087 625689 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :differently abled, I think. < 1374678108 233509 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :are you saying they're _different_? that's insensitive! < 1374678143 428187 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :it could be worse. I could have said “Canadianly abled”. < 1374678228 464423 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :true. < 1374679233 348036 :Vorpal!~Vorpal@unaffiliated/vorpal JOIN :#esoteric < 1374679239 883031 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :08:19 does anyone know how to make a project with a lot of TH build faster? < 1374679256 599955 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oerjan: resisting the urge to say "use less th hth" < 1374679294 716173 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :*use less useless th hth < 1374679331 424842 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :wfm tht < 1374679418 596787 :Gracenotes!~person@wikipedia/Gracenotes PRIVMSG #esoteric :shachaf: so proud of you < 1374679439 159975 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :wait for me, something? < 1374679514 308231 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :works for me < 1374679516 56621 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :that helps that < 1374679558 360285 :quintopia!~quintopia@unaffiliated/quintopia JOIN :#esoteric < 1374679644 26017 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :quintopia: hi! < 1374679655 538016 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :boily: :/ < 1374679665 515887 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric ::/? < 1374679793 831034 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :do you know a way to crack a .odm file without installing overdrive media console? < 1374679808 520624 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :i am on a library computer < 1374679812 741622 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :and can't install things < 1374679844 299991 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :and the library i'm borrowing from doesn't support audio books for android for some reason < 1374680004 621996 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :@seen What is this < 1374680004 856177 :lambdabot!lambdabot@2a01:7e00::f03c:91ff:fedf:9fdd PRIVMSG #esoteric :W|-|at iz0rz 7|-|Is < 1374680012 250860 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :@list seen < 1374680012 481601 :lambdabot!lambdabot@2a01:7e00::f03c:91ff:fedf:9fdd PRIVMSG #esoteric :No module "seen" loaded < 1374680016 781565 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :@seep < 1374680017 22800 :lambdabot!lambdabot@2a01:7e00::f03c:91ff:fedf:9fdd PRIVMSG #esoteric :Maybe you meant: slap leet help < 1374680021 992033 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :@slap me < 1374680022 214992 :lambdabot!lambdabot@2a01:7e00::f03c:91ff:fedf:9fdd PRIVMSG #esoteric :
ACTION smashes a lamp on boily's head
< 1374680030 98079 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :oooh, I like it :D < 1374680068 126166 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :quintopia: sadly, I think you're stuck with the thing, which is very stupid and obnoxious and gets in the way of the Freedom of Audiobooks. < 1374680178 208883 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`thanks mgrvgrvladje < 1374680179 385516 :HackEgo!dlopen@libdl.so PRIVMSG #esoteric :Thanks, mgrvgrvladje. Thadje. < 1374680295 909296 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :boily: do you have any audiobooks < 1374680353 841824 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :quintopia: I had a Tintin album on vinyl once. it's somewhere in my parents' basement. probably. < 1374680953 406774 :douglass_!~thiotimol@home.pointlesstopology.com JOIN :#esoteric < 1374681123 302788 :AnotherTest1!~AnotherTe@94-224-28-191.access.telenet.be QUIT :Quit: Leaving. < 1374681129 183647 :AnotherTest2!~AnotherTe@94-224-28-191.access.telenet.be JOIN :#esoteric < 1374682066 644566 :oerjan!oerjan@sprocket.nvg.ntnu.no QUIT :Quit: leaving < 1374684111 588340 :copumpkin!~copumpkin@unaffiliated/copumpkin QUIT :Ping timeout: 256 seconds < 1374684484 19432 :yorick!~yorick@oftn/member/yorick QUIT :Remote host closed the connection < 1374684966 825240 :Taneb!~nathan@host-92-30-148-233.as13285.net JOIN :#esoteric < 1374685022 559135 :Bike!~Glossina@71-222-53-48.ptld.qwest.net JOIN :#esoteric < 1374685725 61350 :conehead!~conehead@unaffiliated/conehead JOIN :#esoteric < 1374686049 770105 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :shachaf: what do you mean by the syntax overlapping? they use different keywords obviously < 1374686064 49324 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :but you can define an enum variant with named fields, or a tuple-like struct < 1374686172 161984 :tertu!~tertu@65-128-181-81.mpls.qwest.net QUIT :Ping timeout: 240 seconds < 1374686200 893600 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I mean, is there a meaning to e.g. "enum Foo(int, char);" or "enum Foo { x: int, y: char }". < 1374686206 712659 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :With the struct syntax. < 1374686216 403003 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :not sure < 1374686230 252001 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :But maybe that kind of overloading isn't so great. < 1374686255 595537 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :enums, even with a single variant, don't let you write things like x.y (I think?). < 1374686286 263034 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :yeah that would be odd < 1374686346 510497 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Of course, maybe it should be like Haskell. E.g. enum Foo { A { x: int, y: char }, B { x: int, z: bool } } would allow .x but not .y or .z. < 1374686358 988313 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :(Well, in Haskell it's allowed, just a runtime error. :-( ) < 1374686362 105355 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :i don't love that part of Haskell < 1374686391 753645 :Taneb!~nathan@host-92-30-148-233.as13285.net PRIVMSG #esoteric :So it should be like Haskell but better? < 1374686395 49476 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :If you are using the keyword enum instead of struct then I do suppose that would make more sense than enum Foo { x: int, y: char } isn't it? < 1374686440 110918 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :zzo38: Well, the question is how well it'd work to combine enum and struct. < 1374686543 22545 :jsvine!~Adium@205.203.128.141 QUIT :Quit: Leaving. < 1374686605 288808 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :shachaf: Well, in Haskell it works, at least. < 1374686645 248083 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :shachaf: I'm reading the cryptographic Bloom filters paper now < 1374686852 250102 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :whee RSA blind signing < 1374687204 608615 :Gracenotes!~person@wikipedia/Gracenotes PRIVMSG #esoteric :what could go wrong < 1374687254 116392 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :yeah i don't know if there's a "safe" way to do blind signing < 1374687258 727887 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :since you can't use traditional RSA padding < 1374687330 299017 :Gracenotes!~person@wikipedia/Gracenotes PRIVMSG #esoteric :not without introducing a salt manually < 1374687424 758376 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :elaborate? < 1374687451 92347 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :~duck salt < 1374687451 546783 :metasepia!~metasepia@2607:fad8:4:6:f2de:f1ff:fe6c:6765 PRIVMSG #esoteric :A colorless or white crystalline solid, chiefly sodium chloride, used extensively in ground or granulated form as a food seasoning and preservative. < 1374687788 310077 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :Do you know an algorithm to efficiently encode text when there are temporary and permanent shift codes with varying lengths depending on the current state? < 1374687813 19219 :Gracenotes!~person@wikipedia/Gracenotes PRIVMSG #esoteric :kmc: do-your-own-padding, salt chosen by signer < 1374687919 142896 :Gracenotes!~person@wikipedia/Gracenotes PRIVMSG #esoteric :well... if they're signing a hash of the message, just make the hash hard-to-predict < 1374687924 282200 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :zzo38: that sounds vaguely iso 2022... < 1374687978 841325 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :imo fuck iso 2022 < 1374688017 405410 :Gracenotes!~person@wikipedia/Gracenotes PRIVMSG #esoteric :anyway, as long as you never use the 0x00 padding... < 1374688065 521916 :variable!root@freebsd/developer/variable QUIT :Ping timeout: 246 seconds < 1374688094 522203 :Gracenotes!~person@wikipedia/Gracenotes PRIVMSG #esoteric :I will admit my lack of familiarity with blind signing attacks. so I stfu. < 1374688096 937871 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`olist (904) < 1374688098 249100 :HackEgo!dlopen@libdl.so PRIVMSG #esoteric :olist (904): shachaf oerjan Sgeo FireFly < 1374688130 409762 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :`奥list < 1374688131 595641 :HackEgo!dlopen@libdl.so PRIVMSG #esoteric :​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: 奥list: not found < 1374688326 345912 :copumpkin!~copumpkin@unaffiliated/copumpkin JOIN :#esoteric < 1374688520 566046 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :boily: Not really the kind of thing I am doing, though. The shift and shiftlock codes vary (including by their length) depending on the current state, and there is only one current state instead of two. < 1374688678 635622 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :what kind of encoding can be even more nasty than iso 2022? < 1374688900 289062 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :I have made up a three dimensional transition matrix table, from the initial permanent state, final permanent state, and the state which the current character belongs to, into the encoding to use for it; they hav varying lengths without a clear pattern. < 1374688934 616056 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :boily: Aubergine programs that output the correct bytecode sequences < 1374688979 785076 :Bike_!~Glossina@174-25-57-220.ptld.qwest.net JOIN :#esoteric < 1374688982 75196 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :boily: you should make an Aubergine interpreter that outputs the memory cells as colored pixels in a grid. GrApHiCaL aUbErGiNe! < 1374689004 751188 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :boily: It is Z-machine encoding, and it is actually simpler than ISO 2022 (ISO 2022 has a large number of featurse this one doesn't use), although it does have the feature that the encoding for shifts also changes depending on the current state. < 1374689025 796384 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :
ACTION is suddenly struck with abject panic, horror, terror, and grotesque fear
< 1374689088 335792 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :quintopia: the obnoxious capitalization notwithstanding, this is a very interesting idea. < 1374689101 264676 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :zzo38: you are evil. < 1374689115 784635 :Bike!~Glossina@71-222-53-48.ptld.qwest.net QUIT :Ping timeout: 246 seconds < 1374689131 666562 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :boily: I didn't make up this encoding. < 1374689141 670955 :Bike_!~Glossina@174-25-57-220.ptld.qwest.net NICK :Bike < 1374689166 800019 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :
ACTION hides behind his trusty squid
< 1374689167 16247 :nooodl!~nooodl@91.179.137.83 PRIVMSG #esoteric :hmmm i wonder which two #esoteric members share a birthday, if any < 1374689175 803548 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :december 24th? < 1374689193 680043 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :i know someone else with a dec 24 birthday, but he's not here < 1374689206 387359 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :i'm feb 22 < 1374689214 993547 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :my birthday is ""coming up"" < 1374689221 639278 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oops this is like that pop quiz puzzle < 1374689228 578488 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :23. < 1374689229 546484 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :You're a catch 21. < 1374689252 51986 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :when shachaf < 1374689253 242830 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :Why do you call me evil? < 1374689260 315971 :nooodl!~nooodl@91.179.137.83 PRIVMSG #esoteric :i'm january 7 < 1374689269 947204 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :zzo38: i didn't !! < 1374689272 505656 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :zzo38: I thought that you had created that encoding. < 1374689274 565271 :nooodl!~nooodl@91.179.137.83 PRIVMSG #esoteric :zzo38: when's your birthday (for science) < 1374689294 570718 :Gracenotes!~person@wikipedia/Gracenotes PRIVMSG #esoteric :shachaf: what are your birthday plans? < 1374689297 985999 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :nooodl: are you trying to ask Questions to people you too? < 1374689325 421800 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :nooodl: I don't think you should require it. < 1374689326 778705 :nooodl!~nooodl@91.179.137.83 PRIVMSG #esoteric :imo birthdays are less awkward than weight + coordinates!! < 1374689361 164650 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Gracenotes: usually my plans are to pretend it doesn't exist :'( < 1374689374 218847 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :nooodl: humbug. < 1374689408 558504 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :that reminds me, Vorpal: for very scientific purposes, what are your approximate coördinates and body weigh? < 1374689409 595474 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :but maybe i've said too much < 1374689526 752771 :variable!root@freebsd/developer/variable JOIN :#esoteric < 1374689587 224296 :jsvine!~Adium@205.203.128.141 JOIN :#esoteric < 1374689676 703306 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :What purposes do you need their coordinates and weight? < 1374689712 215291 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :body weighẗ < 1374689952 947513 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :zzo38: to compute this Fine Channel's center of mass. < 1374689959 748512 :Gracenotes!~person@wikipedia/Gracenotes PRIVMSG #esoteric :coördinates? Am I doing this right? < 1374689968 32959 :jsvine!~Adium@205.203.128.141 PRIVMSG #esoteric :Hello, hello hexham. I'm continuing to gather thread for a story on esolangs and esolangers. I've had some good email exchanges with esolangers past and present, and looking to learn more about the rest of you. Quick survey if you'd like to help: https://docs.google.com/forms/d/1OvEsdBioOFcXFAiscO34kctUWKs3dWQs5-ZouXdwy9Q/viewform < 1374689978 102240 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :(and as shachaf kindly pointed out, the t is a ta' marbuta.) < 1374690007 463016 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :Gracenotes: ÿou are. < 1374690014 278373 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :jsvine: You might consider adding fields for approximate coördinates and body weigh. < 1374690033 32571 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :jsvine: OK I am filling the form now. < 1374690066 388342 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :
ACTION isn't really an esolanger so wouldn't feel right filling in the survey.
< 1374690089 100920 :jsvine!~Adium@205.203.128.141 PRIVMSG #esoteric :shachaf: fixed < 1374690091 11074 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :
ACTION isn't really an esolanger and also feels guilty about being part of the off-topic-ification of this channel
< 1374690123 228132 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I think "approximate" distributes over "and". < 1374690127 715442 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :But I'm not actually sure. < 1374690135 250322 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :boily: Is the body weigh also approximate? < 1374690159 189621 :jsvine!~Adium@205.203.128.141 PRIVMSG #esoteric :shachaf & kmc: meh, interested to hear from you anyway < 1374690166 897058 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :shachaf: considering the kind of responses and answers I have collated, I don't think it makes any statistically significant difference. < 1374690195 491267 :jsvine!~Adium@205.203.128.141 PRIVMSG #esoteric :shachaf & boily: merged < 1374690267 516438 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :
ACTION can't tell whether "Are you planing to visit New York City any time soon?" is a pun.
< 1374690275 357232 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :PLAAAAANE < 1374690288 797330 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :(What's the type of "shachaf &&& boily"?) < 1374690306 810567 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :kmc: I don't think that is a good way to feel guilty; this channel has a lot of off-topic that is OK, although you should know at least a few things about esolang if you want to discuss on this channel since it is sometime used for explanation of various things not only about esolang. < 1374690323 738309 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :what's the pun shachaf < 1374690331 578848 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :kmc: "planing" < 1374690334 687463 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :heh < 1374690340 477567 :jsvine!~Adium@205.203.128.141 PRIVMSG #esoteric :heh, woops < 1374690342 204030 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :zzo38: I know a lot about "unintentional esolangs" such as return-oriented programming, etc. < 1374690373 934629 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :kmc: return-oriented??? < 1374690395 677976 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :kmc: Yes, good to know that too some people in here would be interested in such things too including myself. What is "return-oriented", though? < 1374690440 204987 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :boily: it's a technique for exploiting programs where you can't directly inject your own code (because the stack is non-executable, say). you build an exploit payload out of fragments of code already existing in the legitimate process < 1374690455 607591 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :http://cseweb.ucsd.edu/~hovav/dist/geometry.pdf‎ < 1374690480 552962 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :jsvine: the form, it is filled. < 1374690486 374821 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :Maybe if an actual esolang can be made which is using mainly that, rather than as a exploiting? < 1374690503 189288 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :any sequence of bytes in executable memory that ends in a RET instruction can be used as a "gadget" < 1374690535 434276 :jsvine!~Adium@205.203.128.141 PRIVMSG #esoteric :boily: the response, it is received < 1374690540 235816 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :you build a bunch of fake stack frames pointing at them, and they return to each other one after another < 1374690556 260201 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :also some other kinds of indirect jumps < 1374690560 319709 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :and on x86 instructions have no alignment requirement so they don't even need to be "intentional" RET instructions, just any byte 0xC3 in exec memory < 1374690572 639119 :nooodl!~nooodl@91.179.137.83 PRIVMSG #esoteric :kmc: holy crap that's art < 1374690589 834122 :olsner!~salparot@c83-252-203-32.bredband.comhem.se PRIVMSG #esoteric :oh, are we discussing ROP as an esolang again? < 1374690663 111005 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :yep < 1374690670 599019 :nooodl!~nooodl@91.179.137.83 PRIVMSG #esoteric :what ARE my favorite esolangs... hmmm < 1374690682 94513 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :it's not just a beautiful hack, it's also the basis of most real world memory corruption exploits these days < 1374690687 229153 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :@arr < 1374690687 429474 :lambdabot!lambdabot@2a01:7e00::f03c:91ff:fedf:9fdd PRIVMSG #esoteric :Yeh scurvy dog... < 1374690711 516103 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :since people are now pretty good at avoiding writeable, executable pages < 1374690741 456226 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :what about self-modifying code? < 1374690818 219820 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :most programs don't have too much of that < 1374690825 794929 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :(although almost every program has a little!) < 1374690829 909277 :Gracenotes!~person@wikipedia/Gracenotes PRIVMSG #esoteric :ROP did have papers on how it was climbing out of the Turing tarip < 1374690839 848727 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :jsvine: I submitted the form. < 1374690842 121153 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :but you can do it by remapping as writeable, then as executable < 1374690851 525120 :Gracenotes!~person@wikipedia/Gracenotes PRIVMSG #esoteric :tarpit < 1374690855 939785 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :and not leaving both perms set at a time when you could be exploited < 1374690910 173997 :Gracenotes!~person@wikipedia/Gracenotes PRIVMSG #esoteric :I suppose you could consider buffer overflows involving pointer-nested struct manipulation itself an esolang < 1374690924 9041 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :mm yes < 1374690951 758589 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :kmc: turns out the ghc executable stack thing was due to people turning it on accidentally or something < 1374690953 80815 :jsvine!~Adium@205.203.128.141 PRIVMSG #esoteric :zzo38: received, thanks < 1374690960 889662 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :also the stuff people do to exploit heap corruption < 1374690983 751041 :Gracenotes!~person@wikipedia/Gracenotes PRIVMSG #esoteric :a lot of exploits are in bootstrapping native code, yes, but they can operate in other ad-hoc computational frameworks first. The key is that those other computational frameworks, despite their limitations, are still basically Turing-complete. < 1374691017 340134 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :http://www.phrack.com/issues.html?issue=57&id=8 the word "epic" gets thrown around a lot these days but I really can't think of any more fitting description for this article & exploit < 1374691021 748565 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :I usually don't bother with trying to prevent these overflows and kind bugs unless the program either is meant to be use with suid or meant to receive untrusted input. < 1374691054 719871 :Bike!~Glossina@174-25-57-220.ptld.qwest.net PRIVMSG #esoteric :hey shachaf, any chance you could compose an epic (just some couplets) about this article < 1374691068 388752 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Bike: outsourced to Gracenotes hth < 1374691098 470540 :Bike!~Glossina@174-25-57-220.ptld.qwest.net PRIVMSG #esoteric :hey Gracenotes, any chance you could compose an epic (just some couplets, heavy on alexandrines though) about this article < 1374691110 71878 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :that would be awesome < 1374691122 318922 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :I do worry about security when applicable. Programs I have written meant to be secure include Internet Quiz Engine and the remote TeX interface; please tell me if you find any security hole. < 1374691185 499309 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :jsvine: Maybe you would gain important insight about the people in #esoteric from reading the channel quotes! < 1374691209 58908 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :Yes, also read the logs. < 1374691228 208180 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :There's only $(wc -l quotes) of them, after all! < 1374691236 800105 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`run wc -l quotes < 1374691238 188490 :HackEgo!dlopen@libdl.so PRIVMSG #esoteric :1074 quotes < 1374691239 319873 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :`qc < 1374691240 690049 :HackEgo!dlopen@libdl.so PRIVMSG #esoteric :1074 quotes < 1374691250 999865 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :I don't think they have any important insights though < 1374691280 859537 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :They keep deleting quotations so there may be more things in the logs, too. < 1374691295 319554 :mnoqy!~okay@pool-98-108-206-66.snloca.dsl-w.verizon.net PRIVMSG #esoteric :elliott: counterpoint: `pastequotes zzo38 < 1374691309 859086 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`pastequotes zzo38 < 1374691315 461117 :HackEgo!dlopen@libdl.so PRIVMSG #esoteric :http://codu.org/projects/hackbot/fshg/index.cgi/raw-file/tip/paste/paste.29785 < 1374691337 499535 :nooodl!~nooodl@91.179.137.83 PRIVMSG #esoteric :jsvine: submitted! the "what's your favorite esolangs" question reminded me of this thing: http://kevan.org/rubicon/ < 1374691349 841461 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :You can also look at my Dungeons&Dragons game if you think it leads to any insights or just entertainment or whatever you think it is < 1374691350 229456 :nooodl!~nooodl@91.179.137.83 PRIVMSG #esoteric :it's a programming puzzle game inspired by an esolang by cpressey < 1374691404 499779 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :nooodl: I wanted to make up a card game based on INTERCAL somehow... < 1374691422 277953 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Oh yes, consider also reading the logs, for insight. There's only three million or so lines in my (slightly incomplete) copy. < 1374691456 33738 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`quote Invent < 1374691457 569567 :HackEgo!dlopen@libdl.so PRIVMSG #esoteric :12) First, invent the direct mind-computer interface. Second, you know the rest. \ 13) IN AN ALTERNATE UNIVERSE: First, invent the direct mind-computer interface. Second, learn the rest with your NEW MIND-COMPUTER INTERFACE. \ 81) (still, whatever possessed anyone to invent the N-Gage?) \ 124) c < 1374691466 559263 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :fizzie: but no lines of insight. < 1374691489 119922 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :imo squareloi < 1374691508 90089 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :mnoqy: how do you feel about the lack of a super mega update yesterday < 1374691517 570157 :mnoqy!~okay@pool-98-108-206-66.snloca.dsl-w.verizon.net PRIVMSG #esoteric :im deeply upset < 1374691529 567895 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :do you feel....... 4angry < 1374691535 330926 :mnoqy!~okay@pool-98-108-206-66.snloca.dsl-w.verizon.net PRIVMSG #esoteric :no not quite < 1374691538 496563 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oh < 1374691554 880159 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :how about 3angry < 1374691575 502742 :mnoqy!~okay@pool-98-108-206-66.snloca.dsl-w.verizon.net PRIVMSG #esoteric :nah < 1374691582 805388 :olsner!~salparot@c83-252-203-32.bredband.comhem.se PRIVMSG #esoteric :is it a bold yellow angry? < 1374691596 563204 :jsvine!~Adium@205.203.128.141 PRIVMSG #esoteric :nooodl: thanks and thanks — I hadn't seen that before! < 1374691603 661260 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :elliott: select count(*) from event where target = 2 and type = 'msg' and body ilike '%insight%' => 266 so there < 1374691635 694989 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :I have once made up a computer game based on BackFlip esolang; the grid is hidden but you can choose which edge to enter, and then it updates the grid and tells you where it exits from as well as the output of the program, and you have to figure out where the pieces are. < 1374691670 626092 :jsvine!~Adium@205.203.128.141 PRIVMSG #esoteric :zzo38: In doing some of this research, I read the original INTERCAL paper for the first time. Pretty great. < 1374691709 726404 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :(You don't have to specify the direction of a mirror or arrow, although you do have to specify it is a mirror, arrow, empty, or output, and if it is output then you do have to specify its value.) < 1374691727 719175 :AnotherTest2!~AnotherTe@94-224-28-191.access.telenet.be QUIT :Ping timeout: 256 seconds < 1374691885 483498 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :fizzie: Yes I suppose a SQL database would be a good way to search it, although I might use a different format, so the target is '#esoteric' and the type is 'PRIVMSG' < 1374691951 279284 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :I have written a extension library for some statistical functions in SQL, since otherwise SQL is already pretty good for some kind of statistics. I have also written a extension library which defines a virtual table containing all 64-bit integers; this table can be used like a FOR-loop. < 1374692052 461865 :AnotherTest1!~AnotherTe@94-224-28-191.access.telenet.be JOIN :#esoteric < 1374692204 822770 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :jsvine: I like that, as well as the stuff written later about INTERCAL, such as "P.D.Q. Bach is the INTERCAL of baroque music" < 1374692404 532078 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :A lot of things are Turing-complete, even Wang tiles, sequent calculus, Wang B machine, Magic: the Gathering cards, Minesweeper, ... < 1374692417 206424 :Gracenotes!~person@wikipedia/Gracenotes QUIT :Ping timeout: 248 seconds < 1374692432 529598 :Gracenotes!~person@192.241.203.42 JOIN :#esoteric < 1374692457 172663 :Taneb!~nathan@host-92-30-148-233.as13285.net PRIVMSG #esoteric :Minesweeper is turing-complete? < 1374692535 43173 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :I should sell tees with “This T-Shirt is Turing Complete”. < 1374692634 309069 :Bike!~Glossina@174-25-57-220.ptld.qwest.net PRIVMSG #esoteric :i'd mock 'em < 1374692665 635025 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :I'd slap you with a tunafish. < 1374692699 829711 :Bike!~Glossina@174-25-57-220.ptld.qwest.net PRIVMSG #esoteric ::( < 1374692745 793557 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :I have made a Turing machine sequent calculus consisting of four rules. < 1374692788 633846 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :delicious, fresh tunafish... < 1374692792 953183 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :
ACTION drools...
< 1374692813 176953 :Bike!~Glossina@174-25-57-220.ptld.qwest.net PRIVMSG #esoteric :back in my day we just had tapes and greek letters and that was enough turing completeness for us, but these days everybody wants to be turing complete! oh this shirt is complete. oh this puzzle is complete. oh sokoban is in PSPACE. enough i say!! < 1374692880 224456 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :Not all of them are even intended to be Turing-complete, though. < 1374693304 428143 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Maybe we should put jsvine's survey in the topic. < 1374693307 567426 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Easy to miss otherwise. < 1374693327 160161 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :I suppose you can if you want to < 1374693340 272435 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :But don't make it too longer otherwise it won't fit < 1374693371 952790 :jsvine!~Adium@205.203.128.141 PRIVMSG #esoteric :shachaf: hey, thanks, that'd be great < 1374693378 421978 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :who is mr. burbujas? < 1374693388 84307 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :I don't know. < 1374693428 601617 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :jsvine: Some things I didn't mention but I don't know if you want to know these things about various people in here, or would be interested in it at all < 1374693472 404432 :douglass_!~thiotimol@home.pointlesstopology.com PRIVMSG #esoteric :http://www.flickr.com/photos/pickup_stix/6010986771/ < 1374693472 802190 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :boily: http://blogs.sfweekly.com/thesnitch/assets_c/2009/08/rsz_1intact-thumb-500x374.jpg http://www.flickr.com/photos/kaseysmith/7218024116/sizes/l/ < 1374693475 954753 :oklopol!~oklopol@85-76-178-43-nat.elisa-mobile.fi QUIT :Ping timeout: 246 seconds < 1374693481 748961 :jsvine!~Adium@205.203.128.141 PRIVMSG #esoteric :zzo38: always interested to know things about various people < 1374693492 715887 :Bike!~Glossina@174-25-57-220.ptld.qwest.net PRIVMSG #esoteric :hm, we can take underhanded out now, can't we? < 1374693504 293366 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :is it over < 1374693510 619755 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :Does it help to know that some people in here also program Haskell (including myself)? < 1374693519 651910 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :this is most disturbing. < 1374693522 318533 :Bike!~Glossina@174-25-57-220.ptld.qwest.net PRIVMSG #esoteric :well you can't submit any more. < 1374693525 953146 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :OK, someone else do the topic thing. < 1374693563 790781 :Bike!~Glossina@174-25-57-220.ptld.qwest.net TOPIC #esoteric :jsvine is doing an esolang survey!: https://docs.google.com/forms/d/1OvEsdBioOFcXFAiscO34kctUWKs3dWQs5-ZouXdwy9Q/viewform | logs: http://codu.org/logs/_esoteric and http://tunes.org/~nef/logs/esoteric/ < 1374693568 715663 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :rip burbujas < 1374693592 877301 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :Also, that I play monster character in Dungeons&Dragons game and record it using TeX with a set of macros I wrote for that purpose? Maybe that tells you what kind of people I am, but confusing since that is just one thing not everything. You could learn other people too. < 1374693593 459675 :Bike!~Glossina@174-25-57-220.ptld.qwest.net PRIVMSG #esoteric :rip. < 1374693604 72027 :jsvine!~Adium@205.203.128.141 PRIVMSG #esoteric :zzo38: It could be. Why do you think? I'm a few chapters into Learn You a Haskell for Great Good, so I'm interested, independent of this research, but don't see the immediate connection. < 1374693610 658509 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :The IRC logs has a lot of it but they are really long anyways; you could try looking at some things at random. < 1374693634 432021 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :jsvine: The connection is just that some people in here have interest in Haskell programming too. < 1374693639 925783 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :And mathematics. < 1374693655 836764 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :Haskell is a strange language, it's not "esoteric" in the strict sense, but might appeal for similar reasons < 1374693685 37488 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :it might appeal to people who like hugs < 1374693709 115483 :jsvine!~Adium@205.203.128.141 PRIVMSG #esoteric :zzo38 & kmc: Gotcha. It seems to have a similar brain-stretching appeal. What other mainstream languages do you think particularly appeal to esolangers? < 1374693735 538610 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :jsvine: speaking only for myself: Haskell, C++, Rust are all very interesting and ususual < 1374693755 45310 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :probably Prolog and other logic languages < 1374693762 566515 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :dependently typed languages such as Coq, Agda, Idris < 1374693788 426182 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :TeX is a bit unusual when doing things other than typesetting < 1374693791 531556 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :maybe Scheme; the language itself is very simple, but it provides a nice setting for exploring a lot of mind-bending FP concepts < 1374693801 491361 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :`addquote TeX is a bit unusual when doing things other than typesetting < 1374693805 620845 :HackEgo!dlopen@libdl.so PRIVMSG #esoteric :1075) TeX is a bit unusual when doing things other than typesetting < 1374693812 856194 :Bike!~Glossina@174-25-57-220.ptld.qwest.net PRIVMSG #esoteric :several people here do assembly and machine code and such, i think, more than i'd expect from randomness < 1374693839 529820 :Bike!~Glossina@174-25-57-220.ptld.qwest.net PRIVMSG #esoteric :or are familiar with that level of things anyway < 1374693844 194120 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :Yes, I have written a few programs for the Famicom < 1374693846 76373 :Bike!~Glossina@174-25-57-220.ptld.qwest.net PRIVMSG #esoteric :maybe just from looking at compiler output, i dunno. < 1374693862 999505 :Bike!~Glossina@174-25-57-220.ptld.qwest.net PRIVMSG #esoteric :compilers being, of course, very PLT-relevant programs < 1374693863 208122 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :(using assembly language) < 1374694077 758178 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :http://software.intel.com/en-us/blogs/2013/07/10/avx-512-instructions < 1374694080 185712 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :Control structures in non-procedural SQL is also unusual < 1374694128 769322 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :i bet Fiora has already been using it for years < 1374694191 290157 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :too many goddamn bits < 1374694193 804389 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :"Intel AVX instructions use the VEX prefix while Intel AVX-512 instructions use the EVEX prefix which is one byte longer." ooooh. < 1374694198 342783 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :how long before I can fit an entire page in a CPU register < 1374694211 7794 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :only 3 more steps < 1374694214 293407 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :I think this means they might be adding the Knights' Corner features (like swizzling and stuff) to normal AVX :o < 1374694239 944724 :olsner!~salparot@c83-252-203-32.bredband.comhem.se PRIVMSG #esoteric :kmc: 6 more steps? the 512 is (I assume) bits... < 1374694243 135526 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :kmc: 512 bits is not quite three steps away from 4096 bytes. < 1374694245 288987 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Aww, too slow. < 1374694254 406105 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :I suppose it depends on the size of a step, though. < 1374694254 609370 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :but geez, that's a lot of prefix bytes < 1374694314 276406 :Bike!~Glossina@174-25-57-220.ptld.qwest.net PRIVMSG #esoteric :eventually we just abandon main memory. a golden age < 1374694331 447514 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :gosh this is cool though < 1374694355 249397 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :oh geeez. 32 registers O_O < 1374694379 727612 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :
ACTION bakes intel cookies
< 1374694414 890931 :olsner!~salparot@c83-252-203-32.bredband.comhem.se PRIVMSG #esoteric :ah, so the next step would probably be enough to load a whole page into registers, albeit not *one* register < 1374694426 926059 :olsner!~salparot@c83-252-203-32.bredband.comhem.se PRIVMSG #esoteric :("the 32 ZMM registers represent 2K of register space!") < 1374694448 402489 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :What *I'm* waiting for is seeing what the next letter is going to be. < 1374694459 335617 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :They've gone from xmm to ymm to zmm; now it gets interesting. < 1374694459 729822 :olsner!~salparot@c83-252-203-32.bredband.comhem.se PRIVMSG #esoteric :Å, obviously < 1374694546 974755 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :olsner: Well, I don't know. Perhaps the Danish conspiracy manages an æmm. < 1374694560 906872 :olsner!~salparot@c83-252-203-32.bredband.comhem.se PRIVMSG #esoteric :or perhaps something like ezmm or xzmm for extended zmm < 1374694674 172999 :olsner!~salparot@c83-252-203-32.bredband.comhem.se PRIVMSG #esoteric :or they might do something boring like operating pairwise on zmm0+1 (and perhaps add another 32 registers at the end) < 1374694682 408343 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :jsvine: Do you know anything about some of the other things I have mentioned (TeX, Dungeons&Dragons game, etc)? Do you know a lot of things other people are mentioning? < 1374694696 382664 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :it would be really convenient if they did pairing like um... I think NEON does < 1374694703 98113 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :so like, ymm0+ymm1 == zmm0 < 1374694712 478023 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :that makes it super easy to address the top and bottom halves of a register < 1374694718 706115 :Bike!~Glossina@174-25-57-220.ptld.qwest.net QUIT :Ping timeout: 240 seconds < 1374694725 744364 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :right now you have to do, like, a vextract to get the top half < 1374694736 933519 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :Fiora: My opinion is that they are getting way too complicated? < 1374694754 168099 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :so like vextracti128 xmm1, ymm0, 1 paddw xmm0, xmm1 movhlps xmm1, xmm0 paddw xmm0, xmm1 etc to do a horizontal sum < 1374694771 835259 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Fiora: Would you then have 32 zmm registers, 64 ymm registers and 128 xmm registers? < 1374694778 327333 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :I guess so? < 1374694801 342561 :Bike!~Glossina@174-25-57-220.ptld.qwest.net JOIN :#esoteric < 1374694804 391278 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :I guess if that was too hard on the instruction set you could, like, have only the lowest ones addressable as both? < 1374694811 387811 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Well, xmm registers are already specified to be the bottom half of ymm registers, aren't they? < 1374694823 342331 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :yeah, but like, xmm1 is the bottom half of ymm1, not the top half of ymm0 < 1374694851 531842 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :I guess there must be some reason they didn't do it that way... < 1374694852 801976 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Right. You're just proposing adding N new xmm registers to address the top halves? < 1374694876 791821 :Bike!~Glossina@174-25-57-220.ptld.qwest.net PRIVMSG #esoteric :"Yesterday was my 21st birthday; at that age Newton and Pascal had already acquired many claims to immortality." -- fourier <-- suddenly i feel a bit better. < 1374694877 78285 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :A lot of modern computer designs are way too complicated; sometimes I have designed (or used) simpler things, such as Digi-RGB for a video cable. < 1374694881 347874 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :Umm.... I guess you could? you cuold also, like, have ymm0-7 map to xmm0-15? < 1374694902 618533 :mnoqy!~okay@pool-98-108-206-66.snloca.dsl-w.verizon.net QUIT :Quit: hello < 1374694946 73918 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Oh, AVX doubled the number of xmm registers anyway? < 1374694955 907717 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :no no, it didn't < 1374694964 239354 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :the doubling is with AVX-512, I think, that's a new thing < 1374694991 789428 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :Bike: wooow < 1374694994 740129 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :geez < 1374695006 389271 :jsvine!~Adium@205.203.128.141 PRIVMSG #esoteric :zzo38: In summer camp, ages ago, I used to play D&D, but barely remember a bit of it. And I've heard of TeX but never used it. A lot of the other topics (XMM register, return oriented programming, etc.) I've never heard of before, and occasionally look up on the Google. < 1374695011 911639 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :x86-64 did double the number of xmm's from the original 8, though. < 1374695030 145940 :Gracenotes!~person@192.241.203.42 QUIT :Changing host < 1374695030 353473 :Gracenotes!~person@wikipedia/Gracenotes JOIN :#esoteric < 1374695038 878878 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :fizzie: Right, I just figured that out. < 1374695039 730843 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :I wonder if AVX-512 will let us use all 32 of them on 32-bit or something? < 1374695069 607645 :Bike!~Glossina@174-25-57-220.ptld.qwest.net PRIVMSG #esoteric :apparently fourier was more known as an egyptologist than anything while he was alive. < 1374695073 347915 :Bike!~Glossina@174-25-57-220.ptld.qwest.net PRIVMSG #esoteric :so... i guess that went well. < 1374695095 105065 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :jsvine: Well, if you are interested, here it is: http://zzo38computer.org/dnd/recording/level20.tex and dungeonsrecording.tex < 1374695147 889901 :Bike!~Glossina@174-25-57-220.ptld.qwest.net PRIVMSG #esoteric :published his first original result in 1798, he was... 30 < 1374695177 749686 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Fiora: Can you even run 32-bit stuff on one of those Xeon Phi things? < 1374695195 146125 :olsner!~salparot@c83-252-203-32.bredband.comhem.se PRIVMSG #esoteric :Fiora: probably not? 32-bit is just left in for booting 64-bit :) < 1374695201 303615 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Fiora: It sounds like a thing they wouldn't bother have included when it was just a coprocessor. < 1374695209 809351 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :(My character is Iuckqlwviv Kjugobe) < 1374695216 588319 :zzo38!~zzo38@24-207-49-17.eastlink.ca QUIT :Remote host closed the connection < 1374695238 248939 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :olsner: Xeon Phi (with AVX-512) was previously just a PCIe coprocessor card, it doesn't even need to boot anything. < 1374695240 653702 :Bike!~Glossina@174-25-57-220.ptld.qwest.net PRIVMSG #esoteric :32 bit is just for booting 64 bit, as 16 bit is for booting 32 bit, 4 bit is for booting 8 bit, etc < 1374695244 958309 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :fizzie: I'm guessing AVX-512 will be on upcoming regular intel chips, though? < 1374695254 778442 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :or will it be phi-only...? < 1374695262 858326 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :I mean, I guess it'd be harder for them to drop support on regular ones... < 1374695287 298369 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :oh, you're right... it doesn't say anything about their regular chips < 1374695300 338990 :comex!~comex@ec2-54-225-4-143.compute-1.amazonaws.com PRIVMSG #esoteric :does AMD do any of this stuff yet? < 1374695301 269657 :Frooxius!~Frooxius@cust-101.ktknet.cz QUIT :Quit: ChatZilla 0.9.90-rdmsoft [XULRunner 1.9.0.17/2009122204] < 1374695301 469795 :olsner!~salparot@c83-252-203-32.bredband.comhem.se PRIVMSG #esoteric :fizzie: it does boot something, but I think they've removed most of the legacy crud < 1374695332 888417 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :I think AMD still has 128-bit execution units... but I'm not totally sure.. < 1374695333 730566 :olsner!~salparot@c83-252-203-32.bredband.comhem.se PRIVMSG #esoteric :from what I read, there was some kind of "firmware" from intel, but it could also boot a linux kernel < 1374695349 729465 :Frooxius!~Frooxius@cust-101.ktknet.cz JOIN :#esoteric < 1374695352 959315 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Fiora: It did say something about "some future Xeon processors scheduled to be introduced after Knights Landing". < 1374695354 148437 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :Bike: whoa, fourier is old. < 1374695360 59956 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :fizzie: nice~ < 1374695379 609031 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :oh damn I fail at bits vs bytes < 1374695380 760395 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :so sad < 1374695404 10412 :olsner!~salparot@c83-252-203-32.bredband.comhem.se PRIVMSG #esoteric :give it time kmc, you'll learn to computer some day < 1374695429 471612 :Taneb!~nathan@host-92-30-148-233.as13285.net PRIVMSG #esoteric :I won't < 1374695431 648901 :Bike!~Glossina@174-25-57-220.ptld.qwest.net PRIVMSG #esoteric :elliott: ancient < 1374695544 103506 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :fizzie: I guess if sandy bridge was AVX-256 maybe skylake will be AVX-512... < 1374695561 738292 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Fiora: The AVX-512 chapter of the Extensions Programming Reference contains a line stating "in 64-bit mode, 32 vector registers can be encoded using EVEX prefix", which kinda-sorta sounds like you could do *something* in not-64-bit mode too, but it doesn't seem to exactly say that either. < 1374695574 260494 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :huh < 1374695590 718883 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :Maybe it'd be 16 registers in 32-bit mode? XD < 1374695593 2984 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :I guess maybe it's just saying that the EVEX prefix is only recognized in 64-bit mode. < 1374695593 769957 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :since it's half! < 1374695595 778586 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :ahhh < 1374695602 619331 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :wouldn't that mean that you can't even use AVX-512 in 32-bit mode? < 1374695603 151489 :olsner!~salparot@c83-252-203-32.bredband.comhem.se PRIVMSG #esoteric :in 32-bit mode, 32 vector registers can be encoded using a switch to long mode < 1374695627 660141 :Bike!~Glossina@174-25-57-220.ptld.qwest.net PRIVMSG #esoteric :"Fourier was in his mid-fifties when he finally published The Analytical Theory of Heat." < 1374695633 633751 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Fiora: That's somewhat what it sounds like. < 1374695699 443652 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Fiora: Also, EVEX has some sort of conditional SIMD stuff, apparently. < 1374695711 613027 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :yeah, and they mentioned like, mask registers? < 1374695720 398670 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Yes. < 1374695721 559836 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :I remember glancing at the Phi and it had a thing kind of like that < 1374695727 917258 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :It sounds a lot like the FirePath stuff. < 1374695729 618906 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :so this kind of looks like them stuffing it back into regular AVX? < 1374695731 341040 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :FirePath? < 1374695771 891605 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Fiora: It's a kind of an ARM offspring; there's a small example at http://everything2.com/title/FirePath -- there isn't all that much about it anywhere. < 1374695786 16925 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :I think I mentioned this before? But maybe it was to someone else. < 1374695786 300574 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`delquote 666 < 1374695789 638961 :HackEgo!dlopen@libdl.so PRIVMSG #esoteric :​*poof* When you die in Canada, you die in real life. < 1374695823 369583 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :that's... interesting O_O < 1374695834 580409 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :I wonder how shuffles would work in something like that < 1374695844 89102 :Bike!~Glossina@174-25-57-220.ptld.qwest.net PRIVMSG #esoteric :clearly i was on the mark about asm here >_> < 1374695851 696084 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :but, but, that was an important part of the Canadian Lore! < 1374695851 960041 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :on the mark...? < 1374695855 208563 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :`quote Canada < 1374695856 399150 :HackEgo!dlopen@libdl.so PRIVMSG #esoteric :367) as i was filled with zzo38 mystery at the moment i saw quintopia: I am at Canada. \ 995) metar lead to canada, more metar and cows < 1374695902 519764 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :`revert < 1374695905 650004 :HackEgo!dlopen@libdl.so PRIVMSG #esoteric :Done. < 1374695908 309213 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :it's a zzo quote and it's on quote number 666, what's more to like < 1374695912 410034 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :also did delquote get broken? < 1374695915 731370 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :oh it was just mosh... < 1374695920 870499 :Bike!~Glossina@174-25-57-220.ptld.qwest.net PRIVMSG #esoteric :Fiora: jsvine asked what languages people use and i said asm/machine code stuff. < 1374695928 515674 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :I wonder why I get all these weird display issues with mosh < 1374695934 619104 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :it's not a zzo quote, it's an xkcd quote or something < 1374695936 786294 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :The eight opmask registers (k0 .. k7) of AVX-512 sound a lot like FirePath's "predicate registers". < 1374695940 736964 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :Bike: ohhhhh! < 1374695944 478348 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Except bigger, since it's a wider SIMD. < 1374695944 690300 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :it says right there! < 1374695947 477722 :Bike!~Glossina@174-25-57-220.ptld.qwest.net PRIVMSG #esoteric :people here use* < 1374695951 199000 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :it doesn't belong in the database < 1374695975 89967 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :fizzie: how big are they, like, 32 bits? < 1374695991 309579 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :and I guess each bit would affect 32 bit chunks of the operation < 1374696160 293228 :olsner!~salparot@c83-252-203-32.bredband.comhem.se PRIVMSG #esoteric :apparently, in 32-bit mode, EVEX only gives you 8 vector registers < 1374696163 861069 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :`quote 999 < 1374696165 472028 :HackEgo!dlopen@libdl.so PRIVMSG #esoteric :999) It's like narnia only with dicks < 1374696174 570065 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :I guess that's consistent at least < 1374696182 465473 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :`quote 888 < 1374696183 995494 :HackEgo!dlopen@libdl.so PRIVMSG #esoteric :888) GreyKnight: for instance, you can form a poset category from a bunch of tiles oh, that's why somebody was conflating category theory with bathroom interior design the other day :-D < 1374696225 582372 :Bike!~Glossina@174-25-57-220.ptld.qwest.net PRIVMSG #esoteric :bad quotes, imo. < 1374696275 659535 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :`quote 777 < 1374696277 414125 :HackEgo!dlopen@libdl.so PRIVMSG #esoteric :777) Gregor: hey no fair doing ungoogleable citations < 1374696289 829075 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Fiora: The AVX-512 opmask registers? Apparently those are 64 bits, though I don't quite know why, since they only deal with 32-bit or 64-bit vector elements, and even 512/32 is just 16. (Room for extensions?) < 1374696292 330808 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :seems like theres a Repdigit Quote Curse. < 1374696300 41111 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :s/es/e's/ < 1374696325 882484 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :fizzie: the opmask registers can't be used for 8-bit and 16-bit ops? < 1374696353 851101 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :I like 999 but not 888 or 777 < 1374696357 819695 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :results inconclusive < 1374696359 588396 :olsner!~salparot@c83-252-203-32.bredband.comhem.se PRIVMSG #esoteric :looks like the instructions for modifying the opmask registers only work on 16 bits, so I wonder why they are 64-bit in the first place < 1374696365 320778 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :hi elliott < 1374696367 61833 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :`quote 555 < 1374696368 312133 :HackEgo!dlopen@libdl.so PRIVMSG #esoteric :555) I prefer the N64 controller, it's the only one that has place for my third hand. < 1374696373 365643 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :hi kmc < 1374696382 96681 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Fiora: "Each bit of the opmask register governs one vector element operation (a vector element can be of 32 bits or 64 bits)." < 1374696382 336175 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :that is really strange @_@ I hope they explain things better... < 1374696389 462366 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :hi kmc < 1374696392 420062 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :AVX-512 doesn't support integers? >_< < 1374696402 551459 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :
ACTION withdraws her offer of homemade cookies to intel
< 1374696416 434433 :olsner!~salparot@c83-252-203-32.bredband.comhem.se PRIVMSG #esoteric :e.g. KANDW: Bitwise AND 16 bits masks k2 and k3 and place result in k1. < 1374696417 281024 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :hi kmc < 1374696479 651566 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :olsner: Perhaps they'll add KANDD and KANDQ etc. when they have use for more bits. < 1374696506 890671 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :KANADA < 1374696511 251804 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :geez, they have new instructions too? I wonder why they couldn't just, like, call it "AND" < 1374696515 451458 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :and like, extent AND to work on k registers? < 1374696532 442172 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :maybe to avoid confusing old assemblers / disassemblers < 1374696534 243644 :olsner!~salparot@c83-252-203-32.bredband.comhem.se PRIVMSG #esoteric :fizzie: I guess < 1374696547 932296 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Fiora: It's a three-argument AND, though. < 1374696555 666736 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :I mean, they added all those V's, too? < 1374696582 342033 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :makes sense... < 1374696594 740566 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :it's actually kind of weird. like, now x86 has a 3-argument ANDN, but a 2-argument AND < 1374696603 860619 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :the way they're extending things is confusingly inconsistent < 1374696663 764389 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :I hope I can remember it all... < 1374696676 780614 :olsner!~salparot@c83-252-203-32.bredband.comhem.se PRIVMSG #esoteric :if it was suddenly consistent now, that would be wildly inconsistent with how previous extensions have always been inconsistent < 1374696683 119253 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :VEXTRACTi64x4 "extract 256-bits of quadword integer values from the source operand (the second operand) and store to the low 256-bit of the destination operand (the first operand). The 256-bit data extraction occurs at an 256-bit granular offset specified by imm8[0] as the multiply factor The desination register may be either a vector register or a 256-bit memory location." < 1374696693 996411 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :It all sounds very complicated. < 1374696695 510503 :Bike!~Glossina@174-25-57-220.ptld.qwest.net PRIVMSG #esoteric :ow. < 1374696709 569213 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :The lack of punctuation is also in the original. < 1374696727 311523 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :VEXTRACTi64x4.... @___@ < 1374696737 610487 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :they didn't just call it vextracti256? geez, they called it vextracti128... < 1374696750 60729 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :I... I think if I'm readnig it right it works the same way too... < 1374696750 451222 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :VEXTRACTi511+1 < 1374696755 132721 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :learning arithmetic with intel < 1374696762 442870 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :elliott: in b4 FDIV bug < 1374696764 837066 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Fiora: There's VEXTRACTi128, VEXTRACTi32x4 and VEXTRACTi64x4. < 1374696777 911899 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :..... @_@ wait um how is i32x4 different from i128 < 1374696786 900891 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :looks like they're still no good at arithmetic < 1374696791 999107 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Fiora: It has an update granularity of 32 bits and takes the writemask into account. < 1374696804 847251 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :update granularity...? < 1374696812 661081 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :Fiora: I'm amused by the idea of you filling a box with homemade cookies and then mailing it to Intel, 2200 Mission College Blvd., Santa Clara, CA 95054-1549 < 1374696813 631289 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :So like... it's a scatter operation...? < 1374696816 411127 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :I wonder what would happen < 1374696817 737589 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Fiora: IOW, you can have one of those opmask registers involved. < 1374696821 951565 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :update granularity, straight from /r/vxjunkies. < 1374696823 776361 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Fiora: (With an element size of 32 bits.) < 1374696824 541611 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :interns deputized as food tasters < 1374696826 150988 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :can i have homemade cookies < 1374696833 353200 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :so like, if I have < 1374696834 802955 :Bike!~Glossina@174-25-57-220.ptld.qwest.net PRIVMSG #esoteric :are you not intel? < 1374696840 660883 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :i'm not intel < 1374696844 20958 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :shachaf: yes, come to SF sometime and we can bake cookies together < 1374696845 262296 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :xmm0 = ABCD zmm1 = EFGH IJKL MNOP QRST < 1374696846 231719 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :I am skeleton jelly. < 1374696848 161287 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :kmc: maybe intel would send chips back (hilarious) < 1374696857 892797 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :I can use vextracti32x4 to extract EFGH with a write mask of 1101 to get EFCH? < 1374696861 581016 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :kmc: sgtm < 1374696869 300966 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :am I getting it right, or...? < 1374696879 852308 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Fiora: I believe so, yes. < 1374696896 943533 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :that's... I guess kind of cool? it'd be nice if they let us, like, pull any 4 arbitrary 32s though XD < 1374696927 932497 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :imo when do we get MMOR and MXOR hth < 1374696932 492913 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :s/M// < 1374696947 357732 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Fiora: You can pull any of EFGH, IJKL, MNOP or QRST, already. < 1374696957 683179 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Fiora: But you can't pull out GHIJ, for example. < 1374696964 282942 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :okay, that makes sense... < 1374696971 256113 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :and I can't get FNQT < 1374696972 167782 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric ::P < 1374697008 661541 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :huh, though... like... they have an i32x4 and i128, but they have an i64x4 and no i256... I wonder why < 1374697033 466702 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :And the VEXTRACTi64x4 could pull out either (masked) EFGH IJKL or MNOP QRST. < 1374697058 891567 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :that makes sense... < 1374697130 214965 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Fiora: Also, 512-bit registers, so zmm1 = EFGH IJKL MNOP QRST UVWX YZuh oh I ran out of letters. < 1374697140 492885 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :I usually start using lowercase ^^; < 1374697176 501979 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :it gets awkward when I have to represent multiple registers though and then it's like oh gosh english can I have more letters < 1374697177 431980 :olsner!~salparot@c83-252-203-32.bredband.comhem.se PRIVMSG #esoteric :how many is 512 bits? < 1374697179 855137 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :and then I start using kana < 1374697183 252905 :olsner!~salparot@c83-252-203-32.bredband.comhem.se PRIVMSG #esoteric :... here I was boggling at E..T already < 1374697193 824135 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :zmm0 = ABCD EFGH IJKL MNOP QRST UVWX YZab cdef, zmm1 = ghij klmn opqr stuv wxyz how do I type Greek on this? < 1374697214 231397 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :I end up having to diagram things a lot so >_< < 1374697250 821764 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :
ACTION :psyduck:s at all of this
< 1374697259 382248 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :do your diagrams ever commute < 1374697305 501833 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :commute...? < 1374697324 432289 :Bike!~Glossina@174-25-57-220.ptld.qwest.net PRIVMSG #esoteric :category theory joke. < 1374697334 531723 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :oh < 1374697367 752080 :neena!~neena@codesurfers.net PRIVMSG #esoteric :oh < 1374697369 827177 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :I wonder if soon the "opcode/instruction" fields are categorically longer than the "description" field in the tables. I mean, EVEX.512.66.0F3A.W0 39 /r ib VEXTRACTI32x4 xmm1/m128 {k1}{z}, zmm2, imm8. < 1374697427 452585 :olsner!~salparot@c83-252-203-32.bredband.comhem.se PRIVMSG #esoteric :maybe they'll start using UUIDs as opcodes (to save space in the tables) < 1374697522 673590 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :You can use the opmask to select arbitrary floats/doubles out of the register and write them into a contiguous vector in memory, which sounds quite funky. < 1374697535 21835 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :hi neena! who are you? < 1374697551 711708 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :so, like... EVEX.512.66.0F3A.W0 is... four bytes...? < 1374697558 832523 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`welcome neena < 1374697560 812695 :HackEgo!dlopen@libdl.so PRIVMSG #esoteric :neena: Welcome to the international hub for esoteric programming language design and deployment! For more information, check out our wiki: http://esolangs.org/wiki/Main_Page. (For the other kind of esoterica, try #esoteric on irc.dal.net.) < 1374697563 822204 :jsvine!~Adium@205.203.128.141 PRIVMSG #esoteric :zzo38: neat. I'm having a little trouble running the program — probably because I refused to download the 2.2-gig full version of MacTeX and instead opted for the 80Mb "basic" version — but I think I catch the drift. < 1374697607 212450 :neena!~neena@codesurfers.net PRIVMSG #esoteric :I am a failure at lurking, boily. < 1374697609 42384 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Fiora: I think so, yes. 0x62 and then three bytes of bits. < 1374697630 426977 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :I thought the EVEX was a two-byte prefix or something? < 1374697635 413431 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :like, it was an extra byte plus the VEX or something? < 1374697640 967783 :olsner!~salparot@c83-252-203-32.bredband.comhem.se PRIVMSG #esoteric :it's a four-byte prefix :) < 1374697654 261743 :olsner!~salparot@c83-252-203-32.bredband.comhem.se PRIVMSG #esoteric :and VEX is three bytes or something < 1374697664 548073 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :I thought VEX was one byte, plus an opcode, or...? < 1374697705 563394 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :
ACTION really is bad at all of this >_<
< 1374697714 882685 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :doubtful < 1374697720 993707 :olsner!~salparot@c83-252-203-32.bredband.comhem.se PRIVMSG #esoteric :EVEX is a 4-Byte prefix (the first byte must be 62H); VEX is either a 2-Byte (C5H is the first byte) or 3-Byte (C4H is the first byte) prefix. < 1374697723 849808 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Fiora: The encoding parts of the guide says it's 62H, [R X B R' 0 0 m m] [W v v v v 1 p p] [z L' L b V' a a a], where all those letters are bits. < 1374697793 282623 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :EVEX.mm is two low bits of VEX.mmmmm, and EVEX.pp is a copy of VEX.pp, and vvvv is the same as VEX.vvvv, so it does have some of the same fields. < 1374697843 887749 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :this is scary < 1374697856 561710 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :geez I am just even trying to understand the avx encoding scheme like the regular one and wow < 1374697859 957211 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :(And I guess you can't again use EVEX in 32-bit mode because 62H is the ES segment override prefix there.) < 1374697878 885884 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :ooooh. so they reused a segment prefix < 1374697885 963578 :atehwa!~atehwa@185.18.76.165 QUIT :Ping timeout: 246 seconds < 1374697899 934852 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :They're angling for a "best reuse of a segment prefix" award. < 1374697908 671458 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :they've reused them before? < 1374697945 360960 :atehwa!atehwa@aulis.sange.fi JOIN :#esoteric < 1374697973 534916 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :I don't know whether they have, but I'm sure you can still get an award. < 1374697989 363430 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :VEX prefixes are... reused segment-register loading instructions? < 1374698003 735905 :olsner!~salparot@c83-252-203-32.bredband.comhem.se PRIVMSG #esoteric :fizzie: the manual I found says it's possible to use EVEX in 32-bit mode < 1374698051 78667 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :olsner: Which manual is this? (I have probably the same manual where you quoted that last line from open.) < 1374698085 382920 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Hmm, curious. < 1374698089 882182 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :probably the royal sign manula < 1374698090 385830 :olsner!~salparot@c83-252-203-32.bredband.comhem.se PRIVMSG #esoteric :it's not very explicit about it but "Table 4-3. EVEX Encoding Register Specifiers in 32-bit Mode" < 1374698091 832364 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :*manual < 1374698120 311492 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :"The EVEX prefix is a 4-byte prefix, with the first two bytes derived from unused encoding form of the 32-bit-mode-only BOUND instruction," says the manual, too. < 1374698139 586908 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Maybe I looked at a wrong column of the opcode map. < 1374698171 167688 :olsner!~salparot@c83-252-203-32.bredband.comhem.se PRIVMSG #esoteric :speaking of BOUND, if you have the same manual it'll also describe a set of "MPX" extensions < 1374698232 267787 :olsner!~salparot@c83-252-203-32.bredband.comhem.se PRIVMSG #esoteric :which seems to be a set of registers for storing bounds of buffers and a bunch of instructions to do checked memory accesses < 1374698280 282713 :atehwa!atehwa@aulis.sange.fi QUIT :Ping timeout: 256 seconds < 1374698335 703609 :atehwa!atehwa@aulis.sange.fi JOIN :#esoteric < 1374698561 736234 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :I can't quite figure out how it works in 32-bit mode, but I guess it does if they say so. (62H is BOUND, the P0 byte is fixed as xxxx00xx, and considered as a ModR/M byte that would mean high bit of RM and low bit of reg is 0, but I don't see how that makes it an "unused encoding form".) < 1374698792 622336 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :http://sprunge.us/jUFc that certainly looks like the two first bytes of a EVEX prefix to me. < 1374698833 455471 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Oh well. < 1374699116 672622 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :olsner: Table 4-3 seems very much limited compared to Table 4-2, anyway. At least it seems restricted to 8 registers (3 bits) in 32-bit mode. < 1374699165 774173 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :is it wrong if I like... I have this desire for a pmovmskb/movmskps that outputs to an opmask < 1374699167 933410 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Ohhhh, right, of course; since 32-bit mode only uses the vvv bits of EVEX, they can select a second byte such that it encodes a register operand in the R/M field, which isn't used for BOUND, making it an unused pattern. < 1374699192 167099 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :VPCONFLICTD/Q @___@ < 1374699209 345109 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :that... wow that actually seems really cool < 1374699214 558785 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :32-way duplicate detection! < 1374699234 230707 :AnotherTest1!~AnotherTe@94-224-28-191.access.telenet.be QUIT :Ping timeout: 268 seconds < 1374699244 805710 :sacje!~sacre@unaffiliated/klet JOIN :#esoteric < 1374699268 993261 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :VPLZNCT~ < 1374699293 905388 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :Bike: "VEXP2PD—Approximation to the Exponential 2^x of Packed Double-Precision Floating-PointValues with Less Than 2^-23 Relative Error" the longest instruction description XD < 1374699327 567937 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Fiora: Apparently there's a separate "AVX-512 Conflict Detection" extension, with its own CPUID bit, that VPCONFLICT/VPLZCNT/friends comes from. < 1374699358 465991 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :I guess some of those instructions might be just for the Phi ? < 1374699395 226770 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :"sparse prefetch" wow < 1374699409 417254 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :"Knights Landing will support three sets of capabilities to augment the foundation instructions. This is documented in the programmer’s guide; they are known as Intel AVX-512 Conflict Detection Instructions (CDI), Intel AVX-512 Exponential and Reciprocal Instructions (ERI) and Intel AVX-512 Prefetch Instructions (PFI)." < 1374699434 411300 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Knights Landing is (as far as I can tell) still a Phi thing, but it has the "Xeon Phi as a host processor" form too. < 1374699462 306349 :Bike!~Glossina@174-25-57-220.ptld.qwest.net QUIT :Ping timeout: 264 seconds < 1374699464 502607 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :"This chapter describes a family of inst < 1374699464 702638 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :ruction extensions that target the acceleration of the Secure Hash Algorithm < 1374699466 405169 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :(SHA), specifically the SHA-1 and SHA-256 variants" < 1374699477 684673 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :Intel Bitcoin Extensions? xD < 1374699536 891665 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :we're going to have a (probably mob funded) bitcoin here in Montréal! < 1374699545 544757 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :s/bitcoin/bitcoin building/ < 1374699550 554094 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Fiora: Ooh, it's like copying VIA PadLock from the whenever-it-was-but-it-was-a-long-time-ago. < 1374699556 105845 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :VIA Padlock? < 1374699568 398388 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :It's a crypto-engine integrated in VIA C7 and VIA Eden. < 1374699576 897014 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :oooh. well I guess they already have some of it, right? < 1374699580 825560 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :RDRAND and AES-NI? < 1374699585 34342 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :It did SHA-1, SHA-256 at five gigs/second, and AES, and RDRAND. < 1374699594 768517 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :(Well, not "RDRAND", but random number generation.) < 1374699611 860782 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :So, yes, they've been just slowly picking up its features. < 1374699635 276700 :Nisstyre!~yours@oftn/member/Nisstyre JOIN :#esoteric < 1374699707 656933 :comex!~comex@ec2-54-225-4-143.compute-1.amazonaws.com PRIVMSG #esoteric :i just want Python with HLE < 1374699721 996744 :olsner!~salparot@c83-252-203-32.bredband.comhem.se PRIVMSG #esoteric :hmm, so the two bits fixed to 0 have nothing to do with making it an invalid BOUND instruction? < 1374699733 596155 :comex!~comex@ec2-54-225-4-143.compute-1.amazonaws.com PRIVMSG #esoteric :actually, why do I even care < 1374699740 641502 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :The logical next step would be to pick up the last missing PadLock feature, which is I think some sort of modular multiplication helper for RSA. < 1374699748 995875 :comex!~comex@ec2-54-225-4-143.compute-1.amazonaws.com PRIVMSG #esoteric :it's too slow to be sufficiently performant for anything CPU bound with or without threads < 1374699755 77515 :comex!~comex@ec2-54-225-4-143.compute-1.amazonaws.com PRIVMSG #esoteric :well, it would be cool for pypy < 1374699759 255842 :oerjan!oerjan@sprocket.nvg.ntnu.no JOIN :#esoteric < 1374699768 335750 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :geez MPX looks complicated < 1374699770 114830 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :olsner: Not as far as I can tell, since (according to Table 4-3) none of the other P0 bits are used for anything in 32-bit mode, so it can be chosen freely. < 1374699786 756402 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :is CLMUL that? or no, that's... carry-less multiplication < 1374699803 436666 :Bike!~Glossina@174-25-57-220.ptld.qwest.net JOIN :#esoteric < 1374699803 683994 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :olsner: (The fixed 1 bit certainly doesn't.) < 1374699862 195888 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :how does modular multiplication in software usually work...? < 1374699866 166669 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Fiora: It has something to do with doing http://en.wikipedia.org/wiki/Montgomery_multiplication but all the first results were too PR-y to go in detail. < 1374699903 206307 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :I guess that link's a good answer to that question, though. < 1374699911 684530 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :(Assuming that's what they use, I'unno.) < 1374700285 235162 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :This broadcast thing in AVX-512 seems quite fancy too. < 1374700361 996958 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :boily: bitcoin building?? o_O < 1374700391 305810 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :is it different from like, vpbroadcastw or similar? < 1374700479 329922 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Fiora: It's "embedded", you can set a bit in the EVEX prefix, and it will load only 32 (or 64) bits from a memory operand and broadcast it into a full-width operand. < 1374700520 636908 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :ooh. that's kind of cool < 1374700582 270156 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :kmc: https://bitcointalk.org/index.php?topic=235422.0 < 1374700645 137721 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :bitcoin embassy........... < 1374700764 60967 :Bike!~Glossina@174-25-57-220.ptld.qwest.net PRIVMSG #esoteric :♠♠♠ Bit777.com ♠♠♠ THE PRIME BITCOIN CASINO FEATURING 50+ GAMES. ♠♠♠ PLAY TO WIN BTC NOW! ♠♠♠ < 1374700787 168363 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :I prefer homemade cookies. < 1374701338 59134 :boily!~boily@mtl.savoirfairelinux.net QUIT :Quit: What is the speed of an unladen penguin plushie? < 1374701347 548865 :metasepia!~metasepia@2607:fad8:4:6:f2de:f1ff:fe6c:6765 QUIT :Remote host closed the connection < 1374701687 840813 :Bike_!~Glossina@71-222-63-148.ptld.qwest.net JOIN :#esoteric < 1374701693 234644 :sprocklem!~sprocklem@S010674440130be65.cg.shawcable.net JOIN :#esoteric < 1374701860 340869 :Bike!~Glossina@174-25-57-220.ptld.qwest.net QUIT :Ping timeout: 276 seconds < 1374701870 170946 :mnoqy!~okay@pool-98-108-206-66.snloca.dsl-w.verizon.net JOIN :#esoteric < 1374702442 833439 :Bike_!~Glossina@71-222-63-148.ptld.qwest.net NICK :Bike < 1374702698 953426 :Taneb!~nathan@host-92-30-148-233.as13285.net QUIT :Quit: Leaving < 1374703816 773858 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :@tell zzo38 i do not think it is always possible to find the contents of a backflip program by running it from chosen edges. in particular if you have a region bounded entirely by inwards pointing arrows you will never be able to say anything about its interior. < 1374703817 12608 :lambdabot!lambdabot@2a01:7e00::f03c:91ff:fedf:9fdd PRIVMSG #esoteric :Consider it noted. < 1374703857 354030 :Bike!~Glossina@71-222-63-148.ptld.qwest.net PRIVMSG #esoteric :the "event horizon" principle of reverse engineering < 1374703879 913648 :Bike!~Glossina@71-222-63-148.ptld.qwest.net PRIVMSG #esoteric :oerjan: does zzo want the program text or just something operationally identical, though? < 1374703973 594327 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric : (You don't have to specify the direction of a mirror or arrow, although you do have to specify it is a mirror, arrow, empty, or output, and if it is output then you do have to specify its value.) < 1374704001 517842 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :@tell zzo38 well, ignoring output. < 1374704001 718692 :lambdabot!lambdabot@2a01:7e00::f03c:91ff:fedf:9fdd PRIVMSG #esoteric :Consider it noted. < 1374704006 935112 :Bike!~Glossina@71-222-63-148.ptld.qwest.net PRIVMSG #esoteric :i see. < 1374704011 364301 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :oerjan: but that interior cannot change how the program behaves, right? < 1374704022 284241 :Bike!~Glossina@71-222-63-148.ptld.qwest.net PRIVMSG #esoteric :that's what i meant < 1374704068 783908 :Bike!~Glossina@71-222-63-148.ptld.qwest.net PRIVMSG #esoteric :does backflip have spooky action at a distance < 1374704083 74346 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :no. < 1374704090 704064 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :elliott: that was my point < 1374704101 24449 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :except for output which is an extension < 1374704127 463851 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :oerjan: right, but I mean, you can obtain something equivalent to the original program in terms of behaviour maybe, and which is unchanged if you analyse it again? < 1374704188 645726 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :elliott: yes. but i didn't get the impression zzo38 was doing that, which is why i asked. < 1374704224 124688 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :in fact in order to do that, you _would_ want the player to specify all directions, so you could simulate whether eir solution does the right thing < 1374704237 345609 :Bike!~Glossina@71-222-63-148.ptld.qwest.net PRIVMSG #esoteric :is backflip turing-complete (or rather, can programs in finite space go indefinitely before halting) < 1374704247 146644 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :Bike: no, no. < 1374704266 526353 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :isn't that mentioned in the article. < 1374704277 584732 :Bike!~Glossina@71-222-63-148.ptld.qwest.net PRIVMSG #esoteric :i haven't been looking at the article. reading's for nerds. < 1374704288 785410 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :http://esolangs.org/wiki/BackFlip#Computational_class < 1374704845 556983 :noooodl!~nooodl@91.179.137.83 JOIN :#esoteric < 1374705121 246621 :yorick!~yorick@oftn/member/yorick JOIN :#esoteric < 1374705632 776270 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :shachaf: my exciting discovery today is that in Servo, make RUSTFLAGS="-Z debug-info" actually kinda works and you can use objdump -S and get Rust code interleaved with asm! < 1374705654 776592 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :which is v. useful for decoding my myriad stack backtraces < 1374705695 636371 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :does it slow down compilation < 1374705810 1819 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :kmc: i wish i had an implicit binder for all my scattered paper < 1374705812 626625 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :would be p. handy < 1374705850 887337 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric ::) < 1374705885 516980 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :i saw one of these up on a board at mozilla http://img.photobucket.com/albums/v313/shivkaladrakh/tearable20puns.png < 1374705905 896660 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :those things are amazing XD < 1374705953 686197 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :i find it odd that Fiora likes puns but doesn't like other forms of humour which seem similar to me < 1374705973 956531 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :which forms? < 1374705974 438214 :Bike!~Glossina@71-222-63-148.ptld.qwest.net PRIVMSG #esoteric :guaghagh < 1374705997 426802 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :? < 1374706039 977843 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :i don't know, a lot of things i say for one < 1374706053 517171 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :I don't get it < 1374706058 504947 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :usually some form of viewing the world under a different assumption or perspective and seeing what happens < 1374706062 396563 :Bike!~Glossina@71-222-63-148.ptld.qwest.net PRIVMSG #esoteric :i was just guaghaghing at the pun. < 1374706065 338012 :Bike!~Glossina@71-222-63-148.ptld.qwest.net PRIVMSG #esoteric :s. < 1374706071 48284 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :i'm bad at explaining what i mean so i'll stop :'( < 1374706081 779129 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :shachaf: I didn't test if it slows down compilation, but not enough for me to notice without testing < 1374706088 677133 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :rustc is pretty slow overall :/ < 1374706102 319050 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :kmc: imo that kind of thing should be the default if it doesn't < 1374706103 747010 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :and doesn't parallelize well because the unit of together-compilation is large < 1374706111 907136 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :shachaf: presumably it makes the binaries bigger, maybe a lot bigger < 1374706424 70201 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :shachaf: is the tao a zero knowledge proof < 1374706732 325089 :jsvine!~Adium@205.203.128.141 QUIT :Quit: Leaving. < 1374706941 528305 :mnoqy!~okay@pool-98-108-206-66.snloca.dsl-w.verizon.net QUIT :Quit: hello < 1374706942 266879 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :kmc: i don't know < 1374707052 329433 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :elliott: incidentally tatham's black box puzzle works the way you suggest. < 1374707057 709546 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :kmc: wouldn't it be great if people found a sha-1 collision that way < 1374707147 152265 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :yes < 1374707163 48939 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :(for context: https://github.com/kmcallister/servo/commit/350c0a61c6c705b2f4c1b095064ee337f17a1c9e https://github.com/mozilla/servo/commit/350c0a61c6c705b2f4c1b095064ee337f17a1c9e are not the same commit at all) < 1374707173 178306 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :the former matches my local repo < 1374707199 847987 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :as they used to say at my preschool: sha sha sha, sheket bvakasha < 1374707205 59476 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :(p. sure that's how they pronounced it) < 1374707205 568714 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :whatsit mean < 1374707205 838054 :Bike!~Glossina@71-222-63-148.ptld.qwest.net QUIT :Ping timeout: 248 seconds < 1374707222 198507 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :"sha" is like "shh" < 1374707223 628456 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :not sure if undead does, or just guarantees a unique solution. < 1374707231 228529 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :"sheket bvakasha" is "quiet please" or so < 1374707243 658318 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :"silence please" < 1374707339 658784 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :sha sha sha, shachaf bvakasha < 1374707365 99043 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :kmc: whoa what's with that < 1374707366 689130 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :the collision < 1374707381 644879 :Bike!~Glossina@71-222-63-148.ptld.qwest.net JOIN :#esoteric < 1374707382 208461 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :ikr < 1374707385 668860 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :http://www.urbandictionary.com/define.php?term=Sheket%20Bevakashah < 1374707387 439816 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :no but seriously, help < 1374707421 889825 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :thoerjan < 1374707427 38580 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :everything you know is wrong, hth < 1374707488 309756 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :do you actually know what's up or not < 1374707523 789013 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :it's a sha-1 collision hth < 1374707534 828982 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :https://github.com/mozilla/servo/commit/fe91f6e238acd9e423d98c18c906416be3090eb3 < 1374707537 99101 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :if you follow the link to hebrew hammer read only the first item twh < 1374707555 139931 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :i don't get it < 1374707565 779149 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :but I'll stop asking since it doesn't look like anyone will reply seriously < 1374707581 909418 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :elliott: you know approx. what anyone else know < 1374707586 530617 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :it looks like a github bug < 1374707691 900133 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :s < 1374707715 818861 :Bike!~Glossina@71-222-63-148.ptld.qwest.net PRIVMSG #esoteric :so could you practically find collisions by trawling a site with lotsa shas like that < 1374707736 931190 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :not particularly < 1374707740 226403 :Bike!~Glossina@71-222-63-148.ptld.qwest.net PRIVMSG #esoteric :i guess none of them would be very useful collisions < 1374707757 15243 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :any sha1 collision would be a big deal < 1374707787 169481 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :there's none publicly known collision at the moment anyway < 1374707816 405325 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :but p. sure all of github's activity generates way fewer hashes than one gpu < 1374707824 349096 :Bike!~Glossina@71-222-63-148.ptld.qwest.net PRIVMSG #esoteric :bah. < 1374707826 959257 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :s/ne// < 1374707855 549317 :ajf!ajf@90.219.103.149 JOIN :#esoteric < 1374707866 719639 :ajf!ajf@90.219.103.149 PRIVMSG #esoteric :Anyone want to write an actual program in DevPerc? :3 < 1374707867 399683 :ajf!ajf@90.219.103.149 PRIVMSG #esoteric :http://esolangs.org/wiki/Deviating_Percolator < 1374708053 168792 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :oh mystery solved, I accidentally created a branch named 350c0a61c6c705b2f4c1b095064ee337f17a1c9e < 1374708060 439365 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :shachaf: gerates? what kind of nonsense is this! < 1374708073 429666 :Bike!~Glossina@71-222-63-148.ptld.qwest.net PRIVMSG #esoteric :catchy name < 1374708073 819950 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :kmc: oh wow, impressive < 1374708085 723198 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oerjan: misspelling of "gyrates" hth < 1374708095 79372 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :ah. < 1374708114 940097 :ajf!ajf@90.219.103.149 PRIVMSG #esoteric :OK uh < 1374708122 336419 :ajf!ajf@90.219.103.149 PRIVMSG #esoteric :I'm confused by my own programming language < 1374708133 259801 :Bike!~Glossina@71-222-63-148.ptld.qwest.net PRIVMSG #esoteric :what's confusing < 1374708137 150091 :ajf!ajf@90.219.103.149 PRIVMSG #esoteric :I'm trying to write an implementation of cat, which reads one char, spits it out, and repeats < 1374708157 790000 :ajf!ajf@90.219.103.149 PRIVMSG #esoteric :however since variable state changes the interpretation of the source code in DevPerc, I'm getting confused :P < 1374708160 150260 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :i wrote on this page upside down accidentally so now i turned it over and all my As look like foralls < 1374708160 670127 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :kmc: hahaha < 1374708163 729538 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :it's ""confusing "" " " < 1374708167 29801 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :kmc: what happens if you collide a branch name and a commit hash? < 1374708175 520551 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :well we just found out........... < 1374708182 533825 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :a) you confuse the everliving shit out of the Mozilla build bot < 1374708188 172444 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :b) you confuse a bunch of humans too < 1374708194 910631 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :c) you look like a dumbass in front of GitHub support staff < 1374708195 249605 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :well okay yes < 1374708199 860021 :Bike!~Glossina@71-222-63-148.ptld.qwest.net PRIVMSG #esoteric :ajf: isn't it just GET A PUT A IF 1 PROCEEDTO 0 < 1374708215 205045 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :seems like it should default to the commit < 1374708218 681936 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :since how else do you access it < 1374708224 519841 :ajf!ajf@90.219.103.149 PRIVMSG #esoteric :Bike: No < 1374708231 129552 :ajf!ajf@90.219.103.149 PRIVMSG #esoteric :GET A < 1374708231 329647 :ajf!ajf@90.219.103.149 PRIVMSG #esoteric :DEFINE M TO SIXTYFIVE < 1374708231 329831 :ajf!ajf@90.219.103.149 PRIVMSG #esoteric :PUT M < 1374708239 719766 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :elliott: yeah and you could still name the branch as refs/heads/350c0a61c6c705b2f4c1b095064ee337f17a1c9e < 1374708247 445485 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :but it's not surprising that Git makes the wrong UI choice < 1374708254 920189 :ajf!ajf@90.219.103.149 PRIVMSG #esoteric :Will do the first character. Now I have to do some sort of circus so that "A" means "A" again and "GET A" will work < 1374708259 49710 :ajf!ajf@90.219.103.149 PRIVMSG #esoteric :oh and somehow correct "M" < 1374708272 950873 :Bike!~Glossina@71-222-63-148.ptld.qwest.net PRIVMSG #esoteric :ajf: what's wrong with mine... < 1374708297 413020 :ajf!ajf@90.219.103.149 PRIVMSG #esoteric :Bike: In devperc, if you change the value of a variable, it changes the character it reads in the sourcecode < 1374708305 811639 :Bike!~Glossina@71-222-63-148.ptld.qwest.net PRIVMSG #esoteric :yes. < 1374708319 389702 :Bike!~Glossina@71-222-63-148.ptld.qwest.net PRIVMSG #esoteric :oh. i see. < 1374708331 410239 :ajf!ajf@90.219.103.149 PRIVMSG #esoteric :once you've done "GET A" you can't refer to A as A < 1374708331 941829 :ajf!ajf@90.219.103.149 PRIVMSG #esoteric ::D < 1374708352 520163 :ajf!ajf@90.219.103.149 PRIVMSG #esoteric :in fact, if they inputted a lowercase character, it's a syntax error! < 1374708380 720516 :Bike!~Glossina@71-222-63-148.ptld.qwest.net PRIVMSG #esoteric :so can't you just do DEFINE M TO M next < 1374708385 841034 :ajf!ajf@90.219.103.149 PRIVMSG #esoteric :yeah < 1374708447 621124 :ajf!ajf@90.219.103.149 PRIVMSG #esoteric :also, there are no digits here. Only English numerical constants. So you can't use a letter that's in the name of a numerical constant! < 1374708457 455811 :Bike!~Glossina@71-222-63-148.ptld.qwest.net PRIVMSG #esoteric :yes yes < 1374708523 535020 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :ajf: what about doing DEFINE M TO SIXTYFIVE \ GET M \ PUT M instead? < 1374708588 722099 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :hey you know the way a cone is just a natural transformation from the diagonal functor < 1374708591 688134 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :p. great imo < 1374708616 360260 :ajf!ajf@90.219.103.149 PRIVMSG #esoteric :oerjan: uhh < 1374708627 670867 :Bike!~Glossina@71-222-63-148.ptld.qwest.net PRIVMSG #esoteric :you still have to repair M, though. < 1374708630 603117 :ajf!ajf@90.219.103.149 PRIVMSG #esoteric :no you can't do that < 1374708639 830427 :ajf!ajf@90.219.103.149 PRIVMSG #esoteric :since now that last line is PUT < 1374708659 951873 :Bike!~Glossina@71-222-63-148.ptld.qwest.net PRIVMSG #esoteric :no, shouldn't the GET M become GET A? < 1374708688 920247 :ajf!ajf@90.219.103.149 PRIVMSG #esoteric :yes < 1374708699 111630 :ajf!ajf@90.219.103.149 PRIVMSG #esoteric :oh, right < 1374708720 40436 :Bike!~Glossina@71-222-63-148.ptld.qwest.net PRIVMSG #esoteric :Maybe it would be good to simplify this somewhat, both the syntax and the evaluation semantics. < 1374708733 52960 :ajf!ajf@90.219.103.149 PRIVMSG #esoteric :hmm < 1374708743 281579 :ajf!ajf@90.219.103.149 PRIVMSG #esoteric :oh, oerjan's thing works < 1374708755 380304 :ajf!ajf@90.219.103.149 PRIVMSG #esoteric :Bike: simplyify the syntax? Then it wouldn't be hard! :P < 1374708762 351049 :ajf!ajf@90.219.103.149 PRIVMSG #esoteric :it's intentionally verbose :D < 1374708777 512876 :Bike!~Glossina@71-222-63-148.ptld.qwest.net PRIVMSG #esoteric :well, you could make it hard in a rigorous way, in order to make the real thing hard in a more interesting way. < 1374709450 942015 :ajf!ajf@90.219.103.149 PRIVMSG #esoteric :shouldn't DEFINE M TO SIXTYFIVE, GET M, PUT M, IF ONE PROCEEDTO ONE - work? < 1374709477 163941 :ajf!ajf@90.219.103.149 PRIVMSG #esoteric :because it doesn't < 1374709500 521915 :Bike!~Glossina@71-222-63-148.ptld.qwest.net PRIVMSG #esoteric :no, because next time around M is something else < 1374709503 67298 :ajf!ajf@90.219.103.149 PRIVMSG #esoteric :oh. I see why it doesn't < 1374709505 524240 :Sgeo!~quassel@ool-ad034ea6.dyn.optonline.net JOIN :#esoteric < 1374709507 522821 :Bike!~Glossina@71-222-63-148.ptld.qwest.net PRIVMSG #esoteric :it could be E or something that messes up the rest of the program < 1374709512 987605 :ajf!ajf@90.219.103.149 PRIVMSG #esoteric :GET X ...X is an expression evaluating to the name of a register. < 1374709528 932135 :ajf!ajf@90.219.103.149 PRIVMSG #esoteric :hence, in source, M -> A, then A evaluates to < 1374709536 112761 :ajf!ajf@90.219.103.149 PRIVMSG #esoteric :so, let's redefine Z < 1374709582 562358 :Bike!~Glossina@71-222-63-148.ptld.qwest.net PRIVMSG #esoteric :I think programming would be pretty easy if DEFINE evaluated its first operand. Then you could just refer to variables indirectly with numbers. < 1374709608 1937 :ajf!ajf@90.219.103.149 PRIVMSG #esoteric :...you actually could do that < 1374709613 619136 :ajf!ajf@90.219.103.149 PRIVMSG #esoteric :I never considered that < 1374709623 53091 :ajf!ajf@90.219.103.149 PRIVMSG #esoteric :oh crap < 1374709629 141148 :Bike!~Glossina@71-222-63-148.ptld.qwest.net PRIVMSG #esoteric :lol. < 1374709634 612322 :ajf!ajf@90.219.103.149 PRIVMSG #esoteric :programming in devperc may be semi-practical < 1374709638 522304 :ajf!ajf@90.219.103.149 PRIVMSG #esoteric :curse you, Bike! :P < 1374709652 572963 :Bike!~Glossina@71-222-63-148.ptld.qwest.net PRIVMSG #esoteric :i am the wettest blanket. < 1374709692 44089 :ajf!ajf@90.219.103.149 PRIVMSG #esoteric :oh < 1374709695 652577 :ajf!ajf@90.219.103.149 PRIVMSG #esoteric :I got it to work < 1374709729 623890 :Frooxius!~Frooxius@cust-101.ktknet.cz QUIT :Read error: Connection reset by peer < 1374709739 957316 :ajf!ajf@90.219.103.149 PRIVMSG #esoteric :DEFINE M TO SIXTYFIVE, DEFINE Z TO SEVENTYSEVEN, GET Z, PUT M, IF ONE PROCEEDTO TWO < 1374709740 822897 :Frooxius!~Frooxius@cust-101.ktknet.cz JOIN :#esoteric < 1374709848 2753 :ajf!ajf@90.219.103.149 PRIVMSG #esoteric :Great, now I actually have a useful program example < 1374709860 315924 :tertu!~tertu@65-128-181-81.mpls.qwest.net JOIN :#esoteric < 1374710108 753745 :Lumpio-!~matti@89-166-34-164.bb.dnainternet.fi PRIVMSG #esoteric :oo, what's that, COBOL? < 1374710121 814365 :Bike!~Glossina@71-222-63-148.ptld.qwest.net PRIVMSG #esoteric :reminded me more of ti-86. < 1374710212 125270 :ajf!ajf@90.219.103.149 PRIVMSG #esoteric :Lumpio-: http://esolangs.org/wiki/Deviating_Percolator < 1374710231 464584 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :DEFINE M TO SIXTYTEN, DEFINE Z TO TWOISM < 1374710254 843408 :Bike!~Glossina@71-222-63-148.ptld.qwest.net PRIVMSG #esoteric :kmc++ < 1374710266 623778 :ajf!ajf@90.219.103.149 PRIVMSG #esoteric :lol < 1374710311 423534 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric ::)