< 1364342405 566288 :Bike!~Glossina@65-100-35-121.ptld.qwest.net PRIVMSG #esoteric :kmc: whaaaaat. < 1364342450 610879 :Sgeo!~Sgeo@173.3.78.166 PRIVMSG #esoteric :Fun fact: I believe I found a cure for this disease. But I haven't tried it yet. < 1364342499 25885 :GOMADWarrior!~Regis@187.65.193.132 QUIT :Ping timeout: 252 seconds < 1364342578 41402 :Jafet!~Jafet@unaffiliated/jafet QUIT :Quit: Leaving. < 1364342854 746730 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :The Obama administration announced in 2011 that it had determined that section 3 was unconstitutional and, though it would continue to enforce the law, it would no longer defend it in court. < 1364342859 588041 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :us legal system is weird < 1364342904 467756 :Phantom_Hoover!~Phantom@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :Sgeo, i think there's a great tragedy in the making here < 1364342914 145908 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric : hm, does ((a(b{cd}{e}f)%Ng)%M make sense < 1364342932 354020 :Sgeo!~Sgeo@173.3.78.166 PRIVMSG #esoteric :Phantom_Hoover, ? < 1364342953 594676 :Phantom_Hoover!~Phantom@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :you're creating genetic disorders so you can cure them < 1364342978 269899 :Bike!~Glossina@65-100-35-121.ptld.qwest.net PRIVMSG #esoteric :hey i saw that movie once < 1364342984 417497 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :we _did_ discuss that way back, iirc that could be given meaning but it wouldn't be constant space to implement < 1364343013 148733 :Bike!~Glossina@65-100-35-121.ptld.qwest.net PRIVMSG #esoteric :elliott: the next sentence says the republicans are going to defend it anyway, very nice < 1364343030 853285 :Sgeo!~Sgeo@173.3.78.166 PRIVMSG #esoteric :Phantom_Hoover, I didn't even realize it was curable until a few days ago < 1364343052 2367 :Sgeo!~Sgeo@173.3.78.166 PRIVMSG #esoteric :Had to kill a bunch of norns to work out the exact CAOS involved < 1364343073 689408 :Sgeo!~Sgeo@173.3.78.166 PRIVMSG #esoteric :(The documentation for brn: sett isn't very clear imo) < 1364343142 49485 :Phantom_Hoover!~Phantom@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :even i think this is horrifying, and i've watched children born in a prison get shot to death by my marksdwarves in df < 1364343146 359520 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :elliott: yeah I can't remember what "enforce but not defend" actually means < 1364343158 63312 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :should i play df < 1364343164 570860 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :yes < 1364343175 780199 :Sgeo!~Sgeo@173.3.78.166 PRIVMSG #esoteric :The sacrifice norns all died painlessly. Probably. < 1364343177 143220 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :play a df succession fort with us < 1364343179 254767 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :somebody told me that all programmer should play DF at some point < 1364343186 96934 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :i was really stoned at the time so it sounded like a profound idea < 1364343189 422105 :Sgeo!~Sgeo@173.3.78.166 PRIVMSG #esoteric :(I can't say for certain because I was randomly poking around in their brains) < 1364343189 782455 :Bike!~Glossina@65-100-35-121.ptld.qwest.net PRIVMSG #esoteric :sgeo slowly becomes the most adorable Mengele since the anime < 1364343201 718027 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :was there an anime < 1364343223 248450 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Somebody told me that I should under no circumstances play DF. < 1364343258 73087 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :kmc: IMO DF is one of the very best-designed games ever, but it also has a really awful interface, so it depends on your tolerance for that < 1364343263 397367 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :dwarf therapist eases that pain a little bit though < 1364343276 193101 :Bike!~Glossina@65-100-35-121.ptld.qwest.net PRIVMSG #esoteric :elliott: http://24.media.tumblr.com/tumblr_lntskdZrNh1qjgqsko1_500.jpg < 1364343279 39523 :Phantom_Hoover!~Phantom@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :i think DF transcends game design < 1364343292 924380 :Sgeo!~Sgeo@173.3.78.166 PRIVMSG #esoteric :Basically, the commands involved let you adjust any floating-point value in the brain < 1364343302 811076 :Sgeo!~Sgeo@173.3.78.166 PRIVMSG #esoteric :But the docs weren't totally clear on how to specify which value < 1364343305 512911 :Phantom_Hoover!~Phantom@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :actually applying any sane principle of design to it would probably ruin it < 1364343307 629652 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric : Qualify that with "given a known hill" <-- okay, although i believe my construction needs only a bounded number of programs to have at least one of them beat anything you put against them on a given tape/polarity. not as few as 50, but maybe no more than a few hundreds. < 1364343331 398547 :Sgeo!~Sgeo@173.3.78.166 PRIVMSG #esoteric :So I made a brain that would do something very specific and obvious when a specific value was altered from 1 to 0 (or was it 0 to 1?) < 1364343332 602482 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :Phantom_Hoover: well the point is it's not so much designed as is < 1364343352 308305 :Sgeo!~Sgeo@173.3.78.166 PRIVMSG #esoteric :So I could try guessing ideas on what exactly was meant, until I found the right spot) < 1364343364 421711 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :Bike: oh boy < 1364343376 186953 :Bike!~Glossina@65-100-35-121.ptld.qwest.net PRIVMSG #esoteric :you're welcome < 1364343411 706793 :Sgeo!~Sgeo@173.3.78.166 PRIVMSG #esoteric :Fun fact: The specific and obvious thing was slapping the hand (which represents the player) non-stop vs. not slapping the hand non-stop < 1364343438 465412 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :fun fact 0 = 1 < 1364343553 336055 :ion!ion@heh.fi PRIVMSG #esoteric :instance Fun Fact < 1364343588 261350 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric : | fact n = n * fact (n - 1) < 1364343723 530241 :Jafet!~Jafet@unaffiliated/jafet JOIN :#esoteric < 1364343790 196194 :Sgeo!~Sgeo@173.3.78.166 PRIVMSG #esoteric :Bloody hell I'm now not sure if Spring even makes sense < 1364343798 255926 :Sgeo!~Sgeo@173.3.78.166 PRIVMSG #esoteric :Does it just make the classes it manages singletons? < 1364343811 171161 :Sgeo!~Sgeo@173.3.78.166 PRIVMSG #esoteric :As in, great, now you get one instance of the bean that's described/ < 1364343814 288214 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :shachaf: do you wait for someone else to talk before finishing it < 1364343821 604332 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :elliott: yes < 1364343829 109368 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :that way it gets messed up < 1364343872 951488 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :beans beans the musical fruit < 1364343905 474051 :Sgeo!~Sgeo@173.3.78.166 PRIVMSG #esoteric :Spring beans != Java beans < 1364343923 236516 :Sgeo!~Sgeo@173.3.78.166 PRIVMSG #esoteric :I think I owned JavaBeans for Dummies once < 1364343932 871207 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :String beans == Green beans < 1364343934 579070 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :hth < 1364343975 212913 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric : (in fact Bike should have already read that chapter before asking about forever) <-- technically forever could be just Applicative too < 1364343982 507944 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :kmc: If Cale gave (.) its Prelude type would you rejoin #haskell? < 1364343993 202604 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :We need, like, leverage and stuff, man. < 1364344005 142883 :Bike!~Glossina@65-100-35-121.ptld.qwest.net PRIVMSG #esoteric ::t (.) < 1364344006 496306 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric :Functor f => (a -> b) -> f a -> f b < 1364344032 592970 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :oerjan: in fact I say that a few lines later!! < 1364344040 575410 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :elliott: yay! < 1364344071 507620 :Bike!~Glossina@65-100-35-121.ptld.qwest.net PRIVMSG #esoteric :IDE/Theory: elliott is just an extensing time-ghost of oerjan during logreading < 1364344132 430017 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :heh < 1364344250 910230 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :what was that story where the person with the time machine was copying stories from a science fiction author in the future as the author was writing them < 1364344305 466320 :Lymia!~moe@inportb/loli/cirno-chan PRIVMSG #esoteric :oerjan, I'll worry about that when those are actually hill competitive :p < 1364344335 149619 :Bike!~Glossina@65-100-35-121.ptld.qwest.net PRIVMSG #esoteric :> (1+) . [4,5] < 1364344335 922393 :Lymia!~moe@inportb/loli/cirno-chan PRIVMSG #esoteric :I'm reasonably certain that 512 is enough-- esp if they have no loop/flow control to abuse < 1364344337 96449 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric : [5,6] < 1364344410 332810 :Lymia!~moe@inportb/loli/cirno-chan PRIVMSG #esoteric :for n in [0, 255], (>)*9(.)*n(-.)*-1 and (>)*9(.)*n(+.)*-1 < 1364344411 378712 :heroux!~heroux@5070823C.static.ziggozakelijk.nl QUIT :Ping timeout: 264 seconds < 1364344445 104410 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :enough++ < 1364344476 832511 :Lymia!~moe@inportb/loli/cirno-chan PRIVMSG #esoteric :ACTION kicks shachaf in the shin < 1364344490 30945 :Lymia!~moe@inportb/loli/cirno-chan PRIVMSG #esoteric :shachaf-- < 1364344511 780396 :heroux!~heroux@5070823C.static.ziggozakelijk.nl JOIN :#esoteric < 1364344525 2006 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric ::-( < 1364344546 578001 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Cale on lambdabot: < 1364344547 433223 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :17:35 Shin-LaC: Really, it doesn't work differently. There are just some local bindings in scope and some Prelude definitions are hidden. < 1364344575 56966 :Bike!~Glossina@65-100-35-121.ptld.qwest.net PRIVMSG #esoteric :> (1+) Prelude.. [4,5] < 1364344576 799885 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric : Not in scope: `Prelude..' < 1364344577 12829 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric : Perhaps you meant one of these: < 1364344577 207462 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric : `Prelude.-' (... < 1364344584 221902 :Bike!~Glossina@65-100-35-121.ptld.qwest.net PRIVMSG #esoteric :okay cool < 1364344608 33323 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :> (1+) P.. [4,5] < 1364344608 635763 :Lymia!~moe@inportb/loli/cirno-chan PRIVMSG #esoteric :> (.) a b c = a (b c) < 1364344608 829936 :Bike!~Glossina@65-100-35-121.ptld.qwest.net PRIVMSG #esoteric :> (Prelude..) (1+) [4,5] < 1364344609 593694 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric : Couldn't match expected type `a0 -> c0' with actual type `[t0]' < 1364344610 592295 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric : :1:11: parse error on input `=' < 1364344610 786926 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric : can't find file: L.hs < 1364344613 792688 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :Lymia: you need versions starting with + or - to beat maximally fast rushes < 1364344615 774805 :Bike!~Glossina@65-100-35-121.ptld.qwest.net PRIVMSG #esoteric :oh it's P. sensible < 1364344627 123678 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :imo it's not v. sensible < 1364344637 398083 :Bike!~Glossina@65-100-35-121.ptld.qwest.net PRIVMSG #esoteric :> (1+) v.. [4,5] < 1364344639 117002 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric : :1:7: parse error on input `..' < 1364344647 948369 :Bike!~Glossina@65-100-35-121.ptld.qwest.net PRIVMSG #esoteric :oh right module names have to be capitalized < 1364344649 995172 :Bike!~Glossina@65-100-35-121.ptld.qwest.net PRIVMSG #esoteric :sorry shachaf :( < 1364344710 275735 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :Lymia: also no waiting sheesh, then you might lose against slower rushes < 1364344736 2476 :Lymia!~moe@inportb/loli/cirno-chan PRIVMSG #esoteric :That's just an outline of the idea. :p < 1364344742 353448 :Lymia!~moe@inportb/loli/cirno-chan PRIVMSG #esoteric :Something like that might stop the system I'm thinking of < 1364344757 288928 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric : IDE/Theory: elliott is just an extensing time-ghost of oerjan during logreading <-- plausible < 1364344788 533859 :heroux!~heroux@5070823C.static.ziggozakelijk.nl QUIT :Ping timeout: 264 seconds < 1364344882 10069 :heroux!~heroux@5070823C.static.ziggozakelijk.nl JOIN :#esoteric < 1364344934 838555 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Hey, this person at the aæeroport is reading _Breakfast of Champions_. < 1364344940 55067 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :Lymia: it would be _so_ easy to write this if bfjoust syntax weren't ridiculously overlapping with regex syntax. < 1364344942 668729 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Remember when I was reading that book? Good times. < 1364344951 257732 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I guess I "started a movement" "oops" < 1364344954 554231 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :s/I/i/g < 1364345053 452031 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :oerjan should oppose (.)-as-fmap. < 1364345056 970152 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :he helped write the haskell 98 report. < 1364345069 8249 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :He did? < 1364345075 856074 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Cale hates Haskell 98 so it won't help. < 1364345091 173795 :Lymia!~moe@inportb/loli/cirno-chan PRIVMSG #esoteric :oerjan, :p < 1364345117 779252 :Lymia!~moe@inportb/loli/cirno-chan PRIVMSG #esoteric :The goal is to target actual hills, not theoretical "all hills" < 1364345122 508260 :Bike!~Glossina@65-100-35-121.ptld.qwest.net PRIVMSG #esoteric :strict typing is overrated though < 1364345127 928442 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :Lymia: optional +, (>)*9, (+)*n or (-)*n (n between 0 and 128), and either . + or - at the end in case the opponent defends. 2*129*3 options. < 1364345131 112139 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :shachaf: his name is in the report's acknowledgements < 1364345131 306851 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :lazy typing ftw < 1364345148 406841 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :Lymia: oh i was writing up my construction < 1364345156 409614 :Lymia!~moe@inportb/loli/cirno-chan PRIVMSG #esoteric :I suspect that's not entirely enough. < 1364345156 603865 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :> 6*129 < 1364345158 361399 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric : 774 < 1364345182 782162 :Lymia!~moe@inportb/loli/cirno-chan PRIVMSG #esoteric :Let me think < 1364345184 823594 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :elliott: I see an Orjan Johansen. < 1364345190 402568 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :No idea who that is. < 1364345194 763135 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :Ø < 1364345213 168664 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :"øøps" < 1364345224 3558 :Lymia!~moe@inportb/loli/cirno-chan PRIVMSG #esoteric :oerjan, < 1364345225 343598 :Lymia!~moe@inportb/loli/cirno-chan PRIVMSG #esoteric :What about < 1364345229 944652 :Lymia!~moe@inportb/loli/cirno-chan PRIVMSG #esoteric :(+)*5(>)*9(+.)*127+ < 1364345242 846332 :Lymia!~moe@inportb/loli/cirno-chan PRIVMSG #esoteric :Oh, I see. < 1364345250 276757 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Both Haskell 98 Reports were revised in August 2001, to incorporate dozens of typographical errors and presentational improvements. A complete list of all changes can be found at http://haskell.org. < 1364345374 849878 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :haskell 98 report "more like haskell revised in 2001 report" < 1364345380 435120 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :"and the changes lost" < 1364345402 410989 :Lymia!~moe@inportb/loli/cirno-chan PRIVMSG #esoteric :oerjan, I'm pretty sure that < 1364345417 770297 :Lymia!~moe@inportb/loli/cirno-chan PRIVMSG #esoteric :A similar argument can be made that a program can be made to lose no more than half the rounds. < 1364345435 605471 :Lymia!~moe@inportb/loli/cirno-chan PRIVMSG #esoteric :Or possibly one third. < 1364345457 335883 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :Lymia: i don't know about that. but you go ahead. < 1364345497 313952 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :once you don't know the tape length, the opponent's strategy becomes much more complicated to handle. < 1364345514 820620 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :shachaf: 'technical corrigendum' < 1364345528 642522 :Lymia!~moe@inportb/loli/cirno-chan PRIVMSG #esoteric :The idea for targeting actual hills is a greedy search algorithm, effectively. < 1364345585 800255 :Lymia!~moe@inportb/loli/cirno-chan PRIVMSG #esoteric :Instead of treating all strategies separately, work on a sort of "multi-state joust", where you have a long list representing all possible polarities and tape lengths. < 1364345672 839582 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :Lymia: oh hm my . + - at the end might need a . in front in some cases. < 1364345679 834333 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :so maybe another doubling. < 1364345723 539225 :Lymia!~moe@inportb/loli/cirno-chan PRIVMSG #esoteric :I think there's a maximum bound of 3^128, at least. < 1364345735 328826 :Lymia!~moe@inportb/loli/cirno-chan PRIVMSG #esoteric :(i.e. every possible string of actions on the flag) < 1364345833 687630 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :for your construction or mine? < 1364345843 129026 :Lymia!~moe@inportb/loli/cirno-chan PRIVMSG #esoteric :Yours < 1364345854 443694 :Lymia!~moe@inportb/loli/cirno-chan PRIVMSG #esoteric :Or, well, any (>)*9suffix < 1364345859 961608 :Lymia!~moe@inportb/loli/cirno-chan PRIVMSG #esoteric :oerjan, well, wait. < 1364345875 471403 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :it's not necessary with that many. < 1364345890 293564 :Lymia!~moe@inportb/loli/cirno-chan PRIVMSG #esoteric :Let me think for a moment < 1364345907 907218 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :you just need to ensure that you hit 0 _sometime_, and counteract any action the opponent does in the next step. < 1364345912 741408 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :where is zzo? < 1364345925 363063 :Lymia!~moe@inportb/loli/cirno-chan PRIVMSG #esoteric :oerjan, well. < 1364345928 530404 :Lymia!~moe@inportb/loli/cirno-chan PRIVMSG #esoteric :There's something notable here. < 1364345938 240608 :Lymia!~moe@inportb/loli/cirno-chan PRIVMSG #esoteric :+(>)*9(+)*1any suffix < 1364345944 405613 :Lymia!~moe@inportb/loli/cirno-chan PRIVMSG #esoteric :That will win against no possible program < 1364345968 567466 :Lymia!~moe@inportb/loli/cirno-chan PRIVMSG #esoteric :In fact, that applies up to 64 < 1364345979 747234 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :what? < 1364345995 362709 :Lymia!~moe@inportb/loli/cirno-chan PRIVMSG #esoteric :I think n only needs to be between 64 and 128 < 1364346001 371268 :Lymia!~moe@inportb/loli/cirno-chan PRIVMSG #esoteric :Or, at least, something higher than 0 < 1364346015 486387 :Lymia!~moe@inportb/loli/cirno-chan PRIVMSG #esoteric :Since, there's nothing both programs combined can do to bring down the flag to 0 in the shorter values of n < 1364346015 681728 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :remember that the opponent might do something drastic to their own flag < 1364346028 655181 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :oh right. < 1364346044 346934 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :didn't i just think about that too a while ago. < 1364346046 303537 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :anyone know of an existing discordian calendar module for Haskell? < 1364346098 739684 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :> (128-10) `div` 2 < 1364346100 790625 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric : 59 < 1364346130 682407 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :Lymia: that's about the limit. it's lower than 64 because the opponent might be changing the flag while i move. < 1364346215 952509 :Lymia!~moe@inportb/loli/cirno-chan PRIVMSG #esoteric :Actually < 1364346216 876844 :Lymia!~moe@inportb/loli/cirno-chan PRIVMSG #esoteric :Since it's < 1364346227 290501 :Lymia!~moe@inportb/loli/cirno-chan PRIVMSG #esoteric :"At least one tape length and at least one polarity" < 1364346229 928069 :Jafet1!~Jafet@unaffiliated/jafet JOIN :#esoteric < 1364346242 190544 :Lymia!~moe@inportb/loli/cirno-chan PRIVMSG #esoteric :You can cut it in half again, by getting rid of polarity inverses-- the hill will have to do that already < 1364346272 981289 :TeruFSX!~TeruFSX@65-128-137-85.mpls.qwest.net JOIN :#esoteric < 1364346302 336197 :Lymia!~moe@inportb/loli/cirno-chan PRIVMSG #esoteric :Hmm... < 1364346303 926364 :Lymia!~moe@inportb/loli/cirno-chan PRIVMSG #esoteric :Additionally < 1364346304 451972 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :well by my construction _i_ get to choose which length and polarity i win on. in spirit. < 1364346333 602198 :Lymia!~moe@inportb/loli/cirno-chan PRIVMSG #esoteric :(>)*9(+)*n+ == (>)*9(+)*(n+1) < 1364346343 613947 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :that is true < 1364346356 399431 :Lymia!~moe@inportb/loli/cirno-chan PRIVMSG #esoteric :(>)*9(+)*n. == (>)*9(+)*(n-1)+ < 1364346401 532036 :Jafet!~Jafet@unaffiliated/jafet QUIT :Ping timeout: 245 seconds < 1364346405 417428 :Jafet1!~Jafet@unaffiliated/jafet NICK :Jafet < 1364346455 696596 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :ok so no suffix, -, .+, or .- < 1364346503 15300 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :removing initial + and final . < 1364346593 145601 :Lymia!~moe@inportb/loli/cirno-chan PRIVMSG #esoteric :Initial + might be required, I think. < 1364346595 506561 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :erm < 1364346601 596967 :Lymia!~moe@inportb/loli/cirno-chan PRIVMSG #esoteric :oerjan, well... < 1364346607 199720 :Lymia!~moe@inportb/loli/cirno-chan PRIVMSG #esoteric :There's a more elegant way to do it, I think < 1364346612 115802 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :this is for the (+)*n case. switch + and - for the (-)*n case. < 1364346613 380145 :Lymia!~moe@inportb/loli/cirno-chan PRIVMSG #esoteric :(>)*[9,10] < 1364346637 6513 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :wat < 1364346641 727336 :Lymia!~moe@inportb/loli/cirno-chan PRIVMSG #esoteric :But that doesn't choose a tape length :p < 1364346681 855038 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :if you want to run of the tap < will do just fine hth < 1364346687 55414 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :*off the tape < 1364346696 529123 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :what happened to my keyboard there < 1364346700 656614 :Lymia!~moe@inportb/loli/cirno-chan PRIVMSG #esoteric :Well. < 1364346709 663469 :Lymia!~moe@inportb/loli/cirno-chan PRIVMSG #esoteric :If you allow for multiple tape lengths. < 1364346821 3808 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :why is mezzacotta down < 1364347964 515447 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :!bfjoust +>+++[]<(+)*-1 < 1364347964 976240 :EgoBot!codu@codu.org PRIVMSG #esoteric :​Use: !bfjoust . Scoreboard, programs, and a description of score calculation are at http://codu.org/eso/bfjoust/ < 1364347988 571638 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :!bfjoust trip_draw +>+++[]<(+)*-1 < 1364347992 558325 :EgoBot!codu@codu.org PRIVMSG #esoteric :​Score for Arc_Koen_trip_draw: 8.7 < 1364348130 540840 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :erf < 1364348148 289797 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :!bfjoust trip_draw +>+++[]<(.+)*-1 < 1364348153 125444 :EgoBot!codu@codu.org PRIVMSG #esoteric :​Score for Arc_Koen_trip_draw: 10.4 < 1364348534 836092 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :hmm are you telling me that Fiora's time-stopping-mahou-shojo, which got 33, is actually an empty program? < 1364348987 45295 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :no. < 1364349028 407505 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :oerjan: well that's what http://codu.org/eso/bfjoust/egojsout/index.php tells me < 1364349121 791865 :Sgeo!~Sgeo@173.3.78.166 PRIVMSG #esoteric :How do people stand having full-time jobs? < 1364349126 505084 :Bike!~Glossina@65-100-35-121.ptld.qwest.net PRIVMSG #esoteric :Fiora wrote something that got 33 that fast, huh < 1364349221 640198 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :Sgeo: they don't. they have their souls replaced with rutabagas after a couple months. < 1364349231 898078 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :*+of < 1364349349 409466 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :ok good night < 1364349358 183005 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net QUIT :Quit: The struct held his beloved integer in his strong, protecting arms, his eyes like sapphire orbs staring into her own. "W-will you... Will you union me?" < 1364349375 777913 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :Sgeo: first day didn't go well? < 1364349401 724888 :Sgeo!~Sgeo@173.3.78.166 PRIVMSG #esoteric :It's going ... adequately < 1364349405 414119 :Sgeo!~Sgeo@173.3.78.166 PRIVMSG #esoteric :And this was my second day < 1364349420 378421 :Sgeo!~Sgeo@173.3.78.166 PRIVMSG #esoteric :I just... don't entirely look forward to having no energy outside of work during the work week < 1364349448 38083 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :why no energy? < 1364349466 582579 :Phantom_Hoover!~Phantom@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :because he lives on pasta and pop-tarts, presumably < 1364349469 843355 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :^ < 1364349472 548319 :Phantom_Hoover!~Phantom@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :thermodynamics is a bitch < 1364349483 367358 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :gotta get your 100 W < 1364349507 355436 :Sgeo!~Sgeo@173.3.78.166 PRIVMSG #esoteric :Because my sleep cycle is a bit off < 1364349521 973835 :Bike!~Glossina@65-100-35-121.ptld.qwest.net PRIVMSG #esoteric :won't it get less off as you get into the rhythm < 1364349523 647930 :Sgeo!~Sgeo@173.3.78.166 PRIVMSG #esoteric :Maybe when that adjusts, I will actually find time for sanity < 1364349529 360929 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :Sgeo: maybe you are having jet lag due to the change in sleeping cycle? that _should_ fix itself, one hopes. (present company notwithstanding.) < 1364349958 354518 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :ACTION knows that's not technically jet lag btw < 1364349984 540951 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :sleep lag < 1364350036 434387 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :"The condition of jet lag may last several days until one is fully adjusted to the new time zone, and a recovery rate of one day per time zone crossed is a suggested guideline." < 1364350041 525410 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :so one day per hour < 1364350048 896176 :azaq23!~derivecto@unaffiliated/azaq23 JOIN :#esoteric < 1364350049 334489 :Phantom_Hoover!~Phantom@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :or... 24 < 1364350058 591733 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :thank you, Phantom_Hoover < 1364350085 495355 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i understand phantoms are very good at recognizing dimensionless quantities < 1364350085 880841 :Phantom_Hoover!~Phantom@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :36 in america < 1364350098 610331 :Phantom_Hoover!~Phantom@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :30 in euros < 1364350145 707343 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :how much in đồngs? < 1364350167 81562 :Phantom_Hoover!~Phantom@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :8 < 1364350183 578730 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :curious < 1364350198 744041 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :it appears to be more in larger units < 1364350218 560851 :Phantom_Hoover!~Phantom@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :do you have a degree in unitology oerjan < 1364350262 865642 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :"Since 2003, Vietnam has replaced its cotton banknotes with plastic polymer banknotes, which it claims will reduce costs.[10] Many newspapers in the country criticized these changes, citing mistakes in printing and alleging that the son of the governor of the State Bank of Vietnam benefited from printing contracts.[10] The government clamped down on these criticisms by banning two newspapers from publishing for a month and considering other sanctions < 1364350296 831126 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :Phantom_Hoover: yes i graduated from UNIT < 1364350298 888840 :Bike!~Glossina@65-100-35-121.ptld.qwest.net PRIVMSG #esoteric :other sanctions... < 1364350325 667629 :Phantom_Hoover!~Phantom@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :ACTION decides to stop trying to work out how much a ningi is worth < 1364350478 706162 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :"In present-day Vietnam, because the value of the currency is so small, one đồng could also be understood as one thousand đồng." < 1364350542 102276 :Sgeo!~Sgeo@173.3.78.166 PRIVMSG #esoteric :ACTION sees something like that in some online games < 1364350560 683401 :Sgeo!~Sgeo@173.3.78.166 PRIVMSG #esoteric :EVE Online people use a million ISK as the basis for talking about currency, I think < 1364350569 197551 :Bike!~Glossina@65-100-35-121.ptld.qwest.net PRIVMSG #esoteric :inflation, man < 1364350585 484968 :Phantom_Hoover!~Phantom@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :i wonder if you can actually spend individual eve moneys < 1364350595 875934 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :huh the iranian currency unit is now the least valued on http://en.wikipedia.org/wiki/Least_valued_currency_unit < 1364350600 733814 :Phantom_Hoover!~Phantom@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :on, like, a space croissant or something < 1364350606 638586 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :the sanctions really hurt < 1364350610 941472 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :now i want a space croissant < 1364350669 781812 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`? misspellings of space croissant < 1364350671 880277 :HackEgo!codu@codu.org PRIVMSG #esoteric :misspellings of space croissant? ¯\(°_o)/¯ < 1364350673 866514 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :me too < 1364350677 721236 :Sgeo!~Sgeo@173.3.78.166 PRIVMSG #esoteric :Phantom_Hoover, in the backstory, even 1 ISK makes you incredibly rich compared to the people who live on planets < 1364350693 540716 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :in space, croissants cannot be misspelled < 1364350698 215826 :Phantom_Hoover!~Phantom@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :otoh i can't imagine space croissants are cheap < 1364350703 731633 :Bike!~Glossina@65-100-35-121.ptld.qwest.net PRIVMSG #esoteric :that seems unlikely, economically speaking < 1364350712 465970 :Bike!~Glossina@65-100-35-121.ptld.qwest.net PRIVMSG #esoteric :like that's a ridiculous wealth disparit < 1364350751 669248 :Phantom_Hoover!~Phantom@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :elliott, what was that thing you said about EVE's choice of factions when you played the demo? < 1364350975 806828 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :i forgot < 1364350990 829747 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :iirc they were all terrible and i picked the anarchocapitalists (i forget why) < 1364351269 914590 :Sgeo!~Sgeo@173.3.78.166 PRIVMSG #esoteric :This one quest gives you a quest item called "A Lot of Money" < 1364351296 518210 :Phantom_Hoover!~Phantom@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :have you ever played eve < 1364351307 632377 :Sgeo!~Sgeo@173.3.78.166 PRIVMSG #esoteric :No < 1364351323 541130 :Sgeo!~Sgeo@173.3.78.166 PRIVMSG #esoteric :But I've read about it < 1364351522 798979 :Phantom_Hoover!~Phantom@unaffiliated/phantom-hoover/x-3377486 QUIT :Read error: Connection reset by peer < 1364351535 607246 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :one thousand dong < 1364351657 136124 :Lymia!~moe@inportb/loli/cirno-chan PRIVMSG #esoteric :http://danbooru.donmai.us/posts/1083748?tags=failure < 1364351778 591393 :Sgeo!~Sgeo@173.3.78.166 PRIVMSG #esoteric :Reversi? < 1364351786 262540 :Sgeo!~Sgeo@173.3.78.166 PRIVMSG #esoteric :Can't be Go < 1364351820 166698 :Bike!~Glossina@65-100-35-121.ptld.qwest.net PRIVMSG #esoteric :Wait, it's not Go? < 1364351833 221916 :Bike!~Glossina@65-100-35-121.ptld.qwest.net PRIVMSG #esoteric :wait duh the black piece is already captured < 1364351902 777624 :Sgeo!~Sgeo@173.3.78.166 PRIVMSG #esoteric :It's tagged reversi o.O < 1364351931 287007 :Bike!~Glossina@65-100-35-121.ptld.qwest.net PRIVMSG #esoteric :yeah they're reversi pieces and the position is illegal in go (also who plays go on 8x8) < 1364351953 660171 :Sgeo!~Sgeo@173.3.78.166 PRIVMSG #esoteric :Also go is on the lines. I hate how I only just noticed that < 1364351972 988317 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :tagged reversi? < 1364351974 293695 :Sgeo!~Sgeo@173.3.78.166 PRIVMSG #esoteric :I noticed the black piece with no liberties first < 1364351980 557130 :Bike!~Glossina@65-100-35-121.ptld.qwest.net PRIVMSG #esoteric :the image is tagged "reversi". < 1364351980 751669 :Sgeo!~Sgeo@173.3.78.166 PRIVMSG #esoteric :coppro, look at the list of tags < 1364352000 318236 :Sgeo!~Sgeo@173.3.78.166 PRIVMSG #esoteric :tagged reversi does sound like an awesome game < 1364352003 157403 :Bike!~Glossina@65-100-35-121.ptld.qwest.net PRIVMSG #esoteric :Danbooru is basically the most successful Semantic Web thing ever < 1364352027 190281 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :Sgeo: ah < 1364352035 260245 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :I thought you meant the game was called Tagged Reversi < 1364352211 276926 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :spineless tagless reversi < 1364352369 472573 :Bike!~Glossina@65-100-35-121.ptld.qwest.net PRIVMSG #esoteric :what kind of reversi do you usually play, dude < 1364352915 361676 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :the reverse of this, obviously < 1364353583 628261 :oerjan!oerjan@sprocket.nvg.ntnu.no QUIT :Quit: Gnite < 1364353708 477332 :Sgeo!~Sgeo@173.3.78.166 PRIVMSG #esoteric :`slist < 1364353710 79102 :HackEgo!codu@codu.org PRIVMSG #esoteric :slist: Taneb atriq Ngevd Fiora nortti Sgeo ThatOtherPerson alot < 1364353713 690267 :Sgeo!~Sgeo@173.3.78.166 PRIVMSG #esoteric :Veracity of slist not confirmed < 1364353721 689820 :Sgeo!~Sgeo@173.3.78.166 PRIVMSG #esoteric :Veracity of slist confirmed < 1364353763 710778 :Bike!~Glossina@65-100-35-121.ptld.qwest.net PRIVMSG #esoteric :you should switch to a graded system, to account for veracity confirmation difficulties < 1364354356 864801 :carado!~carado@2a01:e35:8b61:e430:221:63ff:fe9a:3747 QUIT :Ping timeout: 246 seconds < 1364355329 997191 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :hi < 1364355357 593947 :Bike!~Glossina@65-100-35-121.ptld.qwest.net PRIVMSG #esoteric :what < 1364355382 684201 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :im back < 1364355395 144039 :Bike!~Glossina@65-100-35-121.ptld.qwest.net PRIVMSG #esoteric :`welcome back < 1364355397 110868 :HackEgo!codu@codu.org PRIVMSG #esoteric :back: Welcome to the international hub for esoteric programming language design and deployment! For more information, check out our wiki: http://esolangs.org/wiki/Main_Page. (For the other kind of esoterica, try #esoteric on irc.dal.net.) < 1364355433 564747 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :thank's < 1364356785 40453 :Jafet!~Jafet@unaffiliated/jafet QUIT :Quit: Leaving. < 1364357120 179265 :Sgeo!~Sgeo@173.3.78.166 PRIVMSG #esoteric :My day is literally impossible. Wake up at 5am, get home at 7pm, 3 hours dinner, 8 hours sleep. There is not enough time for that, it's impossible. < 1364357202 205441 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake QUIT :Ping timeout: 264 seconds < 1364357212 643259 :augur!~augur@208.58.5.87 JOIN :#esoteric < 1364357251 487726 :augur!~augur@208.58.5.87 QUIT :Remote host closed the connection < 1364357258 732831 :augur!~augur@208.58.5.87 JOIN :#esoteric < 1364357494 152498 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :3 hours dinner? < 1364357502 98070 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :also why do you have to get up at 5am < 1364357569 44455 :Sgeo!~Sgeo@173.3.78.166 PRIVMSG #esoteric :It took me ~2 hours to eat dinner tonight, and I ended up not eating much of it < 1364357586 277012 :Sgeo!~Sgeo@173.3.78.166 PRIVMSG #esoteric :And I need to force myself to mentally wake up, and get ready < 1364357601 12564 :Sgeo!~Sgeo@173.3.78.166 PRIVMSG #esoteric :Good night < 1364357604 224802 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :good night < 1364357605 884256 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :don't die Sgeo < 1364357609 110548 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :goodnights < 1364357613 672136 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :if it takes you 2 hours to eat and you can barely eat then something is wrong < 1364357631 63015 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :lack of energy might have something to do with not eating < 1364357632 660873 :Sgeo!~Sgeo@173.3.78.166 PRIVMSG #esoteric :I don't remember it not taking that long < 1364357639 807402 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :why does it take so long? < 1364357642 471740 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :you're blowing my mind here kmc < 1364357653 886038 :Sgeo!~Sgeo@173.3.78.166 PRIVMSG #esoteric :Not especially interested in food, I guess. < 1364357665 19859 :Sgeo!~Sgeo@173.3.78.166 PRIVMSG #esoteric :Although maybe 1 box of pasta is a bit large of a portion? < 1364357778 883323 :Sgeo!~Sgeo@173.3.78.166 PRIVMSG #esoteric :~800 calories iirc < 1364358084 280231 :augur!~augur@208.58.5.87 QUIT :Read error: Connection reset by peer < 1364358100 690397 :augur!~augur@208.58.5.87 JOIN :#esoteric < 1364358561 119715 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :800 calories is a pretty standard meal for a lot of people < 1364358567 140827 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :i mean you need like 2000 a day < 1364358734 803564 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :800 calories is kind of a big meal < 1364359154 657692 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :i only eat two meals a day < 1364359240 396507 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :me too < 1364359252 37578 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :I usually eat a lunchish thing before work and dinner when I get home < 1364359261 727962 :Sgeo!~Sgeo@173.3.78.166 PRIVMSG #esoteric :I want to see a doctor over the weekend < 1364359271 308224 :Sgeo!~Sgeo@173.3.78.166 PRIVMSG #esoteric :Have had a weird cough this week and face keeps going red < 1364359291 116162 :Bike!~Glossina@65-100-35-121.ptld.qwest.net PRIVMSG #esoteric :"also my diet is used as a torture mechanism in some countries" < 1364359355 138384 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :a Chipotle opened one block from where I work, which resulted in a lot of 1600 calorie meals for a while < 1364359362 900502 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :but to prevent astonishing fatness, I am cutting back < 1364359365 222551 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :1600? O_O aren't the burritos like ~800ish at max? < 1364359370 803947 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :or is that with like chips and a drink < 1364359376 198287 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :burrito + chips and guac < 1364359386 35895 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :+ a drink but it's diet < 1364359387 514636 :Sgeo!~Sgeo@173.3.78.166 PRIVMSG #esoteric :Maybe I should try Chipotle < 1364359396 152930 :Bike!~Glossina@65-100-35-121.ptld.qwest.net PRIVMSG #esoteric :is that a real abbreviation? "guac", do people talk about "guac" < 1364359412 981105 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :chipotle is really really good < 1364359418 704359 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :I can't usually eat a whole burrito though, I prefer the salads < 1364359423 470951 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :it's like the burrito without all the unhealthy parts < 1364359442 775836 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :Bike: that's how I order it < 1364359453 419446 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :Sgeo: you're in New York? < 1364359462 533121 :Sgeo!~Sgeo@173.3.78.166 PRIVMSG #esoteric :Yes < 1364359477 170796 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :yeah it's hard to get good mexican food in many parts of NY, you might as well eat Chipotle or Qdoba < 1364359486 415870 :Bike!~Glossina@65-100-35-121.ptld.qwest.net PRIVMSG #esoteric :"Haskell provides indexable arrays, which may be thought of as functions whose domains are isomorphic to contiguous subsets of the integers." exactly what an array is. < 1364359487 933076 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :eating Chipotle in San Francisco would be some kind of crime or weird statement < 1364359499 450482 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :Bike: mathematicians *eye roll* < 1364359506 500250 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :Sgeo: where abouts are you living? < 1364359509 788435 :Bike!~Glossina@65-100-35-121.ptld.qwest.net PRIVMSG #esoteric :basically. < 1364359512 418715 :Sgeo!~Sgeo@173.3.78.166 PRIVMSG #esoteric :Long Island < 1364359525 573056 :Bike!~Glossina@65-100-35-121.ptld.qwest.net PRIVMSG #esoteric :"Functions restricted in this way can be implemented efficiently" < 1364359557 253084 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :Fiora: yeah, I've been eating the burrito bowl recently, that's like 600 cal as configured, and pretty high protein < 1364359571 278776 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :chips and guac alone is more food than that o_O < 1364359571 512347 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :I like the salad with guacamole as the dressing basically (plus salsa) < 1364359594 426432 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :I think it's like ~500-600 calories, not much carbs-wise, and really tasty and filling < 1364359610 526669 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :but it's a bit of a trek to get to the chipotle here so I usually get panera if I go out < 1364359613 358281 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :Sgeo: like the part that's in NYC, or the further out part? < 1364359619 769011 :Sgeo!~Sgeo@173.3.78.166 PRIVMSG #esoteric :further out < 1364359620 431738 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :mm panera's decent < 1364359625 269091 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :Sgeo: do you commute on LIRR then < 1364359641 986899 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :maybe tomorrow for lunch I will have just chips and guac < 1364359679 2857 :Sgeo!~Sgeo@173.3.78.166 PRIVMSG #esoteric :Yes, but workplace is also on LI < 1364359681 802954 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :oh < 1364359684 116785 :Bike!~Glossina@65-100-35-121.ptld.qwest.net PRIVMSG #esoteric :did somebody tell me Data.Array was bad? i forget < 1364359685 697808 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :the chips things at chipotle are huuge < 1364359692 930826 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :yep, I think they're meant to be shared < 1364359702 45111 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :yeah, I got that feeling too when I saw them < 1364359710 443096 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :i used to get burrito and chips and guac and that was my one meal for the day < 1364359713 102809 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :that was... kind of weird < 1364359837 728607 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :damn it now i'm hungry < 1364359957 465465 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :Bike: haha where is that from < 1364360000 536967 :Bike!~Glossina@65-100-35-121.ptld.qwest.net PRIVMSG #esoteric :elliott: spec for Data.Array < 1364360004 876917 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :nice < 1364360022 741726 :Bike!~Glossina@65-100-35-121.ptld.qwest.net PRIVMSG #esoteric :also they say that to ensure this efficiency they're values instead of functions < 1364360027 143289 :Bike!~Glossina@65-100-35-121.ptld.qwest.net PRIVMSG #esoteric :"thanks" < 1364360230 808237 :Bike!~Glossina@65-100-35-121.ptld.qwest.net PRIVMSG #esoteric :"Right and left shifts by amounts greater than or equal to the width of the type result in a zero result. This is contrary to the behaviour in C, which is undefined; a common interpretation is to truncate the shift count to the width of the type, for example 1 << 32 == 1 in some C implementations." i didn't know that. < 1364360320 550395 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :huh, I've never heard of that particular behavior :o < 1364360331 129588 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :the two I can remember are "large shift is zero" and "shift is mod 32" < 1364360376 94755 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :"shl eax, cl" in x86 does "eax <<= cl&31" I think < 1364360399 269515 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :but "pslld xmm0, xmm1" does xmm0 <<= xmm1 (so it zeroes if it's big) < 1364360431 520227 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :I discovered this the hard way the other day when I was wondering why my shifts were coming out wrong, and my register had like, {X,X,X,X} in it (where each X was my shift value, 32-bit) instead of {X,0,0,0} < 1364360444 246830 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :and it actually looked at the entire register O_O < 1364360448 917422 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :instead of just the low bit < 1364360469 765083 :Bike!~Glossina@65-100-35-121.ptld.qwest.net PRIVMSG #esoteric :whoops < 1364360476 413819 :Jafet!~Jafet@unaffiliated/jafet JOIN :#esoteric < 1364360675 999040 :Bike!~Glossina@65-100-35-121.ptld.qwest.net PRIVMSG #esoteric :"unsafeLocalState :: IO a -> a" oh baby < 1364360687 165955 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :yep < 1364360712 547562 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :it's like unsafePerformIO but with stronger (unchecked) preconditions < 1364360724 343313 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :there are some mailing list arguments about whether GHC's implementation should be unsafeDupablePerformIO < 1364360775 564448 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :my neighbors like to practice piano and singing at 1 in the morning < 1364360779 728070 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :not a complaint just an observation < 1364360780 445785 :Bike!~Glossina@65-100-35-121.ptld.qwest.net PRIVMSG #esoteric :good ol mailing list arguments and piano < 1364360832 595999 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :also "It is expected that this operation will be replaced in a future revision of Haskell." < 1364360835 736322 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :cryptic < 1364360856 689890 :Bike!~Glossina@65-100-35-121.ptld.qwest.net PRIVMSG #esoteric :standard stable pointers. that's kinda nice. < 1364360878 274013 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :i don't think anyone has ever used unsafeLocalState < 1364360880 390996 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :yup. and ForeignPtr < 1364360890 182190 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :it's kind of weird that all kinds of ptrs are standard but not, like, IORef < 1364360906 696869 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :that is weird < 1364360917 541981 :Bike!~Glossina@65-100-35-121.ptld.qwest.net PRIVMSG #esoteric :the standard contains the phrase "Haskell land", very nice < 1364360931 721386 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :it also refers to getLine as a "function" :( < 1364360958 547916 :Bike!~Glossina@65-100-35-121.ptld.qwest.net PRIVMSG #esoteric :if arrays can be functions so can IO actions, elliott < 1364360972 985279 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :also GHC error messages do this "everything is a function" thing it's awful < 1364360999 375922 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric ::( < 1364361017 436499 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :a lot of the text in the Report and in the base library docs is just poorly written < 1364361057 896128 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :an IO action is a function from a RealWorld where you are confused about IO actions to a RealWorld where you are even more confused about IO actions < 1364361070 875393 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :also it's a monoid < 1364361076 514343 :Bike!~Glossina@65-100-35-121.ptld.qwest.net PRIVMSG #esoteric :is that "RealWorld" like an actual thing because it sounds dumb kind of? < 1364361095 85206 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :RealWorld is invoked in two very very different contexts < 1364361098 704320 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :which people tend to mix up < 1364361103 361156 :Bike!~Glossina@65-100-35-121.ptld.qwest.net PRIVMSG #esoteric :oh christ it is isn't it < 1364361108 938222 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :Bike: GHC implements IO a as State# RealWorld -> (# State# RealWorld, a #) < 1364361113 257554 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :note that this is 99% misleading < 1364361116 208524 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :and not standard at all < 1364361118 753102 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :and not a model for IO < 1364361121 722106 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :also it's lies < 1364361127 807944 :Bike!~Glossina@65-100-35-121.ptld.qwest.net PRIVMSG #esoteric :yeah i'm fine with IO just being a thing < 1364361144 510026 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :the other kind of RealWorld is an analogy for IO, type IO a = RealWorld -> (RealWorld, a) < 1364361144 704583 :Bike!~Glossina@65-100-35-121.ptld.qwest.net PRIVMSG #esoteric :it's okay. it's okay, IO. I believe in you, you don't have to prove yourself to me or anyone else. < 1364361148 355298 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :(basically it's like () -> ((), a) except the () and the tuple are erased at runtime) < 1364361154 460403 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :(and it's used so that the compiler doesn't reoder the operations) < 1364361161 783672 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :(under the hood everything is just impure) < 1364361165 567984 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :*reoder < 1364361167 544849 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :*reorder fuck < 1364361168 14622 :Bike!~Glossina@65-100-35-121.ptld.qwest.net PRIVMSG #esoteric :nooooo < 1364361171 652976 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :the analogy looks a lot like the GHC definition but they're totally different < 1364361181 455835 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :let's not tell Bike the stupid state monad analogy for IO < 1364361188 94708 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :he does not deserve the pain < 1364361206 224954 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :the -> in the GHC definition is not the Haskell function type because it's an impure function < 1364361209 319310 :Bike!~Glossina@65-100-35-121.ptld.qwest.net PRIVMSG #esoteric :is this a monad tutorial thing < 1364361217 999482 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :and State# RealWorld is erased at runtime < 1364361223 731629 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :and RealWorld itself has no values, it's only a type tag < 1364361248 800140 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :i just said that!!!!!!!!!!!!!!!!!!!!!!!!!!!!!! < 1364361249 941569 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :!!!!!!!!!!!!! < 1364361252 257393 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!! < 1364361253 395795 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :you said some of it < 1364361254 887044 :Bike!~Glossina@65-100-35-121.ptld.qwest.net PRIVMSG #esoteric :. < 1364361258 435657 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!! < 1364361263 27112 :Bike!~Glossina@65-100-35-121.ptld.qwest.net PRIVMSG #esoteric :ok < 1364361281 660149 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :the RealWorld analogy is bad for a few reasons, one is "the outside world", one is concurrency, but mostly it's just a confusing distraction < 1364361288 722174 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :imo < 1364361305 739389 :Bike!~Glossina@65-100-35-121.ptld.qwest.net PRIVMSG #esoteric :so why'd you bring it up i don't understand these jokes i'm too noobish help < 1364361315 474596 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :kmc never jokes < 1364361317 179081 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :well you asked if RealWorld was a real thing.............. < 1364361331 638223 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :these aren't jokes I am just telling you about things that are bad < 1364361334 647920 :Bike!~Glossina@65-100-35-121.ptld.qwest.net PRIVMSG #esoteric :after you mentioned it! < 1364361340 287828 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :oh yeah < 1364361341 801570 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :that was a joke < 1364361346 930610 :Bike!~Glossina@65-100-35-121.ptld.qwest.net PRIVMSG #esoteric :also "Computation getProgName returns the name of the program as it was invoked. However, this is hard-to-impossible to implement on some non-Unix OSes, so instead, for maximum portability, we just return the leafname of the program as invoked." good standard < 1364361357 519575 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :see it worked!!!!!!!!!!!! a RealWorld where you are confused about IO actions < 1364361366 334707 :Bike!~Glossina@65-100-35-121.ptld.qwest.net PRIVMSG #esoteric :also also are things in IO called "computations" for some reason < 1364361369 776582 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :sometimes < 1364361373 2520 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :or in monads generally < 1364361388 248191 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :also I'm super pedantic so I wouldn't say "returns" < 1364361394 794079 :Bike!~Glossina@65-100-35-121.ptld.qwest.net PRIVMSG #esoteric :that seems pointless. i think monads should just be monads. i like monads < 1364361395 470929 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :but like "produces" or "yields" < 1364361396 910935 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :returns is just fine < 1364361407 730734 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :getProgName "ends in" (return progName) < 1364361409 554324 :Bike!~Glossina@65-100-35-121.ptld.qwest.net PRIVMSG #esoteric :"monaderates" < 1364361409 748228 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :imo < 1364361409 748413 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :Bike: you need a name for the values whose types are made from monads < 1364361415 773544 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :it's more correct than like "succ 3 returns 4" < 1364361419 662003 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :the monad itself is a type constructor < 1364361430 915374 :Bike!~Glossina@65-100-35-121.ptld.qwest.net PRIVMSG #esoteric :"monadic values"? < 1364361431 249865 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :so they get called computations or actions or mobits < 1364361438 796789 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :a little clunky < 1364361441 49006 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :monadic value is sort of a misnomer, though it's high pedantry to say so < 1364361445 352136 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :because the value itself isn't "monadic" < 1364361445 828319 :Bike!~Glossina@65-100-35-121.ptld.qwest.net PRIVMSG #esoteric :i am all about the clunk < 1364361455 121421 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :plus it suggests that monadic values are magically different from the other kind < 1364361457 73427 :Bike!~Glossina@65-100-35-121.ptld.qwest.net PRIVMSG #esoteric :that's pretty high pedandtry, yeah < 1364361457 563114 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :it just happens to have a type of the form (m a) where m is a monad < 1364361460 901332 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :suggests the bad "pure vs impure" analogy < 1364361500 28984 :Bike!~Glossina@65-100-35-121.ptld.qwest.net PRIVMSG #esoteric :do haskell people just either really hate or really love analogies is that it < 1364361560 803922 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :yep < 1364361568 554901 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :surely you've read the 'monad tutorial fallacy' article < 1364361574 739493 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :im sorry Bike < 1364361575 599092 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :if not then do that thing I said < 1364361603 334799 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :an analogy is like a self-referential joke about analogies < 1364361609 624099 :Bike!~Glossina@65-100-35-121.ptld.qwest.net PRIVMSG #esoteric :I probably did at one point. I think for like the past year I knew more about monad tutorials than I did about monads? Maybe? < 1364361642 464012 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :or did i just blow your mind < 1364361666 117951 :Bike!~Glossina@65-100-35-121.ptld.qwest.net PRIVMSG #esoteric :a self-reference self self reference refeselfreferselfreferreferself---refer-self----referererererer < 1364361679 345513 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :hi guys fuck everyuthing < 1364361680 474632 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :that's actually the last page of GEB < 1364361710 842106 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :my friend made shirts that just say "RECURSION" in big letters < 1364361726 588655 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :tends to confuse programmers < 1364361730 186423 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :also other people < 1364361736 218323 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :but for different reasons < 1364361745 143677 :Bike!~Glossina@65-100-35-121.ptld.qwest.net PRIVMSG #esoteric :you know you can get shirts that say "fuck you" < 1364361749 624490 :Bike!~Glossina@65-100-35-121.ptld.qwest.net PRIVMSG #esoteric :i'm just sayin there's an easier way < 1364361771 522519 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :you know you can get http://www.amazon.com/Remote-Controlled-Flying-F-ck/dp/B002P4J2P8 < 1364361791 175463 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :i should buy some stupid shirts to then not wear < 1364361802 164997 :Bike!~Glossina@65-100-35-121.ptld.qwest.net PRIVMSG #esoteric :they censored it. that's great < 1364361820 238745 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :i like to imagine it's an actual blur irl < 1364361837 306111 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :the problem is how do you utilise it < 1364361838 132380 :Bike!~Glossina@65-100-35-121.ptld.qwest.net PRIVMSG #esoteric :this fuck is outside your mortal knowledge < 1364361840 625476 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :you can't fly it up to someone < 1364361845 447963 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :because you're trying to say you DON'T give a flying fuck < 1364361848 771875 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :you can't just give it like that < 1364361852 739722 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :youi have to like < 1364361857 649492 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :hover it where they can see it but not plausibly obtain it < 1364361861 989675 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :hover it outside their window maybe < 1364361870 731954 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :I am pretty sure I still don't actually understand monads (please don't explain monads to me) < 1364361890 295136 :Bike!~Glossina@65-100-35-121.ptld.qwest.net PRIVMSG #esoteric :a monad is like a box of chocolates < 1364361892 997140 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :we are post-monad tutorial, Fiora < 1364361912 684334 :Bike!~Glossina@65-100-35-121.ptld.qwest.net PRIVMSG #esoteric :I only write tutorials about post-rock lyricless songs mocking the concept of monad tutorials. < 1364361917 599811 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :ps you should read learn you a haskell. except skip the parts about functors because Bike discovered they're terrible? < 1364361920 335445 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :"This is a pretty fun little aircraft. It's not very controllable though... I felt I got my moneys worth before 1 of propellors broke" < 1364361923 518280 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :standard advice < 1364361941 238822 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :$25 well spent < 1364361984 387371 :Bike!~Glossina@65-100-35-121.ptld.qwest.net PRIVMSG #esoteric :also i'm actually on the part about monoids right now. so that's happening < 1364361992 446183 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :People generally take this the wrong way when you give it to them, but now that it exists there is a more serious issue: every time I don't show up with one of these to a birthday party I hear about how I didn't give one when I selected my gift. < 1364362001 332894 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :"Useful, but not easy to clean" < 1364362004 150116 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :Bike: you should have no trouble, they are so easy < 1364362004 344240 :Bike!~Glossina@65-100-35-121.ptld.qwest.net PRIVMSG #esoteric :"The first function is mempty. It's not really a function, since it doesn't take parameters," < 1364362008 459499 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :aaaaaaah < 1364362012 778817 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :Bike: owwwww my head < 1364362016 575143 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :i remember lyah being good???? when i read it < 1364362021 434941 :Bike!~Glossina@65-100-35-121.ptld.qwest.net PRIVMSG #esoteric :i'm just going to quote things at you until you die hth < 1364362023 783008 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :i guess i was like 12, but... < 1364362036 369293 :Bike!~Glossina@65-100-35-121.ptld.qwest.net PRIVMSG #esoteric :elliott are you some kind of savant? like, at dying i guess < 1364362042 658649 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :yes i am pro at death < 1364362048 10807 :Bike!~Glossina@65-100-35-121.ptld.qwest.net PRIVMSG #esoteric :i think when i was twelve i was learning like, qbasic < 1364362056 838606 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :i love qbasic < 1364362062 671107 :Bike!~Glossina@65-100-35-121.ptld.qwest.net PRIVMSG #esoteric :or maybe trying to make my calculator play video games < 1364362069 582715 :Bike!~Glossina@65-100-35-121.ptld.qwest.net PRIVMSG #esoteric :or maybe just dicking around in starcraft WHO KNOWS < 1364362077 536341 :Bike!~Glossina@65-100-35-121.ptld.qwest.net PRIVMSG #esoteric :(that game is hard) < 1364362085 501625 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :i "only" really started learning to program properly when i was ~8 < 1364362094 93197 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :i hope Sgeo doesn't die < 1364362111 79695 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :well if the past billion years haven't killed him < 1364362125 396364 :Bike!~Glossina@65-100-35-121.ptld.qwest.net PRIVMSG #esoteric :it'd be nice if he didn't die. that'd e good let's do that < 1364362248 216599 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :i'm so hungry and tired < 1364362259 777077 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :maybe if I sleep now I can get to work at 'not lazy bum' hour < 1364362264 138419 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :i'm tired too < 1364362266 386787 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :'night all < 1364362268 526888 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :not so much hungry though < 1364362274 124802 :Bike!~Glossina@65-100-35-121.ptld.qwest.net PRIVMSG #esoteric :http://s3.amazonaws.com/lyah/smug.png < 1364362298 351461 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :good image < 1364362413 362562 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :Bike: hey can you pester me to update the wiki tomorrow < 1364362415 356664 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :for spam < 1364362417 251647 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :ty < 1364362452 798012 :Bike!~Glossina@65-100-35-121.ptld.qwest.net PRIVMSG #esoteric :to edit decipher the voynich manuscript < 1364362477 795795 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :voynich mansucript creeps me the fuck out < 1364362500 286630 :Bike!~Glossina@65-100-35-121.ptld.qwest.net PRIVMSG #esoteric :Have you seen that artificial one based on it? with the alligator fucking? < 1364362532 96182 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :i think so < 1364362538 512905 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :i never forget an alligator-fucking < 1364362551 628900 :Bike!~Glossina@65-100-35-121.ptld.qwest.net PRIVMSG #esoteric :good < 1364363598 322756 :Jafet!~Jafet@unaffiliated/jafet QUIT :Quit: Leaving. < 1364364035 8324 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :22:35 SHA-256: e74d0d323226046e402dd469a176075fc2013b69b0e67cea49762c957175df46 < 1364364048 840666 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :kmc: Is your hash-changing thing also going to work for IRC? < 1364365436 427184 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :im still awake < 1364365451 393031 :Bike!~Glossina@65-100-35-121.ptld.qwest.net PRIVMSG #esoteric :Stop that. < 1364365469 8106 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric ::-( < 1364365472 147493 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :i ahve to do things before sleping < 1364365476 858154 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :but i dont want to do them < 1364365531 758484 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :ACTION is back in CA < 1364365548 764446 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :elliott: imo if you never sleep youll never have to do them??????? < 1364366029 625771 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :Bike: why is it almost 7/ < 1364366052 272451 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :elliott: it's almost midnight hth < 1364366108 774244 :Bike!~Glossina@65-100-35-121.ptld.qwest.net PRIVMSG #esoteric :you've clearly been trapped in A Bad Timezome. imo move to the aleutians. < 1364366151 835327 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Mother Night is a strange book. < 1364366154 334865 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :i wonder if my sleep schedule would be improved by moving to a timezone closer to america, so i wouldn't talk on irc so goddamn late. < 1364366182 482115 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :elliott: imo move to america then make friends in australia hth < 1364366213 403272 :Bike!~Glossina@65-100-35-121.ptld.qwest.net PRIVMSG #esoteric :I live in america and still end up distracted by people online at 3 AM. it's possible americans just suck. < 1364366233 72272 :Bike!~Glossina@65-100-35-121.ptld.qwest.net PRIVMSG #esoteric :also http://s3.amazonaws.com/lyah/smugpig.png < 1364366617 137454 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :fuckkkk the time < 1364366624 727990 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :Bike: its minecraft < 1364366669 432359 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Bike: You should get _Programming in Haskell_ by Hutton and read that instead. < 1364366671 414506 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :but staying up late is a good thing, it means it's easier to avoid the rays of the fusion death ball that rises during the day < 1364366699 385578 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Fiora: You're the only vampire in here, you know. < 1364366708 362065 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Even oerjan isn't a vampire. < 1364366751 178628 :Bike!~Glossina@65-100-35-121.ptld.qwest.net PRIVMSG #esoteric :Honestly I'm thinking I should go back to Darwin. His 300 page book about worm shit. He literally wrote 300 pages about worm shit and it's probably better than whatever you just said. < 1364366752 153619 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :I'm not a vampire :< < 1364366763 11926 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :just because I am pale skinned doesn't make me a vampire < 1364366765 868783 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :I don't have fangs < 1364366767 398080 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :I don't like blood < 1364366769 333591 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :and I love garlic < 1364366771 573005 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :Fiora: i think you'll find the fusion death ball has already risen. < 1364366780 162333 :Bike!~Glossina@65-100-35-121.ptld.qwest.net PRIVMSG #esoteric :Maybe you're some kind of covampire. < 1364366781 683087 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :ACTION looks outside. no fusion death ball < 1364366788 411459 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :i am sorry that you live in the wrong place. < 1364366798 434018 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :elliott: if you don't like blood how come you're made of it? checkmate < 1364366799 986234 :Bike!~Glossina@65-100-35-121.ptld.qwest.net PRIVMSG #esoteric :Well she's not, because she'd be burned alive. < 1364366801 959370 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :s/elliott/Fiora/ < 1364366802 610879 :Bike!~Glossina@65-100-35-121.ptld.qwest.net PRIVMSG #esoteric :You insensitive jerk. < 1364366803 560598 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :there is also snow but it's really shitty snow. < 1364366809 483874 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :it's like, half ice. < 1364366824 112027 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :ACTION checks weather tomorrow < 1364366834 628351 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :7°-20° < 1364366836 93082 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :I don't like the taste of it okay :< < 1364366840 350573 :Bike!~Glossina@65-100-35-121.ptld.qwest.net PRIVMSG #esoteric :screaming ten year olds < 1364366846 313156 :Bike!~Glossina@65-100-35-121.ptld.qwest.net PRIVMSG #esoteric :Fiora: why not, it's sweet. < 1364366850 294158 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :it really isn't < 1364366861 256256 :Bike!~Glossina@65-100-35-121.ptld.qwest.net PRIVMSG #esoteric :It's full of sugars! < 1364366881 562522 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :blood + garlic = ??? < 1364366900 197659 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :i like how i was planning to be asleep, like, an hour ago. < 1364366914 945680 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :it's not full of sugar :< < 1364366933 612779 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :I mean it's like, what, 80mg/dl? < 1364366948 17904 :Bike!~Glossina@65-100-35-121.ptld.qwest.net PRIVMSG #esoteric :details, details < 1364366949 985764 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :that means an entire liter has less than a gram of sugar, that's hardly sweet! < 1364367079 969844 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :husadfkgh < 1364367162 453949 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I,I garlic is good / vampires are FUD / sugar is sweet / and so is blood < 1364367240 439418 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :that sthe worst poem i've ever heard < 1364367264 704970 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :btw is it just me or is the topic too big < 1364367272 403615 :elliott!elliott@unaffiliated/elliott TOPIC #esoteric :new topic | http://codu.org/logs/_esoteric/ < 1364367303 154651 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :I don't think I make a very good vampire really < 1364367306 109026 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :elliott: imo "ur the worst poem ive ever heard" < 1364367333 626697 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Fiora: Do I make a very good Nepeta Leijon? < 1364367338 849733 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`? Fiora < 1364367340 716369 :HackEgo!codu@codu.org PRIVMSG #esoteric :Fiora is a freakin' vriskapologist. < 1364367343 998990 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :<_> < 1364367353 872108 :Bike!~Glossina@65-100-35-121.ptld.qwest.net PRIVMSG #esoteric :haha i totally forgot about that < 1364367382 860726 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :like, I'm not a tall, sexy vampire who fights werewolves, and I'm also not a tiny frill-wearing vampire with a silly hat and colorful wings < 1364367418 451243 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :what < 1364367424 434070 :Bike!~Glossina@65-100-35-121.ptld.qwest.net PRIVMSG #esoteric :Maybe we could set up wisdom/Fiora to just quote everything she says she's not. < 1364367424 931190 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :she makes a good point, shachaf. < 1364367425 125977 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :those don't sound like vampires at all < 1364367532 562386 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :http://danbooru.donmai.us/data/f4b268396810b642158d07848da004ae.jpg is it wrong that when I think of vampires I think of flandre and remilia first -_- < 1364367562 8782 :Bike!~Glossina@65-100-35-121.ptld.qwest.net PRIVMSG #esoteric :toho return of flander < 1364367670 44942 :Bike!~Glossina@65-100-35-121.ptld.qwest.net PRIVMSG #esoteric :http://danbooru.donmai.us/data/sample/sample-13eb7b5973e4502658981f23bbcb494e.jpg I guess that's vampiric. < 1364367702 88064 :Bike!~Glossina@65-100-35-121.ptld.qwest.net PRIVMSG #esoteric :http://danbooru.donmai.us/data/475bae4fdc58fb9ee34ce4a1e4d1104a.jpg Basically what Fiora looks like. < 1364367723 182933 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :;-; < 1364367730 555881 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :http://25.media.tumblr.com/762600df4f6d018cb13f43c66da1f995/tumblr_mk99cx9d7L1qg2oejo1_500.jpg I'm more a patchy than a vampire < 1364367745 27383 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :with liking to stay in the basement and read books and write assem^W^Wuse magic < 1364367838 596112 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :You're a web server now? < 1364367870 723506 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :??? < 1364367875 626922 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :..... oh my gosh that pun < 1364367884 804829 :Bike!~Glossina@65-100-35-121.ptld.qwest.net PRIVMSG #esoteric :http://danbooru.donmai.us/data/sample/sample-f31832024306cb103319146d31e72d77.jpg < 1364367888 294474 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :that was wonderful < 1364367924 811157 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :You shouldn't call people's puns "wonderful". It makes them uncomfortable. < 1364367930 324762 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :sorry :< < 1364367935 668540 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Try groaning or saying that the pun and/or the person is terrible. < 1364367937 718958 :Bike!~Glossina@65-100-35-121.ptld.qwest.net PRIVMSG #esoteric :perhaps "fun"puns < 1364367939 214417 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :punderful < 1364367944 531661 :Bike!~Glossina@65-100-35-121.ptld.qwest.net PRIVMSG #esoteric :elliott sleep < 1364367951 782682 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :but I like puns ._. < 1364367953 988476 :Bike!~Glossina@65-100-35-121.ptld.qwest.net PRIVMSG #esoteric :i have horse porn and i'm not afraid to use it < 1364367963 248881 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Bike: let's try ygolohcysp < 1364367971 188248 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :Bike: i was actually just about to leave < 1364367977 72027 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :but now it's going to look like i'm leaving because of horse porn < 1364367978 211728 :Bike!~Glossina@65-100-35-121.ptld.qwest.net PRIVMSG #esoteric :fuck off < 1364367981 960950 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :elliott hates me so much that he'll do the opposite of what i say even if he doesn't want to < 1364367987 787154 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :elliott stay awake < 1364367990 307014 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :and bike I don't give people that face :< < 1364368002 714650 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :17:51 I thought lambdabot didn't import Numeric.Lens. I guess it was a baseless assumption. < 1364368014 815264 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Fiora is missing out on that pun by not being a lens user. < 1364368019 927613 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :goodnight, I hate everything and everyone < 1364368021 606835 :Bike!~Glossina@65-100-35-121.ptld.qwest.net PRIVMSG #esoteric :Fiora: I bet you have the moon pendant though. < 1364368049 694472 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :elliott ._. < 1364368059 951386 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Fiora: Anyway, you know what they say: The beauty of the pun is in the Oy of the beholder. < 1364368096 296445 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :Bike: as much as I am a patchy I don't (I'm really more of an alice though) < 1364368099 928940 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :I'm not grumpy enough to be patchy < 1364368155 401528 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I,I "An alice?" "From the palace." "The alice from the palace --" "-- holds the pellet with the poison." < 1364368184 68590 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :(I don't know what any of these things are.) < 1364368189 651883 :Bike!~Glossina@65-100-35-121.ptld.qwest.net PRIVMSG #esoteric :http://danbooru.donmai.us/data/b17cf8215d85857686a430451fa9697d.png I can dig it. < 1364368196 122960 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :bike ;-; < 1364368199 551985 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :why do you always post gory things < 1364368275 422676 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :http://25.media.tumblr.com/tumblr_m46cn5hH2B1qbp2zbo1_1280.jpg http://24.media.tumblr.com/tumblr_lxwmm07xSo1qevpjfo1_1280.jpg how about more like this alice < 1364368281 723390 :Bike!~Glossina@65-100-35-121.ptld.qwest.net PRIVMSG #esoteric :I thought you liked Danbooru. < 1364368287 875889 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :not really, it's mostly porn < 1364368302 948686 :Bike!~Glossina@65-100-35-121.ptld.qwest.net PRIVMSG #esoteric :I"m not linking porn! < 1364368313 600511 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :gore is your idea of porn right? <.< < 1364368324 317321 :Bike!~Glossina@65-100-35-121.ptld.qwest.net PRIVMSG #esoteric :Is Alice known for slander < 1364368333 764909 :heroux!~heroux@5070823C.static.ziggozakelijk.nl QUIT :Ping timeout: 240 seconds < 1364368381 281326 :Bike!~Glossina@65-100-35-121.ptld.qwest.net QUIT :Quit: child labor < 1364368390 655820 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :What's an alice? < 1364368394 34172 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :and there he goes... < 1364368397 382087 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :she is alice < 1364368457 639935 :heroux!~heroux@5070823C.static.ziggozakelijk.nl JOIN :#esoteric < 1364368653 555263 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :careful there, this is my safe for work channel. < 1364368705 949449 :kallisti!~eris@168.28.136.16 JOIN :#esoteric < 1364368706 260385 :kallisti!~eris@168.28.136.16 QUIT :Changing host < 1364368706 455464 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake JOIN :#esoteric < 1364369755 413088 :epicmonkey!~epicmonke@188.134.41.112 JOIN :#esoteric < 1364370871 377808 :epicmonkey!~epicmonke@188.134.41.112 QUIT :Ping timeout: 264 seconds < 1364370979 5193 :DHeadshot!~DH____@unaffiliated/dh----/x-6288474 JOIN :#esoteric < 1364373162 922903 :carado!~carado@2a01:e35:8b61:e430:221:63ff:fe9a:3747 JOIN :#esoteric < 1364373684 27834 :DHeadshot!~DH____@unaffiliated/dh----/x-6288474 QUIT :Ping timeout: 252 seconds < 1364373833 126057 :ThatOtherPerson!d46b64cb@gateway/web/freenode/ip.212.107.100.203 JOIN :#esoteric < 1364374512 722918 :Jafet!~Jafet@unaffiliated/jafet JOIN :#esoteric < 1364375054 77734 :Taneb!d917e6b6@gateway/web/freenode/ip.217.23.230.182 JOIN :#esoteric < 1364375126 232082 :Taneb!d917e6b6@gateway/web/freenode/ip.217.23.230.182 PRIVMSG #esoteric :Huh < 1364375144 370416 :Taneb!d917e6b6@gateway/web/freenode/ip.217.23.230.182 PRIVMSG #esoteric :My school blocks the fancy logs but not the text logs < 1364375255 425805 :FreeFull!~freefull@defocus/sausage-lover QUIT :Quit: Bye < 1364375442 722301 :epicmonkey!~epicmonke@host-224-60.dataart.net JOIN :#esoteric < 1364375490 531551 :Taneb!d917e6b6@gateway/web/freenode/ip.217.23.230.182 PRIVMSG #esoteric :It also has a tendency to block only the second page of Homestuck updates < 1364375676 530563 :copumpkin!~copumpkin@unaffiliated/copumpkin QUIT :Ping timeout: 264 seconds < 1364375707 150585 :copumpkin!~copumpkin@unaffiliated/copumpkin JOIN :#esoteric < 1364375940 670852 :sivoais!~zaki@unaffiliated/sivoais QUIT :Ping timeout: 276 seconds < 1364376027 8507 :sivoais!~zaki@unaffiliated/sivoais JOIN :#esoteric < 1364376490 893248 :sivoais!~zaki@unaffiliated/sivoais QUIT :Ping timeout: 246 seconds < 1364376584 638039 :sivoais!~zaki@unaffiliated/sivoais JOIN :#esoteric < 1364376709 746330 :epicmonkey!~epicmonke@host-224-60.dataart.net QUIT :Ping timeout: 248 seconds < 1364377050 95929 :sivoais!~zaki@unaffiliated/sivoais QUIT :Ping timeout: 252 seconds < 1364377188 561739 :sivoais!~zaki@unaffiliated/sivoais JOIN :#esoteric < 1364377458 725211 :epicmonkey!~epicmonke@host-224-58.dataart.net JOIN :#esoteric < 1364377633 758315 :sivoais!~zaki@unaffiliated/sivoais QUIT :Ping timeout: 240 seconds < 1364377751 288958 :sivoais!~zaki@unaffiliated/sivoais JOIN :#esoteric < 1364378215 401542 :sivoais!~zaki@unaffiliated/sivoais QUIT :Ping timeout: 264 seconds < 1364378358 856663 :sivoais!~zaki@unaffiliated/sivoais JOIN :#esoteric < 1364378480 253334 :ThatOtherPerson!d46b64cb@gateway/web/freenode/ip.212.107.100.203 QUIT :Quit: Page closed < 1364378730 152648 :Taneb!d917e6b6@gateway/web/freenode/ip.217.23.230.182 QUIT :Quit: Page closed < 1364378819 179105 :sivoais!~zaki@unaffiliated/sivoais QUIT :Ping timeout: 256 seconds < 1364378916 202279 :sivoais!~zaki@unaffiliated/sivoais JOIN :#esoteric < 1364379392 999370 :sivoais!~zaki@unaffiliated/sivoais QUIT :Ping timeout: 252 seconds < 1364379474 12634 :sivoais!~zaki@unaffiliated/sivoais JOIN :#esoteric < 1364379933 712983 :sivoais!~zaki@unaffiliated/sivoais QUIT :Ping timeout: 240 seconds < 1364380055 534235 :sivoais!~zaki@unaffiliated/sivoais JOIN :#esoteric < 1364380517 726378 :sivoais!~zaki@unaffiliated/sivoais QUIT :Ping timeout: 248 seconds < 1364380618 709439 :sivoais!~zaki@unaffiliated/sivoais JOIN :#esoteric < 1364380826 539594 :DHeadshot!~DH____@unaffiliated/dh----/x-6288474 JOIN :#esoteric < 1364381073 833579 :sivoais!~zaki@unaffiliated/sivoais QUIT :Ping timeout: 240 seconds < 1364381186 340589 :sivoais!~zaki@unaffiliated/sivoais JOIN :#esoteric < 1364381688 513044 :sivoais!~zaki@unaffiliated/sivoais QUIT :Ping timeout: 264 seconds < 1364381775 629846 :sivoais!~zaki@unaffiliated/sivoais JOIN :#esoteric < 1364382251 512941 :sivoais!~zaki@unaffiliated/sivoais QUIT :Ping timeout: 245 seconds < 1364382292 597723 :sirdancealo2!~sirdancea@98.82.broadband5.iol.cz QUIT :Ping timeout: 256 seconds < 1364382356 468520 :sivoais!~zaki@unaffiliated/sivoais JOIN :#esoteric < 1364382821 702951 :sivoais!~zaki@unaffiliated/sivoais QUIT :Ping timeout: 248 seconds < 1364382932 537206 :sivoais!~zaki@unaffiliated/sivoais JOIN :#esoteric < 1364383373 801223 :sivoais!~zaki@unaffiliated/sivoais QUIT :Ping timeout: 240 seconds < 1364383515 267251 :sivoais!~zaki@unaffiliated/sivoais JOIN :#esoteric < 1364383992 746492 :sivoais!~zaki@unaffiliated/sivoais QUIT :Ping timeout: 264 seconds < 1364384097 43476 :sivoais!~zaki@unaffiliated/sivoais JOIN :#esoteric < 1364384587 417766 :sivoais!~zaki@unaffiliated/sivoais QUIT :Ping timeout: 264 seconds < 1364384642 563270 :sivoais!~zaki@unaffiliated/sivoais JOIN :#esoteric < 1364384804 972304 :TeruFSX!~TeruFSX@65-128-137-85.mpls.qwest.net QUIT :Ping timeout: 256 seconds < 1364385100 136793 :sivoais!~zaki@unaffiliated/sivoais QUIT :Ping timeout: 245 seconds < 1364385239 860297 :sivoais!~zaki@unaffiliated/sivoais JOIN :#esoteric < 1364385400 872386 :sebbu!~sebbu@unaffiliated/sebbu QUIT :Quit: reboot < 1364385689 188467 :sivoais!~zaki@unaffiliated/sivoais QUIT :Ping timeout: 256 seconds < 1364385763 947874 :sivoais!~zaki@unaffiliated/sivoais JOIN :#esoteric < 1364386102 718338 :sebbu!~sebbu@ADijon-152-1-42-103.w83-194.abo.wanadoo.fr JOIN :#esoteric < 1364386127 830549 :sebbu!~sebbu@ADijon-152-1-42-103.w83-194.abo.wanadoo.fr QUIT :Changing host < 1364386128 25584 :sebbu!~sebbu@unaffiliated/sebbu JOIN :#esoteric < 1364386251 604382 :sivoais!~zaki@unaffiliated/sivoais QUIT :Ping timeout: 245 seconds < 1364386346 251711 :sivoais!~zaki@unaffiliated/sivoais JOIN :#esoteric < 1364386800 27298 :sivoais!~zaki@unaffiliated/sivoais QUIT :Ping timeout: 245 seconds < 1364386909 198363 :sivoais!~zaki@unaffiliated/sivoais JOIN :#esoteric < 1364387397 726083 :sivoais!~zaki@unaffiliated/sivoais QUIT :Ping timeout: 248 seconds < 1364387478 649940 :sivoais!~zaki@unaffiliated/sivoais JOIN :#esoteric < 1364387950 99276 :sivoais!~zaki@unaffiliated/sivoais QUIT :Ping timeout: 245 seconds < 1364388045 913985 :sivoais!~zaki@unaffiliated/sivoais JOIN :#esoteric < 1364388547 375310 :sivoais!~zaki@unaffiliated/sivoais QUIT :Ping timeout: 264 seconds < 1364388625 353213 :sivoais!~zaki@unaffiliated/sivoais JOIN :#esoteric < 1364388708 527938 :boily!~boily@mtl.savoirfairelinux.net JOIN :#esoteric < 1364388740 559431 :metasepia!~metasepia@2607:fad8:4:6:f2de:f1ff:fe6c:6765 JOIN :#esoteric < 1364388896 443417 :hogeyui__!~hogeyuiVP@vps.usamimi.biz NICK :hogeyui < 1364388992 903522 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :'morning all! < 1364389100 14385 :sivoais!~zaki@unaffiliated/sivoais QUIT :Ping timeout: 245 seconds < 1364389216 534798 :sivoais!~zaki@unaffiliated/sivoais JOIN :#esoteric < 1364389425 24276 :nooodl!~nooodl@91.179.180.252 JOIN :#esoteric < 1364389716 560377 :sivoais!~zaki@unaffiliated/sivoais QUIT :Ping timeout: 264 seconds < 1364389801 282281 :sivoais!~zaki@unaffiliated/sivoais JOIN :#esoteric < 1364389823 399380 :sirdancealot!~sirdancea@98.82.broadband5.iol.cz JOIN :#esoteric < 1364389967 272932 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :boily: unexpected EOF while looking for matching `'' < 1364390149 24376 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :fizzie: there, just for you, an unbalanced parenthesis: ( < 1364390270 39176 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :boily: syntax error near unexpected token `(' < 1364390273 725826 :sivoais!~zaki@unaffiliated/sivoais QUIT :Ping timeout: 240 seconds < 1364390316 329660 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :(That was some kind of a freaky giant parenthesis.) < 1364390367 694439 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :behold the power of fullwidth characters! < 1364390388 722664 :sivoais!~zaki@unaffiliated/sivoais JOIN :#esoteric < 1364390497 118615 :sirdancealot!~sirdancea@98.82.broadband5.iol.cz QUIT :Ping timeout: 240 seconds < 1364390596 930651 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 JOIN :#esoteric < 1364390795 59031 :ThatOtherPerson!~ThatOther@unaffiliated/thatotherpersony JOIN :#esoteric < 1364390853 790660 :sivoais!~zaki@unaffiliated/sivoais QUIT :Ping timeout: 240 seconds < 1364390977 495018 :sivoais!~zaki@unaffiliated/sivoais JOIN :#esoteric < 1364391162 766191 :sivoais!~zaki@unaffiliated/sivoais QUIT :Read error: Connection reset by peer < 1364391339 874305 :carado_!~user4539@2a01:e35:8b61:e430:6ef0:49ff:fe73:1fd0 JOIN :#esoteric < 1364391422 328950 :sivoais!~zaki@unaffiliated/sivoais JOIN :#esoteric < 1364391652 905209 :carado!~carado@2a01:e35:8b61:e430:221:63ff:fe9a:3747 QUIT :Ping timeout: 246 seconds < 1364391677 139366 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :I have trouble thinking up sensible questions on the topic of mixture models that don't involve estimating their parameters with EM. < 1364391820 35277 :GOMADWarrior!~Regis@187.65.193.132 JOIN :#esoteric < 1364395296 503984 :metasepia!~metasepia@2607:fad8:4:6:f2de:f1ff:fe6c:6765 QUIT :Ping timeout: 264 seconds < 1364395413 988051 :metasepia!~metasepia@2607:fad8:4:6:f2de:f1ff:fe6c:6765 JOIN :#esoteric < 1364395418 534707 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :weird. metasepia suddenly died by itself. < 1364395677 424622 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :cuttlefish don't live very long < 1364395688 979599 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :the babies are born as orphans :/ < 1364395709 908594 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :so they don't get a chance to use their intelligence for much in the way of learning or culture < 1364395719 588382 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :and indeed it's somewhat puzzling why they're so smart to begin with < 1364395821 767993 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :they taste good, too. < 1364395847 752302 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :(deep fried baby cuttlefishes, with a plate of bok choi and a large tsingtao...) < 1364395945 30655 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :kmc: I think it's to prevent them from taking over the world < 1364395956 454267 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :http://25.media.tumblr.com/d708ec2f87f32813e561608b47a65469/tumblr_mjbqkaCeed1rw5m2lo1_400.gif wub wub wub wub wub NOM < 1364395987 661700 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :geez, that cuttlefish needs to check its refresh rate < 1364396014 596849 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :haha < 1364396020 660728 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :error: cuttlefish not synced to vblank < 1364396046 692831 :ThatOtherPerson!~ThatOther@unaffiliated/thatotherpersony QUIT :Quit: Leaving < 1364396077 754989 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :maybe it's a power phase issue < 1364396083 418179 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :it's like, a european cuttlefish but it's using american water < 1364396143 428747 :Lymia!~moe@inportb/loli/cirno-chan QUIT :Ping timeout: 264 seconds < 1364396206 103029 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :`addquote error: cuttlefish not synced to vblank maybe it's a power phase issue it's like, a european cuttlefish but it's using american water < 1364396212 793451 :HackEgo!codu@codu.org PRIVMSG #esoteric :993) error: cuttlefish not synced to vblank maybe it's a power phase issue it's like, a european cuttlefish but it's using american water < 1364396255 200873 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :`quote 992 < 1364396256 779470 :HackEgo!codu@codu.org PRIVMSG #esoteric :992) If you cannot type, then you should learn to type if you want to operate your computer < 1364396260 739347 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :`quote 991 < 1364396262 238761 :HackEgo!codu@codu.org PRIVMSG #esoteric :991) I don't think there are any pope with fractional numbers (except something I made up for the Dungeons&Dragons game) < 1364396267 441680 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :`quote 990 < 1364396269 68561 :HackEgo!codu@codu.org PRIVMSG #esoteric :990) Papal infallibility means that the pope is allowed to be infallible by himself if he wants to, without requiring a council. < 1364396277 79678 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :`quote 989 < 1364396278 586655 :HackEgo!codu@codu.org PRIVMSG #esoteric :989) I think pastaquote should just quote me < 1364396721 398998 :Nisstyre-laptop!~yours@oftn/member/Nisstyre JOIN :#esoteric < 1364396810 12128 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net JOIN :#esoteric < 1364396864 103667 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :Fiora: haha < 1364396930 495214 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :`pastequote < 1364396931 769997 :HackEgo!codu@codu.org PRIVMSG #esoteric :​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: pastequote: not found < 1364396950 525233 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :what's the command again to have a nice paste for all quotes? < 1364396952 467046 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :`pastequotes < 1364396958 614183 :HackEgo!codu@codu.org PRIVMSG #esoteric :http://codu.org/projects/hackbot/fshg/index.cgi/raw-file/tip/paste/paste.25045 < 1364397023 696227 :AnotherTest!~AnotherTe@94-224-28-191.access.telenet.be JOIN :#esoteric < 1364397343 876066 :copumpkin!~copumpkin@unaffiliated/copumpkin QUIT :Ping timeout: 246 seconds < 1364397383 359686 :copumpkin!~copumpkin@unaffiliated/copumpkin JOIN :#esoteric < 1364397501 299666 :Taneb!d917e6b6@gateway/web/freenode/ip.217.23.230.182 JOIN :#esoteric < 1364397534 328837 :Taneb!d917e6b6@gateway/web/freenode/ip.217.23.230.182 PRIVMSG #esoteric :What was that thingy which wasn't a semigroup but you could subtract two to get a semigroup and add that semigroup onto it < 1364397565 151499 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :a... group? < 1364397573 626588 :Taneb!d917e6b6@gateway/web/freenode/ip.217.23.230.182 PRIVMSG #esoteric :No < 1364397625 149030 :ThatOtherPerson!~ThatOther@unaffiliated/thatotherpersony JOIN :#esoteric < 1364397826 556638 :Taneb!d917e6b6@gateway/web/freenode/ip.217.23.230.182 PRIVMSG #esoteric :I think it began with v < 1364397840 533360 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :a vroup? < 1364397917 347714 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :the only potentially relevant entry on wikipedia is "Vertex operator algebra". < 1364397930 485033 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :and/or "Von Neumann algebra". < 1364398078 219511 :Taneb!d917e6b6@gateway/web/freenode/ip.217.23.230.182 QUIT :Ping timeout: 245 seconds < 1364400247 807127 :hagb4rd!~perdito@koln-4db406e0.pool.mediaWays.net QUIT :Quit: hagb4rd < 1364400635 258203 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :damn, algebraic graph theory is weird < 1364400668 974207 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :algebraic anything is weird, no < 1364400704 687857 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :*? < 1364401040 996873 :nooodl!~nooodl@91.179.180.252 QUIT :Ping timeout: 252 seconds < 1364401096 859577 :Nisstyre-laptop!~yours@oftn/member/Nisstyre QUIT :Ping timeout: 272 seconds < 1364401783 639499 :azaq23!~derivecto@unaffiliated/azaq23 QUIT :Quit: Leaving. < 1364402770 583337 :sirdancealo2!~sirdancea@98.82.broadband5.iol.cz JOIN :#esoteric < 1364402774 940545 :Taneb!~nathan@92.23.119.149 JOIN :#esoteric < 1364404100 571383 :atriq!~nathan@host-92-30-195-9.as13285.net JOIN :#esoteric < 1364404158 188253 :augur!~augur@208.58.5.87 QUIT :Remote host closed the connection < 1364404174 979036 :Taneb!~nathan@92.23.119.149 QUIT :Ping timeout: 272 seconds < 1364404238 193715 :atriq!~nathan@host-92-30-195-9.as13285.net NICK :Taneb < 1364404323 169532 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :`translatefromto < 1364404327 43613 :HackEgo!codu@codu.org PRIVMSG #esoteric :Traceback (most recent call last): \ File "/hackenv/bin/json", line 4, in \ data = json.loads(sys.stdin.read().decode('utf-8')) \ File "/opt/python27/lib/python2.7/json/__init__.py", line 310, in loads \ return _default_decoder.decode(s) \ File "/opt/python27/lib/python2.7/json/decoder.py", line 346, in decode \ obj, end < 1364404344 38975 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :`translatefromto fr en ça marche tu encore ou bien python a flanché entretemps? < 1364404347 466040 :HackEgo!codu@codu.org PRIVMSG #esoteric :Traceback (most recent call last): \ File "/hackenv/bin/json", line 4, in \ data = json.loads(sys.stdin.read().decode('utf-8')) \ File "/opt/python27/lib/python2.7/json/__init__.py", line 310, in loads \ return _default_decoder.decode(s) \ File "/opt/python27/lib/python2.7/json/decoder.py", line 346, in decode \ obj, end < 1364404355 844480 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :meh :( < 1364404361 321316 :Taneb!~nathan@host-92-30-195-9.as13285.net PRIVMSG #esoteric :`seen Taneb ever < 1364404364 878507 :HackEgo!codu@codu.org PRIVMSG #esoteric :2013-03-27 17:12:41: `seen Taneb ever < 1364404370 243046 :Taneb!~nathan@host-92-30-195-9.as13285.net PRIVMSG #esoteric :`seen Taneb_ ever < 1364404384 825000 :HackEgo!codu@codu.org PRIVMSG #esoteric :2012-02-15 17:21:48: Not tonight, got a party < 1364404405 304795 :Taneb!~nathan@host-92-30-195-9.as13285.net PRIVMSG #esoteric :Was that... < 1364404408 407638 :Taneb!~nathan@host-92-30-195-9.as13285.net PRIVMSG #esoteric :No < 1364404424 317808 :Taneb!~nathan@host-92-30-195-9.as13285.net PRIVMSG #esoteric :It wasn't the UV rave where I fell asleep < 1364404600 728934 :Gregor!codu@codu.org PRIVMSG #esoteric :Something about grepping the logs to implement `seen is brilliantly retarded. < 1364405850 47348 :copumpkin!~copumpkin@unaffiliated/copumpkin QUIT :Ping timeout: 245 seconds < 1364405881 30795 :copumpkin!~copumpkin@unaffiliated/copumpkin JOIN :#esoteric < 1364406503 969245 :impomatic!~digital_w@46.208.134.234 JOIN :#esoteric < 1364406602 707120 :nooodl!~nooodl@91.179.180.252 JOIN :#esoteric < 1364406642 47191 :augur!~augur@129-2-129-32.wireless.umd.edu JOIN :#esoteric < 1364406732 28005 :coppro!raedford@taurine.csclub.uwaterloo.ca QUIT :Ping timeout: 260 seconds < 1364406771 4091 :coppro!raedford@taurine.csclub.uwaterloo.ca JOIN :#esoteric < 1364406926 966956 :Nisstyre-laptop!~yours@oftn/member/Nisstyre JOIN :#esoteric < 1364408546 652615 :Taneb!~nathan@host-92-30-195-9.as13285.net PRIVMSG #esoteric ::'( < 1364408552 211224 :Taneb!~nathan@host-92-30-195-9.as13285.net PRIVMSG #esoteric :I need to stop procastinating < 1364408696 888196 :Nisstyre-laptop!~yours@oftn/member/Nisstyre QUIT :Ping timeout: 272 seconds < 1364408748 202239 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :Taneb: use the ten-minute-rule. without any clock, timer, chronograph or time display, just start doing the task at hand while thinking "only for ten minutes, then I'll stop". < 1364408762 319915 :ThatOtherPerson!~ThatOther@unaffiliated/thatotherpersony PRIVMSG #esoteric :Stop procastinating so you can start procrastinating? < 1364408886 972737 :Taneb!~nathan@host-92-30-195-9.as13285.net QUIT :Ping timeout: 272 seconds < 1364408917 469028 :Nisstyre-laptop!~yours@oftn/member/Nisstyre JOIN :#esoteric < 1364409283 470306 :sirdancealo2!~sirdancea@98.82.broadband5.iol.cz QUIT :Ping timeout: 245 seconds < 1364409420 456927 :Taneb!~nathan@host-92-30-195-9.as13285.net JOIN :#esoteric < 1364409476 544630 :DHeadshot!~DH____@unaffiliated/dh----/x-6288474 QUIT :Ping timeout: 245 seconds < 1364409624 223781 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :boily: so... < 1364409629 232202 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :You don't get anything done? < 1364409644 948419 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :I'd stop after two minutes :) < 1364409649 914308 :carado_!~user4539@2a01:e35:8b61:e430:6ef0:49ff:fe73:1fd0 QUIT :Ping timeout: 246 seconds < 1364409759 487522 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :mroman: the intent here is that floating time perception is very bad, and you just do what you have to do. < 1364410255 869311 :carado_!~user4539@2a01:e35:8b61:e430:6ef0:49ff:fe73:1fd0 JOIN :#esoteric < 1364410259 963093 :carado_!~user4539@2a01:e35:8b61:e430:6ef0:49ff:fe73:1fd0 NICK :carado < 1364410281 30421 :carado!~user4539@2a01:e35:8b61:e430:6ef0:49ff:fe73:1fd0 PRIVMSG #esoteric :/whois identify < 1364410303 762745 :carado!~user4539@2a01:e35:8b61:e430:6ef0:49ff:fe73:1fd0 PRIVMSG #esoteric :uh, i meant `hi' < 1364410385 947894 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :hi < 1364410411 792243 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :/hi < 1364410419 904626 :nooodl!~nooodl@91.179.180.252 PRIVMSG #esoteric :hi < 1364410577 207859 :Taneb!~nathan@host-92-30-195-9.as13285.net QUIT :Quit: Leaving < 1364410582 987552 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric ::hi < 1364410586 749805 :ThatOtherPerson!~ThatOther@unaffiliated/thatotherpersony PRIVMSG #esoteric :Salutations! < 1364410737 223939 :augur!~augur@129-2-129-32.wireless.umd.edu QUIT :Remote host closed the connection < 1364410859 349876 :augur!~augur@129-2-129-32.wireless.umd.edu JOIN :#esoteric < 1364411886 657854 :impomatic!~digital_w@46.208.134.234 QUIT :Ping timeout: 240 seconds < 1364411941 287197 :Nisstyre-laptop!~yours@oftn/member/Nisstyre QUIT :Quit: Leaving < 1364412070 359935 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric ::hi is a purely symbolic greeting. < 1364412161 588273 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :as the old klingon proverb goes, "olen nukahtaa tuolissani." < 1364412213 821226 :impomatic!~digital_w@146.90.131.109 JOIN :#esoteric < 1364412407 582728 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Hah. < 1364412809 616370 :oerjan!oerjan@sprocket.nvg.ntnu.no JOIN :#esoteric < 1364412951 475334 :Nisstyre-laptop!~yours@oftn/member/Nisstyre JOIN :#esoteric < 1364413157 721074 :epicmonkey!~epicmonke@host-224-58.dataart.net QUIT :Ping timeout: 248 seconds < 1364413238 948374 :ThatOtherPerson!~ThatOther@unaffiliated/thatotherpersony QUIT :Quit: Leaving < 1364413260 65577 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric : Even oerjan isn't a vampire. <-- shockingly, despite the skin color. < 1364413419 794738 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Do you SPARKLE? (Actually, I shouldn't probably try making any Twilight references, all I know about it is other people's stupid jokes.) < 1364413437 548747 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :~duck sparkle < 1364413437 850593 :metasepia!~metasepia@2607:fad8:4:6:f2de:f1ff:fe6c:6765 PRIVMSG #esoteric :sparkle definition: to throw out sparks. < 1364413449 413617 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :not afaik < 1364413467 347638 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :~duck VAMPIRE < 1364413467 803009 :metasepia!~metasepia@2607:fad8:4:6:f2de:f1ff:fe6c:6765 PRIVMSG #esoteric :vampire definition: the reanimated body of a dead person believed to come from the grave at night and suck the blood of persons asleep. < 1364413485 970959 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :I didn't know they specialized in persons asleep. < 1364413489 563015 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :~duck vimpire < 1364413489 778268 :metasepia!~metasepia@2607:fad8:4:6:f2de:f1ff:fe6c:6765 PRIVMSG #esoteric :--- No relevant information < 1364413495 947014 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :~duck umpire < 1364413496 210557 :metasepia!~metasepia@2607:fad8:4:6:f2de:f1ff:fe6c:6765 PRIVMSG #esoteric :umpire definition: one having authority to decide finally a controversy or question between parties. < 1364413512 111043 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :~duck duck go < 1364413512 330766 :metasepia!~metasepia@2607:fad8:4:6:f2de:f1ff:fe6c:6765 PRIVMSG #esoteric :--- No relevant information < 1364413520 838852 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :The Umpire State Building. < 1364413574 868787 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Vimperator is some kind of a Vim-alike thing in some other thing, right? < 1364413678 427720 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :vimperator is a firefox extension that vims it. it was forked some time ago into pentadactyl. < 1364413984 351760 :pikhq!~pikhq@71-219-223-77.clsp.qwest.net JOIN :#esoteric < 1364413989 697505 :pikhq_!~pikhq@75-163-185-14.clsp.qwest.net QUIT :Ping timeout: 248 seconds < 1364414715 534019 :iamcal_!uid1110@gateway/web/irccloud.com/x-ssvkroaldafzwuww QUIT :Ping timeout: 252 seconds < 1364414753 557816 :surma!uid6361@c-base/crew/surma QUIT :Ping timeout: 255 seconds < 1364415469 927024 :Taneb!~nathan@host-92-30-195-9.as13285.net JOIN :#esoteric < 1364415561 83863 :heroux!~heroux@5070823C.static.ziggozakelijk.nl QUIT :Ping timeout: 252 seconds < 1364415611 283824 :Nisstyre-laptop!~yours@oftn/member/Nisstyre QUIT :Quit: Leaving < 1364415658 304813 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric : "The first function is mempty. It's not really a function, since it doesn't take parameters," < 1364415669 402202 :heroux!~heroux@5070823C.static.ziggozakelijk.nl JOIN :#esoteric < 1364415689 746406 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :is there something like the seven deadly sins of haskell, where calling a non- -> value a function is one of them? < 1364415712 807973 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :oerjan: the report does it :( < 1364415715 27455 :Taneb!~nathan@host-92-30-195-9.as13285.net PRIVMSG #esoteric :Is a value of type Endo Int a function? < 1364415719 555174 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i guess it would be hard to get it down to seven < 1364415723 736001 :Taneb!~nathan@host-92-30-195-9.as13285.net PRIVMSG #esoteric :How about Kleisli [] Int Char < 1364415727 536687 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :elliott: i don't see how that is an argument. < 1364415733 565157 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :oerjan: it isn't < 1364415735 167740 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :it's me being sad < 1364415787 698677 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :Taneb: hey if you church encode everything... < 1364415810 453722 :Taneb!~nathan@host-92-30-195-9.as13285.net PRIVMSG #esoteric :Hmm < 1364415812 136684 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :hm i guess the church encoding of () is actually not a function. < 1364415821 854894 :Taneb!~nathan@host-92-30-195-9.as13285.net PRIVMSG #esoteric :Is it possible to church encode a finite enum < 1364415825 416185 :Taneb!~nathan@host-92-30-195-9.as13285.net PRIVMSG #esoteric :Wait < 1364415826 405835 :Taneb!~nathan@host-92-30-195-9.as13285.net PRIVMSG #esoteric :Yes < 1364415827 965530 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :oerjan: it's a -> a, isn't it < 1364415828 159692 :Taneb!~nathan@host-92-30-195-9.as13285.net PRIVMSG #esoteric :Yes it is < 1364415841 823093 :Taneb!~nathan@host-92-30-195-9.as13285.net PRIVMSG #esoteric :elliott, I think so < 1364415846 856844 :augur!~augur@129-2-129-32.wireless.umd.edu PRIVMSG #esoteric :elliott: can i get an acceptability judgement on a sentence form you? < 1364415847 615699 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :elliott: no, that would be data A = A A < 1364415848 897453 :augur!~augur@129-2-129-32.wireless.umd.edu PRIVMSG #esoteric :from* < 1364415861 894680 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :augur: ok < 1364415862 219002 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :or wait < 1364415866 20808 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :oerjan: wait, what is the encoding of () then. < 1364415870 479106 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :data A = A A is (a -> a) -> a i think < 1364415879 51883 :augur!~augur@129-2-129-32.wireless.umd.edu PRIVMSG #esoteric :elliott: John wrote a story --- and Frank tried to find a documentary --- about the Romans yesterday < 1364415892 332007 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :hm maybe you are right about that < 1364415907 834767 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :(x,y) is \f -> f x y < 1364415926 120962 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :ok i guess a -> a is logical < 1364415936 882203 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :augur: unacceptable because the use of "---" for em dashes is sin. it seems acceptable to me, a little awkward perhaps, probably better with commas in place of the em dashes? < 1364415971 692699 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :Either x y is (x -> a) -> (y -> a) -> a < 1364416019 952401 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :elliott: i guess Void is what's actually forall a. a < 1364416028 584975 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :oerjan: right < 1364416048 200858 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :oerjan: you can think of it like < 1364416057 378872 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :(Void -> a) -> a =~ forall a. a < 1364416063 207087 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :(() -> a) -> a =~ forall a. a -> a < 1364416073 990991 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :((x,y) -> a) -> a =~ forall a. (x -> y -> a) -> a < 1364416136 730619 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :elliott: well what i actually did think here was that () is the unit of the (x,y,...) construction, so it should still have the \f -> , while Void is the unit of Either x (Either y ...) so becomes just a when you remove all the (v -> a) terms < 1364416160 83361 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :*(x,(y,...)) < 1364416173 839913 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :for analogy < 1364416189 96969 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :right < 1364416215 853669 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :but in general AFAIK, church encoding is just rewriting forall a. (thetype -> a) -> a until it doesn't mention anything but variables and (->) any more < 1364416315 24650 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :aye < 1364416326 749450 :FreeFull!~freefull@defocus/sausage-lover JOIN :#esoteric < 1364416453 587453 :augur!~augur@129-2-129-32.wireless.umd.edu PRIVMSG #esoteric :elliott: yeah, just say it out loud, i dont care about punctuation, just the sentence/timing < 1364416509 539620 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :yeah, it's fine enough to me < 1364416526 400855 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :probably wouldn't phrase it like that myself, though < 1364416540 83576 :augur!~augur@129-2-129-32.wireless.umd.edu PRIVMSG #esoteric :church encoding is just fold! < 1364416638 80840 :augur!~augur@129-2-129-32.wireless.umd.edu PRIVMSG #esoteric :and reynolds encoding is just case < 1364416644 278013 :augur!~augur@129-2-129-32.wireless.umd.edu PRIVMSG #esoteric :i think its reynolds encoding, right? < 1364416682 376448 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :~duck reynolds encoding < 1364416682 583885 :metasepia!~metasepia@2607:fad8:4:6:f2de:f1ff:fe6c:6765 PRIVMSG #esoteric :--- No relevant information < 1364416690 936610 :augur!~augur@129-2-129-32.wireless.umd.edu PRIVMSG #esoteric :yeah < 1364416693 861862 :augur!~augur@129-2-129-32.wireless.umd.edu PRIVMSG #esoteric :whats the other one < 1364416695 923798 :augur!~augur@129-2-129-32.wireless.umd.edu PRIVMSG #esoteric :hmmmm < 1364416709 208266 :augur!~augur@129-2-129-32.wireless.umd.edu PRIVMSG #esoteric :scott encoding < 1364416710 256062 :augur!~augur@129-2-129-32.wireless.umd.edu PRIVMSG #esoteric :thats it < 1364416713 917043 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :elliott: are you thinking of boehm-berarducci encoding............. < 1364416721 427404 :augur!~augur@129-2-129-32.wireless.umd.edu PRIVMSG #esoteric :i wrote a blog post about this at some point :P < 1364416737 142307 :augur!~augur@129-2-129-32.wireless.umd.edu PRIVMSG #esoteric :or started to anyway < 1364416826 258635 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :~duck scott encoding < 1364416826 501456 :metasepia!~metasepia@2607:fad8:4:6:f2de:f1ff:fe6c:6765 PRIVMSG #esoteric :In computer science, Scott encoding is a way to embed inductive datatypes in the lambda calculus. < 1364416916 557324 :augur!~augur@129-2-129-32.wireless.umd.edu PRIVMSG #esoteric :metasepia: indeed! < 1364416918 866444 :augur!~augur@129-2-129-32.wireless.umd.edu PRIVMSG #esoteric :er < 1364416921 189566 :augur!~augur@129-2-129-32.wireless.umd.edu PRIVMSG #esoteric :boily^ < 1364416940 624142 :augur!~augur@129-2-129-32.wireless.umd.edu PRIVMSG #esoteric :basically, scott encoding is just pre-applying case to everything < 1364416992 570849 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :http://okmij.org/ftp/tagless-final/course/Boehm-Berarducci.html < 1364417013 35082 :heroux!~heroux@5070823C.static.ziggozakelijk.nl QUIT :Ping timeout: 252 seconds < 1364417046 709463 :augur!~augur@129-2-129-32.wireless.umd.edu PRIVMSG #esoteric :scott encoding only works if you dont have universe levels, btw. < 1364417055 249375 :augur!~augur@129-2-129-32.wireless.umd.edu PRIVMSG #esoteric :with levels it becomes a huge pain in the ass < 1364417095 32479 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric : What was that thingy which wasn't a semigroup but you could subtract two to get a semigroup and add that semigroup onto it < 1364417114 153857 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :if you mispled "group" then that is, hm what was it again < 1364417116 407178 :heroux!~heroux@5070823C.static.ziggozakelijk.nl JOIN :#esoteric < 1364417138 981572 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :torsor < 1364417142 902726 :Taneb!~nathan@host-92-30-195-9.as13285.net PRIVMSG #esoteric :Yes! < 1364417150 894667 :Taneb!~nathan@host-92-30-195-9.as13285.net PRIVMSG #esoteric :Thank you, oerjan < 1364417169 987147 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :yw < 1364417181 903116 :epicmonkey!~epicmonke@188.134.41.112 JOIN :#esoteric < 1364417202 992719 :augur!~augur@129-2-129-32.wireless.umd.edu PRIVMSG #esoteric :http://wellnowwhat.net/Programming/ScottEncodingsExplained.lhs < 1364417211 340064 :augur!~augur@129-2-129-32.wireless.umd.edu PRIVMSG #esoteric :theres my pre-posted blog post on it < 1364417224 189293 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :apparently torsor are also easy http://math.ucr.edu/home/baez/torsors.html < 1364417243 220220 :augur!~augur@129-2-129-32.wireless.umd.edu PRIVMSG #esoteric :i was actually going to rewrite part of it because some of my explanation can be replaced with something more straightforward < 1364417351 730237 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :*+s < 1364417470 8770 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :) *+s < 1364417470 384247 :jconn!~username@la-pinta.la.net.ua PRIVMSG #esoteric :boily: * + s < 1364417663 263086 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :Taneb: C pointers are torsors, i think, except sometimes things are undefined. < 1364417673 7856 :heroux!~heroux@5070823C.static.ziggozakelijk.nl QUIT :Ping timeout: 252 seconds < 1364417688 303703 :Taneb!~nathan@host-92-30-195-9.as13285.net PRIVMSG #esoteric :oerjan, my mind's archetypical torsor is times < 1364417700 212061 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :right < 1364417722 165122 :Taneb!~nathan@host-92-30-195-9.as13285.net PRIVMSG #esoteric :Like, I can subtract Tuesday Lunchtime from Wednesday Suppertime < 1364417731 403891 :heroux!~heroux@5070823C.static.ziggozakelijk.nl JOIN :#esoteric < 1364417734 362332 :Taneb!~nathan@host-92-30-195-9.as13285.net PRIVMSG #esoteric :And get a day and 6 hours or so < 1364417752 436111 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :hm is time being torsor the same as saying physics is time invariant < 1364417767 752564 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :whoah < 1364417790 247515 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :and thus connected to energy conservation by noether's theorem < 1364417798 356935 :Taneb!~nathan@host-92-30-195-9.as13285.net PRIVMSG #esoteric :And you can add a day and 6 hours to Wednesday Suppertime and get... Friday "why am I awake" time < 1364417824 655479 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :Taneb: it all gets messed up when you include months and years though < 1364417848 608476 :Taneb!~nathan@host-92-30-195-9.as13285.net PRIVMSG #esoteric :How so? < 1364417870 882098 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :I thought physics is only cpt-invariant < 1364417871 376367 :Taneb!~nathan@host-92-30-195-9.as13285.net PRIVMSG #esoteric :They're just days multiplied by almost constants < 1364418001 486295 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric : Taneb: C pointers are torsors, i think, except sometimes things are undefined. <-- err how? < 1364418022 555112 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :Vorpal: you can subtract C pointers to get integers... < 1364418030 269085 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :oh true < 1364418062 66598 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :oerjan, but fairly limited, I wouldn't call it just "sometimes" things are undefined. < 1364418066 116089 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :Most of the time they are < 1364418075 12886 :augur!~augur@129-2-129-32.wireless.umd.edu PRIVMSG #esoteric :elliott: your feedback would be appreciated. :) < 1364418079 384647 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :Fiora: that's switching _sign_ of time. i'm talking about adding a constant to it. < 1364418083 852228 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :oerjan, only if your pointers are already constructed from the same object < 1364418093 198318 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :then and only then can you substract them < 1364418097 711296 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :subtract* < 1364418100 321723 :augur!~augur@129-2-129-32.wireless.umd.edu PRIVMSG #esoteric :Fiora: physics has lots of symmetries < 1364418129 193474 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :Vorpal: your pedanticness is off the charts, hth < 1364418135 818891 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :oerjan, sorry < 1364418137 542634 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :there's some theorem about every conservation law is based on a symmetry < 1364418145 235121 :augur!~augur@129-2-129-32.wireless.umd.edu PRIVMSG #esoteric :kmc: noethers theorem < 1364418146 97444 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :oerjan, also I never remember what hth means < 1364418151 725036 :augur!~augur@129-2-129-32.wireless.umd.edu PRIVMSG #esoteric :which oerjan mentioned < 1364418155 739745 :Taneb!~nathan@host-92-30-195-9.as13285.net PRIVMSG #esoteric :Vorpal, hope this helps, hth < 1364418160 164750 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :ah < 1364418175 966287 :olsner!~salparot@c83-252-194-156.bredband.comhem.se PRIVMSG #esoteric :I thought it meant "happy to help" < 1364418192 136113 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :oerjan: ohhhhhhh < 1364418233 200587 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :it's "that" not "this"!! < 1364418312 778024 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :Taneb: 1 month and 5 days from now is 2 may. 5 days and 1 month from now is 1 may. < 1364418313 100710 :ssue_!uid5338@gateway/web/irccloud.com/x-keuwdbzuroumsoxo QUIT :Remote host closed the connection < 1364418314 94061 :abumirqaan!uid2969@gateway/web/irccloud.com/x-zunsmrssyhzvgumt QUIT :Write error: Broken pipe < 1364418369 203206 :Taneb!~nathan@host-92-30-195-9.as13285.net PRIVMSG #esoteric :They aren't the same kind of month < 1364418410 645188 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :`run ddate < 1364418412 111990 :HackEgo!codu@codu.org PRIVMSG #esoteric :Today is Sweetmorn, the 13th day of Discord in the YOLD 3179 < 1364418757 723814 :sebbu!~sebbu@unaffiliated/sebbu QUIT :Ping timeout: 248 seconds < 1364418782 922366 :sebbu!~sebbu@ADijon-152-1-42-103.w83-194.abo.wanadoo.fr JOIN :#esoteric < 1364418811 580451 :sebbu!~sebbu@ADijon-152-1-42-103.w83-194.abo.wanadoo.fr QUIT :Changing host < 1364418811 774473 :sebbu!~sebbu@unaffiliated/sebbu JOIN :#esoteric < 1364418918 456005 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :Taneb: well of course, but that means you cannot include number of months in your differences and expect things to work out. < 1364418932 522275 :Taneb!~nathan@host-92-30-195-9.as13285.net PRIVMSG #esoteric :Unless you standardize the length of a month < 1364418940 724839 :Taneb!~nathan@host-92-30-195-9.as13285.net PRIVMSG #esoteric :> 365.2125 / 12 < 1364418942 551899 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric : 30.434375 < 1364418944 470943 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :a month is 28 days < 1364418950 182253 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :> 28*13+1 < 1364418951 741867 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric : 365 < 1364418964 175984 :Taneb!~nathan@host-92-30-195-9.as13285.net PRIVMSG #esoteric :A month is 30.434375 days < 1364418974 146819 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :OKAY < 1364418980 93682 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :~duck month < 1364418980 420036 :metasepia!~metasepia@2607:fad8:4:6:f2de:f1ff:fe6c:6765 PRIVMSG #esoteric :A month is a unit of time, used with calendars, which was first used and invented in Mesopotamia, as a natural period related to the motion of the Moon; month and Moon are cognates. < 1364418990 475530 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :a month is Mesopotamia. < 1364419048 395927 :Taneb!~nathan@host-92-30-195-9.as13285.net PRIVMSG #esoteric :Measure time in seconds, because that's the SI unit and whatnot < 1364419063 364116 :Taneb!~nathan@host-92-30-195-9.as13285.net PRIVMSG #esoteric :Problems solved < 1364419122 217770 :Taneb!~nathan@host-92-30-195-9.as13285.net PRIVMSG #esoteric :class Group (TG t) => Torsor t where type TG t; add :: t -> TG t -> t; sub :: t -> t -> TG t < 1364419172 21815 :Taneb!~nathan@host-92-30-195-9.as13285.net PRIVMSG #esoteric :Or something < 1364419219 559559 :Taneb!~nathan@host-92-30-195-9.as13285.net PRIVMSG #esoteric :With instances for Ptr and UTCTime < 1364419298 797552 :Taneb!~nathan@host-92-30-195-9.as13285.net PRIVMSG #esoteric :Would that be about right? < 1364419561 844786 :iamcal_!uid1110@gateway/web/irccloud.com/x-kkhhkmzlvpdatgdh JOIN :#esoteric < 1364419584 798782 :GOMADWarrior!~Regis@187.65.193.132 PRIVMSG #esoteric :I calculated factorial 10 < 1364419597 291722 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :WOAH < 1364419598 172854 :Taneb!~nathan@host-92-30-195-9.as13285.net PRIVMSG #esoteric :Congrats < 1364419617 546376 :GOMADWarrior!~Regis@187.65.193.132 PRIVMSG #esoteric :here the interpreter in lua http://bpaste.net/show/kidIoH7vfJlDUvEXPzdd/ < 1364419692 405872 :Taneb!~nathan@host-92-30-195-9.as13285.net PRIVMSG #esoteric :The language reminds me a little of ZOMBIE < 1364419786 843437 :abumirqaan!uid2969@gateway/web/irccloud.com/x-suqdscgsfnusxkqv JOIN :#esoteric < 1364419918 543974 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :oh hm i think there may actually be a trick to the previous xkcd http://xkcd.com/1190/ < 1364419927 429774 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i'm sure it looked differently before < 1364419931 550061 :augur!~augur@129-2-129-32.wireless.umd.edu QUIT :Remote host closed the connection < 1364419949 456436 :Taneb!~nathan@host-92-30-195-9.as13285.net PRIVMSG #esoteric :oerjan, yeah, it was changing every half hour or so < 1364420009 634008 :Taneb!~nathan@host-92-30-195-9.as13285.net PRIVMSG #esoteric :G'night, guys < 1364420015 128425 :Taneb!~nathan@host-92-30-195-9.as13285.net QUIT :Quit: Leaving < 1364420118 948159 :Bike!~Glossina@67-5-248-45.ptld.qwest.net JOIN :#esoteric < 1364420170 937878 :ssue_!uid5338@gateway/web/irccloud.com/x-jvotfsdjkeuhdmij JOIN :#esoteric < 1364420172 107774 :augur!~augur@129-2-129-32.wireless.umd.edu JOIN :#esoteric < 1364420184 447014 :AnotherTest!~AnotherTe@94-224-28-191.access.telenet.be PART :#esoteric < 1364420187 904630 :tswett!~quassel@unaffiliated/tswett PRIVMSG #esoteric :Imo iirc it's "this" hth. < 1364420262 830138 :GOMADWarrior!~Regis@187.65.193.132 PRIVMSG #esoteric :can I add it to esolang wiki? < 1364420289 796968 :GOMADWarrior!~Regis@187.65.193.132 PRIVMSG #esoteric :it's still missing features < 1364420298 993281 :tswett!~quassel@unaffiliated/tswett PRIVMSG #esoteric :GOMADWarrior: hm. The keywords sound entertaining. < 1364420348 592902 :tswett!~quassel@unaffiliated/tswett PRIVMSG #esoteric :I'd say yeah, go ahead. < 1364420421 411871 :surma!uid6361@c-base/crew/surma JOIN :#esoteric < 1364420605 844767 :boily!~boily@mtl.savoirfairelinux.net QUIT :Quit: Poulet! < 1364420608 652325 :metasepia!~metasepia@2607:fad8:4:6:f2de:f1ff:fe6c:6765 QUIT :Remote host closed the connection < 1364421081 677319 :impomatic!~digital_w@146.90.131.109 QUIT :Quit: impomatic < 1364421507 339315 :sirdancealo2!~sirdancea@98.82.broadband5.iol.cz JOIN :#esoteric < 1364421603 586938 :augur!~augur@129-2-129-32.wireless.umd.edu QUIT :Remote host closed the connection < 1364422215 13343 :DHeadshot!~DH____@unaffiliated/dh----/x-6288474 JOIN :#esoteric < 1364422519 243609 :impomatic!~digital_w@146.90.131.109 JOIN :#esoteric < 1364422548 268255 :TeruFSX!~TeruFSX@65-128-137-85.mpls.qwest.net JOIN :#esoteric < 1364423068 530178 :kljlu!~trash@81-65-189-176.rev.numericable.fr JOIN :#esoteric < 1364423073 612787 :kljlu!~trash@81-65-189-176.rev.numericable.fr PART :#esoteric < 1364424936 732995 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :oerjan: where has the guy gone :( < 1364424946 188675 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :there was also a girl much earlier < 1364424967 108513 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :mouseover text is still "wait for it" though < 1364424980 836092 :augur!~augur@208.58.5.87 JOIN :#esoteric < 1364424986 266838 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :um the point is it changes, because it's about time. hth. < 1364425021 933829 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :http://xkcd.aubronwood.com/ < 1364425044 106930 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :oh, I missed the very ebginning < 1364425072 281680 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :i still think the last frame will be goatse < 1364425082 517737 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :think / hope < 1364425193 139495 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :it's started zooming out, apparently < 1364425204 232 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :I'm guessing we're gonna see the whole planet earth after a while < 1364425205 775121 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :or something < 1364425206 675156 :Lymia!~moe@108-205-143-75.lightspeed.rcsntx.sbcglobal.net JOIN :#esoteric < 1364425207 170018 :Lymia!~moe@108-205-143-75.lightspeed.rcsntx.sbcglobal.net QUIT :Changing host < 1364425207 364650 :Lymia!~moe@inportb/loli/cirno-chan JOIN :#esoteric < 1364425500 871801 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Ooh, that link is much fancier than the explainxkcd list I've used. < 1364425555 479948 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :(They just have a list of links.) < 1364425615 760794 :Lymia!~moe@inportb/loli/cirno-chan PRIVMSG #esoteric :ACTION sits on fizzie's lap < 1364425938 528452 :sebbu!~sebbu@unaffiliated/sebbu QUIT :Read error: Connection reset by peer < 1364425948 671229 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Well, that was apropos nothing. < 1364425974 122901 :sebbu!~sebbu@ADijon-152-1-42-103.w83-194.abo.wanadoo.fr JOIN :#esoteric < 1364425996 421965 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :(Or is there an "of" in that idiom?) < 1364426008 658294 :sebbu!~sebbu@ADijon-152-1-42-103.w83-194.abo.wanadoo.fr QUIT :Changing host < 1364426008 892436 :sebbu!~sebbu@unaffiliated/sebbu JOIN :#esoteric < 1364426023 56768 :olsner!~salparot@c83-252-194-156.bredband.comhem.se PRIVMSG #esoteric :fizzie: if you're lucky, Lymia might be harmless < 1364426065 282963 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :That sounds unlikely. Or am I thinking of Lamia? < 1364426088 350334 :olsner!~salparot@c83-252-194-156.bredband.comhem.se PRIVMSG #esoteric :I have no idea what you're thinking of < 1364426135 415655 :olsner!~salparot@c83-252-194-156.bredband.comhem.se PRIVMSG #esoteric :re apropos, I think it's used on its own like that < 1364426434 327780 :olsner!~salparot@c83-252-194-156.bredband.comhem.se PRIVMSG #esoteric :apparently you can use it as an adjective too, as "that was not very apropos" or "that was malapropos" < 1364426440 74235 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Yes, I agree in the general case, but Wiktionary seems to suggest that "apropos of nothing" is a phrase: http://en.wiktionary.org/wiki/apropos_of_nothing < 1364426494 839080 :Lymia!~moe@inportb/loli/cirno-chan PRIVMSG #esoteric :Lymia? Harmful? < 1364426496 698882 :Lymia!~moe@inportb/loli/cirno-chan PRIVMSG #esoteric :Why would that be? < 1364426497 961978 :Lymia!~moe@inportb/loli/cirno-chan PRIVMSG #esoteric :ACTION headtilts < 1364426536 872179 :olsner!~salparot@c83-252-194-156.bredband.comhem.se PRIVMSG #esoteric :The Apropos of Nothing < 1364426607 11319 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :The +3 Apropos of Nothing. < 1364426697 991429 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :common guys there was a fancy accent on the a :( < 1364426716 912053 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :Lymia: they must be jealous of your jousting skills :p < 1364426717 886491 :abumirqaan!uid2969@gateway/web/irccloud.com/x-suqdscgsfnusxkqv QUIT : < 1364426726 650435 :Lymia!~moe@inportb/loli/cirno-chan PRIVMSG #esoteric :Ne? < 1364426729 602934 :Lymia!~moe@inportb/loli/cirno-chan PRIVMSG #esoteric :Lymia's not that good~ < 1364426733 20831 :olsner!~salparot@c83-252-194-156.bredband.comhem.se PRIVMSG #esoteric :Arc_Koen: I doubt there is one in English < 1364426816 933354 :olsner!~salparot@c83-252-194-156.bredband.comhem.se PRIVMSG #esoteric :looks like english is lacking the noun form of apropos < 1364426910 762473 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :the noun form? < 1364426927 94052 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :in french "à propos" are two words < 1364427229 914818 :Sgeo!~Sgeo@173.3.78.166 PRIVMSG #esoteric :Going to write a bit of Haskell code inspired by something I saw in Spring < 1364427246 334404 :tswett!~quassel@unaffiliated/tswett PRIVMSG #esoteric :http://ducklingsinbowls.tumblr.com/ < 1364427248 547739 :Sgeo!~Sgeo@173.3.78.166 PRIVMSG #esoteric :It's probably useless but frustratingly close to something that already exists < 1364427266 459706 :tswett!~quassel@unaffiliated/tswett PRIVMSG #esoteric :Much Apropos About Nothing. < 1364427319 586268 :Sgeo!~Sgeo@173.3.78.166 PRIVMSG #esoteric :I get to do real work tomorrow! Probably! < 1364427354 596222 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :Sgeo: it's probably a cofree comonad hth < 1364427363 573632 :tswett!~quassel@unaffiliated/tswett PRIVMSG #esoteric :Cool. What sort of work? < 1364427384 313947 :Sgeo!~Sgeo@173.3.78.166 PRIVMSG #esoteric :Probably looking at code, don't know if I'll be given any tasks that involve changing it < 1364427457 503330 :Sgeo!~Sgeo@173.3.78.166 PRIVMSG #esoteric :I want to write foo :: String -> Int -> IO (), and then magic foo will see that I'm asking for a String and an Int, and do IO stuff to get a String and an Int < 1364427468 960027 :Sgeo!~Sgeo@173.3.78.166 PRIVMSG #esoteric :I know the basic approach I'm going to take, I think < 1364427481 827525 :tswett!~quassel@unaffiliated/tswett PRIVMSG #esoteric :Hey, can someone create an algorithm that implements this behavior? https://docs.google.com/document/d/1fCzWBbXgNttQEcw07d5-fwMB0cv9SFRClsi_fhId4NU/edit?usp=sharing thx < 1364427553 514643 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :Sgeo: class Magic a where magic :: a -> IO (); class Obtain a where obtain :: IO a; instance Magic (IO a) where magic = void; instance (Obtain a, Magic r) => Magic (a -> r) where magic f = obtain >>= magic . f? < 1364427595 817285 :Sgeo!~Sgeo@173.3.78.166 PRIVMSG #esoteric :ACTION was kind of hoping to work it out himself. Although didn't quite look at what you did yet < 1364427608 369247 :tswett!~quassel@unaffiliated/tswett PRIVMSG #esoteric :"If there exists a set of bricks such that for each brick in the set, the brick directly below it (if any) is either in the set, or slated to move forward; there does not exist a brick in the set that presses a brick that is neither in the set nor slated to move forward; and every brick in the set is pushable forward, then all bricks in all such sets are slated for movement forward." < 1364427612 169851 :tswett!~quassel@unaffiliated/tswett PRIVMSG #esoteric :My, what an excellent sentence. < 1364427629 131589 :Sgeo!~Sgeo@173.3.78.166 PRIVMSG #esoteric :The Magic (IO a) should have magic = id I think < 1364427640 561437 :Sgeo!~Sgeo@173.3.78.166 PRIVMSG #esoteric :Oh, only if magic :: a -> IO a < 1364427645 39729 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :id isn't IO a -> IO () < 1364427660 28645 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :you need a type family / fundep if you want to preserve the result type < 1364427708 385952 :nooodl!~nooodl@91.179.180.252 QUIT :Ping timeout: 245 seconds < 1364427725 275964 :GOMADWarrior!~Regis@187.65.193.132 PRIVMSG #esoteric :is there a language where you can define all the reserved keywords? < 1364427748 62660 :Sgeo!~Sgeo@173.3.78.166 PRIVMSG #esoteric :There are languages with no reserved keywords < 1364427810 730084 :GOMADWarrior!~Regis@187.65.193.132 PRIVMSG #esoteric :like? < 1364427814 743894 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :GOMADWarrior: istr scheme has no reserved keywords < 1364427840 616241 :Sgeo!~Sgeo@173.3.78.166 PRIVMSG #esoteric :I think special forms count as reserved keywords < 1364427841 915943 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :although you may have trouble replacing all of them < 1364427853 163702 :Sgeo!~Sgeo@173.3.78.166 PRIVMSG #esoteric :Tcl has no reserved keywords < 1364427855 339041 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :Sgeo: you can redefine them < 1364427875 911067 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :and defining new ones is just macros < 1364427891 66679 :GOMADWarrior!~Regis@187.65.193.132 PRIVMSG #esoteric :what is istr scheme? < 1364427916 411923 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :ACTION blinks < 1364427920 965929 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :"i seem to recall" < 1364427956 387276 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :iirc you cannot rely on being able to use the original meaning of a keyword if you redefine it, though < 1364427957 161696 :tswett!~quassel@unaffiliated/tswett PRIVMSG #esoteric :Forth has no reserved keywords. < 1364428007 861847 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :GOMADWarrior: International Standardised Technology Report Scheme < 1364428019 158899 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :it's an old language from the 70s. < 1364428043 605145 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :you can read about it in the (International Standardised Technology) Reports on the Algorithmic Language Scheme. < 1364428426 784704 :tswett!~quassel@unaffiliated/tswett PRIVMSG #esoteric :I thought it was International Standard Technical Report. < 1364428454 667286 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :the ISTR organisation renamed to that in the 80s to modernise < 1364428462 345711 :tswett!~quassel@unaffiliated/tswett PRIVMSG #esoteric :Ah. < 1364428486 903451 :carado!~user4539@2a01:e35:8b61:e430:6ef0:49ff:fe73:1fd0 QUIT :Ping timeout: 246 seconds < 1364428788 258692 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :oerjan: I think it's slightly difficult to redefine define-syntax, because "it is an error for a definition or a syntax definition to shadow a syntactic keyword whose meaning is needed to determine whether some form in the group of forms that contains the shadowing definition is in fact a definition"; (define define 3) is mentioned as an illegal example because of that. (But possibly you could ... < 1364428794 167912 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :... be clever about it.)