< 1396656474 430914 :Sorella!~queen@oftn/member/Sorella JOIN :#esoteric < 1396656643 991211 :Sellyme!~Sellyme@irc.sellyme.com QUIT :Excess Flood < 1396656765 210768 :Sellyme!~Sellyme@199.127.227.147 JOIN :#esoteric < 1396658259 110585 :Patashu[Zzz]!Patashu@c27-253-115-204.carlnfd2.nsw.optusnet.com.au NICK :Patashu < 1396658359 189640 :zzo38!~zzo38@24-207-51-179.eastlink.ca JOIN :#esoteric < 1396658491 571319 :conehead!~conehead@unaffiliated/conehead QUIT :Quit: Computer has gone to sleep < 1396658556 771625 :conehead!~conehead@unaffiliated/conehead JOIN :#esoteric < 1396658556 958255 :conehead!~conehead@unaffiliated/conehead QUIT :Client Quit < 1396659324 829396 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net JOIN :#esoteric < 1396659579 280225 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :Maybe telling a charity telemarketer that I feel like I have too much money is not a good idea... < 1396659584 970706 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :Was asked for $365 < 1396659623 576526 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :lol < 1396659625 500442 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :sgeo < 1396659636 409721 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :did you pony up < 1396659649 930000 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :I made no promises < 1396659772 312551 :tertu!~tertu@143.44.70.199 QUIT :Disconnected by services < 1396659772 537408 :ter2!~tertu@143.44.70.199 JOIN :#esoteric < 1396659857 483392 :pikhq!~pikhq@2602:100:18b2:fbfb:a60:6eff:fece:493 PRIVMSG #esoteric :Sgeo: Do what I do, and purchase a $1000 monitor. < 1396659884 650628 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :I have no place to put it < 1396659894 340189 :pikhq!~pikhq@2602:100:18b2:fbfb:a60:6eff:fece:493 PRIVMSG #esoteric :Pshaw < 1396660030 499985 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :do what I did, and purchase a $1000 monitor and two $250 monitors < 1396660057 486211 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :seriously though, Sgeo, do you know of http://www.givewell.org/ < 1396660059 569658 :pikhq!~pikhq@2602:100:18b2:fbfb:a60:6eff:fece:493 PRIVMSG #esoteric :I'm pretty sure I don't have cause for another monitor. This thing is huge. < 1396660072 747148 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :kmc: I do < 1396660107 166443 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :I've donated to them a few times. I did mention that to the telemarketer, who was all 'we have 4 stars on Charity Navigator' < 1396660114 279811 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :(They do. It's UNICEF) < 1396660143 340161 :pikhq!~pikhq@2602:100:18b2:fbfb:a60:6eff:fece:493 PRIVMSG #esoteric :Have you considered... having less money? < 1396660184 210054 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :cool < 1396660250 70015 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :Sgeo: if you find a way for donating large amounts of money to produce more than a slight and transient easing of guilt, let me know < 1396660265 233137 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :I think I probably need to do one thing to be objectively helpful, and another thing to feel good about myself < 1396660334 905570 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :Donating large amounts of money on a regular basis automatically? I plan on trying... well, not sufficiently large amounts, but something like that < 1396660358 720155 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :Although I'm sure there would be some guilt with any amount <100% < 1396660898 294156 :ter2!~tertu@143.44.70.199 QUIT :Ping timeout: 240 seconds < 1396661068 340129 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :https://gist.github.com/kmcallister/9986166 speeding up an ASCII whitespace scan by a factor of 5 using SSE 4.2 < 1396661071 860883 :TodPunk!Tod@50-198-177-186-static.hfc.comcastbusiness.net JOIN :#esoteric < 1396661266 280177 :pikhq!~pikhq@2602:100:18b2:fbfb:a60:6eff:fece:493 PRIVMSG #esoteric :How does it compare against http://git.musl-libc.org/cgit/musl/tree/src/string/memchr.c ? < 1396661277 940053 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :don't know < 1396661291 449980 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :that only looks for a single byte though < 1396661294 571237 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :this can do a set of up to 16 < 1396661331 649897 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :this is pretty gnarly code < 1396661705 461754 :pikhq!~pikhq@2602:100:18b2:fbfb:a60:6eff:fece:493 PRIVMSG #esoteric :Ah, so it's more like strspn. < 1396661731 610173 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :kmc: apparently I forgot that Rust has macros :/ < 1396661738 351773 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover QUIT :Ping timeout: 240 seconds < 1396661758 789993 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :http://www.reddit.com/r/rust/comments/224gc0/rust_010_released/cgjpkwh?context=1 < 1396661820 330108 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :420 smoke macros every day < 1396661894 200325 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :RUST IS NOT A GAME WHERE NAKED MEN MURDER EACH OTHER WITH HATCHETS < 1396661995 10083 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :what < 1396662077 790367 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :there is a video game entitled "rust" in which player avatars are naked and murder each other with hatchets < 1396662102 209956 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :then Sgeo is lying < 1396662352 446265 :lexande!arapp@terpsichore.ugcs.caltech.edu PRIVMSG #esoteric :maybe the name of the game is case-sensitive < 1396662402 792299 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :http://playrust.com/wp-content/uploads/2013/12/RustLogo-Normal-Transparent.png it's usually stylized "RUST" though < 1396662419 401149 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :wow i don't know why it looks like that < 1396662624 860880 :Slereah_!~jackal@117.168.90.79.rev.sfr.net QUIT :Ping timeout: 268 seconds < 1396664087 141375 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :https://github.com/mozilla/rust/issues/12723 < 1396664358 338566 :nisstyre!~yourstrul@oftn/member/Nisstyre QUIT :Quit: WeeChat 0.4.3 < 1396664790 311025 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :not bad, metajack < 1396664823 21155 :madbr!boulam@69-165-212-148.cable.teksavvy.com JOIN :#esoteric < 1396664826 631169 :madbr!boulam@69-165-212-148.cable.teksavvy.com PRIVMSG #esoteric :sup < 1396664858 960777 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :coughing < 1396664880 171947 :madbr!boulam@69-165-212-148.cable.teksavvy.com PRIVMSG #esoteric :here's a question < 1396664900 171520 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :What kind of question? < 1396664902 824659 :madbr!boulam@69-165-212-148.cable.teksavvy.com PRIVMSG #esoteric :how efficient is llvm's alias analysis? < 1396664911 101332 :madbr!boulam@69-165-212-148.cable.teksavvy.com PRIVMSG #esoteric :zzo38 : a hard one < 1396664920 201889 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :efficient as in how well does it work, or efficient as in how fast does the analysis itself run < 1396664924 501767 :madbr!boulam@69-165-212-148.cable.teksavvy.com PRIVMSG #esoteric :actually I'm not expecting an answer < 1396664931 771928 :madbr!boulam@69-165-212-148.cable.teksavvy.com PRIVMSG #esoteric :how well < 1396664996 21491 :madbr!boulam@69-165-212-148.cable.teksavvy.com PRIVMSG #esoteric :mostly up to what kind of inner loops can it figure out that none of the writes alias any of the reads < 1396665067 835681 :madbr!boulam@69-165-212-148.cable.teksavvy.com PRIVMSG #esoteric :essentially trying to figure if my architecture concept is never gonna work :D < 1396665129 220923 :madbr!boulam@69-165-212-148.cable.teksavvy.com PRIVMSG #esoteric :mostly interested in the kind of number crunching loops you get in video games < 1396665160 31065 :madbr!boulam@69-165-212-148.cable.teksavvy.com PRIVMSG #esoteric :video rendering, sound rendering, physics simulations, floating point stuff < 1396665189 711057 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :So would you then have instructions dedicated to video, audio, and physics? < 1396665209 531162 :madbr!boulam@69-165-212-148.cable.teksavvy.com PRIVMSG #esoteric :don't care about the kind of code that's all function calls, hashes, graph parsing, linked lists... that kind of code is generally impossible to accelerate anyways < 1396665225 551397 :madbr!boulam@69-165-212-148.cable.teksavvy.com PRIVMSG #esoteric :zzo: no < 1396665255 571444 :madbr!boulam@69-165-212-148.cable.teksavvy.com PRIVMSG #esoteric :zzo: just an architecture that can run ~8 instances of a loop at the same time < 1396665275 581517 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :Yes, you should need some parallel instructions. < 1396665276 281143 :madbr!boulam@69-165-212-148.cable.teksavvy.com PRIVMSG #esoteric :without multithreading < 1396665310 131539 :madbr!boulam@69-165-212-148.cable.teksavvy.com PRIVMSG #esoteric :right, it's similar to autovectorization but a little more general < 1396665327 41684 :madbr!boulam@69-165-212-148.cable.teksavvy.com PRIVMSG #esoteric :essentially it adds possibility for feedback loops < 1396665366 41627 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :wait, feedback? how? < 1396665383 301831 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :In esolang wiki, there is a article called "Checkout" it describes a code for parallel looping, and some other things < 1396665383 861682 :madbr!boulam@69-165-212-148.cable.teksavvy.com PRIVMSG #esoteric :each slice runs 1~2~etc slices after the previous one < 1396665385 711907 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :oh jeez, "jmp 3" and "jmp 3f" are not the same instruction at all < 1396665387 167689 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :jumping to 0x0000000000000003 considered harmful < 1396665428 471319 :madbr!boulam@69-165-212-148.cable.teksavvy.com PRIVMSG #esoteric :so if the longest feedback loop takes 1 cycle to propagate (ie some kind of accumulator), then slice 2 runs 1 instruction later than slice 1 < 1396665505 61313 :madbr!boulam@69-165-212-148.cable.teksavvy.com PRIVMSG #esoteric :if you're doing something like a filter and it takes, say, 10 cycles due to having a couple multiplies in the loop, then slice 2 runs 10 cycles later, slice 3 runs 20 cycles later, slice 4 runs 30 cycles later etc < 1396665595 72032 :madbr!boulam@69-165-212-148.cable.teksavvy.com PRIVMSG #esoteric :it's probably mostly for math heavy DSP kind of code since you can still only do 1 memory read per cycle across all slices < 1396665629 951399 :madbr!boulam@69-165-212-148.cable.teksavvy.com PRIVMSG #esoteric :except for really simple cases like an SSE-style aligned block of values < 1396665698 551579 :madbr!boulam@69-165-212-148.cable.teksavvy.com PRIVMSG #esoteric :so essentially you need 7 math ops to do for every 1 memory read < 1396665724 981547 :madbr!boulam@69-165-212-148.cable.teksavvy.com PRIVMSG #esoteric :if you make it dual-issue then you need 15 math ops for every 1 memory read :D < 1396665800 591761 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :You should then use a "load program" instruction, to load the program into internal memory, and then other instruction set up each execution unit, and then you can make it slice like that to don't interfere with memory access. < 1396665861 10983 :madbr!boulam@69-165-212-148.cable.teksavvy.com PRIVMSG #esoteric :but then you have to operate on really small data loads < 1396665874 940919 :madbr!boulam@69-165-212-148.cable.teksavvy.com PRIVMSG #esoteric :like, cache-size data loads < 1396665888 452504 :madbr!boulam@69-165-212-148.cable.teksavvy.com PRIVMSG #esoteric :kinda like the ps3's cell processor actually < 1396665909 504296 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :What is the cache size? < 1396665958 580819 :madbr!boulam@69-165-212-148.cable.teksavvy.com PRIVMSG #esoteric :it depends on how the chip is made < 1396665973 461178 :madbr!boulam@69-165-212-148.cable.teksavvy.com PRIVMSG #esoteric :but it's definitively under 1 meg < 1396665994 331928 :madbr!boulam@69-165-212-148.cable.teksavvy.com PRIVMSG #esoteric :probably in the 32k~256k range < 1396666033 311759 :madbr!boulam@69-165-212-148.cable.teksavvy.com PRIVMSG #esoteric :essentially it becomes a cell processor like on the ps3 < 1396666144 640883 :pikhq!~pikhq@2602:100:18b2:fbfb:a60:6eff:fece:493 PRIVMSG #esoteric :kmc: Oh jeeze. < 1396666179 201289 :madbr!boulam@69-165-212-148.cable.teksavvy.com PRIVMSG #esoteric :which kinda became moot when they figured out how to turn x86 into 8 cores (which is a pretty scary concept tbh) < 1396666352 151169 :madbr!boulam@69-165-212-148.cable.teksavvy.com PRIVMSG #esoteric :anyhow, if llvm can figure out that none of the memory reads can alias any of the writes inside a loop, you can autovectorize anything that has predictable flow < 1396666438 222560 :madbr!boulam@69-165-212-148.cable.teksavvy.com PRIVMSG #esoteric :if it doesn't have something like "half the operations are memory operations" or "feedback loop is as long as the loop itself so the loop is essentially 100% serial", you can probably come out ahead in terms of speed < 1396666649 160993 :madbr!boulam@69-165-212-148.cable.teksavvy.com PRIVMSG #esoteric :kindof an anti-pentium2 < 1396666739 551128 :madbr!boulam@69-165-212-148.cable.teksavvy.com PRIVMSG #esoteric :which seems to be based around the idea that most programs are horrible unoptimizable crudge made out of jumps and memory accesses < 1396666786 231542 :pikhq!~pikhq@2602:100:18b2:fbfb:a60:6eff:fece:493 PRIVMSG #esoteric :So... programs. < 1396666791 531946 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :http://www.beepboopbitcoin.com/ Finally. < 1396666807 521156 :madbr!boulam@69-165-212-148.cable.teksavvy.com PRIVMSG #esoteric :(the fastest cpus are still ultimately based on that design which I guess says something about software... or maybe about how people benchmark them) < 1396667138 631583 :ter2!~tertu@143.44.70.199 JOIN :#esoteric < 1396667273 941009 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :is it like controversial that most programs are made of jumps and memory accesses? < 1396667301 651083 :madbr!boulam@69-165-212-148.cable.teksavvy.com PRIVMSG #esoteric :well < 1396667314 350936 :fcrawl!~nooodl@218.117-242-81.adsl-dyn.isp.belgacom.be QUIT :Ping timeout: 240 seconds < 1396667329 871254 :madbr!boulam@69-165-212-148.cable.teksavvy.com PRIVMSG #esoteric :no but it's essentially the unoptimizable part of programs < 1396667344 442638 :madbr!boulam@69-165-212-148.cable.teksavvy.com PRIVMSG #esoteric :since it has lots of stuff like short dependencies < 1396667362 431539 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :Some things in the program could be manually optimized though < 1396667395 801136 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :scanned 100 MB of data for ASCII space characters in about 8 ms < 1396667399 520824 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :12 GB/s ain't bad < 1396667406 381294 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :it's within a factor of 2 of the theoretical max memory bandwidth < 1396668389 525475 :^v!~notnot^v@c-71-238-153-166.hsd1.mi.comcast.net PRIVMSG #esoteric :47 is one of my favorite numbers now < 1396668406 790829 :copumpkin!~copumpkin@unaffiliated/copumpkin PRIVMSG #esoteric :I agree. It's a pretty good number < 1396668480 140951 :^v!~notnot^v@c-71-238-153-166.hsd1.mi.comcast.net PRIVMSG #esoteric :it (47*x)%256 can be anywhere from 0-255 < 1396668499 370925 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :what causes that, 256 and 47 being coprime probably? < 1396668550 992013 :copumpkin!~copumpkin@unaffiliated/copumpkin PRIVMSG #esoteric :aren't all odd numbers coprime to 256? < 1396668551 831906 :^v!~notnot^v@c-71-238-153-166.hsd1.mi.comcast.net PRIVMSG #esoteric :i recently found this out by making a text to Barely converter < 1396668570 961003 :^v!~notnot^v@c-71-238-153-166.hsd1.mi.comcast.net PRIVMSG #esoteric :copumpkin, yes actually, fuck < 1396668582 820937 :^v!~notnot^v@c-71-238-153-166.hsd1.mi.comcast.net PRIVMSG #esoteric :
ACTION stabs 4 7
< 1396669585 610850 :ter2!~tertu@143.44.70.199 QUIT :Ping timeout: 240 seconds < 1396669777 941257 :madbr!boulam@69-165-212-148.cable.teksavvy.com PRIVMSG #esoteric :rsa-8 :D < 1396669920 111285 :ter2!~tertu@143.44.70.199 JOIN :#esoteric < 1396670859 770162 :ter2!~tertu@143.44.70.199 QUIT :Ping timeout: 252 seconds < 1396671184 352286 :ter2!~tertu@143.44.70.199 JOIN :#esoteric < 1396671285 286865 :nisstyre!~yourstrul@c-74-114-78-97.netflash.net JOIN :#esoteric < 1396671290 646821 :nisstyre!~yourstrul@c-74-114-78-97.netflash.net QUIT :Changing host < 1396671290 833459 :nisstyre!~yourstrul@oftn/member/Nisstyre JOIN :#esoteric < 1396671769 993263 :Sorella!~queen@oftn/member/Sorella QUIT :Quit: It is tiem! < 1396671946 773239 :conehead!~conehead@unaffiliated/conehead JOIN :#esoteric < 1396672022 341253 :^v!~notnot^v@c-71-238-153-166.hsd1.mi.comcast.net PRIVMSG #esoteric :so < 1396672038 391447 :^v!~notnot^v@c-71-238-153-166.hsd1.mi.comcast.net PRIVMSG #esoteric :i made hello world in barely < 1396672039 541242 :^v!~notnot^v@c-71-238-153-166.hsd1.mi.comcast.net PRIVMSG #esoteric :xoooooooooooooohjjjjjjjjjjjjjjjhhhxooooooooxooooooxjjjxjjjjjjjjjjjjjjjjjjjjjjjjxjjjjjjjjhxooooooooooooxooohjjjjhhhxjjjxxjjjjjjjxjjjjjjjhhjhhhhoooooxhoooooooooooooooooooooohjhhhoooooooooooo~ < 1396672208 397307 :^v!~notnot^v@c-71-238-153-166.hsd1.mi.comcast.net PRIVMSG #esoteric :and holy shit i made it smaller < 1396672209 93061 :^v!~notnot^v@c-71-238-153-166.hsd1.mi.comcast.net PRIVMSG #esoteric :xjhhhhxooooooooxooooooxjjjxhhoohhhhxjjjjjjjjhxooooooooooooxjhhhhxjjjxxjjjjjjjxjjjhhhhhhxjjjjjjjjjjjjjjhhhh~ < 1396672258 590690 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :it looks like a cat is walking on your keyboard < 1396672306 661163 :^v!~notnot^v@c-71-238-153-166.hsd1.mi.comcast.net PRIVMSG #esoteric :i am the kind of asshole who makes hello worlds in languages that dont have them yet < 1396672310 830577 :^v!~notnot^v@c-71-238-153-166.hsd1.mi.comcast.net PRIVMSG #esoteric :and doesnt post them to the wiki < 1396672343 720894 :^v!~notnot^v@c-71-238-153-166.hsd1.mi.comcast.net PRIVMSG #esoteric :what i have so far: fishstacks and barely < 1396672346 380695 :^v!~notnot^v@c-71-238-153-166.hsd1.mi.comcast.net PRIVMSG #esoteric :need to make more < 1396672349 770432 :^v!~notnot^v@c-71-238-153-166.hsd1.mi.comcast.net PRIVMSG #esoteric :just to piss people off < 1396672369 630477 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :I would want the instruction set, where, implicit vectorization/out-of-order/pipelining/caching/etc is not allowed. < 1396672420 562361 :^v!~notnot^v@c-71-238-153-166.hsd1.mi.comcast.net PRIVMSG #esoteric :and mind you, these are all pregenerated tables which i can use to convert text to that lang instantly < 1396672434 501099 :^v!~notnot^v@c-71-238-153-166.hsd1.mi.comcast.net PRIVMSG #esoteric :which i am not giving to you, because i am an asshole < 1396672557 351088 :madbr!boulam@69-165-212-148.cable.teksavvy.com PRIVMSG #esoteric :zzo38 : I'm not sure sure that's possible < 1396672570 715566 :madbr!boulam@69-165-212-148.cable.teksavvy.com PRIVMSG #esoteric :zzo38 : though you can make it really hard :D < 1396672624 370579 :^v!~notnot^v@c-71-238-153-166.hsd1.mi.comcast.net PRIVMSG #esoteric :a compiler that disagrees with you if you do something too complicated < 1396672709 27307 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :madbr: What do you mean by that? < 1396672717 751140 :madbr!boulam@69-165-212-148.cable.teksavvy.com PRIVMSG #esoteric :well < 1396672732 461357 :madbr!boulam@69-165-212-148.cable.teksavvy.com PRIVMSG #esoteric :without self modifying code you can simply cache the code < 1396672739 380644 :madbr!boulam@69-165-212-148.cable.teksavvy.com PRIVMSG #esoteric :and cache the data < 1396672788 117367 :madbr!boulam@69-165-212-148.cable.teksavvy.com PRIVMSG #esoteric :the running core cannot figure out that it got hella cached < 1396672802 41068 :madbr!boulam@69-165-212-148.cable.teksavvy.com PRIVMSG #esoteric :or even out-of-ordered < 1396672804 380606 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :I mean, that cache is only accessed by instructions which explicitly access the cache in the certain way. < 1396672844 910781 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :And then, the instructions in cache are VLIW which is different from instructions from external memory, is another possibility. < 1396672889 620851 :madbr!boulam@69-165-212-148.cable.teksavvy.com PRIVMSG #esoteric :explicit cache I think doesn't gain anything AFAIK < 1396672943 410676 :^v!~notnot^v@c-71-238-153-166.hsd1.mi.comcast.net PRIVMSG #esoteric :well < 1396672960 961417 :^v!~notnot^v@c-71-238-153-166.hsd1.mi.comcast.net PRIVMSG #esoteric :because i dont feel like being an asshole today, here is the conversion table: https://gist.github.com/infinikiller64/9987604 < 1396672973 682488 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :It gains not complicating the execution with not knowing the cache and having to just guess instead, making also the speed confusing... < 1396672973 869150 :^v!~notnot^v@c-71-238-153-166.hsd1.mi.comcast.net PRIVMSG #esoteric :warning: your browser will probably crash < 1396673022 180639 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :^v: Then put "view-source:" at front, or download using curl, and then the browser might not crash as much. < 1396673034 410431 :^v!~notnot^v@c-71-238-153-166.hsd1.mi.comcast.net PRIVMSG #esoteric :fine < 1396673034 971244 :^v!~notnot^v@c-71-238-153-166.hsd1.mi.comcast.net PRIVMSG #esoteric :https://gist.githubusercontent.com/infinikiller64/9987604/raw/07db8ab7a7e64a58e4f2fb3bb957296b5a54f2cf/gistfile1.lua < 1396673054 458209 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :OK, that one better < 1396673058 584642 :^v!~notnot^v@c-71-238-153-166.hsd1.mi.comcast.net PRIVMSG #esoteric :891.06KB < 1396673095 982096 :^v!~notnot^v@c-71-238-153-166.hsd1.mi.comcast.net PRIVMSG #esoteric :256^2 values < 1396673202 500871 :madbr!boulam@69-165-212-148.cable.teksavvy.com PRIVMSG #esoteric :zzo38 : it simplifies the design I guess yeah < 1396673205 11040 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :madbr: I think simplicity of the implementation is better than simplicity of the interface, and simplicity is better than completeness, robustness, correctness, sanity, etc. < 1396673233 992710 :madbr!boulam@69-165-212-148.cable.teksavvy.com PRIVMSG #esoteric :but to get the kind of RISC speed there's more or less no way around a data and instruction cache < 1396673241 980969 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :Yes, I always want to simplify the design. < 1396673246 701868 :madbr!boulam@69-165-212-148.cable.teksavvy.com PRIVMSG #esoteric :otherwise your speed is going to be on the order of the 386 < 1396673259 561533 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :I did not say to eliminate the cache entirely, but to make it explicit-only. < 1396673264 820920 :madbr!boulam@69-165-212-148.cable.teksavvy.com PRIVMSG #esoteric :unless you use pseudo-static ram or some other similar exotic part < 1396673303 541062 :madbr!boulam@69-165-212-148.cable.teksavvy.com PRIVMSG #esoteric :zzo38 : then you're still going to need 2 RAM banks probably < 1396673317 688948 :madbr!boulam@69-165-212-148.cable.teksavvy.com PRIVMSG #esoteric :one for data, one for instructions < 1396673386 590652 :madbr!boulam@69-165-212-148.cable.teksavvy.com PRIVMSG #esoteric :the problem is that DRAM has pages :( < 1396673399 630996 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :There would still be an internal cache, which is also used for microcodes, so in instruction cache it would be VLIW codes < 1396673455 332176 :madbr!boulam@69-165-212-148.cable.teksavvy.com PRIVMSG #esoteric :opening a new page and reading a value is something like 3 times slower than reading a value from an already open page < 1396673465 842544 :madbr!boulam@69-165-212-148.cable.teksavvy.com PRIVMSG #esoteric :more if you're using more recent DRAM < 1396673530 361688 :madbr!boulam@69-165-212-148.cable.teksavvy.com PRIVMSG #esoteric :pages are something like 512bytes/1k/2k/4k/8k etc depending on DRAM generation/size < 1396673547 571437 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :It could use 8-bits external memory interface, and 128-bits for internal memory interface for cache, so you can deal with arrays of whatever bit size of data, you loaded, and is also for use with VLIW, which has longer instructions than the external one. < 1396673586 86327 :madbr!boulam@69-165-212-148.cable.teksavvy.com PRIVMSG #esoteric :I'm not sure you can guzzle picture data from RAM fast enough if your external memory is only 8 bits < 1396673588 371315 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :madbr: It would be OK, as long as, the number of clock cycles is based on a fixed DRAM size/speeds < 1396673739 566303 :madbr!boulam@69-165-212-148.cable.teksavvy.com PRIVMSG #esoteric :if your part is a cpu, it's going to mix up accesses to data with accesses to instructions < 1396673751 410840 :madbr!boulam@69-165-212-148.cable.teksavvy.com PRIVMSG #esoteric :so you're going to have the page-change-penalty every cycle < 1396673764 440580 :madbr!boulam@69-165-212-148.cable.teksavvy.com PRIVMSG #esoteric :well, every time you access data actually < 1396673770 410913 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :http://web.archive.org/web/19990128210124/http://people.netscape.com/brendan/ this is real right? tell me it is < 1396673794 340643 :^v!~notnot^v@c-71-238-153-166.hsd1.mi.comcast.net PRIVMSG #esoteric :function SwapBack() { document.knob.src = Image1.src; return true; } < 1396673817 570727 :^v!~notnot^v@c-71-238-153-166.hsd1.mi.comcast.net PRIVMSG #esoteric :all i see < 1396673818 131001 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :madbr: You could have a separate GPU as well, as CPU, so it is possible to write the program in the way to act in parallel; you can also store the data in the cache which you would use mostly often, to increase the speed; and, depending on the way the program is written to use/unuse cache, use self-modifying codes, too. < 1396673821 820449 :^v!~notnot^v@c-71-238-153-166.hsd1.mi.comcast.net PRIVMSG #esoteric :page still loading < 1396673834 440927 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :(Possibly even the program in cache is allowed to modify itself) < 1396673896 540763 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :Self-modifying codes should be allowed, as it is very useful. < 1396673911 880958 :madbr!boulam@69-165-212-148.cable.teksavvy.com PRIVMSG #esoteric :I'm not convinced it's worth the complexity < 1396673938 240805 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :If you store the value of a variable in an immediate operand, then you can avoid a page penalty. < 1396673941 121721 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :Bike: not enough jquery < 1396673953 960523 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :(It also avoid a memory access, too.) < 1396673964 542207 :madbr!boulam@69-165-212-148.cable.teksavvy.com PRIVMSG #esoteric :except it's still a memory access < 1396673990 449446 :madbr!boulam@69-165-212-148.cable.teksavvy.com PRIVMSG #esoteric :and later on when you're pipelining your architecture, you're in deep trouble < 1396674042 60673 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :Some instruction sets don't have pipeline stalls, so it avoids that problem; you then need to program them yourself. < 1396674083 470813 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :You can also, tell it to copy it to the cache and then tell it to read/write cache and execute instruction in a cache, is another way speeding it up a bit. < 1396674084 170630 :madbr!boulam@69-165-212-148.cable.teksavvy.com PRIVMSG #esoteric :it's really hard to avoid pipeline stalls < 1396674096 472465 :madbr!boulam@69-165-212-148.cable.teksavvy.com PRIVMSG #esoteric :if you have cache you have pipeline stalls < 1396674115 731522 :madbr!boulam@69-165-212-148.cable.teksavvy.com PRIVMSG #esoteric :if you have branch prediction you have pipeline flushes < 1396674116 810772 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :That is why, it has to be explicit-only cache. < 1396674146 497031 :madbr!boulam@69-165-212-148.cable.teksavvy.com PRIVMSG #esoteric :if you have something like load reg, [reg + 5] < 1396674153 612598 :madbr!boulam@69-165-212-148.cable.teksavvy.com PRIVMSG #esoteric :you have pipeline stalls < 1396674156 643239 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :If you use it wrong, you are subject to the consequences by yourself. < 1396674177 920736 :madbr!boulam@69-165-212-148.cable.teksavvy.com PRIVMSG #esoteric :because if the reg in [reg + 5] changes the cycle before, you have to catch that < 1396674241 10701 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :madbr: The program would be written to avoid that if you want it to use the register that changes in the cycle before. < 1396674280 746011 :madbr!boulam@69-165-212-148.cable.teksavvy.com PRIVMSG #esoteric :then your program has extra nops every time some other useful instruction can't be swapped in < 1396674314 521076 :madbr!boulam@69-165-212-148.cable.teksavvy.com PRIVMSG #esoteric :the extra nops take up extra code cache which makes the thing slower < 1396674315 321396 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :Yes, it does, but if you don't have another useful instruction to put in, then be careful maybe you wrote your program badly and there might be a way to fix it. < 1396674325 640736 :oklopol!~oklopol@dyn60-339.yok.fi JOIN :#esoteric < 1396674332 57686 :madbr!boulam@69-165-212-148.cable.teksavvy.com PRIVMSG #esoteric :depends on the kind of algo < 1396674349 460615 :madbr!boulam@69-165-212-148.cable.teksavvy.com PRIVMSG #esoteric :if it's number crunching stuff then usually there's something you can stuff in yes < 1396674367 232645 :madbr!boulam@69-165-212-148.cable.teksavvy.com PRIVMSG #esoteric :if it's like, zip decompression or something nasty like that... god have mercy on you < 1396674374 710766 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :Anyways, my suggestion was that, the instruction cache would be VLIW, so different than the instruction set used for executing external memory anyways < 1396674405 477551 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :(It would execute microcode ROM if the instruction cache is not being executed.) < 1396674450 480878 :madbr!boulam@69-165-212-148.cable.teksavvy.com PRIVMSG #esoteric :I guess vliw would be ok if you had a way to switch to some less efficient instruction set < 1396674466 645370 :madbr!boulam@69-165-212-148.cable.teksavvy.com PRIVMSG #esoteric :for like non-number-crunching code < 1396674488 380891 :madbr!boulam@69-165-212-148.cable.teksavvy.com PRIVMSG #esoteric :where you're going to do lots of memory accesses anyways so there's no point to having 6 ALUs < 1396674517 100768 :madbr!boulam@69-165-212-148.cable.teksavvy.com PRIVMSG #esoteric :and then for that one hand-optimized crunching loop, use the VLIW mode < 1396674529 696086 :^v!~notnot^v@c-71-238-153-166.hsd1.mi.comcast.net PRIVMSG #esoteric :Bike, the page finnaly loaded and xD < 1396674538 821988 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :yeah < 1396674573 930479 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :If the program isn't in cache, it would use a less efficieint instruction set. Otherwise, if it is in the cache, you would need to implement your own instruction set that the program in microcode RAM runs from the rest of the cache. < 1396674620 290459 :madbr!boulam@69-165-212-148.cable.teksavvy.com PRIVMSG #esoteric :essentially this is what the ARM does with the THUMB vs ARM < 1396674669 380456 :madbr!boulam@69-165-212-148.cable.teksavvy.com PRIVMSG #esoteric :thumb is 16 bits which limits the number of ram cycles you lose to loading in the stuff < 1396674760 690725 :madbr!boulam@69-165-212-148.cable.teksavvy.com PRIVMSG #esoteric :though you could probably just have a VLIW that has a choice between 1 big VLIW instruction word, or an instruction word that encodes multiple one-cycle instructions < 1396674849 312411 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :Sure, that is another possibility < 1396674946 700307 :madbr!boulam@69-165-212-148.cable.teksavvy.com PRIVMSG #esoteric :it's hard to find a good balance in this kinda thing :D < 1396675028 181429 :madbr!boulam@69-165-212-148.cable.teksavvy.com PRIVMSG #esoteric :optimal instruction is somewhere between 16 and 32 bits AFAIK < 1396675062 390693 :madbr!boulam@69-165-212-148.cable.teksavvy.com PRIVMSG #esoteric :less than 16 and it's too small, not enough bits for the register selection < 1396675088 703011 :madbr!boulam@69-165-212-148.cable.teksavvy.com PRIVMSG #esoteric :plus you need too much granularity in your instruction word shifter < 1396675196 760729 :madbr!boulam@69-165-212-148.cable.teksavvy.com PRIVMSG #esoteric :more than 32 and you're probably wasting too much instruction cache space, unless it's VLIW and you're packing more than one instruction per word... < 1396675205 760613 :madbr!boulam@69-165-212-148.cable.teksavvy.com PRIVMSG #esoteric :AFAIK this was a major problem on itanium < 1396675257 690612 :madbr!boulam@69-165-212-148.cable.teksavvy.com PRIVMSG #esoteric :also if your cpu is dual issue that is kinda equivalent-ish to making your instructions 64bits < 1396675359 431114 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :What does "dual issue" mean? < 1396675367 866949 :madbr!boulam@69-165-212-148.cable.teksavvy.com PRIVMSG #esoteric :two instructions per cycle < 1396675403 577 :madbr!boulam@69-165-212-148.cable.teksavvy.com PRIVMSG #esoteric :see: intel pentium, ARM A8 (used on lots of older iphones), one MIPS generation (can't remember which) < 1396675415 687132 :madbr!boulam@69-165-212-148.cable.teksavvy.com PRIVMSG #esoteric :I think there was also one of the 68k that was designed like that < 1396675434 140487 :madbr!boulam@69-165-212-148.cable.teksavvy.com PRIVMSG #esoteric :afaik it's one of the cpu design "sweet spots" < 1396675466 937247 :madbr!boulam@69-165-212-148.cable.teksavvy.com PRIVMSG #esoteric :less than 2 and you're running 1 instruction per cycle... and essentially twice as slow < 1396675485 100573 :chaiomanot!~chaiomano@72-161-15-177.dyn.centurytel.net QUIT :Quit: Leaving < 1396675505 211645 :madbr!boulam@69-165-212-148.cable.teksavvy.com PRIVMSG #esoteric :more than 2 and chances are you're going to need crazy stuff like out of order execution to make it any faster than 2 instructions per cycle < 1396675519 981947 :madbr!boulam@69-165-212-148.cable.teksavvy.com PRIVMSG #esoteric :(though I guess the IBM POWER6 did it) < 1396675520 260997 :tromp!~tromp@ool-4570a22a.dyn.optonline.net QUIT :Remote host closed the connection < 1396675555 977222 :tromp!~tromp@ool-4570a22a.dyn.optonline.net JOIN :#esoteric < 1396675559 110457 :madbr!boulam@69-165-212-148.cable.teksavvy.com PRIVMSG #esoteric :(and it really depends on the type of program, I'm sure you can do a lot more in-order if your programs are number crunching or floating point) < 1396675687 970595 :madbr!boulam@69-165-212-148.cable.teksavvy.com PRIVMSG #esoteric :I guess it all comes down to "what kind of game is going to run on it" :D < 1396675809 270679 :tromp!~tromp@ool-4570a22a.dyn.optonline.net QUIT :Ping timeout: 252 seconds < 1396675863 260699 :madbr!boulam@69-165-212-148.cable.teksavvy.com PRIVMSG #esoteric :the general problem with a VLIW is to make it faster than a well designed RISC < 1396675916 861152 :madbr!boulam@69-165-212-148.cable.teksavvy.com PRIVMSG #esoteric :ie "pay for" your large instructions by figuring out stuff for your CPU to do in the leftover slots < 1396675996 591716 :madbr!boulam@69-165-212-148.cable.teksavvy.com PRIVMSG #esoteric :if this fails, the RISC is faster than you because it needs less code cache < 1396676137 992618 :madbr!boulam@69-165-212-148.cable.teksavvy.com PRIVMSG #esoteric :generally the stuff that reduces your gains are stuff like < 1396676152 360840 :madbr!boulam@69-165-212-148.cable.teksavvy.com PRIVMSG #esoteric :- ram/cache read ports < 1396676167 830630 :madbr!boulam@69-165-212-148.cable.teksavvy.com PRIVMSG #esoteric :- register file read/write ports < 1396676259 760623 :madbr!boulam@69-165-212-148.cable.teksavvy.com PRIVMSG #esoteric :- absolute latencies in instruction processing, which can also be described as "lack of number crunching to do while working on the critical-latency-path" < 1396676497 360734 :madbr!boulam@69-165-212-148.cable.teksavvy.com PRIVMSG #esoteric :that being said, gfx and sound rendering are more or less the ideal case for finding stuff that won't fall into these limits and will actually benefit from VLIW or similar stuff like SIMD < 1396676535 450414 :^v!~notnot^v@c-71-238-153-166.hsd1.mi.comcast.net PRIVMSG #esoteric :anyone still have barely.asm? < 1396676541 340614 :^v!~notnot^v@c-71-238-153-166.hsd1.mi.comcast.net PRIVMSG #esoteric :link b bork < 1396676785 10828 :zzo38!~zzo38@24-207-51-179.eastlink.ca QUIT :Ping timeout: 255 seconds < 1396676996 680845 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :> fix (sequence [(!! 1), 2 + 2]) < 1396676996 867996 :idris-ircslave!~ircslave@dslb-088-077-168-087.pools.arcor-ip.net PRIVMSG #esoteric :When elaborating an application of constructor 04__infer: < 1396676997 54507 :idris-ircslave!~ircslave@dslb-088-077-168-087.pools.arcor-ip.net PRIVMSG #esoteric : No such variable fix < 1396676998 20816 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : No instance for (GHC.Show.Show a0) < 1396676998 207485 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : arising from a use of `M688017572578786861922522.show_M6880175725787868619... < 1396676998 207651 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : The type variable `a0' is ambiguous < 1396676998 207747 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : Possible fix: add a type signature that fixes these type variable(s) < 1396676998 207842 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : Note: there are several potential instances: < 1396677022 370490 :^v!~notnot^v@c-71-238-153-166.hsd1.mi.comcast.net PRIVMSG #esoteric :._. < 1396677024 750954 :^v!~notnot^v@c-71-238-153-166.hsd1.mi.comcast.net PRIVMSG #esoteric :dat spam < 1396677026 440998 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :@run fix (sequence [(!! 1), 2 + 2]) :: [Int] < 1396677027 701043 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : No instance for (GHC.Num.Num ([GHC.Types.Int] -> GHC.Types.Int)) < 1396677027 887724 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : arising from a use of `GHC.Num.+' < 1396677027 887887 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : Possible fix: < 1396677027 887985 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : add an instance declaration for < 1396677027 888079 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : (GHC.Num.Num ([GHC.Types.Int] -> GHC.Types.Int)) < 1396677034 330766 :^v!~notnot^v@c-71-238-153-166.hsd1.mi.comcast.net PRIVMSG #esoteric :wow < 1396677053 160610 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :What < 1396677056 352789 :Patashu[Zzz]!~Patashu@c27-253-115-204.carlnfd2.nsw.optusnet.com.au JOIN :#esoteric < 1396677056 539437 :Patashu!Patashu@c27-253-115-204.carlnfd2.nsw.optusnet.com.au QUIT :Disconnected by services < 1396677066 390554 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :@run fix (sequence [(!! 1), (2 +)]) < 1396677067 510573 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : Occurs check: cannot construct the infinite type: a0 = [a0] < 1396677068 207390 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : Expected type: [a0] -> a0 < 1396677068 207611 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : Actual type: [a0] -> [a0] < 1396677069 860510 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :Trying to recreate something similar to the loeb example < 1396677088 992389 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :With just reader monad + fix < 1396677275 93809 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric ::t sequence [(!! 1), const (2 + 2)] < 1396677276 300515 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :Num a => [a] -> [a] < 1396677284 100884 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :@run fix $ sequence [(!! 1), const (2 + 2)] < 1396677285 430696 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : [4,4] < 1396677296 330682 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :@run fix $ sequence [ (!!5), const 3, liftM2 (+) (!!0) (!!1), (*2) . (!!2), length, const 17 ] < 1396677297 620847 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : [17,3,20,40,6,17] < 1396677335 701753 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :@let loeb :: [[a] -> a] -> [a]; loeb = fix . sequence < 1396677337 191036 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : Defined. < 1396677366 631276 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :Actually < 1396677372 70605 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :That's not the standard defintion of loeb, is it? < 1396677372 257348 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric ::t fix . sequence < 1396677373 262091 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :[[a] -> a] -> [a] < 1396677394 917816 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :The type looked more general than that, but sequence is constraining it < 1396677429 930003 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric ::t let loeb x = ($ loeb x) <$> x in loeb < 1396677430 923345 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :Functor f => f (f b -> b) -> f b < 1396677466 390520 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric ::t fix . sequenceA < 1396677467 380668 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : Not in scope: `sequenceA' < 1396677467 567418 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : Perhaps you meant one of these: < 1396677467 567617 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : `T.sequenceA' (imported from Data.Traversable), < 1396677472 262769 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric ::t fix . T.sequenceA < 1396677473 281210 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :Traversable t => t (t a -> a) -> t a < 1396677529 530622 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :@pl loeb x = ($ loeb x) <$> x -- trivial fix < 1396677529 810507 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :loeb = fix ((<$>) . flip id =<<) < 1396677612 940599 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :@fundefine < 1396677613 220658 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :Undefined. < 1396677627 720724 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :@let loeb = fix (fmap.flip id =<<) < 1396677628 514162 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : .L.hs:142:13: < 1396677629 107883 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : No instance for (Functor f0) arising from a use of `fmap' < 1396677629 108083 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : The type variable `f0' is ambiguous < 1396677629 108239 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : Possible fix: add a type signature that fixes these type variable(s) < 1396677629 108340 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : Note: there are several potential instances: < 1396677678 621238 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :@let loeb :: Functor f => f (f b -> b) -> f b; loeb = fix (fmap.flip id =<<) < 1396677679 961605 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : Defined. < 1396677855 270825 :madbr!boulam@69-165-212-148.cable.teksavvy.com QUIT :Quit: Rouringu de hajikunda! < 1396678522 781707 :^v!~notnot^v@c-71-238-153-166.hsd1.mi.comcast.net QUIT :Quit: http://i.imgur.com/DrFFzea.png < 1396679158 321523 :ter2!~tertu@143.44.70.199 QUIT :Ping timeout: 240 seconds < 1396679293 780659 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric ::t loeb < 1396679294 890675 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :Functor f => f (f b -> b) -> f b < 1396679338 750750 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :> loeb Just (\Just x -> x) < 1396679338 937395 :idris-ircslave!~ircslave@dslb-088-077-168-087.pools.arcor-ip.net PRIVMSG #esoteric :When elaborating an application of constructor 04__infer: < 1396679339 124300 :idris-ircslave!~ircslave@dslb-088-077-168-087.pools.arcor-ip.net PRIVMSG #esoteric : No such variable loeb < 1396679339 730820 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : Constructor `Data.Maybe.Just' should have 1 argument, but has been given none < 1396679358 930754 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :> loeb Just (\(Just x) -> x) < 1396679359 117966 :idris-ircslave!~ircslave@dslb-088-077-168-087.pools.arcor-ip.net PRIVMSG #esoteric :When elaborating an application of constructor 04__infer: < 1396679359 727390 :idris-ircslave!~ircslave@dslb-088-077-168-087.pools.arcor-ip.net PRIVMSG #esoteric : No such variable loeb < 1396679360 30914 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : Couldn't match type `Data.Maybe.Maybe (Data.Maybe.Maybe t0 -> t0)' < 1396679360 217830 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : with `((Data.Maybe.Maybe t0 -> t0) -> b0) -> b0' < 1396679360 218097 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : Expected type: (Data.Maybe.Maybe t0 -> t0) < 1396679360 218194 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : -> ((Data.Maybe.Maybe t0 -> t0) -> b0) -> b0 < 1396679360 218289 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : Actual type: (Data.Maybe.Maybe t0 -> t0) < 1396679651 211306 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :@run loeb $ Just fromJust < 1396679654 962754 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : mueval-core: Time limit exceeded < 1396679684 170897 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :> let fun :: (Functor f, Functor g) => f -> g -> (f b -> b) -> f b -> g b; fun f g x = f ( g x) in fun Just Just (\(Just x) -> x) 9 < 1396679684 357565 :idris-ircslave!~ircslave@dslb-088-077-168-087.pools.arcor-ip.net PRIVMSG #esoteric :(input):1:9: error: expected: "=" < 1396679684 544555 :idris-ircslave!~ircslave@dslb-088-077-168-087.pools.arcor-ip.net PRIVMSG #esoteric :let fun :: (Functor f, Functor g) => f -> g -> (f b -> b) -> f b -> g b; fun > < 1396679684 544744 :idris-ircslave!~ircslave@dslb-088-077-168-087.pools.arcor-ip.net PRIVMSG #esoteric : ^ < 1396679685 298229 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : Expecting one more argument to `f' < 1396679692 560905 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :^- what's wrong with that? < 1396679714 21219 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :Everything < 1396679763 709934 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :> let bar :: Functor f => f -> a -> f a; bar f x = f x in (bar Just) 9 < 1396679763 933150 :idris-ircslave!~ircslave@dslb-088-077-168-087.pools.arcor-ip.net PRIVMSG #esoteric :(input):1:9: error: expected: "=" < 1396679763 933305 :idris-ircslave!~ircslave@dslb-088-077-168-087.pools.arcor-ip.net PRIVMSG #esoteric :let bar :: Functor f => f -> a -> f a; bar f x = f x in (bar Just) 9 < 1396679763 933405 :idris-ircslave!~ircslave@dslb-088-077-168-087.pools.arcor-ip.net PRIVMSG #esoteric : ^ < 1396679764 860627 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : Expecting one more argument to `f' < 1396679776 650680 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :I see. < 1396679795 40879 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :@run let fun :: (Functor f, Functor g) => (a -> f a) -> (a -> g a) -> (f a -> a) -> f a -> g a; fun f g x = f (g x) in fun Just (:[]) (\(Just x) -> x) (Just 9) < 1396679796 362684 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : Could not deduce (a ~ g a) < 1396679796 589495 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : from the context (GHC.Base.Functor f, GHC.Base.Functor g) < 1396679796 589666 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : bound by the type signature for < 1396679796 589762 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : fun :: (GHC.Base.Functor f, GHC.Base.Functor g) => < 1396679796 589855 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : (a -> f a) -> (a -> g a) -> (f a -> a) -> f a -> g a < 1396679820 940650 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :> let bar :: Functor f => (a -> f a) -> a -> f a; bar f x = f x in (bar Just) 9 < 1396679821 127694 :idris-ircslave!~ircslave@dslb-088-077-168-087.pools.arcor-ip.net PRIVMSG #esoteric :(input):1:9: error: expected: "=" < 1396679821 314344 :idris-ircslave!~ircslave@dslb-088-077-168-087.pools.arcor-ip.net PRIVMSG #esoteric :let bar :: Functor f => (a -> f a) -> a -> f a; bar f x = f x in (bar Just) 9<> < 1396679821 314569 :idris-ircslave!~ircslave@dslb-088-077-168-087.pools.arcor-ip.net PRIVMSG #esoteric : ^ < 1396679822 170839 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : Just 9 < 1396679831 257290 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :ah. I see the problem. < 1396679835 592879 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :thx < 1396679873 380717 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :@run id Just 9 < 1396679874 407420 :ter2!~tertu@143.44.70.199 JOIN :#esoteric < 1396679874 594209 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : Just 9 < 1396679977 941302 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :@run return 9 :: Maybe Int < 1396679979 497352 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : Just 9 < 1396680196 241089 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :@run id (Just 9) == (id Just) 9 < 1396680197 441125 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : True < 1396680511 66901 :ter2!~tertu@143.44.70.199 QUIT :Ping timeout: 255 seconds < 1396681475 636162 :MoALTz!~no@user-188-33-177-251.play-internet.pl QUIT :Quit: bbl < 1396684489 714574 :trolly!~trolly@91.223.28.83 JOIN :#esoteric < 1396684956 585867 :trolly!~trolly@91.223.28.83 QUIT :Remote host closed the connection < 1396685669 304206 :sgelios!~sgelios@91.223.28.185 JOIN :#esoteric < 1396685855 484436 :Slereah_!~jackal@117.168.90.79.rev.sfr.net JOIN :#esoteric < 1396686308 337834 :sgelios!~sgelios@91.223.28.185 QUIT :Ping timeout: 240 seconds < 1396687030 546295 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Huh, is Brainfuck/Ook commonly used in goecaching circles? This geocaching tool I stumbled upon while looking for something else -- http://gcc.eisbehr.de/features.html -- lists conversions between text, Brainfuck and Ook among its features. < 1396687086 204998 :oerjan!oerjan@sprocket.nvg.ntnu.no JOIN :#esoteric < 1396687087 783511 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :(Also an absolutely ludicrous list of non-eso things.) < 1396687181 464831 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :Yogscast is getting pretty huge < 1396688176 685650 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :@run length . nub . take 128 . flip iterate 1 $ \x -> (x*47) `mod` 256 < 1396688177 984051 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : 16 < 1396688193 430283 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :hm < 1396688271 614679 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :@run nub [length . nub . take 256 . flip iterate 1 $ \x -> (x*n) `mod` 256) | n <- [0..255]] < 1396688272 874000 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : :1:70: parse error on input `)' < 1396688282 504095 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :@run nub [length . nub . take 256 . flip iterate 1 $ \x -> (x*n) `mod` 256 | n <- [0..255]] < 1396688283 886470 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : [2,1,9,64,5,32,4,16,3,8] < 1396688322 914015 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :none 128, so not cyclic < 1396688367 545353 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :> 355/3 < 1396688367 545554 :idris-ircslave!~ircslave@dslb-088-077-168-087.pools.arcor-ip.net PRIVMSG #esoteric :04118.33333333333333 : 12Float < 1396688368 483935 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : 118.33333333333333 < 1396688374 313965 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :@run 255/3 < 1396688375 615993 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : 85.0 < 1396688463 444389 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :hm why is there no 7 i there < 1396688468 685600 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :or 7 < 1396688472 876091 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :*or 6 < 1396688483 113960 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :oh hm right < 1396688548 3294 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :@run nubBy ((==) `on` snd) [(n, length . nub . take 256 . flip iterate 1 $ \x -> (x*n) `mod` 256) | n <- [0..255]] < 1396688549 408548 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : [(0,2),(1,1),(2,9),(3,64),(4,5),(7,32),(8,4),(15,16),(16,3),(31,8)] < 1396688620 295981 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :@run nubBy ((==) `on` snd) [(n, length . nub . take 256 . flip iterate 1 $ \x -> (x*n) `mod` 256) | n <- [1, 3..255]] < 1396688621 474474 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : [(1,1),(3,64),(7,32),(15,16),(31,8),(63,4),(127,2)] < 1396688697 480714 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Nub nub nub. < 1396688743 488845 :zzo38!~zzo38@24-207-51-179.eastlink.ca JOIN :#esoteric < 1396688803 894678 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :@run last . sort . nub . take 256 . flip iterate 1 $ \x -> (x*3) `mod` 256) < 1396688805 14547 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : :1:70: parse error on input `)' < 1396688809 454159 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :@run last . sort . nub . take 256 . flip iterate 1 $ \x -> (x*3) `mod` 256 < 1396688810 704516 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : 251 < 1396688842 315845 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :ok so 3 and 255 are summand generators < 1396688919 140557 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :@run sort . nub . take 256 . flip iterate 1 $ \x -> (x*3) `mod` 256 < 1396688919 921309 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : [1,3,9,11,17,19,25,27,33,35,41,43,49,51,57,59,65,67,73,75,81,83,89,91,97,99,... < 1396689026 191551 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :I keep wanting you to write \x -> (x*n) `mod` 256 as flip mod 256 . (n*) instead, because it has less pokey bits. < 1396689122 864046 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i pretty clearly decided against making that pointfree at one point. < 1396689244 825282 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :@run nubBy ((==) `on` snd) [(n, length . nub . take 256 $ iterate (n*) 1 ) | n <- [0..255 :: Word8]] -- another option < 1396689245 946060 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : [(0,2),(1,1),(2,9),(3,64),(4,5),(7,32),(8,4),(15,16),(16,3),(31,8)] < 1396690207 652588 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :sort . nub -> head . group . sort < 1396690218 815033 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :grr < 1396690220 414469 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :map had < 1396690230 651855 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :I give up. < 1396690302 627654 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :that's like, longer < 1396690330 750969 :ski!~ski@remote1.student.chalmers.se QUIT :Quit: Lost terminal < 1396690343 94080 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :and it wasn't in the inner loop < 1396690354 434466 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :oh wait < 1396691000 492916 :yorick!~yorick@oftn/member/yorick JOIN :#esoteric < 1396691029 339841 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :oerjan: I do that habitually; I usually get it right the first time, too, when actually coding. < 1396691051 716948 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :
ACTION should have an nubOrd helper instead.
< 1396691310 251124 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :@run id * 3 `mod` 256 $ 123 -- I forgot whether this is still in lambdabot. < 1396691311 715109 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : No instance for (GHC.Show.Show a0) < 1396691311 906329 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : arising from a use of `M826470610663680039923602.show_M8264706106636800399... < 1396691311 906490 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : The type variable `a0' is ambiguous < 1396691311 906635 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : Possible fix: add a type signature that fixes these type variable(s) < 1396691311 906726 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : Note: there are several potential instances: < 1396691335 170111 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :@run 0 0 :: Integer < 1396691336 276052 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : No instance for (GHC.Num.Num a0) arising from the literal `0' < 1396691336 467432 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : The type variable `a0' is ambiguous < 1396691336 467578 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : Possible fix: add a type signature that fixes these type variable(s) < 1396691336 467671 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : Note: there are several potential instances: < 1396691336 467767 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : instance GHC.Num.Num GHC.Types.Double < 1396691349 556717 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :@run (0 :: Integer -> Integer) 0 < 1396691350 676345 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : No instance for (GHC.Num.Num < 1396691350 871273 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : (GHC.Integer.Type.Integer -> GHC.Integer.Type.Integer)) < 1396691350 871413 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : arising from the literal `0' < 1396691350 871508 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : Possible fix: < 1396691350 871600 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : add an instance declaration for < 1396691355 484540 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :(when Cale ran it, there used to be a Num a => Num (r -> a) instance, acting pointwise < 1396691358 501370 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :) < 1396691384 961532 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :@instances Num < 1396691385 672087 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :Double, Float, Int, Integer < 1396691395 52645 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :@instances-importing Num < 1396691395 757037 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :Double, Float, Int, Integer < 1396691397 428086 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i remember that, also when it was removed < 1396691419 786887 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :which is really irritating if you make a mistake in numeric code somewhere, but id * const k `mod` 256 would be kind of cool. < 1396691423 344243 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :@help instances-importing < 1396691423 640700 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :instances-importing [ [ [. Fetch the instances of a typeclass, importing specified modules first. < 1396691441 78906 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :Jafet: i think that requires the module list to do anything different < 1396691485 305246 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :(ironically it's longer than \x -> x * k `mod` 256) < 1396691510 83360 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :yeah function instances confuse matters, which is why i was surprised they added the monadic ones by default to ghci lately < 1396691787 265567 :MindlessDrone!~MindlessD@unaffiliated/mindlessdrone JOIN :#esoteric < 1396691904 442939 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :@run (ap, ap.ap, ap.ap.ap, ap.ap.ap.ap) < 1396691905 660389 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : No instance for (Data.Typeable.Internal.Typeable1 m0) < 1396691905 854569 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : arising from a use of `M431492159472810415423670.show_M4314921594728104154... < 1396691905 854711 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : The type variable `m0' is ambiguous < 1396691905 854807 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : Possible fix: add a type signature that fixes these type variable(s) < 1396691905 854898 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : Note: there are several potential instances: < 1396691910 947341 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric ::t (ap, ap.ap, ap.ap.ap, ap.ap.ap.ap) < 1396691911 784614 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :Monad m => (m (a -> b) -> m a -> m b, (a1 -> a2 -> b1) -> ((a1 -> a2) -> a1) -> (a1 -> a2) -> b1, (a3 -> a4 -> b2) -> (((a3 -> a4) -> a3) -> a3 -> a4) -> ((a3 -> a4) -> a3) -> b2, (a5 -> a6 -> b3) -> ((((a5 -> a6) -> a5) -> a5 -> a6) -> (a5 -> a6) -> a5) -> (((a5 -> a6) -> a5) -> a5 -> a6) -> b3) < 1396692082 845620 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric ::t ap`fmap`ap`fmap`ap`fmap`ap < 1396692083 687044 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :(a -> a1 -> b) -> ((((a -> a1) -> a) -> a -> a1) -> (a -> a1) -> a) -> (((a -> a1) -> a) -> a -> a1) -> b < 1396692305 492143 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :@run length.show.typeOf $ ap.ap.ap.ap.ap.ap.ap.ap.ap $ (undefined :: ()->()->()) < 1396692306 699436 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : 1044 < 1396692310 151004 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :@run length.show.typeOf $ ap.ap.ap.ap.ap.ap.ap.ap.ap.ap $ (undefined :: ()->()->()) < 1396692311 212753 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : 1688 < 1396692330 827834 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :@run 1688/1044 - (1+sqrt 5)/2 < 1396692332 150290 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : -1.1757512020020844e-3 < 1396692468 116573 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :ic < 1396692508 674573 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :does that mean you can get the type of the next one with a fibonacci substitution on the previous? < 1396692542 109761 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric ::t \f -> ap . f < 1396692543 130505 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :Monad m => (a -> m (a1 -> b)) -> a -> m a1 -> m b < 1396692546 481961 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :@where phi < 1396692546 681690 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :I know nothing about phi. < 1396692564 452496 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :Good way of deriving the golden ration IMO < 1396692613 359467 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :hm the b only occurs once above < 1396692624 427115 :olsner!~salparot@c83-252-203-32.bredband.comhem.se JOIN :#esoteric < 1396692644 152182 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric ::t \f -> ap . ($) . f < 1396692644 987078 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :(a -> a2 -> a1 -> b) -> a -> (a2 -> a1) -> a2 -> b < 1396692740 98143 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :indeed that's a fibonacci substitution < 1396692891 394513 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :a2 becomes a2 -> a1, a1 becomes a2 < 1396693079 334164 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric ::t ap.($) < 1396693080 297974 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :(a1 -> a -> b) -> (a1 -> a) -> a1 -> b < 1396693095 449395 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric ::t ($) < 1396693096 276431 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :(a -> b) -> a -> b < 1396693131 615166 :olsner!~salparot@c83-252-203-32.bredband.comhem.se PRIVMSG #esoteric ::t (ap .) < 1396693132 604180 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :Monad m => (a -> m (a1 -> b)) -> a -> m a1 -> m b < 1396693171 633957 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :olsner: i added the ($) to force the function instance < 1396693193 542842 :olsner!~salparot@c83-252-203-32.bredband.comhem.se PRIVMSG #esoteric :indeed < 1396693201 237823 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :@run (\(a,b,c,d) -> printf "%s -> %s -> %s -> %s" a b c d) <$> unfoldr (\e@(a,b,c,d) -> Just (e, (a, printf "(%s -> %s)" b c, b, d))) ("(a -> b -> c)", "(a -> b)", "a", "c") :: [String] < 1396693203 315513 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : ["(a -> b -> c) -> (a -> b) -> a -> c","(a -> b -> c) -> ((a -> b) -> a) -> ... < 1396693255 743094 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric ::t \x y z -> x y z < 1396693257 202258 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :(t1 -> t2 -> t) -> t1 -> t2 -> t < 1396693264 885296 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :that's the base case, sort of < 1396693297 228571 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :which is of course a refinement of ($)'s type < 1396693301 817239 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :(and id) < 1396693343 969510 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :@run (12+) . sum <$> unfoldr (\e@[a,b,c,d] -> Just (e, [a, 6+b+c, b, d])) $ length <$> ["(a -> b -> c)", "(a -> b)", "a", "c"] < 1396693345 185813 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : No instance for (GHC.Num.Num [GHC.Types.Int]) < 1396693345 391320 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : arising from a use of `GHC.Num.+' < 1396693345 391486 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : Possible fix: < 1396693345 391581 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : add an instance declaration for (GHC.Num.Num [GHC.Types.Int]) < 1396693370 78275 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :@run unfoldr (\e@[a,b,c,d] -> Just (12 + sum e, [a, 6+b+c, b, d])) $ length <$> ["(a -> b -> c)", "(a -> b)", "a", "c"] < 1396693371 68499 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : [35,49,70,105,161,252,399,637,1022,1645,2653,4284,6923,11193,18102,29281,473... < 1396693446 610927 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :@run typeOf (undefined:()->()->()) < 1396693447 621517 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : Pattern syntax in expression context: undefined : () -> () -> () < 1396693453 852876 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :@run typeOf (undefined::()->()->()) < 1396693455 105977 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : () -> () -> () < 1396693466 489586 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :@run typeOf ap.(undefined::()->()->()) < 1396693467 610569 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : Couldn't match expected type `(() -> ()) -> c0' < 1396693467 806220 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : with actual type `Data.Typeable.Internal.TypeRep' < 1396693475 727574 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :@run typeOf $ ap.(undefined::()->()->()) < 1396693476 852337 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : Couldn't match type `()' with `a0 -> b0' < 1396693477 50769 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : Expected type: () -> () -> a0 -> b0 < 1396693477 50928 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : Actual type: () -> () -> () < 1396693483 464628 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :sheesh < 1396693496 651010 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :@run typeOf $ ap$(undefined::()->()->()) < 1396693497 900946 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : (() -> ()) -> () -> () < 1396693503 381078 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :Function instances. < 1396693611 709642 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :ap f x y = f y (x y), which shows you get a fibonacci on the term level too < 1396693676 145421 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :? < 1396693677 985217 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :@run (ap.ap.ap) (f::Expr->Expr->Expr) a b < 1396693679 304197 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : Couldn't match expected type `((Debug.SimpleReflect.Expr.Expr < 1396693679 495587 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : -> Debug.SimpleReflect.Expr.Expr) < 1396693679 495753 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : -> Debug.SimpleReflect.Expr.Expr) < 1396693679 495848 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : -> Debug.SimpleReflect.Expr.Expr -> Debug.Simp... < 1396693679 495943 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : with actual type `Debug.SimpleReflect.Expr.Expr'Couldn't match t... < 1396693682 862101 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :oops < 1396693687 283292 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :@run (ap.ap.ap) (f::Expr->Expr->Expr) g h < 1396693688 674854 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : No instance for (Data.Typeable.Internal.Typeable < 1396693688 882478 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : Debug.SimpleReflect.Expr.Expr) < 1396693688 882648 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : arising from a use of `Debug.SimpleReflect.Vars.g' < 1396693688 882799 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : Possible fix: < 1396693689 307160 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : add an instance declaration for < 1396693699 476510 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :@run (ap.ap.ap) (f::Expr->Expr->Expr) g h :: Expr < 1396693700 800372 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : No instance for (Data.Typeable.Internal.Typeable < 1396693701 1362 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : Debug.SimpleReflect.Expr.Expr) < 1396693701 1526 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : arising from a use of `Debug.SimpleReflect.Vars.g' < 1396693701 1635 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : Possible fix: < 1396693701 1730 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : add an instance declaration for < 1396693708 465726 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric ::t (g,h) < 1396693709 520231 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :(FromExpr t, FromExpr t1) => (t, t1) < 1396693735 880438 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric ::t ap.ap.ap < 1396693736 985941 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :(a -> a1 -> b) -> (((a -> a1) -> a) -> a -> a1) -> ((a -> a1) -> a) -> b < 1396693781 462133 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :@run (ap.ap.ap) (f::Expr->Expr->Expr) < 1396693783 568097 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : No instance for (Data.Typeable.Internal.Typeable < 1396693785 584862 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :oops < 1396693785 783040 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : Debug.SimpleReflect.Expr.Expr) < 1396693787 566472 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : arising from a use of `M723199156154611174123930.show_M7231991561546111741... < 1396693789 597824 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : Possible fix: < 1396693791 717876 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : add an instance declaration for < 1396693793 590318 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric ::t (ap.ap.ap) (f::Expr->Expr->Expr) < 1396693794 564170 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :(((Expr -> Expr) -> Expr) -> Expr -> Expr) -> ((Expr -> Expr) -> Expr) -> Expr < 1396693817 41299 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :@run g :: Expr < 1396693818 408658 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : g < 1396693829 39737 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :@run g (h :: Expr) :: Expr < 1396693832 717300 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : g h < 1396693869 843994 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :@run (ap.ap) (f::Expr->Expr->Expr) g h :: Expr < 1396693872 225310 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : No instance for (Data.Typeable.Internal.Typeable < 1396693872 225505 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : Debug.SimpleReflect.Expr.Expr) < 1396693872 225606 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : arising from a use of `Debug.SimpleReflect.Vars.g' < 1396693872 225702 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : Possible fix: < 1396693872 225796 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : add an instance declaration for < 1396693878 663784 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :@run ap (f::Expr->Expr->Expr) g h :: Expr < 1396693879 729970 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : f h (g h) < 1396693888 76246 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :ok that works... < 1396693914 15476 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric ::t (ap.ap) (f::Expr->Expr->Expr) g h :: Expr < 1396693914 914175 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : No instance for (Typeable Expr) arising from a use of `g' < 1396693915 112113 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : Possible fix: add an instance declaration for (Typeable Expr) < 1396693915 112307 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : In the second argument of `ap . ap', namely `g' < 1396693932 713930 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :something is going horribly wrong in the typechecking < 1396693945 651550 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric ::t f.($) < 1396693946 500790 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :(Typeable a, Typeable b, FromExpr c) => (a -> b) -> c < 1396693987 183287 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric ::t f.($)$g.($) < 1396693988 299284 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : Could not deduce (Typeable b0) arising from a use of `f' < 1396693988 496630 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : from the context (FromExpr c) < 1396693988 496801 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : bound by the inferred type of it :: FromExpr c => c at Top level < 1396694046 489382 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric ::t f.id < 1396694047 471008 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :(Show b, FromExpr c) => b -> c < 1396694067 42250 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :oh hm right < 1396694100 887350 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :you cannot actually show FromExpr values that aren't fully applied < 1396694111 506168 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :which some of the subexpressions will be < 1396694159 576111 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :so the Expr trick doesn't work with higher-order functions < 1396694545 778230 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :hmm. a challenge? :) < 1396694639 566933 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :calamari < 1396694643 122456 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :oops < 1396694657 184281 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :
ACTION somehow pressed return instead of tab
< 1396694724 615420 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :*Main> f.id :: Expr -> Expr ---> \x -> f x < 1396694765 609453 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :unfortunately, f :: Expr -> Expr -> Expr becomes \x -> \x -> f x x ;-) < 1396694766 35803 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric ::t (ap.ap.ap) ?f ?g ?h < 1396694766 902301 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :(?f::a -> a1 -> b, ?g::((a -> a1) -> a) -> a -> a1, ?h::(a -> a1) -> a) => b < 1396694788 637638 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :int-e: it's (Expr -> Expr) -> Expr which becomes the problem < 1396694811 744367 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :(but perhaps showsPrec can be abused to make instance Show a => Show (Expr -> a) where show f = "\\x -> " ++ show (f x) use different variables) < 1396694820 200897 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :oerjan: sure, there are limits. < 1396694867 406182 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :I'm not going to pursue this seriously < 1396694868 725093 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :int-e: also, my examples don't actually give lambdas. < 1396694971 500357 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :show f = show (['x':show n|n<-[0..]], f); instance Show a => Show ([String], Expr -> a) where show (v:vs, f) = "\\" ++ v ++ " -> " ++ show (vs, f $ var v) < 1396695070 636404 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :Possibly one would end up with horrible things like instance (Witness a, Show b) => Show (a -> b) where show f = let w = witness in "\\" ++ show w ++ " -> " ++ show (f witness), plus some hackery to get identifiers. < 1396695247 877135 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :instance Witness (a -> b) => Show (a -> b) where show = witness 0 < 1396695290 924736 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :hm < 1396695311 712204 :conehead!~conehead@unaffiliated/conehead QUIT :Quit: Computer has gone to sleep < 1396695363 383174 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :mroman: shall i ban you for not noticing that everyone else is using @run twh < 1396695444 215185 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :> "no" < 1396695444 215370 :idris-ircslave!~ircslave@dslb-088-077-168-087.pools.arcor-ip.net PRIVMSG #esoteric :04"no" : 12String < 1396695444 980292 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : "no" < 1396695515 204533 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :i am thinking about making "indecision" a disadvantage for my rogue, but i'm not really sure if i want to < 1396695537 991083 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`addquote i am thinking about making "indecision" a disadvantage for my rogue, but i'm not really sure if i want to < 1396695539 589836 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :1182) i am thinking about making "indecision" a disadvantage for my rogue, but i'm not really sure if i want to < 1396695546 202334 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i'm pretty sure i was baited. < 1396695573 564425 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :not that much < 1396695611 68494 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :that situation actually stands < 1396695639 386509 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :Right ... "I used to be indecisive but now I'm not so sure." < 1396695648 405058 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :(I wonder who came up with this.) < 1396695649 426865 :myname!~myname@84.200.43.57 PRIVMSG #esoteric ::D < 1396695692 136947 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :does anybody has good ideas for quirks which donkt hurt that much? < 1396695699 676548 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :don't < 1396695720 928792 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :It *is* a good weakness. "There is a cop. Should I run or hide? In the meantime I can just stand here and look suspicious." < 1396695727 232547 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i go with the typo and say "were-donkey" < 1396695924 334415 :yorick!~yorick@oftn/member/yorick QUIT :Remote host closed the connection < 1396695944 133217 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :int-e: well, it may be *too* good < 1396695977 11747 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :only if you want to survive < 1396695983 850530 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :but how can you be sure about that? < 1396696034 787749 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :as a player i'd like my character to be alive most of the time < 1396696090 799809 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :but such a character could be lots of fun ... as long as it lasts. < 1396696110 931877 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :But I do understand your concerns. < 1396696609 387530 :Patashu[Zzz]!~Patashu@c27-253-115-204.carlnfd2.nsw.optusnet.com.au QUIT :Quit: Soundcloud (Famitracker Chiptunes): http://www.soundcloud.com/patashu MSN: Patashu@hotmail.com , AIM: Patashu0 , YIM: patashu2 , Skype: patashu0 . < 1396696618 770605 :Patashu!Nikolaos@c27-253-115-204.carlnfd2.nsw.optusnet.com.au JOIN :#esoteric < 1396696902 823274 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :*Main Control.Monad> (ap.ap.ap) (f::Expr->Expr->Expr) < 1396696903 54338 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :\abb -> \aa -> f aa abb < 1396696982 457578 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :oerjan: http://sprunge.us/iMUg?haskell (not perfect, but now it stops being fun) < 1396697144 656256 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :(actually I have no clue what I did there, semantically) < 1396697256 426371 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :best I can tell the witnesses are now Skolem functions with all their arguments implicit. Hah. < 1396697274 248796 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :Clearly that's very useful. < 1396697294 867874 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :(Especially because their names clash, too.) < 1396697416 497324 :olsner!~salparot@c83-252-203-32.bredband.comhem.se QUIT :Quit: Leaving < 1396697851 844797 :fcrawl!~nooodl@218.117-242-81.adsl-dyn.isp.belgacom.be JOIN :#esoteric < 1396697893 937974 :boily!~boily@96.127.201.149 JOIN :#esoteric < 1396697944 287848 :boily!~boily@96.127.201.149 PRIVMSG #esoteric :good international boardgaming day morning! < 1396698100 954848 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :Hey < 1396698452 704444 :boily!~boily@96.127.201.149 PRIVMSG #esoteric :Tanelle! < 1396698502 863314 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :I need to move my computer < 1396698509 768304 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :Having it here is giving me a sore back < 1396698882 660238 :Sorella!~queen@oftn/member/Sorella JOIN :#esoteric < 1396699009 494953 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :3SUM purportedly in o(n^2): http://arxiv.org/abs/1404.0799 < 1396699547 501022 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :int-e: wtf < 1396699892 171110 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :Jafet: interesting. < 1396700005 603080 :Phantom_Hoover!~Phantom@unaffiliated/phantom-hoover JOIN :#esoteric < 1396702118 279523 :Patashu!Nikolaos@c27-253-115-204.carlnfd2.nsw.optusnet.com.au QUIT :Ping timeout: 240 seconds < 1396702600 354775 :Phantom_Hoover!~Phantom@unaffiliated/phantom-hoover PRIVMSG #esoteric :https://www.youtube.com/watch?v=D2xYjiL8yyE < 1396702603 492651 :ter2!~tertu@143.44.70.199 JOIN :#esoteric < 1396702606 54913 :Phantom_Hoover!~Phantom@unaffiliated/phantom-hoover PRIVMSG #esoteric :fuck's sake hart, get your shit together < 1396702933 373938 :ter2!~tertu@143.44.70.199 QUIT :Read error: Connection reset by peer < 1396702948 274421 :ter2!~tertu@143.44.70.199 JOIN :#esoteric < 1396703111 869878 :boily!~boily@96.127.201.149 PRIVMSG #esoteric :that video was introductionarily interesting, lightly brushing against the Uncountability of the Reals. < 1396703129 721482 :Phantom_Hoover!~Phantom@unaffiliated/phantom-hoover PRIVMSG #esoteric :no, it's just wrong < 1396703167 91470 :Phantom_Hoover!~Phantom@unaffiliated/phantom-hoover PRIVMSG #esoteric :sam hughes wrote a better explanation: http://qntm.org/trollpi < 1396703205 587991 :boily!~boily@96.127.201.149 PRIVMSG #esoteric :IT'S NOT WROOOOONG! < 1396703208 631684 :Phantom_Hoover!~Phantom@unaffiliated/phantom-hoover PRIVMSG #esoteric :but all it comes down to is that when you take the limit of a sequence of curves that limit doesn't have to share any properties with the curves in the sequence < 1396703334 800011 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :Phantom_Hoover, Vi Hart is pop maths. It's for viewerships, not correctness < 1396703365 23767 :Phantom_Hoover!~Phantom@unaffiliated/phantom-hoover PRIVMSG #esoteric :Right but it's not incorrect in a 'lies-to-children' sense, it's incorrect in the sense that it just leads viewers down the garden path. < 1396703444 652974 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :and to the barn fell of doom < 1396703540 951481 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :What really annoys me about Vi Hart is her video about Flexagons came out a day after I decided to make some < 1396703615 619689 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric ::( < 1396703634 621728 :Phantom_Hoover!~Phantom@unaffiliated/phantom-hoover PRIVMSG #esoteric :the bastard! < 1396703658 156985 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :
ACTION now imagines gingerbread flexagons. and probably should eat.
< 1396703664 473616 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :Now I want to make a flexagon < 1396703715 979556 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :Probably not out of gingerbread < 1396703824 691790 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :reminds me of https://en.wikipedia.org/wiki/Rubik%27s_Magic hmm < 1396703881 979170 :boily!~boily@96.127.201.149 PRIVMSG #esoteric :oerjan: can one make flexible gingerbread? < 1396703947 464622 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :hoily! < 1396703965 421691 :boily!~boily@96.127.201.149 PRIVMSG #esoteric :quinthellopia! < 1396703986 169193 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :oerjan: i c wut you did thar < 1396704005 77737 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :*munch* what? < 1396704024 968787 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :Taneb: what annoys me about vihart is that my friends got a private concert from her on joco cruise crazy 1 and i couldn't go :( < 1396704028 900314 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :quintopia: oh the barn fell? < 1396704111 53658 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :boily: i dunno do i look like a baker < 1396704179 144486 :boily!~boily@96.127.201.149 PRIVMSG #esoteric :oerjan: you are oerjan. maybe you are a baker. maybe not. hth. < 1396704278 684233 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :okay < 1396704816 278266 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :you like like a charlie to me < 1396704821 574645 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :charlie fox < 1396704825 14739 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :trot < 1396705236 194369 :boily!~boily@96.127.201.149 PRIVMSG #esoteric :.-- - ..-. ..--.. < 1396705272 278157 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :nooooooooooo not the morse code .-. < 1396705374 431096 :boily!~boily@96.127.201.149 PRIVMSG #esoteric :the Morse Code is the Future! < 1396705387 692807 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :.--.-..--..-.--.-..-.--..--.-..- < 1396705390 737723 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :the future is the past < 1396705409 28551 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :is morse code prefix-free? < 1396705433 467190 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :or whatever the word is < 1396705438 179501 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :no. < 1396705461 288800 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :well thats dumb < 1396705475 602994 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :it uses separating pauses < 1396705490 689172 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :because, it's like designed to be decoded by humans. < 1396705494 135052 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :so three symbols < 1396705513 261081 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :humans could decipher a pauseless stream with practice! < 1396705516 730803 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :and transmit it too! < 1396705529 174434 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :OKAY < 1396705690 939637 :boily!~boily@96.127.201.149 PRIVMSG #esoteric :without humans in the way, communication would be much easier. < 1396705705 672582 :Phantom_Hoover!~Phantom@unaffiliated/phantom-hoover QUIT :Ping timeout: 240 seconds < 1396706136 875116 :copumpkin!~copumpkin@unaffiliated/copumpkin QUIT :Quit: My MacBook Pro has gone to sleep. ZZZzzz… < 1396706492 197477 :Phantom_Hoover!~Phantom@unaffiliated/phantom-hoover JOIN :#esoteric < 1396706689 639989 :boily!~boily@96.127.201.149 QUIT :Quit: BOARDGAMING CHICKEN! < 1396707088 955539 :shikhin!~Shikhin@unaffiliated/shikhin JOIN :#esoteric < 1396707317 364096 :shikhin!~Shikhin@unaffiliated/shikhin NICK :shikhi < 1396707542 814472 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :Is it normal for a Haskell question to go unanswered on SO this long? http://stackoverflow.com/questions/22851565/getting-input-into-netwire-programs < 1396707612 173123 :shikhi!~Shikhin@unaffiliated/shikhin NICK :shikhin < 1396707960 606716 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :well it's not about a very widely used library afaik < 1396708090 943410 :Lola!~canaima@190.142.156.112 JOIN :#esoteric < 1396708152 723688 :applybot!~applybot@unaffiliated/jafet QUIT :Quit: sorry! < 1396708202 119333 :Lola!~canaima@190.142.156.112 PRIVMSG #esoteric :Hoooola < 1396708238 402992 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`bienvenido Lola < 1396708239 167050 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :Lola: ¡Bienvenido al centro internacional para el diseño y despliegue de lenguajes de programación esotéricos! Por desgracia, la mayoría de nosotros no hablamos español. Para obtener más información, echa un vistazo a nuestro wiki: http://esolangs.org/. (Para el otro tipo de esoterismo, prueba #esoteric en irc.dal.net.) < 1396708358 416500 :ter2!~tertu@143.44.70.199 QUIT :Ping timeout: 240 seconds < 1396708419 323146 :ter2!~tertu@143.44.70.199 JOIN :#esoteric < 1396708588 56738 :ter2!~tertu@143.44.70.199 NICK :tertu < 1396708599 264544 :tertu!~tertu@143.44.70.199 NICK :ter2 < 1396708615 645988 :Lola!~canaima@190.142.156.112 PART :#esoteric < 1396708885 288847 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :oerjan: don't bother welcoming ~canaima < 1396708898 781053 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :all the spanish people of the past N months are just one person. < 1396708904 781626 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :e does seem familiar < 1396708908 423999 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :in fact we should just set a ban or something. it's silly. < 1396708945 271867 :ion!ion@heh.fi PRIVMSG #esoteric :Ban all the users < 1396709357 785881 :conehead!~conehead@unaffiliated/conehead JOIN :#esoteric < 1396709392 276478 :oerjan!oerjan@sprocket.nvg.ntnu.no QUIT :Quit: Omelette du fromage < 1396710212 994914 :applybot!~applybot@unaffiliated/jafet JOIN :#esoteric < 1396710279 168312 :yorick!~yorick@oftn/member/yorick JOIN :#esoteric < 1396710704 891680 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :idris-ircslave: let x = 1 :: x in x < 1396710705 303329 :idris-ircslave!~ircslave@dslb-088-077-168-087.pools.arcor-ip.net PRIVMSG #esoteric :(input):1:14:When elaborating argument 13val to constructor 04Delay: < 1396710705 744335 :idris-ircslave!~ircslave@dslb-088-077-168-087.pools.arcor-ip.net PRIVMSG #esoteric : No such variable x < 1396711044 304827 :tromp!~tromp@ool-4570a22a.dyn.optonline.net JOIN :#esoteric < 1396711557 29571 :int-e!~noone@static.88-198-179-137.clients.your-server.de NICK :notregistered < 1396711570 277942 :notregistered!~noone@static.88-198-179-137.clients.your-server.de NICK :int-e < 1396711680 6085 :tertu3!~tertu@143.44.70.199 JOIN :#esoteric < 1396711693 546891 :ter2!~tertu@143.44.70.199 QUIT :Read error: Connection reset by peer < 1396711897 791976 :^v!~notnot^v@c-71-238-153-166.hsd1.mi.comcast.net JOIN :#esoteric < 1396711906 425017 :fcrawl!~nooodl@218.117-242-81.adsl-dyn.isp.belgacom.be PRIVMSG #esoteric :`pastelogs test < 1396711908 505883 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :​/hackenv/bin/pastelogs: line 2: cd: /var/irclogs/_esoteric: No such file or directory \ grep: ????-??-??.txt: No such file or directory \ http://codu.org/projects/hackbot/fshg/index.cgi/raw-file/tip/paste/paste.22298 < 1396711915 958177 :fcrawl!~nooodl@218.117-242-81.adsl-dyn.isp.belgacom.be PRIVMSG #esoteric :how'd this break!! < 1396711953 811188 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :No such file or directory < 1396711956 723605 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :obviously < 1396711993 303440 :fcrawl!~nooodl@218.117-242-81.adsl-dyn.isp.belgacom.be PRIVMSG #esoteric :HackEgo just doesn't keep have logs anymore? < 1396711995 894139 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :afaik, hackego moved and the logs are now stored elsewhere < 1396712019 575017 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :While previously they were on the same machine. But I don't know for sure. < 1396712628 130481 :shikhin!~Shikhin@unaffiliated/shikhin QUIT :Quit: Leaving < 1396714340 434478 :fcrawl!~nooodl@218.117-242-81.adsl-dyn.isp.belgacom.be QUIT :Read error: Connection reset by peer < 1396714560 553524 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :That is my impression, too. < 1396714567 13586 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Oh, I'm a bit late. < 1396714621 23418 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :kmc: Just so you know, I have made the opcode generator into an opcode quiz, as per your suggestion. (Just need to collect data for a couple more architectures before making it public.) < 1396714720 382685 :copumpkin!~copumpkin@unaffiliated/copumpkin JOIN :#esoteric < 1396715021 479675 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :Call it the Label Ersatz Generator; name the quiz "ARM or LEG?" Add some Thumb to throw people off. < 1396715159 779031 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :(People who pass are True Opcode Experts.) < 1396715164 631156 :nooodl!~nooodl@218.117-242-81.adsl-dyn.isp.belgacom.be JOIN :#esoteric < 1396715275 645211 :Phantom_Hoover!~Phantom@unaffiliated/phantom-hoover QUIT :Ping timeout: 268 seconds < 1396715653 438654 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :"incorrect; opcode HW_LD/PAWQVL is real" man, Alpha is hard. < 1396715721 94372 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :link? < 1396715743 335246 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :It's not in the web yet. I only have x86 and Alpha in it. < 1396715794 311860 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Also it's missing "share your score in Facebook/Google+/Twitter" buttons, which were something I was thinking of "ironically" adding. < 1396715798 995940 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :(I'm trying to figure out where the ARM opcodes are in this GNU binutils GDB checkout.) < 1396715963 484163 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :They seem to be somewhat complicatedly in it, due to having some structure programmatically constructed. < 1396716365 215059 :Phantom_Hoover!~Phantom@unaffiliated/phantom-hoover JOIN :#esoteric < 1396717524 686446 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :Program a quiz using Internet Quiz Engine. It work better, and is faster, too. < 1396717592 212450 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :And simpler. < 1396717629 811059 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :Yet, it includes a few extra commands for feature such as arithmetics and a few others. < 1396717657 485464 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :fizzie: did I ever show you http://ugcs.net/~keegan/complexity.html < 1396717885 842995 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :I don't think I saw that. < 1396717904 832589 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :And the Internet Quiz Engine will probably not be able to generate fake opcodes from n-gram models, will it? < 1396717988 495381 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :fizzie: That feature is not included yet, although you can pregenerate the data. Currently, there is not the program to allow manipulation of Internet Quiz Engine files using SQL, sorry. < 1396718061 627685 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :(But, it is currently possible to manipulate them using AWK, so you can use that.) < 1396718311 778995 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Well, I've already written this thing. < 1396718399 11161 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :Currently IQE has no features for any kind of string manipulation at all, actually; only arithmetics and conditions are supported (although, there is timer support, multiple selection support, percentages, and some other things like that). There are no kinds of backward flow control at all, so loops are impossible. < 1396718589 327445 :^v!~notnot^v@c-71-238-153-166.hsd1.mi.comcast.net QUIT :Ping timeout: 252 seconds < 1396719343 310838 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :kmc: Here, you can have a preliminary-ish look at http://zem.fi/2014-04-05-opquiz -- though I'm going to have to go to do some sauna things real soon. < 1396719469 326621 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :(Wonder if I should really add those score-share buttons.) < 1396719959 232423 :bekirov!~bekirov@91.212.45.14 JOIN :#esoteric < 1396720932 184556 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :It is not working OK. < 1396721352 358318 :variable!root@freebsd/developer/variable NICK :trout < 1396721375 958996 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :hmm, github. why don't forks have their own issue trackers, and why can't I merge an upstream pull request to my own fork using their frontend? < 1396721479 586907 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :I have looked at (but not used) the Fossil system, which is said to be simpler than Git. Fossil is a SQL-based system, implemented as a single C program. I do not know if it can solve those problem or not. < 1396721693 781763 :^v!~notnot^v@c-71-238-153-166.hsd1.mi.comcast.net JOIN :#esoteric < 1396721753 873092 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :No, because I have no issues with git itself. < 1396721859 64280 :conehead!~conehead@unaffiliated/conehead QUIT :Quit: Computer has gone to sleep < 1396721919 772525 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :You could move it to a system other than Github, even if it is still git-based system, though. < 1396722167 203193 :S1!~chatzilla@pD9FCA151.dip0.t-ipconnect.de JOIN :#esoteric < 1396722458 337325 :olsner!~salparot@c83-252-203-32.bredband.comhem.se JOIN :#esoteric < 1396722882 40673 :MindlessDrone!~MindlessD@unaffiliated/mindlessdrone QUIT :Quit: MindlessDrone < 1396723401 981723 :bekirov!~bekirov@91.212.45.14 QUIT :Remote host closed the connection < 1396725812 435762 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :kmc: Re the complexity class game, I would've wanted to have similar short descriptions of the (real) instructions, but those would've been less simple to extract. (And I guess also the entire list would be much larger.) < 1396725989 62476 :nooodl_!~nooodl@218.117-242-81.adsl-dyn.isp.belgacom.be JOIN :#esoteric < 1396726056 171677 :nooodl!~nooodl@218.117-242-81.adsl-dyn.isp.belgacom.be QUIT :Ping timeout: 252 seconds < 1396726238 821640 :^v!~notnot^v@c-71-238-153-166.hsd1.mi.comcast.net QUIT :Quit: http://i.imgur.com/DrFFzea.png < 1396726255 892990 :^v!~notnot^v@c-71-238-153-166.hsd1.mi.comcast.net JOIN :#esoteric < 1396726452 232841 :tertu3!~tertu@143.44.70.199 QUIT :Ping timeout: 252 seconds < 1396727644 741841 :lambdabot!~lambdabot@silicon.int-e.eu QUIT :Quit: requested < 1396727655 589138 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :oops. < 1396727786 959292 :fungot!fis@eos.zem.fi QUIT :Quit: requested < 1396727792 16903 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :oops. < 1396727839 562557 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :"j/k lol" < 1396727846 579498 :fungot!fis@eos.zem.fi JOIN :#esoteric < 1396727902 367527 :lambdabot!~lambdabot@silicon.int-e.eu JOIN :#esoteric < 1396727937 978235 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :The request was supposed to go to my test instance of the bot :-/ Oh well. It took its time (as usual) but it made it back. < 1396728326 244635 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :`danddreclist 50 < 1396728326 974089 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :danddreclist 50: shachaf nooodl boily \ http://zzo38computer.org/dnd/recording/level20.tex < 1396728643 945871 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :How can I tell gdb which module to debug by default? I have two modules loaded, and the one I want to debug isn't the main program. < 1396729123 26577 :evalj!~jeval@5402C489.dsl.pool.telekom.hu JOIN :#esoteric < 1396729161 607989 :olsner!~salparot@c83-252-203-32.bredband.comhem.se QUIT :Quit: Leaving < 1396729231 775859 :nooodl_!~nooodl@218.117-242-81.adsl-dyn.isp.belgacom.be NICK :nooodl < 1396731042 148459 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :http://cybermap.kaspersky.com/ that looks ridiculously like in a movie < 1396731671 559683 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :
ACTION goes to listen to all the music here: http://jessicadickinsongoodman.com/2008/01/18/pachebels-rant-dissected/
< 1396731734 210414 :oerjan!oerjan@sprocket.nvg.ntnu.no JOIN :#esoteric < 1396732002 800678 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :And some of those videos don't exist :( < 1396732175 199595 :nisstyre!~yourstrul@oftn/member/Nisstyre QUIT :Quit: WeeChat 0.4.3 < 1396732583 985839 :evalj!~jeval@5402C489.dsl.pool.telekom.hu QUIT :Remote host closed the connection < 1396733493 141786 :augur!~augur@216-164-48-148.c3-0.slvr-ubr1.lnh-slvr.md.cable.rcn.com QUIT :Remote host closed the connection < 1396733821 371131 :Patashu!Patashu@c27-253-115-204.carlnfd2.nsw.optusnet.com.au JOIN :#esoteric < 1396734965 260664 :Koen_!~Koen@vbo91-6-78-245-243-132.fbx.proxad.net JOIN :#esoteric < 1396735175 570219 :Patashu[Zzz]!Patashu@c27-253-115-204.carlnfd2.nsw.optusnet.com.au JOIN :#esoteric < 1396735175 769587 :Patashu!Patashu@c27-253-115-204.carlnfd2.nsw.optusnet.com.au QUIT :Disconnected by services < 1396735841 206204 :ejls!~ejls@etiennesimon.eu JOIN :#esoteric < 1396736405 688351 :^v!~notnot^v@c-71-238-153-166.hsd1.mi.comcast.net PRIVMSG #esoteric :sooo < 1396736412 491718 :^v!~notnot^v@c-71-238-153-166.hsd1.mi.comcast.net PRIVMSG #esoteric :i made bottles of beer in fishstacks < 1396736475 692029 :^v!~notnot^v@c-71-238-153-166.hsd1.mi.comcast.net PRIVMSG #esoteric :its 142K chars < 1396736500 604448 :^v!~notnot^v@c-71-238-153-166.hsd1.mi.comcast.net PRIVMSG #esoteric :who wants it? < 1396736510 662244 :S1!~chatzilla@pD9FCA151.dip0.t-ipconnect.de PRIVMSG #esoteric :me < 1396736539 935219 :^v!~notnot^v@c-71-238-153-166.hsd1.mi.comcast.net PRIVMSG #esoteric :k < 1396736597 901734 :^v!~notnot^v@c-71-238-153-166.hsd1.mi.comcast.net PRIVMSG #esoteric :https://dl.dropboxusercontent.com/u/55181333/bottles.fishstacks < 1396736817 942000 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :Why are haddocks not built for this? https://hackage.haskell.org/package/python-pickle-0.2.0 < 1396736881 342120 :^v!~notnot^v@c-71-238-153-166.hsd1.mi.comcast.net PRIVMSG #esoteric :D: me no likey python < 1396736961 593252 :^v!~notnot^v@c-71-238-153-166.hsd1.mi.comcast.net NICK :PixelTerst < 1396737073 773004 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :I am still not quite sure what Object-Oriented programming actually is < 1396737112 62244 :PixelTerst!~notnot^v@c-71-238-153-166.hsd1.mi.comcast.net PRIVMSG #esoteric :i dunno, if memory addresses are objects, arent all programs object oriented < 1396737164 847699 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :no. that's really dumb. < 1396737173 294603 :S1!~chatzilla@pD9FCA151.dip0.t-ipconnect.de PRIVMSG #esoteric :^ < 1396737303 512242 :PixelTerst!~notnot^v@c-71-238-153-166.hsd1.mi.comcast.net NICK :^v < 1396737577 762008 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :On the other hand, I have biscuits < 1396737622 452020 :S1!~chatzilla@pD9FCA151.dip0.t-ipconnect.de PRIVMSG #esoteric :k I'm outa here < 1396737624 131427 :S1!~chatzilla@pD9FCA151.dip0.t-ipconnect.de PART :#esoteric < 1396737643 828147 :Phantom__Hoover!~Phantom@unaffiliated/phantom-hoover JOIN :#esoteric < 1396737730 343213 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :On the first hand, do you have cheese? < 1396737749 27304 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :No < 1396737765 762436 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :I am one of those weird people who isolates biscuit and cracker consumption < 1396737843 172195 :^v!~notnot^v@c-71-238-153-166.hsd1.mi.comcast.net PRIVMSG #esoteric :i am one of those weird people who makes programs in languages without an official interpreter < 1396737847 882284 :Phantom_Hoover!~Phantom@unaffiliated/phantom-hoover QUIT :Ping timeout: 252 seconds < 1396737858 993076 :^v!~notnot^v@c-71-238-153-166.hsd1.mi.comcast.net PRIVMSG #esoteric :i made my own fishstacks inturpreter < 1396737868 791797 :^v!~notnot^v@c-71-238-153-166.hsd1.mi.comcast.net PRIVMSG #esoteric :but im not giving it to you, because lazyness < 1396737891 993330 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :did you know that if you don't put things on the wiki, they don't exist hth < 1396737897 743356 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :^v, have you seen Eodermdrome? < 1396737918 782108 :^v!~notnot^v@c-71-238-153-166.hsd1.mi.comcast.net PRIVMSG #esoteric :oerjan, ohey you are the person who edited fishstacks after me < 1396737923 34128 :^v!~notnot^v@c-71-238-153-166.hsd1.mi.comcast.net PRIVMSG #esoteric :please dont slap me < 1396737926 292288 :^v!~notnot^v@c-71-238-153-166.hsd1.mi.comcast.net PRIVMSG #esoteric :my first edit < 1396737934 263571 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :that's ok < 1396737961 452069 :^v!~notnot^v@c-71-238-153-166.hsd1.mi.comcast.net PRIVMSG #esoteric :Taneb, i remember it now ;-; < 1396737994 782585 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i'm one of those weird people who makes programs in Eodermdrome. < 1396738029 95720 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :still waiting for someone to implement it so i can test the program. < 1396738044 514489 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :(too lazy to code up actual graph algorithms) < 1396738063 699005 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :BUT I PUT THE PROGRAM ON THE WIKI HTH < 1396738095 429092 :^v!~notnot^v@c-71-238-153-166.hsd1.mi.comcast.net PRIVMSG #esoteric ::P < 1396738405 774150 :conehead!~conehead@unaffiliated/conehead JOIN :#esoteric < 1396738550 871499 :Zom-B!~Zom-B@D97AAE09.cm-3-3c.dynamic.ziggo.nl QUIT : < 1396739340 603883 :tertu3!~tertu@143.44.70.199 JOIN :#esoteric < 1396741318 79030 :^v!~notnot^v@c-71-238-153-166.hsd1.mi.comcast.net PRIVMSG #esoteric :Well then < 1396741327 552724 :^v!~notnot^v@c-71-238-153-166.hsd1.mi.comcast.net PRIVMSG #esoteric :the barely page is full of shit < 1396741345 412682 :^v!~notnot^v@c-71-238-153-166.hsd1.mi.comcast.net PRIVMSG #esoteric :h adds 71 not 47 < 1396741529 799009 :oerjan!oerjan@sprocket.nvg.ntnu.no QUIT :Quit: Nite < 1396741771 92002 :^v!~notnot^v@c-71-238-153-166.hsd1.mi.comcast.net PRIVMSG #esoteric :proof: http://puu.sh/7XtPL.png < 1396741781 112827 :^v!~notnot^v@c-71-238-153-166.hsd1.mi.comcast.net PRIVMSG #esoteric :]xjjjjjhhhhxjhhhhhhhhjjjhh~ < 1396741784 963257 :^v!~notnot^v@c-71-238-153-166.hsd1.mi.comcast.net PRIVMSG #esoteric :is what i entered < 1396741835 171143 :^v!~notnot^v@c-71-238-153-166.hsd1.mi.comcast.net PRIVMSG #esoteric :OH < 1396741845 799879 :^v!~notnot^v@c-71-238-153-166.hsd1.mi.comcast.net PRIVMSG #esoteric :its because some dumbass misread the assembly source < 1396741850 862392 :^v!~notnot^v@c-71-238-153-166.hsd1.mi.comcast.net PRIVMSG #esoteric :0x47 is 71 < 1396741857 702607 :^v!~notnot^v@c-71-238-153-166.hsd1.mi.comcast.net PRIVMSG #esoteric :fucking.. dumbass < 1396741940 922763 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :stop throwing insults < 1396741970 889800 :^v!~notnot^v@c-71-238-153-166.hsd1.mi.comcast.net PRIVMSG #esoteric :ok < 1396741973 732321 :^v!~notnot^v@c-71-238-153-166.hsd1.mi.comcast.net PRIVMSG #esoteric :i am just mad < 1396742093 548825 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :that's no reason to take it out on the intelligence of someone you don't even know who made a simple mistake < 1396742104 353867 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :after all, it was not that long ago you misread how Deadfish works... < 1396742137 488887 :^v!~notnot^v@c-71-238-153-166.hsd1.mi.comcast.net PRIVMSG #esoteric :D: < 1396742226 218059 :yorick!~yorick@oftn/member/yorick QUIT :Remote host closed the connection