< 1307318421 785919 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :oklopol: no that was an early solved case < 1307318424 108455 :elliott__!~elliott@95.149.243.122 PRIVMSG #esoteric :CakeProphet: good thing you're not required to read/write it, then < 1307318440 238900 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :but clearly this shows that 4 is an even prime < 1307318442 990635 :oklopol!~oklopol@dyn37-212.vpn.utu.fi PRIVMSG #esoteric :then is that guy actually referencing something or just being stupid < 1307318446 536276 :elliott__!~elliott@95.149.243.122 PRIVMSG #esoteric :CakeProphet: however i invite you to look at the channel you're calling things a waste of time in :) < 1307318447 657612 :oklopol!~oklopol@dyn37-212.vpn.utu.fi PRIVMSG #esoteric :yes < 1307318505 618941 :oklopol!~oklopol@dyn37-212.vpn.utu.fi PRIVMSG #esoteric :oerjan: do you at all know how the proof goes btw? < 1307318521 982455 :elliott__!~elliott@95.149.243.122 PRIVMSG #esoteric :it goes like doot doot doot do do do do do < 1307318539 458664 :oklopol!~oklopol@dyn37-212.vpn.utu.fi PRIVMSG #esoteric :obviously Phantom_Hoover is the expert on that here but i wouldn't be surprised if you also knew some of the fancy words involved < 1307318540 841342 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :no. < 1307318557 198289 :elliott__!~elliott@95.149.243.122 PRIVMSG #esoteric :oklopol: wat xD < 1307318562 448935 :oklopol!~oklopol@dyn37-212.vpn.utu.fi PRIVMSG #esoteric :how long is the shortest proof atm? < 1307318585 269041 :oklopol!~oklopol@dyn37-212.vpn.utu.fi PRIVMSG #esoteric :elliott__: to quote Phantom_Hoover, "surely everyone here knows how the proof goes" < 1307318600 811972 :elliott__!~elliott@95.149.243.122 PRIVMSG #esoteric :its about three bagpipes long < 1307318611 506511 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :elliott__: hey, #esoteric is an excellent way to spend time. < 1307318613 971307 :oklopol!~oklopol@dyn37-212.vpn.utu.fi PRIVMSG #esoteric :and when we didn't, he explained it to us < 1307318623 776689 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :time that would otherwise be spent doing something productive. < 1307318634 237400 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :or possibly even designing esolangs. < 1307318659 459914 :elliott__!~elliott@95.149.243.122 PRIVMSG #esoteric :to quote famous bisexual oklopol, "and when we didn't, he explained it to us" < 1307318688 470027 :oklopol!~oklopol@dyn37-212.vpn.utu.fi PRIVMSG #esoteric :elliott__: if it's any consolation, after this survey and my next article, i'll try to drop finite state automata and concentrate on CA, which feel much less like esolanging < 1307318723 373078 :elliott__!~elliott@95.149.243.122 PRIVMSG #esoteric :oklopol: im going to put your limbs into separate bags < 1307318764 720890 :elliott__!~elliott@95.149.243.122 PRIVMSG #esoteric :oerjan: http://esolangs.org/w/index.php?title=Infinity&curid=1253&diff=23206&oldid=20220 < 1307318773 781244 :elliott__!~elliott@95.149.243.122 PRIVMSG #esoteric :oerjan: is this really valid... < 1307318778 396297 :elliott__!~elliott@95.149.243.122 PRIVMSG #esoteric :ACTION looks at this article WOW this article sucks < 1307318786 139346 :elliott__!~elliott@95.149.243.122 PRIVMSG #esoteric :Can we delete it, it really sucks < 1307318793 219046 :elliott__!~elliott@95.149.243.122 PRIVMSG #esoteric :oh wait cpressey started it ;D < 1307318878 231586 :oklopol!~oklopol@dyn37-212.vpn.utu.fi PRIVMSG #esoteric :that seems like a slightly pointless article < 1307318911 890163 :elliott__!~elliott@95.149.243.122 PRIVMSG #esoteric :it is, it's free of all informational content :P < 1307318923 301097 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :i sometimes get this impression cpressey has a slightly tortuous relationship to math < 1307318929 882477 :elliott__!~elliott@95.149.243.122 PRIVMSG #esoteric :http://esolangs.org/wiki/Special:Whatlinkshere/Infinity < 1307318931 670480 :elliott__!~elliott@95.149.243.122 PRIVMSG #esoteric :oerjan: you don't say. < 1307318945 14499 :oklopol!~oklopol@dyn37-212.vpn.utu.fi PRIVMSG #esoteric :ACTION likes math < 1307318980 694518 :elliott__!~elliott@95.149.243.122 PRIVMSG #esoteric :http://esolangs.org/wiki/Lazy_evaluation < 1307318986 184773 :elliott__!~elliott@95.149.243.122 PRIVMSG #esoteric :oh, the link added points to... a joke article < 1307319016 141708 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :we have reached the esounderbelly < 1307319026 840519 :elliott__!~elliott@95.149.243.122 PRIVMSG #esoteric :oerjan: rude non-/msg-replier :( < 1307319030 364016 :elliott__!~elliott@95.149.243.122 PRIVMSG #esoteric :ACTION feels rejected < 1307319102 376198 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :i didn't see the point in moving the conversation, it's not like there was any slanderous information involved < 1307319124 306451 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :well in what _you_ said, anyway :P < 1307319127 686213 :oklopol!~oklopol@dyn37-212.vpn.utu.fi PRIVMSG #esoteric :what were you talking about? < 1307319132 687048 :elliott__!~elliott@95.149.243.122 PRIVMSG #esoteric :i say everything in /msg < 1307319136 137363 :elliott__!~elliott@95.149.243.122 PRIVMSG #esoteric :i would have said that in /msg < 1307319140 583487 :elliott__!~elliott@95.149.243.122 PRIVMSG #esoteric :but i'd have to send it to everyone present < 1307319143 604230 :elliott__!~elliott@95.149.243.122 PRIVMSG #esoteric :and that would be a lot of work. < 1307319144 918321 :elliott__!~elliott@95.149.243.122 PRIVMSG #esoteric :oklopol: rabies. < 1307319159 667613 :oklopol!~oklopol@dyn37-212.vpn.utu.fi PRIVMSG #esoteric :hmm < 1307319170 185452 :elliott__!~elliott@95.149.243.122 PRIVMSG #esoteric : so oerjan, dem rabies < 1307319172 218514 :elliott__!~elliott@95.149.243.122 PRIVMSG #esoteric : oerjan < 1307319173 321626 :elliott__!~elliott@95.149.243.122 PRIVMSG #esoteric : oerjan respond < 1307319174 523716 :elliott__!~elliott@95.149.243.122 PRIVMSG #esoteric : please < 1307319175 673806 :elliott__!~elliott@95.149.243.122 PRIVMSG #esoteric : he;lp < 1307319177 313973 :elliott__!~elliott@95.149.243.122 PRIVMSG #esoteric : rabies?? < 1307319180 69289 :elliott__!~elliott@95.149.243.122 PRIVMSG #esoteric :oklopol: log < 1307319218 821086 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric : well i'm sorry but once you are showing symbols it's too late anyhow < 1307319225 733985 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric : *symptoms < 1307319240 922189 :oklopol!~oklopol@dyn37-212.vpn.utu.fi PRIVMSG #esoteric :is that true? < 1307319272 891250 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :mostly, i think there are very few who have survived after reaching that stage < 1307319274 906476 :oklopol!~oklopol@dyn37-212.vpn.utu.fi PRIVMSG #esoteric :it's crazy that there are like a million cool diseases but no one ever gets those < 1307319280 570221 :oklopol!~oklopol@dyn37-212.vpn.utu.fi PRIVMSG #esoteric :everyone just gets like them flues < 1307319286 330872 :oklopol!~oklopol@dyn37-212.vpn.utu.fi PRIVMSG #esoteric :which all look the same < 1307319288 275091 :coppro!~scshunt@denardo.csclub.uwaterloo.ca PRIVMSG #esoteric :flus < 1307319302 258863 :oklopol!~oklopol@dyn37-212.vpn.utu.fi PRIVMSG #esoteric :yeah not a typo < 1307319352 523559 :oklopol!~oklopol@dyn37-212.vpn.utu.fi PRIVMSG #esoteric :admittedly after changing dem to them i should've removed the e too < 1307319437 301076 :elliott__!~elliott@95.149.243.122 PRIVMSG #esoteric :i gather Caroline enjoyed her rabies < 1307319463 13162 :elliott__!~elliott@95.149.243.122 PRIVMSG #esoteric :http://upload.wikimedia.org/wikipedia/commons/c/c1/Rabies_Free_Countries_Sourced_2010.svg rabies-free bitch < 1307319510 385323 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :http://en.wikipedia.org/wiki/Milwaukee_protocol < 1307319520 147892 :elliott__!~elliott@95.149.243.122 PRIVMSG #esoteric :get it < 1307319522 601287 :elliott__!~elliott@95.149.243.122 PRIVMSG #esoteric :rabies-free bitch < 1307319543 698444 :elliott__!~elliott@95.149.243.122 PRIVMSG #esoteric :oerjan: handling bats leads to rabies? but they're so cute :( < 1307319580 963214 :oklopol!~oklopol@dyn37-212.vpn.utu.fi PRIVMSG #esoteric :so umm, tomorrow's conference lectures start when i went to sleep yesterday, and end when i woke up < 1307319590 798522 :oklopol!~oklopol@dyn37-212.vpn.utu.fi PRIVMSG #esoteric :i'll probably learn so much < 1307319591 356840 :oklopol!~oklopol@dyn37-212.vpn.utu.fi PRIVMSG #esoteric ::D < 1307319598 160677 :elliott__!~elliott@95.149.243.122 PRIVMSG #esoteric ::D < 1307319628 648943 :oklopol!~oklopol@dyn37-212.vpn.utu.fi PRIVMSG #esoteric :one of the speakers has a proof of P=NP < 1307319636 114057 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :you're in a conference? < 1307319643 945967 :oklopol!~oklopol@dyn37-212.vpn.utu.fi PRIVMSG #esoteric :yeah starts in 6h < 1307319664 310162 :elliott__!~elliott@95.149.243.122 PRIVMSG #esoteric : [FUMING JEALOUSY] < 1307319680 67696 :oklopol!~oklopol@dyn37-212.vpn.utu.fi PRIVMSG #esoteric :i'm not really an organizer since i was doing my master's thesis when most of the stuff was happening < 1307319700 628475 :oklopol!~oklopol@dyn37-212.vpn.utu.fi PRIVMSG #esoteric :although i did referee one paper (it sucked THE ASS :D) < 1307319702 43872 :elliott__!~elliott@95.149.243.122 PRIVMSG #esoteric :oklopol: so are you a master yet < 1307319711 230907 :oklopol!~oklopol@dyn37-212.vpn.utu.fi PRIVMSG #esoteric :err yes, ages ago < 1307319721 65618 :elliott__!~elliott@95.149.243.122 PRIVMSG #esoteric :i don't keep track of the lovelifes of famous bisexuals oklopol < 1307319726 294822 :elliott__!~elliott@95.149.243.122 PRIVMSG #esoteric :don't expect me to know < 1307319743 391007 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :hey if it's a P=NP proof it should show up on godel's lost letter any moment /s < 1307319749 561834 :oklopol!~oklopol@dyn37-212.vpn.utu.fi PRIVMSG #esoteric :why thank you for asking, you can read it here http://tucs.fi/research/publication-view/?pub_id=tSalo11a < 1307319763 217939 :elliott__!~elliott@95.149.243.122 PRIVMSG #esoteric :oerjan: There were 2 survivors out of 25 patients treated under the first protocol. A further 10 patients have been treated under the revised protocol and there have been a further 2 survivors.[6] < 1307319764 405125 :elliott__!~elliott@95.149.243.122 PRIVMSG #esoteric :good protocol < 1307319778 899733 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :most excellent < 1307319781 655198 :elliott__!~elliott@95.149.243.122 PRIVMSG #esoteric :oklopol: you can write normally?? < 1307319783 645456 :elliott__!~elliott@95.149.243.122 PRIVMSG #esoteric :so weird dude < 1307319792 879746 :oklopol!~oklopol@dyn37-212.vpn.utu.fi PRIVMSG #esoteric :oerjan: proof goes as follows: nature can be simulated in polynomial time, and bubbles solve an np-complete problem when they form their lattice < 1307319802 617311 :elliott__!~elliott@95.149.243.122 PRIVMSG #esoteric :oklopol: did you write this in notepad < 1307319805 173362 :elliott__!~elliott@95.149.243.122 PRIVMSG #esoteric :say yes < 1307319819 608428 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :i'd hazard a guess the obvious error is in the second part < 1307319827 174200 :elliott__!~elliott@95.149.243.122 PRIVMSG #esoteric :there is no way you wrote this >:| < 1307319833 663943 :elliott__!~elliott@95.149.243.122 PRIVMSG #esoteric :it looks nothing like you. < 1307319860 744311 :elliott__!~elliott@95.149.243.122 PRIVMSG #esoteric :oklopol: lol they gave you a master's for this? < 1307319866 653410 :elliott__!~elliott@95.149.243.122 PRIVMSG #esoteric :wow they must just be really kind < 1307319868 173687 :elliott__!~elliott@95.149.243.122 PRIVMSG #esoteric :to a retard idiot < 1307319869 5431 :elliott__!~elliott@95.149.243.122 PRIVMSG #esoteric :like you < 1307319870 883055 :elliott__!~elliott@95.149.243.122 PRIVMSG #esoteric :lmao this sucks < 1307319873 184202 :elliott__!~elliott@95.149.243.122 PRIVMSG #esoteric :am i hurting your feelings yet < 1307319900 22669 :oklopol!~oklopol@dyn37-212.vpn.utu.fi PRIVMSG #esoteric :elliott__: well i solved at least 3 problems that had been open for more than a decade, this formally qualifies a laudatur. < 1307319920 312099 :elliott__!~elliott@95.149.243.122 PRIVMSG #esoteric :lol if you say so noob < 1307319920 474652 :oklopol!~oklopol@dyn37-212.vpn.utu.fi PRIVMSG #esoteric :oerjan: lol thought you meant obvious error in the second paragraph of my abstract :D < 1307319924 973532 :elliott__!~elliott@95.149.243.122 PRIVMSG #esoteric :lol < 1307319926 909818 :elliott__!~elliott@95.149.243.122 PRIVMSG #esoteric :did you scramble to check < 1307319930 231350 :elliott__!~elliott@95.149.243.122 PRIVMSG #esoteric :"NOOOOOOOOOOOOOOOOOOOOOOOOOOOOO" < 1307319935 24184 :elliott__!~elliott@95.149.243.122 PRIVMSG #esoteric :oklopol: so when are you a phd < 1307319987 188961 :oklopol!~oklopol@dyn37-212.vpn.utu.fi PRIVMSG #esoteric :but in fact one of my conjectures is complete bullshit, because of a definition being wrong < 1307319992 893474 :oklopol!~oklopol@dyn37-212.vpn.utu.fi PRIVMSG #esoteric :this was fun to notice the day that was published < 1307320136 799836 :oklopol!~oklopol@dyn37-212.vpn.utu.fi PRIVMSG #esoteric :elliott__: umm dunno, once i come up with an interesting result < 1307320149 459225 :pikhq_!~pikhq@71-219-248-10.clsp.qwest.net QUIT :Ping timeout: 240 seconds < 1307320163 242945 :pikhq!~pikhq@71-219-208-195.clsp.qwest.net JOIN :#esoteric < 1307320163 675392 :oklopol!~oklopol@dyn37-212.vpn.utu.fi PRIVMSG #esoteric :if i don't, probably in 4 years, if i do, perhaps right after that < 1307320270 608016 :oklopol!~oklopol@dyn37-212.vpn.utu.fi PRIVMSG #esoteric :http://www.math.utu.fi/projects/uc2011/timetable.html this here conference, more cs than math < 1307320283 192954 :FireFly!~firefly@unaffiliated/firefly QUIT :Quit: swatted to death < 1307320363 890275 :oklopol!~oklopol@dyn37-212.vpn.utu.fi PRIVMSG #esoteric :and other random stuff < 1307320374 619087 :elliott__!~elliott@95.149.243.122 PRIVMSG #esoteric :15:30–16:00 Coffee < 1307320377 700752 :elliott__!~elliott@95.149.243.122 PRIVMSG #esoteric :go to that one it sounds interesting < 1307320382 514776 :oklopol!~oklopol@dyn37-212.vpn.utu.fi PRIVMSG #esoteric :i suppose it's basically an esolanging conference < 1307320398 290709 :oklopol!~oklopol@dyn37-212.vpn.utu.fi PRIVMSG #esoteric :Computing with planar toppling domino arrangements < 1307320398 463861 :oklopol!~oklopol@dyn37-212.vpn.utu.fi PRIVMSG #esoteric :W. Stevens < 1307320414 405802 :oklopol!~oklopol@dyn37-212.vpn.utu.fi PRIVMSG #esoteric :A Universal Flying Amorphous Computer < 1307320414 585330 :oklopol!~oklopol@dyn37-212.vpn.utu.fi PRIVMSG #esoteric :L. Petru, J. Wiedermann < 1307320477 898343 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :strange name that second author < 1307320514 602600 :oklopol!~oklopol@dyn37-212.vpn.utu.fi PRIVMSG #esoteric :yeah i guess he had two sex changes < 1307320534 180919 :oklopol!~oklopol@dyn37-212.vpn.utu.fi PRIVMSG #esoteric :man -> universal amorphous computer -> man < 1307320569 95475 :elliott__!~elliott@95.149.243.122 PRIVMSG #esoteric ::D < 1307320590 779712 :elliott__!~elliott@95.149.243.122 PRIVMSG #esoteric :i wanna change my name to A Universal Flying Amorphous Computer now < 1307320616 898015 :oklopol!~oklopol@dyn37-212.vpn.utu.fi PRIVMSG #esoteric :i have to try to sleep for a bit... < 1307320617 770844 :oklopol!~oklopol@dyn37-212.vpn.utu.fi PRIVMSG #esoteric :-> < 1307320649 405831 :elliott__!~elliott@95.149.243.122 PRIVMSG #esoteric :damn where is olsner whne you don't need him < 1307320678 437679 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :sweding around like swedes do < 1307320705 92656 :elliott__!~elliott@95.149.243.122 PRIVMSG #esoteric :Proof. Obviously < 1307320705 255085 :elliott__!~elliott@95.149.243.122 PRIVMSG #esoteric :2 < 1307320705 255176 :elliott__!~elliott@95.149.243.122 PRIVMSG #esoteric :log 2n = n2 > n log a = log an < 1307320705 255219 :elliott__!~elliott@95.149.243.122 PRIVMSG #esoteric :for large enough n. < 1307320707 115793 :elliott__!~elliott@95.149.243.122 PRIVMSG #esoteric :oklopol: obviously your mom < 1307320801 922474 :oklopol!~oklopol@dyn37-212.vpn.utu.fi PRIVMSG #esoteric :yeah i'm not sure why i added that appendix but i guess there might be readers who don't know basic math but manage on page 30 anyway < 1307320805 402224 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :i don't think that notation quite got through < 1307320816 121891 :oklopol!~oklopol@dyn37-212.vpn.utu.fi PRIVMSG #esoteric :yeah umm < 1307320832 787306 :oklopol!~oklopol@dyn37-212.vpn.utu.fi PRIVMSG #esoteric :lol < 1307320951 471675 :oklopol!~oklopol@dyn37-212.vpn.utu.fi PRIVMSG #esoteric :right the 2 on the line above should be the exponent of n < 1307320953 220041 :elliott__!~elliott@95.149.243.122 PRIVMSG #esoteric :oklopol: like me say < 1307321007 65011 :oklopol!~oklopol@dyn37-212.vpn.utu.fi PRIVMSG #esoteric :argh -> < 1307321053 770655 :oklopol!~oklopol@dyn37-212.vpn.utu.fi PRIVMSG #esoteric :actually there are very few "obviously" claims where i actually skip the exact proof, in fact i have gone to great lengths to formalize everything so formal that no one in their right mind would ever read it < 1307321076 46522 :elliott__!~elliott@95.149.243.122 PRIVMSG #esoteric :oklopol: COQ LOL < 1307321110 631177 :oklopol!~oklopol@dyn37-212.vpn.utu.fi PRIVMSG #esoteric :that would've been cool, but perhaps i'm still a factor of a few hundred away from that in formalness < 1307321132 358625 :oklopol!~oklopol@dyn37-212.vpn.utu.fi PRIVMSG #esoteric :argh -> < 1307321133 715714 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :I think in technical writing it's a good idea to not skip over details that might seem obvious. < 1307321155 548027 :elliott__!~elliott@95.149.243.122 PRIVMSG #esoteric :except that makes mathematical proofs unreadable :) < 1307321164 885272 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :well, yes. < 1307321172 768480 :oklopol!~oklopol@dyn37-212.vpn.utu.fi PRIVMSG #esoteric :you do that in a phd and in an article < 1307321175 381838 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :maybe not with proofs. < 1307321187 39433 :oklopol!~oklopol@dyn37-212.vpn.utu.fi PRIVMSG #esoteric :you don't do that in a master's thesis or a book < 1307321211 962625 :oklopol!~oklopol@dyn37-212.vpn.utu.fi PRIVMSG #esoteric :in a book, you don't do it because the reader is assumed not to know the boring details, and is such forced to suffer through them to make sure they understand what's actually happening < 1307321238 951733 :oklopol!~oklopol@dyn37-212.vpn.utu.fi PRIVMSG #esoteric :in a master's thesis, you don't do it because *the author* is demonstrating they know this stuff < 1307321244 477693 :elliott__!~elliott@95.149.243.122 PRIVMSG #esoteric :20:38:27: so now my Underload (...)s are no longer functions < 1307321244 640426 :elliott__!~elliott@95.149.243.122 PRIVMSG #esoteric :20:38:29: what should i call them? < 1307321244 640593 :elliott__!~elliott@95.149.243.122 PRIVMSG #esoteric :20:38:31: subprograms? < 1307321244 640695 :elliott__!~elliott@95.149.243.122 PRIVMSG #esoteric :20:40:58: blimps < 1307321252 286064 :oklopol!~oklopol@dyn37-212.vpn.utu.fi PRIVMSG #esoteric :argh -> < 1307321258 69473 :elliott__!~elliott@95.149.243.122 PRIVMSG #esoteric :the coining of the terioerioeioroeioioireoriooioerioermoinologiiiiiiiiiiiiiiiiiiiiojdfg < 1307321297 751497 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :impressive keyboard < 1307321308 175321 :oklopol!~oklopol@dyn37-212.vpn.utu.fi PRIVMSG #esoteric :" maybe not with proofs." what else is there < 1307321321 327268 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :*formal proofs < 1307321341 14604 :oklopol!~oklopol@dyn37-212.vpn.utu.fi PRIVMSG #esoteric :i have to -> < 1307321343 324080 :oklopol!~oklopol@dyn37-212.vpn.utu.fi PRIVMSG #esoteric :ashsthsry¨' < 1307321385 461254 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :you have to, imply? < 1307321448 9242 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :I often feel that <-> < 1307321779 823670 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :baby, feel that equivalence < 1307321875 583392 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :that's an interesting way to view biconditionality. < 1307321895 468307 :elliott__!~elliott@95.149.243.122 PRIVMSG #esoteric :who tf calls it biconditionality < 1307321915 148824 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :the concept of being biconditional? I do. < 1307321925 937660 :elliott__!~elliott@95.149.243.122 PRIVMSG #esoteric :well biconditional i guess but it's the same thing as equivalence :) < 1307322002 188391 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :<-> = =? < 1307322009 423538 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :it's a congruence relation, if you take its quotient you get a boolean algebra < 1307322010 968073 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :er, insert logical equivalence sign. < 1307322041 640090 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :what is the quotient of a relation? < 1307322077 812277 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :the quotient of an equivalence relation is what you get if you identify equivalent elements < 1307322123 967833 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :a congruence relation is an equivalence relation which respect your other operations, such as in this case ->, and, or < 1307322128 19978 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :*respects < 1307322139 550457 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :so the quotient is the set where the relation is true? < 1307322151 231623 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :um no < 1307322175 269232 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :the quotient is a set whose elements are the equivalence classes of the relation < 1307322200 292485 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :ah. < 1307322308 983805 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :so congruence relations are equivalence relations that -- what you just said. < 1307322329 404300 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :ACTION only learned the basics of relations in his discrete math class. < 1307322341 164542 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :basically what they are. < 1307322347 871365 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :yes. the significance of that is that you can transfer your other operations to the quotient < 1307322427 239238 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :the map from an original element to the corresponding quotient element then becomes a homomorphism < 1307322540 277199 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :which map? There's a lot of different kinds of maps. :D < 1307322569 46443 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :map is here a synonym for function < 1307322572 557029 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :ah okay. < 1307322605 801217 :Lymia!~moe@123.120.136.9 JOIN :#esoteric < 1307322606 206934 :Lymia!~moe@123.120.136.9 QUIT :Changing host < 1307322606 369424 :Lymia!~moe@unaffiliated/cirno-chan JOIN :#esoteric < 1307322634 87087 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :Lymia: YOUR IP WAS HANGING OUT < 1307322664 46098 :Lymia!~moe@unaffiliated/cirno-chan PRIVMSG #esoteric :^_^' < 1307322674 19266 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :oerjan: so when you convert the original element into its equivalence class, it preserves the algebraic structure? < 1307322674 521157 :Lymia!~moe@unaffiliated/cirno-chan PRIVMSG #esoteric :DMZ points at my dad's computer. Who cares. < 1307322681 882574 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :yep. < 1307322713 591105 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :hmmm, okay. I'll need to learn more about abstract algebra to understand what that entails. < 1307322779 68735 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :http://en.wikipedia.org/wiki/Isomorphism_theorem#General < 1307322833 903297 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :but an equivalence class is a set. Do you have to change the operations at that point to work with the equivalence class, or do you still use the same definition as before? < 1307322838 945734 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :in wikipedia's usual even-more-incomprehensible-than-necessary style < 1307322853 441491 :elliott__!~elliott@95.149.243.122 PRIVMSG #esoteric :its so the editors can prove theyre smart < 1307322879 603481 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :oerjan: yeah the articles are dense, but the specificity helps when you need to know /exactly/ what something means. It's terrible for learning a new subject in advanced math though. < 1307322945 378897 :elliott__!~elliott@95.149.243.122 PRIVMSG #esoteric :yeah but mathworld is easier to understand most of the time and just as precise, c'mon :P < 1307322957 580935 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :well let's say A and B are two equivalence classes, and & is one of the operations. Then the congruence requirement means that for every a in A and b in B, a & b ends up in the _same_ class C, so just define A & B = C < 1307323015 725259 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :ah okay, so the operation becomes something else, but still works the same way. < 1307323023 123086 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :I think... < 1307323024 79949 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :yeah < 1307323082 685852 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :basically with the equivalence class version of the operation you're just applying the operation to all of the elements. < 1307323091 71421 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :precisely < 1307323091 995988 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :and taking that as your resulting set. < 1307323109 374951 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :ACTION scratches head. < 1307323109 910678 :elliott__!~elliott@95.149.243.122 PRIVMSG #esoteric : DMZ points at my dad's computer. Who cares. < 1307323120 229999 :elliott__!~elliott@95.149.243.122 PRIVMSG #esoteric :be careful, dprk has nukes < 1307323126 224866 :Lymia!~moe@unaffiliated/cirno-chan PRIVMSG #esoteric ::( < 1307323144 643738 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :well... there's a small caveat in that A & B applied to all elements is not necessarily _all_ of C, i think < 1307323184 466226 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :oerjan: hmmm, well... how is C defined? < 1307323199 650862 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :C needs to be a whole equivalence class < 1307323206 255723 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :right. < 1307323273 538965 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :so you just get some subset of C. Though I have no idea how you would know what C is without more information.. < 1307323301 424780 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :well you just take anything which is equivalent to something (and thus everything) in C < 1307323312 865373 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :and that must still be in C < 1307323322 827807 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :ah okay. < 1307323358 710473 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :that's interesting. You can take any subset of an equivalence class, and find every member of that equivalence class in a given set. < 1307323374 709317 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :well < 1307323377 429375 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :not any subset. :P < 1307323381 260039 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :there is one that you can't use. < 1307323400 686022 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :you don't say. < 1307323471 572678 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :my discrete math teacher was incorrect. He seemed to use equivalence class as a synonym for equivalence relation. < 1307323506 654891 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :oops < 1307323515 14074 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :one of our test questions was to determine whether a given relation was an equivalence class by determining that it was transitive, symmetric, and reflexive. < 1307323534 633512 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :and he's like, one of the better professors at my university. That's saying a lot. < 1307323578 437884 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :huh < 1307323679 761584 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :the US seems to come on top if you compare the _best_ universities. i wonder how it'd do if you compared the _median_ < 1307323687 803037 :elliott__!~elliott@95.149.243.122 PRIVMSG #esoteric :probably bottom :P < 1307323690 106844 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :probably not so great. < 1307323731 822789 :elliott__!~elliott@95.149.243.122 PRIVMSG #esoteric :oerjan: the funnest would be comparing the worst :D < 1307323735 646297 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :I go to a pretty small university. Not saying that being a small university is bad, but in this case it's true. < 1307323736 911646 :elliott__!~elliott@95.149.243.122 PRIVMSG #esoteric :or the ... mean < 1307323746 502062 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :..the mode? :P < 1307323750 334662 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :THE MOST COMMON UNIVERSITY. < 1307323750 541449 :elliott__!~elliott@95.149.243.122 PRIVMSG #esoteric :yes. < 1307323763 994846 :elliott__!~elliott@95.149.243.122 PRIVMSG #esoteric :THE RANGE < 1307323766 485707 :elliott__!~elliott@95.149.243.122 PRIVMSG #esoteric :this makes sense < 1307323771 689064 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :although i guess this may be heavily skewed by different countries having different cutoffs for the quality needed for an institution to call itself a university < 1307323780 625070 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :the modal university would be the one with the most satellite campuses I think. < 1307323783 398156 :coppro!~scshunt@denardo.csclub.uwaterloo.ca PRIVMSG #esoteric :CakeProphet: An equivalence relation over a set gives rise to a partition of that set into equivalence classes under that relation < 1307323791 469365 :elliott__!~elliott@95.149.243.122 PRIVMSG #esoteric :coppro: so does your mom < 1307323795 510572 :elliott__!~elliott@95.149.243.122 PRIVMSG #esoteric :OHHH SNAPE < 1307323810 927278 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :coppro: yep, I just read about that on Wikipedia actually. :D < 1307323817 158922 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :and.. inferred it. < 1307323825 466552 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :from what oerjan told me. < 1307323840 783144 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :using my MIIIND. < 1307323845 898135 :coppro!~scshunt@denardo.csclub.uwaterloo.ca PRIVMSG #esoteric :lies < 1307323852 430122 :coppro!~scshunt@denardo.csclub.uwaterloo.ca PRIVMSG #esoteric :all evidence points to you not having one < 1307323859 716923 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric ::( nonsense. < 1307323865 900563 :coppro!~scshunt@denardo.csclub.uwaterloo.ca PRIVMSG #esoteric :elliott__: goddamn executive meddling in doctor who < 1307323889 827010 :elliott__!~elliott@95.149.243.122 PRIVMSG #esoteric :coppro: I stopped watching because Moffat turned from genius to incompetent after taking the reins < 1307323908 373119 :elliott__!~elliott@95.149.243.122 PRIVMSG #esoteric :or are you referring to something other than new episodes < 1307323913 209508 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :!lperl I'm trying to find a way to use *{"THIS"}* thing I made, but alas I cannot think of anything. < 1307323913 603028 :EgoBot!Gregor@codu.org PRIVMSG #esoteric :​I'm trying to find a way to use THIS thing I made, but alas I cannot think of anything. < 1307323927 971271 :Patashu!~Patashu@c122-106-155-219.carlnfd1.nsw.optusnet.com.au PRIVMSG #esoteric :!show lperl < 1307323928 237662 :EgoBot!Gregor@codu.org PRIVMSG #esoteric :​perl while(<>){s/ (?){s/ (?){s/ (?){s/ (?){s/ (?){s/ \{\{ (.*?) \}\} (?!\})/$1/gxee;print} < 1307324957 641377 :EgoBot!Gregor@codu.org PRIVMSG #esoteric :​Interpreter lperl installed. < 1307325073 585557 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :also, Perl pretty much dominates the golfing of this one. < 1307325108 177194 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :the golfed form would s/while/for/ and take out the /x option and whitespace < 1307325126 980569 :elliott__!~elliott@95.149.243.122 PRIVMSG #esoteric :coppro: also i don't like the new theme :D < 1307325135 571418 :coppro!~scshunt@denardo.csclub.uwaterloo.ca PRIVMSG #esoteric :elliott__: I agree with you there! < 1307325138 26290 :comex!~comex@comex.xen.prgmr.com QUIT :Quit: ZNC - http://znc.sourceforge.net < 1307325149 687865 :coppro!~scshunt@denardo.csclub.uwaterloo.ca PRIVMSG #esoteric :but the "The Doctor is being awesome now" music is good < 1307325161 842386 :elliott__!~elliott@95.149.243.122 PRIVMSG #esoteric :they should have just picked one off http://whomix.trilete.net/ :D < 1307325196 352322 :elliott__!~elliott@95.149.243.122 PRIVMSG #esoteric :that huge torrent is now three percent completed, i should note < 1307325320 438547 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :!delinterp lperl < 1307325320 696010 :EgoBot!Gregor@codu.org PRIVMSG #esoteric :​Interpreter lperl deleted. < 1307325323 752907 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :!addinterp lperl perl $_=<>;s/{{(.*?)}}(?!})/$1/gee;print < 1307325324 22165 :EgoBot!Gregor@codu.org PRIVMSG #esoteric :​Interpreter lperl installed. < 1307325333 547880 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :!lperl {{'test'}} < 1307325333 912470 :EgoBot!Gregor@codu.org PRIVMSG #esoteric :​test < 1307325338 504217 :sebbu2!~sebbu@unaffiliated/sebbu JOIN :#esoteric < 1307325338 666906 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :golfed. :D < 1307325347 176795 :elliott__!~elliott@95.149.243.122 PRIVMSG #esoteric :ok, I'm seriously ill < 1307325352 690658 :elliott__!~elliott@95.149.243.122 PRIVMSG #esoteric :CakeProphet: what's with "ee" < 1307325354 315595 :variable!~variable@unaffiliated/variable JOIN :#esoteric < 1307325356 147929 :elliott__!~elliott@95.149.243.122 PRIVMSG #esoteric :i should go to bed now < 1307325358 246775 :elliott__!~elliott@95.149.243.122 PRIVMSG #esoteric :and, also, i will < 1307325381 771485 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :elliott__: e evaluates the replacement string as Perl code. ee evaluates the replacement string as Perl code and then evaluates that. < 1307325409 978135 :elliott__!~elliott@95.149.243.122 PRIVMSG #esoteric :ouch < 1307325413 226113 :elliott__!~elliott@95.149.243.122 PRIVMSG #esoteric :can it go to eee? < 1307325420 469606 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :uh... I don't actually know. < 1307325423 313474 :elliott__!~elliott@95.149.243.122 PRIVMSG #esoteric :MWAHAHAHA < 1307325425 40354 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :I don't think so. < 1307325429 621758 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :at least it's not documented. < 1307325513 881220 :sebbu!~sebbu@unaffiliated/sebbu QUIT :Ping timeout: 240 seconds < 1307325597 564902 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :`run echo '$_=<>;s/{{(.*?)}}(?!})/$1/gee;print' | wc -c < 1307325599 277847 :HackEgo!Gregor@codu.org PRIVMSG #esoteric :​36 < 1307325602 872288 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :awww yeah. < 1307325673 662816 :elliott__!~elliott@95.149.243.122 PRIVMSG #esoteric :ok < 1307325674 494831 :elliott__!~elliott@95.149.243.122 PRIVMSG #esoteric :sleep < 1307325675 56219 :elliott__!~elliott@95.149.243.122 PRIVMSG #esoteric :really < 1307325675 662997 :elliott__!~elliott@95.149.243.122 PRIVMSG #esoteric :sleep < 1307325676 296404 :elliott__!~elliott@95.149.243.122 PRIVMSG #esoteric :sleep < 1307325676 990924 :elliott__!~elliott@95.149.243.122 PRIVMSG #esoteric :sleep < 1307325681 454326 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :DO IT < 1307325686 446818 :elliott__!~elliott@95.149.243.122 PRIVMSG #esoteric :SLEEP < 1307325692 876460 :elliott__!~elliott@95.149.243.122 QUIT :Quit: FUUUUUUUUUUUUUUUUUUUCK YOUUUUUUUUUUUUUUUUUU < 1307325717 481246 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :!perl $_ = "hm..."; s/hm/"'1+2'"/e; print; < 1307325717 959145 :EgoBot!Gregor@codu.org PRIVMSG #esoteric :​'1+2'... < 1307325723 270252 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :!perl $_ = "hm..."; s/hm/"'1+2'"/ee; print; < 1307325723 631862 :EgoBot!Gregor@codu.org PRIVMSG #esoteric :​1+2... < 1307325727 16655 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :!perl $_ = "hm..."; s/hm/"'1+2'"/eee; print; < 1307325727 401130 :EgoBot!Gregor@codu.org PRIVMSG #esoteric :​3... < 1307325730 464904 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :hahaha < 1307325731 773814 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :nice < 1307325739 897912 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :you can stack an arbitrary number of e's < 1307325806 127077 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :!perl $_ = "hm..."; s/hm/"'q{1+2}'"/eeee; print; < 1307325806 490880 :EgoBot!Gregor@codu.org PRIVMSG #esoteric :​3... < 1307325822 987698 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :!perl $_ = "hm..."; s/hm/"'q{q[q<1+2>]}'"/eeeeee; print; < 1307325823 374239 :EgoBot!Gregor@codu.org PRIVMSG #esoteric :​3... < 1307325843 144735 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :!perl $_ = "hm..."; s/hm/"'q{q[q<1+2>]}'"/eeeee; print; < 1307325843 546620 :EgoBot!Gregor@codu.org PRIVMSG #esoteric :​1+2... < 1307325854 833897 :Lymia!~moe@unaffiliated/cirno-chan PRIVMSG #esoteric :!perl $_ = "hm..."; s/hm/"'q{1+2}'"/eeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeee; print; < 1307325855 199652 :EgoBot!Gregor@codu.org PRIVMSG #esoteric :​3... < 1307325877 490264 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :at this point we need w and h flags < 1307325882 557981 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :conjecture: there can be an arbitrary number of e options. < 1307325910 483942 :Lymia!~moe@unaffiliated/cirno-chan PRIVMSG #esoteric :!perl $_ = "hm..."; s/hm/"'q{print 'perverse'}'"/e; print; < 1307325910 853466 :EgoBot!Gregor@codu.org PRIVMSG #esoteric :​'q{print 'perverse'}'... < 1307325914 659011 :Lymia!~moe@unaffiliated/cirno-chan PRIVMSG #esoteric :!perl $_ = "hm..."; s/hm/"'q{print 'perverse'}'"/ee; print; < 1307325915 71411 :EgoBot!Gregor@codu.org PRIVMSG #esoteric :​... < 1307325935 598618 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :hmm, yeah I don't know where standard input is going. < 1307325935 903356 :calamari!~calamari@ip72-211-146-193.tc.ph.cox.net PART #esoteric :"Leaving" < 1307325948 267021 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :probably to.... standard input < 1307325953 677351 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :Lymia: bad ' matching i think < 1307325955 148290 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :er < 1307325956 218670 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :output < 1307325960 409117 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :oh, that too < 1307325962 468749 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :use more q's < 1307325989 619415 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :CakeProphet: in lperl previously the explicit print got first < 1307325992 832729 :Lymia!~moe@unaffiliated/cirno-chan PRIVMSG #esoteric :!perl $_ = "hm..."; s/hm/"'q{q{print 'perverse'}}'"/e; print; < 1307325993 200379 :EgoBot!Gregor@codu.org PRIVMSG #esoteric :​'q{q{print 'perverse'}}'... < 1307325996 866496 :Lymia!~moe@unaffiliated/cirno-chan PRIVMSG #esoteric :!perl $_ = "hm..."; s/hm/"'q{q{print 'perverse'}}'"/ee; print; < 1307325997 290479 :EgoBot!Gregor@codu.org PRIVMSG #esoteric :​... < 1307325997 538691 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :oerjan: yeah < 1307326002 322966 :Lymia!~moe@unaffiliated/cirno-chan PRIVMSG #esoteric :So what is this? < 1307326010 592783 :Lymia!~moe@unaffiliated/cirno-chan PRIVMSG #esoteric :An extra way to do (extra perverse) conditionals? < 1307326014 213553 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :Lymia: you cannot have nested '' < 1307326029 500679 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :i don't recall if it's even possible to escape them < 1307326033 938211 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :it may have a problem with the nested {}'s as well but I'm not sure. < 1307326045 648628 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :!perl '\'' < 1307326049 289828 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :!perl print '\'' < 1307326049 671093 :EgoBot!Gregor@codu.org PRIVMSG #esoteric :​' < 1307326078 51676 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :in any case you can use pretty much anything as a delimeter with the q construct. < 1307326078 215585 :Lymia!~moe@unaffiliated/cirno-chan PRIVMSG #esoteric :!perl $_ = "hm..."; s/hm/"'q{q{print \'perverse\'}}'"/ee; print; < 1307326078 551054 :EgoBot!Gregor@codu.org PRIVMSG #esoteric :​... < 1307326105 151609 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :!perl print q#possibly even pound sign?# < 1307326105 513160 :EgoBot!Gregor@codu.org PRIVMSG #esoteric :​possibly even pound sign? < 1307326112 385515 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :Lymia: i think the \ get stripped already at the " stage < 1307326124 221195 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :Lymia: just use more q's :P < 1307326129 674898 :Lymia!~moe@unaffiliated/cirno-chan PRIVMSG #esoteric :!perl $_ = "hm..."; s/hm/"'q{q{print \\'perverse\\'}}'"/ee; print; < 1307326130 84018 :EgoBot!Gregor@codu.org PRIVMSG #esoteric :​q{q{print 'perverse'}}... < 1307326137 916049 :Lymia!~moe@unaffiliated/cirno-chan PRIVMSG #esoteric :!perl $_ = "hm..."; s/hm/"'q{q{q{print \\'perverse\\'}}}'"/ee; print; < 1307326138 309261 :EgoBot!Gregor@codu.org PRIVMSG #esoteric :​q{q{q{print 'perverse'}}}... < 1307326140 21310 :Lymia!~moe@unaffiliated/cirno-chan PRIVMSG #esoteric :!perl $_ = "hm..."; s/hm/"'q{q{q{print \\'perverse\\'}}}'"/eee; print; < 1307326140 422050 :EgoBot!Gregor@codu.org PRIVMSG #esoteric :​q{q{print 'perverse'}}... < 1307326143 335449 :Lymia!~moe@unaffiliated/cirno-chan PRIVMSG #esoteric :!perl $_ = "hm..."; s/hm/"'q{q{q{print \\'perverse\\'}}}'"/eeee; print; < 1307326143 714729 :EgoBot!Gregor@codu.org PRIVMSG #esoteric :​q{print 'perverse'}... < 1307326147 131197 :Lymia!~moe@unaffiliated/cirno-chan PRIVMSG #esoteric :!perl $_ = "hm..."; s/hm/"'q{q{q{print \\'perverse\\'}}}'"/eeeee; print; < 1307326147 539725 :EgoBot!Gregor@codu.org PRIVMSG #esoteric :​print 'perverse'... < 1307326151 719975 :Lymia!~moe@unaffiliated/cirno-chan PRIVMSG #esoteric :!perl $_ = "hm..."; s/hm/"'q{q{q{print \\'perverse\\'}}}'"/eeeeee; print; < 1307326152 127088 :EgoBot!Gregor@codu.org PRIVMSG #esoteric :​perverse1... < 1307326158 131622 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :SUCCESS < 1307326162 215639 :Lymia!~moe@unaffiliated/cirno-chan PRIVMSG #esoteric :Perl is inane. < 1307326162 840258 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :as indicated by the 1 < 1307326181 299908 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :Lymia: well the {}'s nested pretty well... < 1307326196 692691 :Lymia!~moe@unaffiliated/cirno-chan PRIVMSG #esoteric :!perl $_ = "hm..."; s/hm/"'q{q{q{print \\'perverse\\'}}}'"/e; print; < 1307326197 96429 :EgoBot!Gregor@codu.org PRIVMSG #esoteric :​'q{q{q{print \'perverse\'}}}'... < 1307326199 83052 :Lymia!~moe@unaffiliated/cirno-chan PRIVMSG #esoteric :!perl $_ = "hm..."; s/hm/"'q{q{q{print \\'perverse\\'}}}'"/ee; print; < 1307326199 519444 :EgoBot!Gregor@codu.org PRIVMSG #esoteric :​q{q{q{print 'perverse'}}}... < 1307326205 614250 :Lymia!~moe@unaffiliated/cirno-chan PRIVMSG #esoteric :!perl $_ = "hm..."; s/hm/"'q{q{q{print \\'perverse\\'}}}'"/eee; print; < 1307326206 26892 :EgoBot!Gregor@codu.org PRIVMSG #esoteric :​q{q{print 'perverse'}}... < 1307326233 551883 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :!perl q{q[q]};$_=eval for 1..12;print < 1307326350 996255 :EgoBot!Gregor@codu.org PRIVMSG #esoteric :​q[q] < 1307326364 221314 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :and '' for q'' which is a special case < 1307326373 993930 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :oerjan: "" is qq < 1307326386 734822 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :oh hm < 1307326399 236717 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :q is '', and yes those forms are abbreviations of the more general form. < 1307326403 794383 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :whatever that even means. < 1307326453 867495 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :well but i also recall that using '' as delimiters in some of the other quote-like constructs turns off interpolation < 1307326485 778901 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :yeah it does. like in m and s < 1307326494 746938 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :!perl $_ = "test"; s'test'$1'; print; < 1307326495 193547 :EgoBot!Gregor@codu.org PRIVMSG #esoteric :​$1 < 1307326520 487899 :Lymia!~moe@unaffiliated/cirno-chan PRIVMSG #esoteric :!perl $_=q{q[q]};$_=eval for 1..120;print < 1307326520 919055 :EgoBot!Gregor@codu.org PRIVMSG #esoteric :​q[q] < 1307326531 207868 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :yeah I don't know why that's not working. < 1307326564 672280 :Lymia!~moe@unaffiliated/cirno-chan PRIVMSG #esoteric :!perl $_="q{q[q]}";$_=eval for 1..120;print < 1307326565 107240 :EgoBot!Gregor@codu.org PRIVMSG #esoteric :​$# is no longer supported at /tmp/input.18287 line 1. < 1307326580 207911 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :...heh < 1307326581 798597 :Lymia!~moe@unaffiliated/cirno-chan PRIVMSG #esoteric :!perl $_="q{q[q]}";$_=eval for 1..120;print < 1307326582 177989 :EgoBot!Gregor@codu.org PRIVMSG #esoteric :​q{q[q]} < 1307326586 239052 :Lymia!~moe@unaffiliated/cirno-chan PRIVMSG #esoteric ::[ < 1307326591 248085 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :so q$ might do weird things. < 1307326592 401405 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :CakeProphet: erm sure you didn't get other lines in DCC? < 1307326603 117467 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :oerjan: I did not. < 1307326606 915585 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :it only prints once. < 1307326618 999620 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :the for is attached to the $_=eval < 1307326636 662411 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :hm < 1307326644 639019 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :!perl print qq'$0' < 1307326645 25324 :EgoBot!Gregor@codu.org PRIVMSG #esoteric :​/tmp/input.18472 < 1307326647 32489 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :!perl print "a" for 1..10; < 1307326647 430686 :EgoBot!Gregor@codu.org PRIVMSG #esoteric :​aaaaaaaaaa < 1307326663 540480 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :so I'm guessing the return value of eval is bad. < 1307326683 361189 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :!perl $_="q{q[q]}";eval for 1..12;print < 1307326683 747511 :EgoBot!Gregor@codu.org PRIVMSG #esoteric :​q{q[q]} < 1307326700 879762 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :!perl $_="q{q[q]}";eval for 1..11;print < 1307326701 260739 :EgoBot!Gregor@codu.org PRIVMSG #esoteric :​q{q[q]} < 1307326718 90100 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :yeah I'm stumped. :P < 1307326731 391906 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :!perl $_="q{q[q]}";$_=eval for 1..11;print < 1307326731 813018 :EgoBot!Gregor@codu.org PRIVMSG #esoteric :​q{q[q]} < 1307326746 721558 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :it might be a bad idea to use all of those symbols together at once like that... < 1307326768 572100 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :because of special variables. < 1307326827 965749 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :!perl $_="q{q[q]}"; print eval; < 1307326828 343150 :EgoBot!Gregor@codu.org PRIVMSG #esoteric :​q[q] < 1307326843 943895 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :!perl $_="q{q[q]}";($_=eval) for 1..11;print < 1307326844 375157 :EgoBot!Gregor@codu.org PRIVMSG #esoteric :​q{q[q]} < 1307326859 42949 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :...yeah. no fucking idea. < 1307326879 53750 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :erm < 1307326881 254626 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :my guess is that it has something to do with horrid abuve of quote-like operators. < 1307326899 126714 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :*abuse < 1307326911 169174 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :what variable is the for 1..11 construct using? >:) < 1307326919 925599 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :... < 1307326928 103395 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :looool < 1307326941 380541 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :except < 1307326942 634688 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :why $_ of course. Why, what is the problem? < 1307326957 442919 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :oh and it's made local i guess < 1307326963 232361 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :yes < 1307326965 2867 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :so it's reinstated after the loop < 1307326981 434693 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :yes, if $_ were global terrible things would happen. < 1307326988 234211 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :instead it's a weird pseudo-global thing. < 1307327039 427017 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :!perl $s="q{q[q]}";$s=eval$s for 1..11;print$s < 1307327039 835646 :EgoBot!Gregor@codu.org PRIVMSG #esoteric :​Array found where operator expected at (eval 6) line 1, at end of line < 1307327066 256380 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :now we're getting into the "abuse of quote-like operator" errors. < 1307327078 456084 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :it's parsing the @q as an array variable < 1307327085 506769 :Patashu!~Patashu@c122-106-155-219.carlnfd1.nsw.optusnet.com.au PRIVMSG #esoteric :lol wtf are you guys doing < 1307327093 376636 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :Patashu: fun with Perl. < 1307327162 101213 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :CakeProphet: leave off the outer " < 1307327185 117233 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :....ah < 1307327188 707714 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :or change it to '' < 1307327201 748654 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :!perl $s='q{q[q]}';$s=eval$s for 1..11;print$s < 1307327202 82575 :EgoBot!Gregor@codu.org PRIVMSG #esoteric :​Array found where operator expected at (eval 6) line 1, at end of line < 1307327222 815149 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :ya got a qq in there < 1307327227 568192 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :...oh < 1307327241 909597 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :!perl $s='q{q[q]}';$s=eval$s for 1..11;print$s < 1307327242 340726 :EgoBot!Gregor@codu.org PRIVMSG #esoteric :​muhahahahahahaha < 1307327268 169390 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :we got the evil genius at the delicious quoted core. < 1307327312 955759 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :sealed evil in a can < 1307327362 489965 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :!perl open 0; print <0> < 1307327362 860129 :EgoBot!Gregor@codu.org PRIVMSG #esoteric :​open 0; print <0> < 1307327373 969209 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :such a strange thing.. < 1307327847 809279 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :open VARIABLE, EXPR. If you don't specify EXPR, then the scalar variable with the same name as the filehandle name is evaluated and used as the filename. < 1307327854 207259 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :0 is a valid filehandle name, apparently. < 1307327862 148048 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :and $0 is the program name. < 1307328005 259906 :Patashu!~Patashu@c122-106-155-219.carlnfd1.nsw.optusnet.com.au PRIVMSG #esoteric :you guys know of any esoteric logic gates? < 1307328009 695531 :Patashu!~Patashu@c122-106-155-219.carlnfd1.nsw.optusnet.com.au PRIVMSG #esoteric :or esoteric circuitry < 1307328041 948518 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :reversible gates are cool < 1307328078 159323 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :(and theoretically, cool physically as well) < 1307328173 831624 :Patashu!~Patashu@c122-106-155-219.carlnfd1.nsw.optusnet.com.au PRIVMSG #esoteric :reversible computing, huh... < 1307328240 623813 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :esoteric circuitry? not really.. < 1307328254 654721 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :a quine circuit would be interesting. < 1307328265 280899 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :..but I don't even know what that means. < 1307328279 884565 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :outputs its schematic as a bitmap? < 1307328335 995126 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :sounds impossible. < 1307328383 25892 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :sounds obviously possible, actually... < 1307328395 930905 :Patashu!~Patashu@c122-106-155-219.carlnfd1.nsw.optusnet.com.au PRIVMSG #esoteric :you just need to define proper encoding schemes < 1307328406 553551 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :standard quining techniques applied to hardware < 1307328468 177016 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :postscript, for printing. :) < 1307328469 694369 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :the data part would be the memory < 1307328504 597004 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :so I recently discovered this: http://perldoc.perl.org/functions/tie.html < 1307328520 831827 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :and I think it would be a good way to explore some unorthodox variable assignment semantics. < 1307328575 31712 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :but in general it just looks useful. You could easily write a package that automatically breadcrumbs a variable for you each time it's reassigned. < 1307328903 768513 :coppro!~scshunt@denardo.csclub.uwaterloo.ca PRIVMSG #esoteric :this is so very very awesome: (elliott you better visit this link when you read the logs) http://www.youtube.com/watch?v=sjtzib0G9Rs < 1307329051 55364 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :awww yeah musical tesla coils. < 1307329129 368536 :coppro!~scshunt@denardo.csclub.uwaterloo.ca PRIVMSG #esoteric :those things are awesome < 1307329130 416168 :coppro!~scshunt@denardo.csclub.uwaterloo.ca PRIVMSG #esoteric :and loud < 1307329131 638345 :coppro!~scshunt@denardo.csclub.uwaterloo.ca PRIVMSG #esoteric :and awesome < 1307329154 678205 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :http://www.youtube.com/watch?v=B1O2jcfOylU < 1307329163 317515 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :may have already seen this one. it's the mario bros. theme song < 1307329176 65913 :coppro!~scshunt@denardo.csclub.uwaterloo.ca PRIVMSG #esoteric :yeah < 1307329184 102442 :coppro!~scshunt@denardo.csclub.uwaterloo.ca PRIVMSG #esoteric :except that one doesn't have Adam Savage dancing around < 1307329194 516853 :coppro!~scshunt@denardo.csclub.uwaterloo.ca PRIVMSG #esoteric :also I haven't heard them play Mario Bros < 1307329273 429042 :augur!~augur@129.2.129.35 QUIT :Remote host closed the connection < 1307329423 412918 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :also this: http://www.youtube.com/watch?v=xD_HQ4B0Fcw < 1307329587 172840 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :this Tesla was an awesome dude. < 1307329604 434748 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :er... the "this" is an artifact from something else I was going to type. < 1307332416 654680 :Slereah!~Slereah@ANantes-259-1-1-165.w92-135.abo.wanadoo.fr JOIN :#esoteric < 1307332417 503986 :Slereah_!~Slereah@ANantes-259-1-51-80.w92-135.abo.wanadoo.fr QUIT :Ping timeout: 240 seconds < 1307332752 563142 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :future elliott: Good post-400 xkcd: http://xkcd.com/602/ < 1307332990 880598 :Slereah_!~Slereah@ANantes-259-1-132-157.w92-139.abo.wanadoo.fr JOIN :#esoteric < 1307333073 635454 :Slereah!~Slereah@ANantes-259-1-1-165.w92-135.abo.wanadoo.fr QUIT :Ping timeout: 260 seconds < 1307333211 23827 :Slereah!~Slereah@ANantes-259-1-65-41.w92-135.abo.wanadoo.fr JOIN :#esoteric < 1307333256 960850 :Slereah_!~Slereah@ANantes-259-1-132-157.w92-139.abo.wanadoo.fr QUIT :Ping timeout: 260 seconds < 1307333658 301976 :pikhq!~pikhq@71-219-208-195.clsp.qwest.net QUIT :Ping timeout: 240 seconds < 1307333667 587663 :pikhq!~pikhq@174-22-150-78.clsp.qwest.net JOIN :#esoteric < 1307333931 149107 :Slereah!~Slereah@ANantes-259-1-65-41.w92-135.abo.wanadoo.fr QUIT :Read error: Operation timed out < 1307333982 510177 :Slereah!~Slereah@ANantes-259-1-102-78.w92-139.abo.wanadoo.fr JOIN :#esoteric < 1307334065 16178 :oerjan!oerjan@tyrell.nvg.ntnu.no QUIT :Quit: leaving < 1307334368 887629 :Slereah!~Slereah@ANantes-259-1-102-78.w92-139.abo.wanadoo.fr QUIT :Ping timeout: 250 seconds < 1307334375 454244 :Slereah!~Slereah@ANantes-259-1-107-245.w92-139.abo.wanadoo.fr JOIN :#esoteric < 1307334892 31354 :Slereah_!~Slereah@ANantes-259-1-5-239.w92-135.abo.wanadoo.fr JOIN :#esoteric < 1307334952 196678 :Slereah!~Slereah@ANantes-259-1-107-245.w92-139.abo.wanadoo.fr QUIT :Ping timeout: 248 seconds < 1307335183 110992 :variable!~variable@unaffiliated/variable QUIT :Quit: /dev/io failed < 1307335615 946281 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :I love entering random IP addresses into tracepath < 1307335824 971496 :Slereah_!~Slereah@ANantes-259-1-5-239.w92-135.abo.wanadoo.fr QUIT :Ping timeout: 250 seconds < 1307335910 963285 :Slereah!~Slereah@ANantes-259-1-61-173.w92-135.abo.wanadoo.fr JOIN :#esoteric < 1307336152 995478 :Slereah_!~Slereah@ANantes-259-1-133-180.w92-139.abo.wanadoo.fr JOIN :#esoteric < 1307336216 81221 :Slereah!~Slereah@ANantes-259-1-61-173.w92-135.abo.wanadoo.fr QUIT :Ping timeout: 240 seconds < 1307336451 381569 :variable!~variable@unaffiliated/variable JOIN :#esoteric < 1307338465 266530 :oklopol!~oklopol@dyn37-212.vpn.utu.fi PRIVMSG #esoteric :i slept lolol ! < 1307338641 881342 :oklopol!~oklopol@dyn37-212.vpn.utu.fi PRIVMSG #esoteric :" basically what they are." <<< how many lectures did 'a relation between X and Y is a subset of XxY' take? < 1307338860 779597 :oklopol!~oklopol@dyn37-212.vpn.utu.fi PRIVMSG #esoteric :" oerjan: so when you convert the original element into its equivalence class, it preserves the algebraic structure?" <<< note that it's the 'homomorphism' type of 'preserve' and not the isomorphism type -- you might map multiple things to the same element, operations just do the same thing on both sides < 1307339069 520756 :aloril!~aloril@dsl-tkubrasgw3-fe7ef900-153.dhcp.inet.fi QUIT :Ping timeout: 250 seconds < 1307339537 684988 :oklopol!~oklopol@dyn37-212.vpn.utu.fi PRIVMSG #esoteric :Briefly, if A is an algebra, a congruence on A is an equivalence relation F on A which is a subalgebra when considered as a subset of (the latter with the coordinate-wise operation structure). < 1307339540 481012 :oklopol!~oklopol@dyn37-212.vpn.utu.fi PRIVMSG #esoteric :haha < 1307339558 703279 :oklopol!~oklopol@dyn37-212.vpn.utu.fi PRIVMSG #esoteric :should be subset of A^2 < 1307339599 681125 :oklopol!~oklopol@dyn37-212.vpn.utu.fi PRIVMSG #esoteric :but lol that's a great definition lol :D < 1307339716 881861 :oklopol!~oklopol@dyn37-212.vpn.utu.fi PRIVMSG #esoteric :well, i guess wp is an encyclopedia and not math for kids with alfred the bunny but anyway could at least give a list of equivalent definitions instead < 1307339824 436030 :aloril!~aloril@dsl-tkubrasgw3-fe7ef900-153.dhcp.inet.fi JOIN :#esoteric < 1307340150 459647 :augur!~augur@208.58.6.161 JOIN :#esoteric < 1307340508 540167 :Patashu!~Patashu@c122-106-155-219.carlnfd1.nsw.optusnet.com.au PRIVMSG #esoteric :sbahj related http://www.youtube.com/watch?v=u7YfVmY9Qjs < 1307341057 612778 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :oklopol: that was only one lecture. There was only two or so lectures on relations; it was a very small section of the course. < 1307341100 930350 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :the largest sections were spent on combinatorics and induction proofs. < 1307341568 56385 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :the sections were: a small section on boolean algebra and basic logical statements (wooo), a large section on proofs by definition/negation/contraposition covering things like divisibility and primality, a large section on induction proofs, a large section on combinatorics, a lecture on set theory, a lecture on relations, and then the last section was a mashup of FSA, regular languages/expressions, and graph theory. < 1307341647 182067 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :all-in-all the most interesting math course I've taken so far. I plan on taking "Introduction to Advanced Mathematics" and then Topology later, preferably with the same professor if I don't transfer. < 1307341809 543692 :Patashu!~Patashu@c122-106-155-219.carlnfd1.nsw.optusnet.com.au QUIT :Ping timeout: 240 seconds < 1307341809 973957 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :My other options are Calc 3, linear algebra, or real analysis. bleh, no thanks. Number theory is another option that would be interesting as well. < 1307341900 524305 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :Linear algebra could be useful in programming, I guess... < 1307341956 685548 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :but I want to learn about some motherfucking spaces. < 1307342010 970353 :coppro!~scshunt@denardo.csclub.uwaterloo.ca PRIVMSG #esoteric :spaces of what sort? < 1307342026 877817 :coppro!~scshunt@denardo.csclub.uwaterloo.ca PRIVMSG #esoteric :also what school is this? < 1307342119 318005 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :coppro: the topological variety. < 1307342169 80013 :Sgeo!~Sgeo@ool-18bf618a.dyn.optonline.net QUIT :Ping timeout: 250 seconds < 1307342170 906803 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :http://en.wikipedia.org/wiki/SPSU < 1307342175 497743 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :coppro: one you've never heard of < 1307342282 1198 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :basically it used to be a satellite campus of Georgia Tech but is now a separate university. < 1307342363 409605 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :also parts of that article read like a website for the university.. < 1307342869 630507 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :I plan on transferring to Tech in my fourth year so that I can get all the good reputation while avoiding most of the obscene tuition costs. < 1307343141 325293 :coppro!~scshunt@denardo.csclub.uwaterloo.ca PRIVMSG #esoteric :hah < 1307343149 837053 :coppro!~scshunt@denardo.csclub.uwaterloo.ca PRIVMSG #esoteric :you americans and your tuition < 1307343190 201928 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :yes, and our debt. < 1307343197 263792 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :and our debt to pay for tuition... < 1307343217 382463 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :why? Because people flip the fuck out if you raise taxes. < 1307343237 997167 :coppro!~scshunt@denardo.csclub.uwaterloo.ca PRIVMSG #esoteric :ayup < 1307343247 161437 :coppro!~scshunt@denardo.csclub.uwaterloo.ca PRIVMSG #esoteric :and don't understand economics < 1307343248 10295 :coppro!~scshunt@denardo.csclub.uwaterloo.ca PRIVMSG #esoteric :at all < 1307343250 563309 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :...not at all < 1307343260 919194 :coppro!~scshunt@denardo.csclub.uwaterloo.ca PRIVMSG #esoteric :see: any government that is not allowed to run a deficit < 1307343261 403923 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :dude the tea party movement is the most retarded thing I've ever seen in American politics. < 1307343277 726338 :coppro!~scshunt@denardo.csclub.uwaterloo.ca PRIVMSG #esoteric :not allowing a government to run a deficit is suicide < 1307343287 200338 :coppro!~scshunt@denardo.csclub.uwaterloo.ca PRIVMSG #esoteric :like, your country is doomed < 1307343295 673529 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :indeed < 1307343308 504761 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :the states have way too much deficit though. < 1307343361 50616 :coppro!~scshunt@denardo.csclub.uwaterloo.ca PRIVMSG #esoteric :now, structural deficits suck balls < 1307343379 346247 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :coppro: from where do you hail? < 1307343384 171956 :coppro!~scshunt@denardo.csclub.uwaterloo.ca PRIVMSG #esoteric :CakeProphet: Canadia < 1307343408 257063 :coppro!~scshunt@denardo.csclub.uwaterloo.ca PRIVMSG #esoteric :currently living in California working at the country^Wcompany that will someday RULE THE WORLD^W^W^W do stuff < 1307343411 298027 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :we have a very pervasive structural deficit. I believe for every $2 we generate we spend 5. roughly < 1307343421 240767 :coppro!~scshunt@denardo.csclub.uwaterloo.ca PRIVMSG #esoteric :yeah < 1307343429 12479 :coppro!~scshunt@denardo.csclub.uwaterloo.ca PRIVMSG #esoteric :structural deficit definitely shouldn't happen < 1307343436 91795 :coppro!~scshunt@denardo.csclub.uwaterloo.ca PRIVMSG #esoteric :but outlawing deficit altogether is not the solution < 1307343444 432414 :coppro!~scshunt@denardo.csclub.uwaterloo.ca PRIVMSG #esoteric :because otherwise the government can't help a struggling economy < 1307343474 958075 :coppro!~scshunt@denardo.csclub.uwaterloo.ca PRIVMSG #esoteric :also dumb is the GODDAMN EVERYONE, not just Americans, who think that when the economy is doing well, taxes should go down because the government doesn't need the money < 1307343482 170431 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :honestly I think raising taxes is the solution to our deficit. Perhaps even economic problems. < 1307343514 58839 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :cutting programs is not because any bill to cut programs will get fucked up in congress. < 1307343529 799304 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :and because no one can fucking decide what to cut. < 1307343549 434686 :coppro!~scshunt@denardo.csclub.uwaterloo.ca PRIVMSG #esoteric :well problem #1 is you're in a whole < 1307343552 57820 :coppro!~scshunt@denardo.csclub.uwaterloo.ca PRIVMSG #esoteric :*hole < 1307343565 72627 :coppro!~scshunt@denardo.csclub.uwaterloo.ca PRIVMSG #esoteric :you effectively have to cut taxes < 1307343569 761079 :coppro!~scshunt@denardo.csclub.uwaterloo.ca PRIVMSG #esoteric :or borrow a shitton of money < 1307343578 48748 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :already got that covered... < 1307343583 648258 :coppro!~scshunt@denardo.csclub.uwaterloo.ca PRIVMSG #esoteric :err not cut taxes < 1307343585 43937 :coppro!~scshunt@denardo.csclub.uwaterloo.ca PRIVMSG #esoteric :cut spending < 1307343604 849008 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :raising taxes is an equivalent solution really. < 1307343606 480033 :coppro!~scshunt@denardo.csclub.uwaterloo.ca PRIVMSG #esoteric :because your government can't safely raise taxes; the economy is still fragile < 1307343610 981584 :coppro!~scshunt@denardo.csclub.uwaterloo.ca PRIVMSG #esoteric :it's not < 1307343611 724447 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :...true. < 1307343622 525570 :coppro!~scshunt@denardo.csclub.uwaterloo.ca PRIVMSG #esoteric :this is the real problem < 1307343668 500464 :coppro!~scshunt@denardo.csclub.uwaterloo.ca PRIVMSG #esoteric :once the economy picks up, they can and should raise taxes < 1307343672 251882 :coppro!~scshunt@denardo.csclub.uwaterloo.ca PRIVMSG #esoteric :a lot < 1307343678 816833 :coppro!~scshunt@denardo.csclub.uwaterloo.ca PRIVMSG #esoteric :but that could be a long time < 1307343681 583192 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :however, a lot of the extra revenue could be spent on economic stimulus programs which, while at the same time alleviated a structural problem of not enough revenue. < 1307343683 770784 :coppro!~scshunt@denardo.csclub.uwaterloo.ca PRIVMSG #esoteric :they should also continue to cut spending < 1307343698 649298 :coppro!~scshunt@denardo.csclub.uwaterloo.ca PRIVMSG #esoteric :military in particular < 1307343700 311956 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :economic stimulus programs such as finding a way to eliminate our trade deficit... which is another structural problem. < 1307343708 131353 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :coppro: yes. < 1307343713 871542 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :military spending is ridiculous. < 1307343764 940058 :coppro!~scshunt@denardo.csclub.uwaterloo.ca PRIVMSG #esoteric :another common misconception is that government debt is bad < 1307343828 615339 :coppro!~scshunt@denardo.csclub.uwaterloo.ca PRIVMSG #esoteric :government debt can be friggin' awesome when you've got bonds that pay out at less than inflation < 1307343848 48895 :coppro!~scshunt@denardo.csclub.uwaterloo.ca PRIVMSG #esoteric :although too much of it will bite you if inflation drops < 1307343867 674264 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :but generally our legislative branch is too busy focusing on partisan bullshit to be effective at creating economic recovery programs, so.. < 1307343878 556807 :coppro!~scshunt@denardo.csclub.uwaterloo.ca PRIVMSG #esoteric :yup < 1307343916 194391 :Slereah_!~Slereah@ANantes-259-1-133-180.w92-139.abo.wanadoo.fr QUIT :Ping timeout: 255 seconds < 1307343926 672080 :coppro!~scshunt@denardo.csclub.uwaterloo.ca PRIVMSG #esoteric :now of course there is the 'print money' approach < 1307343937 173623 :coppro!~scshunt@denardo.csclub.uwaterloo.ca PRIVMSG #esoteric :but the US economy is dead if that happens < 1307343948 481914 :coppro!~scshunt@denardo.csclub.uwaterloo.ca PRIVMSG #esoteric :I just hope I'm out of the country before < 1307343951 278920 :mtve!~mtve@65.98.99.53 QUIT :Ping timeout: 252 seconds < 1307343960 655296 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :yeah, I don't even think printing more money is even a valid consideration. < 1307343982 104157 :Slereah!~Slereah@ANantes-259-1-64-105.w92-135.abo.wanadoo.fr JOIN :#esoteric < 1307344039 243897 :coppro!~scshunt@denardo.csclub.uwaterloo.ca PRIVMSG #esoteric :hyperinflation whee < 1307344052 203175 :coppro!~scshunt@denardo.csclub.uwaterloo.ca PRIVMSG #esoteric :of course I don't think the US government is quite as stupid as Zimbabwe < 1307344053 668095 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :in my mind a gradual increase in taxes, cutting of unecessary programs, and establishment of new programs that are designed to ultimately generate more economic stability should be our goal < 1307344070 39132 :coppro!~scshunt@denardo.csclub.uwaterloo.ca PRIVMSG #esoteric :I trust Congress not to cause two hundred million percent inflation < 1307344128 156212 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :coppro: yes, congress is only borderline retarded. < 1307344132 166406 :coppro!~scshunt@denardo.csclub.uwaterloo.ca PRIVMSG #esoteric :that's about as far as I go though < 1307344183 27682 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :I wonder if things would improve if we made Obama temporary dictator for the duration of his term. < 1307344183 779953 :mtve!~mtve@65.98.99.53 JOIN :#esoteric < 1307344186 347483 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric ::P < 1307344205 319094 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :honestly it seems like a better option than having congress fumbling everything. < 1307344208 510898 :coppro!~scshunt@denardo.csclub.uwaterloo.ca PRIVMSG #esoteric :probably < 1307344246 588933 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :coppro: unless people rioted and whatnot. < 1307344258 247891 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :which, is not out of the question. < 1307344317 236371 :coppro!~scshunt@denardo.csclub.uwaterloo.ca PRIVMSG #esoteric :you don't consider that they're already doing so? < 1307344329 432066 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :are they? I haven't been paying attention to that. < 1307344339 431683 :coppro!~scshunt@denardo.csclub.uwaterloo.ca PRIVMSG #esoteric :see wisconsin for instance < 1307344365 437706 :coppro!~scshunt@denardo.csclub.uwaterloo.ca PRIVMSG #esoteric :your country is in a state of political turmoil, the problem being that you have a nice half-and-half split < 1307344425 132224 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :the minority that absolutely hate Obama are way more vitriolic than any protest group I've witnesses. Granted, I'm young. :P < 1307344430 468181 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :*witnessed < 1307344458 282363 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :it's very easy to think that there's racism involved. < 1307344490 545253 :coppro!~scshunt@denardo.csclub.uwaterloo.ca PRIVMSG #esoteric :oh, I'm not really talking about Obama-haters < 1307344498 206404 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :right. < 1307344505 774165 :coppro!~scshunt@denardo.csclub.uwaterloo.ca PRIVMSG #esoteric :I mean, they exist < 1307344515 473199 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :we've always been in that state. always as in... the last several decades. < 1307344515 635746 :coppro!~scshunt@denardo.csclub.uwaterloo.ca PRIVMSG #esoteric :They will exist for any political leader < 1307344539 818051 :coppro!~scshunt@denardo.csclub.uwaterloo.ca PRIVMSG #esoteric :There is a fairly significant portion of our population who believes Harper is going to ruin the country < 1307344554 655802 :coppro!~scshunt@denardo.csclub.uwaterloo.ca PRIVMSG #esoteric :I used to think that. Now I don't since I can keep my sanity that way. < 1307344571 384553 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :coppro: typical stupid American that I am, I had to look up that name to know what you were talking about. :P < 1307344608 736208 :coppro!~scshunt@denardo.csclub.uwaterloo.ca PRIVMSG #esoteric :but also because his temperament has improved just enough that I think we might survive < 1307344726 605663 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :man, I wish my higher education was paid for. :P < 1307344794 297815 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :there's absolutely no disadvantages to educating your populace beyond secondary education. < 1307344805 242639 :coppro!~scshunt@denardo.csclub.uwaterloo.ca PRIVMSG #esoteric :sure there is < 1307344807 106025 :coppro!~scshunt@denardo.csclub.uwaterloo.ca PRIVMSG #esoteric :it costs money < 1307344809 853087 :coppro!~scshunt@denardo.csclub.uwaterloo.ca PRIVMSG #esoteric :which is obviously wrong < 1307344816 604038 :coppro!~scshunt@denardo.csclub.uwaterloo.ca PRIVMSG #esoteric :government shouldn't spend money, etc. < 1307344921 82074 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :it costs money, but ultimately it enables anyone, regardless of economic background, to become well-educated. And without a well-educated populace a democracy is pretty much doomed. < 1307344932 416007 :wth!~tianhou@222.242.196.227 JOIN :#esoteric < 1307344958 442234 :wth!~tianhou@222.242.196.227 NICK :Guest56111 < 1307345006 334246 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :coppro: what do you do for a living? < 1307345043 629824 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :!show dechatspeak < 1307345044 422114 :EgoBot!Gregor@codu.org PRIVMSG #esoteric :​perl while(<>){lc;s/\by\b/why/g;s/\bu\b/you/g;s/\br\b/are/g;s/\bb4\b/before/g;s/\bty\b/thank you/g;s/\bsry\b/sorry/g;s/\bur\b/your/g;s/\bb\b/be/g;s/\bbc\b/because/g;s/\blol\b/haha/g;s/\blmao\b/hahaha/g;s/\brofl\b/hahahaha/g;s/\bbrb\b/be right back/g;s/\bafk\b/away from keyboard/g;s/\b4\b/for/g;s/\b1\b/one/g;s/\bne1\b/anyone/g;s/\bno1\b/no-one/g;s/\b(some|sum)1\b/someone/g;s/\bttyl\b/talk to you lat < 1307345050 800946 :coppro!~scshunt@denardo.csclub.uwaterloo.ca PRIVMSG #esoteric :CakeProphet: Student, presently working at the aforementioned company < 1307345062 876824 :coppro!~scshunt@denardo.csclub.uwaterloo.ca PRIVMSG #esoteric :in September, I resume studenting < 1307345067 670260 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :coppro: er, aforementioned? perhaps I missed something. < 1307345080 82739 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :or just have the memory of a goldfish. < 1307345096 531630 :coppro!~scshunt@denardo.csclub.uwaterloo.ca PRIVMSG #esoteric :02:56 < coppro> currently living in California working at the country^Wcompany that will someday RULE THE WORLD^W^W^W do stuff < 1307345098 860302 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :oh yeah < 1307345102 866506 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :I missed it. < 1307345122 950871 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :uh.. Google? :P < 1307345125 501319 :coppro!~scshunt@denardo.csclub.uwaterloo.ca PRIVMSG #esoteric :yes < 1307345130 629604 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :oh, nice. < 1307345134 582117 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :how'd you manage that. < 1307345155 651401 :coppro!~scshunt@denardo.csclub.uwaterloo.ca PRIVMSG #esoteric :by working on an open-source project and having Google people say "You should work for us". So I did. < 1307345161 964503 :coppro!~scshunt@denardo.csclub.uwaterloo.ca PRIVMSG #esoteric :(clang) < 1307345170 824409 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :I would VERY MUCH be interested in going to california and doing graduate studies at Berkeley. < 1307345179 222719 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :also.. I NEED to get into open source development. < 1307345185 179842 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :there's absolutely no reason I shouldn't be right now. < 1307345186 402429 :coppro!~scshunt@denardo.csclub.uwaterloo.ca PRIVMSG #esoteric :you should come to Waterloo instead < 1307345196 924583 :coppro!~scshunt@denardo.csclub.uwaterloo.ca PRIVMSG #esoteric :we have cookies < 1307345200 262563 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :ooooh < 1307345235 713525 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :coppro: what open source project? < 1307345239 546271 :coppro!~scshunt@denardo.csclub.uwaterloo.ca PRIVMSG #esoteric :clang < 1307345243 552174 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :...oh < 1307345256 703718 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :see, I thought that as just some weird onomatopoeia I didn't understand. < 1307345259 430764 :coppro!~scshunt@denardo.csclub.uwaterloo.ca PRIVMSG #esoteric :although I actually have no clue about the relative expense of graduate schools, I know that it's a hell of a lot cheaper to undergrad in Waterloo < 1307345267 293534 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :I'm sure. < 1307345281 33157 :Guest56111!~tianhou@222.242.196.227 PART #esoteric :"Leaving." < 1307345283 524889 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :same with Southern Poly compared to Georgia Tech. < 1307345293 594787 :coppro!~scshunt@denardo.csclub.uwaterloo.ca PRIVMSG #esoteric :what's your tuition? < 1307345301 703449 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :......uh. lol < 1307345309 495484 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :I prefer not to think about it when I can. < 1307345338 145265 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric : $3872 per year < 1307345342 404467 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :apparently... < 1307345376 594041 :coppro!~scshunt@denardo.csclub.uwaterloo.ca PRIVMSG #esoteric :that's absurdly cheap < 1307345380 558790 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :I pretty much double the cost by living on campus though. Next semester I'm living off campus and it will get way cheaper. < 1307345415 617055 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :AND, Poly transfers very well to Tech. Though I'm not sure if any of the advanced CS courses will transfer because Tech has a jacked up Computer Science degree. < 1307345425 936117 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :jacked up in a cool way. Just non-standard. < 1307345445 767310 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :basically you pick 2 out of 8 sub-tracks. < 1307345447 56291 :coppro!~scshunt@denardo.csclub.uwaterloo.ca PRIVMSG #esoteric :ah < 1307345454 906550 :coppro!~scshunt@denardo.csclub.uwaterloo.ca PRIVMSG #esoteric :ah yeah we have some programs like that here < 1307345457 367019 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :and that determines your requirements. < 1307345473 364759 :coppro!~scshunt@denardo.csclub.uwaterloo.ca PRIVMSG #esoteric :less so now that the faculty is moving on to an á la carte system < 1307345501 428395 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :and since I'm waiting until my fourth year to attempt a transfer I will have to take SOME advanced CS classes. < 1307345525 324996 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :but I'm almost positive data structures will transfer, and databases. < 1307345558 209846 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :I have no idea about the introductory Java courses I took. GT starts off with a Python-based course. < 1307345578 443971 :coppro!~scshunt@denardo.csclub.uwaterloo.ca PRIVMSG #esoteric :fourth year seems dangerous to attempt a transfer < 1307345592 317746 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :it is, but my GPA kind of requires it. < 1307345597 911423 :coppro!~scshunt@denardo.csclub.uwaterloo.ca PRIVMSG #esoteric :ah < 1307345647 131451 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :as it turns out, taking summer classes in the middle of a post-relationship suicidal crisis is a bad idea. < 1307345737 672855 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :but I'm over that now. It was still a poor decision though. < 1307345779 362411 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :!show dechatspeak < 1307345779 652098 :EgoBot!Gregor@codu.org PRIVMSG #esoteric :​perl while(<>){lc;s/\by\b/why/g;s/\bu\b/you/g;s/\br\b/are/g;s/\bb4\b/before/g;s/\bty\b/thank you/g;s/\bsry\b/sorry/g;s/\bur\b/your/g;s/\bb\b/be/g;s/\bbc\b/because/g;s/\blol\b/haha/g;s/\blmao\b/hahaha/g;s/\brofl\b/hahahaha/g;s/\bbrb\b/be right back/g;s/\bafk\b/away from keyboard/g;s/\b4\b/for/g;s/\b1\b/one/g;s/\bne1\b/anyone/g;s/\bno1\b/no-one/g;s/\b(some|sum)1\b/someone/g;s/\bttyl\b/talk to you lat < 1307345786 204389 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :...I cannot spot the error in this. < 1307345807 323803 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :!dechatspeak lol hey guys y u mad? < 1307345809 35528 :EgoBot!Gregor@codu.org PRIVMSG #esoteric :​Substitution replacement not terminated at /tmp/input.8285 line 1. < 1307345834 487867 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :it highlights properly in emacs, and I've checked every replacement string to see if it terminates. Yet I still get an error. < 1307345847 263598 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :which leads me to believe that it's some odd syntax thing. < 1307345863 183844 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :...oh wait. I see it, haha. < 1307345878 43235 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :my program got cut off. < 1307345907 174295 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :!delinterp dechatspea < 1307345907 411116 :EgoBot!Gregor@codu.org PRIVMSG #esoteric :​That interpreter doesn't exist! < 1307345909 154835 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :!delinterp dechatspeak < 1307345909 414848 :EgoBot!Gregor@codu.org PRIVMSG #esoteric :​Interpreter dechatspeak deleted. < 1307345924 24837 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :!languages < 1307345927 15782 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :!help languages < 1307345927 278464 :EgoBot!Gregor@codu.org PRIVMSG #esoteric :​languages: Esoteric: 1l 2l adjust asm axo bch befunge befunge98 bf bf8 bf16 bf32 boolfuck cintercal clcintercal dimensifuck glass glypho haskell kipple lambda lazyk linguine malbolge pbrain perl qbf rail rhotor sadol sceql trigger udage01 underload unlambda whirl. Competitive: bfjoust fyb. Other: asm c cxx forth sh. < 1307345975 653093 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :!show lperl < 1307345975 926650 :EgoBot!Gregor@codu.org PRIVMSG #esoteric :​perl $_=<>;s/{{(.*?)}}(?!})/$1/gee;print < 1307346042 436963 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :!addinterp lsh perl $_=<>;s/{{(.*?)}}(?!})/`$1`/ge;print < 1307346042 791624 :EgoBot!Gregor@codu.org PRIVMSG #esoteric :​Interpreter lsh installed. < 1307346087 367871 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :!lsh Hello, {{echo 'world!'}} < 1307346087 941386 :EgoBot!Gregor@codu.org PRIVMSG #esoteric :​Hello, world! < 1307346169 10670 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :I sometimes get lost in rapturous amazement of whatever programming language I happen to be focusing on at various points in my life. < 1307346219 602759 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :like how Perl can do those two things in 36 and 37 bytes... < 1307346362 755664 :Lymia!~moe@unaffiliated/cirno-chan PRIVMSG #esoteric :!lsh hiiiiiiii{{"bluhbluh"}} < 1307346363 218166 :EgoBot!Gregor@codu.org PRIVMSG #esoteric :​/bin/sh: bluhbluh: command not found < 1307346381 624766 :Lymia!~moe@unaffiliated/cirno-chan PRIVMSG #esoteric :!lsh hiiiiiiii{{echo "you suck"}} < 1307346382 126609 :EgoBot!Gregor@codu.org PRIVMSG #esoteric :​hiiiiiiiiyou suck < 1307346383 278660 :Lymia!~moe@unaffiliated/cirno-chan PRIVMSG #esoteric ::c < 1307346399 19846 :Lymia!~moe@unaffiliated/cirno-chan PRIVMSG #esoteric :!lsh {{perl -c "fork while fork"}} < 1307346399 558959 :EgoBot!Gregor@codu.org PRIVMSG #esoteric :​Can't open perl script "fork while fork": No such file or directory < 1307346404 742332 :Lymia!~moe@unaffiliated/cirno-chan PRIVMSG #esoteric :!lsh {{perl -e "fork while fork"}} < 1307346413 850890 :Lymia!~moe@unaffiliated/cirno-chan PRIVMSG #esoteric :!lsh {{perl -e "print 'hi'"}} < 1307346418 130334 :EgoBot!Gregor@codu.org PRIVMSG #esoteric :​hi < 1307346422 133712 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :lol < 1307346432 573440 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :Lymia: have you been learning any Perl? < 1307346436 848454 :Lymia!~moe@unaffiliated/cirno-chan PRIVMSG #esoteric :Nope. < 1307346450 522717 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :it was either you or Patashu that was interested in learning it. < 1307346454 565762 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :can't recall. < 1307346463 140398 :Lymia!~moe@unaffiliated/cirno-chan PRIVMSG #esoteric :!bfjoust [[+-]+] < 1307346463 877743 :EgoBot!Gregor@codu.org PRIVMSG #esoteric :​Use: !bfjoust . Scoreboard, programs, and a description of score calculation are at http://codu.org/eso/bfjoust/ < 1307346469 997267 :Lymia!~moe@unaffiliated/cirno-chan PRIVMSG #esoteric :!bfjoust myon [[+-]+] < 1307346505 130014 :EgoBot!Gregor@codu.org PRIVMSG #esoteric :​Score for Lymia_myon: 7.6 < 1307346536 860691 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :`run echo '$_=<>;s/{{(.*?)}}(?!})/`$1`/ge;print' | wc -c < 1307346546 724328 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :... < 1307346549 400632 :HackEgo!Gregor@codu.org PRIVMSG #esoteric :​37 < 1307346571 171420 :Lymia!~moe@unaffiliated/cirno-chan PRIVMSG #esoteric :CakeProphet, what does that do? < 1307346575 576797 :Lymia!~moe@unaffiliated/cirno-chan PRIVMSG #esoteric :`run echo '$_=<>;s/{{(.*?)}}(?!})/`$1`/ge;print' < 1307346580 244187 :HackEgo!Gregor@codu.org PRIVMSG #esoteric :​$_=<>;s/{{(.*?)}}(?!})/`$1`/ge;print < 1307346586 880118 :Lymia!~moe@unaffiliated/cirno-chan PRIVMSG #esoteric :oh < 1307346588 959303 :Lymia!~moe@unaffiliated/cirno-chan PRIVMSG #esoteric :missed the echo < 1307346597 64460 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :well wc -c counts the bytes on standard in--oh < 1307346616 706467 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :yes I was just double checking my arithmetic. < 1307346726 808822 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :I'm not sure how I'm going to feel about my class that's most likely going to be either C++ or C# next semester < 1307346732 57453 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :after all of this Perl hacking. < 1307346829 910712 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :it will be like putting myself in a straight-jacket but attaching speedy rockets and < 1307346915 557387 :pikhq!~pikhq@174-22-150-78.clsp.qwest.net PRIVMSG #esoteric :So. Should I sleep? < 1307346925 26222 :pikhq!~pikhq@174-22-150-78.clsp.qwest.net PRIVMSG #esoteric :I mean, I just got home, but it *is* 02:00. < 1307346992 833412 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :!lperl hmmm, let me think about it. {{int(rand(2))?'yes you should':'no you shouldn\'t' < 1307346993 291036 :EgoBot!Gregor@codu.org PRIVMSG #esoteric :​hmmm, let me think about it. {{int(rand(2))?'yes you should':'no you shouldn\'t' < 1307346996 831972 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :!lperl hmmm, let me think about it. {{int(rand(2))?'yes you should':'no you shouldn\'t'}}. < 1307346997 213119 :EgoBot!Gregor@codu.org PRIVMSG #esoteric :​hmmm, let me think about it. yes you should. < 1307346999 836296 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric ::3 < 1307347022 143225 :pikhq!~pikhq@174-22-150-78.clsp.qwest.net PRIVMSG #esoteric :Damn you, EgoBot, for being the voice of reason. < 1307347031 62546 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :it's 3:57 here < 1307347176 928956 :monqy!~chap@pool-71-102-217-117.snloca.dsl-w.verizon.net QUIT :Quit: hello < 1307347232 182017 :coppro!~scshunt@denardo.csclub.uwaterloo.ca PRIVMSG #esoteric :pikhq: nah < 1307347348 327171 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :coppro: so clang is basically a better C compiler. < 1307347364 347077 :pikhq!~pikhq@174-22-150-78.clsp.qwest.net PRIVMSG #esoteric :CakeProphet: Problem: You do NOT want to bootstrap with it. < 1307347368 17432 :pikhq!~pikhq@174-22-150-78.clsp.qwest.net PRIVMSG #esoteric :Not only no but hell no. < 1307347392 48549 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :pikhq: okay. For all of my future bootstrapping purposes I will refrain from using clang. :P < 1307347413 680754 :pikhq!~pikhq@174-22-150-78.clsp.qwest.net PRIVMSG #esoteric :It's actually a fairly necessary use case for a C compiler. < 1307347430 543763 :pikhq!~pikhq@174-22-150-78.clsp.qwest.net PRIVMSG #esoteric :As everything else tends to rely on the presence of a sane, functioning C compiler. < 1307347448 674446 :pikhq!~pikhq@174-22-150-78.clsp.qwest.net PRIVMSG #esoteric :(well, actually, everything else tends to rely on the presence of a sane, functioning GNU C compiler, because fuck you.) < 1307347495 181427 :coppro!~scshunt@denardo.csclub.uwaterloo.ca PRIVMSG #esoteric :pikhq: why do you not want to bootstrap with clang? < 1307347532 609050 :coppro!~scshunt@denardo.csclub.uwaterloo.ca PRIVMSG #esoteric :although I recall you have some weird definition of bootsrap I don't remember < 1307347565 273192 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :besides, I'll probably write CakeOS PHP, Java, COBOL, Visual Basic, or something awful Haskell. Or a combination of all of those languages interpreted/compiled by fortran. < 1307347580 552225 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :thereby riding my system of the evil of C that has plagues operating systems for too long. < 1307347587 459129 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :.. :) < 1307347613 644431 :coppro!~scshunt@denardo.csclub.uwaterloo.ca PRIVMSG #esoteric :lol < 1307347615 519898 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :....obviously it is very late. < 1307347619 647152 :coppro!~scshunt@denardo.csclub.uwaterloo.ca PRIVMSG #esoteric :yes < 1307347620 667888 :coppro!~scshunt@denardo.csclub.uwaterloo.ca PRIVMSG #esoteric :yes it is < 1307347639 980073 :pikhq!~pikhq@174-22-150-78.clsp.qwest.net PRIVMSG #esoteric :coppro: Oh, I dunno, "it relies on a functioning C++ library, and the only full-featured one in UNIX-land pretty much requires GCC and a particular set of libcs that it can fuck with". < 1307347684 33583 :pikhq!~pikhq@174-22-150-78.clsp.qwest.net PRIVMSG #esoteric :(yes, the C++ library *also* pokes around in libc internals. Because "fuck you", says GNU.) < 1307347755 430430 :coppro!~scshunt@denardo.csclub.uwaterloo.ca PRIVMSG #esoteric :pikhq: Oh. I would direct you at the sister libc++ project then < 1307347768 410248 :pikhq!~pikhq@174-22-150-78.clsp.qwest.net PRIVMSG #esoteric :Yeah, but it's a WIP. < 1307347774 14397 :pikhq!~pikhq@174-22-150-78.clsp.qwest.net PRIVMSG #esoteric :I do approve of the project, though. < 1307347790 447570 :coppro!~scshunt@denardo.csclub.uwaterloo.ca PRIVMSG #esoteric :It should be capable of handling clang on a Mac < 1307347811 783424 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :!rot13 test test < 1307347812 319602 :EgoBot!Gregor@codu.org PRIVMSG #esoteric :​grfg grfg < 1307347820 931474 :coppro!~scshunt@denardo.csclub.uwaterloo.ca PRIVMSG #esoteric :not other platforms, because there are a few places where it pops into Mac's libc to access a few locale things which aren't exposed properly by POSIX < 1307347870 66006 :coppro!~scshunt@denardo.csclub.uwaterloo.ca PRIVMSG #esoteric :it is effectively impossible to implement it quickly on top of libc without code duplication < 1307347877 696202 :coppro!~scshunt@denardo.csclub.uwaterloo.ca PRIVMSG #esoteric :which is annoying < 1307347955 724912 :pikhq!~pikhq@174-22-150-78.clsp.qwest.net PRIVMSG #esoteric :This, in my mind, is a bug to be solved by defining a standard means for the libc to expose things to the C++ library. < 1307347978 257588 :pikhq!~pikhq@174-22-150-78.clsp.qwest.net PRIVMSG #esoteric :(whether by POSIX or "These are the functions we want; implement them if you want our stuff to work."...) < 1307348006 560006 :pikhq!~pikhq@174-22-150-78.clsp.qwest.net PRIVMSG #esoteric :Not by brazenly going in with "Eeeeh, fuck sanity, I'm going to assume I can fuck around with implementation internals". < 1307348033 292618 :coppro!~scshunt@denardo.csclub.uwaterloo.ca PRIVMSG #esoteric :Noted < 1307348040 508695 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :!addinterp rot47 perl $_=<>;tr/!-~/P-~!-O/;print < 1307348040 824020 :EgoBot!Gregor@codu.org PRIVMSG #esoteric :​Interpreter rot47 installed. < 1307348052 527948 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :!rot47 testing I am a ninja !@#$%^&*) < 1307348052 976690 :EgoBot!Gregor@codu.org PRIVMSG #esoteric :​E6DE:?8 x 2> 2 ?:?;2 PoRST/UYX < 1307348073 915288 :pikhq!~pikhq@174-22-150-78.clsp.qwest.net PRIVMSG #esoteric :Sadly, sanity is not widely accepted behavior in C. < 1307348078 652912 :coppro!~scshunt@denardo.csclub.uwaterloo.ca PRIVMSG #esoteric :pikhq: Don't get me started on wchar_t by the way < 1307348083 719502 :coppro!~scshunt@denardo.csclub.uwaterloo.ca PRIVMSG #esoteric :it's bad enough with char < 1307348089 212901 :pikhq!~pikhq@174-22-150-78.clsp.qwest.net PRIVMSG #esoteric :Oh, *fuck* wchar_t. < 1307348105 436919 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :yeah!.. < 1307348107 289253 :coppro!~scshunt@denardo.csclub.uwaterloo.ca PRIVMSG #esoteric :I imagine it will be something like this: < 1307348137 229306 :coppro!~scshunt@denardo.csclub.uwaterloo.ca PRIVMSG #esoteric :a) If we have a known libc that does not implement our extensions, we will attempt to hack it appropriately < 1307348145 564769 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :!rot47 E6DE:?8 x 2> 2 ?:?;2 PoRST/UYX < 1307348145 972335 :EgoBot!Gregor@codu.org PRIVMSG #esoteric :​testing I am a ninja !@#$%^&*) < 1307348155 148165 :coppro!~scshunt@denardo.csclub.uwaterloo.ca PRIVMSG #esoteric :b) If we are told to assume our extensions exist, we use them < 1307348170 54694 :coppro!~scshunt@denardo.csclub.uwaterloo.ca PRIVMSG #esoteric :c) If we have a known libc with our extensions, we use them < 1307348196 286835 :coppro!~scshunt@denardo.csclub.uwaterloo.ca PRIVMSG #esoteric :d) Otherwise we do what best we can < 1307348210 67135 :pikhq!~pikhq@174-22-150-78.clsp.qwest.net PRIVMSG #esoteric :Also, this is presuming there's an actual need to poke around in the libc internals. < 1307348224 429735 :coppro!~scshunt@denardo.csclub.uwaterloo.ca PRIVMSG #esoteric :pikhq: The primary issue is properties of characters < 1307348227 401350 :coppro!~scshunt@denardo.csclub.uwaterloo.ca PRIVMSG #esoteric :e.g. isupper < 1307348239 45935 :pikhq!~pikhq@174-22-150-78.clsp.qwest.net PRIVMSG #esoteric :Ah. < 1307348245 727103 :coppro!~scshunt@denardo.csclub.uwaterloo.ca PRIVMSG #esoteric :C++ requires providing access to a mask table, which is a sane implementation of the C standard but not required < 1307348261 729294 :coppro!~scshunt@denardo.csclub.uwaterloo.ca PRIVMSG #esoteric :In a worst-case scenario, the lookup table would have to be built on-demand < 1307348269 573330 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :I once worked on a MUD codebase that did not use libc at all. Instead if defined its own, often buggy or non-standard, versions of libc functions. < 1307348272 576079 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :fun times. < 1307348277 506368 :coppro!~scshunt@denardo.csclub.uwaterloo.ca PRIVMSG #esoteric :by calling C functions on every character < 1307348299 2141 :coppro!~scshunt@denardo.csclub.uwaterloo.ca PRIVMSG #esoteric :Now, for wchar_t the situation is much worse, as we can't even do that safely < 1307348304 595368 :pikhq!~pikhq@174-22-150-78.clsp.qwest.net PRIVMSG #esoteric :That's... Actually broken behavior of C++. < 1307348307 304773 :coppro!~scshunt@denardo.csclub.uwaterloo.ca PRIVMSG #esoteric :unless we halt every thread < 1307348314 690986 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :strlen was str_len, for example. isupper was is_upper. < 1307348319 553253 :coppro!~scshunt@denardo.csclub.uwaterloo.ca PRIVMSG #esoteric :pikhq: oh yes, this is very broken < 1307348329 449196 :coppro!~scshunt@denardo.csclub.uwaterloo.ca PRIVMSG #esoteric :pikhq: C++ locales suck balls < 1307348332 976976 :MigoMipo!~John@84-217-0-134.tn.glocalnet.net JOIN :#esoteric < 1307348338 813595 :coppro!~scshunt@denardo.csclub.uwaterloo.ca PRIVMSG #esoteric :pikhq: the mask table is not in itself a bad idea < 1307348350 536391 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :it was actually my first experience programming in C, so I thought those were the standard names for a while. Eventually I switched to libc though after realizing the true horror... < 1307348356 225962 :pikhq!~pikhq@174-22-150-78.clsp.qwest.net PRIVMSG #esoteric :coppro: Not bad, just broken in a modern environment. < 1307348359 410914 :coppro!~scshunt@denardo.csclub.uwaterloo.ca PRIVMSG #esoteric :pikhq: yeah < 1307348370 30987 :pikhq!~pikhq@174-22-150-78.clsp.qwest.net PRIVMSG #esoteric :As is everything to do with the char type, TBH. < 1307348373 878774 :coppro!~scshunt@denardo.csclub.uwaterloo.ca PRIVMSG #esoteric :yup < 1307348377 33073 :coppro!~scshunt@denardo.csclub.uwaterloo.ca PRIVMSG #esoteric :pikhq: The issue with wchar_t is that functions like isupper() depend on the global locale < 1307348395 45525 :pikhq!~pikhq@174-22-150-78.clsp.qwest.net PRIVMSG #esoteric :... *Global* locale. < 1307348399 107400 :pikhq!~pikhq@174-22-150-78.clsp.qwest.net PRIVMSG #esoteric :It's *global*? < 1307348403 371454 :coppro!~scshunt@denardo.csclub.uwaterloo.ca PRIVMSG #esoteric :pikhq: In C, yes < 1307348408 967573 :pikhq!~pikhq@174-22-150-78.clsp.qwest.net PRIVMSG #esoteric :As in, per process, not per thread. < 1307348415 682688 :pikhq!~pikhq@174-22-150-78.clsp.qwest.net PRIVMSG #esoteric :Jesus fuck that's a bad idea. < 1307348424 761766 :coppro!~scshunt@denardo.csclub.uwaterloo.ca PRIVMSG #esoteric :C existed long before threads were a concern, remember? < 1307348436 497020 :coppro!~scshunt@denardo.csclub.uwaterloo.ca PRIVMSG #esoteric :of course it's a terrible idea < 1307348439 689379 :coppro!~scshunt@denardo.csclub.uwaterloo.ca PRIVMSG #esoteric :POSIX saves us though < 1307348446 514860 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :can someone explain size_t to me? Are there differences in the type used for size_t among machines? < 1307348456 732698 :coppro!~scshunt@denardo.csclub.uwaterloo.ca PRIVMSG #esoteric :it allows you to construct locale objects and has isupper_l and similar functions < 1307348469 76594 :coppro!~scshunt@denardo.csclub.uwaterloo.ca PRIVMSG #esoteric :the problem is that POSIX does not have this for wchar_t < 1307348477 652423 :pikhq!~pikhq@174-22-150-78.clsp.qwest.net PRIVMSG #esoteric :CakeProphet: size_t is supposed to be *whatever type* is appropriate for storing the size of types and allocations of memory. < 1307348503 273357 :pikhq!~pikhq@174-22-150-78.clsp.qwest.net PRIVMSG #esoteric :CakeProphet: It does not have to be an int, though I think it *does* have to be a minimum of 16 bits and be bound. < 1307348508 30975 :coppro!~scshunt@denardo.csclub.uwaterloo.ca PRIVMSG #esoteric :so on a POSIX-compliant system, there is no reasonable way to implement C++ locales on top of system locales < 1307348536 167624 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :pikhq: right, I was just wondering if it was ever anything other than an int. I suppose it's good that it exists in case it ever changed though. < 1307348546 334312 :pikhq!~pikhq@174-22-150-78.clsp.qwest.net PRIVMSG #esoteric :How's about we just replace the C library and the C++ library? Entirely. < 1307348557 177429 :coppro!~scshunt@denardo.csclub.uwaterloo.ca PRIVMSG #esoteric :pikhq: backwards compatibility < 1307348560 30948 :pikhq!~pikhq@174-22-150-78.clsp.qwest.net PRIVMSG #esoteric :CakeProphet: Well, it's sure as hell not an int on x86_64. < 1307348561 428550 :coppro!~scshunt@denardo.csclub.uwaterloo.ca PRIVMSG #esoteric :it fucking sucks < 1307348566 144761 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :pikhq: ah, right. < 1307348572 396866 :pikhq!~pikhq@174-22-150-78.clsp.qwest.net PRIVMSG #esoteric :coppro: Yes, I know. But still... < 1307348583 914601 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :I mean.. < 1307348596 995328 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :you could just have a new library and keep the old one around... < 1307348617 495501 :pikhq!~pikhq@174-22-150-78.clsp.qwest.net PRIVMSG #esoteric :How's about we just kill everyone and everything and restart civilization my way? < 1307348621 611087 :pikhq!~pikhq@174-22-150-78.clsp.qwest.net PRIVMSG #esoteric :That sounds good. < 1307348652 961685 :coppro!~scshunt@denardo.csclub.uwaterloo.ca PRIVMSG #esoteric :pikhq: oh actually nevermind < 1307348675 367670 :coppro!~scshunt@denardo.csclub.uwaterloo.ca PRIVMSG #esoteric :the char case is safe, we can implement the C spec directly since it gives little leeway < 1307348678 386242 :coppro!~scshunt@denardo.csclub.uwaterloo.ca PRIVMSG #esoteric :I didn't realize this < 1307348714 367481 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :Haskell for systems programming. \o/ < 1307348715 84312 :myndzi!myndzi@c-98-247-234-176.hsd1.wa.comcast.net PRIVMSG #esoteric :                                       | < 1307348715 751725 :myndzi!myndzi@c-98-247-234-176.hsd1.wa.comcast.net PRIVMSG #esoteric :                                      /| < 1307348732 747933 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :...with a new Prelude, of course < 1307348747 878932 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :fixing all numeric typeclasses and that length-returning-an-Int crap < 1307349007 964999 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :haha. or Erlang. < 1307349017 473268 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :it can apparently run standalone. < 1307349080 144878 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :it handles concurrency well and it's fairly fast/portable from what I understand, but it handles string poorly iirc. < 1307349095 81174 :pikhq!~pikhq@174-22-150-78.clsp.qwest.net PRIVMSG #esoteric :Erlang was *designed* to run standalone. < 1307349095 254523 :coppro!~scshunt@denardo.csclub.uwaterloo.ca PRIVMSG #esoteric :Erlang handles strings as Haskell does < 1307349102 453604 :coppro!~scshunt@denardo.csclub.uwaterloo.ca PRIVMSG #esoteric :Erlang needs a VM < 1307349110 920500 :coppro!~scshunt@denardo.csclub.uwaterloo.ca PRIVMSG #esoteric :but it's intended to run systems, yes < 1307349118 832020 :pikhq!~pikhq@174-22-150-78.clsp.qwest.net PRIVMSG #esoteric :Well, "standalone" in the sense of "the VM runs on bare hardware just fine". < 1307349122 199615 :coppro!~scshunt@denardo.csclub.uwaterloo.ca PRIVMSG #esoteric :yeah < 1307349144 119488 :coppro!~scshunt@denardo.csclub.uwaterloo.ca PRIVMSG #esoteric :also well-written Erlang is basically indestructible < 1307349173 853148 :pikhq!~pikhq@174-22-150-78.clsp.qwest.net PRIVMSG #esoteric :Again, as designed. < 1307349210 421802 :pikhq!~pikhq@174-22-150-78.clsp.qwest.net PRIVMSG #esoteric :The language itself isn't that great, but man it's probably the single most reliable thing I've seen. < 1307349327 746539 :coppro!~scshunt@denardo.csclub.uwaterloo.ca PRIVMSG #esoteric :yeah < 1307349377 793414 :coppro!~scshunt@denardo.csclub.uwaterloo.ca PRIVMSG #esoteric :oops half the server cluster just went down. Good thing that wasn't the entire thing or service might have been interrupted for more than a few seconds < 1307349708 882999 :coppro!~scshunt@denardo.csclub.uwaterloo.ca PRIVMSG #esoteric :pikhq: If tarcieri ever makes some real concrete decisions, Reia could be excellent < 1307349762 982809 :coppro!~scshunt@denardo.csclub.uwaterloo.ca PRIVMSG #esoteric :(Reia being an attempt at a sane [Ruby-like in this case] language on the erlang VM) < 1307350200 598783 :pikhq!~pikhq@174-22-150-78.clsp.qwest.net PRIVMSG #esoteric :... Wut. < 1307350213 94437 :pikhq!~pikhq@174-22-150-78.clsp.qwest.net PRIVMSG #esoteric :The population of Manhattan was *decreased* in the past 100 years. < 1307350228 644913 :pikhq!~pikhq@174-22-150-78.clsp.qwest.net PRIVMSG #esoteric :s/was/has/ < 1307350244 819239 :pikhq!~pikhq@174-22-150-78.clsp.qwest.net PRIVMSG #esoteric :It used to be 2.3 million, it's now 1.5 million. < 1307350464 290007 :pikhq!~pikhq@174-22-150-78.clsp.qwest.net PRIVMSG #esoteric :Though the population of New York City itself has shot way up; it's simply spread out to the other boroughs of the city... < 1307350467 272953 :pikhq!~pikhq@174-22-150-78.clsp.qwest.net PRIVMSG #esoteric :Still. damn. < 1307351115 306096 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :http://en.wikipedia.org/wiki/Moutza < 1307351119 944434 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :how offensive. < 1307353319 358861 :Vorpal!~AnMaster@unaffiliated/anmaster JOIN :#esoteric < 1307354269 912432 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :> [1..] >>= return < 1307354270 889564 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : [1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,22,23,24,25,26,27,28... < 1307354540 451525 :Lymia!~moe@unaffiliated/cirno-chan PRIVMSG #esoteric :> [1..] < 1307354541 460993 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : [1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,22,23,24,25,26,27,28... < 1307354554 693952 :Lymia!~moe@unaffiliated/cirno-chan PRIVMSG #esoteric :> zipWith [1..] [1..] < 1307354555 852779 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : Couldn't match expected type `a -> b -> c' < 1307354556 15053 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : against inferred type `[... < 1307354577 327782 :Lymia!~moe@unaffiliated/cirno-chan PRIVMSG #esoteric :@type zipWith < 1307354578 456596 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :forall a b c. (a -> b -> c) -> [a] -> [b] -> [c] < 1307354788 342652 :Lymia!~moe@unaffiliated/cirno-chan PRIVMSG #esoteric :> zipWith (\x y -> [x..y]) [1..] [100..] < 1307354789 530258 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : [[1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,22,23,24,25,26,27,2... < 1307354802 745906 :Lymia!~moe@unaffiliated/cirno-chan PRIVMSG #esoteric :> zipWith (\x y -> [x..y]) [1..] [..1] < 1307354803 789619 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : : parse error on input `..' < 1307354813 176399 :Lymia!~moe@unaffiliated/cirno-chan PRIVMSG #esoteric :> zipWith (\x y -> [x..y]) [1..] [0..-inf] < 1307354814 270249 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : Not in scope: `inf'Not in scope: `..-' < 1307354818 491824 :Lymia!~moe@unaffiliated/cirno-chan PRIVMSG #esoteric :> zipWith (\x y -> [x..y]) [1..] [0..-9999999999999999999999999999] < 1307354819 488996 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : Not in scope: `..-' < 1307354834 47097 :Lymia!~moe@unaffiliated/cirno-chan PRIVMSG #esoteric :> zipWith (\x y -> [x..y^2]) [0..] [0..] < 1307354835 84182 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : [[0],[1],[2,3,4],[3,4,5,6,7,8,9],[4,5,6,7,8,9,10,11,12,13,14,15,16],[5,6,7,... < 1307355409 9553 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :@src liftM < 1307355409 507744 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :liftM f m1 = do { x1 <- m1; return (f x1) } < 1307355475 78764 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :liftM = (return.) < 1307355500 724421 :Patashu!~Patashu@c122-106-155-219.carlnfd1.nsw.optusnet.com.au JOIN :#esoteric < 1307355549 180802 :Lymia!~moe@unaffiliated/cirno-chan PRIVMSG #esoteric :> zipWith (\x y -> [x/2..y^2]) [0..] [0..] < 1307355550 296609 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : [[0.0],[0.5,1.5],[1.0,2.0,3.0,4.0],[1.5,2.5,3.5,4.5,5.5,6.5,7.5,8.5,9.5],[2... < 1307355568 893565 :Lymia!~moe@unaffiliated/cirno-chan PRIVMSG #esoteric :> zipWith (\x y -> [x^0.5..y^2]) [0..] [0..] < 1307355570 145507 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : Ambiguous type variable `t' in the constraints: < 1307355570 308107 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : `GHC.Real.Integral t' < 1307355570 308298 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : ... < 1307355587 171014 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :> liftM2 (,) [0..10] [0..10] < 1307355588 78021 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : [(0,0),(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(0,8),(0,9),(0,10),(1,0),(... < 1307355596 890898 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :Lymia: might want to try ** instead of ^ < 1307355602 200905 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :** is for floating point numbers. < 1307355633 355457 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric ::t ((**),(^)) < 1307355633 980047 :Lymia!~moe@unaffiliated/cirno-chan PRIVMSG #esoteric :> zipWith (\x y -> [x**0.5..y**2]) [0..] [0..] < 1307355634 751811 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :forall a a1 b. (Floating a, Num a1, Integral b) => (a -> a -> a, a1 -> b -> a1) < 1307355635 105568 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : [[0.0],[1.0],[1.4142135623730951,2.414213562373095,3.414213562373095,4.4142... < 1307355639 413721 :Lymia!~moe@unaffiliated/cirno-chan PRIVMSG #esoteric :Yay. < 1307355642 706355 :Lymia!~moe@unaffiliated/cirno-chan PRIVMSG #esoteric :Insta huge numbers. < 1307355649 795520 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :...wooo < 1307355684 13147 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :liftM2 (,) is instant cartesian product. < 1307355689 73465 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :so useful in programming of course. < 1307355786 996743 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :@src on < 1307355787 363947 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :(*) `on` f = \x y -> f x * f y < 1307355840 405627 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :@src ap < 1307355840 917938 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :ap = liftM2 id < 1307355983 127178 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :> let plane = map (take 10 . repeat) in plane < 1307355984 191565 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : Overlapping instances for GHC.Show.Show ([a] -> [[a]]) < 1307355984 366843 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : arising from a us... < 1307356015 228974 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :> let plane = map (take 10 . repeat) $ take 10 (repeat 0) in plane < 1307356017 149623 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : [[0,0,0,0,0,0,0,0,0,0],[0,0,0,0,0,0,0,0,0,0],[0,0,0,0,0,0,0,0,0,0],[0,0,0,0... < 1307356240 954360 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :> let plane = map (take 10 . repeat) $ take 10 (repeat 0) in plane;coords = liftM2 (,) [0..10] [0..10] in zipWith (==) (map (\(x,y) - > plane !! x !! y) coords) plane < 1307356242 41304 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : : parse error on input `;' < 1307356288 53520 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :> let {plane = map (take 10 . repeat) $ take 10 (repeat 0) in plane; coords = liftM2 (,) [0..10] [0..10]} in zipWith (==) (map (\(x,y) - > plane !! x !! y) coords) plane < 1307356289 258136 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : : parse error on input `in' < 1307356308 591387 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :uh, okay. < 1307356323 398258 :MigoMipo!~John@84-217-0-134.tn.glocalnet.net QUIT :Read error: Connection reset by peer < 1307356373 673098 :Deewiant!~deewiant@cs186230.pp.htv.fi PRIVMSG #esoteric :s/ in plane// < 1307356440 558501 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :> let {plane = map (take 10 . repeat) $ take 10 (repeat 0); coords = liftM2 (,) [0..10] [0..10]} in zipWith (==) (map (\(x,y) - > plane !! x !! y) coords) plane < 1307356441 604323 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : : parse error on input `-' < 1307356455 437961 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :well, I'm going to bed now. Good night. :P < 1307356470 243832 :Deewiant!~deewiant@cs186230.pp.htv.fi PRIVMSG #esoteric :s/- >/->/ < 1307356877 792776 :Vorpal!~AnMaster@unaffiliated/anmaster PRIVMSG #esoteric ::t (,) < 1307356878 947238 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :forall a b. a -> b -> (a, b) < 1307356885 11334 :Vorpal!~AnMaster@unaffiliated/anmaster PRIVMSG #esoteric :oh < 1307356894 135096 :Vorpal!~AnMaster@unaffiliated/anmaster PRIVMSG #esoteric :@src (,) < 1307356894 502768 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :Source not found. Take a stress pill and think things over. < 1307356900 854010 :Vorpal!~AnMaster@unaffiliated/anmaster PRIVMSG #esoteric :@hoogle (,) < 1307356901 528994 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :Prelude undefined :: a < 1307356901 691322 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :Test.QuickCheck.Batch bottom :: a < 1307356901 691410 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :Data.Function fix :: (a -> a) -> a < 1307356907 70427 :Vorpal!~AnMaster@unaffiliated/anmaster PRIVMSG #esoteric :hm < 1307356916 606247 :Vorpal!~AnMaster@unaffiliated/anmaster PRIVMSG #esoteric :I guess that wasn't quite right < 1307356985 861981 :Deewiant!~deewiant@cs186230.pp.htv.fi PRIVMSG #esoteric :data (,) a b = (,) a b < 1307357000 629546 :Vorpal!~AnMaster@unaffiliated/anmaster PRIVMSG #esoteric :Deewiant, is that a tuple? < 1307357005 833134 :Deewiant!~deewiant@cs186230.pp.htv.fi PRIVMSG #esoteric :Yes < 1307357008 377721 :Vorpal!~AnMaster@unaffiliated/anmaster PRIVMSG #esoteric :aha < 1307357028 958805 :Vorpal!~AnMaster@unaffiliated/anmaster PRIVMSG #esoteric :Deewiant, I thought tuples were special syntax. < 1307357031 859850 :Vorpal!~AnMaster@unaffiliated/anmaster PRIVMSG #esoteric :or hm < 1307357036 235802 :Vorpal!~AnMaster@unaffiliated/anmaster PRIVMSG #esoteric ::t (,,) < 1307357037 336986 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :forall a b c. a -> b -> c -> (a, b, c) < 1307357042 388952 :Vorpal!~AnMaster@unaffiliated/anmaster PRIVMSG #esoteric :heh, I guess not < 1307357060 255962 :Deewiant!~deewiant@cs186230.pp.htv.fi PRIVMSG #esoteric :They are, somewhat < 1307357075 474178 :Deewiant!~deewiant@cs186230.pp.htv.fi PRIVMSG #esoteric :But GHC still defines them like that < 1307357079 41514 :Vorpal!~AnMaster@unaffiliated/anmaster PRIVMSG #esoteric :hm < 1307357096 9895 :Vorpal!~AnMaster@unaffiliated/anmaster PRIVMSG #esoteric :Deewiant, so ghc specific? or standard haskell? < 1307357111 658533 :Deewiant!~deewiant@cs186230.pp.htv.fi PRIVMSG #esoteric :data (,) a b = (,) a b is GHC specific, I'm fairly sure < 1307357115 874838 :Vorpal!~AnMaster@unaffiliated/anmaster PRIVMSG #esoteric :ah okay < 1307357129 219834 :Deewiant!~deewiant@cs186230.pp.htv.fi PRIVMSG #esoteric :Yeah, it's in GHC.Tuple < 1307357140 953182 :Deewiant!~deewiant@cs186230.pp.htv.fi PRIVMSG #esoteric :So it could just be builtin in other environments < 1307357147 956987 :Vorpal!~AnMaster@unaffiliated/anmaster PRIVMSG #esoteric :but it seems to be included in Prelude yeah < 1307357167 745080 :Deewiant!~deewiant@cs186230.pp.htv.fi PRIVMSG #esoteric :Well yes, (,) is guaranteed to exist and work < 1307357182 219932 :Vorpal!~AnMaster@unaffiliated/anmaster PRIVMSG #esoteric :ah < 1307357352 690327 :pikhq!~pikhq@174-22-150-78.clsp.qwest.net QUIT :Ping timeout: 248 seconds < 1307357362 894499 :pikhq!~pikhq@71-219-223-174.clsp.qwest.net JOIN :#esoteric < 1307360182 543736 :foocraft!~ewanas@78.101.234.85 JOIN :#esoteric < 1307360437 489732 :TOGoS!~Stevens@h69-128-42-2.mdsnwi.dedicated.static.tds.net QUIT :Read error: Connection reset by peer < 1307360700 376311 :TOGoS!~Stevens@h69-128-42-2.mdsnwi.dedicated.static.tds.net JOIN :#esoteric < 1307361774 54799 :SimonRC!~sc@fof.durge.org QUIT :Ping timeout: 260 seconds < 1307362220 216784 :SimonRC!~sc@fof.durge.org JOIN :#esoteric < 1307363553 613564 :foocraft!~ewanas@78.101.234.85 QUIT :Ping timeout: 252 seconds < 1307364940 907630 :Demetrius!~dm@217.21.40.10 JOIN :#esoteric < 1307365013 651665 :FireFly!~firefly@unaffiliated/firefly JOIN :#esoteric < 1307365330 452127 :foocraft!~ewanas@78.100.223.212 JOIN :#esoteric < 1307366300 838209 :invariable!~variable@unaffiliated/variable JOIN :#esoteric < 1307366369 395734 :invariable!~variable@unaffiliated/variable QUIT :Remote host closed the connection < 1307366400 868639 :ralc!~ralc@79.142.230.243.static.knet.bolignet.dk JOIN :#esoteric < 1307366418 415541 :variable!~variable@unaffiliated/variable QUIT :Remote host closed the connection < 1307366451 62494 :variable!~variable@unaffiliated/variable JOIN :#esoteric < 1307366467 553325 :Patashu!~Patashu@c122-106-155-219.carlnfd1.nsw.optusnet.com.au QUIT :Ping timeout: 246 seconds < 1307367169 612457 :Sgeo!~Sgeo@ool-18bf618a.dyn.optonline.net JOIN :#esoteric < 1307367379 502506 :foocraft!~ewanas@78.100.223.212 QUIT :Ping timeout: 255 seconds < 1307367432 977702 :Deewiant!~deewiant@cs186230.pp.htv.fi QUIT :Ping timeout: 248 seconds < 1307367506 531432 :Deewiant!~deewiant@cs186230.pp.htv.fi JOIN :#esoteric < 1307368214 773942 :foocraft!~ewanas@78.101.138.251 JOIN :#esoteric < 1307368805 628068 :TOGoS!~Stevens@h69-128-42-2.mdsnwi.dedicated.static.tds.net PART :#esoteric < 1307371590 552770 :azaq23!~derivecto@unaffiliated/azaq23 JOIN :#esoteric < 1307373697 614722 :Sgeo!~Sgeo@ool-18bf618a.dyn.optonline.net QUIT :Ping timeout: 255 seconds < 1307373793 940088 :oklopol!~oklopol@dyn37-212.vpn.utu.fi PRIVMSG #esoteric :oerjan: hi < 1307374094 408117 :Vorpal!~AnMaster@unaffiliated/anmaster PRIVMSG #esoteric :"available frequency steps: 2.27 GHz, 2.27 GHz, 1.60 GHz, 800 MHz" <--- err, what? That looks wrong. < 1307374273 760444 :fizzie!fis@iris.zem.fi PRIVMSG #esoteric :Maybe it's a rounding thing, and the two highest are, say, 2271 and 2270 MHz. < 1307374277 820105 :fizzie!fis@iris.zem.fi PRIVMSG #esoteric :"available frequency steps: 2.80 GHz, 2.60 GHz, 2.40 GHz, 2.20 GHz, 2.00 GHz, 1.80 GHz, 1000 MHz" < 1307374320 26504 :Vorpal!~AnMaster@unaffiliated/anmaster PRIVMSG #esoteric :fizzie, 2271 and 2270 sounds silly. < 1307374325 177422 :Vorpal!~AnMaster@unaffiliated/anmaster PRIVMSG #esoteric :as in pointless < 1307374334 158858 :Vorpal!~AnMaster@unaffiliated/anmaster PRIVMSG #esoteric :I doubt intel would add that to a mobile core 2 duo. < 1307374338 149726 :Vorpal!~AnMaster@unaffiliated/anmaster PRIVMSG #esoteric :but hm < 1307374463 54712 :Vorpal!~AnMaster@unaffiliated/anmaster PRIVMSG #esoteric :well I don't know how to extract the info to verify the rounding thing < 1307374501 500716 :Vorpal!~AnMaster@unaffiliated/anmaster PRIVMSG #esoteric :aha, found it < 1307374507 405183 :Vorpal!~AnMaster@unaffiliated/anmaster PRIVMSG #esoteric :$ cat /sys/devices/system/cpu/cpu0/cpufreq/scaling_available_frequencies < 1307374507 567844 :Vorpal!~AnMaster@unaffiliated/anmaster PRIVMSG #esoteric :2267000 2266000 1600000 800000 < 1307374512 800880 :Vorpal!~AnMaster@unaffiliated/anmaster PRIVMSG #esoteric :fizzie, looks like you were right < 1307374524 878875 :Vorpal!~AnMaster@unaffiliated/anmaster PRIVMSG #esoteric :I wonder why though < 1307374631 29398 :malorie!~bla@unaffiliated/malorie PART :#esoteric < 1307374717 943150 :fizzie!fis@iris.zem.fi PRIVMSG #esoteric :It could have a "full-speed" mode separate from "scaled-frequency" modes, maybe, and then they've wanted to make it possible to run it close-enough to full speed without switching away from the scaled-frequency operation. (But that's just a guess; I don't have a clue about the details of cpufreq implementation.) < 1307374744 725533 :Vorpal!~AnMaster@unaffiliated/anmaster PRIVMSG #esoteric :hm < 1307374778 841828 :fizzie!fis@iris.zem.fi PRIVMSG #esoteric :Does your cpufreq-info report the stats in % of time spent in different modes? Which 2.27 GHz it uses? < 1307374788 742881 :Vorpal!~AnMaster@unaffiliated/anmaster PRIVMSG #esoteric : cpufreq stats: 2.27 GHz:18,01%, 2.27 GHz:1,58%, 1.60 GHz:2,29%, 800 MHz:78,12% (169038) < 1307374791 183175 :Vorpal!~AnMaster@unaffiliated/anmaster PRIVMSG #esoteric :and < 1307374794 892773 :Vorpal!~AnMaster@unaffiliated/anmaster PRIVMSG #esoteric : cpufreq stats: 2.27 GHz:7,35%, 2.27 GHz:0,70%, 1.60 GHz:1,77%, 800 MHz:90,18% (3298838) < 1307374798 328716 :Vorpal!~AnMaster@unaffiliated/anmaster PRIVMSG #esoteric :for the different cores < 1307374821 721515 :Vorpal!~AnMaster@unaffiliated/anmaster PRIVMSG #esoteric :(what is that number in parens at the end?) < 1307374843 466482 :Vorpal!~AnMaster@unaffiliated/anmaster PRIVMSG #esoteric :fizzie, so it seems it uses both < 1307374878 355883 :fizzie!fis@iris.zem.fi PRIVMSG #esoteric :I guess the cpufreq governors just put them on a sorted line and go through all when stepping up to meet demand. < 1307374883 766532 :fizzie!fis@iris.zem.fi PRIVMSG #esoteric :"cpufreq stats: 2.80 GHz:2.14%, 2.60 GHz:0.07%, 2.40 GHz:0.05%, 2.20 GHz:0.06%, 2.00 GHz:0.05%, 1.80 GHz:0.39%, 1000 MHz:97.24% (82236)" < 1307375027 711866 :fizzie!fis@iris.zem.fi PRIVMSG #esoteric :The PPC iBook had two cpufreq speeds -- 533 MHz and 1066 MHz -- and it had some sort of huge latency thing when switching, I think I recall from syslog that it decided to not use the ondemand governor because of that. < 1307375143 607980 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 JOIN :#esoteric < 1307375329 606483 :Demetrius!~dm@217.21.40.10 PRIVMSG #esoteric :Phantom_Hoover, hello! < 1307375349 371089 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :Hello Demetrius. < 1307375349 784912 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :Phantom_Hoover: You have 6 new messages. '/msg lambdabot @messages' to read them. < 1307375352 587106 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :Oh god < 1307375357 601960 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :How can he even < 1307375361 122960 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :There wasn't an update < 1307375401 221453 :azaq23!~derivecto@unaffiliated/azaq23 QUIT :Quit: Leaving. < 1307376071 540888 :Vorpal!~AnMaster@unaffiliated/anmaster PRIVMSG #esoteric :fizzie, heh < 1307376257 329569 :Sgeo!~Sgeo@66-87-7-216.pools.spcsdns.net JOIN :#esoteric < 1307376292 378058 :Kustas!~xix@62.65.217.204.cable.starman.ee JOIN :#esoteric < 1307376409 939138 :comex!~root@ec2-67-202-46-7.compute-1.amazonaws.com JOIN :#esoteric < 1307376604 703220 :pikhq_!~pikhq@71-219-227-109.clsp.qwest.net JOIN :#esoteric < 1307376613 966039 :pikhq!~pikhq@71-219-223-174.clsp.qwest.net QUIT :Ping timeout: 260 seconds < 1307377175 313277 :elliott!~elliott@unaffiliated/elliott JOIN :#esoteric < 1307378001 705137 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :02:12:21: elliott__: I estimate 8% for me. Incidentally, do you know what the "the Doctor is being awesome" music is called? < 1307378006 734979 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :coppro: I think I did at one point but have now forgotten. < 1307378087 516232 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :02:23:01: yes, if $_ were global terrible things would happen. < 1307378087 868908 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :02:23:08: instead it's a weird pseudo-global thing. < 1307378090 283279 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :CakeProphet: it is just an "our" < 1307378092 560336 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :dynamic variable < 1307378128 865423 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :02:27:21: !perl $s='q{q[q]}';$s=eval$s for 1..11;print$s < 1307378129 66507 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :02:27:22: ​muhahahahahahaha < 1307378130 566240 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :lovely < 1307378138 36507 :Kustas!~xix@62.65.217.204.cable.starman.ee QUIT :Quit: restart < 1307378168 634832 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :!perl print < 1307378169 633231 :EgoBot!Gregor@codu.org PRIVMSG #esoteric :​open0 < 1307378178 269958 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :!perl print open 0,<0> < 1307378188 78950 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :!perl print open 0 . <0> < 1307378188 486536 :EgoBot!Gregor@codu.org PRIVMSG #esoteric :​1 < 1307378258 671371 :Kustas!~xix@gprs-inet-65-28.elisa.ee JOIN :#esoteric < 1307378269 589404 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :02:55:03: this is so very very awesome: (elliott you better visit this link when you read the logs) http://www.youtube.com/watch?v=sjtzib0G9Rs < 1307378270 503768 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :god yes < 1307378327 241650 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :03:59:12: future elliott: Good post-400 xkcd: http://xkcd.com/602/ < 1307378327 419715 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :There are good post-400 xkcds but... this is not one of them. < 1307378331 716336 :monqy!~chap@pool-71-102-217-117.snloca.dsl-w.verizon.net JOIN :#esoteric < 1307378445 220092 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :06:08:28: sbahj related http://www.youtube.com/watch?v=u7YfVmY9Qjs < 1307378445 596204 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :heh < 1307378486 568790 :Sgeo!~Sgeo@66-87-7-216.pools.spcsdns.net PRIVMSG #esoteric :I finally successfully performed a Second Life experiment I've been wanting to do for a while < 1307379114 402570 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric : I have created... LIFE! < 1307379363 456219 :coppro!~scshunt@denardo.csclub.uwaterloo.ca PRIVMSG #esoteric :elliott: evidence indicates they played that theme at least three times that weekend; I was there for two that weren't in the video. Those coils are pretty surreal < 1307379377 900536 :monqy!~chap@pool-71-102-217-117.snloca.dsl-w.verizon.net PRIVMSG #esoteric :third life < 1307379755 730507 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Sgeo won't tell us what he experimented SOB < 1307380149 183243 :MigoMipo!~John@84-217-10-78.tn.glocalnet.net JOIN :#esoteric < 1307380293 648017 :Sgeo!~Sgeo@66-87-7-216.pools.spcsdns.net PRIVMSG #esoteric :Oh, sorry, was afk < 1307380318 466712 :Sgeo!~Sgeo@66-87-7-216.pools.spcsdns.net PRIVMSG #esoteric :Experimented to determine whether or not gravity takes longer to take effect at higher altitudes. It does. < 1307380352 488531 :Sgeo!~Sgeo@66-87-7-216.pools.spcsdns.net PRIVMSG #esoteric :Unless there's something else going on that I'm not realizing < 1307380356 42352 :coppro!~scshunt@denardo.csclub.uwaterloo.ca PRIVMSG #esoteric :lolwut < 1307380364 82732 :coppro!~scshunt@denardo.csclub.uwaterloo.ca PRIVMSG #esoteric :it doesn't take longer to take effect < 1307380376 646662 :coppro!~scshunt@denardo.csclub.uwaterloo.ca PRIVMSG #esoteric :gravity is always taking effect < 1307380436 541755 :Sgeo!~Sgeo@66-87-7-216.pools.spcsdns.net PRIVMSG #esoteric :coppro, I'm talking about Second Life. When an object in Second Life goes from being weightless to having weight, it takes an amount of time dependent on altitude for it to start detectably moving < 1307380448 844665 :coppro!~scshunt@denardo.csclub.uwaterloo.ca PRIVMSG #esoteric :ah < 1307380869 136701 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :lol coppro < 1307383571 363063 :augur!~augur@208.58.6.161 QUIT :Remote host closed the connection < 1307383896 47326 :elliott!~elliott@unaffiliated/elliott QUIT :Remote host closed the connection < 1307384013 22473 :augur!~augur@208.58.6.161 JOIN :#esoteric < 1307384039 164560 :Kustas!~xix@gprs-inet-65-28.elisa.ee QUIT :Quit: over and out < 1307384129 748401 :elliott!~elliott@unaffiliated/elliott JOIN :#esoteric < 1307384681 375096 :augur!~augur@208.58.6.161 QUIT :Remote host closed the connection < 1307384797 249484 :augur!~augur@208.58.6.161 JOIN :#esoteric < 1307385141 647289 :wareya!~wareya@cpe-74-70-142-220.nycap.res.rr.com QUIT :Read error: Connection reset by peer < 1307385175 813199 :wareya!~wareya@cpe-74-70-142-220.nycap.res.rr.com JOIN :#esoteric < 1307385226 853296 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 QUIT :Ping timeout: 255 seconds < 1307385360 986659 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 JOIN :#esoteric < 1307385908 553078 :augur!~augur@208.58.6.161 QUIT :Remote host closed the connection < 1307386351 480463 :olsner!~sal@c83-252-161-133.bredband.comhem.se JOIN :#esoteric < 1307386947 942384 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :What is it with people on /r/IAmA thinking that famous people care about them in the slightest. < 1307387058 337452 :pikhq!~pikhq@71-219-250-148.clsp.qwest.net JOIN :#esoteric < 1307387067 119935 :pikhq_!~pikhq@71-219-227-109.clsp.qwest.net QUIT :Ping timeout: 252 seconds < 1307387246 112990 :pumpkin!~pumpkin@unaffiliated/pumpkingod NICK :copumpkin < 1307387673 35356 :sebbu!~sebbu@ADijon-152-1-89-219.w81-50.abo.wanadoo.fr JOIN :#esoteric < 1307387673 197689 :sebbu!~sebbu@ADijon-152-1-89-219.w81-50.abo.wanadoo.fr QUIT :Changing host < 1307387673 197766 :sebbu!~sebbu@unaffiliated/sebbu JOIN :#esoteric < 1307387851 950299 :sebbu2!~sebbu@unaffiliated/sebbu QUIT :Ping timeout: 250 seconds < 1307387998 553591 :oklopol!~oklopol@dyn37-212.vpn.utu.fi PRIVMSG #esoteric :so one of the talks was about implementing boolean circuits by putting chloroform and grease inside an MRI machine < 1307388030 371728 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :;) < 1307388052 131811 :oklopol!~oklopol@dyn37-212.vpn.utu.fi PRIVMSG #esoteric :and i have this feeling that the woman got a tiny orgasm every time she said the word "unconventional" < 1307388142 260622 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :did A Universal Flying Amorphous Computer have anything interesting to say < 1307388156 199661 :oklopol!~oklopol@dyn37-212.vpn.utu.fi PRIVMSG #esoteric :also there was a talk about fsa and tm's reading input from the future and they opened up with a fucking discussion of the grandfather or whatever paradox and i almost yelled NOOOOOOOOOOOOOOOOOOOOOOOOOO < 1307388169 324701 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric ::D < 1307388182 257435 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :would you like a hug oklopol you sound distressed < 1307388320 766960 :oklopol!~oklopol@dyn37-212.vpn.utu.fi PRIVMSG #esoteric :it's like, you're 2 and you go hmm how does this walking thing go... ah, it goes this way. *few years pass* hmm okay i've mastered this *more years pass* god this stuff is boring, left right left right yeah yeah maybe i'll find a chair and then in fucking 10 years EVERYONE STARTS GOING WOW LOOK AT THESE STICKS UNDER ME WHAT IF I DO LIKE THIS THEN I'LL LIKE MOVE AND SHIT HAHAHA LOOK OKLOPOL I CAN *WALK* WHAT DO YOU THINK ABOUT WALKING?!? < 1307388354 809497 :oklopol!~oklopol@dyn37-212.vpn.utu.fi PRIVMSG #esoteric :(actually i don't remember when ppl learn to walk) < 1307388384 802316 :oklopol!~oklopol@dyn37-212.vpn.utu.fi PRIVMSG #esoteric :erm and that was about time machines if it was not clear for some reason < 1307388403 311607 :olsner!~sal@c83-252-161-133.bredband.comhem.se PRIVMSG #esoteric :time machines are like walking? < 1307388438 891775 :oklopol!~oklopol@dyn37-212.vpn.utu.fi PRIVMSG #esoteric :no, but the grandfather paradox is something 4-year-olds think about before they grow a brain < 1307388482 744157 :oklopol!~oklopol@dyn37-212.vpn.utu.fi PRIVMSG #esoteric :see i'm also so tired of saying i hate time travel that i have to make it interesting for myself < 1307388555 346866 :oklopol!~oklopol@dyn37-212.vpn.utu.fi PRIVMSG #esoteric :elliott: universal blah is on thursday < 1307388582 828523 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :The grandfather paradox is pretty stupid as a thing to think about. < 1307388587 697580 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :hey oklopol < 1307388591 35019 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :time travel is awesome < 1307388606 153592 :oklopol!~oklopol@dyn37-212.vpn.utu.fi PRIVMSG #esoteric :hey umm remember a few weeks or something ago when i said i'd totally solved a prob i've been trying to solve for a year and that it was my third attempt which was the charm and then i realized how fun it doesn't work < 1307388621 778452 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :rtjiog < 1307388625 44524 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :No. < 1307388632 325918 :oklopol!~oklopol@dyn37-212.vpn.utu.fi PRIVMSG #esoteric :elliott and oerjan were here at least < 1307388638 232670 :oklopol!~oklopol@dyn37-212.vpn.utu.fi PRIVMSG #esoteric :in any case, I HAVE TOTALLY SOLVED IT NO < 1307388638 824475 :oklopol!~oklopol@dyn37-212.vpn.utu.fi PRIVMSG #esoteric :W < 1307388645 846204 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :WHAT IS IT < 1307388646 780302 :oklopol!~oklopol@dyn37-212.vpn.utu.fi PRIVMSG #esoteric :i wonder if that was a freudian slip < 1307388648 716716 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :i solved ur mom < 1307388695 899293 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :i killed a < 1307388730 518611 :oklopol!~oklopol@dyn37-212.vpn.utu.fi PRIVMSG #esoteric :Phantom_Hoover: an n-dimensional picture is when you color Z^n with a finite set of colors in such away that everything except some finite product of intervals gets # as color and the product of intervals gets colors from some set S < 1307388739 990894 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :oklopol: omg raciest................ < 1307388756 795414 :oklopol!~oklopol@dyn37-212.vpn.utu.fi PRIVMSG #esoteric :a picture-walking automaton is a nondeterministic automaton that walks on the cells of a picture, accepting if there is a computation that leads to a final state < 1307388764 757123 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :stop being a raciest omg..................... < 1307388780 11758 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :": /" < 1307388813 369241 :oklopol!~oklopol@dyn37-212.vpn.utu.fi PRIVMSG #esoteric :you start from some initial state at a corner and your rules are of the form Q x (S \cup {#}) -> 2^(Q x {directions here}) < 1307388837 350754 :oklopol!~oklopol@dyn37-212.vpn.utu.fi PRIVMSG #esoteric :so depending on what state you are in and what you read, you choose some state given by the rule and a move in some direction < 1307388853 486289 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Phantom_Hoover: look at this raciesm... < 1307388866 437202 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :elliott, it is so racyy. < 1307388868 632404 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :*racy < 1307388873 106842 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :[asterisk]racyy < 1307388874 869858 :oklopol!~oklopol@dyn37-212.vpn.utu.fi PRIVMSG #esoteric :now, we define NFA and FNFA as the classes of picture languages (sets of pictures) you can define when the automaton is allowed to exit the picture it is accepting, and not exiting it, respectively < 1307388882 432318 :oklopol!~oklopol@dyn37-212.vpn.utu.fi PRIVMSG #esoteric :i proved NFA = FNFA in all dimensions < 1307388894 590946 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :oklopol: ur raciesm against blak people discusts me......... < 1307388897 656225 :oklopol!~oklopol@dyn37-212.vpn.utu.fi PRIVMSG #esoteric :in the sense that i haven't yet realized why my proof is wrong this time < 1307388899 171118 :oklopol!~oklopol@dyn37-212.vpn.utu.fi PRIVMSG #esoteric ::) < 1307388976 959942 :oklopol!~oklopol@dyn37-212.vpn.utu.fi PRIVMSG #esoteric :for two dimensions, you can find the proof in my master's thesis, but i left dimensions above 2 open < 1307388989 186622 :oklopol!~oklopol@dyn37-212.vpn.utu.fi PRIVMSG #esoteric :because the proof refused to generalize < 1307389017 827764 :oklopol!~oklopol@dyn37-212.vpn.utu.fi PRIVMSG #esoteric :the feeling between coming up with the solution and realizing it's crap = <3 < 1307389060 954350 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :you're a shit < 1307389062 602704 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric ::) < 1307389108 854694 :oklopol!~oklopol@dyn37-212.vpn.utu.fi PRIVMSG #esoteric :im shit? :( < 1307389137 139810 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :sorry < 1307390445 877120 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :ACTION concludes that RobotRollCall is by now just an annoying power user. < 1307390456 955688 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :why < 1307390501 21949 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :Because in http://www.reddit.com/r/askscience/comments/hsrsq/what_would_happen_in_terms_of_gravity_if_you/ she says that all the other answers aren't giving the whole story and proceeds to reel off her own spiel about field theory. < 1307390537 281647 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :Thing is, the top answer *does* explain it, although not rigorously, while hers just says "the field in a shell is zero. It just is". < 1307390623 158665 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :"So if the sun were to just blink out of existence we would follow our orbit for another 8 minutes before everything went to hell?" THIS PERSON HAS CLEARLY NEVER READ THE ED STORIES < 1307390634 556508 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :"Stuff doesn't blink out of existence, so that's, to put it bluntly, not an interesting question." --RobotRollCall < 1307390648 648860 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :See what I mean? < 1307390661 999231 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :She seems to take glee in crushing unrealistic hypotheticals. < 1307390663 910871 :augur!~augur@129.2.129.35 JOIN :#esoteric < 1307390678 238630 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :ARE YOU SURE YOU AREN'T JUST UPSET ABOUT YOUR OWN UNREALISTIC HYPOTHETICALS < 1307390679 458702 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :elliott, link to that one? < 1307390687 636717 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :And no, because she didn't do it to me. < 1307390697 842208 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :">Okie doke, so let's say something accelerated the sun very quickly… < 1307390698 72129 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :No, let's not. Let's consider only things that are actually possible." < 1307390702 75087 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :OK she's an asshole. < 1307390709 504700 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :She is. < 1307390719 123368 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :Linklinklink so I can try to take her apart for this. < 1307390734 547955 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :It's linked by someone complaining about RRC at the top of your link. < 1307390736 886668 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :You can find it. < 1307390852 674478 :pikhq_!~pikhq@174-22-152-84.clsp.qwest.net JOIN :#esoteric < 1307390997 858011 :pikhq!~pikhq@71-219-250-148.clsp.qwest.net QUIT :Ping timeout: 250 seconds < 1307391302 184712 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :hmm < 1307391306 570215 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :maybe I'll have to use IO for this < 1307391336 267532 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :it seems to be the only way to make it all work it right < 1307391342 394498 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :(unsafePerformIO causing problems? shock and horror) < 1307391407 412468 :pikhq_!~pikhq@174-22-152-84.clsp.qwest.net PRIVMSG #esoteric :elliott: Where "this" == ? < 1307391440 344915 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :pikhq_: I'm working on an interning library < 1307391451 903741 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :so that e.g. you can do Scheme symbols with "Interned String" < 1307391464 889471 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :pikhq_: and it uses reallyUnsafePtrEquality# behind the scenes in the Eq instance < 1307391503 791733 :pikhq_!~pikhq@174-22-152-84.clsp.qwest.net PRIVMSG #esoteric :... That's frightening. < 1307391523 7581 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :your mom is frightening < 1307392399 300548 :coppro!~scshunt@denardo.csclub.uwaterloo.ca PRIVMSG #esoteric :interning library? < 1307392714 49638 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :coppro: what? < 1307392724 150447 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :Interned in a library. < 1307392749 463329 :coppro!~scshunt@denardo.csclub.uwaterloo.ca PRIVMSG #esoteric :what is an interning library? < 1307392772 545687 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :A library for interning people in. < 1307392798 541805 :Rugxulo!~chatzilla@adsl-065-013-115-246.sip.mob.bellsouth.net JOIN :#esoteric < 1307392837 884225 :Rugxulo!~chatzilla@adsl-065-013-115-246.sip.mob.bellsouth.net PRIVMSG #esoteric :I actually found Ben Olmstead's old Befunge-93 compiler (MCBC), but it doesn't work :-( < 1307392853 445552 :Rugxulo!~chatzilla@adsl-065-013-115-246.sip.mob.bellsouth.net PRIVMSG #esoteric :nevertheless, for any completist who wants a copy, get it here: < 1307392855 210127 :Rugxulo!~chatzilla@adsl-065-013-115-246.sip.mob.bellsouth.net PRIVMSG #esoteric :http://web.archive.org/web/20040221222300/http://www.mines.edu/students/b/bolmstea/mtfi/mcbc10.zip < 1307392860 265912 :Rugxulo!~chatzilla@adsl-065-013-115-246.sip.mob.bellsouth.net PRIVMSG #esoteric :just FYI < 1307392930 756874 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :And with that you will be back into the night? < 1307392944 552654 :Rugxulo!~chatzilla@adsl-065-013-115-246.sip.mob.bellsouth.net PRIVMSG #esoteric :;-) < 1307392982 776322 :Rugxulo!~chatzilla@adsl-065-013-115-246.sip.mob.bellsouth.net PRIVMSG #esoteric :I just thought it was cool, esp. since I could never find the damn thing ... though ironically it crashes (SIGSEGV) on any input, no matter how simple < 1307393219 237070 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :we should mirror that < 1307393274 370826 :Rugxulo!~chatzilla@adsl-065-013-115-246.sip.mob.bellsouth.net PRIVMSG #esoteric :yes ... and BTW I never found the fabled "Betty" compiler that Wikipedia mentions < 1307393325 1009 :Rugxulo!~chatzilla@adsl-065-013-115-246.sip.mob.bellsouth.net PRIVMSG #esoteric :even BFC mentioned is long gone (though I once found a copy somewhere but forget where, some forum) < 1307393380 831182 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :It was too awesome for this world. < 1307393396 170733 :Rugxulo!~chatzilla@adsl-065-013-115-246.sip.mob.bellsouth.net PRIVMSG #esoteric :Chris Pressey did do a minor bugfix for his official BEF a few months ago too < 1307393434 112352 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :yeah < 1307393437 573500 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :he comes here occasionally < 1307393447 421435 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake QUIT :Ping timeout: 252 seconds < 1307393454 408634 :Rugxulo!~chatzilla@adsl-065-013-115-246.sip.mob.bellsouth.net PRIVMSG #esoteric :I saw him in here once or twice, but that was rare (and before the refresh) < 1307393481 560801 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :the refresh? < 1307393490 102963 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :He was here pretty much all the time last year < 1307393541 915098 :CakeProphet!~adam@h151.40.18.98.dynamic.ip.windstream.net JOIN :#esoteric < 1307393542 399395 :CakeProphet!~adam@h151.40.18.98.dynamic.ip.windstream.net QUIT :Changing host < 1307393542 561936 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake JOIN :#esoteric < 1307393576 191046 :Rugxulo!~chatzilla@adsl-065-013-115-246.sip.mob.bellsouth.net PRIVMSG #esoteric :BEF refresh, bugfix < 1307393664 864926 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :ah < 1307393671 982727 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :> zip "abcd" "bcd" < 1307393673 116041 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : [('a','b'),('b','c'),('c','d')] < 1307393679 513522 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :> zip "abcd" "cd" < 1307393680 832837 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : [('a','c'),('b','d')] < 1307393685 469434 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :hmph < 1307393702 70455 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :> zip "abcd" [(),(),(),(),()] < 1307393703 175118 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : [('a',()),('b',()),('c',()),('d',())] < 1307393754 19821 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :> zip (map ("abcd"!!) [0,2..]) (map ("abcd"!!) [1,3..]) < 1307393755 230951 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : [('a','b'),('c','d'),(*Exception: Prelude.(!!): index too large < 1307393760 206050 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :where's oerjan when you need 'im < 1307393775 389608 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :?pl \x y -> x:y:[] < 1307393775 831754 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :(. return) . (:) < 1307394211 50454 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :?hoogle [a] -> [(a,a)] < 1307394211 710874 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :Test.QuickCheck two :: Monad m => m a -> m (a, a) < 1307394211 874015 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :Prelude zip :: [a] -> [b] -> [(a, b)] < 1307394211 874193 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :Data.List zip :: [a] -> [b] -> [(a, b)] < 1307394228 802629 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :hmm < 1307394271 121314 :Demetrius!~dm@217.21.40.10 QUIT :Quit: gnite! < 1307394615 58794 :Patashu!~Patashu@c122-106-155-219.carlnfd1.nsw.optusnet.com.au JOIN :#esoteric < 1307394863 968556 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake QUIT :Ping timeout: 240 seconds < 1307394969 400352 :CakeProphet!~adam@h95.8.18.98.dynamic.ip.windstream.net JOIN :#esoteric < 1307394969 869683 :CakeProphet!~adam@h95.8.18.98.dynamic.ip.windstream.net QUIT :Changing host < 1307394970 32615 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake JOIN :#esoteric < 1307395337 363633 :pikhq_!~pikhq@174-22-152-84.clsp.qwest.net PRIVMSG #esoteric :!pl \x->(x,x) < 1307395348 374122 :pikhq_!~pikhq@174-22-152-84.clsp.qwest.net PRIVMSG #esoteric :?pl \x->(x,x) < 1307395349 50310 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :join (,) < 1307395352 31024 :pikhq_!~pikhq@174-22-152-84.clsp.qwest.net PRIVMSG #esoteric :Also, yeah. < 1307395479 682348 :Rugxulo!~chatzilla@adsl-065-013-115-246.sip.mob.bellsouth.net QUIT :Quit: ChatZilla 0.9.87 [Firefox 3.6.10/20101005225428] < 1307395515 315211 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :pikhq_: no that's not it < 1307395531 631157 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :I want "abcd" -> [('a','b'),('c','d')] but actually I need to handle the odd case too so basically never mind < 1307396164 77344 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :> zip ["la","le","li","lo","lu","ra","re","ri","ro","ro"] [0..] < 1307396165 120537 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : [("la",0),("le",1),("li",2),("lo",3),("lu",4),("ra",5),("re",6),("ri",7),("... < 1307396177 539739 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :?pl \x y -> string x >> return y < 1307396178 109304 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :(. return) . (>>) . string < 1307396189 780685 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :> zipWith ((. return) . (>>) . string) ["la","le","li","lo","lu","ra","re","ri","ro","ro"] [0..] < 1307396190 757139 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : Not in scope: `string' < 1307396216 984938 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :?pl \x y -> x >> return y < 1307396217 486424 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :(. return) . (>>) < 1307396270 24183 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 QUIT :Ping timeout: 255 seconds < 1307396298 224413 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :?pl \x y -> (x*10) +y < 1307396298 709745 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :(+) . (10 *) < 1307396833 365417 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake QUIT :Ping timeout: 246 seconds < 1307396947 953990 :CakeProphet!~adam@h251.55.18.98.dynamic.ip.windstream.net JOIN :#esoteric < 1307396948 445933 :CakeProphet!~adam@h251.55.18.98.dynamic.ip.windstream.net QUIT :Changing host < 1307396948 608349 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake JOIN :#esoteric < 1307397211 940989 :Patashu!~Patashu@c122-106-155-219.carlnfd1.nsw.optusnet.com.au QUIT :Ping timeout: 250 seconds < 1307397512 163539 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :elliott: Yeah doesn't work unfortunately because I don't believe open returns the filehandle it returns a success value. < 1307397531 631591 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :yeah < 1307397554 973780 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :elliott: and yes, $_ is an our variable but in many situations it becomes either dynamically or lexically local, I'm not sure which though. < 1307397565 750868 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :I think dynamic. < 1307397577 845030 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Isn't the definition of our a dynamically local variable? < 1307397606 542238 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :no our is a "shared package variable", which basically means it's dynamic global. < 1307397622 831766 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :"As $_ is a global variable, this may lead in some cases to unwanted side-effects. As of perl 5.9.1, you can now use a lexical version of $_ by declaring it in a file or in a block with my. Moreover, declaring our $_ restores the global $_ in the current scope." < 1307397629 930935 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Ah, so it's literally just a global variable < 1307397644 638554 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :But you can use our to make it temporarily local < 1307397821 110991 :ralc!~ralc@79.142.230.243.static.knet.bolignet.dk QUIT :Quit: Leaving < 1307397894 990767 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake QUIT :Ping timeout: 276 seconds < 1307397938 15569 :sebbu2!~sebbu@ADijon-152-1-89-219.w81-50.abo.wanadoo.fr JOIN :#esoteric < 1307397938 517124 :sebbu2!~sebbu@ADijon-152-1-89-219.w81-50.abo.wanadoo.fr QUIT :Changing host < 1307397938 679780 :sebbu2!~sebbu@unaffiliated/sebbu JOIN :#esoteric < 1307398051 751154 :MigoMipo!~John@84-217-10-78.tn.glocalnet.net QUIT :Read error: Connection reset by peer < 1307398160 285980 :sebbu!~sebbu@unaffiliated/sebbu QUIT :Ping timeout: 252 seconds < 1307398160 448337 :sebbu2!~sebbu@unaffiliated/sebbu NICK :sebbu < 1307398199 283272 :pikhq!~pikhq@174-22-191-2.clsp.qwest.net JOIN :#esoteric < 1307398200 38498 :pikhq_!~pikhq@174-22-152-84.clsp.qwest.net QUIT :Ping timeout: 240 seconds < 1307399024 589983 :augur!~augur@129.2.129.35 QUIT :Remote host closed the connection < 1307399051 59426 :augur!~augur@129.2.129.35 JOIN :#esoteric < 1307399100 930795 :oerjan!oerjan@tyrell.nvg.ntnu.no JOIN :#esoteric < 1307399159 427824 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric : where's oerjan when you need 'im < 1307399173 756783 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :sipping his coffee in a restaurant < 1307399174 806120 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :yeah its fucking unacceptable < 1307399178 316169 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :he should be hanged < 1307399188 24350 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :oerjan: well lah-de-dah mister fancy < 1307399197 569135 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :if you're so rich then why don't you buy an ipad so you can always be bugged by me :| < 1307399202 607320 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :WHEREVER YOU GO < 1307399213 313555 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :middle of the night, BEEP BEEP "oerjan i need haskell help" < 1307399222 521081 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :i'm not rich. < 1307399234 190977 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :shaddap < 1307399288 549239 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :> zip (map ("abcd"!!) [0,2..]) (map ("abcd"!!) [1,3..]) < 1307399289 250906 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : [('a','b'),('c','d'),(*Exception: Prelude.(!!): index too large < 1307399301 662839 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :> zip (map (cycle "abcd"!!) [0,2..]) (map (cycle "abcd"!!) [1,3..]) < 1307399302 361974 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : [('a','b'),('c','d'),('a','b'),('c','d'),('a','b'),('c','d'),('a','b'),('c'... < 1307399303 321408 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :yeah, turns out I actually don't need that function :D < 1307399311 430655 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :digit :: Parser Integer < 1307399311 654533 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :digit = choice $ zipWith (>>) (map (try . string) digits) (map return [0..]) < 1307399311 818167 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric : where digits = ["la", "le", "li", "lo", "lu", "ra", "re", "ri", "ro", "ru"] < 1307399315 974950 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :would be nice if you could make that a bit less ugly < 1307399324 139165 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :oops did i just reveal what i'm writing :D < 1307399345 433094 :CakeProp1et!~adam@h149.45.18.98.dynamic.ip.windstream.net JOIN :#esoteric < 1307399357 813063 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :huh < 1307399366 518784 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :huh? < 1307399367 678505 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :is it that syl language? < 1307399379 549161 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :yeah; I am bored < 1307399389 509964 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :so I'm going to write the BEST SYL IMPLEMENTATION EVARRR < 1307399395 153060 :CakeProp1et!~adam@h149.45.18.98.dynamic.ip.windstream.net QUIT :Client Quit < 1307399407 699650 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :we're talking multiple backends, C FFI here < 1307399427 351394 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake JOIN :#esoteric < 1307399495 828940 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :digit = choice [try (string d) >> return n | d <- digits | n <- [0..]] < 1307399513 879274 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :but... but you made it less point-free... < 1307399515 514258 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :ACTION has never tried that zip comprehension before < 1307399521 476097 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :also that should be a comma before n, not | < 1307399522 116391 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :no? < 1307399532 265995 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :SOMETIMES LESS POINT-FREE IS BETTER < 1307399539 868756 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :integer = natural >>= liftA2 (<|>) ((string "hu" *>) . return . negate) return < 1307399540 31495 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :oerjan: I agree entirely. < 1307399543 981920 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :wanna de-ugly that too? :P < 1307399569 922386 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :um no, i believe | is the syntax for the "zip these together" comprehension extension < 1307399573 114426 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :ah < 1307399588 126697 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :it might not be an extension any more what with haskell twentyten < 1307399589 328141 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :oh well hm < 1307399596 701794 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :point-free < 1307399638 276792 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :the main problem I have with point-free is I can't READ ANYTHING. < 1307399654 484393 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric : Illegal parallel list comprehension: use -XParallelListComp < 1307399655 513769 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric ::( < 1307399660 191669 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :CakeProphet: that's your problem, not point-free's. < 1307399665 123508 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :or, well, sometimes it's the code's problem. < 1307399678 15930 :olsner!~sal@c83-252-161-133.bredband.comhem.se PRIVMSG #esoteric :not if the code is point-free, that is never wrong < 1307399678 448726 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric ::t (*>) < 1307399679 148988 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :forall (f :: * -> *) a b. (Applicative f) => f a -> f b -> f b < 1307399685 271297 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric ::t ($>) < 1307399685 966047 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :Not in scope: `$>' < 1307399687 103594 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :but, well, I can't read obfuscated perl, doesn't make perl a bad language :D < 1307399689 160651 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :oh hey < 1307399689 465504 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric ::t (>$) < 1307399690 163027 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :Not in scope: `>$' < 1307399691 473614 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :where's olsner wher eyou need him < 1307399692 829306 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :bah < 1307399693 575639 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :the answer -- RIGHT HERE < 1307399699 604279 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :but i ... forget what ... i ... was ... oh yes thats what < 1307399703 339049 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :@hoogle f a -> b -> f b < 1307399703 673280 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :Control.Applicative (<$) :: Functor f => a -> f b -> f a < 1307399703 835636 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :Control.Applicative (*>) :: Applicative f => f a -> f b -> f b < 1307399703 835767 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :Prelude (>>) :: Monad m => m a -> m b -> m b < 1307399706 532303 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :olsner: bochs has some kind of interface to its console, right? < 1307399710 906172 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :so OS stuff can print debug to it < 1307399714 341163 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :elliott: Haskell isn't a bad language. I'm saying point-free style, in very complicated situations, results in a mess of code that takes far too long to decipher. < 1307399715 214313 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :hm < 1307399721 506843 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :elliott: a mess of very very concise code. < 1307399723 428083 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric ::P < 1307399724 425914 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :CakeProphet: Let me rewrite what you said to actually be not wrong: < 1307399734 496647 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :CakeProphet: Point-free style, when misapplied, results in a mess. < 1307399736 619110 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Similarly: < 1307399741 330050 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Perl, when misapplied, results in a mess. < 1307399750 830195 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :..sure. < 1307399775 238962 :olsner!~sal@c83-252-161-133.bredband.comhem.se PRIVMSG #esoteric :elliott: hmm, yes istr reading something like that from the config menus... I think it might not be enabled by default though < 1307399779 76342 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Point-free, when it can be executed well -- which it usually can be if you have the right combinators -- is more readable than the pointful version (to someone who's experienced reading Haskell) < 1307399790 614707 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :It's essentially a higher level of abstraction, just one that can be misapplied. < 1307399796 178815 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :digit = choice . zipWith (<*) [0..] $ try . string <$> digits < 1307399799 328053 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :I don't really see where Perl comes into play with the readability of point-free style. But sure, non-relevant comparisons are fun. < 1307399822 538112 :olsner!~sal@c83-252-161-133.bredband.comhem.se PRIVMSG #esoteric :> fix$(<$>)<$>(:)<*>((<$>((:[{- thor's mother -}])<$>))(=<<)<$>(*)<$>(*2))$1 < 1307399823 673465 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : [1,2,4,8,16,32,64,128,256,512,1024,2048,4096,8192,16384,32768,65536,131072,... < 1307399841 805461 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :olsner: beautiful < 1307399852 117009 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :elliott: ^ better? < 1307399857 584004 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :no, but olsner's is < 1307399865 407867 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric ::( < 1307399867 782232 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :i kid, i haven't looked at yours < 1307399868 578405 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :i will now < 1307399882 240567 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :oerjan: that's pretty nice < 1307399889 623476 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :right now I'm trying to make integer less ugly though, but I'll save that < 1307399897 543403 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :actually I'll use it < 1307399910 759681 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :since the parallel comprehension is non-standard < 1307399935 20071 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric ::t digits < 1307399935 718568 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :Not in scope: `digits' < 1307399937 332712 :Vorpal!~AnMaster@unaffiliated/anmaster PRIVMSG #esoteric :elliott, how goes the spec!! < 1307399940 87678 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :ah, Parsec. < 1307399948 461483 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Vorpal: hi bro < 1307399951 449713 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :@hoogle digits < 1307399951 623508 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :Prelude floatDigits :: RealFloat a => a -> Int < 1307399951 786263 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :Numeric floatToDigits :: RealFloat a => Integer -> a -> ([Int], Int) < 1307399951 786422 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :Numeric lexDigits :: ReadS String < 1307399958 529532 :Vorpal!~AnMaster@unaffiliated/anmaster PRIVMSG #esoteric :elliott, hallo! < 1307399958 781238 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :CakeProphet: digits is a local define. < 1307399961 722215 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Vorpal: sup < 1307399965 605459 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :elliott: ..oh, nevermind then. < 1307399983 233753 :Vorpal!~AnMaster@unaffiliated/anmaster PRIVMSG #esoteric :elliott, not well, there is a computer spec missing. And how are you? < 1307399998 406040 :Vorpal!~AnMaster@unaffiliated/anmaster PRIVMSG #esoteric :not feeling* < 1307400009 522673 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Vorpal: actually legitimately ill < 1307400014 307491 :Vorpal!~AnMaster@unaffiliated/anmaster PRIVMSG #esoteric :elliott, ouch < 1307400024 774213 :Vorpal!~AnMaster@unaffiliated/anmaster PRIVMSG #esoteric :elliott, well then you have time for the spec now! < 1307400028 38745 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :YEAH NOW YOU FEEL BAD FOR MAKING FUN OF MY SITUATION ;_____; < 1307400038 723677 :olsner!~sal@c83-252-161-133.bredband.comhem.se PRIVMSG #esoteric :elliott: looks like you just write to port e9, if it's enabled: http://heim.ifi.uio.no/~inf3150/doc/tips_n_tricks/e9hack.html < 1307400044 570326 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Vorpal: but what if the painkillers make me insane :/ < 1307400049 117864 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :what is <*? < 1307400054 558366 :Vorpal!~AnMaster@unaffiliated/anmaster PRIVMSG #esoteric :elliott, can they do that? < 1307400056 560487 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :olsner: heh, noice < 1307400061 671785 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Vorpal: i don't know, i'm too ill to think clearly < 1307400072 295338 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric : integer = natural >>= liftA2 (<|>) ((string "hu" *>) . return . negate) return < 1307400108 225493 :Vorpal!~AnMaster@unaffiliated/anmaster PRIVMSG #esoteric :elliott, ouch < 1307400109 902119 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Vorpal: see, i'm writing crazy code like that < 1307400114 21851 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :clearly not sane right now < 1307400116 630335 :Vorpal!~AnMaster@unaffiliated/anmaster PRIVMSG #esoteric :elliott, well get off irc, and rest then < 1307400130 70184 :Vorpal!~AnMaster@unaffiliated/anmaster PRIVMSG #esoteric :elliott, that code looks fine to me. What is liftA2 though? < 1307400134 27043 :Vorpal!~AnMaster@unaffiliated/anmaster PRIVMSG #esoteric :I don't remember that one < 1307400136 861822 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :are you advising me to stay in bed all day and waste time, because that's... exactly what i'm doing < 1307400141 667042 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :@hoogle (*>) < 1307400141 842519 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :Control.Applicative (*>) :: Applicative f => f a -> f b -> f b < 1307400142 7216 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :Control.Applicative (<**>) :: Applicative f => f a -> f (a -> b) -> f b < 1307400142 7309 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :Control.Applicative (<*>) :: Applicative f => f (a -> b) -> f a -> f b < 1307400145 725255 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Vorpal: liftM2, but s/Monad/Applicative/ < 1307400149 670510 :Vorpal!~AnMaster@unaffiliated/anmaster PRIVMSG #esoteric :elliott, ah < 1307400159 139622 :Vorpal!~AnMaster@unaffiliated/anmaster PRIVMSG #esoteric :elliott, and uh. <|> is? < 1307400166 89865 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :I believe Parsec's choice operator. < 1307400184 252538 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :oerjan: your digit doesn't type < 1307400187 792815 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :similar to a | in a regex or... many other things I don't remember the names of. < 1307400189 581871 :Vorpal!~AnMaster@unaffiliated/anmaster PRIVMSG #esoteric :oh right, that makes quite a lot of sense then < 1307400189 744203 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Vorpal: actually the applicative choice thing too < 1307400193 501097 :Vorpal!~AnMaster@unaffiliated/anmaster PRIVMSG #esoteric :ah < 1307400197 841259 :Vorpal!~AnMaster@unaffiliated/anmaster PRIVMSG #esoteric :even more sense < 1307400207 316566 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :erm, Alternative rather < 1307400209 401310 :Vorpal!~AnMaster@unaffiliated/anmaster PRIVMSG #esoteric :elliott, now what does it do? < 1307400215 69076 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :...applicative choice? I still need to learn the rest of Applicative. < 1307400218 999120 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Vorpal: (<|>) :: Alternative f => f a -> f a -> f a < 1307400226 698125 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :CakeProphet: it's just a generalisation, pretty much < 1307400228 444825 :Vorpal!~AnMaster@unaffiliated/anmaster PRIVMSG #esoteric :elliott, no I meant the code in general < 1307400229 555843 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :CakeProphet: I hide Parsec's < 1307400239 439001 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :because the Alternative operator works on the Parsec monad too < 1307400241 908938 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Vorpal: what it says on the tin < 1307400252 50678 :Vorpal!~AnMaster@unaffiliated/anmaster PRIVMSG #esoteric :elliott, meh, too tired to parse it atm < 1307400257 153509 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :elliott: right, but does Applicative have a notion of success and failure like Parsec? < 1307400263 435257 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric : what is <*? <-- oh hm, elliott: s/<*/<$/ < 1307400282 176725 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :CakeProphet: no, like I said, Alternative does < 1307400285 402711 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :?src Alternative < 1307400285 894928 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :class Applicative f => Alternative f where < 1307400286 60325 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : empty :: f a < 1307400286 60504 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : (<|>) :: f a -> f a -> f a < 1307400296 603243 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :> [9,0] <|> [0,9] -- hmm < 1307400297 789245 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : [9,0,0,9] < 1307400299 833033 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :right < 1307400304 202225 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :(think list monad) < 1307400318 215360 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :oerjan: yay, works < 1307400325 231485 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :ah okay. < 1307400331 173835 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :name :: Parser String < 1307400331 418260 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :name = concat . many1 $ liftA2 (:) normalCons vowel < 1307400332 915710 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :alas this doesn't < 1307400335 641970 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :for obvious reasons < 1307400340 377180 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :?pl \x y -> [x,y] < 1307400340 950053 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :(. return) . (:) < 1307400342 57893 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :sigh < 1307400349 613911 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :elliott: looks very much like MonadPlus < 1307400355 723268 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :?src MonadPlus < 1307400356 63428 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :Source not found. You type like i drive. < 1307400366 448410 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :CakeProphet: I actually think Alternative /is/ MonadPlus < 1307400368 472905 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :yeah, it is < 1307400369 871941 :Vorpal!~AnMaster@unaffiliated/anmaster PRIVMSG #esoteric :what an insult < 1307400381 420707 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :CakeProphet: it's just that a lot of the haskell library doesn't consider things above monads < 1307400387 187299 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :elliott: for list it seems to be exactly the same. < 1307400391 935455 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :it is the same, always < 1307400399 601572 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :similarly, liftM2 is superfluous < 1307400402 552930 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :it's the same as liftA2 < 1307400406 967632 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :but we haven't had Applicatives as long as monads < 1307400408 737144 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :elliott: concat <$> up there < 1307400410 697066 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :thus why all this stuff is duplicated < 1307400423 620049 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :ah so <$ is fmap.const < 1307400433 634565 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric : Couldn't match expected type `[Char]' with actual type `Char' < 1307400433 797267 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric : Expected type: ParsecT < 1307400433 797440 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric : String () Data.Functor.Identity.Identity [Char] < 1307400440 195449 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric ::t fmap.const < 1307400441 338875 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :forall a b (f :: * -> *). (Functor f) => b -> f a -> f b < 1307400444 833954 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric ::t (<$) < 1307400446 84120 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :forall a (f :: * -> *) b. (Functor f) => a -> f b -> f a < 1307400450 24336 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :yep < 1307400460 439892 :Vorpal!~AnMaster@unaffiliated/anmaster PRIVMSG #esoteric :at least the type is the same < 1307400470 720603 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Vorpal: same thing :) < 1307400474 110077 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :according to the documentation it's the same thing. < 1307400478 631233 :Vorpal!~AnMaster@unaffiliated/anmaster PRIVMSG #esoteric :elliott, come on, (+) and (-) have the same type, don't they? < 1307400479 227790 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :yeah < 1307400486 996966 :Vorpal!~AnMaster@unaffiliated/anmaster PRIVMSG #esoteric ::t (-) < 1307400488 318391 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :forall a. (Num a) => a -> a -> a < 1307400489 679559 :Vorpal!~AnMaster@unaffiliated/anmaster PRIVMSG #esoteric ::t (+) < 1307400489 841844 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :what's the name of the principle that lets you derive facts from types < 1307400490 763280 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :forall a. (Num a) => a -> a -> a < 1307400491 312382 :Vorpal!~AnMaster@unaffiliated/anmaster PRIVMSG #esoteric ::t (*) < 1307400492 512067 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :forall a. (Num a) => a -> a -> a < 1307400493 213266 :Vorpal!~AnMaster@unaffiliated/anmaster PRIVMSG #esoteric :see < 1307400495 906056 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :what's the name of the principle that lets you derive facts from types < 1307400507 643011 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :because I think we could deduce that (fmap . const) and (<$) are the same by just the types < 1307400507 809576 :Vorpal!~AnMaster@unaffiliated/anmaster PRIVMSG #esoteric :elliott, now we know that multiplication is addition! :P < 1307400512 119675 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :or well hm < 1307400512 448799 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :elliott: parametricity < 1307400515 81289 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :?src Functor < 1307400515 598112 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :class Functor f where < 1307400515 760145 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : fmap :: (a -> b) -> f a -> f b < 1307400523 341914 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :yeah < 1307400528 88116 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :I have a hunch it would work here < 1307400539 165745 :Vorpal!~AnMaster@unaffiliated/anmaster PRIVMSG #esoteric :okay < 1307400540 686463 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :and i think it applies to fmap.const = (<$) < 1307400545 399785 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :let's see ... (a -> f b -> f a) < 1307400556 111243 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :yeah < 1307400558 886755 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :it has to look like < 1307400565 611521 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :at least assuming a Functor instance respecting the laws < 1307400565 988211 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :\a b -> fmap _ b < 1307400567 221433 :olsner!~sal@c83-252-161-133.bredband.comhem.se PRIVMSG #esoteric :I think you can make more functions of the same type by using undefined < 1307400570 680921 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :because that's the only way to get an f thing < 1307400579 664313 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :and the only (a -> b) here is const < 1307400581 706851 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :since we can't inspect our a < 1307400590 280422 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :Ah there's an instance for MonadPlus m => Alternative (WrappedMonad m) < 1307400593 433435 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :so yeah, there is only one function of the type (a -> f b -> f a) < 1307400622 471331 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :olsner: yeah basic parametricity only works for terminating functions, although there is some research on adding non-termination and seq < 1307400624 357867 :Vorpal!~AnMaster@unaffiliated/anmaster PRIVMSG #esoteric :elliott, unless you involve bottom I think? < 1307400631 403551 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Vorpal: yeah yeah, those aren't real functions < 1307400634 824696 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :total function, if you will, whatever < 1307400641 700997 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :(it's a feature of System F lambda calculus) < 1307400642 465694 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :name = concat <$> many1 (liftA2 (\x y -> [x,y]) normalCons vowel) < 1307400643 658191 :Vorpal!~AnMaster@unaffiliated/anmaster PRIVMSG #esoteric ::t seq < 1307400644 381280 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :oerjan: so agley :( < 1307400644 844312 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :forall a t. a -> t -> t < 1307400646 542737 :Vorpal!~AnMaster@unaffiliated/anmaster PRIVMSG #esoteric ::t id < 1307400646 942756 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric ::t many < 1307400647 822714 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :forall (f :: * -> *) a. (Alternative f) => f a -> f [a] < 1307400647 995975 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :forall a. a -> a < 1307400650 282208 :Vorpal!~AnMaster@unaffiliated/anmaster PRIVMSG #esoteric :hm < 1307400661 472082 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :> many [1] < 1307400664 952165 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : mueval-core: Time limit exceeded < 1307400670 369165 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :heh < 1307400672 498948 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric ::) < 1307400680 663672 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :> many (return 9) < 1307400681 521271 :Vorpal!~AnMaster@unaffiliated/anmaster PRIVMSG #esoteric :wtf is the t. in seq's type? < 1307400681 780524 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : No instance for (GHC.Show.Show (f [t])) < 1307400681 943626 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : arising from a use of `M76367029... < 1307400685 33496 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :> many (Just 9) < 1307400687 798950 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Vorpal: "forall a t." < 1307400688 955420 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : mueval-core: Time limit exceeded < 1307400691 873987 :Vorpal!~AnMaster@unaffiliated/anmaster PRIVMSG #esoteric :elliott, *oh* < 1307400697 587069 :Vorpal!~AnMaster@unaffiliated/anmaster PRIVMSG #esoteric :elliott, why couldn't they say so :P < 1307400700 650673 :olsner!~sal@c83-252-161-133.bredband.comhem.se PRIVMSG #esoteric :Vorpal: it's a type variable < 1307400702 774161 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Vorpal: what? < 1307400704 182256 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :it does < 1307400711 60126 :Vorpal!~AnMaster@unaffiliated/anmaster PRIVMSG #esoteric :elliott, the forall is implicit < 1307400712 926373 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :seq :: a -> b -> b -- from GHCi < 1307400714 563195 :Vorpal!~AnMaster@unaffiliated/anmaster PRIVMSG #esoteric :wait no < 1307400718 687033 :Vorpal!~AnMaster@unaffiliated/anmaster PRIVMSG #esoteric :I fail at reading < 1307400719 794060 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Vorpal: forall a t. a -> t -> t < 1307400719 956775 :variable!~variable@unaffiliated/variable QUIT :Remote host closed the connection < 1307400722 270236 :Vorpal!~AnMaster@unaffiliated/anmaster PRIVMSG #esoteric :wake me up < 1307400725 246429 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :note that ghci actually omits all top-level foralls < 1307400731 995344 :Vorpal!~AnMaster@unaffiliated/anmaster PRIVMSG #esoteric :ah right < 1307400732 614712 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :because they can be unambiguously abbreviated < 1307400733 407040 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :elliott: sequence [normalCons, vowel] < 1307400736 398471 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :(and this is in haskell itself) < 1307400737 407258 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :oerjan: oh nice < 1307400738 759322 :Vorpal!~AnMaster@unaffiliated/anmaster PRIVMSG #esoteric ::t undefined < 1307400739 889984 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :forall a. a < 1307400753 488413 :variable!~variable@unaffiliated/variable JOIN :#esoteric < 1307400777 848521 :Vorpal!~AnMaster@unaffiliated/anmaster PRIVMSG #esoteric :night → < 1307400793 923401 :oklopol!~oklopol@dyn37-212.vpn.utu.fi PRIVMSG #esoteric :" but, well, I can't read obfuscated perl, doesn't make perl a bad language :D" <<< but doesn't it kind of make the coding style bad? or maybe i misunderstood what your point was < 1307400807 752602 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :elliott: iirc i saw someone apply parametricity to typeclasses like Functor before; basically you need to add the typeclass methods as extra parameters < 1307400812 993497 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :> pure [] < 1307400813 550753 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : No instance for (GHC.Show.Show (f [a])) < 1307400813 713407 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : arising from a use of `M19706092... < 1307400819 238591 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric ::t pure [] < 1307400820 124073 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :forall a (f :: * -> *). (Applicative f) => f [a] < 1307400848 311647 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :oerjan: right < 1307400855 388800 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :oerjan: well, it's easy to prove "by hand" < 1307400868 821341 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :oklopol: sure, but we're considering point-free style a language here, not a style < 1307400873 954767 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :jesus Haskell code can be confusing... < 1307400880 550121 :monqy!~chap@pool-71-102-217-117.snloca.dsl-w.verizon.net PRIVMSG #esoteric :haskell is easy < 1307400891 549544 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :oklopol: i.e. the general point is "~(there are unreadable examples of X -> X is unreadable)" < 1307400904 988934 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :> pure 9 :: [Integer] < 1307400906 207463 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : [9] < 1307400912 848399 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :uh, sure, once you learn everything. Might as well say anything is easy. < 1307400924 75338 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :haskell is easier than C < 1307400941 627801 :monqy!~chap@pool-71-102-217-117.snloca.dsl-w.verizon.net PRIVMSG #esoteric :what elliott said < 1307400955 778548 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :eh. I don't feel like making language comparisons today. < 1307400971 874664 :oklopol!~oklopol@dyn37-212.vpn.utu.fi PRIVMSG #esoteric :" oklopol: sure, but we're considering point-free style a language here, not a style" <<< hmm okay accepted < 1307401034 649466 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :Haskell itself is easy. Learning everything about its libraries is not so much. < 1307401053 102260 :Vorpal!~AnMaster@unaffiliated/anmaster QUIT :Ping timeout: 260 seconds < 1307401069 326048 :monqy!~chap@pool-71-102-217-117.snloca.dsl-w.verizon.net PRIVMSG #esoteric :what's not so much about it < 1307401094 825910 :olsner!~sal@c83-252-161-133.bredband.comhem.se PRIVMSG #esoteric :maybe it just isn't a lot < 1307401143 857483 :oklopol!~oklopol@dyn37-212.vpn.utu.fi PRIVMSG #esoteric :CakeProphet just got owned < 1307401160 314697 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :uh, if you say so. < 1307401161 199968 :oklopol!~oklopol@dyn37-212.vpn.utu.fi PRIVMSG #esoteric :owned like a nigger! < 1307401180 4732 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :more like: CakeProphet just got interpretted literally! < 1307401259 403157 :oklopol!~oklopol@dyn37-212.vpn.utu.fi PRIVMSG #esoteric :whatever you say slave boy :| < 1307401367 522860 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :> let x = (:) <$> Nothing <*> y; y = x <|> pure [] in x < 1307401368 222765 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : Nothing < 1307401386 102113 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :> let x = (:) <$> Maybe 5 <*> y; y = x <|> pure [] in x < 1307401386 799461 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : Not in scope: data constructor `Maybe' < 1307401392 410869 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :> let x = (:) <$> Just 5 <*> y; y = x <|> pure [] in x < 1307401395 956962 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : mueval-core: Time limit exceeded < 1307401405 50192 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :er.. what. < 1307401423 237001 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :Why does that return Nothing. < 1307401429 876493 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :> some Nothing < 1307401430 609893 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : Nothing < 1307401436 379175 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric ::t some < 1307401437 76728 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :forall (f :: * -> *) a. (Alternative f) => f a -> f [a] < 1307401440 457601 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :ah < 1307401442 957638 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :f [a] < 1307401478 958409 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :> some (Just 9) < 1307401482 850170 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : mueval-core: Time limit exceeded < 1307401489 314281 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :strict evaluation? < 1307401490 388816 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :> fmap (take 9) (some (Just 9)) < 1307401491 60869 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric : note that ghci actually omits all top-level foralls <-- there's a flag for that < 1307401494 420609 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : mueval-core: Time limit exceeded < 1307401500 892869 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :oerjan: but it's desirable :P < 1307401506 301701 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :at least for confused beginners < 1307401533 3439 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :elliott: so basically what I interpret from these bits of code is that I'll never really want to use some or many. < 1307401546 490875 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :well this is lambdabot and Maybe, both of which are contrived < 1307401548 892383 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :> some [9] < 1307401552 794842 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : mueval-core: Time limit exceeded < 1307401556 555450 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :what are some and many even meant for, anyway? < 1307401557 349890 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :same thing.. < 1307401558 299855 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :I haven't checked < 1307401567 867008 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric ::t some < 1307401568 569875 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :forall (f :: * -> *) a. (Alternative f) => f a -> f [a] < 1307401572 410943 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :Alternative < 1307401581 686949 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric : > pure [] <-- it's ambiguous which Applicative you are using so lambdabot ends up creating a dummy type for it, which of course has no Show instance < 1307401588 322359 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :oerjan: right. < 1307401680 546402 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric ::t pure (*3) <*> 5 < 1307401681 270557 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :forall a (f :: * -> *). (Num a, Applicative f, Num (f a)) => f a < 1307401700 225881 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :heh. < 1307401715 432079 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :might be useful for Signal t :) < 1307401742 672879 :olsner!~sal@c83-252-161-133.bredband.comhem.se PRIVMSG #esoteric :grr, windows sends mousewheel events to the focused window, not to the window under the cursor < 1307401759 718142 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :> (*3) <*> 5 < 1307401760 593931 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : Overlapping instances for GHC.Show.Show ((a -> b) -> b) < 1307401760 756386 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : arising from a u... < 1307401762 90402 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :olsner: huh? surely not < 1307401767 148332 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :you can scroll background windows in Windows, can't you? < 1307401776 857675 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :I think the top window gets a chance to /handle/ it < 1307401780 442982 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :but if it declines it bubbles downwards < 1307401792 301049 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :> ((*3) <*> 5) (+) < 1307401792 997967 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : Overlapping instances for GHC.Show.Show (a -> a) < 1307401793 160577 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : arising from a use of `... < 1307401819 538957 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :> ((*3) <*> 5) (-3) < 1307401820 60804 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : -9 < 1307401831 250925 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :excellent. I can now obfuscate arithmetic. < 1307401870 49175 :olsner!~sal@c83-252-161-133.bredband.comhem.se PRIVMSG #esoteric :elliott: hmm, however the mechanism, the effect is that the wrong window scrolls :) < 1307401876 158701 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :> ((*3) <*> 5) (-4) < 1307401876 857638 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : -12 < 1307401888 889261 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :> many "a" < 1307401892 458944 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : mueval-core: Time limit exceeded < 1307401900 528323 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :wtf < 1307401908 768545 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric ::t many < 1307401909 440840 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :forall (f :: * -> *) a. (Alternative f) => f a -> f [a] < 1307401910 675656 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :the src for many is: < 1307401911 734198 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric ::t some < 1307401912 434702 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :forall (f :: * -> *) a. (Alternative f) => f a -> f [a] < 1307401918 664661 :olsner!~sal@c83-252-161-133.bredband.comhem.se PRIVMSG #esoteric :(can you run SC2 in linux somehow? that would eliminate all my windows problems) < 1307401920 651186 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :> let x = (:) <$> Maybe 5 <*> y; y = x <|> pure [] in x < 1307401921 524268 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : Not in scope: data constructor `Maybe' < 1307401926 785965 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :replace Maybe 5 with your parameter < 1307401938 975256 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :olsner: expand SC2 < 1307401944 482740 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :Starcraft 2 < 1307401949 567422 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :CakeProphet: i asked olsner. < 1307401949 803347 :olsner!~sal@c83-252-161-133.bredband.comhem.se PRIVMSG #esoteric :yes, starcraft 2 < 1307401955 877937 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :ah yes < 1307401956 401577 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :elliott: nope too bad. < 1307401963 408648 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :olsner: http://appdb.winehq.org/objectManager.php?sClass=version&iId=20882 < 1307401965 317303 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :gold rating, not bad < 1307401972 846832 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :@src some < 1307401973 9699 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :some v = some_v < 1307401973 172177 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : where many_v = some_v <|> pure [] < 1307401973 172345 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : some_v = (:) <$> v <*> many_v < 1307402006 879872 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :oh it's just some v = v <|> many v < 1307402014 929893 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :many v can be zero < 1307402034 126602 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :ugly definition < 1307402086 548973 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :so I'm wondering.. < 1307402101 301942 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :can a time-varying signal be a monad? < 1307402123 224495 :olsner!~sal@c83-252-161-133.bredband.comhem.se PRIVMSG #esoteric :elliott: cool, looks like there is some chance of success then! < 1307402124 128754 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :I know it can in the discrete case, since list is a monad, but what about in the continuous case? < 1307402169 258834 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :or wait can it < 1307402172 580852 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :@src many < 1307402172 743061 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :Source not found. Do you think like you type? < 1307402180 92120 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :sheesh < 1307402215 148901 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :http://www.haskell.org/ghc/docs/6.12.1/html/libraries/base/src/Control-Applicative.html#Alternative < 1307402253 173184 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :CakeProphet: functions are monads, yes < 1307402265 431986 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :I'm not sure if you can analogise the function monad instance to the list instance. oerjan? < 1307402283 946575 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :ah indeed it was right < 1307402293 911010 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :elliott: hm? < 1307402302 128275 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :oerjan: can a time-varying signal be a monad? I know it can in the discrete case, since list is a monad, but what about in the continuous case? < 1307402303 329918 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :i.e. < 1307402309 380016 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :type DiscreteSignal t = [t] < 1307402313 192495 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :type ContinuousSignal t = Time -> t < 1307402317 371155 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :where Time is a real, conceptually < 1307402333 301823 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :both have monad instances, but is the monad instance to the latter analogisable as a "continuous" version of the former (list monad)? < 1307402342 163165 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :indeed the >>= definitions don't correspond much < 1307402350 413957 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :right < 1307402419 661998 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :iirc the -> monad _is_ analogous to the ZipWith monad < 1307402449 994103 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :that might be useful, but I don't know how the ZipWith monad works. < 1307402470 90366 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :well i'm not sure it's defined in the library, even < 1307402474 465856 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :er *ZipList < 1307402483 548355 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :> ZipList [1,2,3] < 1307402484 71809 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : No instance for (GHC.Show.Show (Control.Applicative.ZipList t)) < 1307402484 247019 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : arising ... < 1307402490 365974 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :wtf < 1307402493 409024 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :newtype ZipList a = ZipList { getZipList :: [a] } < 1307402493 643234 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :instance Functor ZipList where < 1307402493 805088 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric : fmap f (ZipList xs) = ZipList (map f xs) < 1307402502 25094 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :oerjan: try getZipList < 1307402515 393635 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :WHY THE FUCK DIDN'T THEY ADD A SHOW INSTANCE < 1307402528 49318 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :CONOOOOOOOOOR < 1307402528 211439 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :oerjan: not cool enough. < 1307402547 152575 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric : pure x = ZipList (repeat x) < 1307402549 881395 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :indeed, looks like a function ;D < 1307402580 282250 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :I wonder if (ZipList a) is the same as (Integer -> a) if you only have the Functor/Applicative/Monad instances (not the constructor) < 1307402601 210032 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :well ZipLists can be finite < 1307402619 212826 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :but otherwise, that's essentially what i recall discovering < 1307402678 832969 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :oerjan: no they can't, if you don't have the constructor < 1307402680 113012 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :> getZipList $ ZipList [1,2,3] >>= \n -> ZipList [4,5,6] < 1307402680 808361 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : No instance for (GHC.Base.Monad Control.Applicative.ZipList) < 1307402680 970742 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : arising fro... < 1307402684 340473 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :sadly < 1307402685 549206 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :pure results in an infinite list < 1307402689 768431 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :and return is ofc = pure < 1307402694 544395 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :so there's no way to get a finite list < 1307402697 374975 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :elliott: erm you cannot construct id < 1307402703 51899 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :only constant functions < 1307402725 776389 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :oerjan: hmm, can't you with <*>? < 1307402751 301505 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :how? both arguments are repeats < 1307402753 944395 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :> let foo n = pure n <*> foo (succ n) in foo 0 :: ZipList Integer < 1307402755 143319 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : No instance for (GHC.Enum.Enum < 1307402755 306060 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : (GHC.Integer.Type.Intege... < 1307402763 350625 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :> let foo n = pure n <*> foo (n+9) in getZipList (foo 0) < 1307402764 753676 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : *Exception: stack overflow < 1307402771 484557 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :hm oh < 1307402781 178556 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :> let foo n = pure (const n) <*> foo (n+9) in getZipList (foo 0) < 1307402782 853086 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : *Exception: stack overflow < 1307402785 124218 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :meh < 1307402836 464163 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :> getZipList (pure (const 1) <*> pure undefined) < 1307402836 989466 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : [1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,... < 1307402876 158531 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :since it cannot _look_ at undefined, it cannot distinguish pure undefined from anything else < 1307402896 708989 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :right < 1307402920 744247 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :and your recursion is going in the wrong _direction_, you aren't actually moving _along_ the list < 1307402924 395741 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :right < 1307402963 938671 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :so if I made a union of [t] and (Float -> t) I could define applicative/monad/functor instances but they would have different semantics for each case. < 1307402984 716816 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :CakeProphet: have you been paying attention? < 1307402988 212772 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :there is more than one list monad < 1307402994 139796 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :and one of them acts like functions < 1307403016 617784 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :no I haven't actually. you guys started talking about stuff that is currently over my head so I stopped paying attention. :) < 1307403023 793078 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :elliott: pure f <*> pure x = pure (f x) so you cannot construct anything other than pure x just from the methods in _any_ Applicative instance < 1307403085 5170 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :oerjan: right < 1307403094 181391 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :oerjan: same with Monad I think < 1307403118 182895 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :hm right... < 1307403318 379801 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric : integer = natural >>= liftA2 (<|>) ((string "hu" *>) . return . negate) return < 1307403336 50568 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric ::t (*>) < 1307403336 752632 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :forall (f :: * -> *) a b. (Applicative f) => f a -> f b -> f b < 1307403369 30240 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric ::t ((?p *>) . return . negate) < 1307403369 743689 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :forall (f :: * -> *) a b. (?p::f a, Applicative f, Monad f, Num b) => b -> f b < 1307403403 192433 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :oh -> instance < 1307403406 861520 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :?p? < 1307403407 23888 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :Maybe you meant: ? pl < 1307403419 819779 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :CakeProphet: dynamic scoped variable < 1307403421 573088 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :ah < 1307403442 952920 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :dammit Maharba respond quickly ;D < 1307403448 706935 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :useful for getting types out of lambdabot without needing to add \p -> to everything < 1307403505 112430 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :05:30:23: I'd guess that an entirely nature or an entirely nurture explanation for homosexuality is oversimplifying things. Homosexuality is associated with notably different brain chemistry (for the person's gender), so I'd guess there's an inherited propensity that's either repressed or reinforced based on the person's experiences < 1307403505 339176 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :05:31:04: Many diseases, conditions and other types of deviations work like this. < 1307403505 818439 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :irc user rodgerthegreat proves abnormality of homosexuality, news at eleven < 1307403522 705208 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :@hoogle optionally < 1307403522 867694 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :No results found < 1307403526 758707 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :@hoogle optional < 1307403526 931660 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :Control.Applicative optional :: Alternative f => f a -> f (Maybe a) < 1307403527 106118 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :Text.Parsec.Combinator optional :: Stream s m t => ParsecT s u m a -> ParsecT s u m () < 1307403527 268315 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :Text.ParserCombinators.ReadP optional :: ReadP a -> ReadP () < 1307403624 809188 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :@hoogle f a -> f (a -> b) -> f b < 1307403625 10642 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :Control.Applicative (<**>) :: Applicative f => f a -> f (a -> b) -> f b < 1307403625 10849 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :Control.Applicative (<*>) :: Applicative f => f (a -> b) -> f a -> f b < 1307403625 10959 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :Control.Monad ap :: Monad m => m (a -> b) -> m a -> m b < 1307403650 648530 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :> (0$0 <**>) < 1307403651 347485 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : The operator `Control.Applicative.<**>' [infixl 4] of a section < 1307403651 509936 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : must h... < 1307403660 260523 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :> (0$0 >>=) < 1307403660 796376 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : The operator `GHC.Base.>>=' [infixl 1] of a section < 1307403660 971056 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : must have lower pr... < 1307403693 98759 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :?info (>>=) < 1307403693 473735 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :(>>=) < 1307403696 207706 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :?info (>>=asd < 1307403696 619270 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :Unbalanced parentheses < 1307403700 52206 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :?info (>>=) :: dicks < 1307403700 651793 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :(>>=) :: dicks < 1307403702 466494 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :wat < 1307403707 35616 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :?help info < 1307403707 505882 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :help . Ask for help for . Try 'list' for all commands < 1307403711 745774 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :presumably it's an error correction then < 1307403778 631009 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :06:04:40: in my opinion, functional languages are pretty and clean looking, but are an *inherently* inefficient way of programming, because they don't work remotely like conventional hardware does. Magical perfect compilers that can optimize in every conceivable fashion could theoretically balance this, but Magical perfect compilers do not exist. I like my imperative languages. < 1307403778 855843 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :has rodgerthegreat ever actually said anything that's true? i'm honestly curious < 1307403779 774122 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :oklopol? < 1307403801 74762 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :elliott: integer = natural <**> choice [negate <$ string "hu", return id] < 1307403810 576951 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :oerjan: hot < 1307403911 390096 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :elliott: obviously roger doesn't know how Haskell works. < 1307403921 351599 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :> (0$0 <|>) < 1307403922 49431 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : The operator `Control.Applicative.<|>' [infixl 3] of a section < 1307403922 211984 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : must ha... < 1307403937 131413 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :must ha...! < 1307403944 597949 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :elliott: i guess <|> rather than choice suffices < 1307403959 487884 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :integer = natural <**> (negate <$ string "hu" <|> return id) < 1307403960 690767 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :nice < 1307403974 250644 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :> (0$0 <$) < 1307403974 950336 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : The operator `GHC.Base.<$' [infixl 4] of a section < 1307403975 112881 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : must have lower pre... < 1307404011 558870 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :remembering precedence does get a bit hairy < 1307404017 396005 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :> 0 <$ [1..] < 1307404018 66927 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : [0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,... < 1307404043 786444 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :so is <$ less precedent than <|>? < 1307404063 103864 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric : presumably it's an error correction then <-- iirc... < 1307404071 279791 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :?enfo ( < 1307404071 856238 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :Maybe you meant: echo undo < 1307404075 279834 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :?echo ( < 1307404075 704834 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :echo; msg:IrcMessage {msgServer = "freenode", msgLBName = "lambdabot", msgPrefix = "elliott!~elliott@unaffiliated/elliott", msgCommand = "PRIVMSG", msgParams = ["#esoteric",":?echo ("]} rest:"(" < 1307404079 161064 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :xD < 1307404080 953910 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :?info do x <- test; f x < 1307404081 116165 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :test >>= \ x -> f x < 1307404085 413785 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :ah, undo < 1307404127 453015 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :CakeProphet: <$ is 4, so binds tighter than <|> at 3 < 1307404150 67583 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :so what are negate and string "hu"? < 1307404154 145038 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :CakeProphet: note that's the point of my > (0$0 ...) tests above < 1307404156 522256 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric ::t negate < 1307404157 378012 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :forall a. (Num a) => a -> a < 1307404174 943246 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :string "hu" is a Parsec parser which parser precisely that string < 1307404179 316738 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :string is from Parsec ri--yes < 1307404185 519813 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :*parses < 1307404201 366860 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :so what on earth is that <$ doing to String "hu" < 1307404203 679964 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :*string < 1307404219 507328 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :elliott: hm i just realized... does string do try internally? < 1307404234 583103 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :oerjan: ah, it should < 1307404238 307537 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :but doesn't < 1307404244 143278 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :oerjan: yeah I believe it backtracks on failure. < 1307404247 866698 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :CakeProphet: it's throwing away the monadic result (which is just "hu" iirc) and replacing it by the negate function < 1307404251 80441 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :CakeProphet: wrong < 1307404256 758086 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :I had to use (try . string) in digit < 1307404257 922087 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :integer = natural <**> (negate <$ try (string "hu") <|> return id) < 1307404259 537603 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :oerjan: fix't < 1307404371 883911 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :CakeProphet: Parsec has a strange model for avoiding keeping too many possible backtrackings. basically once a parser parses a single character correctly, it refuses to backtrack to other options for it, unless you use the try combinator < 1307404416 356389 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :so you have to be careful to use try if you have multiple possible parses starting with the same character < 1307404431 227603 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :that's conventional, not strange, isn't it :) < 1307404463 496878 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :i don't know if that's conventional, LALR(1) parsers certainly don't do that... < 1307404471 578895 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :well for combinator parsers < 1307404504 163008 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :although i saw a brief discussion of the matter after the recent attoparsec fiasco on reddit < 1307404534 200628 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :me too :D < 1307404540 292422 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :so when <*> and friends apply to Parsec they don't change the matching behavior only the result? < 1307404543 891137 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :that's where i picked up the opinion that it was conventional ;D < 1307404565 17605 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :CakeProphet: yep. that's sort of the essence of Applicative combinators, they can only modify results < 1307404601 360371 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :so since the right-hand side of <**> is being applied to the left hand side, is string "hu" actually doing any matching? < 1307404633 430866 :GreaseMonkey!~gm@121-74-73-120.telstraclear.net JOIN :#esoteric < 1307404633 593341 :GreaseMonkey!~gm@121-74-73-120.telstraclear.net QUIT :Changing host < 1307404633 593412 :GreaseMonkey!~gm@unaffiliated/greasemonkey JOIN :#esoteric < 1307404634 477315 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :CakeProphet: of course < 1307404687 814967 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :<**> is the same as liftA2 (flip ($)) iiuc < 1307404706 625687 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :ah, based on the type I thought it was flip (<*>) < 1307404728 892406 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :but uh < 1307404735 973659 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :@src (<*>) < 1307404736 149034 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :Source not found. Where did you learn to type? < 1307404740 523048 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :oh i hope not, as that's would make it useless... < 1307404750 145394 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :CakeProphet: Applicative method < 1307404754 835818 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :@src Applicative < 1307404754 998483 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :class Functor f => Applicative f where < 1307404755 161143 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : pure :: a -> f a < 1307404755 161315 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : (<*>) :: f (a -> b) -> f a -> f b < 1307404786 222668 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :<**> is flip <*> IIRC