< 1355617425 846692 :keb_!~keb@184-76-50-238.war.clearwire-wmx.net QUIT :Remote host closed the connection < 1355617675 94350 :sebbu!~sebbu@unaffiliated/sebbu QUIT :Read error: Connection reset by peer < 1355617703 307244 :sebbu!~sebbu@ADijon-152-1-59-91.w83-194.abo.wanadoo.fr JOIN :#esoteric < 1355617703 419185 :sebbu!~sebbu@ADijon-152-1-59-91.w83-194.abo.wanadoo.fr QUIT :Changing host < 1355617703 419344 :sebbu!~sebbu@unaffiliated/sebbu JOIN :#esoteric < 1355617756 923068 :keb!~keb@184-76-50-238.war.clearwire-wmx.net JOIN :#esoteric < 1355617800 917208 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :elliott, what was up with that guy in the desert sub-plot btw? < 1355617805 199197 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :I never totally got that < 1355617832 218191 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :... < 1355617836 708262 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :it... doesn't admit simple explanation if you didn't figure out what was going on all the way through < 1355617850 213033 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :elliott, that is like MOST of homestuck :P < 1355617880 441204 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :elliott: I thought you didn't even read that? < 1355617894 108377 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :I don't. < 1355617944 502541 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :monqy: Do you? < 1355617952 236521 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :what < 1355617972 245500 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :at < 1355617996 882199 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :hi < 1355618041 589225 :hagb4rd!~perdito@koln-4d0b6008.pool.mediaWays.net PRIVMSG #esoteric :what is the idea behind newkitten? < 1355618055 697041 :Sgeo!~sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :"However, no known interpreter ever, not even the reference interpreter, seems to have implemented any part of this other than the rules about parentheses, and this is therefore arguably not part of the language." < 1355618062 872565 :Sgeo!~sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :Is this talking about the whole " <> [] thing? < 1355618083 290114 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :yes < 1355618096 450254 :Sgeo!~sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :Ok < 1355618102 345478 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :Vorpal: http://mspaintadventures.wikia.com/wiki/WV < 1355618125 667632 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :http://images.wikia.com/mspaintadventures/images/9/99/00710.gif homestuck.gif < 1355618125 796720 :hagb4rd!~perdito@koln-4d0b6008.pool.mediaWays.net PRIVMSG #esoteric :i don't like cats anyway < 1355618133 191210 :Phantom_Hoover!~Phantom@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :Sgeo, which language < 1355618145 932075 :Sgeo!~sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :Underload < 1355618270 253146 :sebbu2!~sebbu@ADijon-152-1-59-91.w83-194.abo.wanadoo.fr JOIN :#esoteric < 1355618291 585298 :sebbu2!~sebbu@ADijon-152-1-59-91.w83-194.abo.wanadoo.fr QUIT :Changing host < 1355618291 695615 :sebbu2!~sebbu@unaffiliated/sebbu JOIN :#esoteric < 1355618304 904250 :hagb4rd!~perdito@koln-4d0b6008.pool.mediaWays.net PRIVMSG #esoteric :`pastelog newkitten < 1355618349 790864 :HackEgo!codu@codu.org PRIVMSG #esoteric :http://codu.org/projects/hackbot/fshg/index.cgi/raw-file/tip/paste/paste.3209 < 1355618483 397505 :sebbu!~sebbu@unaffiliated/sebbu QUIT :Ping timeout: 245 seconds < 1355618496 613287 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :Fiora, hm < 1355618530 647514 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :the wiki is really relaly good for refreshing on characters and events and stuff < 1355618536 190820 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :I'd be clueless without it < 1355618624 546148 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :Fiora, I stopped reading homestuck ages ago < 1355618650 971842 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :oh < 1355618659 278778 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :sorry, I thought you were curious or something <_> < 1355618687 627131 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :only very slightly < 1355618696 862486 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :ACTION thinks Fiora needs glasses or something for those eyes < 1355618715 940175 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :ACTION has glasses and is blind without them < 1355618756 703515 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :My windows have blinds and are glass without them. < 1355618782 893132 :Phantom_Hoover!~Phantom@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :my glass blinds are windows without Vorpal < 1355618794 11560 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :ACTION giggles  < 1355618805 100846 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :(That's a joke. I don't have any windows.) < 1355618814 889036 :nooga_!~nooga@46.250.173.30 JOIN :#esoteric < 1355618817 408036 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :Phantom_Hoover, and Linux with me? < 1355618819 321718 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :or what < 1355618823 297462 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :(The room that I sleep in is dark day-round year-round.) < 1355618846 903163 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :shachaf sleeps in a ditch. < 1355618853 262584 :Phantom_Hoover!~Phantom@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :(shachaf lives in the north pole) < 1355618863 155831 :Taneb!~nathan@host-84-13-84-68.opaltelecom.net JOIN :#esoteric < 1355618882 385561 :nooga!~nooga@ip-46-250-173-30.ip.maverick.com.pl QUIT :Ping timeout: 255 seconds < 1355618884 26712 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :shachaf lives at the center of the earth < 1355618904 116737 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :does that mean he's weightless right now? < 1355618928 918067 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :I feel bad for him though, that must be really stressful to life there < 1355618930 916890 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :all the pressure, I mean < 1355618942 901188 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :*live < 1355618948 10560 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :Fiora, pretty sure he is also dead due to the high pressure < 1355618954 261275 :Taneb!~nathan@host-84-13-84-68.opaltelecom.net PRIVMSG #esoteric :Well, that was fun < 1355618967 538695 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :so it is probably rather peaceful < 1355618979 757088 :hagb4rd!~perdito@koln-4d0b6008.pool.mediaWays.net PRIVMSG #esoteric :or turned to a diamond < 1355618980 14613 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :^rot13 Fiora < 1355618980 405557 :fungot!fis@selene.zem.fi PRIVMSG #esoteric :Svben < 1355618989 107447 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :You should /nick Svben < 1355618991 754055 :Phantom_Hoover!~Phantom@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :shachaf is a self-aware system of magnetic fields in the core < 1355618996 5120 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :^rot13 shachaf < 1355618996 327504 :fungot!fis@selene.zem.fi PRIVMSG #esoteric :funpuns < 1355619003 587465 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :.... oh. XD < 1355619005 166386 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :Phantom_Hoover, neat < 1355619005 430755 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Well, that would be too obvious. < 1355619012 353638 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :Fiora: that's actually shachaf's name < 1355619013 772918 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :er < 1355619014 757424 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :shachaf that is < 1355619015 954067 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :not funpuns < 1355619021 555401 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :elliott: OR IS IT < 1355619034 51302 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :^rot13 homestuck < 1355619034 391669 :fungot!fis@selene.zem.fi PRIVMSG #esoteric :ubzrfghpx < 1355619040 15498 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :^rot13 nepeta < 1355619040 344533 :fungot!fis@selene.zem.fi PRIVMSG #esoteric :arcrgn < 1355619046 458305 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :they don't work so well :< < 1355619048 652068 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :shachaf, that is a seriously cool rot13 though < 1355619056 937834 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :^rot13 vriska < 1355619057 298749 :fungot!fis@selene.zem.fi PRIVMSG #esoteric :ievfxn < 1355619080 495379 :Phantom_Hoover!~Phantom@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :^rot13 Phantom_Hoover < 1355619080 863802 :fungot!fis@selene.zem.fi PRIVMSG #esoteric :Cunagbz_Ubbire < 1355619092 11527 :Phantom_Hoover!~Phantom@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :I quite like that one. < 1355619096 555824 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :^rot13 Vorpal < 1355619096 917745 :fungot!fis@selene.zem.fi PRIVMSG #esoteric :Ibecny < 1355619102 318333 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :hmm < 1355619107 676450 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :could be worse < 1355619120 891744 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :^rot13 Fiora < 1355619121 261630 :fungot!fis@selene.zem.fi PRIVMSG #esoteric :Svben < 1355619127 99806 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :^rot13 elliott < 1355619127 450374 :fungot!fis@selene.zem.fi PRIVMSG #esoteric :ryyvbgg < 1355619131 159395 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :ooh, nice < 1355619132 890706 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :^rot13 nitya < 1355619133 237580 :fungot!fis@selene.zem.fi PRIVMSG #esoteric :avgln < 1355619135 901344 :Phantom_Hoover!~Phantom@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :^rot13 arvid < 1355619136 270254 :fungot!fis@selene.zem.fi PRIVMSG #esoteric :neivq < 1355619136 349344 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :^rot13 bike < 1355619136 725162 :fungot!fis@selene.zem.fi PRIVMSG #esoteric :ovxr < 1355619142 52550 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :... okay sorry I guess this is getting spammy < 1355619145 711743 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :^scramble elliott < 1355619146 23639 :fungot!fis@selene.zem.fi PRIVMSG #esoteric :elottil < 1355619146 559553 :Phantom_Hoover!~Phantom@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :please < 1355619150 588495 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :^scramble Phantom_Hoover < 1355619150 861035 :fungot!fis@selene.zem.fi PRIVMSG #esoteric :PatmHoervo_onh < 1355619155 894195 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :patm hoervo < 1355619156 818544 :Phantom_Hoover!~Phantom@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :it's not like we ever talk about anything worthwhile < 1355619164 974493 :Phantom_Hoover!~Phantom@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :sounds spanish < 1355619183 553343 :Sgeo!~sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :(:aSS):aSS working < 1355619190 302892 :Sgeo!~sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :(:aS(:^S^:)Sa:):^S^:(:aS(:^S^:)Sa:) not working < 1355619250 842540 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :Phantom_Hoover, yeah that doesn't work too well, pretty sure it should be rot14.5 in the Swedish alphabet though. Which doesn't work < 1355619260 696836 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :my name that is < 1355619271 326436 :Phantom_Hoover!~Phantom@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :fuck your swedish letters < 1355619276 406792 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric ::D < 1355619292 991035 :Phantom_Hoover!~Phantom@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :you just drew circles on top of existing letters < 1355619301 429200 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :hm traditionally w is not part of our alphabet < 1355619302 441818 :Phantom_Hoover!~Phantom@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :that's not a new letter < 1355619307 682629 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :which means it would be plain rot14 < 1355619309 840015 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :which would work < 1355619394 734571 :hagb4rd!~perdito@koln-4d0b6008.pool.mediaWays.net PRIVMSG #esoteric :`pastelog entanglement < 1355619406 283162 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :night → < 1355619409 249818 :HackEgo!codu@codu.org PRIVMSG #esoteric :http://codu.org/projects/hackbot/fshg/index.cgi/raw-file/tip/paste/paste.135 < 1355619412 325331 :Phantom_Hoover!~Phantom@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :`pastelog untanglement < 1355619425 289811 :HackEgo!codu@codu.org PRIVMSG #esoteric :http://codu.org/projects/hackbot/fshg/index.cgi/raw-file/tip/paste/paste.14378 < 1355619872 679946 :Sgeo!~sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :Well, that crashed Factor < 1355619958 678145 :Sgeo!~sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :Because the string was too long, I think < 1355619962 222821 :Sgeo!~sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :(The resulting string) < 1355620003 631622 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :oops < 1355620031 376927 :olsner!~salparot@c83-252-194-156.bredband.comhem.se PRIVMSG #esoteric :that's a very good way of handling long strings < 1355620043 709886 :Sgeo!~sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :http://paste.factorcode.org/paste?id=2813 < 1355620052 789685 :Sgeo!~sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :I think it's the graphics drawing thing that crashe < 1355620054 447693 :Sgeo!~sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :crashed < 1355620056 157803 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :thanks your name < 1355620111 656163 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :Sgeo: how does this do (foo)S < 1355620120 116238 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :oh hmm < 1355620340 117916 :Taneb!~nathan@host-84-13-84-68.opaltelecom.net QUIT :Quit: Leaving < 1355620791 869127 :Sgeo!~sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :The same thing does not crash when using the console-based listener < 1355621081 186380 :sebbu!~sebbu@ADijon-152-1-59-91.w83-194.abo.wanadoo.fr JOIN :#esoteric < 1355621100 633670 :sebbu!~sebbu@ADijon-152-1-59-91.w83-194.abo.wanadoo.fr QUIT :Changing host < 1355621100 707079 :sebbu!~sebbu@unaffiliated/sebbu JOIN :#esoteric < 1355621229 786837 :Sgeo!~sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :That felt like it took way more intellectual resources than it should have < 1355621253 419775 :Bike!~Glossina@207-224-23-226.ptld.qwest.net PRIVMSG #esoteric :now write something that takes an integer and returns the underload church numeral. < 1355621283 322839 :sebbu2!~sebbu@unaffiliated/sebbu QUIT :Ping timeout: 245 seconds < 1355621289 386323 :Sgeo!~sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :And the debugger isn't as great as I was imagining < 1355621780 924605 :nooga_!~nooga@46.250.173.30 QUIT :Ping timeout: 248 seconds < 1355621941 150879 :Sgeo!~sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :I have not the faintest idea how to write idiomatic Factor < 1355621958 236763 :Sgeo!~sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :Or is all Factor code supposed to be this ugly < 1355622134 522 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :why are you asking us and not the factor channel < 1355622170 440887 :Bike!~Glossina@207-224-23-226.ptld.qwest.net PRIVMSG #esoteric :"yes sgeo, it is supposed to be ugly" < 1355622173 498282 :Sgeo!~sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :Because the Factor channel is practically dead and you've done Factor before < 1355622184 792429 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :I hear nobody uses factor < 1355622195 527655 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :monqy: "interesting theory" < 1355622203 231372 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I heard Factor was basically dead. < 1355622211 21202 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :is factor the new clojure? < 1355622228 611427 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :but clojure was the new factor < 1355622236 511519 :Bike!~Glossina@207-224-23-226.ptld.qwest.net PRIVMSG #esoteric :I heard if you look in a mirror and chant the contents of A Programming Language backwards, Factor appears and kills you. < 1355622244 222056 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :kmc: How's the new laptop? < 1355622246 537840 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :You're using Debian? < 1355622288 592389 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :yeah < 1355622293 200888 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :it's really nice < 1355622306 539663 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Sure, Debian's great. < 1355622310 490635 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :i mean the laptop ;P < 1355622328 14536 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :it suspends to RAM in under 2 seconds and comes back all the way in 1 second flat < 1355622353 298250 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :battery charges from 40% to 80% in 20 minutes < 1355622358 242620 :c00kiemon5ter!~c00kiemon@foss-aueb/coder/c00kiemon5ter PRIVMSG #esoteric :which one did you buy ? is it that new dell (the link posted yesterday) ? < 1355622373 856444 :ion!ion@heh.fi PRIVMSG #esoteric :I’m not sure any of my laptops have had perfectly working suspend-to-RAM ever. < 1355622378 730101 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :How long does it take to go from 80 to 40? < 1355622384 8555 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :no it's the thinkpad x1 carbon < 1355622394 689158 :c00kiemon5ter!~c00kiemon@foss-aueb/coder/c00kiemon5ter PRIVMSG #esoteric :ah :) < 1355622424 543765 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :shachaf: about 2 hours < 1355622473 86801 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Is this the i5 8GB version? < 1355622497 131076 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :yes < 1355622527 83795 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :so yeah it seems to get about 5 hours battery life at my usage, though i haven't tested running it down all the way < 1355622554 521892 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :better than the 3 that nelhage reported < 1355622558 523256 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :i wonder what the key difference is < 1355625104 114521 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net QUIT :Quit: hello < 1355625737 217036 :copumpkin!~copumpkin@unaffiliated/copumpkin QUIT :Ping timeout: 265 seconds < 1355625775 495787 :copumpkin!~copumpkin@unaffiliated/copumpkin JOIN :#esoteric < 1355625830 346211 :david_werecat!~david_wer@24.212.152.46 JOIN :#esoteric < 1355626279 883140 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :ion: what kinds of problems did you have? < 1355626339 40267 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :it's been a long time since i had major suspend-to-RAM problems with the thinkpads i've owned < 1355626413 992245 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :shachaf: should i get the fingerprint reader working? < 1355626460 721343 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :kmc: Would you use it? < 1355626614 63981 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :I hear they're insecure! < 1355626618 787299 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :probably not: http://www.ccc.de/updates/2007/umsonst-im-supermarkt?language=en < 1355626619 310238 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :yeah < 1355626709 177770 :olsner!~salparot@c83-252-194-156.bredband.comhem.se PRIVMSG #esoteric :the software I found for my fingerprint reader is probably the least secure part of my system, not that it has any real security in the first place < 1355626716 549390 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :it was kinda useful with the convertible tablet thinkpad because you could log in without the keyboard available < 1355627558 302137 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :mmmm new computer smell < 1355627679 182671 :olsner!~salparot@c83-252-194-156.bredband.comhem.se PRIVMSG #esoteric :ah, among the bestest of smells < 1355627697 284400 :olsner!~salparot@c83-252-194-156.bredband.comhem.se PRIVMSG #esoteric :do you sleep with your thinkpad now? < 1355627853 950962 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :not any more than before < 1355627867 101823 :Zhaofeng_Li!~Zhaofeng_@wikipedia/Zhaofeng-Li JOIN :#esoteric < 1355628885 894532 :Phantom_Hoover!~Phantom@unaffiliated/phantom-hoover/x-3377486 QUIT :Read error: Connection reset by peer < 1355629129 432494 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :Deewiant: You wanted bifunctors to use ~(a,b) patterns for tuples, right? < 1355629194 848619 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :~(~a,~b) -- just in case < 1355629324 611699 :Lumpio-!~matti@62-113-182-248.bb.dnainternet.fi PRIVMSG #esoteric :I wonder if the fact that Haskell is discussed here very often could be taken as an indication of the nature of the language < 1355629348 235653 :Bike!~Glossina@207-224-23-226.ptld.qwest.net PRIVMSG #esoteric :hilarious < 1355629409 724821 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :that has more than once been suggested in the past < 1355629425 306285 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :i really should start more conversations about C++? < 1355629445 539374 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :so, what do you think about the fact that in C++, both class A and class B can define what happens in the implicit conversion from A to B? < 1355629447 172661 :Bike!~Glossina@207-224-23-226.ptld.qwest.net PRIVMSG #esoteric :implement haskell in c++ templates < 1355629453 661217 :Bike!~Glossina@207-224-23-226.ptld.qwest.net PRIVMSG #esoteric :How does that work? < 1355629458 849250 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :i forget who wins if there's a conflict < 1355629480 758064 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :well B can implement a constructor B::B(const A&) < 1355629494 427026 :Lumpio-!~matti@62-113-182-248.bb.dnainternet.fi PRIVMSG #esoteric :Probably A, except on Wednesdays < 1355629496 108444 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :and A can implement a method B A::operator B() < 1355629525 769287 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :can you define implicit conversions in Java? I know there's like, toString and stuff but is there general things? < 1355629529 387283 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :I was wondering if this could occur there too < 1355629533 702298 :Lumpio-!~matti@62-113-182-248.bb.dnainternet.fi PRIVMSG #esoteric :Doubtful < 1355629541 38183 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :i don't think you can < 1355629546 123083 :Lumpio-!~matti@62-113-182-248.bb.dnainternet.fi PRIVMSG #esoteric :I don't think Java allows even operator overloading < 1355629550 288107 :Lumpio-!~matti@62-113-182-248.bb.dnainternet.fi PRIVMSG #esoteric :(In 2012) < 1355629567 367830 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :Java is designed for verbosity and extreme lack of cleverness < 1355629569 461070 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :so, uniquely C++ < 1355629578 255081 :Bike!~Glossina@207-224-23-226.ptld.qwest.net PRIVMSG #esoteric :point for c++. suck it steele < 1355629603 101676 :Bike!~Glossina@207-224-23-226.ptld.qwest.net PRIVMSG #esoteric :(implicit conversions give me hives, though) < 1355629614 249878 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :yep < 1355629617 201577 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :i like that Haskell has none < 1355629618 818857 :Lumpio-!~matti@62-113-182-248.bb.dnainternet.fi PRIVMSG #esoteric :hum < 1355629629 83624 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :that got me a lot of times at first < 1355629630 317939 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :kmc: Until edwardk gets his hands on it, anyway. < 1355629631 547666 :Lumpio-!~matti@62-113-182-248.bb.dnainternet.fi PRIVMSG #esoteric :I think you might be able to define a both ways implicit conversation in C# though < 1355629633 881597 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :sigh < 1355629634 39914 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :especially the Integer <-> Int distinction < 1355629640 264071 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :yeah < 1355629643 481288 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :imo Int should not be in Prelude < 1355629655 950136 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :Prelude should have the conceptually simple things, not the optimized machine-dependent things < 1355629658 236844 :Bike!~Glossina@207-224-23-226.ptld.qwest.net PRIVMSG #esoteric :is it like java where Integers are boxed or < 1355629664 720475 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :they're both boxed < 1355629665 21513 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :it's like Lisp < 1355629679 354101 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :Int is a box on an integer of implementation defined size < 1355629687 204657 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :but at least [-2^29 .. 2^29-1] < 1355629688 550233 :Bike!~Glossina@207-224-23-226.ptld.qwest.net PRIVMSG #esoteric :oh, i see. < 1355629693 147591 :Bike!~Glossina@207-224-23-226.ptld.qwest.net PRIVMSG #esoteric :and an Integer is a bignum? < 1355629695 37997 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :yes < 1355629698 989341 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :and there's no implicit conversion < 1355629708 766987 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :but you can make functions that are polymorphic over both, naturally < 1355629718 506767 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :in fact even the numerical literal 17 is polymorphic < 1355629719 702038 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric ::t 17 < 1355629721 525326 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :Num a => a < 1355629729 966386 :Bike!~Glossina@207-224-23-226.ptld.qwest.net PRIVMSG #esoteric :yeah i went through learning that the other day < 1355629733 339441 :Bike!~Glossina@207-224-23-226.ptld.qwest.net PRIVMSG #esoteric ::/ < 1355629742 760217 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :GHC also has unboxed integers but they're not part of the language spec < 1355629750 779774 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :and they are subject to various limitations < 1355629751 461600 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :um, just don't use more than 30 bits and then Int isnt implementation defined?? it's pretty trivial < 1355629768 164615 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :for example (as in Java) you can't store an unboxed int in a generic data structure < 1355629774 405194 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :shachaf: that's like programming for MIX < 1355629780 763297 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :where a byte might be 8 bits or 2 decimal digits < 1355629788 631875 :Bike!~Glossina@207-224-23-226.ptld.qwest.net PRIVMSG #esoteric :haha that shit sucks < 1355629808 636275 :Lumpio-!~matti@62-113-182-248.bb.dnainternet.fi PRIVMSG #esoteric :Java generics are glued on afterwards < 1355629819 162483 :Lumpio-!~matti@62-113-182-248.bb.dnainternet.fi PRIVMSG #esoteric :No wonder they can't handle stuff like value types < 1355629832 472824 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :well there is an actual reason < 1355629887 182883 :Lumpio-!~matti@62-113-182-248.bb.dnainternet.fi PRIVMSG #esoteric :Backwards compatibility? < 1355629895 772809 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :they aren't glued on afterwards in ML or Haskell and they have the same limitation < 1355629906 924946 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :well wait what do you mean by "value types" < 1355629914 530500 :Lumpio-!~matti@62-113-182-248.bb.dnainternet.fi PRIVMSG #esoteric :Scalar types < 1355629916 249779 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :you mean these primitive ints we are discussing? < 1355629916 740108 :Lumpio-!~matti@62-113-182-248.bb.dnainternet.fi PRIVMSG #esoteric :Like int or boolean < 1355629919 196298 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :yeah < 1355629929 265494 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :so the reason is, you compile the code for a polymorphic function only once < 1355629942 409787 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :and that code needs to be correct no matter what the type variable is < 1355629971 535889 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :so it basically has to treat things of that variable type as opaque pointers < 1355629979 379208 :Lumpio-!~matti@62-113-182-248.bb.dnainternet.fi PRIVMSG #esoteric :That's one way of doing it. < 1355629984 482620 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :but int and bool and float might not even be the same size as a pointer < 1355629998 711656 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :and in Haskell not only do you care about size, but you care about being able to force evaluation < 1355630004 790273 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :and follow GC indirections and stuff < 1355630015 843014 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :which means they need to be pointers to objects in the managed heap, with a certain layout < 1355630032 298485 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :Lumpio-: the other way (that I'm aware of) is that you compile a different version of the function for each type with which it's used < 1355630035 488031 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :as in C++ templates < 1355630040 81897 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :this has some advantages and many disadvantages < 1355630057 507350 :Lumpio-!~matti@62-113-182-248.bb.dnainternet.fi PRIVMSG #esoteric :It takes some extra memory and time < 1355630062 574285 :Lumpio-!~matti@62-113-182-248.bb.dnainternet.fi PRIVMSG #esoteric :Are there other disadvantages? < 1355630068 473511 :Bike!~Glossina@207-224-23-226.ptld.qwest.net PRIVMSG #esoteric :what are the disadvantages, besides uh... multiple compilations, name mangling insanity... < 1355630074 644696 :Lumpio-!~matti@62-113-182-248.bb.dnainternet.fi PRIVMSG #esoteric :(Assuming we don't allow all the craziness C++ templates do, but just what Java generics allow for instance) < 1355630083 617582 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :taking extra memory can also slow down the program < 1355630087 955018 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :because your code doesn't fit in cache anymore < 1355630111 846518 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :and you need the source of the template visible anywhere that it might be instantiated < 1355630116 419449 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :it pretty much wrecks separate compilation < 1355630144 529795 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :i can't dynamically load two libraries and then instantiate a template from one with a type from the other < 1355630152 666390 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :that shit works fine in Java or Haskell < 1355630162 32240 :Lumpio-!~matti@62-113-182-248.bb.dnainternet.fi PRIVMSG #esoteric :I thought we were talking generics, not templates < 1355630182 971582 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :fine < 1355630184 531903 :Lumpio-!~matti@62-113-182-248.bb.dnainternet.fi PRIVMSG #esoteric :C++ templates allow for much more than Java/.NET generics < 1355630192 723897 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :i can't dynamically load two libraries and then use a polymorphic function from one with a type from the other < 1355630204 468797 :Lumpio-!~matti@62-113-182-248.bb.dnainternet.fi PRIVMSG #esoteric :Yes you can because it's all JIT compiled. < 1355630231 339849 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :are you talking about a real or hypothetical system? < 1355630243 187912 :Lumpio-!~matti@62-113-182-248.bb.dnainternet.fi PRIVMSG #esoteric :Once it figures you need a new concrete version of a generic thing, it just compiles it on the fly (or in advance as things are loaded at runtime) < 1355630247 349276 :Lumpio-!~matti@62-113-182-248.bb.dnainternet.fi PRIVMSG #esoteric :A real system. < 1355630252 94870 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :which one? < 1355630257 888034 :Lumpio-!~matti@62-113-182-248.bb.dnainternet.fi PRIVMSG #esoteric :.NET for instance < 1355630261 313614 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :right < 1355630268 273681 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :but then and you need the source of the template visible anywhere that it might be instantiated < 1355630278 442827 :Lumpio-!~matti@62-113-182-248.bb.dnainternet.fi PRIVMSG #esoteric :And indeed you do < 1355630280 891602 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :where by "source" we might mean some intermediate form < 1355630281 269107 :Lumpio-!~matti@62-113-182-248.bb.dnainternet.fi PRIVMSG #esoteric :As bytecode. < 1355630301 934969 :Lumpio-!~matti@62-113-182-248.bb.dnainternet.fi PRIVMSG #esoteric :Just like you need the bytecode for a Java generic class < 1355630347 204715 :Lumpio-!~matti@62-113-182-248.bb.dnainternet.fi PRIVMSG #esoteric :It doesn't introduce any additional requirements or dependencies, it only wastes some time and memory < 1355630381 781390 :Lumpio-!~matti@62-113-182-248.bb.dnainternet.fi PRIVMSG #esoteric :But it has the advantage of making List actually use a tight array of integers inside, not an array of pointers to boxed integers < 1355630414 582766 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :sure < 1355630431 299484 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :it's advantagous though if the semantics of your language don't *require* a clever JIT < 1355630435 930465 :Lumpio-!~matti@62-113-182-248.bb.dnainternet.fi PRIVMSG #esoteric :Oh, and if the compiler is smart, it can coalesce many instantiations into one < 1355630439 55999 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :kmc: I just said "trivial". < 1355630448 31475 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :so the Java route is that, semantically, List is auto-boxed to List or whatever < 1355630450 271639 :Lumpio-!~matti@62-113-182-248.bb.dnainternet.fi PRIVMSG #esoteric :Like, say, all lists of objects < 1355630456 957803 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :and then if the JIT happens to optimize that to something clever, great < 1355630461 838758 :Lumpio-!~matti@62-113-182-248.bb.dnainternet.fi PRIVMSG #esoteric :Since in that case they're all just opaque pointers. < 1355630464 66858 :Zhaofeng_Li!~Zhaofeng_@wikipedia/Zhaofeng-Li QUIT :Ping timeout: 265 seconds < 1355630480 132513 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :but at the bytecode level you don't assume it will be able to < 1355630484 238919 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :at least that's my understanding < 1355630494 521685 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :20:00 this would actually be fairly trivial < 1355630548 756220 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :elliott: thanks for the update < 1355630626 967734 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :it's the same way with GHC even though it's an ahead of time compiler < 1355630640 839260 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :a good JIT for Haskell would kick ass though < 1355630791 221615 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :kmc: Did you know GHC doesn't do vectored returns anymore? < 1355630795 422771 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Everything is pointer tagged. < 1355630803 194571 :sebbu!~sebbu@unaffiliated/sebbu QUIT :Ping timeout: 260 seconds < 1355630803 272457 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :The "spineless tagless g-machine" thing is a total scam. < 1355630936 155272 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :20:08 instance (Indexable Int k, Applicative f, a ~ a2, a ~ a3, a ~ a4, a ~ a5, a ~ a6, a ~ a7, a ~ a8, a ~ a9, b ~ b2, b ~ b3, b ~ b4, b ~ b5, b ~ b6, b ~ b7, b ~ b8, b ~ b9) => Each Int (a,a2,a3,a4,a5,a6,a7,a8,a9) (b,b2,b3,b4,b5,b6,b7,b8,b9) a b where < 1355630940 228671 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :20:08 each = Lens.indexed $ \ f ~(a,b,c,d,e,g,h,i,j) -> (,,,,,,,,) <$> f (0 :: Int) a <*> f 1 b <*> f 2 c <*> f 3 d <*> f 4 e <*> f 5 g <*> f 6 h <*> f 7 i <*> f 8 j < 1355631079 178743 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :Does GHC have spines? < 1355631096 31917 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :shachaf: yeah < 1355631103 400111 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :though pointer tagging is just an optimization < 1355631111 214714 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :What are spines, anyway? < 1355631127 694133 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :kmc: Well, not really at this point. < 1355631129 841888 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :you could AND every pointer with ~7 and it would still produce correct results < 1355631130 523193 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :oh? < 1355631131 306555 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I mean, you have to use the tags. < 1355631141 530300 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Unless I misunderstood. < 1355631159 242096 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :When the tag is unset, you jump to the code the pointer points to and then you get a new pointer with a new tag. < 1355631183 485940 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :ok < 1355631185 37791 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Or something like that? < 1355631194 559672 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :It's possible that I misunderstood. < 1355631197 352850 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :i guess that makes sense, instead of returning just the constructor index and making the caller OR it in < 1355631207 495513 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :though for data types with more than 7 constructors you must still do something like that < 1355631221 457073 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Well, with more than 7 constructors you look at the pointer. < 1355631228 896008 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I think at the part before the code. < 1355631233 41353 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Or something like that. < 1355631233 666202 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :anyway the tags referred to in the original STG machine would be things like tagging primitive ints vs boxes < 1355631246 919937 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :ah the info table has the constructor index? makes sense < 1355631410 898762 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :It would be nice if GHC supported unboxed sums. < 1355631419 746207 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Apparently that's a lot of trouble though. < 1355631430 346297 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :So it doesn't w/w functions that return Either/Maybe/etc. < 1355631470 79115 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :w/w? < 1355631474 513523 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :worker/wrapper? < 1355631485 903715 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :how would unboxed sums work exactly? < 1355631504 397433 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :(# tag, value #) or something. < 1355631520 675089 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :If you return Maybe you can either return (# 0, a #) or (# 1, b #) < 1355631536 704893 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Er, Either < 1355631556 208897 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :ok < 1355631560 239731 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :As opposed to allocating an Either which gets consumed immediately. < 1355631566 157158 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :which means those go in two STG-machine registers right? < 1355631570 125099 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :why not just use products < 1355631570 198461 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Right. < 1355631591 481414 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :so why in particular is this a lot of trouble for the compiler < 1355631603 397390 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I'm not sure. < 1355631608 856311 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :SPJ said "don't hold your breath" < 1355631625 320120 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :sucks < 1355631699 641532 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :It could help a lot for list processing functions and what not, I think. < 1355632016 219912 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :yeah < 1355632043 595815 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Did you read the CPR paper? < 1355632048 897482 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :don't think so < 1355632069 582550 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :http://research.microsoft.com/en-us/um/people/simonpj/Papers/cpr/index.htm < 1355632082 40693 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :These things are always more involved than they sound. < 1355632131 503521 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :elliott: are you generating documentation with cpp................. < 1355632163 31638 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :Yes. < 1355632250 745968 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :for what < 1355632271 952742 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :,4/!\ < 1355632392 202738 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :lens. < 1355632839 238264 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :@ping < 1355632839 819191 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :pong < 1355632942 220347 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :shachaf: I saw some juvenile cuttlefish today! < 1355632944 749988 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :at the aquarium < 1355633143 338987 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :they also had comb jellies < 1355633153 868724 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :and an electric eel in a tank with electrodes such that you could hear its zapping over a loudspeaker < 1355633196 813792 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :kmc: Was this in Boston? < 1355633209 691563 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :yes, this one: neaq.org < 1355633214 645028 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Have you been to the Monterey Bay Aquarium? < 1355633219 989422 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :no, i want to go though! < 1355633222 181967 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :i will go some day < 1355633231 206888 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I was in Monterey and ended up not going. < 1355633234 709982 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric ::/ < 1355633241 230966 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Perhaps I'll be there again. < 1355633243 451390 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :You should go! < 1355633251 119429 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Did you know Oleg is in Monterey? < 1355633256 674243 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :doing some navy thing? < 1355633258 632406 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :or is that over < 1355633268 799560 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :is he looking for the nuclear wessels? < 1355633280 348319 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Isn't he predicting the weather or something? < 1355633284 696702 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Who knows. < 1355633287 244756 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :makes sense < 1355633289 609524 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :he *is* a wizard < 1355633304 85694 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :perhaps delimited continuations are the secret to predicting the weather < 1355633719 412772 :WeThePeople!~WeThePeop@63.91.27.121 JOIN :#esoteric < 1355633780 395665 :WeThePeople!~WeThePeop@63.91.27.121 QUIT :Client Quit < 1355634220 481755 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net QUIT :Quit: The struct held his beloved integer in his strong, protecting arms, his eyes like sapphire orbs staring into her own. "W-will you... Will you union me?" < 1355634674 682416 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :@tell Deewiant https://github.com/ekmett/bifunctors/issues/1 (and lens behaves this way too) < 1355634674 885219 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :Consider it noted. < 1355635356 483608 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :shachaf: do you know how Chromium's Ctrl-F manages to e.g. find 'ß' if you search for 'ss'? < 1355635359 920162 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :is it based on http://unicode.org/cldr/charts/supplemental/character_fallback_substitutions.html < 1355635369 597878 :MDude!~fyrc@c-174-54-84-173.hsd1.pa.comcast.net NICK :MDream < 1355635379 320230 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :Sgeo: update < 1355635646 201455 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :there are combining characters for musical note heads, stems, and flags?? < 1355635647 26302 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :jesus < 1355635671 701225 :Bike!~Glossina@207-224-23-226.ptld.qwest.net PRIVMSG #esoteric :haha why would you ever want that < 1355635690 381202 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :kmc: Makes sense. < 1355635809 933239 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :yeah < 1355635830 621644 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :it is kind of questionable to include "characters" for things with highly specific unusual forms of typesetting < 1355635834 558272 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :like musical notes and mathematics < 1355635836 986347 :Bike!~Glossina@207-224-23-226.ptld.qwest.net PRIVMSG #esoteric :also does this mean there's COMBINING HEAD ABOVE? one step closer to COMBINING PENIS ABOVE < 1355635843 229672 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :in theory music / math typesetting tools could use these characters < 1355635849 693132 :Bike!~Glossina@207-224-23-226.ptld.qwest.net PRIVMSG #esoteric :what theory is that < 1355635851 272963 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :but i think they basically never will < 1355635853 414200 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :yeah < 1355635857 741687 :Bike!~Glossina@207-224-23-226.ptld.qwest.net PRIVMSG #esoteric :someone who's never tried to typeset music? < 1355635888 820757 :Bike!~Glossina@207-224-23-226.ptld.qwest.net PRIVMSG #esoteric :at least with the math characters you can do some basic shit like sum notation. without a staff how are you supposed to do music? < 1355635896 218856 :Bike!~Glossina@207-224-23-226.ptld.qwest.net PRIVMSG #esoteric :I guess you could indicate rhythm... and... that's about it. < 1355635950 973742 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :well a music typesetting tool could store things as "♪ at position y" < 1355635963 644876 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :representing some of the information using unicode < 1355635968 983582 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :but it's highly doubtful anyone will want to do this < 1355636000 750187 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :anyway ♫ is also used to represent the concept of music without specifying particular music < 1355636004 799548 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :e.g. in closed captions < 1355636028 736973 :Bike!~Glossina@207-224-23-226.ptld.qwest.net PRIVMSG #esoteric :hm... actually, what's the intended scope of unicode? not "all human communication" of course, but where's the line? < 1355636081 560865 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :all human communication except klingon < 1355636088 985093 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :there are some amusing decompositions in the list... like ₪ can decompose to שח or ILS < 1355636167 636983 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :Bike: i'll let you know if i come across a precise mission statement < 1355636184 735973 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :i think it's basically "all text" but the definition of text is slippery < 1355636203 853928 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :in part it's a descriptive standard that tries to unify existing codes < 1355636217 794325 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :a lot of things are in there so that you can round trip with existing legacy codes losslessly < 1355636219 386425 :Bike!~Glossina@207-224-23-226.ptld.qwest.net PRIVMSG #esoteric :are you on some kind of unicode binge? < 1355636228 76925 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :even ASCII's beloved hyphen-minus is an example of this! < 1355636232 212935 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :typographically it is a shit character < 1355636246 346124 :Bike!~Glossina@207-224-23-226.ptld.qwest.net PRIVMSG #esoteric :oh is that why wikipedia uses em dashes instead < 1355636254 383287 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :but there it is, in the first 128 codepoints! < 1355636284 336754 :Bike!~Glossina@207-224-23-226.ptld.qwest.net PRIVMSG #esoteric :i guess i'd never thought of that as being silly. monoglot bias i suppose. < 1355636293 703149 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :yeah < 1355636319 184926 :Bike!~Glossina@207-224-23-226.ptld.qwest.net PRIVMSG #esoteric :(now put me in charge of a character set. you get ascii) < 1355636338 712085 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :unicode binge... we were just outside barstow when the grass radicals began to take hold < 1355636338 955492 :Bike!~Glossina@207-224-23-226.ptld.qwest.net PRIVMSG #esoteric :actually huh, what does unicode do about all the control characters? < 1355636345 860652 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :they're in there < 1355636354 484413 :Bike!~Glossina@207-224-23-226.ptld.qwest.net PRIVMSG #esoteric :since they're kind of... not... charactery < 1355636369 175143 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :the first 256 codepoints of Unicode are the same as the 256 codepoints of ISO-8859-1 < 1355636370 284916 :Bike!~Glossina@207-224-23-226.ptld.qwest.net PRIVMSG #esoteric :of course it has its own like the text direction stuff, but that's not quite as abstract as bell < 1355636382 77463 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :(more eurocentrism for you!) < 1355636386 837378 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :including the C0 and C1 control codes < 1355636466 554943 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :and yeah it has all kinds of new control characters like text direction stuff, language indication (officially deprecated), byte-order mark, etc < 1355636516 766057 :ogrom!~del@143.122.191.90.dyn.estpak.ee JOIN :#esoteric < 1355636535 956051 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :oh they *also* have the control characters encoded again at e.g. http://www.fileformat.info/info/unicode/char/2400/index.htm < 1355636553 176884 :Bike!~Glossina@207-224-23-226.ptld.qwest.net PRIVMSG #esoteric :the hell is that < 1355636558 128788 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :these are visible characters for when you want to talk *about* NUL or STX or whatever < 1355636575 451559 :Bike!~Glossina@207-224-23-226.ptld.qwest.net PRIVMSG #esoteric :"SYMBOL FOR START OF HEADING" < 1355636592 371328 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :yeah it's a symbol representing the ASCII character 1 < 1355636600 949271 :Bike!~Glossina@207-224-23-226.ptld.qwest.net PRIVMSG #esoteric :the fuck < 1355636625 881685 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :defining "character" gets pretty tricky... for example, A vs. bold A is just a font distinction, except that mathematicians treat them as semantically distinct characters < 1355636632 352244 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :␀ is my favourite codepoint. < 1355636636 355553 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :now which one do I mean? < 1355636648 952437 :Bike!~Glossina@207-224-23-226.ptld.qwest.net PRIVMSG #esoteric :2400, because i have the wrong fonts installed. take that unicode < 1355636666 188521 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :so Unicode has a bunch of copies of the latin alphabet for MATHEMATICAL SANS SERIF BOLD LATIN A and whatever < 1355636666 900585 :Bike!~Glossina@207-224-23-226.ptld.qwest.net PRIVMSG #esoteric :kmc: does unicode have blackboard bold? < 1355636674 372509 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :http://en.wikipedia.org/wiki/Mathematical_Alphanumeric_Symbols < 1355636675 86435 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :yes < 1355636689 298032 :Bike!~Glossina@207-224-23-226.ptld.qwest.net PRIVMSG #esoteric :unicode meetings must be exciting. < 1355636689 513038 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :scumbag mathematicians < 1355636705 157691 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :invented a way to draw an equivalent of bold on blackboards < 1355636707 555248 :Bike!~Glossina@207-224-23-226.ptld.qwest.net PRIVMSG #esoteric :i should figure out what the deal with han unification was sometime < 1355636709 199569 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :then decided it means something else < 1355636713 788540 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :then decided to write them in print too < 1355636723 604719 :Bike!~Glossina@207-224-23-226.ptld.qwest.net PRIVMSG #esoteric :mathematicians are the worst at syntax < 1355636728 56656 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :yeah < 1355636737 630126 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :multi-character identifier names??? pfffffffffft fuck that < 1355636758 105414 :Bike!~Glossina@207-224-23-226.ptld.qwest.net PRIVMSG #esoteric :it was a good day when I realized mathematicians were basically doing for(i ...) all day erryday < 1355636761 239876 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :han unification was an argument over to what degree similar Han characters from Chinese and Japanese and (old) Korean are "the same character" < 1355636774 485333 :Bike!~Glossina@207-224-23-226.ptld.qwest.net PRIVMSG #esoteric :yeah, i got that much < 1355636776 24730 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :they might look a bit different but that can be a font thing as well < 1355636780 360964 :Bike!~Glossina@207-224-23-226.ptld.qwest.net PRIVMSG #esoteric :just, the arguments either way and such < 1355636793 336036 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :i think it came up at a time when people still wanted Unicode to be a 16-bit code only < 1355636796 189597 :Bike!~Glossina@207-224-23-226.ptld.qwest.net PRIVMSG #esoteric :old vietnamese uses them too, doesn't it? < 1355636797 208603 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :so there was kind of a space crunch < 1355636799 755240 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :probably < 1355636807 230108 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :han unification seems like a completely terrible idea to me < 1355636813 362045 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :especially since unicode has no qualm with duplicates normally < 1355636822 123586 :Bike!~Glossina@207-224-23-226.ptld.qwest.net PRIVMSG #esoteric :now i'm wondering if they unified all the various mongolian alphabets < 1355636824 874563 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :well yeah they've come around to that position < 1355636832 280554 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :right but have they fixed it yet :P < 1355636842 984826 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :one reason for duplicates is lossless round-trip with legacy encodings < 1355636889 984960 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric : unicode meetings must be exciting. ← i want to know what the meeting about Multiocular O was like < 1355636936 802113 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :maybe i should get a tattoo of multiocular o < 1355636957 517607 :Bike!~Glossina@207-224-23-226.ptld.qwest.net PRIVMSG #esoteric :ok, ok wait, back on the math thing. why does it have MATHEMATICAL SCRIPT CAPITAL D, then two undefined codepoints, then MATHEMATICAL SCRIPT CAPITAL G < 1355636968 192400 :Bike!~Glossina@207-224-23-226.ptld.qwest.net PRIVMSG #esoteric :what else is going to go in those codepoints < 1355636972 947280 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric : oh cause E and F are already in the Basic Multilingual Plane < 1355636984 578163 :Bike!~Glossina@207-224-23-226.ptld.qwest.net PRIVMSG #esoteric :wht < 1355636998 384008 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :they put the more common script letters in first < 1355637003 84107 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :and then they were like "fuck it" < 1355637041 207534 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :"The letters in various fonts often have specific, fixed meanings in particular areas of mathematics. By providing uniformity over numerous mathematical articles and books, these conventions help to read mathematical formulae." it's cute how they think mathematicians will ever use anything but LaTeX < 1355637051 532305 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :also lol MathML < 1355637069 848407 :Bike!~Glossina@207-224-23-226.ptld.qwest.net PRIVMSG #esoteric :oh, i see. you have MATHEMATICAL DOUBLE STRUCK CAPITAL X, then Y, at 1d54f and on, but then DOUBLE STRUCK CAPITAL Z is hanging out back in 2124 < 1355637080 929440 :Bike!~Glossina@207-224-23-226.ptld.qwest.net PRIVMSG #esoteric :because it's integers. wow. < 1355637085 50512 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :yeah. < 1355637097 937140 :Bike!~Glossina@207-224-23-226.ptld.qwest.net PRIVMSG #esoteric :unicode has got to be fucking full of these warts < 1355637127 507518 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :http://www.inference.phy.cam.ac.uk/cjb/codepoints.html < 1355637131 72807 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :this list is pre-emoji too < 1355637135 423012 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :so there's no PILE OF POO < 1355637140 281718 :Bike!~Glossina@207-224-23-226.ptld.qwest.net PRIVMSG #esoteric :aw :( < 1355637162 298812 :Bike!~Glossina@207-224-23-226.ptld.qwest.net PRIVMSG #esoteric :"GLAGOLITIC CAPITAL LETTER SPIDERY HA" so i suppose this is in the same area has multiocular o < 1355637180 155912 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :U+FDFA is the Arabic phrase "May Allah pray on him and grant him peace" as a single character < 1355637197 560528 :Bike!~Glossina@207-224-23-226.ptld.qwest.net PRIVMSG #esoteric :http://decodeunicode.org/data/glyph/196x196/2368.gif i love you, apl < 1355637206 328396 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :pffft < 1355637225 939357 :Bike!~Glossina@207-224-23-226.ptld.qwest.net PRIVMSG #esoteric :it's a tilde with diaresis, how do you even come up with that? < 1355637227 537141 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :⍨ < 1355637229 246152 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :KANGXI RADICAL FIGHT would be a good name for a band < 1355637234 74960 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :hi < 1355637244 492504 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Did I miss a good Unicode discussion? < 1355637245 669962 :Bike!~Glossina@207-224-23-226.ptld.qwest.net PRIVMSG #esoteric :ARABIC LIGATURE UIGHUR KIRGHIZ YEH WITH HAMZA ABOVE WITH ALEF MAKSURA ISOLATED FORM < 1355637256 307049 :Bike!~Glossina@207-224-23-226.ptld.qwest.net PRIVMSG #esoteric :oh, uighur, hm < 1355637266 845615 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :uighur please < 1355637279 382991 :Bike!~Glossina@207-224-23-226.ptld.qwest.net PRIVMSG #esoteric :i wonder if those people who write arabic-infused mandarin in cyrillic have opinions on unicode < 1355637308 187923 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :-_- < 1355637309 398257 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :kmc: well there is a popular latex derivative that uses unicode < 1355637310 253363 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :(xetex) < 1355637314 212025 :Bike!~Glossina@207-224-23-226.ptld.qwest.net PRIVMSG #esoteric :kmc: what? < 1355637318 622526 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :it's a face < 1355637319 737293 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :dunno < 1355637340 369305 :Bike!~Glossina@207-224-23-226.ptld.qwest.net PRIVMSG #esoteric :it was a serious question, they must have some pretty unique opinions on scripts < 1355637346 75972 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :yeah < 1355637354 203700 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :though cyrillic is a pretty well behaeved script < 1355637358 860525 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :if they don't have weird customizations < 1355637360 977350 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :which they probably do < 1355637432 784671 :Bike!~Glossina@207-224-23-226.ptld.qwest.net PRIVMSG #esoteric :"It is a Russian based alphabet plus four special letters: Җ, Ң, Ә, and Ў." well there we go then < 1355637453 524426 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :"Zhe with extra crap hanging off the side" < 1355637464 113683 :Bike!~Glossina@207-224-23-226.ptld.qwest.net PRIVMSG #esoteric :Cyrillic_Capital_Letter_Zhe_With_Descender apparently, so... yes < 1355637478 463877 :Bike!~Glossina@207-224-23-226.ptld.qwest.net PRIVMSG #esoteric :Cyrillic Capital Letter Schwa. Lovely. < 1355637511 746981 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :Chuvash language has CYRILLIC LETTER U WITH DOUBLE ACUTE < 1355637519 327731 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :Ӳӳ < 1355637551 274590 :Bike!~Glossina@207-224-23-226.ptld.qwest.net PRIVMSG #esoteric :erdős, plural: erdӳ < 1355637555 621606 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :yep < 1355637609 362896 :Bike!~Glossina@207-224-23-226.ptld.qwest.net PRIVMSG #esoteric :hm, apparently the dungan used to have their own script, which was basically chinese in arabic < 1355637630 429028 :Bike!~Glossina@207-224-23-226.ptld.qwest.net PRIVMSG #esoteric :"شِيَوْ عَر " < 1355637677 784026 :Bike!~Glossina@207-224-23-226.ptld.qwest.net PRIVMSG #esoteric :and it has four unique letters! yay < 1355637701 867039 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :are they in unicode < 1355637731 37434 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :google detects dungan as bulgarian, utterly fails to translate it < 1355637746 266085 :Bike!~Glossina@207-224-23-226.ptld.qwest.net PRIVMSG #esoteric :hm, wikipedia doesn't say which are unique < 1355637757 987486 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :kmc: Do you know what the cheese which is called "bulgarian cheese" in Hebrew is? < 1355637762 172946 :Bike!~Glossina@207-224-23-226.ptld.qwest.net PRIVMSG #esoteric :is ARABIC_LETTER_KEHEH_WITH_THREE_DOTS_ABOVE used in usual arabic < 1355637793 666288 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :shachaf: what is it? < 1355637803 877056 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I was hoping you knew! < 1355637807 866145 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :It's sort of similar to feta. < 1355637814 222772 :Bike!~Glossina@207-224-23-226.ptld.qwest.net PRIVMSG #esoteric :http://en.wikipedia.org/wiki/File:Xiaoerjing-Ekzemplafrazo.svg is that a quotation mark? if so it's pretty awesome. < 1355637818 280870 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :It's made with sheep's milk, I think? < 1355637821 233385 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :It's good. < 1355637831 428752 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :It's popularly eaten with watermelon (as well as many other things). < 1355637854 190317 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :Bike: nice < 1355637883 336442 :Bike!~Glossina@207-224-23-226.ptld.qwest.net PRIVMSG #esoteric :"manuscripts which use the Arabic script for transcribing Romance languages such as Mozarabic, Portuguese, Spanish or Ladino" this must be exciting < 1355637885 350610 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :is it this shachaf? http://en.wikipedia.org/wiki/Sirene < 1355637941 346638 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :using Arabic script to write a mixture of Spanish and Hebrew o_O < 1355637942 866359 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :kmc: Hmm, it says it's "similar". < 1355637946 560068 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Hard to say. < 1355637973 904184 :Bike!~Glossina@207-224-23-226.ptld.qwest.net PRIVMSG #esoteric :kmc: you're aware of basque-icelandic pidgin right < 1355637978 917447 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :Bike: what no < 1355637980 132413 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :The Hebrew link on that page links to the Hebrew page. < 1355637988 798983 :Bike!~Glossina@207-224-23-226.ptld.qwest.net PRIVMSG #esoteric :kmc: swear to god it's real < 1355637991 832383 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I don't think I've come across that name before. < 1355638009 83277 :Bike!~Glossina@207-224-23-226.ptld.qwest.net PRIVMSG #esoteric :i think there was also a polish-mongolian pidgin < 1355638010 685578 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :kmc: Apparently it is! < 1355638011 109481 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :Bike: what < 1355638015 478276 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :wow < 1355638022 962634 :Bike!~Glossina@207-224-23-226.ptld.qwest.net PRIVMSG #esoteric :http://en.wikipedia.org/wiki/Polish%E2%80%93Mongolian_literary_relations < 1355638023 940358 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :i like that one of the example phrases on wikipedia is "Fuck you!" < 1355638035 750375 :Bike!~Glossina@207-224-23-226.ptld.qwest.net PRIVMSG #esoteric :life is beautiful, elliott < 1355638056 707127 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :Bike: why is ther e basque-icelandic pidgin < 1355638065 162537 :Bike!~Glossina@207-224-23-226.ptld.qwest.net PRIVMSG #esoteric :kmc: i imagine it comes up a lot when you're an icelandic sailor trying to talk to this weird mountainous french guy??? < 1355638066 706056 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :*there a < 1355638077 369530 :Bike!~Glossina@207-224-23-226.ptld.qwest.net PRIVMSG #esoteric :elliott: so that icelanders and basques could talk, duh < 1355638082 844252 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :hehehe < 1355638099 781928 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :how did french people end up at the far side of iceland anyway < 1355638106 808862 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :they got lost < 1355638110 907255 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :i'll say < 1355638133 533937 :Bike!~Glossina@207-224-23-226.ptld.qwest.net PRIVMSG #esoteric :how did norse people end up on the far side of greenland < 1355638151 672721 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :Wash a shirt for me. Fuck you! Give me garters. I will give you a biscuit and a sour drink. If Christ and Maria give me a whale, I will give you the tail. You are an evil man. Give me hot milk and new butter. < 1355638154 90350 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Ha, Bike still believes in Greenland. < 1355638172 543504 :Bike!~Glossina@207-224-23-226.ptld.qwest.net PRIVMSG #esoteric :give you the... is that some kind of rhyming insult < 1355638197 316709 :Bike!~Glossina@207-224-23-226.ptld.qwest.net PRIVMSG #esoteric :speaking of which, as long as i'm talking about language trivia i don't really know, are you all aware that rap battles have been invented independently all over the world centuries ago < 1355638197 714609 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :i don't know < 1355638205 507243 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :no but that's great < 1355638337 178301 :Bike!~Glossina@207-224-23-226.ptld.qwest.net PRIVMSG #esoteric :there are entirely different traditions in, say, norse (flyting) and... i forget the turkmen one < 1355638346 388709 :Nisstyre!~yours@oftn/member/Nisstyre JOIN :#esoteric < 1355638433 218605 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :as long as i'm talking about whales did you know that all whales found beached on the shores of Britain are considered property of the Queen? < 1355638436 248871 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :sturgeons too < 1355638446 373586 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :well in Scotland it's only those whales too large to be pulled to land by a "wain pulled by six oxen" < 1355638671 4142 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :אנשים נוטים לבלבל בין גבינת הפטה לגבינה הבולגרית, אך תהליך הייצור שלהם וטעמן שונה. הבולגרית עוברת כבישה והיא יותר קשיחה, לעומת הפטה שנוטה להתפורר. < 1355638879 939251 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :kmc: what about in wales < 1355639159 228375 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :whales in wales?!?!? < 1355639164 71811 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :yes < 1355639192 20825 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :_1 < 1355639192 98286 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric : :: forall s t a b (f :: * -> *) (k :: * -> * -> *). < 1355639192 506680 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric : (Functor f, Indexable Int k, Field1 s t a b) => < 1355639192 506893 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric : k (a -> f b) (s -> f t) < 1355639197 820144 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Guess who's to blame for that type? < 1355639200 407555 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Hint: It's elliott. < 1355639234 140103 :Bike!~Glossina@207-224-23-226.ptld.qwest.net PRIVMSG #esoteric :is that a type with type annotations in it? < 1355639247 186522 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Kind annotations. < 1355639251 522609 :Bike!~Glossina@207-224-23-226.ptld.qwest.net PRIVMSG #esoteric :neat. < 1355639255 83586 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :A kind is a type of a type. < 1355639258 715150 :Bike!~Glossina@207-224-23-226.ptld.qwest.net PRIVMSG #esoteric :yeah, i know. < 1355639317 136038 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :those kinds could be inferred anyway < 1355639326 746428 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :but ghci helpfully prints the ones which are not * < 1355639354 592939 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :Except it doesn't. < 1355639356 685770 :Bike!~Glossina@207-224-23-226.ptld.qwest.net PRIVMSG #esoteric :does ghc possibly with whatever crazed extensions you're using have kinds other than -> ones? < 1355639359 974577 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :shachaf just turned it on. < 1355639369 40375 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :Bike: yes < 1355639373 1998 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :What? < 1355639382 52538 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :There are no datakinds there. < 1355639403 885062 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :even without turning on any extensions, ghc has a few extra kinds < 1355639419 261327 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :#, the kind of unboxed types < 1355639429 240402 :Bike!~Glossina@207-224-23-226.ptld.qwest.net PRIVMSG #esoteric :catchy name < 1355639433 556271 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Can you get access to them these days, without extensions? < 1355639435 472113 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :(#), the kind of unboxed tuple typess (which are not unboxed types for this purpose) < 1355639438 521805 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :(->) :: * -> * -> * < 1355639447 820213 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :and ? and ?? which are unions of those < 1355639449 241374 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric ::k (->) < 1355639450 910149 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :* -> * -> * < 1355639453 770298 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :those don't exist any more kmc < 1355639454 939172 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :huh why < 1355639455 639449 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :ok < 1355639456 324524 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :they have more reasonable names now < 1355639459 917653 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :it's all different now < 1355639459 990904 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :OpenKind and stuff < 1355639464 60948 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :also now you have datakinds < 1355639464 216752 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :elliott: # exists! < 1355639465 384362 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :and constraintkinds < 1355639470 484684 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :yes < 1355639473 355011 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Kinds, kinds, kinds! < 1355639477 425919 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :so for instance Foo :: [Int] -> Constraint! < 1355639497 619733 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :If it's unsatisfiable we call it a Constrain't. < 1355639557 543608 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :elliott: huh what does "Constraint" mean as a type? < 1355639574 827255 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :kmc: a constraint < 1355639577 419486 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :like (Num Int) < 1355639579 672845 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :or (a ~ b) < 1355639586 710543 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :i understand it as a kind, e.g. forall (c :: Constraint). c => t < 1355639587 576449 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :or (Num a, Foo a) < 1355639590 735531 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :it's a kind there < 1355639593 966553 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :how < 1355639594 208019 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :that was a kind signature for Foo < 1355639598 775469 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :oh < 1355639601 562639 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :type family Foo :: [Int] -> Constraint < 1355639601 809079 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :because [Int] is a datakind < 1355639602 931995 :popl!~1024@unaffiliated/popl JOIN :#esoteric < 1355639606 935412 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :type instance Foo '[] = () < 1355639612 419720 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :this is some crazy shit < 1355639615 41662 :Bike!~Glossina@207-224-23-226.ptld.qwest.net PRIVMSG #esoteric :[Int] isn't a type in this context? < 1355639615 206401 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :type instance Foo (x ': xs) = (MyTypeClassTakingAnInt x, Foo xs) < 1355639618 165092 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :Bike: nope. < 1355639619 963765 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :yeah < 1355639624 137764 :popl!~1024@unaffiliated/popl PRIVMSG #esoteric :Hello. < 1355639626 843873 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :it makes sense now < 1355639627 771500 :Bike!~Glossina@207-224-23-226.ptld.qwest.net PRIVMSG #esoteric :uh. so ... what is it < 1355639635 137312 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :Bike: a lifted data kind. < 1355639640 97772 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :GHC lifts data types to the kind level, and data constructors to the type level < 1355639655 807747 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :when you enable appropriate crazy extensions < 1355639661 542476 :popl!~1024@unaffiliated/popl PRIVMSG #esoteric :Haskell is esoteric? < 1355639676 570791 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :#esoteric is on topic? < 1355639685 82154 :popl!~1024@unaffiliated/popl PRIVMSG #esoteric :kmc: Mommy? < 1355639687 775585 :Bike!~Glossina@207-224-23-226.ptld.qwest.net PRIVMSG #esoteric :right i'm going to file this away as something i shouldn't try to understand right this second because i'll just fuck it up < 1355639692 674229 :Bike!~Glossina@207-224-23-226.ptld.qwest.net PRIVMSG #esoteric :thanks anyway < 1355639709 664877 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :biiikeeee < 1355639721 723314 :Bike!~Glossina@207-224-23-226.ptld.qwest.net PRIVMSG #esoteric :what < 1355639746 657564 :popl!~1024@unaffiliated/popl PRIVMSG #esoteric :I just found http://www.dangermouse.net/esoteric/piet.html < 1355639750 343025 :popl!~1024@unaffiliated/popl PRIVMSG #esoteric :I think it's really cool. < 1355639768 67135 :Bike!~Glossina@207-224-23-226.ptld.qwest.net PRIVMSG #esoteric :i think the wiki has several examples of image languages < 1355639776 882559 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :you're being like you and self-deprecating and depressive and stuff < 1355639803 902110 :Bike!~Glossina@207-224-23-226.ptld.qwest.net PRIVMSG #esoteric :geez, i'm just trying to be realistic. i barely know type theory, taking it to The Next Level too fast is just a dumb way to learn. < 1355639818 227258 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :yeah a lot of people make this mistake learning haskell < 1355639829 5554 :Bike!~Glossina@207-224-23-226.ptld.qwest.net PRIVMSG #esoteric :Haha, Piet is in Category:Low-level < 1355639842 106593 :Bike!~Glossina@207-224-23-226.ptld.qwest.net PRIVMSG #esoteric :popl: http://esolangs.org/wiki/Category:Two-dimensional_languages i think most of these are actually fungoids but < 1355639846 107707 :popl!~1024@unaffiliated/popl PRIVMSG #esoteric :I was thinking how this channel allowed escape codes and thought about writing a language that made use of them. Then I thought somebody else might have already done, and I found Piet. < 1355639882 288072 :Bike!~Glossina@207-224-23-226.ptld.qwest.net PRIVMSG #esoteric :kmc: what mistake? < 1355639884 352943 :popl!~1024@unaffiliated/popl PRIVMSG #esoteric :Bike: The operations are all low-level. I think it's neat. < 1355639903 823336 :Bike!~Glossina@207-224-23-226.ptld.qwest.net PRIVMSG #esoteric :it is neat, i just don't normally associate "low-level" and "you distribute it as a png" < 1355639921 78548 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :hey, that means the executables come pre-compressed right? < 1355639923 585975 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :XD < 1355639925 740148 :Bike!~Glossina@207-224-23-226.ptld.qwest.net PRIVMSG #esoteric :genius < 1355639928 243897 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :Bike: trying to understand the coolest sounding advanced ideas without understanding the fundamentals < 1355639932 794596 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :and instead of an executable packer, you have pngout < 1355639933 599295 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :so i think your attitude is reasonable < 1355639955 491425 :Bike!~Glossina@207-224-23-226.ptld.qwest.net PRIVMSG #esoteric :oh, yeah < 1355639980 355826 :Bike!~Glossina@207-224-23-226.ptld.qwest.net PRIVMSG #esoteric :if i actually wanted to learn haskell i'd just write a regex matcher in it or something, it's more fun to sit around pretending to learn math < 1355640003 402744 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :the archetypal example are people who are obsessed with "learning monads" but don't understand type classes and higher order functions < 1355640031 256757 :Bike!~Glossina@207-224-23-226.ptld.qwest.net PRIVMSG #esoteric :monads without understanding higher order functions sounds... depressing, really < 1355640033 943432 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :yeah < 1355640039 496811 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :"low-level" and "high-level" have two different meanings. < 1355640045 505770 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :One is close or far to what the machine does. < 1355640050 693970 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :The other is close or far to what you want to say. < 1355640060 81690 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :We need two different sets of words for this. :-( < 1355640062 3925 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :it's depressing that any programmers do not understand higher order functions, but there we are < 1355640083 592221 :Bike!~Glossina@207-224-23-226.ptld.qwest.net PRIVMSG #esoteric :did you know that Higher-Order Perl is a book that exists? < 1355640088 851010 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :ok < 1355640108 708144 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :What's wrong with that? < 1355640121 898380 :Bike!~Glossina@207-224-23-226.ptld.qwest.net PRIVMSG #esoteric :nothing, really < 1355640585 590739 :popl!~1024@unaffiliated/popl PRIVMSG #esoteric :kmc: Did you mean it's depressing that all programmers do not ... ? < 1355640619 709249 :Bike!~Glossina@207-224-23-226.ptld.qwest.net PRIVMSG #esoteric :his sentence seems fine as it is. < 1355640631 495768 :Bike!~Glossina@207-224-23-226.ptld.qwest.net PRIVMSG #esoteric :"it's depressing that programmers that do not understand higher order functions exist" < 1355640642 975340 :popl!~1024@unaffiliated/popl PRIVMSG #esoteric :AHHHH < 1355640663 486446 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :popl: what are you even doing here popl < 1355640678 447637 :popl!~1024@unaffiliated/popl PRIVMSG #esoteric :shachaf: slumming < 1355640683 172750 :popl!~1024@unaffiliated/popl PRIVMSG #esoteric ::D < 1355640720 967007 :popl!~1024@unaffiliated/popl PRIVMSG #esoteric :shachaf: It was easier to type /j #esoteric then /topic #esoteric < 1355640765 665811 :popl!~1024@unaffiliated/popl PRIVMSG #esoteric :shachaf: And Bike ended up giving me the URI for the wiki anyways (it is not in the topic). < 1355640777 664719 :popl!~1024@unaffiliated/popl PRIVMSG #esoteric :shachaf: I will leave if you ask. < 1355640801 430930 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :`welcome popl < 1355640806 184180 :HackEgo!codu@codu.org PRIVMSG #esoteric :popl: 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.) < 1355640807 665519 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :`WELCOME popl < 1355640809 818169 :HackEgo!codu@codu.org PRIVMSG #esoteric :POPL: 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.) < 1355640811 239025 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :there's two URIs for you < 1355640812 255494 :Bike!~Glossina@207-224-23-226.ptld.qwest.net PRIVMSG #esoteric :i did? < 1355640816 53002 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :ok the latter might not actually be a URI < 1355640824 605441 :popl!~1024@unaffiliated/popl PRIVMSG #esoteric :22:37 < Bike> popl: http://esolangs.org/wiki/Category:Two-dimensional_languages i think most of these are actually fungoids but < 1355640830 236208 :Bike!~Glossina@207-224-23-226.ptld.qwest.net PRIVMSG #esoteric :gosh < 1355640843 109519 :Yonkie!~Yonkie@cookness-diamond.volia.net QUIT : < 1355640910 66609 :popl!~1024@unaffiliated/popl PRIVMSG #esoteric :I was joking when I said I was slumming. < 1355640920 779189 :popl!~1024@unaffiliated/popl PRIVMSG #esoteric :elliott: I'm sorry I said your favoritest language was COBOL. < 1355640930 13228 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :but it is < 1355640936 144206 :Bike!~Glossina@207-224-23-226.ptld.qwest.net PRIVMSG #esoteric :cobol's pretty cool < 1355640937 374688 :popl!~1024@unaffiliated/popl PRIVMSG #esoteric :OH! GOOD! < 1355642241 85523 :keb!~keb@184-76-50-238.war.clearwire-wmx.net QUIT :Remote host closed the connection < 1355644531 998827 :epicmonkey!~epicmonke@188.134.41.172 JOIN :#esoteric < 1355644991 978677 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net JOIN :#esoteric < 1355647121 53260 :carado!~user4539@2a01:e35:8b61:e430:6ef0:49ff:fe73:1fd0 JOIN :#esoteric < 1355648027 713948 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :`WeLcOmE < 1355648033 225498 :HackEgo!codu@codu.org PRIVMSG #esoteric :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.) < 1355648044 943743 :popl!~1024@unaffiliated/popl QUIT :Quit: Goodbye. < 1355648055 47422 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`welcome monqy < 1355648057 205192 :HackEgo!codu@codu.org PRIVMSG #esoteric :monqy: 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.) < 1355648072 938642 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :`welcome `welcome < 1355648073 565052 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :hi shachaf < 1355648074 841497 :HackEgo!codu@codu.org PRIVMSG #esoteric :​`welcome: 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.) < 1355648077 15620 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :hi monqy < 1355648100 448715 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :`welcome ACTION < 1355648102 340585 :HackEgo!codu@codu.org PRIVMSG #esoteric :​.ACTION: 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.) < 1355648109 5100 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :monqy: what's the pacific ocean like < 1355648188 267482 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :it's an ocean < 1355648216 849477 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :monqy: what about the indian ocean < 1355648292 147534 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :also an ocean < 1355648325 122326 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :monqy: what about the red sea < 1355648333 934086 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :a sea < 1355648379 188273 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :monqy: lake superior?? < 1355648466 271108 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :a superior lake < 1355648483 516032 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :shachaf you should be able to figure this out yourself < 1355648518 376296 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :monqy: It's kind of tricky. < 1355648525 806891 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :You have a natural talent at this. < 1355648584 847882 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :monqy: What about the Sun? < 1355648597 455394 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :a sun < 1355648607 444583 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :What about < 1355648629 733703 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :FreeFull: The Sun is dead. < 1355648631 270066 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :rip sun < 1355648887 362117 :hagb4rd!~perdito@koln-4d0b6008.pool.mediaWays.net PRIVMSG #esoteric :"when the doors of perception are cleansed man will see things as they truly are..infinite" < 1355648918 213763 :hagb4rd!~perdito@koln-4d0b6008.pool.mediaWays.net PRIVMSG #esoteric :-wiliam blake < 1355649097 636050 :ogrom!~del@143.122.191.90.dyn.estpak.ee QUIT :Quit: Left < 1355649557 429562 :oerjan!oerjan@sprocket.nvg.ntnu.no JOIN :#esoteric < 1355649717 754021 :ogrom!~del@143.122.191.90.dyn.estpak.ee JOIN :#esoteric < 1355649851 786994 :Nisstyre!~yours@oftn/member/Nisstyre QUIT :Read error: Connection reset by peer < 1355650260 543874 :Bike!~Glossina@207-224-23-226.ptld.qwest.net QUIT :Quit: leaving < 1355651227 249471 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :elliott: Bet me the year of my birth doubled is an odd number. < 1355651264 858317 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :shachaf: You were born in a halfyeaer? < 1355651320 738687 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :ElephantTraversal < 1355652243 363505 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`quote < 1355652243 772348 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`quote < 1355652244 153984 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`quote < 1355652244 510165 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`quote < 1355652244 822263 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`quote < 1355652245 272717 :HackEgo!codu@codu.org PRIVMSG #esoteric :470) now theodore seuss is dead... so screw him < 1355652245 619038 :HackEgo!codu@codu.org PRIVMSG #esoteric :233) OK, I give up, logging into Wikia is harder than writing a Firefox extension < 1355652246 533126 :HackEgo!codu@codu.org PRIVMSG #esoteric :216) Deewiant: Did you take the course at some point and/or were you taking it now and/or did you actually already graduate and/or are you still in Otaniemi anyway? < 1355652246 767568 :HackEgo!codu@codu.org PRIVMSG #esoteric :618) VMS Mosaic? I hope that's not Mosaic ported to VMS. Hmm. It's Mosaic ported to VMS. < 1355652247 22299 :HackEgo!codu@codu.org PRIVMSG #esoteric :14) Finally I have found some actually useful purpose for it. < 1355652417 385050 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`pastelogs Finally I have found some actually useful purpose for it. < 1355652451 93205 :HackEgo!codu@codu.org PRIVMSG #esoteric :http://codu.org/projects/hackbot/fshg/index.cgi/raw-file/tip/paste/paste.3026 < 1355652488 193116 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :oh it was only no. 23 when it was added. < 1355652501 967626 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :deletions aren't _quite_ as harsh as i feared :P < 1355652521 598404 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`quote < 1355652522 98754 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`quote < 1355652522 478977 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`quote < 1355652522 869437 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`quote < 1355652523 90973 :HackEgo!codu@codu.org PRIVMSG #esoteric :470) now theodore seuss is dead... so screw him < 1355652523 163879 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`quote < 1355652524 515322 :HackEgo!codu@codu.org PRIVMSG #esoteric :164) HOT SEXY SEX BITS < 1355652524 699257 :HackEgo!codu@codu.org PRIVMSG #esoteric :299) I just thought you might have meant the Ramanujan tau and I was WOAH he weilds heavy weapons < 1355652526 79743 :HackEgo!codu@codu.org PRIVMSG #esoteric :212) ooh I want to see ehird pole dancing I think that would be illegal. oh you are right damn :/ < 1355652526 313615 :HackEgo!codu@codu.org PRIVMSG #esoteric :717) aaaaah my scherzo is unmeasurable < 1355652546 829076 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i think 470 may have a death wish < 1355652553 135757 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Didn't someone delete 164 once? < 1355652553 448217 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :470 is beautiful < 1355652562 360175 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :164 is also beautiful < 1355652580 623805 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :what's with 212......... < 1355652588 980566 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :also what's with 717, but in a different way < 1355652607 271390 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :wha'ts with the pacific ocean monqy! < 1355652613 384075 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :monqy: 212 explanation: vorpal. < 1355652614 405705 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :monqy: i don't think it's illegal any longer. maybe Vorpal should try again. < 1355652615 382934 :nooga!~nooga@ip-46-250-173-30.ip.maverick.com.pl JOIN :#esoteric < 1355652619 261014 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :717 explanation: my scherzo is unmeasurable < 1355652619 690707 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :or is it. < 1355652621 279640 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :apparently < 1355652633 119569 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :kmc: What do *you* think about The Hashable Controversy? < 1355652639 644793 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :elliott is getting quite worked up about it. < 1355652647 518754 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :shachaf: it's a controversy now? < 1355652651 220391 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Yes. < 1355652675 937534 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i saw a reddit post but i didn't notice any controversy < 1355652678 733942 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :shachaf: don't worry, I know you like to get shit done < 1355652686 402424 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :shachaf: and that's why you use classy-prelude and new hashable < 1355652697 435566 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :kmc: Example ☝ < 1355652713 396852 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :elliott: Don't make me get my CanMapM_Func! < 1355652822 476636 :Deewiant!~deewiant@deewiant.iki.fi PRIVMSG #esoteric :elliott: Did edward say /why/ he repented anywhere? < 1355652861 609752 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :Deewiant: Apparently dolio convinced him. < 1355652894 642653 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Repented on what? < 1355652974 787938 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :Deewiant: Quoth: "`nand` made a solid case in some code here, and dolio worked me over about the lack of true products in haskell for months before i broke.." < 1355652975 737518 :Deewiant!~deewiant@deewiant.iki.fi PRIVMSG #esoteric :16.07:11:14* elliott | @tell Deewiant https://github.com/ekmett/bifunctors/issues/1 (and lens behaves this way too) < 1355652978 603955 :Deewiant!~deewiant@deewiant.iki.fi PRIVMSG #esoteric :shachaf: On that. < 1355652988 368837 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :s/broke../broke./ < 1355652998 693943 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric : @tell Deewiant Oh. < 1355653050 153564 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :Deewiant: HTH. < 1355653058 116540 :Deewiant!~deewiant@deewiant.iki.fi PRIVMSG #esoteric :elliott: Where's that quote from? < 1355653072 87270 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :Deewiant: I told edwardk you wanted to know and that's what he said. < 1355653077 884025 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :I am basically Deewiant'sIRC client. < 1355653082 371881 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :Also Deewiant's IRC client. < 1355653082 738878 :Deewiant!~deewiant@deewiant.iki.fi PRIVMSG #esoteric :Right. :-P < 1355653092 292086 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :(But: #haskell-lens.) < 1355653188 233022 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric : Bike: why is ther e basque-icelandic pidgin <-- istr the basques were pretty great fishermen, see http://en.wikipedia.org/wiki/History_of_the_Basque_people#Basque_sailors < 1355653478 977728 :Sgeo!~sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :elliott, monqy Fiora updat < 1355653494 610935 :sebbu!~sebbu@ADijon-152-1-23-82.w83-194.abo.wanadoo.fr JOIN :#esoteric < 1355653494 684210 :sebbu!~sebbu@ADijon-152-1-23-82.w83-194.abo.wanadoo.fr QUIT :Changing host < 1355653494 684357 :sebbu!~sebbu@unaffiliated/sebbu JOIN :#esoteric < 1355654535 425105 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric : shachaf: I will leave if you ask. <-- NO DON'T GIVE SHACHAF POWER < 1355654545 370277 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :IT'S TOO LATE HE ALREADY LEFT < 1355654547 105728 :augur!~augur@208.58.5.87 QUIT :Ping timeout: 260 seconds < 1355654561 299864 :Taneb!~nathan@host-84-13-84-68.opaltelecom.net JOIN :#esoteric < 1355654571 713483 :Taneb!~nathan@host-84-13-84-68.opaltelecom.net PRIVMSG #esoteric :Guys < 1355654573 425825 :Taneb!~nathan@host-84-13-84-68.opaltelecom.net PRIVMSG #esoteric :I never < 1355654578 28230 :Taneb!~nathan@host-84-13-84-68.opaltelecom.net PRIVMSG #esoteric :have to pretend to be a rabbi < 1355654583 859964 :Taneb!~nathan@host-84-13-84-68.opaltelecom.net PRIVMSG #esoteric :ever again < 1355654589 669090 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :good, good < 1355654593 106000 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :what < 1355654628 786718 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :<-- does it have to exist to be a URI? < 1355654631 750816 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric : ok the latter might not actually be a URI <-- does it have to exist to be a URI? < 1355654642 703044 :Taneb!~nathan@host-84-13-84-68.opaltelecom.net PRIVMSG #esoteric :School's Youth Theatre's performance of Fiddler on the Roof is over < 1355654647 386913 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :pesky non-automatic pasting < 1355654689 684035 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`? taneb < 1355654691 478500 :HackEgo!codu@codu.org PRIVMSG #esoteric :Taneb is not elliott, no matter who you ask. < 1355654731 878582 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`learn Taneb is not elliott, no matter who you ask. He also isn't a rabbi although he has pretended in the past. < 1355654735 996038 :HackEgo!codu@codu.org PRIVMSG #esoteric :I knew that. < 1355654746 857254 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :that almost rhymes < 1355654747 9240 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :@quote Taneb < 1355654747 560194 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :No quotes match. Where did you learn to type? < 1355654752 898488 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :@quote Ngevd < 1355654753 554046 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :No quotes match. Are you on drugs? < 1355654761 96554 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :oerjan: double spaces after . s:( < 1355654763 480819 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :*.s :( < 1355654780 703399 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :elliott: um there is a double space < 1355654786 276885 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oerjan: EXACTLY < 1355654793 3862 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`learn Taneb is not elliott, no matter who you ask.He also isn't a rabbi although he has pretended in the past. < 1355654796 748532 :HackEgo!codu@codu.org PRIVMSG #esoteric :I knew that. < 1355654798 268752 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Hmm, that's not right. < 1355654798 580836 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :no no NO < 1355654798 654198 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :AAAAAAAAAAA < 1355654803 583098 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :there should be 1 space < 1355654804 725464 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Let's compromise. < 1355654805 446881 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`learn Taneb is not elliott, no matter who you ask. He also isn't a rabbi although he has pretended in the past. < 1355654805 839251 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :that's how it's meant to be < 1355654808 310361 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :thank you < 1355654809 981709 :HackEgo!codu@codu.org PRIVMSG #esoteric :I knew that. < 1355654818 787107 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :elliott: i thought double space was the standard. is that only for quotes? < 1355654829 406785 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :yes. < 1355654832 780045 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Double space isn't for separating sentences... < 1355654840 243451 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :the "elliott standard" < 1355654841 982165 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Only the scum of the earth separate sentences with double space. < 1355654842 851575 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :ACTION sad < 1355654860 803887 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :ACTION swats shachaf -----### < 1355654861 681055 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :For some reason I always doublespace between sentences in emails. I scum. < 1355654906 313039 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :fizzie: The worst part is when you only do it on the first sentence. < 1355654910 374501 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :That makes you a start-scummer. < 1355654911 747028 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :oerjan: can you figure out how to unify view and view' < 1355654916 450923 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :it's really buggign me < 1355654919 255485 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :also bugging < 1355654933 124724 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric ::t view < 1355654934 558027 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :MonadReader s m => Getting a s t a b -> m a < 1355654935 639460 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric ::t view' < 1355654936 963496 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :MonadReader s m => Getting a s s a a -> m a < 1355654954 944020 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :ok what are those and what's the actual difference < 1355654962 220789 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Same implementation. < 1355654963 707665 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :view' = view < 1355654970 316849 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :unifiedview :: MonadReader s m => Getting a s t a b -> m a hth < 1355654974 746365 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :oerjan: Getting a s t a b -> s -> a < 1355654980 81241 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :you don't have to care about the monad part < 1355654986 484167 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :True. < 1355654989 82534 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :oerjan: the problem is that s,t,a,b aren't known to be related by the typesystem < 1355655000 235211 :sgeo_!~sgeo@ool-ad034ea6.dyn.optonline.net JOIN :#esoteric < 1355655001 275123 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :OKAY < 1355655003 88816 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :oerjan: so if you have something which would be ambiguous if not for defaulting, then it still remains ambiguous < 1355655003 255861 :Sgeo!~sgeo@ool-ad034ea6.dyn.optonline.net QUIT :Read error: Connection reset by peer < 1355655007 348315 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :because it defaults s and a because you actually pass them < 1355655010 25142 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :but t and b are just floating there < 1355655017 26454 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :whereas with view' it's made unambiguous < 1355655031 813179 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :we'd ideally like some way to say "if this function is used ambiguously, try again assuming s ~ t, a ~ b" < 1355655089 311349 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :did you try the constraint GHC.Exts.MaybeUnify < 1355655093 590028 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :a b < 1355655112 23119 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :shachaf: Hey, I called my typeclass attempting to hack it in MaybeUnify. < 1355655122 132728 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I named the one I invented after yours. < 1355655127 576964 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Sorry. :-( < 1355655167 339144 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :I didn't even tell you about mine! < 1355655185 217313 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :02:34 what we need is some kind of constraint (MaybeUnify a b) < 1355655240 712836 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :dammit < 1355655257 523854 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :you let the secret escape < 1355655288 681309 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :elliott: I'm a real mind reader. < 1355655299 640440 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :After that, you went to Oleg's website and looked for similar things. < 1355655314 22082 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :You found one, btu it turned out to just be (~)!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!! < 1355657873 931906 :ion!ion@heh.fi PRIVMSG #esoteric :kmc: Usually some piece of hardware not working after resume. < 1355658355 629997 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :We have a Lenovo laptop here where the firmware fan controller makes it do this really horrible "cycle the fan on to ~full for two seconds every 15 seconds when the box is idle" loop. It does that in Linux and in a clean Win8 install, but not in the provided Win7 with Lenovo's "Power Manager" thing running; presumably that takes control from the EC and runs the fans by itself. It's really a wurst. < 1355658468 110304 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :ibm_acpi has an experimental mode where it can do thermal monitoring an fan control (and people have written scripts to do that), but I don't even know if it would work in that thing, and anyway it sounds like a good way to melt a processor or something. < 1355658760 874749 :olsner!~salparot@c83-252-194-156.bredband.comhem.se PRIVMSG #esoteric :have you tried upgrading the bios/ < 1355658775 206301 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Sure, it's at the latest revision they've made for that model. < 1355658789 908610 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Googling suggests Lenovo has fixed a number of older ThinkPads with similar fan issues with firmware upgrades. < 1355658842 209754 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :I should probably complain on their forums. Though there's a 35-page thread from owners of a not-the-same-but-reasonably-close-in-model-number-space complaining about a fan loop, and it doesn't seem to be going anywhere. < 1355658860 643277 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :(I have also tried turning it off and then on.) < 1355658968 980569 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :yo elliott, i hird u like algebra, so i put sums and products in ur records < 1355659843 942355 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net QUIT :Quit: Lost terminal < 1355659864 154745 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net JOIN :#esoteric < 1355662009 188425 :Taneb!~nathan@host-84-13-84-68.opaltelecom.net QUIT :Read error: Connection reset by peer < 1355662140 892720 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric ::t main < 1355662142 709021 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : Not in scope: `main' < 1355662142 867947 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : Perhaps you meant `min' (imported from Data.Ord) < 1355662232 121181 :Deewiant!~deewiant@deewiant.iki.fi PRIVMSG #esoteric :main :: IO a => a < 1355662319 839661 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :Deewiant: what < 1355662321 537361 :Taneb!~nathan@host-84-13-84-68.opaltelecom.net JOIN :#esoteric < 1355662358 196292 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :GHC.Prim.State# exists but if I attempt to look at it, ghci parses the # as a separate symbol < 1355662387 466452 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :you don't want to look at that < 1355662389 277263 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :so it doesn't matter < 1355662412 767857 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :FreeFull: {-# LANGUAGE MagicHash #-} or so < 1355662434 657019 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :ACTION sigh < 1355662446 227200 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :I should adjust GHC's IO representation so there isn't a definition in a file ending .hs. < 1355662458 53106 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :elliott, so frustrated < 1355662482 421684 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :also yes, main can be IO a for any a < 1355662490 820490 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :yes but that's not what Deewiant said... < 1355663726 876472 :Nisstyre-laptop!~yours@oftn/member/Nisstyre QUIT :Ping timeout: 250 seconds < 1355663752 768670 :david_werecat!~david_wer@24.212.152.46 QUIT :Ping timeout: 250 seconds < 1355663899 264496 :Phantom_Hoover!~Phantom@unaffiliated/phantom-hoover/x-3377486 JOIN :#esoteric < 1355664364 353263 :Deewiant!~deewiant@deewiant.iki.fi PRIVMSG #esoteric :heh, guess I shouldn't try to write some quick Haskell on my phone without thinking when I haven't written Haskell in months < 1355664425 176601 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :writing Haskell on a phone sounds distinctly unpleasant < 1355664480 292474 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Writing a phone on Haskell, though... < 1355664585 744311 :Jafet!~Jafet@unaffiliated/jafet PRIVMSG #esoteric :"fmap to unlock" < 1355664691 190607 :ion!ion@heh.fi PRIVMSG #esoteric :main :: MonadIO a => a < 1355664699 526931 :ion!ion@heh.fi PRIVMSG #esoteric :main :: MonadIO m => m a < 1355666014 223517 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric ::t putStr < 1355666016 39196 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :String -> IO () < 1355666081 132564 :oerjan!oerjan@sprocket.nvg.ntnu.no QUIT :Quit: leaving < 1355666744 194234 :sgeo_!~sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :I'm graduating in a few days < 1355666746 422872 :sgeo_!~sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :It feels weird < 1355666836 830506 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :i'll say < 1355666950 414611 :Phantom__Hoover!~Phantom@unaffiliated/phantom-hoover/x-3377486 JOIN :#esoteric < 1355667083 350368 :Phantom_Hoover!~Phantom@unaffiliated/phantom-hoover/x-3377486 QUIT :Ping timeout: 245 seconds < 1355667322 445031 :Jafet!~Jafet@unaffiliated/jafet PRIVMSG #esoteric :Ominously closer and closer to that dissertation < 1355667425 590978 :sebbu!~sebbu@unaffiliated/sebbu QUIT :Ping timeout: 276 seconds < 1355668258 319367 :copumpkin!~copumpkin@unaffiliated/copumpkin QUIT :Ping timeout: 245 seconds < 1355668291 598576 :copumpkin!~copumpkin@unaffiliated/copumpkin JOIN :#esoteric < 1355668551 151070 :david_werecat!~david_wer@24.212.152.46 JOIN :#esoteric < 1355669025 892553 :MDream!~fyrc@c-174-54-84-173.hsd1.pa.comcast.net NICK :MDude < 1355669804 401907 :nooga!~nooga@ip-46-250-173-30.ip.maverick.com.pl QUIT :Ping timeout: 255 seconds < 1355670223 627537 :nooga!~nooga@ip-46-250-173-30.ip.maverick.com.pl JOIN :#esoteric < 1355672231 4898 :TeruFSX!~TeruFSX@65-128-184-186.mpls.qwest.net JOIN :#esoteric < 1355674238 306100 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net JOIN :#esoteric < 1355674947 268948 :ogrom!~del@143.122.191.90.dyn.estpak.ee QUIT :Quit: Left < 1355675649 655429 :sebbu!~sebbu@ADijon-152-1-23-82.w83-194.abo.wanadoo.fr JOIN :#esoteric < 1355675649 767384 :sebbu!~sebbu@ADijon-152-1-23-82.w83-194.abo.wanadoo.fr QUIT :Changing host < 1355675649 767527 :sebbu!~sebbu@unaffiliated/sebbu JOIN :#esoteric < 1355675668 991913 :TeruFSX!~TeruFSX@65-128-184-186.mpls.qwest.net QUIT :Ping timeout: 248 seconds < 1355677192 114257 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :fizzie: oh yeah, my friend's thinkpad did the fan cycle thing < 1355677194 387739 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :then the fan died :( < 1355677225 206690 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :shachaf: what's the controversy < 1355677246 230981 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric : shachaf: and that's why you use classy-prelude and new hashable ← learning a lesson :( < 1355677335 141667 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :hagb4rd++ for william blake quote < 1355677991 7076 :TeruFSX!~TeruFSX@65-128-184-186.mpls.qwest.net JOIN :#esoteric < 1355678383 915326 :sebbu!~sebbu@unaffiliated/sebbu QUIT :Read error: Connection reset by peer < 1355678409 287618 :sebbu!~sebbu@unaffiliated/sebbu JOIN :#esoteric < 1355680511 966595 :ogrom!~del@gprs-inet-65-33.elisa.ee JOIN :#esoteric < 1355680528 599381 :ogrom!~del@gprs-inet-65-33.elisa.ee QUIT :Remote host closed the connection < 1355681190 862726 :ogrom!~del@gprs-inet-65-33.elisa.ee JOIN :#esoteric < 1355681482 315608 :sebbu2!~sebbu@ADijon-152-1-23-82.w83-194.abo.wanadoo.fr JOIN :#esoteric < 1355681482 387024 :sebbu2!~sebbu@ADijon-152-1-23-82.w83-194.abo.wanadoo.fr QUIT :Changing host < 1355681482 387164 :sebbu2!~sebbu@unaffiliated/sebbu JOIN :#esoteric < 1355681683 226801 :sebbu!~sebbu@unaffiliated/sebbu QUIT :Ping timeout: 245 seconds < 1355682090 16271 :Bike!~Glossina@207-224-23-226.ptld.qwest.net JOIN :#esoteric < 1355682205 849795 :ais521!~tim@94-224-28-191.access.telenet.be JOIN :#esoteric < 1355682209 151799 :ais521!~tim@94-224-28-191.access.telenet.be PRIVMSG #esoteric :Hello < 1355682210 483142 :Phantom__Hoover!~Phantom@unaffiliated/phantom-hoover/x-3377486 QUIT :Ping timeout: 264 seconds < 1355682231 702920 :Taneb!~nathan@host-84-13-84-68.opaltelecom.net PRIVMSG #esoteric :ais521, you're looking somewhat decremented < 1355682233 863414 :Taneb!~nathan@host-84-13-84-68.opaltelecom.net PRIVMSG #esoteric :Twice over < 1355682299 484506 :ais521!~tim@94-224-28-191.access.telenet.be PRIVMSG #esoteric :Well, since ais523 asked me (AnotherTest) to stop my testing period, this is my new pseudonym < 1355682366 994842 :ais521!~tim@94-224-28-191.access.telenet.be PRIVMSG #esoteric :Interesting to note: 521 and 523 form a prime twin < 1355682501 999969 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net QUIT :Quit: hello < 1355682516 910047 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric ::/ < 1355682734 772637 :Phantom__Hoover!~Phantom@unaffiliated/phantom-hoover/x-3377486 JOIN :#esoteric < 1355682932 381572 :Taneb!~nathan@host-84-13-84-68.opaltelecom.net PRIVMSG #esoteric :This is going to be confusing, I can tell < 1355682998 572764 :sebbu2!~sebbu@unaffiliated/sebbu QUIT :Read error: Connection reset by peer < 1355683021 303653 :sebbu!~sebbu@ADijon-152-1-23-82.w83-194.abo.wanadoo.fr JOIN :#esoteric < 1355683021 375254 :sebbu!~sebbu@ADijon-152-1-23-82.w83-194.abo.wanadoo.fr QUIT :Changing host < 1355683021 375382 :sebbu!~sebbu@unaffiliated/sebbu JOIN :#esoteric < 1355683132 280744 :ais521!~tim@94-224-28-191.access.telenet.be PRIVMSG #esoteric :My vimrc file disappeared? :( < 1355683154 527476 :ais521!~tim@94-224-28-191.access.telenet.be PRIVMSG #esoteric :I can't exactly recall deliberately removing it < 1355683173 22717 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :You know, ghci is actually pretty neat for programming with SDL < 1355683186 893300 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :Because you can enter SDL commands and see what happens without having to recompile every time < 1355684194 231667 :Nisstyre!~yours@oftn/member/Nisstyre JOIN :#esoteric < 1355684706 265237 :sebbu2!~sebbu@unaffiliated/sebbu JOIN :#esoteric < 1355684897 410037 :davidwerecat!~david_wer@24.212.152.46 JOIN :#esoteric < 1355684897 522053 :david_werecat!~david_wer@24.212.152.46 QUIT :Read error: Connection reset by peer < 1355684908 279201 :sebbu!~sebbu@unaffiliated/sebbu QUIT :Ping timeout: 245 seconds < 1355686712 406812 :oerjan!oerjan@sprocket.nvg.ntnu.no JOIN :#esoteric < 1355686814 838274 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric : This is going to be confusing, I can tell <-- YOU DON'T SAY < 1355686818 363374 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :--> < 1355686829 441251 :ais521!~tim@94-224-28-191.access.telenet.be PRIVMSG #esoteric :let's hope not < 1355687509 296700 :sebbu!~sebbu@ADijon-152-1-23-82.w83-194.abo.wanadoo.fr JOIN :#esoteric < 1355687529 819659 :sebbu!~sebbu@ADijon-152-1-23-82.w83-194.abo.wanadoo.fr QUIT :Changing host < 1355687529 892519 :sebbu!~sebbu@unaffiliated/sebbu JOIN :#esoteric < 1355687733 102758 :zzo38!~zzo38@24-207-49-17.eastlink.ca JOIN :#esoteric < 1355687733 260255 :sebbu2!~sebbu@unaffiliated/sebbu QUIT :Ping timeout: 245 seconds < 1355688468 663961 :ais523!~ais523@unaffiliated/ais523 JOIN :#esoteric < 1355688638 833836 :ais521!~tim@94-224-28-191.access.telenet.be QUIT :Quit: Leaving. < 1355689127 92469 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :kmc: http://www.reddit.com/r/haskell/comments/14tdab/a_major_new_release_of_the_hashable_library/ < 1355689199 939721 :dekas!5944e04a@gateway/web/freenode/ip.89.68.224.74 JOIN :#esoteric < 1355689219 865285 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :ok < 1355689485 553335 :ogrom!~del@gprs-inet-65-33.elisa.ee QUIT :Read error: Connection reset by peer < 1355689807 168906 :augur!~augur@208.58.5.87 JOIN :#esoteric < 1355689987 218141 :dekas!5944e04a@gateway/web/freenode/ip.89.68.224.74 PRIVMSG #esoteric :What is love? < 1355690037 169791 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :happiness < 1355690128 755129 :ion!ion@heh.fi PRIVMSG #esoteric :Baby don’t hurt me < 1355690276 908678 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :No more. < 1355690387 121711 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :`quote < 1355690390 795803 :HackEgo!codu@codu.org PRIVMSG #esoteric :361) I'm not even going to try and understand what you're proposing. i understand it perfectly. it's completely nuts. < 1355690453 434503 :augur!~augur@208.58.5.87 QUIT :Remote host closed the connection < 1355690560 925805 :augur!~augur@208.58.5.87 JOIN :#esoteric < 1355690581 963120 :epicmonkey!~epicmonke@188.134.41.172 QUIT :Ping timeout: 244 seconds < 1355690623 246807 :sgeo_!~sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :If a Brainfuck interpreter throws an error when it receives a comment, is it still considered a Brainfuck interpreter < 1355690633 108620 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :no < 1355690679 411224 :sgeo_!~sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :Guess what the Brainfuck implementation that comes with Factor does? < 1355690684 627658 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :no, it's an interpreter for a similar-to-BF language < 1355690697 712462 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :what if it terminates upon reading a NUL character? < 1355690721 895373 :sgeo_!~sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :It would be a quick change to fix it though < 1355690779 613056 :sgeo_!~sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :https://github.com/slavapestov/factor/blob/master/extra/brainfuck/brainfuck.factor < 1355690894 465133 :dekas!5944e04a@gateway/web/freenode/ip.89.68.224.74 QUIT :Quit: Page closed < 1355691547 572736 :asiekierka!~asiekierk@fluttershy.pl QUIT :Excess Flood < 1355691714 330651 :asiekierka!~asiekierk@fluttershy.pl JOIN :#esoteric < 1355691900 334023 :pikhq!~pikhq@174-24-20-28.clsp.qwest.net JOIN :#esoteric < 1355691904 710362 :pikhq_!~pikhq@71-219-218-219.clsp.qwest.net QUIT :Ping timeout: 252 seconds < 1355692103 408035 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :you didn't even give dekas a `welcome, how will he now know where to go for esoteric love < 1355692120 904454 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`hi oerjan < 1355692122 327535 :HackEgo!codu@codu.org PRIVMSG #esoteric :hi < 1355692128 22134 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`hi shachaf < 1355692129 472789 :HackEgo!codu@codu.org PRIVMSG #esoteric :hi < 1355692140 120254 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :@hi lambdabot < 1355692141 18837 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :No match for "lambdabot". < 1355692145 142853 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oh no < 1355692181 185335 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :@hi there < 1355692181 517725 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :No match for "there". < 1355692191 715746 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :lambdabot: ? < 1355692192 302670 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :Maybe you meant: . ? @ activity activity-full admin all-dicts arr ask b52s babel bf bid botsnack brain bug check choice-add choose clear-messages compose devils dice dict dict-help djinn djinn-add < 1355692192 494114 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :djinn-clr djinn-del djinn-env djinn-names djinn-ver do docs dummy easton echo elements elite eval fact fact-cons fact-delete fact-set fact-snoc fact-update faq farber flush foldoc forget fortune < 1355692192 565066 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :fptools free freshname ft gazetteer get-shapr ghc girl19 google googleit gsite gwiki hackage help hitchcock hoogle hoogle+ id ignore index instances instances-importing irc-connect jargon join karma < 1355692192 565151 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :karma+ karma- karma-all keal kind learn leave let list listall listchans listmodules listservers localtime localtime-reply lojban map messages messages? more msg nazi-off nazi-on nixon oeis offline < 1355692192 565198 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :oldwiki palomer part paste ping pl pl-resume pointful pointless pointy poll-add poll-close poll-list poll-remove poll-result poll-show pretty print-notices protontorpedo purge-notices quit quote rc < 1355692194 323932 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :read reconnect remember repoint run shootout show slap smack source spell spell-all src tell thank you thanks thx ticker time todo todo-add todo-delete topic-cons topic-init topic-null topic-snoc < 1355692195 137194 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :@hip shachaf < 1355692196 416732 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :topic-tail topic-tell type undefine undo unlambda unmtl unpf unpl unpointless uptime url v vera version vote web1913 what where where+ wiki wn world02 yarr yhjulwwiefzojcbxybbruweejw yow < 1355692198 362094 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :Maybe you meant: bid help id map < 1355692205 692094 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :@bid there < 1355692206 475725 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :Can't find 'there' < 1355692211 76006 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Hm. < 1355692212 291783 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :@id there < 1355692212 942209 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : there < 1355692221 294137 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :@help shachaf < 1355692221 626433 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :help . Ask for help for . Try 'list' for all commands < 1355692228 745773 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :@help there < 1355692229 292053 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :help . Ask for help for . Try 'list' for all commands < 1355692232 905260 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Hm. < 1355692234 259212 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :@map there < 1355692234 815031 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :http://www.haskell.org/hawiki/HaskellUserLocations < 1355692239 220309 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :@id shachaf < 1355692239 552334 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : shachaf < 1355692241 373077 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :@hit there < 1355692242 134564 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :No match for "there". < 1355692248 286333 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :@hiss there < 1355692248 851113 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :No module "there" loaded < 1355692257 760973 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :@hits there < 1355692258 84001 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :Unknown command, try @list < 1355692262 175868 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :@bit there < 1355692262 699878 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :Can't find 'there' < 1355692277 32655 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :@hot there < 1355692277 412603 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :Maybe you meant: do ft let show vote what yow < 1355692296 488630 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :@ft shachaf < 1355692297 817937 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :Done. < 1355692300 794595 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :yay < 1355692308 761555 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :what did that do < 1355692311 992606 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :@help ft < 1355692312 354611 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :ft . Generate theorems for free < 1355692321 626264 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :i have no idea what just happened!!! < 1355692326 404252 :Bike!~Glossina@207-224-23-226.ptld.qwest.net PRIVMSG #esoteric :@ft 2+2 = 4 < 1355692327 58711 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :oh dear it generated shachaf. for free no less! < 1355692327 557786 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :Done. < 1355692337 710490 :Bike!~Glossina@207-224-23-226.ptld.qwest.net PRIVMSG #esoteric :Wow! < 1355692358 111824 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :@ft bike :: oerjan -> Bike oerjan < 1355692359 764082 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :Done. < 1355692369 946884 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :@free bike :: oerjan -> Bike oerjan < 1355692370 393316 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :$map_Bike f . bike = bike . f < 1355692380 113451 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :@help ft < 1355692380 597443 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :ft . Generate theorems for free < 1355692381 730111 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :@help free < 1355692382 259165 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :free . Generate theorems for free < 1355692385 563773 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :@ft id < 1355692387 192652 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :Done. < 1355692393 531285 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :oh hm < 1355692399 156644 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :@hitchcock shachaf < 1355692399 476941 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :No match for "shachaf". < 1355692408 116144 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oerjan++ < 1355692417 673288 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :@help hitchcock < 1355692418 311782 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :I perform dictionary lookups via the following 13 commands: < 1355692418 468159 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :all-dicts ... Query all databases on dict.org < 1355692418 539620 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :devils ...... The Devil's Dictionary < 1355692418 539785 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :easton ...... Easton's 1897 Bible Dictionary < 1355692418 539906 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :elements .... Elements database < 1355692420 257414 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :[9 @more lines] < 1355692422 414251 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :@more < 1355692422 929174 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :foldoc ...... The Free On-line Dictionary of Computing < 1355692424 315316 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :gazetteer ... U.S. Gazetteer (1990) < 1355692426 240736 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :hitchcock ... Hitchcock's Bible Names Dictionary (late 1800's) < 1355692428 200249 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :jargon ...... Jargon File < 1355692430 189315 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :lojban ...... Search lojban.org < 1355692432 212797 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :[4 @more lines] < 1355692441 568720 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :My name totally appears in the bible! < 1355692441 851482 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :shachaf isn't a biblical name? shocking < 1355692452 403339 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Admittedly it's mostly listed as a bird you can't eat. < 1355692469 405110 :Taneb!~nathan@host-84-13-84-68.opaltelecom.net PRIVMSG #esoteric :@hitchcock nathan < 1355692470 630985 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :*** "Nathan" hitchcock "Hitchcock's Bible Names Dictionary (late 1800's)" < 1355692470 708953 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :Nathan, given; giving; rewarded < 1355692470 780438 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : < 1355692493 157186 :Bike!~Glossina@207-224-23-226.ptld.qwest.net PRIVMSG #esoteric :is that like the thing where locusts may or may not be kosher, or whatever < 1355692493 324497 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :@hitchcock Taneb < 1355692494 218492 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :No match for "Taneb". < 1355692521 85800 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :@hitchcock аdam < 1355692521 677600 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :No match for "аdam". < 1355692525 798164 :Taneb!~nathan@host-84-13-84-68.opaltelecom.net PRIVMSG #esoteric :... < 1355692527 63534 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I guess that's not biblical either. < 1355692531 163672 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :with the command name, i would rather have imagined an index of horror films < 1355692545 722492 :Taneb!~nathan@host-84-13-84-68.opaltelecom.net PRIVMSG #esoteric :@hitchcock psycho < 1355692546 414015 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :No match for "psycho". < 1355692550 323627 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :@hitchcock jehosaphat < 1355692550 615516 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :No match for "jehosaphat". < 1355692561 502106 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :@hitchcock jesus < 1355692562 60927 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :*** "Jesus" hitchcock "Hitchcock's Bible Names Dictionary (late 1800's)" < 1355692562 217360 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :Jesus, savior; deliverer < 1355692562 288380 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : < 1355692576 215254 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :@hitchcock hitchcock < 1355692576 963158 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :No match for "hitchcock". < 1355692582 94451 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :coïncidence? < 1355692584 188217 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :would have been embarassing to leave that out < 1355692589 376949 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :@hitchcock adam < 1355692590 89331 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :*** "Adam" hitchcock "Hitchcock's Bible Names Dictionary (late 1800's)" < 1355692590 573384 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :Adam, earthy; red < 1355692590 644827 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : < 1355692603 503962 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :wat < 1355692610 655244 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :> "аdam" < 1355692611 39340 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : mueval: recoverEncode: invalid argument (invalid character) < 1355692618 727349 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :ACTION swats shachaf -----### < 1355692647 998018 :Bike!~Glossina@207-224-23-226.ptld.qwest.net PRIVMSG #esoteric :hitchcock didn't cover cyrillic? terrible < 1355692669 530847 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :@hitchcock Адам < 1355692670 140754 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :No match for "Адам". < 1355692753 467168 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :@show Адам < 1355692753 622059 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :"\208\144\208\180\208\176\208\188" < 1355692814 241049 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :@echo Адам < 1355692814 784729 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :echo; msg:IrcMessage {msgServer = "freenode", msgLBName = "lambdabot", msgPrefix = "shachaf!~shachaf@unaffiliated/shachaf", msgCommand = "PRIVMSG", msgParams = ["#esoteric",":@echo \208\144\208\180\ < 1355692814 933450 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :208\176\208\188"]} rest:"\208\144\208\180\208\176\208\188" < 1355692954 327346 :asiekierka!~asiekierk@fluttershy.pl QUIT :Excess Flood < 1355692974 539718 :asiekierka!~asiekierk@fluttershy.pl JOIN :#esoteric < 1355693211 266716 :Nisstyre!~yours@oftn/member/Nisstyre QUIT :Quit: Leaving < 1355693744 109545 :TeruFSX!~TeruFSX@65-128-184-186.mpls.qwest.net QUIT :Ping timeout: 244 seconds < 1355694205 57556 :Gregor-3DS!62cfcc7e@gateway/web/freenode/ip.98.207.204.126 JOIN :#esoteric < 1355694250 663685 :Gregor-3DS!62cfcc7e@gateway/web/freenode/ip.98.207.204.126 PRIVMSG #esoteric :3DS = worst IRC client < 1355694291 547489 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :I've used that one thing in it. < 1355694315 540532 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Well, not in the 3DS, just on the DS. < 1355694335 843929 :Taneb!~nathan@host-84-13-84-68.opaltelecom.net PRIVMSG #esoteric :Gregor-3DS, better or worse than Webchat on a Kindle? < 1355694349 205817 :Gregor-3DS!62cfcc7e@gateway/web/freenode/ip.98.207.204.126 PRIVMSG #esoteric :Ah yes, that one thing. < 1355694359 568581 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :DSOrganize! That thing. < 1355694366 413039 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :It had a built-in IRC client, I think. < 1355694371 298085 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :It was also the worst. < 1355694372 269970 :Gregor-3DS!62cfcc7e@gateway/web/freenode/ip.98.207.204.126 PRIVMSG #esoteric :Taneb: Probably better. < 1355694374 712111 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :(There are many worst.) < 1355694398 214233 :Gregor!codu@codu.org PRIVMSG #esoteric :That was, in fact, web chat on 3DS. < 1355694436 91869 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :I can't find a sensible screenshot of the DSOrganize IRC. But it was worst. < 1355694470 946885 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :worse than mirc? < 1355694480 785251 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Oh, there's a set of screenshots, but they're just about how to use DSOrganize IRC + bitlbee in order to MSN from the DS. < 1355694546 224781 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :It also has the worst web browser. < 1355694556 372029 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Maybe webchat on it would be doubleworst. < 1355694628 2928 :Gregor-3DS!62cfcc7e@gateway/web/freenode/ip.98.207.204.126 QUIT :Ping timeout: 245 seconds < 1355694783 133019 :Gregor!codu@codu.org PRIVMSG #esoteric :The browser on 3DS (built in, not a hack) isn't TERRIBLE, but I wouldn't want to use it too much. < 1355694833 714051 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :doubleplusungood < 1355695170 751677 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :The DSOrganize one is terrible. < 1355695204 49011 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :http://nds.scenebeta.com/biblioarchivosdrupal/nds_pub/active/0/dso1.png that's it browsing bash.org. < 1355696169 375898 :ais523!~ais523@unaffiliated/ais523 QUIT : < 1355696713 622503 :Gregor!codu@codu.org PRIVMSG #esoteric :I'm considering buying a DS homebrew cart for my 3DS. < 1355696718 796445 :Gregor!codu@codu.org PRIVMSG #esoteric :Is there any vaguely-worthwhile homebrew? < 1355696873 156945 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :There might be some. There might also be some homebrew for other systems which can be emulated on DS < 1355696984 117677 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :last I heard flash karts still don't work on the DSi or 3DS... < 1355697032 811752 :Gregor!codu@codu.org PRIVMSG #esoteric :Fiora: The right ones do, the wrong ones never will. < 1355697048 961708 :Gregor!codu@codu.org PRIVMSG #esoteric :Fiora: The ones for 3DS are just DS-mode though, there's no true 3DS homebrew yet. < 1355697666 901485 :Taneb!~nathan@host-84-13-84-68.opaltelecom.net QUIT :Quit: Leaving < 1355697909 236447 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :Nintendo doesn't like homebrew much < 1355698249 304817 :TeruFSX!~TeruFSX@65-128-184-186.mpls.qwest.net JOIN :#esoteric < 1355698313 114829 :Gregor!codu@codu.org PRIVMSG #esoteric :FreeFull: Indeed. < 1355699040 429935 :oerjan!oerjan@sprocket.nvg.ntnu.no QUIT :Quit: leaving < 1355699153 87626 :sgeo_!~sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :!!!!!!!!!!!!!!!!!!!!! < 1355699155 357469 :sgeo_!~sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :http://scpclassic.wikidot.com/scp-031 < 1355699162 940835 :sgeo_!~sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :Thank you, scpclassic person < 1355699619 323471 :keb!~keb@184-76-50-238.war.clearwire-wmx.net JOIN :#esoteric < 1355701969 853337 :zzo38!~zzo38@24-207-49-17.eastlink.ca QUIT :Remote host closed the connection < 1355702303 140201 :TeruFSX!~TeruFSX@65-128-184-186.mpls.qwest.net QUIT :Read error: Connection reset by peer < 1355702320 695431 :TeruFSX!~TeruFSX@65-128-184-186.mpls.qwest.net JOIN :#esoteric