< 1357603215 385276 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :and then you can put coherent light in and use interference to determine the shortest path < 1357603222 517963 :Bike!~Glossina@67-5-245-201.ptld.qwest.net PRIVMSG #esoteric :ugh you know i don't have the money for physarum machines, don't tempt me < 1357603228 923854 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :thus solving an NP-complete problem in polynomial time BUT with an exponential amount of energy :/ < 1357603248 691248 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :basically you have built a parallel computer where each photon is a separate instruction pointer < 1357603253 633191 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :.... wow < 1357603260 808254 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :That sounds nifty. < 1357603264 165973 :Bike!~Glossina@67-5-245-201.ptld.qwest.net PRIVMSG #esoteric :kmc: doubles as the marketing copy < 1357603267 213679 :GreyKnight!~GK@dab-crx1-h-10-4.dab.02.net PRIVMSG #esoteric :"We'll just farm out the computation to whatever the universe runs on" < 1357603297 354733 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :we can perform FFTs by using a liquid crystal screen and a laser and a lens and a CCD < 1357603305 812582 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :can't you fit only a polynomial number of photons in a cubic meter < 1357603338 503552 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :because then that won't help you solve what otherwise takes exponential time, at least < 1357603348 92351 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :maybe so < 1357603355 462340 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :I think in practice it's going to be limited more by melting the optical fiber < 1357603355 699392 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :not that i don't agree with the wow < 1357603388 972055 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :another cool thing is http://en.wikipedia.org/wiki/TWINKLE < 1357603395 463981 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :or we can solve optimization problems by like, representing them as protein folding problems < 1357603461 776581 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :this is a prime number sieve built out of simple, independent elements that communicate with a controller by freespace optics < 1357603465 496547 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :http://cs.tau.ac.il/~tromer/twirl/ < 1357603482 231651 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :yeah, that's the successor project < 1357603490 558090 :Bike!~Glossina@67-5-245-201.ptld.qwest.net PRIVMSG #esoteric :kmc: so why is it only hypothetical? < 1357603496 170878 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :dunno < 1357603512 996742 :Bike!~Glossina@67-5-245-201.ptld.qwest.net PRIVMSG #esoteric :bother < 1357603526 131105 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :the cool trick is that you sum the outputs from these elements just by measuring the total amount of light < 1357603533 378641 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :which is far far faster than you could run a binary adder tree < 1357603546 523802 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :and you clock them by blasting the whole wafer with IR light < 1357603558 577833 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :which is far easier than widespread clock distribution < 1357603628 485354 :GreyKnight!~GK@dab-crx1-h-10-4.dab.02.net PRIVMSG #esoteric :Twinkle, twinkle, little prime // How I wonder what you divide < 1357603641 150639 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :@slap GreyKnight < 1357603641 331125 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :ACTION orders her trained monkeys to punch GreyKnight < 1357603647 343776 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Please, no bad rhymes. < 1357603648 58603 :Bike!~Glossina@67-5-245-201.ptld.qwest.net PRIVMSG #esoteric :it doesn''t scan! < 1357603655 90740 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :lambdabot is female? < 1357603656 994833 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Or that. < 1357603660 399432 :GreyKnight!~GK@dab-crx1-h-10-4.dab.02.net PRIVMSG #esoteric :>:-( < 1357603664 397429 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :yeah < 1357603665 382971 :GreyKnight!~GK@dab-crx1-h-10-4.dab.02.net PRIVMSG #esoteric :FINE you do better then!! < 1357603669 469378 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :GreyKnight: best poem this year < 1357603670 687836 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :... for that matter, has a gender? < 1357603690 796919 :Bike!~Glossina@67-5-245-201.ptld.qwest.net PRIVMSG #esoteric :hm. how i di-vide what you are? that's pretty sucky though < 1357603697 613303 :GreyKnight!~GK@dab-crx1-h-10-4.dab.02.net PRIVMSG #esoteric :"Shamir has estimated that the cost of TWINKLE could be as low as $5000 per unit with bulk production." <-- I am guessing it would cost £bignum to make it non-theoretical *without* bulk production < 1357603701 492628 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :@slap Bike < 1357603701 728719 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :ACTION smashes a lamp on Bike's head < 1357603709 898222 :Bike!~Glossina@67-5-245-201.ptld.qwest.net PRIVMSG #esoteric :ow :( < 1357603718 730965 :GreyKnight!~GK@dab-crx1-h-10-4.dab.02.net PRIVMSG #esoteric :Bike, you don't divide the prime >:-( < 1357603731 253212 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :GreyKnight: More like $bignum < 1357603737 460738 :Bike!~Glossina@67-5-245-201.ptld.qwest.net PRIVMSG #esoteric :you do to see if it's really prime! < 1357603739 412478 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Which is something like half as much?! < 1357603744 944756 :GreyKnight!~GK@dab-crx1-h-10-4.dab.02.net PRIVMSG #esoteric :shachaf: no u < 1357603766 75770 :Bike!~Glossina@67-5-245-201.ptld.qwest.net PRIVMSG #esoteric :shachaf: this is computer science, constant factors are so unimportant < 1357603789 565408 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Bike: But every prime factors into constants... < 1357603790 42259 :GreyKnight!~GK@dab-crx1-h-10-4.dab.02.net PRIVMSG #esoteric :bignum, multiplied or divided by 100 < 1357603809 427316 :GreyKnight!~GK@dab-crx1-h-10-4.dab.02.net PRIVMSG #esoteric :(order-of-magnitude error bars are the best thing) < 1357603841 61689 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :GreyKnight: $TEXAS < 1357603861 518255 :GreyKnight!~GK@dab-crx1-h-10-4.dab.02.net PRIVMSG #esoteric :did I wander into #perl by accident < 1357603936 161175 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :is there a CPAN module to use £ and € as sigils < 1357603936 941462 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :surely < 1357603957 813491 :GreyKnight!~GK@dab-crx1-h-10-4.dab.02.net PRIVMSG #esoteric :they have modules to let you program in Latin, surely the above exists < 1357603968 323698 :GreyKnight!~GK@dab-crx1-h-10-4.dab.02.net PRIVMSG #esoteric :I'm sure I saw a Klingon one too < 1357603991 172384 :GreyKnight!~GK@dab-crx1-h-10-4.dab.02.net PRIVMSG #esoteric :(for when regular perl isn't opaque enough) < 1357604101 891956 :sebbu2!~sebbu@unaffiliated/sebbu NICK :sebbu < 1357604259 606447 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :> nubBy(((>1).).gcd)[2..] < 1357604261 547166 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : [2,3,5,7,11,13,17,19,23,29,31,37,41,43,47,53,59,61,67,71,73,79,83,89,97,101... < 1357604316 394974 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :> nubBy((>1).:gcd)[2..] < 1357604318 653741 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : [2,3,5,7,11,13,17,19,23,29,31,37,41,43,47,53,59,61,67,71,73,79,83,89,97,101... < 1357604339 718476 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :shachaf: will you give me a trip report regarding whatever route you take from JFK? < 1357604353 1784 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :kmc: If you like. < 1357604370 113524 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :yay < 1357604372 879720 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :i do like < 1357604385 506162 :GreyKnight!~GK@dab-crx1-h-10-4.dab.02.net PRIVMSG #esoteric :5000 word essay please with diagrams < 1357604392 662031 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Hmm, is "trip report" also a drugs thing? < 1357604399 99675 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :yes < 1357604408 219120 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :that's the 'original' context from which i know it < 1357604408 399520 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Is that why you like trains so much? < 1357604413 89670 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :haha < 1357604414 347111 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :no < 1357604417 461938 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I guess that wouldn't explain why lexande likes trains. < 1357604443 628500 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :> fix (\x -> 1:map (+1) x) < 1357604445 62869 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : [1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,22,23,24,25,26,27,28... < 1357604457 847432 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :> fix (\x -> 1:map (gcd . (+1)) x) < 1357604459 70899 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : Occurs check: cannot construct the infinite type: a0 = a0 -> a0 < 1357604481 278890 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :Wait < 1357604483 789832 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :yes, for some trips gmaps does recommend taking MNRR < 1357604487 918543 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :Nevermind < 1357604488 404711 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :gcd takes two arguments < 1357604497 132233 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :kmc: is that a drug < 1357604498 561175 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :Yeah, I noticed < 1357604505 777294 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :though i would just walk from lex/53rd to Grand Central instead of trying to catch the 6 < 1357604510 21782 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :it's a railroad < 1357604510 770785 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :metro north rail road < 1357604511 484200 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :> fix (\x -> 1:map (*2) x) < 1357604512 921316 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : [1,2,4,8,16,32,64,128,256,512,1024,2048,4096,8192,16384,32768,65536,131072,... < 1357604525 225650 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :> fix (\x -> 1:map (*2 - 1) x) < 1357604526 421119 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : The operator `GHC.Num.*' [infixl 7] of a section < 1357604526 600843 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : must have lower prece... < 1357604541 19764 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :sad trombone < 1357604541 254292 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :> fix (\x -> 1:map (*2).(-1) x) < 1357604542 678298 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : No instances for (GHC.Num.Num [b0], GHC.Num.Num ([[b0]] -> [[b0]])) < 1357604542 858258 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : aris... < 1357604542 858347 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :kmc: Once you recommended hopstop.com instead of Google Maps for NYC trips, I think? < 1357604548 573017 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :that's right < 1357604553 459418 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :let's see what hopstop says < 1357604583 491212 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :FreeFull: that last one is wrong for at least 3 different reasons :P < 1357604618 783847 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :> fix (\x -> 1:map ((*2).((-)1)) x) < 1357604620 396975 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : [1,0,2,-2,6,-10,22,-42,86,-170,342,-682,1366,-2730,5462,-10922,21846,-43690... < 1357604659 920014 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :hopstop lets you exclude individual subway lines < 1357604662 912198 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :in case you really hate the G train < 1357604674 776522 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :I wonder how you would do primes < 1357604716 668830 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :> fix (\x -> 2:filter (\a -> a`mod`x == 0) (x+1)) < 1357604717 901533 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : Occurs check: cannot construct the infinite type: a0 = [a0] < 1357604735 741734 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :Yeah, that wouldn't work < 1357604740 133826 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 QUIT :Ping timeout: 260 seconds < 1357604742 512194 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :x isn't the list, just an element < 1357604752 666201 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :What's wrong with the G? < 1357604754 145346 :GreyKnight!~GK@dab-crx1-h-10-4.dab.02.net PRIVMSG #esoteric :if you look at the entire lower list you could pull off some sort of sieve < 1357604777 79438 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :But I think you can only access the upper parts like this < 1357604821 195936 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 JOIN :#esoteric < 1357604829 814433 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :it's the train everyone loves to hate < 1357604841 924119 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :@src nubBy < 1357604842 139470 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :nubBy eq [] = [] < 1357604842 139654 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :nubBy eq (x:xs) = x : nubBy eq (filter (\ y -> not (eq x y)) xs) < 1357604847 766580 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :The E train is fancy. < 1357604851 163357 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Well, the one I was on. < 1357604854 870070 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :yes < 1357604860 408323 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :it has the newest cars in the system afaik < 1357604868 623086 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :with voice announcements by Bloomberg Radio personalities < 1357604881 181322 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :i think they do like Moscow Metro and use male voices in one direction and female in the other < 1357604935 868050 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Stay clear oft he closing doors, please! < 1357604978 150013 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Run around the block. Run for office. But don't run on the subway. < 1357604996 822342 :GreyKnight!~GK@dab-crx1-h-10-4.dab.02.net PRIVMSG #esoteric :"Mind the gap." "The gap is old enough to mind itself, bog off." < 1357605134 157693 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :> fix((0:).scanl(+)1) < 1357605135 884223 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : [0,1,1,2,3,5,8,13,21,34,55,89,144,233,377,610,987,1597,2584,4181,6765,10946... < 1357605154 558186 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :i think the newest cars on PATH might be a bit newer though < 1357605160 694177 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :(other obligatory example) < 1357605179 167006 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oerjan: uhhhhhh............... < 1357605185 370716 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :> fix((1:).scanl(+)1) < 1357605187 358758 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : [1,1,2,3,5,8,13,21,34,55,89,144,233,377,610,987,1597,2584,4181,6765,10946,1... < 1357605196 902789 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :ftfy hth hand < 1357605201 236842 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :shachaf: i considered, then rejected that option < 1357605213 823876 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :But the sequence starts with 1. < 1357605274 710637 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :> fix((55),scanl(-)34) < 1357605275 906009 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : Couldn't match expected type `a0 -> a0' with actual type `(t0, t1)' < 1357605281 499378 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :> fix((55).scanl(-)34) < 1357605282 928694 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : No instance for (GHC.Num.Num ([b0] -> [b0])) < 1357605283 108875 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : arising from a use of `e_15... < 1357605295 348805 :GreyKnight!~GK@dab-crx1-h-10-4.dab.02.net PRIVMSG #esoteric :starting with 0 gives you the nice boundary condition that F_0 = 0 and F_1 = 1 < 1357605297 490118 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :> fix((55:).scanl(-)34) < 1357605299 191167 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : [55,34,-21,-55,-34,21,55,34,-21,-55,-34,21,55,34,-21,-55,-34,21,55,34,-21,-... < 1357605302 144787 :GreyKnight!~GK@dab-crx1-h-10-4.dab.02.net PRIVMSG #esoteric :(how can you resist?!) < 1357605307 352090 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :exactly! < 1357605315 540672 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :Ok, this isn't what I intended < 1357605323 500769 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Starting with 1 gives you the very nice condition that it's correct. < 1357605325 908694 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :So there's that. < 1357605336 353361 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :(also F_(gcd(m,n)) = gcd(F_m,F_n)) < 1357605342 869568 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :Both 0,1 and 1,1 are correct < 1357605361 729932 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :@swat oerjan < 1357605361 910802 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :Maybe you meant: slap what < 1357605368 678865 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :@what oerjan < 1357605368 859130 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :I know nothing about oerjan. < 1357605381 186315 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oerjan is just a monoid in the monoid of monoids. < 1357605386 858144 :GreyKnight!~GK@dab-crx1-h-10-4.dab.02.net PRIVMSG #esoteric :ACTION gazes at shachaf Ꙭ < 1357605429 263517 :nooga!~nooga@ip-46-250-173-30.ip.maverick.com.pl QUIT :Ping timeout: 248 seconds < 1357605834 144968 :GreyKnight!~GK@dab-crx1-h-10-4.dab.02.net PRIVMSG #esoteric :> let trundle = (\init op -> fix (\x -> init:map op x)) in take 16 (trundle 1 (*2)) < 1357605835 572200 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : [1,2,4,8,16,32,64,128,256,512,1024,2048,4096,8192,16384,32768] < 1357606059 588523 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :If only there was a standard library operation for that. < 1357606094 252419 :GreyKnight!~GK@dab-crx1-h-10-4.dab.02.net PRIVMSG #esoteric :Yes. < 1357606122 686880 :GreyKnight!~GK@dab-crx1-h-10-4.dab.02.net PRIVMSG #esoteric :I'm sure it'd be very popular < 1357606140 434337 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Well, you can't just invent an entire standard library at once. < 1357606154 331200 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :You start with a simple base, see what people are missing, and iterate. < 1357606162 177944 :GreyKnight!~GK@dab-crx1-h-10-4.dab.02.net PRIVMSG #esoteric :first there is the important matter of *comment syntax* to settle < 1357606276 399468 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :> fix id < 1357606280 15213 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : mueval-core: Time limit exceeded < 1357606281 223836 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :> fix id 3 < 1357606284 933978 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : mueval-core: Time limit exceeded < 1357606293 430938 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :> fix \x -> 3 < 1357606294 506829 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : :1:5: parse error on input `\' < 1357606297 639439 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :> fix $ \x -> 3 < 1357606298 917166 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : 3 < 1357606306 969573 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :> fix $ id $ 3 < 1357606308 163353 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : No instance for (GHC.Num.Num (a0 -> a0)) < 1357606308 343613 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : arising from a use of `e_13' < 1357606308 343726 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : P... < 1357606308 523727 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :> Just $ do 5 :: Int < 1357606309 896800 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : Just 5 < 1357606337 952901 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :> Just $ do 5; return 10; < 1357606339 418595 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : Could not deduce (GHC.Num.Num (m a0)) < 1357606339 616477 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : arising from the ambiguity check f... < 1357606348 84064 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :> Just $ do 5; return (10 :: Int); < 1357606349 731916 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : Could not deduce (GHC.Num.Num (m a0)) < 1357606349 911745 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : arising from the ambiguity check f... < 1357606358 553888 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :> Just $ do 5 :: Int; return (10 :: Int); < 1357606360 85635 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : Couldn't match expected type `m0 a0' < 1357606360 266085 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : with actual type `GHC.Typ... < 1357606364 589682 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :Hrm < 1357606400 742509 :GreyKnight!~GK@dab-crx1-h-10-4.dab.02.net PRIVMSG #esoteric :> fix (\f -> (\s -> 'h':'t':f s)) "h" < 1357606401 254797 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric ::t Just $ do < 1357606402 243055 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : "hththththththththththththththththththththththththththththththththththththt... < 1357606402 482310 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :Empty 'do' block < 1357606411 545004 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric ::t Just $ < 1357606412 842765 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :parse error (possibly incorrect indentation) < 1357606414 722225 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric ::t Just < 1357606415 991235 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :a -> Maybe a < 1357606437 603558 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :> Just $ do 5 :: Int; 10 :: Int < 1357606439 102959 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : Couldn't match expected type `m0 a0' < 1357606439 372676 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : with actual type `GHC.Typ... < 1357606453 199905 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric ::t \x -> do x < 1357606454 410968 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :t -> t < 1357606467 965439 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :> Just $ do 5 >> 10 :: Int < 1357606469 669027 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : Couldn't match expected type `GHC.Types.Int' < 1357606469 849425 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : with actual type ... < 1357606510 797745 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :FreeFull: do 5 only works because the monadic type isn't checked when there is only one action < 1357606531 49530 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oerjan: It's hopefully not checked no matter how many actions there are. < 1357606540 151223 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :It's just that (>>)'s type forces it. < 1357606560 556713 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric ::set -XRebindableSyntax < 1357606561 428721 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :shachaf: i mean a do block action < 1357606565 718899 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :λ> let (>>) = const id in do 5; 6 < 1357606565 957415 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :6 < 1357606601 948963 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :oh well that redefinablesyntax thing < 1357606630 179898 :GreyKnight!~GK@dab-crx1-h-10-4.dab.02.net PRIVMSG #esoteric :FreeFull: "do" is a special syntax and not a function, so (Just $ do) isn't anything meaningful AIUI < 1357606663 47155 :nooodl!~nooodl@91.177.169.78 PRIVMSG #esoteric :seriously, -XRebindableSyntax? < 1357606667 145458 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric ::t Just $ return 5 >> return 6 :: Int < 1357606668 417162 :nooodl!~nooodl@91.177.169.78 PRIVMSG #esoteric :that sounds neat < 1357606668 606034 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : Couldn't match expected type `Int' with actual type `Maybe (m0 b0)' < 1357606668 606214 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : In the expression: Just $ return 5 >> return 6 :: Int < 1357606673 285677 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Hmm, you can make that particular line work without RebindableSyntax, I think. < 1357606674 237703 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric ::t Just $ return 5 >> return 6 :: Maybe Int < 1357606675 448718 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : Couldn't match expected type `Int' with actual type `m0 b0' < 1357606675 629351 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : Expected type: Maybe Int < 1357606675 629548 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : Actual type: Maybe (m0 b0) < 1357606682 961467 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric ::t Just $ return 5 >> return 6 < 1357606683 200831 :GreyKnight!~GK@dab-crx1-h-10-4.dab.02.net PRIVMSG #esoteric :ACTION wonders what FreeFull is trying to do < 1357606684 151445 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :(Monad m, Num b) => Maybe (m b) < 1357606685 202698 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :FreeFull: You should spam lambdabot in /msg < 1357606697 531805 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :One last thing < 1357606701 624815 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :> Just $ return 5 >> return 6 < 1357606702 889616 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : No instance for (GHC.Show.Show (m0 b0)) < 1357606703 69648 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : arising from a use of `M80020794... < 1357606714 139683 :GreyKnight!~GK@dab-crx1-h-10-4.dab.02.net PRIVMSG #esoteric :or, maybe get ghci locally :-) < 1357606715 657015 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :M80020794.... < 1357606722 165234 :Bike!~Glossina@67-5-245-201.ptld.qwest.net PRIVMSG #esoteric :m80020794 is my favorite type. < 1357606723 629782 :GreyKnight!~GK@dab-crx1-h-10-4.dab.02.net PRIVMSG #esoteric :those pesky M80020794s < 1357606732 216765 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :GreyKnight: lambdabot behaves differently from ghci though < 1357606742 83924 :GreyKnight!~GK@dab-crx1-h-10-4.dab.02.net PRIVMSG #esoteric :well! < 1357606786 234377 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :λ> Just $ do 5; 6 < 1357606786 414606 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Just 6 < 1357606788 886984 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :No RebidnableSyntax < 1357606797 613414 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :> Just $ return 5 >> return 6 :: Maybe (Either String Word16) < 1357606798 801710 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :What do you say to that? < 1357606799 40101 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : Just (Right 6) < 1357606819 911654 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :ACTION feels mildly bad for that, actually. < 1357606830 958360 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :> "Just $ do 5; 6" < 1357606832 427104 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : "Just $ do 5; 6" < 1357606844 280339 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :UNICODE CHECK PASSED < 1357606863 887316 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :But that didn't use any UTF-8 that isn't also ASCII-7 < 1357606869 414589 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I wouldn't feel bad for cheating. < 1357606873 599526 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Er, for cheating that way. < 1357606881 732496 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :shachaf: you can do it with a sufficiently evil instance, of course < 1357606895 978138 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :You need more than one, I think. < 1357606932 86224 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :instance Num a=> Num (m a) < 1357606946 467927 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Right, that's one. < 1357606957 930718 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :and a Show < 1357606959 596488 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I think you have to define two different data types to make it work? < 1357606990 358150 :GreyKnight!~GK@dab-crx1-h-10-4.dab.02.net PRIVMSG #esoteric :It's time for the Tuesday edition of the Type Arcana Show < 1357607012 6544 :nooodl!~nooodl@91.177.169.78 QUIT :Ping timeout: 248 seconds < 1357607015 702976 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Making defaulting work is tricky. < 1357607017 737285 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :FreeFull: THUS IT PASSED < 1357607052 822706 :GreyKnight!~GK@dab-crx1-h-10-4.dab.02.net PRIVMSG #esoteric :> "😻" < 1357607053 146142 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : mueval: recoverEncode: invalid argument (invalid character) < 1357607077 92692 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :@read  < 1357607077 273437 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :Plugin `dummy' failed with: Prelude.read: no parse < 1357607082 477472 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :@read "" < 1357607082 657139 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :  < 1357607091 765995 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :eek < 1357607098 179008 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :@read "" < 1357607098 416602 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :  < 1357607098 892790 :Bike!~Glossina@67-5-245-201.ptld.qwest.net PRIVMSG #esoteric :innovative bugs up in here < 1357607118 443385 :ais523!~ais523@unaffiliated/ais523 QUIT : < 1357607121 788954 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :@show  < 1357607121 969102 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :"\239\152\187" < 1357607128 682512 :zzo38!~zzo38@24-207-49-17.eastlink.ca JOIN :#esoteric < 1357607242 49560 :GreyKnight!~GK@dab-crx1-h-10-4.dab.02.net PRIVMSG #esoteric :> let trap_in_forcefield = (\P -> "⌇⌇"++P++"⌇⌇") in (trap_in_forcefield "shachaf") < 1357607242 268388 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : mueval: recoverEncode: invalid argument (invalid character) < 1357607259 950191 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 QUIT :Ping timeout: 260 seconds < 1357607281 290838 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net JOIN :#esoteric < 1357607365 206790 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 JOIN :#esoteric < 1357607410 783583 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :hi monqy :') < 1357607414 111712 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 QUIT :Remote host closed the connection < 1357607428 832126 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :have you ever been trapped in a force field < 1357607431 304686 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :hi shachaf < 1357607447 205241 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :i don't think those exist < 1357607454 443628 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :uhhh < 1357607463 736876 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :p. sure they do? < 1357607468 762945 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :ok < 1357607475 260075 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :i saw it in a movie < 1357607486 836911 :Bike!~Glossina@67-5-245-201.ptld.qwest.net PRIVMSG #esoteric :⌇⌇forcefields⌇⌇ < 1357607490 327450 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i'm trapped in this ridiculously strong force field < 1357607514 30017 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :it's so strong, i simply cannot afford to get off this planet < 1357607532 370419 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :must suck to be you!!! < 1357607540 408518 :GreyKnight!~GK@dab-crx1-h-10-4.dab.02.net PRIVMSG #esoteric :⌇⌇😻 oerjan⌇⌇ Now a smiling cat with heart-shaped eyes is trapped in the force field with you < 1357607550 784845 :GreyKnight!~GK@dab-crx1-h-10-4.dab.02.net PRIVMSG #esoteric :who will get hungry first?! < 1357607557 663310 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :oerjan: you can't because you don't really *want* to, that's all! < 1357607582 288872 :hagb4rd!~perdito@koln-5d81f5f3.pool.mediaWays.net PRIVMSG #esoteric :omg it really is a smiling cat with heart shaped eyes < 1357607632 314333 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :ACTION munches on the cat < 1357607661 416971 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :it wasn't feline very good < 1357607731 351497 :GreyKnight!~GK@dab-crx1-h-10-4.dab.02.net PRIVMSG #esoteric :hagb4rd, it is best character < 1357607736 365932 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :monqy: the gravity of the situation is unmistakeable < 1357607750 820250 :hagb4rd!~perdito@koln-5d81f5f3.pool.mediaWays.net PRIVMSG #esoteric :all the time i thought it's a joke < 1357607812 943733 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Where should I learn about reading diagrams like http://slbkbs.org/help.png ? < 1357607819 706245 :hagb4rd!~perdito@koln-5d81f5f3.pool.mediaWays.net PRIVMSG #esoteric :now i am little bit scared < 1357607825 307270 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :It looks scary. < 1357607872 304709 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :doesnt look that bad < 1357607899 820001 :GreyKnight!~GK@dab-crx1-h-10-4.dab.02.net PRIVMSG #esoteric :hagb4rd: we also discovered a few weeks back that there are not one but three penis glyphs in Unicode hth < 1357607906 316207 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :type judgements in natural deduction notation < 1357607914 181306 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I don't even know the notation. < 1357607920 259257 :Bike!~Glossina@67-5-245-201.ptld.qwest.net PRIVMSG #esoteric :GreyKnight: but no combining penis above :( < 1357607925 826383 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :you've never seen natural deduction notation? < 1357607934 466503 :hagb4rd!~perdito@koln-5d81f5f3.pool.mediaWays.net PRIVMSG #esoteric :wow < 1357607936 609550 :GreyKnight!~GK@dab-crx1-h-10-4.dab.02.net PRIVMSG #esoteric :shocking omission :< < 1357607944 886104 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I've seen simple versions. < 1357607961 177679 :GreyKnight!~GK@dab-crx1-h-10-4.dab.02.net PRIVMSG #esoteric :(hagb4rd: to be fair they are all Egyptian hieroglyphs so not technically Unicode's fault :-3) < 1357607984 507090 :GreyKnight!~GK@dab-crx1-h-10-4.dab.02.net PRIVMSG #esoteric :the hieroglyph for "penis" is guess what < 1357607991 329785 :hagb4rd!~perdito@koln-5d81f5f3.pool.mediaWays.net PRIVMSG #esoteric :dunno < 1357607997 816175 :hagb4rd!~perdito@koln-5d81f5f3.pool.mediaWays.net PRIVMSG #esoteric :a penis? < 1357608006 270337 :Bike!~Glossina@67-5-245-201.ptld.qwest.net PRIVMSG #esoteric :combining multiocular o above < 1357608016 906832 :GreyKnight!~GK@dab-crx1-h-10-4.dab.02.net PRIVMSG #esoteric :hagb4rd, exactly :-P < 1357608022 2140 :hagb4rd!~perdito@koln-5d81f5f3.pool.mediaWays.net PRIVMSG #esoteric :lol < 1357608026 32522 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :"Japanese hacker continues to taunt police with clue strapped to cat" < 1357608056 401091 :GreyKnight!~GK@dab-crx1-h-10-4.dab.02.net PRIVMSG #esoteric :kmc: it's http://xkcd.com/262/ in real life :-o < 1357608103 193157 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :stupid cyberpunk future < 1357608164 183533 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :monqy: Maybe the problem is that I don't know anything about type systems. < 1357608170 252417 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :that could be it < 1357608185 931409 :GreyKnight!~GK@dab-crx1-h-10-4.dab.02.net PRIVMSG #esoteric :I am glad Unicode included specific codepoints for Roman numerals, I've no idea how I would write 50 without the glyph for "Ⅼ" < 1357608189 314270 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Do you know about type systems? < 1357608191 103116 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :shachaf: have you read "tapl"? it's a nice introduction < 1357608201 895321 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :monqy: Nope. < 1357608206 137363 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Should I read that? < 1357608208 710090 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :shachaf: hm the parts from the squiggly lines out _do_ look unfamiliar, without them most of it would be as i expect < 1357608209 683774 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I guess I should. < 1357608219 581897 :GreyKnight!~GK@dab-crx1-h-10-4.dab.02.net PRIVMSG #esoteric :shachaf: you are a haskellian how can you not know type systems?! < 1357608232 34874 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :GreyKnight: I'm a fake. :-( < 1357608250 915319 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :my guess about the squiggly lines is it's the constraints you can derive from the typing judgment < 1357608264 49781 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :what has to unify with what < 1357608279 427632 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :(which afaict is supported by how they're used) < 1357608312 863446 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :aha < 1357608420 926924 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :shachaf: generally for natural deduction stuff the way i go about it is if there's something that the judgment is "about" e.g. the expression being typed, in the case of type systems, or evaluated, in the case of operational semantics, look at that bit under the line first to know what's going on, and then go from there < 1357608582 957351 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :monqy: indeed that seems to be how to interpret the added tau ~ tau_1 condition in LETA < 1357608826 772642 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :monqy: Hmm. < 1357608838 135975 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I guess I should read TaPL. < 1357608982 677116 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net QUIT :Quit: Arc_Koen < 1357609216 330593 :GreyKnight!~GK@dab-crx1-h-10-4.dab.02.net QUIT :Quit: zzz < 1357609230 700997 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :"A pony isn't a baby horse, it's a foal, a fucking foal is a baby horse" "Right, our guest tonight on I Don't Give A Fuck About Baby Horses is me" < 1357609244 533816 :olsner!~salparot@c83-252-194-156.bredband.comhem.se PRIVMSG #esoteric :right, ponies are foals < 1357609375 59794 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :hm do girls who want ponies believe that they are baby horses? < 1357609446 348772 :olsner!~salparot@c83-252-194-156.bredband.comhem.se PRIVMSG #esoteric :they probably hope for a mishap in the pony store so they get a baby horse mistaken for a pony < 1357609468 277617 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :Mishap in the Pony Store would be a good name for an emo band < 1357609481 292999 :TeruFSX!~TeruFSX@65-128-142-102.mpls.qwest.net JOIN :#esoteric < 1357609491 828311 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :that has a ring to it < 1357609522 846523 :hagb4rd!~perdito@koln-5d81f5f3.pool.mediaWays.net PRIVMSG #esoteric :related: http://emobandname.com/ < 1357609575 204308 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :"Mornings Post Sex" < 1357609585 680409 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :i got "Drunk Hungry Sex" < 1357609593 847056 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :also "Bullied Your Family" < 1357609629 74683 :olsner!~salparot@c83-252-194-156.bredband.comhem.se PRIVMSG #esoteric :"October Fun Hot Dog" < 1357609656 11045 :Bike!~Glossina@67-5-245-201.ptld.qwest.net PRIVMSG #esoteric :That hardly sounds very emo. < 1357609720 195231 :hagb4rd!~perdito@koln-5d81f5f3.pool.mediaWays.net PRIVMSG #esoteric :well.. it hardly beats "mishap in the pony store" < 1357609728 214257 :hagb4rd!~perdito@koln-5d81f5f3.pool.mediaWays.net PRIVMSG #esoteric :that's right < 1357609864 439578 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :"New party logo: A kitten in a sock, sitting on a motorway shouting 'Help me, help me, I don't know what to do'" < 1357610150 857292 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :^rot13 ivan < 1357610151 671308 :fungot!fis@selene.zem.fi PRIVMSG #esoteric :vina < 1357610171 91400 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :☝ < 1357610174 271961 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :^rot13 *GASP* < 1357610174 841639 :fungot!fis@selene.zem.fi PRIVMSG #esoteric :*TNFC* < 1357610375 599123 :hagb4rd!~perdito@koln-5d81f5f3.pool.mediaWays.net PRIVMSG #esoteric :this reminds of a southpark episode in which they claimed the scripts of "family guy" beeing written by a group of seals randomly picking up some coloured balls representing pop-cultural-references < 1357610391 926350 :WeThePeople!~WeThePeop@unaffiliated/wethepeople JOIN :#esoteric < 1357610712 41137 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :"PRESENTATION FORM FOR VERTICAL RIGHT WHITE LENTICULAR BRAKCET * misspelling of "BRACKET" in character name is a known defect" < 1357610760 341946 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :1D0C5 BYZANTINE MUSICAL SYMBOL FHTORA SKLIRON CHROMA VASIS < 1357610762 979415 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric : * misspelling of "FTHORA" in character name is a known defect < 1357610774 42364 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Hmm. < 1357610786 51978 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :ACTION is more concerned with LAMDA. < 1357610816 331068 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :MATHEMATICAL SANS-SERIF BOLD ITALIC SMALL LAMDA < 1357610871 531612 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :* misspelling of "LAMBADA" in character name is a known defect < 1357610873 330214 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :but is it a known defect?? < 1357610906 133232 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :(The regular λ is also spelled LAMDA.) < 1357610937 355772 :olsner!~salparot@c83-252-194-156.bredband.comhem.se PRIVMSG #esoteric :if they don't know how to spell something, I guess they can call it an unknown defect < 1357610958 30685 :Bike!~Glossina@67-5-245-201.ptld.qwest.net PRIVMSG #esoteric :they can't change the names once they're set down, can they? < 1357610986 61486 :olsner!~salparot@c83-252-194-156.bredband.comhem.se PRIVMSG #esoteric :they can start consistently misspelling the name < 1357611011 435781 :Bike!~Glossina@67-5-245-201.ptld.qwest.net PRIVMSG #esoteric :referer < 1357611063 406460 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :^rot13 Vivian < 1357611063 908269 :fungot!fis@selene.zem.fi PRIVMSG #esoteric :Ivivna < 1357611122 762089 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :^rot13 naught, vain < 1357611123 238778 :fungot!fis@selene.zem.fi PRIVMSG #esoteric :anhtug, inva < 1357611141 271242 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :^rot13 anna < 1357611141 746969 :fungot!fis@selene.zem.fi PRIVMSG #esoteric :naan < 1357611160 65212 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :^rot13 funpuns < 1357611160 303462 :fungot!fis@selene.zem.fi PRIVMSG #esoteric :shachaf < 1357611163 946628 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric ::0 < 1357611172 581478 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :monqy: zomg < 1357611188 664998 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :^rot13 natural deduction < 1357611189 60603 :fungot!fis@selene.zem.fi PRIVMSG #esoteric :angheny qrqhpgvba < 1357611195 111855 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :^rot13 monqy < 1357611195 807848 :fungot!fis@selene.zem.fi PRIVMSG #esoteric :zbadl < 1357611201 112357 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :^rot13 mrmistermonkey < 1357611202 259102 :fungot!fis@selene.zem.fi PRIVMSG #esoteric :zezvfgrezbaxrl < 1357611264 670014 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :monqy: do you know about linear algebra < 1357611272 290065 :olsner!~salparot@c83-252-194-156.bredband.comhem.se PRIVMSG #esoteric :^rot13 itflabtijtslwi < 1357611272 597076 :fungot!fis@selene.zem.fi PRIVMSG #esoteric :vgsynogvwgfyjv < 1357611284 699171 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :^rot13 emblazonry < 1357611285 215381 :fungot!fis@selene.zem.fi PRIVMSG #esoteric :rzoynmbael < 1357611292 710058 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :shachaf: at lest some about it. what about it? < 1357611306 296447 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :monqy: i don't know i don't know much about it :( < 1357611313 618742 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :and elliott doesn't either? unless he does < 1357611322 710596 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :and anyway should i know things about it < 1357611326 429745 :olsner!~salparot@c83-252-194-156.bredband.comhem.se PRIVMSG #esoteric :^rot13 g < 1357611326 940448 :fungot!fis@selene.zem.fi PRIVMSG #esoteric :t < 1357611352 788332 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :It's fun, especially if you like writing raycasters and raytracers and stuff < 1357611372 143832 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :my knowledge of linear algebra is more on the theory side than the appication side < 1357611393 393702 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :the theory side is good < 1357611442 768362 :olsner!~salparot@c83-252-194-156.bredband.comhem.se PRIVMSG #esoteric :derivative esolang time: vgsynogvwgfyjv is itflabtijtslwi but with T instead of G < 1357611451 193895 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :OKAY < 1357611473 684580 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :^rot13 < 1357611477 477478 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :^rot13 brick < 1357611477 715247 :fungot!fis@selene.zem.fi PRIVMSG #esoteric :oevpx < 1357611484 851175 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :^rot13 oerjan < 1357611485 130094 :fungot!fis@selene.zem.fi PRIVMSG #esoteric :brewna < 1357611489 238739 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :^rot13 brain < 1357611489 712572 :fungot!fis@selene.zem.fi PRIVMSG #esoteric :oenva < 1357611505 678276 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :^rot13 averting < 1357611505 914369 :fungot!fis@selene.zem.fi PRIVMSG #esoteric :niregvat < 1357611508 111307 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :expect your oenva to swapped with an oevpx < 1357611514 450321 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :*+be < 1357611514 928348 :olsner!~salparot@c83-252-194-156.bredband.comhem.se PRIVMSG #esoteric :ok brewna < 1357611523 166051 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :^rot13 verily < 1357611523 641269 :fungot!fis@selene.zem.fi PRIVMSG #esoteric :irevyl < 1357611532 757525 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :^rto13 regret < 1357611538 807251 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :^rot13 regret < 1357611539 349697 :fungot!fis@selene.zem.fi PRIVMSG #esoteric :erterg < 1357611545 541548 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :^rot13 fuehrer < 1357611546 17061 :fungot!fis@selene.zem.fi PRIVMSG #esoteric :shruere < 1357611549 538146 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :oh, darn < 1357611560 522406 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :that works when pluralised < 1357611569 383184 :hagb4rd!~perdito@koln-5d81f5f3.pool.mediaWays.net PRIVMSG #esoteric :hey regret makes a perfect anagram tooo < 1357611598 286021 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :^rot13 grievant < 1357611598 814282 :fungot!fis@selene.zem.fi PRIVMSG #esoteric :tevrinag < 1357611624 338808 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :qre shruere < 1357611638 110608 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Ooh. < 1357611640 572677 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :^rot13 ravine < 1357611641 958028 :fungot!fis@selene.zem.fi PRIVMSG #esoteric :enivar < 1357611647 8421 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :Oh, nice < 1357611648 200408 :olsner!~salparot@c83-252-194-156.bredband.comhem.se PRIVMSG #esoteric :oerjan: I thought the brickbraining only applied for BF derivatives < 1357611675 720780 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :A COMMON ERROR < 1357611696 637759 :hagb4rd!~perdito@koln-5d81f5f3.pool.mediaWays.net PRIVMSG #esoteric :we're just so lonely and bored < 1357611712 782846 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :^rot13 tang < 1357611713 20542 :fungot!fis@selene.zem.fi PRIVMSG #esoteric :gnat < 1357611725 754617 :hagb4rd!~perdito@koln-5d81f5f3.pool.mediaWays.net PRIVMSG #esoteric :and we don't even have hackego to play with < 1357611758 68220 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :^rot13 hackego < 1357611758 319796 :fungot!fis@selene.zem.fi PRIVMSG #esoteric :unpxrtb < 1357611769 369083 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :^rot13 fungot < 1357611769 840892 :fungot!fis@selene.zem.fi PRIVMSG #esoteric :shatbg < 1357611780 76183 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :^rot13 hagb4rd < 1357611780 550114 :fungot!fis@selene.zem.fi PRIVMSG #esoteric :unto4eq < 1357611799 902829 :olsner!~salparot@c83-252-194-156.bredband.comhem.se PRIVMSG #esoteric :find a nice character that looks like a flipped G, swap / and \ and you can get iwlstjitbalfti < 1357611816 842527 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :shachaf: http://hastebin.com/jelivupufu < 1357611851 652867 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I think your words file is better than mine. < 1357611888 882013 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :^rot13 erneenatrzrag < 1357611889 119478 :fungot!fis@selene.zem.fi PRIVMSG #esoteric :rearrangement < 1357611891 24345 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :"almost" < 1357611918 457680 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :ACTION uses the words-insane package from AUR < 1357611926 605088 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :or rather, the words file it provides < 1357611944 18380 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Hmm, find me a good Debian package. < 1357611988 712573 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :You could just look at the pkgbuild and grab the file from the same source < 1357611992 706301 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :https://aur.archlinux.org/packages/wo/words-insane/PKGBUILD < 1357612017 535607 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :http://downloads.sourceforge.net/wordlist/scowl-7.1.tar.gz it seems < 1357612065 531472 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :> rot13 "terra" < 1357612067 320145 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : "green" < 1357612402 798186 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :^rot13 mars < 1357612403 18026 :fungot!fis@selene.zem.fi PRIVMSG #esoteric :znef < 1357612427 11952 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :^rot13 mercury venus jupiter saturn uranus neptune < 1357612427 488405 :fungot!fis@selene.zem.fi PRIVMSG #esoteric :zrephel irahf whcvgre fnghea henahf arcghar < 1357612432 740967 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :^rot13 pluto < 1357612433 222451 :fungot!fis@selene.zem.fi PRIVMSG #esoteric :cyhgb < 1357612468 95708 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :^rot13 titan enceladus ganymede eris vesta ceres < 1357612468 808207 :fungot!fis@selene.zem.fi PRIVMSG #esoteric :gvgna raprynqhf tnalzrqr revf irfgn prerf < 1357612472 445131 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :^rot13 mercurial < 1357612472 684015 :fungot!fis@selene.zem.fi PRIVMSG #esoteric :zrephevny < 1357612495 730672 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :the famous czech version control < 1357612515 738061 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :^rot13 czech < 1357612515 999238 :fungot!fis@selene.zem.fi PRIVMSG #esoteric :pmrpu < 1357612583 287125 :hagb4rd!~perdito@koln-5d81f5f3.pool.mediaWays.net PRIVMSG #esoteric :^rot13 io miranda triton < 1357612583 765959 :fungot!fis@selene.zem.fi PRIVMSG #esoteric :vb zvenaqn gevgba < 1357612601 396439 :hagb4rd!~perdito@koln-5d81f5f3.pool.mediaWays.net PRIVMSG #esoteric :^rot13 phobos < 1357612601 907735 :fungot!fis@selene.zem.fi PRIVMSG #esoteric :cubobf < 1357612700 48585 :c00kiemon5ter!~c00kiemon@foss-aueb/coder/c00kiemon5ter PRIVMSG #esoteric :^rot13 cookies < 1357612700 286681 :fungot!fis@selene.zem.fi PRIVMSG #esoteric :pbbxvrf < 1357612702 950087 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :^rot13 robyn < 1357612703 189569 :fungot!fis@selene.zem.fi PRIVMSG #esoteric :ebola < 1357612724 346456 :hagb4rd!~perdito@koln-5d81f5f3.pool.mediaWays.net PRIVMSG #esoteric :shachaf is cheating < 1357612871 87788 :hagb4rd!~perdito@koln-5d81f5f3.pool.mediaWays.net PRIVMSG #esoteric :guess i'll watch another space-realated-documentation and try to fall asleep < 1357612876 535864 :hagb4rd!~perdito@koln-5d81f5f3.pool.mediaWays.net PRIVMSG #esoteric :^rot13 good night < 1357612877 21147 :fungot!fis@selene.zem.fi PRIVMSG #esoteric :tbbq avtug < 1357612914 636741 :hagb4rd!~perdito@koln-5d81f5f3.pool.mediaWays.net QUIT :Quit: tbbq avtug < 1357612984 14718 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :^rot13 nowhere < 1357612984 490743 :fungot!fis@selene.zem.fi PRIVMSG #esoteric :abjurer < 1357613800 391658 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I guess most of these are well-known. < 1357613803 785165 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I didn't know them! < 1357614044 929725 :DHeadshot!~DH____@unaffiliated/dh----/x-6288474 JOIN :#esoteric < 1357614169 480976 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :I have read it somewhere; "abjurer" and "nowhere" is apparently the longest ROT13 pair in ordinary English words. < 1357614230 686063 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :that's neat < 1357614274 478458 :Bike!~Glossina@67-5-245-201.ptld.qwest.net PRIVMSG #esoteric :I don't even remember what "abjurer" means. A summoning magician? Some kind of legal thing? < 1357614277 524729 :Bike!~Glossina@67-5-245-201.ptld.qwest.net PRIVMSG #esoteric :@wn abjurer < 1357614278 34781 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :*** "abjurer" wn "WordNet (r) 3.0 (2006)" < 1357614278 271027 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :abjurer < 1357614278 451245 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : n 1: a person who abjures < 1357614282 412256 :Bike!~Glossina@67-5-245-201.ptld.qwest.net PRIVMSG #esoteric :Fuck you. < 1357614286 782372 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :thx lambdabot < 1357614289 167041 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :ACTION falls over laughing < 1357614301 30069 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :@wn abjures < 1357614301 268574 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :No match for "abjures". < 1357614306 766009 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :apparently it means "to solemnly renounce" < 1357614307 243624 :Bike!~Glossina@67-5-245-201.ptld.qwest.net PRIVMSG #esoteric :fuuuuuck youuuuu < 1357614309 492098 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :@wn abjure < 1357614309 734216 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :*** "abjure" wn "WordNet (r) 3.0 (2006)" < 1357614310 21440 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :abjure < 1357614310 202119 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : v 1: formally reject or disavow a formerly held belief, usually < 1357614310 202277 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : under pressure; "He retracted his earlier statements about < 1357614310 202386 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : his religion"; "She abjured her beliefs" [syn: {abjure}, < 1357614311 699470 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : {recant}, {forswear}, {retract}, {resile}] < 1357614331 626335 :Bike!~Glossina@67-5-245-201.ptld.qwest.net PRIVMSG #esoteric :That's, like. How do you do that typically? < 1357614337 665515 :Bike!~Glossina@67-5-245-201.ptld.qwest.net PRIVMSG #esoteric :I want "abjurer" on business cards now < 1357614350 674118 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :@wn abjuration < 1357614350 947113 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :*** "abjuration" wn "WordNet (r) 3.0 (2006)" < 1357614351 127371 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :abjuration < 1357614351 127529 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : n 1: a disavowal or taking back of a previous assertion [syn: < 1357614351 127636 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : {retraction}, {abjuration}, {recantation}] < 1357616019 313483 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :"California man says he can drive in carpool lane with corporation papers" < 1357616024 202159 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :because corporations are people! < 1357616033 922348 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :this is masterful law-trolling < 1357616076 310042 :Bike!~Glossina@67-5-245-201.ptld.qwest.net PRIVMSG #esoteric :is that in court yet? < 1357616099 539834 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :kmc: hahahahahahahahaha < 1357616131 917944 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Corporations are people, but corporation papers aren't corporations. < 1357617156 145742 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :then maybe bodies aren't people < 1357617277 243698 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Yes, but your soul is in your body. < 1357617309 357204 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :Your soul is not a physical object though; how can it have a physical location? < 1357617317 193015 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net QUIT :Quit: hello < 1357617328 987733 :Bike!~Glossina@67-5-245-201.ptld.qwest.net PRIVMSG #esoteric :if they get a medieval theologian in court i will be appeased < 1357617446 834308 :myndzi\!~myndzi@50-194-51-62-static.hfc.comcastbusiness.net JOIN :#esoteric < 1357617904 374176 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :But I also do not think whether your soul is a physical object is relevant to the case, anyways. < 1357619927 532217 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :Someone once told me what they thought Canadian chess was, which was that the bishops are replaced by beavers, and that the king can use the gun, but only if he has a license. < 1357620070 709041 :TeruFSX!~TeruFSX@65-128-142-102.mpls.qwest.net QUIT :Ping timeout: 260 seconds < 1357620249 259075 :TeruFSX!~TeruFSX@65-128-142-102.mpls.qwest.net JOIN :#esoteric < 1357621610 330720 :TeruFSX!~TeruFSX@65-128-142-102.mpls.qwest.net QUIT :Ping timeout: 246 seconds < 1357621659 905139 :Nisstyre!~yours@oftn/member/Nisstyre QUIT :Remote host closed the connection < 1357622053 788815 :DH____!~DH____@unaffiliated/dh----/x-6288474 JOIN :#esoteric < 1357622147 936541 :DHeadshot!~DH____@unaffiliated/dh----/x-6288474 QUIT :Ping timeout: 248 seconds < 1357622245 386033 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net JOIN :#esoteric < 1357623656 806296 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :I should really grab all my college stuff off their servers < 1357623703 208514 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :then do so. < 1357623954 716339 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :zzo38: how far does the king shoot? < 1357624561 839800 :WeThePeople!~WeThePeop@unaffiliated/wethepeople QUIT :Quit: Leaving < 1357624991 212882 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :kmc: I don't know. Someone just said these things; not the details. < 1357625027 782822 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :zzo38: Does the king need a license in American chess? < 1357625123 254980 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :shachaf: I know how to play the actual games called Canadian chess and American chess, and in neither game can the king shoot (American chess doesn't have a king). And it also isn't what those other people suggested to me. < 1357625145 267441 :oklofok!~oklopol@dyn60-339.yok.fi JOIN :#esoteric < 1357625168 612740 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :What about Finnish chess? < 1357625197 325482 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :I don't know that one. < 1357625239 1150 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :They don't seem to have that one. < 1357625259 941560 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :You can make up a variant called "Finnish chess" if you want to. < 1357625283 172820 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :zzo38: Does the king have a gun? < 1357625352 777390 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :shachaf: I think in some variants there is the king having a gun. < 1357625366 349581 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :http://www.chessvariants.org/difftaking.dir/kingwithshotgun.html < 1357625424 775697 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :zzo38: Is there a variant where you can take the king? < 1357625458 393614 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :http://www.chessvariants.org/usualeq.dir/ktkprobl.html < 1357625488 551811 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :zzo38: the canadian chess thing was just a joke, you know. the author knew that no such thing existed. < 1357625537 350864 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :quintopia: Yes, I am sure you are correct; they were just suggesting a game like that, because I told them about Canadian chess, and they didn't know the actual Canadian chess game. < 1357625554 509722 :Bike!~Glossina@67-5-245-201.ptld.qwest.net PRIVMSG #esoteric :what's actual canadian chess like? < 1357625561 120030 :asiekierka_!~asiekierk@fluttershy.pl JOIN :#esoteric < 1357625591 255662 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :If you capture opponent's pieces, you have to place it on a vacant square as part of your turn. The color and kind of piece remains the same. < 1357625625 389080 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :wow that sounds really difficult < 1357625647 120772 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :i doubt a computer could play that one very well < 1357625660 555288 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :it has a branching factor higher than arimaa < 1357625689 245119 :DH____!~DH____@unaffiliated/dh----/x-6288474 QUIT :*.net *.split < 1357625689 425816 :asiekierka!~asiekierk@fluttershy.pl QUIT :*.net *.split < 1357625689 605180 :fungot!fis@selene.zem.fi QUIT :*.net *.split < 1357625689 605330 :oklopol!~oklopol@dyn60-339.yok.fi QUIT :*.net *.split < 1357625689 605412 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net QUIT :*.net *.split < 1357625754 530512 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :i once invented a game on a chessboard < 1357625860 619553 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :iirc, if the queen got captured, it could swap with any other piece to be captured in its place < 1357625978 51521 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :but i think an interesting variant would be: if a piece is captured and its starting square is open, it returns there instead. perhaps you would have to label all the pieces to remember where they started < 1357626010 730092 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :zzo38: have you ever played bughouse < 1357626046 47841 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net JOIN :#esoteric < 1357626152 823799 :Nisstyre!~yours@bas9-hamilton14-1279462832.dsl.bell.ca JOIN :#esoteric < 1357626166 967961 :Nisstyre!~yours@bas9-hamilton14-1279462832.dsl.bell.ca QUIT :Changing host < 1357626167 148072 :Nisstyre!~yours@oftn/member/Nisstyre JOIN :#esoteric < 1357626726 867132 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :quintopia: I have played bughouse on computer once, I think, against the computer. I forget if I win or lose though < 1357626755 445562 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :I think the variant where pieces return to their starting square if it is vacant, is exist too, and is called Circe. < 1357626772 756233 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :zzo38: do you label the pieces < 1357626813 468907 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :http://www.chessvariants.org/difftaking.dir/circe.html < 1357626837 218752 :Sgeo_!~Sgeo@ool-ad034ea6.dyn.optonline.net JOIN :#esoteric < 1357626842 303425 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net QUIT :Ping timeout: 248 seconds < 1357626861 569128 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :It is possible to label the pieces (I believe if you label the pieces it is called "heraldic"), but it is different to how Circe is played. < 1357626897 653174 :oerjan!oerjan@sprocket.nvg.ntnu.no QUIT :Quit: leaving < 1357626944 834954 :Bike!~Glossina@67-5-245-201.ptld.qwest.net PRIVMSG #esoteric :what, normally you just have to remember? < 1357627038 733828 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :Bike: No; in Circe, a rook/knight/bishop is placed on a square of the same color as it is currently on, and a pawn is placed on the same file it is currently on. < 1357627049 667335 :Bike!~Glossina@67-5-245-201.ptld.qwest.net PRIVMSG #esoteric :oh, i see. < 1357627102 996857 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :However, you could also play Heraldic Circe where they do go back to their actual starting position instead. < 1357627198 156800 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :My brother and myself have made up many chess variants, though. < 1357627576 294742 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :what is the best one? < 1357627674 813311 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :I don't know. < 1357627853 683278 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :However, some of them are: http://www.chessvariants.org/index/msdisplay.php?itemid=MSblandchess http://www.chessvariants.org/index/msdisplay.php?itemid=MSlatrumcolorumc http://www.chessvariants.org/index/msdisplay.php?itemid=MS123456chess http://www.chessvariants.org/index/msdisplay.php?itemid=MS123456chess < 1357627880 883469 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :Here is one that me and my brother have invented simultaneously: http://www.chessvariants.org/index/msdisplay.php?itemid=MSchesswithcheck < 1357628057 417155 :Sgeo_!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :DrRacket freezes way too much for my comfort < 1357628174 42027 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :This is a game that I don't know the inventor; someone who described it to me, says someone else described it to him and he does not know who invented it. But this game was not already documented, so I put it onto the computer. http://www.chessvariants.org/index/msdisplay.php?itemid=MSchesswithquant < 1357628290 336450 :Bike!~Glossina@67-5-245-201.ptld.qwest.net PRIVMSG #esoteric :telefrag chess, eh < 1357628305 810165 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :How do you play telefrag chess? < 1357628313 550286 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :is a telefrag where you teleport inside someone else and explode them? < 1357628319 172614 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :that was the best in unreal tournament < 1357628353 337663 :Bike!~Glossina@67-5-245-201.ptld.qwest.net PRIVMSG #esoteric :yeah, that's a telefrag. double bishop high-falutin' action reminded me of it < 1357628361 259469 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :bishop on bishop action < 1357628376 974293 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :123456 Chess reminds me of 123456 Pokémon < 1357628414 491529 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :What is 123456 Pokemon? < 1357628420 894733 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :a song < 1357628421 608881 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :https://www.youtube.com/watch?v=ZlVUXLBJg14 < 1357628535 751147 :Bike!~Glossina@67-5-245-201.ptld.qwest.net PRIVMSG #esoteric :dig the outfit < 1357628710 878188 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :I have made up a Pokemon card puzzle requiring to retreat three times. Is there a situation which requires retreating more than three times? < 1357628733 49036 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :I don't know < 1357628881 249126 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :Sometimes even in an actual game, I have retreated twice in one turn (even if not confused), but not more than that. < 1357629575 894829 :augur_!~augur@c-75-74-129-116.hsd1.fl.comcast.net JOIN :#esoteric < 1357629730 294365 :augur!~augur@c-75-74-129-116.hsd1.fl.comcast.net QUIT :Ping timeout: 260 seconds < 1357630305 936017 :ogrom!~del@gprs-inet-65-186.elisa.ee JOIN :#esoteric < 1357631358 133201 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :Can you understand this Pokemon card puzzle? gopher://zzo38computer.org:70/0textfile/miscellaneous/pokemon_card/puzzle.3 http://zzo38computer.org/textfile/miscellaneous/pokemon_card/puzzle.3 < 1357631410 762072 :ogrom!~del@gprs-inet-65-186.elisa.ee QUIT :Ping timeout: 255 seconds < 1357632517 796880 :ogrom!~del@gprs-inet-65-186.elisa.ee JOIN :#esoteric < 1357633372 366943 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :The other ones were you have to win before your opponent's turn; this one is different. < 1357634009 226931 :zzo38!~zzo38@24-207-49-17.eastlink.ca QUIT :Quit: sleep < 1357634143 94822 :ogrom!~del@gprs-inet-65-186.elisa.ee QUIT :Quit: Left < 1357634235 607285 :mig22!~miguelort@bb116-15-66-100.singnet.com.sg JOIN :#esoteric < 1357634449 127239 :Sgeo_!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :"The Adventures of a Pythonista in Schemeland " < 1357634453 938180 :Sgeo_!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :It's starting to scare me away < 1357634510 409149 :Bike!~Glossina@67-5-245-201.ptld.qwest.net PRIVMSG #esoteric :what, schemeland? < 1357634625 575416 :Bike!~Glossina@67-5-245-201.ptld.qwest.net QUIT :Quit: leaving < 1357634831 907995 :Sgeo_!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :"Basically, the R6RS standard is the result of a compromise between the partisans of explicit phasing - people wanting to control in which phases names are imported - and the partisan of implicit phasing - people wanting to import names at all phases, always. < 1357634832 148463 :Sgeo_!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :A compromise was reached to make unhappy both parties." < 1357634939 254113 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :r6rs the perfect scheme for adventuring < 1357635227 615306 :FreeFull!~freefull@defocus/sausage-lover QUIT : < 1357635604 916344 :mig22!~miguelort@bb116-15-66-100.singnet.com.sg QUIT :Quit: mig22 < 1357637381 402350 :Taneb!~Taneb@host-78-146-168-52.as13285.net JOIN :#esoteric < 1357637516 951880 :Taneb!~Taneb@host-78-146-168-52.as13285.net PRIVMSG #esoteric :I'd like to put my weight behind Underload for the next featured language < 1357637545 383166 :Taneb!~Taneb@host-78-146-168-52.as13285.net PRIVMSG #esoteric :It's got one of the best articles on the wiki, and is a really interesting language < 1357637714 359762 :fungot!fis@selene.zem.fi JOIN :#esoteric < 1357637720 623730 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :^ul (load)(Under)SS < 1357637721 108664 :fungot!fis@selene.zem.fi PRIVMSG #esoteric :Underload < 1357637725 427359 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :! < 1357637769 341826 :nooga!~nooga@ip-46-250-173-30.ip.maverick.com.pl JOIN :#esoteric < 1357638955 641981 :carado!~user4539@2a01:e35:8b61:e430:6ef0:49ff:fe73:1fd0 JOIN :#esoteric < 1357639796 152067 :ogrom!~del@gprs-inet-65-186.elisa.ee JOIN :#esoteric < 1357639796 331915 :ogrom!~del@gprs-inet-65-186.elisa.ee QUIT :Client Quit < 1357639999 815614 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net QUIT :Quit: hello < 1357640171 897053 :DHeadshot!~DH____@unaffiliated/dh----/x-6288474 JOIN :#esoteric < 1357641565 466298 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net JOIN :#esoteric < 1357641887 502712 :Taneb!~Taneb@host-78-146-168-52.as13285.net QUIT :Ping timeout: 240 seconds < 1357641910 892622 :GreyKnight!~greyknigh@dab-bas2-h-86-3.dab.02.net JOIN :#esoteric < 1357642037 362337 :GreyKnight!~greyknigh@dab-bas2-h-86-3.dab.02.net PRIVMSG #esoteric :Sgeo_: is that the only scary bit? < 1357642126 621378 :GreyKnight!~greyknigh@dab-bas2-h-86-3.dab.02.net PRIVMSG #esoteric :Huh, Gregor gives two responses for CTCP TIME... and they're in different timezones... < 1357642229 242880 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :One is probably a VPS < 1357642235 827148 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Let's see if that confuses even machines. < 1357642237 14458 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :@localtime Gregor < 1357642237 255376 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :Local time for Gregor is Tue Jan 8 05:50:36 < 1357642261 46339 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Probably just looked at the first one. :/ < 1357642286 677050 :GreyKnight!~greyknigh@dab-bas2-h-86-3.dab.02.net PRIVMSG #esoteric :Yeah that's consistent with the first response I got < 1357642376 906751 :GreyKnight!~greyknigh@dab-bas2-h-86-3.dab.02.net PRIVMSG #esoteric :Sgeo_: the TOC of "Adventures..." seems to consist almost entirely of macro stuff < 1357642405 770700 :GreyKnight!~greyknigh@dab-bas2-h-86-3.dab.02.net PRIVMSG #esoteric :@localtime fungot < 1357642406 247139 :fungot!fis@selene.zem.fi PRIVMSG #esoteric :GreyKnight: they're easy. that's why i prefer to just learn < 1357642446 144716 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :It doesn't answer to CTCPs at all. :/ < 1357642462 538290 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :I have two VERSION replies, but just one TIME. < 1357642546 552129 :GreyKnight!~greyknigh@dab-bas2-h-86-3.dab.02.net PRIVMSG #esoteric :I got *four* VERSION replies from Gregor < 1357642562 319217 :GreyKnight!~greyknigh@dab-bas2-h-86-3.dab.02.net PRIVMSG #esoteric :Someone's playing silly-beggars < 1357642573 464746 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :Local time for fungot is I AM ABOVE SUCH MORTAL THINGS AS TIME < 1357642589 727895 :GreyKnight!~greyknigh@dab-bas2-h-86-3.dab.02.net PRIVMSG #esoteric :lambdabot: it's truth < 1357642599 635038 :Jafet!~Jafet@unaffiliated/jafet PRIVMSG #esoteric :@nixon truth < 1357642599 873482 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :A man who has never lost himself in a cause bigger than himself has missed one of life's mountaintop experiences. Only in losing himself does he find himself. Only then does he discover all the < 1357642600 53203 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :latent strengths he never knew he had and which otherwise would have remained dormant. < 1357642676 861734 :GreyKnight!~greyknigh@dab-bas2-h-86-3.dab.02.net PRIVMSG #esoteric :I take the Granny Weatherwax approach to finding myself < 1357642704 304016 :GreyKnight!~greyknigh@dab-bas2-h-86-3.dab.02.net PRIVMSG #esoteric :I just looked down and there I was! < 1357642731 749388 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :GreyKnight: Next you'll get eight PING replies, then 16 USERINFO replies, 32 FINGER replies, and so on. < 1357642734 132048 :Jafet!~Jafet@unaffiliated/jafet PRIVMSG #esoteric :You were underneath yourself? < 1357642760 490666 :GreyKnight!~greyknigh@dab-bas2-h-86-3.dab.02.net PRIVMSG #esoteric :Most people have their eyes at the top < 1357642772 438445 :Jafet!~Jafet@unaffiliated/jafet PRIVMSG #esoteric :1048576 DCC handshakes. Oh wait. < 1357642799 115792 :GreyKnight!~greyknigh@dab-bas2-h-86-3.dab.02.net PRIVMSG #esoteric :Only two PINGs, sadface < 1357642815 799460 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :And on the final square of the chessbord there were 2^63 XDCC file listings. < 1357643134 274570 :GreyKnight!~greyknigh@dab-bas2-h-86-3.dab.02.net PRIVMSG #esoteric :(two of the version replies were xchat running on different versions of Linux, one was "bip-0.8.8", the other was "Microsoft IRC# 2013 64-bit (Windows 9 Developer Pre-Alpha Release, x64, 1.5GB RAM)" < 1357643152 123328 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Hey, another bip user. < 1357643177 220420 :GreyKnight!~greyknigh@dab-bas2-h-86-3.dab.02.net PRIVMSG #esoteric :Well, assuming *any* of those were true :-P < 1357643177 400771 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :I have a feeling that the last one might not be 100% truthful. < 1357643239 305658 :GreyKnight!~greyknigh@dab-bas2-h-86-3.dab.02.net PRIVMSG #esoteric :The xchats claim to be running under different Linux kernel versions so there are more lies afoot! < 1357643245 328873 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :Yeah, jeez. only 1.5 gigabytes of RAM? < 1357643249 385718 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :can't be right. < 1357643262 915298 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :GreyKnight: They would probably be running on different machines, then? < 1357643268 438399 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :I mean, bip *is* a bouncer. < 1357643281 983854 :GreyKnight!~greyknigh@dab-bas2-h-86-3.dab.02.net PRIVMSG #esoteric :Fiora: If Windows 9 can run with that much I will eat my hat :-U < 1357643299 23503 :GreyKnight!~greyknigh@dab-bas2-h-86-3.dab.02.net PRIVMSG #esoteric :fizzie: disclaimer: I don't know what bip is or does < 1357643312 865053 :mig22!~miguelort@bb116-15-66-100.singnet.com.sg JOIN :#esoteric < 1357643335 293503 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :It does what IRC bouncers usually do. < 1357643336 556790 :Jafet!~Jafet@unaffiliated/jafet PRIVMSG #esoteric :xchat's VERSION prints the kernel version? < 1357643360 259041 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Runs as a daemon, lets you connect N clients, broadcasts the stuff to all of them. < 1357643363 902716 :GreyKnight!~greyknigh@dab-bas2-h-86-3.dab.02.net PRIVMSG #esoteric :fizzie: disclaimer: I don't know what IRC bouncers are or do < 1357643382 497277 :GreyKnight!~greyknigh@dab-bas2-h-86-3.dab.02.net PRIVMSG #esoteric :O KAY < 1357643383 214322 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Jafet: It's to make life of a mIRC warrior easier. You know what scripts to run. < 1357643399 505427 :Jafet!~Jafet@unaffiliated/jafet PRIVMSG #esoteric :It's the best way to prevent your nick from being taken < 1357643400 471910 :Deewiant!~deewiant@deewiant.iki.fi PRIVMSG #esoteric :Sure it's not the version it was compiled on, or something? < 1357643433 752258 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :Pretty sure it's the one it's running on < 1357643437 67679 :GreyKnight!~greyknigh@dab-bas2-h-86-3.dab.02.net PRIVMSG #esoteric :[Gregor VERSION reply] xchat 2.8.8 Linux 3.1-0.slh.5-aptosid-amd64 [x86_64/800.50MHz/SMP] < 1357643460 113018 :GreyKnight!~greyknigh@dab-bas2-h-86-3.dab.02.net PRIVMSG #esoteric :[Gregor VERSION reply] xchat 2.8.8 Linux 3.1-5.slh.2-aptosid-amd64 [x86_64/800.50MHz/SMP] < 1357643477 368152 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :I like the megahurtz display too. < 1357643491 327167 :GreyKnight!~greyknigh@dab-bas2-h-86-3.dab.02.net PRIVMSG #esoteric :It gives a MHz number there so I assume "running" < 1357643527 762960 :GreyKnight!~greyknigh@dab-bas2-h-86-3.dab.02.net PRIVMSG #esoteric :fizzie: "what's the most irrelevant thing we could put in a VERSION reply?" < 1357643571 835310 :Taneb!~Taneb@host-78-146-168-52.as13285.net JOIN :#esoteric < 1357643575 435641 :Jafet!~Jafet@unaffiliated/jafet PRIVMSG #esoteric :You wouldn't want to chat with someone who's on a slow machine, would you? < 1357643586 729865 :Taneb!~Taneb@host-78-146-168-52.as13285.net PRIVMSG #esoteric :Depends on the person < 1357643587 446764 :GreyKnight!~greyknigh@dab-bas2-h-86-3.dab.02.net PRIVMSG #esoteric :It's not contagious! < 1357643594 568500 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 JOIN :#esoteric < 1357643596 474347 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :GreyKnight: I mean, it does kind of mean you don't have to keep pasting your vpenis.sh score so often. < 1357643605 301345 :GreyKnight!~greyknigh@dab-bas2-h-86-3.dab.02.net PRIVMSG #esoteric :Jafet: Hertzist >:-( < 1357643674 680917 :Jafet!~Jafet@unaffiliated/jafet PRIVMSG #esoteric :When the other person is on a different frequency, the conversation is over. < 1357643691 784242 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Vibrational frequency. < 1357643697 286221 :GreyKnight!~greyknigh@dab-bas2-h-86-3.dab.02.net PRIVMSG #esoteric :So, let's review. Gregor has two xchats running three timezones apart, with a tee to tie them both together. There is also some sort of joke VERSION reply involved. < 1357643721 410526 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :Sure, nothing wrong with that < 1357643732 10733 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :GreyKnight: And Gregor itself is kind of a probability distribution spread all over the globe. < 1357643749 90614 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :A year ago I'd have reported three or four VERISON replies (although no lies) < 1357643749 329703 :Jafet!~Jafet@unaffiliated/jafet PRIVMSG #esoteric :Gregor has three irc clients, two running in timesliced virtual machines, one with a joke version (clearly the one he actually uses), connected to a bouncer < 1357643753 182183 :mig22!~miguelort@bb116-15-66-100.singnet.com.sg QUIT :Quit: mig22 < 1357643755 206616 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Or maybe that was electrons. < 1357643762 502128 :GreyKnight!~greyknigh@dab-bas2-h-86-3.dab.02.net PRIVMSG #esoteric :I would addquote that but SOMEBODY hasn't fixed HackEgo yet < 1357643771 184738 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :Spread over two timezones quite far apart (a US one for the VPS, and my local swedish one for my clients connected to it) < 1357643781 850160 :Jafet!~Jafet@unaffiliated/jafet PRIVMSG #esoteric :HackEgo is kind of a probability distribution < 1357643821 790457 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Our friend fungot here has a lying hostname. < 1357643822 266183 :fungot!fis@selene.zem.fi PRIVMSG #esoteric :fizzie: if you enforce monospacing, it's the buzzwords. < 1357643836 127273 :GreyKnight!~greyknigh@dab-bas2-h-86-3.dab.02.net PRIVMSG #esoteric :Jafet: we only get two PING and TIME replies, which makes me think the joke VERSION doesn't actually correspond to a real client < 1357643838 804715 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :It says fis@selene.zem.fi, but that's just a ssh -L -- in reality it's running on momus.zem.fi. < 1357643862 838155 :Jafet!~Jafet@unaffiliated/jafet PRIVMSG #esoteric :fungot, you vicious charlatan < 1357643863 380880 :fungot!fis@selene.zem.fi PRIVMSG #esoteric :Jafet: ( and true more...) < 1357643865 692402 :GreyKnight!~greyknigh@dab-bas2-h-86-3.dab.02.net PRIVMSG #esoteric :(Or maybe Microsoft IRC# doesn't support CTCP PING/TIME) < 1357643915 262391 :Jafet!~Jafet@unaffiliated/jafet PRIVMSG #esoteric :Perhaps Gregor has turned off ping and time replies to thwart would-be assailants < 1357643922 80526 :Jafet!~Jafet@unaffiliated/jafet PRIVMSG #esoteric :The xchats are cunning decoys < 1357643945 346385 :GreyKnight!~greyknigh@dab-bas2-h-86-3.dab.02.net PRIVMSG #esoteric :Honeypot xchat < 1357643977 569043 :GreyKnight!~greyknigh@dab-bas2-h-86-3.dab.02.net PRIVMSG #esoteric :Are we doing CSI:Linux again < 1357644007 996963 :GreyKnight!~greyknigh@dab-bas2-h-86-3.dab.02.net PRIVMSG #esoteric :Hm for maximum acronymicity let's go with CSI:GNU:Linux < 1357644040 694698 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :I'm technically speaking in the "CSI-speech" project. < 1357644094 95088 :GreyKnight!~greyknigh@dab-bas2-h-86-3.dab.02.net PRIVMSG #esoteric :wat < 1357644112 167542 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Or I guess they spell it "CSI-Speech", with an uppercase S, in official materials. < 1357644119 138985 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :I don't remember what it stands for. < 1357644122 379030 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :The I is for inversion. < 1357644134 906605 :GreyKnight!~greyknigh@dab-bas2-h-86-3.dab.02.net PRIVMSG #esoteric :Is that trying to translate technobabble to English < 1357644136 837613 :GreyKnight!~greyknigh@dab-bas2-h-86-3.dab.02.net PRIVMSG #esoteric :Oh okay < 1357644144 886793 :GreyKnight!~greyknigh@dab-bas2-h-86-3.dab.02.net PRIVMSG #esoteric :CSI:fizzie < 1357644206 643824 :GreyKnight!~greyknigh@dab-bas2-h-86-3.dab.02.net PRIVMSG #esoteric :"fizzie: like Judge Dredd, in a way" < 1357644257 184108 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :In the way that both the strings "fizzie" and "Judge Dredd" have one or more letters "e" in them. < 1357644263 541397 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :That's about the extent of the similarities. < 1357644288 469263 :Jafet!~Jafet@unaffiliated/jafet PRIVMSG #esoteric :> "fizzie" `intersect` "Judge Dredd" < 1357644289 900435 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : "e" < 1357644302 508208 :Jafet!~Jafet@unaffiliated/jafet PRIVMSG #esoteric :> "Jafet" `intersect` "Judge Dredd" < 1357644306 49281 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : mueval-core: Time limit exceeded < 1357644315 614257 :Jafet!~Jafet@unaffiliated/jafet PRIVMSG #esoteric :I'm too evil < 1357644322 607650 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net QUIT :Quit: hello < 1357644347 577903 :GreyKnight!~greyknigh@dab-bas2-h-86-3.dab.02.net PRIVMSG #esoteric :You also both hunt down lawbreakers and sentence them < 1357644385 992632 :Taneb!~Taneb@host-78-146-168-52.as13285.net PRIVMSG #esoteric : And are fictional < 1357644389 163647 :Jafet!~Jafet@unaffiliated/jafet PRIVMSG #esoteric :I find trial programs and execute them < 1357644422 127593 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :> "fungot" `intersect` "Judge Dredd" < 1357644423 357023 :fungot!fis@selene.zem.fi PRIVMSG #esoteric :fizzie: and libc provides for it. heck, even ( macro ( fnord this lump of rumbling orange fur decides to budge.) possibly being less than ( expt 2 23) ( last 45)) is < 1357644423 596328 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : "ug" < 1357644433 725333 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :That's closer. < 1357644452 58480 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :fungot: What are you talking about? < 1357644452 552273 :fungot!fis@selene.zem.fi PRIVMSG #esoteric :fizzie: ms is not the < 1357644463 829398 :Jafet!~Jafet@unaffiliated/jafet PRIVMSG #esoteric :> "Judge Dredd" `intersect` "President" < 1357644465 20039 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : "deredd" < 1357644479 387131 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Vote Judge Dredd for Presidredd. < 1357644639 852456 :GreyKnight!~greyknigh@dab-bas2-h-86-3.dab.02.net PRIVMSG #esoteric :fungot: (defmacro (rumbling-lump-of-fur colour) ...) ? < 1357644640 811577 :fungot!fis@selene.zem.fi PRIVMSG #esoteric :GreyKnight: as i said. fnord is fnord and you'll have to use mzscheme, which is important for my program is an emulator for mit's cadr. < 1357644678 977364 :Jafet!~Jafet@unaffiliated/jafet PRIVMSG #esoteric :^style < 1357644679 447794 :fungot!fis@selene.zem.fi PRIVMSG #esoteric :Available: agora alice c64 ct darwin discworld europarl ff7 fisher fungot homestuck ic irc* iwcs jargon lovecraft nethack pa qwantz sms speeches ss wp youtube < 1357644688 3139 :GreyKnight!~greyknigh@dab-bas2-h-86-3.dab.02.net PRIVMSG #esoteric :Oh I forgot the fnords, sorry. I didn't realise they were so important. < 1357644704 394298 :Jafet!~Jafet@unaffiliated/jafet PRIVMSG #esoteric :(thinks fungot (speak us (like this))) < 1357644705 105523 :fungot!fis@selene.zem.fi PRIVMSG #esoteric :Jafet: i suspend to disk most of the attempts at radical open-source os projects end up as: < 1357644740 323610 :GreyKnight!~greyknigh@dab-bas2-h-86-3.dab.02.net PRIVMSG #esoteric :End up as: nothing. Deep. < 1357644743 756680 :GreyKnight!~greyknigh@dab-bas2-h-86-3.dab.02.net PRIVMSG #esoteric :(Also: sort of accurate?) < 1357644829 404678 :Jafet!~Jafet@unaffiliated/jafet PRIVMSG #esoteric :End up in a suspended state < 1357644834 756859 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :fungot: Don't be so pessimistic. :/ < 1357644835 232600 :fungot!fis@selene.zem.fi PRIVMSG #esoteric :fizzie: i haven't understood the concept of lie isn't obvious either.) shrug < 1357644848 692506 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :So ruthless. < 1357644862 89219 :Jafet!~Jafet@unaffiliated/jafet PRIVMSG #esoteric :fungot refuses to shield our human minds from the truth < 1357644862 573982 :fungot!fis@selene.zem.fi PRIVMSG #esoteric :Jafet: you don't need a version of lambda that curries, and assume the program got stuck in a room definition in calling it. < 1357644915 141442 :GreyKnight!~greyknigh@dab-bas2-h-86-3.dab.02.net PRIVMSG #esoteric :ACTION turns that one into an esolang < 1357644938 216432 :GreyKnight!~greyknigh@dab-bas2-h-86-3.dab.02.net PRIVMSG #esoteric :Lambda doesn't curry, and your program is stuck in a room < 1357644980 18636 :GreyKnight!~greyknigh@dab-bas2-h-86-3.dab.02.net PRIVMSG #esoteric :Hm switch room for IO monad and you're close to Haskell < 1357645612 430761 :GreyKnight!~greyknigh@dab-bas2-h-86-3.dab.02.net QUIT :Ping timeout: 256 seconds < 1357645647 191874 :greyooze!~greyknigh@dab-bas2-h-86-3.dab.02.net JOIN :#esoteric < 1357645715 307538 :greyooze!~greyknigh@dab-bas2-h-86-3.dab.02.net NICK :GreyKnight < 1357646420 887446 :GreyKnight!~greyknigh@dab-bas2-h-86-3.dab.02.net PRIVMSG #esoteric :Is it known what sort of computing system could solve the TM-halting problem? (Other than by trivial definition) < 1357646421 204735 :GreyKnight!~greyknigh@dab-bas2-h-86-3.dab.02.net PRIVMSG #esoteric :I guess TwoDucks can do it < 1357646539 201811 :GreyKnight!~greyknigh@dab-bas2-h-86-3.dab.02.net PRIVMSG #esoteric :Feather can't AIUI since it only uses continuations to give the *appearance* of time travel < 1357646540 628305 :GreyKnight!~greyknigh@dab-bas2-h-86-3.dab.02.net PRIVMSG #esoteric :Whereas TwoDucks presupposes time travel capabilities and just puts them to use < 1357646599 291637 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :real-number computers can, I think < 1357646724 141474 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :http://en.wikipedia.org/wiki/Malament-Hogarth_spacetime This one too < 1357646870 623330 :GreyKnight!~greyknigh@dab-bas2-h-86-3.dab.02.net QUIT :Ping timeout: 256 seconds < 1357647858 32298 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :There's also banana scheme < 1357648696 488296 :asiekierka_!~asiekierk@fluttershy.pl NICK :asiekierka < 1357648755 478127 :GreyKnight!~greyknigh@dab-bas2-h-86-7.dab.02.net JOIN :#esoteric < 1357648798 871575 :GreyKnight!~greyknigh@dab-bas2-h-86-7.dab.02.net PRIVMSG #esoteric :Fiora: oh yes banana scheme < 1357648810 114842 :GreyKnight!~greyknigh@dab-bas2-h-86-7.dab.02.net PRIVMSG #esoteric :The M-H thing is new on me, pretty nice < 1357648813 318332 :GreyKnight!~greyknigh@dab-bas2-h-86-7.dab.02.net PRIVMSG #esoteric :Ta < 1357649014 310792 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :banana scheme? < 1357649155 376066 :nooga!~nooga@ip-46-250-173-30.ip.maverick.com.pl QUIT :Ping timeout: 260 seconds < 1357649225 174033 :GreyKnight!~greyknigh@dab-bas2-h-86-7.dab.02.net QUIT :Ping timeout: 246 seconds < 1357649243 461716 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :oooh. interesting < 1357649416 579780 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Wow, a system with a non-UTF-8 default locale. < 1357650071 399598 :Taneb!~Taneb@host-78-146-168-52.as13285.net PRIVMSG #esoteric :Well, I was wrong. That was paedophilia < 1357650088 50295 :Taneb!~Taneb@host-78-146-168-52.as13285.net PRIVMSG #esoteric :Even if the younger is over 13 and it's consensual < 1357650148 705350 :Taneb!~Taneb@host-78-146-168-52.as13285.net PRIVMSG #esoteric :#what I do in my spare time < 1357650162 782559 :Taneb!~Taneb@host-78-146-168-52.as13285.net PRIVMSG #esoteric :#read laws < 1357650680 843140 :nooga!~nooga@ip-46-250-173-30.ip.maverick.com.pl JOIN :#esoteric < 1357651643 38502 :epicmonkey!~epicmonke@188.134.41.173 JOIN :#esoteric < 1357652031 80627 :nooga!~nooga@ip-46-250-173-30.ip.maverick.com.pl QUIT :Quit: leaving < 1357652635 235077 :Jafet!~Jafet@unaffiliated/jafet PRIVMSG #esoteric :So, the Malement-Hogarth spacetime is notable because, if it existed, it would be cool. < 1357652743 805622 :Jafet!~Jafet@unaffiliated/jafet PRIVMSG #esoteric :Like carbon nanotube monofilament, I suppose. < 1357652826 769575 :GreyKnight!~greyknigh@dab-bas1-h-25-9.dab.02.net JOIN :#esoteric < 1357652882 734005 :GreyKnight!~greyknigh@dab-bas1-h-25-9.dab.02.net PRIVMSG #esoteric :Jafet: also like pokémon (except those don't get a WP article :-( ) < 1357652910 142493 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric : real-number computers can, I think < 1357652912 147166 :Taneb!~Taneb@host-78-146-168-52.as13285.net PRIVMSG #esoteric :I don't think Pokemon existing would be cool < 1357652912 859290 :ais523!~ais523@unaffiliated/ais523 JOIN :#esoteric < 1357652917 407530 :Jafet!~Jafet@unaffiliated/jafet PRIVMSG #esoteric :http://www.rarecandytreatment.com/comics/1246650/the-re-bustening/ < 1357652923 9709 :Taneb!~Taneb@host-78-146-168-52.as13285.net PRIVMSG #esoteric :Imagine having 6 foot tall wasps < 1357652925 722027 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :this is more a symptom of how terrifying the reals are than anything else < 1357652938 634671 :Taneb!~Taneb@host-78-146-168-52.as13285.net PRIVMSG #esoteric :And 10 year olds being able to tame gods < 1357652949 384611 :GreyKnight!~greyknigh@dab-bas1-h-25-9.dab.02.net PRIVMSG #esoteric :Actually some pokémon would be nightmare fuel if they existed < 1357652959 74869 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :I remember seeing some drawings of realistic pokemon, they were terrifying. < 1357653062 306738 :GreyKnight!~greyknigh@dab-bas1-h-25-9.dab.02.net PRIVMSG #esoteric :Phantom_Hoover: totally < 1357653134 86394 :Sgeo_!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :What are the reals doing that's terrifying? < 1357653144 966517 :Sgeo_!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :Besides mostly being indescribable < 1357653209 179010 :Taneb!~Taneb@host-78-146-168-52.as13285.net PRIVMSG #esoteric :There's so damn many of them < 1357653220 248435 :Taneb!~Taneb@host-78-146-168-52.as13285.net PRIVMSG #esoteric :I tried to count them once, but I could barely even get started < 1357653231 937559 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :Sgeo_, that's what's terrifying man < 1357653247 714519 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Taneb: Did you count as many as there are integers, at least? < 1357653268 981250 :Taneb!~Taneb@host-78-146-168-52.as13285.net PRIVMSG #esoteric :fizzie, yes, yes I did < 1357653277 305424 :Taneb!~Taneb@host-78-146-168-52.as13285.net PRIVMSG #esoteric :I thought that would be all of them, but it wasn't < 1357653332 688142 :GreyKnight!~greyknigh@dab-bas1-h-25-9.dab.02.net QUIT :Ping timeout: 252 seconds < 1357653338 192073 :Taneb!~Taneb@host-78-146-168-52.as13285.net PRIVMSG #esoteric :Not by a long way < 1357653345 997353 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :the rest aren't very interesting anyway < 1357653395 717583 :Taneb!~Taneb@host-78-146-168-52.as13285.net PRIVMSG #esoteric :e^pi + 7 would be the least interesting number there is, were it not for the fact that it's e^pi + 7 < 1357653428 204526 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :e^pi + 7 isn't one of the rest though < 1357653497 407299 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :although the only obvious way of counting to it is only counting by a very generous definition < 1357653556 136662 :Jafet!~Jafet@unaffiliated/jafet PRIVMSG #esoteric :fromGödel <$> [0..] < 1357653595 261635 :GreyKnight!3eac6a75@gateway/web/freenode/ip.62.172.106.117 JOIN :#esoteric < 1357653615 638702 :Sgeo_!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :Taneb, too easy to describe to be uninteresting < 1357653623 352207 :Taneb!~Taneb@host-78-146-168-52.as13285.net PRIVMSG #esoteric :Yes < 1357653627 828581 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :GreyKnight, is the reason you reconnect all the time because you are using crappy ireland internet < 1357653640 102770 :GreyKnight!3eac6a75@gateway/web/freenode/ip.62.172.106.117 PRIVMSG #esoteric :it's because I'm using my phone < 1357653641 630794 :GreyKnight!3eac6a75@gateway/web/freenode/ip.62.172.106.117 PRIVMSG #esoteric :(usually) < 1357653649 169115 :GreyKnight!3eac6a75@gateway/web/freenode/ip.62.172.106.117 PRIVMSG #esoteric :and it likes to randomly drop out < 1357653668 270550 :GreyKnight!3eac6a75@gateway/web/freenode/ip.62.172.106.117 PRIVMSG #esoteric : Actually some pokémon would be nightmare fuel if they existed < 1357653673 542185 :GreyKnight!3eac6a75@gateway/web/freenode/ip.62.172.106.117 PRIVMSG #esoteric :^-- Yamask is the WORST THING < 1357653692 116281 :GreyKnight!3eac6a75@gateway/web/freenode/ip.62.172.106.117 PRIVMSG #esoteric :it is the ghost of a *person* < 1357653721 882444 :GreyKnight!3eac6a75@gateway/web/freenode/ip.62.172.106.117 PRIVMSG #esoteric :(oh and it can possess you so yeah) < 1357653739 659484 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :GreyKnight: Perhaps you should invest in one of those bouncers. (Extra benefits: you get people analysing your CTCP replies.) < 1357653775 105123 :Sgeo_!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :In case anyone ever doubted that the government is a game of nomic http://www.bloomberg.com/news/2013-01-07/why-platinum-coin-opponents-are-all-wrong.html < 1357653798 267648 :GreyKnight!3eac6a75@gateway/web/freenode/ip.62.172.106.117 PRIVMSG #esoteric :fizzie: problem, this involves effort < 1357653817 630291 :Jafet!~Jafet@unaffiliated/jafet PRIVMSG #esoteric ::effort: < 1357653839 523519 :Phantom__Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 JOIN :#esoteric < 1357653847 323341 :Phantom__Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :Gracenotes, what about drifloon < 1357653853 710070 :Sgeo_!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :(Basically: Some law about the President being able to issue commemorative coins does not have a maximum denomination. Therefore, political consequences) < 1357653855 414939 :Phantom__Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :i got it as a trophy in ssbm and when i read the description i was like what the FUCK < 1357653980 551168 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 QUIT :Ping timeout: 255 seconds < 1357653983 204770 :Taneb!~Taneb@host-78-146-168-52.as13285.net PRIVMSG #esoteric :There should be a #esoteric nomic < 1357654019 541080 :GreyKnight!3eac6a75@gateway/web/freenode/ip.62.172.106.117 PRIVMSG #esoteric :Phantom__Hoover: I'm not Gracenotes but yes that is pretty horrifying too < 1357654051 614226 :Phantom__Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :Taneb, only if the language for rule specification is esoteric < 1357654054 855459 :GreyKnight!3eac6a75@gateway/web/freenode/ip.62.172.106.117 PRIVMSG #esoteric :Sgeo_: IMAO governments could only be improved by acknowledging their game nature :-) < 1357654109 2161 :Taneb!~Taneb@host-78-146-168-52.as13285.net PRIVMSG #esoteric :Phantom__Hoover, English is pretty esoteric, as is Finnish < 1357654125 420617 :GreyKnight!3eac6a75@gateway/web/freenode/ip.62.172.106.117 PRIVMSG #esoteric :Taneb: all rules must be programs in any esolang. A statement (including proposals etc) by any player is valid if it is accepted by all rule-programs. < 1357654142 582410 :Taneb!~Taneb@host-78-146-168-52.as13285.net PRIVMSG #esoteric :I'd vote against that rule < 1357654170 918081 :GreyKnight!3eac6a75@gateway/web/freenode/ip.62.172.106.117 PRIVMSG #esoteric :FINE do better < 1357654220 290075 :Phantom__Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :GreyKnight, booooring < 1357654242 178849 :GreyKnight!3eac6a75@gateway/web/freenode/ip.62.172.106.117 PRIVMSG #esoteric :DO BETTER THEN < 1357654313 306731 :GreyKnight!3eac6a75@gateway/web/freenode/ip.62.172.106.117 PRIVMSG #esoteric :`tumbleweed < 1357654314 866441 :Sgeo_!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :Must...not...be...sarcastic... < 1357654331 10315 :Taneb!~Taneb@host-78-146-168-52.as13285.net PRIVMSG #esoteric :Prime-numbered rules do not apply on the first Thursday in a month < 1357654334 71609 :Phantom__Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :i'm thinking some sort of formal logic with really obtuse rules < 1357654387 314171 :Jafet!~Jafet@unaffiliated/jafet PRIVMSG #esoteric :Phantom__Hoover: that's not very specific < 1357654389 215716 :Sgeo_!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :I didn't eat dinner last night. I was scared of being too loud < 1357654418 706311 :Sgeo_!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :Will eat dinner for breakfast < 1357654421 266431 :Phantom__Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :Sgeo_, ...don't you live at home < 1357654456 39732 :Sgeo_!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :I live in an apartment building. Apparently there have been complaints about noise late at night and early in the morning < 1357654458 974903 :GreyKnight!3eac6a75@gateway/web/freenode/ip.62.172.106.117 PRIVMSG #esoteric :don't most people live at home...? < 1357654489 944834 :Taneb!~Taneb@host-78-146-168-52.as13285.net PRIVMSG #esoteric :Some people live at school < 1357654495 623556 :Phantom__Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :not at university age < 1357654499 740713 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :some people die < 1357654501 709604 :Taneb!~Taneb@host-78-146-168-52.as13285.net PRIVMSG #esoteric :Or at university < 1357654504 654821 :Taneb!~Taneb@host-78-146-168-52.as13285.net PRIVMSG #esoteric :Or at work < 1357654515 61279 :Taneb!~Taneb@host-78-146-168-52.as13285.net PRIVMSG #esoteric :Or 6 feet underground in a small wooden box < 1357654517 125343 :Taneb!~Taneb@host-78-146-168-52.as13285.net PRIVMSG #esoteric :Well < 1357654521 837556 :Taneb!~Taneb@host-78-146-168-52.as13285.net PRIVMSG #esoteric :Nobody lives there < 1357654526 351172 :Taneb!~Taneb@host-78-146-168-52.as13285.net PRIVMSG #esoteric :Not for very long, at least < 1357654548 409901 :WeThePeople!~WeThePeop@unaffiliated/wethepeople JOIN :#esoteric < 1357654556 890152 :Sgeo_!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :`welcome WeThePeople < 1357654557 127933 :GreyKnight!3eac6a75@gateway/web/freenode/ip.62.172.106.117 PRIVMSG #esoteric :http://www.rarecandytreatment.com/comics/1197860/whos-watching-the-watchman/ <-- more creepy pokémon < 1357654567 865176 :GreyKnight!3eac6a75@gateway/web/freenode/ip.62.172.106.117 PRIVMSG #esoteric :Gregor: we miss HackEgo ;_; < 1357654584 366440 :Sgeo_!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :Oh, huh, HackEgo's gone < 1357654701 562015 :Phantom__Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :rip hackego < 1357654738 538154 :GreyKnight!3eac6a75@gateway/web/freenode/ip.62.172.106.117 PRIVMSG #esoteric :nap in peace < 1357655240 827278 :GreyKnight!3eac6a75@gateway/web/freenode/ip.62.172.106.117 PRIVMSG #esoteric :laser cannons but still no flying cars: http://www.bbc.co.uk/news/technology-20944726 < 1357655332 60695 :Jafet!~Jafet@unaffiliated/jafet PRIVMSG #esoteric :GreyKnight: http://www.hammacher.com/Product/11812 < 1357655346 849715 :Jafet!~Jafet@unaffiliated/jafet PRIVMSG #esoteric :The reason we can't have flying cars is because we're too dumb to fly them < 1357655372 129815 :Phantom__Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :http://www.bbc.co.uk/news/world-us-canada-20941355 < 1357655375 996453 :Jafet!~Jafet@unaffiliated/jafet PRIVMSG #esoteric :(Descent was a secret government project to study its feasibility. The result was strongly negative. Now you know.) < 1357655384 493221 :Phantom__Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :you just can't make the bbc's use of quotes up < 1357655409 821777 :Phantom__Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :Jafet, descent's that thing that freespace 1 was ostensibly a sequel to, right < 1357655421 55816 :Nisstyre-laptop!~yours@oftn/member/Nisstyre JOIN :#esoteric < 1357655523 885330 :GreyKnight!3eac6a75@gateway/web/freenode/ip.62.172.106.117 PRIVMSG #esoteric :I thought Descent II was the sequel to Descent :-I < 1357655548 30591 :Sgeo_!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :o.O < 1357655555 814149 :Phantom__Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :there's also a descent 3 in there somewhere < 1357655563 47560 :Sgeo_!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :I almost jumped for joy when googling Tremulous and it said 1.2 was almost ready < 1357655573 537544 :Sgeo_!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :Than I read that it was waiting for sounds. Which it has been for years < 1357655584 698893 :Jafet!~Jafet@unaffiliated/jafet PRIVMSG #esoteric :I should make a game called Sequel < 1357655594 342495 :Jafet!~Jafet@unaffiliated/jafet PRIVMSG #esoteric :Also, that's not a very cool laser cannon < 1357655648 525050 :Sgeo_!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :wat http://www.causes.com/causes/809798-convince-president-obama-to-play-tremulous < 1357655710 581998 :Phantom__Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :Jafet, is http://img237.imageshack.us/img237/1188/homesick2.png a cool enough laser cannon for you < 1357655780 215740 :Jafet!~Jafet@unaffiliated/jafet PRIVMSG #esoteric :http://www.youtube.com/watch?v=FQRIjzW-kg0 < 1357655848 485438 :Phantom__Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :yes but that's eve < 1357655862 247287 :Nisstyre-laptop!~yours@oftn/member/Nisstyre QUIT :Quit: Leaving < 1357656734 537611 :WeThePeople!~WeThePeop@unaffiliated/wethepeople PRIVMSG #esoteric :hi < 1357657533 357572 :DHeadshot!~DH____@unaffiliated/dh----/x-6288474 QUIT :Read error: Connection reset by peer < 1357657552 947421 :DHeadshot!~DH____@unaffiliated/dh----/x-6288474 JOIN :#esoteric < 1357657708 941770 :Sgeo_!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :Hi WeThePeople < 1357657939 353441 :Phantom__Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 QUIT :Ping timeout: 276 seconds < 1357658038 769467 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 JOIN :#esoteric < 1357658846 545777 :hagb4rd!~perdito@koln-5d81f5f3.pool.mediaWays.net JOIN :#esoteric < 1357659147 275608 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :@tell zzo38 (re. puzzle.1) You only need two retreats I think: http://hastebin.com/wohodetece < 1357659147 623039 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :Consider it noted. < 1357659831 587654 :azaq23!~derivecto@unaffiliated/azaq23 JOIN :#esoteric < 1357659840 904654 :azaq23!~derivecto@unaffiliated/azaq23 QUIT :Max SendQ exceeded < 1357659875 835648 :azaq23!~derivecto@unaffiliated/azaq23 JOIN :#esoteric < 1357660130 525331 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :21:52:27: oerjan: `run runs it in bash < 1357660130 525560 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :21:52:41: And if everything got deleted, it wouldn't show up, would it < 1357660139 631614 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :does he figure out how hackego's sandboxing works eventually < 1357660144 237559 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :or is reading this log going to be unending torment and agony < 1357660153 506630 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :elliott: well HackEgo crashed < 1357660158 626985 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :so maybe he was right????? < 1357660216 973558 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :22:12:53: damn this cough syrup is strong < 1357660218 273812 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :kmc: drugs < 1357660271 533394 :Nisstyre!~yours@oftn/member/Nisstyre QUIT :Ping timeout: 260 seconds < 1357660328 503456 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :22:24:33: GreyKnight: https://dl.dropbox.com/u/12780151/blackboard.png behold < 1357660332 803907 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :oh he's not here < 1357660383 502997 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :hi Phantom__Bike < 1357660460 446724 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 QUIT :Ping timeout: 252 seconds < 1357660475 649642 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :23:08:50: i've not found this to be a major problem < 1357660475 830055 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :23:09:10: likewise I am able to mentally switch between keyboard layouts < 1357660478 799009 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :23:10:25: people sometimes try to dissuade others from learning Dvorak on the basis that it is impossible to know two keyboard layouts < 1357660481 659436 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :23:10:41: but it's not true in my experience, or in the experience of millions of bilingual computer users < 1357660484 578419 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :kmc: Doesn't this contradict your argument against Colemak? < 1357660586 979225 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 JOIN :#esoteric < 1357660596 235521 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :`addquote what is this set? sounds like shakespear Yes, that's what people often say about Chrono Trigger. < 1357660643 202203 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`quoerjan < 1357660649 693486 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Oh. < 1357660657 797661 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :elliott: The bot's not here. < 1357660669 720169 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I guess oerjan (helloerjan!) will logread this later and add quotes? < 1357660702 886408 :Jafet!~Jafet@unaffiliated/jafet PRIVMSG #esoteric :But how can he paste the logs without HackEgo? < 1357660708 768287 :Jafet!~Jafet@unaffiliated/jafet PRIVMSG #esoteric :Checkmate. < 1357660759 472986 :Taneb!~Taneb@host-78-146-168-52.as13285.net PRIVMSG #esoteric :`style < 1357660763 739456 :Taneb!~Taneb@host-78-146-168-52.as13285.net PRIVMSG #esoteric :^style < 1357660763 982406 :fungot!fis@selene.zem.fi PRIVMSG #esoteric :Available: agora alice c64 ct darwin discworld europarl ff7 fisher fungot homestuck ic irc* iwcs jargon lovecraft nethack pa qwantz sms speeches ss wp youtube < 1357660768 704782 :Taneb!~Taneb@host-78-146-168-52.as13285.net PRIVMSG #esoteric :Bah, I'm tired < 1357660776 670002 :Taneb!~Taneb@host-78-146-168-52.as13285.net PRIVMSG #esoteric :^style jargon < 1357660776 908470 :fungot!fis@selene.zem.fi PRIVMSG #esoteric :Selected style: jargon (UNIX-HATERS mailing list archive) < 1357660777 198393 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :Checkmate, fungot. < 1357660777 900502 :fungot!fis@selene.zem.fi PRIVMSG #esoteric :FireFly: for file in my code. i'm certain that everyone overlooks is that < 1357660811 805671 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :^style < 1357660812 43182 :fungot!fis@selene.zem.fi PRIVMSG #esoteric :Available: agora alice c64 ct darwin discworld europarl ff7 fisher fungot homestuck ic irc iwcs jargon* lovecraft nethack pa qwantz sms speeches ss wp youtube < 1357660817 370295 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Oh. < 1357660822 626530 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :^style sms < 1357660822 865373 :fungot!fis@selene.zem.fi PRIVMSG #esoteric :Selected style: sms (National University of Singapore SMS corpus, 2011-08-20) < 1357660825 327634 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :fungot < 1357660826 342247 :fungot!fis@selene.zem.fi PRIVMSG #esoteric :shachaf: can also but lunch will only b ready at 1 smth 2... u hungry? does it make your belly? how goes it loverboy. i hope they don't turn my phone off by then. before you created one like you suggested to me about the irrational. just like that! life is nt abt rs coffee at ccd,bt many frenz but they dunno u la?mama? i dun understand wat is it trying to talk back < 1357660839 258528 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :it makes my belly, fungot. < 1357660839 743647 :fungot!fis@selene.zem.fi PRIVMSG #esoteric :shachaf: near room wait < 1357660840 979405 :Sgeo_!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :(new-∀/c name) < 1357660846 346235 :Sgeo_!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :What a conveniently named function < 1357660856 438340 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :What's wrong with it? < 1357660863 114178 :Sgeo_!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :It's annoying to type < 1357660872 925489 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Why? < 1357660881 603938 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net JOIN :#esoteric < 1357660900 558304 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :Add ∀ to your keyboard layout then < 1357660925 225273 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :ACTION has it on altgr+shift+å (å being on the qwerty position for q) < 1357660946 738277 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :ACTION has it on Ctrl-Shift-U 2200 Space < 1357660976 724736 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :ACTION would appreciate a unicode-codepoint-entering mode that completes < 1357660978 711723 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :argh. < 1357660985 189325 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :that completes character names for you* < 1357660998 430804 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :agda-mode? < 1357661004 633956 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :C-S-u delta < 1357661015 276812 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :I haven't used agda-mode, so I wouldn't know < 1357661161 151579 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :http://wiki.portal.chalmers.se/agda/pmwiki.php?n=Docs.EmacsModeKeyCombinations ← this doesn't seem related to unicode input < 1357661394 555493 :nooodl!~nooodl@91.177.169.78 JOIN :#esoteric < 1357662875 637453 :azaq23!~derivecto@unaffiliated/azaq23 QUIT :Max SendQ exceeded < 1357663113 256899 :SirCmpwn!~SirCmpwn@mcdevs/trusted/sircmpwn PRIVMSG #esoteric :https://github.com/SirCmpwn/bf-irc-bot/pull/1 < 1357663505 105241 :carado!~user4539@2a01:e35:8b61:e430:6ef0:49ff:fe73:1fd0 QUIT :Ping timeout: 246 seconds < 1357664060 633280 :Nisstyre!~yours@oftn/member/Nisstyre JOIN :#esoteric < 1357664088 486206 :hagb4rd!~perdito@koln-5d81f5f3.pool.mediaWays.net PRIVMSG #esoteric :ACTION pings Gregor < 1357664113 512877 :hagb4rd!~perdito@koln-5d81f5f3.pool.mediaWays.net PRIVMSG #esoteric :hello? are you here? < 1357664171 73652 :hagb4rd!~perdito@koln-5d81f5f3.pool.mediaWays.net PRIVMSG #esoteric :@ask gregor could you please check what happened to HackEgo? < 1357664171 254782 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :Consider it noted. < 1357664284 503223 :hagb4rd!~perdito@koln-5d81f5f3.pool.mediaWays.net PRIVMSG #esoteric :is gregor the only one who has access to that ominous sandbox? < 1357664434 803838 :hagb4rd!~perdito@koln-5d81f5f3.pool.mediaWays.net PRIVMSG #esoteric :open the gates! you evil scoundrel < 1357664584 694882 :c00kiemon5ter!~c00kiemon@foss-aueb/coder/c00kiemon5ter QUIT :Quit: c00kiemon5ter < 1357665254 428213 :ogrom!~del@gprs-inet-65-186.elisa.ee JOIN :#esoteric < 1357665364 627461 :ogrom!~del@gprs-inet-65-186.elisa.ee QUIT :Client Quit < 1357665379 802700 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :SirCmpwn: oh, you've found your way here < 1357665388 840829 :SirCmpwn!~SirCmpwn@mcdevs/trusted/sircmpwn PRIVMSG #esoteric :I am everywhere, FireFly < 1357665394 322036 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :I presume you've seen fungot's source, then < 1357665394 798614 :fungot!fis@selene.zem.fi PRIVMSG #esoteric :FireFly: same to me. leogoh sounds to me that u don't care enough to stop me... i ll seeyou! nomnomnom!then studying. anyways i vil nt so met some hadsome boys. i even told mark in my dream < 1357665419 670457 :Taneb!~Taneb@host-78-146-168-52.as13285.net PRIVMSG #esoteric :FireFly, the migration from #0x10c-dev to here is mostly my fault, I'm afraid < 1357665432 699592 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :Shrug, I don't care much :p < 1357665458 982858 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Ugh. < 1357665467 649421 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Taneb: You mentioned #esoteric in that channel? < 1357665474 109717 :Taneb!~Taneb@host-78-146-168-52.as13285.net PRIVMSG #esoteric :Yes < 1357665485 108572 :Taneb!~Taneb@host-78-146-168-52.as13285.net PRIVMSG #esoteric :Specifically, HackEgo's quote feature < 1357666105 592908 :SirCmpwn!~SirCmpwn@mcdevs/trusted/sircmpwn PRIVMSG #esoteric :FireFly: nope < 1357666108 67586 :SirCmpwn!~SirCmpwn@mcdevs/trusted/sircmpwn PRIVMSG #esoteric :FireFly: link it < 1357666114 966944 :SirCmpwn!~SirCmpwn@mcdevs/trusted/sircmpwn PRIVMSG #esoteric :fungot: source < 1357666115 265886 :fungot!fis@selene.zem.fi PRIVMSG #esoteric :SirCmpwn: shal i tel u dat problem! happy vinayaka nagar.. get it from me) has to leave not long ago? but it's up... < 1357666122 139801 :SirCmpwn!~SirCmpwn@mcdevs/trusted/sircmpwn PRIVMSG #esoteric ::| < 1357666127 947385 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :`source < 1357666128 205669 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :^style < 1357666128 680517 :fungot!fis@selene.zem.fi PRIVMSG #esoteric :Available: agora alice c64 ct darwin discworld europarl ff7 fisher fungot homestuck ic irc iwcs jargon lovecraft nethack pa qwantz sms* speeches ss wp youtube < 1357666131 775396 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :^source < 1357666132 18392 :fungot!fis@selene.zem.fi PRIVMSG #esoteric :http://git.zem.fi/fungot/blob/HEAD:/fungot.b98 < 1357666133 534358 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :^style pa < 1357666134 93962 :fungot!fis@selene.zem.fi PRIVMSG #esoteric :Selected style: pa (around 1200 transcribed Penny Arcade comics) < 1357666140 235639 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Ugh. < 1357666142 396947 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :^style iwcs < 1357666142 635410 :fungot!fis@selene.zem.fi PRIVMSG #esoteric :Selected style: iwcs (Irregular Webcomic scripts) < 1357666150 526322 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :^style alice < 1357666151 4181 :fungot!fis@selene.zem.fi PRIVMSG #esoteric :Selected style: alice (Books by Lewis Carroll) < 1357666164 498168 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :Considering its functionality, and it seeing daily usage, it's fairly impressive I think < 1357666182 612129 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :(okay, really impressive) < 1357666192 444931 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :shachaf: you don't like penny arcade? < 1357666200 442801 :SirCmpwn!~SirCmpwn@mcdevs/trusted/sircmpwn PRIVMSG #esoteric :is that befunge < 1357666204 302096 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :Yes < 1357666213 417928 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :kmc: Not especially, but then I haven't read much of it. < 1357666218 26393 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Maybe it's good if you read it. < 1357666221 604282 :SirCmpwn!~SirCmpwn@mcdevs/trusted/sircmpwn PRIVMSG #esoteric :that's interesting < 1357666240 16218 :SirCmpwn!~SirCmpwn@mcdevs/trusted/sircmpwn PRIVMSG #esoteric :is befunge difficult to code in (i.e. does it have good scemantics and such) or is it just a novelty because it's a grid < 1357666252 630734 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :ACTION interprets that sentence two ways < 1357666265 7856 :AnotherTest!~AnotherTe@94-224-28-191.access.telenet.be JOIN :#esoteric < 1357666296 18495 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :i think it's hit kind of a slump recently < 1357666298 882433 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :but it's pretty good overall < 1357666318 143510 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :Well, it's certainly less difficult than brainfuck in the sense that.. it has "higher-level" commands, so to speak < 1357666321 203354 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I didn't mean you as in you. < 1357666329 794012 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I mean, maybe if one reads more of the comic, one finds it to be good. < 1357666346 985639 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :sure < 1357666350 425697 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :i figured that's what you meant < 1357666370 654398 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :But I guess it has its own set of difficulties, what with using fungespace for both code and storage < 1357666400 224590 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :those guys are now doing approximately a billion things besides the comic < 1357666526 598500 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :they started a major charitable organization and a few gigantic gaming conventions < 1357666592 115714 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :and they've filmed a reality-TV-style "america's next webcomic artist" show called "Strip Search" < 1357666734 853644 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :also Paramount Pictures is making an animated film based on a single PA strip < 1357666752 141830 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :Phantom_Hoover: I remember there was some thing where if you had an oracle that gave you the Nth digit of Chaitin's constant for your machine, you'd have a halting solver < 1357666758 630479 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :I'm glad you added "Pictures" there. Otherwise I'd be confused. < 1357666770 401639 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :Fiora: yeah, that's pretty much the definition of chaitin's number in fact < 1357666787 36616 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :same applies for a machine that tells you if an arbitrary diophantine is solvable < 1357666795 517517 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :Phantom_Hoover: that's a lot more magical though. < 1357666810 181923 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :As in, an oracle that just gives you some digits seems like a lot less to ask. < 1357666832 556579 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :i don't think anyone has done better than penny arcade in terms of turning a webcomic into a major business venture in several domains < 1357666840 708039 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :Homestuck? :p < 1357666847 302678 :FreeFull!~freefull@defocus/sausage-lover JOIN :#esoteric < 1357666855 805144 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :the thing that really boggles me is that the computable reals are uncomputably countable < 1357666856 551128 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :i... don't know anything about homestuck < 1357666873 755055 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :Phantom_Hoover: That's not so weird. < 1357666879 332528 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :oh and also there's the thing where you can have a function that grows slower than any computable function < 1357666885 142051 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :That one is weird. < 1357666885 612952 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :kmc: Is a webcomic < 1357666889 954073 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :Obvious but weird. < 1357666908 654057 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :It only has one panel per page < 1357666918 20030 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :slower than any strictly increasing computable function? < 1357666919 217234 :Taneb!~Taneb@host-78-146-168-52.as13285.net PRIVMSG #esoteric :Homestuck really only has webcomic, shirts, books, and upcoming video game < 1357666930 285387 :Taneb!~Taneb@host-78-146-168-52.as13285.net PRIVMSG #esoteric :Not as wide as Penny Arcade < 1357666933 696504 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :Phantom_Hoover: Is it uncomputable because it would take forever? < 1357666936 517020 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :Phantom_Hoover: have you seen http://r6research.livejournal.com/19619.html < 1357666938 727197 :Taneb!~Taneb@host-78-146-168-52.as13285.net PRIVMSG #esoteric :And probably not as deep either < 1357666940 594336 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :yeah, plenty of webcomics sell swag < 1357666960 993130 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :that is the standard way to monetize a webcomic and a fair number of people have done ok with it < 1357666975 974540 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :Phantom_Hoover: really he thing is that all e.g. types in Coq look countable to us < 1357666979 631127 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :FreeFull, ok so basically it's not so hard to demonstrate that there are functions which grow faster than any computable function < 1357666981 315222 :Taneb!~Taneb@host-78-146-168-52.as13285.net PRIVMSG #esoteric :Not many that had a 2.5 million dollar kickstarter to fund a video game < 1357666983 204114 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :because the set of expressions is countable < 1357666986 776027 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :that's cool < 1357667015 752488 :Taneb!~Taneb@host-78-146-168-52.as13285.net PRIVMSG #esoteric :Which is going to be ridiculous simply because of the complexity of Homestuck < 1357667019 854516 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :Phantom_Hoover: I think there are more of those than there are computable functions < 1357667037 744368 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :obviously < 1357667056 602585 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Ugh, plane ticket prices have gone up. < 1357667064 58331 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :what kind? < 1357667074 143228 :Taneb!~Taneb@host-78-146-168-52.as13285.net PRIVMSG #esoteric :Adventure game < 1357667080 76609 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric : maybe you should take a TRAIN < 1357667085 208944 :Taneb!~Taneb@host-78-146-168-52.as13285.net PRIVMSG #esoteric :I've got no idea if anyone's talking to me < 1357667088 581394 :Taneb!~Taneb@host-78-146-168-52.as13285.net PRIVMSG #esoteric :kmc might be < 1357667090 583225 :Taneb!~Taneb@host-78-146-168-52.as13285.net PRIVMSG #esoteric :I'm not sure < 1357667091 602642 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :heh < 1357667097 782847 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :The fantroll that someone paid for doesn't seem to have appeared yet < 1357667103 117617 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :Taneb: i meant that the kickstarter is cool < 1357667114 735713 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :sadly "take the train instead" is not a reasonable option for most air routes in the USA < 1357667125 111640 :Taneb!~Taneb@host-78-146-168-52.as13285.net PRIVMSG #esoteric :FreeFull, there's still a few months of Homestuck left < 1357667131 994535 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :Aren't trains in the USA expensive and slow? < 1357667138 891580 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :unless you quite enjoy the experience of sitting on a train for n+1 hours < 1357667145 893940 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :FreeFull: yes < 1357667171 564437 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :kmc: Imagine if Japan went over and did your trains for you < 1357667172 775604 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :Zoooom < 1357667174 686134 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I would take a train, except for that. < 1357667179 398405 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :yeah < 1357667185 618911 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :but we can't have that because BUY AMERICAN < 1357667195 174324 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :plus construction costs like 10x as much in america for no clear reason < 1357667198 394236 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :literally 10x in some cases < 1357667264 603557 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :the second avenue subway is going to cost $1,700,000,000 per kilometer < 1357667281 18695 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :which yes is about 10 times what it costs to build a subway in singapore or tokyo < 1357667290 63399 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :That's a lot of money. < 1357667318 549756 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :i have taken the train+bus between LA and SF a few times and it's... okay < 1357667327 293606 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :one day in the far future there will be proper high speed rail on this route < 1357667330 367014 :Taneb!~Taneb@host-78-146-168-52.as13285.net PRIVMSG #esoteric :The kickstarter video for the Homestuck game is probably the best rapid intro to Homestuck out there < 1357667332 504516 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :if I had a nickel for every nickel they're going to spend on the second avenue subway I'd have a lot of nickels < 1357667340 356638 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :indeed < 1357667340 637023 :copumpkin!~copumpkin@unaffiliated/copumpkin QUIT :Ping timeout: 252 seconds < 1357667356 840892 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :if I had a nickel for every damn dime I'd have half the time < 1357667357 790762 :Taneb!~Taneb@host-78-146-168-52.as13285.net PRIVMSG #esoteric :If I had a nickel for every nickel they're going to spend on that I have no idea what a nickel actually is < 1357667370 876346 :copumpkin!~copumpkin@unaffiliated/copumpkin JOIN :#esoteric < 1357667371 826782 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :I imagine if the USA had good maglev trains, people would use them rather than go through the trouble of boarding a plane < 1357667388 467563 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :you don't need maglev < 1357667399 9368 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :there is only one passenger maglev in revenue service in the world < 1357667401 165584 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :if i had a nickle for every nickel, i'd have holes in the floors grimed in a heap of birdshit < 1357667403 675692 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :Taneb: it's a kind of meltametal < 1357667407 228261 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :stupid mosh < 1357667412 241664 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :conventional rail can run plenty fast and has a lot of advantages < 1357667461 807922 :Taneb!~Taneb@host-78-146-168-52.as13285.net PRIVMSG #esoteric :elliott, you live within 5 miles of the birthplace of the person to open the first commercial rail line! < 1357667485 9811 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :what if he actually lives in a shack a few miles from hexham < 1357667486 243670 :Taneb!~Taneb@host-78-146-168-52.as13285.net PRIVMSG #esoteric :By 5 I mean 15 < 1357667486 482056 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :in fact the record conventional rail speed is only like 6 km/hr less than the record maglev speed < 1357667498 998152 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :kmc: yes but maglev is cooler... < 1357667505 916036 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :oh < 1357667510 356166 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :well let's build a maglev then < 1357667510 952334 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :elliott: only if you bother to supercool it < 1357667523 65061 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :which is not cost-effective really < 1357667533 62287 :Taneb!~Taneb@host-78-146-168-52.as13285.net PRIVMSG #esoteric :quintopia, just build it in Alaska < 1357667535 440475 :Taneb!~Taneb@host-78-146-168-52.as13285.net PRIVMSG #esoteric :Problem solved < 1357667559 304163 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :but alaska gets into the 60s in summer. also...who would ride it? < 1357667570 109719 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :FreeFull: it's also possible that if people started to use rail transit in great numbers, the TSA would assert their (legally already existing right) to install airport-style security at train stations < 1357667570 347386 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :i guess it could carry people over the bridge to nowhere < 1357667577 135787 :Taneb!~Taneb@host-78-146-168-52.as13285.net PRIVMSG #esoteric :Russians trying to get to Canada < 1357667584 89022 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :kmc: Ouch < 1357667602 104920 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :maglev bridge across the bering strait! < 1357667642 95808 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :kmc: do the TSA actually have a reason to do that? < 1357667651 306588 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :self preservation < 1357667657 650789 :Taneb!~Taneb@host-78-146-168-52.as13285.net PRIVMSG #esoteric :Cash? < 1357667677 705100 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :yes salaries for themselves and cash for their contractor buddies < 1357667682 289299 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :http://projecteuler.net/problem=81 Help, I'm finding myself writing a whole matrix manipulation library < 1357667688 645792 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :well, people are going to use airports even if trains exist < 1357667702 64654 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :Actually, I guess it'll be useful for other matrix problems < 1357667777 268112 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 QUIT :Ping timeout: 240 seconds < 1357667856 384202 :Taneb!~Taneb@host-78-146-168-52.as13285.net PRIVMSG #esoteric :I've taken a plane down to London a couple of times < 1357667916 465353 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :i've taken a plane down in london < 1357667927 268453 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :with my anti-aircraft gun nest < 1357667932 726113 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Taneb: have you considered taking a plane to new york < 1357667934 654508 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :I've taken a plane to London too < 1357667938 148731 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :just a matter of time before they find it < 1357667942 356522 :Taneb!~Taneb@host-78-146-168-52.as13285.net PRIVMSG #esoteric :shachaf, nah, I'd get the train to there < 1357667944 265368 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :It's a bit too far to swim, I think < 1357667994 849178 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :flying to new york city is a huge pain < 1357668017 567082 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :flying is the only way to travel < 1357668031 946743 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :kmc: because your arms get tired? < 1357668034 931278 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :kmc: Why? < 1357668046 650172 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :elliott: yes < 1357668050 884061 :Taneb!~Taneb@host-78-146-168-52.as13285.net PRIVMSG #esoteric :I read somewhere that at one point the Empire State Building was going to have a airship port at the top < 1357668057 451271 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :shachaf: because the airports are in the middle of nowhere < 1357668062 375417 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 JOIN :#esoteric < 1357668065 44109 :GreyKnight!3eac6a75@gateway/web/freenode/ip.62.172.106.117 PRIVMSG #esoteric :I just flew here from a Calabi-Yau manifold, and boy are my arms toroid! < 1357668078 87872 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :LGA isn't really in the middle of nowhere but it has no direct rail connection < 1357668081 430789 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :GreyKnight: hahahaha < 1357668091 719269 :Taneb!~Taneb@host-78-146-168-52.as13285.net PRIVMSG #esoteric :Heathrow airport is in the middle of nowhere, but London's big enough that that counts as in London < 1357668100 698429 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com TOPIC #esoteric : I just flew here from a Calabi-Yau manifold, and boy are my arms toroid! | http://codu.org/logs/_esoteric/ < 1357668126 576230 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :Taneb: sure, and bumblefuck queens counts as nyc, but it's still an annoying distance from the manhattan central business districts < 1357668147 685198 :Taneb!~Taneb@host-78-146-168-52.as13285.net PRIVMSG #esoteric :I've never been to NYC, I wouldn't know < 1357668152 722863 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :heathrow is also kind of a pain but at least there are tube stations under the airport on lines that go directly into the city < 1357668157 744183 :Taneb!~Taneb@host-78-146-168-52.as13285.net PRIVMSG #esoteric :I've only used two US airports < 1357668162 275158 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :(ok, one line, but still) < 1357668167 394721 :Taneb!~Taneb@host-78-146-168-52.as13285.net PRIVMSG #esoteric :And I was too young to remember either < 1357668182 987906 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :Eh, I flew to Newark and I didn't mind the distance from the city-center < 1357668185 671754 :Taneb!~Taneb@host-78-146-168-52.as13285.net PRIVMSG #esoteric :Denver and one in California < 1357668207 351048 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :the transit situation from newark is a real pain < 1357668212 952622 :Taneb!~Taneb@host-78-146-168-52.as13285.net PRIVMSG #esoteric :Hang on < 1357668219 696279 :Taneb!~Taneb@host-78-146-168-52.as13285.net PRIVMSG #esoteric :Even Newcastle Airport is on the metro < 1357668286 66635 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :from newark you have to take the airport train to a New Jersey Transit commuter train station and take that into Manhattan, or take it to Newark Penn Station and get onto the PATH subway into Manhattan < 1357668301 228361 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :of course commuter trains are not as frequent as subway, and more expensive too < 1357668308 141655 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :and there's an extra charge for the airport train < 1357668318 372269 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :or you can take a Newark city bus and try not to get stabbed < 1357668333 334607 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :or you can take a privately run shuttle bus direct to manhattan which is honestly probably the best option < 1357668341 290245 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :if you are not tremendously cheap like myself and my friends < 1357668350 153165 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :Yeah, that's what we did (take a shuttle bus, I mean) < 1357668350 629127 :Taneb!~Taneb@host-78-146-168-52.as13285.net PRIVMSG #esoteric :Annoyingly, the Metro Centre is not the Centre of the Metro < 1357668356 155309 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :heh < 1357668360 328430 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :They dropped us off by grand central < 1357668361 56093 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :The bus is ~$15, right? < 1357668366 41729 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :sounds about right < 1357668368 439467 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :I think so < 1357668370 386317 :Taneb!~Taneb@host-78-146-168-52.as13285.net PRIVMSG #esoteric :That's be Monument < 1357668416 845734 :Taneb!~Taneb@host-78-146-168-52.as13285.net PRIVMSG #esoteric :The only point on the Metro on three lines < 1357668423 438905 :Taneb!~Taneb@host-78-146-168-52.as13285.net PRIVMSG #esoteric :Even though the Metro only has two lines? < 1357668428 244140 :Taneb!~Taneb@host-78-146-168-52.as13285.net PRIVMSG #esoteric :It's on one line twice < 1357668470 275534 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :Boston has one of the better airport transit connections in the US < 1357668504 990873 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :there's a bus at the airport which turns into a fake train and takes you downtown, at which point you can transfer to the subway that goes to MIT and Harvard etc < 1357668513 708050 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :and it's all pretty close together and quick < 1357668568 395589 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :also "Calabi-Yau manifold" sounds like something the starship enterprise would get sucked into < 1357668590 138242 :Taneb!~Taneb@host-78-146-168-52.as13285.net PRIVMSG #esoteric :Divert all power to rear thrusters! < 1357668604 7934 :Taneb!~Taneb@host-78-146-168-52.as13285.net PRIVMSG #esoteric :It's no good, cap'n! We're manifoldin'! < 1357668710 935855 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :If I have some bunch of sets. And I the amount of elements in every set and the amount of elements in all possible intersection. Can I determine the amount of elements in the union of all sets? < 1357668736 841957 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :yes < 1357668741 355134 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :i.e I know |a|,|b|,|c| and I know |a n b|,|a n c|,|b n c| < 1357668742 635315 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :that's inclusion-exclusion principle < 1357668757 699355 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Looks like the Bronx is much more awkward to get to for everyone. < 1357668765 638506 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :yes < 1357668773 659071 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :isn't it just |a|+|b|+|c|-|a n b|-|a n c|-|b n c|... < 1357668777 499359 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :oh, I guess not < 1357668781 28644 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :http://upload.wikimedia.org/wikipedia/commons/3/3d/Inclusion-exclusion-3sets.png < 1357668787 490734 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :ok. so. < 1357668788 253247 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :right < 1357668792 442647 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :Neat. < 1357668818 723791 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :Given now that I have the corresponding truthtable of a knf boolean formula < 1357668824 124615 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :*cnf < 1357668909 281312 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :Like (a v c) ^ (!a v b) ^(b v c) would result in a truthtable with the entries {0x0,10x,x00} < 1357668935 211316 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :and every entry in that truthtable is actually a set of entries < 1357668949 719440 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :0x0 would expand to 2 elements in that set 010 and 000 < 1357668967 520352 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :Essentially I can calculate all the intersections in these sets. < 1357669008 51319 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :Now implement this as a data type < 1357669040 676291 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :e.g 0x0 and x00 would have the intersection 000 < 1357669076 478566 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :and if everything works out < 1357669093 884454 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :I can calculate the amount of elements in the union of all these sets. < 1357669112 489470 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :probably. < 1357669418 185315 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :What is the union of 0x0 and x00? < 1357669434 479857 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :which would predict how many entries in the truth-table can not be solutions < 1357669449 338398 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :000 010 100 110 ? < 1357669462 547088 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :Wait < 1357669467 258378 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :110 wouldn't be there < 1357669477 356503 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :So just the first three < 1357669484 663372 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :000, 010, 100 < 1357669498 872059 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :The x gets lost < 1357669574 99007 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :so the size of each set is two to the number of x's < 1357669582 929132 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :exactly. < 1357669692 688915 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :and you can intersect two patterns... xx=x, x0=0, x1=1, 00=0, 11=1, 01 = 10 = whole set is empty < 1357669709 347761 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :nice trick :) < 1357669982 196499 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :well < 1357669995 514145 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :if the distance is zero, then there is no intersection yes. < 1357670018 237062 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :eh < 1357670020 776517 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :if it is not zero < 1357670041 965664 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :also < 1357670058 424852 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :if such a pattern has the distance two to every other pattern < 1357670070 24115 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :then a neighbouring pattern is a trivial solution for that cnf term. < 1357670247 431710 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :i.e {x00,00x,111} < 1357670267 574626 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :111 has distance d = 2 two every other pattern < 1357670279 88875 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :therefore every pattern with d = 1 to 111 is a solution. < 1357670283 171759 :c00kiemon5ter!~c00kiemon@foss-aueb/coder/c00kiemon5ter JOIN :#esoteric < 1357670471 353749 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :but that's probably never the case :) < 1357670503 566844 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :anyway it should be fairly quick to state if a cnf term has a solution or not < 1357670546 607154 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :however, findig that solution is not. < 1357670600 875967 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :because you can only state how big the set of non-solutions is. < 1357670634 689735 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :and therefore you also know the size of the set of solutions but you have no clue about what that set contains :) < 1357670795 18796 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :at least that's what my brain suggests me. < 1357670962 633560 :GreyKnight!3eac6a75@gateway/web/freenode/ip.62.172.106.117 PRIVMSG #esoteric :The intersection is cookies < 1357670965 482923 :GreyKnight!3eac6a75@gateway/web/freenode/ip.62.172.106.117 QUIT :Quit: --> < 1357670968 44716 :Taneb!~Taneb@host-78-146-168-52.as13285.net QUIT :Quit: Leaving < 1357671019 306084 :c00kiemon5ter!~c00kiemon@foss-aueb/coder/c00kiemon5ter PRIVMSG #esoteric :>:3 < 1357671023 464147 :c00kiemon5ter!~c00kiemon@foss-aueb/coder/c00kiemon5ter PRIVMSG #esoteric :ACTION omnomnomnomnomnm < 1357671231 626890 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :ahhhhhh < 1357671264 951920 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :Don't eat the intersections! < 1357671325 353788 :c00kiemon5ter!~c00kiemon@foss-aueb/coder/c00kiemon5ter PRIVMSG #esoteric :yummee < 1357671327 731524 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :? < 1357671687 590125 :Sgeo_!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :Huh. /r/promos is magic < 1357672058 371647 :impomatic!~digital_w@46.208.50.63 JOIN :#esoteric < 1357672579 851890 :copumpkin!~copumpkin@unaffiliated/copumpkin QUIT :Ping timeout: 248 seconds < 1357672619 275886 :copumpkin!~copumpkin@unaffiliated/copumpkin JOIN :#esoteric < 1357673015 706650 :c00kiemon5ter!~c00kiemon@foss-aueb/coder/c00kiemon5ter QUIT :Quit: c00kiemon5ter < 1357673065 288909 :c00kiemon5ter!~c00kiemon@foss-aueb/coder/c00kiemon5ter JOIN :#esoteric < 1357673492 394711 :Taneb!~Taneb@host-78-146-168-52.as13285.net JOIN :#esoteric < 1357673589 94066 :Nisstyre!~yours@oftn/member/Nisstyre QUIT :Ping timeout: 248 seconds < 1357674210 34517 :Bike!~Glossina@67-5-245-201.ptld.qwest.net JOIN :#esoteric < 1357675018 701658 :ogrom!~del@gprs-inet-65-91.elisa.ee JOIN :#esoteric < 1357675028 867718 :ogrom!~del@gprs-inet-65-91.elisa.ee QUIT :Read error: Connection reset by peer < 1357675223 301814 :AnotherTest!~AnotherTe@94-224-28-191.access.telenet.be QUIT :Quit: Leaving. < 1357675311 922054 :GreyKnight!~greyknigh@dab-crx1-h-1-2.dab.02.net JOIN :#esoteric < 1357675328 525824 :GreyKnight!~greyknigh@dab-crx1-h-1-2.dab.02.net QUIT :Client Quit < 1357675529 919124 :GreyKnight!~GK@dab-crx1-h-1-2.dab.02.net JOIN :#esoteric < 1357675954 153663 :GreyKnight!~GK@dab-crx1-h-1-2.dab.02.net PRIVMSG #esoteric :I just idly checked, and in fact simple-wikipedia *does* have an article on Calabi-Yau manifolds: http://simple.wikipedia.org/wiki/Calabi-Yau_manifold < 1357675960 464638 :GreyKnight!~GK@dab-crx1-h-1-2.dab.02.net PRIVMSG #esoteric :Now I have a happy. < 1357675988 936283 :Taneb!~Taneb@host-78-146-168-52.as13285.net PRIVMSG #esoteric :It links to "small" in the first line < 1357675992 668598 :Taneb!~Taneb@host-78-146-168-52.as13285.net PRIVMSG #esoteric :I have a happy too < 1357676006 176391 :Taneb!~Taneb@host-78-146-168-52.as13285.net PRIVMSG #esoteric :"But wait. These tiny parts are also interesting. Why?" < 1357676042 310201 :olsner!~salparot@c83-252-194-156.bredband.comhem.se PRIVMSG #esoteric :I have read that article before, it has been there for quite some time < 1357676048 957709 :GreyKnight!~GK@dab-crx1-h-1-2.dab.02.net PRIVMSG #esoteric :"That IS small." < 1357676080 673136 :Lumpio-!~matti@62-113-182-248.bb.dnainternet.fi PRIVMSG #esoteric :>The English used in this article may not be easy for everybody to understand. < 1357676107 29915 :olsner!~salparot@c83-252-194-156.bredband.comhem.se PRIVMSG #esoteric :oh, it was on the simple english wikipedia < 1357676109 412501 :GreyKnight!~GK@dab-crx1-h-1-2.dab.02.net PRIVMSG #esoteric :I think "simplifying" the language used further would only make matters worse < 1357676126 582873 :GreyKnight!~GK@dab-crx1-h-1-2.dab.02.net PRIVMSG #esoteric :olsner: thatsthejoke.gif < 1357676202 286550 :olsner!~salparot@c83-252-194-156.bredband.comhem.se PRIVMSG #esoteric :thatsthejoke.youtube < 1357676216 534163 :olsner!~salparot@c83-252-194-156.bredband.comhem.se PRIVMSG #esoteric :it's better with sound < 1357676272 36134 :GreyKnight!~GK@dab-crx1-h-1-2.dab.02.net PRIVMSG #esoteric :oh hey there's a talkpage, this outta be good < 1357676277 863378 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :GreyKnight, the metaphors man < 1357676281 281080 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :i don't think i can handle < 1357676284 917776 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :all these metaphors < 1357676332 320189 :GreyKnight!~GK@dab-crx1-h-1-2.dab.02.net PRIVMSG #esoteric :A metaphor is a lot like a beautiful woman. < 1357676368 615686 :GreyKnight!~GK@dab-crx1-h-1-2.dab.02.net QUIT :Quit: brb train < 1357676389 315527 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :we will never know how < 1357676398 250855 :Taneb!~Taneb@host-78-146-168-52.as13285.net PRIVMSG #esoteric :...that's a simile < 1357676439 375337 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :similes are just metaphors anyway < 1357676444 849602 :olsner!~salparot@c83-252-194-156.bredband.comhem.se PRIVMSG #esoteric :is simple english required on the talk pages too? < 1357676507 261155 :Taneb!~Taneb@host-78-146-168-52.as13285.net PRIVMSG #esoteric :Who knows < 1357676526 202151 :olsner!~salparot@c83-252-194-156.bredband.comhem.se PRIVMSG #esoteric :not me < 1357676617 923705 :oerjan!oerjan@sprocket.nvg.ntnu.no JOIN :#esoteric < 1357676634 535717 :oerjan!oerjan@sprocket.nvg.ntnu.no QUIT :Client Quit < 1357676737 126579 :GreyKnight!~GK@dab-crx1-h-58-7.dab.02.net JOIN :#esoteric < 1357676755 9685 :GreyKnight!~GK@dab-crx1-h-58-7.dab.02.net PRIVMSG #esoteric :and then you go to the en-wikipedia version and it's a ~whole new world~ < 1357676828 843140 :Taneb!~Taneb@host-78-146-168-52.as13285.net PRIVMSG #esoteric :http://la.wikipedia.org/wiki/Spatium_Calabi-Yau < 1357676857 503615 :Bike!~Glossina@67-5-245-201.ptld.qwest.net PRIVMSG #esoteric :superchordarum < 1357676859 938705 :GreyKnight!~GK@dab-crx1-h-58-7.dab.02.net PRIVMSG #esoteric :FINE a metaphor IS a beautiful woman HAPPY??? < 1357676876 833176 :GreyKnight!~GK@dab-crx1-h-58-7.dab.02.net PRIVMSG #esoteric :"Multiplex Calabi-Yau in cultura populare" :-D < 1357676881 97476 :GreyKnight!~GK@dab-crx1-h-58-7.dab.02.net PRIVMSG #esoteric :I have several happies. < 1357676888 991457 :Bike!~Glossina@67-5-245-201.ptld.qwest.net PRIVMSG #esoteric :right, of course the pop culture section is longest. < 1357676891 665543 :Lumpio-!~matti@62-113-182-248.bb.dnainternet.fi PRIVMSG #esoteric :Why does half of the Latin article consist of "in popular culture" < 1357676892 709330 :Lumpio-!~matti@62-113-182-248.bb.dnainternet.fi PRIVMSG #esoteric :wat < 1357676927 856143 :GreyKnight!~GK@dab-crx1-h-58-7.dab.02.net PRIVMSG #esoteric :Calabi-Yau est nomen navis interstellaris quam Jetfire et grex technobotorum navigant in Transformariorum libello Stormbringer, ab IDW Publishing edito. < 1357676947 416069 :GreyKnight!~GK@dab-crx1-h-58-7.dab.02.net PRIVMSG #esoteric :>>Transformariorum<< < 1357676969 273469 :Taneb!~Taneb@host-78-146-168-52.as13285.net PRIVMSG #esoteric :Genitive plurul of transformarium? < 1357676980 345142 :Taneb!~Taneb@host-78-146-168-52.as13285.net PRIVMSG #esoteric :of the transformations < 1357677001 473923 :GreyKnight!~GK@dab-crx1-h-58-7.dab.02.net PRIVMSG #esoteric :I'm disappointed there's no actual la-wikipedia article for the Transformers < 1357677019 621477 :GreyKnight!~GK@dab-crx1-h-58-7.dab.02.net PRIVMSG #esoteric :Taneb: not "transformations", these guys: http://en.wikipedia.org/wiki/Transformers < 1357677029 163410 :Taneb!~Taneb@host-78-146-168-52.as13285.net PRIVMSG #esoteric :Oooh < 1357677042 715067 :GreyKnight!~GK@dab-crx1-h-58-7.dab.02.net PRIVMSG #esoteric :"technobotorum" < 1357677055 559419 :Taneb!~Taneb@host-78-146-168-52.as13285.net PRIVMSG #esoteric :yesssss < 1357677123 271062 :Taneb!~Taneb@host-78-146-168-52.as13285.net PRIVMSG #esoteric :Transformaria: roboti incogniti < 1357677228 969791 :sebbu2!~sebbu@ADijon-152-1-28-197.w83-194.abo.wanadoo.fr JOIN :#esoteric < 1357677246 178959 :sebbu2!~sebbu@ADijon-152-1-28-197.w83-194.abo.wanadoo.fr QUIT :Changing host < 1357677246 397706 :sebbu2!~sebbu@unaffiliated/sebbu JOIN :#esoteric < 1357677304 970536 :sebbu!~sebbu@unaffiliated/sebbu QUIT :Ping timeout: 256 seconds < 1357677490 261396 :GreyKnight!~GK@dab-crx1-h-58-7.dab.02.net PRIVMSG #esoteric :ais523: I had something I wanted to say to you earlier, but then I forgot it. So this is a pointless comment. < 1357677508 7093 :Sgeo_!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :elliott, tswett Fiora Phantom_Hoover http://movies.yahoo.com/news/homestuck-movie-comedy-inevitable-unless-not-board-unless-193000232.html < 1357677514 952817 :Sgeo_!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :Taneb < 1357677526 790777 :Taneb!~Taneb@host-78-146-168-52.as13285.net PRIVMSG #esoteric :Saw it < 1357677586 776339 :GreyKnight!~GK@dab-crx1-h-58-7.dab.02.net PRIVMSG #esoteric :"you either don't kids" < 1357677591 449145 :GreyKnight!~GK@dab-crx1-h-58-7.dab.02.net PRIVMSG #esoteric :I don't kids personally. < 1357677597 488416 :Sgeo_!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :I don't mean to be mean to zzo38, but "But it could become a movie. Unless it can't." is a very zzo38 thing to say < 1357677604 350006 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :it is < 1357677614 32950 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :although zzo38 wouldn't put it quite like that < 1357677630 653670 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :Sgeo_, how can you be mean to zzo < 1357677658 78117 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :he is above and transcendant to us, he cares not for our petty insults < 1357677674 466037 :Taneb!~Taneb@host-78-146-168-52.as13285.net PRIVMSG #esoteric :So does insulting him matter, if he cares not about them < 1357677739 810064 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :no < 1357678008 596285 :c00kiemon5ter!~c00kiemon@foss-aueb/coder/c00kiemon5ter QUIT :Quit: c00kiemon5ter < 1357678018 626421 :GreyKnight!~GK@dab-crx1-h-58-7.dab.02.net PRIVMSG #esoteric :> let q = fix (\f x -> [x]:(f x)) in (q 1) < 1357678020 207308 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : [[1],[1],[1],[1],[1],[1],[1],[1],[1],[1],[1],[1],[1],[1],[1],[1],[1],[1],[1... < 1357678020 916392 :oerjan!oerjan@sprocket.nvg.ntnu.no JOIN :#esoteric < 1357678022 548444 :c00kiemon5ter!~c00kiemon@foss-aueb/coder/c00kiemon5ter JOIN :#esoteric < 1357678044 577713 :GreyKnight!~GK@dab-crx1-h-58-7.dab.02.net QUIT :Quit: brb switching trains < 1357678102 373074 :Taneb!~Taneb@host-78-146-168-52.as13285.net PRIVMSG #esoteric :> fix ((Control.Applicative.<**>) . seq) (*) 8 < 1357678104 187868 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : 64 < 1357678116 611448 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :15:48:59: does he figure out how hackego's sandboxing works eventually < 1357678119 234344 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :the latter. < 1357678121 628043 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :15:49:04: or is reading this log going to be unending torment and agony < 1357678137 370205 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :or well, it gets cut short by HackEgo crashing. < 1357678164 9998 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :how was he trying to break out? < 1357678165 804890 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric ::t (<**>) < 1357678166 855822 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : Ambiguous occurrence `<**>' < 1357678167 65963 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : It could refer to either `Control.Applicative.<**>', < 1357678167 66128 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : imported from `Control.Applicative' at State/L.hs:4:1-26 < 1357678184 960822 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :ACTION swats lambdabot -----### < 1357678202 215998 :Taneb!~Taneb@host-78-146-168-52.as13285.net PRIVMSG #esoteric :It's flip (<**>) < 1357678213 873958 :Taneb!~Taneb@host-78-146-168-52.as13285.net PRIVMSG #esoteric :*(<*>) < 1357678222 479340 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i know what it is, i was wondering why the heck you had to add the module < 1357678272 273266 :Taneb!~Taneb@host-78-146-168-52.as13285.net PRIVMSG #esoteric ::t acceptSession < 1357678273 265709 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :Not in scope: `acceptSession' < 1357678280 437068 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :ais523: he was just hallucinating his rm -rf * working. < 1357678290 307394 :Taneb!~Taneb@host-78-146-168-52.as13285.net PRIVMSG #esoteric :Not that one < 1357678306 302630 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :oerjan: what's the point of doing that when it's just trivially undoable? < 1357678316 717977 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :we don't really even need the canary, it's just there for trolling < 1357678320 290294 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :`cat canary < 1357678323 190211 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :SHUSH < 1357678338 137554 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :ACTION swats ais523 for mentioning the canary < 1357678343 419481 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :ACTION dodges < 1357678345 652625 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :* + -----### < 1357678398 967747 :GreyKnight!~greyknigh@dab-ell2-h-32-4.dab.02.net JOIN :#esoteric < 1357678472 798638 :olsner!~salparot@c83-252-194-156.bredband.comhem.se PRIVMSG #esoteric :what does the canary do? < 1357678481 761661 :GreyKnight!~greyknigh@dab-ell2-h-32-4.dab.02.net PRIVMSG #esoteric :oerjan: you are *too slow* < 1357678503 191833 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :GreyKnight: what now < 1357678540 46082 :GreyKnight!~greyknigh@dab-ell2-h-32-4.dab.02.net PRIVMSG #esoteric :ais523 was able to dodge your swat < 1357678542 245113 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :oh. well it's hard to hit when you forget the swatter. < 1357678549 350529 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :yeah < 1357678554 313757 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :you'd probably have hit otherwise < 1357678564 349701 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :olsner: basically it's just to stop people doing rm -rf *, and has no other effect < 1357678575 442114 :GreyKnight!~greyknigh@dab-ell2-h-32-4.dab.02.net PRIVMSG #esoteric :What is it, though < 1357678586 880183 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :YOU WILL HAVE TO FIND OUT FOR YOURSELF < 1357678604 932683 :GreyKnight!~greyknigh@dab-ell2-h-32-4.dab.02.net PRIVMSG #esoteric :WELL IF HACKEGO WAS HERE I WOULD < 1357678606 127942 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :hint: you've already had too many hints < 1357678646 515581 :GreyKnight!~greyknigh@dab-ell2-h-32-4.dab.02.net PRIVMSG #esoteric :ACTION guesses a file with tactical permissions set < 1357678658 433812 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :WRONG < 1357678659 842530 :sebbu2!~sebbu@unaffiliated/sebbu NICK :sebbu < 1357678660 22986 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :GreyKnight: even stronger hint: HackEgo has a revert command, and enough intelligence to know when to use it < 1357678688 116620 :GreyKnight!~greyknigh@dab-ell2-h-32-4.dab.02.net PRIVMSG #esoteric :Oh, he auto-reverts if the canary is removed < 1357678701 996925 :GreyKnight!~greyknigh@dab-ell2-h-32-4.dab.02.net PRIVMSG #esoteric :Cute < 1357678704 413407 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :YOU AND YOUR NUCLEAR HINTS < 1357678710 295111 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :It just doesn't commit, rather. < 1357678712 417488 :Taneb!~Taneb@host-78-146-168-52.as13285.net PRIVMSG #esoteric :Is it atomic? < 1357678712 596291 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :Sgeo_: that article is so badly written it almost makes me think it's trying to be sbahj-kitschy < 1357678715 724876 :Taneb!~Taneb@host-78-146-168-52.as13285.net PRIVMSG #esoteric :Yes, very atomic < 1357678721 581155 :GreyKnight!~greyknigh@dab-ell2-h-32-4.dab.02.net PRIVMSG #esoteric :Put the nuclear hint in a space suite < 1357678740 966762 :Sgeo_!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :Oh hey ∃ and ∀ are easy to type in DrRacket. \exists Alt-\ \forall Alt-\ < 1357678776 446482 :carado!~user4539@2a01:e35:8b61:e430:6ef0:49ff:fe73:1fd0 JOIN :#esoteric < 1357678783 888006 :GreyKnight!~greyknigh@dab-ell2-h-32-4.dab.02.net PRIVMSG #esoteric :Hm I wonder if there're standard compose sequences for those < 1357679194 427662 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :GreyKnight: No < 1357679210 35805 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :I grepped through compose sequences and didn't find it < 1357679263 996133 :GreyKnight!~greyknigh@dab-ell2-h-32-4.dab.02.net PRIVMSG #esoteric :Hmph < 1357679282 627945 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :how can you grep for it if you cannot compose it? CHECKMATE LINUXISTS < 1357679293 971728 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :oerjan: Copy-paste? < 1357679297 370299 :GreyKnight!~greyknigh@dab-ell2-h-32-4.dab.02.net PRIVMSG #esoteric :ACTION will add something to .XCompose < 1357679319 420534 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :ACTION sees FreeFull isn't into the spirit of checkmates < 1357679326 744766 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :https://groups.google.com/forum/#!topic/rubyonrails-security/61bkgvnSGTQ/discussion code execution exploit for any Rails app < 1357679346 425802 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :kmc: not /any/ Rails app? or is this a new one? < 1357679359 281354 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :I can also do ctrl+shift+u 2203 space < 1357679362 640528 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :∃ < 1357679368 485758 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :But that's difficult to remember < 1357679369 438906 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I thought the old one required you to modify a cookie to replace a representation of a string literal with a representation of a Ruby dictionary < 1357679372 967615 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :apparently a new one < 1357679380 411865 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :and that only worked if it happened to be stored in a cookie at the time < 1357679381 166311 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :hmm, OK < 1357679382 809143 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :haven't absorbed all the details < 1357679521 559111 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :@hoogle absorb < 1357679521 778624 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :No results found < 1357679538 484561 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :...how can there not be a haskell function by that name < 1357679548 28781 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :hoogle doesn't search that much < 1357679549 239045 :GreyKnight!~greyknigh@dab-ell2-h-32-4.dab.02.net PRIVMSG #esoteric :! < 1357679574 569292 :GreyKnight!~greyknigh@dab-ell2-h-32-4.dab.02.net PRIVMSG #esoteric ::t Absorbaloff < 1357679575 555700 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :Not in scope: data constructor `Absorbaloff' < 1357679577 979545 :olsner!~salparot@c83-252-194-156.bredband.comhem.se PRIVMSG #esoteric :@hoogle adsorb < 1357679578 159806 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :No results found < 1357679612 943001 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :ah, hayoo shows Data.Semiring has one < 1357679624 346376 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 QUIT :Ping timeout: 255 seconds < 1357679674 728786 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 JOIN :#esoteric < 1357679703 556282 :carado!~user4539@2a01:e35:8b61:e430:6ef0:49ff:fe73:1fd0 QUIT :Quit: Leaving < 1357679710 628140 :asiekierka!~asiekierk@fluttershy.pl QUIT :Excess Flood < 1357680011 965832 :asiekierka!~asiekierk@fluttershy.pl JOIN :#esoteric < 1357680653 100 :GreyKnight!~greyknigh@dab-ell2-h-32-4.dab.02.net QUIT :Remote host closed the connection < 1357680697 247170 :GreyKnight!~GK@dab-ell2-h-1-8.dab.02.net JOIN :#esoteric < 1357680758 330174 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric : I guess oerjan (helloerjan!) will logread this later and add quotes? <-- TOO LATE I'M PAST IT NOW AND HACKEGO'S STILL NOT HERE < 1357680773 714165 :asiekierka!~asiekierk@fluttershy.pl QUIT :Excess Flood < 1357680779 801953 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :ohnoerjan! < 1357680794 247053 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :r.i.p. quotes < 1357680806 857017 :GreyKnight!~GK@dab-ell2-h-1-8.dab.02.net PRIVMSG #esoteric :lost forever ;_; < 1357680812 270790 :olsner!~salparot@c83-252-194-156.bredband.comhem.se PRIVMSG #esoteric :still no hackego? this is horrible < 1357680815 805545 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oerjan: You could @remember it. < 1357680819 739163 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :@quote < 1357680819 918982 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :elven says: foldr sounds like a web-2.0 service < 1357680824 562817 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :@quote < 1357680824 743179 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :NealStephenson says: Long names get worn down to three-letter nubbins like stones smoothed by a river. < 1357680833 930566 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :@quote < 1357680834 111107 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :JoeMarshall says: I recall that Mike Blair once got the meta-circular evaluator to run itself. It took about forty minutes to get to the prompt. < 1357680844 82370 :GreyKnight!~GK@dab-ell2-h-1-8.dab.02.net PRIVMSG #esoteric :Shut up Nel Stp < 1357680847 681146 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :@quote < 1357680847 861080 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :Veinor says: SMT? shin megami tensei! the goal is to figure out how to max your s-links in persona 4 on the first run ... which is reducible to SAT, now that I think about it < 1357680856 327386 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :@quote < 1357680856 507600 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :EvanR says: oop is never about what people say its about < 1357680908 461500 :WeThePeople!~WeThePeop@unaffiliated/wethepeople QUIT :Quit: Leaving < 1357680919 691172 :canaima172429!~victoria@186.93.5.13 JOIN :#esoteric < 1357680926 49014 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :@tell shachaf hm... < 1357680926 230052 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :Consider it noted. < 1357680937 751299 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :@ask oerjan thx < 1357680937 751469 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :Consider it noted. < 1357680946 295337 :asiekierka!~asiekierk@fluttershy.pl JOIN :#esoteric < 1357680953 276511 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :@messages < 1357680953 456551 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :shachaf asked 16s ago: thx < 1357680981 726306 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :@todo < 1357680981 906365 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :0. SamB: A way to get multiple results from a google search < 1357680981 906561 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :1. dons: improve formatting of @dict < 1357680981 906669 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :2. dons: write Haskell Manifesto < 1357680981 906780 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :3. lispy: don't let lambdabot's prettyprinter split the sequence @foo across lines < 1357680981 906904 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :4. TheHunter: priviledged users should get priviledged listcommands. < 1357680983 628793 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :[37 @more lines] < 1357681004 618849 :GreyKnight!~GK@dab-ell2-h-1-8.dab.02.net PRIVMSG #esoteric :"Haskell Manifesto" < 1357681009 246987 :canaima172429!~victoria@186.93.5.13 PRIVMSG #esoteric :hola < 1357681009 426861 :hagb4rd!~perdito@koln-5d81f5f3.pool.mediaWays.net PRIVMSG #esoteric :what's up with gregor? doesn't he care anymore? < 1357681033 844314 :GreyKnight!~GK@dab-ell2-h-1-8.dab.02.net PRIVMSG #esoteric :dammit a newbie and we don't have the bot to `welcome him! < 1357681035 528537 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :IT'S LIKE HE'S NOT EVEN HERE < 1357681043 67394 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :shocking < 1357681047 351175 :hagb4rd!~perdito@koln-5d81f5f3.pool.mediaWays.net PRIVMSG #esoteric :yes < 1357681048 153671 :GreyKnight!~GK@dab-ell2-h-1-8.dab.02.net PRIVMSG #esoteric :what will we do?! ;_; < 1357681050 338443 :hagb4rd!~perdito@koln-5d81f5f3.pool.mediaWays.net PRIVMSG #esoteric :hi canaima172429 < 1357681055 644675 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :hm i have an idea < 1357681072 384308 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :@more < 1357681072 564901 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :5. TheHunter: @type 1 :: Int < 1357681072 565112 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :6. lispy: haddock gives a link from a type signature to the types. It would be nice if it also let you find functions in the given module that use a type. < 1357681072 565229 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :7. dons: Implement @whatis < 1357681072 565341 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :8. dcoutts: implement @cool list, as a clone of the @todo(-add) commands < 1357681072 565451 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :9. dons: there's some bug in the 'when i left' code of @seen < 1357681074 527438 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :[32 @more lines] < 1357681078 15535 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :^welcome canaima172429 < 1357681078 195890 :canaima172429!~victoria@186.93.5.13 PRIVMSG #esoteric :hablan español < 1357681081 151194 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :@more < 1357681081 426136 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :10. dons: sarahbot style @tell < 1357681081 606429 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :11. beelsebob_: @tell command - relays a message to someone when they next speak < 1357681081 606602 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :12. dons: @seen on lambdabot should report lambdabot's channels too < 1357681082 380973 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :13. ski: when printing first lines of infinite things (or all cases with nonexact), should say 'at least' < 1357681084 496138 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :14. ski: provide '@more ', at least for privmsg < 1357681086 436601 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :[27 @more lines] < 1357681090 980096 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :fungot: You *had* a ^welcome there. < 1357681093 42116 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :@more < 1357681093 222397 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :15. ski: '@todo-remove ' for priviledged users, and possibly the user who added the todo note (is @todo-replace worth it ?) < 1357681093 222594 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :16. dons: BUG: @pl (\_ -> return ()) --> const return < 1357681093 222706 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :17. beelsebob_: "@remind command formatted as '@remind {at