< 1312588804 51332 :Anvilgames!~snowyowl0@cpc1-enfi10-0-0-cust855.hari.cable.virginmedia.com PRIVMSG #esoteric :call your company ' OR ''=' < 1312588819 249180 :nooga!~nooga@maverick.aircity.pl PRIVMSG #esoteric :Phantom_Hoover: really stupid, interactive webapp < 1312588826 985519 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :...no one would bat an eyelid if they found that word in old norse < 1312588832 533574 :nooga!~nooga@maverick.aircity.pl PRIVMSG #esoteric :Y combinator is taken < 1312588843 828711 :Vorpal!~AnMaster@unaffiliated/anmaster PRIVMSG #esoteric : Ã¥nkh mørpørk <-- lol < 1312588849 401640 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :nooga, Z combinator. < 1312588880 105538 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :nooga, alternately, omega combinator. < 1312588916 376348 :Vorpal!~AnMaster@unaffiliated/anmaster PRIVMSG #esoteric :Phantom_Hoover, why remove and readd that quote above? < 1312588918 217699 :nooga!~nooga@maverick.aircity.pl PRIVMSG #esoteric :oerjan: btw. did You know that my grandfather was norwegian and probably my surname is from kaspersen or something like that? :D < 1312588930 893701 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :no. < 1312588937 503162 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :Vorpal, I thought it was better without the last line. < 1312588944 339523 :nooga!~nooga@maverick.aircity.pl PRIVMSG #esoteric :i found out recently < 1312588944 627676 :Vorpal!~AnMaster@unaffiliated/anmaster PRIVMSG #esoteric :ah < 1312588949 725410 :nooga!~nooga@maverick.aircity.pl PRIVMSG #esoteric :and this is weird < 1312588957 804903 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :Vorpal, the lack of explanation makes it madder. < 1312588970 209242 :variable!~thing@unaffiliated/variable QUIT :Read error: Connection reset by peer < 1312588973 230830 :Vorpal!~AnMaster@unaffiliated/anmaster PRIVMSG #esoteric :Phantom_Hoover, so what metals interest you? < 1312588977 259962 :Vorpal!~AnMaster@unaffiliated/anmaster PRIVMSG #esoteric :scandium? < 1312588990 493172 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :if you say so, Mr. Kaszperzsky < 1312588994 529050 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :Vorpal, the relevant one was rhenium. < 1312588998 198779 :Vorpal!~AnMaster@unaffiliated/anmaster PRIVMSG #esoteric :ah < 1312589013 488620 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com TOPIC #esoteric :Don't enjoy unlocking the matrix of liquidity, please. | wget -s 42 redpill | http://codu.org/logs/_esoteric/ < 1312589015 439858 :nooga!~nooga@maverick.aircity.pl PRIVMSG #esoteric :oerjan: it's Gasperowicz pronouced like Kasperoveetch < 1312589025 979217 :nooga!~nooga@maverick.aircity.pl PRIVMSG #esoteric :but germans and WW II < 1312589030 135790 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :ah < 1312589046 186051 :cheater!~ubuntu@e179113237.adsl.alicedsl.de QUIT :Ping timeout: 255 seconds < 1312589064 201768 :Patashu!~Patashu@c122-106-155-219.carlnfd1.nsw.optusnet.com.au JOIN :#esoteric < 1312589071 425351 :cheater!~ubuntu@e179113237.adsl.alicedsl.de JOIN :#esoteric < 1312589077 519215 :nooga!~nooga@maverick.aircity.pl PRIVMSG #esoteric :huh < 1312589082 491860 :Vorpal!~AnMaster@unaffiliated/anmaster PRIVMSG #esoteric :Phantom_Hoover, did you know that yttrium, terbium, erbium and ytterbium are all named after the same place? < 1312589092 349104 :nooga!~nooga@maverick.aircity.pl PRIVMSG #esoteric :it colud be Gasperowicz IT Consulting < 1312589099 242656 :nooga!~nooga@maverick.aircity.pl PRIVMSG #esoteric :but it sucks < 1312589099 445101 :variable!~thing@unaffiliated/variable JOIN :#esoteric < 1312589111 388193 :nooga!~nooga@maverick.aircity.pl PRIVMSG #esoteric :I need a name for my firm NAO!~ < 1312589125 756412 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :Gasprom. i'm sure no one could complain about that. < 1312589130 884430 :nooga!~nooga@maverick.aircity.pl PRIVMSG #esoteric :hahaha < 1312589136 900669 :nooga!~nooga@maverick.aircity.pl PRIVMSG #esoteric :i hate you < 1312589148 355458 :nooga!~nooga@maverick.aircity.pl PRIVMSG #esoteric :not really < 1312589150 821914 :pikhq!~pikhq@71-219-246-8.clsp.qwest.net PRIVMSG #esoteric :Meh, too Russian. < 1312589156 154930 :pikhq!~pikhq@71-219-246-8.clsp.qwest.net PRIVMSG #esoteric :Go with Zyklon. < 1312589165 146345 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :pikhq: thatsthejoke.jpg < 1312589181 438928 :pikhq!~pikhq@71-219-246-8.clsp.qwest.net PRIVMSG #esoteric :oerjan: Yes. < 1312589203 362955 :Anvilgames!~snowyowl0@cpc1-enfi10-0-0-cust855.hari.cable.virginmedia.com QUIT :Quit: Anvilgames < 1312589228 993060 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :IT consulking < 1312589261 779078 :Lymee!~moe@unaffiliated/cirno-chan TOPIC #esoteric :Don't enjoy unlocking the matrix of liquidity, please. | wget -s 42 redpill | man mouth | http://codu.org/logs/_esoteric/ < 1312589265 644299 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :gasperating < 1312589285 851884 :nooga!~nooga@maverick.aircity.pl PRIVMSG #esoteric :oerjaning < 1312589317 576409 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :the world according to gasperowicz < 1312589381 505551 :nooga!~nooga@maverick.aircity.pl PRIVMSG #esoteric :in our law there's this thing that the formal name of your firm should consist of the name, surname and some word < 1312589391 819441 :nooga!~nooga@maverick.aircity.pl PRIVMSG #esoteric :usually you would use only the word < 1312589398 25400 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :hm < 1312589448 270330 :nooga!~nooga@maverick.aircity.pl PRIVMSG #esoteric :SADOL realm Marcin Gasperowicz < 1312589452 590214 :nooga!~nooga@maverick.aircity.pl PRIVMSG #esoteric :nagh\ < 1312589667 212476 :micahjohnston!~micahjohn@ec2-174-129-205-205.compute-1.amazonaws.com QUIT :Ping timeout: 255 seconds < 1312589828 520862 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com PRIVMSG #esoteric :Have you read the stuff in this channel recently about the new kind of program language I have the idea? < 1312589940 237675 :nooga!~nooga@maverick.aircity.pl PRIVMSG #esoteric :no < 1312589950 649193 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :zzo38, you are a native English speaker, right? < 1312589970 973069 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com PRIVMSG #esoteric :Phantom_Hoover: I am a native Canadian speaker. < 1312589980 727631 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :zzo38, Canadian English, I presume? < 1312589987 385105 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com PRIVMSG #esoteric :Yes. < 1312589994 215558 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :Right... < 1312590039 279191 :nooga!~nooga@maverick.aircity.pl PRIVMSG #esoteric :c'est la super plus < 1312590045 469582 :cheater!~ubuntu@e179113237.adsl.alicedsl.de QUIT :Ping timeout: 255 seconds < 1312590257 957522 :micahjohnston!~micahjohn@ec2-174-129-205-205.compute-1.amazonaws.com JOIN :#esoteric < 1312590453 450492 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :Mica H. Johnston. < 1312590467 250315 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :Daughter of ardent mineralogists. < 1312590610 341699 :nooga!~nooga@maverick.aircity.pl PRIVMSG #esoteric :Kate Winiarski, dental c'est la super plus < 1312590615 607530 :nooga!~nooga@maverick.aircity.pl PRIVMSG #esoteric :ghhh < 1312590633 582271 :nooga!~nooga@maverick.aircity.pl PRIVMSG #esoteric :Kate Winiarski, dental prosthetist < 1312590639 991119 :nooga!~nooga@maverick.aircity.pl PRIVMSG #esoteric :stupid irssi < 1312590703 794361 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :They fight crime. < 1312590753 547428 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com PRIVMSG #esoteric :About the new kind or program language I was mentioning, it is near the UNIX timestamp 1312539427. < 1312590771 71735 :nooga!~nooga@maverick.aircity.pl PRIVMSG #esoteric :zzo38: just paste the log < 1312590790 670230 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :zzo38, you might want to check your client; I think you might've accidentally connected a Markov bot to it. < 1312590818 955717 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com PRIVMSG #esoteric :Phantom_Hoover: I do not even have a Markov bot program (although maybe I am wrong I don't know what a Markov bot is, even) < 1312590832 830838 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com PRIVMSG #esoteric :nooga: OK I will just repeat what I typed before < 1312590845 377614 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com PRIVMSG #esoteric :I have idea I wanted to make up some programming language that can do a few things including implement rules of Magic: the Gathering cards. I have a few ideas about it, including: < 1312590853 569900 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com PRIVMSG #esoteric :* First class functions and first class rules < 1312590860 485934 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com PRIVMSG #esoteric :* Basic types: boolean, integer, static strings (usable only for comparison and that C codes can use directly) < 1312590866 773085 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com PRIVMSG #esoteric : * Other types: enumeration, tagged union, structure, function < 1312590875 924961 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com PRIVMSG #esoteric :* Function types are allowed to include themself or types including themself < 1312590884 117200 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com PRIVMSG #esoteric :* Procedural rulebooks < 1312590888 661158 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com PRIVMSG #esoteric :* Rulebooks specifying reading/writing properties of an object < 1312590893 2155 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com PRIVMSG #esoteric :* Pure functions < 1312590897 753294 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com PRIVMSG #esoteric :* External access to/from C codes and other program < 1312590906 565151 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com PRIVMSG #esoteric :Can you understand now? < 1312590912 966567 :nooga!~nooga@maverick.aircity.pl PRIVMSG #esoteric :erm < 1312590914 702116 :nooga!~nooga@maverick.aircity.pl PRIVMSG #esoteric :no < 1312590946 785412 :nooga!~nooga@maverick.aircity.pl PRIVMSG #esoteric : i'm not completely sober < 1312590974 193948 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com PRIVMSG #esoteric :I expect probably not completely understand, since it is not even complete. It is why I would like some help and other people idea about it too < 1312591191 737984 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :nooga, that's... not the reason. < 1312591198 108850 :itidus20!~itidus20@c210-49-78-148.dandn3.vic.optusnet.com.au PRIVMSG #esoteric :i cant say i wanna be sober < 1312591218 298085 :itidus20!~itidus20@c210-49-78-148.dandn3.vic.optusnet.com.au PRIVMSG #esoteric :but i cant say i wanna be drunk... cos its a hell of a habit < 1312591246 202356 :nooga!~nooga@maverick.aircity.pl PRIVMSG #esoteric :usually I don't drink too much < 1312591267 899915 :nooga!~nooga@maverick.aircity.pl PRIVMSG #esoteric :but now I'm quite blown < 1312591274 808578 :nooga!~nooga@maverick.aircity.pl PRIVMSG #esoteric :because of that contract < 1312591312 647729 :Lymee!~moe@unaffiliated/cirno-chan PRIVMSG #esoteric :fungot: who is nooga? < 1312591312 849857 :fungot!~fungot@momus.zem.fi PRIVMSG #esoteric :Lymee: for a while it was frustrating. still no sign, perhaps? a phone or it will 8e the most powerful adversary you have ever had a physical card for the stack or queue. items can be removed, the queen is a vain. yes, the sun." -mark twain < 1312591323 310030 :Lymee!~moe@unaffiliated/cirno-chan PRIVMSG #esoteric :^style youtube < 1312591323 512071 :fungot!~fungot@momus.zem.fi PRIVMSG #esoteric :Selected style: youtube (Some YouTube comments) < 1312591324 769316 :Lymee!~moe@unaffiliated/cirno-chan PRIVMSG #esoteric :fungot: who is nooga? < 1312591325 54012 :fungot!~fungot@momus.zem.fi PRIVMSG #esoteric :Lymee: fucking hilarious. < 1312591330 71908 :Lymee!~moe@unaffiliated/cirno-chan PRIVMSG #esoteric :... < 1312591334 813983 :nooga!~nooga@maverick.aircity.pl PRIVMSG #esoteric :wtf < 1312591339 849533 :nooga!~nooga@maverick.aircity.pl PRIVMSG #esoteric :wtf < 1312591361 290522 :nooga!~nooga@maverick.aircity.pl PRIVMSG #esoteric :fungot: who is Lymee? < 1312591361 492764 :fungot!~fungot@momus.zem.fi PRIVMSG #esoteric :nooga: she is. do i do think the that the plane alone. you have. < 1312591370 896441 :nooga!~nooga@maverick.aircity.pl PRIVMSG #esoteric :fungot: who is oerjan? < 1312591371 182794 :fungot!~fungot@momus.zem.fi PRIVMSG #esoteric :nooga: he´s hot! i can't find one in the game and check out latino review on the japanese reissue of risk. and ' whatever'? < 1312591382 714712 :nooga!~nooga@maverick.aircity.pl PRIVMSG #esoteric :fungot: who is elliott? < 1312591382 917119 :fungot!~fungot@momus.zem.fi PRIVMSG #esoteric :nooga: fuck all about how the fuck? the only conclusion that can do this in blender... < 1312591393 151441 :nooga!~nooga@maverick.aircity.pl PRIVMSG #esoteric :fungot: who is jsdbfab? < 1312591393 390994 :fungot!~fungot@momus.zem.fi PRIVMSG #esoteric :nooga: wow!!!! its not that cool. < 1312591408 538379 :Lymee!~moe@unaffiliated/cirno-chan PRIVMSG #esoteric :fungot, who is god? < 1312591408 740871 :fungot!~fungot@momus.zem.fi PRIVMSG #esoteric :Lymee: he's so good as the trees. in simple terms when the toga is initiated, but cool. < 1312591425 115957 :nooga!~nooga@maverick.aircity.pl PRIVMSG #esoteric :ihf}Ihedz[bife < 1312591446 339810 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :fungot, well, god clearly is an accomplished treesmith, yes. < 1312591446 541750 :fungot!~fungot@momus.zem.fi PRIVMSG #esoteric :Phantom_Hoover: o.o a snow mobile... looks awesome < 1312591500 828127 :nooga!~nooga@maverick.aircity.pl PRIVMSG #esoteric :fungot: who is fungot? < 1312591501 30267 :fungot!~fungot@momus.zem.fi PRIVMSG #esoteric :nooga: another thing are we? and you think < 1312591511 182687 :nooga!~nooga@maverick.aircity.pl PRIVMSG #esoteric :aaaaaaargh < 1312591604 404236 :pikhq!~pikhq@71-219-246-8.clsp.qwest.net PRIVMSG #esoteric :https://www.eff.org/deeplinks/2011/07/widespread-search-hijacking-in-the-us < 1312591685 489642 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :nooga, oh god what if fungot is the Orz. < 1312591685 691914 :fungot!~fungot@momus.zem.fi PRIVMSG #esoteric :Phantom_Hoover: cdj2255, as a punk song, good commercials. lets do it? i think < 1312592025 777729 :nooga!~nooga@maverick.aircity.pl PRIVMSG #esoteric :aaaaaaaaaaaaaaaaaaa < 1312592029 594013 :nooga!~nooga@maverick.aircity.pl PRIVMSG #esoteric :no no no no no < 1312592045 241206 :nooga!~nooga@maverick.aircity.pl PRIVMSG #esoteric :I will leave this place at once < 1312592062 688998 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :fungot, go back *outside*. < 1312592062 891297 :fungot!~fungot@momus.zem.fi PRIVMSG #esoteric :Phantom_Hoover: that... for real lmao, wow im not joking, is a counter tenor. my guess, and, ironically, the hotel, what can i repeat to you tube. com/ watch?v=bxp8lwsarya more < 1312592090 348153 :nooga!~nooga@maverick.aircity.pl PRIVMSG #esoteric :0-o < 1312592102 798395 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :Video isn't available. < 1312592153 697066 :lament!~lament@S0106002312fa554a.vc.shawcable.net JOIN :#esoteric < 1312592557 226255 :nooga!~nooga@maverick.aircity.pl QUIT :Quit: I AM FED UP WITH THIS CRUFT AAARGH < 1312592638 724585 :iconmaster!~iconmaste@209.150.235.10 QUIT :Quit: Pardon me, but I have to go die in NetHack again. < 1312592927 179745 :CakeProphet!~adam@h249.35.18.98.dynamic.ip.windstream.net JOIN :#esoteric < 1312592927 606688 :CakeProphet!~adam@h249.35.18.98.dynamic.ip.windstream.net QUIT :Changing host < 1312592927 808743 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake JOIN :#esoteric < 1312593230 754784 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :CakeProphet, do you have any prophecies of cake. < 1312593321 752196 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :the cake is a lie < 1312593341 626610 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :fungot, do you? < 1312593341 866805 :fungot!~fungot@momus.zem.fi PRIVMSG #esoteric :Phantom_Hoover: ahaha. hillary is flya than that. american public education for you." < 1312593353 595247 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :fungot, yes, yes she is. < 1312593353 797339 :fungot!~fungot@momus.zem.fi PRIVMSG #esoteric :Phantom_Hoover: holy shitttt i can't wait. ( this is comedic gold, save your gold till this economy is still a punk song, but i love this < 1312593382 578668 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :fungot, what do I do with the gold once the economy is still a punk song? < 1312593423 933816 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :fungot, well? < 1312593430 104771 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :^help < 1312593430 306882 :fungot!~fungot@momus.zem.fi PRIVMSG #esoteric :^ ; ^def ; ^show [command]; lang=bf/ul, code=text/str:N; ^str 0-9 get/set/add [text]; ^style [style]; ^bool < 1312593439 450101 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :^style irc < 1312593439 734283 :fungot!~fungot@momus.zem.fi PRIVMSG #esoteric :Selected style: irc (IRC logs of freenode/#esoteric, freenode/#scheme and ircnet/#douglasadams) < 1312593442 12370 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :fungot, < 1312593459 244349 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :Oh, wait, he's rate limited isn't he. < 1312593544 908867 :Lymee!~moe@unaffiliated/cirno-chan PRIVMSG #esoteric :fungot, what do you think of Brainfuck? < 1312593545 335241 :fungot!~fungot@momus.zem.fi PRIVMSG #esoteric :Lymee: haskell i dont like knowing my money is prolly majority paying for the name? < 1312593558 845242 :Lymee!~moe@unaffiliated/cirno-chan PRIVMSG #esoteric :fungot, Write a Brainfuck cat program. Now. < 1312593559 705596 :fungot!~fungot@momus.zem.fi PRIVMSG #esoteric :Lymee: as there is matthiases vibrating. good thinking there.... :d.) that would force a string or a regex, but for supporting general user macros you'd probably first need to do < 1312594071 62061 :pumpkin!~pumpkin@unaffiliated/pumpkingod NICK :copumpkin < 1312594277 790084 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :
ACTION → sleep
< 1312594287 578345 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 QUIT :Quit: Leaving < 1312594796 674763 :Lymee!~moe@unaffiliated/cirno-chan PRIVMSG #esoteric :fungot, please kill ell < 1312594796 914875 :fungot!~fungot@momus.zem.fi PRIVMSG #esoteric :Lymee: really? are you volunteering??? 38o catchalogue disk and captchalogue the server cd. < 1312594808 130862 :Lymee!~moe@unaffiliated/cirno-chan PRIVMSG #esoteric :>:c < 1312595089 190340 :MDude!~fyrc@or-67-238-31-252.dhcp.embarqhsd.net PRIVMSG #esoteric :http://animuchan.net/django_php/ [I don't know enough about web development to know how bad an idea this is, but apparently it's pretty bad.] < 1312595118 950351 :monqy!~chap@pool-71-102-215-70.snloca.dsl-w.verizon.net PRIVMSG #esoteric :helpful faq, that < 1312595933 330196 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com PRIVMSG #esoteric :I found the instructions for Complex Hearts, a variant where the queen of spades is worth 13i and the ten of clubs multiplies your score of the hand by 2i, and the jack of diamonds is worth -10. Whoever first reaches an absolute value of 100 or more loses. < 1312596170 9476 :Patashu!~Patashu@c122-106-155-219.carlnfd1.nsw.optusnet.com.au PRIVMSG #esoteric :Wow, complex hearts < 1312596899 657903 :tswett!~Warrigal@thay.Stanford.EDU PRIVMSG #esoteric :
ACTION observes Gregor.
< 1312597466 492854 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com PRIVMSG #esoteric :When were the Magic: the Gathering rules properly made precise in the comprehensive rules document, and who wrote it? < 1312597491 494078 :Sgeo!~quassel@ool-ad034d00.dyn.optonline.net QUIT :Read error: Connection reset by peer < 1312597587 502626 :Sgeo!~quassel@ool-ad034d00.dyn.optonline.net JOIN :#esoteric < 1312597884 823018 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com PRIVMSG #esoteric :O, and one more thing, to add to the list I typed about the programming language for that purpose: < 1312597928 92083 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com PRIVMSG #esoteric :* Rules and functions can look inside of rules and functions of the correct types and change things of the correct type inside of them (the oompiler can check types and constraints to make the compiled program more efficient by eliminating unnecessary checks) < 1312598366 524228 :NihilistDandy!~ND@c-75-69-129-101.hsd1.nh.comcast.net PRIVMSG #esoteric :@tell Phantom_Hoover Do not underestimate the power of the Scepter of Recursion < 1312598366 726289 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :Consider it noted. < 1312598409 91761 :Lymee!~moe@unaffiliated/cirno-chan PRIVMSG #esoteric :@tell Phantom_Hoover Also, hugs < 1312598409 294009 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :Consider it noted. < 1312600110 311447 :MDude!~fyrc@or-67-238-31-252.dhcp.embarqhsd.net NICK :MSleep < 1312600202 764502 :evincar!~jon@d-burl-bng2-64-223-161-87.ngn.east.myfairpoint.net JOIN :#esoteric < 1312603555 140159 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com PRIVMSG #esoteric :Do you know answers of any of my questions? < 1312603697 487808 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com PRIVMSG #esoteric :And you should also type on https://devlabs.linuxassist.net/projects/texnicard This new programming language is somewhat related to TeXnicard although is a separate program, it is not part of TeXnicard. However I would include something in TeXnicard allowing you to make export files of this that you can convert natural language into this format. < 1312604683 506258 :BeholdMyGlory!~behold@unaffiliated/beholdmyglory QUIT :Remote host closed the connection < 1312604865 196729 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com PRIVMSG #esoteric :Other idea about this programming language: < 1312604880 930953 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com PRIVMSG #esoteric :* That you can have types that you can select zero or more. < 1312604884 96908 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com PRIVMSG #esoteric :I can make example < 1312605029 801595 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com PRIVMSG #esoteric :Suppose Haskell has a new hypothetical "multidata" command like "data" but you can select none of the types or many of the types somehow. < 1312605130 954390 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com PRIVMSG #esoteric :multidata CardTypes = Artifact ArtifactSub | Creature CreatureSub Integer Integer | Enchantment EnchantmentSub | Instant SpellSub | Sorcery SpellSub | Tribal CreatureSub | Land LandSub | Planeswalker PlaneswalkerSub Integer < 1312605165 290993 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :*plainswalker < 1312605178 969728 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com PRIVMSG #esoteric :No. < 1312605183 763323 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :planeswalkers are biplane acrobats < 1312605202 308513 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric ::P < 1312605228 43896 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com PRIVMSG #esoteric :Wikipedia. < 1312605251 357520 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :yeahyeah < 1312605271 804811 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :fucking wotc and their puns < 1312605726 924373 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :next: the Planker monster < 1312605792 699693 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :it lies down waiting where you least expect it < 1312606868 595940 :oerjan!oerjan@tyrell.nvg.ntnu.no QUIT :Quit: Good night < 1312607322 644939 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com PRIVMSG #esoteric :So, this new kind of programming language should have something like this hypothetical "multidata", I guess. < 1312607708 929067 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com PRIVMSG #esoteric :Although, I don't know if this example is correct. Can a "Tribal Creature" have two sets of creature subtypes? Does it matter? < 1312607765 750718 :Sgeo_!~quassel@ool-ad034d00.dyn.optonline.net JOIN :#esoteric < 1312607865 452730 :Sgeo!~quassel@ool-ad034d00.dyn.optonline.net QUIT :Ping timeout: 255 seconds < 1312607882 843082 :evincar!~jon@d-burl-bng2-64-223-161-87.ngn.east.myfairpoint.net QUIT :Quit: leaving < 1312609815 238653 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com QUIT :Remote host closed the connection < 1312611389 841874 :NihilistDandy!~ND@c-75-69-129-101.hsd1.nh.comcast.net PRIVMSG #esoteric :I just realized that VLC has a really detailed icon < 1312611461 747757 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :motherfucking cone of justice. < 1312611509 740436 :NihilistDandy!~ND@c-75-69-129-101.hsd1.nh.comcast.net PRIVMSG #esoteric :I like coming home from work because everytime I do I have some new highlight from PH telling me something awesome about the dwarf named after me < 1312611557 756962 :lament!~lament@S0106002312fa554a.vc.shawcable.net PRIVMSG #esoteric :I like coming home from work because I come home from work < 1312611639 488602 :NihilistDandy!~ND@c-75-69-129-101.hsd1.nh.comcast.net PRIVMSG #esoteric :Meh. The only difference between work and home is that I'm not on IRC at work < 1312611645 929364 :NihilistDandy!~ND@c-75-69-129-101.hsd1.nh.comcast.net PRIVMSG #esoteric :Also all the food < 1312611649 65373 :NihilistDandy!~ND@c-75-69-129-101.hsd1.nh.comcast.net PRIVMSG #esoteric :And the dog < 1312611655 583532 :NihilistDandy!~ND@c-75-69-129-101.hsd1.nh.comcast.net PRIVMSG #esoteric :And beds < 1312611657 307335 :NihilistDandy!~ND@c-75-69-129-101.hsd1.nh.comcast.net PRIVMSG #esoteric :And < 1312611658 945398 :NihilistDandy!~ND@c-75-69-129-101.hsd1.nh.comcast.net PRIVMSG #esoteric :Shut up < 1312612141 476965 :lament!~lament@S0106002312fa554a.vc.shawcable.net PRIVMSG #esoteric :i can't meditate at work :( < 1312612329 282008 :NihilistDandy!~ND@c-75-69-129-101.hsd1.nh.comcast.net PRIVMSG #esoteric :lament: What kind of work do you do? < 1312612346 147130 :lament!~lament@S0106002312fa554a.vc.shawcable.net PRIVMSG #esoteric :programming < 1312612401 606529 :NihilistDandy!~ND@c-75-69-129-101.hsd1.nh.comcast.net PRIVMSG #esoteric :Tell them that if you can't meditate your code will lose serenity as its ego develops < 1312612534 902779 :Nisstyre!~nisstyre@infocalypse-net.info QUIT :Ping timeout: 258 seconds < 1312613101 620756 :GreaseMonkey!~gm@unaffiliated/greasemonkey QUIT :Quit: The Other Game < 1312613262 222824 :cheater!~ubuntu@g229129167.adsl.alicedsl.de JOIN :#esoteric < 1312613551 443143 :lament!~lament@S0106002312fa554a.vc.shawcable.net QUIT :Ping timeout: 246 seconds < 1312613955 261693 :micahjohnston!~micahjohn@ec2-174-129-205-205.compute-1.amazonaws.com QUIT :Ping timeout: 240 seconds < 1312614408 362501 :Taneb!~nathan@host-84-13-89-246.opaltelecom.net JOIN :#esoteric < 1312614410 600949 :Taneb!~nathan@host-84-13-89-246.opaltelecom.net PRIVMSG #esoteric :Hello! < 1312614531 583116 :micahjohnston!~micahjohn@ec2-174-129-205-205.compute-1.amazonaws.com JOIN :#esoteric < 1312614618 475805 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :Taneb: hey < 1312614630 544674 :NihilistDandy!~ND@c-75-69-129-101.hsd1.nh.comcast.net PRIVMSG #esoteric :Hello < 1312614677 781608 :Taneb!~nathan@host-84-13-89-246.opaltelecom.net PRIVMSG #esoteric :What is happening in the world of Esoteric Programming? < 1312614810 371202 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :we don't know anymore. It became too esoteric and has now collapsed upon itself and vanished. < 1312614818 490637 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :we're still trying to find it. < 1312614836 12336 :Taneb!~nathan@host-84-13-89-246.opaltelecom.net PRIVMSG #esoteric :That sucks < 1312614858 31774 :NihilistDandy!~ND@c-75-69-129-101.hsd1.nh.comcast.net PRIVMSG #esoteric :Taneb: Only metalanguages exist now < 1312614926 838670 :monqy!~chap@pool-71-102-215-70.snloca.dsl-w.verizon.net PRIVMSG #esoteric :i only feel comfortable with metacircularity < 1312615142 367929 :NihilistDandy!~ND@c-75-69-129-101.hsd1.nh.comcast.net QUIT :Read error: Connection reset by peer < 1312615249 613019 :NihilistDandy!~ND@c-75-69-129-101.hsd1.nh.comcast.net JOIN :#esoteric < 1312615723 694285 :Taneb!~nathan@host-84-13-89-246.opaltelecom.net PRIVMSG #esoteric :The world wide web is 20 years old today < 1312615809 594721 :NihilistDandy!~ND@c-75-69-129-101.hsd1.nh.comcast.net PRIVMSG #esoteric :Yet Google chose Lucille Ball < 1312615827 78258 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :oh hey, I'm the same age as the web. < 1312615838 367798 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :
ACTION turned 20 on July 26th
< 1312615850 763576 :NihilistDandy!~ND@c-75-69-129-101.hsd1.nh.comcast.net PRIVMSG #esoteric :Crap, I'm older than the Web < 1312615951 139275 :Taneb!~nathan@host-84-13-89-246.opaltelecom.net PRIVMSG #esoteric :But not the Internet < 1312615955 504603 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :I wonder what it will look like in another 20 years. < 1312615959 224126 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :probably a huge clusterfuck. < 1312615968 793404 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :of standards < 1312615981 662731 :Taneb!~nathan@host-84-13-89-246.opaltelecom.net PRIVMSG #esoteric :Or a ghost-town < 1312616007 815489 :Taneb!~nathan@host-84-13-89-246.opaltelecom.net PRIVMSG #esoteric :of standard < 1312616009 839704 :Taneb!~nathan@host-84-13-89-246.opaltelecom.net PRIVMSG #esoteric :s < 1312617720 981804 :Taneb!~nathan@host-84-13-89-246.opaltelecom.net PRIVMSG #esoteric :I am going to CREATE a NEW esoteric programming language! < 1312617830 981080 :Taneb!~nathan@host-84-13-89-246.opaltelecom.net PRIVMSG #esoteric :Based on the travelling salesman problem < 1312617867 619679 :NihilistDandy!~ND@c-75-69-129-101.hsd1.nh.comcast.net PRIVMSG #esoteric :"Based"? < 1312617877 274313 :Taneb!~nathan@host-84-13-89-246.opaltelecom.net PRIVMSG #esoteric :Yes! < 1312617903 171880 :Taneb!~nathan@host-84-13-89-246.opaltelecom.net PRIVMSG #esoteric :The program will be a series of co-ordinates < 1312617942 412686 :Taneb!~nathan@host-84-13-89-246.opaltelecom.net PRIVMSG #esoteric :Which will then be translated into a series of scalars representing the difference between points < 1312617949 288274 :Taneb!~nathan@host-84-13-89-246.opaltelecom.net PRIVMSG #esoteric :In the shortest rout < 1312617950 144119 :Taneb!~nathan@host-84-13-89-246.opaltelecom.net PRIVMSG #esoteric :e < 1312618011 531890 :Taneb!~nathan@host-84-13-89-246.opaltelecom.net PRIVMSG #esoteric :Then these scalars are interpreted as a Numberwang program Taneb variant) < 1312618026 979803 :Taneb!~nathan@host-84-13-89-246.opaltelecom.net PRIVMSG #esoteric :Or maybe something else! < 1312618031 874847 :Taneb!~nathan@host-84-13-89-246.opaltelecom.net PRIVMSG #esoteric :Yeah, something else! < 1312618035 814091 :NihilistDandy!~ND@c-75-69-129-101.hsd1.nh.comcast.net PRIVMSG #esoteric :So it's actually just Numberwang with an inconvenient API < 1312618043 146939 :Taneb!~nathan@host-84-13-89-246.opaltelecom.net PRIVMSG #esoteric :No, it's something else! < 1312618047 444612 :Taneb!~nathan@host-84-13-89-246.opaltelecom.net PRIVMSG #esoteric :I changed my mind! < 1312618147 110750 :Taneb!~nathan@host-84-13-89-246.opaltelecom.net PRIVMSG #esoteric :By pythagoras's theorem, the square of any possible scalar between two points with integer co-ordinates is an integer < 1312618163 543037 :Taneb!~nathan@host-84-13-89-246.opaltelecom.net PRIVMSG #esoteric :I'm thoroughly misusing the word scalar, but never mind < 1312618210 708715 :Patashu!~Patashu@c122-106-155-219.carlnfd1.nsw.optusnet.com.au PRIVMSG #esoteric :So wait, how do you determine the ordering of your scalars < 1312618221 808778 :Taneb!~nathan@host-84-13-89-246.opaltelecom.net PRIVMSG #esoteric :Shortest route < 1312618226 518956 :Patashu!~Patashu@c122-106-155-219.carlnfd1.nsw.optusnet.com.au PRIVMSG #esoteric :Yes but < 1312618231 983594 :Patashu!~Patashu@c122-106-155-219.carlnfd1.nsw.optusnet.com.au PRIVMSG #esoteric :Which segment comes first in the program < 1312618233 211899 :Taneb!~nathan@host-84-13-89-246.opaltelecom.net PRIVMSG #esoteric :Starting from the most North-Westerly point < 1312618236 727263 :Patashu!~Patashu@c122-106-155-219.carlnfd1.nsw.optusnet.com.au PRIVMSG #esoteric :Ah ok < 1312618263 679909 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :I'll scale your scalars, bitch. < 1312618485 261388 :Taneb!~nathan@host-84-13-89-246.opaltelecom.net PRIVMSG #esoteric :Except there'll be an instruction to build a road between two nodes < 1312618488 539713 :FireFly!~firefly@unaffiliated/firefly JOIN :#esoteric < 1312618498 131625 :Taneb!~nathan@host-84-13-89-246.opaltelecom.net PRIVMSG #esoteric :Thus making them effectively closer < 1312618508 724032 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :Taneb: you should probably name this instruction "pave" < 1312618511 956420 :Taneb!~nathan@host-84-13-89-246.opaltelecom.net PRIVMSG #esoteric :However, only one road can be built between each node < 1312618517 800839 :Patashu!~Patashu@c122-106-155-219.carlnfd1.nsw.optusnet.com.au PRIVMSG #esoteric :self-rearranging travelling salesman problem which rewrites the program sounds interesting < 1312618530 101778 :Patashu!~Patashu@c122-106-155-219.carlnfd1.nsw.optusnet.com.au PRIVMSG #esoteric :how wonderfully malbolge < 1312618537 550515 :Taneb!~nathan@host-84-13-89-246.opaltelecom.net PRIVMSG #esoteric :And after a certain amount of use the roaad is destroyed < 1312618557 685015 :Patashu!~Patashu@c122-106-155-219.carlnfd1.nsw.optusnet.com.au PRIVMSG #esoteric :hahah < 1312618564 871874 :Patashu!~Patashu@c122-106-155-219.carlnfd1.nsw.optusnet.com.au PRIVMSG #esoteric :civilization the programming language < 1312618565 527428 :Taneb!~nathan@host-84-13-89-246.opaltelecom.net PRIVMSG #esoteric :Roads half the effective distance < 1312618569 221185 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :The program space is a stateless society with no government transportation department. < 1312618570 714295 :Patashu!~Patashu@c122-106-155-219.carlnfd1.nsw.optusnet.com.au PRIVMSG #esoteric :or wait. oasis? < 1312618580 636116 :Patashu!~Patashu@c122-106-155-219.carlnfd1.nsw.optusnet.com.au PRIVMSG #esoteric :SMAC? < 1312618590 599800 :Patashu!~Patashu@c122-106-155-219.carlnfd1.nsw.optusnet.com.au PRIVMSG #esoteric :nah totally oasis < 1312618594 901115 :Patashu!~Patashu@c122-106-155-219.carlnfd1.nsw.optusnet.com.au PRIVMSG #esoteric :make that game into a programming language < 1312618719 553159 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :I should make an RTS programming language. < 1312618743 371901 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :different factions have different interpreters. At the start of the program you specify the matchup, up to 4v4 or 8 free-for-all < 1312618748 934481 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :each competitor is a thread. < 1312618749 971358 :Patashu!~Patashu@c122-106-155-219.carlnfd1.nsw.optusnet.com.au PRIVMSG #esoteric :your program is being assaulted by barbarian hordes < 1312618761 919516 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :you must construct additional pylons. < 1312618828 738909 :NihilistDandy!~ND@c-75-69-129-101.hsd1.nh.comcast.net PRIVMSG #esoteric :Prepare the LOIC < 1312618869 936524 :NihilistDandy!~ND@c-75-69-129-101.hsd1.nh.comcast.net PRIVMSG #esoteric :Also, C&C on the N64 was the best RTS ever < 1312618878 299075 :Patashu!~Patashu@c122-106-155-219.carlnfd1.nsw.optusnet.com.au PRIVMSG #esoteric :sandbag < 1312618879 241289 :Patashu!~Patashu@c122-106-155-219.carlnfd1.nsw.optusnet.com.au PRIVMSG #esoteric :sandbag < 1312618942 58043 :NihilistDandy!~ND@c-75-69-129-101.hsd1.nh.comcast.net PRIVMSG #esoteric :http://www.youtube.com/watch?v=qpl5mOAXNl4 < 1312619019 302835 :Patashu!~Patashu@c122-106-155-219.carlnfd1.nsw.optusnet.com.au PRIVMSG #esoteric :best song < 1312619034 411891 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :
ACTION wants a 2048-bit computer
< 1312619053 27899 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :> 2^2048 < 1312619053 892872 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : 323170060713110073007148766886699519604441026697154840321303454275246551388... < 1312619062 526436 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :some would say this is an unreasonable address space. < 1312619067 525949 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :but I would call it entirely sufficient. < 1312619072 234576 :Patashu!~Patashu@c122-106-155-219.carlnfd1.nsw.optusnet.com.au PRIVMSG #esoteric :> 2^2^2^2 < 1312619073 90868 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : 65536 < 1312619085 131289 :NihilistDandy!~ND@c-75-69-129-101.hsd1.nh.comcast.net PRIVMSG #esoteric :CakeProphet: Not enough future proofing for your tastes? < 1312619099 800921 :pikhq!~pikhq@71-219-246-8.clsp.qwest.net PRIVMSG #esoteric :Wow. Last week, someone placed a single trade betting, basically, $1 billion that the US's credit rating would be dropped or that the US would default. < 1312619102 76083 :Patashu!~Patashu@c122-106-155-219.carlnfd1.nsw.optusnet.com.au PRIVMSG #esoteric :hmm, does haskell have an operator for tetration? < 1312619104 168900 :pikhq!~pikhq@71-219-246-8.clsp.qwest.net PRIVMSG #esoteric :1. Billion. USD. < 1312619109 722059 :NihilistDandy!~ND@c-75-69-129-101.hsd1.nh.comcast.net PRIVMSG #esoteric :I would call it perfectly reasonable, at a minimum < 1312619134 69972 :NihilistDandy!~ND@c-75-69-129-101.hsd1.nh.comcast.net PRIVMSG #esoteric :@hoogle tetration < 1312619134 354674 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :No results found < 1312619138 219970 :NihilistDandy!~ND@c-75-69-129-101.hsd1.nh.comcast.net PRIVMSG #esoteric :@hoogle tetra < 1312619138 504002 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :No results found < 1312619143 858408 :Patashu!~Patashu@c122-106-155-219.carlnfd1.nsw.optusnet.com.au PRIVMSG #esoteric :@hoogle supre < 1312619144 183288 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :No results found < 1312619145 14531 :Patashu!~Patashu@c122-106-155-219.carlnfd1.nsw.optusnet.com.au PRIVMSG #esoteric :@hoogle super < 1312619145 441231 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :No results found < 1312619157 291633 :NihilistDandy!~ND@c-75-69-129-101.hsd1.nh.comcast.net PRIVMSG #esoteric :Write one! < 1312619159 970060 :Patashu!~Patashu@c122-106-155-219.carlnfd1.nsw.optusnet.com.au PRIVMSG #esoteric :@hoogle hyper < 1312619160 272776 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :No results found < 1312619196 579637 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :> let tetra a b = foldr1 (**) (replicate b a) in tetra 2 4 < 1312619197 510148 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : 65536.0 < 1312619208 111418 :NihilistDandy!~ND@c-75-69-129-101.hsd1.nh.comcast.net PRIVMSG #esoteric :Exactly < 1312619234 168407 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :actually wouldn't foldl work fine? < 1312619236 255465 :Taneb!~nathan@host-84-13-89-246.opaltelecom.net PRIVMSG #esoteric :bye < 1312619237 21091 :Patashu!~Patashu@c122-106-155-219.carlnfd1.nsw.optusnet.com.au PRIVMSG #esoteric :no < 1312619246 52002 :pikhq!~pikhq@71-219-246-8.clsp.qwest.net PRIVMSG #esoteric :There's not many entities capable of throwing that freaking much liquid capital at something. < 1312619248 216672 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :ah, yeah I guess not. < 1312619249 454851 :Patashu!~Patashu@c122-106-155-219.carlnfd1.nsw.optusnet.com.au PRIVMSG #esoteric :because taking the power isn't symmetrical < 1312619254 382512 :Patashu!~Patashu@c122-106-155-219.carlnfd1.nsw.optusnet.com.au PRIVMSG #esoteric :> (2^2)^2 < 1312619255 283750 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : 16 < 1312619259 146570 :Patashu!~Patashu@c122-106-155-219.carlnfd1.nsw.optusnet.com.au PRIVMSG #esoteric :> 2^(2^2) < 1312619259 861251 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : 16 < 1312619261 696215 :Patashu!~Patashu@c122-106-155-219.carlnfd1.nsw.optusnet.com.au PRIVMSG #esoteric :oh < 1312619264 822725 :Patashu!~Patashu@c122-106-155-219.carlnfd1.nsw.optusnet.com.au PRIVMSG #esoteric :well it is in this case < 1312619276 581195 :pikhq!~pikhq@71-219-246-8.clsp.qwest.net PRIVMSG #esoteric :(in order to place such a trade on the market, you must have that sitting in cash, ready to pay out.) < 1312619276 783255 :Patashu!~Patashu@c122-106-155-219.carlnfd1.nsw.optusnet.com.au PRIVMSG #esoteric :> 2^(2^(2^2)) < 1312619277 436744 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : 65536 < 1312619292 864178 :Patashu!~Patashu@c122-106-155-219.carlnfd1.nsw.optusnet.com.au PRIVMSG #esoteric :> ((2^2)^2)^2 < 1312619293 720974 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : 256 < 1312619295 972685 :Patashu!~Patashu@c122-106-155-219.carlnfd1.nsw.optusnet.com.au PRIVMSG #esoteric :there < 1312619304 876636 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :hmmm okay. < 1312619306 688161 :pikhq!~pikhq@71-219-246-8.clsp.qwest.net PRIVMSG #esoteric :That someone has made out like a bandit. < 1312619311 180965 :Patashu!~Patashu@c122-106-155-219.carlnfd1.nsw.optusnet.com.au PRIVMSG #esoteric :wikipedia says 65536 is correct < 1312619345 672957 :Patashu!~Patashu@c122-106-155-219.carlnfd1.nsw.optusnet.com.au PRIVMSG #esoteric :I want this operator so I can make thinly veiled sexual innuendo http://en.wikipedia.org/wiki/Pentation < 1312619348 135942 :pikhq!~pikhq@71-219-246-8.clsp.qwest.net PRIVMSG #esoteric :Patashu: Yeah, that's 64k. < 1312619352 235937 :Patashu!~Patashu@c122-106-155-219.carlnfd1.nsw.optusnet.com.au PRIVMSG #esoteric :I'm going to pentate these numbers < 1312619353 89961 :NihilistDandy!~ND@c-75-69-129-101.hsd1.nh.comcast.net PRIVMSG #esoteric :pikhq: Where do you go to make these bets, anyway? < 1312619392 798372 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :> let tetra _ 0 = 1; tetra a b = foldr1 (**) (replicate b a) in map (`tetra` 2) [0..] < 1312619393 881215 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : [1.0,1.0,4.0,27.0,256.0,3125.0,46656.0,823543.0,1.6777216e7,3.87420489e8,1.... < 1312619409 17589 :pikhq!~pikhq@71-219-246-8.clsp.qwest.net PRIVMSG #esoteric :NihilistDandy: The stock market. It's a somewhat more complex market than just shares of companies — you're also able to sell various short trades on things, where you speculate on a negative outcome for some entity. < 1312619428 548065 :pikhq!~pikhq@71-219-246-8.clsp.qwest.net PRIVMSG #esoteric :NihilistDandy: Other people buy that trade, so that if you were right they pay you, and otherwise you pay them. < 1312619433 590062 :NihilistDandy!~ND@c-75-69-129-101.hsd1.nh.comcast.net PRIVMSG #esoteric :Betting on failure is my new business model~ < 1312619450 852167 :pikhq!~pikhq@71-219-246-8.clsp.qwest.net PRIVMSG #esoteric :I really wish I could go back in time a short sell some SCO stock. < 1312619466 509979 :NihilistDandy!~ND@c-75-69-129-101.hsd1.nh.comcast.net PRIVMSG #esoteric :srsly < 1312619496 259914 :pikhq!~pikhq@71-219-246-8.clsp.qwest.net PRIVMSG #esoteric :Selling stocks short is really nice because your profit is based entirely on how much the stock dropped. :) < 1312619503 600381 :Taneb!~nathan@host-84-13-89-246.opaltelecom.net QUIT :Ping timeout: 258 seconds < 1312619567 732983 :Patashu!~Patashu@c122-106-155-219.carlnfd1.nsw.optusnet.com.au PRIVMSG #esoteric :who pays for shorts though? < 1312619574 251397 :Patashu!~Patashu@c122-106-155-219.carlnfd1.nsw.optusnet.com.au PRIVMSG #esoteric :if you bet on a stock going up, you get money by reselling it at the new price < 1312619579 975854 :Patashu!~Patashu@c122-106-155-219.carlnfd1.nsw.optusnet.com.au PRIVMSG #esoteric :where does the negative money become positive? < 1312619645 67032 :pikhq!~pikhq@71-219-246-8.clsp.qwest.net PRIVMSG #esoteric :Well, the thing is, if you buy someone else's short and gain on it, you get the stock for the value it was at *when you bought the short*, but have the stock at its current value. < 1312619645 830642 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :addition. < 1312619655 499617 :pikhq!~pikhq@71-219-246-8.clsp.qwest.net PRIVMSG #esoteric :So, you got it for cheap. < 1312619679 56606 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :or, more precisely, the negative money becomes positive when it increases above zero. < 1312619688 373395 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :I assume this is what you were asking, truly. :P < 1312619708 892022 :Patashu!~Patashu@c122-106-155-219.carlnfd1.nsw.optusnet.com.au PRIVMSG #esoteric :hmm, wait... < 1312619715 315471 :Patashu!~Patashu@c122-106-155-219.carlnfd1.nsw.optusnet.com.au PRIVMSG #esoteric :is it where you sell a stock and agree to buy it back, or something? < 1312619739 497948 :pikhq!~pikhq@71-219-246-8.clsp.qwest.net PRIVMSG #esoteric :Patashu: You agree to sell a stock to someone at a future date at a current cost. < 1312619765 512947 :Patashu!~Patashu@c122-106-155-219.carlnfd1.nsw.optusnet.com.au PRIVMSG #esoteric :ah ok < 1312620681 605662 :Patashu!~Patashu@c122-106-155-219.carlnfd1.nsw.optusnet.com.au PRIVMSG #esoteric :http://math.eretrandre.org/tetrationforum/showthread.php?tid=675 infinite operator plz < 1312620817 588740 :NihilistDandy!~ND@c-75-69-129-101.hsd1.nh.comcast.net PRIVMSG #esoteric :Deltas are emprically inferior to lambdas < 1312621179 181585 :Patashu!~Patashu@c122-106-155-219.carlnfd1.nsw.optusnet.com.au PRIVMSG #esoteric :http://math.eretrandre.org/tetrationforum/showthread.php?tid=665 how about circles? < 1312621336 246475 :NihilistDandy!~ND@c-75-69-129-101.hsd1.nh.comcast.net PRIVMSG #esoteric :I already have composition, how many circles do I really need in my life? < 1312621492 11746 :Cheery!~cheery@a88-113-50-171.elisa-laajakaista.fi JOIN :#esoteric < 1312621598 445117 :pikhq!~pikhq@71-219-246-8.clsp.qwest.net PRIVMSG #esoteric :You need every circle. < 1312621755 49049 :coppro!~scshunt@denardo.csclub.uwaterloo.ca PRIVMSG #esoteric :circles suck, get triangles < 1312621844 972962 :NihilistDandy!~ND@c-75-69-129-101.hsd1.nh.comcast.net PRIVMSG #esoteric : /_\ < 1312621865 362529 :coppro!~scshunt@denardo.csclub.uwaterloo.ca PRIVMSG #esoteric :^ < 1312621923 979901 :NihilistDandy!~ND@c-75-69-129-101.hsd1.nh.comcast.net PRIVMSG #esoteric : ^ < 1312621924 182188 :NihilistDandy!~ND@c-75-69-129-101.hsd1.nh.comcast.net PRIVMSG #esoteric : /_\ < 1312622050 578138 :coppro!~scshunt@denardo.csclub.uwaterloo.ca PRIVMSG #esoteric :eww < 1312622118 488549 :NihilistDandy!~ND@c-75-69-129-101.hsd1.nh.comcast.net PRIVMSG #esoteric :Mmm, recursion: http://www.smbc-comics.com/index.php?db=comics&id=2319#comic < 1312622669 467610 :Cheery!~cheery@a88-113-50-171.elisa-laajakaista.fi PRIVMSG #esoteric :http://cache.gawker.com/assets/images/comment/12/2011/08/579f406878ae68a95ee9ce8fc2f908b4/340x.jpeg < 1312622846 137213 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :who is jmsnxn? < 1312623429 125754 :monqy!~chap@pool-71-102-215-70.snloca.dsl-w.verizon.net QUIT :Quit: hello < 1312624336 954305 :derrik!~xix@gprs-inet-65-8.elisa.ee JOIN :#esoteric < 1312624659 292525 :pikhq!~pikhq@71-219-246-8.clsp.qwest.net QUIT :Ping timeout: 240 seconds < 1312624678 660825 :pikhq!~pikhq@174-22-157-128.clsp.qwest.net JOIN :#esoteric < 1312624970 811713 :MigoMipo!~John@84-217-7-216.tn.glocalnet.net JOIN :#esoteric < 1312627308 296185 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :fungot: colorless green ideas sleep furiously < 1312627308 498758 :fungot!~fungot@momus.zem.fi PRIVMSG #esoteric :CakeProphet: and it is just a matter of fact, his cadre of fellow wizards < 1312627929 738795 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 JOIN :#esoteric < 1312628239 186301 :cheater!~ubuntu@g229129167.adsl.alicedsl.de PRIVMSG #esoteric :quintopia, this guy seems like he's up to fun things < 1312629112 359486 :derrik!~xix@gprs-inet-65-8.elisa.ee QUIT :Quit: left < 1312629642 575140 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :fungot, what are the haps my friend. < 1312629642 815111 :fungot!~fungot@momus.zem.fi PRIVMSG #esoteric :Phantom_Hoover: the other pair does as well give it a try? he is so lucky the gun. widebody's gotta settle his big ass down for a bit. your appetite for monochrome beauties. no lovely lady will be fit in the slot. < 1312629643 17812 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :Phantom_Hoover: You have 2 new messages. '/msg lambdabot @messages' to read them. < 1312631252 182937 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :@tell elliott Homestuck update oh god nothing makes sense any more < 1312631252 560205 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :Consider it noted. < 1312631596 588932 :azaq23!~derivecto@unaffiliated/azaq23 JOIN :#esoteric < 1312633364 805672 :Taneb!~nathan@host-84-13-89-246.opaltelecom.net JOIN :#esoteric < 1312633373 168472 :Taneb!~nathan@host-84-13-89-246.opaltelecom.net PRIVMSG #esoteric :Hello! < 1312633541 83969 :Taneb!~nathan@host-84-13-89-246.opaltelecom.net PRIVMSG #esoteric :brb < 1312634283 387249 :Taneb!~nathan@host-84-13-89-246.opaltelecom.net PRIVMSG #esoteric :Is it a safe assumption that a travelling salesman will never cross his own path? < 1312634332 757692 :fizzie!fis@iris.zem.fi PRIVMSG #esoteric :Sounds very unlikely, given a graph where it's not possible to visit all nodes without revisiting any. < 1312634375 214427 :Taneb!~nathan@host-84-13-89-246.opaltelecom.net PRIVMSG #esoteric :I think that graph is not suitable for this need < 1312634414 85254 :Taneb!~nathan@host-84-13-89-246.opaltelecom.net PRIVMSG #esoteric :On a complete graph, is my assumption true? < 1312634431 92827 :Patashu!~Patashu@c122-106-155-219.carlnfd1.nsw.optusnet.com.au PRIVMSG #esoteric :I think given crossed paths, it's always a correct optimization to uncross them < 1312634434 605997 :Patashu!~Patashu@c122-106-155-219.carlnfd1.nsw.optusnet.com.au PRIVMSG #esoteric :If you think about Pythagoras and so on < 1312634559 734179 :Taneb!~nathan@host-84-13-89-246.opaltelecom.net PRIVMSG #esoteric :That works! < 1312634578 50117 :fizzie!fis@iris.zem.fi PRIVMSG #esoteric :Well, assuming also Euclidean distances. < 1312634582 118735 :Patashu!~Patashu@c122-106-155-219.carlnfd1.nsw.optusnet.com.au PRIVMSG #esoteric :well yeah < 1312634591 14645 :Patashu!~Patashu@c122-106-155-219.carlnfd1.nsw.optusnet.com.au PRIVMSG #esoteric :... there are non-euclidean traveling salesman problems? hmmm < 1312634617 959529 :Taneb!~nathan@host-84-13-89-246.opaltelecom.net PRIVMSG #esoteric :Yes < 1312634677 603980 :Taneb!~nathan@host-84-13-89-246.opaltelecom.net PRIVMSG #esoteric :But I just need euclidean < 1312634677 806407 :Taneb!~nathan@host-84-13-89-246.opaltelecom.net PRIVMSG #esoteric :Thanks < 1312634683 860926 :fizzie!fis@iris.zem.fi PRIVMSG #esoteric :In general I thik it's just a graph with arbitrary edge costs. < 1312634687 429509 :Taneb!~nathan@host-84-13-89-246.opaltelecom.net PRIVMSG #esoteric :Although this may quickly become non-euclidean, it is initially euclidean < 1312634705 636776 :fizzie!fis@iris.zem.fi PRIVMSG #esoteric :Horribly laggy 3G here. < 1312634871 601337 :Taneb!~nathan@host-84-13-89-246.opaltelecom.net PRIVMSG #esoteric :I think I have just designed an NP-hard programming language < 1312634899 872798 :Taneb!~nathan@host-84-13-89-246.opaltelecom.net PRIVMSG #esoteric :Self-modifying travelling salesman < 1312634900 114996 :Taneb!~nathan@host-84-13-89-246.opaltelecom.net PRIVMSG #esoteric :Going to put it on the wiki now < 1312634958 280346 :Taneb!~nathan@host-84-13-89-246.opaltelecom.net PRIVMSG #esoteric :Uploaded, terrible formatting < 1312634965 584126 :Taneb!~nathan@host-84-13-89-246.opaltelecom.net PRIVMSG #esoteric :Going now < 1312634967 692824 :Taneb!~nathan@host-84-13-89-246.opaltelecom.net QUIT :Quit: using sirc version 2.211+ssfe < 1312635621 85616 :Taneb!~nathan@host-84-13-89-246.opaltelecom.net JOIN :#esoteric < 1312635665 398367 :Taneb!~nathan@host-84-13-89-246.opaltelecom.net PRIVMSG #esoteric :http://esoteric.voxelperfect.net/wiki/User:Taneb/Salesman < 1312636102 482926 :Taneb!~nathan@host-84-13-89-246.opaltelecom.net QUIT :Remote host closed the connection < 1312636272 677529 :Patashu!~Patashu@c122-106-155-219.carlnfd1.nsw.optusnet.com.au PRIVMSG #esoteric :I await the first hell world program for Salesman < 1312636842 180644 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :> let mul a b = foldl (>>=) id (repeat (+)) in mul 4 5 < 1312636843 118046 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : Overlapping instances for GHC.Show.Show (b -> b) < 1312636843 319903 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : arising from a use of `... < 1312636987 990036 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :> let mul _ 0 = 0; mul _ 1 = 1; mul a b = foldl (>>=) id (replicate (b-1) (+)) a in mul 4 5 < 1312636988 997025 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : 20 < 1312637002 744840 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :er... < 1312637009 883891 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :> let mul _ 0 = 0; mul a 1 = a; mul a b = foldl (>>=) id (replicate (b-1) (+)) a in mul 4 5 < 1312637010 830008 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : 20 < 1312637014 336497 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :there we go. < 1312637403 855633 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :> let hyper z f _ 0 = z; hyper z f a 1 = a; hyper z f a b = foldl (>>=) id (replicate (b-1) f) a in mul = hyper 0 (+); exp = hyper 1 mul; tetra = hyper 1 exp; penta = hyper 1 tetra in (($3).join) <$> [(+),mul,exp,tetra,penta] < 1312637404 875364 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : : parse error on input `=' < 1312637458 568121 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :> let hyper z f _ 0 = z; hyper z f a 1 = a; hyper z f a b = foldl (>>=) id (replicate (b-1) f) a; mul = hyper 0 (+); exp = hyper 1 mul; tetra = hyper 1 exp; penta = hyper 1 tetra in (($3).join) <$> [(+),mul,exp,tetra,penta] < 1312637460 650509 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : [6,9,27,19683,*Exception: stack overflow < 1312637560 106336 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :@pl hyper z f a b = foldl (>>=) id (replicate (b-1) f) a < 1312637560 532397 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :hyper = const (flip . (foldl (>>=) id .) . flip (replicate . subtract 1)) < 1312637598 762708 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :@pl hyper f a b = foldl (>>=) id (replicate (b-1) f) a < 1312637599 291549 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :hyper = flip . (foldl (>>=) id .) . flip (replicate . subtract 1) < 1312639721 519442 :Taneb!~nathan@host-84-13-89-246.opaltelecom.net JOIN :#esoteric < 1312639725 174522 :Taneb!~nathan@host-84-13-89-246.opaltelecom.net PRIVMSG #esoteric :Hello! < 1312639827 330181 :Taneb!~nathan@host-84-13-89-246.opaltelecom.net PRIVMSG #esoteric :Can I ask what people think of Salesman? < 1312640159 569648 :derrik!~xix@143.122.191.90.dyn.estpak.ee JOIN :#esoteric < 1312640176 433088 :Taneb!~nathan@host-84-13-89-246.opaltelecom.net PRIVMSG #esoteric :Wow, amazing response < 1312640364 671659 :Vorpal!~AnMaster@unaffiliated/anmaster PRIVMSG #esoteric :Taneb, traveling ones? telephone ones? < 1312640581 268196 :fizzie!fis@iris.zem.fi PRIVMSG #esoteric :Okay, here's a response: yes. < 1312640583 183224 :Taneb!~nathan@host-84-13-89-246.opaltelecom.net PRIVMSG #esoteric :Travelling ones < 1312640595 90007 :Taneb!~nathan@host-84-13-89-246.opaltelecom.net PRIVMSG #esoteric :What do people think of Salesman? < 1312640602 484208 :Vorpal!~AnMaster@unaffiliated/anmaster PRIVMSG #esoteric :Taneb, it is an interesting NP-complete problem < 1312640617 127668 :nooga!~nooga@maverick.aircity.pl JOIN :#esoteric < 1312640649 984024 :Taneb!~nathan@host-84-13-89-246.opaltelecom.net PRIVMSG #esoteric :The Esolang I made earlier today was what I was referring to < 1312640654 844710 :Taneb!~nathan@host-84-13-89-246.opaltelecom.net PRIVMSG #esoteric :Based on the problem < 1312640660 988538 :fizzie!fis@iris.zem.fi PRIVMSG #esoteric :Vorpal: I suppose he wanted an opinion on http://www.esolangs.org/wiki/User:Taneb/Salesman and not just the problem in general. < 1312640829 47783 :Patashu!~Patashu@c122-106-155-219.carlnfd1.nsw.optusnet.com.au PRIVMSG #esoteric :Can you prove it's turing complete? < 1312640894 780547 :Taneb!~nathan@host-84-13-89-246.opaltelecom.net PRIVMSG #esoteric :No < 1312640899 670883 :Taneb!~nathan@host-84-13-89-246.opaltelecom.net PRIVMSG #esoteric :I think it is, though < 1312640930 847150 :Taneb!~nathan@host-84-13-89-246.opaltelecom.net PRIVMSG #esoteric :Its memory system is effectively a deque plus an unbounded two-dimensional array < 1312640942 530272 :Taneb!~nathan@host-84-13-89-246.opaltelecom.net PRIVMSG #esoteric :Although the array is harder to use < 1312641003 62087 :Taneb!~nathan@host-84-13-89-246.opaltelecom.net PRIVMSG #esoteric :Assuming the stack is unbounded and contains unbounded values, I believe it is turing complete < 1312641011 884973 :Taneb!~nathan@host-84-13-89-246.opaltelecom.net PRIVMSG #esoteric :Also self-modifying < 1312641016 7764 :Taneb!~nathan@host-84-13-89-246.opaltelecom.net PRIVMSG #esoteric :And NP-hard < 1312641052 374586 :Taneb!~nathan@host-84-13-89-246.opaltelecom.net PRIVMSG #esoteric :And possibly non-deterministic < 1312641150 400811 :derrik!~xix@143.122.191.90.dyn.estpak.ee QUIT :Quit: reconnect < 1312641174 502726 :derrik!~xix@143.122.191.90.dyn.estpak.ee JOIN :#esoteric < 1312641609 373128 :lament!~lament@S0106002312fa554a.vc.shawcable.net JOIN :#esoteric < 1312642138 71954 :Taneb!~nathan@host-84-13-89-246.opaltelecom.net PRIVMSG #esoteric :So, any reviews? < 1312642320 134475 :MSleep!~fyrc@or-67-238-31-252.dhcp.embarqhsd.net NICK :MDude < 1312642345 737606 :BeholdMyGlory!~behold@unaffiliated/beholdmyglory JOIN :#esoteric < 1312642438 355501 :Nisstyre!~nisstyre@infocalypse-net.info JOIN :#esoteric < 1312644052 980444 :Taneb!~nathan@host-84-13-89-246.opaltelecom.net PRIVMSG #esoteric :Anyone? < 1312644621 400391 :MDude!~fyrc@or-67-238-31-252.dhcp.embarqhsd.net PRIVMSG #esoteric :Hm < 1312644726 488570 :MDude!~fyrc@or-67-238-31-252.dhcp.embarqhsd.net PRIVMSG #esoteric :I'd have to play aroudn with and/or learn about solving the traveling salseman's problem to even know where to start trying to make anything in paticular in it. < 1312644766 527116 :MDude!~fyrc@or-67-238-31-252.dhcp.embarqhsd.net PRIVMSG #esoteric :Although, I could just make a big diagonal line of nodes if I jsut wanted ot make a simple sequence. < 1312644790 207627 :MDude!~fyrc@or-67-238-31-252.dhcp.embarqhsd.net PRIVMSG #esoteric :The shortest path would then of course be from one end to the other. < 1312645062 495732 :Taneb!~nathan@host-84-13-89-246.opaltelecom.net PRIVMSG #esoteric :And then back to the beginning < 1312645134 70327 :Patashu!~Patashu@c122-106-155-219.carlnfd1.nsw.optusnet.com.au PRIVMSG #esoteric :I think more interesting would be golfing travelling salesman < 1312645135 351521 :MDude!~fyrc@or-67-238-31-252.dhcp.embarqhsd.net PRIVMSG #esoteric :I think it's be pretty funny if the map for Taxi were used as a Salseman program. < 1312645141 263663 :Patashu!~Patashu@c122-106-155-219.carlnfd1.nsw.optusnet.com.au QUIT :Quit: MSN: Patashu@hotmail.com , Gmail: Patashu0@gmail.com , AIM: Patashu0 , YIM: patashu2 . < 1312645229 926139 :MDude!~fyrc@or-67-238-31-252.dhcp.embarqhsd.net PRIVMSG #esoteric :Though the Taxi map isn't purely topoligical, and thus has roads that aren't simply straight lines form one destination to another. < 1312645762 62634 :Taneb!~nathan@host-84-13-89-246.opaltelecom.net PRIVMSG #esoteric :I'm bored, I'm going to make a Brainfuck to Zot translator < 1312645984 159592 :derrik!~xix@143.122.191.90.dyn.estpak.ee QUIT :Quit: ChatZilla 0.9.87-rdmsoft [XULRunner 1.9.0.17/2009122204] < 1312646017 16583 :Taneb!~nathan@host-84-13-89-246.opaltelecom.net QUIT :Ping timeout: 250 seconds < 1312646207 321393 :Sgeo_!~quassel@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :Is Taxi TC? < 1312646284 78082 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :probs < 1312646296 168599 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :i remember it being p powerful < 1312646308 123451 :MDude!~fyrc@or-67-238-31-252.dhcp.embarqhsd.net PRIVMSG #esoteric :It has at least one queu and one stack. < 1312646321 649090 :MDude!~fyrc@or-67-238-31-252.dhcp.embarqhsd.net PRIVMSG #esoteric :I think two of at least one of them. < 1312646368 418082 :MDude!~fyrc@or-67-238-31-252.dhcp.embarqhsd.net PRIVMSG #esoteric :Two queues. < 1312646442 431920 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :of queues you only need one and a couple registers, yes? < 1312646516 632951 :MDude!~fyrc@or-67-238-31-252.dhcp.embarqhsd.net PRIVMSG #esoteric :I don't know, though there is one register, and a shuffle tool that would act as a register if you only stored one value in it. < 1312646594 323330 :MDude!~fyrc@or-67-238-31-252.dhcp.embarqhsd.net PRIVMSG #esoteric :Oh wait, two registers plus the randomiser. < 1312646610 810913 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :sounds TC to me < 1312646734 582388 :Taneb!~nathan@host-84-13-89-246.opaltelecom.net JOIN :#esoteric < 1312646747 864937 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :so hows that bf to zot translator < 1312646759 666552 :Taneb!~nathan@host-84-13-89-246.opaltelecom.net PRIVMSG #esoteric :Poorly < 1312646770 186616 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :sounds good < 1312646774 885723 :Taneb!~nathan@host-84-13-89-246.opaltelecom.net PRIVMSG #esoteric :I still don't really understand combinatory logic < 1312646936 872784 :derrik!~xix@143.122.191.90.dyn.estpak.ee JOIN :#esoteric < 1312646993 631173 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :Taneb: you combine things, with combinators. < 1312647019 503753 :Taneb!~nathan@host-84-13-89-246.opaltelecom.net PRIVMSG #esoteric :I tried, I really did < 1312647065 10025 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :essentially a combinator is a higher-order function. An example of a simple combinator is function composition. < 1312647129 205382 :Taneb!~nathan@host-84-13-89-246.opaltelecom.net PRIVMSG #esoteric :Generally, when I say combinatory logic, I mean SKI combinator calculus < 1312647147 778495 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :oh, well, that's similar. < 1312647162 312893 :Taneb!~nathan@host-84-13-89-246.opaltelecom.net PRIVMSG #esoteric :It's a subset < 1312647288 505603 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :are you familiar with Haskell? < 1312647300 640216 :Taneb!~nathan@host-84-13-89-246.opaltelecom.net PRIVMSG #esoteric :I'm aquainted < 1312647344 672909 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :> f >>= g h < 1312647345 700560 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : Ambiguous type variable `a' in the constraints: < 1312647345 902706 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : `SimpleReflect.FromExpr ... < 1312647363 784498 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :hmmm < 1312647369 807466 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :@src (>>=) (-> e) < 1312647370 293169 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :Source not found. That's something I cannot allow to happen. < 1312647379 144512 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :well essentially >>= for functions is S < 1312647381 532118 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :const is K < 1312647382 673585 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :id is I < 1312647394 734621 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :er wait. I think ap is S actually. < 1312647410 100049 :Deewiant!~deewiant@cs27125254.pp.htv.fi PRIVMSG #esoteric :@src (->) (>>=) < 1312647410 302550 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :f >>= k = \ r -> k (f r) r < 1312647424 42631 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :@src (->) ap < 1312647424 470199 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :Source not found. Do you think like you type? < 1312647431 60449 :Deewiant!~deewiant@cs27125254.pp.htv.fi PRIVMSG #esoteric :@src ap < 1312647431 262425 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :ap = liftM2 id < 1312647436 141195 :Deewiant!~deewiant@cs27125254.pp.htv.fi PRIVMSG #esoteric :@src liftM2 < 1312647436 343885 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :liftM2 f m1 m2 = do { x1 <- m1; x2 <- m2; return (f x1 x2) } < 1312647462 880812 :Deewiant!~deewiant@cs27125254.pp.htv.fi PRIVMSG #esoteric :@undo \f m1 m2 -> do { x1 <- m1; x2 <- m2; return (f x1 x2) } < 1312647463 131262 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :\ f m1 m2 -> m1 >>= \ x1 -> m2 >>= \ x2 -> return (f x1 x2) < 1312647469 7309 :Deewiant!~deewiant@cs27125254.pp.htv.fi PRIVMSG #esoteric :@src (->) return < 1312647469 209513 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :return = const < 1312647471 934583 :Deewiant!~deewiant@cs27125254.pp.htv.fi PRIVMSG #esoteric :Figure it out! < 1312647502 410367 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :if I recall ap a b c = a c (b c) < 1312647510 773046 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :which is S. < 1312647533 163856 :Deewiant!~deewiant@cs27125254.pp.htv.fi PRIVMSG #esoteric :?pl \a b c -> a c (b c) < 1312647533 366553 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :ap < 1312647586 438941 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric ::t ap id id < 1312647587 399759 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : Occurs check: cannot construct the infinite type: a = a -> b < 1312647587 602023 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : Probable cause: `id' is applied to too few arguments < 1312647587 602219 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : In the second argument of `ap', namely `id' < 1312647643 689735 :Taneb!~nathan@host-84-13-89-246.opaltelecom.net PRIVMSG #esoteric ::t ap (id) (id) < 1312647644 259765 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : Occurs check: cannot construct the infinite type: a = a -> b < 1312647644 461785 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : Probable cause: `id' is applied to too few arguments < 1312647644 461963 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : In the second argument of `ap', namely `(id)' < 1312647676 145195 :Taneb!~nathan@host-84-13-89-246.opaltelecom.net PRIVMSG #esoteric :Didn't think that would work < 1312647748 335921 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :yeah I don't think it will directly translate without some extra steps. < 1312647793 41390 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric ::t const id < 1312647794 32015 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :forall a b. b -> a -> a < 1312647800 680016 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric ::t const < 1312647801 710373 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :forall a b. a -> b -> a < 1312647812 998339 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :true and false. < 1312647843 602041 :Taneb!~nathan@host-84-13-89-246.opaltelecom.net PRIVMSG #esoteric :Handy < 1312647872 862444 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com JOIN :#esoteric < 1312647934 970231 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric ::t let t = const; f = const id; not = f t in not f < 1312647936 56321 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :forall b a. b -> a -> a < 1312647984 409922 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :well no, that's false, I think. not f should have the same type as t.. I would think. < 1312648042 228394 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric ::t let t = const; f = const id; not = f t in f not < 1312648043 403131 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :forall a. a -> a < 1312648077 488527 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric ::t let t = const; f = const id; not = f t in t not < 1312648078 356594 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :forall a b. b -> a -> a < 1312648091 686490 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :hmmm < 1312648237 974560 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric ::t let t = const; f = const id; not = f t in t t f < 1312648238 875480 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :forall a b. a -> b -> a < 1312648246 381884 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric ::t let t = const; f = const id; not = f t in t f f < 1312648247 336678 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :forall b a. b -> a -> a < 1312648261 809622 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :f is a postfix AND, t is an infix OR. < 1312648316 276705 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :so t t f is both true OR false as well as true AND true < 1312648366 342993 :Taneb!~nathan@host-84-13-89-246.opaltelecom.net PRIVMSG #esoteric :Which are both true < 1312648421 484436 :Taneb!~nathan@host-84-13-89-246.opaltelecom.net PRIVMSG #esoteric :Handy < 1312648453 145690 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :yes, the main thing to understand is that everything is in terms of higher-order functions. < 1312648537 341624 :pikhq!~pikhq@174-22-157-128.clsp.qwest.net QUIT :Ping timeout: 246 seconds < 1312648551 483449 :pikhq!~pikhq@71-219-218-224.clsp.qwest.net JOIN :#esoteric < 1312648585 37963 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :hmmm, this is the first time I've read about the B,C,K,W system. < 1312648611 422649 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :b = (.); c = flip; k = const; w = join < 1312648618 192806 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :sounds like a lot of point-free fun. < 1312648622 566617 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com PRIVMSG #esoteric :Now what are you trying to make with Haskell? < 1312648633 614620 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :nothin < 1312648634 471032 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :zzo38: boolean logic via SKI combinators. < 1312648677 143079 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :just giving taneb a tour of ski combinators so they can make a bf to zot translator < 1312648700 893595 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric ::t let b = ap (const ap) const in b < 1312648701 864165 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :forall a b b1. (a -> b) -> (b1 -> a) -> b1 -> b < 1312648709 484471 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :look familiar? < 1312648745 68103 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric ::t let b = ap (const ap) const in b (++"blah") reverse "hello" < 1312648746 103107 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :[Char] < 1312648748 877086 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :> let b = ap (const ap) const in b (++"blah") reverse "hello" < 1312648750 555403 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : "ollehblah" < 1312648855 758210 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :> let c = ap (ap (const (ap (const ap) const)) ap) (const const) in c (++) "hello" "blah" < 1312648857 355813 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : "blahhello" < 1312648885 96787 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :interesting. < 1312648889 88108 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com PRIVMSG #esoteric :Does Haskell have types that you can select zero or more? Regardless of that, it would be useful feature of the other program language I was mentioning < 1312648897 752431 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :I really have a hard time what the hell is going on there. < 1312648903 729490 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com PRIVMSG #esoteric :Is there? < 1312648910 227257 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :zero or more of what? < 1312648937 299998 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :zero or more of another type would be list. Or do you mean zero or more types? < 1312648950 420625 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com PRIVMSG #esoteric :Pretend you have a new command in Haskell "multidata" that you can write like that: < 1312648951 677087 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com PRIVMSG #esoteric :multidata CardTypes = Artifact ArtifactSub | Creature CreatureSub Integer Integer | Enchantment EnchantmentSub | Instant SpellSub | Sorcery SpellSub | Tribal CreatureSub | Land LandSub | Planeswalker PlaneswalkerSub Integer < 1312648988 347199 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com PRIVMSG #esoteric :So, now the value of "CardTypes" type can be none of these, or using both the Artifact and Creature constructors, etc < 1312648998 77680 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :ah. < 1312649013 724267 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :no. But that could be simulated with a list. < 1312649028 238224 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com PRIVMSG #esoteric :Yes I suppose you are correct. < 1312649039 201862 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :but it won't give you typing for each constructor, if that's what you mean. < 1312649044 880616 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :you could simulate that with a tuple and GADT. < 1312649053 778379 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com PRIVMSG #esoteric :OK. < 1312649066 313482 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :so then each constructor has its own phantom type. (CardTypes Artiface, CardTypes, Creature) < 1312649069 481770 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :er < 1312649080 712571 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :(CardTypes Artifact, CardTypes Creature) < 1312649086 858801 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :or whatever. < 1312649114 664452 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :also a typeclass could be used in place of GADT. < 1312649120 232225 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :CardTypes Artifact Creature < 1312649120 435056 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :so many options. < 1312649139 278325 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :..unless there's specifically two type parameters that definitely wouldn't work. < 1312649141 440398 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :dont forget the full power set must be available :P < 1312649165 162602 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :the union of two different constructors was being represented by the tuple. < 1312649167 893347 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com PRIVMSG #esoteric :However, the thing I mentioned would be the kind of thing for a new programming language, with different features (although some of the Haskell stuff but not all, and some stuff that is not part of Haskell, as well as different uses of it) < 1312649209 499494 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :I've always thought Haskell's type system could be extended to be more flexible, but then you run the risk of becoming undecidable. < 1312649248 950625 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com PRIVMSG #esoteric :So you can do something, such as, if it contains the "Creature" type then use the final Integer parameter, otherwise use 0, and so on, you make function like that. < 1312649277 596936 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :well that can be accomplished with pattern matching. < 1312649298 847990 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com PRIVMSG #esoteric :And such things can be specified as rules which can have names and be overridden by procedural rulebooks and so on. < 1312649317 142428 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :I was thinking in particular that a tuple could be made equivalent to a value with an anonymous type, but with known constructor type. < 1312649339 853210 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :thus (Int,Int) could represent data Point a b = Point Int Int < 1312649350 651043 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :or data Complex a b = Int :+ Int < 1312649381 509313 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :and values constructed with Point and :+ are of type (Int, Int) < 1312649405 753174 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :...simultaneously. Two different flavors of type, essentially. < 1312649517 269510 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com PRIVMSG #esoteric :I wouldn't think so. Maybe same in LLVM, but I don't think they should be same in Haskell. However, it should have something allowing typing direct LLVM codes and if you do that, then you can treat them as the same type in the LLVM codes < 1312649755 810699 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com QUIT :Remote host closed the connection < 1312649978 772856 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :What are the haps my friends also why was zzo going on about LLVM and Haskell. < 1312650055 58387 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :CakeProphet, isn't that what... oh, I forget, it's either type or typedef does. < 1312650068 29015 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :dunno, but I made BCKW out of SKI in Haskell, with the help of Wikipedia. It was somewhat enlightening but also confusing. < 1312650090 899459 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :Phantom_Hoover: type just creates a type synonym. Which isn't quite what I mean. I wasn't aware Haskell had a typedef keyword.... actually. < 1312650103 361829 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :It doesn't. < 1312650133 30059 :Taneb!~nathan@host-84-13-89-246.opaltelecom.net PRIVMSG #esoteric :Zero in BCKW is C K < 1312650137 650170 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :It does have newtype, which was being confused in my head into typedef. < 1312650167 459297 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :Taneb, in SKI it's just K I, isn't it? < 1312650176 394703 :Taneb!~nathan@host-84-13-89-246.opaltelecom.net PRIVMSG #esoteric :Yeah, I think so < 1312650180 113900 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :I'm saying that each value would have a "nominal type" and a "constructor type". The nominal type is your typical Haskell type. < 1312650200 919220 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :but the constructor type shows the types of the constructor's parameters. < 1312650224 103249 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :and is written as a tuple. A tuple is thus a kind of anonymous constructor with nominal type a < 1312650278 100792 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :(Int,Int) -> Int could accept a Complex, a Point, or a tuple, in this system. < 1312650297 250950 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :anything that is constructed from two ints. < 1312650366 764807 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :I was also thinking it would interesting to introduce sum types that don't require the use of Either. < 1312650383 932336 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :(Int | Char) -> (Int | Char) < 1312650394 498494 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :but I'm not quite sure if that's decidable. < 1312650414 414610 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :or how useful it would be in practice. < 1312650442 47265 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :CakeProphet, still... not quite sure where the difference with type synonyms comes from. < 1312650497 417129 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :the difference is that it goes deeper than synonyms. You could have a single nominal type with many different constructors, and each constructor would have a different constructor type. < 1312650535 189149 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :(Int, Int) might accept some of those constructors but not others, even though they given the same type name. < 1312650560 438733 :elliott!~elliott@unaffiliated/elliott JOIN :#esoteric < 1312650564 282530 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :I... nope, still not following. < 1312650570 622435 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :elliott, check messages now plx. < 1312650622 535431 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Phantom_Hoover: /msg < 1312650622 775008 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :elliott: You have 7 new messages. '/msg lambdabot @messages' to read them. < 1312650630 761809 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :data T = A | B Int | C Int Int < 1312650673 930004 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :with this type system. The function () -> Int would accept values constructed by A < 1312650692 251950 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :(Int, Int) -> Int would accept values constructed by C, but not B or A. < 1312650744 376581 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :....not sure about the single-parameter case. I think you would need to introduce 1-tuples... otherwise Int -> Int would just accept values constructed by B. < 1312650764 171335 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :which might be fine actually; < 1312650882 620360 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :what < 1312650897 183107 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :...I don't understand what is difficult to understand about this. < 1312650921 494742 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :i've seen the few lines since I came in and the thing that's difficult to understand is that you're not actually making any sense < 1312650984 256651 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :22:15:00: I vaguely recall a Sonic video where Sonic really doesn't get much screen-time, the camera's mostly trying to catch up. < 1312650984 542983 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric ::d < 1312650985 104497 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric ::d < 1312650986 450175 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :... < 1312650987 57599 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric ::D < 1312650990 957052 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :stupid capslock < 1312651015 216438 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :CakeProphet, a function A → B is well-typed for values of type A only, and for all values of A. < 1312651036 696372 :MigoMipo!~John@84-217-7-216.tn.glocalnet.net QUIT :Read error: Connection reset by peer < 1312651068 934571 :MigoMipo!~John@84-217-7-216.tn.glocalnet.net JOIN :#esoteric < 1312651089 585815 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :CakeProphet, I'm willing to bet that changing that is going to mess up an awful lot of the existing type system. < 1312651094 412809 :Taneb!~nathan@host-84-13-89-246.opaltelecom.net QUIT :Ping timeout: 252 seconds < 1312651308 781317 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :Phantom_Hoover: right but if you looked at the types as sets constructed from products and unions of other sets... then you could deduce that some types are subsets and supersets of other types. < 1312651431 909344 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :and maybe. I don't know. I haven't considered all of the ramifications. < 1312651573 152154 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :"if you looked at the types as sets constructed from products and unions of other sets" < 1312651579 989032 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :you might want to learn type theory. < 1312651806 13152 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :that's quite a bit of stuff to learn for what is essentially a quick thought experiment. Perhaps you could enlighten me on some specific points? < 1312651872 687805 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :it's not much to learn if what you are doing is proposing extensions to type systems < 1312652025 170936 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :CakeProphet: Anyway, you can't view all types as being constructed from products and unions, because recursive types exist. < 1312652117 502284 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :how about a type-level let? :) < 1312652143 861140 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :not sure what that would fix exactly. < 1312652152 828026 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :but it would include recursive types. < 1312652167 222155 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :It would not. < 1312652179 224887 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :It would only do so if your let includes implicit fix, i.e. general recursion. < 1312652187 800974 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :also, I'm not sure that I have to treat /every/ type as a product or union in order to treat /some/ types as equivalent or subsets of others. < 1312652194 593824 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :You can just introduce type-level fix, if you're okay with an inconsistent type system. < 1312652200 527351 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :(Haskell is OK with this, but no type theory is, for obvious reasons.) < 1312652295 118154 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :though type inference would become problematic as types are no longer unambiguous in this kind of model. < 1312652372 349799 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :elliott, what does 'inconsistent' actually mean in the context of type systems? < 1312652384 986267 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Phantom_Hoover: Curry-Howard. < 1312652387 831388 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :elliott, ah. < 1312652408 600074 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Phantom_Hoover: Which is sort of the point of type theory. < 1312652414 151452 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :It's a foundational system, after all. < 1312652435 793865 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :(I'd guessed it was C-H, but I failed to see the relevance to day-to-day uses of type theory.) < 1312652468 924379 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Phantom_Hoover: Well, uh, Agda and Coq are generally used to prove things. < 1312652472 348914 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :So that's quite relevant. < 1312652486 121293 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :elliott, sure, and that's why recursion is tightly controlled in both. < 1312652505 63038 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Phantom_Hoover: It's not really "tightly controlled", but, um, that's not really the point. < 1312652508 801410 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :But when you're talking about extensions to the Haskell type system? Not so much. < 1312652514 242140 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Phantom_Hoover: I was talking about type theory. < 1312652523 839462 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Haskell's type system does not really count as an application of type theory. < 1312652528 615918 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :elliott, 'tightly controlled' as in you need to be careful where you use it. < 1312652542 552969 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Obviously some things carry over, but the fact that it's completely inconsistent makes it a rather different beast in reality. < 1312652545 485090 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :elliott, then... why was anyone even talking about it, then. < 1312652551 819711 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Because it's relevant wrt. sums and products. < 1312652565 908232 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Consider Martin-Löf type theory (aka "Type Theory", annoyingly); http://en.wikipedia.org/wiki/Intuitionistic_type_theory#Connectives_of_Type_Theory. < 1312652614 643898 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :I want a whatever type that's just all like "whatever" < 1312652615 926507 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :elliott, not what CakeProphet was talking about. < 1312652630 496092 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :CakeProphet, is this the Cake-Prophet type theory? < 1312652633 862260 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Phantom_Hoover: It's constructing types out of sums and products, which is exactly what CakeProphet was talking about. < 1312652647 847624 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :(All type theory names need hyphens.) < 1312652682 501313 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :...I didn't mean constructing them exclusive by that. I meant that you could use sums and products to deduce equivalence/subset relationships in types. I suppose this would have to exclude recursive types. < 1312652736 216522 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :so that, for example, the tuple type acted as a kind of anonymous type, that specifies values by their constructor parameters rather than by the type name that they're given. < 1312652808 76739 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :the 2-tuple type being equivalent to some types (such as Complex), and subsets of others (I can't think of any good examples..) < 1312652863 165653 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :data Something a b = A a | B b | C a b < 1312652871 365514 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :bam, this bitch is a superset of (a,b) < 1312652922 70986 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :fst (C 2 2) -- now magically valid in CakeProphet Haskell < 1312652931 854795 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :fst (A 1) --motherfucking type error < 1312653010 859193 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :I'm sure there's something horribly wrong with this, but oh well. < 1312653029 244971 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :I'm going to sleep soon, anyways. < 1312653080 785207 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :CakeProphet, learn you some typeclasses. < 1312653125 937348 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :done. they're somewhat annoying to use all the time. And the standard library doesn't use them everywhere to make generalizations like that standard. < 1312653140 2635 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :they're entirely sufficient for the job though. < 1312653177 353441 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :The standard library is a pretty crappy thing < 1312653184 490580 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :As far as typeclasses go. < 1312653198 415425 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :Monads, for instance, don't have to be Functors. < 1312653248 625502 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :well that's fine. It frees Monads from the oppressive malice of the overbearing Functor. < 1312653271 347262 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :let all data be free! < 1312653309 68838 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :CakeProphet, learn you some category theory too. < 1312653319 72520 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :oh I know about that. < 1312653344 110293 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :I'm just saying... what if you don't /need/ the Functor instance, but do need the Monad one? < 1312653368 638306 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :why should it be required to write more than necessary? < 1312653433 464958 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :trivial code, but still. < 1312653441 98709 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :POWER TO THE PROGRAMMER, MAN. < 1312653451 732024 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :it's a radical new age, dude. < 1312653481 631880 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :where Monads don't have to have a functor. < 1312653621 918180 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :CakeProphet, yes they do. < 1312653629 839265 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :Even if you don't define them as one, they still are. < 1312653643 175020 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :...shhhh. < 1312653649 649160 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :Or at least, you can make any monad into a functor. < 1312653664 653654 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :but we can just omit that for the sake of laziness, can't we? < 1312653725 39318 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :this is a brave new world we're living in. Where Num instances have to have Show instances for some reason. < 1312653805 111580 :Taneb!~nathan@host-84-13-89-246.opaltelecom.net JOIN :#esoteric < 1312653807 911851 :Taneb!~nathan@host-84-13-89-246.opaltelecom.net PRIVMSG #esoteric :Hello < 1312653810 674182 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Num is the biggest joke. < 1312653889 583275 :Taneb!~nathan@host-84-13-89-246.opaltelecom.net PRIVMSG #esoteric :...I don't get it < 1312653905 588313 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric : this is a brave new world we're living in. Where Num instances have to have Show instances for some reason. < 1312653917 226739 :Taneb!~nathan@host-84-13-89-246.opaltelecom.net PRIVMSG #esoteric :Okay < 1312653920 788293 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :And where nats aren't numbers. < 1312654254 607167 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :They're numbers, just not Num...bers. < 1312654500 513760 :Taneb!~nathan@host-84-13-89-246.opaltelecom.net PRIVMSG #esoteric :Well, my Brainfuck to Lambda Calculus translater, because that's easier, has had a slight problem < 1312654682 310005 :myndzi!myndzi@c-24-22-176-245.hsd1.wa.comcast.net QUIT :Ping timeout: 240 seconds < 1312654694 892379 :MDude!~fyrc@or-67-238-31-252.dhcp.embarqhsd.net PRIVMSG #esoteric :What's it having a problem with? < 1312654805 29395 :Taneb!~nathan@host-84-13-89-246.opaltelecom.net PRIVMSG #esoteric :It loops infinitely when it shouldn't < 1312654818 918384 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :`dc -e "16i2o5F3759DFp" < 1312654822 633234 :HackEgo!Gregor@codu.org PRIVMSG #esoteric :No output. < 1312654829 649609 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :-_- < 1312654861 660193 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :
ACTION wonders why he always goes to dc for calculations despite never quite knowing how it works.
< 1312654912 248996 :MDude!~fyrc@or-67-238-31-252.dhcp.embarqhsd.net PRIVMSG #esoteric :How maybe bots like Lambdabot and HackEgo are even on here? < 1312654943 682804 :Taneb!~nathan@host-84-13-89-246.opaltelecom.net PRIVMSG #esoteric :4 < 1312654953 760721 :lament!~lament@S0106002312fa554a.vc.shawcable.net PRIVMSG #esoteric :62 < 1312654954 710837 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :MDude, lambdabot, HackEgo and EgoBot are the orthodox programming bots. < 1312654963 271270 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :fungot is a bit of an edge case. < 1312654963 482871 :fungot!~fungot@momus.zem.fi PRIVMSG #esoteric :Phantom_Hoover: man. it is a good idea. leave me alone. < 1312654983 481220 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :fungot, OK. < 1312654983 683329 :fungot!~fungot@momus.zem.fi PRIVMSG #esoteric :Phantom_Hoover: what, the last one. wait no, that just made you disappear" and stuff < 1312654999 301129 :olsner!~salparot@c83-252-161-133.bredband.comhem.se PRIVMSG #esoteric :fungot: flrgl, bork < 1312654999 503206 :fungot!~fungot@momus.zem.fi PRIVMSG #esoteric :olsner: that it makes a guest of it, much as the moon takes liberty. reason. justice. civility. edification. perfection. your hands, < 1312655011 356436 :MDude!~fyrc@or-67-238-31-252.dhcp.embarqhsd.net PRIVMSG #esoteric :And I guess glogbot is the unorthodox one? < 1312655024 824667 :MDude!~fyrc@or-67-238-31-252.dhcp.embarqhsd.net PRIVMSG #esoteric :It's a name that ends in bot. < 1312655053 21924 :Taneb!~nathan@host-84-13-89-246.opaltelecom.net NICK :TanebBot < 1312655073 521873 :TanebBot!~nathan@host-84-13-89-246.opaltelecom.net PRIVMSG #esoteric :I'm going to get into trouble for this, aren't I? < 1312655078 279334 :TanebBot!~nathan@host-84-13-89-246.opaltelecom.net PRIVMSG #esoteric :It's not even that funny. < 1312655080 767605 :TanebBot!~nathan@host-84-13-89-246.opaltelecom.net NICK :Taneb < 1312655094 750470 :MDude!~fyrc@or-67-238-31-252.dhcp.embarqhsd.net PRIVMSG #esoteric :Please, you're the other kind of bot. < 1312655103 285243 :MDude!~fyrc@or-67-238-31-252.dhcp.embarqhsd.net PRIVMSG #esoteric :That stealthily pretends not to be one. < 1312655158 523789 :MDude!~fyrc@or-67-238-31-252.dhcp.embarqhsd.net PRIVMSG #esoteric :I'm wondering about different kind of logical tools and/or how to combine them. < 1312655180 575681 :myndzi!myndzi@c-24-22-176-245.hsd1.wa.comcast.net JOIN :#esoteric < 1312655188 145331 :MDude!~fyrc@or-67-238-31-252.dhcp.embarqhsd.net PRIVMSG #esoteric :For instance, modal logic looks like it could be recursivly applied to itself to form a tree structure. < 1312655263 684474 :MDude!~fyrc@or-67-238-31-252.dhcp.embarqhsd.net PRIVMSG #esoteric :I'm not sure if it makes sense to try applying modal logic to ternary logic. < 1312655275 883246 :MDude!~fyrc@or-67-238-31-252.dhcp.embarqhsd.net PRIVMSG #esoteric :I don't know how mu relates to either of those. < 1312655336 883460 :Taneb!~nathan@host-84-13-89-246.opaltelecom.net PRIVMSG #esoteric :Ternary with Mu is pretty easy < 1312655376 250691 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric : It's a name that ends in bot. < 1312655377 803000 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :as opposed to egobot < 1312655405 956831 :lament!~lament@S0106002312fa554a.vc.shawcable.net PRIVMSG #esoteric :fungot: you seem to be the sanest person here. < 1312655406 159906 :fungot!~fungot@momus.zem.fi PRIVMSG #esoteric :lament: the other pair does as well try it again. this prototyping had no idea. you'll mess with it later, somehow. this young man be??? now you've seen everything! < 1312655423 248524 :MDude!~fyrc@or-67-238-31-252.dhcp.embarqhsd.net PRIVMSG #esoteric :I'd guess that maybe mu could be related to the contradictory state in modal logic, while ternary lgoc's unknown could relate to the lacking information state. < 1312655426 998262 :lament!~lament@S0106002312fa554a.vc.shawcable.net PRIVMSG #esoteric :now i've seen everything. < 1312655468 781549 :Taneb!~nathan@host-84-13-89-246.opaltelecom.net PRIVMSG #esoteric :No you haven't < 1312655510 245187 :Taneb!~nathan@host-84-13-89-246.opaltelecom.net PRIVMSG #esoteric :I refuse to succumb to relitively common expressions! < 1312655514 333396 :Taneb!~nathan@host-84-13-89-246.opaltelecom.net PRIVMSG #esoteric :Or the correct spelling of certain words! < 1312655520 792934 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :MDude, if you can define undefined, then you can prove anything in the corresponding logical system. < 1312655714 309238 :Taneb!~nathan@host-84-13-89-246.opaltelecom.net PRIVMSG #esoteric :Does that work with circular definitions of undefined? < 1312655765 439687 :MDude!~fyrc@or-67-238-31-252.dhcp.embarqhsd.net PRIVMSG #esoteric :Well, in ternary, unknown is jsut another state like true or false. < 1312655801 21153 :Taneb!~nathan@host-84-13-89-246.opaltelecom.net PRIVMSG #esoteric :Not in all variants < 1312655806 679933 :Taneb!~nathan@host-84-13-89-246.opaltelecom.net PRIVMSG #esoteric :eg. Balanced Ternary < 1312655817 51832 :MDude!~fyrc@or-67-238-31-252.dhcp.embarqhsd.net PRIVMSG #esoteric :Well yeah, I did mean that. < 1312655860 544631 :cheater!~ubuntu@g229129167.adsl.alicedsl.de PRIVMSG #esoteric :this fromage cathare was amazing. < 1312655894 374411 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :Taneb, that's the canonical way to define undefined. < 1312655902 864496 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :undefined :: a < 1312655906 603597 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :undefined = undefined < 1312655937 748345 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :And ternary doesn't really make sense as far as C-H goes. < 1312655947 688274 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :A type is either inhabited or it isn't. < 1312655962 980536 :MDude!~fyrc@or-67-238-31-252.dhcp.embarqhsd.net PRIVMSG #esoteric :C-H? < 1312656008 828070 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :Curry-Howard isomorphism. < 1312656026 988276 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :The one that associates types and functions to logical statements. < 1312656115 343133 :micahjohnston!~micahjohn@ec2-174-129-205-205.compute-1.amazonaws.com QUIT :Ping timeout: 255 seconds < 1312656152 290647 :MDude!~fyrc@or-67-238-31-252.dhcp.embarqhsd.net PRIVMSG #esoteric :I see, I don't think I've read much about that. < 1312656174 939711 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Phantom_Hoover: s/types and values/ < 1312656179 202036 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :I'm pro at s///. < 1312656232 971123 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :elliott, you need functions in there as well, but I guess they count as values of types. < 1312656247 685541 :Deewiant!~deewiant@cs27125254.pp.htv.fi PRIVMSG #esoteric :/\/$/s/\/$/\/\// < 1312656281 82955 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Phantom_Hoover: I...what? < 1312656282 803574 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Functions are values. < 1312656403 803420 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :elliott, yes, they are. < 1312656672 390334 :KingOfKarlsruhe!~chatzilla@p5B14D526.dip.t-dialin.net JOIN :#esoteric < 1312656685 353036 :Taneb!~nathan@host-84-13-89-246.opaltelecom.net QUIT :Ping timeout: 246 seconds < 1312656690 348544 :micahjohnston!~micahjohn@ec2-174-129-205-205.compute-1.amazonaws.com JOIN :#esoteric < 1312656862 110975 :ais523!~ais523@unaffiliated/ais523 JOIN :#esoteric < 1312656870 469172 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :hi ais523 < 1312656880 581278 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :hi < 1312656904 666231 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :what does the -s option to wget do? < 1312656944 619944 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :ais523: prints the headers sent by HTTP servers < 1312656949 493522 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :ah, OK < 1312656952 681483 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :and responses set by FTP servers, apparently < 1312656956 384228 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :were you timing me against man(one)? < 1312656966 364388 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :elliott: no, I was trying to understand the topic < 1312656975 486681 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :and your answer just made me more confused < 1312656979 106008 :cheater!~ubuntu@g229129167.adsl.alicedsl.de PRIVMSG #esoteric : no that's -S. there's no -s. < 1312657016 128582 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :blame less' / command. < 1312657046 95333 :cheater!~ubuntu@g229129167.adsl.alicedsl.de PRIVMSG #esoteric :it's case-sensitive here. i blame your configuration. < 1312657068 532686 :cheater!~ubuntu@g229129167.adsl.alicedsl.de PRIVMSG #esoteric :oh right, i forgot macs were cAsE InsEnsItIvE < 1312657164 809163 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :the way HFS does Unicode is pretty dubious, too < 1312657189 580930 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :(it actually tries to compare filenames using a Unicody comparison, but it do so by normalizing them on disk, which causes all sorts of interesting breakages) < 1312657190 439745 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :I don't use OS X. < 1312657200 690314 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :ais523: normalising filenames on disk is fairly reasonable in theory < 1312657209 904160 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :indeed < 1312657223 397343 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :but not when you have to interact with filesystems you might not own < 1312657227 937024 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :ais523: I mean, you don't want to be able to specify the exact same filename to a program but have it fail to load because the real file has a differently-normalised name < 1312657235 752547 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :yep < 1312657250 749925 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :especially since it might be hard to specify the true name, if, say, your terminal's output system normalises on output < 1312657255 509398 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :but I think I read something that argued that it was saner to do that in the open call, rather than on the disk itself < 1312657260 484944 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :or even your toolkit's "paste" function does < 1312657371 417549 :cheater!~ubuntu@g229129167.adsl.alicedsl.de PRIVMSG #esoteric :elliott, so you have finally bought that usb cdrom? < 1312657383 924844 :cheater!~ubuntu@g229129167.adsl.alicedsl.de PRIVMSG #esoteric :or firewire or whatever < 1312657421 429462 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :you really do never give up < 1312657434 82311 :cheater!~ubuntu@g229129167.adsl.alicedsl.de PRIVMSG #esoteric :never gonna give you up < 1312657451 421211 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I have a USB floppy disk drive < 1312657454 530602 :cheater!~ubuntu@g229129167.adsl.alicedsl.de PRIVMSG #esoteric :i was just wondering if you finally succeeded getting that superdrive based linux installation going < 1312657459 894195 :cheater!~ubuntu@g229129167.adsl.alicedsl.de PRIVMSG #esoteric :ais523, they're surprisingly useful < 1312657466 567721 :cheater!~ubuntu@g229129167.adsl.alicedsl.de PRIVMSG #esoteric :even as "usb keys" < 1312657471 381439 :cheater!~ubuntu@g229129167.adsl.alicedsl.de PRIVMSG #esoteric :there's always a floppy disk around < 1312657494 434726 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :most of the floppy disks I own are full of data, and many have bad sectors < 1312657836 710439 :KingOfKarlsruhe!~chatzilla@p5B14D526.dip.t-dialin.net QUIT :Quit: ChatZilla 0.9.87 [Firefox 5.0/20110615151330] < 1312657904 986686 :Sgeo_!~quassel@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :http://scienceblogs.com/pharyngula/2011/08/somebody_doesnt_understand_bas.php#comment-4721628 someone with my habit of making excuses for idiots? < 1312658043 384333 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Sgeo_: Isn't that the old Pharyngula site? < 1312658047 94884 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :ISTR he moved. < 1312658112 947720 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :You mean as part of the general SB exodus? < 1312658119 119245 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Yes. < 1312658377 552910 :Sgeo_!~quassel@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :There's an SB exodus? < 1312658387 411608 :Sgeo_!~quassel@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :And he still seems to be posting on there < 1312658418 115244 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :"More articles by PZ Myers can be found on Freethoughtblogs at the new Pharyngula!" < 1312658420 992615 :Sgeo_!~quassel@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :Or, well, I kind of have a backlog in my "Slow" feeds < 1312658422 676485 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Those posts are just mirrored, it seems. < 1312658432 443239 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :From http://freethoughtblogs.com/pharyngula/. < 1312658437 45833 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :http://freethoughtblogs.com/pharyngula/2011/08/06/somebody-doesnt-understand-basic-genetics/ < 1312658463 142360 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :And yes; IIRC the SB exodus was due to adverts. < 1312658470 808397 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Or something like that; they did something shitty and everyone jumped ship. < 1312659016 406060 :derrik!~xix@143.122.191.90.dyn.estpak.ee QUIT :Quit: left < 1312659220 364023 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake QUIT :Ping timeout: 276 seconds < 1312659569 679923 :NihilistDandy!~ND@c-75-69-129-101.hsd1.nh.comcast.net PRIVMSG #esoteric :As much as I enjoy the sort of obscure math jokes in the new season of Futurama, they seem a little wanky most of the time < 1312659587 487571 :monqy!~chap@pool-71-102-215-70.snloca.dsl-w.verizon.net JOIN :#esoteric < 1312659650 805474 :NihilistDandy!~ND@c-75-69-129-101.hsd1.nh.comcast.net PRIVMSG #esoteric :s/a little/really/ < 1312659852 223853 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :hello monqy < 1312659880 912677 :monqy!~chap@pool-71-102-215-70.snloca.dsl-w.verizon.net PRIVMSG #esoteric :hello < 1312659907 886294 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :welcome to the house < 1312659916 956754 :monqy!~chap@pool-71-102-215-70.snloca.dsl-w.verizon.net PRIVMSG #esoteric :house < 1312659922 763592 :monqy!~chap@pool-71-102-215-70.snloca.dsl-w.verizon.net PRIVMSG #esoteric :the house < 1312660157 208012 :oerjan!oerjan@tyrell.nvg.ntnu.no JOIN :#esoteric < 1312660184 189436 :pikhq_!~pikhq@71-219-203-192.clsp.qwest.net JOIN :#esoteric < 1312660213 267083 :pikhq!~pikhq@71-219-218-224.clsp.qwest.net QUIT :Ping timeout: 246 seconds < 1312660418 823518 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :ok, so i think i have found a way to implement fractran such a way as to get the usual halting condition for it. even though i _still_ don't know a way to calculate n%2 in a standalone way. < 1312660426 934159 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :*in such < 1312660475 462084 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :and in fact i suspect it is impossible. < 1312660496 936366 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric ::( < 1312660543 661807 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :essentially my problem was that i was trying to get information out of the loop for each fractran rule about whether it had triggered. < 1312660573 656685 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :now _each_ fractran rule loop is perfectly capable of understanding an n%2 halting condition, though. < 1312660660 539277 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :so the solution is to merge all the rule loops into one which does a gigantic case branch modulo the lcm of all the denominators. < 1312660665 559091 :Taneb!~nathan@host-84-13-89-246.opaltelecom.net JOIN :#esoteric < 1312660677 690101 :Taneb!~nathan@host-84-13-89-246.opaltelecom.net PRIVMSG #esoteric :'Lo < 1312660680 911595 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :hi < 1312660750 214651 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :thus, the necessary information for halting the program no longer needs to leave that loop, and no separate main loop is needed. < 1312660812 979860 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com JOIN :#esoteric < 1312660836 304006 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com PRIVMSG #esoteric :Can you make real numbers in Haskell if you have enough constructors for what you are making? < 1312660899 375359 :pikhq_!~pikhq@71-219-203-192.clsp.qwest.net PRIVMSG #esoteric :zzo38: There exist uncomputable real numbers. < 1312660959 244425 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :using this, and a bit of exponentiation and logarithm at the end, it should be possible to calculate any computable function of a single natural number in 3-cell brainfuck. but quite probably not without clobbering the original, even for n%2. < 1312660978 471966 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com PRIVMSG #esoteric :pikhq_: Yes I know that. But, you would have constructors for all the things you are making compute in your program. Not for uncomputable things < 1312661040 740202 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com PRIVMSG #esoteric :But pretend you have a hypothetical "oracle" function, now you could make up a consrtuctor for that and you can have uncomputable things. Of course it is impossible, which is why it is hypothetical. < 1312661092 356187 :pikhq_!~pikhq@71-219-203-192.clsp.qwest.net PRIVMSG #esoteric :It'll still not get you the reals. < 1312661112 503166 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com PRIVMSG #esoteric :I know that. < 1312661114 563322 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Haskell could have reals just fine. < 1312661120 303934 :pikhq_!~pikhq@71-219-203-192.clsp.qwest.net PRIVMSG #esoteric :Perfectly possible to do the *computable* reals, though. < 1312661126 903814 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :You just couldn't get at most of them. < 1312661131 942075 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :But you could easily define a constant < 1312661133 783423 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :chaitin :: Real < 1312661173 206327 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com PRIVMSG #esoteric :But then you could not compute anything about it, many of the operations defined on Real number will fail when used with such constantss if they represent uncomputable numbers < 1312661270 807870 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com PRIVMSG #esoteric :I think you would just need constructors for the various ways of computing reals, such as trigonometric, exponent, logarithm, arithmetic, etc, and then the compare function, add function, floor, so on, must based on which constructor is being used < 1312661352 359386 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com PRIVMSG #esoteric :But I don't know for sure or for exactly < 1312661353 873336 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :even _that_ may make the compare function uncomputable. there are easy constants that are unknown whether they are rational numbers... < 1312661379 227621 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :for example e*pi, iirc < 1312661426 189389 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :and it is conceivable that if it _is_ a particular rational number, you can never prove it < 1312661476 49208 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :(whether this is possible for e*pi in particular, i don't know) < 1312661550 824910 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com PRIVMSG #esoteric :Maybe the program might not halt in some cases due to that... < 1312661582 839617 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :quite likely. < 1312661832 106594 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com PRIVMSG #esoteric :But which things are possible? < 1312661994 860357 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :you can compute continuous functions < 1312662021 853726 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :so all those you mentioned except compare and floor < 1312662080 136274 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :hm well, except logarithm of zero or division by it < 1312662101 620937 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com PRIVMSG #esoteric :But compare and floor can probably work in some cases; and in other cases it will not halt, I think. < 1312662118 768308 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :yes. < 1312662337 731161 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric : I think given crossed paths, it's always a correct optimization to uncross them < 1312662349 494123 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :but can you always do that without adding a new crossing? < 1312662401 900687 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :also, this might disconnect the graph. < 1312662492 96826 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :hm indeed uncross does shorten it, since a side of a triangle is always shorter than the sum of the other two < 1312662538 959459 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :oh and since it _does_ shorten, you can keep doing it until it stops < 1312662556 500695 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :at which point there will be no crossings left. < 1312662689 204113 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :oh and at least one of the two possible uncrossings won't disconnect. < 1312662718 184001 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :Q.E.D. < 1312662813 740486 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric : > let mul _ 0 = 0; mul a 1 = a; mul a b = foldl (>>=) id (replicate (b-1) (+)) a in mul 4 5 < 1312662817 674521 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :hm... < 1312662822 277196 :Taneb!~nathan@host-84-13-89-246.opaltelecom.net PRIVMSG #esoteric :That's handy < 1312663065 377342 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :oerjan: did you just solve the wire crossing problem? ;D < 1312663085 648125 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :one of them, perhaps < 1312663214 499790 :Taneb!~nathan@host-84-13-89-246.opaltelecom.net PRIVMSG #esoteric :A problem involving the crossing of wires < 1312663249 412559 :Taneb!~nathan@host-84-13-89-246.opaltelecom.net PRIVMSG #esoteric :Actually closer related to the travelling salesman problem < 1312663365 146545 :Taneb!~nathan@host-84-13-89-246.opaltelecom.net PRIVMSG #esoteric :I think I've just either completely misunderstood or solved the wire crossing problem < 1312663407 632178 :Taneb!~nathan@host-84-13-89-246.opaltelecom.net PRIVMSG #esoteric :I'm probably cheating < 1312663458 826723 :Taneb!~nathan@host-84-13-89-246.opaltelecom.net PRIVMSG #esoteric :I'm cheating < 1312663583 750844 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :What was the cheat? < 1312663601 274607 :Taneb!~nathan@host-84-13-89-246.opaltelecom.net PRIVMSG #esoteric :Unless... < 1312663607 45992 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Gregor: Ping. < 1312663625 866218 :Gregor!Gregor@codu.org PRIVMSG #esoteric :elliott: NO < 1312663626 581333 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :the wire crossing problem is rather underspecified < 1312663633 921347 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Gregor: What. < 1312663637 953671 :Gregor!Gregor@codu.org PRIVMSG #esoteric :Just no :P < 1312663642 19506 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :pretty much any correct solution could be declared as cheating < 1312663648 175770 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Gregor: I was just asking if there were any non-xvkbd virtual keyboards that weren't utterly terrible :P < 1312663659 95061 :Gregor!Gregor@codu.org PRIVMSG #esoteric :'fraid not. < 1312663660 801591 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :xvkbd simply isn't working for me with this SDL app, y'see. < 1312663663 189441 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :one thing I'm wondering about is if two-dimensional Formula is TC < 1312663665 153212 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :So I can't actaully use it. < 1312663673 906659 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :but even if it were, it would probably still count as cheating < 1312663677 53631 :Gregor!Gregor@codu.org PRIVMSG #esoteric :I've tried 'em all (as of some point :P ) < 1312663679 708002 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :I guess that's likely inherent to SDL, isn't it < 1312663679 910653 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :the wire crossing problem is either very vague, obviously possible, or specific to a particular wire language < 1312663689 623633 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Gregor: How bad's kvkbd :-P < 1312663696 75299 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :elliott: ooh, sounds like a useful Secret Project feature < 1312663706 871748 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :ais523: I just mean on-screen keyboard < 1312663712 683336 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :elliott: I know < 1312663726 383181 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :ais523: Well this puts what I thought Secret Project was out of whack < 1312663729 591047 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I mean, you could possibly use Secret Project to make xvkbd work with an SDL program < 1312663731 304069 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :It's an... interactive... repeatable test system? < 1312663734 180870 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Oh < 1312663734 406241 :Gregor!Gregor@codu.org PRIVMSG #esoteric :elliott: IIRC, my main problem with it was configuring its size/configuration/etc. I would try to change something and just end up with a nonsense keyboard. < 1312663746 225716 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :not that it's anything close to its intended use, but meh, I like unintended uses < 1312663754 360827 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :ais523: i think the wire-crossing problem applies perfectly well to 3-colorings, iirc. (and is solvable.) < 1312663758 673670 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Gregor: Well, sounds "good enough". But yeah, I'm pretty sure the problem is that SDL reads from the keyboard device directly or whatever. < 1312663772 692282 :Gregor!Gregor@codu.org PRIVMSG #esoteric :Probably. < 1312663783 31474 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :in fact, probably virtual keyboard input would be more useful than real keyboard input < 1312663786 571228 :Gregor!Gregor@codu.org PRIVMSG #esoteric :You may want to check the SDL docs for environment variables controlling how it reads the keyboard. < 1312663794 329153 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :elliott: it ioctls /dev/term to tell it to send scancodes rather than keys, then reads from that < 1312663801 999124 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :ais523: What, SDL? < 1312663804 242752 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :yes < 1312663805 240123 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Tell me you're joking. < 1312663809 540374 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I know this all too well < 1312663816 581843 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :I could believe it if /dev/term was a file that actually existed < 1312663822 22811 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :umm, /dev/tty < 1312663822 593688 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :SDL is so 90s, though. < 1312663832 543674 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :ais523: But... surely that only works in a terminal. < 1312663834 169012 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :oh, it tries /dev/vc/0 first < 1312663838 894813 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :but that isn't a real file < 1312663856 430783 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :elliott: well, I didn't have X loaded in my tests < 1312663857 400515 :Taneb!~nathan@host-84-13-89-246.opaltelecom.net PRIVMSG #esoteric :I wasn't cheating, I was wrong < 1312663867 102220 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :so it may have tried something X-related first but failed < 1312663869 229941 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :ais523: >_< < 1312663872 892651 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Obviously it will :P < 1312663895 138755 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :SDL_NO_RAWKBD < 1312663895 341104 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :For the libvga driver: If set, do not attempt to put the keyboard in raw mode. < 1312663895 565883 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :NOT HELPFUL < 1312663936 40671 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :(other side-effects of the Secret Project; I've been running programs on the control-alt-f1 VT a lot, and have been changing permissions on /dev more than is fully sane) < 1312663942 978138 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :also, seems permissions on /dev don't persist between reboots < 1312663958 501919 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :probably because it isn't backed by disk < 1312663967 243260 :Taneb!~nathan@host-84-13-89-246.opaltelecom.net PRIVMSG #esoteric :I'm also annoyed at all these things that are going on and I know nothing about them < 1312663971 834086 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :perhaps I should create a regular file in it to see what happens < 1312663976 891537 :Taneb!~nathan@host-84-13-89-246.opaltelecom.net PRIVMSG #esoteric :That at sign thing, the secret project... < 1312663986 699488 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :@ just takes a long time to explain < 1312663997 317153 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :the secret project wouldn't take massively long to explain, but I don't because it's secret < 1312664003 398081 :Taneb!~nathan@host-84-13-89-246.opaltelecom.net PRIVMSG #esoteric :That doesn't really help < 1312664006 397866 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Taneb: I could send you at.html. < 1312664011 82248 :Taneb!~nathan@host-84-13-89-246.opaltelecom.net PRIVMSG #esoteric :Go for it < 1312664022 915651 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I just give hints every now and then so that the channel keeps giving me advice when I need it < 1312664030 215206 :Taneb!~nathan@host-84-13-89-246.opaltelecom.net PRIVMSG #esoteric :You want e-mail, elliott? < 1312664035 529903 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Nah. < 1312664039 629430 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :I can /msg you a sprunge link to download it. < 1312664041 951000 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :it's harder in other channels, as I have to come up with plausible unrelated reasons to ask related questions, then imply them as heavily as I can without actually lying < 1312664044 232504 :Taneb!~nathan@host-84-13-89-246.opaltelecom.net PRIVMSG #esoteric :Do it < 1312664048 368080 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Somewhat bothered by the fact that my go-to introduction to my OS is a barely-edited forum post I wrote months ago. < 1312664149 700310 :ooozanoodles!ooozanoodl@c-71-236-223-131.hsd1.wa.comcast.net JOIN :#esoteric < 1312664150 843779 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :Taneb: if you're curious about the Secret Project, though, you could ask other channel members what they think it is < 1312664159 517330 :ooozanoodles!ooozanoodl@c-71-236-223-131.hsd1.wa.comcast.net QUIT :Client Quit < 1312664193 122642 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :ais523, that the one with programs that quit with the wrong PID? < 1312664202 379364 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :yes < 1312664219 336098 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I'm vaguely considering rolling PIDs from the actual system round past 65535 if they start close to it, too < 1312664228 322636 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :but I rarely leave my computer running long enough for PIDs ever to get that high < 1312664236 556957 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :and besides, it just makes the implementation harder, rather than being necessary < 1312664525 60650 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :ais523: well, say hi to skynet for me < 1312664550 488738 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :he isn't online right now < 1312664557 880735 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :(Skynet's a friend of mine from another channel) < 1312664560 345811 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :or I would have done < 1312664579 923347 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :yes, a "friend" from the secret project < 1312664624 671096 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :no, secret project is alone < 1312664629 777274 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :you people know more about it than anyone else but me < 1312664645 561197 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :or would, if we were paying attention < 1312664663 403844 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :no, even then < 1312664712 942600 :monqy!~chap@pool-71-102-215-70.snloca.dsl-w.verizon.net PRIVMSG #esoteric :I think I know something about some project but I don't know if I actually know this, or if it's about the right project < 1312664759 467908 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :monqy: spill it anyway, it'll bea musing < 1312664765 104836 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :monqy, ISTR it involves some insanish system-level hack. < 1312664789 161891 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :it's both Linux-specific and x86-specific, which is pretty insanely nonportable for me < 1312664809 907085 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I might modify it to handle x86_64 at some point too, which will need lots of tweaking of constants but not much else < 1312664865 322045 :monqy!~chap@pool-71-102-215-70.snloca.dsl-w.verizon.net PRIVMSG #esoteric :the only thing I think I know is multiplayer co-op nethack being a project but I don't know if it actually is or if it's this project at all < 1312664873 247794 :augur!~augur@c-71-57-177-89.hsd1.fl.comcast.net NICK :augur[hl2e1] < 1312664873 665192 :Taneb!~nathan@host-84-13-89-246.opaltelecom.net PRIVMSG #esoteric :So, that's what @ is. < 1312664891 987030 :Taneb!~nathan@host-84-13-89-246.opaltelecom.net PRIVMSG #esoteric :Well, sounds interesting. < 1312664897 128224 :Taneb!~nathan@host-84-13-89-246.opaltelecom.net PRIVMSG #esoteric :I'd love to help! < 1312664933 735998 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Excuse me but humans are in direct opposition to the @ philosophy. < 1312664940 902302 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :The first phase is everyone else dying. < 1312664952 649312 :monqy!~chap@pool-71-102-215-70.snloca.dsl-w.verizon.net PRIVMSG #esoteric :are subhumans in direct opposition to the @ philosophy < 1312664967 191137 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :No. You may live. < 1312664992 141228 :Taneb!~nathan@host-84-13-89-246.opaltelecom.net PRIVMSG #esoteric :I don't legally qualify as human < 1312665045 541057 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :wat < 1312665048 837941 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :monqy: multiplayer co-op nethack isn't secret, it's just unfinished < 1312665054 928668 :monqy!~chap@pool-71-102-215-70.snloca.dsl-w.verizon.net PRIVMSG #esoteric :i see < 1312665058 569829 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :you can even get source code from me on request, although it won't actually work < 1312665064 3745 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :so there's not much point < 1312665082 941536 :monqy!~chap@pool-71-102-215-70.snloca.dsl-w.verizon.net PRIVMSG #esoteric :all I know about the secret project, then, is what you revealed today < 1312665116 414260 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I didn't reveal much that wasn't common knowledge anyway, but managed to confuse elliott < 1312665119 847745 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I'll count that as a win < 1312665184 634454 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric : For instance, modal logic looks like it could be recursivly applied to itself to form a tree structure. < 1312665188 557436 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :ais523: you did? < 1312665190 531759 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :kripke models, dude < 1312665190 733631 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :oh < 1312665191 101405 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :right < 1312665224 724284 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :this channel has too many nicks starting with m. < 1312665262 400113 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :elliott: I think I just managed to confuse you again :) < 1312665270 928103 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :ais523: ;_; < 1312665283 471625 :Taneb!~nathan@host-84-13-89-246.opaltelecom.net PRIVMSG #esoteric :oerjan: I get confused with the o's. < 1312665302 13570 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :oerjan, oklopol < 1312665303 588281 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :what's the difference < 1312665326 210183 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :well, first of all there is no oklopol in the channel. < 1312665369 322558 :monqy!~chap@pool-71-102-215-70.snloca.dsl-w.verizon.net PRIVMSG #esoteric :whos olsner < 1312665376 374685 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :so you are not here either < 1312665382 489557 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :monqy: some rutabaga < 1312665386 696481 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :i mean, swede < 1312665467 11311 :Taneb!~nathan@host-84-13-89-246.opaltelecom.net PRIVMSG #esoteric :btw elliott, your html was missing a few rather important tags < 1312665475 971621 :Taneb!~nathan@host-84-13-89-246.opaltelecom.net PRIVMSG #esoteric :i.e. html, head, and body < 1312665486 447010 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Taneb: lol < 1312665507 620796 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Taneb: Please point me to the paragraph in http://www.whatwg.org/specs/web-apps/current-work/ that invalidates my page, thanks < 1312665524 170788 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :http://dev.w3.org/html5/spec/Overview.html is also acceptable < 1312665532 202010 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :as is http://www.w3.org/TR/html5/ < 1312665619 928888 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :does it still have )? < 1312665679 468605 :tswett!~Warrigal@thay.Stanford.EDU PRIVMSG #esoteric :Gee. How do you refer to inanimate objects with pronouns in Finnish? < 1312665692 777895 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :ais523: No, because that would invalidate it < 1312665704 341382 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :(My pedantic asshole mode has been enabled by someone taking fault with the HTML.) < 1312665720 369476 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :oh, hmm, HTML5 allows fragments to serve as the whole document (in only certain circumstances?)? < 1312665737 483378 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :ais523: Nope, you just think exclamation marks are exclamation marks < 1312665739 745564 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Um... < 1312665741 302845 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Are question marks. < 1312665749 45759 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :aha < 1312665758 774096 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I haven't written any HTML for a while < 1312665772 944825 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :and my method for writing standards-compliant HTML is to write approximately what I think is right from memory, then run it through Tidy < 1312665775 750118 :Taneb!~nathan@host-84-13-89-246.opaltelecom.net PRIVMSG #esoteric :elliott: found one! < 1312665783 797566 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :in fact, I don't even bother writing doctypes manually < 1312665784 197 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Taneb: Go on. < 1312665786 752118 :Taneb!~nathan@host-84-13-89-246.opaltelecom.net PRIVMSG #esoteric :You used a title element outside of a head element! < 1312665797 44708 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Taneb: No, I did not. < 1312665797 473557 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com PRIVMSG #esoteric :I also haven't written any HTML for a while, because I usually use other formats such as raw ASCII text, or TeX document < 1312665818 379753 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Taneb: BTW, if you run it through the official W3C validator, you will see that it is perfectly valid. < 1312665820 312701 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :validator.nu agrees. < 1312665861 3193 :Taneb!~nathan@host-84-13-89-246.opaltelecom.net PRIVMSG #esoteric :The SECOND LINE OF YOUR DOCUMENT! < 1312665883 768092 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Taneb: Nope. You are wrong. < 1312665898 576984 :Taneb!~nathan@host-84-13-89-246.opaltelecom.net PRIVMSG #esoteric :Then you have linked it to me weirdly < 1312665905 997066 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Nope. < 1312665909 853669 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :You are just misreading the spec. < 1312665922 100614 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Or rather, misinterpreting what my syntax means. < 1312665978 197425 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :BZZZZZZZ < 1312665987 45018 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric : < 1312666791 854661 :tswett!~Warrigal@thay.Stanford.EDU PRIVMSG #esoteric :
ACTION katson Gregor:n.
< 1312666831 439705 :Gregor!Gregor@codu.org PRIVMSG #esoteric :tswett: NOOOO < 1312666903 596658 :tswett!~Warrigal@thay.Stanford.EDU PRIVMSG #esoteric :
ACTION en katso Gregor:n.
< 1312666921 198175 :tswett!~Warrigal@thay.Stanford.EDU PRIVMSG #esoteric :"En" means "not", so I'm doing what you asked. < 1312666966 885757 :nooga!~nooga@maverick.aircity.pl PRIVMSG #esoteric :9init < 1312667050 943893 :pikhq_!~pikhq@71-219-203-192.clsp.qwest.net PRIVMSG #esoteric :tswett: HTML is much less complex than you think. < 1312667063 857832 :pikhq_!~pikhq@71-219-203-192.clsp.qwest.net PRIVMSG #esoteric :Well, rather, HTML has much less mandatory complexity in HTML source than you think. < 1312667094 506331 :nooga!~nooga@maverick.aircity.pl PRIVMSG #esoteric :html is so passe < 1312667109 394713 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :pikhq_: I don't think tswett thinks that. < 1312667117 92108 :tswett!~Warrigal@thay.Stanford.EDU PRIVMSG #esoteric :pikhq_: how do you know how complex I think HTML is? < 1312667117 294577 :nooga!~nooga@maverick.aircity.pl PRIVMSG #esoteric :haml is the thing! < 1312667122 7226 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :But yeah, Taneb is wrong about my HTML being invalid. < 1312667127 199943 :tswett!~Warrigal@thay.Stanford.EDU PRIVMSG #esoteric :By my katsoation of Gregor:n? < 1312667130 57844 :pikhq_!~pikhq@71-219-203-192.clsp.qwest.net PRIVMSG #esoteric :elliott: He thinks needs to be explicitly named! < 1312667137 34211 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com PRIVMSG #esoteric :In addition to raw ASCII text, and TeX document, I also use gopher menu format. < 1312667149 292188 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :pikhq_: He does? < 1312667160 271413 :tswett!~Warrigal@thay.Stanford.EDU PRIVMSG #esoteric :Taneb: have you been impersonating me? < 1312667190 247399 :pikhq_!~pikhq@71-219-203-192.clsp.qwest.net PRIVMSG #esoteric :... Wrong tab complete. < 1312667209 26067 :ais523!~ais523@unaffiliated/ais523 QUIT :Remote host closed the connection < 1312667221 558274 :pikhq_!~pikhq@71-219-203-192.clsp.qwest.net PRIVMSG #esoteric :t completed to tswett, not Taneb. < 1312667347 611369 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :elliott, which HTML? < 1312667359 119347 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :That of "Files Suck"? < 1312667362 218109 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :No. < 1312667364 288686 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :That of at.html. < 1312667392 974583 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :What's at.html? < 1312667401 899756 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Something you don't have. :p < 1312667484 370088 :Taneb!~nathan@host-84-13-89-246.opaltelecom.net PRIVMSG #esoteric :The w3 HTML5 spec clearly says that the title element can only be used in a head element containin no other title elements < 1312667493 214907 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Taneb: Indeed. < 1312667499 124245 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Taneb: And I did not violate that constraint. < 1312667510 296261 :Taneb!~nathan@host-84-13-89-246.opaltelecom.net PRIVMSG #esoteric :You have used a title element that is not in a head element < 1312667513 188315 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :No. < 1312667517 744913 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :That title element is within a head element. < 1312667534 368415 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :When both the widely-used validators disagree with you, you might want to consider that you're misinterpreting the spec :-P < 1312667573 869074 :Gregor!Gregor@codu.org PRIVMSG #esoteric :Implicit head, bizziches! < 1312667600 419480 :Taneb!~nathan@host-84-13-89-246.opaltelecom.net PRIVMSG #esoteric :...I hate you. < 1312667611 480787 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Taneb: What. < 1312667613 110646 :pikhq_!~pikhq@71-219-203-192.clsp.qwest.net PRIVMSG #esoteric :Taneb: Can only be used in a head DOM element. The DOM element exists. < 1312667623 315004 :pikhq_!~pikhq@71-219-203-192.clsp.qwest.net PRIVMSG #esoteric :And the title element gets put in there. < 1312667655 627657 :Taneb!~nathan@host-84-13-89-246.opaltelecom.net PRIVMSG #esoteric :I am going to go away and cry now. < 1312667663 383125 :Taneb!~nathan@host-84-13-89-246.opaltelecom.net QUIT :Quit: using sirc version 2.211+ssfe < 1312667669 37874 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :I... < 1312667671 800956 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Is he being serious? < 1312667680 820157 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :we might find out < 1312667684 845364 :Gregor!Gregor@codu.org PRIVMSG #esoteric :Probably only about the "going away" part :P < 1312667696 651947 :monqy!~chap@pool-71-102-215-70.snloca.dsl-w.verizon.net PRIVMSG #esoteric :literally cryeing < 1312667711 670113 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :oerjan: now if he comes back under another nickname, I think we have to seriously consider the prospect that e might be fax, lying about eir location to avoid suspicion... < 1312667712 716663 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric ::tinfoil: < 1312667755 923954 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :elliott: i find it _very_ doubtful that fax would have been able to participate peacefully on the iwc forum for this long. < 1312667778 853609 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :oerjan: haha < 1312667789 237182 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :oerjan: well is there any programming discussion there :D < 1312667801 791783 :Taneb!~nathan@host-84-13-89-246.opaltelecom.net JOIN :#esoteric < 1312667805 192407 :Taneb!~nathan@host-84-13-89-246.opaltelecom.net PRIVMSG #esoteric :Sorry about that < 1312667806 474087 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :well not much < 1312667816 130632 :Taneb!~nathan@host-84-13-89-246.opaltelecom.net PRIVMSG #esoteric :I'm a little upset, now < 1312667820 495925 :Taneb!~nathan@host-84-13-89-246.opaltelecom.net PRIVMSG #esoteric :But you are right. < 1312667822 563436 :Taneb!~nathan@host-84-13-89-246.opaltelecom.net PRIVMSG #esoteric :I am wrong. < 1312667825 65626 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :Taneb: hate the sin, not the sinner. in this case, hate html. < 1312667825 670479 :Taneb!~nathan@host-84-13-89-246.opaltelecom.net PRIVMSG #esoteric :I accept that. < 1312667831 344775 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :I'm not arguing with you :-P < 1312667844 516024 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :But html, head and body can be inserted implicitly in HTML5. < 1312667849 271224 :Taneb!~nathan@host-84-13-89-246.opaltelecom.net PRIVMSG #esoteric :I was arguing with you, that's what matters < 1312667865 903224 :Taneb!~nathan@host-84-13-89-246.opaltelecom.net PRIVMSG #esoteric :And I have lost that argument, which may have only existed in my head < 1312667876 942260 :Taneb!~nathan@host-84-13-89-246.opaltelecom.net PRIVMSG #esoteric :And... < 1312667878 44849 :Taneb!~nathan@host-84-13-89-246.opaltelecom.net PRIVMSG #esoteric :And I < 1312667889 773448 :Taneb!~nathan@host-84-13-89-246.opaltelecom.net PRIVMSG #esoteric :I'm sorry I said I hated you < 1312667897 28948 :pikhq_!~pikhq@71-219-203-192.clsp.qwest.net PRIVMSG #esoteric :elliott: It lets you use HTML as a halfway-reasonable markup language. < 1312667899 148017 :pikhq_!~pikhq@71-219-203-192.clsp.qwest.net PRIVMSG #esoteric ::) < 1312667902 369996 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :WELL I STILL HATE YOU < 1312667905 44591 :augur[hl2e1]!~augur@c-71-57-177-89.hsd1.fl.comcast.net NICK :augur < 1312667909 167495 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :
ACTION hopes Taneb's sarcasm parser is working.
< 1312667909 370014 :Taneb!~nathan@host-84-13-89-246.opaltelecom.net PRIVMSG #esoteric :And I'm sorry I left as soon as I was proven wrong. < 1312667951 412668 :Taneb!~nathan@host-84-13-89-246.opaltelecom.net PRIVMSG #esoteric :It's working < 1312668027 943846 :Taneb!~nathan@host-84-13-89-246.opaltelecom.net PRIVMSG #esoteric :I am going to continue to use html, head, and body tags in my html documents. < 1312668046 99296 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :PLEBEIAN < 1312668050 921999 :nooga!~nooga@maverick.aircity.pl PRIVMSG #esoteric :HTML is painfully redundant < 1312668059 306531 :monqy!~chap@pool-71-102-215-70.snloca.dsl-w.verizon.net PRIVMSG #esoteric :I try to avoid htmle < 1312668068 512176 :lament!~lament@S0106002312fa554a.vc.shawcable.net PRIVMSG #esoteric :htmlle < 1312668068 714180 :nooga!~nooga@maverick.aircity.pl PRIVMSG #esoteric :use this instead -> http://haml-lang.com/ < 1312668119 816659 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :nooga: How much are you being paid < 1312668129 711140 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Second time you've mentioned Haml in the last half an hour or so :P < 1312668137 319980 :nooga!~nooga@maverick.aircity.pl PRIVMSG #esoteric :haml haml haml haml < 1312668142 198904 :nooga!~nooga@maverick.aircity.pl PRIVMSG #esoteric :haml haml haml haml < 1312668145 445652 :nooga!~nooga@maverick.aircity.pl PRIVMSG #esoteric :use haml! < 1312668149 297028 :lament!~lament@S0106002312fa554a.vc.shawcable.net PRIVMSG #esoteric :no. < 1312668150 151424 :fizzie!fis@iris.zem.fi PRIVMSG #esoteric :Spaml. < 1312668157 1866 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :nooga, is this what omega combinator's job is? < 1312668162 480857 :nooga!~nooga@maverick.aircity.pl PRIVMSG #esoteric :no < 1312668170 824824 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :Crappy web app... FP-oriented name... < 1312668173 57350 :nooga!~nooga@maverick.aircity.pl PRIVMSG #esoteric :i just like haml < 1312668179 908780 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Phantom_Hoover: What? < 1312668191 907701 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :nooga: you don't have to haml it in < 1312668199 57532 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :elliott, weren't you there? < 1312668203 461388 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Phantom_Hoover: No. < 1312668210 584160 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :nooga mentioned he got a contract for some crappy web app. < 1312668213 79802 :nooga!~nooga@maverick.aircity.pl PRIVMSG #esoteric :Phantom_Hoover: the name is different < 1312668218 954504 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Phantom_Hoover: When? < 1312668233 77775 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :Yesterday? Today? < 1312668239 202240 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :One of them. < 1312668241 499307 :nooga!~nooga@maverick.aircity.pl PRIVMSG #esoteric :you don't even know what the web app is so how can you say it's crappy < 1312668242 173927 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :23:49:53: wtf < 1312668242 376371 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :23:50:07: who are you < 1312668242 376579 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :nooga finds out that people join when he isn't here. < 1312668272 553859 :nooga!~nooga@maverick.aircity.pl PRIVMSG #esoteric :wait < 1312668274 690124 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :nooga, you said it was crappy. < 1312668274 974931 :nooga!~nooga@maverick.aircity.pl PRIVMSG #esoteric :no < 1312668277 961748 :nooga!~nooga@maverick.aircity.pl PRIVMSG #esoteric :yes < 1312668283 136794 :nooga!~nooga@maverick.aircity.pl PRIVMSG #esoteric :I remember, excuse me < 1312668287 544507 :nooga!~nooga@maverick.aircity.pl PRIVMSG #esoteric :it is crappy < 1312668303 28898 :nooga!~nooga@maverick.aircity.pl PRIVMSG #esoteric :almost every webapp is crappy < 1312668308 721479 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric : Spaml. <-- perfect < 1312668365 669178 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :the extremely verbose web scripting language with a hindley/milner type system. < 1312668416 481195 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :"Hindley/Milner" <-- be careful with that < 1312668438 933670 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :why < 1312668512 483523 :tswett!~Warrigal@thay.Stanford.EDU PRIVMSG #esoteric :Well, you don't want to accidentally say "Hindley/Minler", or "Hildney/Milner". < 1312668553 37191 :Taneb!~nathan@host-84-13-89-246.opaltelecom.net PRIVMSG #esoteric :Hilled the miner! < 1312668583 280720 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :oerjan: it reads as something you don't quite intend < 1312668603 307119 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :wat < 1312668744 681950 :Sgeo_!~quassel@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :I love Quassel except for the bug that makes it nearly unbearable < 1312668762 77200 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :oerjan: JUST ACCEPT IT < 1312668784 575426 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :Let the Function Map of Anything and Nil be Nil and Map of f and Cons of first and rest be Cons of (f of first) and Map of f and rest < 1312668812 865682 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :what < 1312668838 747099 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :elliott: oh wait you wanted me to use a hyphen < 1312668848 395914 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :O KAY < 1312668868 822420 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :elliott: just a little sample of Spaml < 1312668896 351671 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :a small Spaml Map sample < 1312668942 746950 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :oerjan: I didn't want you to use a / :P < 1312668997 425464 :Taneb!~nathan@host-84-13-89-246.opaltelecom.net QUIT :Ping timeout: 276 seconds < 1312668998 840731 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :ok i have registered the elliott/tswett objection < 1312669082 866450 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :Sgeo_, oh ffs stop going on about Quassel. < 1312669137 694427 :Taneb!~nathan@host-84-13-89-246.opaltelecom.net JOIN :#esoteric < 1312669262 538850 :nooga!~nooga@maverick.aircity.pl QUIT :Ping timeout: 264 seconds < 1312669323 684600 :tswett!~Warrigal@thay.Stanford.EDU PRIVMSG #esoteric :oerjan: I disapprove of your parentheses. They make it too unambiguous. < 1312669404 804532 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :tswett: there's still a possible ambiguity left with the last "and" < 1312669471 531210 :tswett!~Warrigal@thay.Stanford.EDU PRIVMSG #esoteric :Yes, but there should be more ambiguity. < 1312669492 125329 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :oh and the second last could be the start of a new match < 1312669508 200434 :Cheery!~cheery@a88-113-50-171.elisa-laajakaista.fi QUIT :Quit: Lost terminal < 1312669678 469137 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :*Let the Function Map of Anything and Nil be Nil and the Map of f and the Cons of first and rest be the Cons of the f of first and the Map of f and rest < 1312669817 444938 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :might need more articles < 1312669832 661951 :tswett!~Warrigal@thay.Stanford.EDU PRIVMSG #esoteric :
ACTION ponders an enthusiastic progamming language.
< 1312669876 898403 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :tswett, it really enjoys evaluating things? < 1312669937 359898 :Taneb!~nathan@host-84-13-89-246.opaltelecom.net PRIVMSG #esoteric :"Yeah! Printing 'Hello World!' I love that! Woo!" < 1312669985 799385 :tswett!~Warrigal@thay.Stanford.EDU PRIVMSG #esoteric :Definition! Function: Map! Situation! First Argument: Anything! Second Argument: Nil! Result: Nil! Situation! First Argument: f! Second Argument: Cons! Arguments to Cons! First Argument: first! Second Argument: rest! Result: Cons! Arguments to Cons! First Argument: Application! Function: f! Number of Arguments: one! Argument: first! Second Argument: Application! Function: Map! First Argument: f! Second Argument: rest! < 1312670018 582236 :FireFly!~firefly@unaffiliated/firefly QUIT :Quit: swatted to death < 1312670348 105380 :Sgeo_!~quassel@ool-ad034d00.dyn.optonline.net NICK :Sgeo < 1312672395 168792 :MigoMipo!~John@84-217-7-216.tn.glocalnet.net QUIT :Read error: Connection reset by peer < 1312672970 520523 :Taneb!~nathan@host-84-13-89-246.opaltelecom.net QUIT :Ping timeout: 264 seconds < 1312673856 557942 :bsmntbombdood!~gavin@c-24-9-98-117.hsd1.co.comcast.net QUIT :Quit: leaving