< 1359331512 416329 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :http://zem.fi/esostats/people_summary.html PLOOOOTS (also beta) < 1359331836 392400 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :i'm pretty sure my activity level spikes iff interest in bfjoust spikes < 1359331849 157222 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :but thanks fizzie you're the best < 1359332046 998682 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :quintopia: mine probably falls, as I spend more time thinking BF Joust and less talking on IRC < 1359332101 107555 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :ais523: your baseline activity level is higher than mine i think < 1359332121 549433 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :yes < 1359332142 178334 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :yeah definitely < 1359332166 11106 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :so < 1359332183 293425 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :bfjoust spikes are the one time i am more activious than you < 1359332201 478100 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :(activious is now a word) < 1359332465 161332 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :I like the chart for optbot. < 1359332490 417938 :Bike!~Glossina@63-229-134-7.ptld.qwest.net PRIVMSG #esoteric :oh i just realized "ploooots" was supposed to be the plural of "plot" < 1359332497 702935 :Bike!~Glossina@63-229-134-7.ptld.qwest.net PRIVMSG #esoteric :and not a bunch of ploots (what's a ploot) < 1359332552 56072 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :fizzie: I'm still not merged with zuff!! < 1359332577 678199 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :I like how it doesn't say what the colours are < 1359332618 322762 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :fax, j-invariant and soupdragon are all separate too < 1359332626 370072 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :It's still not recalculated. And the colours are obviously obvious. < 1359332642 931125 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :i don't know what the colours mean !!! < 1359332660 526125 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Blue is the overall activity, and red is the selected nick. < 1359332666 295497 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :thanxe < 1359332695 520780 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :why does it show me as not being active in 2007 at all < 1359332698 854202 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :wow elliott has ungodly huge activity < 1359332724 231000 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :so what happened on those two massive 6000+ spikes < 1359332732 56338 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :elliott: did you use the nick "elliott" ever then? < 1359332737 683305 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :monqy: iirc i have more than twice the lines said in #esoteric than the second person...... < 1359332741 802969 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :it's likely a failure in nick merging < 1359332744 490714 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :ais523: no but it's meant to be merged and stuff < 1359332756 577355 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Phantom_Hoover: Which one of those three would be the "canonical" name? < 1359332757 542890 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :is that when you were using "alise"? < 1359332771 346213 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :2007 nick was ehird < 1359332772 792979 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :or was it ehird` < 1359332778 649462 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :no, it wasn't < 1359332781 319674 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :it was ehird and then maybe a ` < 1359332783 48182 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :"alise" was 2010 < 1359332783 771096 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :yes it was < 1359332786 180792 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :oh < 1359332790 41986 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :sorry, context fail < 1359332790 258915 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :ais523: 'elliott': ['elliott', 'ehird', 'alise', 'tusho', 'aliseiphone', 'ehirdiphone', 'zuff'], < 1359332791 772448 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :not disagreement < 1359332795 627105 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :elliott: aha < 1359332800 706488 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :*fizzie: aha < 1359332803 359895 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :fizzie: well it's still in that menu at least < 1359332807 253501 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :anyway you need ehird` in there SORRY < 1359332807 736557 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :fizzie: 'ehird`' is the nick you're missing < 1359332814 14622 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :elliott: Yes, it's old datta. < 1359332817 448738 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :also um < 1359332819 26500 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :estoppel < 1359332821 197444 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric : Phantom_Hoover: Which one of those three would be the "canonical" name? < 1359332822 404129 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :and a handful of others < 1359332825 389437 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :go with fax, it was first < 1359332827 837127 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :you didn't use estoppel very much < 1359332831 338140 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :fizzie: what list do you have for me? < 1359332835 971274 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :imo leave fax separated so you don't have to deal with the mess of who is fax or not < 1359332844 528982 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :`seen2 estoppel < 1359332858 293783 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :ais523: It was supposed to remove all trailing non-alphanumerics, but maybe it didn't. < 1359332873 476055 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :but ais523 and ais523_ are different computers! < 1359332887 828670 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :and as a result, may talk about different topics < 1359332889 397306 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :how about alphanumerics in the middle < 1359332898 548409 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :ais523_ is substantially more likely than me to bitch about Java, for instance < 1359332899 30685 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :i mean < 1359332900 774950 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :non-alphanums < 1359332902 464162 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :You're also missing "shachaf". < 1359332908 630637 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :cf phantom____________________________________hoover < 1359332909 875368 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :"elliott's gr8st pseudonym" < 1359332928 334489 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :ais523: For you I just have "ais523" and "ais523\unfoog". I made these by getting a top-100 list of overall activity. < 1359332928 551122 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :monqy: uve been shachaffed!! < 1359332933 223369 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :monqy: i thought it was a "joek" < 1359332946 412757 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :monqy: I have _, __ and ___ manually listed for that. < 1359332946 670732 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :fizzie: "scarf", "callforjudgement" < 1359332962 979082 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :fizzie: but think about how phantom____hoover feels < 1359332969 308857 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :ais523: I see "scarf" ended up on the list, too. < 1359332972 683787 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :also "this", though I don't have it registered < 1359332979 238778 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :and only use it for the purpose of trolling myself < 1359333041 739398 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :ais523 is a silly thing to do. < 1359333070 572061 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :
ACTION sort of thing is more legible when it starts "this" not "ais523"
< 1359333241 708323 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 QUIT :Remote host closed the connection < 1359334449 908710 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :kmc: Are you the "turn in crypto challenges in asm" person? < 1359335417 380096 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :yes < 1359337313 231977 :ais523!~ais523@unaffiliated/ais523 QUIT : < 1359340172 986717 :Nisstyre!~yours@oftn/member/Nisstyre JOIN :#esoteric < 1359340325 595375 :Nisstyre_!~yours@oftn/member/Nisstyre QUIT :Ping timeout: 252 seconds < 1359340535 735151 :Nisstyre!~yours@oftn/member/Nisstyre QUIT :Ping timeout: 255 seconds < 1359340607 416134 :Nisstyre!~yours@oftn/member/Nisstyre JOIN :#esoteric < 1359341115 101038 :tswett!~tswett@23.23.86.149 PRIVMSG #esoteric :Wait, I just realized something. < 1359341120 695021 :tswett!~tswett@23.23.86.149 PRIVMSG #esoteric :Mirrors are Turing-complete, aren't they? < 1359341140 15505 :tswett!~tswett@23.23.86.149 PRIVMSG #esoteric :Like, you can store an arbitrary amount of accessible information in the position of a beam of light. < 1359341263 704733 :tswett!~tswett@23.23.86.149 PRIVMSG #esoteric :In particular, if you consider a beam of light to have x and y coordinates (and it's traveling in the z direction), you can use mirrors to perform scaling and translation on x and y, as well as conditionals. < 1359341288 161462 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :Yes I can understand now how you mean. < 1359341294 11007 :Bike!~Glossina@63-229-134-7.ptld.qwest.net PRIVMSG #esoteric :is this a billiard ball computer? < 1359341320 745209 :tswett!~tswett@23.23.86.149 PRIVMSG #esoteric :Nope. There's just a single "ball"; it doesn't interact with other moving objects. < 1359341327 341137 :copumpkin!~copumpkin@unaffiliated/copumpkin QUIT :Ping timeout: 245 seconds < 1359341358 810074 :copumpkin!~copumpkin@unaffiliated/copumpkin JOIN :#esoteric < 1359341376 94973 :Nisstyre_!~yours@oftn/member/Nisstyre JOIN :#esoteric < 1359341385 139187 :tswett!~tswett@23.23.86.149 PRIVMSG #esoteric :The ball just moves in a constant direction until it hits a mirror, at which point it bounces off and continues moving in the appropriate new direction. < 1359341405 859479 :tswett!~tswett@23.23.86.149 PRIVMSG #esoteric :If your space is three-dimensional, this configuration is Turing-complete. < 1359341425 639721 :evincar!~jon@173-228-12-26.dsl.dynamic.sonic.net QUIT :Quit: leaving < 1359341485 51434 :Nisstyre!~yours@oftn/member/Nisstyre QUIT :Ping timeout: 252 seconds < 1359341488 379340 :tswett!~tswett@23.23.86.149 PRIVMSG #esoteric :Of course, this wouldn't work in the real world, for many reasons, one of which is that real light diffracts. < 1359341525 789181 :tswett!~tswett@23.23.86.149 PRIVMSG #esoteric :What if you use an electron instead? I guess electrons also diffract. < 1359341566 626965 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :all objects diffract, in principle < 1359341574 534404 :Bike!~Glossina@63-229-134-7.ptld.qwest.net PRIVMSG #esoteric :i feel like i should say something about heisenberg but then i'd be pretending to know quantum physics, which i do not < 1359341588 801384 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :Bike: whoa hw man thats so QUNAutm < 1359341592 641705 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :s/$/ / < 1359341606 301468 :tswett!~tswett@23.23.86.149 PRIVMSG #esoteric :Yeah, I think Heisenberg's principle applies here. A photon does not have one distinct position. < 1359341616 813670 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Quantum? I don't even know 'em! < 1359341684 947091 :zzo38!~zzo38@24-207-49-17.eastlink.ca QUIT :Remote host closed the connection < 1359341774 623573 :Bike_!~Glossina@63-229-134-7.ptld.qwest.net JOIN :#esoteric < 1359341830 7796 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :elliott, why is *: defined when *~ is the same thing? < 1359341848 880603 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :(at least monadic *: ) < 1359341888 963186 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :does *~ have the inverse that *: does < 1359341900 569758 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :the real answer is that i don't know tho < 1359341906 638446 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :try #jsoftware < 1359341951 574078 :Bike!~Glossina@63-229-134-7.ptld.qwest.net QUIT :Ping timeout: 245 seconds < 1359342148 185925 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :*~ is the 'reflexive' of * (~ being the 'reflex' adverb); i can't recall how that interacts with obverses < 1359342226 222904 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :ahh, the obverse of *~ is specially specified to be %: < 1359342237 709208 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :i.e. sqrt i.e. same as the obverse of *: < 1359342259 24975 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :tswett: you've reminded me of the optical computer for solving traveling salesman problem < 1359342285 373341 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :you have a bunch of beamsplitters and you connect them with optical fibers whose lengths correspond to the distances between cities < 1359342293 423654 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :then you use interferometry (somehow) to find the shortest path < 1359342436 239662 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :I like that (somehow) < 1359342450 811470 :Bike_!~Glossina@63-229-134-7.ptld.qwest.net PRIVMSG #esoteric :hm, what's a good academic who does weird-ass computation stuff < 1359342463 207127 :Bike_!~Glossina@63-229-134-7.ptld.qwest.net PRIVMSG #esoteric :i checked for adamatzky doing things like this but he's too busy getting stoned on BZ < 1359342516 713621 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :getting stoned on BZ is a bad idea < 1359342534 462780 :Bike_!~Glossina@63-229-134-7.ptld.qwest.net PRIVMSG #esoteric :no the other BZ < 1359342544 184766 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :the one it's a good idea to get stoned on < 1359342545 149336 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :so not the chemical weapon < 1359342565 995844 :Bike_!~Glossina@63-229-134-7.ptld.qwest.net PRIVMSG #esoteric :no, although i've heard apparently people have tried to use that recreationally... < 1359342570 925656 :Bike_!~Glossina@63-229-134-7.ptld.qwest.net PRIVMSG #esoteric :i mean the clock reaction < 1359342583 422072 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :i don't know what that is < 1359342603 66114 :Bike_!~Glossina@63-229-134-7.ptld.qwest.net PRIVMSG #esoteric :http://en.wikipedia.org/wiki/Belousov-Zhabotinsky_reaction < 1359342615 331613 :Bike_!~Glossina@63-229-134-7.ptld.qwest.net PRIVMSG #esoteric :observe: pretty colors! < 1359342616 534209 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :oh those are neat < 1359342631 863799 :Bike_!~Glossina@63-229-134-7.ptld.qwest.net PRIVMSG #esoteric :http://arxiv.org/abs/1212.1344 so, adamatzky does things like this with 'em < 1359342642 453011 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :http://upload.wikimedia.org/wikipedia/commons/d/d9/The_Belousov-Zhabotinsky_Reaction.gif < 1359342656 768962 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :cool < 1359342701 99313 :Bike_!~Glossina@63-229-134-7.ptld.qwest.net PRIVMSG #esoteric :also a clock reaction is just a reaction that does something periodic, so you could use it as a clock if you wanted your clock to be made of acids. < 1359342720 591891 :Bike_!~Glossina@63-229-134-7.ptld.qwest.net PRIVMSG #esoteric :anyway so not tswett lightmachines < 1359342733 511910 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :oh i heard about this slime mould computer too < 1359342779 37120 :DH____!~DH____@unaffiliated/dh----/x-6288474 QUIT :Read error: Connection reset by peer < 1359342785 670911 :DHeadshot!~DH____@unaffiliated/dh----/x-6288474 JOIN :#esoteric < 1359342792 295791 :Bike_!~Glossina@63-229-134-7.ptld.qwest.net PRIVMSG #esoteric :oh, there's a journal or something called "unconventional computing", that's more like it! < 1359342849 347766 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :"The denizens of Carlisle, meanwhile, may wonder what objection slime moulds have towards their fine city." < 1359342852 552817 :Bike_!~Glossina@63-229-134-7.ptld.qwest.net PRIVMSG #esoteric :'Abstract Geometrical Computation 6: A Reversible, Conservative and Rational Based Model for Black Hole Computation' i think i'm going to be distracted < 1359342972 291930 :oerjan!oerjan@sprocket.nvg.ntnu.no QUIT :Quit: leaving < 1359342975 425834 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net QUIT :Quit: Arc_Koen < 1359343119 381035 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :if you drop a supermassive computer into a rotating black hole while traveling at the speed of light then you meet god and can just ask him to solve your dumb problem < 1359343324 274672 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :`addquote if you drop a supermassive computer into a rotating black hole while traveling at the speed of light then you meet god and can just ask him to solve your dumb problem < 1359343436 386217 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :i have hackego withdrawal < 1359343466 472856 :Bike_!~Glossina@63-229-134-7.ptld.qwest.net PRIVMSG #esoteric :kmc: "O father who art in heaven, I really need to win this CTF" < 1359343656 491924 :Bike_!~Glossina@63-229-134-7.ptld.qwest.net PRIVMSG #esoteric :'Can a Computer be “Pushed” to Perform Faster-Than-Light?' i love how far out these questions are < 1359343675 804807 :Bike_!~Glossina@63-229-134-7.ptld.qwest.net PRIVMSG #esoteric :"Let us assume that Alice, Bob, and Charlie, the three classical people of cryptography are not limited anymore to perform a finite number of computations on real computers, but are limited to α computations and to α bits of memory, where α is a fixed infinite cardinal." < 1359343679 906319 :Bike_!~Glossina@63-229-134-7.ptld.qwest.net NICK :Bike < 1359343737 114501 :WeThePeople!~WeThePeop@unaffiliated/wethepeople QUIT :Quit: Leaving < 1359343744 430457 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :lucky them < 1359343766 24159 :Bike!~Glossina@63-229-134-7.ptld.qwest.net PRIVMSG #esoteric :good assumption i think < 1359343793 287937 :Bike!~Glossina@63-229-134-7.ptld.qwest.net PRIVMSG #esoteric :Oh, hey, I think this one is actually vaguely sort of near what tswett was saying. < 1359343796 31729 :Bike!~Glossina@63-229-134-7.ptld.qwest.net PRIVMSG #esoteric :«We propose to “boost” the speed of communication and computation by immersing the computing environment into a medium whose index of refraction is smaller than one, thereby trespassing the speed-of-light barrier.» < 1359343927 910540 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :you can have fairly mundane materials whose index of refraction is less than one < 1359343941 956395 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :because IoR is defined according to the phase velocity < 1359343951 701104 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :but this doesn't imply superluminal transfer of information < 1359343957 130077 :Bike!~Glossina@63-229-134-7.ptld.qwest.net PRIVMSG #esoteric :want the paper? < 1359343961 444337 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :no < 1359343964 925584 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :thanks < 1359343977 810247 :Bike!~Glossina@63-229-134-7.ptld.qwest.net PRIVMSG #esoteric :heh < 1359344088 672006 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :heegan < 1359344092 480216 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :how are the monoids today < 1359344132 125319 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :summertime and the monoids are easy < 1359344169 969819 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :i downgraded my old laptop from a SSD to a spinny disk < 1359344181 302302 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Why? < 1359344181 793615 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :have to remember not to throw that one at sofas anymore < 1359344188 103939 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :so that i can give the SSD to a friend < 1359344188 320981 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :To put the SSD elsewhere? < 1359344190 288121 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :yes < 1359344471 379250 :Nisstyre_!~yours@oftn/member/Nisstyre QUIT :Ping timeout: 255 seconds < 1359344550 2925 :Nisstyre!~yours@oftn/member/Nisstyre JOIN :#esoteric < 1359344818 378497 :glogbackup!~glogbacku@64.31.59.246 QUIT :Remote host closed the connection < 1359345060 580417 :glogbackup!~glogbacku@64.31.59.246 JOIN :#esoteric < 1359345335 501231 :glogbackup!~glogbacku@64.31.59.246 QUIT :Ping timeout: 260 seconds < 1359345801 377300 :glogbackup!~glogbacku@64.31.59.246 QUIT :Remote host closed the connection < 1359346458 683664 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :kmc: Did you read _Cat's Cradle_? < 1359346490 895338 :Bike!~Glossina@63-229-134-7.ptld.qwest.net PRIVMSG #esoteric :vonnegut? < 1359346521 273375 :Jafet!~Jafet@unaffiliated/jafet PRIVMSG #esoteric :Vonnegut time? < 1359346522 275490 :glogbackup!~glogbacku@64.31.59.246 QUIT :Ping timeout: 276 seconds < 1359346646 65550 :WeThePeople!~WeThePeop@unaffiliated/wethepeople JOIN :#esoteric < 1359346836 986044 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :no < 1359346866 592519 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :You should read it! < 1359346874 399266 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :ok < 1359347085 583821 :Nisstyre!~yours@oftn/member/Nisstyre QUIT :Ping timeout: 260 seconds < 1359347208 991227 :Nisstyre!~yours@oftn/member/Nisstyre JOIN :#esoteric < 1359348034 309528 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :City on fire! / Rats in the grass / And the lunatics yelling in the streets! / It's the end of the world! Yes! < 1359348061 389462 :Nisstyre_!~yours@oftn/member/Nisstyre JOIN :#esoteric < 1359348079 352093 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :aren't there always rats < 1359348113 941535 :Nisstyre!~yours@oftn/member/Nisstyre QUIT :Disconnected by services < 1359348121 934427 :Nisstyre_!~yours@oftn/member/Nisstyre NICK :Nisstyre < 1359348291 846512 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :Hmm. J seems like it might be a reasonable language to implement Befunge-98 in < 1359348393 7674 :Nisstyre!~yours@oftn/member/Nisstyre QUIT :Ping timeout: 252 seconds < 1359348396 736565 :Nisstyre-laptop!~yours@oftn/member/Nisstyre JOIN :#esoteric < 1359349322 790670 :WeThePeople!~WeThePeop@unaffiliated/wethepeople QUIT :Quit: Leaving < 1359350071 367298 :sirdancealot7!~sirdancea@98.82.broadband5.iol.cz QUIT :Ping timeout: 276 seconds < 1359350103 299829 :zzo38!~zzo38@24-207-49-17.eastlink.ca JOIN :#esoteric < 1359350239 417694 :TeruFSX!~TeruFSX@174-20-15-143.mpls.qwest.net QUIT :Quit: Leaving < 1359350849 809313 :sirdancealot7!~sirdancea@98.82.broadband5.iol.cz JOIN :#esoteric < 1359351464 838253 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :kmc: By the way, you know ho CoYoneda IORef gives you a "read-only IORef" that can't do any other effects? < 1359351470 261122 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :As opposed to "IO a" < 1359351495 36782 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :That can either be a good thing or a bad thing. < 1359351508 6385 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :Is APL more readable than J? < 1359351522 112998 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :And how do they both compare to Clojure? < 1359351552 366259 :Bike!~Glossina@63-229-134-7.ptld.qwest.net PRIVMSG #esoteric :"Is APL more readable than J" should be the PLT version of "How many angels can dance on the head of a pin". < 1359351612 804651 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :are monoids more lovable than categories < 1359351613 810405 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :imo yes < 1359351646 170271 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :how long until you get tired of this beaky thing < 1359351673 404368 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :monqy: how long until you get tired of the "monqy style" < 1359351692 889385 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :what's that < 1359351712 407775 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :a thing < 1359351713 130792 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :imo monoids < 1359351714 577998 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :imonoids < 1359351901 657516 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :monoids mo problems < 1359351951 342683 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :monoids mo annoyed < 1359352365 51939 :quintopia!~quintopia@unaffiliated/quintopia QUIT :Ping timeout: 240 seconds < 1359352777 537911 :quintopia!~quintopia@unaffiliated/quintopia JOIN :#esoteric < 1359354119 831703 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :the noid ruins pizzas < 1359354250 732278 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I crashed someone's Haskell bot with a GHC type system bug. < 1359354257 990256 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :By crashed I mean unsafePerformIO-then-segfault < 1359354258 511934 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :congratulations < 1359354269 314382 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :monqy: thx < 1359354272 535040 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :you should own their computer < 1359354286 478003 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Instead of that I told them about -dcore-lint. < 1359354355 595868 :Jafet!~Jafet@unaffiliated/jafet PRIVMSG #esoteric :chmod +s /usr/bin/ghc < 1359354356 800942 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :'On January 30, 1989, Kenneth Lamar Noid, a mentally ill customer who thought the ads were a personal attack on him, held two employees of an Atlanta, Georgia, Domino's restaurant hostage for over five hours.' < 1359354367 508873 :Bike!~Glossina@63-229-134-7.ptld.qwest.net PRIVMSG #esoteric ::( < 1359354377 32719 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :-dcore-lint is like a condom for your haskell bot < 1359354488 507807 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :it's pretty easy to go from unsafePerformIO to an arbitrary memory read/write yeah? < 1359354492 119685 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :er < 1359354494 48303 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :unsafeCoerce < 1359354674 421232 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I just crashed it again! < 1359354680 1063 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :This time by defining a custom Typeable instance. < 1359354685 116050 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :He should probably turn on SafeHaskell < 1359354687 990294 :Bike!~Glossina@63-229-134-7.ptld.qwest.net PRIVMSG #esoteric :Is this with -dcore-lint? < 1359354692 651423 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Yes. < 1359354695 545080 :Bike!~Glossina@63-229-134-7.ptld.qwest.net PRIVMSG #esoteric :neat. < 1359354700 748352 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :But this is a know thing. < 1359354706 466872 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :read :: Word64 -> Word64; word addr = fromJust (unsafeCoerce (addr - 8) :: Maybe Int) < 1359354706 707877 :Bike!~Glossina@63-229-134-7.ptld.qwest.net PRIVMSG #esoteric :A know thing? < 1359354709 272910 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :or something? < 1359354734 305935 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Well, you can run arbitrary IO easily. < 1359354741 639328 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :how's that? < 1359354741 918785 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :But I guess all the Foreign functions might not be in scope. < 1359354749 685222 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :right < 1359354767 797197 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :IO a = State# RealWord -> (# State# RealWorld, a #) < 1359354770 485517 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :you run IO by unsafeCoercing to something operationally isomorphic to... yeah < 1359354779 47811 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :So you can cast to () -> () or something. < 1359354786 107975 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :that's tricky though because State# t has a weird STG-type < 1359354790 810050 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Right. < 1359354795 460906 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :but it probably works out < 1359354800 430040 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I managed to run IO both times so far, but I segfaulted it too. < 1359354809 701263 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Or actually illegal-instructioned it. < 1359354813 123680 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :woo < 1359354817 723702 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I guess it tried to evaluate the () and jumped to some invalid code. < 1359354834 137308 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :so how would you do a memory write, assuming Foreign stuff isn't in scope? < 1359354841 507007 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Hmm. < 1359354860 700500 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :That seems tricky, actually. < 1359354877 37909 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Well, you can probably jump to arbitrary code? < 1359354899 523970 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :That doesn't necessarily help you that much. < 1359354946 162781 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :does GHC's allocator set page permissions? you might be able to just create a ByteString and then jump into it < 1359354984 599142 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I think pages should be nonexecutable by default? < 1359354991 785345 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :mauke has a "hello world" that works that way. < 1359354997 156363 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :But it's for 32-bit x86 < 1359355040 503361 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :ok < 1359355064 976923 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :GHC only sets page permissions explicitly for foreign import wrapper, as far as I know. < 1359355121 637281 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :hm I didn't have to do anything with page permissions for http://mainisusuallyafunction.blogspot.com/2010/09/executing-bytestring.html < 1359355141 52106 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Huh. < 1359355147 469596 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Well, it just allocates bytestrings with malloc. < 1359355187 609394 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Huh, it works. < 1359355254 121987 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Maybe it has to do with the FFI? < 1359355274 245569 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :
ACTION straces
< 1359355295 344836 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :did you get a PoC executing bytestring using only unsafeCoerce? < 1359355306 859142 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :Hmm. Apparently any single-line pointful verb definition can be converted into pointfree < 1359355307 622403 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :in J < 1359355320 415168 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :Are there expressions that @pl cannot convert in Haskell> < 1359355326 96460 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :can we have a poll to decide what the next Sgeolang is? < 1359355339 746177 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :No. < 1359355344 102822 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :It might not be as easy as I said. < 1359355345 790348 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :Does J really count as a current Sgeolang? < 1359355390 72115 :pikhq!~pikhq@75-163-170-156.clsp.qwest.net PRIVMSG #esoteric :I vote Sgeolang. < 1359355405 786093 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :shachaf: I guess you would use a second ByteString to build a fake heap object, whose first word points to the code you want to execute < 1359355444 42725 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :then you get the address of that bytestring into a constructor field and force it < 1359355459 628503 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :kmc: Oh. < 1359355464 803969 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I bet the ByteString is allocated statically? < 1359355469 227479 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Wait, maybe not. < 1359355662 447048 :Nisstyre!~yours@oftn/member/Nisstyre JOIN :#esoteric < 1359355761 35287 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :7ffff6e00000-7ffff6f00000 rwxp 00000000 00:00 0 < 1359355766 340155 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I guess it does allocate w+x memory < 1359355792 746797 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :good times < 1359355921 734168 :Jafet!~Jafet@unaffiliated/jafet PRIVMSG #esoteric :rwxp < 1359355931 505108 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :the p is for profit < 1359355933 710271 :Jafet!~Jafet@unaffiliated/jafet PRIVMSG #esoteric :"Um cool" < 1359355999 635457 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Now they turned on SafeHaskell but also left GeneralizedNewtypeDeriving on. < 1359356004 286650 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :So I can still write unsafeCoerce. :-( < 1359356005 733046 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric ::( < 1359356007 698488 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :SafeHaskell is hard. < 1359356028 238400 :Jafet!~Jafet@unaffiliated/jafet PRIVMSG #esoteric :You should just root their system and fix it properly. < 1359356254 401603 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :whoisthey < 1359356269 466036 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I don't see it allocating any w+x memory in strace < 1359356270 976025 :Bike!~Glossina@63-229-134-7.ptld.qwest.net PRIVMSG #esoteric :Beaky. < 1359356293 967809 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :for real? haha < 1359356302 426933 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :? < 1359356305 356125 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :No, this isn't beaky < 1359356307 808144 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :oh < 1359356313 953036 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Bike is making things up. < 1359356314 866529 :Bike!~Glossina@63-229-134-7.ptld.qwest.net PRIVMSG #esoteric :It's beaky in my shachaf fanfiction. < 1359356326 876456 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Please don't tell me about shachaf fanfiction. < 1359356336 820515 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :You can write whatever you want, just don't tell me about it. < 1359356338 27126 :Bike!~Glossina@63-229-134-7.ptld.qwest.net PRIVMSG #esoteric :It's titled "Coercion Ain't Easy" < 1359356353 129498 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :i love monoids < 1359356359 922173 :Bike!~Glossina@63-229-134-7.ptld.qwest.net PRIVMSG #esoteric :You like BDSM, right? < 1359356694 586890 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I prefer SDSM. < 1359356739 521135 :Bike!~Glossina@63-229-134-7.ptld.qwest.net PRIVMSG #esoteric :...is that even legal nowadays? < 1359356764 665487 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I like my SDSM blessed greased < 1359356776 964240 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I'm sure Jafet can empathize. < 1359356790 769884 :Bike!~Glossina@63-229-134-7.ptld.qwest.net PRIVMSG #esoteric :tch, I bet you use scrolls of genocide too. < 1359356970 548063 :Jafet!~Jafet@unaffiliated/jafet PRIVMSG #esoteric :shachaf's gaze penetrated through the slits of the balustrade, as the excited crowd of algebra neophytes struggled to grab the professor by any wrinkled limb or lineament they could find. Here, he knew, was a master of the group action. < 1359357169 746585 :FreeFull!~freefull@defocus/sausage-lover QUIT : < 1359357222 310688 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :… < 1359357233 521920 :Bike!~Glossina@63-229-134-7.ptld.qwest.net PRIVMSG #esoteric :I think that went well. < 1359357568 329540 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :kmc: 7fff5a4ea000-7fff5a50b000 rwxp 00000000 00:00 0 [stack] < 1359357581 75483 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I don't quite see what's going on. :-( < 1359357621 732156 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Maybe it's the ELF file somehow? < 1359357675 678508 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :[stack] < 1359357679 852224 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Right. < 1359357687 551280 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I doubt it's remapping the stack. < 1359357708 680058 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :yeah the file may set initial permissions for the stack < 1359357726 164554 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :It's not just the stack, though. < 1359357747 743583 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :7eff280e9000-7eff28269000 r-xp 00000000 08:03 1448930 /lib/x86_64-linux-gnu/libc-2.13.so < 1359357755 555169 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Er. < 1359357759 189387 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :That's not w, sorry. < 1359357769 146794 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :7eff28f90000-7eff28f91000 rwxp 00020000 08:03 1452451 /lib/x86_64-linux-gnu/ld-2.13.so < 1359357776 110400 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :7eff28d68000-7eff28d70000 rwxp 00067000 08:03 658337 /usr/lib/x86_64-linux-gnu/libgmp.so.10.0.5 < 1359357884 71675 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :How do I figure this out from the ELF file? < 1359357888 63554 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric : GNU_STACK 0x0000000000000000 0x0000000000000000 0x0000000000000000 < 1359357888 279742 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric : 0x0000000000000000 0x0000000000000000 RWE 8 < 1359357965 267097 :olsner!~salparot@c83-252-194-156.bredband.comhem.se PRIVMSG #esoteric :it should be documented somewhere, maybe the linker option to set the stack non/executable says how it does it < 1359358012 180793 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I'm looking at the flags GHC linked with. < 1359358102 269274 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Hmm. < 1359358115 72072 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Apparently GHC has some code to mark the stack non-executable. < 1359360082 495810 :Nisstyre_!~yours@oftn/member/Nisstyre JOIN :#esoteric < 1359360127 77570 :Nisstyre!~yours@oftn/member/Nisstyre QUIT :Disconnected by services < 1359360136 995407 :Nisstyre_!~yours@oftn/member/Nisstyre NICK :Nisstyre < 1359360164 785943 :Nisstyre-laptop!~yours@oftn/member/Nisstyre QUIT :Ping timeout: 240 seconds < 1359360413 415674 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric : ) 0 = 1 o. o. 2 * i. 5 < 1359360413 658216 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric : Sgeo: 1 0 0 0 0 < 1359360414 177503 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric ::/ < 1359360635 771235 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :* for signum actually obeys tolerance rules, hmm < 1359360645 850277 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric : ) * 1 o. o. 2 * i. 5 < 1359360646 90665 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric : Sgeo: 0 0 0 0 0 < 1359360952 358332 :Nisstyre!~yours@oftn/member/Nisstyre QUIT :Ping timeout: 276 seconds < 1359361477 709609 :Taneb!~nathan@host-78-148-1-87.as13285.net JOIN :#esoteric < 1359361791 163507 :Nisstyre!~yours@oftn/member/Nisstyre JOIN :#esoteric < 1359362035 315131 :Taneb!~nathan@host-78-148-1-87.as13285.net QUIT :Quit: Leaving < 1359363694 400411 :zzo38!~zzo38@24-207-49-17.eastlink.ca QUIT :Remote host closed the connection < 1359363698 312677 :carado!~user4539@2a01:e35:8b61:e430:6ef0:49ff:fe73:1fd0 JOIN :#esoteric < 1359365072 302023 :carado!~user4539@2a01:e35:8b61:e430:6ef0:49ff:fe73:1fd0 QUIT :Ping timeout: 246 seconds < 1359365505 414764 :epicmonkey!~epicmonke@188.134.41.175 JOIN :#esoteric < 1359365729 484528 :ais523!~ais523@unaffiliated/ais523 JOIN :#esoteric < 1359365845 626583 :copumpkin!~copumpkin@unaffiliated/copumpkin QUIT :Ping timeout: 260 seconds < 1359365930 450075 :copumpkin!~copumpkin@unaffiliated/copumpkin JOIN :#esoteric < 1359366702 676398 :ais523!~ais523@unaffiliated/ais523 QUIT :Ping timeout: 276 seconds < 1359366714 91031 :Bike!~Glossina@63-229-134-7.ptld.qwest.net QUIT :Quit: bye < 1359366964 244951 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :`list < 1359366991 355988 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :'list < 1359367116 855871 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :HackEgo? < 1359367126 826987 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :`cat bin/list < 1359367129 605181 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :`quote < 1359367131 223745 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :`asjdflasjdfk < 1359367469 602342 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :*sigh* < 1359367494 238212 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :GREGOR! < 1359367502 90277 :glogbackup!~glogbacku@64.31.59.246 QUIT :Ping timeout: 256 seconds < 1359367509 707557 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :atriq Taneb I forget Fiora someone someonelese < 1359367943 530443 :glogbackup!~glogbacku@64.31.59.246 QUIT :Remote host closed the connection < 1359368049 96194 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :You should put that thing in fungot, that's clearly the most stable bot available. < 1359368049 844004 :fungot!fis@eos.zem.fi PRIVMSG #esoteric :fizzie: i mean... what if it gets a 87% grade when i found a solution to the problem < 1359368144 606987 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :^def list ul (Taneb atriq Ngevd Fiora nortti Sgeo alot)S < 1359368144 841901 :fungot!fis@eos.zem.fi PRIVMSG #esoteric :Defined. < 1359368152 439299 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :^list < 1359368152 655844 :fungot!fis@eos.zem.fi PRIVMSG #esoteric :Taneb atriq Ngevd Fiora nortti Sgeo alot < 1359368162 778623 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :ty < 1359368169 945501 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :^save < 1359368170 219592 :fungot!fis@eos.zem.fi PRIVMSG #esoteric :OK. < 1359368509 539599 :glogbackup!~glogbacku@64.31.59.246 QUIT :Remote host closed the connection < 1359369835 420571 :DHeadshot!~DH____@unaffiliated/dh----/x-6288474 QUIT :Ping timeout: 260 seconds < 1359370547 385363 :azaq23!~derivecto@unaffiliated/azaq23 JOIN :#esoteric < 1359370556 376942 :azaq23!~derivecto@unaffiliated/azaq23 QUIT :Max SendQ exceeded < 1359370587 387111 :azaq23!~derivecto@unaffiliated/azaq23 JOIN :#esoteric < 1359371504 678581 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net QUIT :Quit: hello < 1359371720 818515 :glogbackup!~glogbacku@64.31.59.246 JOIN :#esoteric < 1359372005 372013 :glogbackup!~glogbacku@64.31.59.246 QUIT :Ping timeout: 260 seconds < 1359372235 290104 :copumpkin!~copumpkin@unaffiliated/copumpkin QUIT :Ping timeout: 244 seconds < 1359372265 809783 :copumpkin!~copumpkin@unaffiliated/copumpkin JOIN :#esoteric < 1359373777 314746 :epicmonkey!~epicmonke@188.134.41.175 QUIT :Ping timeout: 245 seconds < 1359374015 725951 :Frooxius!~Frooxius@cust-101.ktknet.cz QUIT :Ping timeout: 255 seconds < 1359374888 577736 :DHeadshot!~DH____@unaffiliated/dh----/x-6288474 JOIN :#esoteric < 1359374951 950465 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 JOIN :#esoteric < 1359375157 663912 :oerjan!oerjan@sprocket.nvg.ntnu.no JOIN :#esoteric < 1359375346 304997 :Frooxius!~Frooxius@cust-101.ktknet.cz JOIN :#esoteric < 1359375426 304919 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`echo hi < 1359375462 693447 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :^echo ^echo < 1359375462 924569 :fungot!fis@eos.zem.fi PRIVMSG #esoteric :^echo ^echo < 1359375467 511251 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :hello oerjan < 1359375468 739126 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :welcome < 1359375496 671607 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :good afternoon shachaf < 1359375518 469190 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Not hardly! < 1359375520 610751 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :@localtime < 1359375523 966427 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :Local time for shachaf is Mon Jan 28 04:18:40 2013 < 1359375663 208892 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :ha ha you people keep faking that timezone thing < 1359375734 568320 :DHeadshot!~DH____@unaffiliated/dh----/x-6288474 QUIT :Ping timeout: 252 seconds < 1359375870 346091 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :"^echo ^echo" is the best quine in the fungot-^echo-language. < 1359375870 603352 :fungot!fis@eos.zem.fi PRIVMSG #esoteric :fizzie: you can tell < 1359375888 443421 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :fungot: hi < 1359375888 918870 :fungot!fis@eos.zem.fi PRIVMSG #esoteric :shachaf: then one could write ( loop-safety on) or ( x ( get-value) block) will expand to the same event at the same time < 1359375951 402582 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :(DECLAIM '(OPTIMIZE (LOOP-SAFETY ON))) < 1359375955 282004 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :sadly it's also the _only_ quine, i think. < 1359375971 87838 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :@localtime fungot < 1359375971 560008 :fungot!fis@eos.zem.fi PRIVMSG #esoteric :fizzie: there are a bazillion definitions per item with no discernable purpose and reside in a different order < 1359375990 995041 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :x ++ x == "^echo " ++ x doesn't have a lot of solutions < 1359375992 416277 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :Local time for fungot is ITS NOT A FAKE < 1359376019 160722 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :um < 1359376028 509966 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :* x ++ " " ++ x == "^echo " ++ x doesn't have a lot of solutions < 1359376064 872077 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oerjan: Do empty programs count? < 1359376072 984451 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :^echo < 1359376073 201012 :fungot!fis@eos.zem.fi PRIVMSG #esoteric : < 1359376075 588598 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :no. < 1359376079 631339 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :That's not an empty program. < 1359376081 761340 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :It's ^echo < 1359376097 793794 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :shachaf: he said "in the fungot-^echo-language" < 1359376098 267699 :fungot!fis@eos.zem.fi PRIVMSG #esoteric :oerjan: ais523 suggested it x-p you win!!! eheheheeheh trying to find a way to see where one can look at the number of < 1359376126 887917 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Do all programs in that language start with ^echo? < 1359376131 890179 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :In that case I guess it's the only quine. < 1359376148 156476 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :They all do start with "^echo ". < 1359376208 547266 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :^echo < 1359376208 764152 :fungot!fis@eos.zem.fi PRIVMSG #esoteric : < 1359376214 63144 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :That's not a ^echo-program? < 1359376341 158069 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :^show echo < 1359376341 415132 :fungot!fis@eos.zem.fi PRIVMSG #esoteric :>,[.>,]<[<]+32[.>] < 1359376370 338247 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Hrm, for some reason I confused ^echo with one of the commands where the space is mandatory. < 1359376419 205916 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i think the space is handled by fungot's pre-bf parsing < 1359376419 443309 :fungot!fis@eos.zem.fi PRIVMSG #esoteric :oerjan: remembered. i'll tell riastradh when he/ she < 1359376443 186645 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :the one on input, that is < 1359376467 171709 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Yes, it's only the fixed commands that sometimes check also that there is a space. < 1359376472 383893 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :i love fungot < 1359376472 622031 :fungot!fis@eos.zem.fi PRIVMSG #esoteric :shachaf: like calories. a < 1359376476 506440 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :so ^command is equivalent to ^command < 1359376476 749981 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :fungot is so easy < 1359376476 987252 :fungot!fis@eos.zem.fi PRIVMSG #esoteric :shachaf: actually i'll probably change and to and, although it would eventually segfault. < 1359376500 268096 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :only fungot can make a segfault by changing and to and < 1359376500 503917 :fungot!fis@eos.zem.fi PRIVMSG #esoteric :oerjan: whichever is closer to most module systems, is it < 1359376619 411508 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Everyone loves fungot like calories. < 1359376619 648381 :fungot!fis@eos.zem.fi PRIVMSG #esoteric :fizzie: i have to, as the compiler is correct? maybe the implementations of " reverse" < 1359376642 695680 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :i love fungot like calories. a < 1359376642 955090 :fungot!fis@eos.zem.fi PRIVMSG #esoteric :shachaf: thanks. your new nick? hehe ( sometimes i make too long sentenced to avoid being eaten by a grue. < 1359376651 499450 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :fungot++ < 1359376651 735979 :fungot!fis@eos.zem.fi PRIVMSG #esoteric :shachaf: ( i think)." < 1359378013 449932 :epicmonkey!~epicmonke@host-224-58.dataart.net JOIN :#esoteric < 1359378445 573983 :sebbu!~sebbu@unaffiliated/sebbu QUIT :Ping timeout: 260 seconds < 1359379370 334857 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net JOIN :#esoteric < 1359380019 623628 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Did elliott take my quote out of the topic? < 1359380024 607786 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :"it was a good run" < 1359380073 712760 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i dunno < 1359380122 552374 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :unless you mean the lambda cube, in which case yes < 1359380135 858183 :Jafet!~Jafet@unaffiliated/jafet PRIVMSG #esoteric :Six simultaneous rotations of the lambda tesseract < 1359380146 538682 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I should go to sleep. < 1359380440 720106 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Food for thought: NaNoWriMo requires 50000 words in order for something to qualify as a novel; W|A says average English word length is 5.1 characters; allowing for some whitespace and punctuation, 6.5*50000 = 325000 characters. Compare this with http://zem.fi/esostats/fig/activity_chars_20year.png -- since mid-2008, the channel seems to average around 1-2.5 novels a week. < 1359380500 864633 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :the plot is horrendous, though < 1359380537 390329 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :And the characters are, frankly, stupid and unbelievable. < 1359380549 177197 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :except for fungot and zzo38, they'll obviously go on to start spinoff series < 1359380549 665342 :fungot!fis@eos.zem.fi PRIVMSG #esoteric :oerjan: wiliki sure looks a lot like the inverse of f(n) a(n,n)? would it run the other schemes will do something with < 1359380615 33643 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Also, total characters over all time: 127,714,454 i.e. 393 novels, which again reminds me that I'd like to see the #esoteric bookshelf as a physical thing. < 1359380651 595171 :copumpkin!~copumpkin@unaffiliated/copumpkin QUIT :Ping timeout: 252 seconds < 1359380682 797020 :copumpkin!~copumpkin@unaffiliated/copumpkin JOIN :#esoteric < 1359380731 441991 :augur!~augur@208.58.5.87 QUIT :Remote host closed the connection < 1359381367 312811 :Jafet!~Jafet@unaffiliated/jafet QUIT :Quit: Leaving. < 1359381394 938129 :Jafet!~Jafet@unaffiliated/jafet JOIN :#esoteric < 1359382744 285075 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :fizzie: is #esoteric bookshelf just printed logs of #esoteric < 1359382817 492862 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Yes. Well, not just "printed", but bound to something for which the word "tome" is appropriate. < 1359382843 995920 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Possibly also "copied by a cloisterful of monks" as opposed to "printed". < 1359382963 639890 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i guess illumination is mandatory as well. < 1359383010 164395 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :fizzie: well here I was considering giving Lulu a bunch of money to make that dream a reality < 1359383013 82501 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :I WON'T BOTHER NOW < 1359383020 411092 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :http://www.flickr.com/photos/darrellg/6822994478/ I mean something like this maybe? < 1359383089 609161 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :I nominate fizzie to be the monk. < 1359383133 619818 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :but who would be the monq < 1359383139 708055 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :btw why am i awake < 1359383142 822017 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Good night! < 1359383149 13712 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :May all your monoids be easy! < 1359383470 545940 :boily!~boily@mtl.savoirfairelinux.net JOIN :#esoteric < 1359384313 376260 :Jafet!~Jafet@unaffiliated/jafet PRIVMSG #esoteric :Is the monq monqy? < 1359384387 820947 :WeThePeople!~WeThePeop@unaffiliated/wethepeople JOIN :#esoteric < 1359384420 968849 :augur!~augur@129-2-129-32.wireless.umd.edu JOIN :#esoteric < 1359384842 215001 :oerjan!oerjan@sprocket.nvg.ntnu.no QUIT :Quit: leaving < 1359386337 509818 :Lumpio-!~matti@62-113-182-248.bb.dnainternet.fi QUIT :Ping timeout: 248 seconds < 1359386675 289813 :Taneb!~nathan@host-78-148-1-87.as13285.net JOIN :#esoteric < 1359387855 379154 :FreeFull!~freefull@defocus/sausage-lover JOIN :#esoteric < 1359388820 835293 :glogbackup!~glogbacku@64.31.59.246 JOIN :#esoteric < 1359388965 165489 :ais523_!93bcc208@gateway/web/freenode/ip.147.188.194.8 JOIN :#esoteric < 1359389831 92039 :glogbackup!~glogbacku@64.31.59.246 QUIT :Remote host closed the connection < 1359391488 688292 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :"In 2007, Niven, in conjunction with a group of science fiction writers known as SIGMA, led by Pournelle, began advising the U.S. Department of Homeland Security as to future trends affecting terror policy and other topics.[8] One of his suggestions as a member of SIGMA was that hospitals stem financial losses by spreading rumors in Spanish within the Latino community that emergency rooms are killing patients in order to < 1359391488 905161 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric : harvest their organs for transplants, in order to reduce illegal immigrants' use of emergency rooms.[9]" < 1359391493 561909 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :larry niven..................................................... < 1359391512 775158 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :Phantom_Hoover: yikes < 1359391530 213834 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :that's another sci-fi author on the crazy list < 1359391615 685575 :desty!~desty@proxy2.dcu.ie JOIN :#esoteric < 1359391620 609589 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :According to author Michael Moorcock, in 1967 Niven was among those Science Fiction Writers of America members who voiced opposition to the Vietnam War.[5] However, in 1968 Niven's name appeared in a pro-war ad in Galaxy Science Fiction magazine.[6] < 1359391624 563641 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :Niven was an adviser to Ronald Reagan on the creation of the Strategic Defense Initiative anti missile policy, as covered in the BBC documentary Pandora's Box by Adam Curtis.[7] < 1359391631 281712 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :hmmmmmmmmmmmmmmmmmmmmmmmmmmmmmmmmm < 1359391696 995468 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :maybe he got sick of the government asking him to join in with their idiotic initiatives and decided to take the piss < 1359391703 474649 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :(hahahaha) < 1359392777 284583 :pikhq!~pikhq@75-163-170-156.clsp.qwest.net PRIVMSG #esoteric :That sounds like him. < 1359393014 294712 :copumpkin!~copumpkin@unaffiliated/copumpkin QUIT :Ping timeout: 240 seconds < 1359393044 958794 :copumpkin!~copumpkin@unaffiliated/copumpkin JOIN :#esoteric < 1359394023 171916 :Taneb!~nathan@host-78-148-1-87.as13285.net PRIVMSG #esoteric :Wow, I just rage-parted a channel < 1359394025 242484 :Taneb!~nathan@host-78-148-1-87.as13285.net PRIVMSG #esoteric :That's a first < 1359394075 382922 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :raaaaaaaage < 1359394082 675846 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Rage against the channel. < 1359394130 990927 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :PARTING IN THE NAME OF *riff* < 1359394167 137814 :sebbu!~sebbu@unaffiliated/sebbu JOIN :#esoteric < 1359394244 189615 :Taneb!~nathan@host-78-148-1-87.as13285.net PRIVMSG #esoteric :There were two people who differed on opinions regarding GNU very loudly < 1359394366 128233 :Taneb!~nathan@host-78-148-1-87.as13285.net NICK :Taneb|Away < 1359394660 505365 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :http://zem.fi/esostats/charfreq_brainfuck.html it's probably partially BFJoust days? < 1359394909 549420 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :fizzie: then do a search for "bfjoust" and overlay it < 1359395100 147900 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :There are so many possible THINGS. But I suppose I'll add a straight-forward keyword-frequency thing similar to those charfreq things. Though I don't know what else than "bfjoust" to include. < 1359395122 318574 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :that should be enough < 1359395146 810983 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :case insensitive "bfjoust" should catch just about every day that it was discussed < 1359395173 851409 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Yes, but, I mean, maybe there are other things in the world in addition to bfjoust too. < 1359395187 913347 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :I suppose I can run some kind of a TF-IDF keyword extraction on my dataset, though. < 1359395458 596883 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :fizzie, augur and psygnisfive are the same. < 1359395475 128804 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :OIC. < 1359395489 633631 :augur!~augur@129-2-129-32.wireless.umd.edu PRIVMSG #esoteric :oh hi < 1359395516 68923 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :I'd rerun the people-statistics bit, but my computar is so noisy when it's doing things. :/ < 1359395524 658482 :augur!~augur@129-2-129-32.wireless.umd.edu PRIVMSG #esoteric :who was talking about other me? < 1359395544 744103 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :The other you ended up in my list of "important" people for some plots plots plots. < 1359395594 738291 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :is the list of important people the set of all people who posted more than x times in this channel? < 1359395612 597754 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Yes. < 1359395629 193395 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Where 'x' was somewhere between two and three thousand. < 1359395636 530344 :augur!~augur@129-2-129-32.wireless.umd.edu PRIVMSG #esoteric :Phantom_Hoover: where did fizzie mention my other username? :| < 1359395646 735572 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :It's in the charts. < 1359395649 667888 :augur!~augur@129-2-129-32.wireless.umd.edu PRIVMSG #esoteric :o < 1359395666 664538 :augur!~augur@129-2-129-32.wireless.umd.edu PRIVMSG #esoteric :where < 1359395676 628363 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :http://zem.fi/esostats/ "individual activity charts" < 1359395707 965038 :augur!~augur@129-2-129-32.wireless.umd.edu PRIVMSG #esoteric :oookay... < 1359395742 144127 :augur!~augur@129-2-129-32.wireless.umd.edu PRIVMSG #esoteric :oic < 1359395761 101720 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :They will be merged after the next recomputamation. < 1359395843 175790 :augur!~augur@129-2-129-32.wireless.umd.edu PRIVMSG #esoteric :ive been pretty inactive in here lately < 1359396278 621736 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :meh. I'm not important yet. < 1359396352 447624 :sirdancealot7!~sirdancea@98.82.broadband5.iol.cz QUIT :Ping timeout: 245 seconds < 1359396388 83046 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :boily: then chat more! < 1359396508 731077 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :boily: You've been made important for the next run. (But you should indeed chat more; your linecount in my logs is just 505.) < 1359396542 600800 :sirdancealot7!~sirdancea@98.82.broadband5.iol.cz JOIN :#esoteric < 1359396576 585104 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :I need to chat more indeed. < 1359396596 151205 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :boily: are you france < 1359396596 864612 :ais523_!93bcc208@gateway/web/freenode/ip.147.188.194.8 QUIT :Quit: Page closed < 1359396625 355792 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :quintopia: nope. still canadaing, even if I think its existence hasn't been yet formalized, let alone proved. < 1359396643 349270 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :lets all go to canada and chat boily < 1359396643 566176 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :I wonder who's the nearest member from me in this channel. < 1359396656 35888 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :zzo38 is west coast canadia < 1359396669 427551 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :what province? < 1359396674 339499 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :montréal, québec. < 1359396683 306722 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :hmm. i'm gonna gues sgeo < 1359396689 521831 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :east coast US? < 1359396691 680254 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :sgeo is new york < 1359396698 68169 :Gregor!codu@codu.org PRIVMSG #esoteric :Indiana < 1359396698 533053 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :definitely nearer. < 1359396711 525451 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :BC is like 5000 km away from me. < 1359396741 773177 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :say, does anyone here have experience with OpenGL ES 2.0? < 1359396777 301229 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :no. i like esolangs, but that one is just too esoteric < 1359396834 810381 :surma!uid6361@c-base/crew/surma JOIN :#esoteric < 1359396981 580661 :surma!uid6361@c-base/crew/surma PRIVMSG #esoteric :Hey guys, I need a language where every combination of is a valid and executable program. Does anything come to mind? I was thinking of SUBLEQ (or any OISC for that matter), but I was hoping you guys would know something more abstract < 1359397086 144992 :desty!~desty@proxy2.dcu.ie PRIVMSG #esoteric :it's like that in many genetic programming implementations, where everything must be valid and defined (even if meaningless or NOP in most cases) since the code is generated by random process < 1359397120 845130 :desty!~desty@proxy2.dcu.ie PRIVMSG #esoteric :so, for example, the PushGP language probably allows any input? < 1359397179 516585 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :boily: your use of the fake letter "é" proves you must be french < 1359397449 643099 :Bike!~Glossina@63-229-134-7.ptld.qwest.net JOIN :#esoteric < 1359397592 425670 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :surma: http://esolangs.org/wiki/Jot is one example. (Every string in [01]* is a valid Jot program.) < 1359397643 414929 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :elliott: sincé whén is é a faké léttér? < 1359397819 800651 :surma!uid6361@c-base/crew/surma PRIVMSG #esoteric :desty: Ha, the genetic programming application slipped my mind. Makes a lot of sense to look there. < 1359397822 295029 :surma!uid6361@c-base/crew/surma PRIVMSG #esoteric :Thanks fizzie ! < 1359397992 666406 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :TF-IDF top-16 terms for 2005-03-05: "brainfuck he bf really org than languages possible name tutorial programming hehe ah how bfasm p" ... and for 2005-03-06: "esoapi pesoix easel h will dialect cpressey api up has they level bos o check switch"; well look at that, it actually does sort of hint as to what was the topic of discussion that day. (Disclaimer: IDF computed over a total of three ... < 1359397998 847829 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :... days; larger thing now in progress.) < 1359398079 621876 :desty!~desty@proxy2.dcu.ie PRIVMSG #esoteric :"brainfuck he bf really org" <- sure it isn't from some S&M chatroom? :P < 1359398086 892077 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :serendipitous reddit link: http://www.primaryobjects.com/CMS/Article149.aspx < 1359398134 847246 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :Advantages of Brainf-ck as an AI Programming Language < 1359398140 294023 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :this is certainly something < 1359398180 411648 :Taneb|Away!~nathan@host-78-148-1-87.as13285.net NICK :Taneb < 1359398183 955376 :Gregor!codu@codu.org PRIVMSG #esoteric :http://blog.bitbucket.org/2013/01/28/signup-to-bitbucket-via-google-or-github/ You can now sign in to BitBucket with your GitHub account. < 1359398217 833156 :Bike!~Glossina@63-229-134-7.ptld.qwest.net PRIVMSG #esoteric :why are people so obsessed with self-modifying code -> AI... < 1359398260 263169 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Aw dagnabbit, I forgot to filter out initial nick-attributions, this whole output is now just mostly list of people who've been talked to -- http://sprunge.us/iTii -- will have to redo. < 1359398265 292056 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :I see they don't even give any examples of evolving programs to compute a function... just constant output. < 1359398270 536502 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :from experience, genetic algos are slow, computation intensive, and they don't work. < 1359398281 28971 :desty!~desty@proxy2.dcu.ie PRIVMSG #esoteric :boily: yes, very slow and inefficient < 1359398287 277676 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :fizzie: Might want to ignore lines starting with ! and ` too. < 1359398293 422342 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :Except I guess !bfjoust would be Relevant(tm). < 1359398329 102963 :desty!~desty@proxy2.dcu.ie PRIVMSG #esoteric :I wrote a genetic programming engine to try to evolve strings of input to vim (for vimgolf)... it was awful :) < 1359398346 777644 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Maybe the command names can stay. But people are boring, I'll get rid of them. < 1359398367 721214 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :"ehird compile cube shit" "sexy ehird bitch" Um, okay. < 1359398401 845188 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Hey, that's just what the machine tells me. :p < 1359398425 605029 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :surma: brainfuck and the uncountably many brainfuck derivatives have that property < 1359398447 239086 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :most bytes (or is it characters?) are no-ops < 1359398448 711086 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :kmc: ] is an invalid bf program < 1359398458 361145 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :< too, under most interpretations < 1359398460 253082 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :ok fair enough < 1359398508 915811 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :fizzie: Can you pad every Jot program out to be byte-sized? < 1359398518 894106 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :Or are there hypothetically functions which can only be expressed as Jot programs of a non-integral number of bytes? < 1359398667 350509 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :I'm not qualified to tell, but I'd hazard a guess you can always at least pad to some multiple of 8. < 1359398912 412325 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :http://sprunge.us/aBZV <- nick-attribution-filtered tfidf output. Apparently there's still quite a few nicks, possibly since people in fact mention other people also inside their comments. < 1359398925 164522 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :2012-12-26's topic: "rape switzerland" < 1359399328 733811 :Taneb!~nathan@host-78-148-1-87.as13285.net PRIVMSG #esoteric :fizzie, does the people one combine Taneb, Ngevd, and atriq? < 1359399345 240071 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :fizzie: how do you feel to have been in this channel for over a decade < 1359399498 814469 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Taneb: It does. < 1359399515 348230 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :coppro: I don't think I really "get" it. < 1359399545 996697 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :get what? this channel? < 1359399550 648767 :epicmonkey!~epicmonke@host-224-58.dataart.net QUIT :Ping timeout: 260 seconds < 1359399599 862525 :desty!~desty@proxy2.dcu.ie PART #esoteric :"Leaving" < 1359399640 761908 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :The ten years. < 1359399656 802753 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :'Shipment of 18 human heads found at Chicago's O'Hare airport' < 1359399663 604293 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :fizzie: http://codu.org/logs/_esoteric/2003-01-19.txt < 1359399667 657309 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :that was more than 10 years ago < 1359399686 122794 :Bike!~Glossina@63-229-134-7.ptld.qwest.net PRIVMSG #esoteric :kmc: destined for what? < 1359399706 186983 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :greatness < 1359399709 750833 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :coppro: fizzie has been here since before 2003-01-19. < 1359399727 255920 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :elliott: I know < 1359399731 89139 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :but that's how far back the logs go < 1359399751 472047 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :so I dispute your claim and demand evidence otherwise < 1359399753 836637 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :Actually they go back to http://codu.org/logs/log/_esoteric/2003-01-18. But it's interesting that fizzie's private logs that are in the rsync thing aren't in the web interface. < 1359399772 696144 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :(From 2002.) < 1359399813 467048 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :http://www.borderagencyscotland.com/ < 1359400001 233782 :AnotherTest!~AnotherTe@94-224-28-191.access.telenet.be JOIN :#esoteric < 1359400005 832747 :AnotherTest!~AnotherTe@94-224-28-191.access.telenet.be PRIVMSG #esoteric :greetings < 1359400014 136813 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :lies < 1359400172 546755 :Taneb!~nathan@host-78-148-1-87.as13285.net PRIVMSG #esoteric :Esolang the movie staring Elijah Wood as Elliott Hird and Viggo Mortensen as �rjan Johansen. < 1359400223 137267 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :+1 < 1359400234 830513 :Taneb!~nathan@host-78-148-1-87.as13285.net PRIVMSG #esoteric :coppro, who would play you? < 1359400236 252032 :Taneb!~nathan@host-78-148-1-87.as13285.net PRIVMSG #esoteric :Or me? < 1359400240 851583 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :Taneb: Andy Serkis obv < 1359400256 386158 :Taneb!~nathan@host-78-148-1-87.as13285.net PRIVMSG #esoteric :I didn't mean to restrict it to LOTR actors < 1359400263 182928 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :it's all right < 1359400268 93127 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :you can be played by Anne Hathaway < 1359400271 407490 :Taneb!~nathan@host-78-148-1-87.as13285.net PRIVMSG #esoteric :I think I'd be played by Zachary Quinto < 1359400320 93999 :Gregor!codu@codu.org PRIVMSG #esoteric :fizzie and oerjan are the olde hats. < 1359400344 952433 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :Taneb: sorry but we have to get Dijkstra to play oerjan. < 1359400347 596507 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :It was agreed. < 1359400366 26034 :Taneb!~nathan@host-78-148-1-87.as13285.net PRIVMSG #esoteric :...isn't he kind of dead? < 1359400380 766048 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :I DON'T CARE < 1359400383 214515 :Gregor!codu@codu.org PRIVMSG #esoteric :Not only is he kind of dead, he's entirely dead. < 1359400383 926109 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :Use necromancy if you have to! < 1359400399 682959 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :I like necromancy. all those shiny zombies :D < 1359400449 281744 :Bike!~Glossina@63-229-134-7.ptld.qwest.net PRIVMSG #esoteric :no need for necromancy, you could just prop up his rotten corpse like a puppet < 1359400465 315665 :Bike!~Glossina@63-229-134-7.ptld.qwest.net PRIVMSG #esoteric :cost effective < 1359400475 882351 :AnotherTest!~AnotherTe@94-224-28-191.access.telenet.be PRIVMSG #esoteric :today is privacy day < 1359400481 97999 :AnotherTest!~AnotherTe@94-224-28-191.access.telenet.be PRIVMSG #esoteric :NSA is watching you < 1359400508 558201 :Taneb!~nathan@host-78-148-1-87.as13285.net PRIVMSG #esoteric :AnotherTest, should I... < 1359400517 176923 :Taneb!~nathan@host-78-148-1-87.as13285.net PRIVMSG #esoteric :should I do a song and dance routine or something? < 1359400521 974831 :Taneb!~nathan@host-78-148-1-87.as13285.net PRIVMSG #esoteric :Is this a talent contest? < 1359400531 756178 :Bike!~Glossina@63-229-134-7.ptld.qwest.net PRIVMSG #esoteric :only if you're prepared to have it uploaded to youtube < 1359401160 865524 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :Is there any number argument to genericTake, where an input of an infinite list will produce an infinite list < 1359401283 257339 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :yes < 1359401315 30237 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :(fix Succ) < 1359401318 508926 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :if you define inductive natural numbers then you can define ω which is an infinite number < 1359401343 846197 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :*conatural < 1359401346 333467 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :as elliott said, ω = Succ ω < 1359401348 701407 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :elliott: ;P < 1359401411 159581 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :you could also just define a "numeric" type which is always infinite < 1359401426 173715 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :well then your fromInteger has to lie < 1359401431 342500 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :that's fine < 1359401459 639792 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :not really :P < 1359401467 31987 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :fuck tha police < 1359401471 427685 :Bike!~Glossina@63-229-134-7.ptld.qwest.net PRIVMSG #esoteric :do you need a fromInteger in a Numeric type? < 1359401475 464282 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :@src Num < 1359401475 680952 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :class (Eq a, Show a) => Num a where < 1359401475 681148 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : (+), (-), (*) :: a -> a -> a < 1359401475 681270 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : negate, abs, signum :: a -> a < 1359401475 681375 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : fromInteger :: Integer -> a < 1359401480 676453 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :Bike: behold the worst class in the universe < 1359401487 463754 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :Bike: it gets better though < 1359401489 639135 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :@src Real < 1359401489 856073 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :class (Num a, Ord a) => Real a where < 1359401489 856237 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : toRational :: a -> Rational < 1359401494 951630 :Bike!~Glossina@63-229-134-7.ptld.qwest.net PRIVMSG #esoteric :that's not better < 1359401498 586417 :Bike!~Glossina@63-229-134-7.ptld.qwest.net PRIVMSG #esoteric :that's not better at all D: < 1359401498 803240 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :ponder that for a moment < 1359401519 922041 :Bike!~Glossina@63-229-134-7.ptld.qwest.net PRIVMSG #esoteric :christ is there any good way to make numbers in programming remotely like they are in math < 1359401523 294046 :Bike!~Glossina@63-229-134-7.ptld.qwest.net PRIVMSG #esoteric :"no" < 1359401536 615207 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :abstract algebra is kinda unwieldy to do via typeclasses < 1359401548 476379 :Bike!~Glossina@63-229-134-7.ptld.qwest.net PRIVMSG #esoteric :where's class Group huh < 1359401551 672470 :Bike!~Glossina@63-229-134-7.ptld.qwest.net PRIVMSG #esoteric :where's class Monoid < 1359401555 368744 :Bike!~Glossina@63-229-134-7.ptld.qwest.net PRIVMSG #esoteric :WHERE'S BEAKY < 1359401555 851157 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :@src Monoid < 1359401556 68463 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :class Monoid a where < 1359401556 68639 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : mempty :: a < 1359401556 68744 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : mappend :: a -> a -> a < 1359401556 68850 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : mconcat :: [a] -> a < 1359401559 895118 :Bike!~Glossina@63-229-134-7.ptld.qwest.net PRIVMSG #esoteric :oh, there it is < 1359401560 650918 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :they are so easy, even typeclasses can do them < 1359401576 585144 :Bike!~Glossina@63-229-134-7.ptld.qwest.net PRIVMSG #esoteric :still think it's weird that the operation is called "append" < 1359401584 363968 :Bike!~Glossina@63-229-134-7.ptld.qwest.net PRIVMSG #esoteric :also is mconcat really just there for efficiency < 1359401599 738283 :Bike!~Glossina@63-229-134-7.ptld.qwest.net PRIVMSG #esoteric :wait... < 1359401601 822324 :Bike!~Glossina@63-229-134-7.ptld.qwest.net PRIVMSG #esoteric :@src Monad < 1359401602 40127 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :class Monad m where < 1359401602 40289 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : (>>=) :: forall a b. m a -> (a -> m b) -> m b < 1359401602 40448 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : (>>) :: forall a b. m a -> m b -> m b < 1359401602 40555 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : return :: a -> m a < 1359401602 40658 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : fail :: String -> m a < 1359401608 2010 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :mconcat has a default definition, yeah < 1359401622 445118 :Bike!~Glossina@63-229-134-7.ptld.qwest.net PRIVMSG #esoteric :oh, type classes don't have inheritance or nuthin, do they < 1359401641 333192 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :they have superclasses < 1359401643 981111 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :@src Monoid < 1359401644 198295 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :class Monoid a where < 1359401644 415472 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : mempty :: a < 1359401644 415654 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : mappend :: a -> a -> a < 1359401644 415760 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : mconcat :: [a] -> a < 1359401654 924409 :Bike!~Glossina@63-229-134-7.ptld.qwest.net PRIVMSG #esoteric :monads aren't monoids! < 1359401658 96092 :Bike!~Glossina@63-229-134-7.ptld.qwest.net PRIVMSG #esoteric :where are the endofunctors < 1359401660 462104 :Bike!~Glossina@63-229-134-7.ptld.qwest.net PRIVMSG #esoteric :is my life a lie? < 1359401668 467797 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :it's all obfuscated < 1359401669 96515 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :I think the default definition for mconcat is something like foldr mappend mempty < 1359401676 113468 :Bike!~Glossina@63-229-134-7.ptld.qwest.net PRIVMSG #esoteric :so i would assume < 1359401714 113669 :Bike!~Glossina@63-229-134-7.ptld.qwest.net PRIVMSG #esoteric :@src Group < 1359401714 331329 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :Source not found. It can only be attributed to human error. < 1359401718 317938 :Bike!~Glossina@63-229-134-7.ptld.qwest.net PRIVMSG #esoteric ::( < 1359401726 622865 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :Bike: class Category cat => Monoid cat unit product mon where mempty :: unit `cat` mon; mappend :: product mon mon `cat` mon < 1359401733 576368 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :or, with infix syntax that is sadly no longer allowed: < 1359401749 421377 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :class Category (~>) => Monoid (~>) unit (**) mon where mempty :: unit ~> mon; mappend :: (mon ** mon) ~> mon < 1359401755 30724 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :THEY GOT RID OF THAT SYNTAX?!? < 1359401757 257915 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :now if you let (~>) = (->), unit = (), (**) = (,), you get < 1359401758 886497 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :noooooo < 1359401763 634221 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :mempty :: () -> mon; mappend :: (mon, mon) -> mon < 1359401765 97310 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :which is Monoid < 1359401767 304564 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :whyyyyyyyyyyyy < 1359401774 887196 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :if you let f ~> g = (forall a. f a -> g a) (<-- natural transformation) < 1359401776 401482 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :unit = Identity < 1359401784 240284 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :(**) = functor composition i.e. (f ** g) a = f (g a) < 1359401786 243544 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :you get < 1359401791 684432 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :mempty :: Identity a -> mon a < 1359401796 598036 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :mappend :: mon (mon a) -> mon a < 1359401805 770943 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :which is a Monad (return and join respectively), if mon is a Functor! < 1359401815 756084 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :now you actually need to wrap those latter definitions up into data types and stuff to get it work < 1359401823 150478 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :but with the PolyKinds extension you can actually define a generic Monoid in this way < 1359401830 408589 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :kmc: that syntax is now used for actual infix types, rather than type variables < 1359401836 640561 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :sucks < 1359401837 115721 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :kmc: i.e. you can define data a * b = Product a b or whatever < 1359401840 291703 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :You know, the full name for football is associative football < 1359401846 584783 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :Does that mean football can be a monoid? < 1359401849 975702 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :so close yet so far < 1359401861 193110 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :Or a semigroup < 1359401863 87219 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :kmc: not being able to use infix type variables is annoying, but having to prefix infix types with : is arguably worse < 1359401914 12629 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :Nevermind, it's actually association football < 1359401992 844114 :Bike!~Glossina@63-229-134-7.ptld.qwest.net PRIVMSG #esoteric :imo football is a magma at best < 1359402081 703992 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :now i'm picturing a football variant with obstacles in the form of holes filled with molten rock < 1359402219 170858 :Bike!~Glossina@63-229-134-7.ptld.qwest.net PRIVMSG #esoteric :i'd watch it < 1359402243 30729 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :http://zem.fi/esostats/charfreq_brainfuck.html Aw, the word "bfjoust" doesn't correlate all that well with brainfuck characters. (Though that peak in 2009 followed by a longish bump for the rest of the year probably qualifies.) ((Also there are some other terms plotted in the index.)) < 1359402793 799139 :Bike!~Glossina@63-229-134-7.ptld.qwest.net PRIVMSG #esoteric :http://docs.python.org/3/c-api/init.html#threads kmc, is this part of why you were complaining about pythong threads? < 1359402886 652298 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :yes the Global Interpreter Lock is one of the problems < 1359402988 670386 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :I thought GIL just prevents good parallelism but not concurrency? < 1359403012 135131 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :did anyone say anything to the contrary? < 1359403027 309587 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :that said I don't think there are provisions for good concurrent I/O either < 1359403032 643221 :augur!~augur@129-2-129-32.wireless.umd.edu QUIT :Read error: Connection reset by peer < 1359403042 705425 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :despite not supporting parallelism, CPython threads are OS threads and will block in individual system calls < 1359403051 52639 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :rather than having something like the GHC IO manager < 1359403056 771644 :augur!~augur@129-2-129-32.wireless.umd.edu JOIN :#esoteric < 1359403064 237046 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :
ACTION personally cares about concurrency more than parallelism
< 1359403079 933114 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :Although I guess being OS threads means annoying heavyweight threads < 1359403119 917133 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :the heaviness of OS threads is also sometimes overstated < 1359403129 597741 :Taneb!~nathan@host-78-148-1-87.as13285.net NICK :Taneb|Away < 1359403141 756530 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :Linux can definitely support a whole lot of threads < 1359403147 764639 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :it depends on things like how much stack you allocate for each < 1359403171 314595 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :oh also some of it is carryover from 32-bit days < 1359403192 780022 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :because even if the actual stack memory is allocated on demand, you need to reserve address space for each stack < 1359403209 183276 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :which can be a problem when you only have 3GB of address space < 1359403216 335588 :ogrom!~del@gprs-inet-65-51.elisa.ee JOIN :#esoteric < 1359403236 139828 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :
ACTION is using a 32-bit Linux OS although the machine is 64-bit
< 1359403241 484812 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :64-bit but only has 2GB memory < 1359403247 665489 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :why 32-bit OS? < 1359403320 21025 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :Not sure, installed it 2010 I think. I guess I figured since I don't have enough memory to really make 64-bit relevant and since I had the impression that 64-bit OS would be incompatible with stuff < 1359403363 566047 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :ok well you don't need lots of physical memory to make a 64-bit address space useful < 1359403386 662858 :AnotherTest!~AnotherTe@94-224-28-191.access.telenet.be PRIVMSG #esoteric :Sgeo: you can make most 32bit programs run on 64bit operating systems < 1359403396 679689 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :also the AMD64 architecture has lots of improvements over i386 that are unrelated to the word size change < 1359403423 758541 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :yeah the compatibility story is pretty good these days < 1359403431 506831 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :you can always install a 32-bit userland in a chroot, but it's rarely necessary < 1359403470 666158 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :well also if you only have 2 gigs of ram running a 64 bit OS will reduce your effective RAM < 1359403476 394705 :augur!~augur@129-2-129-32.wireless.umd.edu QUIT :Ping timeout: 245 seconds < 1359403493 502547 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :because pointers are twice as big? < 1359403494 687706 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :that's true < 1359403516 400869 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :yeah < 1359403517 351706 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :you could run a 64-bit kernel and a mostly-32-bit userland, but i think that's not generally that worthwhile on x86 < 1359403519 583059 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :and words in general < 1359403534 922218 :AnotherTest!~AnotherTe@94-224-28-191.access.telenet.be PRIVMSG #esoteric :You could add more RAM! < 1359403535 398133 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :maybe once x32 is mainstream you would run a 64-bit kernel and a mostly-x32 userland < 1359403545 578494 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :elliott: well int is still 32 bits < 1359403556 822613 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :sure < 1359403603 595675 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :help I need to get my brain fully functional in less than an hour I didn't get enough sleep since I was reading about J and EVE all night < 1359403608 195515 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :i think having twice as many registers and convenient position-independent code beats the word size increase for many tasks < 1359403614 533083 :Bike!~Glossina@63-229-134-7.ptld.qwest.net PRIVMSG #esoteric :drugs? drugs < 1359403716 526994 :epicmonkey!~epicmonke@188.134.41.176 JOIN :#esoteric < 1359403874 556282 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :functional position-independent drugs? < 1359403986 517966 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :32 bit architectures may have killed the idea of memory mapped files :( < 1359404002 785342 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :like, how many apps have some ad hoc caching layer where they read stuff from disk and keep it in memory for a while? < 1359404008 338113 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :wouldn't it be great to make the OS do that for you? < 1359404019 90657 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :kmc: something about @ < 1359404050 523369 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :i'm not sure the Kids These Days starting as programmers really appreciate what virtual memory can do < 1359404232 275959 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :
ACTION wonders what the mincore() syscall is good for
< 1359404252 982173 :AnotherTest!~AnotherTe@94-224-28-191.access.telenet.be PRIVMSG #esoteric :mroman: Nice brainfuck interpreter you got there. < 1359404269 802243 :AnotherTest!~AnotherTe@94-224-28-191.access.telenet.be PRIVMSG #esoteric :very nice. < 1359404350 878236 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric ::) < 1359404352 325491 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :thx. < 1359404366 121884 :AnotherTest!~AnotherTe@94-224-28-191.access.telenet.be PRIVMSG #esoteric :It made we write a Collatz program :D < 1359404372 95123 :AnotherTest!~AnotherTe@94-224-28-191.access.telenet.be PRIVMSG #esoteric :*me < 1359404410 526030 :AnotherTest!~AnotherTe@94-224-28-191.access.telenet.be PRIVMSG #esoteric :I sort of like the language because it allows you to write small programs that do quite a lot < 1359404441 530256 :AnotherTest!~AnotherTe@94-224-28-191.access.telenet.be PRIVMSG #esoteric :In that way, it reminds me a little bit of zetaplex (and its variants) < 1359404800 10616 :oerjan!oerjan@sprocket.nvg.ntnu.no JOIN :#esoteric < 1359404896 599170 :augur!~augur@129-2-129-32.wireless.umd.edu JOIN :#esoteric < 1359405044 726624 :tromp!~tromp@rtc35-242.rentec.com PRIVMSG #esoteric :where's the brainfuck interpreter? < 1359405065 47942 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric : quintopia: nope. still canadaing, even if I think its existence hasn't been yet formalized, let alone proved. <-- someone formalize it, please < 1359405067 646969 :AnotherTest!~AnotherTe@94-224-28-191.access.telenet.be PRIVMSG #esoteric : ".""X"r~"-""\/^^{vvvv}c!!!-.256.%{vvvv}c!sa\/"r~"+""\/^^{vvvv}c!!!+.256.%{vvvv}c! sa\/"r~"[""{"r~"]""}{\/^^{vvvv}c!!!}w!"r~">""+."r~"<""-."r~"X""\/^^{vvvv}c!!!L[+] \/+]\/+]^^3\/.+1RAp^\/+]\/0RA1RA^^-]\/0RA\/"r~"\'\'1 128r@{vv0}m[0"\/.+pse!vvvv<-sh < 1359405070 609987 :AnotherTest!~AnotherTe@94-224-28-191.access.telenet.be PRIVMSG #esoteric :there it is < 1359405106 42164 :tromp!~tromp@rtc35-242.rentec.com PRIVMSG #esoteric :in what language is that? < 1359405112 887724 :AnotherTest!~AnotherTe@94-224-28-191.access.telenet.be PRIVMSG #esoteric :http://esolangs.org/wiki/Burlesque < 1359405132 486741 :tromp!~tromp@rtc35-242.rentec.com PRIVMSG #esoteric :that explains:) < 1359405174 266493 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :and burlesque it is < 1359405179 731932 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :Looks like J. < 1359405188 177651 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :(Note: Does not actually look like J) < 1359405242 445978 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :not enought punctuation marks to look like J. < 1359405293 511518 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :Why is J considered a productive language and Burlesque isn't? < 1359405300 146155 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :what would constitute a rigorous proof of the existence of canada? < 1359405306 449942 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`echo hi < 1359405322 701782 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :GREGOR! < 1359405330 394158 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :Gregor: IS BROKEN < 1359405336 217465 :Gregor!codu@codu.org PRIVMSG #esoteric :Your face is broken. < 1359405357 560809 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :I'd have to submit a solid sample of a chunk of canada to a comittee. < 1359405376 821241 :AnotherTest!~AnotherTe@94-224-28-191.access.telenet.be PRIVMSG #esoteric :what does that look like < 1359405377 293823 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :but then, there's always the possibility that I'd fake that sample. < 1359405379 192415 :AnotherTest!~AnotherTe@94-224-28-191.access.telenet.be PRIVMSG #esoteric :a broken face < 1359405421 183452 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :therefore, one of you will have to sacrifice him/her/itself to go to canada, and witness its existence. < 1359405439 844694 :tromp!~tromp@rtc35-242.rentec.com PRIVMSG #esoteric :you have to express cancada in Zermelo Fraenkel Set theory < 1359405469 283873 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :darn. I feared that I'd have to do that. can't I just handwave it? < 1359405500 441495 :tromp!~tromp@rtc35-242.rentec.com PRIVMSG #esoteric :not sure if you need the axion of choice... < 1359405504 948590 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 QUIT :Ping timeout: 252 seconds < 1359405548 791826 :tromp!~tromp@rtc35-242.rentec.com PRIVMSG #esoteric :ZFC would do it; Zermelo Fraenkel with the axion of Canada < 1359405563 650021 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :perhaps there is a consistent formal theory in which canada does not exist! < 1359405584 986872 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :in which case the axiom of canada is necessary for a consistent theory that includes canada < 1359405605 966060 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 JOIN :#esoteric < 1359405620 877760 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :let's assume it doesn't exist and see what that implies < 1359405627 225026 :Taneb|Away!~nathan@host-78-148-1-87.as13285.net NICK :Taneb < 1359405693 616185 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :does the non-existence of canada implies provinces and territories don't exist too? < 1359405732 451191 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :not necessarily. but they will probably be member states of the U.S. < 1359405764 516388 :Gregor!codu@codu.org PRIVMSG #esoteric :The Yukon: Lone star state of the far northwest. < 1359405766 413007 :DHeadshot!~DH____@unaffiliated/dh----/x-6288474 JOIN :#esoteric < 1359405773 39134 :ogrom!~del@gprs-inet-65-51.elisa.ee PRIVMSG #esoteric :or the united states would be member states of canada, but canada would have some other name < 1359405781 204592 :ogrom!~del@gprs-inet-65-51.elisa.ee PRIVMSG #esoteric :such as japan < 1359405783 575947 :Gregor!codu@codu.org PRIVMSG #esoteric :Such as "The United States of America" < 1359405788 615296 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :wtf are you people talking about < 1359405797 502879 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :canada? < 1359405817 574396 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :the... nonexistence of canada? < 1359405827 480966 :Bike!~Glossina@63-229-134-7.ptld.qwest.net PRIVMSG #esoteric :the axiomatic independence of canada. < 1359405835 362370 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :it's a long-standing open problem. < 1359405942 36907 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric : fizzie: Can you pad every Jot program out to be byte-sized? <-- yes, any prefix representing I can be removed, and the article's conversion turns SKS into the 23-bit 11111110001110011111000 (i tried SKK first but that was even length) < 1359405984 49895 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :why would one want jot to be byte sized? compression? < 1359406012 666982 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :presumably. < 1359406040 358307 :olsner!~salparot@c83-252-194-156.bredband.comhem.se PRIVMSG #esoteric :hmm, surely someone must have already made a Brainfuck backend for LLVM? < 1359406042 606765 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :oerjan: so that means you'd have to add 7 bytes to it that do nothing just to make the encoding work sometimes. so wasteful! < 1359406105 325774 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :better to just have 1 extra byte that says X if only first X bits of the last byte are part of the jot program < 1359406131 624109 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :I thought what I'd do was, I'd pretend I was one of those deaf-mutes < 1359406149 353507 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :Hmm, got the quote wrong < 1359406163 993773 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :s/7 bytes/20 bytes/ < 1359406164 767556 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :...actually, I'm not entirely sure what the exact quote is < 1359406342 917696 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :Maybe I shouldn't have looked up the quote < 1359406350 988918 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :Spoilers for GitS really < 1359406369 223183 :carado!~user4539@2a01:e35:8b61:e430:6ef0:49ff:fe73:1fd0 JOIN :#esoteric < 1359406379 576911 :AnotherTest!~AnotherTe@94-224-28-191.access.telenet.be QUIT :Quit: Leaving. < 1359406390 448452 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :I am so nervous < 1359406392 580460 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :it kinda has become a 'it was its sled', seeing that every other cosplayer has had the spinning face once on their head. < 1359406394 536667 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :And I didn't eat yet :( < 1359406416 196136 :tromp!~tromp@rtc35-242.rentec.com PRIVMSG #esoteric :oerjan, how can you remove a prefix representing I without changing the meaning? < 1359406421 354064 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :boily, well, the logo itself isn't spoilery, but seeing a name associated with it presumably is < 1359406432 271163 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :indeed. < 1359406448 300342 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :...even saying "a name" is spoilery, sorry everyone < 1359406460 694809 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :(At least I think it's spoilery) < 1359406468 895584 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :6 MINUTES < 1359406473 393473 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :
ACTION is going to go briefly insane
< 1359406490 639908 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :what's in a name? a deaf-mute by any other name would spoiler as much :p < 1359406527 557272 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :5 minutes < 1359406528 30183 :tromp!~tromp@rtc35-242.rentec.com PRIVMSG #esoteric :you can remove 1 followed by a rep of I < 1359406529 453144 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :So nervous < 1359406531 956924 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :Wish me luck < 1359406540 305633 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :Although I don't know if it's really an "interview" < 1359406603 929071 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :don't worry. the worst that can happen is... oh, you mentioned interview. anything is permitted. < 1359406617 120641 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :tromp: no, you can remove the rep of I itself because the semantics of FG depends on the string G but only on the semantics of F, so if F has the same semantics as the empty string (i.e. I) then [FG] = [G] < 1359406626 869656 :augur!~augur@129-2-129-32.wireless.umd.edu QUIT :Remote host closed the connection < 1359406661 267057 :augur!~augur@129-2-129-32.wireless.umd.edu JOIN :#esoteric < 1359406679 830865 :augur!~augur@129-2-129-32.wireless.umd.edu QUIT :Read error: Connection reset by peer < 1359406701 402754 :augur!~augur@129-2-129-32.wireless.umd.edu JOIN :#esoteric < 1359406787 731763 :tromp!~tromp@rtc35-242.rentec.com PRIVMSG #esoteric :the jot page says that [AB] = 1[A][B] < 1359406807 853814 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :yes, so what you said is also true < 1359406826 705233 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :oh hm < 1359406903 581504 :tromp!~tromp@rtc35-242.rentec.com PRIVMSG #esoteric :so code [A] is equivalent to code 1[I][A] < 1359406976 821154 :tromp!~tromp@rtc35-242.rentec.com PRIVMSG #esoteric :and [I] could be [SKK]=1[SK][K] = 11[S][K][K] < 1359406997 612967 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :tromp: that's not the _definition_ of Jot though < 1359407043 600156 :DHeadshot!~DH____@unaffiliated/dh----/x-6288474 QUIT :Ping timeout: 252 seconds < 1359407044 559439 :tromp!~tromp@rtc35-242.rentec.com PRIVMSG #esoteric :no, it's the implied coding rules from CL to jot < 1359407064 967154 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :argh http://idiom.ucsd.edu/~barker/Iota/ is a 404 _and_ has been a 404 for as long as wayback has archived it D: < 1359407200 54264 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :oh hm... < 1359407208 778914 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :that page was redirected < 1359407237 717898 :tromp!~tromp@rtc35-242.rentec.com PRIVMSG #esoteric :yes, i see you're right too < 1359407337 853641 :tromp!~tromp@rtc35-242.rentec.com PRIVMSG #esoteric :although it seems inconsistent < 1359407466 502371 :tromp!~tromp@rtc35-242.rentec.com PRIVMSG #esoteric :it makes one wonder what is the shortest non empty jot program for identity < 1359407809 576610 :tromp!~tromp@rtc35-242.rentec.com PRIVMSG #esoteric :i think it's 010 < 1359407999 756114 :tromp!~tromp@rtc35-242.rentec.com PRIVMSG #esoteric :no wait, it's simply 1 < 1359408096 323548 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :no, 1 is S(KI) < 1359408149 272831 :tromp!~tromp@rtc35-242.rentec.com PRIVMSG #esoteric :isn't 1 ^xy. I (xy) ? < 1359408157 523120 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :the representations on the article page are restricted to starting with 1, btw, because he wanted to have things give direct binary numbers by concatenation < 1359408192 666530 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :If an interviewer keeps saying "interesting" is that a good thing? < 1359408214 72944 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :it depends, that is sometimes just a meaningless filler word < 1359408218 934768 :tromp!~tromp@rtc35-242.rentec.com PRIVMSG #esoteric :it's not good. but it is interesting < 1359408267 829366 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :help interviewer wants to see code for one of the projects I mentioned on resume. The code is horribly ugly < 1359408285 984495 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :do you have time to clean it up? < 1359408287 662183 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :tromp: hm i guess S(KI) = I except that it requires two arguments < 1359408297 872709 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :kmc, I didn't think to ask for time to clean it up < 1359408299 534072 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :also what stage is this? phone interview? < 1359408307 582921 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :Well, phone conversation < 1359408312 322603 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :Not sure if it counts as an interview < 1359408347 277768 :Bike!~Glossina@63-229-134-7.ptld.qwest.net PRIVMSG #esoteric :are you ircing while phone conversing < 1359408381 109790 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :No, I'm off phone < 1359408399 982402 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :I have IRCed while video chat sexing once < 1359408407 633945 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric : < 1359408426 925452 :Bike!~Glossina@63-229-134-7.ptld.qwest.net PRIVMSG #esoteric :were you ircing here? did you spread cooties in the channel? < 1359408452 230582 :tromp!~tromp@rtc35-242.rentec.com PRIVMSG #esoteric :ok, so 1 = I only with eta equivalence, but 010 = I regardless, right? < 1359408495 579511 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :Another channel < 1359408522 864683 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :
ACTION wonders how that [AB] = 1[A][B] rule can possibly be true
< 1359408528 87688 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :Sgeo: oh, you're still alive! that's interesting! < 1359408541 305863 :tromp!~tromp@rtc35-242.rentec.com PRIVMSG #esoteric :i was wondering that myself... < 1359408549 914452 :tromp!~tromp@rtc35-242.rentec.com PRIVMSG #esoteric :i just took it for granted < 1359408574 315755 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :....I used bad language in the source code < 1359408783 682735 :tromp!~tromp@rtc35-242.rentec.com PRIVMSG #esoteric :only in the comments? < 1359408784 879875 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :public static void longLiveVisualBasicSix() ? < 1359408836 846562 :tromp!~tromp@rtc35-242.rentec.com PRIVMSG #esoteric :fsck(that,sh*t); ? < 1359408844 706670 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :tromp, as a variable name for a variable only used in debugging < 1359408869 409103 :zzo38!~zzo38@24-207-49-17.eastlink.ca JOIN :#esoteric < 1359408914 648773 :tromp!~tromp@rtc35-242.rentec.com PRIVMSG #esoteric :must be in the later stages of debugging, after frustration mounted < 1359409079 585343 :Bike!~Glossina@63-229-134-7.ptld.qwest.net PRIVMSG #esoteric :wait, is tromp a curse < 1359409200 692235 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :Bike: google translate isn't much of a help on that matter, sadly. < 1359409208 891042 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :wow another rails vulnerability: https://groups.google.com/forum/?fromgroups=#!topic/rubyonrails-security/1h2DR63ViGo < 1359409211 55814 :Bike!~Glossina@63-229-134-7.ptld.qwest.net PRIVMSG #esoteric :oh < 1359409223 800753 :Bike!~Glossina@63-229-134-7.ptld.qwest.net PRIVMSG #esoteric :I thought sgeo said ««tromp», as a variable name» < 1359409226 810264 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :'The JSON Parsing code in Rails 2.3 and 3.0 support multiple parsing backends. One of the backends involves transforming the JSON into YAML" < 1359409245 883994 :Bike!~Glossina@63-229-134-7.ptld.qwest.net PRIVMSG #esoteric :that sounds like a pretty weird way to parse, uh, anything < 1359409314 821051 :ion!ion@heh.fi PRIVMSG #esoteric :kmc: nice < 1359409396 220364 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :sent the email < 1359409402 658552 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric ::/ < 1359409529 923044 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :I also mentioned some Haskell code I've written, but not sure if it's appropriate to send it along < 1359409533 349663 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :(It's about speed dating) < 1359409540 272901 :Bike!~Glossina@63-229-134-7.ptld.qwest.net PRIVMSG #esoteric :pff < 1359409792 771295 :olsner!~salparot@c83-252-194-156.bredband.comhem.se PRIVMSG #esoteric :Sgeo: your job interview was about speed dating? < 1359409822 485885 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :The actually not horrifically ugly code I've written last year was about speed dating < 1359409836 144242 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :tromp: ah mystery solved. the CL -> Jot conversion satisfies a rather stronger property which makes it work, namely [F[A]] = [F][A] < 1359409898 340855 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :so it's not enough to plug in an arbitrary Jot program in the 1[A][B] rule, it has to also satisfy that < 1359409946 387757 :tromp!~tromp@rtc35-242.rentec.com PRIVMSG #esoteric :yes, i realized that [AB] = 1[A][B] failes for even simple cases like A=B=0 < 1359409991 651955 :tromp!~tromp@rtc35-242.rentec.com PRIVMSG #esoteric :and it doesn't help that [] is used in two ways:( < 1359410010 78148 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :indeed. maybe i should disambiguate them < 1359410101 775395 :tromp!~tromp@rtc35-242.rentec.com PRIVMSG #esoteric :use {} for encoding function < 1359410114 368911 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i already did < 1359410182 799989 :tromp!~tromp@rtc35-242.rentec.com PRIVMSG #esoteric :not in [F[A]] = [F][A] < 1359410192 821941 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :of course < 1359410280 592907 :tromp!~tromp@rtc35-242.rentec.com PRIVMSG #esoteric :i prefer self-delimiting languages :) < 1359410290 296805 :tromp!~tromp@rtc35-242.rentec.com PRIVMSG #esoteric :like iota < 1359410310 539621 :tromp!~tromp@rtc35-242.rentec.com PRIVMSG #esoteric :or BLC :) < 1359410353 156006 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :article changed < 1359410358 493921 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :or Unlambda :) < 1359410482 220770 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :You know what would be cool? A readable J < 1359410489 157830 :tromp!~tromp@rtc35-242.rentec.com PRIVMSG #esoteric :did anyone write a brainfuck interpreter in Unlambda? < 1359410541 132486 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :well i didn't, although i've pondered it a bit. < 1359410558 663139 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :j is perfectly readable < 1359410568 405254 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :it has the usual "needs a complete character table to convert I/O" annoyance < 1359410599 222201 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :which showed up in my unlambda in unlambda < 1359410627 338179 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :elliott: readable, yes. its understandability still remains a completely different matter. < 1359410664 155795 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :http://oerjan.nvg.org/esoteric/interpreter.unl < 1359410700 715509 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :
ACTION just made his first commit in years to PSOX
< 1359410721 779479 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :http://trac.assembla.com/psox/changeset/98 < 1359410766 652514 :WeThePeople!~WeThePeop@unaffiliated/wethepeople QUIT :Quit: Leaving < 1359410768 90875 :tromp!~tromp@rtc35-242.rentec.com PRIVMSG #esoteric :to make J more readable, just expand the single letter names according to http://www.jsoftware.com/help/dictionary/vocabul.htm < 1359410805 241030 :tromp!~tromp@rtc35-242.rentec.com PRIVMSG #esoteric :it has 3 operators devoted to taylor series alone:( < 1359410856 176575 :Bike!~Glossina@63-229-134-7.ptld.qwest.net PRIVMSG #esoteric :why is that a :(? < 1359410879 899924 :tromp!~tromp@rtc35-242.rentec.com PRIVMSG #esoteric :actually it has 1 and 2-char operators < 1359410881 892526 :Bike!~Glossina@63-229-134-7.ptld.qwest.net PRIVMSG #esoteric :oh dang they have hypergeometric functions in the base, huh < 1359410882 403891 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :tromp: 3 operators for taylor series? that's completely insane! and lovable! < 1359410909 334772 :Bike!~Glossina@63-229-134-7.ptld.qwest.net PRIVMSG #esoteric :" < 1359410911 238789 :Bike!~Glossina@63-229-134-7.ptld.qwest.net PRIVMSG #esoteric :u T. n is the n-term Taylor approximation to the function u . " i love it < 1359410957 398868 :Bike!~Glossina@63-229-134-7.ptld.qwest.net PRIVMSG #esoteric :wow, automatic differentiation too < 1359410991 395483 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :Wait, it has automatic differentiation? < 1359410997 885372 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :I thought it only had numeric and symbolic < 1359411005 646952 :tromp!~tromp@rtc35-242.rentec.com PRIVMSG #esoteric :the only thing missing is the Kitchen Sink operator < 1359411013 624469 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :tromp, that's !: < 1359411027 803783 :Bike!~Glossina@63-229-134-7.ptld.qwest.net PRIVMSG #esoteric :I'm just looking at http://www.jsoftware.com/help/dictionary/ddcapdot.htm < 1359411037 334322 :Bike!~Glossina@63-229-134-7.ptld.qwest.net PRIVMSG #esoteric :only for polynomials and their inverses by default < 1359411038 765292 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :(Well, ok, that's Foreign, not Kitchen Sink) < 1359411047 176398 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :But it's for all the other stuff like file access < 1359411049 797294 :tromp!~tromp@rtc35-242.rentec.com PRIVMSG #esoteric :i want a domestic kitchen sink < 1359411069 889956 :Bike!~Glossina@63-229-134-7.ptld.qwest.net PRIVMSG #esoteric :er, polynomials plus exp, i guess < 1359411101 867161 :tromp!~tromp@rtc35-242.rentec.com PRIVMSG #esoteric :Evoke Gerund sounds like a powerful spell < 1359411109 381763 :Bike!~Glossina@63-229-134-7.ptld.qwest.net PRIVMSG #esoteric :jesus it has exponential generating functions < 1359411195 682267 :tromp!~tromp@rtc35-242.rentec.com PRIVMSG #esoteric :the big question is: why do many alphabet letter go unused? < 1359411207 946530 :Bike!~Glossina@63-229-134-7.ptld.qwest.net PRIVMSG #esoteric :imo needs more coptic < 1359411394 396948 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :tromp: hm {SK} = 10 satisfies the conversion property < 1359411721 454270 :ogrom!~del@gprs-inet-65-51.elisa.ee QUIT :Quit: Left < 1359411907 855094 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :ah of course, you can read things like a stack language from the right. 0 pushes S and K, 1 pops two elements combining them into one. when you have one element on the stack, the program you used to get there is a conversion to that element. < 1359411958 3106 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :0 -- S K, 10 -- (SK) < 1359411992 576532 :SirCmpwn!~SirCmpwn@unaffiliated/sircmpwn QUIT :Excess Flood < 1359412012 210090 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :00 -- S K S K, 11100 -- SKSK = K < 1359412046 78267 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :000 -- S K S K S K, 11111000 -- SKSKSK = KSK = S < 1359412091 310034 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :looked at that way, it's not that mysterious how to find representations. < 1359412239 54767 :SirCmpwn!~SirCmpwn@unaffiliated/sircmpwn JOIN :#esoteric < 1359412239 523927 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :tromp: oh and it means that {11010} = SK(SK) = I < 1359412324 249025 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :as a conversion which can be used in the conversion rule < 1359412446 851953 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :this is probably a context-free language of some sort, similar to parenthesis matching. actually translating 1 = ( and 0 = )) and then adding one more ( to the left turns it into an actual parenthesis matching problem < 1359412714 277290 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :ok it must be CF since this can be trivially seen to be recognizable with a pushdown automaton < 1359413138 583674 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric ::t genericTake < 1359413139 772811 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :Integral i => i -> [a] -> [a] < 1359413212 143878 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :@src Integral < 1359413212 360990 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :class (Real a, Enum a) => Integral a where < 1359413212 361214 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : quot, rem, div, mod :: a -> a -> a < 1359413212 361322 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : quotRem, divMod :: a -> a -> (a,a) < 1359413212 361427 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : toInteger :: a -> Integer < 1359413232 839400 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i think Integral is not meant to have members not subsets of Integer < 1359413274 967630 :Taneb!~nathan@host-78-148-1-87.as13285.net QUIT :Quit: Leaving < 1359413334 792384 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric : monads aren't monoids! <-- alas, kind mismatch < 1359413346 757885 :Bike!~Glossina@63-229-134-7.ptld.qwest.net PRIVMSG #esoteric :weak < 1359413400 368633 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :you _could_ make all monad value types monoids, but then you wouldn't be able to have any other monoids of form t a without overlappinginstances < 1359413434 735367 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :oh and of course it would conflict with the instance for [a] < 1359413545 134983 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :I really would like this Transcriptic job (if it's telecommute) < 1359413608 283969 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :Going to watch some TV to take my mind off of having sent an employer the worst code I have ever written < 1359413635 346907 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :And by TV I mean Ghost in the Shell on Hulu < 1359413636 294377 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`echo hi < 1359413668 186102 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :Gregor: STILL BROKKEM < 1359413738 135132 :tromp!~tromp@rtc35-242.rentec.com PRIVMSG #esoteric :oerjan, what is the conversion property expressed with {} ? < 1359413766 763302 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :[F{A}] = [F](A) < 1359413813 843920 :tromp!~tromp@rtc35-242.rentec.com PRIVMSG #esoteric :so F is a string, and A a combinator? < 1359413817 465994 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :yes < 1359414064 550605 :Lumpio-!~matti@89-166-34-164.bb.dnainternet.fi JOIN :#esoteric < 1359414199 365769 :WeThePeople!~WeThePeop@unaffiliated/wethepeople JOIN :#esoteric < 1359414208 313593 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :GitS is getting on my nerves < 1359414217 311136 :Bike!~Glossina@63-229-134-7.ptld.qwest.net PRIVMSG #esoteric :why < 1359414230 687462 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :"We suspect XYZ" "Do you have any evidence for that?" ... the topic of any reasoning for suspecting XYZ is dropped < 1359414235 19520 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :And no one complains < 1359414263 712712 :Lumpio-!~matti@89-166-34-164.bb.dnainternet.fi PRIVMSG #esoteric :They can't waste time for things with no evidence! < 1359414308 606198 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :They don't drop XYZ, just the topic of why XYZ is suspected < 1359414349 320493 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :"We suspect Canada" "Do you have any evidence for that?" "Not yet." < 1359414353 381524 :tromp!~tromp@rtc35-242.rentec.com PRIVMSG #esoteric :oerjan, now all makes sense:) < 1359414564 871663 :ogrom!~del@gprs-inet-65-51.elisa.ee JOIN :#esoteric < 1359414611 307758 :carado!~user4539@2a01:e35:8b61:e430:6ef0:49ff:fe73:1fd0 QUIT :Ping timeout: 246 seconds < 1359414863 614667 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :that sounds like TV news < 1359414890 626667 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :"Are teenagers inhaling bees for a cheap high?" "Well, are they?" "Beats us, but we got you to sit through the last commercial break" < 1359415026 918544 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :haha < 1359415214 313897 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :jesus christ, what is with all these screams outside < 1359415651 610273 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :it's the beginning of the great edinburgh zombie cataclysm. < 1359415681 610053 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :Pretty loud zombies if I can hear them from here. < 1359415710 166955 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :that's not the zombies, that's their victims hth < 1359415736 663572 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :or wait are you implying you're not in edinburgh any longer < 1359415826 731711 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :I'm in England now. < 1359415853 991414 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :shocking < 1359415895 617404 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :I'm not even in Hexham. < 1359415901 318598 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :gasp. < 1359416055 928682 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :oh well i guess it's not zombies then. maybe hooligans?