< 1404950405 356746 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :sometimes I just use it because it's nearer to the edge of the keyboard < 1404950413 585334 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :like, I scroll down with 2 if I'm trying to hold the laptop in midair < 1404950424 790293 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :because I want my hands at the left and right ends of the keyboard, and neither can reach the arrow keys < 1404950438 653069 :Melvar!~melvar@dslb-088-078-156-068.pools.arcor-ip.net PRIVMSG #esoteric :http://neo-layout.org/ < 1404950497 404119 :Melvar!~melvar@dslb-088-078-156-068.pools.arcor-ip.net PRIVMSG #esoteric :See plane 4 for the bits that also occur to the right of the main keyboard. < 1404950532 498153 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover PRIVMSG #esoteric :isn't Melvar spelt with 3 l's < 1404950542 536638 :Melvar!~melvar@dslb-088-078-156-068.pools.arcor-ip.net PRIVMSG #esoteric :Phantom_Hoover: Not this one. < 1404950552 678371 :Melvar!~melvar@dslb-088-078-156-068.pools.arcor-ip.net PRIVMSG #esoteric :`unidecode ∣ < 1404950553 312634 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :​[U+2223 DIVIDES] < 1404950572 523369 :Melvar!~melvar@dslb-088-078-156-068.pools.arcor-ip.net PRIVMSG #esoteric :Ooh. I didn’t remember I had that symbol … < 1404950699 557801 :boily!~boily@96.127.201.149 PRIVMSG #esoteric :after the multiocular o, the triple l used to spell Melvar's true name. < 1404950734 827155 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover PRIVMSG #esoteric :`quote ꙮ < 1404950735 492273 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :1140) A Swede who was in #esoteric / Thought his rhymes were a little generic. / "I might use, in my prose, / ꙮs, / But my poetry's alphanumeric." < 1404950782 130328 :Melvar!~melvar@dslb-088-078-156-068.pools.arcor-ip.net PRIVMSG #esoteric :`unidecode ∕ < 1404950782 814049 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :​[U+2215 DIVISION SLASH] < 1404950800 500012 :Melvar!~melvar@dslb-088-078-156-068.pools.arcor-ip.net PRIVMSG #esoteric :`unidecode ∖ < 1404950801 164907 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :​[U+2216 SET MINUS] < 1404950802 625969 :ais523_!93bcc175@gateway/web/freenode/ip.147.188.193.117 PRIVMSG #esoteric :does 1140 scan correctly? < 1404950808 445592 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :`pastequotes < 1404950810 506563 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :http://codu.org/projects/hackbot/fshg/index.cgi/file/tip/paste/paste.1213 < 1404950849 320426 :Melvar!~melvar@dslb-088-078-156-068.pools.arcor-ip.net PRIVMSG #esoteric :I keep forgetting about the symbols in the higher planes of the keypad. < 1404950919 547543 :Melvar!~melvar@dslb-088-078-156-068.pools.arcor-ip.net PRIVMSG #esoteric :`unidecode v⃗ < 1404950920 293284 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :​[U+0076 LATIN SMALL LETTER V] [U+20D7 COMBINING RIGHT ARROW ABOVE] < 1404951003 540541 :ais523_!93bcc175@gateway/web/freenode/ip.147.188.193.117 PRIVMSG #esoteric :it doesn't combine in this webclient < 1404951011 334687 :ais523_!93bcc175@gateway/web/freenode/ip.147.188.193.117 PRIVMSG #esoteric :I just get a v, and a small right arrow next to and above it < 1404951049 495853 :Melvar!~melvar@dslb-088-078-156-068.pools.arcor-ip.net PRIVMSG #esoteric :It combines for me, but not really nicely. < 1404951057 617178 :ais523_!93bcc175@gateway/web/freenode/ip.147.188.193.117 PRIVMSG #esoteric :fizzie: btw, I had a new idea for a fungot corpus: the glibc and coreutils info documentation < 1404951057 940529 :fungot!fis@eos.zem.fi PRIVMSG #esoteric :ais523_: if it were a string ( value) but i diverged. but < 1404951376 751478 :Bike!~Glossina@67-5-202-234.ptld.qwest.net PRIVMSG #esoteric :ais523_: mul-ti-oc-u-lar-ohs < 1404951524 743892 :boily!~boily@96.127.201.149 PRIVMSG #esoteric :fungot: how many ohs in a multiocular o? < 1404951525 28877 :fungot!fis@eos.zem.fi PRIVMSG #esoteric :boily: and her english is worse than that extra append.) well, sure < 1404951543 463498 :boily!~boily@96.127.201.149 PRIVMSG #esoteric :fungot: so, the more the worsier? < 1404951543 705077 :fungot!fis@eos.zem.fi PRIVMSG #esoteric :boily: sounds too good to make it not exist < 1404951552 550647 :boily!~boily@96.127.201.149 PRIVMSG #esoteric :the fungot approves! < 1404951552 826099 :fungot!fis@eos.zem.fi PRIVMSG #esoteric :boily: ( display ( list ( cadddr lst))) < 1404951776 12761 :mhi^!~mhi@unaffiliated/mhi/x-9993184 QUIT :Quit: Lost terminal < 1404952753 916293 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :enum + dependent pair = arbitrary sum types? < 1404952766 308480 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :Well, enum + depenent pair + function from enum to type < 1404953007 144399 :conehead!~conehead@unaffiliated/conehead JOIN :#esoteric < 1404953241 295180 :pikhq!~pikhq@24-178-249-64.dhcp.stls.mo.charter.com QUIT :Read error: Connection reset by peer < 1404953582 969839 :pikhq!~pikhq@24-178-249-64.dhcp.stls.mo.charter.com JOIN :#esoteric < 1404953653 492854 :pikhq!~pikhq@24-178-249-64.dhcp.stls.mo.charter.com QUIT :Read error: Connection reset by peer < 1404953840 40664 :pikhq!~pikhq@24-178-249-64.dhcp.stls.mo.charter.com JOIN :#esoteric < 1404953898 802346 :pikhq!~pikhq@24-178-249-64.dhcp.stls.mo.charter.com QUIT :Read error: Connection reset by peer < 1404954095 494479 :pikhq!~pikhq@24-178-249-64.dhcp.stls.mo.charter.com JOIN :#esoteric < 1404954242 616679 :pikhq!~pikhq@24-178-249-64.dhcp.stls.mo.charter.com QUIT :Read error: Connection reset by peer < 1404954395 802138 :pikhq!~pikhq@24-178-249-64.dhcp.stls.mo.charter.com JOIN :#esoteric < 1404954635 830078 :pikhq!~pikhq@24-178-249-64.dhcp.stls.mo.charter.com QUIT :Read error: Connection reset by peer < 1404954686 898552 :pikhq!~pikhq@24-178-249-64.dhcp.stls.mo.charter.com JOIN :#esoteric < 1404954895 308532 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover QUIT :Remote host closed the connection < 1404955301 294590 :pikhq!~pikhq@24-178-249-64.dhcp.stls.mo.charter.com QUIT :Read error: Connection reset by peer < 1404955324 300390 :ais523!~ais523@unaffiliated/ais523 QUIT :Ping timeout: 240 seconds < 1404955414 288377 :ais523_!93bcc175@gateway/web/freenode/ip.147.188.193.117 PRIVMSG #esoteric :`quote 696 < 1404955417 866901 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :696) what a world it would be if you could actually *steal* code so that the other project has to rewrite it or infiltrate your project to steal it back < 1404955427 828582 :ais523_!93bcc175@gateway/web/freenode/ip.147.188.193.117 PRIVMSG #esoteric :you can steal data from other processes in CLC-INTERCAL < 1404955432 582777 :JWinslow23!411f61cb@gateway/web/freenode/ip.65.31.97.203 JOIN :#esoteric < 1404955435 401811 :ais523_!93bcc175@gateway/web/freenode/ip.147.188.193.117 PRIVMSG #esoteric :unless it's read-only, then you can smuggle out copies instead < 1404955452 748676 :JWinslow23!411f61cb@gateway/web/freenode/ip.65.31.97.203 PRIVMSG #esoteric :ohai pplz < 1404955457 509566 :ais523_!93bcc175@gateway/web/freenode/ip.147.188.193.117 PRIVMSG #esoteric :hi < 1404955469 904323 :JWinslow23!411f61cb@gateway/web/freenode/ip.65.31.97.203 PRIVMSG #esoteric :Can anyone point me to a good golf language on the wiki? < 1404955475 106273 :JWinslow23!411f61cb@gateway/web/freenode/ip.65.31.97.203 PRIVMSG #esoteric :Besides GolfScript. < 1404955484 982902 :ais523_!93bcc175@gateway/web/freenode/ip.147.188.193.117 PRIVMSG #esoteric :depends on what you're trying to gold < 1404955487 820456 :ais523_!93bcc175@gateway/web/freenode/ip.147.188.193.117 PRIVMSG #esoteric :*golf < 1404955497 474713 :ais523_!93bcc175@gateway/web/freenode/ip.147.188.193.117 PRIVMSG #esoteric :FlogScript is also a good golf language but I'm not sure it's on the Wiki < 1404955502 84035 :ais523_!93bcc175@gateway/web/freenode/ip.147.188.193.117 PRIVMSG #esoteric :Perl is technically on the wiki but shouldn't be < 1404955506 968157 :pikhq!~pikhq@24-178-249-64.dhcp.stls.mo.charter.com JOIN :#esoteric < 1404955508 588642 :ais523_!93bcc175@gateway/web/freenode/ip.147.188.193.117 PRIVMSG #esoteric :Underload is good for writing quine variants < 1404955531 454754 :ais523_!93bcc175@gateway/web/freenode/ip.147.188.193.117 PRIVMSG #esoteric :most of my attempts to design golf languages end up as vaporware < 1404955533 984743 :ais523_!93bcc175@gateway/web/freenode/ip.147.188.193.117 PRIVMSG #esoteric :like Cyclexa < 1404955541 61679 :JWinslow23!411f61cb@gateway/web/freenode/ip.65.31.97.203 PRIVMSG #esoteric :Cyclexa < 1404955553 757353 :ais523_!93bcc175@gateway/web/freenode/ip.147.188.193.117 PRIVMSG #esoteric :I have a mostly complete spec for that, but I'm not sure it's on the wiki yet < 1404955566 856460 :ais523_!93bcc175@gateway/web/freenode/ip.147.188.193.117 PRIVMSG #esoteric :also most of its features were independently added to Perl anyway < 1404955579 624168 :ais523_!93bcc175@gateway/web/freenode/ip.147.188.193.117 PRIVMSG #esoteric :although it still has some features that out-eso even Perl < 1404955585 633453 :boily!~boily@96.127.201.149 QUIT :Quit: EXPRESSIVE CHICKEN < 1404955587 917681 :metasepia!~metasepia@96.127.201.149 QUIT :Remote host closed the connection < 1404955613 275548 :ais523_!93bcc175@gateway/web/freenode/ip.147.188.193.117 PRIVMSG #esoteric :like the "in this block, make the same decisions in all control structures as in that block" construct < 1404955618 845505 :ais523_!93bcc175@gateway/web/freenode/ip.147.188.193.117 PRIVMSG #esoteric :that's quite a nice one < 1404955627 545027 :ais523_!93bcc175@gateway/web/freenode/ip.147.188.193.117 PRIVMSG #esoteric :like, if you have an if statement in one block < 1404955643 517629 :ais523_!93bcc175@gateway/web/freenode/ip.147.188.193.117 PRIVMSG #esoteric :the if statements in the other block will run or skip the code that's being if'ed the same way < 1404955645 351688 :JWinslow23!411f61cb@gateway/web/freenode/ip.65.31.97.203 PRIVMSG #esoteric :Should I make one? < 1404955658 536201 :ais523_!93bcc175@gateway/web/freenode/ip.147.188.193.117 PRIVMSG #esoteric :you can make a golf language if you like, but IMO it's pretty hard to do well at that < 1404955659 477486 :pikhq!~pikhq@24-178-249-64.dhcp.stls.mo.charter.com QUIT :Read error: Connection reset by peer < 1404955661 963113 :JWinslow23!411f61cb@gateway/web/freenode/ip.65.31.97.203 PRIVMSG #esoteric :I haven't made one in a while. < 1404955665 845700 :JWinslow23!411f61cb@gateway/web/freenode/ip.65.31.97.203 PRIVMSG #esoteric :Any language. < 1404955679 370700 :JWinslow23!411f61cb@gateway/web/freenode/ip.65.31.97.203 PRIVMSG #esoteric :I want to create a 2-dimensional language, actually. < 1404955684 333980 :JWinslow23!411f61cb@gateway/web/freenode/ip.65.31.97.203 PRIVMSG #esoteric :Now that I think about it. < 1404955705 667882 :ais523_!93bcc175@gateway/web/freenode/ip.147.188.193.117 PRIVMSG #esoteric :2D isn't that good for golfing because of the extra spaces you need to make the lines line up < 1404955777 96165 :JWinslow23!411f61cb@gateway/web/freenode/ip.65.31.97.203 PRIVMSG #esoteric :Not golf. < 1404955782 764732 :JWinslow23!411f61cb@gateway/web/freenode/ip.65.31.97.203 PRIVMSG #esoteric :I gave up on that. < 1404955805 811184 :JWinslow23!411f61cb@gateway/web/freenode/ip.65.31.97.203 PRIVMSG #esoteric :OK, so 2D now. < 1404955810 909053 :ais523_!93bcc175@gateway/web/freenode/ip.147.188.193.117 PRIVMSG #esoteric :`delquote 668 < 1404955820 454450 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :​*poof* Note that the previous quote is, in fact, correctly spaced. < 1404955851 517581 :ais523_!93bcc175@gateway/web/freenode/ip.147.188.193.117 PRIVMSG #esoteric :the previous "previous quote" is long since deleted; 667 is also correctly spaced but there's no obvious reason why it wouldn't be < 1404955935 383050 :pikhq!~pikhq@24-178-249-64.dhcp.stls.mo.charter.com JOIN :#esoteric < 1404956185 331705 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`quote 667 < 1404956186 20808 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :667) oerjan: Hey, what's your country code for telephonistic dialling from the outside world? fizzie: +47 oerjan: Ooh, you're, like, right next to Sweden there. I... guess you are geographically, too. < 1404956196 374957 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Someone respaced it, apparently. < 1404956212 887246 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric : 781) oerjan: Hey, what's your country code for telephonistic dialling from the outside world? fizzie: +47 oerjan: Ooh, you're, like, right next to Sweden there. I... guess you are geographically, too. < 1404956227 41733 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :So it's not actually correctly spaced. < 1404956574 815664 :JWinslow23!411f61cb@gateway/web/freenode/ip.65.31.97.203 QUIT :Quit: Page closed < 1404956742 1109 :ais523_!93bcc175@gateway/web/freenode/ip.147.188.193.117 PRIVMSG #esoteric :help I've read back to like quote #400 now < 1404956746 68744 :ais523_!93bcc175@gateway/web/freenode/ip.147.188.193.117 PRIVMSG #esoteric :and they get funnier on average over time < 1404956751 699270 :ais523_!93bcc175@gateway/web/freenode/ip.147.188.193.117 PRIVMSG #esoteric :and I'm having difficulty breathing as a result < 1404956763 845033 :ais523_!93bcc175@gateway/web/freenode/ip.147.188.193.117 PRIVMSG #esoteric :I need to remember to never read the entire list at once, I had this problem last time < 1404956800 248479 :ais523!~ais523@unaffiliated/ais523 JOIN :#esoteric < 1404957240 712476 :^v!~notnot^v@c-71-238-153-166.hsd1.mi.comcast.net JOIN :#esoteric < 1404957690 253891 :ais523_!93bcc175@gateway/web/freenode/ip.147.188.193.117 PRIVMSG #esoteric :`quote 242 < 1404957690 753727 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :242) enjoy being locked in your matrix of solidity < 1404957694 949248 :ais523_!93bcc175@gateway/web/freenode/ip.147.188.193.117 PRIVMSG #esoteric :it's /that/ recent? < 1404957724 38432 :ais523_!93bcc175@gateway/web/freenode/ip.147.188.193.117 PRIVMSG #esoteric :also, when did we take it out of the topic, I feel like it was there pretty much forever < 1404957736 879864 :ais523_!93bcc175@gateway/web/freenode/ip.147.188.193.117 PRIVMSG #esoteric :although the "the international hub" topic was probably there longer < 1404957876 500016 :pikhq!~pikhq@24-178-249-64.dhcp.stls.mo.charter.com QUIT :Read error: Connection reset by peer < 1404957952 518073 :pikhq!~pikhq@24.178.249.64 JOIN :#esoteric < 1404958410 704002 :pikhq!~pikhq@24.178.249.64 QUIT :Read error: Connection reset by peer < 1404958584 257868 :Gregor!dlopen@libdl.so QUIT :Ping timeout: 260 seconds < 1404958734 888464 :conehead!~conehead@unaffiliated/conehead QUIT :Quit: Computer has gone to sleep < 1404958754 507284 :pikhq!~pikhq@24-178-249-64.dhcp.stls.mo.charter.com JOIN :#esoteric < 1404958786 201200 :Gregor!dlopen@libdl.so JOIN :#esoteric < 1404958833 733046 :pikhq!~pikhq@24-178-249-64.dhcp.stls.mo.charter.com QUIT :Read error: Connection reset by peer < 1404959184 806292 :pikhq!~pikhq@24-178-249-64.dhcp.stls.mo.charter.com JOIN :#esoteric < 1404959221 15373 :pikhq!~pikhq@24-178-249-64.dhcp.stls.mo.charter.com QUIT :Read error: Connection reset by peer < 1404959657 662237 :pikhq!~pikhq@24-178-249-64.dhcp.stls.mo.charter.com JOIN :#esoteric < 1404959869 401631 :ais523!~ais523@unaffiliated/ais523 QUIT : < 1404961171 425557 :pikhq!~pikhq@24-178-249-64.dhcp.stls.mo.charter.com QUIT :Read error: Connection reset by peer < 1404961525 542093 :pikhq!~pikhq@24.178.249.64 JOIN :#esoteric < 1404964630 584500 :JWinslow23!411f61cb@gateway/web/freenode/ip.65.31.97.203 JOIN :#esoteric < 1404964636 999293 :JWinslow23!411f61cb@gateway/web/freenode/ip.65.31.97.203 PRIVMSG #esoteric :ohai pplz < 1404964653 831192 :JWinslow23!411f61cb@gateway/web/freenode/ip.65.31.97.203 PRIVMSG #esoteric :So, does anyone know Whitespace? < 1404964701 885763 :JWinslow23!411f61cb@gateway/web/freenode/ip.65.31.97.203 PRIVMSG #esoteric :http://esolangs.org/wiki/Whitespace < 1404964730 278993 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :I learned recently that the guy who made it is the Idris guy < 1404964798 47430 :JWinslow23!411f61cb@gateway/web/freenode/ip.65.31.97.203 PRIVMSG #esoteric :Well, can anyone explain just what the slide operation does? < 1404964842 285326 :JWinslow23!411f61cb@gateway/web/freenode/ip.65.31.97.203 PRIVMSG #esoteric :You know, Space Tab LF? < 1404965039 687626 :JWinslow23!411f61cb@gateway/web/freenode/ip.65.31.97.203 PRIVMSG #esoteric :Anyone know? < 1404965046 797371 :JWinslow23!411f61cb@gateway/web/freenode/ip.65.31.97.203 PRIVMSG #esoteric :Hello? < 1404965459 109859 :JWinslow23!411f61cb@gateway/web/freenode/ip.65.31.97.203 QUIT :Quit: Page closed < 1404965480 584413 :JWinslow23!411f61cb@gateway/web/freenode/ip.65.31.97.203 JOIN :#esoteric < 1404965618 111159 :JWinslow23!411f61cb@gateway/web/freenode/ip.65.31.97.203 PRIVMSG #esoteric :Still confused about slide. < 1404965640 619674 :fowl!~fowl@unaffiliated/fowlmouth PRIVMSG #esoteric :really? < 1404965801 265219 :JWinslow23!411f61cb@gateway/web/freenode/ip.65.31.97.203 PRIVMSG #esoteric :In v0.3 of whitespace. < 1404965825 549944 :JWinslow23!411f61cb@gateway/web/freenode/ip.65.31.97.203 PRIVMSG #esoteric :If someone explained it to me, I didn't see it. < 1404965872 140767 :JWinslow23!411f61cb@gateway/web/freenode/ip.65.31.97.203 PRIVMSG #esoteric :Does it pop N values from underneath the top value of the stack? < 1404965898 736827 :JWinslow23!411f61cb@gateway/web/freenode/ip.65.31.97.203 PRIVMSG #esoteric :Anyone here? < 1404965946 895089 :Bike!~Glossina@67-5-202-234.ptld.qwest.net PRIVMSG #esoteric :fraid not < 1404965970 636857 :JWinslow23!411f61cb@gateway/web/freenode/ip.65.31.97.203 PRIVMSG #esoteric :Well, can I get a quick explanation about what it does do? < 1404965987 227279 :Bike!~Glossina@67-5-202-234.ptld.qwest.net PRIVMSG #esoteric :from whom? nobodys' here < 1404965998 385522 :JWinslow23!411f61cb@gateway/web/freenode/ip.65.31.97.203 PRIVMSG #esoteric :...you? :p < 1404966047 571361 :JWinslow23!411f61cb@gateway/web/freenode/ip.65.31.97.203 PRIVMSG #esoteric :I would like some sort of explanation of the function Space Tab LF (number) in Whitespace. < 1404966097 815926 :JWinslow23!411f61cb@gateway/web/freenode/ip.65.31.97.203 PRIVMSG #esoteric :The spec says "Slide N items off the stack, keeping the top value". That seems a bit vague to me. < 1404966458 944225 :fowl!~fowl@unaffiliated/fowlmouth PRIVMSG #esoteric :ultraviolet “SmartWater” < 1404966463 109389 :fowl!~fowl@unaffiliated/fowlmouth PRIVMSG #esoteric :er.. The idea is that local variables are referred to using [Space][Tab][Space], then on return, you can push the return value onto the top of the stack and use [Space][Tab][LF] to discard the local variables. < 1404966546 326306 :aloril_!~aloril@dsl-tkubrasgw2-54f80b-12.dhcp.inet.fi QUIT :Ping timeout: 255 seconds < 1404966561 386612 :fowl!~fowl@unaffiliated/fowlmouth PRIVMSG #esoteric :thats a quote from the tutorial < 1404966566 257296 :JWinslow23!411f61cb@gateway/web/freenode/ip.65.31.97.203 PRIVMSG #esoteric :Uh...I said "that seems a bit vague to me". < 1404966572 286239 :fowl!~fowl@unaffiliated/fowlmouth PRIVMSG #esoteric :i'll leave my paypal information so you can send me some money < 1404966582 488110 :JWinslow23!411f61cb@gateway/web/freenode/ip.65.31.97.203 PRIVMSG #esoteric :You don't think I read the tutorial? :p < 1404966985 825154 :ais523!~ais523@unaffiliated/ais523 JOIN :#esoteric < 1404967350 913100 :aloril_!~aloril@dsl-tkubrasgw2-54f80b-12.dhcp.inet.fi JOIN :#esoteric < 1404967828 654988 :Sorella!~queen@oftn/member/Sorella QUIT :Quit: sleeps < 1404968485 585944 :JWinslow23!411f61cb@gateway/web/freenode/ip.65.31.97.203 QUIT :Ping timeout: 246 seconds < 1404968568 69676 :^v!~notnot^v@c-71-238-153-166.hsd1.mi.comcast.net NICK :^0 < 1404969341 319983 :ais523!~ais523@unaffiliated/ais523 QUIT : < 1404971494 187011 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :(from #idris ) < 1404971497 504909 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :( the (Type, Type) (the (Type, Type) (the Type Int, the Type (Int, Int))) < 1404971498 57319 :idris-bot!~ircslave@dslb-088-078-156-068.pools.arcor-ip.net PRIVMSG #esoteric :04(12Int04, 12Int04, 12Int04) : 12(12Type12, 12Type12) < 1404971726 188368 :ais523_!93bcc175@gateway/web/freenode/ip.147.188.193.117 PRIVMSG #esoteric :are (Int, (Int, Int)) and (Int, Int, Int) distinct in Idris? < 1404971732 915295 :ais523_!93bcc175@gateway/web/freenode/ip.147.188.193.117 PRIVMSG #esoteric :if not, that'd explain that line pretty effectively < 1404971770 406676 :Bike!~Glossina@67-5-202-234.ptld.qwest.net PRIVMSG #esoteric :( the (Type, Type) (the Type Int, the Type (Int, Int)) < 1404971770 570185 :idris-bot!~ircslave@dslb-088-078-156-068.pools.arcor-ip.net PRIVMSG #esoteric :04(12Int04, 12Int04, 12Int04) : 12(12Type12, 12Type12) < 1404971783 581452 :Bike!~Glossina@67-5-202-234.ptld.qwest.net PRIVMSG #esoteric :look at me everybody, i'm a hacker! < 1404971786 735344 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :I'm not sure if they're distinct, but (Int, (Int, Int)) prints as (Int, Int, Int) < 1404971824 849568 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :> (1, (2, 3)) == (1, 2, 3) < 1404971826 547176 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : Couldn't match expected type ‘(t0, (t1, t2))’ < 1404971826 710426 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : with actual type ‘(t3, t4, t5)’ < 1404971832 442596 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :( (1, (2, 3)) == (1, 2, 3) < 1404971832 619436 :idris-bot!~ircslave@dslb-088-078-156-068.pools.arcor-ip.net PRIVMSG #esoteric :04True : 12Bool < 1404971975 999597 :ais523_!93bcc175@gateway/web/freenode/ip.147.188.193.117 PRIVMSG #esoteric :in that case, I don't see anything particularly silly about that line < 1404972040 100932 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :I still think this seems a bit silly in a way, even though it makes sense: < 1404972043 498448 :Bike!~Glossina@67-5-202-234.ptld.qwest.net PRIVMSG #esoteric :well it's a bit weird that a tuple of types and a particular tuple type are interchangeable < 1404972052 467077 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :( (the Type (Int, Int), the (Type, Type) (Int, Int)) < 1404972052 629999 :idris-bot!~ircslave@dslb-088-078-156-068.pools.arcor-ip.net PRIVMSG #esoteric :04(12(12Int12, 12Int12)04, 12Int04, 12Int04) : 12(12Type12, 12Type12, 12Type12) < 1404972054 264283 :Bike!~Glossina@67-5-202-234.ptld.qwest.net PRIVMSG #esoteric :to me, anyway < 1404972137 889311 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :( the (the Type (Int, Int) = the (Type, Type) (Int, Int)) refl < 1404972138 52053 :idris-bot!~ircslave@dslb-088-078-156-068.pools.arcor-ip.net PRIVMSG #esoteric :(input):1:5:When elaborating argument 13x to function 09Prelude.Basics.the: < 1404972138 52194 :idris-bot!~ircslave@dslb-088-078-156-068.pools.arcor-ip.net PRIVMSG #esoteric : Can't unify < 1404972138 215008 :idris-bot!~ircslave@dslb-088-078-156-068.pools.arcor-ip.net PRIVMSG #esoteric : 13x 12= 13x < 1404972138 215152 :idris-bot!~ircslave@dslb-088-078-156-068.pools.arcor-ip.net PRIVMSG #esoteric : with < 1404972138 215239 :idris-bot!~ircslave@dslb-088-078-156-068.pools.arcor-ip.net PRIVMSG #esoteric : 09the 12Type 12(12Int12, 12Int12) 12= 09the 12(12Type12, 12Type12) 04(12Int04, 12Int04)14↵… < 1404972154 121835 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :( the (the (Type, Type) (Int, Int) = the (Type, Type) (Int, Int)) refl < 1404972154 285604 :idris-bot!~ircslave@dslb-088-078-156-068.pools.arcor-ip.net PRIVMSG #esoteric :04refl : 04(12Int04, 12Int04) 12= 04(12Int04, 12Int04) < 1404972157 365021 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :Not interchangable < 1404972175 467003 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :Two distinct values of distinct types, written the same way < 1404972189 507021 :Bike!~Glossina@67-5-202-234.ptld.qwest.net PRIVMSG #esoteric :ok, i guess the syntactic ambiguity is all then. < 1404972209 686708 :Bike!~Glossina@67-5-202-234.ptld.qwest.net PRIVMSG #esoteric :( (Int, Int) < 1404972209 849420 :idris-bot!~ircslave@dslb-088-078-156-068.pools.arcor-ip.net PRIVMSG #esoteric :04(12Int04, 12Int04) : 12(12Type12, 12Type12) < 1404972246 393101 :Bike!~Glossina@67-5-202-234.ptld.qwest.net PRIVMSG #esoteric :( the < 1404972246 555981 :idris-bot!~ircslave@dslb-088-078-156-068.pools.arcor-ip.net PRIVMSG #esoteric :09the : (13a : 12Type) -> 13a -> 13a < 1404972267 929416 :ais523_!93bcc175@gateway/web/freenode/ip.147.188.193.117 PRIVMSG #esoteric :( the (((Int, Int), Int) = (Int, (Int, Int))) refl < 1404972268 130438 :idris-bot!~ircslave@dslb-088-078-156-068.pools.arcor-ip.net PRIVMSG #esoteric :(input):1:5:When elaborating argument 13x to function 09Prelude.Basics.the: < 1404972268 130608 :idris-bot!~ircslave@dslb-088-078-156-068.pools.arcor-ip.net PRIVMSG #esoteric : Can't unify < 1404972268 130698 :idris-bot!~ircslave@dslb-088-078-156-068.pools.arcor-ip.net PRIVMSG #esoteric : 13x 12= 13x < 1404972268 130792 :idris-bot!~ircslave@dslb-088-078-156-068.pools.arcor-ip.net PRIVMSG #esoteric : with < 1404972268 130913 :idris-bot!~ircslave@dslb-088-078-156-068.pools.arcor-ip.net PRIVMSG #esoteric : 04(04(12Int04, 12Int04)04, 12Int04) 12= 04(12Int04, 12Int04, 12Int04)14↵… < 1404972273 166206 :ais523_!93bcc175@gateway/web/freenode/ip.147.188.193.117 PRIVMSG #esoteric :ooh < 1404972279 505460 :Bike!~Glossina@67-5-202-234.ptld.qwest.net PRIVMSG #esoteric :well yeah, that's just a cons issue < 1404972282 325108 :ais523_!93bcc175@gateway/web/freenode/ip.147.188.193.117 PRIVMSG #esoteric :looks like , is right-associative < 1404972285 868770 :Bike!~Glossina@67-5-202-234.ptld.qwest.net PRIVMSG #esoteric :right < 1404972286 32723 :ais523_!93bcc175@gateway/web/freenode/ip.147.188.193.117 PRIVMSG #esoteric :rather than associative < 1404972301 704870 :Bike!~Glossina@67-5-202-234.ptld.qwest.net PRIVMSG #esoteric :( the ((4,4,4) = (4,(4,4))) refl < 1404972301 882604 :idris-bot!~ircslave@dslb-088-078-156-068.pools.arcor-ip.net PRIVMSG #esoteric :04refl : 04(04404, 04404, 04404) 12= 04(04404, 04404, 04404) < 1404972306 297890 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Does (Int,Int,Int) secretly mean something like (Int,(Int,(Int,Nil)))? < 1404972313 432469 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :That's how I'd want it to work. < 1404972324 268947 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :shachaf: I suspect not < 1404972329 878556 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :#scow < 1404972331 309582 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric : Sgeo: n-tuples are syntactic sugar for right-nested pairs < 1404972345 199590 :ais523_!93bcc175@gateway/web/freenode/ip.147.188.193.117 PRIVMSG #esoteric :shachaf: there doesn't seem to be a separate Tuple type, just Type < 1404972359 269668 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :HVects exist < 1404972368 369322 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :ais523_: ? < 1404972372 471996 :Bike!~Glossina@67-5-202-234.ptld.qwest.net PRIVMSG #esoteric :wouldn't "Tuple" be some kind of supertype < 1404972376 426573 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I was thinking of something HList-style. < 1404972379 942768 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Maybe that's what HVect is. < 1404972380 552455 :Bike!~Glossina@67-5-202-234.ptld.qwest.net PRIVMSG #esoteric :and nobody likes those, eh < 1404972402 80129 :ais523_!93bcc175@gateway/web/freenode/ip.147.188.193.117 PRIVMSG #esoteric :shachaf: well you want something that makes a distinction between a list and a list element < 1404972409 196899 :ais523_!93bcc175@gateway/web/freenode/ip.147.188.193.117 PRIVMSG #esoteric :in order for the ,Nil to be meaningful < 1404972420 702502 :ais523_!93bcc175@gateway/web/freenode/ip.147.188.193.117 PRIVMSG #esoteric :( (,) < 1404972421 247559 :idris-bot!~ircslave@dslb-088-078-156-068.pools.arcor-ip.net PRIVMSG #esoteric :(input):1:2: error: no implicit < 1404972421 247721 :idris-bot!~ircslave@dslb-088-078-156-068.pools.arcor-ip.net PRIVMSG #esoteric : arguments allowed < 1404972421 247814 :idris-bot!~ircslave@dslb-088-078-156-068.pools.arcor-ip.net PRIVMSG #esoteric : here, expected: ")", < 1404972421 247905 :idris-bot!~ircslave@dslb-088-078-156-068.pools.arcor-ip.net PRIVMSG #esoteric : dependent type signature, < 1404972421 247997 :idris-bot!~ircslave@dslb-088-078-156-068.pools.arcor-ip.net PRIVMSG #esoteric : expression, name14↵… < 1404972432 921178 :ais523_!93bcc175@gateway/web/freenode/ip.147.188.193.117 PRIVMSG #esoteric :( \ x y -> (x, y) < 1404972433 88116 :idris-bot!~ircslave@dslb-088-078-156-068.pools.arcor-ip.net PRIVMSG #esoteric :(input):1:5: error: expected: ",", < 1404972433 88272 :idris-bot!~ircslave@dslb-088-078-156-068.pools.arcor-ip.net PRIVMSG #esoteric : ":", "=>" < 1404972433 88365 :idris-bot!~ircslave@dslb-088-078-156-068.pools.arcor-ip.net PRIVMSG #esoteric :\ x y -> (x, y) < 1404972433 88544 :idris-bot!~ircslave@dslb-088-078-156-068.pools.arcor-ip.net PRIVMSG #esoteric : ^ < 1404972445 911404 :ais523_!93bcc175@gateway/web/freenode/ip.147.188.193.117 PRIVMSG #esoteric :( \ x y => (x, y) < 1404972446 79603 :idris-bot!~ircslave@dslb-088-078-156-068.pools.arcor-ip.net PRIVMSG #esoteric :(input):1:5: error: expected: ",", < 1404972446 79871 :idris-bot!~ircslave@dslb-088-078-156-068.pools.arcor-ip.net PRIVMSG #esoteric : ":", "=>" < 1404972446 79963 :idris-bot!~ircslave@dslb-088-078-156-068.pools.arcor-ip.net PRIVMSG #esoteric :\ x y => (x, y) < 1404972446 80057 :idris-bot!~ircslave@dslb-088-078-156-068.pools.arcor-ip.net PRIVMSG #esoteric : ^ < 1404972450 729949 :ais523_!93bcc175@gateway/web/freenode/ip.147.188.193.117 PRIVMSG #esoteric :( \ x => \ y => (x, y) < 1404972450 896392 :idris-bot!~ircslave@dslb-088-078-156-068.pools.arcor-ip.net PRIVMSG #esoteric :(input):0:0:No such variable A < 1404972454 490767 :ais523_!93bcc175@gateway/web/freenode/ip.147.188.193.117 PRIVMSG #esoteric :hmm < 1404972459 232435 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :( the (HVect _) [5, "Hello"] < 1404972459 395786 :idris-bot!~ircslave@dslb-088-078-156-068.pools.arcor-ip.net PRIVMSG #esoteric :04[04504, 04"Hello"04] : 12HVect 04[12Integer04, 12String04] < 1404972481 340420 :ais523_!93bcc175@gateway/web/freenode/ip.147.188.193.117 PRIVMSG #esoteric :( \ x => x < 1404972481 503424 :idris-bot!~ircslave@dslb-088-078-156-068.pools.arcor-ip.net PRIVMSG #esoteric :(input):0:0:Incomplete term \13x => 13x < 1404972482 166030 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Why are tuples something other than HVect? < 1404972507 776530 :ais523_!93bcc175@gateway/web/freenode/ip.147.188.193.117 PRIVMSG #esoteric :because , is symmetrical and :: isn't, I guess < 1404972541 813913 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Why should , be symmetrical? < 1404972561 973726 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Or maybe I don't understand what you mean. < 1404972630 450813 :ais523_!93bcc175@gateway/web/freenode/ip.147.188.193.117 PRIVMSG #esoteric :well, I mean it has a type of shape 'a -> 'a -> 'a < 1404972637 266897 :ais523_!93bcc175@gateway/web/freenode/ip.147.188.193.117 PRIVMSG #esoteric :rather than 'a -> 'b -> 'b < 1404972649 861640 :ais523_!93bcc175@gateway/web/freenode/ip.147.188.193.117 PRIVMSG #esoteric :err, 'a -> 'a list -> 'a list < 1404972688 469040 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Well, (a,b) can be sugar for (a::(b::Nil)), or something. < 1404972722 351049 :ais523_!93bcc175@gateway/web/freenode/ip.147.188.193.117 PRIVMSG #esoteric :shachaf: what about ((a, b), c)? < 1404972745 573326 :ais523_!93bcc175@gateway/web/freenode/ip.147.188.193.117 PRIVMSG #esoteric :many people would say that it's incorrect for that to work differently from (a, (b, c)), as in the type's anything other than reassociated < 1404972751 845225 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :That can mean ((a::b::Nil)::c::Nil) < 1404972755 972851 :ais523_!93bcc175@gateway/web/freenode/ip.147.188.193.117 PRIVMSG #esoteric :( the (HVect _) [1, [2, 3]] < 1404972756 238101 :idris-bot!~ircslave@dslb-088-078-156-068.pools.arcor-ip.net PRIVMSG #esoteric :When elaborating an application of constructor 04Data.HVect.::: < 1404972756 401384 :idris-bot!~ircslave@dslb-088-078-156-068.pools.arcor-ip.net PRIVMSG #esoteric : Can't disambiguate name: 04Effects.Env.::, 04Data.HVect.::, 04Prelude.List.::, 04Data.Vect.Quantifiers.::, 04Prelude.Stream.::, 04Prelude.Vect.:: < 1404972757 431779 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Oh. < 1404972766 904526 :ais523_!93bcc175@gateway/web/freenode/ip.147.188.193.117 PRIVMSG #esoteric :( the (HVect _) [1, [2, "three"]] < 1404972767 154178 :idris-bot!~ircslave@dslb-088-078-156-068.pools.arcor-ip.net PRIVMSG #esoteric :When elaborating an application of constructor 04Data.HVect.::: < 1404972767 317207 :idris-bot!~ircslave@dslb-088-078-156-068.pools.arcor-ip.net PRIVMSG #esoteric : Can't disambiguate name: 04Effects.Env.::, 04Data.HVect.::, 04Prelude.List.::, 04Data.Vect.Quantifiers.::, 04Prelude.Stream.::, 04Prelude.Vect.:: < 1404972775 671288 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Well, I don't think I care about that very much. < 1404972778 607054 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :ais523_: lots of things use [] syntax < 1404972782 277201 :ais523_!93bcc175@gateway/web/freenode/ip.147.188.193.117 PRIVMSG #esoteric :( the (HVect _) [1, (the (HVect _) [2, 3])] < 1404972782 541910 :idris-bot!~ircslave@dslb-088-078-156-068.pools.arcor-ip.net PRIVMSG #esoteric :04[04104, 04[04204, 04304]04] : 12HVect 04[12Integer04, (12HVect 04[12Integer04, 12Integer04])04] < 1404972790 527050 :ais523_!93bcc175@gateway/web/freenode/ip.147.188.193.117 PRIVMSG #esoteric :Sgeo: yeah, just realized that that was the problem < 1404972791 986255 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I don't like three-tuples being a special-case type completely unrelated to other tuples. < 1404972797 404202 :ais523_!93bcc175@gateway/web/freenode/ip.147.188.193.117 PRIVMSG #esoteric :( the (HVect _) [1, 2, 3] < 1404972797 567166 :idris-bot!~ircslave@dslb-088-078-156-068.pools.arcor-ip.net PRIVMSG #esoteric :04[04104, 04204, 04304] : 12HVect 04[12Integer04, 12Integer04, 12Integer04] < 1404972812 543455 :ais523_!93bcc175@gateway/web/freenode/ip.147.188.193.117 PRIVMSG #esoteric :( the (HVect _) [(the (HVect _) [1, 2]), 3] < 1404972812 906878 :idris-bot!~ircslave@dslb-088-078-156-068.pools.arcor-ip.net PRIVMSG #esoteric :04[04[04104, 04204]04, 04304] : 12HVect 04[(12HVect 04[12Integer04, 12Integer04])04, 12Integer04] < 1404972821 958892 :ais523_!93bcc175@gateway/web/freenode/ip.147.188.193.117 PRIVMSG #esoteric :all those terms are different with HVects < 1404972828 342802 :ais523_!93bcc175@gateway/web/freenode/ip.147.188.193.117 PRIVMSG #esoteric :and necessarily have to be < 1404972834 950500 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Sure. < 1404972848 575336 :ais523_!93bcc175@gateway/web/freenode/ip.147.188.193.117 PRIVMSG #esoteric :sometimes it makes sense to have a "self-flattening" list type < 1404972858 267254 :ais523_!93bcc175@gateway/web/freenode/ip.147.188.193.117 PRIVMSG #esoteric :like Mathematica does, and like Perl effectively does < 1404972873 916343 :ais523_!93bcc175@gateway/web/freenode/ip.147.188.193.117 PRIVMSG #esoteric :and tuples are a bit like that < 1404972882 695744 :ais523_!93bcc175@gateway/web/freenode/ip.147.188.193.117 PRIVMSG #esoteric :but I'm tired and thus incoherent and thus am probably not explaining this well < 1404972884 147777 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :OK, so we were talking about different things. < 1404972891 357760 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :That makes sense but seems much more complicated. < 1404972934 628315 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :In Haskell, one of the advantages of (a,b,c,d) being a flat data type rather than meaning something like (a,(b,(c,(d,())))) is that you only have to dereference one pointer rather than n. < 1404973006 325527 :ais523_!93bcc175@gateway/web/freenode/ip.147.188.193.117 PRIVMSG #esoteric :oh right, you're complaining about the associativity rules, that's reasonable < 1404973039 301218 :ais523_!93bcc175@gateway/web/freenode/ip.147.188.193.117 PRIVMSG #esoteric :fwiw, in Verity, tuples are implemented associatively in terms of pairs, but that's mostly for ease of implementation < 1404973060 541621 :ais523_!93bcc175@gateway/web/freenode/ip.147.188.193.117 PRIVMSG #esoteric :(also, the underlying theory only has pairs, not n-tuples, but all the constructions generalize in an obvious manner) < 1404973897 94308 :MoALTz!~no@user-46-113-83-45.play-internet.pl QUIT :Quit: Leaving < 1404974648 127073 :lollo64it!~lorenzo@93.58.3.33 JOIN :#esoteric < 1404974708 751907 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Pyth14]]4 10 02http://esolangs.org/w/index.php?diff=40117&oldid=40011 5* 0324.16.68.13 5* (+3340) 10Added documentation. < 1404977030 113280 :MindlessDrone!~MindlessD@unaffiliated/mindlessdrone JOIN :#esoteric < 1404978278 381313 :lollo64it!~lorenzo@93.58.3.33 QUIT :Ping timeout: 240 seconds < 1404978951 673042 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07User:Rdebath14]]4 10 02http://esolangs.org/w/index.php?diff=40118&oldid=40100 5* 03Rdebath 5* (-26) 10/* Performance Matrix */ < 1404979238 149412 :oerjan!oerjan@sprocket.nvg.ntnu.no JOIN :#esoteric < 1404979796 291643 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric : Can anyone point me to a good golf language on the wiki? <-- there's also burlesque although it's page doesn't actually mention golfing. in fact i think the "less feature bloated" has expired a long time ago. < 1404979841 756803 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :hm or maybe not. stlang _is_ large. < 1404979892 359127 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :and also a golfing language, it seems. < 1404979966 690618 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i think my apartment's approximation of ac is not quite temperature stable. < 1404980140 938015 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :or maybe it < 1404980145 859298 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :'s the humidity < 1404980425 384790 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :oerjan: stlang is severely underdocumented < 1404980434 797527 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :ah < 1404980441 338178 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :but since if lost the interpreter source there's not much I can do about that < 1404980447 67060 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :s/if/I < 1404980489 873690 :Bike_!~Glossina@174-25-34-139.ptld.qwest.net JOIN :#esoteric < 1404980544 348566 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Burlesque14]]4 10 02http://esolangs.org/w/index.php?diff=40119&oldid=37096 5* 0392.105.82.69 5* (+69) 10 < 1404980570 923042 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :*its < 1404980623 945466 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric : and they get funnier on average over time <-- wait in which direction < 1404980656 218358 :Bike!~Glossina@67-5-202-234.ptld.qwest.net QUIT :Ping timeout: 240 seconds < 1404980680 511031 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :stlang was probably more or less burlesque with Functions, Classes and Pattern Matching < 1404980713 553301 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :and every bulti-in had a canonical-name and short names depending on context < 1404980730 861226 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :right < 1404981329 480643 :Patashu!~Patashu@c27-253-115-204.carlnfd2.nsw.optusnet.com.au JOIN :#esoteric < 1404981469 251573 :Patashu_!~Patashu@c27-253-115-204.carlnfd2.nsw.optusnet.com.au JOIN :#esoteric < 1404981469 414720 :Patashu!~Patashu@c27-253-115-204.carlnfd2.nsw.optusnet.com.au QUIT :Disconnected by services < 1404981664 81369 :ais523_!93bcc175@gateway/web/freenode/ip.147.188.193.117 QUIT :Quit: Page closed < 1404981987 460191 :Melvar!~melvar@dslb-088-078-156-068.pools.arcor-ip.net PRIVMSG #esoteric :( with HVect [1, [2, "three"]] < 1404981988 210232 :idris-bot!~ircslave@dslb-088-078-156-068.pools.arcor-ip.net PRIVMSG #esoteric :04[04104, 04[04204, 04"three"04]04] : 12HVect 04[12Integer04, (12HVect 04[12Integer04, 12String04])04] > 1404982974 429267 JOIN :#esoteric > 1404982978 551933 JOIN :#esoteric > 1404982979 68108 JOIN :#esoteric > 1404983006 409497 JOIN :#esoteric < 1404983007 231066 :glogbot!dlopen@libdl.so JOIN :#esoteric > 1404983010 529133 JOIN :#esoteric > 1404983011 44599 JOIN :#esoteric < 1404983024 633718 :HackEgo!~HackEgo@162.248.166.242 QUIT :Remote host closed the connection < 1404983035 180217 :HackEgo!~HackEgo@162.248.166.242 JOIN :#esoteric < 1404983103 648488 :Burton!Burton@gateway/shell/bouncerstation/x-fvqnwbshixzfbide QUIT :Ping timeout: 252 seconds < 1404983283 886438 :HackEgo!~HackEgo@162.248.166.242 QUIT :Ping timeout: 240 seconds < 1404983420 340617 :HackEgo!~HackEgo@162.248.166.242 JOIN :#esoteric < 1404983718 448249 :AnotherTest!~turingcom@193.190.253.145 JOIN :#esoteric < 1404984162 837115 :idris-bot!~ircslave@dslb-088-078-156-068.pools.arcor-ip.net QUIT :Quit: Terminated < 1404984177 529343 :idris-bot!~ircslave@dslb-088-078-156-068.pools.arcor-ip.net JOIN :#esoteric < 1404986208 505329 :nooodl!~nooodl@47.122-242-81.adsl-dyn.isp.belgacom.be JOIN :#esoteric < 1404986570 508062 :Tritonio!~Thunderbi@212.251.54.186 JOIN :#esoteric < 1404986688 544180 :impomatic_!~digital_w@76.70.208.46.dyn.plus.net QUIT :Ping timeout: 255 seconds < 1404986742 380181 :Tritonio!~Thunderbi@212.251.54.186 QUIT :Client Quit < 1404986812 522233 :MindlessDrone!~MindlessD@unaffiliated/mindlessdrone QUIT :Quit: MindlessDrone < 1404987226 194393 :Slereah_!~jackal@176.222.51.233 QUIT :Read error: Connection reset by peer < 1404987245 966373 :Slereah_!~jackal@176.222.51.233 JOIN :#esoteric < 1404987322 267988 :boily!~boily@96.127.201.149 JOIN :#esoteric < 1404989748 11462 :MindlessDrone!~MindlessD@unaffiliated/mindlessdrone JOIN :#esoteric < 1404989804 87236 :TieSoul!~TieSoul@78.136.95.156 JOIN :#esoteric < 1404990337 491702 :nooodl!~nooodl@47.122-242-81.adsl-dyn.isp.belgacom.be QUIT :Ping timeout: 245 seconds < 1404990582 416211 :boily!~boily@96.127.201.149 QUIT :Quit: PARACYNETIC CHICKEN < 1404991267 730943 :tromp_!~tromp@ool-4570a006.dyn.optonline.net QUIT :Read error: Connection reset by peer < 1404991316 828274 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover JOIN :#esoteric < 1404991348 237022 :tromp!~tromp@ool-4570a006.dyn.optonline.net JOIN :#esoteric < 1404991424 794730 :FreeFull!~freefull@defocus/sausage-lover QUIT :Ping timeout: 252 seconds < 1404991484 119048 :tromp!~tromp@ool-4570a006.dyn.optonline.net QUIT :Read error: Connection reset by peer < 1404992145 550341 :oerjan!oerjan@sprocket.nvg.ntnu.no QUIT :Quit: leaving < 1404992212 304612 :tromp!~tromp@69.112.160.6 JOIN :#esoteric < 1404992467 543729 :yorick!~yorick@oftn/member/yorick JOIN :#esoteric < 1404992707 719112 :Koen_!~Koen@vbo91-6-78-245-243-132.fbx.proxad.net JOIN :#esoteric < 1404992816 199780 :Koen_!~Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :hello happy hesolangers < 1404993023 52171 :TieSoul!~TieSoul@78.136.95.156 QUIT :Ping timeout: 264 seconds < 1404993536 325398 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :`relcome < 1404993537 417090 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :​09Welcome 02to 06the 13international 04hub 07for 08esoteric 09programming 02language 06design 13and 04deployment! 07For 08more 09information, 02check 06out 13our 04wiki: 07. 08(For 09the 02other 06kind 13of 04esoterica, 07try 08#esoteric 09on 02irc.dal.net.) < 1404993599 639240 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :I like how this university shuts down all IT service every thursday < 1404993613 136363 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :Checking you student e-mail account on thursday: Nope < 1404993622 142483 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :Download material on thursday: Nope < 1404993627 992666 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :Check your grades on thursday: Nope < 1404993724 173589 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net QUIT :Read error: Connection reset by peer < 1404993892 737333 :ion!ion@heh.fi PRIVMSG #esoteric :ಠ_ಠ < 1404994956 201072 :TodPunk!Tod@50-198-177-186-static.hfc.comcastbusiness.net QUIT :Ping timeout: 260 seconds < 1404995083 261666 :FreeFull!~freefull@host-92-30-46-32.as13285.net JOIN :#esoteric < 1404995086 78087 :FreeFull!~freefull@host-92-30-46-32.as13285.net QUIT :Changing host < 1404995086 258591 :FreeFull!~freefull@defocus/sausage-lover JOIN :#esoteric < 1404996073 277459 :Sorella!~queen@oftn/member/Sorella JOIN :#esoteric < 1404997919 410588 :TodPunk!~Tod@50-198-177-186-static.hfc.comcastbusiness.net JOIN :#esoteric < 1404998428 377521 :Patashu_!~Patashu@c27-253-115-204.carlnfd2.nsw.optusnet.com.au QUIT :Ping timeout: 260 seconds < 1404998726 814914 :lollo64it!~lorenzo@93-58-3-33.ip156.fastwebnet.it JOIN :#esoteric < 1404998907 129591 :tromp_!~tromp@ool-4570a006.dyn.optonline.net JOIN :#esoteric < 1404998929 980985 :MindlessDrone!~MindlessD@unaffiliated/mindlessdrone QUIT :Quit: MindlessDrone < 1404999063 213051 :tromp!~tromp@69.112.160.6 QUIT :Ping timeout: 240 seconds < 1405000023 991036 :MindlessDrone!~MindlessD@unaffiliated/mindlessdrone JOIN :#esoteric < 1405000690 363605 :impomatic_!~digital_w@76.70.208.46.dyn.plus.net JOIN :#esoteric < 1405001261 980594 :Bike_!~Glossina@174-25-34-139.ptld.qwest.net NICK :Bike < 1405005356 208386 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :Ironically "Taworvor" is the successor of burlesque but more feature bloated < 1405005367 232151 :drdanmaku!uid17782@gateway/web/irccloud.com/x-xqpinqlwhwvthunj JOIN :#esoteric < 1405005616 245938 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :but I'm not sure if I'll pull that through < 1405005623 355733 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :too much work :( < 1405006095 320753 :mhi^!~mhi@unaffiliated/mhi/x-9993184 JOIN :#esoteric < 1405006877 199863 :`^_^!~nycs@gw.hq.meetup.com NICK :`^_^v < 1405007425 438940 :edwardk!~edwardk@pdpc/supporter/professional/edwardk QUIT :Quit: Computer has gone to sleep. < 1405007599 396463 :Bicyclidine!~Glossina@69.166.35.233 JOIN :#esoteric < 1405008434 194011 :Slereah!~jackal@176.222.51.233 JOIN :#esoteric < 1405008543 889277 :Slereah_!~jackal@176.222.51.233 QUIT :Ping timeout: 240 seconds < 1405009046 784003 :^0!~notnot^v@c-71-238-153-166.hsd1.mi.comcast.net QUIT :Ping timeout: 252 seconds < 1405009060 273674 :^v!~notnot^v@c-71-238-153-166.hsd1.mi.comcast.net JOIN :#esoteric < 1405011317 995885 :edwardk!~edwardk@pdpc/supporter/professional/edwardk JOIN :#esoteric < 1405011725 238650 :AnotherTest!~turingcom@193.190.253.145 QUIT :Ping timeout: 256 seconds < 1405012513 190043 :^v!~notnot^v@c-71-238-153-166.hsd1.mi.comcast.net QUIT :Remote host closed the connection < 1405013023 729398 :^v!~notnot^v@c-71-238-153-166.hsd1.mi.comcast.net JOIN :#esoteric < 1405013263 493748 :MoALTz!~no@user-188-33-129-14.play-internet.pl JOIN :#esoteric < 1405013620 273223 :Antonio2!~canaima@186.92.155.177 JOIN :#esoteric < 1405013684 521941 :Antonio2!~canaima@186.92.155.177 PART :#esoteric < 1405015478 763016 :AnotherTest!~turingcom@d51A42986.access.telenet.be JOIN :#esoteric < 1405017244 194843 :edwardk!~edwardk@pdpc/supporter/professional/edwardk QUIT :Ping timeout: 260 seconds < 1405018088 96706 :idris-bot!~ircslave@dslb-088-078-156-068.pools.arcor-ip.net QUIT :Quit: Terminated < 1405018342 671509 :MindlessDrone!~MindlessD@unaffiliated/mindlessdrone QUIT :Quit: MindlessDrone < 1405019056 178107 :idris-bot!~ircslave@88.78.156.68 JOIN :#esoteric < 1405019126 685665 :idris-bot!~ircslave@88.78.156.68 QUIT :Client Quit < 1405019548 326994 :idris-bot!~ircslave@dslb-088-078-156-068.pools.arcor-ip.net JOIN :#esoteric < 1405020214 500557 :edwardk!~edwardk@pdpc/supporter/professional/edwardk JOIN :#esoteric < 1405020273 157522 :oerjan!oerjan@sprocket.nvg.ntnu.no JOIN :#esoteric < 1405021859 852449 :AnotherTest!~turingcom@d51A42986.access.telenet.be QUIT :Ping timeout: 272 seconds < 1405023888 387868 :idris-bot!~ircslave@dslb-088-078-156-068.pools.arcor-ip.net QUIT :Quit: Terminated < 1405023913 12309 :Melvar!~melvar@dslb-088-078-156-068.pools.arcor-ip.net QUIT :Quit: WeeChat 0.4.3 < 1405024543 311986 :mhi^!~mhi@unaffiliated/mhi/x-9993184 QUIT :Quit: Lost terminal < 1405024846 57492 :Melvar!~melvar@dslb-088-078-156-068.pools.arcor-ip.net JOIN :#esoteric < 1405024926 197140 :mhi^!~mhi@unaffiliated/mhi/x-9993184 JOIN :#esoteric < 1405025173 947379 :idris-bot!~ircslave@dslb-088-078-156-068.pools.arcor-ip.net JOIN :#esoteric < 1405025827 163325 :Patashu!~Patashu@c27-253-115-204.carlnfd2.nsw.optusnet.com.au JOIN :#esoteric < 1405025929 910189 :Patashu!~Patashu@c27-253-115-204.carlnfd2.nsw.optusnet.com.au QUIT :Disconnected by services < 1405025930 90510 :Patashu_!~Patashu@c27-253-115-204.carlnfd2.nsw.optusnet.com.au JOIN :#esoteric < 1405026113 451162 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Meander/Implementation14]]4 N10 02http://esolangs.org/w/index.php?oldid=40120 5* 03Rdebath 5* (+5928) 10Implementation in C < 1405026261 898011 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Meander14]]4 10 02http://esolangs.org/w/index.php?diff=40121&oldid=39037 5* 03Rdebath 5* (+36) 10Add implementation link < 1405026445 872613 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Meander/Implementation14]]4 10 02http://esolangs.org/w/index.php?diff=40122&oldid=40120 5* 03Rdebath 5* (+236) 10More verbal < 1405027413 916317 :Patashu_!~Patashu@c27-253-115-204.carlnfd2.nsw.optusnet.com.au QUIT :Ping timeout: 240 seconds < 1405028063 741280 :not^v!~notnot^v@198.109.114.66 JOIN :#esoteric < 1405028721 402679 :oerjan!oerjan@sprocket.nvg.ntnu.no QUIT :Quit: leaving < 1405028918 775061 :zzo38!~zzo38@24-207-51-179.eastlink.ca JOIN :#esoteric < 1405029385 509312 :Koen_!~Koen@vbo91-6-78-245-243-132.fbx.proxad.net QUIT :Quit: The struct held his beloved integer in his strong, protecting arms, his eyes like sapphire orbs staring into her own. "W-will you... Will you union me?" < 1405029915 330391 :edwardk!~edwardk@pdpc/supporter/professional/edwardk QUIT :Ping timeout: 255 seconds < 1405030133 428730 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :Can you prove coppro's conjecture about Ligature Machine? < 1405030383 584380 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :Why is this internet going so slow? < 1405030404 291753 :Bicyclidine!~Glossina@69.166.35.233 PRIVMSG #esoteric :probably a gremlin's interfering with the ethernet < 1405030455 996086 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :Do you like "The Aberration Hater Card Game"? < 1405030466 751429 :Bicyclidine!~Glossina@69.166.35.233 PRIVMSG #esoteric :yeah < 1405030529 560311 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :Someone told me of another card game where roles switch, although per turn rather than per game; in my game, roles rotate per game instead (although for an informal game you can just never rotate roles if you like, just as you can also choose not to draft for an informal game if you like) < 1405031399 266843 :lollo64it!~lorenzo@93-58-3-33.ip156.fastwebnet.it QUIT :Ping timeout: 264 seconds < 1405031483 506412 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Ligature Machine14]]4 10 02http://esolangs.org/w/index.php?diff=40123&oldid=40111 5* 03Zzo38 5* (+615) 10Variations < 1405031576 418976 :zzo38!~zzo38@24-207-51-179.eastlink.ca QUIT :*.net *.split < 1405031576 599390 :not^v!~notnot^v@198.109.114.66 QUIT :*.net *.split < 1405031576 779780 :^v!~notnot^v@c-71-238-153-166.hsd1.mi.comcast.net QUIT :*.net *.split < 1405031577 436337 :ski_!~ski@remote1.student.chalmers.se QUIT :*.net *.split < 1405031577 910918 :fowl!~fowl@unaffiliated/fowlmouth QUIT :*.net *.split < 1405031578 91293 :b_jonas!~x@russell2.math.bme.hu QUIT :*.net *.split < 1405031578 91433 :lifthrasiir!~lifthrasi@115.68.131.49 QUIT :*.net *.split < 1405031579 609809 :fungot!fis@eos.zem.fi QUIT :*.net *.split < 1405031579 610039 :Deewiant!~deewiant@deewiant.iki.fi QUIT :*.net *.split < 1405031579 610170 :SirCmpwn!~SirCmpwn@irc.sircmpwn.com QUIT :*.net *.split < 1405031579 610361 :nisstyre!yourstruly@oftn/member/Nisstyre QUIT :*.net *.split < 1405031579 799033 :rodgort!~rodgort@192.241.198.49 QUIT :*.net *.split < 1405031579 995879 :FireFly!~firefly@oftn/member/FireFly QUIT :*.net *.split < 1405031579 996010 :hubs!hubs@2600:3c03::f03c:91ff:fe69:46d3 QUIT :*.net *.split < 1405031580 905144 :kyhwana_!kyhwana@snowleopard.kyhwana.org QUIT :*.net *.split < 1405031581 101294 :skarn!skarn@unaffiliated/skarn QUIT :*.net *.split < 1405031581 299383 :myndzi!myndzi@2600:3c00::f03c:91ff:fedf:3d4e QUIT :*.net *.split < 1405031581 299512 :qlkzy!~qlkzy@li559-28.members.linode.com QUIT :*.net *.split < 1405031581 788067 :Zuu!~zuu@unaffiliated/zuu QUIT :*.net *.split < 1405031582 397221 :fizzie!fis@unaffiliated/fizzie QUIT :*.net *.split < 1405031602 942335 :b_jonas!~x@russell2.math.bme.hu JOIN :#esoteric < 1405031619 620279 :ski!~ski@129.16.29.79 JOIN :#esoteric < 1405031621 166638 :fowl!~fowl@unaffiliated/fowlmouth JOIN :#esoteric < 1405031694 393538 :Deewiant!~deewiant@deewiant.iki.fi JOIN :#esoteric < 1405031726 627612 :ais523_!93bcc175@gateway/web/freenode/ip.147.188.193.117 JOIN :#esoteric < 1405031763 869124 :nisstyre!yourstruly@oftn/member/Nisstyre JOIN :#esoteric < 1405031764 50093 :rodgort!~rodgort@192.241.198.49 JOIN :#esoteric < 1405031764 50246 :FireFly!~firefly@oftn/member/FireFly JOIN :#esoteric < 1405031764 50312 :hubs!hubs@2600:3c03::f03c:91ff:fe69:46d3 JOIN :#esoteric < 1405031764 50376 :kyhwana_!kyhwana@snowleopard.kyhwana.org JOIN :#esoteric < 1405031764 50440 :skarn!skarn@unaffiliated/skarn JOIN :#esoteric < 1405031764 50502 :qlkzy!~qlkzy@li559-28.members.linode.com JOIN :#esoteric < 1405031764 50565 :myndzi!myndzi@2600:3c00::f03c:91ff:fedf:3d4e JOIN :#esoteric < 1405031769 785586 :Zuu!~zuu@unaffiliated/zuu JOIN :#esoteric < 1405031769 966542 :fizzie!fis@unaffiliated/fizzie JOIN :#esoteric < 1405031859 636819 :SirCmpwn!~SirCmpwn@irc.sircmpwn.com JOIN :#esoteric < 1405031883 347902 :lambdabot!~lambdabot@silicon.int-e.eu QUIT :Write error: Connection reset by peer < 1405031918 889556 :lifthrasiir!~lifthrasi@115.68.131.49 JOIN :#esoteric < 1405032184 14282 :lambdabot!~lambdabot@silicon.int-e.eu JOIN :#esoteric < 1405032699 204421 :lollo64it!~lorenzo@93-58-3-33.ip156.fastwebnet.it JOIN :#esoteric < 1405032766 907221 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Is there a way to get a link to a file in HackEgo just served as text/plain without the surrounding HTML? < 1405032793 868189 :Lorenzo64!~lorenzo@93-58-3-33.ip156.fastwebnet.it JOIN :#esoteric < 1405032875 71469 :ais523_!93bcc175@gateway/web/freenode/ip.147.188.193.117 PRIVMSG #esoteric :there used to be, however it was via the mechanism that currently gives you HTML < 1405032935 308654 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Yes. < 1405032947 166974 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I also see a "raw" download but that's not suitable for viewing in a browser. < 1405032965 826490 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Or, rather, my browser is unsuitable for viewing it. < 1405032974 44344 :ais523_!93bcc175@gateway/web/freenode/ip.147.188.193.117 PRIVMSG #esoteric :I wonder why browsers don't have an option to override Content-disposition: < 1405032978 748033 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Browsers ought to give you an option to -- yes, that. < 1405032983 807357 :ais523_!93bcc175@gateway/web/freenode/ip.147.188.193.117 PRIVMSG #esoteric :admittedly, the disposition is sometimes set for security reasons < 1405032993 320772 :Bicyclidine!~Glossina@69.166.35.233 QUIT :Ping timeout: 255 seconds < 1405033012 170661 :ais523_!93bcc175@gateway/web/freenode/ip.147.188.193.117 PRIVMSG #esoteric :but it would be easy enough to interpret a "download" disposition as "show inline, but don't send cookies or interpret JavaScript" < 1405033025 989192 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I could see not allowing HTML, I guess. But text/plain? < 1405033036 18871 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Or that. < 1405033049 68946 :ais523_!93bcc175@gateway/web/freenode/ip.147.188.193.117 PRIVMSG #esoteric :never claim that text/plain is immune to XSS attacks < 1405033072 519424 :ais523_!93bcc175@gateway/web/freenode/ip.147.188.193.117 PRIVMSG #esoteric :it used to be one of the most common XSS vectors (because people didn't expect it to execute JavaScript), back before IE was fixed to be sane < 1405033083 644276 :ais523_!93bcc175@gateway/web/freenode/ip.147.188.193.117 PRIVMSG #esoteric :this still happened as recently as IE 9, I think < 1405033122 95593 :ais523_!93bcc175@gateway/web/freenode/ip.147.188.193.117 PRIVMSG #esoteric :as a result, many websites will refuse to serve text/plain under any circumstances; the normal workaround is to serve as text/css, which is treated as text/plain by all major browsers (and as text/plain should have been treated, by old IE) < 1405033469 198418 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :view-source:http://download/url < 1405033728 724763 :lollo64it!~lorenzo@93-58-3-33.ip156.fastwebnet.it QUIT :Remote host closed the connection < 1405033728 905158 :Lorenzo64!~lorenzo@93-58-3-33.ip156.fastwebnet.it QUIT :Remote host closed the connection < 1405033752 159704 :Lorenzo64!~lorenzo@93-58-3-33.ip156.fastwebnet.it JOIN :#esoteric < 1405033836 389544 :ais523_!93bcc175@gateway/web/freenode/ip.147.188.193.117 PRIVMSG #esoteric :elliott: wow, last time I saw that trick was back in the days before I understood that CGI was server-side and had only just found out about JavaScript < 1405033840 668289 :ais523_!93bcc175@gateway/web/freenode/ip.147.188.193.117 PRIVMSG #esoteric :(i.e. a very very long time ago) < 1405033890 683463 :newsham!~chat@udp217044uds.hawaiiantel.net PRIVMSG #esoteric :usually there's a key like control-u to get to view-source: < 1405033926 569640 :newsham!~chat@udp217044uds.hawaiiantel.net PRIVMSG #esoteric :oops, thats irrelevant in this context.. sorry, didnt see the full discussion < 1405033927 645306 :newsham!~chat@udp217044uds.hawaiiantel.net PRIVMSG #esoteric ::) < 1405033978 741798 :yorick!~yorick@oftn/member/yorick QUIT :Remote host closed the connection < 1405034044 644019 :newsham!~chat@udp217044uds.hawaiiantel.net PRIVMSG #esoteric :icfp contest starts in a few weeks < 1405034073 31053 :ais523_!93bcc175@gateway/web/freenode/ip.147.188.193.117 PRIVMSG #esoteric :ooh, I must try not to miss it this time < 1405034090 255321 :ais523_!93bcc175@gateway/web/freenode/ip.147.188.193.117 PRIVMSG #esoteric :I actually got a paper accepted to ICFP once, and have come top 50 in the contest, but never higher than that < 1405034100 508842 :ais523_!93bcc175@gateway/web/freenode/ip.147.188.193.117 PRIVMSG #esoteric :the contests vary a bunch in quality, though < 1405034108 853423 :ais523_!93bcc175@gateway/web/freenode/ip.147.188.193.117 PRIVMSG #esoteric :some of them, I've been there on time but didn't really feel like participating < 1405034110 265945 :newsham!~chat@udp217044uds.hawaiiantel.net PRIVMSG #esoteric :some have been pretty awesome.. < 1405034116 211885 :ais523_!93bcc175@gateway/web/freenode/ip.147.188.193.117 PRIVMSG #esoteric :others, I'd love to have participated in, but I missed them < 1405034130 991496 :newsham!~chat@udp217044uds.hawaiiantel.net PRIVMSG #esoteric :endo pretty awesome, umix pretty awesome.. < 1405034145 332717 :newsham!~chat@udp217044uds.hawaiiantel.net PRIVMSG #esoteric :less interested in changing orbits of satellites < 1405034194 284278 :newsham!~chat@udp217044uds.hawaiiantel.net PRIVMSG #esoteric :making bots navigate a maze not as interesting to me either < 1405034408 208393 :ais523_!93bcc175@gateway/web/freenode/ip.147.188.193.117 PRIVMSG #esoteric :the bots in the maze one was the one I participated in < 1405034414 907875 :ais523_!93bcc175@gateway/web/freenode/ip.147.188.193.117 PRIVMSG #esoteric :actually, the maze solving wasn't the main issue < 1405034423 107694 :ais523_!93bcc175@gateway/web/freenode/ip.147.188.193.117 PRIVMSG #esoteric :lack of collision given limited data was the issue < 1405034445 201137 :ais523_!93bcc175@gateway/web/freenode/ip.147.188.193.117 PRIVMSG #esoteric :just aiming directly for the goal was difficult under the assumptions given < 1405034624 273452 :edwardk!~edwardk@pdpc/supporter/professional/edwardk JOIN :#esoteric < 1405034935 403872 :newsham!~chat@udp217044uds.hawaiiantel.net PRIVMSG #esoteric :i wonder if you can make money by buying homes where someone recently died, at a "scare" discount, and later flip it < 1405034952 471996 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :nah < 1405034962 563468 :newsham!~chat@udp217044uds.hawaiiantel.net PRIVMSG #esoteric :too many rational competitors? < 1405034963 600750 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :there's no such thing as a scare discount < 1405034977 917700 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :you're better off with a bankruptcy/tax sale < 1405035035 36290 :edwardk!~edwardk@pdpc/supporter/professional/edwardk QUIT :Ping timeout: 264 seconds < 1405035256 935695 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover PRIVMSG #esoteric :newsham, if some random person died of natural causes why would it affect the price < 1405035262 480366 :edwardk!~edwardk@pdpc/supporter/professional/edwardk JOIN :#esoteric < 1405035276 747492 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover PRIVMSG #esoteric :if they died in some sensational and gruesome way, that'd probably make the price go up < 1405035312 862588 :newsham!~chat@udp217044uds.hawaiiantel.net PRIVMSG #esoteric :up? < 1405035324 829635 :newsham!~chat@udp217044uds.hawaiiantel.net PRIVMSG #esoteric :"why would it affect the price?" <- ghosts! < 1405035326 14395 :newsham!~chat@udp217044uds.hawaiiantel.net PRIVMSG #esoteric :duh! < 1405035466 130174 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :well < 1405035475 379658 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :if they died because a tree came through the roof < 1405035499 51910 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :or anaphylactic shock from an overabundance of mold spores < 1405035505 968348 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :probably not gonna drive up the price < 1405035549 368782 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net JOIN :#esoteric < 1405035641 88031 :vifino!~vifino@ip-37-24-78-77.unitymediagroup.de QUIT :Quit: Ze Cat now leaves... < 1405035998 349681 :FreeFull!~freefull@defocus/sausage-lover QUIT :Ping timeout: 240 seconds < 1405036392 836851 :^v!~notnot^v@2601:4:4500:e15:999b:afec:1e8a:ba2d JOIN :#esoteric < 1405036412 527548 :MoALTz!~no@user-188-33-129-14.play-internet.pl QUIT :Ping timeout: 245 seconds < 1405036417 340092 :boily!~boily@96.127.201.149 JOIN :#esoteric < 1405036591 291742 :metasepia!~metasepia@96.127.201.149 JOIN :#esoteric < 1405036783 155435 :edwardk!~edwardk@pdpc/supporter/professional/edwardk QUIT :Ping timeout: 256 seconds