< 1404864564 279440 :edwardk!~edwardk@pdpc/supporter/professional/edwardk JOIN :#esoteric < 1404864694 50055 :vifino!~vifino@ip-37-24-78-77.unitymediagroup.de JOIN :#esoteric < 1404865355 250641 :ais523!~ais523@unaffiliated/ais523 QUIT : < 1404865360 498005 :callforjudgement!~ais523@unaffiliated/ais523 JOIN :#esoteric < 1404865912 466063 :callforjudgement!~ais523@unaffiliated/ais523 QUIT :Ping timeout: 245 seconds < 1404865943 132777 :Bicyclidine!~Glossina@69.166.35.233 QUIT :Ping timeout: 264 seconds < 1404866805 157469 :nooodl_!~nooodl@47.122-242-81.adsl-dyn.isp.belgacom.be NICK :nooodl < 1404866959 734752 :ajf!~Colloquy@host86-172-51-137.range86-172.btcentralplus.com QUIT :Quit: I quit PHP development! Forever! < 1404867033 177268 :callforjudgement!~ais523@unaffiliated/ais523 JOIN :#esoteric < 1404867456 341407 :Slereah_!~jackal@176.222.51.233 QUIT :Ping timeout: 255 seconds < 1404867716 586868 :Slereah_!~jackal@176.222.51.233 JOIN :#esoteric < 1404868093 47581 :boily!~boily@96.127.201.149 PRIVMSG #esoteric :in a strange case of “There's a Trope for That”, I just learned that there is such a thing → http://tvtropes.org/pmwiki/pmwiki.php/Main/CanadaDoesNotExist < 1404868198 965292 :d00p_!~d00p@h77-53-114-163.dynamic.se.alltele.net QUIT :Quit: d00p_ < 1404868212 634379 :Slereah_!~jackal@176.222.51.233 PRIVMSG #esoteric :Americanada < 1404868370 699944 :boily!~boily@96.127.201.149 PRIVMSG #esoteric :the USA should split and regroup with some provinces to form Americanada. < 1404868557 599427 :Slereah_!~jackal@176.222.51.233 PRIVMSG #esoteric :http://www.rathergood.com/beta_recordings < 1404868593 898411 :Bike!~Glossina@67-5-215-196.ptld.qwest.net QUIT :Ping timeout: 240 seconds < 1404868721 910416 :boily!~boily@96.127.201.149 PRIVMSG #esoteric :Slereah_: what. < 1404868724 348488 :Bike!~Glossina@174-25-49-144.ptld.qwest.net JOIN :#esoteric < 1404869025 299352 :boily!~boily@96.127.201.149 QUIT :Quit: Tell the Moon Dog, Tell the March Hare < 1404869026 756340 :metasepia!~metasepia@96.127.201.149 QUIT :Remote host closed the connection < 1404869724 385505 :Bike!~Glossina@174-25-49-144.ptld.qwest.net QUIT :Ping timeout: 255 seconds < 1404869856 752471 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :I love how questions like "What is the type of ('a' ** 'b'), and does it typecheck?" depend on the type you try to give it explicitly < 1404869881 539545 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :I guess you can do similar things in Haskell to some extent < 1404871272 448595 :tswett!~tswett@c-107-5-152-253.hsd1.mi.comcast.net QUIT :Quit: tswett < 1404872056 383736 :Bike!~Glossina@67-5-202-234.ptld.qwest.net JOIN :#esoteric < 1404872391 582657 :Bicyclidine!~Glossina@67-5-202-234.ptld.qwest.net JOIN :#esoteric < 1404872662 547239 :Bicyclidine!~Glossina@67-5-202-234.ptld.qwest.net QUIT :Ping timeout: 245 seconds < 1404872936 646138 :Sorella!~queen@oftn/member/Sorella QUIT :Quit: It is tiem! < 1404873821 111201 :callforjudgement!~ais523@unaffiliated/ais523 QUIT :Ping timeout: 256 seconds < 1404873869 678532 :vifino!~vifino@ip-37-24-78-77.unitymediagroup.de QUIT :Quit: Ze Cat now leaves... < 1404874114 459034 :callforjudgement!~ais523@unaffiliated/ais523 JOIN :#esoteric < 1404874319 893729 :Bicyclidine!~Glossina@67-5-202-234.ptld.qwest.net JOIN :#esoteric < 1404874324 520230 :Bicyclidine!~Glossina@67-5-202-234.ptld.qwest.net QUIT :Client Quit < 1404874528 208216 :hogeyui_!~hogeyuiVP@vps.usamimi.biz QUIT :Ping timeout: 260 seconds < 1404875201 864112 :hogeyui_!~hogeyuiVP@vps.usamimi.biz JOIN :#esoteric < 1404875395 535075 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :http://www.cnn.com/2014/07/08/health/smallpox-virus-found/index.html?hpt=hp_c2 < 1404875424 217747 :Bike!~Glossina@67-5-202-234.ptld.qwest.net PRIVMSG #esoteric :still pretty sure the correct reaction to seeing a vial labeled "VARIOLA" in a freezer is screaming < 1404875592 273568 :d00p_!~d00p@h77-53-114-163.dynamic.se.alltele.net JOIN :#esoteric < 1404877313 427171 :pikhq!~pikhq@24-178-249-64.dhcp.stls.mo.charter.com QUIT :Read error: Connection reset by peer < 1404877389 603547 :pikhq!~pikhq@24-178-249-64.dhcp.stls.mo.charter.com JOIN :#esoteric < 1404878090 579290 :OriginalOldMan!18113e8c@gateway/web/freenode/ip.24.17.62.140 JOIN :#esoteric < 1404878125 189611 :nooodl!~nooodl@47.122-242-81.adsl-dyn.isp.belgacom.be QUIT :Quit: Ik ga weg < 1404878536 550955 :OriginalOldMan!18113e8c@gateway/web/freenode/ip.24.17.62.140 QUIT :Quit: Page closed < 1404878801 873014 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :I think my mom wrote a scientific paper < 1404878857 228304 :Bike!~Glossina@67-5-202-234.ptld.qwest.net PRIVMSG #esoteric :is it good < 1404878882 699517 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :I can't access it right now, the only source I found is behind a pay wall, not going to do that tonight < 1404878901 464395 :Bike!~Glossina@67-5-202-234.ptld.qwest.net PRIVMSG #esoteric :if you give me a doi or something i could probably grab a copy. < 1404878956 206701 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :I don't know what a doi is, but I can link the two places I see it < 1404878967 657274 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :http://journals.lww.com/ajnonline/Citation/1996/11000/PSYCHIATRIC_NURSING__Relaxation_Exercises_Reduce.7.aspx http://jhn.sagepub.com/content/14/3/196.short < 1404878990 209118 :Bike!~Glossina@67-5-202-234.ptld.qwest.net PRIVMSG #esoteric :Document Object Identifier, a GUID system for papers. it'd basically just give me the second link there though. < 1404879313 202244 :Bike!~Glossina@67-5-202-234.ptld.qwest.net PRIVMSG #esoteric :my school doesn't have access to papers from earlier than 2012. sorr-e. < 1404879384 903799 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :Ok, thank you anyway < 1404879689 317360 :drdanmaku!uid17782@gateway/web/irccloud.com/x-tukpnwvacnfzlktm QUIT :Quit: Connection closed for inactivity < 1404879719 708713 :^v!~notnot^v@c-71-238-153-166.hsd1.mi.comcast.net QUIT :Ping timeout: 252 seconds < 1404880300 895033 :callforjudgement!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :the DOI only ever redirects to an official publisher's website that's pretty useless < 1404880319 139865 :callforjudgement!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :it's mostly useful for getting citation info so that you can search for the paper properly < 1404880336 597348 :JWinslow23!411f61cb@gateway/web/freenode/ip.65.31.97.203 JOIN :#esoteric < 1404880342 391294 :JWinslow23!411f61cb@gateway/web/freenode/ip.65.31.97.203 PRIVMSG #esoteric :ohai pplz < 1404880375 365885 :JWinslow23!411f61cb@gateway/web/freenode/ip.65.31.97.203 PRIVMSG #esoteric :Anyone here? < 1404880380 880683 :Bike!~Glossina@67-5-202-234.ptld.qwest.net PRIVMSG #esoteric :callforjudgement: yeah, that's mostly what i use it for. sometimes navigating publishers' sites sucks. < 1404880383 976391 :Bike!~Glossina@67-5-202-234.ptld.qwest.net PRIVMSG #esoteric :most of the time. < 1404880390 692956 :JWinslow23!411f61cb@gateway/web/freenode/ip.65.31.97.203 PRIVMSG #esoteric :I'm searching for a language, but I can't find the page for the life of me. < 1404880400 113498 :JWinslow23!411f61cb@gateway/web/freenode/ip.65.31.97.203 PRIVMSG #esoteric :I don't know the name of it. < 1404880400 520874 :callforjudgement!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :there are people here < 1404880413 236502 :callforjudgement!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :if you describe the language, we can see if any of us remembers < 1404880413 380993 :JWinslow23!411f61cb@gateway/web/freenode/ip.65.31.97.203 PRIVMSG #esoteric :Good. < 1404880421 507517 :callforjudgement!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :alternatively, if it's simple enough, we could just create it on the spot < 1404880439 32010 :JWinslow23!411f61cb@gateway/web/freenode/ip.65.31.97.203 PRIVMSG #esoteric :OK...lessee...the esolang is two-dimensional... < 1404880458 535893 :Bike!~Glossina@67-5-202-234.ptld.qwest.net PRIVMSG #esoteric :i think there's a category for befunge-likes < 1404880470 661529 :JWinslow23!411f61cb@gateway/web/freenode/ip.65.31.97.203 PRIVMSG #esoteric :...and its layout was supposed to overlay a table of all the ASCII values... < 1404880473 497629 :callforjudgement!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :and a category for two-dimensionals in particualr < 1404880482 176416 :callforjudgement!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :although, I'm not aware of one that acts like that < 1404880495 635147 :JWinslow23!411f61cb@gateway/web/freenode/ip.65.31.97.203 PRIVMSG #esoteric :...I'm pretty sure there's a Hello World Program made for it...the only program made for it... < 1404880513 539421 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :Sgeo: yhm < 1404880536 452753 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :coppro: ? < 1404880747 226495 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :you have mail < 1404880747 569923 :JWinslow23!411f61cb@gateway/web/freenode/ip.65.31.97.203 QUIT :Ping timeout: 246 seconds < 1404880768 213391 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :Thank you! < 1404881590 569465 :JWinslow23!411f61cb@gateway/web/freenode/ip.65.31.97.203 JOIN :#esoteric < 1404881609 956956 :JWinslow23!411f61cb@gateway/web/freenode/ip.65.31.97.203 PRIVMSG #esoteric :ohai again < 1404881669 974161 :JWinslow23!411f61cb@gateway/web/freenode/ip.65.31.97.203 PRIVMSG #esoteric :I have this one idea for a 1L-type esolang, but it might be too hard to program in. < 1404881693 381358 :JWinslow23!411f61cb@gateway/web/freenode/ip.65.31.97.203 PRIVMSG #esoteric :Wanna hear? < 1404881764 540608 :JWinslow23!411f61cb@gateway/web/freenode/ip.65.31.97.203 PRIVMSG #esoteric :...hello? :/ < 1404881796 91624 :callforjudgement!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :we're still here < 1404881802 337662 :callforjudgement!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :but for me, it's 6 in the morning and I've been up all night < 1404881805 656082 :JWinslow23!411f61cb@gateway/web/freenode/ip.65.31.97.203 PRIVMSG #esoteric :Oh. Sorry. < 1404881819 100342 :callforjudgement!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :so I may not be so coherent < 1404881830 767031 :JWinslow23!411f61cb@gateway/web/freenode/ip.65.31.97.203 PRIVMSG #esoteric :And for me, it's about midnight. < 1404881846 771822 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :JWinslow23: too hard to program in is the point < 1404881856 590957 :JWinslow23!411f61cb@gateway/web/freenode/ip.65.31.97.203 PRIVMSG #esoteric :So, possible specs: < 1404881869 675603 :JWinslow23!411f61cb@gateway/web/freenode/ip.65.31.97.203 PRIVMSG #esoteric :Space: a nop < 1404881894 58597 :JWinslow23!411f61cb@gateway/web/freenode/ip.65.31.97.203 PRIVMSG #esoteric :Non space: Some instruction, depending on placrment. < 1404881921 249710 :JWinslow23!411f61cb@gateway/web/freenode/ip.65.31.97.203 PRIVMSG #esoteric :So, there's this wheel of commands: < 1404881950 363319 :JWinslow23!411f61cb@gateway/web/freenode/ip.65.31.97.203 PRIVMSG #esoteric :INC, DEC, FWD, BAK, IN, OUT < 1404881995 706218 :JWinslow23!411f61cb@gateway/web/freenode/ip.65.31.97.203 PRIVMSG #esoteric :(corresponding to + - > < , . in brainf***) < 1404882048 55030 :JWinslow23!411f61cb@gateway/web/freenode/ip.65.31.97.203 PRIVMSG #esoteric :Starts at INC, and turns the wheel with every forward movement of the instruction pointer. < 1404882063 911638 :callforjudgement!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :JWinslow23: have you seen [[e:Turning tarpit]] < 1404882070 667335 :callforjudgement!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :err, why does my macro no longer work < 1404882074 688423 :callforjudgement!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :http://esolangs.org/wiki/Turning_tarpit < 1404882076 361578 :callforjudgement!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :there we go < 1404882076 874542 :JWinslow23!411f61cb@gateway/web/freenode/ip.65.31.97.203 PRIVMSG #esoteric :I have. < 1404882090 431001 :JWinslow23!411f61cb@gateway/web/freenode/ip.65.31.97.203 PRIVMSG #esoteric :This is 2-d. < 1404882108 931164 :JWinslow23!411f61cb@gateway/web/freenode/ip.65.31.97.203 PRIVMSG #esoteric :A 1L-type lang. < 1404882191 299982 :JWinslow23!411f61cb@gateway/web/freenode/ip.65.31.97.203 PRIVMSG #esoteric :Anyways, so if an instruction is reached, then execute the current command on the wheel. < 1404882260 846929 :JWinslow23!411f61cb@gateway/web/freenode/ip.65.31.97.203 PRIVMSG #esoteric :If an instruction is to the direct left or right of the pointer, then move in the direction opposite the insttuction. < 1404882322 410554 :JWinslow23!411f61cb@gateway/web/freenode/ip.65.31.97.203 PRIVMSG #esoteric :If it is one space forwards and one to the side, then turn ss described ONLY IF the current memory cell is nonzero. < 1404882391 957841 :JWinslow23!411f61cb@gateway/web/freenode/ip.65.31.97.203 PRIVMSG #esoteric :If at any time the pointer is out of bounds, the program terminates. < 1404882422 37022 :callforjudgement!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :that doesn't seem that hard to program in < 1404882436 564785 :JWinslow23!411f61cb@gateway/web/freenode/ip.65.31.97.203 PRIVMSG #esoteric :Well, my original idea was. < 1404882446 402624 :JWinslow23!411f61cb@gateway/web/freenode/ip.65.31.97.203 PRIVMSG #esoteric :My original wheel. < 1404882471 703916 :JWinslow23!411f61cb@gateway/web/freenode/ip.65.31.97.203 PRIVMSG #esoteric :It added ROTC, ROTCC, ROTCIF, and ROTCCIF. < 1404882516 833837 :JWinslow23!411f61cb@gateway/web/freenode/ip.65.31.97.203 PRIVMSG #esoteric :(rotate clockwise, counterclockwise, clockwise if current cell is nonzero, counter < 1404882763 571704 :JWinslow23!411f61cb@gateway/web/freenode/ip.65.31.97.203 QUIT :Ping timeout: 246 seconds < 1404883366 970731 :conehead!~conehead@unaffiliated/conehead QUIT :Ping timeout: 264 seconds < 1404884421 515848 :callforjudgement!~ais523@unaffiliated/ais523 QUIT : < 1404885480 987044 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Talk:Arborealis14]]4 10 02http://esolangs.org/w/index.php?diff=40112&oldid=40087 5* 03Dweymouth 5* (+599) 10question < 1404885527 461141 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Talk:Arborealis14]]4 M10 02http://esolangs.org/w/index.php?diff=40113&oldid=40112 5* 03Dweymouth 5* (+1) 10new paragraph < 1404886538 909821 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Malbrain14]]4 10 02http://esolangs.org/w/index.php?diff=40114&oldid=36165 5* 03Rdebath 5* (+159) 10Add table and retrieve execution explanation from history. < 1404886580 446035 :ais523_!93bcc175@gateway/web/freenode/ip.147.188.193.117 QUIT :Quit: Page closed < 1404887148 111725 :oerjan!oerjan@sprocket.nvg.ntnu.no JOIN :#esoteric < 1404887251 230957 :MoALTz!~no@user-46-113-83-45.play-internet.pl QUIT :Quit: Leaving < 1404888014 742746 :d00p_!~d00p@h77-53-114-163.dynamic.se.alltele.net QUIT :Quit: d00p_ < 1404888248 988719 :AnotherTest!~turingcom@d51A42986.access.telenet.be JOIN :#esoteric < 1404888365 822319 :nisstyre!yourstruly@oftn/member/Nisstyre QUIT :Ping timeout: 272 seconds < 1404890017 412611 :nisstyre!yourstruly@oftn/member/Nisstyre JOIN :#esoteric < 1404890811 344401 :AnotherTest!~turingcom@d51A42986.access.telenet.be QUIT :Ping timeout: 255 seconds < 1404891861 7010 :AnotherTest!~turingcom@193.190.253.145 JOIN :#esoteric < 1404893422 740677 :sandpiper!~anon@gateway/tor-sasl/slidelock JOIN :#esoteric < 1404893430 638133 :Iceland_jack!user@2a01:7e00::f03c:91ff:fedf:8336 JOIN :#esoteric < 1404894394 968670 :Patashu!~Patashu@c27-253-115-204.carlnfd2.nsw.optusnet.com.au JOIN :#esoteric < 1404894739 262119 :Patashu!~Patashu@c27-253-115-204.carlnfd2.nsw.optusnet.com.au QUIT :Disconnected by services < 1404894739 406581 :Patashu_!~Patashu@c27-253-115-204.carlnfd2.nsw.optusnet.com.au JOIN :#esoteric < 1404896721 365719 :MindlessDrone!~MindlessD@unaffiliated/mindlessdrone JOIN :#esoteric < 1404897236 361336 :sandpiper!~anon@gateway/tor-sasl/slidelock QUIT :Quit: Leaving < 1404898644 767314 :impomatic_!~digital_w@76.70.208.46.dyn.plus.net QUIT :Ping timeout: 248 seconds < 1404900836 903079 :boily!~boily@96.127.201.149 JOIN :#esoteric < 1404902797 291750 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover JOIN :#esoteric < 1404902815 35604 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover QUIT :Remote host closed the connection < 1404903103 496943 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover JOIN :#esoteric < 1404903722 187267 :oerjan!oerjan@sprocket.nvg.ntnu.no QUIT :Quit: leaving < 1404903892 143777 :boily!~boily@96.127.201.149 PRIVMSG #esoteric :AAAAAH! I FORGOT TO BREAKFAST! < 1404903893 528993 :boily!~boily@96.127.201.149 QUIT :Quit: Poulet! < 1404904121 271562 :nooodl!~nooodl@47.122-242-81.adsl-dyn.isp.belgacom.be JOIN :#esoteric < 1404904959 609973 :MindlessDrone!~MindlessD@unaffiliated/mindlessdrone QUIT :Quit: MindlessDrone < 1404906798 338036 :yorick!~yorick@oftn/member/yorick JOIN :#esoteric < 1404907235 312981 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net QUIT :Read error: Connection reset by peer < 1404909611 347065 :TieSoul-mobile!~TieSoul@78.136.95.156 JOIN :#esoteric < 1404909731 370115 :TieSoul-mobile!~TieSoul@78.136.95.156 QUIT :Quit: Bye < 1404909819 606391 :TieSoul!~TieSoul@78.136.95.156 JOIN :#esoteric < 1404909832 641573 :TieSoul!~TieSoul@78.136.95.156 PRIVMSG #esoteric :Hey < 1404911138 314180 :Patashu_!~Patashu@c27-253-115-204.carlnfd2.nsw.optusnet.com.au QUIT :Ping timeout: 240 seconds < 1404911166 267451 :^v!~notnot^v@c-71-238-153-166.hsd1.mi.comcast.net JOIN :#esoteric < 1404911253 915548 :sebbu!~sebbu@unaffiliated/sebbu QUIT :Ping timeout: 240 seconds < 1404912148 465019 :sebbu!~sebbu@ADijon-152-1-17-62.w83-194.abo.wanadoo.fr JOIN :#esoteric < 1404912180 679342 :sebbu!~sebbu@ADijon-152-1-17-62.w83-194.abo.wanadoo.fr QUIT :Changing host < 1404912180 823714 :sebbu!~sebbu@unaffiliated/sebbu JOIN :#esoteric < 1404912708 296422 :TieSoul!~TieSoul@78.136.95.156 QUIT :Ping timeout: 255 seconds < 1404912776 357717 :vifino!~vifino@ip-37-24-78-77.unitymediagroup.de JOIN :#esoteric < 1404913306 666754 :monotone!~monotone@room208.org QUIT :Remote host closed the connection < 1404913339 970122 :aloril_!~aloril@dsl-tkubrasgw2-54f80b-12.dhcp.inet.fi QUIT :Ping timeout: 264 seconds < 1404913701 100135 :AnotherTest!~turingcom@193.190.253.145 QUIT :*.net *.split < 1404913701 338557 :Speed`!~Speed@evile.thrash.im QUIT :*.net *.split < 1404913701 589062 :Frooxius!~Frooxius@cust-101.ktknet.cz QUIT :*.net *.split < 1404913701 733481 :copumpkin!~copumpkin@unaffiliated/copumpkin QUIT :*.net *.split < 1404913701 733612 :vifino!~vifino@ip-37-24-78-77.unitymediagroup.de QUIT :*.net *.split < 1404913702 110890 :Bike!~Glossina@67-5-202-234.ptld.qwest.net QUIT :*.net *.split < 1404913702 441512 :mtve!~mtve@10130.x.rootbsd.net QUIT :*.net *.split < 1404913702 585962 :yiyus_!1242712427@je.je.je QUIT :*.net *.split < 1404913702 893066 :glogbackup!~glogbacku@192.3.160.190 QUIT :*.net *.split < 1404913702 893214 :shachaf!~shachaf@unaffiliated/shachaf QUIT :*.net *.split < 1404913703 37379 :int-e!~noone@static.88-198-179-137.clients.your-server.de QUIT :*.net *.split < 1404913703 181897 :EgoBot!dlopen@libdl.so QUIT :*.net *.split < 1404913703 326568 :myname!~myname@84.200.43.57 QUIT :*.net *.split < 1404913703 694374 :nooodl!~nooodl@47.122-242-81.adsl-dyn.isp.belgacom.be QUIT :*.net *.split < 1404913703 863555 :Slereah_!~jackal@176.222.51.233 QUIT :*.net *.split < 1404913704 574544 :hogeyui_!~hogeyuiVP@vps.usamimi.biz QUIT :*.net *.split < 1404913704 984876 :Taneb!~Taneb@runciman.hacksoc.org QUIT :*.net *.split < 1404913705 129437 :Iceland_jack!user@2a01:7e00::f03c:91ff:fedf:8336 QUIT :*.net *.split < 1404913705 274310 :ineiros_!~itniemin@hasturlovelace.cloud.tilaa.com QUIT :*.net *.split < 1404913705 418626 :atehwa!atehwa@aulis.sange.fi QUIT :*.net *.split < 1404913705 563009 :diginet!~diginet@107.170.146.29 QUIT :*.net *.split < 1404913705 707559 :erdic!erdic@unaffiliated/motley QUIT :*.net *.split < 1404913706 143192 :nycs!~nycs@gw.hq.meetup.com QUIT :*.net *.split < 1404913706 431971 :quintopia!~quintopia@unaffiliated/quintopia QUIT :*.net *.split < 1404913706 432078 :tromp__!~tromp@rtc35-154.rentec.com QUIT :*.net *.split < 1404913706 576673 :augur!~augur@216-164-48-148.c3-0.slvr-ubr1.lnh-slvr.md.cable.rcn.com QUIT :*.net *.split < 1404913706 576824 :heroux!~heroux@50708355.static.ziggozakelijk.nl QUIT :*.net *.split < 1404913706 576951 :jj2baile!~jon@corn-syrup.csclub.uwaterloo.ca QUIT :*.net *.split < 1404913706 721081 :HackEgo!~HackEgo@162.248.166.242 QUIT :*.net *.split < 1404913706 865644 :mroman!~roman2@fmnssun.ibone.ch QUIT :*.net *.split < 1404913707 10018 :jix!~jix@jixco.de QUIT :*.net *.split < 1404913707 345770 :edwardk!~edwardk@pdpc/supporter/professional/edwardk QUIT :*.net *.split < 1404913707 490125 :tromp!~tromp@ool-4570a006.dyn.optonline.net QUIT :*.net *.split < 1404913707 490257 :idris-bot!~ircslave@dslb-088-078-156-068.pools.arcor-ip.net QUIT :*.net *.split < 1404913707 490322 :Melvar!~melvar@dslb-088-078-156-068.pools.arcor-ip.net QUIT :*.net *.split < 1404913708 501811 :nortti!nortti@nano.smar.fi QUIT :*.net *.split < 1404913709 125299 :douglass_!~iridium@home-on-the-dome.mit.edu QUIT :*.net *.split < 1404913709 286792 :mihow!~mihow@108.30.58.169 QUIT :*.net *.split < 1404913710 207480 :coppro!raedford@taurine.csclub.uwaterloo.ca QUIT :*.net *.split < 1404913710 352130 :vravn!~vravn@syn.rook.sx QUIT :*.net *.split < 1404913710 732657 :sebbu!~sebbu@unaffiliated/sebbu QUIT :*.net *.split < 1404913710 877032 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover QUIT :*.net *.split < 1404913711 21607 :pikhq!~pikhq@24-178-249-64.dhcp.stls.mo.charter.com QUIT :*.net *.split < 1404913711 166023 :clog!~nef@66.114.33.57 QUIT :*.net *.split < 1404913711 864179 :variable!root@freebsd/developer/variable QUIT :*.net *.split < 1404913712 8707 :Gracenotes_!~person@192.241.203.42 QUIT :*.net *.split < 1404913712 409874 :TodPunk!Tod@50-198-177-186-static.hfc.comcastbusiness.net QUIT :*.net *.split < 1404913712 554959 :Gregor!dlopen@libdl.so QUIT :*.net *.split < 1404913712 555022 :ion!ion@heh.fi QUIT :*.net *.split < 1404913712 766942 :elliott!~elliott@unaffiliated/elliott QUIT :*.net *.split < 1404913713 159126 :ggherdov!sid11402@gateway/web/irccloud.com/x-zaqxotgjzktcfhaf QUIT :*.net *.split < 1404913713 303726 :Burton!Burton@gateway/shell/bouncerstation/x-fvqnwbshixzfbide QUIT :*.net *.split < 1404913713 448222 :realz!~pinky@unaffiliated/realazthat QUIT :*.net *.split < 1404913713 592697 :olsner!~salparot@c83-252-201-82.bredband.comhem.se QUIT :*.net *.split < 1404913713 801471 :maurer!~maurer@MIMUNG.ECE.CMU.EDU QUIT :*.net *.split < 1404913714 93708 :^v!~notnot^v@c-71-238-153-166.hsd1.mi.comcast.net QUIT :*.net *.split < 1404913714 238373 :ski_!~ski@remote1.student.chalmers.se QUIT :*.net *.split < 1404913714 385864 :FreeFull!~freefull@defocus/sausage-lover QUIT :*.net *.split < 1404913714 675217 :fowl!~fowl@unaffiliated/fowlmouth QUIT :*.net *.split < 1404913714 920379 :b_jonas!~x@russell2.math.bme.hu QUIT :*.net *.split < 1404913715 64735 :lifthrasiir!~lifthrasi@115.68.131.49 QUIT :*.net *.split < 1404913715 64855 :fungot!fis@eos.zem.fi QUIT :*.net *.split < 1404913715 729750 :Deewiant!~deewiant@deewiant.iki.fi QUIT :*.net *.split < 1404913716 18949 :yorick!~yorick@oftn/member/yorick QUIT :*.net *.split < 1404913716 307844 :nisstyre!yourstruly@oftn/member/Nisstyre QUIT :*.net *.split < 1404913716 833036 :rodgort!~rodgort@192.241.198.49 QUIT :*.net *.split < 1404913716 999988 :FireFly!~firefly@oftn/member/FireFly QUIT :*.net *.split < 1404913717 144859 :hubs!hubs@2600:3c03::f03c:91ff:fe69:46d3 QUIT :*.net *.split < 1404913717 863024 :kyhwana_!kyhwana@snowleopard.kyhwana.org QUIT :*.net *.split < 1404913718 24061 :skarn!skarn@unaffiliated/skarn QUIT :*.net *.split < 1404913718 215450 :myndzi!myndzi@2600:3c00::f03c:91ff:fedf:3d4e QUIT :*.net *.split < 1404913718 360034 :qlkzy!~qlkzy@li559-28.members.linode.com QUIT :*.net *.split < 1404913718 807800 :Zuu!~zuu@unaffiliated/zuu QUIT :*.net *.split < 1404913719 413362 :fizzie!fis@unaffiliated/fizzie QUIT :*.net *.split > 1404914213 289628 JOIN :#esoteric < 1404914216 149426 :glogbot!dlopen@libdl.so JOIN :#esoteric > 1404914217 396593 JOIN :#esoteric > 1404914217 912214 JOIN :#esoteric < 1404914267 371113 :barrucadu!~barrucadu@fsf/member/barrucadu JOIN :#esoteric < 1404914339 602384 :lambdabot!~lambdabot@silicon.int-e.eu JOIN :#esoteric < 1404914436 389850 :nycs!~nycs@gw.hq.meetup.com QUIT :Ping timeout: 255 seconds < 1404914495 928956 :KingOfKarlsruhe!~KingOfKar@unaffiliated/kingofkarlsruhe JOIN :#esoteric < 1404914500 264608 :SirCmpwn!~SirCmpwn@irc.sircmpwn.com JOIN :#esoteric < 1404914735 569534 :subleq!~gavin@208.186.142.130 JOIN :#esoteric < 1404916524 421676 :edwardk_!~edwardk@pdpc/supporter/professional/edwardk NICK :edwardk < 1404918620 328132 :nortti!nortti@nano.smar.fi NICK :hvidie < 1404918630 904300 :hvidie!nortti@nano.smar.fi NICK :nortti < 1404920283 598183 :JWinslow23!411f61cb@gateway/web/freenode/ip.65.31.97.203 JOIN :#esoteric < 1404920537 604308 :lollo64it!~lorenzo@93-58-3-33.ip156.fastwebnet.it JOIN :#esoteric < 1404921668 113925 :MindlessDrone!~MindlessD@unaffiliated/mindlessdrone JOIN :#esoteric < 1404921929 641943 :JWinslow23!411f61cb@gateway/web/freenode/ip.65.31.97.203 PRIVMSG #esoteric :Beatnik cat program: < 1404921931 483433 :JWinslow23!411f61cb@gateway/web/freenode/ip.65.31.97.203 PRIVMSG #esoteric :"Output: values displayed as characters." < 1404921947 293632 :JWinslow23!411f61cb@gateway/web/freenode/ip.65.31.97.203 PRIVMSG #esoteric :(8 9 16 2 17) < 1404922006 122895 :`^_^v!~nycs@gw.hq.meetup.com JOIN :#esoteric < 1404922051 943611 :JWinslow23!411f61cb@gateway/web/freenode/ip.65.31.97.203 PRIVMSG #esoteric :I think that might work. < 1404922575 282946 :`^_^v!~nycs@gw.hq.meetup.com QUIT :Quit: This computer has gone to sleep < 1404922937 112257 :JWinslow23!411f61cb@gateway/web/freenode/ip.65.31.97.203 QUIT :Quit: Page closed < 1404923291 216025 :AnotherTest!~turingcom@193.190.253.145 QUIT :Ping timeout: 264 seconds < 1404923883 954652 :conehead!~conehead@unaffiliated/conehead JOIN :#esoteric < 1404924658 326369 :idris-bot!~ircslave@dslb-088-078-156-068.pools.arcor-ip.net JOIN :#esoteric < 1404924762 102645 :TieSoul!~TieSoul@78.136.95.156 JOIN :#esoteric < 1404924944 864223 :TieSoul!~TieSoul@78.136.95.156 NICK :TieSoul-mobile < 1404925126 482240 :MoALTz!~no@user-46-113-83-45.play-internet.pl JOIN :#esoteric < 1404925704 838149 :`^_^v!~nycs@gw.hq.meetup.com JOIN :#esoteric < 1404927937 101029 :shikhin!~shikhin@unaffiliated/shikhin JOIN :#esoteric < 1404928241 280705 :mhi^!~mhi@unaffiliated/mhi/x-9993184 JOIN :#esoteric < 1404928357 103350 :TieSoul-mobile!~TieSoul@78.136.95.156 QUIT :Ping timeout: 256 seconds < 1404928926 81198 :nycs!~nycs@gw.hq.meetup.com JOIN :#esoteric < 1404929025 813610 :`^_^v!~nycs@gw.hq.meetup.com QUIT :Ping timeout: 272 seconds < 1404929801 526282 :impomatic_!~digital_w@76.70.208.46.dyn.plus.net JOIN :#esoteric < 1404930369 628353 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Everett14]]4 10 02http://esolangs.org/w/index.php?diff=40115&oldid=37786 5* 03162.157.73.59 5* (-6) 10 < 1404930854 955231 :lollo64it!~lorenzo@93-58-3-33.ip156.fastwebnet.it QUIT :Ping timeout: 240 seconds < 1404931240 561677 :shikhin!~shikhin@unaffiliated/shikhin QUIT :Quit: leaving < 1404931516 573528 :AnotherTest!~turingcom@d51a42986.access.telenet.be JOIN :#esoteric < 1404931642 123039 :oerjan!oerjan@sprocket.nvg.ntnu.no JOIN :#esoteric < 1404931693 489154 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :why is metasepia conspicuously absent whenever it's too damn hot here < 1404931738 826390 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :(obvious answer: because boily is only here when it's night in norway.) < 1404931828 718554 :ais523!~ais523@unaffiliated/ais523 JOIN :#esoteric < 1404931832 66913 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :fine, let me paste in from the web: METAR: ENVA 091820Z 15005KT CAVOK 30/14 Q1016 NOSIG RMK WIND 670FT 16014KT < 1404931860 670297 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :@tell boily METAR: ENVA 091820Z 15005KT CAVOK 30/14 Q1016 NOSIG RMK WIND 670FT 16014KT < 1404931861 67813 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :Consider it noted. < 1404931963 969804 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :oh no the weather forecast has changed, now it says 29-30 for the two next evenings as well ;_; < 1404932047 802336 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :maybe friday will start getting livable again < 1404932088 35242 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :make that saturday < 1404932184 346961 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :on the plus side, my apartment is keeping cool. i am wondering if the AC has genuine cooling < 1404932261 325357 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :it's not an AC without that, just a fan heater < 1404932269 758268 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :or, well, if it dehumidifies without cooling, that would also make it an AC < 1404932285 800757 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :but that's a really pointless thing to do because cooling and dehumidifying are pretty similarly implemented < 1404932309 80799 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :well the thing is in norway heating is usually more needed than cooling < 1404932363 333983 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :this last week being an exception < 1404932405 289998 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :so the theory is that they might just install a fan heater because it's all that most Norwegians would be likely to need? < 1404932407 840807 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :that makes sense < 1404932456 530465 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :however, that's probably changed with the modern green housing < 1404932480 457411 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :now the houses are supposed not to leak heat whenever possible < 1404932626 138287 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :which means the air circulation system needs a heat pump. < 1404933004 426281 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :hm the manual says there's a thermostat for it, but there is no door in the system to get to adjust it < 1404933030 430817 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :ok so i do have AC < 1404933104 774493 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :speaks about "varmeveksler" which translates as "heat exchanger" < 1404934512 497133 :AnotherTest!~turingcom@d51a42986.access.telenet.be QUIT :Ping timeout: 245 seconds < 1404934983 359992 :tromp__!~tromp@rtc35-154.rentec.com QUIT :Ping timeout: 255 seconds < 1404935092 81267 :`^_^!~nycs@gw.hq.meetup.com JOIN :#esoteric < 1404935225 103408 :nycs!~nycs@gw.hq.meetup.com QUIT :Ping timeout: 256 seconds < 1404935431 239046 :tromp__!~tromp@rtc35-154.rentec.com JOIN :#esoteric < 1404937112 402967 :vifino!~vifino@ip-37-24-78-77.unitymediagroup.de QUIT :Quit: Ze Cat now leaves... < 1404937146 322875 :AnotherTest!~turingcom@d51A42986.access.telenet.be JOIN :#esoteric < 1404937457 793187 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :Help someone just called me "Nathan van Wolfstein 3-D" < 1404937463 605818 :mhi^!~mhi@unaffiliated/mhi/x-9993184 QUIT :Quit: Lost terminal < 1404937729 806455 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :misinterpret the "3-D" as a smiley < 1404937765 657412 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :It's also missing an "en". < 1404937856 720589 :mhi^!~mhi@unaffiliated/mhi/x-9993184 JOIN :#esoteric < 1404937870 499193 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :and a g? < 1404937879 151365 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :That was me, sorry < 1404937983 290183 :Bike_!~Glossina@69.166.35.235 JOIN :#esoteric < 1404938010 164487 :Feddit!~haydourim@197.8.128.101 JOIN :#esoteric < 1404938050 66723 :Feddit!~haydourim@197.8.128.101 PART :#esoteric < 1404938067 609687 :Bike_!~Glossina@69.166.35.235 NICK :Bicyclidine < 1404938583 46520 :not^v!~notnot^v@198.109.114.66 JOIN :#esoteric < 1404939681 918794 :vifino!~vifino@ip-37-24-78-77.unitymediagroup.de JOIN :#esoteric < 1404939778 282612 :AnotherTest!~turingcom@d51A42986.access.telenet.be QUIT :Ping timeout: 240 seconds < 1404939921 900025 :Patashu!~Patashu@c27-253-115-204.carlnfd2.nsw.optusnet.com.au JOIN :#esoteric < 1404940247 553559 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :wait what g < 1404940264 678186 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :well there's a g in ngevd < 1404940284 24213 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :hm < 1404940389 2676 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :ais523, that g stand for George < 1404940752 182438 :Patashu_!~Patashu@c27-253-115-204.carlnfd2.nsw.optusnet.com.au JOIN :#esoteric < 1404940752 382397 :Patashu!~Patashu@c27-253-115-204.carlnfd2.nsw.optusnet.com.au QUIT :Disconnected by services < 1404941221 188518 :MindlessDrone!~MindlessD@unaffiliated/mindlessdrone QUIT :Quit: MindlessDrone < 1404941245 94015 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :Phantom_Hoover, elliott, succession fort once the DF bugfix versions are coming out? < 1404941415 225970 :Patashu_!~Patashu@c27-253-115-204.carlnfd2.nsw.optusnet.com.au QUIT :Ping timeout: 240 seconds < 1404941853 496746 :ais523!~ais523@unaffiliated/ais523 QUIT : < 1404942650 330480 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net JOIN :#esoteric < 1404943032 101789 :boily!~boily@96.127.201.149 JOIN :#esoteric < 1404943093 563714 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover PRIVMSG #esoteric :Taneb, sure < 1404943918 332399 :nooodl!~nooodl@47.122-242-81.adsl-dyn.isp.belgacom.be QUIT :Ping timeout: 240 seconds < 1404944467 472349 :newsham!~chat@udp217044uds.hawaiiantel.net JOIN :#esoteric < 1404945273 598050 :ais523_!93bcc175@gateway/web/freenode/ip.147.188.193.117 JOIN :#esoteric < 1404945900 86306 :ais523_!93bcc175@gateway/web/freenode/ip.147.188.193.117 PRIVMSG #esoteric :hmm, doesn't the tutorial on the new Haskell homepage fail for people whose names have their letters in ASCIIbetical order? < 1404946010 106514 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Perhaps your evil twin has the same name as you. < 1404946027 472561 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Perhaps you are the evil twin. < 1404946064 923275 :ais523!~ais523@unaffiliated/ais523 JOIN :#esoteric < 1404946080 609064 :boily!~boily@96.127.201.149 PRIVMSG #esoteric :perhaps you are the resonance between two elemental twins? < 1404946208 870360 :ais523_!93bcc175@gateway/web/freenode/ip.147.188.193.117 PRIVMSG #esoteric :"like ais523, but less evil" is a scary thought < 1404946212 232591 :ais523_!93bcc175@gateway/web/freenode/ip.147.188.193.117 PRIVMSG #esoteric :although I conclude that it's possible < 1404946236 71865 :boily!~boily@96.127.201.149 PRIVMSG #esoteric :@massages-loud < 1404946236 532179 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :oerjan said 3h 59m 35s ago: METAR: ENVA 091820Z 15005KT CAVOK 30/14 Q1016 NOSIG RMK WIND 670FT 16014KT < 1404946249 674095 :boily!~boily@96.127.201.149 PRIVMSG #esoteric :oerjan: GASP! +30 in Norway? < 1404946271 61674 :metasepia!~metasepia@96.127.201.149 JOIN :#esoteric < 1404946272 231930 :boily!~boily@96.127.201.149 PRIVMSG #esoteric :~metar CYUL < 1404946272 827051 :metasepia!~metasepia@96.127.201.149 PRIVMSG #esoteric :CYUL 092200Z 26009KT 30SM FEW040 FEW060 22/14 A2980 RMK CU1SC1 SLP091 DENSITY ALT 1100FT < 1404946279 318202 :Sorella!~queen@oftn/member/Sorella JOIN :#esoteric < 1404946285 659111 :boily!~boily@96.127.201.149 PRIVMSG #esoteric :noooooooooooo! I won't accept that! unpossible! < 1404946293 608230 :ais523_!93bcc175@gateway/web/freenode/ip.147.188.193.117 PRIVMSG #esoteric :boily: oerjan's been talking about how this is the first time it's ever been relevant that his AC is not just a fan heater < 1404946301 43843 :ais523_!93bcc175@gateway/web/freenode/ip.147.188.193.117 PRIVMSG #esoteric :but actually a genuine AC < 1404946430 18190 :boily!~boily@96.127.201.149 PRIVMSG #esoteric :we live in interesting times... < 1404946523 884826 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :the norwegian definition of "tropical night" is a night where temperatures never go below 20. apparently this heat wave is the first time trondheim has ever had two such nights in a row. < 1404946626 460223 :boily!~boily@96.127.201.149 PRIVMSG #esoteric :
ACTION wildly flails around in utter disbelievement. “twenty puny degrees? NONSENSE!”
< 1404946650 68683 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :celsius hth < 1404946698 324935 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :20 is one of those numbers that's very different in C and F < 1404946724 1847 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :mind you, that happened _before_ day temperatures crept up to 30 < 1404946741 76985 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :or well that was actually evening in that metar < 1404946886 699379 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :why are separation types so hard to find information about in search engines < 1404946899 948579 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :my problem is that "separation" and "type" are both pretty common words < 1404946913 8889 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :so I have to add extra words that don't match my query but are commonly used in the field, like "proof" < 1404946917 468243 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :to increase the number of relevant results < 1404946921 732431 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :from 0 < 1404946954 493428 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :ah, "separation logic" is the more usual term < 1404946962 13628 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :silly curry-howard, confusing terminology for everyone < 1404947032 869050 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :anyway, I'm not quite sure how to move forwards at this point; I basically have two methods < 1404947046 477006 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :ok this article says today was the hottest day in trondheim since 1945. < 1404947056 92915 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :one is the copout of effectively defining one specific rank-2 type as a special case in the syntax < 1404947066 546433 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :um hottest july. < 1404947086 752475 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :which basically gives me a language with half the limitations of SCI, which is nonetheless better than SCI because it doesn't have the other half < 1404947110 959769 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :and the other method is to attempt to find some sort of definition of copolymorphism, which is awkward because the language doesn't have polymorphism < 1404947115 989455 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :(except in the C++ template sense) < 1404947163 586096 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :hmm… in Algol 68, "skip" was an arbitrary value of any given data type < 1404947169 704625 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :but in mathematical Algol, it's a no-op command < 1404947183 163382 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :oh, that sort-of makes sense < 1404947185 414504 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i think haskell's ST may originally have been implemented as a special case before rank-2 types were implemented generally. < 1404947211 494669 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :anyway, all this mess came about because SCI is pretty awkward as type systems go < 1404947222 393564 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :back when I was a first-year PhD student, it became reasonable < 1404947235 349448 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :but I started coming across more and more awkwardnesses < 1404947255 346236 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :and some time after I'd decided it lead to a bunch of problems, I showed it to a conference full of linear logicians < 1404947274 833571 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :and the typical reaction was "why would you do that?" < 1404947313 927240 :conehead!~conehead@unaffiliated/conehead QUIT :Ping timeout: 240 seconds < 1404947337 579057 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :SCI isn't really very eso as languages go, I suppose < 1404947361 872334 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :its main weird/eso feature is that "f x y" and "f (x, y)" are not actually interchangeable < 1404947369 20953 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :curry exists, but uncurry doesn't < 1404947412 872304 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :Noted: My dad still is not reliable, and my opinion is _still_ worthless to him < 1404947423 607264 :not^v!~notnot^v@198.109.114.66 QUIT :Quit: http://i.imgur.com/Akc6r.gif < 1404947450 803738 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :^v's alternate nick's username is confusing me a bunch < 1404947461 787382 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :mostly because I'm unsure whether to interpret the tilde as another "not" < 1404947479 75971 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :argh now the 29 degrees is extending to the saturday forecast as well < 1404947526 422863 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :Well, ^v is not v, so not^v is not not v, so not^v is v, so not^v and ^v are different people < 1404947561 658933 :boily!~boily@96.127.201.149 PRIVMSG #esoteric :~duck tweedeldum < 1404947562 330762 :metasepia!~metasepia@96.127.201.149 PRIVMSG #esoteric :--- No relevant information < 1404947566 754692 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :so which of them is ~notnot^v? < 1404947572 962733 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :~duck tweedledum < 1404947573 125887 :boily!~boily@96.127.201.149 PRIVMSG #esoteric :
ACTION *MAPOLES*
< 1404947573 352374 :metasepia!~metasepia@96.127.201.149 PRIVMSG #esoteric :Tweedledum and Tweedledee are fictional characters in an English nursery rhyme and in Lewis Carroll's Through the Looking-Glass, and What Alice Found There. Their names may have originally come from an epigram written by poet John Byrom. The nursery rhyme has a Roud Folk Song Index number of 19800. The names have since become synonymous in western popular culture slang for any two people who look and act in identical ways, generally in a derogatory c < 1404947585 655409 :Bicyclidine!~Glossina@69.166.35.235 PRIVMSG #esoteric :gotcha < 1404947595 851156 :boily!~boily@96.127.201.149 PRIVMSG #esoteric :
ACTION 's mapole swing misses, goes around, and thwacks boily behind the head
< 1404947770 732847 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :hmm: "two things are proved equivalent, and yet people continue using both sets of terminology" is something that I already hate, despite only having got caught up on it a few minutes ago < 1404947807 632284 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :Turing machine and lambda calculus are equivalent in a sense, but still distinct < 1404947896 493165 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :bleh, I ate dinner just an hour or so ago, do I eat antilunch already? < 1404947901 944673 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I guess I may as well, given that I'm hungry < 1404948025 604327 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :another thing that annoys me: I have two keyboards within about 25 centimetres of me; both have numlock keys; neither has a particularly noticeable numlock indicator < 1404948047 664849 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :the laptop keyboard doesn't seem to have one at all; the desktop keyboard in AZERTY does but it's basically impossible to see at this distance, and this distance is not very long < 1404948169 591064 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover PRIVMSG #esoteric :Sgeo, was that just... something that came to mind? < 1404948200 995632 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :Phantom_Hoover: I thought it was relevant to ais523's complaint < 1404948251 230335 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :well, the advantage there is that there isn't a 1-to-1 correspondence between Turing machine components and lambda calculus components < 1404948258 8343 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :so you don't get people naming one after the other, inconsistently < 1404948302 903465 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :also, I just saw an interrobang used in a context where a question mark would have made the sentence have an entirely different meaning < 1404948309 848917 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :this saddens me, because I dislike interrobangs < 1404948310 630246 :monotone_!~monotone@room208.org QUIT :Quit: "I can hear myself... I think I'm a bit afraid." < 1404948325 134489 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :an exclamation mark would probably have worked, I guess < 1404948509 844250 :monotone!~monotone@66.228.38.77 JOIN :#esoteric < 1404949119 992951 :oerjan!oerjan@sprocket.nvg.ntnu.no QUIT :Quit: leaving < 1404949578 272242 :Bicyclidine!~Glossina@69.166.35.235 QUIT :Ping timeout: 240 seconds < 1404950150 515868 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover PRIVMSG #esoteric :ais523, that's the entire reason interrobangs are a good idea... < 1404950269 89349 :Melvar!~melvar@dslb-088-078-156-068.pools.arcor-ip.net PRIVMSG #esoteric :ais523: You use numlock? < 1404950292 20663 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :Melvar: if I'm using the numeric keypad for almost anything (except playing NH4), the state of numlock is relevant < 1404950302 81309 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :so it helps to know whether it's on or off before I start pressing buttons < 1404950343 688962 :Melvar!~melvar@dslb-088-078-156-068.pools.arcor-ip.net PRIVMSG #esoteric :On that note, what do you use the keypad for on a non-neo keyboard layout? < 1404950386 487013 :yorick!~yorick@oftn/member/yorick QUIT :Read error: Connection reset by peer < 1404950395 862517 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :"neo layout"?