< 1394929699 532876 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com TOPIC #esoteric :shiny racoons | https://dl.dropboxusercontent.com/u/2023808/wisdom.pdf http://codu.org/logs/_esoteric/ http://tunes.org/~nef/logs/esoteric/ < 1394929776 57672 :tromp!~tromp@ool-4570a22a.dyn.optonline.net JOIN :#esoteric < 1394929979 830550 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :kmc: "radiant raccoon" would sound like an Ubuntu release. < 1394930014 530176 :copumpkin!~copumpkin@unaffiliated/copumpkin PRIVMSG #esoteric :rocky raccoon? < 1394930029 476658 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :rocks aren't shiny in general < 1394930036 292450 :copumpkin!~copumpkin@unaffiliated/copumpkin PRIVMSG #esoteric :https://www.youtube.com/watch?v=wNRH7_Kd5Yc < 1394930110 746376 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :("radiant" is also not synonymous to "shiny", of course, but closer than "rocky", imho) < 1394930247 883027 :Bike!ae1924ee@gateway/web/freenode/ip.174.25.36.238 JOIN :#esoteric < 1394931313 214751 :boily!~boily@96.127.201.149 PRIVMSG #esoteric :
ACTION is killing unique pandemonium lords ♪ ^^
< 1394932121 37366 :Slereah_!~jackal@176.222.51.233 JOIN :#esoteric < 1394932218 277457 :Slereah__!~jackal@176.222.51.233 QUIT :Ping timeout: 240 seconds < 1394933366 733817 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :int-e: indeed < 1394933467 502841 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :what will they do when they reach the end of the alphabet with animals < 1394933470 550245 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :imo start over with mushrooms < 1394933489 546553 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :Ascendent Amanita, Beautiful Bolete, Charming Chanterelle < 1394933535 84950 :nooodl!~nooodl@33.96-242-81.adsl-dyn.isp.belgacom.be QUIT :Quit: Ik ga weg < 1394933552 92590 :boily!~boily@96.127.201.149 PRIVMSG #esoteric :dazzling deathcap (http://crawl.chaosforge.org/Deathcap) < 1394933773 553908 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :
ACTION swats boily for just beating him to the deathcap -----###
< 1394933780 614615 :tromp!~tromp@ool-4570a22a.dyn.optonline.net QUIT :Remote host closed the connection < 1394933786 389617 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :oh wait < 1394933813 410588 :tromp!~tromp@ool-4570a22a.dyn.optonline.net JOIN :#esoteric < 1394933845 336337 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i see "just" is a bit exaggerated here. < 1394933963 875987 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :there is an actual mushroom called the death cap < 1394933967 473712 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :amanita phalloides < 1394934037 596076 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :often poisons asian immigrants to the western us who are used to picking the very similar lookng volvariella volvacea < 1394934060 231230 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :I knew that. < 1394934066 167155 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :cool < 1394934071 847190 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :
ACTION -> afk
< 1394934079 363465 :tromp!~tromp@ool-4570a22a.dyn.optonline.net QUIT :Ping timeout: 264 seconds < 1394934105 752589 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`echo hi < 1394934106 84781 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :No output. < 1394934225 45736 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :`` echo hi < 1394934225 378948 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :No output. < 1394934229 639638 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :`` ls < 1394934229 861872 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :No output. < 1394934237 859502 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`echo No output. < 1394934238 81361 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :No output. < 1394934248 792458 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :`? TEST < 1394934249 124228 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :No output. < 1394934252 331552 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :okay. < 1394934281 552852 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :HackEgo is censoring overzealously. < 1394934301 798443 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :maybe e's just meditating. < 1394934322 27578 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :`` wake up < 1394934322 362655 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :No output. < 1394934327 638517 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :`wake up < 1394934327 973268 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :No output. < 1394934368 865333 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :it does not even complain about commands not being found. perhaps the find-a-command script is broken? < 1394934463 782431 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`help < 1394934463 893573 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :Runs arbitrary code in GNU/Linux. Type "`", or "`run " for full shell commands. "`fetch " downloads files. Files saved to $PWD are persistent, and $PWD/bin is in $PATH. $PWD is a mercurial repository, "`revert " can be used to revert to a revision. See http://codu.org/projects/hackbot/fshg/ < 1394934484 414380 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :sounds likely. < 1394934495 796732 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`run echo hi < 1394934496 131078 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :No output. < 1394934561 87202 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`fetch http://esolangs.org/wiki/Wierd < 1394934563 431617 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :2014-03-16 01:49:22 URL:http://esolangs.org/wiki/Wierd [18043] -> "Wierd" [1] < 1394934579 720448 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :oh, the builtins don't use the sandbox machinery, right? < 1394934585 871146 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :showed up in the repository browser too < 1394934590 239967 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :indeed. < 1394934593 596979 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :Gregor: ^ < 1394934607 85049 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :and then he's idle again. < 1394934621 824479 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`revert < 1394934626 636443 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :Done. < 1394934649 12438 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :`revert 1 < 1394934650 998244 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :hm the revert did _not_ show. < 1394934674 55707 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :Done. < 1394934691 630165 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :...that did. < 1394934696 648585 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :`run echo hi < 1394934697 93350 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :No output. < 1394934703 123480 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :works perfectly now < 1394934719 273206 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :O KAY < 1394934723 921986 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`revert < 1394934736 574107 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :Done. < 1394934738 388530 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :elliott: what did that do? the commit looks awfully big ... < 1394934746 213420 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :int-e: went back some trillion years < 1394934757 508684 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :back to when hackego roamed with the dinosaurs < 1394934809 843918 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :http://codu.org/projects/hackbot/fshg/index.cgi/file/03afb1619ef2/wisdom ... wow. < 1394934817 122636 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :so few entries. < 1394934847 369842 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :`revert 4528 < 1394934848 545837 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :Done. < 1394934875 659984 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :ok, every second revert gets through? < 1394934878 388262 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :int-e: what was that for? < 1394934904 886176 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :I'd hope that 4528 is http://codu.org/projects/hackbot/fshg/index.cgi/rev/c8d06895aeef < 1394934937 487223 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :well it's the number of the revision before i fetched Wierd < 1394934969 419697 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :In any case, I missed your `revert. < 1394934988 261869 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :I stare at IRC, I stare at the web browser, I lose context. < 1394935002 739086 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :fiendish < 1394935034 142903 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :anyway, all the non-sandbox commands seem to work _sometimes_. < 1394935088 416295 :yorick!~yorick@oftn/member/yorick QUIT :Remote host closed the connection < 1394935463 892526 :Bike!ae1924ee@gateway/web/freenode/ip.174.25.36.238 QUIT :Ping timeout: 245 seconds < 1394935682 115130 :Slereah_!~jackal@176.222.51.233 QUIT :Read error: Connection reset by peer < 1394935702 69450 :Slereah_!~jackal@176.222.51.233 JOIN :#esoteric < 1394936222 821095 :Bike!ae1924ee@gateway/web/freenode/ip.174.25.36.238 JOIN :#esoteric < 1394936280 404309 :boily!~boily@96.127.201.149 PRIVMSG #esoteric :MWAH AH AH AH AH AH AH! < 1394936350 900301 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i knew it, the saneness was just a ruse < 1394936389 23415 :boily!~boily@96.127.201.149 PRIVMSG #esoteric :sorry. I just killed the fourth unique Pandemonium Lord. < 1394936400 551599 :boily!~boily@96.127.201.149 PRIVMSG #esoteric :(eviscerating demons is a fun activity!) < 1394936414 296701 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :fourth? that doesn't sound very unique. < 1394936422 239954 :Sgeo_!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :( let muahaha = the (Stream String) "haha" : muahaha < 1394936422 498151 :idris-ircslave!~ircslave@dslb-088-078-249-067.pools.arcor-ip.net PRIVMSG #esoteric :(input):1:42: error: expected: "$", < 1394936422 554314 :idris-ircslave!~ircslave@dslb-088-078-249-067.pools.arcor-ip.net PRIVMSG #esoteric : "$>", "&&", "&&&", "*", "***", < 1394936422 554471 :idris-ircslave!~ircslave@dslb-088-078-249-067.pools.arcor-ip.net PRIVMSG #esoteric : "+", "++", "-", "->", ".", "/", < 1394936422 554563 :idris-ircslave!~ircslave@dslb-088-078-249-067.pools.arcor-ip.net PRIVMSG #esoteric : "/=", ":+", "::", "<", "<$", < 1394936422 554653 :idris-ircslave!~ircslave@dslb-088-078-249-067.pools.arcor-ip.net PRIVMSG #esoteric : "<$>", "<*>", "<+>", "<->",14↵… < 1394936428 633862 :Sgeo_!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :( let muahaha = the (Stream String) "haha" : muahaha in muahaha < 1394936428 884284 :idris-ircslave!~ircslave@dslb-088-078-249-067.pools.arcor-ip.net PRIVMSG #esoteric :(input):1:42: error: expected: "$", < 1394936428 941134 :idris-ircslave!~ircslave@dslb-088-078-249-067.pools.arcor-ip.net PRIVMSG #esoteric : "$>", "&&", "&&&", "*", "***", < 1394936428 941284 :idris-ircslave!~ircslave@dslb-088-078-249-067.pools.arcor-ip.net PRIVMSG #esoteric : "+", "++", "-", "->", ".", "/", < 1394936430 841221 :idris-ircslave!~ircslave@dslb-088-078-249-067.pools.arcor-ip.net PRIVMSG #esoteric : "/=", ":+", "::", "<", "<$", < 1394936431 161391 :Sgeo_!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :? < 1394936432 919274 :idris-ircslave!~ircslave@dslb-088-078-249-067.pools.arcor-ip.net PRIVMSG #esoteric : "<$>", "<*>", "<+>", "<->",14↵… < 1394936440 719232 :Sgeo_!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :( let muahaha = the (Stream String) ("haha" : muahaha in muahaha) < 1394936440 986067 :idris-ircslave!~ircslave@dslb-088-078-249-067.pools.arcor-ip.net PRIVMSG #esoteric :(input):1:19: error: expected: "$", < 1394936441 42398 :idris-ircslave!~ircslave@dslb-088-078-249-067.pools.arcor-ip.net PRIVMSG #esoteric : "$>", "&&", "&&&", "*", "***", < 1394936441 42548 :idris-ircslave!~ircslave@dslb-088-078-249-067.pools.arcor-ip.net PRIVMSG #esoteric : "+", "++", "-", "->", ".", "/", < 1394936441 42640 :idris-ircslave!~ircslave@dslb-088-078-249-067.pools.arcor-ip.net PRIVMSG #esoteric : "/=", ":+", "::", "<", "<$", < 1394936442 68585 :idris-ircslave!~ircslave@dslb-088-078-249-067.pools.arcor-ip.net PRIVMSG #esoteric : "<$>", "<*>", "<+>", "<->",14↵… < 1394936446 791145 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :Sgeo_: STOP < 1394936470 990711 :boily!~boily@96.127.201.149 PRIVMSG #esoteric :oerjan: in DCSS, there are an infinity of pandemonium levels, each with a randomized pandemonium lord. < 1394936495 680787 :boily!~boily@96.127.201.149 PRIVMSG #esoteric :oerjan: of these infinite levels, four have a predefined fixed vault, with a fixed unique and a fixed rune. < 1394936503 798015 :boily!~boily@96.127.201.149 PRIVMSG #esoteric :therefour, they are four, but unique. < 1394936514 237238 :boily!~boily@96.127.201.149 PRIVMSG #esoteric :Sgeo_: CONTINUE < 1394936517 766579 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :Sgeo_: it doesn't work for two different reasons, one of which i tried out earlier and it doesn't work inside let. < 1394936528 293376 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :or in expressions. < 1394936546 75281 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :(basically let is _not_ recursive in idris.) < 1394936554 76302 :Sgeo_!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :Ah < 1394936575 616497 :Bike!ae1924ee@gateway/web/freenode/ip.174.25.36.238 PRIVMSG #esoteric :is idris not lazy...? < 1394936666 849201 :Sgeo_!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :It's strict by default, but has laziness annotations. I don't know how those interact with codata. < 1394936715 769036 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i tried applying laziness too, it didn't help with the lack of recursion. < 1394936725 729230 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :admittedly i haven't read any actual tutorial. < 1394936747 809512 :Bike!ae1924ee@gateway/web/freenode/ip.174.25.36.238 PRIVMSG #esoteric :weird. < 1394936791 251080 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :Melvar said something about recursion being allowed in where clauses, but i couldn't find out how to put one in. < 1394936879 427362 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :maybe you can only put them on top level declarations, or something. < 1394936897 835751 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :( :doc where < 1394936897 893118 :idris-ircslave!~ircslave@dslb-088-078-249-067.pools.arcor-ip.net PRIVMSG #esoteric :(input):1:1: error: expected: end of input, < 1394936897 950302 :idris-ircslave!~ircslave@dslb-088-078-249-067.pools.arcor-ip.net PRIVMSG #esoteric : operator < 1394936897 950443 :idris-ircslave!~ircslave@dslb-088-078-249-067.pools.arcor-ip.net PRIVMSG #esoteric ::doc where < 1394936897 950548 :idris-ircslave!~ircslave@dslb-088-078-249-067.pools.arcor-ip.net PRIVMSG #esoteric :^ < 1394937190 60696 :zzo38!~zzo38@24-207-51-179.eastlink.ca JOIN :#esoteric < 1394937375 234806 :Bike!ae1924ee@gateway/web/freenode/ip.174.25.36.238 PRIVMSG #esoteric :sup zzo < 1394937551 353321 :Sgeo_!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :sdown? < 1394937608 409240 :Bike!ae1924ee@gateway/web/freenode/ip.174.25.36.238 PRIVMSG #esoteric :no < 1394937653 546221 :boily!~boily@96.127.201.149 PRIVMSG #esoteric :hezzo38. < 1394938348 312234 :boily!~boily@96.127.201.149 QUIT :Quit: UNDEMONIAC CHICKEN < 1394938409 157095 :tertu!~quassel@143.44.65.14 JOIN :#esoteric < 1394938883 923897 :oerjan!oerjan@sprocket.nvg.ntnu.no QUIT :Quit: Najt < 1394939656 347096 :tromp!~tromp@ool-4570a22a.dyn.optonline.net JOIN :#esoteric < 1394941819 375984 :shikhin!~Shikhin@unaffiliated/shikhin QUIT :Ping timeout: 264 seconds < 1394944169 964378 :tromp!~tromp@ool-4570a22a.dyn.optonline.net QUIT :Remote host closed the connection < 1394944210 187210 :tromp!~tromp@ool-4570a22a.dyn.optonline.net JOIN :#esoteric < 1394944464 348466 :tromp!~tromp@ool-4570a22a.dyn.optonline.net QUIT :Ping timeout: 240 seconds < 1394945323 130695 :manueliitho!~vit@201.208.8.3 JOIN :#esoteric < 1394945630 981110 :Sgeo_!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :http://imgur.com/a/sAIe6 < 1394946414 104696 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :I'm lost < 1394946992 280341 :shikhin!~Shikhin@unaffiliated/shikhin JOIN :#esoteric < 1394947089 622825 :Sorella!~queen@oftn/member/Sorella QUIT :Quit: It is tiem! < 1394947319 240340 :Bike!ae1924ee@gateway/web/freenode/ip.174.25.36.238 PRIVMSG #esoteric :try going left < 1394948088 91289 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :`welcome manueliitho < 1394948088 448816 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :No output. < 1394948108 802890 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :`swat Gregor < 1394948109 134206 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :No output. < 1394948117 24190 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :I expected as much < 1394948173 576154 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :manueliitho: welcome to the esoteric channel of, uh, shiny racoons < 1394948213 901059 :Bike!ae1924ee@gateway/web/freenode/ip.174.25.36.238 QUIT :Ping timeout: 245 seconds < 1394948468 547817 :manueliitho!~vit@201.208.8.3 PART :#esoteric < 1394948813 753823 :Sgeo_!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :http://i.imgur.com/ALjs0rf.jpg < 1394949626 753247 :abirvalg!~quassel@31.129.195.147 JOIN :#esoteric < 1394949904 77931 :password2!~password@197.78.159.108 JOIN :#esoteric < 1394950177 952586 :abirvalg!~quassel@31.129.195.147 QUIT :Quit: http://quassel-irc.org - ????????????? ??????. ?????. < 1394950512 689807 :nisstyre!~yourstrul@oftn/member/Nisstyre QUIT :Quit: WeeChat 0.4.3 < 1394951042 782453 :^v!~notnot^v@c-71-238-153-166.hsd1.mi.comcast.net QUIT :Ping timeout: 252 seconds < 1394951061 752516 :password2!~password@197.78.159.108 QUIT :Quit: Leaving < 1394951147 832596 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :I believe that allowing triggers to be indexed would be a good idea to add into SQL, in case you have one hundred triggers on one view, that you can speed up finding the correct trigger to execute. < 1394951224 53218 :password2!~password@197.78.159.108 JOIN :#esoteric < 1394952470 195274 :Sellyme!~Sellyme@2605:4d00:0:2::7a QUIT :Excess Flood < 1394952566 230951 :Sellyme!~Sellyme@fluttershy.is.bestpony.tk JOIN :#esoteric < 1394952605 708249 :tertu!~quassel@143.44.65.14 QUIT :Ping timeout: 252 seconds < 1394953022 858149 :conehead!~conehead@unaffiliated/conehead JOIN :#esoteric < 1394954391 539659 :chaiomanot!~chaiomano@75-121-39-142.dyn.centurytel.net QUIT :Remote host closed the connection < 1394955625 642114 :Sellyme!~Sellyme@fluttershy.is.bestpony.tk QUIT :Excess Flood < 1394955866 86227 :Sellyme!~Sellyme@fluttershy.is.bestpony.tk JOIN :#esoteric < 1394957202 961322 :AnotherTest!~turingcom@94-224-18-253.access.telenet.be JOIN :#esoteric < 1394959712 8190 :Sellyme!~Sellyme@fluttershy.is.bestpony.tk QUIT :Excess Flood < 1394959855 706909 :Sellyme!~Sellyme@irc.sellyme.com JOIN :#esoteric < 1394960549 389170 :conehead!~conehead@unaffiliated/conehead QUIT :Quit: Computer has gone to sleep. < 1394961173 149829 :Sellyme!~Sellyme@irc.sellyme.com QUIT :Excess Flood < 1394961265 967969 :Sellyme!~Sellyme@fluttershy.is.bestpony.tk JOIN :#esoteric < 1394962103 639233 :Sellyme!~Sellyme@fluttershy.is.bestpony.tk QUIT :Excess Flood < 1394962165 620821 :Sellyme!~Sellyme@irc.sellyme.com JOIN :#esoteric < 1394964110 650233 :shikhout!~Shikhin@unaffiliated/shikhin JOIN :#esoteric < 1394964161 321892 :Koen_!~Koen@vbo91-6-78-245-243-132.fbx.proxad.net JOIN :#esoteric < 1394964283 366436 :shikhin!~Shikhin@unaffiliated/shikhin QUIT :Ping timeout: 264 seconds < 1394964284 261720 :shikhout!~Shikhin@unaffiliated/shikhin NICK :shikhin < 1394967359 779171 :nooodl!~nooodl@33.96-242-81.adsl-dyn.isp.belgacom.be JOIN :#esoteric < 1394968726 16571 :password2!~password@197.78.159.108 QUIT :Remote host closed the connection < 1394968969 529366 :Melvar!~melvar@dslb-088-078-249-067.pools.arcor-ip.net PRIVMSG #esoteric :Sgeo_: Would you please not try to produce an infinite recursion? It locks up the REPL, taking down the bot. < 1394969116 78332 :nordee14!~Ranjit@14.102.109.172 JOIN :#esoteric < 1394969154 557017 :Melvar!~melvar@dslb-088-078-249-067.pools.arcor-ip.net PRIVMSG #esoteric :( take 20 (Stream.repeat "haha") < 1394969154 674817 :idris-ircslave!~ircslave@dslb-088-078-249-067.pools.arcor-ip.net PRIVMSG #esoteric :04[04"haha"04, 04"haha"04, 04"haha"04, 04"haha"04, 04"haha"04, 04"haha"04, 04"haha"04, 04"haha"04, 04"haha"04, 04"haha"04, 04"haha"04, 04"haha"04, 04"haha"04, 04"haha"04, 04"haha"04, 04"haha"04, 04"haha"04, 04"haha"04, 04"haha"04, 04"haha"04] : 12Vect 0420 12String < 1394969371 588637 :nordee14!~Ranjit@14.102.109.172 PART :#esoteric < 1394969942 159706 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :Melvar: Some sort of timeout should probably be added < 1394969953 402965 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :( take < 1394969953 732747 :idris-ircslave!~ircslave@dslb-088-078-249-067.pools.arcor-ip.net PRIVMSG #esoteric :Can't disambiguate name: Prelude.List.take, Prelude.Stream.take, Prelude.Vect.take < 1394969959 497011 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :( Stream.take < 1394969959 552468 :idris-ircslave!~ircslave@dslb-088-078-249-067.pools.arcor-ip.net PRIVMSG #esoteric :(input):0:0:Incomplete term 09take < 1394969963 833395 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :( :t Stream.take < 1394969963 981794 :idris-ircslave!~ircslave@dslb-088-078-249-067.pools.arcor-ip.net PRIVMSG #esoteric :09Prelude.Stream.take : (13n : 12Nat) -> (12Stream 13a) -> 12Vect 13n 13a < 1394970933 905341 :Melvar!~melvar@dslb-088-078-249-067.pools.arcor-ip.net PRIVMSG #esoteric :FreeFull: The bot has a timeout. The REPL it communicates with does not. < 1394971281 214962 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :Melvar: How do you produce an infinite loop anyway? I want to test something, locally < 1394971523 67804 :boily!~boily@96.127.201.149 JOIN :#esoteric < 1394972054 659513 :nooodl!~nooodl@33.96-242-81.adsl-dyn.isp.belgacom.be PRIVMSG #esoteric :hoily < 1394972454 864645 :olsner!~salparot@c83-252-203-32.bredband.comhem.se PRIVMSG #esoteric :Jafet: someone was apparently not looking for shiny racoons < 1394972603 850875 :boily!~boily@96.127.201.149 PRIVMSG #esoteric :heloooodl. < 1394972612 618699 :boily!~boily@96.127.201.149 PRIVMSG #esoteric :olsnhellor. < 1394972621 610121 :boily!~boily@96.127.201.149 PRIVMSG #esoteric :still shiny racooning? < 1394972977 357472 :Sellyme!~Sellyme@irc.sellyme.com QUIT :Excess Flood < 1394972996 51644 :Sellyme!~Sellyme@fluttershy.is.bestpony.tk JOIN :#esoteric < 1394973132 538277 :Koen_!~Koen@vbo91-6-78-245-243-132.fbx.proxad.net QUIT :Read error: Connection reset by peer < 1394973147 62346 :Koen_!~Koen@vbo91-6-78-245-243-132.fbx.proxad.net JOIN :#esoteric < 1394973159 316554 :yorick!~yorick@oftn/member/yorick JOIN :#esoteric < 1394973759 122108 :Koen_!~Koen@vbo91-6-78-245-243-132.fbx.proxad.net QUIT :Quit: Koen_ < 1394975281 659431 :Slereahphone!~slereahph@80.10.159.214 QUIT :Quit: Colloquy for iPhone - http://colloquy.mobi < 1394975401 387955 :Slereahphone!~slereahph@80.10.159.214 JOIN :#esoteric < 1394976734 197145 :oerjan!oerjan@sprocket.nvg.ntnu.no JOIN :#esoteric < 1394977041 204081 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :( :t scanl < 1394977041 349030 :idris-ircslave!~ircslave@dslb-088-078-249-067.pools.arcor-ip.net PRIVMSG #esoteric :No such variable scanl < 1394977048 221261 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :wat. < 1394977061 83404 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :I WANT MY FIBONACCI DAMMIT < 1394977067 978521 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :( :t scan < 1394977068 34419 :idris-ircslave!~ircslave@dslb-088-078-249-067.pools.arcor-ip.net PRIVMSG #esoteric :No such variable scan < 1394977163 576320 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :( :t foldr < 1394977163 682197 :idris-ircslave!~ircslave@dslb-088-078-249-067.pools.arcor-ip.net PRIVMSG #esoteric :09Prelude.Foldable.foldr : 12Foldable 13t => (13elt -> 13acc -> 13acc) -> 13acc -> (13t 13elt) -> 13acc < 1394977210 363363 :Deewiant!~deewiant@deewiant.iki.fi PRIVMSG #esoteric :Would any folks here happen to have free access to http://www.sciencedirect.com/science/article/pii/0734189X88901144 < 1394977313 220687 :boily!~boily@96.127.201.149 PRIVMSG #esoteric :I don't seem to have any access anymore :( < 1394977352 860461 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :clearly false advertising, how can it be direct if people don't have access < 1394977469 98513 :Deewiant!~deewiant@deewiant.iki.fi PRIVMSG #esoteric :There may be more false advertising involved: I'm actually looking for a different article which is supposed to be on pages 14–27 of that issue while the linked article should only cover pages 1–13 < 1394977497 665606 :Deewiant!~deewiant@deewiant.iki.fi PRIVMSG #esoteric :But sciencedirect doesn't even mention the other one so I'm wondering if they're both in the PDF of that one or what's up < 1394977712 466866 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :I see 1-27. < 1394977726 980514 :Deewiant!~deewiant@deewiant.iki.fi PRIVMSG #esoteric :Yes, that's what sciencedirect claims < 1394977737 999601 :Deewiant!~deewiant@deewiant.iki.fi PRIVMSG #esoteric :Or did you see the PDF itself? < 1394977804 433086 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :It has the same number of pages as http://46.4.207.77/a.pdf < 1394977868 77699 :Deewiant!~deewiant@deewiant.iki.fi PRIVMSG #esoteric :Right, so some merging took place on Elsevier's end, thanks < 1394977911 731205 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :bah last darths & droids was clearly false alarm. i guess they didn't have the picture frames for it. < 1394978134 968140 :Sorella!~queen@oftn/member/Sorella JOIN :#esoteric < 1394978169 533232 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :( :t with Stream foldr (::) [] < 1394978169 590295 :idris-ircslave!~ircslave@dslb-088-078-249-067.pools.arcor-ip.net PRIVMSG #esoteric :Can't unify < 1394978169 646576 :idris-ircslave!~ircslave@dslb-088-078-249-067.pools.arcor-ip.net PRIVMSG #esoteric : 13a -> (12Lazy (12Stream 13a)) -> 12Stream 13a < 1394978169 646750 :idris-ircslave!~ircslave@dslb-088-078-249-067.pools.arcor-ip.net PRIVMSG #esoteric :with < 1394978169 646848 :idris-ircslave!~ircslave@dslb-088-078-249-067.pools.arcor-ip.net PRIVMSG #esoteric : 13elt -> 13acc -> 13acc < 1394978169 646938 :idris-ircslave!~ircslave@dslb-088-078-249-067.pools.arcor-ip.net PRIVMSG #esoteric :Specifically:14↵… < 1394978196 427140 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :( :t with Stream foldr (\x y -> x :: Delay y) [] < 1394978196 534161 :idris-ircslave!~ircslave@dslb-088-078-249-067.pools.arcor-ip.net PRIVMSG #esoteric :Can't disambiguate name: Data.HVect.Nil, Prelude.List.Nil, Data.Vect.Quantifiers.Nil, Prelude.Vect.Nil < 1394978216 646782 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :oh right there's no stream Nil. < 1394978270 287245 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :( :t with Stream foldr (\x y -> x :: Delay y) < 1394978270 383549 :idris-ircslave!~ircslave@dslb-088-078-249-067.pools.arcor-ip.net PRIVMSG #esoteric :No such variable \ < 1394978276 809275 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :( :t with Stream foldr (\x y => x :: Delay y) < 1394978276 986306 :idris-ircslave!~ircslave@dslb-088-078-249-067.pools.arcor-ip.net PRIVMSG #esoteric :(input):1:1: error: expected: end of input, < 1394978276 986373 :idris-ircslave!~ircslave@dslb-088-078-249-067.pools.arcor-ip.net PRIVMSG #esoteric : operator < 1394978276 986411 :idris-ircslave!~ircslave@dslb-088-078-249-067.pools.arcor-ip.net PRIVMSG #esoteric ::t with Stream foldr (\x y => x :: Delay y) < 1394978276 986457 :idris-ircslave!~ircslave@dslb-088-078-249-067.pools.arcor-ip.net PRIVMSG #esoteric :^ < 1394978277 707982 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :parse error on input `=>' < 1394978298 63758 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :wtf < 1394978300 469565 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :( :t x^2 < 1394978300 577854 :idris-ircslave!~ircslave@dslb-088-078-249-067.pools.arcor-ip.net PRIVMSG #esoteric :(input):1:1: error: expected: end of input, < 1394978300 633956 :idris-ircslave!~ircslave@dslb-088-078-249-067.pools.arcor-ip.net PRIVMSG #esoteric : operator < 1394978300 634106 :idris-ircslave!~ircslave@dslb-088-078-249-067.pools.arcor-ip.net PRIVMSG #esoteric ::t x^2 < 1394978300 634197 :idris-ircslave!~ircslave@dslb-088-078-249-067.pools.arcor-ip.net PRIVMSG #esoteric :^ < 1394978301 441550 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : parse error (possibly incorrect indentation or mismatched brackets) < 1394978316 728783 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric ::t x^2 -- < 1394978317 426560 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :Expr < 1394978321 274306 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :( :t x^2 -- < 1394978324 119061 :idris-ircslave!~ircslave@dslb-088-078-249-067.pools.arcor-ip.net PRIVMSG #esoteric :(input):1:1: error: expected: end of input, < 1394978324 176448 :idris-ircslave!~ircslave@dslb-088-078-249-067.pools.arcor-ip.net PRIVMSG #esoteric : operator < 1394978324 176604 :idris-ircslave!~ircslave@dslb-088-078-249-067.pools.arcor-ip.net PRIVMSG #esoteric ::t x^2 -- < 1394978324 176699 :idris-ircslave!~ircslave@dslb-088-078-249-067.pools.arcor-ip.net PRIVMSG #esoteric :^ < 1394978324 949699 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :Expr < 1394978338 430564 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :Potential botloop there... < 1394978354 632707 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :fancy < 1394978358 650449 :boily!~boily@96.127.201.149 PRIVMSG #esoteric :`? botlops < 1394978359 189701 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :No output. < 1394978384 310534 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :There is no type beginning with a ( , is there. < 1394978397 965905 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :You can with type operators < 1394978401 555838 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :sure there is. < 1394978410 555446 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric ::t fix < 1394978411 454296 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :(a -> a) -> a < 1394978420 233870 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :That begins with (a. < 1394978425 591255 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :but i don't think you'll be able to get a space. < 1394978459 596766 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :(:t 7 < 1394978478 917681 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric ::( < 1394978503 267590 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :(we don't want idris-ircslave to give error messages everyone writes like this.) < 1394978516 301680 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :*+everytime someone < 1394978520 795432 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :*-+ < 1394978529 709519 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i think my brain needs service. < 1394978535 498339 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :*+-/^ < 1394979042 446955 :shikhin!~Shikhin@unaffiliated/shikhin QUIT :Read error: Connection reset by peer < 1394979127 302290 :tertu!~quassel@143.44.65.14 JOIN :#esoteric < 1394979204 180643 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :a dog is barking. some asshole got a new one. time to buy poison. < 1394979253 998150 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :hm that misses a season. make that "barking dog in spring." < 1394979332 724399 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :let's hope it's just visiting. < 1394979362 309657 :shikhin!~Shikhin@unaffiliated/shikhin JOIN :#esoteric < 1394979473 883276 :boily!~boily@96.127.201.149 PRIVMSG #esoteric :yesterday night, around 11pm EDT, my neighbours randomly guffawed. it was... more weird than anything else. < 1394979539 335201 :FreeFull!~freefull@defocus/sausage-lover QUIT :Read error: Operation timed out < 1394980207 5799 :boily!~boily@96.127.201.149 QUIT :Quit: SHOWERED CHICKEN < 1394980389 457960 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :sadly, it's not just visiting. it's in the apartment next to mine that has been vacant all until now. < 1394980438 701255 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i have to move. < 1394980469 592041 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :imo move to York < 1394980558 688762 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :keep the viking theme < 1394983204 325863 :Melvar!~melvar@dslb-088-078-249-067.pools.arcor-ip.net PRIVMSG #esoteric :oerjan: Lambda arguments currently require commas between, i.e. (\x y => …) doesn’t parse, it needs to be (\x,y => …). I think somebody really really wants to change that, but I don’t know if or when that change might show up. < 1394983225 137408 :Melvar!~melvar@dslb-088-078-249-067.pools.arcor-ip.net PRIVMSG #esoteric :Taneb: There currently is no (^) operator in the prelude. < 1394983240 908380 :Melvar!~melvar@dslb-088-078-249-067.pools.arcor-ip.net PRIVMSG #esoteric :( :t pow < 1394983241 20979 :idris-ircslave!~ircslave@dslb-088-078-249-067.pools.arcor-ip.net PRIVMSG #esoteric :09Prelude.pow : 12Num 13a => 13a -> 12Nat -> 13a < 1394983269 477674 :Melvar!~melvar@dslb-088-078-249-067.pools.arcor-ip.net PRIVMSG #esoteric :That does exist though. Should be renamed or aliased. < 1394984120 328719 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :yay the dog stopped while i was shaving. i think its humans came back < 1394984462 437495 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :( :t with Stream foldr (\x, y => x :: Delay y) < 1394984462 885077 :idris-ircslave!~ircslave@dslb-088-078-249-067.pools.arcor-ip.net PRIVMSG #esoteric :Can't resolve type class 12Foldable t < 1394984496 691087 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :( :t with Stream foldr (\x, y => the (Stream a) (x :: Delay y)) < 1394984497 958008 :idris-ircslave!~ircslave@dslb-088-078-249-067.pools.arcor-ip.net PRIVMSG #esoteric :(input):1:44:No such variable a < 1394984504 264824 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :( :t with Stream foldr (\x, y => the (Stream _) (x :: Delay y)) < 1394984504 647534 :idris-ircslave!~ircslave@dslb-088-078-249-067.pools.arcor-ip.net PRIVMSG #esoteric :Can't resolve type class 12Foldable t < 1394984515 275359 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i guess Stream just isn't foldable. < 1394984558 439563 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :although obviously there _are_ codata versions of folds in some cases... < 1394984615 185145 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :oh wait hm < 1394984655 142791 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :( :t \z => with Stream foldr (\x, y => the (Stream _) (x :: Delay y)) z z < 1394984655 475973 :idris-ircslave!~ircslave@dslb-088-078-249-067.pools.arcor-ip.net PRIVMSG #esoteric :Can't resolve type class 12Foldable 12Stream < 1394984660 644923 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :nope. < 1394984692 433815 :Melvar!~melvar@dslb-088-078-249-067.pools.arcor-ip.net PRIVMSG #esoteric :( the (Foldable List) %instance < 1394984692 806254 :idris-ircslave!~ircslave@dslb-088-078-249-067.pools.arcor-ip.net PRIVMSG #esoteric :04constructor of Prelude.Foldable.Foldable (\13{meth0} => \13{meth1} => \13{meth2} => \13{meth3} => \13{meth4} => 09List instance of Prelude.Foldable.Foldable, method foldr 13meth 13meth 13meth) : 12Foldable 12List < 1394984707 903061 :Melvar!~melvar@dslb-088-078-249-067.pools.arcor-ip.net PRIVMSG #esoteric :( the (Foldable Stream) %instance < 1394984708 271329 :idris-ircslave!~ircslave@dslb-088-078-249-067.pools.arcor-ip.net PRIVMSG #esoteric :Can't resolve type class 12Foldable 12Stream < 1394984731 873616 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :( :t %instance < 1394984732 284689 :idris-ircslave!~ircslave@dslb-088-078-249-067.pools.arcor-ip.net PRIVMSG #esoteric :(input):0:0:Incomplete term 04refl < 1394984772 809261 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :( :doc Foldable < 1394984773 273066 :idris-ircslave!~ircslave@dslb-088-078-249-067.pools.arcor-ip.net PRIVMSG #esoteric :Type class 12Foldable < 1394984773 644447 :idris-ircslave!~ircslave@dslb-088-078-249-067.pools.arcor-ip.net PRIVMSG #esoteric :Methods: < 1394984773 700973 :idris-ircslave!~ircslave@dslb-088-078-249-067.pools.arcor-ip.net PRIVMSG #esoteric : 09foldr : 12Foldable 13t => (13elt -> 13acc -> 13acc) -> 13acc -> (13t 13elt) -> 13acc < 1394984773 701115 :idris-ircslave!~ircslave@dslb-088-078-249-067.pools.arcor-ip.net PRIVMSG #esoteric : Arguments: < 1394984773 701211 :idris-ircslave!~ircslave@dslb-088-078-249-067.pools.arcor-ip.net PRIVMSG #esoteric : Class constraint 12Foldable 13t14↵… < 1394984820 313693 :Melvar!~melvar@dslb-088-078-249-067.pools.arcor-ip.net PRIVMSG #esoteric :oerjan: %instance means “fill this term in using instance search”. < 1394984824 629169 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :( :doc Traversable < 1394984824 998056 :idris-ircslave!~ircslave@dslb-088-078-249-067.pools.arcor-ip.net PRIVMSG #esoteric :Type class 12Traversable < 1394984825 232377 :idris-ircslave!~ircslave@dslb-088-078-249-067.pools.arcor-ip.net PRIVMSG #esoteric :Methods: < 1394984825 288544 :idris-ircslave!~ircslave@dslb-088-078-249-067.pools.arcor-ip.net PRIVMSG #esoteric : 09traverse : 12Traversable 13t => 12Applicative 13f => (13a -> 13f 13b) -> (13t 13a) -> 13f (13t 13b) < 1394984825 288713 :idris-ircslave!~ircslave@dslb-088-078-249-067.pools.arcor-ip.net PRIVMSG #esoteric : Arguments: < 1394984825 288820 :idris-ircslave!~ircslave@dslb-088-078-249-067.pools.arcor-ip.net PRIVMSG #esoteric : Class constraint 12Traversable 13t14↵… < 1394984862 484629 :Melvar!~melvar@dslb-088-078-249-067.pools.arcor-ip.net PRIVMSG #esoteric :And type class instances are actual values. < 1394984864 162352 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :( :t State < 1394984864 497396 :idris-ircslave!~ircslave@dslb-088-078-249-067.pools.arcor-ip.net PRIVMSG #esoteric :No such variable State < 1394984868 163598 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :( :t StateT < 1394984868 536076 :idris-ircslave!~ircslave@dslb-088-078-249-067.pools.arcor-ip.net PRIVMSG #esoteric :No such variable StateT < 1394984889 286234 :Melvar!~melvar@dslb-088-078-249-067.pools.arcor-ip.net PRIVMSG #esoteric :Not imported at present. < 1394984929 816539 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i think idris-ircslave has deviously dropped everything that could be used to create a fibonacci stream. < 1394984995 924256 :idris-ircslave!~ircslave@dslb-088-078-249-067.pools.arcor-ip.net QUIT :Quit: Terminated < 1394985010 158723 :idris-ircslave!~ircslave@dslb-088-078-249-067.pools.arcor-ip.net JOIN :#esoteric < 1394985021 541520 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i cannot guarantee that State would work though, maybe it's too strict. < 1394985027 668501 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :( :t State < 1394985028 200240 :idris-ircslave!~ircslave@dslb-088-078-249-067.pools.arcor-ip.net PRIVMSG #esoteric :No such variable State < 1394985053 731187 :Melvar!~melvar@dslb-088-078-249-067.pools.arcor-ip.net PRIVMSG #esoteric :( :t STATE < 1394985054 319728 :idris-ircslave!~ircslave@dslb-088-078-249-067.pools.arcor-ip.net PRIVMSG #esoteric :No such variable STATE < 1394985065 969108 :Melvar!~melvar@dslb-088-078-249-067.pools.arcor-ip.net PRIVMSG #esoteric :( :t ZZ < 1394985066 514598 :idris-ircslave!~ircslave@dslb-088-078-249-067.pools.arcor-ip.net PRIVMSG #esoteric :No such variable ZZ < 1394985070 943474 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :monads are all caps? < 1394985074 365131 :Melvar!~melvar@dslb-088-078-249-067.pools.arcor-ip.net PRIVMSG #esoteric :Okay, something went wrong. < 1394985088 153841 :Melvar!~melvar@dslb-088-078-249-067.pools.arcor-ip.net PRIVMSG #esoteric :No, just checking for somethinge else that should have been there. < 1394985133 444301 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :( :t fix < 1394985133 955817 :idris-ircslave!~ircslave@dslb-088-078-249-067.pools.arcor-ip.net PRIVMSG #esoteric :No such variable fix < 1394985139 827477 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :( :t (+) < 1394985140 938941 :idris-ircslave!~ircslave@dslb-088-078-249-067.pools.arcor-ip.net PRIVMSG #esoteric :09Prelude.Classes.+ : 12Num 13a => 13a -> 13a -> 13a < 1394985197 735129 :idris-ircslave!~ircslave@dslb-088-078-249-067.pools.arcor-ip.net QUIT :Client Quit < 1394985214 293596 :idris-ircslave!~ircslave@dslb-088-078-249-067.pools.arcor-ip.net JOIN :#esoteric < 1394985220 881132 :Melvar!~melvar@dslb-088-078-249-067.pools.arcor-ip.net PRIVMSG #esoteric :( :t ZZ < 1394985221 351932 :idris-ircslave!~ircslave@dslb-088-078-249-067.pools.arcor-ip.net PRIVMSG #esoteric :No such variable ZZ < 1394985230 498232 :Melvar!~melvar@dslb-088-078-249-067.pools.arcor-ip.net PRIVMSG #esoteric :Dang. One moment. < 1394985253 367064 :idris-ircslave!~ircslave@dslb-088-078-249-067.pools.arcor-ip.net QUIT :Client Quit < 1394985269 353604 :idris-ircslave!~ircslave@dslb-088-078-249-067.pools.arcor-ip.net JOIN :#esoteric < 1394985275 537942 :Melvar!~melvar@dslb-088-078-249-067.pools.arcor-ip.net PRIVMSG #esoteric :( :t ZZ < 1394985276 136237 :idris-ircslave!~ircslave@dslb-088-078-249-067.pools.arcor-ip.net PRIVMSG #esoteric :No such variable ZZ < 1394985282 607647 :Melvar!~melvar@dslb-088-078-249-067.pools.arcor-ip.net PRIVMSG #esoteric :Fffff… < 1394985370 583723 :Melvar!~melvar@dslb-088-078-249-067.pools.arcor-ip.net PRIVMSG #esoteric :>.< < 1394985537 977974 :Melvar!~melvar@dslb-088-078-249-067.pools.arcor-ip.net PRIVMSG #esoteric :I recently added an unrelated incorrect import and didn’t test it after that. < 1394985559 793007 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :fanZZy < 1394985603 316768 :Melvar!~melvar@dslb-088-078-249-067.pools.arcor-ip.net PRIVMSG #esoteric :Not the ZZ, I thought there was still Data.Uninhabited, but that got moved into Prelude sometime. < 1394985622 69046 :tromp!~tromp@ool-4570a22a.dyn.optonline.net JOIN :#esoteric < 1394985631 451531 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :( :doc Uninhabitated < 1394985631 934109 :idris-ircslave!~ircslave@dslb-088-078-249-067.pools.arcor-ip.net PRIVMSG #esoteric :No documentation for Uninhabitated < 1394985640 973769 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :( :doc Uninhabited < 1394985641 698865 :idris-ircslave!~ircslave@dslb-088-078-249-067.pools.arcor-ip.net PRIVMSG #esoteric :Type class 12Uninhabited < 1394985641 920366 :idris-ircslave!~ircslave@dslb-088-078-249-067.pools.arcor-ip.net PRIVMSG #esoteric :Methods: < 1394985641 979781 :idris-ircslave!~ircslave@dslb-088-078-249-067.pools.arcor-ip.net PRIVMSG #esoteric : 09uninhabited : 12Uninhabited 13t => 13t -> 12_|_ < 1394985641 979931 :idris-ircslave!~ircslave@dslb-088-078-249-067.pools.arcor-ip.net PRIVMSG #esoteric : If I have a t, I've had a contradiction < 1394985641 980024 :idris-ircslave!~ircslave@dslb-088-078-249-067.pools.arcor-ip.net PRIVMSG #esoteric : Arguments:14↵… < 1394985678 425639 :Melvar!~melvar@dslb-088-078-249-067.pools.arcor-ip.net PRIVMSG #esoteric :( :t absurd < 1394985679 614590 :idris-ircslave!~ircslave@dslb-088-078-249-067.pools.arcor-ip.net PRIVMSG #esoteric :09Prelude.Uninhabited.absurd : 12Uninhabited 13t => 13t -> 13a < 1394985724 373949 :shikhout!~Shikhin@unaffiliated/shikhin JOIN :#esoteric < 1394985730 151546 :Melvar!~melvar@dslb-088-078-249-067.pools.arcor-ip.net PRIVMSG #esoteric :(Which is just (FalseElim . uninhabited).) < 1394985781 816551 :Melvar!~melvar@dslb-088-078-249-067.pools.arcor-ip.net PRIVMSG #esoteric :So, I took the opportunity to update my Idris, I’ll restart once more in a moment and hopefully we’ll have our imports again. < 1394985819 197322 :Melvar!~melvar@dslb-088-078-249-067.pools.arcor-ip.net PRIVMSG #esoteric :oerjan: Also, yes, the State is almost certainly too strict for generating a Stream in its state. < 1394985868 174304 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :darn < 1394985919 326077 :shikhin!~Shikhin@unaffiliated/shikhin QUIT :Ping timeout: 264 seconds < 1394985920 531977 :shikhout!~Shikhin@unaffiliated/shikhin NICK :shikhin < 1394985947 831724 :idris-ircslave!~ircslave@dslb-088-078-249-067.pools.arcor-ip.net QUIT :Quit: Terminated < 1394985962 946112 :idris-ircslave!~ircslave@dslb-088-078-249-067.pools.arcor-ip.net JOIN :#esoteric < 1394985977 501894 :Melvar!~melvar@dslb-088-078-249-067.pools.arcor-ip.net PRIVMSG #esoteric :Hmm. < 1394986009 414831 :Melvar!~melvar@dslb-088-078-249-067.pools.arcor-ip.net PRIVMSG #esoteric :( :t State < 1394986009 526563 :idris-ircslave!~ircslave@dslb-088-078-249-067.pools.arcor-ip.net PRIVMSG #esoteric :12Effect.State.State : 09Effect < 1394986009 748475 :idris-ircslave!~ircslave@dslb-088-078-249-067.pools.arcor-ip.net PRIVMSG #esoteric :09Control.Monad.State.State : 12Type -> 12Type -> 12Type < 1394986023 507471 :Melvar!~melvar@dslb-088-078-249-067.pools.arcor-ip.net PRIVMSG #esoteric :Yay. < 1394986103 986212 :Melvar!~melvar@dslb-088-078-249-067.pools.arcor-ip.net PRIVMSG #esoteric :(Funny how those are opposite-colored.) < 1394986118 58702 :Melvar!~melvar@dslb-088-078-249-067.pools.arcor-ip.net PRIVMSG #esoteric :( State < 1394986118 169413 :idris-ircslave!~ircslave@dslb-088-078-249-067.pools.arcor-ip.net PRIVMSG #esoteric :Can't disambiguate name: Effect.State.State, Control.Monad.State.State < 1394986129 373829 :Melvar!~melvar@dslb-088-078-249-067.pools.arcor-ip.net PRIVMSG #esoteric :( Monad.State.State < 1394986129 870977 :idris-ircslave!~ircslave@dslb-088-078-249-067.pools.arcor-ip.net PRIVMSG #esoteric :09State : 12Type -> 12Type -> 12Type < 1394986144 594394 :Melvar!~melvar@dslb-088-078-249-067.pools.arcor-ip.net PRIVMSG #esoteric :( \x y => Monad.State.State x y < 1394986144 705855 :idris-ircslave!~ircslave@dslb-088-078-249-067.pools.arcor-ip.net PRIVMSG #esoteric :(input):1:2: error: expected: lambda expression < 1394986144 967462 :idris-ircslave!~ircslave@dslb-088-078-249-067.pools.arcor-ip.net PRIVMSG #esoteric :\x y => Monad.State.State x y < 1394986145 24932 :idris-ircslave!~ircslave@dslb-088-078-249-067.pools.arcor-ip.net PRIVMSG #esoteric : ^ < 1394986149 169436 :Melvar!~melvar@dslb-088-078-249-067.pools.arcor-ip.net PRIVMSG #esoteric :( \x, y => Monad.State.State x y < 1394986149 361249 :idris-ircslave!~ircslave@dslb-088-078-249-067.pools.arcor-ip.net PRIVMSG #esoteric :\13x => \13y => 12StateT 13x 12Identity 13y : 12Type -> 12Type -> 12Type < 1394986182 976650 :Melvar!~melvar@dslb-088-078-249-067.pools.arcor-ip.net PRIVMSG #esoteric :( Effect < 1394986183 264705 :idris-ircslave!~ircslave@dslb-088-078-249-067.pools.arcor-ip.net PRIVMSG #esoteric :(13x : 12Type) -> 12Type -> (13x -> 12Type) -> 12Type : 12Type < 1394986200 662237 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :( :doc Stream < 1394986200 884712 :idris-ircslave!~ircslave@dslb-088-078-249-067.pools.arcor-ip.net PRIVMSG #esoteric :Data type 12Stream : 12Type -> 12Type < 1394986200 996536 :idris-ircslave!~ircslave@dslb-088-078-249-067.pools.arcor-ip.net PRIVMSG #esoteric : An infinite stream < 1394986201 52622 :idris-ircslave!~ircslave@dslb-088-078-249-067.pools.arcor-ip.net PRIVMSG #esoteric : Arguments: < 1394986201 52762 :idris-ircslave!~ircslave@dslb-088-078-249-067.pools.arcor-ip.net PRIVMSG #esoteric : 13__pi_arg : 12Type < 1394986201 52853 :idris-ircslave!~ircslave@dslb-088-078-249-067.pools.arcor-ip.net PRIVMSG #esoteric :Constructors:14↵… < 1394986282 146058 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :( let fib 0 = 1; fib 1 = 1; fib n = fib (n-1) + fib (n-2) in fib (the Integer 3) < 1394986282 392829 :idris-ircslave!~ircslave@dslb-088-078-249-067.pools.arcor-ip.net PRIVMSG #esoteric :(input):1:14: error: expected: "$", < 1394986282 478855 :idris-ircslave!~ircslave@dslb-088-078-249-067.pools.arcor-ip.net PRIVMSG #esoteric : "$>", "&&", "&&&", "*", "***", < 1394986282 626173 :idris-ircslave!~ircslave@dslb-088-078-249-067.pools.arcor-ip.net PRIVMSG #esoteric : "+", "++", "-", "->", ".", "/", < 1394986282 683727 :idris-ircslave!~ircslave@dslb-088-078-249-067.pools.arcor-ip.net PRIVMSG #esoteric : "/=", ":+", ":-", "::", ":::", < 1394986282 683868 :idris-ircslave!~ircslave@dslb-088-078-249-067.pools.arcor-ip.net PRIVMSG #esoteric : ":=", "<", "<$", "<$>", "<*>",14↵… < 1394986332 497323 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :someone said idris allowed ; in place of whitespace, they were confused. < 1394986359 586170 :Melvar!~melvar@dslb-088-078-249-067.pools.arcor-ip.net PRIVMSG #esoteric :I don’t think you can have multiple clauses in let. < 1394986361 549919 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :or just another missing syntax i guess. < 1394986370 331345 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :wat. < 1394986374 988504 :MoALTz!~no@user-46-112-127-158.play-internet.pl JOIN :#esoteric < 1394986404 862490 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :ok get back to me when idris is no longer subtly broken everywhere twh < 1394986415 599010 :Melvar!~melvar@dslb-088-078-249-067.pools.arcor-ip.net PRIVMSG #esoteric :For multiple bindings, I think you have to nest lets. < 1394986435 591047 :Melvar!~melvar@dslb-088-078-249-067.pools.arcor-ip.net PRIVMSG #esoteric :( let next (a,b) = (b,a+b) in take 10 (iterate next (Z,S Z)) < 1394986435 858928 :idris-ircslave!~ircslave@dslb-088-078-249-067.pools.arcor-ip.net PRIVMSG #esoteric :(input):1:19:No such variable b < 1394986457 985631 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :ooh iterate < 1394986485 706265 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :all is not lost < 1394986516 379726 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :( let next = \(a,b) => (b,a+b) in take 10 (iterate next (Z,S Z)) < 1394986516 748297 :idris-ircslave!~ircslave@dslb-088-078-249-067.pools.arcor-ip.net PRIVMSG #esoteric :04[04(04004, 04104)04, 04(04104, 04104)04, 04(04104, 04204)04, 04(04204, 04304)04, 04(04304, 04504)04, 04(04504, 04804)04, 04(04804, 041304)04, 04(041304, 042104)04, 04(042104, 043404)04, 04(043404, 045504)04] : 12Vect 0410 12(12Nat12, 12Nat12) < 1394986543 749141 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :( let next = \(a,b) => (b,a+b) in map head $ take 10 (iterate next (Z,S Z)) < 1394986544 9684 :idris-ircslave!~ircslave@dslb-088-078-249-067.pools.arcor-ip.net PRIVMSG #esoteric :(input):1:42:Can't disambiguate name: Prelude.List.head, Prelude.Stream.head, Prelude.Vect.head < 1394986559 577962 :Melvar!~melvar@dslb-088-078-249-067.pools.arcor-ip.net PRIVMSG #esoteric :It’s fst, not head. < 1394986563 962827 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :oh hm < 1394986570 452752 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :( let next = \(a,b) => (b,a+b) in map fst $ take 10 (iterate next (Z,S Z)) < 1394986572 617750 :idris-ircslave!~ircslave@dslb-088-078-249-067.pools.arcor-ip.net PRIVMSG #esoteric :04[04004, 04104, 04104, 04204, 04304, 04504, 04804, 041304, 042104, 043404] : 12Vect 0410 12Nat < 1394986589 703291 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :although i find it quite silly to have both overloading and type classes. < 1394986590 259104 :Melvar!~melvar@dslb-088-078-249-067.pools.arcor-ip.net PRIVMSG #esoteric :( let next = \(a,b) => (b,a+b) in take 10 (map fst (iterate next (Z,S Z))) < 1394986590 481564 :idris-ircslave!~ircslave@dslb-088-078-249-067.pools.arcor-ip.net PRIVMSG #esoteric :04[04004, 04104, 04104, 04204, 04304, 04504, 04804, 041304, 042104, 043404] : 12Vect 0410 12Nat < 1394986649 664813 :Melvar!~melvar@dslb-088-078-249-067.pools.arcor-ip.net PRIVMSG #esoteric :Type classes are useful for abstracting across, but sometimes you need a different signature. < 1394986663 53580 :Melvar!~melvar@dslb-088-078-249-067.pools.arcor-ip.net PRIVMSG #esoteric :( :t (<$>) < 1394986663 164448 :idris-ircslave!~ircslave@dslb-088-078-249-067.pools.arcor-ip.net PRIVMSG #esoteric :09Prelude.Applicative.<$> : 12Applicative 13f => (13f (13a -> 13b)) -> (13f 13a) -> 13f 13b < 1394986663 275211 :idris-ircslave!~ircslave@dslb-088-078-249-067.pools.arcor-ip.net PRIVMSG #esoteric :09Effects.<$> : (12Eff 13m (13a -> 13b) 13xs (\13v => 13xs)) -> (12Eff 13m 13a 13xs (\13v1 => 13xs)) -> 12Eff 13m 13b 13xs (\13v2 => 13xs) < 1394986716 599224 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :yes, but are those heads _really_ that incompatible. < 1394986722 456128 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :( :t List.head < 1394986724 674146 :idris-ircslave!~ircslave@dslb-088-078-249-067.pools.arcor-ip.net PRIVMSG #esoteric :09Prelude.List.head : (13l : 12List 13a) -> (09isCons 13l 12= 04True) -> 13a < 1394986730 611844 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :( :t Stream.head < 1394986730 722963 :idris-ircslave!~ircslave@dslb-088-078-249-067.pools.arcor-ip.net PRIVMSG #esoteric :09Prelude.Stream.head : (12Stream 13a) -> 13a < 1394986731 314700 :Melvar!~melvar@dslb-088-078-249-067.pools.arcor-ip.net PRIVMSG #esoteric :( :t head < 1394986731 572866 :idris-ircslave!~ircslave@dslb-088-078-249-067.pools.arcor-ip.net PRIVMSG #esoteric :09Prelude.List.head : (13l : 12List 13a) -> (09isCons 13l 12= 04True) -> 13a < 1394986731 743586 :idris-ircslave!~ircslave@dslb-088-078-249-067.pools.arcor-ip.net PRIVMSG #esoteric :09Prelude.Stream.head : (12Stream 13a) -> 13a < 1394986731 801200 :idris-ircslave!~ircslave@dslb-088-078-249-067.pools.arcor-ip.net PRIVMSG #esoteric :09Prelude.Vect.head : (12Vect (04S 13n) 13a) -> 13a < 1394986735 710065 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :oh < 1394986768 126083 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :hm i guess the List one doesn't quite fit. < 1394986769 397106 :Melvar!~melvar@dslb-088-078-249-067.pools.arcor-ip.net PRIVMSG #esoteric :For a list, you need a proof it is nonempty. For a stream, there is no condition. For a Vect, it needs to be indexed by a successor. < 1394986800 618243 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :eek, someone restarted the dog. < 1394987040 956169 :Melvar!~melvar@dslb-088-078-249-067.pools.arcor-ip.net PRIVMSG #esoteric :List.head is almost useless this way; the type for the proof is a poor choice for actual use. Generally, better to just pattern match and be done. < 1394987066 66835 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :( :t group < 1394987066 291350 :idris-ircslave!~ircslave@dslb-088-078-249-067.pools.arcor-ip.net PRIVMSG #esoteric :No such variable group < 1394987086 385409 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :( :t groupBy < 1394987088 401584 :idris-ircslave!~ircslave@dslb-088-078-249-067.pools.arcor-ip.net PRIVMSG #esoteric :No such variable groupBy < 1394987103 150162 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :those always give nonempty elements. < 1394987116 35947 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :(if they exist somewhere) < 1394987176 916558 :Melvar!~melvar@dslb-088-078-249-067.pools.arcor-ip.net PRIVMSG #esoteric :Probably why nobody has added them yet: They’ll want a type involving nonempty lists. < 1394987204 989262 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :ah < 1394987234 450309 :Melvar!~melvar@dslb-088-078-249-067.pools.arcor-ip.net PRIVMSG #esoteric :(And we don’t have a standard type for nonempty lists yet.) < 1394987251 466439 :Melvar!~melvar@dslb-088-078-249-067.pools.arcor-ip.net PRIVMSG #esoteric :( :t index < 1394987251 681569 :idris-ircslave!~ircslave@dslb-088-078-249-067.pools.arcor-ip.net PRIVMSG #esoteric :09Data.HVect.index : (13i : 12Fin 13k) -> (12HVect 13ts) -> 09index 13i 13ts < 1394987251 788755 :idris-ircslave!~ircslave@dslb-088-078-249-067.pools.arcor-ip.net PRIVMSG #esoteric :09Prelude.List.index : (13n : 12Nat) -> (13l : 12List 13a) -> (09lt 13n (09length 13l) 12= 04True) -> 13a < 1394987251 896668 :idris-ircslave!~ircslave@dslb-088-078-249-067.pools.arcor-ip.net PRIVMSG #esoteric :09Prelude.Stream.index : 12Nat -> (12Stream 13a) -> 13a < 1394987251 953166 :idris-ircslave!~ircslave@dslb-088-078-249-067.pools.arcor-ip.net PRIVMSG #esoteric :09Prelude.Vect.index : (12Fin 13n) -> (12Vect 13n 13a) -> 13a < 1394987329 907110 :Melvar!~melvar@dslb-088-078-249-067.pools.arcor-ip.net PRIVMSG #esoteric :Note how HVect.index has Vect.index in its type. < 1394987785 918611 :oerjan!oerjan@sprocket.nvg.ntnu.no QUIT :Quit: Later < 1394988019 650729 :MindlessDrone!~MindlessD@unaffiliated/mindlessdrone JOIN :#esoteric < 1394988319 601410 :itsy!~digital_w@87.112.13.30 PRIVMSG #esoteric :Does anyone here work at Cisco? I'm trying to get hold of someone... < 1394988591 843800 :ion!ion@heh.fi PRIVMSG #esoteric :Wtf? There’s a poll going on to choose one of the three pieces of “art” by students of the local polytechnic to be displayed on the wall of the building seen in the first photo. http://www.aamulehti.fi/Kulttuuri/1194884445935/artikkeli/aanesta+mika+tamk+n+opiskelijoiden+taideteos+paasee+talon+seinalle+.html < 1394989305 297930 :Slereahphone!~slereahph@80.10.159.214 QUIT :Quit: Colloquy for iPhone - http://colloquy.mobi < 1394989385 132274 :Slereahphone!~slereahph@80.10.159.214 JOIN :#esoteric < 1394989846 947852 :copumpkin!~copumpkin@unaffiliated/copumpkin NICK :yoda123 < 1394989893 106271 :yoda123!~copumpkin@unaffiliated/copumpkin NICK :copumpkin < 1394990358 410037 :tertu!~quassel@143.44.65.14 QUIT :Ping timeout: 240 seconds < 1394990366 133236 :tertu!~quassel@143.44.65.14 JOIN :#esoteric < 1394990430 728844 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :http://www.aamulehti.fi/Kulttuuri/1194884445935/artikkeli/aanesta+mika+tamk+n+opiskelijoiden+taideteos+paasee+talon+seinalle+.html < 1394990433 712304 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :whoops < 1394990453 549573 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :ion: wow, wtf indeed < 1394990466 773187 :yorick!~yorick@oftn/member/yorick QUIT :Remote host closed the connection < 1394991003 650972 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :Better than a giant film poster < 1394991134 292347 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :film posters generate revenue < 1394991184 750959 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :in America there is this weird thing where the adverts outside convenience stores have tiny print signs saying "Win these posters and other prizes, inquire within" as some kind of legal dodge < 1394991188 697433 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :i,i legal doge < 1394991216 137791 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :much litigate < 1394991227 497371 :MoALTz!~no@user-46-112-127-158.play-internet.pl QUIT :Ping timeout: 252 seconds < 1394991364 383918 :tromp!~tromp@ool-4570a22a.dyn.optonline.net QUIT :Remote host closed the connection < 1394991398 860161 :tromp!~tromp@ool-4570a22a.dyn.optonline.net JOIN :#esoteric < 1394991526 609132 :tromp!~tromp@ool-4570a22a.dyn.optonline.net QUIT :Remote host closed the connection < 1394991538 187906 :MoALTz!~no@user-46-112-127-158.play-internet.pl JOIN :#esoteric < 1394991542 344026 :tromp!~tromp@ool-4570a22a.dyn.optonline.net JOIN :#esoteric < 1394991607 413271 :tromp!~tromp@ool-4570a22a.dyn.optonline.net QUIT :Remote host closed the connection < 1394991640 305470 :tromp!~tromp@ool-4570a22a.dyn.optonline.net JOIN :#esoteric < 1394991878 278232 :tromp!~tromp@ool-4570a22a.dyn.optonline.net QUIT :Ping timeout: 240 seconds < 1394992038 798119 :^v!~notnot^v@c-71-238-153-166.hsd1.mi.comcast.net JOIN :#esoteric < 1394992307 527756 :ion!ion@heh.fi PRIVMSG #esoteric :kmc: Hah < 1394992859 740619 :conehead!~conehead@unaffiliated/conehead JOIN :#esoteric < 1394993011 831757 :Bike!ae1924ee@gateway/web/freenode/ip.174.25.36.238 JOIN :#esoteric < 1394993221 501619 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :I voted for #3 because I want to see more glitched textures in real life. < 1394995148 504779 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :Which is better, unfounded hope or unfounded despair? < 1394995481 334849 :yorick!~yorick@oftn/member/yorick JOIN :#esoteric < 1394995498 456854 :yorick!~yorick@oftn/member/yorick QUIT :Remote host closed the connection < 1394995756 308832 :yorick!~yorick@oftn/member/yorick JOIN :#esoteric < 1394996432 601071 :nisstyre!~yourstrul@oftn/member/Nisstyre JOIN :#esoteric < 1394996473 961680 :ais523!~ais523@unaffiliated/ais523 JOIN :#esoteric < 1394997040 45520 :ion!ion@heh.fi PRIVMSG #esoteric :I voted for #1 because le trolling. It would be great to have a huge racist slogan on a prominent wall. < 1394997719 26901 :MindlessDrone!~MindlessD@unaffiliated/mindlessdrone QUIT :Quit: MindlessDrone < 1394998627 776415 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :oh, beautiful: there's something of a flamewar going on on comp.lang.c about whether a particular poster is or is not a bot < 1394998647 348210 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :either way, he/she/it seems to be a decent troll, comparing the length of the posts to the lengths of the resulting followups < 1394999204 124108 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Is there a name for that metric? < 1394999301 790620 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :not that I know of < 1394999322 694483 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :ofc it doesn't just measure how good a troll you are, that also depends on how useful the resulting discussion is < 1394999342 172829 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :a perfect troll can use one word to start an infinitely long conversation with no useful content whatsoever < 1394999379 988622 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :or by registering an account < 1394999409 572171 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :(an old favourite, cf. http://www.criticalmiss.com/issue9/troll1.html ) < 1394999503 563061 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :huh, trolling has rules < 1394999687 163317 :chaiomanot!~chaiomano@75-121-39-142.dyn.centurytel.net JOIN :#esoteric < 1394999694 753880 :not^v!~notnot^v@c-71-238-153-166.hsd1.mi.comcast.net JOIN :#esoteric < 1394999717 763948 :^v!~notnot^v@c-71-238-153-166.hsd1.mi.comcast.net QUIT :Ping timeout: 252 seconds < 1395000008 353604 :MoALTz_!~no@user-46-112-127-158.play-internet.pl JOIN :#esoteric < 1395000169 233610 :MoALTz!~no@user-46-112-127-158.play-internet.pl QUIT :Ping timeout: 240 seconds < 1395000378 464246 :itsy!~digital_w@87.112.13.30 PRIVMSG #esoteric :ais523: is that troll Skybuck Flying? < 1395000393 101142 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :itsy: 88888 Dihedral < 1395000469 834170 :itsy!~digital_w@87.112.13.30 PRIVMSG #esoteric :ais523: ah okay. I noticed Skybuck (our Core War troll) is also trolling comp.lang.c < 1395000502 769232 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :yeah, I don't think he/she's easily confusable for a markovbot, though < 1395000586 253713 :Sellyme!~Sellyme@fluttershy.is.bestpony.tk QUIT :Excess Flood < 1395000685 763502 :Sellyme!~Sellyme@irc.sellyme.com JOIN :#esoteric < 1395000851 920236 :itsy!~digital_w@87.112.13.30 PRIVMSG #esoteric :ais523: Unfortunately he floods r.g.cw with pointless posts. It's a pretty quiet newsgroup so we have a very high noise/signal ratio :-( If you google him, he appears to have had a 10+ year trolling career and there's a few Youtube videos which make him appear completely crazy. < 1395000868 521011 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :itsy: such trolls normally change nym after a while < 1395000877 747358 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :to make themselves harder to killfile < 1395000994 541802 :itsy!~digital_w@87.112.13.30 PRIVMSG #esoteric :He's been using the same name for a while. Maybe using multiple names. < 1395001094 985277 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Huh, I recognize those names. < 1395001107 996617 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :(Haven't been reading clc or news in general for the last year or two.) < 1395001222 139351 :itsy!~digital_w@87.112.13.30 PRIVMSG #esoteric :comp.lang.forth also has a bad case of trolls :-( < 1395001687 855226 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :Trolls don't succeed so much as communities fail. < 1395001781 713263 :^v!~notnot^v@c-71-238-153-166.hsd1.mi.comcast.net JOIN :#esoteric < 1395001994 780236 :not^v!~notnot^v@c-71-238-153-166.hsd1.mi.comcast.net QUIT :Ping timeout: 252 seconds < 1395002055 771479 :not^v!~notnot^v@c-71-238-153-166.hsd1.mi.comcast.net JOIN :#esoteric < 1395002060 774550 :^v!~notnot^v@c-71-238-153-166.hsd1.mi.comcast.net QUIT :Ping timeout: 252 seconds < 1395002674 4550 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :"Scan the barcode on page 31 or type the bytes on page 32 to get a working Tetris game as an X86 Master Boot Record." https://twitter.com/travisgoodspeed/status/445299465721614336 < 1395002681 931172 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :I think this is the kind of publication I would enjoy writing for < 1395003216 803100 :lexande_!arapp@terpsichore.ugcs.caltech.edu JOIN :#esoteric < 1395003482 663450 :lexande!arapp@terpsichore.ugcs.caltech.edu QUIT :Disconnected by services < 1395003487 655803 :lexande_!arapp@terpsichore.ugcs.caltech.edu NICK :lexande < 1395003936 268646 :AnotherTest!~turingcom@94-224-18-253.access.telenet.be QUIT :Ping timeout: 252 seconds < 1395004009 932560 :Bike!ae1924ee@gateway/web/freenode/ip.174.25.36.238 PRIVMSG #esoteric :kmc: haha. i wonder if anyone's ever wrote thos things so they'd work ok even with a few transcription errors < 1395004018 82961 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :good question < 1395004020 523565 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :I thought about that a little < 1395004033 971663 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :I think it's pretty hard; a lot of single byte errors will produce an invalid instruction < 1395004111 983017 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :you just need enough to implement error correction + self-modify < 1395004119 503192 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :there was a quine posted to Reddit a while ago that would reproduce the original program with any character deleted < 1395004119 559786 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :but allowing for substitutions is much harder < 1395004137 777724 :^v!~notnot^v@c-71-238-153-166.hsd1.mi.comcast.net JOIN :#esoteric < 1395004155 892155 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :yeah, the best technique in practice is probably to add error correction code and hope that that bit of code works correctly < 1395004169 822355 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :it might be interesting to, say, have two copies of the error correction code that run in parallel < 1395004180 693794 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :and start off by trying to correct errors in each other < 1395004188 408747 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :sort-of like cooperative Core Wars < 1395004206 360683 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :I wouldn't be surprised if JPL built those already < 1395004304 718211 :not^v!~notnot^v@c-71-238-153-166.hsd1.mi.comcast.net QUIT :Ping timeout: 252 seconds < 1395004644 588312 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :In other news, mathematica is fun http://46.4.207.77/solar.gif < 1395004857 37038 :itsy!~digital_w@87.112.13.30 QUIT :Write error: Connection timed out < 1395004888 935321 :Bike!ae1924ee@gateway/web/freenode/ip.174.25.36.238 QUIT :Ping timeout: 245 seconds < 1395004955 765927 :Sgeo_!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :ooh < 1395005032 626086 :Sgeo_!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :Except blatantly not to scale, sun should certainly move across more frequently than it is relative to season change < 1395005257 143035 :chaiomanot!~chaiomano@75-121-39-142.dyn.centurytel.net QUIT :Ping timeout: 240 seconds < 1395005402 690079 :JZTech101!jztech101@botters/jztech101 NICK :jzmitch < 1395005416 488635 :jzmitch!jztech101@botters/jztech101 NICK :JZTech101 < 1395005591 920506 :Bike!ae1924ee@gateway/web/freenode/ip.174.25.36.238 JOIN :#esoteric < 1395005768 949846 :Bike!ae1924ee@gateway/web/freenode/ip.174.25.36.238 PRIVMSG #esoteric :survivable code is an interesting thing. it's like how the occasional tendency of mutation in DNA is adaptive. < 1395007315 309535 :^v!~notnot^v@c-71-238-153-166.hsd1.mi.comcast.net QUIT :Quit: Leaving < 1395007334 338317 :shikhout!~Shikhin@unaffiliated/shikhin JOIN :#esoteric < 1395007378 176693 :Slereahphone!~slereahph@80.10.159.214 QUIT :Remote host closed the connection < 1395007449 654980 :Slereahphone!~slereahph@80.10.159.214 JOIN :#esoteric < 1395007519 349236 :shikhin!~Shikhin@unaffiliated/shikhin QUIT :Ping timeout: 264 seconds < 1395007520 519405 :shikhout!~Shikhin@unaffiliated/shikhin NICK :shikhin < 1395007633 639404 :nisstyre!~yourstrul@oftn/member/Nisstyre QUIT :Quit: WeeChat 0.4.3 < 1395009055 167161 :oerjan!oerjan@sprocket.nvg.ntnu.no JOIN :#esoteric < 1395009295 348089 :Slereah__!~jackal@176.222.51.233 JOIN :#esoteric < 1395009402 127142 :ion!ion@heh.fi PRIVMSG #esoteric :http://i.imgur.com/kVASZSk.jpg < 1395009827 13879 :zzo38!~zzo38@24-207-51-179.eastlink.ca QUIT :*.net *.split < 1395009827 14015 :Slereah_!~jackal@176.222.51.233 QUIT :*.net *.split < 1395009827 14191 :tertu!~quassel@143.44.65.14 QUIT :*.net *.split < 1395009827 14262 :Sorella!~queen@oftn/member/Sorella QUIT :*.net *.split < 1395009827 14331 :FireFly!~firefly@oftn/member/FireFly QUIT :*.net *.split < 1395009827 14399 :Sgeo_!~quassel@ool-44c2df0c.dyn.optonline.net QUIT :*.net *.split < 1395009881 537301 :tertu!~quassel@143.44.65.14 JOIN :#esoteric < 1395009881 537420 :Sorella!~queen@oftn/member/Sorella JOIN :#esoteric < 1395009881 537488 :FireFly!~firefly@oftn/member/FireFly JOIN :#esoteric < 1395009881 537554 :Sgeo_!~quassel@ool-44c2df0c.dyn.optonline.net JOIN :#esoteric < 1395009888 587725 :Bike!ae1924ee@gateway/web/freenode/ip.174.25.36.238 PRIVMSG #esoteric :imgur needs to stop naming everything .jpg < 1395009899 847600 :ion!ion@heh.fi PRIVMSG #esoteric :Especially .jpegs < 1395009983 451602 :Sgeo_!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :Bike... my client thinks you're not here < 1395010077 881039 :olsner!~salparot@c83-252-203-32.bredband.comhem.se PRIVMSG #esoteric :Bike: http://i.imgur.com/kVASZSk.png <-- better? < 1395010138 880175 :Bike!ae1924ee@gateway/web/freenode/ip.174.25.36.238 QUIT :Ping timeout: 245 seconds < 1395010421 393502 :tromp!~tromp@ool-4570a22a.dyn.optonline.net JOIN :#esoteric < 1395010616 650359 :zzo38!~zzo38@24-207-51-179.eastlink.ca JOIN :#esoteric < 1395010998 124689 :tromp!~tromp@ool-4570a22a.dyn.optonline.net QUIT :Remote host closed the connection < 1395011031 343546 :tromp!~tromp@ool-4570a22a.dyn.optonline.net JOIN :#esoteric < 1395011116 295197 :Bike!~Glossina@71-222-114-227.ptld.qwest.net JOIN :#esoteric < 1395011218 448272 :Bike!~Glossina@71-222-114-227.ptld.qwest.net PRIVMSG #esoteric :i'm at the point of wanting to complain about linux distributions. is there a cure? < 1395011262 531512 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :Bike: you could write patches for Unity < 1395011269 203461 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :that worked in my case, I'm not sure why though < 1395011281 270139 :tromp!~tromp@ool-4570a22a.dyn.optonline.net QUIT :Ping timeout: 240 seconds < 1395011424 812051 :conehead!~conehead@unaffiliated/conehead QUIT :Quit: Computer has gone to sleep. < 1395012494 759163 :tromp!~tromp@ool-4570a22a.dyn.optonline.net JOIN :#esoteric < 1395012931 119813 :chaiomanot!~chaiomano@75-121-39-142.dyn.centurytel.net JOIN :#esoteric < 1395013428 96424 :Froox!~Frooxius@cust-101.ktknet.cz QUIT :Ping timeout: 255 seconds < 1395013482 108012 :Frooxius!~Frooxius@cust-101.ktknet.cz JOIN :#esoteric