< 1359763431 418615 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :http://upload.wikimedia.org/wikipedia/commons/8/8a/Birgus_latro_%28Bora-Bora%29.jpg < 1359763503 112478 :Bike!~Glossina@63-229-134-7.ptld.qwest.net PRIVMSG #esoteric :ooh, it's like a beefier spider crab < 1359763654 716335 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :coconut crab < 1359763655 370916 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :huge < 1359763686 263336 :asiekierka!~asiekierk@fluttershy.pl QUIT :Excess Flood < 1359763698 636156 :Bike!~Glossina@63-229-134-7.ptld.qwest.net PRIVMSG #esoteric :http://en.wikipedia.org/wiki/File:Japanese_spider_crab.jpg A Good Species < 1359763878 170835 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :uh what about http://en.wikipedia.org/wiki/File:Giant_isopod.jpg < 1359763922 753466 :Bike!~Glossina@63-229-134-7.ptld.qwest.net PRIVMSG #esoteric :good isopods < 1359763934 14074 :asiekierka!~asiekierk@fluttershy.pl JOIN :#esoteric < 1359763959 513127 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :isopods are the best < 1359763989 308993 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :invertible pods < 1359764001 138524 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :especially slaters < 1359764011 783086 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :don't have lungs, but they're not going to let that stop them < 1359764026 315039 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net PART :#esoteric < 1359764078 677391 :epicmonkey!~epicmonke@188.134.41.176 QUIT :Ping timeout: 255 seconds < 1359764311 77801 :ion!ion@heh.fi PRIVMSG #esoteric :isopodism < 1359764369 350595 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :sacculina is just weird < 1359764707 351722 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :Hulu wants me to watch Coronation Street. "Don't miss all the drama rife with Britishisms" it says < 1359764771 28378 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :you should watch it! < 1359764805 21134 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :@hoogle lexeme < 1359764805 396883 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :Text.Read.Lex data Lexeme < 1359764805 582209 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :Text.Read data Lexeme < 1359764805 582411 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :Text.Parsec.Token lexeme :: GenTokenParser s u m -> forall a. ParsecT s u m a -> ParsecT s u m a < 1359764849 521927 :ogrom!~del@gprs-inet-65-31.elisa.ee QUIT :Quit: Left < 1359764929 589301 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :yes kmc < 1359764931 578553 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :watch coronation street < 1359765317 104171 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :why < 1359765341 207125 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :um < 1359765344 225097 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :watch first ask questions later < 1359765753 810624 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :i don't know what a british soap opera is like < 1359765756 828500 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :hm, this is interesting http://valerieaurora.org/review/hash.html (looked around the site where synthesis HTML is hosted) < 1359765760 33265 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :american soap operas are... dumb < 1359765766 147219 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :elliott, you might be interested in that < 1359765781 827203 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :elliott, it discusses using hash as a unique key, like git does < 1359765799 922079 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :pretty sure the paper predates git though < 1359765975 755683 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :using a hash as a unique key is pretty obvious, really < 1359765978 532910 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :it's how hash tables work < 1359766017 721186 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :ais523, except you then compare the value in the bucket to make sure it actually is the key you wanted < 1359766025 396576 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :yes < 1359766028 367305 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :ais523, with git or venti you don't < 1359766032 970119 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :if you had an infinitely large hash table this wouldn't be a problem < 1359766035 607176 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :you trust the sha1 is unique < 1359766045 767972 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :if it isn't. Well shit < 1359766046 815945 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :such as a filesystem < 1359766071 21138 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :ais523, the sha1 is not unique though, due to the pidgeon hole principle. < 1359766130 447576 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :yeah, but it's unique in the sense of "if there's a collision, the collision itself will be more valuable than whatever it is you're working on" < 1359766140 470200 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :ais523, hah < 1359766165 270041 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :also in the sense of 'random bit flip error in hardware is vastly more likely' < 1359766170 19005 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :but the paper says maybe not? < 1359766170 583919 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :ais523, but that is not the point. I do think http://valerieaurora.org/review/hash.html makes some interesting points. < 1359766173 259818 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :but i didn't read it < 1359766180 100728 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :what are the interesting points < 1359766232 289535 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :kmc, yes that is true, but that is over a random data. The paper points out that most data stored in a file system is not random, and thus those calculations can not necessarily be used straight away. < 1359766341 288958 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :kmc, for example, consider shb1(x) = { if x > 0 : sha1(x); if x = 0 : sha(1) }. That is has almost the same properties as sha1() here, almost the same risk of collision given two random inputs, but would be vastly less useful than sha1 for actual practical non-random data < 1359766414 216077 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :mm < 1359766419 111694 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :because it collides 0 and 1 < 1359766425 224213 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :kmc, of course, sha1 doesn't do anything as stupid as that, but the point is that "chance of two random inputs colliding" does not necessarily equal "chance of two file system blocks/commits colliding" < 1359766441 795209 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :because the latter is highly non-random < 1359766444 324932 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :sure < 1359766457 114618 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :i mean, i have md5 collisions on my disk :) < 1359766465 567045 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :but everyone agrees this means md5 is broken < 1359766471 325281 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :kmc, ah that nicely brings us to another point < 1359766526 439578 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :kmc, sha1 is cryptographically secure (or was at the point of writing that paper anyway, in 2003). md5 was suspected of being insecure, but wasn't yet really broken < 1359766591 660649 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :kmc, who knows if it will be trivial to find collisions for sha1 is 10 years time? You might still have your git repo around then. While for crypo applications, it doesn't matter if a key created today isn't secure any more then. It is probably no longer in use by then anyway < 1359766626 808263 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :yeah, it's very bad that Git doesn't have any hash upgrade path < 1359766657 562320 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :and even if it had, what would you do if someone snuck in a collision before you had time to fix it. You would be pretty much screwed < 1359766695 8951 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :kmc, the same applies to venti, hg (I assume?, I don't know if hg is as stupid as git here) and so on < 1359766702 443182 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :if you are relying on git for cryptographic assurances, yes < 1359766740 680993 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :kmc, if you are relying on git for just being able to identify commits uniquely < 1359766740 865459 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :obviously in many projects using git, if someone can 'sneak in' malicious commits then you are in trouble anyway < 1359766756 31436 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :Vorpal: if you are relying on git for being able to identify commits uniquely in an adversarial model < 1359766764 566463 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :well yeah < 1359766796 448058 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :this doesn't mean git is 'stupid' < 1359766800 835488 :Bike!~Glossina@63-229-134-7.ptld.qwest.net PRIVMSG #esoteric :is there an adversarial model of revision control < 1359766801 961110 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :kmc: have yo uwatched coronation street yet < 1359766809 606007 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :it means git fails to deliver a particular security guarantee that VCSes often don't deliver < 1359766825 205958 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :kmc, what about rsync? < 1359766825 421158 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :it fails in proportion to how much SHA-1 fails < 1359766845 333135 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :people do talk about git as if it has this guarantee, and it sort of does, as long as SHA-1 is okay < 1359766847 745814 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :kmc, can you know your two sets of files are actually the same? < 1359766870 86725 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :but yeah, I would not rely on a Git hash to take the place of code signing against a determined attacker who may have broken a world cryptographic hash standard < 1359766873 131238 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :big fuckin deal < 1359766881 804077 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :calling Git "stupid" because of that is ridiculous hyperbole < 1359766896 729315 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :kmc, in the long run, it will most likely become, if not trivial, at least achievable, to generate SHA-1. The technological development is pretty rapid. < 1359766902 811079 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :yes < 1359766910 291979 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :git is stupid for unrelated reasons < 1359766913 403255 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :and then we should upgrade to a new version of Git that uses a better hash < 1359766916 911405 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :elliott, well yes, as well < 1359766937 605977 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :kmc, what about deduplicating file systems like venti though < 1359766938 207066 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :if I sign my code with RSA then in the long run someone will break RSA too < 1359766940 813211 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :what's your point < 1359767019 760739 :Bike!~Glossina@63-229-134-7.ptld.qwest.net PRIVMSG #esoteric :can we take this long term and assert that privacy as a concept will only even exist in like one and a half centuries max, and afterwards we'll all be flinging unsigned poo at each other < 1359767063 962478 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :kmc, my point is that file systems and version control systems, especially file systems, are in for the long run. In crypto applications you are usually not < 1359767109 985746 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :Bike, you believe civilisation will collapse that soon? < 1359767124 769536 :Bike!~Glossina@63-229-134-7.ptld.qwest.net PRIVMSG #esoteric :"yes" < 1359767128 962331 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :fair enough < 1359767163 393839 :Bike!~Glossina@63-229-134-7.ptld.qwest.net PRIVMSG #esoteric :i guess i could read that three np worlds paper again and then pretend to have a thought-out opinion < 1359767184 585841 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :Bike, oh? < 1359767264 975102 :Bike!~Glossina@63-229-134-7.ptld.qwest.net PRIVMSG #esoteric :Impagliazzo's < 1359767282 383355 :Bike!~Glossina@63-229-134-7.ptld.qwest.net PRIVMSG #esoteric :http://cseweb.ucsd.edu/users/russell/average.ps < 1359767417 929824 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :Vorpal: not sure re: crypto applications not being for the long run < 1359767434 183242 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :if da police image my hard drive, I might care that they can decrypt it 15 years later < 1359767444 537193 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :likewise with any incriminating emails I may have sent < 1359767454 867092 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :SSH sessions that may have been recorded < 1359767455 398230 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :etc < 1359767461 560888 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :kmc, well okay it depends, but the most common applications of message signing and such where you use hashes are not relevant 15 years later < 1359767472 623251 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :i don't agree < 1359767498 715557 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :Bike: no no, we will all merge into a highly technological group mind etc.; admittedly still no privacy. < 1359767501 312040 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :kmc, and a symmetric block cipher such as AES do not involve hashes generally < 1359767506 845172 :Bike!~Glossina@63-229-134-7.ptld.qwest.net PRIVMSG #esoteric :I wonder if a statute of limitations extension argument from crypto will ever be made. < 1359767511 31058 :Bike!~Glossina@63-229-134-7.ptld.qwest.net PRIVMSG #esoteric :oerjan: you're blowing my mind man. < 1359767511 914002 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :if anything I think the VCS is in a better position < 1359767532 195389 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :if you think nobody has broken SHA-1 yet, but they will soon, you can re-hash all your Git objects with SHA-3 and then refuse to deal with SHA-1 going forward < 1359767554 870418 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :whereas you can't go back in time and make the police's image of your encrypted hard drive no longer valid < 1359767607 546472 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :kmc, true, but that is not a hash. That is a different situation. And I meant hashes in cryptography in this context < 1359767607 827964 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :and i don't know what your point is re: AES not involving hashes < 1359767612 646822 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :hashes aren't the only things that can be broken < 1359767618 735010 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :ok < 1359767629 693883 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :kmc, quite so. But the discussion was about hashesh < 1359767631 640678 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :hashes* < 1359767782 27635 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :kmc, my point was that, for the most part, in crypographic contexts, it isn't interesting if, for example, the SHA-1 checksum for the SSL cert is broken 10 years down the line. < 1359767878 44725 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :hashes in cryptography is generally for signing stuff, so you can verify it. Apart from using it for document signing, I don't see much of an use many years down the line < 1359768017 85016 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :and nobody is going to care in 15 years if a given document is authentic? < 1359768017 470336 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :good night < 1359768028 713056 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :kmc, I said, apart from document signing < 1359768031 997833 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :oh < 1359768035 488209 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :yes I do realise that is a problem < 1359768103 868724 :carado!~user4539@2a01:e35:8b61:e430:6ef0:49ff:fe73:1fd0 QUIT :Ping timeout: 246 seconds < 1359768105 452980 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :kmc, but for the grand majority of the applications, it is not such a major issue. < 1359768114 159542 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :and now I need to sleep, pretty late over here < 1359768282 953832 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :'night < 1359768376 216189 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net JOIN :#esoteric < 1359768469 134681 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :I can understand how (CoYoneda IORef) makes a read-only reference. You can see what it makes when you use IORef with other Kan extensions < 1359768672 212777 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :zzo38: What does it make? < 1359768981 63820 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :I try to think of it. < 1359770033 252660 :sirdancealot7!~sirdancea@98.82.broadband5.iol.cz QUIT :Ping timeout: 256 seconds < 1359770571 701612 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :Do you know what I think is the benefit of chiromancy (palmistry)? < 1359770795 23277 :Bike!~Glossina@63-229-134-7.ptld.qwest.net PRIVMSG #esoteric :Picking up chicks? < 1359770816 467829 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :No! < 1359770982 229485 :TwilightSpockle!codu@codu.org PRIVMSG #esoteric :Picking up pigeons? < 1359771008 417479 :Bike!~Glossina@63-229-134-7.ptld.qwest.net PRIVMSG #esoteric :Ooh, can I change my guess? < 1359771030 383819 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :Yes, you can change your guess. < 1359771046 293709 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :Picking up pigeons is also incorrect. < 1359771105 517021 :Bike!~Glossina@63-229-134-7.ptld.qwest.net PRIVMSG #esoteric :Aww. < 1359771110 824769 :Bike!~Glossina@63-229-134-7.ptld.qwest.net PRIVMSG #esoteric :Ok, I give up, what is the benefit? < 1359771134 363670 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :To name all the lines on your hand and shape of your hand. < 1359771151 559080 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :(Even if they don't have anything to do with what they are named after) < 1359771165 125803 :Bike!~Glossina@63-229-134-7.ptld.qwest.net PRIVMSG #esoteric :I guess it could be kind of useful for external anatomy... < 1359771799 109830 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :Speicherzugriffsfehler < 1359771818 172869 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :Ошибка сегментирования < 1359772309 283203 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :Szegmentálási hiba < 1359772467 487534 :Bike!~Glossina@63-229-134-7.ptld.qwest.net PRIVMSG #esoteric :I'd probably still be programming lots of C if that was the error < 1359772481 29569 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :which one < 1359772493 277273 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :i'd probably still be programming lots of C < 1359772504 609517 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :if by "programming" you mean "smoking" and by "C" you mean "crack" < 1359772551 334292 :Bike!~Glossina@63-229-134-7.ptld.qwest.net PRIVMSG #esoteric :honestly all of them < 1359772559 531429 :Bike!~Glossina@63-229-134-7.ptld.qwest.net PRIVMSG #esoteric :polish is my wife in the celestial plane < 1359772568 198122 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :that's hungarian < 1359772575 249493 :Bike!~Glossina@63-229-134-7.ptld.qwest.net PRIVMSG #esoteric :FUCK < 1359772585 614116 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :polish is: < 1359772585 799466 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :Naruszenie ochrony pamięci < 1359772594 262861 :Bike!~Glossina@63-229-134-7.ptld.qwest.net PRIVMSG #esoteric :Ok that's good too. < 1359772606 31248 :Bike!~Glossina@63-229-134-7.ptld.qwest.net PRIVMSG #esoteric :What the hell is "naruszenie"? None of these things look very cognate. < 1359772618 417897 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :surprising that hu has the en cognate in this case < 1359772691 951358 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :means "violation" apparently < 1359772722 360063 :Bike!~Glossina@63-229-134-7.ptld.qwest.net PRIVMSG #esoteric :nice < 1359772746 692380 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :somehow i have a feeling of seeing that word before < 1359772751 311754 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :(naruszenie does i mean) < 1359772756 765311 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :maybe i was violated by a pole once < 1359772802 341816 :Bike!~Glossina@63-229-134-7.ptld.qwest.net PRIVMSG #esoteric :Why do I see "sz" and guess polish. that's like, the hungarian giveaway < 1359772825 137205 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :because it's _also_ the polish giveaway. < 1359772846 978201 :TwilightSpockle!codu@codu.org PRIVMSG #esoteric :`addquote maybe i was violated by a pole once < 1359772851 258365 :HackEgo!codu@codu.org PRIVMSG #esoteric :949) maybe i was violated by a pole once < 1359772860 712821 :Bike!~Glossina@63-229-134-7.ptld.qwest.net PRIVMSG #esoteric :oh i thought the polish giveaway was things like "zenie" < 1359772866 233437 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :the á's are more specific to hungarian i think < 1359772870 893697 :Bike!~Glossina@63-229-134-7.ptld.qwest.net PRIVMSG #esoteric :(wow do i have a shallow view of languages or what) < 1359772878 70157 :TwilightSpockle!codu@codu.org PRIVMSG #esoteric :I thought the Polish giveaway was rz. < 1359772883 705880 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :the best hungarian giveaway is ő or ű ;P < 1359772903 515714 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :polish is just english with about 5 extra consonants in each word < 1359772904 160709 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :Bike: polish and hungarian both use s and sz. in opposite ways. hth. < 1359772905 500452 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :let's be realistic < 1359772919 422242 :Bike!~Glossina@63-229-134-7.ptld.qwest.net PRIVMSG #esoteric :can we just have every language use its own orthography < 1359772949 662306 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :Bike: although perhaps the best way to put it: hungarian uses the sz for something that's obviously a foreign borrowed "s" < 1359772961 279334 :Bike!~Glossina@63-229-134-7.ptld.qwest.net PRIVMSG #esoteric :what really < 1359772963 812186 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 QUIT :Remote host closed the connection < 1359772965 782925 :Bike!~Glossina@63-229-134-7.ptld.qwest.net PRIVMSG #esoteric :it's not only in loanwords is it < 1359772968 275677 :Bike!~Glossina@63-229-134-7.ptld.qwest.net PRIVMSG #esoteric :have i been so wrong < 1359772969 968375 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :no < 1359772976 828665 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :no translation in sq_AL.UTF-8 :( < 1359772982 481076 :Bike!~Glossina@63-229-134-7.ptld.qwest.net PRIVMSG #esoteric :is my whole life a lie < 1359772983 200986 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :but that's how you can see Szegmentálási is hungarian < 1359772992 347156 :Bike!~Glossina@63-229-134-7.ptld.qwest.net PRIVMSG #esoteric :kmc: scots? actually no i have no idea < 1359773011 332986 :Bike!~Glossina@63-229-134-7.ptld.qwest.net PRIVMSG #esoteric :is there a locale for klingon < 1359773011 518253 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :albanian aka shqipe < 1359773029 882223 :Bike!~Glossina@63-229-134-7.ptld.qwest.net PRIVMSG #esoteric :wow i know nothing about albanian. is it IE at least? < 1359773033 502149 :Bike!~Glossina@63-229-134-7.ptld.qwest.net PRIVMSG #esoteric :yes it is. < 1359773040 163336 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :is it internet explorer? < 1359773040 406198 :TwilightSpockle!codu@codu.org PRIVMSG #esoteric :They speak a whole other language in Albany? *takes a bow* < 1359773062 208876 :Bike!~Glossina@63-229-134-7.ptld.qwest.net PRIVMSG #esoteric :oh wow it's an isolate within IE < 1359773072 480085 :Bike!~Glossina@63-229-134-7.ptld.qwest.net PRIVMSG #esoteric :mountains have some fuckin crazy languages huh < 1359773100 757119 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :Száz is pretty native < 1359773118 524732 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :although "Originally borrowed from an Indo-Iranian language" < 1359773194 858779 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :also most of the country lost their savings in ponzi schemes in 1997 < 1359773205 215900 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :resulting in the overthrow of the government < 1359773215 314069 :Bike!~Glossina@63-229-134-7.ptld.qwest.net PRIVMSG #esoteric :which, albania? < 1359773217 570329 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :yes < 1359773246 671847 :Bike!~Glossina@63-229-134-7.ptld.qwest.net PRIVMSG #esoteric :the thing i mostly know about albania is the bunkers < 1359773252 460448 :Bike!~Glossina@63-229-134-7.ptld.qwest.net PRIVMSG #esoteric :and also that "hoxha" is a pretty great name < 1359773304 778614 :Bike!~Glossina@63-229-134-7.ptld.qwest.net PRIVMSG #esoteric :"an average of 24 bunkers for every square kilometre of the country" < 1359773321 788729 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :albanian sex bunkers < 1359773369 990903 :Bike!~Glossina@63-229-134-7.ptld.qwest.net PRIVMSG #esoteric :i've heard they are pretty popular for losing your virginity in < 1359773391 727984 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :the other thing about albania is that every car is a 90s mercedes which is probably stolen < 1359773425 898292 :Bike!~Glossina@63-229-134-7.ptld.qwest.net PRIVMSG #esoteric :these are some good things < 1359773482 583233 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :"Visit Albania, your car is already here!" < 1359773520 775785 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :i guess this same joke is made about Poland and Montenegro < 1359773526 137036 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :that fits in with the common claim that albanian has more highways than norway < 1359773596 489993 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :oerjan: that's a common claim? < 1359773606 787792 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I guess it's more likely to be made if you live in albania or norway < 1359773635 447715 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :you don't say < 1359773653 415414 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :or maybe it's that albania is building more. < 1359773685 463881 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :well it's a common claim whenever we complain about norwegian infrastructure investments < 1359773708 612576 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :albania also has more derelict concrete pyramids than norway < 1359773712 37271 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :yeah, but why albania? < 1359773819 344678 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :because they're the poorest country in europe and are _still_ beating us < 1359773907 493748 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :i think moldova is poorer < 1359773956 145556 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :hm supposedly they'll soon at twice as much as norway < 1359773971 888845 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :*have twice < 1359773997 991539 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :norway has more hostile terrain for road-building than albania, I'd imagine < 1359774113 517663 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :that _may_ be true, but the main issue is probably crippling norwegian bureaucracy for infrastructure projects < 1359774156 516486 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :it takes decades to decide to build something < 1359774196 617188 :Bike!~Glossina@63-229-134-7.ptld.qwest.net PRIVMSG #esoteric :hearing about european politics makes me think american politics should be more interesting. european politics and reading giger's suggestion to build a system of subways in the shape of a pentagram topped by pyramid arcologies < 1359774315 792297 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :and what _is_ built is frequently decided by minor interests getting political favors < 1359774329 671378 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :Bike: and cthulu lives inside it? < 1359774370 763530 :Bike!~Glossina@63-229-134-7.ptld.qwest.net PRIVMSG #esoteric :kmc: no, but poor people are set to work moving sludge around and it mutates them < 1359774372 805392 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :like, any politician coming from a remote location needs to get a road built there < 1359774387 69622 :Bike!~Glossina@63-229-134-7.ptld.qwest.net PRIVMSG #esoteric :he wrote this whole multi-page explanation and illustrated it, and then sent it off to the swiss prime minister < 1359774415 415802 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :and a bridge/tunnel, if it is an island. < 1359774417 541486 :Bike!~Glossina@63-229-134-7.ptld.qwest.net PRIVMSG #esoteric :or whatever switzerland has < 1359774462 817916 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :
ACTION needs to get his monologues more world domination related
< 1359774474 677176 :Bike!~Glossina@63-229-134-7.ptld.qwest.net PRIVMSG #esoteric :"federal chancellor". dull. < 1359774486 965318 :Bike!~Glossina@63-229-134-7.ptld.qwest.net PRIVMSG #esoteric :fckin democracies. < 1359774518 5279 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i learned recently that switzerland doesn't have a general, except in emergencies < 1359774547 264715 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :and parliament has to declare it < 1359774610 910618 :copumpkin!~copumpkin@unaffiliated/copumpkin QUIT :Remote host closed the connection < 1359774630 612541 :copumpkin!~copumpkin@unaffiliated/copumpkin JOIN :#esoteric < 1359774657 172678 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :Bike: hey remember, hitler started as chancellor. < 1359774691 388932 :Bike!~Glossina@63-229-134-7.ptld.qwest.net PRIVMSG #esoteric :yes and weimar germany was pretty boring as a democracy < 1359774761 13744 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :it had a lot of electoral violence < 1359774763 17891 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :that's un-boring < 1359774812 468143 :TwilightSpockle!codu@codu.org NICK :Applejacques < 1359774817 328570 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :i think Westminster system is pretty interesting < 1359774828 220730 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :given how the executive branch has an axe hanging over their heads at all times < 1359774839 830361 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :maybe this is colored by me having just watched all of The Thick of It < 1359774842 51236 :Bike!~Glossina@63-229-134-7.ptld.qwest.net PRIVMSG #esoteric :isn't it traditionally a sword < 1359774847 527051 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :maybe < 1359776163 174708 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :I thought Hitler started as a Catholic. < 1359776189 371095 :Bike!~Glossina@63-229-134-7.ptld.qwest.net PRIVMSG #esoteric :catholicism is more of a parafederation, wouldn't you say < 1359776271 701751 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :I don't know what a "parafederation" is. < 1359776384 206036 :copumpkin!~copumpkin@unaffiliated/copumpkin PRIVMSG #esoteric :hitler was literally worse than hitler < 1359776387 604805 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :more of an orthofederation or a metafederation < 1359776524 852975 :Bike!~Glossina@63-229-134-7.ptld.qwest.net PRIVMSG #esoteric :I don't know much about Catholic organization but it seems somewhat federalist (dioceses, etc.) but it's spread throughout nations instead of beig its own. Maybe Orthodoxy would be better for that though. < 1359776986 212781 :evincar!~jon@173-228-12-26.dsl.dynamic.sonic.net JOIN :#esoteric < 1359777724 317291 :Nisstyre-laptop!~yours@oftn/member/Nisstyre JOIN :#esoteric < 1359777962 228633 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :With a program compiled with GCC, can you check for resources on Windows, and extra ELF sections or whatever on Linux, and similar things on other operating systems? < 1359777996 499422 :Bike!~Glossina@63-229-134-7.ptld.qwest.net PRIVMSG #esoteric :like readelf? < 1359778071 541221 :oerjan!oerjan@sprocket.nvg.ntnu.no QUIT :Quit: leaving < 1359778098 393319 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :I also want to load the resource or whatever as a read-only SQLite database if it exists. The program can still work, and start up differently, with the lack of that resource, though. < 1359778254 950905 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :zzo38: with Linux / glibc you can use dlopen(NULL) to get a handle to already loaded stuff, which can be passed to dlsym() < 1359778294 876898 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :so you could just ensure that your extra ELF section is loadable and has a symbol pointing at it < 1359778342 350922 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :Is it possible to add a ELF section to the program which is already compiled? < 1359778363 318362 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :I know that you can with Windows resources. < 1359778439 767024 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net QUIT :Quit: hello < 1359778442 768515 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :you can also use dl_iterate_phdr() to iterate over all loaded ELF objects, and do whatever other parsing you like < 1359778444 264451 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :And, do you know if it is possible to open such sections as read-only SQLite database? < 1359778480 265448 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :zzo38: you can add sections with objcopy --add-section < 1359778504 220152 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :and as for SQLite you would have to see if the SQLite library supports opening an arbitrary piece of memory as a database < 1359778556 5982 :Bike!~Glossina@63-229-134-7.ptld.qwest.net PRIVMSG #esoteric :huh, so can you like, use objcopy to turn an elf into a mach-o? < 1359778586 647127 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :theoretically < 1359778621 383364 :Bike!~Glossina@63-229-134-7.ptld.qwest.net PRIVMSG #esoteric :what formats practically? < 1359778625 57039 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :i don't know < 1359778632 98357 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :whatever BFD can do without shitting itself < 1359778795 763056 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :the objcopy 'binary' format is particularly useful < 1359778796 577888 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :http://www.linuxjournal.com/content/embedding-file-executable-aka-hello-world-version-5967 < 1359778934 536275 :Bike!~Glossina@63-229-134-7.ptld.qwest.net PRIVMSG #esoteric :nice. < 1359779075 428145 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :Maybe there is a VFS to load memory as SQLite database, or if it isn't, it could be written < 1359779424 766294 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :btw the argument for -B on x86_64 is i386:x86-64 < 1359779434 414046 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :i always forget, because it makes no sense < 1359779720 179494 :Bike!~Glossina@63-229-134-7.ptld.qwest.net QUIT :Quit: Reconnecting < 1359779741 886252 :Bike!~Glossina@63-229-134-7.ptld.qwest.net JOIN :#esoteric < 1359779896 109408 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :had to source dive BFD again to discover it < 1359779901 742651 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :the things i do for this club < 1359782738 811721 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :Is it harmful to send resume and cover letter to positions that I'm not likely to get? < 1359782773 578700 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :A number of hours ago, applied for a "Mid-Senior level" position. Scala stuff although knowing Scala was not a requirement, just being willing to learn it < 1359782795 808513 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :oh boy, scala < 1359782826 155095 :FreeFull!~freefull@defocus/sausage-lover QUIT :Ping timeout: 245 seconds < 1359782844 758579 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :On cover letter mentioned how it seemed to have interesting features like implicit conversions < 1359782883 692968 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :why would that be harmful < 1359782918 55123 :Bike!~Glossina@63-229-134-7.ptld.qwest.net PRIVMSG #esoteric :The HR people could escape from their caves, tearing him limb from limb on the mere suspicion of him not being a Ruby nina. < 1359782921 71165 :Bike!~Glossina@63-229-134-7.ptld.qwest.net PRIVMSG #esoteric :ninja. < 1359782924 89245 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :ruby nina < 1359782972 329553 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :At least this one is in a reasonable locatio < 1359782974 104283 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :location < 1359782998 594936 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :Although Transcriptic is probably more helpful to society < 1359783010 719276 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :They still haven't gotten back to me :( < 1359783100 584150 :Bike!~Glossina@63-229-134-7.ptld.qwest.net PRIVMSG #esoteric :helpful to society? < 1359783226 670709 :FreeFull!~freefull@defocus/sausage-lover JOIN :#esoteric < 1359783233 28527 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :Transcriptic is some sort of lab that does... stuff with samples that scientists send in. Allow for monitoring of ... whatever it is they do, etc. < 1359783252 608452 :Bike!~Glossina@63-229-134-7.ptld.qwest.net PRIVMSG #esoteric :Sounds like you're on the ball! < 1359783316 186193 :Bike!~Glossina@63-229-134-7.ptld.qwest.net PRIVMSG #esoteric :Oh, they make plasmids. That is pretty cool. < 1359783376 170681 :Bike!~Glossina@63-229-134-7.ptld.qwest.net PRIVMSG #esoteric :Bioinformatics is cool. Apparently plos has a semi-book on it. < 1359783442 335411 :Bike!~Glossina@63-229-134-7.ptld.qwest.net PRIVMSG #esoteric :http://www.ploscollections.org/article/browse/issue/info%3Adoi%2F10.1371%2Fissue.pcol.v03.i11 < 1359783446 735756 :Bike!~Glossina@63-229-134-7.ptld.qwest.net PRIVMSG #esoteric :I think I kind of hate plos's urls. < 1359783465 254598 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :This is easy to understand http://pandodaily.com/2012/12/13/transcriptics-wild-seed-round-the-internet-was-just-trying-to-throw-money-at-us/ < 1359783472 668279 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :I feel like a derp for forgetting about the robotic aspect < 1359783513 306687 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :o.O I actually talked to the founder of the company < 1359783515 808313 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :I feel small now < 1359783550 237044 :Bike!~Glossina@63-229-134-7.ptld.qwest.net PRIVMSG #esoteric :Well, it's a startup, right? The founder probably isn't, like, a demigod. < 1359783737 944289 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :The founder of a startup talked to me, and probably thinks I'm an asshole for sending horrible Tcl code < 1359783769 264739 :Bike!~Glossina@63-229-134-7.ptld.qwest.net PRIVMSG #esoteric :Yeah, my main criterion for "this dude's an asshole" is reading their shitty Tcl. < 1359783770 462925 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :On the phone I should have said something like that wasn't my best work, suggested something else, in an actually functional language, but I didn't :( < 1359783942 860129 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :Bike: pretty sure startup founders are all demigods < 1359783949 481720 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :why do you think kmc is so frazzled < 1359783964 295065 :Bike!~Glossina@63-229-134-7.ptld.qwest.net PRIVMSG #esoteric :Intermittent lightning strikes? That would make sense... < 1359784156 63227 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :i'm not a founder < 1359784161 953182 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :just employee numero uno < 1359784273 883220 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :kmc: of course not < 1359784301 166308 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :are you saying slaves to demigods are not frazzled??? < 1359784322 302571 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric ::3 < 1359784808 952492 :RodgerTheGreat!~rodger@71-13-216-83.dhcp.mrqt.mi.charter.com QUIT :Quit: RodgerTheGreat < 1359788221 830072 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :void*open(const char*format,const unsigned char*blob,unsigned int size,SDL_AudioSpec*spec); void close(void*handle); void reset(void*handle,Uint8 track); void frame(void*handle,Uint8*stream,int len); void poke(void*handle,Uint16 address,Uint8 data); < 1359788261 9446 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :Is there the libraries for playing the music that can be used with such a format (even if not directly, such that one can be written easily)? < 1359788349 184728 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :Oops, I forgot the volume void frame(void*handle,Uint8*stream,int len,Uint32 volume); < 1359788423 145237 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :Oh hey HPMOR has a chapter called "Interlude with the Confessor" < 1359788432 640345 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :Going to be interesting when I get to it probably < 1359788461 705045 :Bike!~Glossina@63-229-134-7.ptld.qwest.net PRIVMSG #esoteric :Is that a book about how to be a pastor? < 1359788489 495361 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :Harry Potter and the Methods of Rationality < 1359788512 300375 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :Three Worlds Collide also had an "Interlude with the Confessor" < 1359788612 183154 :Bike!~Glossina@63-229-134-7.ptld.qwest.net PRIVMSG #esoteric :haha yudkowsky < 1359788743 6267 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :What's wrong with Yudkowsky? < 1359788983 176892 :Bike!~Glossina@63-229-134-7.ptld.qwest.net PRIVMSG #esoteric :You know I'm honestly not sure how to answer that. Does the usual "CS nerds claiming to have a futurological insight historians don't based on unmarked graphs with curves on them" thing suffice? < 1359789089 245064 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :Don't entirely know if I agree with any conclusion that something might happen in our lifetimes, but I don't know if he really draws that conclusion, and, at any rate, it is something I hope for, even if I don't know how likely it is < 1359789161 672241 :Bike!~Glossina@63-229-134-7.ptld.qwest.net PRIVMSG #esoteric :You don't think the guy who founded the singularity institute really draws that conclusion. < 1359789210 464821 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :Working to make something happen does not imply a belief that it will happen within our lifetimes < 1359789219 473772 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :Just that we should try to make it happen < 1359789284 717743 :Bike!~Glossina@63-229-134-7.ptld.qwest.net PRIVMSG #esoteric :Yeah I'm sure he's working hard on that. < 1359789290 346061 :Bike!~Glossina@63-229-134-7.ptld.qwest.net PRIVMSG #esoteric :There's also this whole everything. http://lesswrong.com/lw/qa/the_dilemma_science_or_bayes/ < 1359789484 456582 :epicmonkey!~epicmonke@188.134.41.176 JOIN :#esoteric < 1359790919 816626 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :I have added the feature in Internet Quiz Engine for the total that a variable is out of to itself be variable. < 1359791109 552798 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :Do any music engines have a poke function? < 1359791116 886304 :Bike!~Glossina@63-229-134-7.ptld.qwest.net PRIVMSG #esoteric :Poke? < 1359791175 692021 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :I mean for example, if it is playing .NSF then it would be able to write the RAM and memory-mapped registers of the VM. < 1359791221 611792 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :(Depending on the format, the poke command might mean something different, or it might not do anything.) < 1359791426 887287 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :This might be used to speed up the music at some point during the game, or to mute a channel temporarily, or to play sound effects which are included in the music file, or for other things. < 1359791477 522061 :Bike!~Glossina@63-229-134-7.ptld.qwest.net PRIVMSG #esoteric :Well there are plenty of systems that allow you to mess with things at playback time. < 1359791536 797630 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :The functions I mentioned above would be a part of a C structure, and their implementation depends on the format, so depending on what things they have, the poke function would be implemented to use those things. < 1359791557 491138 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :However I have not seen the NSF player which does what I have said. < 1359791567 454223 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :Do you know if there is such things? < 1359791569 57558 :Bike!~Glossina@63-229-134-7.ptld.qwest.net PRIVMSG #esoteric :I don't think music people doing live DJing usually do it in C. < 1359791604 28618 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :But I don't mean live DJing; I mean music that might be used in a computer game. < 1359791653 3539 :Bike!~Glossina@63-229-134-7.ptld.qwest.net PRIVMSG #esoteric :PureData has a C(++?) API that can be used to do whatever you want at runtime. I think Spore used it. < 1359791749 266199 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :I have used PureData, although I find Csound is much better. Still, neither of those is the kinds of things I am looking for. < 1359791783 851404 :Bike!~Glossina@63-229-134-7.ptld.qwest.net PRIVMSG #esoteric :I don't know of any music systems that just run everything flatly in a separate virtual machine, is the problem < 1359791870 808231 :Bike!~Glossina@63-229-134-7.ptld.qwest.net PRIVMSG #esoteric :Even that one guy's demoscene VM does visual and audio in the same machine. < 1359791968 278632 :ais523!~ais523@unaffiliated/ais523 QUIT : < 1359792011 438581 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :That isn't wnat I mean either. I mean such as, a .MOD player, a .IT player, a .NSF player, whatever, which may be made wrappers using the function declarations above, and then loaded using a C code. < 1359792147 888299 :Bike!~Glossina@63-229-134-7.ptld.qwest.net PRIVMSG #esoteric :I haven't a clue, then, other than that seems pretty specific. < 1359792200 452053 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :I may write the wrappers myself if the C libraries exists for such things, for which such wrapper functions can be written to do. < 1359793295 615366 :asiekierka!~asiekierk@fluttershy.pl QUIT :Excess Flood < 1359793785 502195 :asiekierka!~asiekierk@fluttershy.pl JOIN :#esoteric < 1359793907 715903 :Bike!~Glossina@63-229-134-7.ptld.qwest.net QUIT :Quit: warning < 1359793921 98845 :evincar!~jon@173-228-12-26.dsl.dynamic.sonic.net PART :#esoteric < 1359795918 917637 :glogbackup!~glogbacku@64.31.59.246 JOIN :#esoteric < 1359800010 650487 :Jafet!~Jafet@unaffiliated/jafet JOIN :#esoteric < 1359800312 234487 :oonbotti!~oonbotti@91-145-118-87.bb.dnainternet.fi QUIT :Ping timeout: 252 seconds < 1359800500 961219 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :I should learn to read time zones < 1359800522 602002 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :Thought Facebook Hacker Cup Round 1 was 10am my time, it's 10AM PST so 1PM my time < 1359800526 220686 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :Yay I get more sleep < 1359800575 589312 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I should express times in PDT during the winter/PST during the summer. < 1359800585 62320 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Teach people to pay attention. < 1359801418 258048 :DHeadshot!~DH____@unaffiliated/dh----/x-6288474 JOIN :#esoteric < 1359801497 917088 :Nisstyre-laptop!~yours@oftn/member/Nisstyre QUIT :Quit: Leaving < 1359801697 433519 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :help rather than sleeping I picked up my Nook again and am continuing the reread of HPMOR < 1359801734 545370 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Instead of reading that, read something good. < 1359801741 419080 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :Is HPMOR not good? < 1359801747 510070 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I don't know. < 1359801771 96769 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Have you considered reading _Three Men in a Boat_? < 1359801791 14098 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :are books monoids :D < 1359801810 650728 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Sgeo: How's Ada going? < 1359801812 346683 :Jafet!~Jafet@unaffiliated/jafet PRIVMSG #esoteric :Some books are not easy. < 1359801831 168570 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :I still want to understand Ada concurrency < 1359801838 743782 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :I still have not taken a real look at it < 1359801869 519791 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :They have the task thing, right? < 1359801872 769620 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :How does it work exactly? < 1359801954 578755 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :Like I said, I haven't taken a real look at it yet < 1359801965 533645 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Fake looks are OK? < 1359802111 707363 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :I love reading. It is so easy. < 1359802137 767435 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Sgeo: dont you think thats a bit worn out by now.............................................................. < 1359802259 618053 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :I searched scrollup to try to prove recent use, but couldn't < 1359802266 314716 :ion!ion@heh.fi PRIVMSG #esoteric :I love this joke. It is so easy. < 1359802289 897842 :carado!~user4539@2a01:e35:8b61:e430:6ef0:49ff:fe73:1fd0 JOIN :#esoteric < 1359802303 405394 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :help carado please slap Sgeo and ion < 1359802328 943270 :ion!ion@heh.fi PRIVMSG #esoteric :I love slapping. < 1359802346 9718 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :@slap Sgeo < 1359802346 384759 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :
ACTION smacks Sgeo about with a large trout
< 1359802348 14423 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :@slap ion < 1359802348 493988 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :
ACTION secretly deletes ion's source code
< 1359802352 13000 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oh no < 1359802356 640234 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :fortunately ion is a quine < 1359802365 6215 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :hion < 1359802369 590995 :ion!ion@heh.fi PRIVMSG #esoteric :haf < 1359802378 765100 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :^rot13 haf < 1359802378 950662 :fungot!fis@eos.zem.fi PRIVMSG #esoteric :uns < 1359802381 239921 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :^rot13 half < 1359802381 425588 :fungot!fis@eos.zem.fi PRIVMSG #esoteric :unys < 1359802402 357732 :carado!~user4539@2a01:e35:8b61:e430:6ef0:49ff:fe73:1fd0 PRIVMSG #esoteric :what ? < 1359802405 477781 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :hi carado < 1359802409 560533 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`wehlcohme carado < 1359802410 940622 :carado!~user4539@2a01:e35:8b61:e430:6ef0:49ff:fe73:1fd0 PRIVMSG #esoteric :hello < 1359802414 42462 :HackEgo!codu@codu.org PRIVMSG #esoteric :cahrahdo: Wehlcohme to the ihntehrnahtiohnahl huhb fohr ehsohtehrihc prohgrahmmihng lahnguahge dehsihgn ahnd dehployhmehnt! Fohr mohre ihnfohrmahtiohn, chehck ouht ouhr wihki: http://ehsohlahngs.ohrg/wihki/Maihn_Pahge. (Fohr the ohthehr kihnd ohf ehsohtehrihca, try #ehsohtehrihc ohn ihrc.dahl.neht.) < 1359802606 787192 :carado!~user4539@2a01:e35:8b61:e430:6ef0:49ff:fe73:1fd0 PRIVMSG #esoteric :thaht�s quhite thhe whelchome < 1359802661 779640 :ion!ion@heh.fi PRIVMSG #esoteric :http://9to5mac.com/2013/02/01/dont-type-this-phrase-on-your-mac-unless-you-like-crashing-it-file/ < 1359803838 176178 :zzo38!~zzo38@24-207-49-17.eastlink.ca QUIT :Remote host closed the connection < 1359803890 420430 :oonbotti!~oonbotti@91-145-118-87.bb.dnainternet.fi JOIN :#esoteric < 1359804603 195902 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 JOIN :#esoteric < 1359805010 846798 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :- Knowledge of the following technologies: Nginx, thin, AWS < 1359805017 801567 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :thin is a technology. < 1359805704 51739 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :hm interesting, ethernet PAUSE frames on my network < 1359805711 779530 :ion!ion@heh.fi PRIVMSG #esoteric :`run f=bin/hyphenate.fi;echo 'H4sIAOD8DFEAA0WPQU7DMBBF9z2FCRFtEakbVpWqSkisWbGssnDDNDFNMmkcNzWa4+QMvoAvxpgNiy/7vfka2Y8P8qQ7aeoF3KEUPQyNyN4/RfZhx/NOZP0EYtm69IbT4TrIowKN1oU5+ELqPQ9K7P4Gp/LrXNXfl6bt+utgxtt0/4mVfKp1A8LIVdwR68/rVTwirmWaZ+mrrP5rCkghKUcqzBxPoAiQgAmYtCKNpJk0EypCIHSELJCFVWSBrCPLwrJwihyQQ3KW+NkUZsUBDnIsxZ9Q8Cw9S8/Ss/Rhlq17MwfTN3pMkpf0aZ+a47bYJFmy4VteSKiWi1/gJQHkPgEAAA=='|base64 -d|zcat>$f;chmod 755 < 1359805713 380218 :ion!ion@heh.fi PRIVMSG #esoteric :$f; cat $f < 1359805716 229283 :HackEgo!codu@codu.org PRIVMSG #esoteric :chmod: missing operand after `755' \ Try `chmod --help' for more information. < 1359805722 474793 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :probably related to copying 8 GB of music over NFS from a computer with gbit ethernet to one with 100mbit < 1359805725 127042 :ion!ion@heh.fi PRIVMSG #esoteric :`run chmod 755 bin/hyphenate.fi; cat bin/hyphenate.fi < 1359805729 42705 :HackEgo!codu@codu.org PRIVMSG #esoteric :​#!/bin/sh \ exec perl -CS -Mutf8 -pwe 'my$vow=qr/[aeiouyäö]/i;my$con=qr/[bcdfghjklmnpqrstvwxz]/i;1while s/($vow$con*)($con$vow)/$1-$2/g;1while s/ae|ao|ay|aä|aö|ea|eo|eä|eö|ia|io|iä|iö|oa|oe|oy|oä|oö|ua|ue|uy|uä|uö|ya|ye|yo|yu|yä|äa|äe|äo|äu|äö|öa|öe|öo|öu|öä/my@s=split"",$&;$s[0]."-".$s[1]/eg' < 1359805737 422397 :ion!ion@heh.fi PRIVMSG #esoteric :`run welcome kakka | hyphenate.fi < 1359805740 104380 :HackEgo!codu@codu.org PRIVMSG #esoteric :kak-ka: Wel-co-me to the in-ter-na-ti-o-nal hub for e-so-te-ric prog-ram-ming lan-gu-a-ge de-sign and dep-lo-y-ment! For mo-re in-for-ma-ti-on, check out our wi-ki: http://e-so-langs.org/wi-ki/Main_Pa-ge. (For the ot-her kind of e-so-te-ri-ca, try #e-so-te-ric on irc.dal.net.) < 1359805797 276806 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :and at the same time I was also syncing 2 GB or so of data between two computers with gbit connections (one of the computers was involved in both transfers though...) < 1359806107 386317 :ion!ion@heh.fi PRIVMSG #esoteric :`run welcome shachaf | dahl | hyphenate.fi < 1359806109 161450 :HackEgo!codu@codu.org PRIVMSG #esoteric :bash: dahl: command not found < 1359806117 379734 :ion!ion@heh.fi PRIVMSG #esoteric :`run welcome shachaf | h | hyphenate.fi < 1359806119 653125 :HackEgo!codu@codu.org PRIVMSG #esoteric :shahc-hahf: Wehl-coh-me to the ihn-tehr-nah-ti-oh-nahl huhb fohr eh-soh-teh-rihc prohg-rahm-mihng lahn-gu-ah-ge deh-sihgn ahnd dehp-lo-yh-mehnt! Fohr moh-re ihn-fohr-mah-ti-ohn, chehck ouht ouhr wih-ki: http://eh-soh-lahngs.ohrg/wih-ki/Maihn_Pah-ge. (Fohr the oht-hehr kihnd ohf eh-soh-teh-rih-ca, try #eh-soh-teh-rihc ohn ihrc.dahl.neht.) < 1359806130 373126 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`run welcome shachaf | hyphenate.fi | h < 1359806132 846910 :HackEgo!codu@codu.org PRIVMSG #esoteric :shahc-hahf: Wehl-co-me to the ihn-tehr-na-ti-o-nahl huhb fohr e-so-te-rihc prohg-rahm-mihng lahn-gu-a-ge de-sihgn ahnd dehp-lo-y-mehnt! Fohr mo-re ihn-fohr-ma-ti-ohn, chehck ouht ouhr wi-ki: http://e-so-lahngs.ohrg/wi-ki/Maihn_Pa-ge. (Fohr the oht-hehr kihnd ohf e-so-te-ri-ca, try #e-so-te-rihc ohn ihrc.dahl.neht.) < 1359806436 293619 :ion!ion@heh.fi PRIVMSG #esoteric :`run sed -i -re 's,/eg,/egi,' bin/hyphenate.fi && cat bin/hyphenate.fi < 1359806439 972268 :HackEgo!codu@codu.org PRIVMSG #esoteric :​#!/bin/sh \ exec perl -CS -Mutf8 -pwe 'my$vow=qr/[aeiouyäö]/i;my$con=qr/[bcdfghjklmnpqrstvwxz]/i;1while s/($vow$con*)($con$vow)/$1-$2/g;1while s/ae|ao|ay|aä|aö|ea|eo|eä|eö|ia|io|iä|iö|oa|oe|oy|oä|oö|ua|ue|uy|uä|uö|ya|ye|yo|yu|yä|äa|äe|äo|äu|äö|öa|öe|öo|öu|öä/my@s=split"",$&;$s[0]."-".$s[1]/egi' < 1359806496 474166 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :`run welcome hello | hyphenate.fi | hyphenate.fi | hyphenate.fi < 1359806499 382858 :HackEgo!codu@codu.org PRIVMSG #esoteric :hel-lo: Wel-co-me to the in-ter-na-ti-o-nal hub for e-so-te-ric prog-ram-ming lan-gu-a-ge de-sign and dep-lo-y-ment! For mo-re in-for-ma-ti-on, check out our wi-ki: http://e-so-langs.org/wi-ki/Main_Pa-ge. (For the ot-her kind of e-so-te-ri-ca, try #e-so-te-ric on irc.dal.net.) < 1359806504 479274 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :ion: I want a refund < 1359806518 318591 :ion!ion@heh.fi PRIVMSG #esoteric :elliott: I’m sorry it works correctly. < 1359806599 174038 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`run ln -s hyphenate.fi bin/hyfinate < 1359806602 473405 :HackEgo!codu@codu.org PRIVMSG #esoteric :No output. < 1359806793 602027 :ion!ion@heh.fi PRIVMSG #esoteric :`run welcome | rot13 | hyfinate | rot13 < 1359806799 854531 :HackEgo!codu@codu.org PRIVMSG #esoteric :No output. < 1359806809 15371 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :help < 1359806812 316044 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Oh. < 1359806837 595018 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`run welcome | tr a-zA-Z n-za-mN-ZA-M | hyfinate | tr a-zA-Z n-za-mN-ZA-M < 1359806840 824240 :HackEgo!codu@codu.org PRIVMSG #esoteric :Welcome to the int-er-nati-on-al h-ub for esoteric pro-gramm-ing l-anguage design and deploym-ent! For more inf-ormati-on, check out our wiki: http://esol-angs.org/wiki/Main_Page. (For the oth-er kind of esoterica, try #esoteric on irc.dal.net.) < 1359806869 48592 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`cat bin/rot13 < 1359806870 203569 :HackEgo!codu@codu.org PRIVMSG #esoteric :echo "$@" | tr a-zA-Z n-za-mN-ZA-M < 1359807059 220441 :ion!ion@heh.fi PRIVMSG #esoteric :`run f() { tr a-zA-Z b-zaB-ZA | hyphenate.fi; }; welcome|f|f|f|f|f|f|f|f|f|f|f|f|f|f|f|f|f|f|f|f|f|f|f|f|f|f < 1359807078 608966 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :ion what have you done < 1359807081 816372 :HackEgo!codu@codu.org PRIVMSG #esoteric :We-lc-o-m-e to t-he in-te-r-n-a-ti-on-al h-ub f-or e-s-o-t-er-ic p-ro-gr-a-mm-i-ng l-an-g-u-a-g-e de-s-i-gn an-d d-ep-lo-y-m-en-t! F-or m-o-re in-f-o-rm-a-ti-on, ch-e-ck o-ut o-ur w-i-k-i: h-tt-p://e-s-o-la-ng-s.o-rg/w-i-k-i/M-ain_Pa-g-e. (F-or t-he ot-h-er k-in-d of e-s-o-t-er-ic-a, t-ry #e-s-o-t-er-ic on i-rc.d-al.n-et.) < 1359807191 44559 :ion!ion@heh.fi PRIVMSG #esoteric :shachaf: Procrastinated on IRC mainly. < 1359807204 403349 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :don't do it ion < 1359807265 532185 :nortti!~juhani@nano.smar.fi PRIVMSG #esoteric :`which hyphenate.fi < 1359807267 526659 :HackEgo!codu@codu.org PRIVMSG #esoteric :​/hackenv/bin/hyphenate.fi < 1359807486 452150 :carado!~user4539@2a01:e35:8b61:e430:6ef0:49ff:fe73:1fd0 PRIVMSG #esoteric :nice bot you�ve got. < 1359807529 755106 :ion!ion@heh.fi PRIVMSG #esoteric :it would be a shame if anything were to happen to it < 1359807606 508633 :carado!~user4539@2a01:e35:8b61:e430:6ef0:49ff:fe73:1fd0 PRIVMSG #esoteric :surely, it�s things-happening-to-it-proof < 1359807633 396090 :ion!ion@heh.fi PRIVMSG #esoteric :Yeah, we bought bot insurance from two very nice Italian gentlemen. < 1359808443 837896 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :Is it just me or is Scala one of the more commonly used functional languages in industry? < 1359808477 65104 :ion!ion@heh.fi PRIVMSG #esoteric :I think you are one of the more commonly functional languages in industry indeed. < 1359808719 562214 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`hyfinate beaky < 1359808750 977213 :HackEgo!codu@codu.org PRIVMSG #esoteric :No output. < 1359808763 80448 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :SCALA HAS DELIMITED CONTINUATIONS < 1359808767 272428 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :?!??! < 1359808767 725758 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :Unknown command, try @list < 1359808783 425428 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :I like it better already :D < 1359808823 786400 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :Wait, not if it's Haskell style "Oh, code that uses it has to be in monadic style" < 1359808913 507139 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :are you depriving #yfl of these insights...... < 1359808933 66612 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :oh < 1359808934 539977 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :you didnt' < 1359808941 748533 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :imo elliott makes a good point < 1359808957 509668 :ion!ion@heh.fi PRIVMSG #esoteric :What’s #yfl? < 1359808965 739639 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :dont ask < 1359808975 252480 :ion!ion@heh.fi PRIVMSG #esoteric :What’s #yfl? < 1359808999 760341 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :dont ask < 1359809021 814656 :ion!ion@heh.fi PRIVMSG #esoteric :sudo what’s #yfl? < 1359809140 363456 :Jafet!~Jafet@unaffiliated/jafet PRIVMSG #esoteric :`run sudo -l < 1359809142 485308 :HackEgo!codu@codu.org PRIVMSG #esoteric :bash: sudo: command not found < 1359809288 412111 :Jafet!~Jafet@unaffiliated/jafet PRIVMSG #esoteric :`run quote | hyphenate.fi < 1359809290 438713 :HackEgo!codu@codu.org PRIVMSG #esoteric :834) `wel-co-me Raw-lie * zzo38 has joi-ned #e-so-te-ric thank y-ou Y-ou're wel-co-me. < 1359809469 949368 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Sgeo: edwardk uses Scala and he keeps complaining about it. < 1359809479 865894 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Sgeo: You should go back to Ada. < 1359809488 363193 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :What are his complaints? < 1359809498 469863 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I don't remember. < 1359809514 343714 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I bet you could find it on his Twitterthing. < 1359809660 644097 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :Seems one of the complaints, at least from this log I found, has to do with complexity of types? < 1359809664 335414 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :https://gist.github.com/3190574 < 1359809681 321995 :ion!ion@heh.fi PRIVMSG #esoteric :`run sed -i -re 's,/ae\|.*\|öä/,/a[eoyäö]|e[aoäö]|i[aoäö]|o[aeyäö]|u[aeyäö]|y[aeouä]|ä[aeouö]|ö[aeouä]/,' bin/hyphenate.fi && cat bin/hyphenate.fi < 1359809684 850215 :HackEgo!codu@codu.org PRIVMSG #esoteric :​#!/bin/sh \ exec perl -CS -Mutf8 -pwe 'my$vow=qr/[aeiouyäö]/i;my$con=qr/[bcdfghjklmnpqrstvwxz]/i;1while s/($vow$con*)($con$vow)/$1-$2/g;1while s/a[eoyäö]|e[aoäö]|i[aoäö]|o[aeyäö]|u[aeyäö]|y[aeouä]|ä[aeouö]|ö[aeouä]/my@s=split"",$&;$s[0]."-".$s[1]/egi' < 1359809761 506084 :ion!ion@heh.fi PRIVMSG #esoteric :`run echo Ääliö, älä läiky. öykkäri komea hioa lauantai aion | hyphenate.fi < 1359809763 302990 :HackEgo!codu@codu.org PRIVMSG #esoteric :​Ää-li-ö, ä-lä läi-ky. öyk-kä-ri ko-me-a hi-o-a lau-an-tai ai-on < 1359809931 211260 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Sgeo: Are Ada tasks preëmptice or coöperative or what? < 1359809936 937986 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :s/c/v/ < 1359809945 762435 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Are they like threads? < 1359809949 440159 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Or are they like coroutines? < 1359809952 878894 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Or are they like something else? < 1359809993 551228 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :From a quick googling, seems like it depends on the compiler (for preemptive vs. cooperative) < 1359810113 444208 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :How does preëmption work? < 1359810203 742466 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :I should probably try to get some sleep < 1359810227 334671 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Nah, you should learn Ada. < 1359810707 252006 :copumpkin!~copumpkin@unaffiliated/copumpkin QUIT :Ping timeout: 252 seconds < 1359810738 570441 :copumpkin!~copumpkin@unaffiliated/copumpkin JOIN :#esoteric < 1359811828 822476 :oonbotti!~oonbotti@91-145-118-87.bb.dnainternet.fi QUIT :Ping timeout: 248 seconds < 1359813607 716791 :oerjan!oerjan@sprocket.nvg.ntnu.no JOIN :#esoteric < 1359813854 577683 :ogrom!~del@143.122.191.90.dyn.estpak.ee JOIN :#esoteric < 1359814370 143418 :md_5!md_5@mcdevs/trusted/md-5 QUIT :Ping timeout: 256 seconds < 1359814457 763789 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric : You know I'm honestly not sure how to answer that. Does the usual "CS nerds claiming to have a futurological insight historians don't based on unmarked graphs with curves on them" thing suffice? < 1359814475 545600 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oerjan: do you know about subtyping................................. < 1359814484 834030 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i thought that was kurzweil et al's shtick, not so much yudkowsky < 1359814505 738436 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :bike isn't even here oerjan.............. < 1359814520 497541 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :@ask Bike good morning < 1359814520 860134 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :Consider it noted. < 1359814521 984094 :md_5!md_5@mcdevs/trusted/md-5 JOIN :#esoteric < 1359814535 149786 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :and that his was "when (and it _will_ be when) we invent superhuman intelligent ai, if we don't get it _precisely_ right, we are all fucked. < 1359814540 360825 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :" < 1359814573 78157 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :shachaf: not that much < 1359814590 328902 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :elliott: i know i just wanted to quibble < 1359814632 144692 :oonbotti!~oonbotti@91-145-118-87.bb.dnainternet.fi JOIN :#esoteric < 1359814674 315730 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :oerjan: if a quibble falls in the forest and nobody is around to hear it... < 1359814723 470381 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :bah i need Bike like a fish needs... < 1359814733 570774 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :water? < 1359814745 940699 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :
ACTION swats Phantom_Hoover -----###
< 1359814749 222088 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :water? but she made perfect sense! < 1359814757 657551 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :shachaf, "she"? < 1359814760 245027 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :Phantom_Hoover is female now? < 1359814777 343281 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :maybe < 1359814777 568056 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :... < 1359814790 89274 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I don't know? < 1359814792 184703 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :
ACTION swats shachaf -----###
< 1359814831 147278 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Whew. < 1359814860 670547 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :
ACTION recovers from his near-whoosh experience
< 1359815050 678067 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Vorpal may not be so fortunate. < 1359815065 216408 :impomatic!~digital_w@181.253.125.91.dyn.plus.net PRIVMSG #esoteric :
ACTION wonders why JavaScript regular expressions don't support look behind (?<
< 1359815077 190132 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :shachaf: he was traumatized by them years ago < 1359815104 37405 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :shachaf, I'm naturally immune to them < 1359815113 173732 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :shachaf: and is now in denial < 1359815130 798494 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :"shachaf uses whoosh on Vorpal" "It is not effective" < 1359815163 488834 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :immune like a burnt down house is immune to fire < 1359815188 908816 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :
ACTION uses MonadicFold on Vorpal
< 1359815206 298145 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :ouch, that was super effective < 1359815210 437371 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oerjan: elliott is not a fan of my monologues on subtyping. < 1359815219 730363 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :monads are all about effects duh < 1359815256 781397 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :shachaf: he probably thinks they are too invariant < 1359818421 887580 :copumpkin!~copumpkin@unaffiliated/copumpkin QUIT :Ping timeout: 276 seconds < 1359818480 672688 :copumpkin!~copumpkin@unaffiliated/copumpkin JOIN :#esoteric < 1359818723 921049 :sebbu!~sebbu@unaffiliated/sebbu QUIT :Ping timeout: 248 seconds < 1359819212 607581 :RodgerTheGreat!~rodger@71-13-216-83.dhcp.mrqt.mi.charter.com JOIN :#esoteric < 1359820063 401922 :sebbu!~sebbu@83.194.47.37 JOIN :#esoteric < 1359820063 624211 :sebbu!~sebbu@83.194.47.37 QUIT :Changing host < 1359820063 624316 :sebbu!~sebbu@unaffiliated/sebbu JOIN :#esoteric < 1359820637 437695 :Taneb!~nathan@92.23.131.156 JOIN :#esoteric < 1359820691 881207 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :O_o < 1359820704 807926 :RodgerTheGreat!~rodger@71-13-216-83.dhcp.mrqt.mi.charter.com PRIVMSG #esoteric :what's the matter < 1359820741 863865 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :there's a Taneb in the premises < 1359820752 947675 :Taneb!~nathan@92.23.131.156 PRIVMSG #esoteric :It happens occasionally < 1359820762 219782 :RodgerTheGreat!~rodger@71-13-216-83.dhcp.mrqt.mi.charter.com PRIVMSG #esoteric :wow < 1359820833 65401 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :*on < 1359820867 474408 :RodgerTheGreat!~rodger@71-13-216-83.dhcp.mrqt.mi.charter.com PRIVMSG #esoteric :so what's up guys < 1359821005 268096 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :hey Taneb did you fix that problem you had < 1359821017 73043 :Taneb!~nathan@92.23.131.156 PRIVMSG #esoteric :oerjan did < 1359821027 631308 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :good for him < 1359821033 447585 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :
ACTION wonders if Phantom_Hoover is talking about the same problem
< 1359821045 419560 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :i simply assumed Taneb had a problem < 1359821047 271842 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :he normally does < 1359821059 786411 :Taneb!~nathan@92.23.131.156 PRIVMSG #esoteric :Yes, it's a problem I have < 1359821061 24969 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :ah. in that case i guess i did. < 1359821070 125249 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oerjan: What's cosubtyping? < 1359821084 545323 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :shachaf: well it's mplicated < 1359821093 656312 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :some sort of fusion of cosplay and type theory? < 1359821098 5030 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oerjan: We think "a" is a cosubtype of "(a,b)" < 1359821108 936924 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :wat < 1359821111 550755 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Or maybe the other way around. < 1359821131 529154 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oerjan: Well, in a sense "a" is a subtype of "Either a b", right? < 1359821142 938282 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :`addquote oerjan: What's cosubtyping some sort of fusion of cosplay and type theory? < 1359821146 252954 :HackEgo!codu@codu.org PRIVMSG #esoteric :950) oerjan: What's cosubtyping some sort of fusion of cosplay and type theory? < 1359821146 988623 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :oops < 1359821148 351035 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :`revert < 1359821151 207710 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :`addquote oerjan: What's cosubtyping? some sort of fusion of cosplay and type theory? < 1359821151 393550 :HackEgo!codu@codu.org PRIVMSG #esoteric :Done. < 1359821155 147816 :HackEgo!codu@codu.org PRIVMSG #esoteric :950) oerjan: What's cosubtyping? some sort of fusion of cosplay and type theory? < 1359821161 944817 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :right. set theoretically there's an injection, so presumably you'd want something with a surjection for the co- < 1359821170 292046 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :and \(a,b) -> a fits < 1359821189 800319 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Hmm. < 1359821191 504793 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :(or monic/epic in CT language) < 1359821206 368721 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :What does it mean for something to be a cosubtype? < 1359821218 65517 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :and of course Either a b is the direct sum of a and b, while (a,b) is the direct product < 1359821232 589100 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :s/sum/coproduct/, possibly < 1359821266 166736 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Right. < 1359821273 811703 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :A subtype gives you a prism, more or less. < 1359821289 30847 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :So a cosubtype should give you a lens. < 1359821296 560305 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :well there you go then. < 1359821311 142716 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :But what does it mean? < 1359821331 668646 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :If A <: B, you have |A| <= |B|, right? < 1359821375 413013 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :well (a,b) can delegate to a, can't it. maybe there's something OO in there. < 1359821385 67177 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Delegate? < 1359821394 932031 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :or is a field... < 1359821398 756704 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Sure. < 1359821408 468835 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Every cosubtype acts like a field in some sense, I think. < 1359821419 228592 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Just like every subtype acts like a summand < 1359821475 40757 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :and both give Functors, no? < 1359821507 484084 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :or hm < 1359821523 139412 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :shachaf: I think the problem is you're going "aha, subtypes are [prisms] but cosubtypes are [lenses]!" < 1359821530 896993 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :Which doesn't teach you anything about (co)subtyping. < 1359821538 489174 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :elliott: That's my point. < 1359821538 941907 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :It just teaches you about lenses or prisms under a different name. < 1359821548 596800 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I'm trying to figure out a different way of looking at cosubtypes. < 1359821565 570839 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :shachaf: I think T and _|_ are worth thinking about there? < 1359821575 764022 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Probably < 1359821578 173210 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :And "f a"/"f b" given "a b" < 1359821587 802368 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :Since you could deduce subtyping based on co/contavariance for subtyping of a,b there. < 1359821625 122295 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :So for all x, ⊥ <: x, and x <: ⊤ < 1359821665 612121 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :In lens terms you have a Prism x _|_ and a Prism T x < 1359821667 783666 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :if a is a subtype of b then (a,c) is a subtype of (b,c), Either a c is a subtype of Either b c, and (b -> c) is a subtype of (a -> c). what are the similar rules for cosubtypes? < 1359821678 604104 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :But you also have a Lens _|_ x and a Lens x T < 1359821713 669333 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :What's our symbol for cosubtyping? < 1359821720 991173 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I'll just use ;> < 1359821746 814797 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :If you have A ;> B and B ;> C, then you have A ;> C < 1359821797 786019 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :If you have A ;> B then (A,X) ;> (B,X)? Is that valid? < 1359821810 784536 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :elliott: That's alongside l id, isn't it? < 1359821816 631944 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :For lenses. < 1359821861 771054 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :I guess? < 1359821863 438817 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :Sure, yes. < 1359821869 163378 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :So that's valid. < 1359821876 480047 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Do we have alongside for Either? < 1359821902 747814 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :Maybe? < 1359821906 918266 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :No, Either. < 1359821930 409475 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :If you have A ;> B then do you have Either A C ;> Either B C? < 1359821932 493677 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I don't think so. < 1359821962 971135 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :elliott: Hah, that operation looks a lot like Choice. < 1359821970 476619 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :Sure. < 1359821973 108683 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :Because Prism = Choice etc. < 1359821976 609914 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Right. < 1359821990 421713 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :Lens' a b -> Lens' (Either a c) (Either b c)? < 1359821995 498935 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I don't think you can do that. < 1359822000 860189 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :It'd be a traversal. < 1359822005 95025 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :Wait. < 1359822007 887486 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :No, I think you can do that? < 1359822032 412779 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :Extract the "b" out of the "a" for viewing, and leave "c"s untouched. < 1359822043 339267 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :Then when you put a Left back in, put it back into the original "a". < 1359822050 109906 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :What if you have a Right? < 1359822055 685219 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :If you put back a different branch, then change the branch entirely? < 1359822059 428618 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :Does that follow the laws? < 1359822066 112170 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :Oh, never mind. < 1359822066 297982 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :You can't change the branch. < 1359822068 99156 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :You don't have an a < 1359822098 195073 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :shachaf: What about Lens' (EIther a c) (Either b c) -> Lens' a b? < 1359822102 406766 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :It's, like, contravariant. < 1359822126 285992 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :What about functions? < 1359822139 104690 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :I gave you a function rule already! < 1359822148 493421 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :a ;> b => (a -> r) <: (b -> r) < 1359822155 186176 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oerjan says that if A <: B, then (B -> C) <: (a -> C) < 1359822162 113213 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Do we have that prism? < 1359822176 660974 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :Yes < 1359822193 607323 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :It's in lens. < 1359822201 182863 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :What's it called? < 1359822206 71510 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :It's in .Prism < 1359822216 945196 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :Or .Lens < 1359822225 305482 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Oh, we have < 1359822225 976748 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :inside :: ALens s t a b -> Lens (e -> s) (e -> t) (e -> a) (e -> b) < 1359822227 471147 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :outside :: APrism s t a b -> Lens (t -> r) (s -> r) (b -> r) (a -> r) < 1359822229 285585 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :Right < 1359822259 423922 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :So you get a subtype either way. < 1359822265 800282 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Er, a supertype? < 1359822274 596873 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Wait, this thing turns either a lens or a prism into a lens. < 1359822281 467201 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Your rule turns a lens into a pris. < 1359822288 519037 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :
ACTION is confused.
< 1359822296 317278 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :08:22 a ;> b => (a -> r) <: (b -> r) < 1359822305 60100 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :That's like a function that turns a lens into a prism. < 1359822309 470092 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :16:22:35 oerjan says that if A <: B, then (B -> C) <: (a -> C) < 1359822323 850455 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :? < 1359822325 256038 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :Contravariant f => Prism' a b -> Prism' (f b) (f a) < 1359822358 477998 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :
ACTION is too tired.
< 1359822376 222590 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :You can't do that, can you? < 1359822405 580219 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :You need f b -> Either (f b) (f a) < 1359822409 843454 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Which is like costrength. < 1359822424 712857 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :(b -> r) -> Either (b -> r) (a -> r)? < 1359822428 399413 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :That makes no sense. < 1359822429 721294 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :Is oerjan lying? < 1359822448 278698 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :I think shachaf is lying? < 1359822455 171748 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Might be. < 1359822455 449930 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :Do you need that? < 1359822464 323832 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Need what? < 1359822471 96633 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :...i just showed some ordinary variance rules for ordinary subtyping... < 1359822475 582274 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :You said 08:25 Contravariant f => Prism' a b -> Prism' (f b) (f a) < 1359822486 388037 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I'm not sure where that comes from. < 1359822544 80393 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :08:14 if a is a subtype of b then (a,c) is a subtype of (b,c), Either a c is a subtype of Either b c, and (b -> c) is a subtype of (a -> c). what are the similar rules for cosubtypes? < 1359822587 436717 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Prism b a -> Prism (Either b c) (Either a c) < 1359822614 381155 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :elliott: Oh, that's just composition. < 1359822620 871222 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :(_Left . p) < 1359822670 57816 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :oerjan: I CAN'T TRUST ANYONE < 1359822686 816428 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Prism b a -> Prism (a -> c) (b -> c) < 1359822690 508874 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Is that true? < 1359822718 924472 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :elliott: i should point out i have not recently made claims about either prisms (which i basically don't really know) or lenses. < 1359822723 394754 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :One half is (a -> b) -> (b -> c) -> a -> c < 1359822728 544815 :ogrom!~del@143.122.191.90.dyn.estpak.ee QUIT :Quit: Left < 1359822732 942251 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oerjan: We're extrapolating here! < 1359822758 471332 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :(b -> Maybe a) -> (a -> c) -> Maybe (b -> c) < 1359822761 359071 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :@djinn (b -> Maybe a) -> (a -> c) -> Maybe (b -> c) < 1359822762 41976 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :f _ _ = Nothing < 1359822764 932823 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :thank's < 1359822773 692355 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Anyway that's obviously impossible. < 1359822807 677877 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oerjan: Do you know anything about subtyping with < instead of <=? < 1359822814 40189 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :perhaps there's something going on similar to the distinction between summand and submodule in module categories. in which case maybe i should mention the definition of summand. although there's no distinction in the category Set, maybe there is one in Hask. < 1359822817 180632 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :oerjan: I should point out I'm really tired and not serious about any of this. < 1359822825 111792 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :elliott: O KAY < 1359822847 615034 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I think we might get farther if we use < < 1359822862 269197 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :so you ban a -> a. < 1359822873 865828 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Right, it's irreflexive. < 1359822876 672861 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :if i could just _remember_ the definition of summand. < 1359822908 497893 :epicmonkey!~epicmonke@188.134.41.176 QUIT :Ping timeout: 245 seconds < 1359822927 209948 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Hmm. < 1359822938 248703 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :maybe it requires kernels, in which case it can probably not be transfered to non-abelian categories < 1359822956 613865 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :just use Linux < 1359822990 630278 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :So what does <: mean? It doesn't mean <=, right? < 1359823002 86991 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :a <= b ----> c^b <= c^a -- doesn't seem right < 1359823011 437151 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :oh wait duh in module categories product = coproduct. bah. < 1359823120 750062 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Let's say Foo = {A,B}, Bar = {A,B,C} < 1359823121 375835 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :and that's why they have summands. hm i guess a module summand is something which is in some sense _both_ a subobject and a cosubobject. < 1359823131 38577 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :So Foo <: Bar < 1359823132 665122 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :in a compatible way. < 1359823149 552202 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :(Bar -> X) <: (Foo -> X)? < 1359823235 608273 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :so to go back to my basic idea, what's the relation of a -> c to (a,b) -> c, if any. < 1359823248 928237 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :oh hm < 1359823271 243906 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :(a,b) -> c is of course isomorphic to b -> (a -> c) < 1359823280 308963 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I think my intuition with cardinality can't be right. < 1359823287 800193 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :although that's specific to products < 1359823308 688376 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :shachaf: cardinality is not subtyping hth < 1359823310 404383 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oerjan: I think all cosubtypes would be product-like. < 1359823319 900001 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oerjan: Sure, but I thought A <: B ----> |A| <= |B| < 1359823323 326165 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I guess that's not true. < 1359823358 813114 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :shachaf: it's not true for subtypes either, i think < 1359823374 76485 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :or wait, <: is subtype < 1359823377 464230 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Right.. < 1359823420 608823 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :well i think you must have <=, but it can be == even if not identical types < 1359823443 388093 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Wait, you must have <=? < 1359823454 216023 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :or wait hm < 1359823462 839245 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Foo <: Bar ----> (Bar -> X) <: (Foo -> X), right? < 1359823473 597174 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :oh ... now i see. < 1359823492 597011 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :no, you must not. < 1359823508 209941 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :So it's something more subtle than <= of the cardinality. :-( < 1359823515 130475 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :What is it? < 1359823525 164716 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :simply, even if Foo is a direct _subset_ of Bar, (Bar -> X) is not a direct subset of (Foo -> X). < 1359823539 428506 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :it's just something which can be _used_ as a (Foo -> X). < 1359823548 326776 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Sure. < 1359823554 905507 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Can you write a prism for it? < 1359823583 789522 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :but two different (Bar -> X) can correspond to the same (Foo -> X), so subtyping is not an injection, and therefore need not increase cardinality. < 1359823651 419416 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Prism s t a b = (b -> t, s -> Either t a) < 1359823661 952278 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Prism' s a = (a -> s, s -> Maybe a) < 1359823673 217219 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :ic < 1359823686 175459 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i think the s -> Maybe a is going to hit the halting problem. < 1359823690 971366 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Yes. < 1359823707 795455 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :elliott: I knew it wouldn't work! < 1359824150 866083 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oerjan: Update: I mixed everything up. < 1359824163 26840 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Foo = {A,B}, Bar = {A,B,C} < 1359824168 791710 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Bar <: Foo, not the other way around. < 1359824181 584774 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :oh wait hm it won't hit the halting problem if you have a prism to start with < 1359824199 511576 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric ::k Prism' < 1359824201 76318 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :Top level: < 1359824201 262248 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : Type synonym Prism' should have 2 arguments, but has been given none < 1359824201 262443 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : In a type in a GHCi command: Prism' < 1359824215 287651 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :sheesh < 1359824224 447846 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :VERY USEFUL GHC < 1359824230 777765 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :It's a type synonym. < 1359824263 807478 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :But it would just be * -> * -> * < 1359824301 296727 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric ::k Prism' Int Bool < 1359824303 124711 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :* < 1359824348 539674 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :something tells me your definitions above are not the ones actually used < 1359824353 608208 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :in lens < 1359824383 255876 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :type Prism s t a b = (Choice p, Applicative f) => p a (f b) -> p s (f t) < 1359824390 488363 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :CLOSE ENOUGH < 1359824758 233407 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :tr :: Prism Bar Foo -> Prism (Foo -> X) (Bar -> X); tr (f2b,b2Mf) = (\b2x -> b2x . f2b, \f2x -> Just $ \b -> ...nah we can only get another Maybe in here, and no way to pull it outside the $ < 1359824781 17577 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Right. < 1359824784 751219 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :You need a sort of costrength. < 1359824786 683141 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Or something. < 1359824801 420808 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :ok later -> < 1359824805 912032 :oerjan!oerjan@sprocket.nvg.ntnu.no QUIT :Quit: leaving < 1359824884 574218 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :are there any good co- jokes left i wonder < 1359825545 246088 :Bike!~Glossina@63-229-134-7.ptld.qwest.net JOIN :#esoteric < 1359826785 187525 :tswett!~tswett@23.23.86.149 PRIVMSG #esoteric :The energy stored in a spring is proportional to the square of its loading force, right? < 1359827017 930968 :Bike!~Glossina@63-229-134-7.ptld.qwest.net QUIT :Quit: Lost terminal < 1359827062 224000 :Bike!~Glossina@63-229-134-7.ptld.qwest.net JOIN :#esoteric < 1359827082 571818 :ogrom!~del@143.122.191.90.dyn.estpak.ee JOIN :#esoteric < 1359827650 349052 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :tswett, ye...s < 1359827671 712949 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :yes < 1359828121 955636 :DHeadshot!~DH____@unaffiliated/dh----/x-6288474 QUIT :Remote host closed the connection < 1359829880 65673 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :So: Try to do this Facebook thing when I'm too tired to think properly, or write a blog post that could in theory make an impression on employers < 1359830073 601522 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :or sleep < 1359830087 883229 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :write a sleep deprived nonsensical blog post that could in theory make an impression on employers < 1359830092 234587 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :also what is facebook thing < 1359830265 713879 :Bike!~Glossina@63-229-134-7.ptld.qwest.net PRIVMSG #esoteric :i'm imagining an employer hiring whoever first helps them with farmville < 1359830266 230816 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :Bike: You have 1 new message. '/msg lambdabot @messages' to read it. < 1359830339 313310 :Bike!~Glossina@63-229-134-7.ptld.qwest.net PRIVMSG #esoteric :@ask shachaf evening < 1359830339 628195 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :Consider it noted. < 1359830364 637802 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :@tell Bike thank'se < 1359830364 972479 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :Consider it noted. < 1359830372 242382 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :@clear-messages < 1359830372 721356 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :Messages cleared. < 1359830389 262280 :Bike!~Glossina@63-229-134-7.ptld.qwest.net PRIVMSG #esoteric :@clear-messages < 1359830389 487922 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :Messages cleared. < 1359830454 884607 :ogrom!~del@143.122.191.90.dyn.estpak.ee PRIVMSG #esoteric :@clear-messages < 1359830455 328019 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :Messages cleared. < 1359830710 842440 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :kmc, Facebook Hacker Cup < 1359830780 585316 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :is this more of an esr hacker cup or a pg hacker cup tho < 1359830786 900657 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :3important distinction < 1359830927 516136 :Bike!~Glossina@63-229-134-7.ptld.qwest.net PRIVMSG #esoteric :fuck that guy < 1359831522 703284 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net JOIN :#esoteric < 1359831903 740421 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :Bike, which one? < 1359832106 273746 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :fb brogrammer cup < 1359832254 187133 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 QUIT :Ping timeout: 264 seconds < 1359832321 481268 :Nisstyre-laptop!~yours@oftn/member/Nisstyre JOIN :#esoteric < 1359832653 787600 :Bike!~Glossina@63-229-134-7.ptld.qwest.net PRIVMSG #esoteric :esr, haven't you heard about the new pbuh < 1359832658 833625 :Bike!~Glossina@63-229-134-7.ptld.qwest.net PRIVMSG #esoteric :oh he left. < 1359832905 565607 :hublao!~hublao@103.245.104.121 JOIN :#esoteric < 1359832946 771491 :hublao!~hublao@103.245.104.121 PRIVMSG #esoteric :Hello,I was looking at brainfuck language and I've minor confusion about ']' instruction < 1359833017 979458 :hublao!~hublao@103.245.104.121 PRIVMSG #esoteric :Correct me if I am wrong: If ']' is encountered, jump to the matching '[' and check if the value at that array is 0.If it is 0, jump to the instruction after ']' else go to next instruction after '['. < 1359833113 57060 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :There are a few equivalent ways to describe what [ and ] do. But you need to incorporate some sort of check into the action that happens when you encounter [ < 1359833132 886146 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :If you hit [ and the current cell is 0, it does need to skip past the matching ] somehow < 1359833238 112680 :hublao!~hublao@103.245.104.121 PRIVMSG #esoteric :yeah true < 1359833253 193357 :hublao!~hublao@103.245.104.121 PRIVMSG #esoteric :But what I said is also true , right Sgeo ? < 1359833307 598872 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :Looks good, I think < 1359833308 917727 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :the fuck just happened. I switched from a the xfce terminal emulator to xchat, and a bit of the terminal ended up overlaying the bottom fifth of the window. Stretched. Like you had stretched a texture over there. < 1359833318 749666 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :so bizarre < 1359833328 581902 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :Except I'd be more inclined to leave the checking for 0 bit as part of what happens due to [ < 1359833332 140593 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 JOIN :#esoteric < 1359833358 26532 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :I guess I'll blame the closed source AMD graphics drivers < 1359833477 394909 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :hublao, you could describe [ ... ] as while(*dataPtr) { ... } pretty much (in C) < 1359833504 466121 :hublao!~hublao@103.245.104.121 PRIVMSG #esoteric :True Sgeo but someone might not decrement the location associated with '[', hence I asked. < 1359833518 310418 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :iirc that is what my compiler would generate when it couldn't figure out any way to optimize the loop < 1359833527 921935 :hublao!~hublao@103.245.104.121 PRIVMSG #esoteric :Vorpal, true.I am trying to write a sinple interpreter for it but I am finding a way to implement nested [ ] < 1359833536 208363 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :hublao, locations in source code don't correspond to locations on tape < 1359833548 925310 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :hublao, you could do that by recursion surely < 1359833558 436561 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :hublao, I assume you parse it into a tree structure? < 1359833582 248932 :hublao!~hublao@103.245.104.121 PRIVMSG #esoteric :not really Vorpal. Since I am new to it, I've used a stack and simple switch statement < 1359833597 808219 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :like (instr,data,ptrNext), and with a "down"-link to the content of the loop < 1359833612 366821 :Bike!~Glossina@63-229-134-7.ptld.qwest.net PRIVMSG #esoteric :hublao: [] works with the current tape pointer, it's not saved. >+>+>+[-<] works < 1359833615 266406 :hublao!~hublao@103.245.104.121 PRIVMSG #esoteric :wait a sec, I'll show you with what I've come up with < 1359833643 971841 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :hublao, well I only ever wrote compilers for brainfuck iirc, but what I did was simply parse it into a linked list, with a pointer to another linked list of the content of the loop < 1359833672 112860 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :brainfuck may be one of the few languages where it's easier to write a compiler (to C, say) than an interpreter < 1359833673 990843 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :then you could run it by simple recursion < 1359833681 511385 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :(parsing is already really easy with recursion) < 1359833690 215076 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :bbl, need to leave for half an hour or so, will be back later. < 1359833702 3592 :Bike!~Glossina@63-229-134-7.ptld.qwest.net PRIVMSG #esoteric :well it's not like having [] in interpretation search for their match is all that hard < 1359833823 812296 :hublao!~hublao@103.245.104.121 PRIVMSG #esoteric :http://pastie.org/private/hhomcydflvr4fnkd3th4mq < 1359833835 232218 :hublao!~hublao@103.245.104.121 PRIVMSG #esoteric :Would like to have suggestions about how I should go next < 1359833973 665243 :Bike!~Glossina@63-229-134-7.ptld.qwest.net PRIVMSG #esoteric :well you can search ahead in the [ case easily < 1359834033 59290 :hublao!~hublao@103.245.104.121 PRIVMSG #esoteric :um I don't get it Bike . Search ahead what? another [ ? < 1359834034 475883 :Bike!~Glossina@63-229-134-7.ptld.qwest.net PRIVMSG #esoteric :int depth = 1; while (depth) { if buf[i] == '[' ++depth; else if buf[i] == ']' --depth; ++i; } or so < 1359834040 993389 :Bike!~Glossina@63-229-134-7.ptld.qwest.net PRIVMSG #esoteric :search for where to jump to < 1359834106 108904 :hublao!~hublao@103.245.104.121 PRIVMSG #esoteric :But there are only 2 possible places to jump right ? If value is 0,jump to instruction after ']' which i=pop(&stack)+1 does < 1359834124 581754 :hublao!~hublao@103.245.104.121 PRIVMSG #esoteric :else , I just have to go to next instruction , which is i++ < 1359834139 976480 :Bike!~Glossina@63-229-134-7.ptld.qwest.net PRIVMSG #esoteric :I thought the stack kept track of where [ is, not ]. < 1359834151 865430 :Bike!~Glossina@63-229-134-7.ptld.qwest.net PRIVMSG #esoteric :I'm looking at the "// have to add stuff here" bit. < 1359834174 847186 :hublao!~hublao@103.245.104.121 PRIVMSG #esoteric :oh sorry, my bad < 1359834181 286021 :hublao!~hublao@103.245.104.121 PRIVMSG #esoteric :I keep track of only [ Bike < 1359834197 465350 :Bike!~Glossina@63-229-134-7.ptld.qwest.net PRIVMSG #esoteric :Right, so when you get to a [ to skip you have to look ahead. < 1359834240 651922 :hublao!~hublao@103.245.104.121 PRIVMSG #esoteric :ah gotcha! < 1359834253 382695 :hublao!~hublao@103.245.104.121 PRIVMSG #esoteric :and you might encounter another '[' so you've to save that too? < 1359834275 274584 :Bike!~Glossina@63-229-134-7.ptld.qwest.net PRIVMSG #esoteric :Well, if you have [...[...]...] you have to skip to the second ] and not the first. < 1359834286 810842 :hublao!~hublao@103.245.104.121 PRIVMSG #esoteric :yep < 1359834637 464008 :hublao!~hublao@103.245.104.121 PRIVMSG #esoteric :Bike, do you think it'd be easier/better if I use 2 stacks to save [ and ] location info ? < 1359834767 701554 :Bike!~Glossina@63-229-134-7.ptld.qwest.net PRIVMSG #esoteric :precomputing where everything jumps to would be fastest, i guess < 1359835267 363635 :hublao!~hublao@103.245.104.121 PRIVMSG #esoteric :But stack wouldn't be appropriate data structure if I precompute the location Bike < 1359835337 458710 :Bike!~Glossina@63-229-134-7.ptld.qwest.net PRIVMSG #esoteric :no, it wouldn't be. < 1359835900 460028 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :back < 1359835968 981912 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :hublao, I wouldn't run directly on a text string myself, rather I would parse and apply some basic optimisation (i.e. turn +++ into "add 3", or >> into "move 2 right") < 1359835979 559934 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :and then run the linked list that resulted < 1359836014 912393 :hublao!~hublao@103.245.104.121 PRIVMSG #esoteric :I am making pretty basic version at the moment Vorpal . Will keep your suggestions in mind! < 1359836017 11333 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :hublao, this also easily allows skipping a loop that is never entered < 1359836032 91176 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :just do not follow the pointer to the loop-list < 1359836039 402788 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :but go to the instruction after the loop < 1359836081 881592 :zzo38!~zzo38@24-207-49-17.eastlink.ca JOIN :#esoteric < 1359836122 557717 :hublao!~hublao@103.245.104.121 PRIVMSG #esoteric :Um.Now I am kinda confused.Did you look at my code Vorpal ? < 1359836132 977579 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :hublao, not yet < 1359836133 868358 :Bike!~Glossina@63-229-134-7.ptld.qwest.net PRIVMSG #esoteric :hm, looks like my dumb one just searched for the [] every time, and then i skipped straight from that to a compiler < 1359836139 747420 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :hublao, I just suggested a general way < 1359836144 716808 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :then of course you can apply more advanced optimisations, such as observing that [-] is a "set to 0", thus you now know the value of that cell and can turn any further use of that cell in the current balanced block (that is, a section of code with no loops that move the pointer between the start and the end) < 1359836145 301653 :hublao!~hublao@103.245.104.121 PRIVMSG #esoteric :okay < 1359836158 826060 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :that is, a loop like [>+<] is balanced, but [>+>] is not < 1359836164 743743 :Bike!~Glossina@63-229-134-7.ptld.qwest.net PRIVMSG #esoteric :hm itrekkie isn't here, that's right < 1359836168 739781 :hublao!~hublao@103.245.104.121 PRIVMSG #esoteric :Vorpal, all that will possibly in v2.0 ;p let me get a basic one working yet! < 1359836174 371017 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :the latter really harms optimising, since you lose track of where you are < 1359836183 21575 :Bike!~Glossina@63-229-134-7.ptld.qwest.net PRIVMSG #esoteric :dude in ##asm's been learning the ins and outs of x86 from brainfuck of all things < 1359836186 210188 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :hublao, my main interest in brainfuck is optimising :) < 1359836217 74027 :hublao!~hublao@103.245.104.121 PRIVMSG #esoteric :nice Vorpal ! But since this is my first attempt , my main interest is making a simple interpreter ;p < 1359836285 132599 :pikhq!~pikhq@75-163-170-156.clsp.qwest.net PRIVMSG #esoteric :Making a very naive interpreter will give you fairly slow results. But, then, who cares. It's not like Brainfuck needs to be fast. < 1359836310 832298 :hublao!~hublao@103.245.104.121 PRIVMSG #esoteric :hmm pikhq .Once I get naive one working , I can improve upon it. < 1359836315 756288 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :hublao, fair enough < 1359836358 999752 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :hublao, anyway writing a simple recursive parser for brainfuck that puts it into a linked list, then writing a recursive execution function working on that list is probably the easiest way to run it IMO < 1359836382 88747 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :and it makes it easy to apply optimisation further down the line < 1359836404 273378 :oerjan!oerjan@sprocket.nvg.ntnu.no JOIN :#esoteric < 1359836417 37627 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :note to self: actually rewrite the wiki brainfuck spec one day < 1359836426 301797 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :Phantom_Hoover, oh? What is wrong with it? < 1359836441 938724 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :no concept of syntax < 1359836442 652227 :hublao!~hublao@103.245.104.121 PRIVMSG #esoteric :that sounds kinda complicated to me atm Vorpal . < 1359836451 683606 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :hm okay < 1359836457 930949 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :hublao, which bit of it? < 1359836469 650331 :hublao!~hublao@103.245.104.121 PRIVMSG #esoteric :Vorpal, whole recursion thing < 1359836477 911818 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :uh < 1359836485 116690 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :hublao, what bit of recursion is an issue? < 1359836485 385262 :hublao!~hublao@103.245.104.121 PRIVMSG #esoteric :I am focussing on fixing the code I've written atm < 1359836598 25139 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :hublao, when you find a [ you do something like currentNode.type = LOOP; currentNode->codeInLoop = myParser(myFILE, currentLoopDepth+1); You use the loop depth variable to detect if a [ is missing a matching ] or vice verse. < 1359836633 256080 :hublao!~hublao@103.245.104.121 PRIVMSG #esoteric :hmm , I kinda get it < 1359836637 524822 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :hublao, then when you detect a ] you check that the loop depth is not 0 (in that case you have more ] than [) and return the code linked list you generated so far < 1359836674 916497 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :hublao, and when you get end-of-file you check that your loop depth *is* 0 (otherwise you have more [ than ]) and return your linked list < 1359836688 751862 :hublao!~hublao@103.245.104.121 PRIVMSG #esoteric :I see < 1359836791 445801 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :hublao, as a result you have a linked list with structs along the lines of struct codeNode { InstructionType type; codeNode* next; codeNode* codeInLoop; } (the last member being a null pointer for non-loops) < 1359836845 618451 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :hublao, of course from there you can easily extend it, like adding a "count" field, for add/subtract so that you can merge +++ into "add 3" as I mentioned above. And so on. < 1359836913 471810 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :hublao, this representation is easy to do basic optimisation on (you might want something different if you go for really advanced stuff), easy to generate code from, if you want to compile. And easy to interpret. < 1359837012 77553 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :hublao, when you find a loop, you just do something like: switch (curNode->type) { ... case LOOP: while (*dataPtr) { interpret(curNode->codeInLoop); } break; ... } < 1359837052 487554 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :and after the switch statement you have curNode = curNode->next; at the end of the outer loop < 1359837111 38621 :hublao!~hublao@103.245.104.121 PRIVMSG #esoteric :Okay Vorpal .Thanks for all the info.Also check PM. < 1359837361 756678 :ogrom!~del@143.122.191.90.dyn.estpak.ee QUIT :Quit: Left < 1359839483 664184 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :
ACTION decides to make a rough outline of what his blog post will be
< 1359839535 477926 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :a rectangle? < 1359840669 387865 :DHeadshot!~DH____@unaffiliated/dh----/x-6288474 JOIN :#esoteric < 1359841600 72754 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :rectangle? damn near killtangle! < 1359841651 469117 :azaq23!~derivecto@unaffiliated/azaq23 JOIN :#esoteric < 1359841659 487866 :azaq23!~derivecto@unaffiliated/azaq23 QUIT :Max SendQ exceeded < 1359841665 544622 :hublao!~hublao@103.245.104.121 QUIT :Quit: Leaving < 1359841834 824356 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :`quote metaturing < 1359841836 644260 :HackEgo!codu@codu.org PRIVMSG #esoteric :No output. < 1359841840 913135 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric ::O < 1359841876 767930 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net JOIN :#esoteric < 1359841903 188905 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`run echo "This wisdom entry was crushed by a falling anvil." >wisdom/metaturing < 1359841924 89617 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :was that in wisdom then? < 1359841925 785994 :HackEgo!codu@codu.org PRIVMSG #esoteric :No output. < 1359841937 521694 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :`? metaturing < 1359841939 454033 :HackEgo!codu@codu.org PRIVMSG #esoteric :This wisdom entry was crushed by a falling anvil. < 1359842041 632369 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :it does not appear to have previously existed. < 1359842053 380980 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :assuming i understand http://codu.org/projects/hackbot/fshg/index.cgi/file/23c726e07478/wisdom/metaturing < 1359842096 399150 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :wtf < 1359842103 636064 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :did it get deleted in a quote purge then < 1359842132 863127 :impomatic!~digital_w@181.253.125.91.dyn.plus.net QUIT :Ping timeout: 248 seconds < 1359842197 781047 :Applejacques!codu@codu.org PRIVMSG #esoteric :`run hg export 0:tip | grep -i metaturing < 1359842228 863889 :HackEgo!codu@codu.org PRIVMSG #esoteric :No output. < 1359842236 719542 :Applejacques!codu@codu.org PRIVMSG #esoteric :Well. < 1359842238 610836 :Applejacques!codu@codu.org PRIVMSG #esoteric :That didn't work. < 1359842261 692056 :Applejacques!codu@codu.org PRIVMSG #esoteric :`run hg export 0:tip | head < 1359842264 423688 :HackEgo!codu@codu.org PRIVMSG #esoteric :​# HG changeset patch \ # User HackBot \ # Date 1329421352 0 \ # Node ID e037173e0012bed0fece931395ef4a22f213632a \ # Parent 0000000000000000000000000000000000000000 \ Initial import. \ \ diff -r 000000000000 -r e037173e0012 .hg_archival.txt \ --- /dev/null Thu Jan 01 00:00:00 1970 +0000 \ +++ b/.hg_archival.txt Thu Feb 16 19:42:32 2012 +0000 < 1359842273 320249 :Applejacques!codu@codu.org PRIVMSG #esoteric :No idea why that didn't work. < 1359842417 757357 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :Applejacques: Gregor has occasionally wiped the repository history < 1359842441 136695 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :as you might conceivably know < 1359842464 327888 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :
ACTION should learn to recognize these weird nicks some day
< 1359842505 927665 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :and also to suspect foul when Gregor doesn't tab complete. < 1359842715 545704 :Applejacques!codu@codu.org PRIVMSG #esoteric :lul < 1359842732 661116 :Applejacques!codu@codu.org PRIVMSG #esoteric :I haven't wiped the history since transactions came in. < 1359842735 42325 :Applejacques!codu@codu.org PRIVMSG #esoteric :Not necessary any more. < 1359842738 436826 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :OKAY < 1359842738 880173 :Applejacques!codu@codu.org PRIVMSG #esoteric :`run du -h .hg/ < 1359842741 614909 :HackEgo!codu@codu.org PRIVMSG #esoteric :7.0M .hg/store/data/bin \ 2.1M .hg/store/data/lib \ 37M .hg/store/data/paste \ 12M .hg/store/data/share/_word_data \ 20K .hg/store/data/share/lua/5.2/luarocks/build \ 28K .hg/store/data/share/lua/5.2/luarocks/fetch \ 8.0K .hg/store/data/share/lua/5.2/luarocks/fs/unix \ 8.0K .hg/store/data/share/lua/5.2/luarocks/fs/win32 \ 36K .hg/store/data/share/l < 1359842745 699365 :Applejacques!codu@codu.org PRIVMSG #esoteric :>_> < 1359842749 713619 :Applejacques!codu@codu.org PRIVMSG #esoteric :`run du -hc .hg/ < 1359842751 555301 :HackEgo!codu@codu.org PRIVMSG #esoteric :7.0M .hg/store/data/bin \ 2.1M .hg/store/data/lib \ 37M .hg/store/data/paste \ 12M .hg/store/data/share/_word_data \ 20K .hg/store/data/share/lua/5.2/luarocks/build \ 28K .hg/store/data/share/lua/5.2/luarocks/fetch \ 8.0K .hg/store/data/share/lua/5.2/luarocks/fs/unix \ 8.0K .hg/store/data/share/lua/5.2/luarocks/fs/win32 \ 36K .hg/store/data/share/l < 1359842754 204256 :Applejacques!codu@codu.org PRIVMSG #esoteric :>_< < 1359842756 236581 :Applejacques!codu@codu.org PRIVMSG #esoteric :`run du -hs .hg/ < 1359842759 265439 :HackEgo!codu@codu.org PRIVMSG #esoteric :147M .hg/ < 1359842841 964667 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`run ls -ld .hg < 1359842844 271512 :HackEgo!codu@codu.org PRIVMSG #esoteric :drwxr-xr-x 3 5000 5000 4096 Feb 2 21:52 .hg < 1359842873 428438 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :should that really be writable from the sandbox? < 1359842880 93300 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :or is it just a copy < 1359842896 428935 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :(and if so, isn't it expensive to make a copy each time) < 1359842978 100149 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :or wait hm < 1359842984 851909 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`run whoami < 1359842989 755303 :HackEgo!codu@codu.org PRIVMSG #esoteric :whoami: cannot find name for user ID 5000 < 1359842998 119405 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :yeah it is the same user < 1359843036 597217 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :Applejacques: couldn't someone mess up the repository by modifying .hg ? < 1359843044 58123 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`ls -l .hg < 1359843045 701408 :HackEgo!codu@codu.org PRIVMSG #esoteric :​/bin/ls: invalid option -- ' ' \ Try `/bin/ls --help' for more information. \ /bin/ls: invalid option -- ' ' \ Try `/bin/ls --help' for more information. < 1359843049 136560 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`run ls -l .hg < 1359843050 827439 :HackEgo!codu@codu.org PRIVMSG #esoteric :total 308 \ -rw-r--r-- 1 5000 5000 57 Feb 16 2012 00changelog.i \ -rw-r--r-- 1 5000 5000 8 Feb 2 21:52 branch \ -rw-r--r-- 1 5000 5000 95 Feb 2 21:51 branchheads.cache \ -rw-r--r-- 1 5000 5000 134592 Feb 2 21:52 dirstate \ -rw-r--r-- 1 5000 5000 84 Feb 2 21:52 last-message.txt \ -rw-r--r-- 1 5000 5000 23 Feb 16 2012 requi < 1359843098 126625 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :hm oh < 1359843136 982183 :Applejacques!codu@codu.org PRIVMSG #esoteric :`run touch .hg/HURRHURR < 1359843138 470016 :HackEgo!codu@codu.org PRIVMSG #esoteric :touch: cannot touch `.hg/HURRHURR': Read-only file system < 1359843144 995976 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :EEK < 1359843150 68023 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :OKAY THEN < 1359843758 679730 :DHeadshot!~DH____@unaffiliated/dh----/x-6288474 QUIT :Read error: Connection reset by peer < 1359843779 474159 :DHeadshot!~DH____@unaffiliated/dh----/x-6288474 JOIN :#esoteric < 1359844370 207673 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`fetch http://zzo38computer.org/esoteric/Arc_Koen/fueue.c < 1359844373 348342 :HackEgo!codu@codu.org PRIVMSG #esoteric :2013-02-02 22:32:52 URL:http://zzo38computer.org/esoteric/Arc_Koen/fueue.c [16242/16242] -> "fueue.c" [1] < 1359844381 887870 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`gcc fueue.c < 1359844395 343658 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :sorry I did not ask for zzo38 to update it < 1359844400 14145 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :yet < 1359844405 358451 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :hm... < 1359844405 653908 :HackEgo!codu@codu.org PRIVMSG #esoteric :No output. < 1359844406 880848 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :hey zzo38 are you busy at the moment? < 1359844417 191099 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :Arc_Koen: I can update it if you have the thing to update. < 1359844423 151453 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :cool < 1359844526 791129 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :hmm I was looking for your emaila ddress but then I received a text message from an unknown number with not very nice things included < 1359844542 849097 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :I don't have email < 1359844551 920834 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :well I don't have gopher! < 1359844580 362581 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :You don't need to use gopher you can use the IRC to send it to me. < 1359844593 995291 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`run mv a.out bin/fueue < 1359844597 948827 :HackEgo!codu@codu.org PRIVMSG #esoteric :No output. < 1359844626 436049 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`fueue 72 101 108 108 111 44 32 119 111 114 108 100 33 10 H < 1359844630 472231 :HackEgo!codu@codu.org PRIVMSG #esoteric :Hello, world! < 1359844672 251985 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`fueue 48 ~!~)): [[48 [)):] [~!~)):] ~~) !][49 [~!~)):] [)):] )~]] < 1359844673 977953 :HackEgo!codu@codu.org PRIVMSG #esoteric :01101001100101101001011001101001100101100110100101101001100101101001011001101001011010011001011001101001100101101001011001101001100101100110100101101001100101100110100110010110100101100110100101101001100101101001011001101001100101100110100101101001100101101001011001101001011010011001011001101001100101101001011001101001011010011001011010010110011010 < 1359844723 964682 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`ls interp < 1359844726 800321 :HackEgo!codu@codu.org PRIVMSG #esoteric :​/bin/ls: cannot access interp: No such file or directory \ /bin/ls: cannot access interp: No such file or directory < 1359844730 35827 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`ls < 1359844731 685941 :HackEgo!codu@codu.org PRIVMSG #esoteric :​= 0 \ bin \ canary \ dbg.out \ egobot.tar.xz \ etc \ factor \ factor-linux-x86-64-0.95.tar.gz \ foo \ foo.err \ foo.out \ fueue.c \ ibin \ interps \ karma \ lib \ paste \ quines \ quotes \ quotese \ run~ \ share \ test \ u \ wisdom \ zalgo.hs < 1359844734 951522 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`ls interps < 1359844737 96514 :HackEgo!codu@codu.org PRIVMSG #esoteric :1l \ 2l \ adjust \ axo \ befunge \ bfjoust \ bf_txtgen \ boof \ build.sh \ cfunge \ c-intercal \ clc-intercal \ dimensifuck \ egobch \ egobf \ fukyorbrane \ gcccomp \ gforth_quit \ ghc \ glass \ glypho \ kipple \ lambda \ lazyk \ linguine \ Makefile \ malbolge \ pbrain \ qbf \ rail \ rhotor \ sadol \ sceql \ trigger \ udage01 \ underload \ unlambda < 1359844753 238083 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :zzo38: did I just send you a file named fueue.c? < 1359844772 194440 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :via dcc < 1359844773 447939 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :I have to receive it < 1359844804 10861 :asiekierka!~asiekierk@fluttershy.pl QUIT :Excess Flood < 1359844845 640098 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :OK, I have done < 1359844875 546255 :asiekierka!~asiekierk@fluttershy.pl JOIN :#esoteric < 1359844900 854006 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :Arc_Koen: The DCC SEND message was received twice somehow, but I managed to download it using netcat anyways without the problem < 1359845041 884148 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :yeah from my side it definitely looks like it'snot working properly < 1359845072 572426 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :aaaand here's fueue.ml < 1359845100 849048 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :so you don't have email? you're probably the first person I meet who doesn't < 1359845136 455102 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :(well, for some values of "meet" and not counting kids) < 1359845689 759133 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`fetch http://zzo38computer.org/esoteric/Arc_Koen/fueue.c < 1359845693 355912 :HackEgo!codu@codu.org PRIVMSG #esoteric :2013-02-02 22:54:51 URL:http://zzo38computer.org/esoteric/Arc_Koen/fueue.c [16311/16311] -> "fueue.c.1" [1] < 1359845710 387337 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :OK, now I have fueue.ml < 1359845725 216093 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :thank you a lot < 1359845741 967166 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`run mv fueue.c.1 fueue.c < 1359845745 719360 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :I should probably go to bed now, I'm in the middle of a go tournament < 1359845749 51171 :HackEgo!codu@codu.org PRIVMSG #esoteric :No output. < 1359845754 487352 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :today I had to play against the strongest player < 1359845759 19394 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`run sed -i s/1000/10000/ fueue.c #Whistles innocently < 1359845763 820808 :HackEgo!codu@codu.org PRIVMSG #esoteric :No output. < 1359845771 767475 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :I think normally he'd give me three or four stones < 1359845782 999786 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`run gcc -o bin/fueue fueue.c < 1359845789 41220 :HackEgo!codu@codu.org PRIVMSG #esoteric :No output. < 1359845848 972268 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`run echo "72\n101\n108\n108\n111\n44\n32\n119\n111\n114\n108\n100\n33\n10\nH" < 1359845850 643996 :HackEgo!codu@codu.org PRIVMSG #esoteric :72\n101\n108\n108\n111\n44\n32\n119\n111\n114\n108\n100\n33\n10\nH < 1359845858 216922 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :sheesh. < 1359845886 172784 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`ls < 1359845893 347528 :HackEgo!codu@codu.org PRIVMSG #esoteric :​= 0 \ bin \ canary \ dbg.out \ egobot.tar.xz \ etc \ factor \ factor-linux-x86-64-0.95.tar.gz \ foo \ foo.err \ foo.out \ fueue.c \ ibin \ interps \ karma \ lib \ paste \ quines \ quotes \ quotese \ run~ \ share \ test \ u \ wisdom \ zalgo.hs < 1359845978 484898 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`printf 72\n101\n108\n108\n111\n44\n32\n119\n111\n114\n108\n100\n33\n10\nH < 1359845979 930443 :HackEgo!codu@codu.org PRIVMSG #esoteric :72 \ 101 \ 108 \ 108 \ 111 \ 44 \ 32 \ 119 \ 111 \ 114 \ 108 \ 100 \ 33 \ 10 \ H < 1359845999 635843 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`run fueue $(printf "72\n101\n108\n108\n111\n44\n32\n119\n111\n114\n108\n100\n33\n10\nH") < 1359846001 238135 :HackEgo!codu@codu.org PRIVMSG #esoteric :Error: fueue received too many arguments. The Hello world program \ Hello, world! < 1359846006 608615 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :hmph < 1359846033 459388 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`run fueue "$(printf '72\n101\n108\n108\n111\n44\n32\n119\n111\n114\n108\n100\n33\n10\nH')" < 1359846035 58556 :HackEgo!codu@codu.org PRIVMSG #esoteric :Hello, world! < 1359846171 592037 :impomatic!~digital_w@46.208.232.87 JOIN :#esoteric < 1359848133 139525 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net PART :#esoteric < 1359848241 111704 :asiekierka!~asiekierk@fluttershy.pl QUIT :Excess Flood < 1359848416 523138 :asiekierka!~asiekierk@fluttershy.pl JOIN :#esoteric < 1359848776 140980 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 QUIT :Ping timeout: 245 seconds < 1359849183 768122 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :`list < 1359849185 407850 :HackEgo!codu@codu.org PRIVMSG #esoteric :Taneb atriq Ngevd Fiora nortti Sgeo ThatOtherPerson alot < 1359849230 60483 :nortti!~juhani@nano.smar.fi PRIVMSG #esoteric :oh wow. Taneb is under 50% of that list < 1359849498 348926 :sirdancealot7!~sirdancea@98.82.broadband5.iol.cz JOIN :#esoteric