< 1363392348 840777 :Taneb!~nathan@host-78-148-13-114.as13285.net PRIVMSG #esoteric :`quote goodnight < 1363392353 392298 :HackEgo!codu@codu.org PRIVMSG #esoteric :No output. < 1363392356 751614 :Taneb!~nathan@host-78-148-13-114.as13285.net QUIT :Quit: Leaving < 1363392643 878910 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :There's a YouTube page of the music from Orisinal games < 1363392645 475891 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric ::D:D:D < 1363392652 626038 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :http://www.youtube.com/user/orisinalmusic < 1363392658 437233 :Bike!~Glossina@207-224-22-243.ptld.qwest.net PRIVMSG #esoteric :wow, that sounds obscure < 1363392677 496635 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Fiora: imo finland is a p.nice place < 1363392688 638658 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Er, fizzie. < 1363392712 997749 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Fiora: Channel law is that you have to change your nick to a unique two-letter prefix now. < 1363392716 1620 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :FireFly, too. < 1363392724 983201 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :we've tried that < 1363392730 948291 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :they won't budge < 1363392738 426751 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :Bike, orisinal.com < 1363392739 456481 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :now < 1363392740 637329 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i'm sorry, FireFly cannot change, it might cause innocents to be swatted. < 1363392758 582694 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Hmm. < 1363392762 354737 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Wasn't fizzie here first? < 1363392767 751762 :Bike!~Glossina@207-224-22-243.ptld.qwest.net PRIVMSG #esoteric :now what < 1363392768 622401 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :noooooooo < 1363392771 678909 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :probably. < 1363392772 494899 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :I wanna keep my name < 1363392773 180721 :nooodl_!~nooodl@91.177.19.186 PRIVMSG #esoteric :i'm not the only no* :/ < 1363392776 301970 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :Sgeo, wait er weren't those stock pieces < 1363392778 416569 :nooodl_!~nooodl@91.177.19.186 PRIVMSG #esoteric :how awful < 1363392778 759351 :Bike!~Glossina@207-224-22-243.ptld.qwest.net PRIVMSG #esoteric :Froia < 1363392793 69811 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :0xF107A < 1363392795 960829 :Bike!~Glossina@207-224-22-243.ptld.qwest.net PRIVMSG #esoteric :This isn't a game Sgeo. This is a bunch of games. < 1363392796 110327 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :sunny day sky, for sure < 1363392844 796255 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :Phantom_Hoover, well, I didn't know where they came from. Just that one of them sounded like Pachelbel or whatever < 1363392857 2787 :Bike!~Glossina@207-224-22-243.ptld.qwest.net PRIVMSG #esoteric :be fair, everything sounds like pachelbel < 1363392865 569375 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :Bike, have you seen the paravonian video < 1363392872 188506 :Bike!~Glossina@207-224-22-243.ptld.qwest.net PRIVMSG #esoteric :I have seen no videos. < 1363393069 582297 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :imo oerjan should change his name to make room for all the other øccupants of that prefix < 1363393190 928411 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :Bike, did I say it was a game? < 1363393220 118480 :Bike!~Glossina@207-224-22-243.ptld.qwest.net PRIVMSG #esoteric :no, but i felt the need to clarify that it wasn't a game < 1363393221 632567 :Bike!~Glossina@207-224-22-243.ptld.qwest.net PRIVMSG #esoteric :which it isn't. < 1363393279 238386 :oerjan!oerjan@sprocket.nvg.ntnu.no QUIT :Quit: ZZZZ < 1363393383 837685 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :(paravonian video is here btw: http://www.youtube.com/watch?v=JdxkVQy7QLM) < 1363393646 855153 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Willy G. van Hoorn < 1363393658 222106 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :is that Taneb's evil twin? < 1363393661 950978 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Oh, Taneb's not here. < 1363394394 788507 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 QUIT :Remote host closed the connection < 1363395268 325876 :wareya!~wareya@cpe-67-248-121-45.nycap.res.rr.com JOIN :#esoteric < 1363395466 377043 :wareya_!~wareya@cpe-67-248-121-45.nycap.res.rr.com QUIT :Read error: Operation timed out < 1363395812 612998 :jiella!~jiella@gprs-internet-bceea6-97.dhcp.inet.fi PRIVMSG #esoteric :Ooh, I got welcomed. Wow. < 1363395836 949045 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`relcome jiella < 1363395839 787947 :HackEgo!codu@codu.org PRIVMSG #esoteric :​09jiel08la:03 Welcome to t11he i05nternational 05hu09b for esote12ric programming language03 design a12n10d14 d04eploy03ment! For 11mo14re inf11ormation,13 che08ck out10 our 08wiki: http://esolangs.02org/wiki/M04ain11_Pa04ge. (For the other kind of 06esoterica05, try10 #es12oteric on irc.dal12.net.12) < 1363395926 427883 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :Is there any kind of rhyme or reason to that coloring < 1363395929 232031 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :`welcome Sgeo < 1363395931 381919 :HackEgo!codu@codu.org PRIVMSG #esoteric :Sgeo: Welcome to the international hub for esoteric programming language design and deployment! For more information, check out our wiki: http://esolangs.org/wiki/Main_Page. (For the other kind of esoterica, try #esoteric on irc.dal.net.) < 1363395931 543112 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :`welcome Sgeo < 1363395934 98052 :HackEgo!codu@codu.org PRIVMSG #esoteric :Sgeo: Welcome to the international hub for esoteric programming language design and deployment! For more information, check out our wiki: http://esolangs.org/wiki/Main_Page. (For the other kind of esoterica, try #esoteric on irc.dal.net.) < 1363395934 248025 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :oops < 1363395937 955069 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :`relcome Sgeo < 1363395940 724113 :HackEgo!codu@codu.org PRIVMSG #esoteric :​06Sgeo: Welc14ome 05to the int13ernational hu03b f13or05 esoteric 07progra10mming language design and08 deployme13nt! For m14or07e 10i08nf05ormation, check o05ut our wiki: http://esolangs.org11/wiki/Ma03in_Page11. 13(Fo03r the other kind of esoter13ica, t13r06y #03es14oteric on irc.d13a10l.05net.) < 1363395945 460663 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :`relcome Sgeo < 1363395947 776344 :HackEgo!codu@codu.org PRIVMSG #esoteric :​12Sgeo: 08Welcome 03to 14the14 int03ern10ational09 hub 14f12or e04soteric 08program03ming langu13ag02e02 design and dep04loyment! For more information, check ou07t 13o08ur wik02i: http://esolang09s.org/wiki/Main_P12ag06e. (For 04the other14 kind of esoterica, try #esoteric 07on irc07.da05l.09n13e03t.) < 1363395981 928471 :Bike!~Glossina@207-224-22-243.ptld.qwest.net PRIVMSG #esoteric :wouldn't it be more instructive to check the source, rather than reverse engineering the amazingly complicated color mechanism < 1363396359 803436 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :I just wanted to know if it was random < 1363396392 742030 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :!url < 1363396419 979919 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :`url < 1363396421 711718 :HackEgo!codu@codu.org PRIVMSG #esoteric :http://codu.org/projects/hackbot/fshg/ < 1363397336 116346 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :http://docopt.org/ can't decide if this is too cute or not < 1363397387 641155 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :http://tvtropes.org/pmwiki/pmwiki.php/VideoGame/Orisinal < 1363397392 240583 :Bike!~Glossina@207-224-22-243.ptld.qwest.net PRIVMSG #esoteric :is it a joke? < 1363397906 99298 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :kmc: the problem i see is that it makes you type things in a more human-consumable but timewasty format < 1363397919 834479 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :when that kind of stuff could be generated from a more succint, less "faithful" DSL < 1363397964 829222 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :shrug < 1363397969 939241 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :i don't think it wastes much time to type that text < 1363397983 693370 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :and it makes the options very clear because it's already in a format you can read < 1363397991 270497 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :... assuming the library interprets everything the same way < 1363397994 734284 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :which is the trick < 1363398531 74886 :sirdancealo2!~sirdancea@98.82.broadband5.iol.cz QUIT :Read error: Operation timed out < 1363398635 782348 :jiella!~jiella@gprs-internet-bceea6-97.dhcp.inet.fi PRIVMSG #esoteric :Yikes. < 1363398670 384344 :jiella!~jiella@gprs-internet-bceea6-97.dhcp.inet.fi PRIVMSG #esoteric :I think this is getting to be a bit too much. < 1363398677 573313 :jiella!~jiella@gprs-internet-bceea6-97.dhcp.inet.fi QUIT :Quit: Leaving. < 1363398964 295515 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :couldn't handle the welcomes < 1363399476 783585 :nooodl_!~nooodl@91.177.19.186 NICK :nooodl < 1363399601 617505 :sirdancealo2!~sirdancea@98.82.broadband5.iol.cz JOIN :#esoteric < 1363401551 534563 :DHeadshot!~DH____@unaffiliated/dh----/x-6288474 JOIN :#esoteric < 1363401630 789775 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :^list < 1363401630 939350 :fungot!fis@eos.zem.fi PRIVMSG #esoteric :Taneb atriq Ngevd Fiora nortti Sgeo ThatOtherPerson alot < 1363401683 773290 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :Sgeo: new album! < 1363401711 111705 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :coppro, yes, we knew yesterday < 1363401727 915804 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :I believe I did a ^list for the new album < 1363401728 906246 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric ::p < 1363401775 296522 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :also this update... < 1363401868 212119 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :the new album is wonderful < 1363401884 459754 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :it is < 1363402529 402104 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :the pocketed planets match up with the Felt who were dead when MC arrived < 1363402611 796445 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :yep < 1363403391 457240 :azaq23!~derivecto@unaffiliated/azaq23 JOIN :#esoteric < 1363403600 396655 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :Fiora: I think Genesis Frog is still best though < 1363403614 700799 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :(even though I've been waiting on Eternity Served Cold since the flash) < 1363403679 7450 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :Credits page still not updated < 1363403682 434912 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :I love The Lordling, actually < 1363403689 607303 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :I wonder what flash or whatever that's from (or is it?) < 1363403701 129030 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :[S] Caliborn: Enter < 1363403723 267063 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :I thought that was Eternity Served Cold < 1363403723 483792 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :Eternity Served Cold == Eternity's Shylock < 1363403759 99705 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :oh. The Lordling has not < 1363403768 544107 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :Sgeo: Eternity Served Cold is longer < 1363403806 344623 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :something about the lordling reminds me of Disgaea (I wonder if the feel is intentional?) < 1363403821 879244 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :[S] Jane: Enter is still considered to have A Taste of Adventure < 1363403832 366113 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :People complained about the name Eternity's Shylock < 1363403847 760814 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :yeah, a few people mentioned it wasn't a great name so they changed it < 1363403851 591723 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :since it didn't make much sense to begin with < 1363403857 709884 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :I liked it < 1363403894 8773 :Bike!~Glossina@207-224-22-243.ptld.qwest.net PRIVMSG #esoteric :how is a shylock a thing you have < 1363403940 438436 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :how isn't it < 1363403941 599005 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :my favorite is still Cascade, I think though < 1363403947 193678 :Gregor!codu@codu.org PRIVMSG #esoteric :Slavery is fun! < 1363404000 848457 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :cascade is pretty damn epic < 1363404004 342713 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :http://theophany-rmx.bandcamp.com/album/times-end-majoras-mask-remixed < 1363404016 603270 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :Black Hole Green Sun is my favourite part < 1363404028 681614 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :though Saviour is very very close < 1363404031 933112 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :me too, I think < 1363404043 1136 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :Savior of the Dreaming Dead is pretty great too < 1363404052 296797 :Bike!~Glossina@207-224-22-243.ptld.qwest.net PRIVMSG #esoteric :oh i should listen to the majora's mask thing again < 1363404092 407402 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :the sweeping violins take it though < 1363404167 584841 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :Black Hole Green Sun is something I hum to myself when I'm doing something (e.g. transportation) to meet up with someone < 1363406278 282744 :sirdancealo2!~sirdancea@98.82.broadband5.iol.cz QUIT :Ping timeout: 252 seconds < 1363406300 194408 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :The sound of the Atari TIA is limited to 5-bit period although you can set an additional divider, either 2, 6, 31, or 93, so I suppose you cannot make 12-TET music, but you could use its own scale to make up a different kind of music, perhaps. < 1363406642 466582 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :Fiora: actually scratch that < 1363406652 626705 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :my favourite is Buy NAK Sell DOOF < 1363406758 448318 :nooodl!~nooodl@91.177.19.186 QUIT :Ping timeout: 245 seconds < 1363406760 579624 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :wooow. that's a really good song, I hadn't even heard it < 1363406816 192239 :copumpkin!~copumpkin@unaffiliated/copumpkin QUIT :Ping timeout: 252 seconds < 1363406839 149246 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :you haven't listened to Genesis Frog? < 1363406841 616183 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :highly recommended < 1363406845 776114 :copumpkin!~copumpkin@unaffiliated/copumpkin JOIN :#esoteric < 1363406876 735661 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :I guess I did < 1363406973 699935 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net QUIT :Quit: Arc_Koen < 1363407232 653208 :sirdancealo2!~sirdancea@98.82.broadband5.iol.cz JOIN :#esoteric < 1363407328 854981 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :I haven't listened to Genesis Frog < 1363407519 397316 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :do it now < 1363407564 619799 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :I should be eating. < 1363407583 636490 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :you can do that while listening to genesis frog, protip < 1363409546 37408 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net JOIN :#esoteric < 1363410278 65827 :carado!~user4539@2a01:e35:8b61:e430:6ef0:49ff:fe73:1fd0 QUIT :Ping timeout: 256 seconds < 1363412277 879272 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :I wonder what kind of scales could be played on the Atari TIA? < 1363412392 452280 :Jafet!~Jafet@unaffiliated/jafet QUIT :Quit: Leaving. < 1363412526 698626 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :I think it is called undertone series. < 1363412770 493941 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net QUIT :Ping timeout: 258 seconds < 1363412812 741108 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net JOIN :#esoteric < 1363414835 449592 :copumpkin!~copumpkin@unaffiliated/copumpkin QUIT :Ping timeout: 252 seconds < 1363414874 467056 :copumpkin!~copumpkin@unaffiliated/copumpkin JOIN :#esoteric < 1363415683 72008 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :^save < 1363415683 273342 :fungot!fis@eos.zem.fi PRIVMSG #esoteric :OK. < 1363416110 108712 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net QUIT :Read error: Connection reset by peer < 1363416137 646158 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net JOIN :#esoteric < 1363417490 188980 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :It's tempting to state that with normal non-cloud-based software, you'll never have the situation of an external entity ceasing to support it, but even with an OSS project, if the community dwindles too much such that the project is no longer developed, it may be difficult to keep using that software in the future, as security holes go unfixed, and newer OSes fail to support older binary < 1363417497 332967 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :binaries < 1363417565 776161 :Bike!~Glossina@207-224-22-243.ptld.qwest.net PRIVMSG #esoteric :hello < 1363417569 744116 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :hi < 1363417581 965796 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :http://www.fsf.org/blogs/sysadmin/google-backslides-on-federated-instant-messaging-on-purpose :( < 1363417593 420927 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :hello < 1363417864 246432 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :The XMPP thing is unrelated to my comment before, which was about Google Reader < 1363417992 781246 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :ok < 1363418053 544037 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :Still, with non-cloud-based open-source software, there is a much better possibility to continue to support it, than with proprietary and/or cloud-based software. With open source, like any software, it is possible to be abandoned, but it can be continued working on later by someone else if they are interested in it. < 1363418266 599257 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :yes < 1363420068 31276 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :@ask taneb are you a tactical amulet non-extraction bot < 1363420068 520890 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric :Consider it noted. < 1363420072 754875 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :@ask ngevd which name do you use these days < 1363420074 738094 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric :Consider it noted. < 1363420086 696553 :Bike!~Glossina@207-224-22-243.ptld.qwest.net PRIVMSG #esoteric :http://24.media.tumblr.com/b10f1779aa67289af9f2af56c964516d/tumblr_mjqtdtBWVl1r4xqamo1_500.jpg < 1363420186 375912 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :is that a picture of Bike < 1363420193 382208 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :I play the game "StarTrek Guess" on X-BIT BBS. It is usually easy by guessing the word due to context, due to knowing some things about Star Trek, and because all the puzzles are given in alphabetical order. < 1363420227 538775 :Bike!~Glossina@207-224-22-243.ptld.qwest.net PRIVMSG #esoteric :Yes. < 1363420239 260343 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :If it ends with "-_" then I will try Q, for example. < 1363420283 326826 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :Would that be your choice? < 1363420291 432854 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :yes < 1363420304 689991 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :though probably I would guess Q for other reasons < 1363420320 306694 :Bike!~Glossina@207-224-22-243.ptld.qwest.net PRIVMSG #esoteric :zzo38: http://www.youtube.com/watch?v=k5tyMXXDPX4 < 1363420343 136936 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :i remember watching that tas. it's a good tas. < 1363420356 498402 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :which one is it i cant really open links < 1363420359 7141 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :im "Gonig to Sleep" < 1363420364 752174 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :family feud glitchfest < 1363420373 680876 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :ahhhh thato ne < 1363420374 985686 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :i liket hat one < 1363420380 50911 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :whys my space doing this today < 1363420382 335587 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :is it the new keyboard < 1363420405 286914 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :It is like hangman or Wheel of Fortune, where you have the template with _ in place of the letters. So if it end by "-_" then I will probably try Q as my first guess. If it starts with "_ " and the recent ones were "I ", then I will try I since the puzzles are in alphabetical order. < 1363420427 383763 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :I don't know why they are in alphabetical order, but after playing this game a few times I realized that it is, for some reason. < 1363420659 565417 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :Another way to score would be to have the way to bet on a position(s) having a letter, and if it does, you earn bonus points. < 1363420959 233300 :epicmonkey!~epicmonke@188.134.41.112 JOIN :#esoteric < 1363421178 155887 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :Can anyone answer my question about the bijective function types having to do with the logic with numbers? < 1363421533 8054 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :What is the Curry-Howard of quantum logic? < 1363421839 770971 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 JOIN :#esoteric < 1363421873 194689 :Bike!~Glossina@207-224-22-243.ptld.qwest.net QUIT :Ping timeout: 246 seconds < 1363427813 586076 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 QUIT :Remote host closed the connection < 1363428250 389249 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :What is it called, when, if A is less than or equal to B then you can always subtract A from B, although there might be more than one way to do so, and it might be possible to subtract even if A is not less than or equal to B? < 1363428483 204255 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I didn't see your question about bijective function types having to do with the logic with numbers. < 1363428684 748128 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :shachaf: Maybe I forgot to write it? Nevertheless I can repeat. < 1363428722 945417 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :If you are making logic with numbers, can the type system corresponding include the type of bijective functions between finite types? < 1363429034 201977 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :shachaf: Now do you know? < 1363429041 423520 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :No. < 1363429056 362322 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric : I don't think I understand the question. < 1363429149 51195 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :You may know about Curry-Howard, with functional programming having types of intuitionistic logic. I was trying to think of what it makes if you add logic that includes numbers. < 1363429240 146360 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :That is what I mean by the question. Now can you understand it? < 1363430209 580965 :nooga!~nooga@ip-46-250-173-30.ip.maverick.com.pl JOIN :#esoteric < 1363430302 319899 :EgoBot!codu@codu.org PRIVMSG #esoteric :​585072 +++++++++++++[>+++++>+++>+>++++++<<<<-]>>>+++++++++++++++++++++++++++++++++++++++++++++++.<------.>++++++++.<<++++++++++++++.------------.>>++++++++++++++++.>+++++++++++.<----.-----------.<<-----------------------------------.>>>+++++++++++++++.++++++++++++.<<<+++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++.>>>--------.<-------.<-----------------------.++++++++++++++++++++++++++++++++++++++++++++++++++.>>----.++++++++++++.--- < 1363431142 955078 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I'm not sure. < 1363431359 868258 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :zzo38: In Idris, if you subtract a large natural from a small natural, you just get zero < 1363431565 647282 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :FreeFull: Well, that satisfies the conditions, but it doesn't describe everything that is having such conditions. < 1363431648 856605 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :You could make your own integers that would produce negative values < 1363431720 128119 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :(If there is an ordering and subtraction is always possible, that satisfies the conditions, but I mean even some things where subtraction might not be always possible, or where there might be more than one possible answer of the subtraction) < 1363431748 692253 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :(It is not pure subtraction in such case) < 1363431755 764369 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :(well, not necessarily, anyways.) < 1363432294 69681 :Jafet!~Jafet@unaffiliated/jafet JOIN :#esoteric < 1363432481 543214 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :I don't mean necessarily only ordinary subtraction. < 1363433010 249680 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :zzo38: Say, a function that returns a list of values? < 1363433182 57621 :carado!~user4539@2a01:e35:8b61:e430:6ef0:49ff:fe73:1fd0 JOIN :#esoteric < 1363433247 291360 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :FreeFull: Well, something like that; maybe returns a set of values. < 1363433265 752241 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :Perhaps if you have this kind of extraordinary subtraction, then you can have the extraordinary addition to go with it, too. < 1363433308 560955 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :zzo38: Well, could return [] too < 1363433327 737305 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :FreeFull: Yes, that is what I was thinking of too. < 1363433333 967915 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :Maybe it could work in the list monad < 1363433346 629189 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :using guard to eliminate values < 1363433425 655720 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :I would think it should be set monad, although you could use list monad to pretend to be a set monad. < 1363433454 177691 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :But I mean there is always at least one answer if A is less than or equal to B. < 1363433549 126665 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :You could probably enforce that in the type < 1363433673 118945 :epicmonkey!~epicmonke@188.134.41.112 QUIT :Ping timeout: 256 seconds < 1363433757 487091 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :If a Icosahedral RPG multimana is defined as the multiset of manas, then the ordinary addition is the multiset sum, and the ordinary multiplication is the cartesian product over the multiset sum. Therefore you will have an ordinary subtraction as well. But you could then have extraordinary subtraction, if A is what you have and B is the mana cost, A-B is whatever is left over afterward; there might be more than one answer (or none at all). < 1363433779 177562 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :You could then have its inverse, the extraordinary addition, which does the similar thing. < 1363433829 877699 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :In this case, extraordinary subtraction A-B is possible if and only if B is less than or equal to A. < 1363433839 155964 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :Is the result set guaranteed to have a greatest element? < 1363433945 934402 :ogrom!~del@143.122.191.90.dyn.estpak.ee JOIN :#esoteric < 1363434409 502047 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :No, I don't think so. If `- is extraordinary subtraction, then (ug+ur+1)`-u can result ug+1 or ur+1 neither of which is greater. < 1363434675 55096 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :However, I think that with extraordinary addition (which, unlike ordinary addition, is not commutative), there will always be one least answer, which is the same answer as ordinary addition. < 1363435909 528552 :nooodl!~nooodl@91.177.19.186 JOIN :#esoteric < 1363439119 13217 :hagb4rd!~perdito@koln-4db4f792.pool.mediaWays.net JOIN :#esoteric < 1363440731 312102 :Vorpal!~Vorpal@unaffiliated/vorpal QUIT :Ping timeout: 246 seconds < 1363440795 510088 :ogrom!~del@143.122.191.90.dyn.estpak.ee QUIT :Quit: Left < 1363441021 212292 :Vorpal!~Vorpal@unaffiliated/vorpal JOIN :#esoteric < 1363442557 803441 :Taneb!~nathan@host-78-148-13-114.as13285.net JOIN :#esoteric < 1363442659 373864 :sirdancealo2!~sirdancea@98.82.broadband5.iol.cz QUIT :Read error: Operation timed out < 1363442884 57714 :carado!~user4539@2a01:e35:8b61:e430:6ef0:49ff:fe73:1fd0 QUIT :Ping timeout: 256 seconds < 1363443559 748289 :sirdancealo2!~sirdancea@98.82.broadband5.iol.cz JOIN :#esoteric < 1363443674 936025 :hagb4rd!~perdito@koln-4db4f792.pool.mediaWays.net PRIVMSG #esoteric :hey elliott: do you still have the link to that page on whch generated sounds from mathematical formulas? i can't find :( < 1363443870 345075 :hagb4rd!~perdito@koln-4db4f792.pool.mediaWays.net PRIVMSG #esoteric :got it: http://wurstcaptures.untergrund.net/music/ < 1363444768 538902 :hagb4rd2!~perdito@koln-4db43930.pool.mediaWays.net JOIN :#esoteric < 1363444793 592558 :hagb4rd!~perdito@koln-4db4f792.pool.mediaWays.net QUIT :Disconnected by services < 1363444798 957955 :hagb4rd2!~perdito@koln-4db43930.pool.mediaWays.net NICK :hagb4rd < 1363445354 544783 :DHeadshot!~DH____@unaffiliated/dh----/x-6288474 QUIT :Read error: Connection reset by peer < 1363445359 776623 :DH____!~DH____@unaffiliated/dh----/x-6288474 JOIN :#esoteric < 1363445578 283407 :DH____!~DH____@unaffiliated/dh----/x-6288474 QUIT :Read error: Connection reset by peer < 1363445583 774962 :DHeadshot!~DH____@unaffiliated/dh----/x-6288474 JOIN :#esoteric < 1363447052 721140 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net JOIN :#esoteric < 1363447191 564048 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :warning: fleshlight invasion on the wiki < 1363447207 672123 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :I have no idea what that is and I really don't want to know < 1363447302 560092 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :it's kind of like a flashlight < 1363447303 44405 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :but < 1363447306 213066 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :yeah < 1363447431 12145 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :you don't? shame < 1363447453 259971 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :what are they teaching kids in school these days < 1363447645 574570 :heroux!~heroux@5070823C.static.ziggozakelijk.nl QUIT :Ping timeout: 240 seconds < 1363447772 957218 :heroux!~heroux@5070823C.static.ziggozakelijk.nl JOIN :#esoteric < 1363448008 465511 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :Arc_Koen: ignorance is not cool < 1363448208 315683 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :oklopol: I repent < 1363448226 463605 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :good < 1363448240 25660 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :a fleshlight is a fake vagina. < 1363448317 142830 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :WHY WOULD YOU SAY THAT < 1363448317 350045 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :do you think it'll be okay for men to have sex toys too, some day? < 1363448382 164255 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :Arc_Koen: it's part of my war against willful ignorance < 1363448416 714942 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :is forceful knowledge better? < 1363448424 174246 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :yes < 1363448517 396578 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :goog to know < 1363448536 391809 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :goog indeed. < 1363448655 415338 :DHeadshot!~DH____@unaffiliated/dh----/x-6288474 QUIT :Read error: Connection reset by peer < 1363448661 510685 :DH____!~DH____@unaffiliated/dh----/x-6288474 JOIN :#esoteric < 1363448666 932885 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net QUIT :Quit: hello < 1363449089 53935 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :GOOG, isn't that the NASDAQ code for Google? < 1363449151 39559 :olsner!~salparot@c83-252-194-156.bredband.comhem.se PRIVMSG #esoteric :goog.com redirected me to a page (in swedish!) asking me how old I am < 1363449587 572155 :Gregor!codu@codu.org PRIVMSG #esoteric :Even so, something tells me that GOOG is not the NASDAQ code for Swedish porn. < 1363449811 720311 :Taneb!~nathan@host-78-148-13-114.as13285.net PRIVMSG #esoteric :Google's just bought out SexyMøøse.xxx < 1363449895 540662 :Gregor!codu@codu.org PRIVMSG #esoteric :When will the powerful Swedish Porn Consortium stop? D-8 < 1363451270 525755 :ais523!~ais523@unaffiliated/ais523 JOIN :#esoteric < 1363451715 872289 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :http://ow.ly/j2UQo "If it’s not a cult, then why are they painted grey? And why are they wearing devil horns?" Is this... is this about Homestuck cosplayers? < 1363451719 372308 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :(I had to url-shorten it because the actual link makes the 'not-sure-about-it' "joke" not work.) < 1363452242 236310 :Bike!~Glossina@207-224-22-243.ptld.qwest.net JOIN :#esoteric < 1363452582 605939 :Bike_!~Glossina@207-224-22-243.ptld.qwest.net JOIN :#esoteric < 1363452587 816100 :Bike!~Glossina@207-224-22-243.ptld.qwest.net QUIT :Quit: Reconnecting < 1363452630 993057 :Bike!~Glossina@207-224-22-243.ptld.qwest.net JOIN :#esoteric < 1363452808 618840 :Taneb!~nathan@host-78-148-13-114.as13285.net PRIVMSG #esoteric :fizzie, seen it before, and yes < 1363452848 476478 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Taneb: Were you, in fact, THERE? < 1363452855 212945 :Taneb!~nathan@host-78-148-13-114.as13285.net PRIVMSG #esoteric :INDEED I WAS < 1363452860 119981 :Taneb!~nathan@host-78-148-13-114.as13285.net PRIVMSG #esoteric :(disclaimer: I was not) < 1363452871 214581 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Are you, in fact, "Guest"?! < 1363452872 798097 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Oh. < 1363452874 573893 :Taneb!~nathan@host-78-148-13-114.as13285.net PRIVMSG #esoteric :(however, I am going to an anime con in Homestuck cosplay next weekend) < 1363452888 401311 :Bike_!~Glossina@207-224-22-243.ptld.qwest.net QUIT :Ping timeout: 276 seconds < 1363452913 381595 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Oh, so you're in a cult. < 1363452939 43421 :Taneb!~nathan@host-78-148-13-114.as13285.net PRIVMSG #esoteric :Indeed < 1363452948 959937 :Taneb!~nathan@host-78-148-13-114.as13285.net PRIVMSG #esoteric :The mysterious cult known only as... < 1363452951 154563 :Taneb!~nathan@host-78-148-13-114.as13285.net PRIVMSG #esoteric :"Homestuck" < 1363452973 303869 :Taneb!~nathan@host-78-148-13-114.as13285.net PRIVMSG #esoteric :I, however, am not one of the horn-wearing grey-skinned ones < 1363452978 27881 :Taneb!~nathan@host-78-148-13-114.as13285.net PRIVMSG #esoteric :I AM SUPERIOR TO THAT < 1363452981 552647 :olsner!~salparot@c83-252-194-156.bredband.comhem.se PRIVMSG #esoteric :fizzie: I don't know, but I liked that last line < 1363453051 809483 :Taneb!~nathan@host-78-148-13-114.as13285.net PRIVMSG #esoteric :Hmm < 1363453070 449853 :Taneb!~nathan@host-78-148-13-114.as13285.net PRIVMSG #esoteric :One day, some English sports fans are gonna sing "Jerusalem" at a match against Israel and everyone will be confused < 1363453076 13137 :Bike!~Glossina@207-224-22-243.ptld.qwest.net PRIVMSG #esoteric :Are you cosplaying as Casey < 1363453092 246106 :Taneb!~nathan@host-78-148-13-114.as13285.net PRIVMSG #esoteric :Bike, I actually was almost going to be Secret Wizard < 1363453279 951972 :Taneb!~nathan@host-78-148-13-114.as13285.net PRIVMSG #esoteric :Alas, I am cosplaying Jake English < 1363453306 756556 :Bike!~Glossina@207-224-22-243.ptld.qwest.net PRIVMSG #esoteric :nice shorts < 1363453310 541410 :Taneb!~nathan@host-78-148-13-114.as13285.net PRIVMSG #esoteric :Indeed < 1363453313 782348 :Taneb!~nathan@host-78-148-13-114.as13285.net PRIVMSG #esoteric :I need to make those today < 1363453548 845414 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :god-tier? < 1363453676 499447 :Taneb!~nathan@host-78-148-13-114.as13285.net PRIVMSG #esoteric :No, but green bodywarmer tier < 1363453712 817604 :Bike!~Glossina@207-224-22-243.ptld.qwest.net PRIVMSG #esoteric :good tier < 1363453779 511481 :Taneb!~nathan@host-78-148-13-114.as13285.net PRIVMSG #esoteric :http://sphotos-b.ak.fbcdn.net/hphotos-ak-ash4/301104_453019734742315_623549310_n.jpg <-- me being Jake English previously < 1363453831 592516 :Taneb!~nathan@host-78-148-13-114.as13285.net PRIVMSG #esoteric :Alas, I am not the best cosplayer < 1363453836 697813 :olsner!~salparot@c83-252-194-156.bredband.comhem.se PRIVMSG #esoteric :which one's jake english? < 1363453844 489681 :Taneb!~nathan@host-78-148-13-114.as13285.net PRIVMSG #esoteric :The awesome one < 1363453859 592950 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :oh wow these new spam pages are fantastic < 1363453871 231320 :Bike!~Glossina@207-224-22-243.ptld.qwest.net PRIVMSG #esoteric :spam pages you say < 1363453882 82133 :Taneb!~nathan@host-78-148-13-114.as13285.net PRIVMSG #esoteric :http://www.mspaintadventures.com/?s=6&p=006906 < 1363453885 120447 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :10 Benefits of fleshlightWhy spanking the monkey at him in private. A Fleshlight is always ready to work and a certain amount of pain. Humor that has some impact on self-identity, gender relations, and many in our choices tend to be fleshlight aiming to provide confidence. < 1363453890 746234 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :And the news this week that the AAFL are publicly announcing the purchase of the 'fleshlight' for added self-gratification, you'd think they'd realise that expensive set-dressed cinematic sex is soooo-1970s. Aw, hell, he does own homes in LA, Canada, New York, Stony Brook, maintained that Victorian readers would have recognized Heep's physical traits as those of an active Fleshlight. K It's called Fleshlight. < 1363453904 276575 :Bike!~Glossina@207-224-22-243.ptld.qwest.net PRIVMSG #esoteric :excellent. < 1363453921 358522 :Taneb!~nathan@host-78-148-13-114.as13285.net PRIVMSG #esoteric :These feels markovian < 1363453921 580469 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :http://esolangs.org/wiki/User:GenesisUU wow these are just < 1363453963 849814 :Bike!~Glossina@207-224-22-243.ptld.qwest.net PRIVMSG #esoteric :get ready to rock with the ultimate handheld fleshlight < 1363453987 287705 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :That's not illegal -- but it is insignifigant compared to the ribbed edges of fleshlight. < 1363453990 754381 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :fungot: Have you been writing spam for money? < 1363453990 967301 :fungot!fis@eos.zem.fi PRIVMSG #esoteric :fizzie: ( it's not in the topic < 1363454038 159709 :Taneb!~nathan@host-78-148-13-114.as13285.net TOPIC #esoteric : #esoteric is supposed to be about esoteric programming languages, but is really a couple of dozen people being weird | Newsflash: fungot has been writing spam for money. | Logs: http://codu.org/logs/_esoteric/ < 1363454057 678909 :Taneb!~nathan@host-78-148-13-114.as13285.net PRIVMSG #esoteric :fungot, it is now. Will you amend your statement? < 1363454058 240106 :fungot!fis@eos.zem.fi PRIVMSG #esoteric :Taneb: i agree with you in the past with losing disks and such, and if you're using libxml, it's not useless if you're playing in a different mem location < 1363454136 862826 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :fungot: That sounds like typical politician doubletalk to me. < 1363454137 567301 :fungot!fis@eos.zem.fi PRIVMSG #esoteric :fizzie: errr, interactive?) language with the most stupid explaination one can get. in there, quite a few are take home because... " muahaha! nothing can help you < 1363454152 681124 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :I suppose nothing can help me. < 1363454259 454328 :Taneb!~nathan@host-78-148-13-114.as13285.net PRIVMSG #esoteric :I need to buy what my mum would call a "Hexham hat" for my SATW!Finland cosplay < 1363454315 521381 :olsner!~salparot@c83-252-194-156.bredband.comhem.se PRIVMSG #esoteric :fungot: how would you like a hexham hat? < 1363454315 670714 :fungot!fis@eos.zem.fi PRIVMSG #esoteric :olsner: i don't know < 1363454337 426116 :Taneb!~nathan@host-78-148-13-114.as13285.net PRIVMSG #esoteric :I think that shop opposite the witch sells them < 1363454345 779934 :Taneb!~nathan@host-78-148-13-114.as13285.net PRIVMSG #esoteric :But they use really foul perfume in the shop < 1363454349 729183 :Taneb!~nathan@host-78-148-13-114.as13285.net PRIVMSG #esoteric :So I don't want to go in < 1363454352 341851 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Taneb: Is that a village witch? < 1363454362 903945 :Taneb!~nathan@host-78-148-13-114.as13285.net PRIVMSG #esoteric :It's a town witch I'm afraid < 1363454381 568881 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :I guess it's as good. Does curses and so on? < 1363454439 449396 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :^style < 1363454439 599030 :fungot!fis@eos.zem.fi PRIVMSG #esoteric :Available: agora alice c64 ct darwin discworld enron europarl ff7 fisher fungot homestuck ic irc* iwcs jargon lovecraft nethack pa qwantz sms speeches ss wp youtube < 1363454440 200642 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :I just saw that Oz thing (we had due-to-expire-soonishly Christmas present theater tickets), speaking of witches. < 1363454468 138593 :olsner!~salparot@c83-252-194-156.bredband.comhem.se PRIVMSG #esoteric :`? fungot < 1363454468 465845 :fungot!fis@eos.zem.fi PRIVMSG #esoteric :olsner: it may be too clever; i'm not sure i like < 1363454475 205585 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :ACTION likes the idea that hexham has an official witch position, and they presumably need to advertise for a new witch if the existing witch retires or moves out of town < 1363454479 593148 :HackEgo!codu@codu.org PRIVMSG #esoteric :fungot cannot be stopped by that sword alone. < 1363454511 900260 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Wicked Witch of the Hexham. < 1363454681 272062 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :ais523: I think witches usually die in office < 1363454682 489728 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :like the pope < 1363454706 409716 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :elliott: "retired witch" is too awesome a job description not to have it in my mental image < 1363454758 727198 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :I think many retired witches still do part-time witchery to kill time. < 1363454963 758121 :Taneb!~nathan@host-78-148-13-114.as13285.net PRIVMSG #esoteric :elliott, would you go into that shop and buy me a hat < 1363454974 609910 :Taneb!~nathan@host-78-148-13-114.as13285.net PRIVMSG #esoteric :Then leave it in a pre-determined pick-up point < 1363454994 390973 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :but that involves going outside < 1363454999 881559 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :big commitment < 1363455037 371842 :Taneb!~nathan@host-78-148-13-114.as13285.net PRIVMSG #esoteric :elliott, you can do it < 1363455039 361338 :Taneb!~nathan@host-78-148-13-114.as13285.net PRIVMSG #esoteric :I believe in you < 1363455046 698254 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :how about you do it on my behalf < 1363455046 847884 :Taneb!~nathan@host-78-148-13-114.as13285.net PRIVMSG #esoteric :Despite the lack of secondary sources < 1363455060 646403 :Taneb!~nathan@host-78-148-13-114.as13285.net PRIVMSG #esoteric :But I don't like going into that shop! < 1363455063 404509 :Taneb!~nathan@host-78-148-13-114.as13285.net PRIVMSG #esoteric :The perfume!!! < 1363455073 587813 :Taneb!~nathan@host-78-148-13-114.as13285.net PRIVMSG #esoteric :(I have a crippling fear of perfume) < 1363455076 693290 :olsner!~salparot@c83-252-194-156.bredband.comhem.se PRIVMSG #esoteric :use a gas mask < 1363455093 953607 :Taneb!~nathan@host-78-148-13-114.as13285.net PRIVMSG #esoteric :But where would I find a gas mask in Hexham! < 1363455100 138784 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :um in the bomb shelter < 1363455100 332745 :Taneb!~nathan@host-78-148-13-114.as13285.net PRIVMSG #esoteric :Think these things through, olsner < 1363455104 188333 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :At the hat store. < 1363455112 10034 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Isn't it kind of a hat? < 1363455119 35341 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :anyway i am pretty sure this is just a plot by Taneb to find out what i look like < 1363455122 39526 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :by hiding in the shop < 1363455139 474661 :Taneb!~nathan@host-78-148-13-114.as13285.net PRIVMSG #esoteric :Nah, it's a plot by Taneb to avoid going into the shop < 1363455148 157728 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :elliott: I think that you'd find a comical net-and-a-tree kind of a trap at the hat pick-up point. < 1363455155 472721 :Taneb!~nathan@host-78-148-13-114.as13285.net PRIVMSG #esoteric :I already know you look like a 12 year old girl < 1363455202 373134 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :that is possibly not quite accurate any more < 1363455239 500762 :Taneb!~nathan@host-78-148-13-114.as13285.net PRIVMSG #esoteric :Do you look like a 14 year old girl < 1363455250 484524 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :um < 1363455253 156366 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :maybe? < 1363455255 636114 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Or possibly one of those box things, propped up with a stick, with a theorem prover or something inside. (I don't know what they use as bait in elliott traps.) < 1363455270 566550 :Taneb!~nathan@host-78-148-13-114.as13285.net PRIVMSG #esoteric :Or do you look like that guy in that play I saw last night < 1363455274 351024 :Taneb!~nathan@host-78-148-13-114.as13285.net PRIVMSG #esoteric :You do, don't you < 1363455288 643846 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :i was in no play < 1363455318 184371 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :fizzie: possibly a rabbit, I have a habit of trying to follow them < 1363455387 190288 :Bike_!~Glossina@207-224-22-243.ptld.qwest.net JOIN :#esoteric < 1363455392 963806 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :A rabbit, dead or alive? < 1363455413 672667 :Bike!~Glossina@207-224-22-243.ptld.qwest.net QUIT :Ping timeout: 256 seconds < 1363455441 748470 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :There was something about an inverted pyramid of rabbits. < 1363455507 303311 :Taneb!~nathan@host-78-148-13-114.as13285.net PRIVMSG #esoteric :I have a disk with Solaris 2011 on it < 1363455509 897431 :Taneb!~nathan@host-78-148-13-114.as13285.net PRIVMSG #esoteric :Would that work < 1363455556 426349 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Solaris is made out of Iblis and Mephiles. < 1363455565 428867 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :hm i might actually try and steal a solaris disk < 1363455570 966349 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :*disc < 1363455574 942388 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :unlses it's actually a disk < 1363455583 876578 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :It's a disq. < 1363455592 702402 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :me too < 1363455629 611328 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Maybe the forthcoming holocube media (isn't that the future?) are going to be called disqs. < 1363456512 788113 :ogrom!~del@143.122.191.90.dyn.estpak.ee JOIN :#esoteric < 1363456597 199067 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :elliott: did you block GenesisUU? I only see the deletions < 1363456611 965485 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :or are you hoping for more awesome language names? < 1363456683 554170 :nooodl!~nooodl@91.177.19.186 QUIT :Ping timeout: 245 seconds < 1363456683 926812 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :(Block log); 17:13 . . Ehird (Talk | contribs | block) blocked GenesisUU (Talk | contribs) with an expiry time of indefinite (account creation disabled, e-mail disabled, cannot edit own talk page) ‎(Spamming links to external sites) < 1363456702 613496 :Bike_!~Glossina@207-224-22-243.ptld.qwest.net PRIVMSG #esoteric :boring < 1363456704 727975 :Bike_!~Glossina@207-224-22-243.ptld.qwest.net PRIVMSG #esoteric :fascist < 1363456706 354868 :Bike_!~Glossina@207-224-22-243.ptld.qwest.net NICK :Bike < 1363456724 251312 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :yes < 1363456725 253223 :DH____!~DH____@unaffiliated/dh----/x-6288474 QUIT :Read error: Connection reset by peer < 1363456736 38895 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :Bike: if you want i'll make you a sysop so you can unblock them! < 1363456738 170820 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :(probably not) < 1363457054 348063 :Phantom_Hoover!~Phantom@unaffiliated/phantom-hoover/x-3377486 JOIN :#esoteric < 1363457238 428003 :oerjan!oerjan@sprocket.nvg.ntnu.no JOIN :#esoteric < 1363457273 213585 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :*GASP* < 1363457284 3062 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :fungot: how COULD you < 1363457284 828151 :fungot!fis@eos.zem.fi PRIVMSG #esoteric :oerjan: runtimeerror fnord' codec can't decode bytes in position 1-2: illegal multibyte sequence) really... i would have exported. oh well. only on l2 l3)) < 1363457290 778668 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :oerjan: it's ok the spam was really good < 1363457295 105764 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :oh. < 1363457311 300069 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :food -> < 1363457497 440335 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :fungot: Are you have character set problems? < 1363457497 787567 :fungot!fis@eos.zem.fi PRIVMSG #esoteric :fizzie: i am a pissed off fnord, but it needs an extra field per object and a list < 1363457508 341035 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Uh-kay. < 1363457543 444648 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :hrm. What's the point of spam where the spammer pretends to be a female who wants to start a relationship? < 1363457568 504349 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :Sgeo: to get responses < 1363457576 598175 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Possibly also to scam money? < 1363457580 308943 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :just getting someone to respond to spam at all is something of a victory for a spammer < 1363457581 974901 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :For "plane tickets" or whatever. < 1363457593 914357 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :fizzie: yes, that would be a plausible followup < 1363457612 99499 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :but having a conversation with someone about anything at all gives you more of an opportunity to scam them, than if they ignore everything you say < 1363457618 201509 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Or for the medical expenses of a badly ill mother, or something. < 1363457628 506253 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :pissed off fnords are the scariest < 1363457633 913796 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Or possibly a stove. < 1363457646 326098 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Cf. http://www.joewein.net/spam/spam-elena-needs-woodburning-oven.htm < 1363457707 275244 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :I've gotten a few of those requests for the "wood burning stove". < 1363457759 628390 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :Actually, there's a hilarious sentence here, I'm going to pastie the spam < 1363457790 234133 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :"Dear ICS doctoral students -- Please register and participate! Interesting talks, good company, free food!" I see they get their "how to get doctoral students to attend" strategy from PhD comics. < 1363457790 828005 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :actually, I wonder what sort of success rates you could get preying on spammers < 1363457814 462218 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :many of them will be more gullible than average, and there's no problem in starting a conversation with them < 1363457815 759766 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :http://pastie.org/private/bkc3kimpstoepmjsag0vq < 1363457816 594915 :Bike!~Glossina@207-224-22-243.ptld.qwest.net PRIVMSG #esoteric :ais523: 419eaters was pretty popular at some point < 1363457819 949736 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :ais523: 419- yes < 1363457825 59862 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :Bike: yeah but it wasn't trying to make an income < 1363457828 964170 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :just embarrass people < 1363457833 619885 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :(I censored the email) < 1363457845 222180 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :"Many Humans began their relationship through correspondence. And so I decided to try it." < 1363457851 809332 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :Clearly she's an alien. < 1363457853 483837 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :i wonder what the economic situation of your average 419 scammer is < 1363457856 389462 :Bike!~Glossina@207-224-22-243.ptld.qwest.net PRIVMSG #esoteric :don't you believe in love < 1363457856 848704 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :actually I've seen a theory that many of the really really obvious scam attempts are the result of people who'd been scammed into buying into "get rich quick by scamming people" scams < 1363457859 277603 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :a sort of metascam < 1363457880 938513 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :Sgeo: um how am i meant to reply to juliya if you cut out the email < 1363457888 83036 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :the scam that gets sent out to the public doesn't have to work, it just has to be good enough to convince the victim scammer it will work < 1363457888 469308 :Bike!~Glossina@207-224-22-243.ptld.qwest.net PRIVMSG #esoteric :elliott: back in the day it was not good, so 419eating got a bit controversial, since you were like tricking poor nigerians into fucking themselves < 1363457901 662589 :Bike!~Glossina@207-224-22-243.ptld.qwest.net PRIVMSG #esoteric :a sense of... proportion < 1363457924 554024 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :419eater and its operatives was profiled on the September 9th, 2008 episode of Public Radio's This American Life,[3] specifically one particular bait that ran for 100 days starting in April 2008 and involved sending a scammer named Adamu from Lagos, Nigeria to Abéché, Chad, a dangerous and politically unstable region.[4] < 1363457937 834457 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :looks like my intuition of them probably actually being dicks is accurate < 1363457946 381233 :Bike!~Glossina@207-224-22-243.ptld.qwest.net PRIVMSG #esoteric :yeah < 1363457956 412434 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I don't get why you'd trick a scammer into going to Chad anyway < 1363457972 371246 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :you can get equally amusing results without putting the scammer in danger < 1363457995 214496 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :well i'm not sure this attitude views the scammers as real people < 1363458016 99478 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :but they are < 1363458031 352680 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :in a way they're realer than other people, because you can talk to them and have some sort of idea that they exist < 1363458032 185749 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :wow you could get a phd in philosophy with insights like that < 1363458045 646478 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :there's more evidence that scammers exist, than that, say, the average Nigerian exists < 1363458063 886006 :Bike!~Glossina@207-224-22-243.ptld.qwest.net PRIVMSG #esoteric :i'll notify 419eaters' bayesian division immediately < 1363458144 198822 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :did you see the thing about how scammers will identify as nigerian even when they aren't < 1363458156 231634 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :in order to quickly do away with anyone who is even slightly suspicious < 1363458163 171350 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :kmc: the idea is to get the most gullible people to respond, right? < 1363458167 809867 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :yes < 1363458176 280674 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :gullible / ignorant / whatever < 1363458179 16891 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :I love the idea that you should appear as untrustworthy as possible to get /the most trusting responses/ < 1363458199 308187 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :yeah < 1363458204 132090 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :it makes sense, really < 1363458208 459394 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :it's the kind of thing that doesn't make any sense unless the number of people receiving your message is gigantic < 1363458212 467202 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I remember a TV show in the UK which needed gullible contestants < 1363458216 4610 :Bike!~Glossina@207-224-22-243.ptld.qwest.net PRIVMSG #esoteric :i read a neat article on how nigerian scammers were viewed in their societies, lemme find it < 1363458222 296934 :Taneb!~nathan@host-78-148-13-114.as13285.net PRIVMSG #esoteric :ais523, Deal or No Deal? < 1363458224 800677 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Speaking of curious things about spam, what I think a bit strange is the ones that are trying to sell some really specific product. Like all the chinese companies selling PCB manufacturing, or the one who wanted to sell me... I forget exactly what it was, maybe earthmoving equipment. Or concrete-mixing trucks. Anyway, something that presumably would (a) not interest a vast majority of ... < 1363458229 659750 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :maybe this is like putting armor on the parts of your planes where the ones that come back /don't/ have bullet holes < 1363458230 104253 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :so it started out with a trial period that selected for gullibility < 1363458231 276381 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :... recipients, and (b) would hopefully not be purchased based on random spam emails. < 1363458242 757677 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :ais523: was that the one where they pretended to send them into space < 1363458243 843238 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :(presumably they told the contestants they were selecting for something else, the people who were actually gullible would believe them) < 1363458245 888199 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :kmc: yes < 1363458252 898699 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :i remember that one < 1363458256 60414 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :british TV can be hilariously mean < 1363458257 48407 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :I don't < 1363458264 219944 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :didn't they figure it out before it was over and so it was kind of a letdown < 1363458266 642804 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :Linky to info? < 1363458278 696213 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :http://en.wikipedia.org/wiki/Space_Cadets_(TV_series) < 1363458282 114515 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :elliott: no, they didn't all; several of them did but they were removed from the show via some excuse or another < 1363458301 41523 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :also they snuck all the past contestants on board the spacecraft temporarily, while it was allegedly in space, just to see if they could < 1363458303 745163 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :thelliott < 1363458306 60072 :Bike!~Glossina@207-224-22-243.ptld.qwest.net PRIVMSG #esoteric :ugh, wikipedia, i don't care about 419s in some tv show < 1363458316 244310 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :fizzie: "Dear manager: This is Emily from China. Glad to hear that you"re in the field of wire mesh. We specialize in WIRE MESH for many years" < 1363458323 138133 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :i keep getting this one < 1363458329 412757 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :this reminds me of BlogNomic getting spam about stone crushers, specifically < 1363458332 190079 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :it comes with some nice photos of wire mesh < 1363458355 632481 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :kmc: "We, Sanitek Co., Ltd specializes in the field of Ozone purification systems for air, water, waste water, agri-food and gas liquid mixing technology for industrial, commercial and municipal applications." < 1363458358 468048 :Bike!~Glossina@207-224-22-243.ptld.qwest.net PRIVMSG #esoteric :blagh. < 1363458364 410124 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :Indeed, during the shooting of Space Cadets, smokers amongst the production crew were given Russian cigarettes to smoke in case any of the cadets discovered the butts. < 1363458366 968365 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :That's from my inbox right now. < 1363458371 659214 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :this seems rather overkill if the idea is that they are as gullible as possible < 1363458387 630788 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :elliott: the overkill was to make it more fun for the people watching < 1363458390 823282 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I'm pretty sure < 1363458393 980753 :Taneb!~nathan@host-78-148-13-114.as13285.net PRIVMSG #esoteric :...I've just realised that one of the Haskell libraries I've created really treads on zzo38's toes < 1363458402 830502 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :elliott: if they were actually clever, they would know you can get western cigarettes in russia < 1363458414 54121 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :kmc: right i was thinking they could just say "oh yes, british cigarettes are the best in the world" < 1363458422 996327 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :so it only works on dumb people who think they're clever < 1363458425 897004 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :kmc: Also it too comes with "ozoneboy sanitek(10-22-08-49-56).jpg", but I'm not sure I want to check it out. < 1363458434 75592 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :ozoneboy! < 1363458448 44673 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :fizzie: first two authors in my spam folder: "Ellen DeGeneres weight loss Free Sample", "No risk Ellen DeGeneres Promo" < 1363458449 265354 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :elliott: overkill is inherently entertaining, don't you agree? < 1363458451 187921 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :sensing a theme here < 1363458457 230558 :Bike!~Glossina@207-224-22-243.ptld.qwest.net PRIVMSG #esoteric :"Stereotyped characters, including a slow-talking Royal Air Force Squadron Leader with a luxuriant handlebar moustache" < 1363458460 623593 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :ais523: yes, your explanation makes sense < 1363458475 342988 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :oh, I was just thinking in general, not trying to argue my point further < 1363458477 739945 :Taneb!~nathan@host-78-148-13-114.as13285.net PRIVMSG #esoteric :zzo38, if you make monoidplus depend on groups I'll give you an e-hug < 1363458487 534351 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :like, overengineered programs are usually less useful than more typical prorgams < 1363458489 29617 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :*programs < 1363458493 166295 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :but they're also more awesome < 1363458500 46362 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :"Your Liberty Reserve Account Has Been Blocked!" < 1363458501 372347 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :oh no! < 1363458510 189936 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :where will I keep my liberty now? < 1363458526 664564 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :also "PRESIDENT JOHN" has emailed me < 1363458534 50603 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :HELLO < 1363458534 463291 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :Do not be suprised and please forgive me If this business proposition offends your moral values < 1363458540 340975 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :John is a perfectly reasonable name for a president < 1363458555 913126 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I get spam emails about conferences on my university account, which makes sense really because I'm known to have written papers < 1363458560 358352 :Taneb!~nathan@host-78-148-13-114.as13285.net PRIVMSG #esoteric :@tell zzo38 if you make monoidplus depend on groups I'll give you an e-hug < 1363458560 558266 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric :Consider it noted. < 1363458567 749377 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :the spam on nethack4.org is mostly about search engine optimization, which also makes sense < 1363458581 778140 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :it's hilarious how blatant it is about their methods < 1363458582 437145 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :I like the Double hoax ideas < 1363458597 167932 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :http://en.wikipedia.org/wiki/John_Dramani_Mahama apparently its this dude < 1363458601 209655 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :someone emails me asking for money to spam 2 million blog comments pointing at my website… < 1363458609 535103 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :Sgeo: what's a double hoax? < 1363458617 80472 :Bike!~Glossina@207-224-22-243.ptld.qwest.net PRIVMSG #esoteric :elliott: http://en.wikipedia.org/wiki/Goodluck_Jonathan < 1363458620 698596 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :Greetings! < 1363458620 848146 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :It has come to our attention that you are trying to sell your personal Diablo III account(s). < 1363458629 105720 :Bike!~Glossina@207-224-22-243.ptld.qwest.net PRIVMSG #esoteric :just sayin' < 1363458637 415112 :Nisstyre-laptop!~yours@oftn/member/Nisstyre JOIN :#esoteric < 1363458661 345812 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :my Diablo III account got banned :( < 1363458673 823673 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :coppro: why? < 1363458676 165403 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :ais523, the Wikipedia page for Space Cadets notes that some thought that maybe the hoax was on the viewers, tricked into thinking that the participants were gullible and not just actors < 1363458679 150739 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :Bike: that is a great name < 1363458681 827780 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :I don't know. I didn't know I had one < 1363458687 186204 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :I just got an email saying I got banned :( < 1363458694 868311 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :'As the attention to detail in the hoaxed environment became clear, some viewers expressed suspicions – in particular on Channel 4's message board for the programme – that the entire show, including the apparent gullibility and abject ignorance of the Cadets, was in fact a double bluff; all the Cadets were actors and that the real target of "the biggest prank in television history" was the "gullible" viewing public.' < 1363458716 468788 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :Sgeo: the most common such theory I saw was that the spaceship was actually in space, which seems dubious < 1363458725 168731 :Bike!~Glossina@207-224-22-243.ptld.qwest.net PRIVMSG #esoteric :i get a lot of phone calls telling me there are presently no problems with my current credit card plan but < 1363458727 902687 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I like the "everyone is an actor" theory, though < 1363458736 842064 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :it wouldn't change the show in my view at all < 1363458746 269475 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Also here's my latest spam; it's a nice hybrid of both the "40% of $5.6million" *and* the "I am 28 years old and i am Single" approaches: http://sprunge.us/ABRd < 1363458754 271707 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :Maybe I should watch it < 1363458761 355754 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :coppro: oh, it was lying? < 1363458778 581340 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :ais523: spam, I imagine < 1363458779 415127 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :;) < 1363458779 838222 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :ais523: I like the idea that Channel 4 would send a spaceship into space just to mses with people < 1363458782 649247 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`addquote there's more evidence that scammers exist, than that, say, the average Nigerian exists < 1363458787 997083 :HackEgo!codu@codu.org PRIVMSG #esoteric :982) there's more evidence that scammers exist, than that, say, the average Nigerian exists < 1363458803 547473 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :elliott: so do I < 1363458812 442733 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :fizzie: cool, a yak emailed you < 1363458814 56556 :Bike!~Glossina@207-224-22-243.ptld.qwest.net PRIVMSG #esoteric :kind of a shame the average nigerian isn't named Goodluck, when you think about it. < 1363458840 719879 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :elliott: "Showing results for 'ancient yak'. Search instead for 'ancitt yak'." < 1363458861 753570 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :elliott: I guess yet another theory is that the production crew believed that the contestants were gullible < 1363458873 915176 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :but the contestants had actually worked it out and were acting in order to fool the production crew < 1363458893 114445 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :fizzie: that is one weird-ass email < 1363458923 726455 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :ais523: what if the contestants knew that the production crew knew that they were pretending that they knew that they knew that the production crew believed that they were pretending it wasn't fake? < 1363458927 908627 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :elliott: http://waronspam.com/dearest-greetings/ hey, Miss Yak has also written to this other guy, and there she says she's 25 years and offers $55.6 million. < 1363458930 839882 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :and were just pretending that they didn't? < 1363458954 556888 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :fizzie: well she has to spend the money obviously < 1363458956 874623 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :elliott: that reminds me of a Mafia game I played < 1363458972 240725 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :where I was Mafia and I had a private communication channel with someone else who was also Mafia, but on a different team < 1363459015 614504 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :we both knew the other was mafia, but were pretending not to, and we both knew the other knew we were Mafia, but we won because I managed to fool the other person into thinking I didn't realise he knew I knew he was Mafia < 1363459036 470849 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :help < 1363459039 682965 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :fizzie: actually, something that annoys and confuses me: you know those dating adverts where they tell you about people in your local area who want to meet you? < 1363459045 842209 :Taneb!~nathan@host-78-148-13-114.as13285.net PRIVMSG #esoteric :ais523, that's ridiculous < 1363459050 287542 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I've occasionally seen two, on the same page, different names but the same photo < 1363459083 754643 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :ais523: It would be extra work to avoid that. < 1363459086 845233 :Bike!~Glossina@207-224-22-243.ptld.qwest.net PRIVMSG #esoteric :man, the best i've done is win Bullshit by lying when i didn't have to. < 1363459111 243341 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :fizzie: yeah but it rather ruins the impression that the adverts are trying to give < 1363459130 461864 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :i think the best game is kilgame < 1363459177 398791 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :My other address seems to have gotten mostly SEO and "cheap Facebook likes" spams now. < 1363459202 88409 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :The Facebook likes are "Manually Promoted by experts not bots/software involved". < 1363459212 342595 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :fungot: Do you sell any Facebook likes? < 1363459212 943218 :fungot!fis@eos.zem.fi PRIVMSG #esoteric :fizzie: i also agree with riastradh high ( or one might call it low/ deep level) stand. and there's no agora war ( between the vertices 12 and 14? < 1363459256 62038 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :The SEO offer says they'll have "100 EDU Backlinks" and "15 PR 5-8 Web 2.0 Profile Backlinks". < 1363459263 282825 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :scanl is the fast one rigth < 1363459266 35535 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :oerjan: hel < 1363459266 500903 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :p < 1363459275 689229 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Oh, it's the same company that's also selling the Facebook likes. < 1363459339 587450 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :"Subject: We send the Ph.D and College certificate to all countries, bay today qualitatively, not expensively" < 1363459343 650561 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :I'll certainly bay today. < 1363459367 254456 :olsner!~salparot@c83-252-194-156.bredband.comhem.se PRIVMSG #esoteric :qualitatively or expensively? < 1363459398 478012 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :I usually bay qualitatively. < 1363459436 876941 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :"Hello Fizzie, Just change your style depending on your mood: the past you were a commerce lady, now you just want to wear jeans and a top and tomorrow you require to dress up for an vital banquet." < 1363459440 873027 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :I don't think I've ever been "a commerce lady". (Is that slang for a prostitute?) < 1363459494 495213 :Taneb!~nathan@host-78-148-13-114.as13285.net PRIVMSG #esoteric :"Hello! My name is Tanya , I am lonely russian woman from Ulyanovsk." < 1363459500 586257 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :ais523: you should bring up that mafia game the next time someone posts one of those "there are n people; you tell them something that triggers one of their customs and after n days something bad happens" puzzles < 1363459502 214583 :Bike!~Glossina@207-224-22-243.ptld.qwest.net PRIVMSG #esoteric :nice place < 1363459517 214435 :Taneb!~nathan@host-78-148-13-114.as13285.net PRIVMSG #esoteric :I've got two other Tanyas in my spam folder < 1363459538 196341 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :oerjan: I think I figured those puzzles out < 1363459543 299802 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :elliott: scanl is pretty fast i think, as long as you consume the list in order < 1363459556 117968 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :oerjan: right. and scanr isthe inefficient one? < 1363459558 86507 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :@src scanl < 1363459558 667659 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric :scanl f q ls = q : case ls of < 1363459558 817649 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric : [] -> [] < 1363459558 817845 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric : x:xs -> scanl f (f q x) xs < 1363459558 817954 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :@src scanr < 1363459559 311444 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric :scanr _ q0 [] = [q0] < 1363459559 461037 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric :scanr f q0 (x:xs) = f x q : qs < 1363459560 614010 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric : where qs@(q:_) = scanr f q0 xs < 1363459601 693225 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :the idea is that although you know that there are either 50 or 49 people in a particular state, you don't know whether the other people agree with you, or believe it's 49 or 48, and those people must be wondering about the (incorrect) possibility that you're believing it's 48 or 47, and so on down to 0 < 1363459608 448988 :Phantom_Hoover!~Phantom@unaffiliated/phantom-hoover/x-3377486 QUIT :Ping timeout: 245 seconds < 1363459610 433302 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :so there's a day's delay for each level of indirection < 1363459614 626069 :Bike!~Glossina@207-224-22-243.ptld.qwest.net PRIVMSG #esoteric :is that the blue eyed island puzzle? < 1363459618 32038 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :Bike: yes < 1363459621 808727 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :or various variants of it < 1363459622 788102 :Bike!~Glossina@207-224-22-243.ptld.qwest.net PRIVMSG #esoteric :good puzzle < 1363459742 727748 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :elliott: i don't know about inefficient, i suspect they have similarities to foldl and foldr so it all depends on the strictness of the combining function? < 1363459785 215138 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :IIRC it's kind of dual < 1363459789 461050 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :as in, you usually want foldr and scanl < 1363459797 250611 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :and also scanl1 is total. < 1363459828 421220 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :well scanl gives you the resulting list elements quickly if the combining function is strict < 1363459847 384888 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :but i suspect scanr will be the other way around? < 1363459886 185061 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :that is, _neither_ necessarily needs to go to the end of the list to produce anything, but scanl always produces the first element fast < 1363459901 529188 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :while scanr needs the combining function to be lazy < 1363459916 810457 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :> scanr f x [1..10] :: Expr < 1363459918 389999 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric : Couldn't match expected type `Debug.SimpleReflect.Expr.Expr' < 1363459918 539913 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric : w... < 1363459927 622345 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :now what < 1363459930 814382 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric ::t scanr < 1363459932 357550 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric :(a -> b -> b) -> b -> [a] -> [b] < 1363459950 509426 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :> scanr f x [1..10] :: [Expr] < 1363459952 137577 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric : [f 1 (f 2 (f 3 (f 4 (f 5 (f 6 (f 7 (f 8 (f 9 (f 10 x))))))))),f 2 (f 3 (f 4... < 1363459977 671323 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :> scanr f x [1..3] :: [Expr] < 1363459977 835662 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :that's perfectly well defined even for an infinite list if f is lazy < 1363459979 160014 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric : [f 1 (f 2 (f 3 x)),f 2 (f 3 x),f 3 x,x] < 1363460005 851666 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :(well, lazy productive) < 1363460020 731939 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :and f not only has to be lazy, but also capable of returning a result without investigating its second argument, at some point < 1363460039 130702 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :ais523: ... < 1363460046 986274 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :are you aware of the definition of non-strictness? < 1363460058 985856 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :elliott: yeah but it has to look at at least one of its arguments < 1363460063 610702 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :to be interesting < 1363460076 587403 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :my point is that it has to be lazy in the second argument in particular < 1363460104 399651 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric : oerjan: I think I figured those puzzles out <-- i meant bringing them up to the people who inevitably say those puzzles are nonsense in practice < 1363460167 157910 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :oerjan: all sorts of things get people saying that about them < 1363460190 662116 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :and it wasn't a that in-practice situation, only non-game situation I can think of where that might happen is international diplomacy < 1363460233 747682 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :what about business? < 1363460247 923768 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :> iterate f 0 < 1363460249 673972 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric : Ambiguous type variable `a0' in the constraints: < 1363460249 836262 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric : (GHC.Num.Num a0) < 1363460249 985986 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric : a... < 1363460250 856070 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :hmm, I guess that's similar < 1363460253 591309 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :> iterate (f x) 0 < 1363460253 748501 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :oerjan: something about them being the same thing < 1363460255 608715 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric : Ambiguous type variable `a0' in the constraints: < 1363460255 758475 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric : (GHC.Num.Num a0) < 1363460255 758558 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric : a... < 1363460262 986160 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :> iterate (f x) 0 :: [Expr] < 1363460265 467585 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric : [0,f x 0,f x (f x 0),f x (f x (f x 0)),f x (f x (f x (f x 0))),f x (f x (f ... < 1363460308 609805 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :> scanr const undefined [1..] < 1363460310 124487 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric : [1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,22,23,24,25,26,27,28... < 1363460319 75141 :carado!~user4539@2a01:e35:8b61:e430:6ef0:49ff:fe73:1fd0 JOIN :#esoteric < 1363460406 301523 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :> iterate f (0 :: Expr) :: [Expr] < 1363460408 176257 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric : [0,f 0,f (f 0),f (f (f 0)),f (f (f (f 0))),f (f (f (f (f 0)))),f (f (f (f (... < 1363460437 721082 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :FreeFull: ambiguity means "please add type annotation so I can guess which type you are trying to use" < 1363460504 446333 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :I get that < 1363460506 812804 :Taneb!~nathan@host-78-148-13-114.as13285.net PRIVMSG #esoteric :(unless you're using lens which is ridiculous) < 1363460522 929432 :Taneb!~nathan@host-78-148-13-114.as13285.net PRIVMSG #esoteric :(actually, even if you're using lens) < 1363460540 7087 :Taneb!~nathan@host-78-148-13-114.as13285.net PRIVMSG #esoteric :> [1,2,3] ^. traverse < 1363460541 831042 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric : Ambiguous type variable `a0' in the constraints: < 1363460541 998129 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric : (GHC.Num.Num a0) < 1363460542 148152 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric : a... < 1363460551 245416 :Taneb!~nathan@host-78-148-13-114.as13285.net PRIVMSG #esoteric :> views traverse Sum [1,2,3] < 1363460553 768960 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric : Sum {getSum = 6} < 1363460632 292818 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :somehow it disturbs me that Taneb already understands haskell this well :P < 1363460654 169362 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :oerjan: hasn't it been like a year since he started learning < 1363460660 829905 :Taneb!~nathan@host-78-148-13-114.as13285.net PRIVMSG #esoteric :oerjan, Haskell is what I waste all my time with < 1363460684 220019 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :elliott: i'm not used to him having been around here for that long yet < 1363460689 416087 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :elliott: hmm… there are more distinctions than just "lazy" and "strict", I think < 1363460710 403270 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I can imagine a function that's strict in both arguments but doesn't evaluate the second argument until after it's finished processing the first < 1363460718 802037 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :this distinction doesn't matter in Haskell, but it's important in languages like Verity < 1363460768 255785 :Taneb!~nathan@host-78-148-13-114.as13285.net PRIVMSG #esoteric :Are you contemplating dangerous hybrids of Strict and Lazy? < 1363460788 561769 :Taneb!~nathan@host-78-148-13-114.as13285.net PRIVMSG #esoteric :oerjan, and I didn't really have much imperative coding background < 1363460803 544395 :Taneb!~nathan@host-78-148-13-114.as13285.net PRIVMSG #esoteric :oerjan, AND I had been messing with lambda calculus before I switched to Haskell < 1363460811 762739 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :ais523: even seq doesn't guarantee it with ghc, so they had to add pseq which does < 1363460851 580404 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :...that helps. i'd been doing unlambda... < 1363460851 895757 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :oerjan: oh right, I forgot about seq < 1363460880 683531 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :elliott: anyway, upshot is I can mentally consider a function as lazy even if it's strict in every argument < 1363460885 489725 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :seq makes things strict, but still doesn't guarantee any order of strictness < 1363460904 404567 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :ais523: you are just providing more data for hypothesis "ais523 is crazy" < 1363460919 454744 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :elliott: no, your mind's been warped by Haskell < 1363460923 959344 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :into not considering details that Haskell elides out < 1363460958 220334 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :ACTION is perfectly well accustomed with different evaluation orders and purities tyvm < 1363461035 907527 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :ais523, is Space Cadets a good show? < 1363461046 930466 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :seq is like a binder < 1363461058 499471 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :Sgeo: not really; I enjoyed it but I'm not sure I'd recommend it to everyone < 1363461063 659914 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I think it worked better live < 1363461073 708767 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :because everyone was hoping the whole thing would collapse < 1363461106 118252 :Taneb!~nathan@host-78-148-13-114.as13285.net PRIVMSG #esoteric :FreeFull, binder as in things you put papers in, or binder as in things to aid biological females appear male < 1363461112 226326 :Taneb!~nathan@host-78-148-13-114.as13285.net PRIVMSG #esoteric :Or binder in a third sense < 1363461120 445689 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :Taneb: third sense, I think < 1363461143 21814 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :binder as in something that combines a function and arguments < 1363461147 606405 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :It takes two things and joins them into one thing < 1363461151 302852 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :(not a good definition, but that sort of thing) < 1363461176 134591 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :I'm thinking a binder for thunks maybe? < 1363461680 696813 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :FreeFull: the lack of order guarantees i mentioned means it is dangerous to think of it as any _specific_ thunk composition. thunks are an implementation strategy, which ghc generally tries to optimize away or move around whenever the _actual_ language semantics don't require them. < 1363461732 940425 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :the official definition of seq is that seq "bottom" x = bottom, seq non-bottom x = x < 1363461799 429972 :epicmonkey!~epicmonke@188.134.41.112 JOIN :#esoteric < 1363461830 286901 :Taneb!~nathan@host-78-148-13-114.as13285.net PRIVMSG #esoteric :That definition of binder is nothing like the previous two! < 1363461952 755943 :Taneb!~nathan@host-78-148-13-114.as13285.net PRIVMSG #esoteric :Just seen on Tumblr: < 1363461969 922287 :Taneb!~nathan@host-78-148-13-114.as13285.net PRIVMSG #esoteric :"Aren't we /all / internet explorers?" < 1363461983 848852 :Taneb!~nathan@host-78-148-13-114.as13285.net PRIVMSG #esoteric :"...do you mean we run slow and people don't like us?" < 1363461984 708753 :Bike!~Glossina@207-224-22-243.ptld.qwest.net PRIVMSG #esoteric :the NeXT was in you all along < 1363461992 195651 :Taneb!~nathan@host-78-148-13-114.as13285.net PRIVMSG #esoteric :"That's exactly what we are" < 1363461998 172930 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :ACTION suddenly realizes that "binders" in english doesn't mean paper clip, and wonders how it got borrowed into norwegian meaning that < 1363462110 332856 :Taneb!~nathan@host-78-148-13-114.as13285.net PRIVMSG #esoteric :http://homestuck.bandcamp.com/track/hardlyquin-2 -- oerjan's current emotional state in Homestuck music < 1363462133 264648 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :oerjan: it has a very vaguely similar meaning < 1363462138 517680 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :ais523, this is educational, kind of < 1363462149 854662 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :Sgeo: what, the program, are you watching it? < 1363462159 359038 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :in what way do you find it entertaining? < 1363462184 930444 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :It's showing something they're calling the 'jar test', to measure whether the contestants are likely to conform < 1363462275 307272 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I've been wondering if that test actualyl works < 1363462277 705688 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :*actually < 1363462295 77972 :Bike!~Glossina@207-224-22-243.ptld.qwest.net PRIVMSG #esoteric :they should just submit everybody to milgram to traumatize them < 1363462366 667886 :Taneb!~nathan@host-78-148-13-114.as13285.net QUIT :Quit: DINNER < 1363462378 516859 :Phantom_Hoover!~Phantom@unaffiliated/phantom-hoover/x-3377486 JOIN :#esoteric < 1363462544 521227 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric : What is the Curry-Howard of quantum logic? < 1363462614 164664 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i once found something called basic logic which is apparently a subset of quantum logic and can be given a curry-howard interpretation with continuations. but i never managed to see a meaningful interpretation of the orthomodular law. < 1363462761 489690 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :it was basically a substructural sequent logic < 1363462808 934467 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :it was also a subset of linear logic < 1363462815 60593 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :um OBVIOUSLY you need a quantum computer < 1363462817 573156 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :quantum lambda calculus < 1363462836 839248 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :quantum logic isn't obviously directly related to quantum computers < 1363462846 72333 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :oerjan. oerjan i was kidding < 1363462847 177834 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :higher-order functions and quantum computers don't obviously mix < 1363462861 340763 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :it's the logic of hilbert space projections < 1363462870 972617 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :quantum computers don't really understand control flow, and higher order functions act like control flow operators < 1363462880 814223 :ogrom!~del@143.122.191.90.dyn.estpak.ee QUIT :Quit: Left < 1363462891 413841 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :I don't understand control flow, either < 1363462940 499115 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :maybe one should first ask "what is the curry-howard correspondence of reversible computing" < 1363463172 792823 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :^bf +++++++++++++[>+++++>+++>+>++++++<<<<-]>>>+++++++++++++++++++++++++++++++++++++++++++++++.<------.>++++++++.<<++++++++++++++.------------.>>++++++++++++++++.>+++++++++++.<----.-----------.<<-----------------------------------.>>>+++++++++++++++.++++++++++++.<<<+++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++.>>>--------.<-------.<-----------------------.++++++++++++++++++++++++++++++++++++++++++++++++++.>>----.++++++++ < 1363463172 942351 :fungot!fis@eos.zem.fi PRIVMSG #esoteric :. (exists n:nat, P(n)) < 1363465314 731667 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Axiom of Markogorov. < 1363465314 881317 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :er *forall P:nat->Prop, < 1363465356 816594 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :you should be glad none of us is close enough to collect on your bets. except Taneb who cannot because it would destroy the universe. wait that's just a plot you've made to keep Taneb from collecting on your bets isn't it. < 1363465371 665350 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :elliott: the original proof of Gödel's incompleteness theorem worked by abusing that < 1363465381 68756 :Phantom_Hoover!~Phantom@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :brinkmanship at its finest < 1363465395 453704 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :elliott: omega consistency < 1363465397 160489 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :ais523: well gödel's proof was classical, was it not < 1363465434 703075 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :except hm < 1363465437 435234 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :oerjan: hmm... I'm pretty sure I'm thinking of something with a different name, but it seems related < 1363465462 385761 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :omega consistency is classical so... < 1363465491 819127 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :ACTION wonders if Wikipedia has a list of axioms... < 1363465500 989601 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :and not really an axiom i guess < 1363465520 338687 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :oerjan: oh I forgot to mention that P must be decidable, iirc. and the idea behind the axiom is that you can just go through all naturals n until you find one that satisfies P < 1363465530 417414 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :the trick being, you can't prove that loop halts without an axiom < 1363465613 905895 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :right. it sounds like it's _in spirit_ the same as omega consistency translated to constructivism. < 1363466083 484262 :epicmonkey!~epicmonke@188.134.41.112 QUIT :Ping timeout: 245 seconds < 1363466275 52184 :augur!~augur@208.58.5.87 QUIT :Remote host closed the connection < 1363466300 485572 :augur!~augur@208.58.5.87 JOIN :#esoteric < 1363466558 409323 :augur!~augur@208.58.5.87 QUIT :Ping timeout: 245 seconds < 1363467242 860315 :Taneb!~nathan@host-78-148-13-114.as13285.net PRIVMSG #esoteric :Tempted to redefine Numberwang with unknown specification and a closed-source reference implementation < 1363467533 572309 :copumpkin!~copumpkin@unaffiliated/copumpkin QUIT :Ping timeout: 245 seconds < 1363467559 625515 :copumpkin!~copumpkin@unaffiliated/copumpkin JOIN :#esoteric < 1363467954 581190 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :ais523, thank you for introducing me to this show < 1363467977 122047 :Taneb!~nathan@host-78-148-13-114.as13285.net PRIVMSG #esoteric :oerjan, what would you recommend I do to become an EVEN BETTER HASKELL PROGRAMMMER < 1363468412 524695 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :refactor all your programs to do their computation in the type system. < 1363468558 569422 :sirdancealo2!~sirdancea@98.82.broadband5.iol.cz QUIT :Ping timeout: 245 seconds < 1363468657 970660 :Taneb!~nathan@host-78-148-13-114.as13285.net PRIVMSG #esoteric :Oh no! < 1363469338 437743 :sirdancealo2!~sirdancea@98.82.broadband5.iol.cz JOIN :#esoteric < 1363470255 90894 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :oerjan: i feel like i should warn you that i am considering proving your underload reductions to work in coq. there may be questions. < 1363470386 766322 :copumpkin!~copumpkin@unaffiliated/copumpkin QUIT : < 1363470426 223216 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :ooh < 1363470459 176477 :Taneb!~nathan@host-78-148-13-114.as13285.net PRIVMSG #esoteric :Good luck < 1363470506 100789 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :well i've found bugs in those sections before. but given that the constructed programs actually ran, i'm not _overly_ nervous :P < 1363470543 174970 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :yes, it's as much for want to something to do in coq than anything else. < 1363470557 205541 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :though I am also poking around at trying to prove the halting problem for the untyped lambda calculus. < 1363470571 927254 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :(the main issue seems to be teaching it about the untyped lambda calculus.) < 1363470583 462282 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :heh < 1363470618 448184 :copumpkin!~copumpkin@unaffiliated/copumpkin JOIN :#esoteric < 1363470718 528312 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :oerjan: aha, I found it! < 1363470719 658572 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :http://en.wikipedia.org/wiki/Markov's_principle < 1363470774 649987 :Nisstyre-laptop!~yours@oftn/member/Nisstyre QUIT :Ping timeout: 264 seconds < 1363470778 984783 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :aha < 1363470962 528064 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :I wonder what you "lose" by adding that principle. < 1363470988 695521 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :like, if you can prove (~forall n, ~P(n)) for decidable P while there still being an argument to be made that there isn't "actually" an n that satisfies it < 1363471009 280785 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :(and that possibly the algorithm that loops through all n will never find one somehow...?) < 1363471051 165209 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :elliott: how do you define "decidable", here? < 1363471136 699651 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :ais523: the standard way? forall n, P(n) \/ ~P(n) < 1363471167 841896 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :i.e. there is an algorithm that proves either P(n) or ~P(n) for any given n. but of course it gets trickier: that algorithm may itself invoke Markov's principle... < 1363471168 508148 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :OK, so the axiom is basically defining what "forall" means, I think < 1363471179 216929 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :err... I don't agree < 1363471191 965704 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :this is only about P : nat -> Prop, after all < 1363471658 450664 :sirdancealo2!~sirdancea@98.82.broadband5.iol.cz QUIT :Ping timeout: 245 seconds < 1363471811 610611 :Nisstyre-laptop!~yours@oftn/member/Nisstyre JOIN :#esoteric < 1363471821 553495 :Nisstyre-laptop!~yours@oftn/member/Nisstyre QUIT :Read error: Connection reset by peer < 1363472139 636879 :Phantom_Hoover!~Phantom@unaffiliated/phantom-hoover/x-3377486 QUIT :Quit: Leaving < 1363472163 342290 :Phantom_Hoover!~Phantom@unaffiliated/phantom-hoover/x-3377486 JOIN :#esoteric < 1363472379 879550 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :coq really needs hoogle. < 1363472382 732865 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :coogle. < 1363472603 343285 :sirdancealo2!~sirdancea@98.82.broadband5.iol.cz JOIN :#esoteric < 1363472901 811489 :wareya!~wareya@cpe-67-248-121-45.nycap.res.rr.com PART :#esoteric < 1363473053 651724 :nooodl!~nooodl@91.177.19.186 JOIN :#esoteric < 1363474360 950255 :copumpkin!~copumpkin@unaffiliated/copumpkin QUIT :Ping timeout: 252 seconds < 1363474397 625325 :copumpkin!~copumpkin@unaffiliated/copumpkin JOIN :#esoteric < 1363474475 492129 :augur!~augur@c-68-34-26-189.hsd1.md.comcast.net JOIN :#esoteric < 1363474669 464560 :Taneb!~nathan@host-78-148-13-114.as13285.net PRIVMSG #esoteric :...there's a Hexham Annual Town Meeting?! < 1363474762 975208 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :Taneb: but you and elliott can't both attend it < 1363474775 671892 :Taneb!~nathan@host-78-148-13-114.as13285.net PRIVMSG #esoteric :Luckily, elliott can't go outside < 1363474779 147160 :Taneb!~nathan@host-78-148-13-114.as13285.net PRIVMSG #esoteric :And I don't really care < 1363474811 177609 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :I love the stupidity of browser agent strings < 1363474830 411520 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :Almost every browser claims it is Mozilla. < 1363474847 830704 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :Webkit points out it is KHTML even though it has come a long way from that. < 1363474857 187125 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :And Chrome mentions Safari in the string < 1363474883 367632 :Taneb!~nathan@host-78-148-13-114.as13285.net PRIVMSG #esoteric :And IE? < 1363474898 137245 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :Taneb, well I don't have one to check with, but at least it claims it is Mozilla < 1363474905 613940 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :My current browser says: Mozilla/5.0 (X11; Linux x86_64) AppleWebKit/537.22 (KHTML, like Gecko) Chrome/25.0.1364.160 Safari/537.22 < 1363474905 918372 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :IE claims it's mozilla too < 1363474913 5092 :Taneb!~nathan@host-78-148-13-114.as13285.net PRIVMSG #esoteric :And... lynx? < 1363474923 115416 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :oerjan: I wonder if interesting things happen if you increase your criteria for evidence of a proposition. like, a constructive proof of (exists n, ...) gives you a concrete n, but it might take longer than the age of the universe to compute. what if you required the constructions to not just be computable, but computable with e.g. certain asymptotic bounds? < 1363474923 411391 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :I don't think lynx claims that < 1363474930 142029 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :Dunno, don't have lynx installed < 1363474931 504919 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :(whenever I want to say something crazy I just add "oerjan:" to the start) < 1363474932 539171 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :it is just a massive clusterfuck < 1363474952 978156 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :if you actually want to know the browser (for statistics or whatever) you need advanced parsing < 1363474965 849367 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :links2 says it's Links (2.7; Linux 3.7.10-1-ARCH x86_64; GNU C 4.7.1; x) < 1363475072 238151 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :elliott: you should look at the bellantoni-cook polytime functions < 1363475096 306842 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :oerjan: yikes, no wikipedia page. this is going to be fun. < 1363475115 75452 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :ACTION was almost hoping for "that's completely stupid." < 1363475116 50855 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :FreeFull, that one is straight forward < 1363475122 439473 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :FreeFull, unlike anything else < 1363475124 881230 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :it's been a long time since i read about it < 1363475132 387588 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :ooh this looks interesting. < 1363475134 63603 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :well okay, wget, googlebot and such are straight forward too < 1363475140 254934 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :probably w3m and lynx as well < 1363475147 653477 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :but any major GUI browser? Nope. < 1363475168 744824 :pikhq!~pikhq@75-163-219-9.clsp.qwest.net PRIVMSG #esoteric :Opera's fairly sane. < 1363475174 519073 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :pikhq, really? < 1363475202 953263 :pikhq!~pikhq@75-163-219-9.clsp.qwest.net PRIVMSG #esoteric :Opera/9.80 (Windows NT 6.0) Presto/2.12.388 Version/12.11 < 1363475204 644379 :pikhq!~pikhq@75-163-219-9.clsp.qwest.net PRIVMSG #esoteric :An example. < 1363475216 252908 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :hm nice < 1363475218 888889 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :well the trick there is that nothing supports opera anyway < 1363475223 204084 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :pikhq, I have to say that Chrome is especially insane, Mozilla, Webkit, KHTML, Gecko, Chrome, Safari < 1363475231 803045 :pikhq!~pikhq@75-163-219-9.clsp.qwest.net PRIVMSG #esoteric :It's Opera/9.80 at the start because some idiotic comparators think Opera/10 < Opera/9 < 1363475241 330479 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :pikhq, lol < 1363475243 542700 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :elliott: oh and of course primitive recursion is a similar, simpler thing < 1363475248 747780 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :oerjan: right of course < 1363475270 320536 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :Firefox claims it's Mozilla/5.0 (X11; Linux x86_64; rv:19.0) Gecko/20100101 Firefox/19.0 < 1363475278 63493 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :Which is reasonable, since it is Mozilla's descendant < 1363475289 799470 :pikhq!~pikhq@75-163-219-9.clsp.qwest.net PRIVMSG #esoteric :It actually literally is Mozilla, so yeah. < 1363475297 69813 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :FreeFull, okay, it gets away with it < 1363475307 636700 :pikhq!~pikhq@75-163-219-9.clsp.qwest.net PRIVMSG #esoteric :No lies there at all. < 1363475311 384978 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :FreeFull, anything else that claims it is Mozilla doesn't however < 1363475315 965692 :pikhq!~pikhq@75-163-219-9.clsp.qwest.net PRIVMSG #esoteric :Well, Mozilla/5.0 kinda is. < 1363475318 836543 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :pikhq, it is still not Mozilla 5 < 1363475319 386941 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :and istr there was another variation that gave logspace complexity < 1363475319 615307 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :yeah < 1363475336 47458 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :Vorpal: seamonkey? < 1363475341 112551 :pikhq!~pikhq@75-163-219-9.clsp.qwest.net PRIVMSG #esoteric :Vorpal: Of course, strictly speaking the Mozilla there does not refer to the Mozilla browser at all. < 1363475354 351457 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :oerjan: I am interested in what it means from a logical POV... as in, to get constructivity, we discard LEM; to get "linear-time constructivity" or "exponential-time constructivity" or whatever, what gets dropped? presumably induction gets weakened somehow... < 1363475356 954464 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :FreeFull, uh, I heard of it, but don't really know what makes it special < 1363475363 652999 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :pikhq, oh? < 1363475365 657788 :pikhq!~pikhq@75-163-219-9.clsp.qwest.net PRIVMSG #esoteric :But rather the 5th revision of the Mozilla project. The 4th of which was Netscape 4. < 1363475368 445967 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :Vorpal: It's basically a modern Netscape < 1363475380 884491 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :FreeFull, oh, who made it? < 1363475389 222080 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :Mozilla < 1363475395 764067 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :why, they have firefox < 1363475397 416429 :Taneb!~nathan@host-78-148-13-114.as13285.net PRIVMSG #esoteric :xkcd 82 is weird < 1363475401 412223 :pikhq!~pikhq@75-163-219-9.clsp.qwest.net PRIVMSG #esoteric :It's a fork of the Mozilla monolithic browser. < 1363475408 711639 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :ah < 1363475412 136642 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :who would want that < 1363475412 957635 :pikhq!~pikhq@75-163-219-9.clsp.qwest.net PRIVMSG #esoteric :It's now an external project, using Gecko. < 1363475438 325288 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :Some people like having an email client, html editor and stuff built in =P < 1363475453 339618 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :hah < 1363475456 33233 :pikhq!~pikhq@75-163-219-9.clsp.qwest.net PRIVMSG #esoteric :I'd be amused if it's less resource-heavy than Firefox. < 1363475460 644866 :pikhq!~pikhq@75-163-219-9.clsp.qwest.net PRIVMSG #esoteric :Which it could be... < 1363475465 569288 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :I guess seamonkey split off < 1363475472 334858 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :But it originally was a Mozilla project < 1363475490 797004 :pikhq!~pikhq@75-163-219-9.clsp.qwest.net PRIVMSG #esoteric :The name "Seamonkey" was introduced when it split off. < 1363475493 394814 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :elliott: just apply curry-howard hth < 1363475501 171314 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :Well, "The Mozilla Foundation provides hosting and legal backing for the SeaMonkey Project. " < 1363475517 109300 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :oerjan: oh. thank's. < 1363475527 733464 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :FreeFull, but probably not developers < 1363475545 426766 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :or financial stuff < 1363475571 731815 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :Used to < 1363475577 517736 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :true < 1363475593 399576 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :anyway, doesn't IE put the .NET version in the header too? < 1363475595 267823 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :or something < 1363475599 118125 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :I seem to remember that < 1363475609 924917 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :or was it even in the user agent? < 1363475635 844539 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :I think it used to but doesn't anymore? < 1363475639 907082 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :Maybe still does < 1363475670 486827 :augur!~augur@c-68-34-26-189.hsd1.md.comcast.net QUIT :Remote host closed the connection < 1363475729 403070 :augur!~augur@c-68-34-26-189.hsd1.md.comcast.net JOIN :#esoteric < 1363475842 920238 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :hm < 1363476105 488335 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net JOIN :#esoteric < 1363477188 550999 :sirdancealo2!~sirdancea@98.82.broadband5.iol.cz QUIT :Ping timeout: 264 seconds < 1363477374 600519 :nooga!~nooga@ip-46-250-173-30.ip.maverick.com.pl QUIT :Ping timeout: 252 seconds < 1363477899 992256 :Taneb!~nathan@host-78-148-13-114.as13285.net PRIVMSG #esoteric :Bah, it's way too late to listen to SPJ's soothing voice < 1363477931 970950 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :um bedtime reading < 1363477956 838670 :olsner!~salparot@c83-252-194-156.bredband.comhem.se PRIVMSG #esoteric :how loudly do you usually listen to SPJ? < 1363478013 846346 :sirdancealo2!~sirdancea@98.82.broadband5.iol.cz JOIN :#esoteric < 1363478167 417748 :Nisstyre-laptop!~yours@oftn/member/Nisstyre JOIN :#esoteric < 1363478183 300364 :Taneb!~nathan@host-78-148-13-114.as13285.net PRIVMSG #esoteric :Loud enough for my dad to tell me to turn it off apparently < 1363478225 737121 :Bike!~Glossina@207-224-22-243.ptld.qwest.net PRIVMSG #esoteric :headbang to SPJ < 1363478245 389883 :Taneb!~nathan@host-78-148-13-114.as13285.net PRIVMSG #esoteric :^list < 1363478245 539443 :fungot!fis@eos.zem.fi PRIVMSG #esoteric :Taneb atriq Ngevd Fiora nortti Sgeo ThatOtherPerson alot < 1363478253 968569 :Taneb!~nathan@host-78-148-13-114.as13285.net QUIT :Quit: Leaving < 1363478315 149963 :azaq23!~derivecto@unaffiliated/azaq23 QUIT :Quit: Leaving.