< 1404777627 349203 :Bicyclidine!~Glossina@69.166.35.233 QUIT :Ping timeout: 255 seconds < 1404777861 940553 :conehead!~conehead@unaffiliated/conehead JOIN :#esoteric < 1404778046 726534 :stickittothemain!4670836c@gateway/web/freenode/ip.70.112.131.108 PRIVMSG #esoteric :or both? < 1404778391 808419 :yorick!~yorick@oftn/member/yorick QUIT :Remote host closed the connection < 1404778597 375831 :stickittothemain!4670836c@gateway/web/freenode/ip.70.112.131.108 PRIVMSG #esoteric :I'll start a github repo < 1404778608 168108 :stickittothemain!4670836c@gateway/web/freenode/ip.70.112.131.108 PRIVMSG #esoteric :it'll use python < 1404778632 834263 :stickittothemain!4670836c@gateway/web/freenode/ip.70.112.131.108 PRIVMSG #esoteric :just called ecic-eso < 1404778897 577182 :stickittothemain!4670836c@gateway/web/freenode/ip.70.112.131.108 QUIT :Ping timeout: 246 seconds < 1404779027 92241 :stickittothemain!4670836c@gateway/web/freenode/ip.70.112.131.108 JOIN :#esoteric < 1404779050 519790 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :I'd rather use whatever language I'm into at any given microsecond. If that means using Opa to make a BF interpreter, so be it < 1404779150 206697 :Bike!~Glossina@75-175-76-229.ptld.qwest.net PRIVMSG #esoteric :shine on, you crazy diamond. < 1404779300 537192 :stickittothemain!4670836c@gateway/web/freenode/ip.70.112.131.108 PRIVMSG #esoteric :i don't really know git that well, how do you add contributers? < 1404779516 780163 :stickittothemain!4670836c@gateway/web/freenode/ip.70.112.131.108 PRIVMSG #esoteric :kind of an off topic thing for this channel < 1404779520 291028 :stickittothemain!4670836c@gateway/web/freenode/ip.70.112.131.108 PRIVMSG #esoteric :sorry < 1404779613 851430 :Bike!~Glossina@75-175-76-229.ptld.qwest.net QUIT :Ping timeout: 240 seconds < 1404779746 387613 :Bike!~Glossina@174-25-51-128.ptld.qwest.net JOIN :#esoteric < 1404779787 276137 :clog!~nef@66.114.33.57 JOIN :#esoteric < 1404780569 901005 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover QUIT :Quit: Leaving < 1404780581 524745 :nooodl_!~nooodl@47.122-242-81.adsl-dyn.isp.belgacom.be NICK :nooodl < 1404780918 273899 :Bike!~Glossina@174-25-51-128.ptld.qwest.net QUIT :Ping timeout: 240 seconds < 1404781037 809856 :Bike!~Glossina@216-161-91-125.ptld.qwest.net JOIN :#esoteric < 1404783174 226802 :julio!~vit@190.74.207.63 JOIN :#esoteric < 1404783194 981755 :julio!~vit@190.74.207.63 PART :#esoteric < 1404783215 186071 :not^v!~notnot^v@2601:4:4540:5b:f56e:70c4:3dc8:4e09 JOIN :#esoteric < 1404784642 296677 :not^v!~notnot^v@2601:4:4540:5b:f56e:70c4:3dc8:4e09 QUIT :Read error: Connection reset by peer < 1404784668 178448 :not^v!~notnot^v@2601:4:4540:5b:f56e:70c4:3dc8:4e09 JOIN :#esoteric < 1404784776 711730 :not^v!~notnot^v@2601:4:4540:5b:f56e:70c4:3dc8:4e09 QUIT :Client Quit < 1404786239 193183 :nooodl_!~nooodl@47.122-242-81.adsl-dyn.isp.belgacom.be JOIN :#esoteric < 1404786284 140997 :nooodl!~nooodl@47.122-242-81.adsl-dyn.isp.belgacom.be QUIT :Disconnected by services < 1404786288 192698 :nooodl_!~nooodl@47.122-242-81.adsl-dyn.isp.belgacom.be NICK :nooodl < 1404786415 262812 :conehead!~conehead@unaffiliated/conehead QUIT :Quit: Computer has gone to sleep < 1404787261 421312 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :"Our core interface is _not_ applicative or monadic, but more fundamental. It is monoidal, just like HTML itself!" Clearly, they need to write a monad wrapper for it for that nice do notation < 1404787566 859975 :MoALTz_!~no@user-46-113-83-45.play-internet.pl JOIN :#esoteric < 1404787751 103534 :MoALTz!~no@user-31-175-98-12.play-internet.pl QUIT :Ping timeout: 264 seconds < 1404790392 629453 :stickittothemain!4670836c@gateway/web/freenode/ip.70.112.131.108 QUIT : < 1404791336 495620 :Speed``!~Speed@evile.thrash.im QUIT :Ping timeout: 264 seconds < 1404791735 873357 :rodgort!~rodgort@192.241.198.49 QUIT :Excess Flood < 1404791763 622218 :rodgort!~rodgort@192.241.198.49 JOIN :#esoteric < 1404791791 898940 :Speed`!~Speed@evile.thrash.im JOIN :#esoteric < 1404791854 17334 :MoALTz_!~no@user-46-113-83-45.play-internet.pl QUIT :Read error: Connection reset by peer < 1404791949 281595 :MoALTz!~no@user-46-113-83-45.play-internet.pl JOIN :#esoteric < 1404791998 273330 :clog!~nef@66.114.33.57 QUIT :Ping timeout: 240 seconds < 1404792331 133285 :nooodl!~nooodl@47.122-242-81.adsl-dyn.isp.belgacom.be QUIT :Quit: Ik ga weg < 1404793908 846758 :Melvar`!~melvar@dslb-088-078-156-068.pools.arcor-ip.net JOIN :#esoteric < 1404794016 315861 :Melvar!~melvar@dslb-092-072-175-242.pools.arcor-ip.net QUIT :Ping timeout: 255 seconds < 1404794043 887907 :idris-bot!~ircslave@dslb-092-072-175-242.pools.arcor-ip.net QUIT :Ping timeout: 240 seconds < 1404794839 849838 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :(In a paper regarding Idris): < 1404794844 485019 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :"This project made no use of human subjects or external data. As such, there were no ethicalconsiderations for this project and accelerated ethical approval was sought." < 1404795150 776119 :Bike!~Glossina@216-161-91-125.ptld.qwest.net PRIVMSG #esoteric :CS papers need ethical approval? < 1404795647 949527 :pikhq!~pikhq@24-178-249-64.dhcp.stls.mo.charter.com PRIVMSG #esoteric :Bike: Not unless they use human subjects. < 1404795670 271034 :pikhq!~pikhq@24-178-249-64.dhcp.stls.mo.charter.com PRIVMSG #esoteric :That was just a "fuck you" at Facebook, for using human subjects without consent and somehow getting it past an ethics board. < 1404795695 384313 :Bike!~Glossina@216-161-91-125.ptld.qwest.net PRIVMSG #esoteric :oh. understandable. i thought that was socio psych something, though. < 1404795849 185675 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :Um. I don't think a paper written April 4th would have such a "fuck you" < 1404795865 273438 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :http://www.simonjf.com/writing/bsc-dissertation.pdf < 1404795967 111673 :oerjan!oerjan@sprocket.nvg.ntnu.no JOIN :#esoteric < 1404796166 459286 :clog!~nef@66.114.33.57 JOIN :#esoteric < 1404796278 126483 :oerjan!oerjan@sprocket.nvg.ntnu.no TOPIC #esoteric :The clogged channel | brainfuck survey: https://www.surveymonkey.com/s/L82SNZV | https://dl.dropboxusercontent.com/u/2023808/wisdom.pdf http://codu.org/logs/_esoteric/ http://tunes.org/~nef/logs/esoteric/ < 1404797116 268915 :not^v!~notnot^v@2601:4:4540:5b:a48b:2186:96e8:6ddc JOIN :#esoteric < 1404797738 440229 :not^v!~notnot^v@2601:4:4540:5b:a48b:2186:96e8:6ddc QUIT :Quit: http://i.imgur.com/Akc6r.gif < 1404798804 307232 :conehead!~conehead@unaffiliated/conehead JOIN :#esoteric < 1404799482 309989 :oerjan!oerjan@sprocket.nvg.ntnu.no QUIT :Quit: leaving < 1404800064 654658 :Sorella!~queen@oftn/member/Sorella QUIT :Quit: It is tiem! < 1404800546 715781 :MoALTz!~no@user-46-113-83-45.play-internet.pl QUIT :Quit: Leaving < 1404803454 738698 :AnotherTest!~turingcom@d51A42986.access.telenet.be JOIN :#esoteric < 1404803985 120074 :AnotherTest!~turingcom@d51A42986.access.telenet.be QUIT :Ping timeout: 256 seconds < 1404805087 228813 :AnotherTest!~turingcom@193.190.253.145 JOIN :#esoteric < 1404805410 218192 :MindlessDrone!~MindlessD@unaffiliated/mindlessdrone JOIN :#esoteric < 1404805678 176129 :idris-bot!~ircslave@dslb-088-078-156-068.pools.arcor-ip.net JOIN :#esoteric < 1404806037 594900 :Melvar`!~melvar@dslb-088-078-156-068.pools.arcor-ip.net NICK :Melvar < 1404808318 897739 :Patashu!~Patashu@c27-253-115-204.carlnfd2.nsw.optusnet.com.au JOIN :#esoteric < 1404808633 486464 :Patashu_!~Patashu@c27-253-115-204.carlnfd2.nsw.optusnet.com.au JOIN :#esoteric < 1404808633 631712 :Patashu!~Patashu@c27-253-115-204.carlnfd2.nsw.optusnet.com.au QUIT :Disconnected by services < 1404808695 409327 :Patashu_!~Patashu@c27-253-115-204.carlnfd2.nsw.optusnet.com.au QUIT :Client Quit < 1404808709 88232 :Patashu!~Patashu@c27-253-115-204.carlnfd2.nsw.optusnet.com.au JOIN :#esoteric < 1404808902 262950 :Patashu!~Patashu@c27-253-115-204.carlnfd2.nsw.optusnet.com.au QUIT :Disconnected by services < 1404808902 409878 :Patashu_!~Patashu@c27-253-115-204.carlnfd2.nsw.optusnet.com.au JOIN :#esoteric < 1404809904 428268 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover JOIN :#esoteric < 1404810861 574708 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :`quote bad pr < 1404810862 62890 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :193) Getting bad programmers to like something is a failure. < 1404810867 612866 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :`quote bad pr to < 1404810868 98729 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :No output. < 1404810873 37038 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :`quote experimenting < 1404810874 895747 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :434) Well, I'm now experimenting with clients It doesn't sound like good PR to say that out loud. < 1404810885 994107 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :Help I'm using IRSSI again < 1404810913 769303 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :You just can't stop, can you. < 1404810991 21578 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :Also I'm reading bad PHP, too < 1404812368 404868 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :Also, new version of Dwarf Fortress aaaaaaah < 1404812385 424674 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :wooooot < 1404812415 348649 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :woah < 1404814219 916529 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover PRIVMSG #esoteric :sadly dfhack won't be updated forever < 1404814221 145719 :boily!~boily@96.127.201.149 JOIN :#esoteric < 1404814357 225956 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :Phantom_Hoover: will your Anthracite mod be updated? < 1404814393 661829 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover PRIVMSG #esoteric :p. sure it already is, he won't have changed the stone system < 1404814530 966363 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :You may have to send it to me again in a couple of weeks < 1404814601 466188 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover PRIVMSG #esoteric :i'm not sure i even have a copy any more < 1404814615 378093 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover PRIVMSG #esoteric :you can make your own very easily though! < 1404814767 554210 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :we should do a succession fort again < 1404815064 76042 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover PRIVMSG #esoteric :yesss < 1404815080 547039 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover PRIVMSG #esoteric :meanwhile i'm in #dfhack and < 1404815081 625706 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover PRIVMSG #esoteric : I think walls are completely unusable in new version fort mode < 1404815086 23936 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover PRIVMSG #esoteric : Apparently when you deconstruct one everything in your fort teleports near the deconstructed spot < 1404815093 445955 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :We should learn to fix Sgeo's sleep patterns so that when coworkers randomly call in the dead of night he's actually woken up < 1404815096 297336 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover PRIVMSG #esoteric :the potential for abuse is real < 1404816592 894210 :yorick!~yorick@oftn/member/yorick JOIN :#esoteric < 1404816935 185722 :Patashu!~Patashu@c27-253-115-204.carlnfd2.nsw.optusnet.com.au JOIN :#esoteric < 1404817018 278079 :Patashu_!~Patashu@c27-253-115-204.carlnfd2.nsw.optusnet.com.au QUIT :Ping timeout: 240 seconds < 1404817059 749254 :idris-bot!~ircslave@dslb-088-078-156-068.pools.arcor-ip.net QUIT :Quit: Terminated < 1404817075 131266 :idris-bot!~ircslave@dslb-088-078-156-068.pools.arcor-ip.net JOIN :#esoteric < 1404817090 66704 :idris-bot!~ircslave@dslb-088-078-156-068.pools.arcor-ip.net QUIT :Client Quit < 1404817339 123311 :idris-bot!~ircslave@dslb-088-078-156-068.pools.arcor-ip.net JOIN :#esoteric < 1404817830 436421 :boily!~boily@96.127.201.149 QUIT :Quit: SCRAMBLED CHICKEN < 1404818048 208288 :Melvar!~melvar@dslb-088-078-156-068.pools.arcor-ip.net PRIVMSG #esoteric :( :let nats : Stream Nat; nats = iterate S Z < 1404818048 391653 :idris-bot!~ircslave@dslb-088-078-156-068.pools.arcor-ip.net PRIVMSG #esoteric :defined < 1404818065 628565 :Melvar!~melvar@dslb-088-078-156-068.pools.arcor-ip.net PRIVMSG #esoteric :( take 10 nats < 1404818065 773225 :idris-bot!~ircslave@dslb-088-078-156-068.pools.arcor-ip.net PRIVMSG #esoteric :04[04004, 04104, 04204, 04304, 04404, 04504, 04604, 04704, 04804, 04904] : 12Vect 0410 12Nat < 1404818133 25410 :shikhin!~shikhin@unaffiliated/shikhin JOIN :#esoteric < 1404818323 687895 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :@ask ais523 do we actually want that infobox? < 1404818323 871775 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :Consider it noted. < 1404819690 615280 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :elliott: which infobox? < 1404819721 233090 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :the one germanyboy made on the wiki < 1404820054 421759 :Melvar!~melvar@dslb-088-078-156-068.pools.arcor-ip.net PRIVMSG #esoteric :`` units '2 pounds * c^2' 'megatons tnt' < 1404820055 76084 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :​ * 19.487022 \ / 0.051316205 < 1404820310 370099 :shikhout!~shikhin@unaffiliated/shikhin JOIN :#esoteric < 1404820511 182094 :shikhin!~shikhin@unaffiliated/shikhin QUIT :Ping timeout: 264 seconds < 1404820513 369271 :Melvar!~melvar@dslb-088-078-156-068.pools.arcor-ip.net PRIVMSG #esoteric :
ACTION finds out that in units, “lightyear” is not the same as “light year”, because “lightyear” is “c * julianyear” but “year” defaults to “tropicalyear”.
< 1404821054 711768 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover PRIVMSG #esoteric :for some reason df2014 has thrown my keyboard bindings into a blender < 1404821194 299197 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover PRIVMSG #esoteric :worldgen is way more dynamic and way, waaaay slower < 1404821213 299101 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :that's why it only runs for two weeks or something, right? < 1404821222 913814 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover PRIVMSG #esoteric :that's between forts < 1404821234 200534 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover PRIVMSG #esoteric :the initial worldgen is still 256 years by default < 1404821260 548857 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover PRIVMSG #esoteric :i assume it's a coarser simulation than the fort-to-fort one though < 1404821921 901683 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover PRIVMSG #esoteric :it also crashed at the end of worldgen < 1404822022 198671 :nooodl!~nooodl@47.122-242-81.adsl-dyn.isp.belgacom.be JOIN :#esoteric < 1404822197 935599 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :IDGI. Images from the phone become more blurry if I shorten the exposure time. < 1404822237 44184 :MindlessDrone!~MindlessD@unaffiliated/mindlessdrone QUIT :Quit: MindlessDrone < 1404822288 73533 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :`run units '1 light year' 'lightyears' < 1404822298 589490 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :​ * 0.99997864 \ / 1.0000214 < 1404822302 475158 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Fancy. < 1404822326 368241 :Sorella!~queen@oftn/member/Sorella JOIN :#esoteric < 1404822522 71189 :Melvar!~melvar@dslb-088-078-156-068.pools.arcor-ip.net PRIVMSG #esoteric :`` units lightyear; units year < 1404822522 794209 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :​ Definition: c julianyear = 9.4607305e+15 m \ Definition: tropicalyear = 365.242198781 day = 31556926 s < 1404823372 139535 :vifino!~vifino@ip-37-24-78-77.unitymediagroup.de JOIN :#esoteric < 1404823877 266228 :ion!ion@heh.fi PRIVMSG #esoteric :`run units 'light ray' < 1404823877 918514 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :​ Definition: 2.9979246e+13 kg / m^3 s^2 < 1404823996 858915 :Melvar!~melvar@dslb-088-078-156-068.pools.arcor-ip.net PRIVMSG #esoteric :Ooh, I specified “beard” in my .units, that’s why it’s not there. Derp. < 1404823999 212603 :ion!ion@heh.fi PRIVMSG #esoteric :`run units 'bu bbl e' < 1404823999 903504 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :​ Definition: 8.976297e-22 A m^6 s < 1404824035 294694 :Melvar!~melvar@dslb-088-078-156-068.pools.arcor-ip.net PRIVMSG #esoteric :`units smoot < 1404824035 902358 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :​ Definition: 5 ft + 7 in = 1.7018 m < 1404824137 240197 :ion!ion@heh.fi PRIVMSG #esoteric :Hah, the story behind that is funny. < 1404824215 396039 :ion!ion@heh.fi PRIVMSG #esoteric :Especially given his current job. < 1404824237 545558 :ion!ion@heh.fi PRIVMSG #esoteric :s/current/last/ < 1404824479 502504 :Melvar!~melvar@dslb-088-078-156-068.pools.arcor-ip.net PRIVMSG #esoteric :`` units 'light nanosecond' 'feet' < 1404824480 103694 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :​ * 0.98357106 \ / 1.0167034 < 1404824570 731120 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :`units sheppey < 1404824571 341407 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :Unknown unit 'sheppey' < 1404824573 264859 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Aw. < 1404824637 774086 :Melvar!~melvar@dslb-088-078-156-068.pools.arcor-ip.net PRIVMSG #esoteric :http://en.wikipedia.org/wiki/List_of_unusual_units_of_measurement < 1404824748 94667 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :`units shed < 1404824748 604098 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :​ Definition: 1e-24 barn = 1e-52 m^2 < 1404825147 956153 :Melvar!~melvar@dslb-088-078-156-068.pools.arcor-ip.net PRIVMSG #esoteric :`units billion < 1404825148 527658 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :​ Definition: shortbillion = 1e9 = 1e+09 < 1404825154 668663 :Melvar!~melvar@dslb-088-078-156-068.pools.arcor-ip.net PRIVMSG #esoteric :`units longbillion < 1404825155 392864 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :​ Definition: million^2 = 1e+12 < 1404825278 625042 :Melvar!~melvar@dslb-088-078-156-068.pools.arcor-ip.net PRIVMSG #esoteric :`units gram < 1404825279 103056 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :​ Definition: millikg = 1e-3 kg = 0.001 kg < 1404825368 69300 :Melvar!~melvar@dslb-088-078-156-068.pools.arcor-ip.net PRIVMSG #esoteric :↑ lol @ millikg. But correct, since the kilogram is the base unit as defined in the SI. < 1404825406 255096 :ion!ion@heh.fi PRIVMSG #esoteric ::-) < 1404825448 32866 :Melvar!~melvar@dslb-088-078-156-068.pools.arcor-ip.net PRIVMSG #esoteric :IIRC it’s also the only one still defined by a prototype. < 1404825480 454075 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Yes, though they keep trying to get rid of that. < 1404825482 588476 :Melvar!~melvar@dslb-088-078-156-068.pools.arcor-ip.net PRIVMSG #esoteric :Which turns out to be a problem, since the prototype and its copies have been drifting relative to one another, as we can now measure. < 1404825684 673285 :Melvar!~melvar@dslb-088-078-156-068.pools.arcor-ip.net PRIVMSG #esoteric :`` units 'pi seconds' nanocentury < 1404825685 150204 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :​ * 0.9955319 \ / 1.0044882 < 1404825737 820029 :ion!ion@heh.fi PRIVMSG #esoteric :nice < 1404828184 598124 :tswett!~tswett@c-107-5-152-253.hsd1.mi.comcast.net JOIN :#esoteric < 1404828219 350906 :tswett!~tswett@c-107-5-152-253.hsd1.mi.comcast.net PRIVMSG #esoteric :Ahoy. < 1404828500 191120 :Patashu!~Patashu@c27-253-115-204.carlnfd2.nsw.optusnet.com.au QUIT :Ping timeout: 240 seconds < 1404828617 202060 :tswett!~tswett@c-107-5-152-253.hsd1.mi.comcast.net PRIVMSG #esoteric :So I decided to come up with an esolang that's pretty much an assembly language with a static, strong, and extremely flexible type system. < 1404828663 892837 :Speed`!~Speed@evile.thrash.im QUIT :Ping timeout: 240 seconds < 1404828685 531994 :tswett!~tswett@c-107-5-152-253.hsd1.mi.comcast.net PRIVMSG #esoteric :This turns out to be really complicated. < 1404828688 568547 :HoverZuu!~zuu@unaffiliated/zuu NICK :Zuu < 1404828834 957993 :Speed`!~Speed@evile.thrash.im JOIN :#esoteric < 1404828997 2060 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :tswett: do you mean an assembly language where the output maps directly to some existing machine code, but the assembly language itself restricted by a type system so that it can find some errors and make programming easier? < 1404829036 755452 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :tswett: because that language almost exists, it's C < 1404829071 855974 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :except that C can copy structures by value < 1404829091 581399 :tswett!~tswett@c-107-5-152-253.hsd1.mi.comcast.net PRIVMSG #esoteric :Vaguely like C, except that it would be lower level, and the type system would be much more flexiblestrong. < 1404829126 925594 :tswett!~tswett@c-107-5-152-253.hsd1.mi.comcast.net PRIVMSG #esoteric :Like, consider a "dup" instruction, which duplicates the top word on the stack. < 1404829182 788757 :tswett!~tswett@c-107-5-152-253.hsd1.mi.comcast.net PRIVMSG #esoteric :This instruction would have the type "piece of code starting with a stack containing some initial stuff, then a word of type 'a', then some blank space, and ending with the original stuff, then two words of type 'a', then one word less blank space". < 1404829267 747516 :tswett!~tswett@c-107-5-152-253.hsd1.mi.comcast.net PRIVMSG #esoteric :Or something like "forall (i :: Mem) (a :: Word) (n :: Nat), i ** a ** (n + 1) Blank -> i ** a ** a ** n Blank" < 1404829297 262602 :Melvar!~melvar@dslb-088-078-156-068.pools.arcor-ip.net PRIVMSG #esoteric :Sounds like the sort of thing you’d do as an embedded DSL in Idris. < 1404829347 921788 :tswett!~tswett@c-107-5-152-253.hsd1.mi.comcast.net PRIVMSG #esoteric :Melvar: yup. < 1404831134 837197 :tswett!~tswett@c-107-5-152-253.hsd1.mi.comcast.net PRIVMSG #esoteric :I'll start by making the "little" version of the language. It'll make some simplifying assumptions, like that the stack has infinite room to grow. < 1404831192 744759 :tswett!~tswett@c-107-5-152-253.hsd1.mi.comcast.net PRIVMSG #esoteric :And that a word can store an entire arbitrary-precision natural number. < 1404831615 84105 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net QUIT :Read error: Connection reset by peer < 1404833794 291371 :ajf!~Colloquy@host86-172-51-137.range86-172.btcentralplus.com JOIN :#esoteric < 1404833802 18289 :ajf!~Colloquy@host86-172-51-137.range86-172.btcentralplus.com PRIVMSG #esoteric :So < 1404833818 843012 :ajf!~Colloquy@host86-172-51-137.range86-172.btcentralplus.com PRIVMSG #esoteric :In Bash and some other languages, “fi” (“if” backwards) ends an if statement < 1404833826 23551 :ajf!~Colloquy@host86-172-51-137.range86-172.btcentralplus.com PRIVMSG #esoteric :But I think it doesn’t have enough context < 1404833831 993659 :ajf!~Colloquy@host86-172-51-137.range86-172.btcentralplus.com PRIVMSG #esoteric :So how about this? < 1404833836 393518 :ajf!~Colloquy@host86-172-51-137.range86-172.btcentralplus.com PRIVMSG #esoteric :if (x == 3) < 1404833840 394919 :ajf!~Colloquy@host86-172-51-137.range86-172.btcentralplus.com PRIVMSG #esoteric :fi x) == )3 < 1404833847 268727 :ajf!~Colloquy@host86-172-51-137.range86-172.btcentralplus.com PRIVMSG #esoteric :Or, for example < 1404833853 469719 :ajf!~Colloquy@host86-172-51-137.range86-172.btcentralplus.com PRIVMSG #esoteric :if (foobar == qux) < 1404833864 647140 :ajf!~Colloquy@host86-172-51-137.range86-172.btcentralplus.com PRIVMSG #esoteric :fi raboof( == )xuq < 1404833884 650148 :ajf!~Colloquy@host86-172-51-137.range86-172.btcentralplus.com PRIVMSG #esoteric :I’ve got to use this in my next esoteric language ^^ < 1404833936 550553 :shikhout!~shikhin@unaffiliated/shikhin NICK :shikhin < 1404834563 88502 :Bike!~Glossina@216-161-91-125.ptld.qwest.net PRIVMSG #esoteric :syntactic rules unclear. better to use the negation. if (x == 3) fi (x != 3) < 1404834771 776457 :drdanmaku!uid17782@gateway/web/irccloud.com/x-tukpnwvacnfzlktm JOIN :#esoteric < 1404834799 515615 :ajf!~Colloquy@host86-172-51-137.range86-172.btcentralplus.com PRIVMSG #esoteric :Bike: Ah, yes < 1404834813 16377 :ajf!~Colloquy@host86-172-51-137.range86-172.btcentralplus.com PRIVMSG #esoteric :Also, it would intelligently understand english < 1404834814 957026 :ajf!~Colloquy@host86-172-51-137.range86-172.btcentralplus.com PRIVMSG #esoteric :For example < 1404834826 300443 :ajf!~Colloquy@host86-172-51-137.range86-172.btcentralplus.com PRIVMSG #esoteric :if (thing.delete(3)) < 1404834833 947132 :ajf!~Colloquy@host86-172-51-137.range86-172.btcentralplus.com PRIVMSG #esoteric :fi (thing.create(3)) < 1404834837 977263 :edwardk!~edwardk@pdpc/supporter/professional/edwardk QUIT :Quit: Computer has gone to sleep. < 1404834879 168666 :ajf!~Colloquy@host86-172-51-137.range86-172.btcentralplus.com PRIVMSG #esoteric :Or maybe just prepend un < 1404834887 124333 :ajf!~Colloquy@host86-172-51-137.range86-172.btcentralplus.com PRIVMSG #esoteric :if (thing.delete(foo)) < 1404834892 787031 :ajf!~Colloquy@host86-172-51-137.range86-172.btcentralplus.com PRIVMSG #esoteric :fi (unthing.undelete(unfoo)) < 1404834901 210513 :ajf!~Colloquy@host86-172-51-137.range86-172.btcentralplus.com PRIVMSG #esoteric :Similarly: < 1404834906 611226 :ajf!~Colloquy@host86-172-51-137.range86-172.btcentralplus.com PRIVMSG #esoteric :if (unthing.undelete(unfoo)) < 1404834916 609599 :ajf!~Colloquy@host86-172-51-137.range86-172.btcentralplus.com PRIVMSG #esoteric :fi (ununthing.unundelete(ununfoo)) < 1404835342 126089 :oerjan!oerjan@sprocket.nvg.ntnu.no JOIN :#esoteric < 1404835632 226004 :shikhin!~shikhin@unaffiliated/shikhin QUIT :Ping timeout: 240 seconds < 1404835651 901568 :shikhin!~shikhin@unaffiliated/shikhin JOIN :#esoteric < 1404835904 951378 :d00p_!~d00p@h77-53-114-163.dynamic.se.alltele.net JOIN :#esoteric < 1404835998 481258 :ais523!~ais523@unaffiliated/ais523 JOIN :#esoteric < 1404836097 457212 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :oh well, patch-tag just admitted that it isn't up any more < 1404836104 328241 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :but it did so via email with all its users in the To: field < 1404836115 645431 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I wonder how many people will complain about that < 1404836156 156383 :AnotherTest!~turingcom@193.190.253.145 QUIT :Ping timeout: 240 seconds < 1404836161 115763 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :ooh, someone complained via reply-all :-) < 1404836188 788200 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :if Raymond Chen's blog has taught me anything, it's that we're only 2 or 3 messages away from going exponential < 1404836262 475517 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :meanwhile, I discovered something in my research recently, and am wondering whether it's new (I hope it isn't, because it's confusing to think about and I'm hoping someone will have done the hard part already) < 1404836300 74966 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :ais523: classic < 1404836308 529880 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :ais523: any out of office replies? < 1404836310 801699 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :when you have a type like "a -> b -> a", that's shorthand for "forall a, b.a -> b -> a" < 1404836317 194643 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :int-e: not reply-all'ed < 1404836321 343006 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :pity ;) < 1404836336 230537 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I've come across a type of the form "forall a.exists b.a -> b -> a" < 1404836341 810958 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :and want to know if anyone's ever seen anything like that before < 1404836347 772584 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :(imagine two reply-all out of office replies playing ping pong) < 1404836355 392193 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :surely it's got to exist as some obscure GHC feature or something < 1404836379 335499 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :ais523: it does exist as a very useful ghc extension, yes < 1404836385 891663 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :oh good < 1404836388 635291 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :and has some surprising applications too < 1404836391 74986 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :are there any academic papers about it? < 1404836394 407172 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :you'd better ask on #haskell < 1404836396 907901 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :they'll help < 1404836424 911302 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :I'm not sure what it's called, maybe higher-order types? < 1404836426 137343 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :'exists'? hmm. < 1404836459 783375 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :b_jonas: no, a higher-order type is one in which a function is used as an argument to another function < 1404836461 680996 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :as in (a -> b) -> a < 1404836478 110548 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :higher-rank type sorry < 1404836515 124132 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :that's types of the form (forall a.a -> a) -> b < 1404836520 465292 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :ghc limits itself to 'forall' though. < 1404836523 458146 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :where the forall is inside parens rather than on the outside < 1404836536 402503 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :isn't that like equivalent though? < 1404836548 150020 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :don't you get exists free from foreach or from gadt or something? < 1404836558 187037 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I very much hope so < 1404836643 384530 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :this is about the syntax of the extension in ghc: http://www.haskell.org/ghc/docs/7.8.2/html/users_guide/data-type-extensions.html#existential-quantification < 1404836665 415154 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :though you may have to read it together with other extensions like gadt and stuff < 1404836672 954305 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :but as for the applications, better ask #haskell < 1404836803 274808 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :gadt's include existentials as a subfeature < 1404836806 575393 :ais523_!93bcc175@gateway/web/freenode/ip.147.188.193.117 JOIN :#esoteric < 1404836819 867852 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric : gadt's include existentials as a subfeature < 1404836912 345244 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :I guess forall a.exists b. a -> b -> a === forall a r.(forall b. (a -> b -> a) -> r) -> r < 1404836928 83738 :ais523_!93bcc175@gateway/web/freenode/ip.147.188.193.117 PRIVMSG #esoteric :right, but now the type has a different shape < 1404836932 353624 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :b_jonas: ghc uses forall in some positions to denote existentials, essentially by demorgan duality < 1404836943 136897 :ais523_!93bcc175@gateway/web/freenode/ip.147.188.193.117 PRIVMSG #esoteric :but yes, I was coming to that conclusion myself < 1404836962 424627 :ais523!~ais523@unaffiliated/ais523 QUIT :Ping timeout: 245 seconds < 1404836963 157231 :ais523_!93bcc175@gateway/web/freenode/ip.147.188.193.117 PRIVMSG #esoteric :the (f === (f -> r) -> r) equivalence is often useful in practice for notating types that would otherwise be un-notatable < 1404836990 515099 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :data YourType a where MyConstructor :: (a -> b -> a) -> YourType a < 1404837012 798818 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i think that's gadt for exists b. (a -> b -> a) < 1404837014 627558 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :existential datatypes are based on the same trick; if you look at a constructor, you get things like Foo :: forall b. b -> Foo < 1404837068 734936 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :or without gadt's, data YourType a = forall b. MyConstructor (a -> b -> a) < 1404837078 144881 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :*without gadt syntax < 1404837135 374597 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :so how is this useful? the only thing I can ever imagine passing for the argument of type 'b' is 'undefined'. < 1404837147 779045 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i don't see how this particular type is useful < 1404837160 569125 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :since you can indeed never know what to pass to it < 1404837182 14642 :ais523_!93bcc175@gateway/web/freenode/ip.147.188.193.117 PRIVMSG #esoteric :well, I don't think I've explained the situation very well < 1404837202 117326 :ais523_!93bcc175@gateway/web/freenode/ip.147.188.193.117 PRIVMSG #esoteric :the actual case I have is a function which, given the type of its return value, constructs matching types for the two arguments < 1404837213 125515 :ais523_!93bcc175@gateway/web/freenode/ip.147.188.193.117 PRIVMSG #esoteric :however, it doesn't always do so the same way < 1404837234 562409 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :ais523_: I really recommend you to ask on #haskell < 1404837245 168608 :ais523_!93bcc175@gateway/web/freenode/ip.147.188.193.117 PRIVMSG #esoteric :this is too esoteric for #haskell :-) < 1404837245 313774 :ais523!~ais523@unaffiliated/ais523 JOIN :#esoteric < 1404837253 947893 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :ais523: it's not < 1404837265 579008 :ais523_!93bcc175@gateway/web/freenode/ip.147.188.193.117 PRIVMSG #esoteric :I don't think it works in Haskell because such a function necessarily has to be impure < 1404837274 498679 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :too esoteric for #haskell ? no way! < 1404837304 298798 :ais523_!93bcc175@gateway/web/freenode/ip.147.188.193.117 PRIVMSG #esoteric :I need to work out exactly how it is that this type behaves, at least < 1404837334 500725 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :a function of type Foo a => a -> exists b. (b, a -> b -> a) could make perfect sense < 1404837334 742800 :ais523_!93bcc175@gateway/web/freenode/ip.147.188.193.117 PRIVMSG #esoteric :so, the situation is, I have a type that represents a value that's only valid for a particular, abstract, period of time < 1404837353 686055 :ais523_!93bcc175@gateway/web/freenode/ip.147.188.193.117 PRIVMSG #esoteric :and the main operation that makes sense on these periods is taking the union < 1404837354 57324 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :(note the type class, so that it can do different things depending on the type of a.) < 1404837354 972021 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :ais523_: like the thingies in ST? < 1404837358 181591 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :ais523_: i think what you mean is that your function must be non-parametric < 1404837372 617706 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :you have to be able to distinguish types. < 1404837387 48099 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :also, come to think of it, there clearly is a value of that type: const < 1404837394 24772 :ais523_!93bcc175@gateway/web/freenode/ip.147.188.193.117 PRIVMSG #esoteric :so, e.g., the type of sequential composition (i.e. "do a then b" is t1.command -> t2.command -> (t1 + t2).command) < 1404837405 949452 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :it just happens to have the type forall a b. a -> b -> a, which is stronger. < 1404837414 445230 :ais523_!93bcc175@gateway/web/freenode/ip.147.188.193.117 PRIVMSG #esoteric :except, if I have two sequential compositions that both return a (t1 + t2).command < 1404837416 711873 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :@type flip seq < 1404837417 470308 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :c -> a -> c < 1404837422 51745 :ais523_!93bcc175@gateway/web/freenode/ip.147.188.193.117 PRIVMSG #esoteric :they might need different t1s and t2s < 1404837435 492183 :ais523_!93bcc175@gateway/web/freenode/ip.147.188.193.117 PRIVMSG #esoteric :because we can't guarantee that the first argument to each will end at the exact same time < 1404837436 239799 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :(I know, seq is just const's evil twin) < 1404837473 717153 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :ais523_: dunno, still sounds sort of like ST < 1404837487 158761 :ais523_!93bcc175@gateway/web/freenode/ip.147.188.193.117 PRIVMSG #esoteric :it's basically just a mess < 1404837510 558370 :ais523_!93bcc175@gateway/web/freenode/ip.147.188.193.117 PRIVMSG #esoteric :it seems to be the same sort of category as a name generator function, just on types, rather than values < 1404837519 124487 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :ais523: sounds like 'unamb' here: http://hackage.haskell.org/package/unamb-0.2.5/docs/Data-Unamb.html < 1404837529 875158 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :no, it sounds like ST < 1404837543 748399 :ais523_!93bcc175@gateway/web/freenode/ip.147.188.193.117 PRIVMSG #esoteric :(what a name generator function does is, everytime you call it, it returns a different value; the only meaningful operation you can do on such values is compare them to themselves (equal), and compare them to each other (unequal)) < 1404837556 46168 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :oerjan is probably right ;) < 1404837576 202319 :ais523_!93bcc175@gateway/web/freenode/ip.147.188.193.117 PRIVMSG #esoteric :"non-parametric" is a good word for this sort of thing, yes < 1404837581 942106 :ais523_!93bcc175@gateway/web/freenode/ip.147.188.193.117 PRIVMSG #esoteric :or rather, it's coparametric < 1404837601 478492 :ais523_!93bcc175@gateway/web/freenode/ip.147.188.193.117 PRIVMSG #esoteric :instead of working on multiple types, determined by the context < 1404837607 779711 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :oleg has some stuff on monadic regions < 1404837610 26708 :ais523_!93bcc175@gateway/web/freenode/ip.147.188.193.117 PRIVMSG #esoteric :it determines which types the context must have < 1404837638 554130 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :still sounds like ST magic < 1404837640 486367 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :which may also be relevant. < 1404837647 502795 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :(magic in the positive sense) < 1404837649 770694 :ais523_!93bcc175@gateway/web/freenode/ip.147.188.193.117 PRIVMSG #esoteric :oh wow, Google only has 10 results for "coparametric", all of which are irrelevant < 1404837693 298474 :lollo64it!~lorenzo@93-58-3-33.ip156.fastwebnet.it JOIN :#esoteric < 1404837732 529008 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :ais523_: read up on how ST works, or ask #haskell how it works, because I think you want somethign close to that < 1404837735 832308 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :we need to get copumpkin and edwardk to invent something relevant < 1404837778 208295 :Melvar!~melvar@dslb-088-078-156-068.pools.arcor-ip.net PRIVMSG #esoteric :( :doc Exists < 1404837778 391731 :idris-bot!~ircslave@dslb-088-078-156-068.pools.arcor-ip.net PRIVMSG #esoteric :Data type 12Exists : (13P : 13a -> 12Type) -> 12Type < 1404837778 391911 :idris-bot!~ircslave@dslb-088-078-156-068.pools.arcor-ip.net PRIVMSG #esoteric : Dependent pair where the first field is erased. < 1404837778 392003 :idris-bot!~ircslave@dslb-088-078-156-068.pools.arcor-ip.net PRIVMSG #esoteric :Constructors: < 1404837778 392092 :idris-bot!~ircslave@dslb-088-078-156-068.pools.arcor-ip.net PRIVMSG #esoteric : 04evidence : (13x : 13a) -> (13pf : 13P 13x) -> 12Exists 13P < 1404837783 643374 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :or ask #haskell where to read up on it < 1404837862 697865 :Melvar!~melvar@dslb-088-078-156-068.pools.arcor-ip.net PRIVMSG #esoteric :( (a : Type) -> Exists (\b => a -> b -> a) < 1404837862 842274 :idris-bot!~ircslave@dslb-088-078-156-068.pools.arcor-ip.net PRIVMSG #esoteric :(13a : 12Type) -> 12Exists (\13b => 13a -> 13b -> 13a) : 12Type < 1404837865 855947 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :from Control.Monad.ST: "This library provides support for strict state threads, as described in the PLDI '94 paper by John Launchbury and Simon Peyton Jones Lazy Functional State Threads." < 1404837959 535886 :ais523_!93bcc175@gateway/web/freenode/ip.147.188.193.117 PRIVMSG #esoteric :this isn't much to do with ST, I don't think < 1404837991 836843 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :can you tell why? < 1404837996 315456 :Melvar!~melvar@dslb-088-078-156-068.pools.arcor-ip.net PRIVMSG #esoteric :You can produce a value of this type, but you can’t do anything with it because pattern matching on types is forbidden. < 1404838048 307905 :ais523_!93bcc175@gateway/web/freenode/ip.147.188.193.117 PRIVMSG #esoteric :b_jonas: because ST is a monad which has run-time behaviour < 1404838058 553543 :ais523_!93bcc175@gateway/web/freenode/ip.147.188.193.117 PRIVMSG #esoteric :and this is all at the type system level < 1404838077 91842 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :just apply datakinds < 1404838080 490668 :ais523_!93bcc175@gateway/web/freenode/ip.147.188.193.117 PRIVMSG #esoteric :Melvar: are there any applications of Idris' Exists? < 1404838129 942644 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :ais523_: but I mean the type system magic part of ST < 1404838136 88595 :Melvar!~melvar@dslb-088-078-156-068.pools.arcor-ip.net PRIVMSG #esoteric :( the (Exists (\n => Vect n Integer)) $ evidence _ [1,2,3] < 1404838136 233191 :idris-bot!~ircslave@dslb-088-078-156-068.pools.arcor-ip.net PRIVMSG #esoteric :04evidence 043 04[04104, 04204, 04304] : 12Exists (\13n => 12Vect 13n 12Integer) < 1404838146 988101 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :ST stuff have a type too, not only runtime behaviour < 1404838148 854283 :Melvar!~melvar@dslb-088-078-156-068.pools.arcor-ip.net PRIVMSG #esoteric :( the (Exists (\n => Vect n Integer)) $ evidence _ [1,2,3,4,5] < 1404838148 999297 :idris-bot!~ircslave@dslb-088-078-156-068.pools.arcor-ip.net PRIVMSG #esoteric :04evidence 045 04[04104, 04204, 04304, 04404, 04504] : 12Exists (\13n => 12Vect 13n 12Integer) < 1404838177 691392 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :@type Control.Monad.ST.runST < 1404838178 605316 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :(forall s. ST s a) -> a < 1404838222 270686 :ais523_!93bcc175@gateway/web/freenode/ip.147.188.193.117 PRIVMSG #esoteric :in my case, I want other functions to be able to generate values of the hidden types, but only by being parametric on them < 1404838224 771333 :Melvar!~melvar@dslb-088-078-156-068.pools.arcor-ip.net PRIVMSG #esoteric :You can use it to allow any value for some index of a type. < 1404838227 375852 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :@type Data.STRef.newSTRef < 1404838227 922993 :olsner!~salparot@c83-252-201-82.bredband.comhem.se PRIVMSG #esoteric :was the point in the original "forall a. exists b. a -> b -> a" that b depends on a in some special way? < 1404838228 221386 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :a -> ST s (STRef s a) < 1404838228 748345 :ais523_!93bcc175@gateway/web/freenode/ip.147.188.193.117 PRIVMSG #esoteric :and then I have to bundle all this into a type system somehow < 1404838247 537934 :ais523_!93bcc175@gateway/web/freenode/ip.147.188.193.117 PRIVMSG #esoteric :Melvar: is the _ being inferred somehow? < 1404838271 887587 :Melvar!~melvar@dslb-088-078-156-068.pools.arcor-ip.net PRIVMSG #esoteric :ais523_: _ means “fill this in by unification”. < 1404838273 623712 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :(that's pretty much the whole magic: the "STRef" has a phantom type parameter 's' that binds it to a particular call of 'runST') < 1404838274 991127 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :@type Control.Monad.ST.runST < 1404838275 758202 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :(forall s. ST s a) -> a < 1404838351 179014 :olsner!~salparot@c83-252-201-82.bredband.comhem.se PRIVMSG #esoteric :if so, maybe a type family or a type class with an associated type or fundeps could do it? < 1404838446 722276 :Melvar!~melvar@dslb-088-078-156-068.pools.arcor-ip.net PRIVMSG #esoteric :ais523_: The thing is that [1,2,3] is definitely a (Vect 3 Integer), and unification with the type of evidence thus determines what its first argument must be. < 1404838465 129743 :ais523_!93bcc175@gateway/web/freenode/ip.147.188.193.117 PRIVMSG #esoteric :right, yes < 1404838495 117386 :ais523_!93bcc175@gateway/web/freenode/ip.147.188.193.117 PRIVMSG #esoteric :most of the work is done by evidence, rather than Exists, it seems; but you can only create an Exists using an evidence < 1404838497 475713 :ais523_!93bcc175@gateway/web/freenode/ip.147.188.193.117 PRIVMSG #esoteric :so that doesn't really matter < 1404838517 264239 :Melvar!~melvar@dslb-088-078-156-068.pools.arcor-ip.net PRIVMSG #esoteric :? < 1404838532 114637 :Melvar!~melvar@dslb-088-078-156-068.pools.arcor-ip.net PRIVMSG #esoteric :I don’t really see how the two are extricable. < 1404838636 592277 :Melvar!~melvar@dslb-088-078-156-068.pools.arcor-ip.net PRIVMSG #esoteric :Also, with Exists the first value is erased, i.e. the compiler will do its best to make it not exist at runtime. < 1404838671 127413 :Melvar!~melvar@dslb-088-078-156-068.pools.arcor-ip.net PRIVMSG #esoteric :Which corresponds to one of the three interpretations of a dependent pair, the other two corresponding to Sigma and Subset. < 1404838679 230775 :Melvar!~melvar@dslb-088-078-156-068.pools.arcor-ip.net PRIVMSG #esoteric :( :doc Sigma < 1404838679 411673 :idris-bot!~ircslave@dslb-088-078-156-068.pools.arcor-ip.net PRIVMSG #esoteric :Data type 12Sigma : (13a : 12Type) -> (13P : 13a -> 12Type) -> 12Type < 1404838679 411868 :idris-bot!~ircslave@dslb-088-078-156-068.pools.arcor-ip.net PRIVMSG #esoteric : Dependent pairs, in their internal representation < 1404838679 411959 :idris-bot!~ircslave@dslb-088-078-156-068.pools.arcor-ip.net PRIVMSG #esoteric : Arguments: < 1404838679 412050 :idris-bot!~ircslave@dslb-088-078-156-068.pools.arcor-ip.net PRIVMSG #esoteric : 13a : 12Type -- the type of the witness < 1404838679 412139 :idris-bot!~ircslave@dslb-088-078-156-068.pools.arcor-ip.net PRIVMSG #esoteric : 13P : 13a -> 12Type -- the type of the proof14↵… < 1404838691 273216 :Melvar!~melvar@dslb-088-078-156-068.pools.arcor-ip.net PRIVMSG #esoteric :( :doc Subset < 1404838691 418107 :idris-bot!~ircslave@dslb-088-078-156-068.pools.arcor-ip.net PRIVMSG #esoteric :Data type 12Subset : (13a : 12Type) -> (13P : 13a -> 12Type) -> 12Type < 1404838691 418273 :idris-bot!~ircslave@dslb-088-078-156-068.pools.arcor-ip.net PRIVMSG #esoteric : Dependent pair where the second field is erased. < 1404838691 418366 :idris-bot!~ircslave@dslb-088-078-156-068.pools.arcor-ip.net PRIVMSG #esoteric :Constructors: < 1404838691 418455 :idris-bot!~ircslave@dslb-088-078-156-068.pools.arcor-ip.net PRIVMSG #esoteric : 04element : (13x : 13a) -> (13pf : 13P 13x) -> 12Subset 13a 13P < 1404838734 635187 :ais523_!93bcc175@gateway/web/freenode/ip.147.188.193.117 PRIVMSG #esoteric :anyway, I now know to not try to write this explanation in terms of exists, because it's just subtly different enough from the usual meaning that it'd confuse people < 1404838915 402532 :ais523_!93bcc175@gateway/web/freenode/ip.147.188.193.117 PRIVMSG #esoteric :"copolymorphism" is a good definition of what's going on here, and has 1 Google hit, which is irrelevant < 1404839090 655146 :tswett!~tswett@c-107-5-152-253.hsd1.mi.comcast.net PRIVMSG #esoteric :This sounds complicated. < 1404839188 336615 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I'm not surprised that I've been stuck on it for months < 1404839213 536159 :shikhout!~shikhin@unaffiliated/shikhin JOIN :#esoteric < 1404839263 11702 :tswett!~tswett@c-107-5-152-253.hsd1.mi.comcast.net PRIVMSG #esoteric :Like my attempts to write linear logic types as Haskell types. < 1404839280 809518 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :you're just doing things man was not meant to know hth < 1404839283 894677 :shikhin!~shikhin@unaffiliated/shikhin QUIT :Ping timeout: 240 seconds < 1404839355 707239 :tswett!~tswett@c-107-5-152-253.hsd1.mi.comcast.net PRIVMSG #esoteric :Of course, it doesn't really make sense to simply write a linear logic type as a Haskell type, because the very existence of a Haskell type for an object implies that you can do things you may not be able to do with a linear object. < 1404839431 656514 :tswett!~tswett@c-107-5-152-253.hsd1.mi.comcast.net PRIVMSG #esoteric :Like, an LL function "(a * a) -o (a * a)" isn't a Haskell function "(a, a) -> (a, a)", because the LL function must be called exactly once, and the Haskell type doesn't express that restriction. < 1404839456 409075 :tswett!~tswett@c-107-5-152-253.hsd1.mi.comcast.net PRIVMSG #esoteric :Indeed, linear objects can't actually exist in Haskell, at least not as Haskell objects. < 1404839500 969555 :tswett!~tswett@c-107-5-152-253.hsd1.mi.comcast.net PRIVMSG #esoteric :The things that *can* exist are Haskell objects that happen to somehow implement LL objects. < 1404839556 334377 :tswett!~tswett@c-107-5-152-253.hsd1.mi.comcast.net PRIVMSG #esoteric :So, we might say that the Haskell type "Pf A" denotes a Haskell object that can be used as an LL object whose type is A. < 1404839645 766538 :Melvar!~melvar@dslb-088-078-156-068.pools.arcor-ip.net PRIVMSG #esoteric :tswett: By “-o”, did you mean “⊸”? < 1404839650 420244 :tswett!~tswett@c-107-5-152-253.hsd1.mi.comcast.net PRIVMSG #esoteric :Melvar: yes. < 1404839665 300710 :tswett!~tswett@c-107-5-152-253.hsd1.mi.comcast.net PRIVMSG #esoteric :The problem is, Pf doesn't distribute. (Or factor through or whatever). < 1404839681 454766 :tswett!~tswett@c-107-5-152-253.hsd1.mi.comcast.net PRIVMSG #esoteric :You can't write Pf (A -o B) in terms of Pf A and Pf B. < 1404839707 617677 :shikhout!~shikhin@unaffiliated/shikhin NICK :shikhin < 1404839720 920849 :tswett!~tswett@c-107-5-152-253.hsd1.mi.comcast.net PRIVMSG #esoteric :Pf Zero and Pf Bottom are both the same thing (the empty type), because there are no Haskell objects which behave as either a Zero or a Bottom. < 1404839800 179223 :edwardk!~edwardk@pdpc/supporter/professional/edwardk JOIN :#esoteric < 1404839818 658081 :tswett!~tswett@c-107-5-152-253.hsd1.mi.comcast.net PRIVMSG #esoteric :However, while Pf (Zero -o Bottom), Pf (Zero -o Zero), and Pf (Bottom -o Bottom) all exist (they're exfalso, exfalso, and id, respectively), Pf (Bottom -o Zero) doesn't exist. < 1404839840 36200 :MoALTz!~no@user-46-113-83-45.play-internet.pl JOIN :#esoteric < 1404840757 43040 :`^_^v!~nycs@gw.hq.meetup.com QUIT :Ping timeout: 248 seconds < 1404840769 890132 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover QUIT :Remote host closed the connection < 1404840871 170173 :Phantom_Hoover!~Phantom@unaffiliated/phantom-hoover JOIN :#esoteric < 1404841262 438205 :shikhin!~shikhin@unaffiliated/shikhin QUIT :Ping timeout: 245 seconds < 1404842673 494373 :tswett!~tswett@c-107-5-152-253.hsd1.mi.comcast.net PRIVMSG #esoteric :Hmm. Using | to represent the par operator, those are Pf (Top | Bottom), Pf (Top | Zero), Pf (One | Bottom), and Pf (One | Zero). Might be easier to think about, I dunno. < 1404842711 887741 :tswett!~tswett@c-107-5-152-253.hsd1.mi.comcast.net PRIVMSG #esoteric :Pf Top and Pf One both exist. Pf (Top | Zero) exists, but Pf (One | Zero) doesn't. < 1404842810 351860 :tswett!~tswett@c-107-5-152-253.hsd1.mi.comcast.net PRIVMSG #esoteric :This is because an object obeying the Top protocol can keep making requests forever, so in order to obey the Top | Zero protocol (which requires you to obey both protocols in the order of your choice), you can just make requests forever. < 1404842853 966443 :tswett!~tswett@c-107-5-152-253.hsd1.mi.comcast.net PRIVMSG #esoteric :But an object obeying the One protocol just sits there and does nothing. In order to obey the One | Zero protocol, you have to obey both protocols in the order of your choice. You can obey the One protocol, but then that protocol will terminate, and you'll have to obey the Zero protocol, which is impossible. < 1404843149 462395 :`^_^v!~nycs@gw.hq.meetup.com JOIN :#esoteric < 1404843931 299815 :`^_^v!~nycs@gw.hq.meetup.com QUIT :Quit: This computer has gone to sleep < 1404844070 816144 :`^_^v!~nycs@gw.hq.meetup.com JOIN :#esoteric < 1404844281 84660 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Ligature Machine14]]4 10 02http://esolangs.org/w/index.php?diff=40111&oldid=40107 5* 03Zzo38 5* (+449) 10 < 1404844324 361226 :edwardk!~edwardk@pdpc/supporter/professional/edwardk QUIT :Ping timeout: 240 seconds < 1404845965 906880 :AnotherTest!~turingcom@d51a42986.access.telenet.be JOIN :#esoteric < 1404846254 50971 :Bicyclidine!~Glossina@69.166.35.233 JOIN :#esoteric < 1404847127 228709 :tswett!~tswett@c-107-5-152-253.hsd1.mi.comcast.net QUIT :Quit: tswett < 1404847567 161976 :edwardk!~edwardk@pdpc/supporter/professional/edwardk JOIN :#esoteric < 1404848358 347941 :edwardk!~edwardk@pdpc/supporter/professional/edwardk QUIT :Quit: Computer has gone to sleep. < 1404848764 402959 :edwardk!~edwardk@pdpc/supporter/professional/edwardk JOIN :#esoteric < 1404849016 305069 :MindlessDrone!~MindlessD@unaffiliated/mindlessdrone JOIN :#esoteric < 1404849190 124906 :`^_^v!~nycs@gw.hq.meetup.com QUIT :Quit: This computer has gone to sleep < 1404849208 174055 :`^_^v!~nycs@gw.hq.meetup.com JOIN :#esoteric < 1404849498 331348 :lollo64it!~lorenzo@93-58-3-33.ip156.fastwebnet.it QUIT :Ping timeout: 240 seconds < 1404851015 523228 :edwardk!~edwardk@pdpc/supporter/professional/edwardk QUIT :Quit: Computer has gone to sleep. < 1404851278 259135 :edwardk!~edwardk@pdpc/supporter/professional/edwardk JOIN :#esoteric < 1404851932 7279 :`^_^v!~nycs@gw.hq.meetup.com QUIT :Quit: This computer has gone to sleep < 1404851980 708155 :`^_^v!~nycs@gw.hq.meetup.com JOIN :#esoteric < 1404852162 443042 :MindlessDrone!~MindlessD@unaffiliated/mindlessdrone QUIT :Quit: MindlessDrone < 1404852168 236696 :nycs!~nycs@gw.hq.meetup.com JOIN :#esoteric < 1404852337 429051 :`^_^v!~nycs@gw.hq.meetup.com QUIT :Ping timeout: 245 seconds < 1404852835 792224 :tswett!~tswett@c-107-5-152-253.hsd1.mi.comcast.net JOIN :#esoteric < 1404852837 432984 :AnotherTest!~turingcom@d51a42986.access.telenet.be QUIT :Ping timeout: 245 seconds < 1404852849 257020 :tswett!~tswett@c-107-5-152-253.hsd1.mi.comcast.net PRIVMSG #esoteric :So, what's the best unusable esolang? < 1404852873 930296 :Bicyclidine!~Glossina@69.166.35.233 PRIVMSG #esoteric :Most ever Brainfuckiest Fuck you Brain fucker Fuck < 1404852918 982785 :tswett!~tswett@c-107-5-152-253.hsd1.mi.comcast.net PRIVMSG #esoteric :http://esolangs.org/wiki/Minimum – I like this one. < 1404852933 680546 :tswett!~tswett@c-107-5-152-253.hsd1.mi.comcast.net PRIVMSG #esoteric :The language's syntax: < 1404852942 475505 :tswett!~tswett@c-107-5-152-253.hsd1.mi.comcast.net PRIVMSG #esoteric : ::= "`" < 1404852988 770594 :nooodl!~nooodl@47.122-242-81.adsl-dyn.isp.belgacom.be PRIVMSG #esoteric :i like http://esolangs.org/wiki/Subtle_cough < 1404852999 400324 :nooodl!~nooodl@47.122-242-81.adsl-dyn.isp.belgacom.be PRIVMSG #esoteric :i guess minimum is the EXTREME version of subtle cough < 1404853055 402440 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :at least, in Subtle Cough, it looks vaguely like it might be TC, but it isn't < 1404853079 975922 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :in Minimum, it's hard to even write the program (there is only one program), and it's also hard to figure out what it is that that program does < 1404853137 456387 :tswett!~tswett@c-107-5-152-253.hsd1.mi.comcast.net PRIVMSG #esoteric :There's only a program if you interpret the syntax coinductively instead of inductively. < 1404853145 940636 :Bicyclidine!~Glossina@69.166.35.233 PRIVMSG #esoteric :> repeat '`' < 1404853147 713924 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : "```````````````````````````````````````````````````````````````````````````... < 1404853164 776828 :Bicyclidine!~Glossina@69.166.35.233 PRIVMSG #esoteric :in my scientific opinion the program does bupkis < 1404853167 336759 :tswett!~tswett@c-107-5-152-253.hsd1.mi.comcast.net PRIVMSG #esoteric :And evaluation of Unlambdoids is defined inductively, not coinductively. < 1404853299 3750 :tromp!~tromp@ool-4570a006.dyn.optonline.net JOIN :#esoteric < 1404853382 255046 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :just do it lazy, 'k < 1404853599 652142 :tswett!~tswett@c-107-5-152-253.hsd1.mi.comcast.net PRIVMSG #esoteric :All right. Language: < 1404853673 906873 :tswett!~tswett@c-107-5-152-253.hsd1.mi.comcast.net PRIVMSG #esoteric :A program consists of a sequence of digits. Execution consists of repeatedly selecting an unspecified pair of identical digits, and replacing the digits and everything between them with a number of copies of the stuff in between them equal to that digit. < 1404853687 121700 :tswett!~tswett@c-107-5-152-253.hsd1.mi.comcast.net PRIVMSG #esoteric :So, like, the program 51235 becomes 123123123123123. < 1404853702 124919 :tswett!~tswett@c-107-5-152-253.hsd1.mi.comcast.net PRIVMSG #esoteric :And then that program probably explodes or something. < 1404853721 641431 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :tswett: reminds me of XigXag < 1404853727 663512 :Bicyclidine!~Glossina@69.166.35.233 PRIVMSG #esoteric :i don't think this is as suitable to bicyclidal enterprises as Most ever Brainfuckiest Fuck you Brain fucker Fuck is < 1404853730 721774 :tswett!~tswett@c-107-5-152-253.hsd1.mi.comcast.net PRIVMSG #esoteric :Yup. < 1404853738 946434 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :which is currently along with Dupdog in the "we're sure this isn't TC but can't quite articulate why" category < 1404853766 471553 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :tswett: aren't all 1s completely irrelevant in that language? < 1404853770 159804 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :you could do interesting things with 0s, though < 1404853776 748551 :tswett!~tswett@c-107-5-152-253.hsd1.mi.comcast.net PRIVMSG #esoteric :I guess they are, yeah. < 1404853788 540076 :tswett!~tswett@c-107-5-152-253.hsd1.mi.comcast.net PRIVMSG #esoteric :The only thing 1s ever do is vanish. < 1404853813 333708 :tswett!~tswett@c-107-5-152-253.hsd1.mi.comcast.net PRIVMSG #esoteric :(Also, SLOBOL needs to be replaced.) < 1404853836 100416 :tswett!~tswett@c-107-5-152-253.hsd1.mi.comcast.net PRIVMSG #esoteric :Ooh. Ooh. We need a language based on diffusion-limited aggregation. < 1404853843 334351 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :tswett: not true < 1404853851 934365 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :2123 < 1404853857 360950 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :can become 113 can become 33333333333 < 1404853892 362904 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :elliott: no, 113 can only become 3 < 1404853901 952713 :conehead!~conehead@unaffiliated/conehead QUIT :Read error: Connection reset by peer < 1404853922 132499 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :oh, right < 1404853928 716467 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :I was thinking look-and-say < 1404854475 48371 :conehead!~conehead@unaffiliated/conehead JOIN :#esoteric < 1404854655 370370 :nooodl!~nooodl@47.122-242-81.adsl-dyn.isp.belgacom.be PRIVMSG #esoteric :" [...] it's also hard to figure out what it is that that program does" <- i guess it just does nothing and never terminates? < 1404854683 774968 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :nooodl: you go into an infinite regress trying to work out what happens first < 1404854757 589917 :Bicyclidine!~Glossina@69.166.35.233 PRIVMSG #esoteric :common problem < 1404854988 827149 :callforjudgement!~ais523@unaffiliated/ais523 JOIN :#esoteric < 1404855005 280224 :ais523!~ais523@unaffiliated/ais523 QUIT : < 1404855054 730808 :callforjudgement!~ais523@unaffiliated/ais523 NICK :ais523 < 1404855102 788045 :Bike!~Glossina@216-161-91-125.ptld.qwest.net QUIT :Ping timeout: 240 seconds < 1404855222 887900 :Bike!~Glossina@174-25-56-139.ptld.qwest.net JOIN :#esoteric < 1404855432 729978 :ais523!~ais523@unaffiliated/ais523 QUIT :Ping timeout: 240 seconds < 1404855905 11359 :edwardk!~edwardk@pdpc/supporter/professional/edwardk QUIT :Quit: Computer has gone to sleep. < 1404855924 365017 :oerjan!oerjan@sprocket.nvg.ntnu.no QUIT :Quit: leaving < 1404857217 857523 :boily!~boily@96.127.201.149 JOIN :#esoteric < 1404857272 423044 :metasepia!~metasepia@96.127.201.149 JOIN :#esoteric < 1404857320 179360 :boily!~boily@96.127.201.149 PRIVMSG #esoteric :27m34s! WOOHOO! < 1404857516 961687 :nooodl!~nooodl@47.122-242-81.adsl-dyn.isp.belgacom.be PRIVMSG #esoteric :boily: ? < 1404857640 626318 :boily!~boily@96.127.201.149 PRIVMSG #esoteric :when you're subscribed to Bixi you get a log of all time you use a bike, with end stations and the time it took. < 1404857654 284167 :boily!~boily@96.127.201.149 PRIVMSG #esoteric :s/time y/times y/ < 1404857665 163333 :boily!~boily@96.127.201.149 PRIVMSG #esoteric :(or something ungrammatical like that) < 1404857694 973725 :boily!~boily@96.127.201.149 PRIVMSG #esoteric :the trajet back home from work is uphill, with uphill slopes that go up. < 1404857699 964404 :boily!~boily@96.127.201.149 PRIVMSG #esoteric :tonight I broke my record! :D < 1404857872 656526 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :Congrats < 1404858109 7487 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :tswett: is this numbers thing on the wiki? < 1404858393 851561 :Bike!~Glossina@174-25-56-139.ptld.qwest.net QUIT :Ping timeout: 240 seconds < 1404858526 854071 :Bike!~Glossina@67-5-215-196.ptld.qwest.net JOIN :#esoteric < 1404858979 120066 :nooodl_!~nooodl@47.122-242-81.adsl-dyn.isp.belgacom.be JOIN :#esoteric < 1404859148 113595 :nooodl!~nooodl@47.122-242-81.adsl-dyn.isp.belgacom.be QUIT :Ping timeout: 240 seconds < 1404859200 626300 :edwardk!~edwardk@pdpc/supporter/professional/edwardk JOIN :#esoteric < 1404859704 545976 :tswett!~tswett@c-107-5-152-253.hsd1.mi.comcast.net PRIVMSG #esoteric :FireFly: no, it isn't. < 1404859751 663660 :tswett!~tswett@c-107-5-152-253.hsd1.mi.comcast.net PRIVMSG #esoteric :Stupid programming language: < 1404859764 227115 :tswett!~tswett@c-107-5-152-253.hsd1.mi.comcast.net PRIVMSG #esoteric :There are four commands: n, e, s, and w. < 1404859791 783121 :boily!~boily@96.127.201.149 PRIVMSG #esoteric :e < 1404859805 241412 :Bicyclidine!~Glossina@69.166.35.233 PRIVMSG #esoteric :> inventory < 1404859805 541279 :tswett!~tswett@c-107-5-152-253.hsd1.mi.comcast.net PRIVMSG #esoteric :The state is a point in space. < 1404859806 832485 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : Not in scope: ‘inventory’ < 1404859818 916031 :tswett!~tswett@c-107-5-152-253.hsd1.mi.comcast.net PRIVMSG #esoteric :The point is initially (0, 0, 1). < 1404859845 409485 :tswett!~tswett@c-107-5-152-253.hsd1.mi.comcast.net PRIVMSG #esoteric :n rotates the point one radian clockwise about the x-axis as seen from the positive direction. < 1404859866 474087 :tswett!~tswett@c-107-5-152-253.hsd1.mi.comcast.net PRIVMSG #esoteric :e rotates the point one radian counterclockwise about the y-axis as seen from the positive direction. < 1404859870 726302 :tswett!~tswett@c-107-5-152-253.hsd1.mi.comcast.net PRIVMSG #esoteric :s undoes n. w undoes e. < 1404859999 890765 :ais523_!93bcc175@gateway/web/freenode/ip.147.188.193.117 PRIVMSG #esoteric :any sort of conditional branch? < 1404860014 798405 :ais523_!93bcc175@gateway/web/freenode/ip.147.188.193.117 PRIVMSG #esoteric :if there is, I wouldn't be able to say definitively that it isn't TC < 1404860024 614348 :tswett!~tswett@c-107-5-152-253.hsd1.mi.comcast.net PRIVMSG #esoteric :Ooh. < 1404860025 563650 :tswett!~tswett@c-107-5-152-253.hsd1.mi.comcast.net PRIVMSG #esoteric :Ooh. < 1404860030 619032 :tswett!~tswett@c-107-5-152-253.hsd1.mi.comcast.net PRIVMSG #esoteric :Okay. < 1404860039 508883 :ais523_!93bcc175@gateway/web/freenode/ip.147.188.193.117 PRIVMSG #esoteric :at least, not without more thought < 1404860042 152130 :tswett!~tswett@c-107-5-152-253.hsd1.mi.comcast.net PRIVMSG #esoteric :Parentheses mean "loop while z > 0". < 1404860052 961300 :ais523_!93bcc175@gateway/web/freenode/ip.147.188.193.117 PRIVMSG #esoteric :yay < 1404860053 325377 :tswett!~tswett@c-107-5-152-253.hsd1.mi.comcast.net PRIVMSG #esoteric :Now is it Turing-complete? < 1404860058 850043 :ais523_!93bcc175@gateway/web/freenode/ip.147.188.193.117 PRIVMSG #esoteric :I don't know < 1404860065 309505 :boily!~boily@96.127.201.149 PRIVMSG #esoteric :what can it compute? < 1404860068 830746 :ais523_!93bcc175@gateway/web/freenode/ip.147.188.193.117 PRIVMSG #esoteric :it doesn't fail any of the checks that make a language obviously Turing-incomplete < 1404860081 434243 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :Wouln't a (non-looping) conditional suffice if a looping one does? < 1404860081 579032 :ais523_!93bcc175@gateway/web/freenode/ip.147.188.193.117 PRIVMSG #esoteric :when failed < 1404860090 688342 :ais523_!93bcc175@gateway/web/freenode/ip.147.188.193.117 PRIVMSG #esoteric :FireFly: no, because then the program always halts < 1404860114 703005 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :I mean, you could get loopedness by applying one of the rotation commands sufficiently < 1404860124 690804 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :wait < 1404860133 662161 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :never mind < 1404860141 215448 :ais523_!93bcc175@gateway/web/freenode/ip.147.188.193.117 PRIVMSG #esoteric :you're confusing loops in the program with loops in the data < 1404860171 298450 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :I see that now < 1404860185 35172 :tswett!~tswett@c-107-5-152-253.hsd1.mi.comcast.net PRIVMSG #esoteric :In theory, you can store an arbitrary amount of data here. < 1404860199 425032 :tswett!~tswett@c-107-5-152-253.hsd1.mi.comcast.net PRIVMSG #esoteric :Like, you can sort of use the point as two registers storing integers up to a certain limit. < 1404860207 495612 :tswett!~tswett@c-107-5-152-253.hsd1.mi.comcast.net PRIVMSG #esoteric :Increment and decrement the integers using tiny rotations. < 1404860222 223941 :tswett!~tswett@c-107-5-152-253.hsd1.mi.comcast.net PRIVMSG #esoteric :But the two registers interfere with each other. < 1404860266 74414 :tswett!~tswett@c-107-5-152-253.hsd1.mi.comcast.net PRIVMSG #esoteric :Also, instructions are written from right to left, just for the hell. < 1404860276 169759 :Phantom_Hoover!~Phantom@unaffiliated/phantom-hoover QUIT :Ping timeout: 240 seconds < 1404860334 267537 :boily!~boily@96.127.201.149 PRIVMSG #esoteric :tswett: itym “just for the AP-heLL” < 1404860343 720779 :tswett!~tswett@c-107-5-152-253.hsd1.mi.comcast.net PRIVMSG #esoteric :What's AP-heLL? < 1404860421 196442 :boily!~boily@96.127.201.149 PRIVMSG #esoteric :bad pun, poorly written. you said that it's written RTL, just like APL. < 1404860433 320018 :boily!~boily@96.127.201.149 PRIVMSG #esoteric :
ACTION mapoles himself a few times in penance
< 1404860437 389499 :tswett!~tswett@c-107-5-152-253.hsd1.mi.comcast.net PRIVMSG #esoteric :Mm. < 1404860513 301442 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net JOIN :#esoteric < 1404860626 437025 :tswett!~tswett@c-107-5-152-253.hsd1.mi.comcast.net PRIVMSG #esoteric :This company I want to work for asks me to "show me some interesting code you've written and walk me through it". I'm trying to think if I've really written any interesting code. < 1404860679 236362 :tswett!~tswett@c-107-5-152-253.hsd1.mi.comcast.net PRIVMSG #esoteric :Nah, I'm sure I have. < 1404860779 853731 :tswett!~tswett@c-107-5-152-253.hsd1.mi.comcast.net PRIVMSG #esoteric :Here's something called FPS.hs. I can't remember what it is at all. < 1404860796 981693 :Bicyclidine!~Glossina@69.166.35.233 PRIVMSG #esoteric :estimates the frames per second for an attached process running Quake < 1404860802 182784 :tswett!~tswett@c-107-5-152-253.hsd1.mi.comcast.net PRIVMSG #esoteric :(FPS xs) * (FPS ys) = FPS . map (sum . map (uncurry (*))) . tail $ convolute xs ys < 1404860805 702779 :tswett!~tswett@c-107-5-152-253.hsd1.mi.comcast.net PRIVMSG #esoteric :Bicyclidine: probably. < 1404860889 669688 :Melvar!~melvar@dslb-088-078-156-068.pools.arcor-ip.net PRIVMSG #esoteric :What does convolute do? < 1404860905 613809 :boily!~boily@96.127.201.149 PRIVMSG #esoteric :it does a convolution, duh :P < 1404860933 549928 :tswett!~tswett@c-107-5-152-253.hsd1.mi.comcast.net PRIVMSG #esoteric :convolute :: [a] -> [b] -> [[(a,b)]] < 1404860961 360890 :tswett!~tswett@c-107-5-152-253.hsd1.mi.comcast.net PRIVMSG #esoteric :That's not quite convolution actually is. < 1404860977 324916 :Bicyclidine!~Glossina@69.166.35.233 PRIVMSG #esoteric :lol. < 1404860980 176366 :boily!~boily@96.127.201.149 PRIVMSG #esoteric :I expected convolute :: [a] -> [a] -> [a]. < 1404860992 336368 :Bicyclidine!~Glossina@69.166.35.233 PRIVMSG #esoteric :well, that's why tswett is walking you through it, now isn't it < 1404861114 489711 :tswett!~tswett@c-107-5-152-253.hsd1.mi.comcast.net PRIVMSG #esoteric :
ACTION looks through his code.
< 1404861216 169157 :tswett!~tswett@c-107-5-152-253.hsd1.mi.comcast.net PRIVMSG #esoteric :In my Docs/Programming directory, I have an HTML directory. < 1404861231 926418 :tswett!~tswett@c-107-5-152-253.hsd1.mi.comcast.net PRIVMSG #esoteric :I looked in there expecting to find some cute Javascript things. < 1404861252 775002 :tswett!~tswett@c-107-5-152-253.hsd1.mi.comcast.net PRIVMSG #esoteric :Turns out that the only thing in there is a single HTML file. And sure enough, it's pure HTML, with no Javascript at all. < 1404861270 16787 :tswett!~tswett@c-107-5-152-253.hsd1.mi.comcast.net PRIVMSG #esoteric :Well, I guess half of it is CSS. < 1404861312 170964 :Bicyclidine!~Glossina@69.166.35.233 PRIVMSG #esoteric :it's good to be organized. < 1404861449 123014 :tswett!~tswett@c-107-5-152-253.hsd1.mi.comcast.net PRIVMSG #esoteric :Sweet. I have my implementation of Subleq in Verilog. < 1404861490 675046 :subleq!~gavin@208.186.142.130 PRIVMSG #esoteric :I am _not_ in Verilog < 1404861506 119038 :tswett!~tswett@c-107-5-152-253.hsd1.mi.comcast.net PRIVMSG #esoteric :Oh yeah? Explain this! < 1404861509 647752 :ais523_!93bcc175@gateway/web/freenode/ip.147.188.193.117 PRIVMSG #esoteric :convolution doesn't necessarily apply only to lists, but it requires some sort of sum < 1404861543 376527 :Bicyclidine!~Glossina@69.166.35.233 PRIVMSG #esoteric :discrete schmiscrete < 1404861546 949979 :tswett!~tswett@c-107-5-152-253.hsd1.mi.comcast.net PRIVMSG #esoteric :Summing is appending. < 1404861551 987905 :tswett!~tswett@c-107-5-152-253.hsd1.mi.comcast.net PRIVMSG #esoteric :subleq: https://clbin.com/VZNL5 < 1404861555 14290 :ais523_!93bcc175@gateway/web/freenode/ip.147.188.193.117 PRIVMSG #esoteric :I think the definition is "convolute f g x = sum (d from -infinity to infinity) of f(x-d) * g(d)" < 1404861578 572066 :ais523_!93bcc175@gateway/web/freenode/ip.147.188.193.117 PRIVMSG #esoteric :for any appropriate definitions of -, *, sum you can think of < 1404861613 199644 :Bicyclidine!~Glossina@69.166.35.233 PRIVMSG #esoteric :probably you can use something other than the reals to sum over, too < 1404861650 503390 :Bicyclidine!~Glossina@69.166.35.233 PRIVMSG #esoteric :yeah looks like there's a simple extension to higher dimensions, for a start < 1404861667 444339 :ais523_!93bcc175@gateway/web/freenode/ip.147.188.193.117 PRIVMSG #esoteric :err yes, I should probably rephrase it like this < 1404861689 49456 :ais523_!93bcc175@gateway/web/freenode/ip.147.188.193.117 PRIVMSG #esoteric :"convolute f g x = sum (all y, z st y + z = x) f(y) * g(z)" < 1404861720 358625 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :this seems a bit........................................................... < 1404861722 979695 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :convoluted < 1404861736 470094 :ais523_!93bcc175@gateway/web/freenode/ip.147.188.193.117 PRIVMSG #esoteric :convolution isn't a very simple operation < 1404861753 514111 :Bicyclidine!~Glossina@69.166.35.233 PRIVMSG #esoteric :psh it's just a product on the space of functions < 1404861772 909251 :Bicyclidine!~Glossina@69.166.35.233 PRIVMSG #esoteric :functions on arbitrary groups as long as they're measurable, looks like < 1404861781 489775 :Bicyclidine!~Glossina@69.166.35.233 PRIVMSG #esoteric :http://upload.wikimedia.org/math/f/5/3/f53180acc7806c4139550527dcaa6a13.png booyeah < 1404861843 687439 :Bicyclidine!~Glossina@69.166.35.233 PRIVMSG #esoteric :as for me, i'm just amused that convolve is the standard way to multiply polynomials in matlab. < 1404861863 309999 :tswett!~tswett@c-107-5-152-253.hsd1.mi.comcast.net PRIVMSG #esoteric :
ACTION ponders the convolution of polynomials.
< 1404861888 613474 :tswett!~tswett@c-107-5-152-253.hsd1.mi.comcast.net PRIVMSG #esoteric :Of polynomial functions, not polynomial expressions. < 1404862059 814354 :nooodl_!~nooodl@47.122-242-81.adsl-dyn.isp.belgacom.be PRIVMSG #esoteric :hm what's that λ < 1404862072 393562 :Bicyclidine!~Glossina@69.166.35.233 PRIVMSG #esoteric :the measure, i think. < 1404862084 22798 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :This is interesting: http://ddili.org/ders/d.en/ufcs.html < 1404862100 240981 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :Like extension methods except not required to explicitly be extension methods < 1404862100 385359 :edwardk!~edwardk@pdpc/supporter/professional/edwardk QUIT :Quit: Computer has gone to sleep. < 1404862119 40282 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :Removes temptation to make a method part of a class just for nicer syntax, I think. < 1404862169 904008 :Bicyclidine!~Glossina@69.166.35.233 PRIVMSG #esoteric :i just checked that the product of polynomials is not their convolution, because i'm an idiot i think < 1404862198 8029 :edwardk!~edwardk@pdpc/supporter/professional/edwardk JOIN :#esoteric < 1404862297 355260 :tswett!~tswett@c-107-5-152-253.hsd1.mi.comcast.net PRIVMSG #esoteric :You know, the hyperreal numbers are quite the thing. < 1404862363 715005 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :What about the hyporeal numbers? < 1404862391 70114 :tswett!~tswett@c-107-5-152-253.hsd1.mi.comcast.net PRIVMSG #esoteric :Hmmm. < 1404862394 304486 :Bicyclidine!~Glossina@69.166.35.233 PRIVMSG #esoteric :naturals? < 1404862415 246437 :tswett!~tswett@c-107-5-152-253.hsd1.mi.comcast.net PRIVMSG #esoteric :Nah, the hyporeal numbers are clearly the dyadic rationals. < 1404862431 604182 :Bicyclidine!~Glossina@69.166.35.233 PRIVMSG #esoteric :well, i guess you'd want a transfer principle. < 1404862449 131985 :tswett!~tswett@c-107-5-152-253.hsd1.mi.comcast.net PRIVMSG #esoteric :Hm, right. < 1404862490 939020 :tswett!~tswett@c-107-5-152-253.hsd1.mi.comcast.net PRIVMSG #esoteric :If the hyperreal numbers are an enlarged model of the real numbers (in some sense), then the hyporeal numbers must be a shrunk model. < 1404862498 303186 :tswett!~tswett@c-107-5-152-253.hsd1.mi.comcast.net PRIVMSG #esoteric :Maybe the hyporeal numbers are the definable numbers. < 1404862529 337737 :edwardk!~edwardk@pdpc/supporter/professional/edwardk QUIT :Quit: Computer has gone to sleep. < 1404862609 88590 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :Let alpha be the smallest positive non-definable number. < 1404862632 559480 :tswett!~tswett@c-107-5-152-253.hsd1.mi.comcast.net PRIVMSG #esoteric :But there's no such number. < 1404862645 593841 :Bicyclidine!~Glossina@69.166.35.233 PRIVMSG #esoteric :haha, that's a way better response than mine < 1404862695 630085 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :Right, because the definable numbers are just another way of saying 'interesting number' ;) < 1404862722 985598 :Bicyclidine!~Glossina@69.166.35.233 PRIVMSG #esoteric :no, because there isn't a smallest positive non-definable real any more than there's a smallest positive real < 1404862737 548471 :Bicyclidine!~Glossina@69.166.35.233 PRIVMSG #esoteric :of course, on top of that the defining language is something like first-order set theory that you can't recurse in. < 1404862743 101318 :Bicyclidine!~Glossina@69.166.35.233 PRIVMSG #esoteric :but tswett's answer is funnier. < 1404862756 997796 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :Bike: I know. (At least that first sentence) < 1404862824 99736 :Bicyclidine!~Glossina@69.166.35.233 PRIVMSG #esoteric :well i guess you could pick some weird fucking order, but fuck that < 1404862831 15387 :tswett!~tswett@c-107-5-152-253.hsd1.mi.comcast.net PRIVMSG #esoteric :(Consider alpha/2. Contradiction.) < 1404862836 558669 :Bicyclidine!~Glossina@69.166.35.233 PRIVMSG #esoteric :apparently there's a film called zorn's lemma? huh < 1404862855 755645 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :tswett: ... I assume that was a joke < 1404862856 46268 :Bicyclidine!~Glossina@69.166.35.233 PRIVMSG #esoteric :Zorns Lemma is a major poetic work. Created and put together by a very clear eye, this original and complex abstract work moves beyond the letters of the alphabet, beyond words and beyond Freud. If you don't understand it the first time you see it, don't despair, see it again! When you finally 'get it,' a small light, possibly a candle, will light itself inside your forehead. < 1404862869 98350 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :(In that my statement itself is inherently contradictory) < 1404862871 264877 :Bicyclidine!~Glossina@69.166.35.233 PRIVMSG #esoteric :we have entered an infinite recursion of humor < 1404862895 82170 :Bicyclidine!~Glossina@69.166.35.233 PRIVMSG #esoteric :this movie looks bad. < 1404863007 115501 :vifino!~vifino@ip-37-24-78-77.unitymediagroup.de QUIT :Quit: Ze Cat now leaves... < 1404863609 96859 :ais523!~ais523@unaffiliated/ais523 JOIN :#esoteric < 1404863870 866601 :yorick!~yorick@oftn/member/yorick QUIT :Remote host closed the connection