< 1362528268 911204 :TeruFSX!~TeruFSX@65-128-137-85.mpls.qwest.net JOIN :#esoteric < 1362528621 302990 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :I wish haskell would allow you to write something like 3 < length xs and have it terminate as soon as the answer is known. < 1362528652 732218 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :it does < 1362528667 242748 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :> 3 < length [1..] < 1362528668 225396 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :s/length/genericLength/ and define the type of lazy conatural numbers < 1362528671 443181 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric : mueval-core: Time limit exceeded < 1362528674 105193 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :however you should not be using length at all generally < 1362528706 869271 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :Would lazy conatural numbers be as efficient? < 1362528742 46149 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :@let voided n = replicate n () < 1362528744 561849 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric : Defined. < 1362528748 186302 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :> voided 3 < void [1..] < 1362528750 654523 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric : True < 1362528782 68614 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :length with lazy nats isn't necessarily bad. < 1362528798 980351 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :Ah, ord instance for lists < 1362528809 937779 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :genericTake (genericLength xs) ys is clearer than zipWith const xs ys, is it not? < 1362528820 509816 :DHeadshot!~DH____@unaffiliated/dh----/x-6288474 JOIN :#esoteric < 1362528822 334968 :DHeadshot!~DH____@unaffiliated/dh----/x-6288474 QUIT :Remote host closed the connection < 1362528860 855194 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :shachaf: Maybe if you used an alternate prelude < 1362529437 449066 :zzo38!~zzo38@24-207-49-17.eastlink.ca JOIN :#esoteric < 1362529543 572245 :DHeadshot!~DH____@unaffiliated/dh----/x-6288474 JOIN :#esoteric < 1362529678 612464 :mtve!~mtve@10130.x.rootbsd.net JOIN :#esoteric < 1362530360 401744 :WeThePeople!~WeThePeop@unaffiliated/wethepeople JOIN :#esoteric < 1362530560 273853 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 QUIT :Read error: Connection reset by peer < 1362530685 218308 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 JOIN :#esoteric < 1362531027 486679 :augur!~augur@208.58.5.87 JOIN :#esoteric < 1362531404 139980 :TeruFSX!~TeruFSX@65-128-137-85.mpls.qwest.net PRIVMSG #esoteric :does haskell let you do eager evaluation ever < 1362531423 528523 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :sure < 1362531425 662063 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :depending on what that means < 1362531452 453013 :zzo38!~zzo38@24-207-49-17.eastlink.ca QUIT :Remote host closed the connection < 1362532147 89810 :wareya!~wareya@cpe-67-248-121-45.nycap.res.rr.com QUIT :Read error: Connection reset by peer < 1362532197 906922 :wareya!~wareya@cpe-67-248-121-45.nycap.res.rr.com JOIN :#esoteric < 1362532389 345089 :Nisstyre-laptop!~yours@oftn/member/Nisstyre JOIN :#esoteric < 1362532756 945579 :doesthiswork!~Adium@75.87.251.5 JOIN :#esoteric < 1362534140 482911 :WeThePeople!~WeThePeop@unaffiliated/wethepeople QUIT :Quit: Leaving < 1362535283 629202 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 QUIT :Quit: Leaving < 1362535810 33677 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :If anyone didn't know this, I nostalgia quite easily. < 1362535819 994762 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :Listening to Enya is a pretty good way to trigger that. < 1362536099 659695 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :(Yes, there might be people who are unaware of my proclivities of falling into nostaliga. Bike, kmc and shachaf are fairly new here) < 1362536123 455578 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :thank god they're filled in now < 1362536132 33096 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :You don't need to tell Bike that kmc and I are fairly new here. < 1362536139 44766 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I'm sure everyone knows that. < 1362536144 628686 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :`pastelogs shachaf < 1362536152 443518 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :elliott: no dont do it....... < 1362536160 768106 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :im doing it < 1362536173 565720 :HackEgo!codu@codu.org PRIVMSG #esoteric :http://codu.org/projects/hackbot/fshg/index.cgi/raw-file/tip/paste/paste.22268 < 1362536205 320396 :augur!~augur@208.58.5.87 QUIT :Read error: Connection reset by peer < 1362536206 77966 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :Cale was in #esoteric? < 1362536228 466482 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :He was? < 1362536235 246718 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :I like how shachaf has technically been here longer than PH < 1362536244 323329 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`pastelogs Sgeo < 1362536251 574664 :HackEgo!codu@codu.org PRIVMSG #esoteric :http://codu.org/projects/hackbot/fshg/index.cgi/raw-file/tip/paste/paste.28554 < 1362536259 925072 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :2011-01-04.txt:17:01:10: elliott: Dwarf Fortress? Minecraft? What about your liberty? < 1362536262 930249 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :2011-01-04.txt:17:02:39: elliott: Dwarf Fortress doesn't provide the source code. Minecraft doesn't even provide the binary without payment. < 1362536272 944436 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :shachaf: i can't tell if this was a joke or not < 1362536283 785175 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :If I said "What about your liberty" it was probably a joke. < 1362536294 869695 :augur!~augur@208.58.5.87 JOIN :#esoteric < 1362536321 57777 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :`pastelogs nostalgia < 1362536328 476518 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :2011-05-26.txt:07:35:35: oerjan: What ar eyou doing in this channel instead of #haskell? :-) < 1362536337 770017 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :elliott: It's OK, we get it. < 1362536343 675938 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :You can stop quoting oldshachaf. < 1362536344 939644 :HackEgo!codu@codu.org PRIVMSG #esoteric :http://codu.org/projects/hackbot/fshg/index.cgi/raw-file/tip/paste/paste.32092 < 1362536347 646023 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :don't worry. I can only read at most 300 of these lines. < 1362536349 609162 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :or was it 350 < 1362536359 42620 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :(Actually oldshachaf is/was younger than I am?) < 1362536366 955068 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :(Maybe it should be youngshachaf.) < 1362536394 566570 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :2011-08-13.txt:02:18:16: shachaf: Shut up my number keys are broken. < 1362536396 564468 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :I remember this. < 1362536421 963679 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Don't read logs, elliott. < 1362536424 101332 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :It's not polite. < 1362536428 560783 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :2009-10-30.txt:22:19:12: I have search-software-related nostalgia now < 1362536449 757261 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :shachaf: my offer to delete logs for money stands!!! < 1362536450 70435 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`pastelogs ehird < 1362536458 635093 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :elliott: You can't delete #esoteric logs for money. < 1362536458 795370 :HackEgo!codu@codu.org PRIVMSG #esoteric :http://codu.org/projects/hackbot/fshg/index.cgi/raw-file/tip/paste/paste.9922 < 1362536465 11898 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Well, not usefully. < 1362536470 364205 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :are you really going to waste your time reading 300 dumb things i said in the past as revenge < 1362536476 999310 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Nah. < 1362536518 862369 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net JOIN :#esoteric < 1362536576 14972 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :Am... I having nostalgia for my past bouts of nostalgia??? < 1362536585 355066 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :You would be the only one. < 1362536870 508962 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i think i used to have bouts of nostalgia < 1362536888 776330 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :Hey, I didn't choose my college for nostalgic purposes! ... I didn't really choose my college at all < 1362536917 898624 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :And yes, there totally was a college that I had nostalgic feelings for before I entered college < 1362536922 806386 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :sgeo thats the saddest thing youve ever said < 1362537071 980551 :Bike!~Glossina@71-34-78-123.ptld.qwest.net PRIVMSG #esoteric :you'r ehaving nostalgia for having nostalgia fora school you never actually enrolled in? < 1362537196 60658 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :No recursive nostalgia. < 1362537223 155892 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :And the college in question had a summer day camp that I went to for 3 years < 1362537356 768837 :mad!boulam@198.84.253.87 JOIN :#esoteric < 1362537925 210277 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :`welcome mad < 1362537927 776192 :HackEgo!codu@codu.org PRIVMSG #esoteric :mad: Welcome to the international hub for esoteric programming language design and deployment! For more information, check out our wiki: http://esolangs.org/wiki/Main_Page. (For the other kind of esoterica, try #esoteric on irc.dal.net.) < 1362538033 988477 :mad!boulam@198.84.253.87 PRIVMSG #esoteric :sup < 1362538075 360854 :mad!boulam@198.84.253.87 PRIVMSG #esoteric :trying to see if I can pipeline my staggered-SIMD risc cpu design :D (and produce something ressembling verilog) < 1362538141 748414 :mad!boulam@198.84.253.87 PRIVMSG #esoteric :I need some non-insane ways of dealing with memory aliasing faults and split branch faults < 1362538385 505664 :mad!boulam@198.84.253.87 PRIVMSG #esoteric :like, horrible CPUs like the P2 can do it because nothing you do is real, everything you do is speculative branch predicted register renamed reordered < 1362538396 344106 :mad!boulam@198.84.253.87 PRIVMSG #esoteric :horrible/awesome :D < 1362538429 704930 :mad!boulam@198.84.253.87 PRIVMSG #esoteric :like, if you have a loop < 1362538436 749196 :mad!boulam@198.84.253.87 PRIVMSG #esoteric :cpu core 1 is on iteration 1 < 1362538439 881825 :mad!boulam@198.84.253.87 PRIVMSG #esoteric :cpu core 2 is on iteration 2 < 1362538442 783198 :mad!boulam@198.84.253.87 PRIVMSG #esoteric :cpu core 3 is on iteration 3 < 1362538446 314714 :mad!boulam@198.84.253.87 PRIVMSG #esoteric :cpu core 4 is on iteration 4 < 1362538447 293893 :mad!boulam@198.84.253.87 PRIVMSG #esoteric :etc.. < 1362538467 597357 :mad!boulam@198.84.253.87 PRIVMSG #esoteric :cpu core 1 takes a branch < 1362538470 687789 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :o, u r just madbr < 1362538481 197271 :mad!boulam@198.84.253.87 PRIVMSG #esoteric :but, say, cpu core 4 doesn't take the branch < 1362538496 326353 :Bike!~Glossina@71-34-78-123.ptld.qwest.net PRIVMSG #esoteric :hindu cpu < 1362538534 270073 :mad!boulam@198.84.253.87 PRIVMSG #esoteric :since there's only 1 scheduler (on core 1), core 4 must stop processing < 1362538549 794485 :mad!boulam@198.84.253.87 PRIVMSG #esoteric :how do you present that to the programmer < 1362538555 849659 :mad!boulam@198.84.253.87 PRIVMSG #esoteric :in a way that makes any sense at all < 1362538656 264347 :mad!boulam@198.84.253.87 PRIVMSG #esoteric :like, his loop bails midway < 1362538671 51695 :mad!boulam@198.84.253.87 PRIVMSG #esoteric :it's either some jump that makes no sense and happens randomly < 1362538708 657909 :mad!boulam@198.84.253.87 PRIVMSG #esoteric :or core 4 goes into dormant state and then you never know how many cores will be still active, so you don't know what register file to feedback values from < 1362539007 683939 :mad!boulam@198.84.253.87 PRIVMSG #esoteric :dealing with memory aliasing isn't beeter < 1362539050 942424 :mad!boulam@198.84.253.87 PRIVMSG #esoteric :it's like, you have to lock your write destination addresses before you read anything in the loop (well, anything that could alias) < 1362539110 92384 :mad!boulam@198.84.253.87 PRIVMSG #esoteric :then if a read lands on one of these you know there's an alias and you can bail... but then once again you have a random jump out of the blue that you have to recover from < 1362539128 492283 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Sgeo: Is today the ninth day of the olist sequence? < 1362539143 458048 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :shachaf, I believe so. < 1362539153 769228 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :Assuming that there is an update today, haven't seen one yet < 1362539168 496686 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :So if there's no update then there'll be a nine-day sequence some other time? < 1362539175 744453 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :Yes. < 1362539192 148177 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :871-878 is the current days-in-a-row sequence < 1362539247 241870 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Sgeo: What's the problem with vampires anyway? Why don't people like them? < 1362539260 766054 :mad!boulam@198.84.253.87 PRIVMSG #esoteric :they're for girls < 1362539273 817285 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :I assume they're Evil. < 1362539280 845507 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Oh. Why? < 1362539283 351449 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :Although people like Belkar just fine. < 1362539287 542355 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :I don't play D&D, sorry. < 1362539374 273640 :mad!boulam@198.84.253.87 PRIVMSG #esoteric :They always rubbed me wrong < 1362539410 477644 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :http://www.supermegacomics.com/images/386.gif < 1362539526 781530 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :monqy: is supermegacomics where you got your style < 1362539532 514530 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :or did supermegacomics get it from you < 1362539541 385299 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :i dont think either of those are true < 1362539576 202304 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :monqy: by the law of excluded middle one of them has to be true < 1362539598 597835 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :i dont think thats how that works shachaf..................................... < 1362539651 406085 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oh, those constructivists < 1362539924 360152 :mad!boulam@198.84.253.87 PRIVMSG #esoteric :is the opcode dest, src ordering of operands in x86 and ARM assembly some kind of ergativity < 1362540012 669177 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :http://www.supermegacomics.com/index.php?i=302 < 1362540042 527843 :Bike!~Glossina@71-34-78-123.ptld.qwest.net PRIVMSG #esoteric :ergativity...? < 1362540138 146972 :mad!boulam@198.84.253.87 PRIVMSG #esoteric :it's a linguistics term < 1362540194 647543 :Bike!~Glossina@71-34-78-123.ptld.qwest.net PRIVMSG #esoteric :well, i doubt assembler designers know linguistics above a superficial level < 1362540207 438894 :mad!boulam@198.84.253.87 PRIVMSG #esoteric :it refers to languages where the subjects of intransitive verbs have the same case as objects of transitive verbs < 1362540218 442079 :mad!boulam@198.84.253.87 PRIVMSG #esoteric :so they're essentially always in passive voice < 1362540223 794557 :Bike!~Glossina@71-34-78-123.ptld.qwest.net PRIVMSG #esoteric :yeah i thought you meant ergodic theory for some stupid reason < 1362540303 560938 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :http://www.supermegacomics.com/index.php?i=317 < 1362540378 473321 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :I guess that would mean asm would have, like, a VSO order? < 1362540400 184435 :mad!boulam@198.84.253.87 PRIVMSG #esoteric :yeah < 1362540409 308142 :mad!boulam@198.84.253.87 PRIVMSG #esoteric :C would probably be SVO < 1362540414 847472 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :linguistics makes me sad < 1362540420 743549 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :or is that linguistics make me sad? < 1362540421 854088 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :well I guess ARM would be VSOO < 1362540422 6483 :mad!boulam@198.84.253.87 PRIVMSG #esoteric :forth would be SOV of course < 1362540428 877250 :Bike!~Glossina@71-34-78-123.ptld.qwest.net PRIVMSG #esoteric :linguistics is cool, but programming languages are nothing like natural languages usually. < 1362540433 166817 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :x86 would be weird some some instructions use their destination as input, while some don't < 1362540444 110378 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :SVO would be some OO language thing. < 1362540452 406610 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :whereas that isn't true in ARM... well except for weird things like vtrn < 1362540499 644668 :mad!boulam@198.84.253.87 PRIVMSG #esoteric :doesn't arm has same order for opcodes as intel? < 1362540526 553515 :mad!boulam@198.84.253.87 PRIVMSG #esoteric :aside from having 3 argument opcodes < 1362540550 716073 :mad!boulam@198.84.253.87 PRIVMSG #esoteric :instead of having only 2 argument opcodes that are really 3 arguments due to the aggressive register renaming < 1362540599 12482 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :yeah, but like, it has op dst, src1, src2 < 1362540604 486709 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :x86 has op dst, src < 1362540615 142895 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :so lots of x86 instructions use both dst and src as input < 1362540624 470141 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :but on arm dst is almost never an input I think? < 1362540691 5110 :mad!boulam@198.84.253.87 PRIVMSG #esoteric :arm as op dst, src < 1362540708 109540 :mad!boulam@198.84.253.87 PRIVMSG #esoteric :but it's just a shortcut for op dst, src1=dst, src2 < 1362540711 847409 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :yeah < 1362540724 145892 :mad!boulam@198.84.253.87 PRIVMSG #esoteric :and it assembles to the 3 operand operation < 1362540937 989433 :mad!boulam@198.84.253.87 PRIVMSG #esoteric :I think stores are reversed tho < 1362540990 848718 :mad!boulam@198.84.253.87 PRIVMSG #esoteric :(on ARM, not on x86 since they can't because for some reason there are read-modify versions of the opcodes) < 1362541050 563498 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :x86 has op dst, src or else op %src, %dst ;P < 1362541078 258244 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Intel syntax is weird. < 1362541082 817646 :Bike!~Glossina@71-34-78-123.ptld.qwest.net PRIVMSG #esoteric :hmmmmm < 1362541096 590590 :mad!boulam@198.84.253.87 PRIVMSG #esoteric :gcc assembly syntax doesn't count < 1362541100 149498 :mad!boulam@198.84.253.87 PRIVMSG #esoteric :it's impossible to read < 1362541103 145149 :Bike!~Glossina@71-34-78-123.ptld.qwest.net PRIVMSG #esoteric :is intel syntax CFGable? could you use a regular expression < 1362541116 418792 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :it is pretty bad < 1362541119 329998 :Bike!~Glossina@71-34-78-123.ptld.qwest.net PRIVMSG #esoteric :could it be the link anti-chomkyists are looking for < 1362541136 216958 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :x86 does have a few three-operand instructions by now as well < 1362541144 159983 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :well, all of AVX XD < 1362541150 27316 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :also some where one is implicitly fixed (like edx:eax for mul/div) < 1362541152 165915 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :plus BMI1/2 < 1362541155 136993 :mad!boulam@198.84.253.87 PRIVMSG #esoteric :after 30 years of resistance from intel yes < 1362541158 178653 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Also a 3-operand addition instruction! < 1362541160 193869 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :and imul reg,reg,imm if an immediate counts < 1362541171 718240 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :shachaf: you mean LEA? ;) < 1362541173 193849 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :and FMA4, vpperm are 4-op because AMD < 1362541175 426975 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :kmc: Yep. < 1362541183 655719 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :not just addition! reg + {1,2,4}*reg + imm < 1362541193 351702 :Bike!~Glossina@71-34-78-123.ptld.qwest.net PRIVMSG #esoteric :good instruction, that < 1362541198 705163 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :there's some implicit 3-op ones like pblendvb that use hardcoded xmm0 <.< < 1362541222 194703 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :If I remember correctly "x86 has a 3-operand addition instruction" was a factor in the design of Salsa20. < 1362541235 275292 :Bike!~Glossina@71-34-78-123.ptld.qwest.net PRIVMSG #esoteric :i still can't understand how the fuck you can remember "pblendvb" < 1362541246 911729 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :packed, blend, variable, bytes < 1362541262 832549 :Bike!~Glossina@71-34-78-123.ptld.qwest.net PRIVMSG #esoteric :it's impossible < 1362541265 164624 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :XD < 1362541266 811215 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :«I chose “xor a rotated sum” over “add a rotated xor” for simple performance reasons: the x86 architecture has a three-operand addition (LEA) but not a three-operand xor.» < 1362541286 774085 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I wonder how much of a difference that actually makes. < 1362541288 786002 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :lemme see the most registers I can use in one instruction... < 1362541312 86287 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :vpperm xmm0, xmm1, xmm2, [rax+rbx*8+0xDEADBEEF] < 1362541317 777990 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :5 regs, I think, I don't think one can beat that XD < 1362541337 908999 :mad!boulam@198.84.253.87 PRIVMSG #esoteric :heh < 1362541357 985517 :mad!boulam@198.84.253.87 PRIVMSG #esoteric :you can have both a displacement immediate and a displacement register? < 1362541371 885181 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Yep. < 1362541392 940260 :mad!boulam@198.84.253.87 PRIVMSG #esoteric :I thought it was either/or < 1362541404 810034 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Fiora: pusha < 1362541406 180716 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :ACTION wins < 1362541424 719603 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :shachaf: ... that is TECHNICALLY TRUE < 1362541425 364549 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :you win < 1362541426 503514 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :that's 5 GP regs but also %ds! < 1362541431 574858 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :and %cs arguably < 1362541434 953519 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :and Others < 1362541449 455224 :mad!boulam@198.84.253.87 PRIVMSG #esoteric :in that case it still loses to ARM :D < 1362541449 941017 :Bike!~Glossina@71-34-78-123.ptld.qwest.net PRIVMSG #esoteric :arguably < 1362541452 299733 :Bike!~Glossina@71-34-78-123.ptld.qwest.net PRIVMSG #esoteric :????? < 1362541454 249873 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :%cr3 arguably < 1362541458 365855 :mad!boulam@198.84.253.87 PRIVMSG #esoteric :due to LDRM and stuff like VLDM < 1362541461 932315 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :now i'm just being silly < 1362541466 399866 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :though. vzeroupper affects -16- registers. < 1362541469 443929 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :nyahahahaha < 1362541469 899855 :Bike!~Glossina@71-34-78-123.ptld.qwest.net PRIVMSG #esoteric :!!?!????!??!?????? < 1362541489 276962 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Hmm. < 1362541497 420894 :Bike!~Glossina@71-34-78-123.ptld.qwest.net PRIVMSG #esoteric :maybe i should pretend to learn lojban again, it had syntax vaguely analogous to that of programming languages < 1362541514 480444 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Don't do that! < 1362541519 403530 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :tswett: Tell Bike not to do it. < 1362541550 281795 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :oh. xsave wins even more XD < 1362541556 287831 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :xsave/xrstor < 1362541601 487813 :tswett!~quassel@unaffiliated/tswett PRIVMSG #esoteric :As long as he's only pretending, it's okay. < 1362541615 636440 :Bike!~Glossina@71-34-78-123.ptld.qwest.net PRIVMSG #esoteric :considering there aren't speakers i doubt i could learn even if i tried < 1362541618 245183 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :it saves x87 FPU state, MMX state, SSE state, MXCSR... < 1362541666 302785 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :That's just a cheap plastic imitation of pusha! < 1362541678 70274 :tswett!~quassel@unaffiliated/tswett PRIVMSG #esoteric :I think there's at least one fluent speaker. < 1362541694 246581 :tswett!~quassel@unaffiliated/tswett PRIVMSG #esoteric :No native speakers, unless you count Robin Lee Powell's twin daughters. < 1362541697 191205 :Bike!~Glossina@71-34-78-123.ptld.qwest.net PRIVMSG #esoteric :that's sad < 1362541706 383190 :tswett!~quassel@unaffiliated/tswett PRIVMSG #esoteric :Frances and Kelly. I don't know whether or not their last name is Powell. < 1362541746 266010 :tswett!~quassel@unaffiliated/tswett PRIVMSG #esoteric :They have three parents, one of whom (RLP) has been speaking to them exclusively in Lojban. I think they're now between 1 and 2 years old. < 1362541770 500704 :Bike!~Glossina@71-34-78-123.ptld.qwest.net PRIVMSG #esoteric :fun family < 1362541773 739284 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :that's kind of a cruel experiment :/ < 1362541789 159120 :tswett!~quassel@unaffiliated/tswett PRIVMSG #esoteric :Fiora: *shrug* They still have the usual number of English-speaking parents. < 1362541794 329991 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :oh, just one. < 1362541795 820370 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :sorry, misread < 1362541795 969993 :mad!boulam@198.84.253.87 PRIVMSG #esoteric :I kinda remember hearing about one like that but for... I think it was klingon < 1362541809 694660 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :I was thinking they were -only- speaking lojban <.< < 1362541820 608337 :Bike!~Glossina@71-34-78-123.ptld.qwest.net PRIVMSG #esoteric :it's amazing how fast linguistics experiments run into language experiments. if you'd told me the study of language got a lot of its weirder data from mentally ill children i wouldn't have believed you < 1362541827 900499 :tswett!~quassel@unaffiliated/tswett PRIVMSG #esoteric :IIRC, they realized that Klingon just isn't usable as a day-to-day language. < 1362541844 2734 :mad!boulam@198.84.253.87 PRIVMSG #esoteric :oh? < 1362541849 59676 :Bike!~Glossina@71-34-78-123.ptld.qwest.net PRIVMSG #esoteric :having one parent talk in a language probably won't let you learn it too well, anyhow < 1362541857 916119 :mad!boulam@198.84.253.87 PRIVMSG #esoteric :tswett: missing vocabulary? < 1362541858 947910 :Bike!~Glossina@71-34-78-123.ptld.qwest.net PRIVMSG #esoteric :klingon's probably missing a lot of vocabulary? < 1362541859 97437 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Apparently not. < 1362541861 673720 :tswett!~quassel@unaffiliated/tswett PRIVMSG #esoteric :mad: yup. < 1362541871 736227 :Bike!~Glossina@71-34-78-123.ptld.qwest.net PRIVMSG #esoteric :it's like i'm reverse psychic < 1362541874 709920 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :☝ ☝ ☝ PUN ALERT < 1362541897 833775 :tswett!~quassel@unaffiliated/tswett PRIVMSG #esoteric :And I've heard that yeah, a kid just won't really learn a language if the only person they know who speaks it is one parent. < 1362541924 865668 :Bike!~Glossina@71-34-78-123.ptld.qwest.net PRIVMSG #esoteric :see also, second generation immigrant children < 1362542032 9863 :mad!boulam@198.84.253.87 PRIVMSG #esoteric :kinda wonder if klingon is "compact" or not, too < 1362542038 912431 :Bike!~Glossina@71-34-78-123.ptld.qwest.net PRIVMSG #esoteric :compact? < 1362542047 559196 :tswett!~quassel@unaffiliated/tswett PRIVMSG #esoteric :If every open cover of it has a finite subcover. < 1362542056 673332 :Bike!~Glossina@71-34-78-123.ptld.qwest.net PRIVMSG #esoteric :thx < 1362542063 83230 :tswett!~quassel@unaffiliated/tswett PRIVMSG #esoteric :yw < 1362542076 712934 :mad!boulam@198.84.253.87 PRIVMSG #esoteric :bike: as in has low-ish number of syllables for the more common things you might want to say < 1362542105 352128 :Bike!~Glossina@71-34-78-123.ptld.qwest.net PRIVMSG #esoteric :Oh. Like a natural language. < 1362542130 472251 :mad!boulam@198.84.253.87 PRIVMSG #esoteric :yeah < 1362542145 295160 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :so, like, good huffman coding I guess? < 1362542157 96667 :mad!boulam@198.84.253.87 PRIVMSG #esoteric :mhm < 1362542207 110352 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :huff man < 1362542210 726938 :Bike!~Glossina@71-34-78-123.ptld.qwest.net PRIVMSG #esoteric :hm, i don't think i've actually read anything rigorous about information theory and linguistics. minimum description length something something bayes < 1362542258 17921 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :intel\ combined\ manual.pdf is so awkward to use. :-( < 1362542337 405444 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :that must be gigantic < 1362542398 615961 :Bike!~Glossina@71-34-78-123.ptld.qwest.net PRIVMSG #esoteric :Is there a big fancy hypertext? < 1362542583 746649 :tswett!~quassel@unaffiliated/tswett PRIVMSG #esoteric :Is there a nice and simple assembly language that is nevertheless very much usable? < 1362542591 749919 :tswett!~quassel@unaffiliated/tswett PRIVMSG #esoteric :MIPS, perhaps, or something simpler. < 1362542606 911283 :tswett!~quassel@unaffiliated/tswett PRIVMSG #esoteric :Whose specification is freely available online, and short. < 1362542609 393755 :mad!boulam@198.84.253.87 PRIVMSG #esoteric :yeah, RISC instruction sets < 1362542611 143734 :mad!boulam@198.84.253.87 PRIVMSG #esoteric :ARM < 1362542611 483010 :Bike!~Glossina@71-34-78-123.ptld.qwest.net PRIVMSG #esoteric :MIPS is the usual for pedagogy < 1362542614 198588 :tswett!~quassel@unaffiliated/tswett PRIVMSG #esoteric :Like 50 pages or something. < 1362542622 989185 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric : Sgeo: What's the problem with vampires anyway? Why don't people like them? <-- well _i_ like malack... < 1362542693 660560 :mad!boulam@198.84.253.87 PRIVMSG #esoteric :vampires are probably going to be out of style before too long < 1362542695 965608 :mad!boulam@198.84.253.87 PRIVMSG #esoteric :overdone < 1362542725 567196 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :MIPS is relatively simple but still has some idiosynchracies I guess < 1362542744 986388 :mad!boulam@198.84.253.87 PRIVMSG #esoteric :everything has idiosyncracies < 1362542761 103434 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :like delay slots and the mul/div thing and hazards and whatevers < 1362542767 746393 :mad!boulam@198.84.253.87 PRIVMSG #esoteric :that's what the ARM guy was saying anyways < 1362542773 233796 :mad!boulam@198.84.253.87 PRIVMSG #esoteric :all architectures have warts < 1362542796 479529 :mad!boulam@198.84.253.87 PRIVMSG #esoteric :also all architectures have hazards :D < 1362542808 889862 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :ARM seems relatively low on warts, but the instruction set is pretty gargantuan < 1362542811 22836 :Bike!~Glossina@71-34-78-123.ptld.qwest.net PRIVMSG #esoteric :well, you could use MIX or something. < 1362542813 702935 :Bike!~Glossina@71-34-78-123.ptld.qwest.net PRIVMSG #esoteric :hope you like bcd < 1362542827 980232 :mad!boulam@198.84.253.87 PRIVMSG #esoteric :bcd is a wart all by itself :D < 1362542884 955082 :Bike!~Glossina@71-34-78-123.ptld.qwest.net PRIVMSG #esoteric :xactly < 1362542907 640965 :mad!boulam@198.84.253.87 PRIVMSG #esoteric :delay slots make sense in the "486" generation < 1362542919 786020 :mad!boulam@198.84.253.87 PRIVMSG #esoteric :ie before you have branch prediction < 1362542949 327229 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :yeah, they make -sense-, they're just. I guess, one extra messy thing to worry about when learning < 1362543001 711467 :Bike!~Glossina@71-34-78-123.ptld.qwest.net PRIVMSG #esoteric :would learning a machine without understanding branch prediction be worth it? (I did not learn branch prediction) < 1362543007 133126 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Is there a better way to look things up than intel\ combined\ manual.pdf? < 1362543031 863395 :mad!boulam@198.84.253.87 PRIVMSG #esoteric :bike : you could start with an old arm that doesn't have branch prediction :3 < 1362543081 42800 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :http://www.intel.com/content/dam/doc/manual/64-ia-32-architectures-software-developer-instruction-set-reference-manual-325383.pdf this thing has it listed by instruction ? < 1362543098 687724 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :personally I kinda feel http://developer.apple.com/library/mac/#documentation/DeveloperTools/nasm/nasmdocb.html is more succinct and easy to read even though it's not quite complete < 1362543104 399412 :Bike!~Glossina@71-34-78-123.ptld.qwest.net PRIVMSG #esoteric :what about geek32 < 1362543112 451123 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :That's just section something-something of the combined manual. < 1362543115 581296 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :It's still a huge PDF. < 1362543134 689010 :mad!boulam@198.84.253.87 PRIVMSG #esoteric :ahaha hate PDF instruction manuals < 1362543134 934902 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Hmm. < 1362543144 694366 :mad!boulam@198.84.253.87 PRIVMSG #esoteric :why do they make PDF instruction manuals anyways < 1362543149 978784 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net QUIT :Quit: Arc_Koen < 1362543152 306962 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :is it wrong if I like them :< < 1362543177 762541 :Bike!~Glossina@71-34-78-123.ptld.qwest.net PRIVMSG #esoteric :yes < 1362543202 17300 :mad!boulam@198.84.253.87 PRIVMSG #esoteric :how do you search them < 1362543209 399691 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :it's... alphabetical < 1362543211 139551 :mad!boulam@198.84.253.87 PRIVMSG #esoteric :also most pdf readers are laggy < 1362543215 445950 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :and it has a table of contents on the left < 1362543231 646601 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :I use the built in firefox one... <.< < 1362543231 796084 :mad!boulam@198.84.253.87 PRIVMSG #esoteric :still worse than just a framed webpage < 1362543277 604121 :mad!boulam@198.84.253.87 PRIVMSG #esoteric :ACTION opens the table of contents on the ia32 manual < 1362543283 841123 :mad!boulam@198.84.253.87 PRIVMSG #esoteric :gread it's not wide enough < 1362543291 228245 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric ::33 < it's purrty bad, Firoara < 1362543292 457803 :mad!boulam@198.84.253.87 PRIVMSG #esoteric :half of the text is cutoff and I can't widen it < 1362543295 87727 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :I don't know why firefox doesn't let me resize it < 1362543297 808559 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :it's really annoying < 1362543300 873109 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :foxit was better < 1362543305 534268 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Hmm, :< isn't even part of that. < 1362543316 174456 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :ACTION maintains that there are only two smiley faces in the world. < 1362543340 172188 :Bike!~Glossina@71-34-78-123.ptld.qwest.net PRIVMSG #esoteric :<: < 1362543380 496587 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric ::33 < pdfs arent purrfect but, waterever, they fit whale into my roetine, even if crappie < 1362543440 538815 :Bike!~Glossina@71-34-78-123.ptld.qwest.net PRIVMSG #esoteric :roetine...? < 1362543462 895099 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :whale? < 1362543479 767989 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :am I not allowed to be fefeta :< < 1362543493 75558 :Bike!~Glossina@71-34-78-123.ptld.qwest.net PRIVMSG #esoteric :no i mean what is "roetine" a pun on, I get "routine" but < 1362543494 417945 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I don't know. < 1362543500 601093 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :roe < 1362543501 235764 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :What's a fefeta? < 1362543507 318284 :Bike!~Glossina@71-34-78-123.ptld.qwest.net PRIVMSG #esoteric :Kind of pasta. < 1362543520 75834 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :what you get when you combine feferi (fish puns) with nepeta (cat puns) < 1362543547 365414 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :roe no! < 1362543554 734344 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :What do you get when you combine them with Scooby Doo puns? < 1362543567 796367 :mad!boulam@198.84.253.87 PRIVMSG #esoteric :oh god < 1362543568 291370 :augur!~augur@208.58.5.87 QUIT :Remote host closed the connection < 1362543611 805577 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :ummm more seriously http://ref.x86asm.net/coder64-abc.html is a table reference < 1362543628 865479 :augur!~augur@208.58.5.87 JOIN :#esoteric < 1362543655 865473 :mad!boulam@198.84.253.87 PRIVMSG #esoteric :right... I like how you have to sort opcodes as "useful" or "useless" < 1362543694 366555 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :? < 1362543732 750745 :mad!boulam@198.84.253.87 PRIVMSG #esoteric :ie the ones that are vaguely risc-like and you can do lots of < 1362543752 519091 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :I think there's only a few old instructions like that < 1362543754 763620 :mad!boulam@198.84.253.87 PRIVMSG #esoteric :vs the ones that are cisc and have all sorts of penalties and don't pair on the pentium < 1362543758 441007 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :er, the ones that you should avoid < 1362543770 283600 :mad!boulam@198.84.253.87 PRIVMSG #esoteric :all 16bit and 8bit opcodes should be avoided afaik < 1362543777 62030 :mad!boulam@198.84.253.87 PRIVMSG #esoteric :except movsx and movzx < 1362543782 635135 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :using 8-bit and 16-bit stuff is okay, I think? I do it all the time... < 1362543792 476892 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :there's some exceptions (like, you need to avoid flag merging penalties) < 1362543797 282174 :mad!boulam@198.84.253.87 PRIVMSG #esoteric :afaik the register renaming hates it < 1362543797 894074 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :but, like, setCC is 8-bit only and you kinda need that < 1362543805 188084 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :yeah, it's bad if you trigger hte merging penalties < 1362543821 532958 :c00kiemon5ter!~c00kiemon@foss-aueb/coder/c00kiemon5ter JOIN :#esoteric < 1362543832 468569 :mad!boulam@198.84.253.87 PRIVMSG #esoteric :also they are mostly useless anyways < 1362543852 27930 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :but setCC is 8-bit only :< < 1362543869 696756 :mad!boulam@198.84.253.87 PRIVMSG #esoteric :setCC? < 1362543879 474167 :mad!boulam@198.84.253.87 PRIVMSG #esoteric :is that something they added on the p2? < 1362543880 256269 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :setc, sete, and so on? < 1362543889 29560 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :it's since 386 < 1362543895 536909 :c00kiemon5ter!~c00kiemon@foss-aueb/coder/c00kiemon5ter PART :#esoteric < 1362543905 80103 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :set current continuation? < 1362543908 513191 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :int a = b == c; gets compiled as < 1362543911 745211 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :And I thought getCC was bad! < 1362543913 316038 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :cmp b, c < 1362543918 151119 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :sete a < 1362543923 800889 :mad!boulam@198.84.253.87 PRIVMSG #esoteric :first time I see that < 1362543926 796183 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :movzx reg, a < 1362544012 464713 :Bike!~Glossina@71-34-78-123.ptld.qwest.net PRIVMSG #esoteric :set current continuation would just be invoking the continuation. oh nooooo < 1362544152 83773 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :By the way, continuations aren't functions. < 1362544172 606100 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :http://okmij.org/ftp/continuations/undelimited.html < 1362544177 340025 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Not that you said they are. < 1362544195 852733 :Bike!~Glossina@71-34-78-123.ptld.qwest.net PRIVMSG #esoteric :i suppose scheme's pretending they are is related to them being "procedures" instead < 1362544222 789794 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :okies I kinda tried to make a list of the things not to use < 1362544244 701038 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :it's probably not perfect but: AAA/AAS/AAM/AAD/DAA/DAS (bcd instructions), BOUND, ENTER, J(E)CXZ, LOOP*, MOVS*, RC*, SCAS*, XLATB < 1362544259 346972 :Bike!~Glossina@71-34-78-123.ptld.qwest.net PRIVMSG #esoteric :xlatb sounds exciting. < 1362544265 911239 :Bike!~Glossina@71-34-78-123.ptld.qwest.net PRIVMSG #esoteric :I bet it calculated latitude in binary. < 1362544292 686746 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :lookup table <.< < 1362544327 643581 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :"XLATB adds the value in AL, treated as an unsigned byte, to BX or EBX, and loads the byte from the resulting address (in the segment specified by DS) back into AL. " < 1362544333 954585 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :I think it only existed because the 8086 had like, no addressing modes < 1362544382 472992 :Bike!~Glossina@71-34-78-123.ptld.qwest.net PRIVMSG #esoteric :I think I'm going to write a fanfiction where Bletchley Park never happened, and computers end up being developed only by the Kriegsmarine. < 1362544392 558327 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :ACTION so tired :-( < 1362544507 78164 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :Bike: is that a fanfiction for... life < 1362544515 728320 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :historical fiction? < 1362544521 852196 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :... alternate history fic? < 1362544560 935898 :Bike!~Glossina@71-34-78-123.ptld.qwest.net PRIVMSG #esoteric :Well, the seventh book introduces Nepeta Leijon. < 1362544606 183194 :mad!boulam@198.84.253.87 PRIVMSG #esoteric :fiora : what about everything that involves segment registers? :D < 1362544630 369109 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :I don't think you can even use those in 32-bit protected mode? XD < 1362544677 316129 :mad!boulam@198.84.253.87 PRIVMSG #esoteric :actually you can < 1362544699 283742 :mad!boulam@198.84.253.87 PRIVMSG #esoteric :maybe not in paged mode tho < 1362544702 540422 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :can you even set them outside of ring0? < 1362544729 147732 :mad!boulam@198.84.253.87 PRIVMSG #esoteric :it probably adds on a penalty if you set a segment that doesn't start at 0 too < 1362544765 535151 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :I think I remember reading it adds 1 clock cycle latency to loads on recent intel < 1362544781 319411 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :it's not actually that bad, I think fs/gs stuff gets used for things like native client? < 1362544784 860736 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :I'm not sure < 1362544823 887853 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :I've never done anything with it so don't trust me I'm probably totally clueless < 1362544930 904283 :mad!boulam@198.84.253.87 PRIVMSG #esoteric :all I remember is that in djgpp (32bit dos version of gcc) you could have it set gs to a segment that overlaps all RAM < 1362544942 548269 :mad!boulam@198.84.253.87 PRIVMSG #esoteric :and overwrite everything willy nilly :D < 1362544971 197498 :mad!boulam@198.84.253.87 PRIVMSG #esoteric :tho you had to use that hack to write to VRAM too < 1362544985 741403 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :oh geez XD < 1362545050 460400 :mad!boulam@198.84.253.87 PRIVMSG #esoteric :write garbage to 0xa0000 -> yay pretty garbage on the screen :D < 1362545150 249665 :mad!boulam@198.84.253.87 PRIVMSG #esoteric :writing code for that was pretty fun actually < 1362545350 892026 :mad!boulam@198.84.253.87 PRIVMSG #esoteric :that impression of power you get from writing straight to the metal is nice < 1362545373 223317 :mad!boulam@198.84.253.87 PRIVMSG #esoteric :rather than having 213423 layers of abstraction and you never know anything about what's happening < 1362546457 630052 :Frooxius_!~Frooxius@cust-101.ktknet.cz JOIN :#esoteric < 1362546466 17357 :Frooxius_!~Frooxius@cust-101.ktknet.cz QUIT :Client Quit < 1362546627 866253 :Frooxius!~Frooxius@cust-101.ktknet.cz QUIT :Ping timeout: 276 seconds < 1362547078 795916 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`olist < 1362547080 701721 :HackEgo!codu@codu.org PRIVMSG #esoteric :olist: shachaf oerjan Sgeo < 1362547146 912669 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :oerjan, for your benefit: The new comic is 879 < 1362547205 973415 :Frooxius!~Frooxius@cust-101.ktknet.cz JOIN :#esoteric < 1362547270 244601 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :Also the website is broken < 1362547289 883969 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :Or, it was, briefly < 1362547332 826363 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :"Also, this is the last of the 9-in-a-row, so there won't be any more until next week while I try to catch up on other work." < 1362547521 95862 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :the o in olist stands for oerjan < 1362547522 582951 :Frooxius!~Frooxius@cust-101.ktknet.cz QUIT :Ping timeout: 252 seconds < 1362547539 3915 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :it also stands for of < 1362547764 660239 :Frooxius!~Frooxius@cust-101.ktknet.cz JOIN :#esoteric < 1362547786 57460 :doesthiswork!~Adium@75.87.251.5 PRIVMSG #esoteric :do you know where I can read about Lagrangian Probability Distributions, all the google results seem to be books < 1362547875 926248 :TeruFSX!~TeruFSX@65-128-137-85.mpls.qwest.net QUIT :Ping timeout: 276 seconds < 1362547960 199582 :Bike!~Glossina@71-34-78-123.ptld.qwest.net PRIVMSG #esoteric :Is that a distribution named after Lagrange or a distribution over Lagrangians or a Lagrangian of probabilities < 1362548019 627625 :doesthiswork!~Adium@75.87.251.5 PRIVMSG #esoteric :I have no idea, its what you get when you take some random subsets of random binary trees < 1362548060 568120 :doesthiswork!~Adium@75.87.251.5 PRIVMSG #esoteric :the distribution of sizes is supposed to be a lagrange distribution < 1362548087 361516 :doesthiswork!~Adium@75.87.251.5 PRIVMSG #esoteric :only, I don't know what that is < 1362548214 980218 :Bike!~Glossina@71-34-78-123.ptld.qwest.net PRIVMSG #esoteric :I've never heard of a "Lagrange distrubition" in common use... < 1362548334 367574 :doesthiswork!~Adium@75.87.251.5 PRIVMSG #esoteric :i'll have to go back and bug the professor then < 1362548811 757827 :oerjan!oerjan@sprocket.nvg.ntnu.no QUIT :Quit: Gnite < 1362549316 361022 :mad!boulam@198.84.253.87 PRIVMSG #esoteric :how would you do something like SSE branch < 1362549343 115312 :mad!boulam@198.84.253.87 PRIVMSG #esoteric :like, if across your 4 units the condition is false, don't branch < 1362549354 232329 :mad!boulam@198.84.253.87 PRIVMSG #esoteric :if across your 4 units the condition is true, branch < 1362549364 763805 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :ptest? < 1362549366 35045 :mad!boulam@198.84.253.87 PRIVMSG #esoteric :but what if it's only true on some of the units? < 1362549373 218511 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :ummm usually you use branchless code and merge < 1362549388 688541 :Bike!~Glossina@71-34-78-123.ptld.qwest.net PRIVMSG #esoteric :say mad have you seen weird-ass computer designs like the connection machine < 1362549395 515606 :mad!boulam@198.84.253.87 PRIVMSG #esoteric :yeah but that's not really a branch :3 < 1362549403 23760 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :but that's the whole point, you avoid the branch :P < 1362549413 293323 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :in the absolute worst case, compute both sides and merge < 1362549420 227483 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :usually you can find shortcuts though < 1362549442 647780 :mad!boulam@198.84.253.87 PRIVMSG #esoteric :what about the branch at the end of the loop? :D < 1362549454 244232 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :ummm wait but why would that be per-element < 1362549455 185751 :mad!boulam@198.84.253.87 PRIVMSG #esoteric :you can't turn that one into a conditional mov :D < 1362549466 351309 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :I don't understand... < 1362549466 856180 :mad!boulam@198.84.253.87 PRIVMSG #esoteric :it's the fallout of my current design < 1362549478 608965 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :branches at the end of loops work the same in simd as normal... < 1362549512 1300 :mad!boulam@198.84.253.87 PRIVMSG #esoteric :classic risc except that instructions are first done on the "head" unit (the one with the scheduler) < 1362549519 6415 :mad!boulam@198.84.253.87 PRIVMSG #esoteric :then replicated on the other units < 1362549548 242159 :mad!boulam@198.84.253.87 PRIVMSG #esoteric :also it's a possible avenue for autovectorization < 1362549586 447818 :Bike!~Glossina@71-34-78-123.ptld.qwest.net PRIVMSG #esoteric :So you have like... a four vector [7,7,6,7] and decrement loop on each number? And what happens when the 6 zeroes first? < 1362549630 673229 :mad!boulam@198.84.253.87 PRIVMSG #esoteric :normally something like a loop counter will end up being vectorized as something like [11, 10, 9, 8] < 1362549666 42354 :mad!boulam@198.84.253.87 PRIVMSG #esoteric :and then once it does the decrement it actually loads the 8 from the last unit into the first one and produces [7, 6, 5, 4] < 1362549704 71300 :mad!boulam@198.84.253.87 PRIVMSG #esoteric :suppose you exit the loop when i < 1 < 1362549719 749904 :mad!boulam@198.84.253.87 PRIVMSG #esoteric :the next iteration will produce [3, 2, ,1, 0] < 1362549755 933655 :mad!boulam@198.84.253.87 PRIVMSG #esoteric :since the scheduling is done on the first unit, it will see 3 and try to loop again < 1362549775 6837 :Bike!~Glossina@71-34-78-123.ptld.qwest.net PRIVMSG #esoteric :This seems like a bad use of autovectorization? < 1362549776 771178 :mad!boulam@198.84.253.87 PRIVMSG #esoteric :except the branch instruction will go the other way 3 cycles later on the 4th unit < 1362549824 685490 :mad!boulam@198.84.253.87 PRIVMSG #esoteric :bike : if I can solve this and memory aliasing I can probably get llvm to autovectorize almost any loop < 1362549862 739238 :Bike!~Glossina@71-34-78-123.ptld.qwest.net PRIVMSG #esoteric :but you're vectorizing something that's probably supposed to go one at a time < 1362549898 347755 :mad!boulam@198.84.253.87 PRIVMSG #esoteric :hm < 1362549921 574779 :mad!boulam@198.84.253.87 PRIVMSG #esoteric :well I have to admit that feedback loops that only have += are a lot easier to deal with < 1362549931 439288 :mad!boulam@198.84.253.87 PRIVMSG #esoteric :since for those ones it can probably guess < 1362549937 402148 :Bike!~Glossina@71-34-78-123.ptld.qwest.net PRIVMSG #esoteric :like if i have for (int i = 0; i < 10; ++i) print(i); i probably want 0 through 10 to print in order. < 1362549955 665291 :mad!boulam@198.84.253.87 PRIVMSG #esoteric :right < 1362549973 803872 :mad!boulam@198.84.253.87 PRIVMSG #esoteric :the trick is that you can put the memory writes after the conditional jump < 1362550032 955136 :mad!boulam@198.84.253.87 PRIVMSG #esoteric :so your loop will escape before any bad data will get printed < 1362550060 691260 :mad!boulam@198.84.253.87 PRIVMSG #esoteric :irl it will probably try to vectorize print(i) actually < 1362550093 789500 :mad!boulam@198.84.253.87 PRIVMSG #esoteric :which will probably work for something like print("Hello world this is a long message") < 1362550115 873250 :Bike!~Glossina@71-34-78-123.ptld.qwest.net PRIVMSG #esoteric :I mean, I want the prints to happen in a certain order. < 1362550122 237948 :Bike!~Glossina@71-34-78-123.ptld.qwest.net PRIVMSG #esoteric :not much point in parallelizing that? < 1362550148 435962 :mad!boulam@198.84.253.87 PRIVMSG #esoteric :tbh it's not what I'm targetting < 1362550152 272154 :Bike!~Glossina@71-34-78-123.ptld.qwest.net PRIVMSG #esoteric :And if you vectorized a long string print you'd be like, setting up multiple buffers? < 1362550156 843913 :mad!boulam@198.84.253.87 PRIVMSG #esoteric :more like the data processing loops < 1362550166 895805 :Bike!~Glossina@71-34-78-123.ptld.qwest.net PRIVMSG #esoteric :I know it's not, I'm just trying to see why you'd want to do this for all loops. < 1362550177 633465 :mad!boulam@198.84.253.87 PRIVMSG #esoteric :which probably have guessable conditions like for(int i=0; i bin/makequine && chmod +x bin/makequine < 1362581176 521961 :HackEgo!codu@codu.org PRIVMSG #esoteric :No output. < 1362581242 892697 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :`makequine < 1362581273 950538 :HackEgo!codu@codu.org PRIVMSG #esoteric :​#!/bin/cat < 1362581742 834672 :olsner!~salparot@c83-252-194-156.bredband.comhem.se JOIN :#esoteric < 1362581892 616158 :ogrom!~del@gprs-inet-65-131.elisa.ee QUIT :Quit: Left < 1362583849 902970 :ais523!~ais523@unaffiliated/ais523 JOIN :#esoteric < 1362584033 520519 :DHeadshot!~DH____@unaffiliated/dh----/x-6288474 QUIT :Ping timeout: 245 seconds < 1362584490 501061 :DHeadshot!~DH____@unaffiliated/dh----/x-6288474 JOIN :#esoteric < 1362585690 187240 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :anyone experience with cpp? < 1362585699 770525 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :It seems it decides to ignore my -B option < 1362585881 604493 :sirdancealo2!~sirdancea@98.82.broadband5.iol.cz QUIT :Ping timeout: 255 seconds < 1362585902 834452 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :-I works. < 1362585941 374687 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :but cpp --help does not even list that option < 1362585999 337072 :AnotherTest!~AnotherTe@94-224-28-191.access.telenet.be JOIN :#esoteric < 1362586043 864985 :AnotherTest!~AnotherTe@94-224-28-191.access.telenet.be PRIVMSG #esoteric :Hello < 1362586044 349146 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric :AnotherTest: You have 3 new messages. '/msg lambdabot @messages' to read them. < 1362586250 113247 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :mroman_: cpp, as in g++? < 1362586317 95143 :AnotherTest!~AnotherTe@94-224-28-191.access.telenet.be PRIVMSG #esoteric :When is -(a ProductLog(-(log(a))/a))/(log(a)) integral? < 1362586323 745419 :AnotherTest!~AnotherTe@94-224-28-191.access.telenet.be PRIVMSG #esoteric :(an integer) < 1362586339 228885 :AnotherTest!~AnotherTe@94-224-28-191.access.telenet.be PRIVMSG #esoteric :(for what values of a, that is) < 1362586934 540904 :AnotherTest!~AnotherTe@94-224-28-191.access.telenet.be PRIVMSG #esoteric :I suspected that a^b = b^a (with a !=b) is true only for 4 and 2 < 1362586953 735097 :AnotherTest!~AnotherTe@94-224-28-191.access.telenet.be PRIVMSG #esoteric :I'm not really sure anymore now though < 1362586973 460044 :ogrom!~del@gprs-inet-65-131.elisa.ee JOIN :#esoteric < 1362587047 374387 :sirdancealo2!~sirdancea@98.82.broadband5.iol.cz JOIN :#esoteric < 1362587103 767115 :AnotherTest!~AnotherTe@94-224-28-191.access.telenet.be PRIVMSG #esoteric :log(2) / log(4) = 2 / 4, what other integers exists so that log(a) / log (b) = a/b? < 1362587109 279373 :AnotherTest!~AnotherTe@94-224-28-191.access.telenet.be PRIVMSG #esoteric :*exist < 1362587309 792400 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :AnotherTest: I spent some time with a math teacher trying to find others or to prove that they were the only ones < 1362587317 629642 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :we didn't get very far < 1362587396 24000 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :(that was in high school though) < 1362587397 325362 :AnotherTest!~AnotherTe@94-224-28-191.access.telenet.be PRIVMSG #esoteric :well at least not for all combinations of numbers from 2 to 100 < 1362587431 917986 :AnotherTest!~AnotherTe@94-224-28-191.access.telenet.be PRIVMSG #esoteric :b =-(a ProductLog(-(log(a))/a))/(log(a)), but that really doesn't tell me a lot < 1362587437 747473 :AnotherTest!~AnotherTe@94-224-28-191.access.telenet.be PRIVMSG #esoteric :as I only want integer solutions < 1362587513 657760 :AnotherTest!~AnotherTe@94-224-28-191.access.telenet.be PRIVMSG #esoteric :normally, log(a) / log(a²) = 1/2, right? < 1362587538 805520 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :I wouldn't say "normally", since that is always true < 1362587551 637943 :AnotherTest!~AnotherTe@94-224-28-191.access.telenet.be PRIVMSG #esoteric :yes, always < 1362587604 945950 :tromp_!~tromp@rtc35-242.rentec.com PRIVMSG #esoteric :at least for positive a < 1362587610 428991 :AnotherTest!~AnotherTe@94-224-28-191.access.telenet.be PRIVMSG #esoteric :now it happens that for 4 and 2, it is true that a² = 2a < 1362587624 732538 :AnotherTest!~AnotherTe@94-224-28-191.access.telenet.be PRIVMSG #esoteric :(well just for 2) < 1362587641 363753 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :yup < 1362587675 677638 :AnotherTest!~AnotherTe@94-224-28-191.access.telenet.be PRIVMSG #esoteric :Well I think log (a) / log(b) = a /b is one of the conditions. < 1362587700 168737 :AnotherTest!~AnotherTe@94-224-28-191.access.telenet.be PRIVMSG #esoteric :If it really is, then it would indeed only be true for 2 < 1362587702 106701 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :one of the conditions? that's equivalent to a^b=b^a < 1362587719 747687 :AnotherTest!~AnotherTe@94-224-28-191.access.telenet.be PRIVMSG #esoteric :Well, a != b is there too < 1362587726 721526 :AnotherTest!~AnotherTe@94-224-28-191.access.telenet.be PRIVMSG #esoteric :so one of both conditions < 1362587727 695505 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :oh rifht < 1362587918 59946 :ogrom!~del@gprs-inet-65-131.elisa.ee QUIT :Quit: Left < 1362588096 194840 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :Error: In environment < 1362588096 381714 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :e : bool = unit < 1362588096 809186 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :The term "e" has type "bool = unit" while it is expected to have type "bool = unit". < 1362588120 352011 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :Got DS working on Linux < 1362588154 60956 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :No sound though :( < 1362588157 819560 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :I guess in the current context DS doesn't mean "demon spawn". < 1362588168 20392 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :It means Docking Station < 1362588187 918611 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :Also, the context of my statement is wholly disconnected from the context of surrounding chat. < 1362588230 337887 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :so, even if a != b, and e is booleanly unitty, the context of a silent docking station is disjointed from Linux. < 1362588383 996826 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :wtf is with this error < 1362588452 196021 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :ahhhh < 1362588454 499961 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :it was a Set/Type error < 1362588551 422147 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :I assume this is not Haskell. < 1362588560 717663 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :Set/Type sounds like a thing you'd see in a dependently typed language < 1362588664 534632 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :coq < 1362589339 342778 :KingOfKarlsruhe!~chatzilla@p5B02D5B3.dip.t-dialin.net JOIN :#esoteric < 1362589583 646789 :sebbu!~sebbu@unaffiliated/sebbu QUIT :Ping timeout: 245 seconds < 1362589924 996071 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :elliott: I think you may have been right, and Anarchy's type system is probably undecidable after all < 1362589980 708342 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :thought so :P < 1362589985 362981 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :though I forget why I thought so!! < 1362589988 823263 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :but I'm sure it was a good reason < 1362590226 30610 :FreeFull!~freefull@defocus/sausage-lover JOIN :#esoteric < 1362590658 455098 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :ais523: I assume this won't stop you, though < 1362590672 358127 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :yeah < 1362590687 767879 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I'll just have to work out if being undecidable is actually a problem, and if it is, what restrictions I should put on it to make it decidable < 1362590930 206270 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :wow, agda gives even worse error messages than coq < 1362591289 831637 :sebbu!~sebbu@ADijon-152-1-24-160.w83-194.abo.wanadoo.fr JOIN :#esoteric < 1362591304 937296 :sebbu!~sebbu@ADijon-152-1-24-160.w83-194.abo.wanadoo.fr QUIT :Changing host < 1362591305 86949 :sebbu!~sebbu@unaffiliated/sebbu JOIN :#esoteric < 1362592001 143814 :nooga!~nooga@ip-46-250-173-30.ip.maverick.com.pl QUIT :Ping timeout: 245 seconds < 1362592324 969719 :epicmonkey!~epicmonke@host-224-58.dataart.net QUIT :Ping timeout: 245 seconds < 1362592410 968395 :sebbu!~sebbu@unaffiliated/sebbu QUIT :Ping timeout: 272 seconds < 1362592851 621880 :Taneb!~nathan@host-78-148-14-30.as13285.net PRIVMSG #esoteric :Help I think I've just volunteered to cosplay Emperor Hirohito of Japan < 1362592926 887295 :Gregor!codu@codu.org PRIVMSG #esoteric :Taneb: Easy solution: Start talking about the costume you want to make based on some insane Weeaboo notion of Japan, and they'll kick you out. < 1362592936 758958 :Taneb!~nathan@host-78-148-14-30.as13285.net PRIVMSG #esoteric :Won't work. < 1362592944 228797 :Taneb!~nathan@host-78-148-14-30.as13285.net PRIVMSG #esoteric :We've already got a Hitler, Stalin, and Mao < 1362593070 172493 :Taneb!~nathan@host-78-148-14-30.as13285.net PRIVMSG #esoteric :And no, I'm not going to tell them that Mao only seized power 4 years after Hitler's death < 1362593090 428831 :Gregor!codu@codu.org PRIVMSG #esoteric :Is that REALLY relevant to that sort of cosplay X-D < 1362593130 460674 :sebbu!~sebbu@unaffiliated/sebbu JOIN :#esoteric < 1362594519 791482 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 QUIT :Read error: Connection reset by peer < 1362594678 702929 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 JOIN :#esoteric < 1362595438 83033 :Bike!~Glossina@71-34-78-123.ptld.qwest.net JOIN :#esoteric < 1362595725 29859 :augur!~augur@208.58.5.87 QUIT :Remote host closed the connection < 1362595772 508397 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :`? cosplay < 1362595774 644496 :HackEgo!codu@codu.org PRIVMSG #esoteric :cosplay? ¯\(°_o)/¯ < 1362595812 149335 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :`pastewisdom < 1362595813 809365 :HackEgo!codu@codu.org PRIVMSG #esoteric :http://codu.org/projects/hackbot/fshg/index.cgi/file/tip/wisdom/ < 1362595837 844306 :Taneb!~nathan@host-78-148-14-30.as13285.net PRIVMSG #esoteric :`learn Cosplay is the art of dressing up as people to show off to other people dressed up as people. < 1362595841 756721 :HackEgo!codu@codu.org PRIVMSG #esoteric :I knew that. < 1362595845 476612 :Taneb!~nathan@host-78-148-14-30.as13285.net QUIT :Quit: Leaving < 1362596080 618933 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :`? colour < 1362596082 532737 :HackEgo!codu@codu.org PRIVMSG #esoteric :​14C12101103o1106lour is 10a 1202p04henomenon 0810fr07om13 ou0211t050803e11r 1313s1302p04ace 13de0503sign02e13d0511 t101010o140913 d1304ri08v02e 10h12um081206an04i02ty i07110214ns0709a0804ne an0614d 11bri0813ng f13or08th t02he n10ew05 0212age14 of Cth0211u1409l030610hu. < 1362596348 108912 :Gregor!codu@codu.org PRIVMSG #esoteric :`? color < 1362596350 45140 :HackEgo!codu@codu.org PRIVMSG #esoteric :​14C12101103o1106lor is 10a 1202p04henomenon 0810fr07om13 ou0211t050803e11r 1313s1302p04ace 13de0503sign02e13d0511 t101010o140913 d1304ri08v02e 10h12um081206an04i02ty i07110214ns0709a0804ne an0614d 11bri0813ng f13or08th t02he n10ew05 0212age14 of Cth0211u1409l030610hu. < 1362596577 80143 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Color is a phenomenon from oter space < 1362596577 229684 :Gregor!codu@codu.org PRIVMSG #esoteric :`learn Coulor is the correct spelling. < 1362596581 224434 :HackEgo!codu@codu.org PRIVMSG #esoteric :I knew that. < 1362596595 622258 :nooga!~nooga@ip-46-250-173-30.ip.maverick.com.pl JOIN :#esoteric < 1362596610 491011 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net JOIN :#esoteric < 1362596637 981568 :Gregor!codu@codu.org PRIVMSG #esoteric :shachaf: Colour is a phenoumenoun froum ooter space. < 1362596826 125721 :AnotherTest!~AnotherTe@94-224-28-191.access.telenet.be QUIT :Ping timeout: 245 seconds < 1362596871 92072 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :ACTION is in MDW < 1362596900 213991 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :My appendages are beginning to tingle from lack of sleep. < 1362596910 531943 :ion!ion@heh.fi PRIVMSG #esoteric :nice < 1362596937 747891 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Although I did sleep a bit on the aæeiroplane. < 1362597033 889694 :epicmonkey!~epicmonke@188.134.41.112 JOIN :#esoteric < 1362597140 488705 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :aæei is one of the better vowels I've seen recently < 1362597190 690397 :KingOfKarlsruhe!~chatzilla@p5B02D5B3.dip.t-dialin.net QUIT :Remote host closed the connection < 1362597228 363468 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :shachaf: appendages < 1362597295 834425 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :appendages are so easy < 1362597526 871550 :augur!~augur@129-2-129-34.wireless.umd.edu JOIN :#esoteric < 1362597691 749402 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net QUIT :Quit: Arc_Koen < 1362597782 476323 :TodPunk!~Tod@166-70-93-209.ip.xmission.com QUIT :Read error: Connection reset by peer < 1362597852 467100 :nooga!~nooga@ip-46-250-173-30.ip.maverick.com.pl QUIT :Ping timeout: 276 seconds < 1362597855 271106 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :shachaf: does that mean appendages have an identity element? if so, what is it? < 1362597934 930805 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :empty appendage < 1362598120 329373 :Taneb!~nathan@host-78-148-14-30.as13285.net JOIN :#esoteric < 1362599324 611432 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :hm. < 1362599541 178251 :sebbu3!~sebbu@ADijon-152-1-24-160.w83-194.abo.wanadoo.fr JOIN :#esoteric < 1362599558 722400 :sebbu3!~sebbu@ADijon-152-1-24-160.w83-194.abo.wanadoo.fr QUIT :Changing host < 1362599558 871838 :sebbu3!~sebbu@unaffiliated/sebbu JOIN :#esoteric < 1362599607 393390 :sebbu!~sebbu@unaffiliated/sebbu QUIT :Ping timeout: 276 seconds < 1362599632 590293 :nooga!~nooga@ip-46-250-173-30.ip.maverick.com.pl JOIN :#esoteric < 1362600014 930650 :oerjan!oerjan@sprocket.nvg.ntnu.no JOIN :#esoteric < 1362600063 537413 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :wtf. < 1362600085 827300 :nooodl!~nooodl@91.177.66.187 PRIVMSG #esoteric :mroman_: hmm? < 1362600174 961962 :sebbu3!~sebbu@unaffiliated/sebbu NICK :sebbu < 1362600255 855185 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :empty appendages are just that weird!!! < 1362600410 909289 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric : I suspected that a^b = b^a (with a !=b) is true only for 4 and 2 < 1362600428 225647 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :pretty sure i recall that's true for integers < 1362600462 874779 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :@tell AnotherTest I suspected that a^b = b^a (with a !=b) is true only for 4 and 2 <-- pretty sure i recall that's true for integers < 1362600463 24608 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric :Consider it noted. < 1362600550 345518 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :@tell AnotherTest Hint: it's equivalent to a^(1/a) = b^(1/b), which is much easier since you are looking at a single function < 1362600550 640745 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric :Consider it noted. < 1362600568 58646 :carado!~user4539@2a01:e35:8b61:e430:6ef0:49ff:fe73:1fd0 QUIT :Ping timeout: 256 seconds < 1362600651 374138 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :hey, anyone know how offhand to close a Metro program with the touchpad in Windows 8? < 1362600655 913761 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :we just tried and failed for 10 minutes < 1362600674 425470 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :(although "click on it then press alt-F4" works, it's not a touchpad-based solution) < 1362600693 155213 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :oh and I said "touchpad" because Windows 8 acts differently depending on whether its pointer input is a touchpad, touchscreen, or mouse < 1362600784 247711 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :@tell AnotherTest basically you can graph that function from 0 and up, note it has a single maximum and that means only a finite number of cases that could possibly be the smaller natural number. < 1362600784 576301 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric :Consider it noted. < 1362601139 757626 :Taneb!~nathan@host-78-148-14-30.as13285.net PRIVMSG #esoteric :ais523, I've heard that that's completely non-obvious < 1362601178 51691 :myname!~myname@84.200.43.57 JOIN :#esoteric < 1362601203 915539 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric : aæei is one of the better vowels I've seen recently <-- æhæ. < 1362601219 51119 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :Taneb: I know < 1362601232 610770 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :but I tried some non-obvious things too < 1362601248 894022 :Taneb!~nathan@host-78-148-14-30.as13285.net PRIVMSG #esoteric :Have you tried closing hand? < 1362601263 383168 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :? < 1362601290 78827 :Taneb!~nathan@host-78-148-14-30.as13285.net PRIVMSG #esoteric :All fingers spread out -> all fingers together < 1362601294 712183 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :anybody here any idea on how to have some esoteric fun on android besides brainfuck? < 1362601369 586920 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :oerjan: i just had to fish through some 2009 logs for some code i wanted and i'd like to apologise for being the worst person in the universe then < 1362601411 414828 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :Taneb: typical touchpads can handle that many contact points? < 1362601419 106403 :Taneb!~nathan@host-78-148-14-30.as13285.net PRIVMSG #esoteric :I have no idea! < 1362601422 666657 :Taneb!~nathan@host-78-148-14-30.as13285.net PRIVMSG #esoteric :Worth a shot! < 1362601434 363169 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :elliott: APOLOGY ACCEPTED < 1362601434 512716 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :myname: hmm… a client to something like EgoBot would be easy enough to do < 1362601455 690998 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :basically, an online lots-of-esolangs interpreter is a god way to have fun < 1362601475 303797 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :or sites like anarchy golf ; that supports lots of esolangs < 1362601476 729836 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :*good < 1362601503 13529 :Gregor!codu@codu.org PRIVMSG #esoteric :`welcome myname < 1362601505 404446 :HackEgo!codu@codu.org PRIVMSG #esoteric :myname: Welcome to the international hub for esoteric programming language design and deployment! For more information, check out our wiki: http://esolangs.org/wiki/Main_Page. (For the other kind of esoterica, try #esoteric on irc.dal.net.) < 1362601552 223782 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :i was a bit disapointed by the lack of befunge interpreters for android < 1362601582 329696 :Gregor!codu@codu.org PRIVMSG #esoteric :2D languages could be kinda fun with a touchscreen :) < 1362601626 89247 :Gregor!codu@codu.org PRIVMSG #esoteric :I imagine a command "palette" and a zoomable, interactive program space. < 1362601790 847980 :carado!~user4539@2a01:e35:8b61:e430:6ef0:49ff:fe73:1fd0 JOIN :#esoteric < 1362602408 454657 :DHeadshot!~DH____@unaffiliated/dh----/x-6288474 QUIT :Ping timeout: 245 seconds < 1362602658 545597 :TodPunk!~Tod@166-70-93-209.ip.xmission.com JOIN :#esoteric < 1362602880 909824 :augur!~augur@129-2-129-34.wireless.umd.edu QUIT :Remote host closed the connection < 1362603071 311396 :Murtaugh!~mur@unaffiliated/murtaugh JOIN :#esoteric < 1362603341 28991 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net QUIT :Quit: hello < 1362603496 280494 :Murtaugh!~mur@unaffiliated/murtaugh PRIVMSG #esoteric :Hey < 1362603515 337961 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :`welcome Murtaugh < 1362603517 408977 :HackEgo!codu@codu.org PRIVMSG #esoteric :Murtaugh: Welcome to the international hub for esoteric programming language design and deployment! For more information, check out our wiki: http://esolangs.org/wiki/Main_Page. (For the other kind of esoterica, try #esoteric on irc.dal.net.) < 1362603616 916568 :Taneb!~nathan@host-78-148-14-30.as13285.net PRIVMSG #esoteric :Murtaugh, what brings you to the crazy land of #esoteric < 1362603617 955006 :Taneb!~nathan@host-78-148-14-30.as13285.net PRIVMSG #esoteric :? < 1362603646 675575 :Murtaugh!~mur@unaffiliated/murtaugh PRIVMSG #esoteric :I'm looking for a Conway's game of life channel =P < 1362603668 409120 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :is this phantom hoover's fault < 1362603700 223710 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :Murtaugh: we don't discuss that much, although this is indeed probably the appropriate channel < 1362603717 837707 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :every now and then I notice Hashlife exists and try to get the channel interested in it < 1362603727 870263 :Bike!~Glossina@71-34-78-123.ptld.qwest.net PRIVMSG #esoteric :what are your thoughts on faster than light travel < 1362603735 219582 :Bike!~Glossina@71-34-78-123.ptld.qwest.net PRIVMSG #esoteric :i should implement hashlife. < 1362603791 350264 :Murtaugh!~mur@unaffiliated/murtaugh PRIVMSG #esoteric :perhaps I found a new rule, a very interesting one. < 1362603805 2426 :Murtaugh!~mur@unaffiliated/murtaugh PRIVMSG #esoteric :due to a coding error, of course < 1362603841 539979 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :most of the cellular automaton rules that are uninteresting are obviously uninteresting < 1362603918 959876 :Murtaugh!~mur@unaffiliated/murtaugh PRIVMSG #esoteric :Б2/S234 < 1362603926 473309 :Murtaugh!~mur@unaffiliated/murtaugh PRIVMSG #esoteric :*B < 1362603947 217852 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :Murtaugh: I assumed it was just gratuitous Cyrillic :) < 1362603963 420757 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :Life is B3/S23, isn't it? < 1362603973 744511 :Murtaugh!~mur@unaffiliated/murtaugh PRIVMSG #esoteric :I forgot to cycle between keymaps =p < 1362603976 881321 :Murtaugh!~mur@unaffiliated/murtaugh PRIVMSG #esoteric :Yes < 1362603994 865777 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :the world needs more gratuitous cyrillic, really < 1362604003 512158 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :have you discovered a spaceship pattern in it yet? < 1362604010 46486 :Murtaugh!~mur@unaffiliated/murtaugh PRIVMSG #esoteric :nope < 1362604030 472147 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :that's normally the first interesting thing to aim for in a 2D cellular automaton < 1362604035 39 :Bike!~Glossina@71-34-78-123.ptld.qwest.net PRIVMSG #esoteric :wikipedia mentions B34/S34 but not just B3 < 1362604051 623718 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :(also in a 1D automaton, but there you care about the spaceships going at different speeds so that they can collide) < 1362604080 928073 :Murtaugh!~mur@unaffiliated/murtaugh PRIVMSG #esoteric :I looked everywhere for B2/S234, but there is no info anywhere < 1362604114 202325 :Bike!~Glossina@71-34-78-123.ptld.qwest.net PRIVMSG #esoteric :probably too similar to life < 1362604118 335708 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :the problem is that there are so many interesting automata < 1362604127 759033 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :and so few people to study them < 1362604159 223692 :Murtaugh!~mur@unaffiliated/murtaugh PRIVMSG #esoteric :It creates sillicon circuitry-like patterns < 1362604220 166318 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :and no money backing it up? < 1362604221 321298 :Bike!~Glossina@71-34-78-123.ptld.qwest.net PRIVMSG #esoteric :lifewiki has b/s234 < 1362604236 372475 :Taneb!~nathan@host-78-148-14-30.as13285.net PRIVMSG #esoteric :Isn't there someone here who specializes in CAs? < 1362604261 148884 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :Oh hey ais523 and I proved something about GoL once < 1362604287 1545 :Bike!~Glossina@71-34-78-123.ptld.qwest.net PRIVMSG #esoteric :geez, b235678/s378 < 1362604290 938447 :Bike!~Glossina@71-34-78-123.ptld.qwest.net PRIVMSG #esoteric :there are some weird ones < 1362604297 881293 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :Sgeo: we did? < 1362604300 250258 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :oh no < 1362604303 565434 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :wasn't it that really boring result < 1362604371 338308 :Murtaugh!~mur@unaffiliated/murtaugh PRIVMSG #esoteric :tell me more < 1362604434 704415 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I can't remember what the result was < 1362604437 66336 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :except it wasn't intersting < 1362604446 306082 :Murtaugh!~mur@unaffiliated/murtaugh PRIVMSG #esoteric :=\ < 1362604447 952332 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :Sgeo cared more about it, so he can probably fill you in < 1362604509 978088 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :I _think_ it was that on a finitely bounded (e.g. toroidal) game of life, any pattern with a sufficiently large hole has at least one ancestor that is a Garden of Eden. < 1362604601 172024 :Bike!~Glossina@71-34-78-123.ptld.qwest.net PRIVMSG #esoteric :Hole? < 1362604608 777326 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :area with no live cells < 1362604650 342422 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :is post-calculus turing-complete? < 1362604665 871770 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :there is such a thing as post-calculus? < 1362604670 398413 :Bike!~Glossina@71-34-78-123.ptld.qwest.net PRIVMSG #esoteric :post machines are < 1362604675 377973 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :mroman_: if it's even vaguely academic enough for Post to name it < 1362604683 732404 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :then yes, unless it was intentionally designed as sub-TC < 1362604686 299172 :Bike!~Glossina@71-34-78-123.ptld.qwest.net PRIVMSG #esoteric :also that < 1362604709 80484 :Bike!~Glossina@71-34-78-123.ptld.qwest.net PRIVMSG #esoteric :also also whenever Post comes up i feel the need to mention he only had one arm < 1362604730 554077 :Taneb!~nathan@host-78-148-14-30.as13285.net PRIVMSG #esoteric :L-systems are Turing-complete, and they were designed to simulate the growth of algae < 1362604737 405394 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :you could write a bot to do it for you and save the trouble < 1362604772 202956 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :I remember more recently trying to think about the proof and worrying that I might have made a mistake < 1362604773 355021 :Bike!~Glossina@71-34-78-123.ptld.qwest.net PRIVMSG #esoteric :don't you think it would be kind of hard to reliably search for mentions of "Post" referring to the person < 1362604774 983047 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :Taneb: well algae are probably Turing-complete, if given sufficient (= infinite) space, time, and nutrients < 1362604776 599799 :Bike!~Glossina@71-34-78-123.ptld.qwest.net PRIVMSG #esoteric :instead of like mail < 1362604811 92593 :Bike!~Glossina@71-34-78-123.ptld.qwest.net PRIVMSG #esoteric :an individual alga could be turing complete depending what you're testing < 1362604836 74297 :Bike!~Glossina@71-34-78-123.ptld.qwest.net PRIVMSG #esoteric :e.g. classical conditioning is subturing but you could probably find something in intracellular signaling < 1362604849 422832 :Murtaugh!~mur@unaffiliated/murtaugh PRIVMSG #esoteric :Turing-complete algae? < 1362604891 751985 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric : even a box of rotten apples on a string is Turing-complete < 1362604901 9259 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :but basically, pretty much everything is TC unless there's an obvious reason why it isn't < 1362604908 465589 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :as such, it's quite hard to construct things on the borderline < 1362604928 519319 :Bike!~Glossina@71-34-78-123.ptld.qwest.net PRIVMSG #esoteric :you can't classically condition algae anyway :'( < 1362604940 620042 :Taneb!~nathan@host-78-148-14-30.as13285.net PRIVMSG #esoteric :I tried to make a language that is turing complete if and only if the Collatz conjecture is false. < 1362604944 864753 :Taneb!~nathan@host-78-148-14-30.as13285.net PRIVMSG #esoteric :I didn't get very far < 1362604968 137972 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :I'm sure there are trivial ways to do that < 1362604968 637489 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :we need a system that autodetects its own turing completeness, then alter itself to stop being TC. < 1362604980 254039 :Bike!~Glossina@71-34-78-123.ptld.qwest.net PRIVMSG #esoteric :#define __ALLOW_UNBOUNDED_LOOPS falsehood_of(collatz) < 1362604990 455995 :Bike!~Glossina@71-34-78-123.ptld.qwest.net PRIVMSG #esoteric :Murtaugh: http://arxiv.org/abs/1204.1749 good computer < 1362605012 563849 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :Bike: it's only interesting if you can implement the compiler without knowing the truth value of the collatz conjecture < 1362605016 284180 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :(or interpreter) < 1362605020 113225 :Murtaugh!~mur@unaffiliated/murtaugh PRIVMSG #esoteric :even 7401 is Turing-complete < 1362605020 897582 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :"This language is equivalent to Brainfuck if the Collatz conjecture is false, and equivalent to HQ9+ if it is true" < 1362605033 926223 :Bike!~Glossina@71-34-78-123.ptld.qwest.net PRIVMSG #esoteric :a system proving that it's turing complete seems like you'd run into godel something < 1362605038 184651 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :ais523, wow, wasn't expecting a nice way to get rid of the trivialities < 1362605041 246953 :Bike!~Glossina@71-34-78-123.ptld.qwest.net PRIVMSG #esoteric :...maybe < 1362605061 553756 :Gregor!codu@codu.org PRIVMSG #esoteric :Hmmmmm. Is it possible, in a Turing complete system, to determine whether another system is Turing complete? (Note that the answer for ourself would probably be false, since the /environment/ is TC but we've created a particular system which is possibly not maybe) < 1362605077 820096 :Bike!~Glossina@71-34-78-123.ptld.qwest.net PRIVMSG #esoteric :you know i think i still don't have a non-shitty version of that paper showing that generalized collatz is unsolveable < 1362605084 911569 :Gregor!codu@codu.org PRIVMSG #esoteric :i.e., if I feed the description of a Turing machine into a (preprogrammed) Turing machine, can it tell me that that's a TC system? < 1362605093 246855 :Murtaugh!~mur@unaffiliated/murtaugh PRIVMSG #esoteric :mmmm interesting crab computer < 1362605109 946980 :Taneb!~nathan@host-78-148-14-30.as13285.net PRIVMSG #esoteric :Gregor, my first instinct is "no", but my instincts suck < 1362605119 893580 :Gregor!codu@codu.org PRIVMSG #esoteric :It feels very Halting-problem-y X-D < 1362605131 377898 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :Gregor: it's clearly possible to have a computable system that's capable of proving that some system is equivalent to a Turing machine < 1362605148 393252 :Bike!~Glossina@71-34-78-123.ptld.qwest.net PRIVMSG #esoteric :Gregor: i'm vaguely thinking there might be a curry-howard thing making that equivalent to proving a system consistent but i dunno < 1362605149 360812 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :sure, but that's different < 1362605155 933088 :Gregor!codu@codu.org PRIVMSG #esoteric :ais523: Oh? < 1362605162 94285 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :although one of Gödel's theorems shows that any system that can prove /itself/ equivalent to a Turing machine can also prove at least one incorrect statement < 1362605175 387949 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :Gregor: imagine a system that's almost, but not quite, the same as a Turing machine < 1362605178 22627 :Bike!~Glossina@71-34-78-123.ptld.qwest.net PRIVMSG #esoteric :right that one < 1362605213 628137 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :meh. my idea's been gödelled. < 1362605216 802523 :Gregor!codu@codu.org PRIVMSG #esoteric : although one of Gödel's theorems shows that any system that can prove /itself/ equivalent to a Turing machine can also prove at least one incorrect statement // the system may very well NOT be equivalent to a Turing machine, unless you can feed it machines in such a way that it calculates. < 1362605248 213880 :AnotherTest!~AnotherTe@94-224-28-191.access.telenet.be JOIN :#esoteric < 1362605261 362130 :AnotherTest!~AnotherTe@94-224-28-191.access.telenet.be PART :#esoteric < 1362605270 376054 :Gregor!codu@codu.org PRIVMSG #esoteric :ais523: What am I supposed to do while imagining this system X-D < 1362605281 402657 :Murtaugh!~mur@unaffiliated/murtaugh PRIVMSG #esoteric :well < 1362605281 851527 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :Gregor: well, it's very easy to prove equivalent to a Turing machine < 1362605290 195332 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :you don't need very much power to do the proving at all < 1362605301 621099 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :the extreme example is "mirror-reflections of Turing machines" < 1362605316 527227 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :and a proof language that can only see that descriptions are the same under reflection < 1362605325 210575 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :with brainfuck bolted on to make it TC < 1362605337 16290 :Gregor!codu@codu.org PRIVMSG #esoteric :But that's an infinite set, and you're trying to prove that something is in the set. What if it's not? < 1362605355 23497 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :Gregor: you're trying to prove two infinite sets equivalent < 1362605360 103022 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :which you can do simply by showing a bijection < 1362605418 717590 :Taneb!~nathan@host-78-148-14-30.as13285.net PRIVMSG #esoteric :What if one is equivalent to the reals < 1362605439 842113 :Bike!~Glossina@71-34-78-123.ptld.qwest.net PRIVMSG #esoteric :what does that matter < 1362605443 402112 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :Wouldn't be surprised if there was a machine that either spits out the correct answer or no answer < 1362605457 906444 :Gregor!codu@codu.org PRIVMSG #esoteric :Yeah, I'm modestly lost in the analogy because as far as I can determine that's not what you're trying to do... < 1362605477 899443 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :perhaps we're thinking of different questions entirely < 1362605482 10956 :Bike!~Glossina@71-34-78-123.ptld.qwest.net PRIVMSG #esoteric :shit i have a textbook that almost certainly went over whether the set of turing machines is recursive or r.e. what is wrong with me < 1362605485 620776 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :Actually, it would be surprising if there _WASN'T_ a machine that either spits out the correct answer or no answer < 1362605500 692089 :Gregor!codu@codu.org PRIVMSG #esoteric :Sgeo: Here's one: while (true); < 1362605523 171903 :Bike!~Glossina@71-34-78-123.ptld.qwest.net PRIVMSG #esoteric :not if there is a machine that doesn't, if there is no machine that does, gregor < 1362605543 29856 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :Bike, ..huh? < 1362605555 362875 :Bike!~Glossina@71-34-78-123.ptld.qwest.net PRIVMSG #esoteric :what is that in relation to < 1362605555 614973 :Gregor!codu@codu.org PRIVMSG #esoteric :I agree with Sgeo on this matter. < 1362605595 53153 :Gregor!codu@codu.org PRIVMSG #esoteric :Bike: I presented an example of a machine that “either spits out the correct answer or no answer”. It happens to choose “no answer” with 100% probability. < 1362605616 737688 :Bike!~Glossina@71-34-78-123.ptld.qwest.net PRIVMSG #esoteric :oh < 1362605622 793638 :cookienugget!a4d71b95@gateway/web/freenode/ip.164.215.27.149 JOIN :#esoteric < 1362605634 722386 :cookienugget!a4d71b95@gateway/web/freenode/ip.164.215.27.149 PRIVMSG #esoteric :hey everyone < 1362605642 414305 :cookienugget!a4d71b95@gateway/web/freenode/ip.164.215.27.149 PRIVMSG #esoteric :what was the lang with the arrows ? < 1362605657 47108 :Gregor!codu@codu.org PRIVMSG #esoteric :ais523: Ohohoh, yeah, you were answering the later part when you were saying it might come down to Gödel's theorem X-D < 1362605657 602951 :Bike!~Glossina@71-34-78-123.ptld.qwest.net PRIVMSG #esoteric :erlang < 1362605678 463626 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :There are a lot of languages with arrows, but you may be thinking of Befunge? < 1362605694 417777 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :Do those count as arrows? < 1362605708 628563 :cookienugget!a4d71b95@gateway/web/freenode/ip.164.215.27.149 PRIVMSG #esoteric :nah < 1362605713 72259 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :there's a newish BF derivative made entirely out of Unicode arrows < 1362605721 906672 :Gregor!codu@codu.org PRIVMSG #esoteric :Whatever the Brainfuck-equivalent-of-the-day is that replaces the BF commands with arrows in the 8 — lol, I was just kidding. < 1362605723 367101 :cookienugget!a4d71b95@gateway/web/freenode/ip.164.215.27.149 PRIVMSG #esoteric :yeah < 1362605724 250072 :Gregor!codu@codu.org PRIVMSG #esoteric :Or I hoped I was. < 1362605724 401816 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I forget the name, because it's a BF derivative and therefore probably uninteresting < 1362605728 979528 :cookienugget!a4d71b95@gateway/web/freenode/ip.164.215.27.149 PRIVMSG #esoteric :vit or what was ? < 1362605733 963756 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :Gregor: it's not quite that simple < 1362605738 374115 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :not sure if that makes it better or worse < 1362605765 778431 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :ais523, is my BF derivative uninteresting? :( < 1362605786 270395 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :Is looking at Idris a good idea? < 1362605797 998209 :Bike!~Glossina@71-34-78-123.ptld.qwest.net PRIVMSG #esoteric :Elba? < 1362605818 462397 :Bike!~Glossina@71-34-78-123.ptld.qwest.net PRIVMSG #esoteric :oh, that other thing. < 1362605820 615034 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :~duck elba < 1362605830 308654 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :oh. right. bot first, duck second. < 1362605836 593156 :Bike!~Glossina@71-34-78-123.ptld.qwest.net PRIVMSG #esoteric :idris elba is an actor. < 1362605843 868166 :metasepia!~metasepia@2607:fad8:4:6:f2de:f1ff:fe6c:6765 JOIN :#esoteric < 1362605846 671143 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :Sgeo: are you sure you want to know the answer to that question? < 1362605848 932565 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :~duck idris elba < 1362605849 196354 :metasepia!~metasepia@2607:fad8:4:6:f2de:f1ff:fe6c:6765 PRIVMSG #esoteric :Idrissa Akuna "Idris" Elba is an English television, theatre, and film actor who has starred in both British and American productions. < 1362605869 334292 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :ais523, yes < 1362605878 169817 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :bleh, now I have to look it up < 1362605890 934579 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :~duck interest < 1362605891 212283 :DHeadshot!~DH____@unaffiliated/dh----/x-6288474 JOIN :#esoteric < 1362605891 362005 :metasepia!~metasepia@2607:fad8:4:6:f2de:f1ff:fe6c:6765 PRIVMSG #esoteric :interest definition: right, title, or legal share in something. < 1362605897 626897 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :Oh, I was afraid that asking that question was an answer in and of itself < 1362605907 31338 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :oh, trustfuck < 1362605910 603656 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :that's more interesting than average < 1362605918 167824 :cookienugget!a4d71b95@gateway/web/freenode/ip.164.215.27.149 PRIVMSG #esoteric :fungot: what's up < 1362605924 932402 :cookienugget!a4d71b95@gateway/web/freenode/ip.164.215.27.149 PRIVMSG #esoteric :fungot's not in ? < 1362605925 875720 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :it's an esolang along the lines of "take a language people already know so we can concentrate on the weirdnesses" < 1362605928 803772 :Gregor!codu@codu.org PRIVMSG #esoteric :How 'bout compared to ShaFuck X-D < 1362605963 239802 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :I think Brainfuck had some issues being a basis for it < 1362605966 597737 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :fizzie: please summon fungot from its deep torpor. < 1362605968 826275 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :Some creative possibilities denied < 1362605977 877301 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :(or is it torpour? that's the problem with being canadian.) < 1362606023 264685 :Bike!~Glossina@71-34-78-123.ptld.qwest.net PRIVMSG #esoteric :tourpour < 1362606075 845206 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :tourpour sounds like a random unpalatable veggie. < 1362606127 34024 :Gregor!codu@codu.org PRIVMSG #esoteric :taeiourpaeioureaux < 1362606166 228038 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :wtf what a stupid error: i assigned the same address to two different "variables" < 1362606205 970275 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :Gregor: wasn't it forbidden by the UN? < 1362606220 397488 :Murtaugh!~mur@unaffiliated/murtaugh PRIVMSG #esoteric :this is the most random channel I've ever been < 1362606239 788113 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :Murtaugh: hmm… small IRC communities normally get this way < 1362606240 261338 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :Must... not... name... that... channel < 1362606243 275482 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I prefer them to talk more on topic < 1362606256 459716 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :Sgeo: I don't know which channel you're talking about, but I agree you shouldn't name it < 1362606258 298062 :Gregor!codu@codu.org PRIVMSG #esoteric :Murtaugh: It'd be hard to beat in that dimension. < 1362606265 548144 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :ais523, one of the Freenode kline channels < 1362606270 855505 :Gregor!codu@codu.org PRIVMSG #esoteric :boily: Yup. Horsemeat. < 1362606275 373770 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :I just want to do some programming with dependent types < 1362606280 807258 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :And Idris was the first thing that came up < 1362606286 762429 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :And it has Haskell-like syntax < 1362606299 309763 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :Sgeo: if it's a kline channel, it can't possibly be random, can it? it's empty by definition < 1362606303 726468 :nooga!~nooga@ip-46-250-173-30.ip.maverick.com.pl QUIT :Ping timeout: 260 seconds < 1362606311 794652 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :ais523, true < 1362606314 20969 :Bike!~Glossina@71-34-78-123.ptld.qwest.net PRIVMSG #esoteric :isn't agda the sexy thing < 1362606322 633476 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :it's like saying "that room over there is random, because it's empty, because it kills anyone who enters it" < 1362606325 772944 :Taneb!~nathan@host-78-148-14-30.as13285.net PRIVMSG #esoteric :I thought a kline channel was a channel with no inside or outside < 1362606328 545502 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :it's both kin of scary, and a non sequitur < 1362606331 840087 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :*kind of scary < 1362606373 166013 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :We're outside a kline channel? That means... we're IN one, man. woah < 1362606445 48707 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :Oh hey, the hello world compiled < 1362606459 324184 :Taneb!~nathan@host-78-148-14-30.as13285.net PRIVMSG #esoteric :Generally a good sign < 1362606482 792025 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :FreeFull: oh no, you're reminding me of a past exam question I was talking my students through today < 1362606490 134096 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :and it took me like 5 minutes to get the answer < 1362606510 447435 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :because it was a trick question, and I recognised it was a trick question, but failed to recognise what the trick was < 1362606521 542534 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :even though I knew what the trick was, I was wrong about how it was being applied < 1362606688 915543 :Bike!~Glossina@71-34-78-123.ptld.qwest.net PRIVMSG #esoteric :this paper is anti-monoidal. i'm sorry shachaf < 1362606728 198811 :Taneb!~nathan@host-78-148-14-30.as13285.net PRIVMSG #esoteric :@hoogle [a] -> [([a],[a])] < 1362606728 583400 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric :Network.CGI.Protocol formDecode :: String -> [(String, String)] < 1362606728 744798 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric :Network.CGI formDecode :: String -> [(String, String)] < 1362606728 745001 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric :Network.CGI.Cookie readCookies :: String -> [(String, String)] < 1362606733 240256 :Taneb!~nathan@host-78-148-14-30.as13285.net PRIVMSG #esoteric :yay < 1362606769 6428 :Bike!~Glossina@71-34-78-123.ptld.qwest.net PRIVMSG #esoteric :@hoogle [a] -> [([b],[c])] < 1362606769 827171 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric :Control.Monad mapAndUnzipM :: Monad m => (a -> m (b, c)) -> [a] -> m ([b], [c]) < 1362606769 976615 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric :Prelude readList :: Read a => ReadS [a] < 1362606769 976790 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric :Text.Read readList :: Read a => ReadS [a] < 1362606912 567131 :TeruFSX!~TeruFSX@65-128-137-85.mpls.qwest.net JOIN :#esoteric < 1362606942 547478 :Taneb!~nathan@host-78-148-14-30.as13285.net PRIVMSG #esoteric ::t \xs -> takeWhile (not.null.snd) $ map (`splitAt` xs) [0..] < 1362606944 211096 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric :[a] -> [([a], [a])] < 1362606950 562648 :Taneb!~nathan@host-78-148-14-30.as13285.net PRIVMSG #esoteric :> (\xs -> takeWhile (not.null.snd) $ map (`splitAt` xs) [0..]) "hello" < 1362606952 662706 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric : [("","hello"),("h","ello"),("he","llo"),("hel","lo"),("hell","o")] < 1362607014 22372 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric : I thought a kline channel was a channel with no inside or outside <-- you are clearly confusing with "klein channel", hth < 1362607051 158762 :Murtaugh!~mur@unaffiliated/murtaugh PRIVMSG #esoteric :lolwut < 1362607114 844105 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :> zip<$>inits<*>tails$"hello" < 1362607116 339138 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric : [("","hello"),("h","ello"),("he","llo"),("hel","lo"),("hell","o"),("hello",... < 1362607126 51333 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :ais523: What was the question? < 1362607136 231019 :Taneb!~nathan@host-78-148-14-30.as13285.net PRIVMSG #esoteric :Murtaugh, here we make jokes based on somewhat obscure subjects < 1362607141 750974 :Taneb!~nathan@host-78-148-14-30.as13285.net PRIVMSG #esoteric :For instance, Kleine bottles < 1362607147 212727 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :oerjan, I get how that works, but do people generally consider that readable? < 1362607155 916160 :Murtaugh!~mur@unaffiliated/murtaugh PRIVMSG #esoteric :I did understand the joke < 1362607179 20403 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :Applicative is cooler than monads < 1362607195 314851 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :Wonder if applicatives should get syntax sugar < 1362607212 440551 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :Sgeo: well the (->) monad/applicative is always a little dubious < 1362607216 817028 :Murtaugh!~mur@unaffiliated/murtaugh PRIVMSG #esoteric :If I say something about klein bottles irl people will just go "WTF?" at me < 1362607218 856750 :Bike!~Glossina@71-34-78-123.ptld.qwest.net PRIVMSG #esoteric ::t tails < 1362607220 702591 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric :[a] -> [[a]] < 1362607221 437724 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :FreeFull: "here is some Java code that compiles but does not do what it's intended to, make three corrections to the code and two to the documentation" < 1362607222 440990 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :Also wonder if a monad could be made to act as syntax sugar for applicatives. I think it would have to error at runtime if you tried something illegal though < 1362607229 672141 :Bike!~Glossina@71-34-78-123.ptld.qwest.net PRIVMSG #esoteric :> tails "hello" < 1362607231 643102 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric : ["hello","ello","llo","lo","o",""] < 1362607234 76061 :Taneb!~nathan@host-78-148-14-30.as13285.net QUIT :Quit: Leaving < 1362607246 186806 :Bike!~Glossina@71-34-78-123.ptld.qwest.net PRIVMSG #esoteric :yeah that seems sensible enough < 1362607277 175590 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :oerjan, too bad, I like that monad/applicative < 1362607289 563019 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :Reminds me of J < 1362607335 348610 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric ::t inits < 1362607335 536622 :nooodl!~nooodl@91.177.66.187 PRIVMSG #esoteric :hah i was thinking "that's a verb train!" too < 1362607336 981422 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric :[a] -> [[a]] < 1362607338 286641 :Bike!~Glossina@71-34-78-123.ptld.qwest.net PRIVMSG #esoteric :well NOW it doesn't seem sensible < 1362607343 638009 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric ::t tails < 1362607345 345651 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric :[a] -> [[a]] < 1362607347 387451 :Bike!~Glossina@71-34-78-123.ptld.qwest.net PRIVMSG #esoteric ::t <*> < 1362607349 126713 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric :parse error on input `<*>' < 1362607352 308943 :Bike!~Glossina@71-34-78-123.ptld.qwest.net PRIVMSG #esoteric ::t (<*>) < 1362607354 65491 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric :Applicative f => f (a -> b) -> f a -> f b < 1362607355 48322 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :Ok, that is actually very straightforward < 1362607357 385614 :Bike!~Glossina@71-34-78-123.ptld.qwest.net PRIVMSG #esoteric :right < 1362607378 409591 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :> (+) <$> id <*> id $ 5 < 1362607380 39187 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric : 10 < 1362607390 62593 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :> (+) <$> id <*> (+1) $ 5 < 1362607391 585770 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric : 11 < 1362607401 87862 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :Bike, do those make sense? < 1362607404 560720 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :Those should be clearer < 1362607405 593839 :Bike!~Glossina@71-34-78-123.ptld.qwest.net PRIVMSG #esoteric :yes < 1362607407 168243 :nooodl!~nooodl@91.177.66.187 PRIVMSG #esoteric :> (/) <$> sum <*> length $ [1,2,3,4,5] < 1362607408 666884 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric : No instance for (GHC.Real.Fractional GHC.Types.Int) < 1362607409 255874 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric : arising from a use o... < 1362607414 63813 :Bike!~Glossina@71-34-78-123.ptld.qwest.net PRIVMSG #esoteric :it's "so easy" < 1362607416 925728 :nooodl!~nooodl@91.177.66.187 PRIVMSG #esoteric :wait. why doesn't this work < 1362607424 508150 :Bike!~Glossina@71-34-78-123.ptld.qwest.net PRIVMSG #esoteric :> zip <$> inits <*> inits <*> inits $ "fuck" < 1362607426 470507 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric : Couldn't match expected type `a0 -> b0' < 1362607426 619988 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric : with actual type `[(a1... < 1362607429 18681 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :nooodl: length is an int < 1362607429 758174 :Bike!~Glossina@71-34-78-123.ptld.qwest.net PRIVMSG #esoteric :cool < 1362607435 531489 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :Or rather returns an Int < 1362607443 705784 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :You'll want fromIntegral somewhere < 1362607451 992370 :nooodl!~nooodl@91.177.66.187 PRIVMSG #esoteric :> (/) <$> sum <*> fromIntegral.length $ [1,2,3,4,5] < 1362607454 61595 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric : 3.0 < 1362607457 18044 :boily!~boily@mtl.savoirfairelinux.net QUIT :Quit: Poulet! < 1362607458 103116 :metasepia!~metasepia@2607:fad8:4:6:f2de:f1ff:fe6c:6765 QUIT :Remote host closed the connection < 1362607462 776932 :nooodl!~nooodl@91.177.66.187 PRIVMSG #esoteric :> 15 / 5 < 1362607464 461564 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric : 3.0 < 1362607467 643782 :nooodl!~nooodl@91.177.66.187 PRIVMSG #esoteric :^ this works fine, though < 1362607469 280202 :Bike!~Glossina@71-34-78-123.ptld.qwest.net PRIVMSG #esoteric :so does this do average in parallel < 1362607484 313247 :Bike!~Glossina@71-34-78-123.ptld.qwest.net PRIVMSG #esoteric :(like J??) < 1362607485 572345 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :nooodl: All valid Num instances have a fromInteger < 1362607491 174952 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :) (+/%#) 1 2 3 4 5 < 1362607491 564404 :jconn!~username@la-pinta.la.net.ua PRIVMSG #esoteric :Sgeo: 3 < 1362607501 480747 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :3 is actually fromInteger 3 underneath < 1362607507 138051 :nooodl!~nooodl@91.177.66.187 PRIVMSG #esoteric :i was rewriting (+/%#) which is a j "idiom" for average < 1362607526 350689 :nooodl!~nooodl@91.177.66.187 PRIVMSG #esoteric :FreeFull: oh < 1362607532 594180 :Bike!~Glossina@71-34-78-123.ptld.qwest.net PRIVMSG #esoteric :i mean, accumulating the length in the same reduction that it accumulates the sum < 1362607533 260444 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :nooodl: If you have an Integer though, it won't automatically get converted to whatever Num instance you want < 1362607544 922921 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :> (3 :: Integer) / 4 < 1362607546 878342 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric : No instance for (GHC.Real.Fractional GHC.Integer.Type.Integer) < 1362607547 47291 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric : arising f... < 1362607582 366229 :nooodl!~nooodl@91.177.66.187 PRIVMSG #esoteric :i see < 1362607612 238138 :Bike!~Glossina@71-34-78-123.ptld.qwest.net PRIVMSG #esoteric :which i assume J does because J is god < 1362607615 194806 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric : so does this do average in parallel <-- i don't think so, ghc isn't very good at deforesting two lists concurrently < 1362607641 454148 :nooodl!~nooodl@91.177.66.187 PRIVMSG #esoteric :J doesn't do that :( < 1362607647 862371 :Bike!~Glossina@71-34-78-123.ptld.qwest.net PRIVMSG #esoteric :dammit J you had one job < 1362607662 266811 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :(e.g. the documentation for zipWith mentions you only get one of them fused) < 1362607672 171025 :nooga!~nooga@ip-46-250-173-30.ip.maverick.com.pl JOIN :#esoteric < 1362607675 651240 :Murtaugh!~mur@unaffiliated/murtaugh PRIVMSG #esoteric :I gotta go < 1362607682 716563 :Murtaugh!~mur@unaffiliated/murtaugh PRIVMSG #esoteric :bye < 1362607688 584921 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :bye Murtaugh < 1362607725 667452 :Murtaugh!~mur@unaffiliated/murtaugh QUIT :Quit: Ping timeout: 10^100*(65536^65536)+(e^(pi*i)) seconds < 1362607732 923871 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :Bike: You could write an efficient average using pipes I think < 1362607760 201698 :nooodl!~nooodl@91.177.66.187 PRIVMSG #esoteric :hmm. a recent haskell idea thingy i had, inspired by J: some datatype that's a pair of inverse functions < 1362607781 718269 :Bike!~Glossina@71-34-78-123.ptld.qwest.net PRIVMSG #esoteric :@tell murtaugh Ping timeout: TREE(3) seconds < 1362607782 249253 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric :Consider it noted. < 1362607783 11371 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :ACTION wonders if this would end up being lense < 1362607784 824768 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :lenses < 1362607791 340305 :Bike!~Glossina@71-34-78-123.ptld.qwest.net PRIVMSG #esoteric :can you do it with lenses < 1362607794 285857 :Bike!~Glossina@71-34-78-123.ptld.qwest.net PRIVMSG #esoteric :was my real question < 1362608225 186690 :sebbu!~sebbu@unaffiliated/sebbu QUIT :Ping timeout: 248 seconds < 1362608863 904616 :sebbu!~sebbu@ADijon-152-1-24-160.w83-194.abo.wanadoo.fr JOIN :#esoteric < 1362608864 236191 :sebbu!~sebbu@ADijon-152-1-24-160.w83-194.abo.wanadoo.fr QUIT :Changing host < 1362608864 385848 :sebbu!~sebbu@unaffiliated/sebbu JOIN :#esoteric < 1362609013 287908 :nooodl!~nooodl@91.177.66.187 PRIVMSG #esoteric :http://codepad.org/q0Zc9nnT mmmh < 1362609101 573527 :Bike!~Glossina@71-34-78-123.ptld.qwest.net PRIVMSG #esoteric :> (:[]) . head [4,5] < 1362609103 605404 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric : No instance for (GHC.Num.Num (f0 a0)) < 1362609103 757296 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric : arising from a use of `e_145' < 1362609103 757476 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric : Pos... < 1362609121 889871 :Bike!~Glossina@71-34-78-123.ptld.qwest.net PRIVMSG #esoteric :> (:[]) $ head [4,5] < 1362609124 208359 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric : [4] < 1362609161 440126 :Bike!~Glossina@71-34-78-123.ptld.qwest.net PRIVMSG #esoteric :> (:[]) . head $ [4,5] < 1362609164 5765 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric : [4] < 1362609171 218238 :Bike!~Glossina@71-34-78-123.ptld.qwest.net PRIVMSG #esoteric :fuckin operator precedence < 1362609224 535610 :nooodl!~nooodl@91.177.66.187 PRIVMSG #esoteric :yeah maybe there should be a law for the thingy going the other way too < 1362609474 364267 :DHeadshot!~DH____@unaffiliated/dh----/x-6288474 QUIT :Read error: Connection reset by peer < 1362609488 230643 :DHeadshot!~DH____@unaffiliated/dh----/x-6288474 JOIN :#esoteric < 1362609576 902054 :sebbu!~sebbu@unaffiliated/sebbu QUIT :Ping timeout: 245 seconds < 1362609728 227559 :cookienugget!a4d71b95@gateway/web/freenode/ip.164.215.27.149 QUIT :Ping timeout: 245 seconds < 1362609908 167682 :sebbu!~sebbu@ADijon-152-1-24-160.w83-194.abo.wanadoo.fr JOIN :#esoteric < 1362609908 574911 :sebbu!~sebbu@ADijon-152-1-24-160.w83-194.abo.wanadoo.fr QUIT :Changing host < 1362609908 724240 :sebbu!~sebbu@unaffiliated/sebbu JOIN :#esoteric < 1362609946 193659 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :Hey, Idris actually has a proper unary - < 1362610016 678578 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :nooodl: Class Foo a b where { foo :: a -> b; defoo :: b -> a } Something like this? < 1362610086 185389 :nooga!~nooga@ip-46-250-173-30.ip.maverick.com.pl QUIT :Ping timeout: 264 seconds < 1362610154 168957 :Bike!~Glossina@71-34-78-123.ptld.qwest.net PRIVMSG #esoteric :that's what's in the paste < 1362610229 855085 :Bike!~Glossina@71-34-78-123.ptld.qwest.net PRIVMSG #esoteric :except with infixity for some reason. < 1362610621 883127 :nooodl!~nooodl@91.177.66.187 PRIVMSG #esoteric :spoiler: < 1362610629 796094 :nooodl!~nooodl@91.177.66.187 PRIVMSG #esoteric :they're infix operators because i couldn't think of a name for them < 1362610641 504208 :nooodl!~nooodl@91.177.66.187 PRIVMSG #esoteric :i like the way i defined them, though. < 1362610758 530073 :Bike!~Glossina@71-34-78-123.ptld.qwest.net PRIVMSG #esoteric :alice, bob < 1362610847 277277 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :phobos and deimos < 1362610930 864774 :augur!~augur@208.58.5.87 JOIN :#esoteric < 1362611029 14536 :Bike!~Glossina@71-34-78-123.ptld.qwest.net PRIVMSG #esoteric :pain and confusion right? perfect for programming < 1362611051 788059 :Bike!~Glossina@71-34-78-123.ptld.qwest.net PRIVMSG #esoteric :fear and dread. oh well < 1362611084 124757 :TeruFSX2!~TeruFSX@65-128-137-85.mpls.qwest.net JOIN :#esoteric < 1362611121 141096 :nooodl!~nooodl@91.177.66.187 PRIVMSG #esoteric :"reg" and "inv" maybe < 1362611451 900137 :epicmonkey!~epicmonke@188.134.41.112 QUIT :Ping timeout: 245 seconds < 1362611492 534750 :TeruFSX2!~TeruFSX@65-128-137-85.mpls.qwest.net QUIT :Quit: Leaving < 1362611701 481330 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net JOIN :#esoteric < 1362611786 458826 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :i thought there was already a package for isomorphisms < 1362611788 968202 :Bike!~Glossina@71-34-78-123.ptld.qwest.net PRIVMSG #esoteric :i thought generally that f⁻¹ . f = id = f . f⁻¹, or am i confusing things with left inverse or wetfuck < 1362611960 782754 :nooodl!~nooodl@91.177.66.187 PRIVMSG #esoteric :you're right < 1362612079 13540 :Phantom__Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 JOIN :#esoteric < 1362612112 781226 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :kmc: lens!!!!! < 1362612178 632691 :Bike!~Glossina@71-34-78-123.ptld.qwest.net PRIVMSG #esoteric :hey elliott can lens do average as one fold or what < 1362612237 476626 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :um maybe < 1362612244 574510 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :you can do that with ```fold zipping''' < 1362612248 826492 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :it forms an applicative functor < 1362612254 940430 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 QUIT :Read error: Connection reset by peer < 1362612281 984354 :Bike!~Glossina@71-34-78-123.ptld.qwest.net PRIVMSG #esoteric :that's a lot of quotes is this a python docsting < 1362612314 300570 :ais523!~ais523@unaffiliated/ais523 QUIT : < 1362612320 109992 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :data Fold a b = Fold b (a -> Fold a b) < 1362612341 945343 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :sumF = sumF' 0 where sumF' !n = Fold n (\_ -> sumF' (n+1)) < 1362612348 411504 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :,,quotes,, < 1362612349 828167 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :er < 1362612354 960464 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :sumF = sumF' 0 where sumF' !n = Fold n (\m -> sumF' (n+m)) < 1362612369 690018 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :lengthF = lengthF' 0 where lengthF' !n = Fold n (\_ -> lengthF' (n+1)) < 1362612371 574910 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :then you can do < 1362612377 992993 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :runFold ((/) <$> sumF <*> lengthF) [1,2,3] < 1362612398 891749 :nooodl!~nooodl@91.177.66.187 QUIT :Ping timeout: 272 seconds < 1362612413 488065 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :btw this is at least 47% profound < 1362612423 62703 :Bike!~Glossina@71-34-78-123.ptld.qwest.net PRIVMSG #esoteric :that's p. profound < 1362612437 787039 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :oh it's a comonad too iirc < 1362612462 393176 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :wait is it a cofree comonad < 1362612472 943622 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :it is < 1362612478 749038 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :it's Cofree ((->) a) < 1362612494 800007 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :wow < 1362612500 209265 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :upping the profundity to 72% < 1362612513 19147 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :oh cool it's basically dual to Supply too. < 1362612534 808365 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :yo does anybody in here have the slightest clue what im talking about < 1362612545 290285 :Bike!~Glossina@71-34-78-123.ptld.qwest.net PRIVMSG #esoteric :nope < 1362612576 157255 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :what about kmc < 1362612727 526546 :Frooxius_!~Frooxius@cust-101.ktknet.cz JOIN :#esoteric < 1362612852 366008 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :that's neat < 1362612870 306289 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :i feel only slightly reassured < 1362612875 740412 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net QUIT :Quit: The struct held his beloved integer in his strong, protecting arms, his eyes like sapphire orbs staring into her own. "W-will you... Will you union me?" < 1362612886 368973 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :What's Supply? < 1362612892 434004 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :> (,) <$> (+3) <*> (*3) $ ZipList [1,2,3,4,5] < 1362612894 332474 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric : No instance for (GHC.Num.Num (Control.Applicative.ZipList a0)) < 1362612894 484792 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric : arising f... < 1362612898 852224 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :Supply = Free ((->) r) < 1362612906 882348 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :what are pure and <*> for Fold < 1362612907 181556 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :Fold = Cofree ((->) r) < 1362612909 861914 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :> (,) <$> (tails) <*> (heads) $ ZipList [1,2,3,4,5] < 1362612910 12659 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :actually fold is more like supply < 1362612912 236585 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric : Not in scope: `heads' < 1362612912 406346 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric : Perhaps you meant one of these: < 1362612912 555777 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric : `reads' (imported... < 1362612920 498309 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :kmc: pure a = Fold a (const (pure a)) < 1362612930 427219 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :i.e. just like foldr (\_ b -> b) a < 1362612937 163416 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :(<*>) is a bit trickier iirc < 1362612939 738768 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :Err, so, a free monad based on reader, so... can take a potentially infinite number of arguments and pass them in, or what? < 1362612940 734126 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :ok < 1362612941 363890 :Bike!~Glossina@71-34-78-123.ptld.qwest.net PRIVMSG #esoteric :FreeFull: inits < 1362612973 995625 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :kmc: oh maybe it's just Fold f q <*> Fold x r = Fold (f x) (\v -> q v <*> r v)??? < 1362612990 117138 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :Sgeo: eg you can feed Free ((->) Int) from stdin < 1362612990 440823 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :> (,) <$> (tails) <*> (inits) $ ZipList [1,2,3,4,5] < 1362612992 587719 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric : Couldn't match expected type `[a0]' < 1362612992 742914 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric : with actual type `Control.... < 1362612993 862336 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :or from a predefined stream of Ints < 1362612995 124288 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :or from an RNG < 1362613004 142127 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :Of course doesn't work on ZipLists < 1362613018 212373 :Bike!~Glossina@71-34-78-123.ptld.qwest.net PRIVMSG #esoteric :ALSO is there like a formal model of code serialization somewhere because i'm blanking < 1362613021 794415 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :back later < 1362613022 686914 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :elliott, is there a way to supply it with a finite source? < 1362613041 76404 :Frooxius!~Frooxius@cust-101.ktknet.cz QUIT :Read error: No route to host < 1362613085 30111 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :yes but your result will have to be eg in maybe < 1362613089 213682 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :Free ((->) r) a -> [r] -> Maybe a < 1362613097 422227 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :because it might ask for an "r" when you don't have any left < 1362613217 181387 :sebbu!~sebbu@unaffiliated/sebbu QUIT :Ping timeout: 248 seconds < 1362613875 339019 :azaq23!~derivecto@unaffiliated/azaq23 QUIT :Quit: Leaving. < 1362614056 490661 :Bike!~Glossina@71-34-78-123.ptld.qwest.net PRIVMSG #esoteric :so that's a no < 1362614139 553633 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :imo you're a no < 1362614144 67178 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :(its actually a yes) < 1362614149 691234 :Bike!~Glossina@71-34-78-123.ptld.qwest.net PRIVMSG #esoteric ::( < 1362614156 714228 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :for instance you couldn't do that with (Stream r -> a) < 1362614191 182748 :sebbu!~sebbu@ADijon-152-1-24-160.w83-194.abo.wanadoo.fr JOIN :#esoteric < 1362614191 608165 :sebbu!~sebbu@ADijon-152-1-24-160.w83-194.abo.wanadoo.fr QUIT :Changing host < 1362614191 757474 :sebbu!~sebbu@unaffiliated/sebbu JOIN :#esoteric