< 1334534470 47809 :itidus21!~itidus21@120.148.51.163 PRIVMSG #esoteric :!bfjoust hudhewui [-][+][-+>[<+>]<] < 1334534473 778517 :EgoBot!codu@codu.org PRIVMSG #esoteric :​Score for itidus21_hudhewui: 17.8 < 1334534495 256310 :itidus21!~itidus21@120.148.51.163 PRIVMSG #esoteric :!bfjoust hudhewui [[-][+][-+>[<+>]<]] < 1334534499 9849 :EgoBot!codu@codu.org PRIVMSG #esoteric :​Score for itidus21_hudhewui: 17.1 < 1334534561 3783 :nortti!~androirc@a88-113-14-106.elisa-laajakaista.fi PRIVMSG #esoteric :!bfjoust perkele (>++++++++<[+++])*32[+++++>+++++<] < 1334534563 761553 :EgoBot!codu@codu.org PRIVMSG #esoteric :​Score for nortti_perkele: 11.1 < 1334534589 626912 :itidus21!~itidus21@120.148.51.163 PRIVMSG #esoteric :!bfjoust hudhewui [-][+][-+>[<+>]<][+] < 1334534593 382616 :EgoBot!codu@codu.org PRIVMSG #esoteric :​Score for itidus21_hudhewui: 17.8 < 1334534617 924994 :itidus21!~itidus21@120.148.51.163 PRIVMSG #esoteric :sorry < 1334534628 6435 :itidus21!~itidus21@120.148.51.163 PRIVMSG #esoteric :i rushed that one if you wanted to see breakdown < 1334534677 843613 :monqy!~swell@pool-71-102-226-192.snloca.dsl-w.verizon.net PRIVMSG #esoteric :what happens when itidus21 devises his very own theory of bfjoust and overtakes slowpoke < 1334534680 401080 :nortti!~androirc@a88-113-14-106.elisa-laajakaista.fi PRIVMSG #esoteric :(nortti) !bfjoust perkele (>++++++++<[+++])*16[+++++>+++++<] < 1334534680 844814 :monqy!~swell@pool-71-102-226-192.snloca.dsl-w.verizon.net PRIVMSG #esoteric :what then < 1334534695 123081 :nortti!~androirc@a88-113-14-106.elisa-laajakaista.fi PRIVMSG #esoteric :(nortti) !bfjoust perkele (>++++++++<[+++])*16[+++++>+++++<] < 1334534699 154307 :itidus21!~itidus21@120.148.51.163 PRIVMSG #esoteric :i stumbled on this at random really < 1334534716 559761 :nortti!~androirc@a88-113-14-106.elisa-laajakaista.fi PRIVMSG #esoteric :!bfjoust perkele (>++++++++<[+++])*16[+++++>+++++<] < 1334534719 327625 :EgoBot!codu@codu.org PRIVMSG #esoteric :​Score for nortti_perkele: 11.1 < 1334534829 586734 :nortti!~androirc@a88-113-14-106.elisa-laajakaista.fi PRIVMSG #esoteric :!bfjoust (>)*9+[-[-.]>+]- < 1334534829 861462 :EgoBot!codu@codu.org PRIVMSG #esoteric :​Use: !bfjoust . Scoreboard, programs, and a description of score calculation are at http://codu.org/eso/bfjoust/ < 1334534842 998095 :nortti!~androirc@a88-113-14-106.elisa-laajakaista.fi PRIVMSG #esoteric :!bfjoust perkele (>)*9+[-[-.]>+]- < 1334534845 690406 :EgoBot!codu@codu.org PRIVMSG #esoteric :​Score for nortti_perkele: 14.2 < 1334534908 226663 :nortti!~androirc@a88-113-14-106.elisa-laajakaista.fi PRIVMSG #esoteric :!bfjoust suicide [-] < 1334534911 968772 :EgoBot!codu@codu.org PRIVMSG #esoteric :​Score for nortti_suicide: 16.9 < 1334534934 871307 :nortti!~androirc@a88-113-14-106.elisa-laajakaista.fi PRIVMSG #esoteric :for the love of the fucking $DEITY < 1334534951 653063 :itidus21!~itidus21@120.148.51.163 PRIVMSG #esoteric :!bfjoust hudhewui [-][+][-+>[<+>]<][-] < 1334534955 340705 :EgoBot!codu@codu.org PRIVMSG #esoteric :​Score for itidus21_hudhewui: 17.8 < 1334535009 57401 :nortti!~androirc@a88-113-14-106.elisa-laajakaista.fi PRIVMSG #esoteric :!bfjoust suicide [->+<] < 1334535011 766044 :EgoBot!codu@codu.org PRIVMSG #esoteric :​Score for nortti_suicide: 13.9 < 1334535017 408998 :nortti!~androirc@a88-113-14-106.elisa-laajakaista.fi PRIVMSG #esoteric :oh < 1334535028 809094 :nortti!~androirc@a88-113-14-106.elisa-laajakaista.fi PRIVMSG #esoteric :!bfjoust suicide [->++<+] < 1334535033 665803 :EgoBot!codu@codu.org PRIVMSG #esoteric :​Score for nortti_suicide: 7.2 < 1334535039 451317 :nortti!~androirc@a88-113-14-106.elisa-laajakaista.fi PRIVMSG #esoteric :!bfjoust suicide [->++<+-] < 1334535042 318949 :EgoBot!codu@codu.org PRIVMSG #esoteric :​Score for nortti_suicide: 13.4 < 1334535058 484607 :nortti!~androirc@a88-113-14-106.elisa-laajakaista.fi PRIVMSG #esoteric :!bfjoust suicide [-.] < 1334535062 165477 :EgoBot!codu@codu.org PRIVMSG #esoteric :​Score for nortti_suicide: 17.4 < 1334535079 153225 :nortti!~androirc@a88-113-14-106.elisa-laajakaista.fi PRIVMSG #esoteric :what the fuck!? < 1334535085 198162 :itidus21!~itidus21@120.148.51.163 PRIVMSG #esoteric :lol < 1334535123 435771 :nortti!~androirc@a88-113-14-106.elisa-laajakaista.fi PRIVMSG #esoteric :my best result is from program actively trying to destroy itself < 1334535137 232106 :itidus21!~itidus21@120.148.51.163 PRIVMSG #esoteric :!bfjoust hudhewui [-][+][-+>[<+>]<][.] < 1334535140 923926 :EgoBot!codu@codu.org PRIVMSG #esoteric :​Score for itidus21_hudhewui: 17.8 < 1334535146 539871 :itidus21!~itidus21@120.148.51.163 PRIVMSG #esoteric :snap < 1334535161 484908 :itidus21!~itidus21@120.148.51.163 PRIVMSG #esoteric :!bfjoust hudhewui [-][+][-][-+>[<+>]<] < 1334535165 68761 :EgoBot!codu@codu.org PRIVMSG #esoteric :​Score for itidus21_hudhewui: 17.8 < 1334535172 521213 :nortti!~androirc@a88-113-14-106.elisa-laajakaista.fi PRIVMSG #esoteric :!bfjoust suicide [-.] < 1334535176 229541 :EgoBot!codu@codu.org PRIVMSG #esoteric :​Score for nortti_suicide: 17.4 < 1334535198 290098 :nortti!~androirc@a88-113-14-106.elisa-laajakaista.fi PRIVMSG #esoteric :!bfjoust suicide [-.>+<] < 1334535201 82389 :EgoBot!codu@codu.org PRIVMSG #esoteric :​Score for nortti_suicide: 13.5 < 1334535232 291918 :nortti!~androirc@a88-113-14-106.elisa-laajakaista.fi PRIVMSG #esoteric :!bfjoust suicide [-.>>>++<<<]] < 1334535235 119697 :EgoBot!codu@codu.org PRIVMSG #esoteric :​Score for nortti_suicide: 0.0 < 1334535261 695044 :nortti!~androirc@a88-113-14-106.elisa-laajakaista.fi PRIVMSG #esoteric :!bfjoust suicide [-.>>>++<<<] < 1334535264 428759 :EgoBot!codu@codu.org PRIVMSG #esoteric :​Score for nortti_suicide: 10.5 < 1334535320 467138 :itidus21!~itidus21@120.148.51.163 PRIVMSG #esoteric :!bfjoust hudhewui [-][+][-+>[<-->]<] < 1334535324 302781 :EgoBot!codu@codu.org PRIVMSG #esoteric :​Score for itidus21_hudhewui: 17.8 < 1334535341 222851 :itidus21!~itidus21@120.148.51.163 PRIVMSG #esoteric :!bfjoust hudhewui [-][+] < 1334535345 36805 :EgoBot!codu@codu.org PRIVMSG #esoteric :​Score for itidus21_hudhewui: 17.8 < 1334535349 384780 :itidus21!~itidus21@120.148.51.163 PRIVMSG #esoteric :ya.. < 1334535368 26058 :itidus21!~itidus21@120.148.51.163 PRIVMSG #esoteric :!bfjoust hudhewui [-][-] < 1334535371 585303 :EgoBot!codu@codu.org PRIVMSG #esoteric :​Score for itidus21_hudhewui: 17.8 < 1334535382 418904 :itidus21!~itidus21@120.148.51.163 PRIVMSG #esoteric :!bfjoust hudhewui [[-]] < 1334535386 203498 :EgoBot!codu@codu.org PRIVMSG #esoteric :​Score for itidus21_hudhewui: 17.1 < 1334535418 17358 :itidus21!~itidus21@120.148.51.163 PRIVMSG #esoteric :!bfjoust hudhewui [-]>++++++++++<[-] < 1334535421 831142 :EgoBot!codu@codu.org PRIVMSG #esoteric :​Score for itidus21_hudhewui: 17.8 < 1334535473 733154 :itidus21!~itidus21@120.148.51.163 PRIVMSG #esoteric :!bfjoust hudhewui [+][+] < 1334535477 574772 :EgoBot!codu@codu.org PRIVMSG #esoteric :​Score for itidus21_hudhewui: 17.8 < 1334535537 160610 :itidus21!~itidus21@120.148.51.163 PRIVMSG #esoteric :!bfjoust hudhewui [+][+.] < 1334535540 943939 :EgoBot!codu@codu.org PRIVMSG #esoteric :​Score for itidus21_hudhewui: 16.9 < 1334535638 627418 :itidus21!~itidus21@120.148.51.163 PRIVMSG #esoteric :!bfjoust hudhewui . < 1334535641 233853 :EgoBot!codu@codu.org PRIVMSG #esoteric :​Score for itidus21_hudhewui: 8.3 < 1334535844 888967 :itidus21!~itidus21@120.148.51.163 PRIVMSG #esoteric :!bfjoust hudhewui (+)*130[.][+] < 1334535847 566512 :EgoBot!codu@codu.org PRIVMSG #esoteric :​Score for itidus21_hudhewui: 15.0 < 1334535876 812423 :itidus21!~itidus21@120.148.51.163 PRIVMSG #esoteric :!bfjoust hudhewui (+)*1000 < 1334535879 375586 :EgoBot!codu@codu.org PRIVMSG #esoteric :​Score for itidus21_hudhewui: 14.2 < 1334535910 527270 :nortti!~androirc@a88-113-14-106.elisa-laajakaista.fi PRIVMSG #esoteric :[-] < 1334535940 352841 :nortti!~androirc@a88-113-14-106.elisa-laajakaista.fi PRIVMSG #esoteric :!bfjoust perkele [-] < 1334535943 957220 :EgoBot!codu@codu.org PRIVMSG #esoteric :​Score for nortti_perkele: 16.9 < 1334535955 520601 :nortti!~androirc@a88-113-14-106.elisa-laajakaista.fi PRIVMSG #esoteric :!bfjoust perkele [+] < 1334535959 218085 :EgoBot!codu@codu.org PRIVMSG #esoteric :​Score for nortti_perkele: 16.9 < 1334536225 637288 :itidus21!~itidus21@120.148.51.163 PRIVMSG #esoteric :!bfjoust hudhewui +[-+>[<>>]<] < 1334536228 291495 :EgoBot!codu@codu.org PRIVMSG #esoteric :​Score for itidus21_hudhewui: 8.5 < 1334536290 776138 :itidus21!~itidus21@120.148.51.163 PRIVMSG #esoteric :!bfjoust hudhewui +[+[>+]] < 1334536293 481218 :EgoBot!codu@codu.org PRIVMSG #esoteric :​Score for itidus21_hudhewui: 0.8 < 1334536340 927533 :ais523!~ais523@unaffiliated/ais523 QUIT :Read error: Connection reset by peer < 1334536420 224669 :itidus21!~itidus21@120.148.51.163 PRIVMSG #esoteric :!bfjoust hudhewui +[+[>+]<] < 1334536423 58712 :EgoBot!codu@codu.org PRIVMSG #esoteric :​Score for itidus21_hudhewui: 0.0 < 1334536634 472626 :itidus21!~itidus21@120.148.51.163 PRIVMSG #esoteric :!bfjoust hudhewui >>>+++>>>>+++<<<<<<<[+][+] < 1334536638 264094 :EgoBot!codu@codu.org PRIVMSG #esoteric :​Score for itidus21_hudhewui: 2.7 < 1334536694 285190 :itidus21!~itidus21@120.148.51.163 PRIVMSG #esoteric :!bfjoust hudhewui +>>>+++>>>>+++<<<<<<<[+][+] < 1334536697 945996 :EgoBot!codu@codu.org PRIVMSG #esoteric :​Score for itidus21_hudhewui: 2.7 < 1334536764 735291 :itidus21!~itidus21@120.148.51.163 PRIVMSG #esoteric :!bfjoust hudhewui >>>+++<<<[+][+] < 1334536768 473530 :EgoBot!codu@codu.org PRIVMSG #esoteric :​Score for itidus21_hudhewui: 8.5 < 1334536851 668372 :itidus21!~itidus21@120.148.51.163 PRIVMSG #esoteric :!bfjoust hudhewui >+>++>+++<<<[+][+] < 1334536855 341103 :EgoBot!codu@codu.org PRIVMSG #esoteric :​Score for itidus21_hudhewui: 3.9 < 1334536966 354627 :itidus21!~itidus21@120.148.51.163 PRIVMSG #esoteric :!bfjoust hudhewui ++++[>-][<----][+][+] < 1334536969 83218 :EgoBot!codu@codu.org PRIVMSG #esoteric :​Score for itidus21_hudhewui: 1.0 < 1334537061 217908 :itidus21!~itidus21@120.148.51.163 PRIVMSG #esoteric :sorry++[>-][<----][+][+] < 1334537065 280125 :itidus21!~itidus21@120.148.51.163 PRIVMSG #esoteric :^sorry < 1334537337 134019 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :!bfjoust hm < < 1334537339 821805 :EgoBot!codu@codu.org PRIVMSG #esoteric :​Score for oerjan_hm: 0.0 < 1334537384 542613 :itidus21!~itidus21@120.148.51.163 PRIVMSG #esoteric :!bfjoust hudhewui (+)*10>[.]<[+][+] < 1334537388 271974 :EgoBot!codu@codu.org PRIVMSG #esoteric :​Score for itidus21_hudhewui: 17.2 < 1334537433 576170 :itidus21!~itidus21@120.148.51.163 PRIVMSG #esoteric :!bfjoust hudhewui (+)*30>[.]<[+][+] < 1334537437 237211 :EgoBot!codu@codu.org PRIVMSG #esoteric :​Score for itidus21_hudhewui: 17.1 < 1334537446 989067 :itidus21!~itidus21@120.148.51.163 PRIVMSG #esoteric :so addictive even though im clueless < 1334537556 540068 :itidus21!~itidus21@120.148.51.163 PRIVMSG #esoteric :hmm.. maybe i have been making many false assumptions < 1334537578 239509 :Patashu!~Patashu@c122-106-155-219.carlnfd1.nsw.optusnet.com.au PRIVMSG #esoteric :can you do it in PMs? < 1334537580 549018 :Patashu!~Patashu@c122-106-155-219.carlnfd1.nsw.optusnet.com.au PRIVMSG #esoteric :if you're going to send a -lot- < 1334537589 389518 :Patashu!~Patashu@c122-106-155-219.carlnfd1.nsw.optusnet.com.au PRIVMSG #esoteric :and maybe repost the ones that do particularly well in here < 1334537605 986649 :itidus21!~itidus21@120.148.51.163 PRIVMSG #esoteric :thats why i said sorry.. i didnt really plan this.. < 1334537621 222421 :itidus21!~itidus21@120.148.51.163 PRIVMSG #esoteric :i'll let it be < 1334537623 482107 :Patashu!~Patashu@c122-106-155-219.carlnfd1.nsw.optusnet.com.au PRIVMSG #esoteric :np < 1334537860 930942 :shachaf!~shachaf@li227-219.members.linode.com PRIVMSG #esoteric :kmc: You know how you always say that e.g. instead of "data S = forall a. Show a => S a" and then [S], it's more sensible to just use [String]? < 1334537879 590646 :azaq23!~derivecto@unaffiliated/azaq23 QUIT :Quit: Leaving. < 1334538052 356696 :zzo38!~zzo38@24.207.49.17 PRIVMSG #esoteric :shachaf: I suppose in case you want to use showsPrec < 1334538177 677066 :shachaf!~shachaf@li227-219.members.linode.com PRIVMSG #esoteric :zzo38: Treating Show for the moment as just a type class that contains show :: a -> String < 1334538205 320377 :kmc!~keegan@c-65-96-1-204.hsd1.ma.comcast.net PRIVMSG #esoteric :shachaf: yeah? < 1334538207 461978 :zzo38!~zzo38@24.207.49.17 PRIVMSG #esoteric :shachaf: Also, I have used something like that in my dvi-processing program, where data Node where { Node :: forall x. NodeClass x => x -> Node; } deriving Typeable; where NodeClass has Typeable as a superclass. < 1334538237 803365 :shachaf!~shachaf@li227-219.members.linode.com PRIVMSG #esoteric :kmc: The question was what the equivalent would be for Read. < 1334538303 755562 :zzo38!~zzo38@24.207.49.17 PRIVMSG #esoteric :shachaf: If you replace Show in there with Read, I doubt it would do much < 1334538320 450573 :kmc!~keegan@c-65-96-1-204.hsd1.ma.comcast.net PRIVMSG #esoteric :shachaf: maybe there isn't one < 1334538442 823508 :shachaf!~shachaf@li227-219.members.linode.com PRIVMSG #esoteric :Hmm, the case I'm thinking of is actually a bit different. < 1334538471 72683 :shachaf!~shachaf@li227-219.members.linode.com PRIVMSG #esoteric :You can do something like data V where V :: (forall a. Read a => a) -> V < 1334538480 433483 :oerjan!oerjan@sprocket.nvg.ntnu.no QUIT :Quit: Lost terminal < 1334538506 153150 :shachaf!~shachaf@li227-219.members.linode.com PRIVMSG #esoteric :And then you have a value which you can "examine" in the context of any type which is in Read. < 1334538513 615862 :shachaf!~shachaf@li227-219.members.linode.com PRIVMSG #esoteric :I guess that's the opposite of an existential type, though. < 1334538561 800103 :shachaf!~shachaf@li227-219.members.linode.com PRIVMSG #esoteric :This V would be sort of satisfactory for the use case that someone mentioned to me, except they don't want the Read computation to be done more than once. < 1334538591 215750 :shachaf!~shachaf@li227-219.members.linode.com PRIVMSG #esoteric :Clearly you could do something like data V = V { asInt :: Int, asChar :: Char, ... }, which would work for a closed set of types, and only do the actual "reading" computation once. < 1334538620 793125 :shachaf!~shachaf@li227-219.members.linode.com PRIVMSG #esoteric :But that doesn't work in the type class case, I think. < 1334538645 463400 :augur!~augur@c-69-250-19-178.hsd1.md.comcast.net JOIN :#esoteric < 1334538709 754536 :nortti!~androirc@a88-113-14-106.elisa-laajakaista.fi QUIT :Quit: nortti < 1334539146 428368 :shachaf!~shachaf@li227-219.members.linode.com PRIVMSG #esoteric :Yes, so I guess this is universal rather than existential, so you don't need V at all, for one. < 1334539406 665559 :shachaf!~shachaf@li227-219.members.linode.com PRIVMSG #esoteric :So I guess the short answer would also be "instead of a value :: forall a. Read a => a, you can just have a String", because when the user of the value wants to use it, they already have their specific Read dictionary, because it's universal rather than existential. < 1334539448 249627 :shachaf!~shachaf@li227-219.members.linode.com PRIVMSG #esoteric :But then you don't get the "memoization" for different specific read calls. < 1334539471 493210 :shachaf!~shachaf@li227-219.members.linode.com PRIVMSG #esoteric :Maybe it's possible to do something along the lines of kmc's "generating random functions" thing? < 1334539480 362203 :shachaf!~shachaf@li227-219.members.linode.com PRIVMSG #esoteric :Except not really. < 1334540206 690889 :oerjan!oerjan@sprocket.nvg.ntnu.no JOIN :#esoteric < 1334540334 117786 :augur!~augur@c-69-250-19-178.hsd1.md.comcast.net QUIT :Remote host closed the connection < 1334541332 833685 :Tiktalik|Food!tikfreenod@unaffiliated/tiktalik NICK :Tiktalik < 1334541997 385810 :hagb4rd!~perdito@koln-5d81e52f.pool.mediaWays.net PRIVMSG #esoteric :listen to apparat! http://homepage.alice.de/hagbard/arcadia.php < 1334542579 481776 :cheater!~cheater@g230225011.adsl.alicedsl.de QUIT :Ping timeout: 276 seconds < 1334543373 405872 :calamari!~calamari@ip72-211-147-156.tc.ph.cox.net JOIN :#esoteric < 1334543703 147763 :zzo38!~zzo38@24.207.49.17 PRIVMSG #esoteric :For mathematical typesetting in dvi-processing, I am having the math lists consisting of "noads" which are similar but different than the "nodes" in non-math lists. It has a class, like this: class Typeable x => NoadClass x where { showNoad :: x -> String; translateNoad :: x -> MathParameters -> ([Node], MathParameters); ... }; I just want to know if you know what methods should be added on < 1334543882 190802 :kmc!~keegan@c-65-96-1-204.hsd1.ma.comcast.net PRIVMSG #esoteric :are they like burritos < 1334543925 698122 :zzo38!~zzo38@24.207.49.17 PRIVMSG #esoteric :kmc: I don't think so. But if you think it is, tell me how you think so or if you think it isn't, how it isn't so. < 1334543937 499921 :kmc!~keegan@c-65-96-1-204.hsd1.ma.comcast.net PRIVMSG #esoteric :a new taquería opened 4 blocks from my house < 1334543960 323431 :zzo38!~zzo38@24.207.49.17 PRIVMSG #esoteric :Also, do you mean, it is like burritos in what way? < 1334544248 11484 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :monad transformers are like taquerias < 1334544268 937135 :shachaf!~shachaf@li227-219.members.linode.com PRIVMSG #esoteric :kmc: Is it the same one? < 1334544305 217003 :shachaf!~shachaf@li227-219.members.linode.com PRIVMSG #esoteric :Hmm, maybe the other one was 11 block. < 1334544307 330035 :shachaf!~shachaf@li227-219.members.linode.com PRIVMSG #esoteric :s/1// < 1334544329 546264 :shachaf!~shachaf@li227-219.members.linode.com PRIVMSG #esoteric :
ACTION , kmchousetaqueríologist
< 1334544417 707120 :shachaf!~shachaf@li227-219.members.linode.com PRIVMSG #esoteric :I like how [ShowVal] ~= [String] and [ReadVal] *also* ~= [String]. < 1334544501 629780 :kmc!~keegan@c-65-96-1-204.hsd1.ma.comcast.net PRIVMSG #esoteric :which one shachaf? < 1334544504 441639 :zzo38!~zzo38@24.207.49.17 PRIVMSG #esoteric :oerjan: In what ways? < 1334544526 277436 :shachaf!~shachaf@li227-219.members.linode.com PRIVMSG #esoteric :kmc: Which taquería? < 1334544541 60695 :shachaf!~shachaf@li227-219.members.linode.com PRIVMSG #esoteric :Whichever one you were talking about last time you mentioned that one was opening near your house. < 1334544558 61306 :kmc!~keegan@c-65-96-1-204.hsd1.ma.comcast.net PRIVMSG #esoteric :if it was in the past 3 days then it's the same one < 1334544573 848334 :shachaf!~shachaf@li227-219.members.linode.com PRIVMSG #esoteric :I don't remember when it was. < 1334544583 188503 :shachaf!~shachaf@li227-219.members.linode.com PRIVMSG #esoteric :
ACTION is really bad at remembering "when" something happened.
< 1334544638 657563 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :zzo38: that's a pun on "monads are like burritos" < 1334544682 948844 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :or is pun the word there < 1334544696 181014 :shachaf!~shachaf@li227-219.members.linode.com PRIVMSG #esoteric :oerjan: I've never seen a taquería where you give them one burrito and they give you a transformed version of it. < 1334544743 363816 :MSleep!~fyrc@c-174-55-44-190.hsd1.pa.comcast.net JOIN :#esoteric < 1334544793 21463 :kmc!~keegan@c-65-96-1-204.hsd1.ma.comcast.net PRIVMSG #esoteric :byob < 1334544997 489824 :MDude!~fyrc@c-174-55-44-190.hsd1.pa.comcast.net QUIT :Ping timeout: 276 seconds < 1334548237 524032 :augur!~augur@c-69-250-19-178.hsd1.md.comcast.net JOIN :#esoteric < 1334548287 27502 :oerjan!oerjan@sprocket.nvg.ntnu.no QUIT :Quit: Good night < 1334548348 849495 :pikhq_!~pikhq@174-22-159-160.clsp.qwest.net JOIN :#esoteric < 1334548388 13038 :pikhq!~pikhq@71-219-234-16.clsp.qwest.net QUIT :Ping timeout: 272 seconds < 1334548822 700028 :augur!~augur@c-69-250-19-178.hsd1.md.comcast.net QUIT :Remote host closed the connection < 1334550335 89710 :zzo38!~zzo38@24.207.49.17 PRIVMSG #esoteric :I found an error in section 697 of TeX: The Program. There appears to be not enough space before the logical or sign on the line starting with "if (small_fam(left_delimiter(p)) <> 0)" < 1334550396 303784 :oklopol!~nnscript@dyn58-57.yok.fi PRIVMSG #esoteric :revolutionary < 1334550442 136310 :oklopol!~nnscript@dyn58-57.yok.fi PRIVMSG #esoteric :is this one of knuth's errorless books where you get thousands of millions for finding a typo < 1334550988 167702 :Tiktalik!tikfreenod@unaffiliated/tiktalik NICK :shooksoda < 1334550994 503019 :shooksoda!tikfreenod@unaffiliated/tiktalik NICK :Tiktalk < 1334550999 237309 :Tiktalk!tikfreenod@unaffiliated/tiktalik NICK :Tiktalik < 1334551766 443351 :zzo38!~zzo38@24.207.49.17 PRIVMSG #esoteric :oklopol: No, only $327.67. And this is for bugs in the program, not for typos. Although it is possible this is due to a bug in the program, but there can also be many other possibilities. < 1334551793 361248 :oklopol!~nnscript@dyn58-57.yok.fi PRIVMSG #esoteric :ok < 1334551803 428845 :kmc!~keegan@c-65-96-1-204.hsd1.ma.comcast.net PRIVMSG #esoteric :oklopol: do you use the long scale? < 1334551805 498329 :oklopol!~nnscript@dyn58-57.yok.fi PRIVMSG #esoteric :why 327.67? < 1334551816 882126 :oklopol!~nnscript@dyn58-57.yok.fi PRIVMSG #esoteric :what's the long scale? < 1334551846 924480 :oklopol!~nnscript@dyn58-57.yok.fi PRIVMSG #esoteric :well i have a good guess < 1334551851 175425 :zzo38!~zzo38@24.207.49.17 PRIVMSG #esoteric :Sorry I am wrong; it is $327.68 < 1334551885 61860 :kmc!~keegan@c-65-96-1-204.hsd1.ma.comcast.net PRIVMSG #esoteric :oklopol: in the long scale, "billion" = million million < 1334551889 859027 :kmc!~keegan@c-65-96-1-204.hsd1.ma.comcast.net PRIVMSG #esoteric :old british style < 1334551896 139124 :oklopol!~nnscript@dyn58-57.yok.fi PRIVMSG #esoteric :right < 1334551900 124115 :shachaf!~shachaf@li227-219.members.linode.com PRIVMSG #esoteric :milliard++ < 1334551903 355165 :oklopol!~nnscript@dyn58-57.yok.fi PRIVMSG #esoteric :yeah i use the long scale < 1334551929 596094 :oklopol!~nnscript@dyn58-57.yok.fi PRIVMSG #esoteric :obviously n-illion should mean 1000000^n and not 1000*1000^n < 1334551936 269273 :shachaf!~shachaf@li227-219.members.linode.com PRIVMSG #esoteric :
ACTION is about to post a needlessly long-winded question to StackOverflow!
< 1334551940 507075 :shachaf!~shachaf@li227-219.members.linode.com PRIVMSG #esoteric :If only elliott was here. < 1334551952 623269 :zzo38!~zzo38@24.207.49.17 PRIVMSG #esoteric :oklopol: Yes that is more logical. But it is not common. < 1334552025 23995 :oklopol!~nnscript@dyn58-57.yok.fi PRIVMSG #esoteric :well there was a time when the metric system was not common. and if someone had used it back then, people would have been like dude that's stupid. and really, it would have been stupid. wait, what's my point. < 1334552060 249052 :oklopol!~nnscript@dyn58-57.yok.fi PRIVMSG #esoteric :shachaf: so you could just get the answer from him? < 1334552067 405947 :oklopol!~nnscript@dyn58-57.yok.fi PRIVMSG #esoteric :because he knows everything < 1334552077 30434 :zzo38!~zzo38@24.207.49.17 PRIVMSG #esoteric :Myriad style (used in Japanese and Chinese) is the one I like best, though. < 1334552093 893704 :oklopol!~nnscript@dyn58-57.yok.fi PRIVMSG #esoteric :what's that? < 1334552096 911379 :zzo38!~zzo38@24.207.49.17 PRIVMSG #esoteric :But it is not common in English. < 1334552101 850919 :shachaf!~shachaf@li227-219.members.linode.com PRIVMSG #esoteric :Wait, elliott knows everything? < 1334552107 7897 :oklopol!~nnscript@dyn58-57.yok.fi PRIVMSG #esoteric :shachaf: yes. < 1334552111 15701 :shachaf!~shachaf@li227-219.members.linode.com PRIVMSG #esoteric :THEN HOW COME HE DIDN"T KNWO WHAT THE TYPE OF A CLOSURE IS???? < 1334552131 607167 :oklopol!~nnscript@dyn58-57.yok.fi PRIVMSG #esoteric :he didn't? < 1334552136 905446 :shachaf!~shachaf@li227-219.members.linode.com PRIVMSG #esoteric :Checkmate, omniscientists. < 1334552142 275225 :zzo38!~zzo38@24.207.49.17 PRIVMSG #esoteric :oklopol: Do you mean me? Myriad style is counting by ten thousands < 1334552148 893976 :oklopol!~nnscript@dyn58-57.yok.fi PRIVMSG #esoteric :oh < 1334552160 270205 :oklopol!~nnscript@dyn58-57.yok.fi PRIVMSG #esoteric :that sounds pretty irrelevant to me < 1334552183 662235 :shachaf!~shachaf@li227-219.members.linode.com PRIVMSG #esoteric :zzo38: Where in Canadia are you? < 1334552194 344214 :zzo38!~zzo38@24.207.49.17 PRIVMSG #esoteric :shachaf: British Columbia < 1334552200 163660 :shachaf!~shachaf@li227-219.members.linode.com PRIVMSG #esoteric :I've been there! < 1334552204 833467 :shachaf!~shachaf@li227-219.members.linode.com PRIVMSG #esoteric :Where in British Columbia? < 1334552223 185335 :oklopol!~nnscript@dyn58-57.yok.fi PRIVMSG #esoteric :i've been to british britain < 1334552233 551736 :zzo38!~zzo38@24.207.49.17 PRIVMSG #esoteric :If you want to know more precisely, you can try to see which areas the internet service provider that I use is serving in < 1334552243 255827 :shachaf!~shachaf@li227-219.members.linode.com PRIVMSG #esoteric :I'm just wondering vaguely. < 1334552259 145827 :shachaf!~shachaf@li227-219.members.linode.com PRIVMSG #esoteric :Is it Delta, BC? < 1334552318 401081 :zzo38!~zzo38@24.207.49.17 PRIVMSG #esoteric :Yes < 1334552337 711650 :shachaf!~shachaf@li227-219.members.linode.com PRIVMSG #esoteric :I've been to Vancouver, BC! < 1334552342 790289 :shachaf!~shachaf@li227-219.members.linode.com PRIVMSG #esoteric :And surrounding areas. < 1334552347 681848 :shachaf!~shachaf@li227-219.members.linode.com PRIVMSG #esoteric :Maybe I = zzo38. < 1334552362 166767 :zzo38!~zzo38@24.207.49.17 PRIVMSG #esoteric :I have also been to Vancouver, BC < 1334552373 606202 :zzo38!~zzo38@24.207.49.17 PRIVMSG #esoteric :And to Victoria, and a few other places in BC as well < 1334552390 169217 :augur!~augur@208.58.5.87 JOIN :#esoteric < 1334552406 914650 :Patashu!~Patashu@c122-106-155-219.carlnfd1.nsw.optusnet.com.au QUIT :Remote host closed the connection < 1334552416 620346 :zzo38!~zzo38@24.207.49.17 PRIVMSG #esoteric :The Japanese restaurant I have been to in Victoria is better than the ones around where I live at. < 1334552423 40995 :Patashu!~Patashu@c122-106-155-219.carlnfd1.nsw.optusnet.com.au JOIN :#esoteric < 1334552436 596408 :shachaf!~shachaf@li227-219.members.linode.com PRIVMSG #esoteric :I've been to Victoria! < 1334552450 532785 :shachaf!~shachaf@li227-219.members.linode.com PRIVMSG #esoteric :zzo38: Have you been to AMERICA?! < 1334552466 493849 :cheater!~cheater@g230225011.adsl.alicedsl.de JOIN :#esoteric < 1334552470 835721 :zzo38!~zzo38@24.207.49.17 PRIVMSG #esoteric :I usually go to Victoria at around Victoria Day; so you might see us in the Japanese restaurant there < 1334552482 713793 :zzo38!~zzo38@24.207.49.17 PRIVMSG #esoteric :shachaf: Canada is part of North America. < 1334552514 766568 :shachaf!~shachaf@li227-219.members.linode.com PRIVMSG #esoteric :zzo38: I'm talking about AMERICA, the country. < 1334552524 714564 :shachaf!~shachaf@li227-219.members.linode.com PRIVMSG #esoteric :Just ask elliott. < 1334552540 317094 :zzo38!~zzo38@24.207.49.17 PRIVMSG #esoteric :There is no country AMERICA < 1334552561 692784 :shachaf!~shachaf@li227-219.members.linode.com PRIVMSG #esoteric :@google america the country < 1334552563 270903 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :http://en.wikipedia.org/wiki/United_States < 1334552569 474278 :shachaf!~shachaf@li227-219.members.linode.com PRIVMSG #esoteric :Checkmate, Canadians. < 1334552605 782372 :kmc!~keegan@c-65-96-1-204.hsd1.ma.comcast.net PRIVMSG #esoteric :america the book < 1334552617 123935 :zzo38!~zzo38@24.207.49.17 PRIVMSG #esoteric :"United States of America" is often abbreviated as "America" but in Canada we usually abbreviate it as "the States" instead. < 1334552633 597061 :zzo38!~zzo38@24.207.49.17 PRIVMSG #esoteric :But neither of them is a proper name of a country. < 1334552640 59923 :shachaf!~shachaf@li227-219.members.linode.com PRIVMSG #esoteric :Oh. < 1334552645 176066 :shachaf!~shachaf@li227-219.members.linode.com PRIVMSG #esoteric :Well, have you ever been there? < 1334552650 975579 :shachaf!~shachaf@li227-219.members.linode.com PRIVMSG #esoteric :Say, to Bellingham or Seattle or something? < 1334552656 233040 :zzo38!~zzo38@24.207.49.17 PRIVMSG #esoteric :I have been there, but not much, and I don't remember much < 1334552690 374715 :shachaf!~shachaf@li227-219.members.linode.com PRIVMSG #esoteric :What language do they speak in Canada? Canadian? < 1334552727 250955 :zzo38!~zzo38@24.207.49.17 PRIVMSG #esoteric :shachaf: Yes, Canadian English and Canadian French. Outside of Quebec is English mostly, inside Quebec is mostly French (by law). < 1334552744 931450 :zzo38!~zzo38@24.207.49.17 PRIVMSG #esoteric :But the government has to speak and write both English and French. < 1334552894 976406 :dbelange!~dbelange@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :that's racist < 1334552912 802768 :zzo38!~zzo38@24.207.49.17 PRIVMSG #esoteric :They used to have the anime convention "Anime Evolution" in Vancouver, BC, but it has now been cancelled; have you seen it? < 1334552918 793871 :dbelange!~dbelange@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :why should you have to learn french < 1334552924 474664 :dbelange!~dbelange@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :just to run the country < 1334552942 469699 :shachaf!~shachaf@li227-219.members.linode.com PRIVMSG #esoteric :Is Anime written in English or in French? < 1334552978 274519 :zzo38!~zzo38@24.207.49.17 PRIVMSG #esoteric :dbelange: Do you expect someone who does not speak English to run England? < 1334553011 975035 :dbelange!~dbelange@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :no but then I don't expect someone who doesn't speak welsh to run wales < 1334553019 806780 :dbelange!~dbelange@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :or scots gaelic to run scotland < 1334553043 497342 :zzo38!~zzo38@24.207.49.17 PRIVMSG #esoteric :shachaf: I do not understand your question. This is in British Columbia and is speaking mostly English (some people understand Japanese a bit too; I was once wearing a sign with some Japanese writing, a few people recognized it) < 1334553046 642721 :dbelange!~dbelange@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :since it's pretty clear that english canada conquered the other canada < 1334553061 850446 :dbelange!~dbelange@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :they should just all be english now < 1334553063 828031 :shachaf!~shachaf@li227-219.members.linode.com PRIVMSG #esoteric :zzo38: Do you know Japanese? < 1334553080 398486 :zzo38!~zzo38@24.207.49.17 PRIVMSG #esoteric :shachaf: A bit. < 1334553089 103779 :shachaf!~shachaf@li227-219.members.linode.com PRIVMSG #esoteric :Can you read it? < 1334553104 968974 :zzo38!~zzo38@24.207.49.17 PRIVMSG #esoteric :I know the kana, and some kanji, and a few other words too, so I can sometimes read it a bit. < 1334553147 723299 :dbelange!~dbelange@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :can you read this http://ja.wikipedia.org/wiki/%E3%83%90%E3%82%BF%E3%83%BC%E3%83%B3%E6%AD%BB%E3%81%AE%E8%A1%8C%E9%80%B2 < 1334553177 591446 :shachaf!~shachaf@li227-219.members.linode.com PRIVMSG #esoteric :I can sort of read hiragana but not katakana. < 1334553227 730039 :zzo38!~zzo38@24.207.49.17 PRIVMSG #esoteric :dbelange: A little bit but not much. < 1334553251 796019 :zzo38!~zzo38@24.207.49.17 PRIVMSG #esoteric :shachaf: I can read both hiragana and katakana fully; but I don't know all the words < 1334553272 164460 :zzo38!~zzo38@24.207.49.17 PRIVMSG #esoteric :But I do sometimes look up words that I don't know in WWWJDIC < 1334553272 763008 :shachaf!~shachaf@li227-219.members.linode.com PRIVMSG #esoteric :zzo38: Should I learn katakana? < 1334553304 582383 :zzo38!~zzo38@24.207.49.17 PRIVMSG #esoteric :shachaf: If you want to read Japanese, then yes, you should learn hiragana, katakana, and kanji. < 1334553376 509528 :asiekierka!~asiekierk@178235039209.elblag.vectranet.pl JOIN :#esoteric < 1334553406 191769 :oklopol!~nnscript@dyn58-57.yok.fi PRIVMSG #esoteric :the title says "go-who of button death". < 1334553452 865425 :shachaf!~shachaf@li227-219.members.linode.com PRIVMSG #esoteric :zzo38: My sister kept trying to get me to read some manga, so I ordered it, but in Japanese instead of in English. < 1334553458 717129 :shachaf!~shachaf@li227-219.members.linode.com PRIVMSG #esoteric :I guess I'll have to learn Japanese now. :-( < 1334553463 882061 :kmc!~keegan@c-65-96-1-204.hsd1.ma.comcast.net PRIVMSG #esoteric :on purpose? < 1334553467 185694 :shachaf!~shachaf@li227-219.members.linode.com PRIVMSG #esoteric :Yes. < 1334553475 263911 :shachaf!~shachaf@li227-219.members.linode.com PRIVMSG #esoteric :Fortunately it has furigana. < 1334553483 581728 :shachaf!~shachaf@li227-219.members.linode.com PRIVMSG #esoteric :Which is at least something... < 1334553503 751098 :zzo38!~zzo38@24.207.49.17 PRIVMSG #esoteric :Furigana is good for pronounce something in Japanese which you do not know the speech < 1334553513 101006 :pikhq_!~pikhq@174-22-159-160.clsp.qwest.net PRIVMSG #esoteric :Trust me when I say furigana is not as big of an aid as you would think. < 1334553519 89213 :shachaf!~shachaf@li227-219.members.linode.com PRIVMSG #esoteric :pikhq_: Oh. :-( < 1334553531 86371 :shachaf!~shachaf@li227-219.members.linode.com PRIVMSG #esoteric :Hence I recently started memorizing the kana, because I guess you gotta start somewhere, right? < 1334553547 410842 :zzo38!~zzo38@24.207.49.17 PRIVMSG #esoteric :pikhq_: I agree it is not so good try to understand the text; but for pronounce it help < 1334553557 394548 :pikhq_!~pikhq@174-22-159-160.clsp.qwest.net PRIVMSG #esoteric :It makes it a bit easier to look things up, and helps if the reading is potentially ambiguous. < 1334553578 924648 :shachaf!~shachaf@li227-219.members.linode.com PRIVMSG #esoteric :Someone upvoted my question on StackOverflow! < 1334553583 954639 :shachaf!~shachaf@li227-219.members.linode.com PRIVMSG #esoteric :I'm rich! I'm rich! HA HA HA HA HA! < 1334553584 306972 :pikhq_!~pikhq@174-22-159-160.clsp.qwest.net PRIVMSG #esoteric :But you have to already know the word for furigana to help you with understanding written text. < 1334553587 931317 :zzo38!~zzo38@24.207.49.17 PRIVMSG #esoteric :pikhq_: Yes, it does also make it easier to look things up in WWWJDIC or whatever, and for sorting < 1334553612 771053 :oklopol!~nnscript@dyn58-57.yok.fi PRIVMSG #esoteric :well i know about 5 times more words in furigana than in kanji. < 1334553615 973432 :pikhq_!~pikhq@174-22-159-160.clsp.qwest.net PRIVMSG #esoteric :Of course, furigana is meant for native speakers who are learning writing, so it helps there immensely. < 1334553626 323297 :zzo38!~zzo38@24.207.49.17 PRIVMSG #esoteric :To understand written text in Japanese, using the mixed kana and kanji which is common, is more efficient if you can read it, than only one or the other. < 1334553627 606441 :pikhq_!~pikhq@174-22-159-160.clsp.qwest.net PRIVMSG #esoteric :oklopol: That's because you're lame. < 1334553630 567327 :pikhq_!~pikhq@174-22-159-160.clsp.qwest.net PRIVMSG #esoteric ::P < 1334553633 745646 :oklopol!~nnscript@dyn58-57.yok.fi PRIVMSG #esoteric ::( < 1334553638 599601 :shachaf!~shachaf@li227-219.members.linode.com PRIVMSG #esoteric :The other thing that furigana will help me with is typing kanji into my computer to get a translation. < 1334553649 139429 :oklopol!~nnscript@dyn58-57.yok.fi PRIVMSG #esoteric :well it's because i had this dictionary where the kanji were so small i didn't really pay attention. < 1334553660 405869 :shachaf!~shachaf@li227-219.members.linode.com PRIVMSG #esoteric :I can type Japanese phonetically easily enough, but I would have no idea how to type unknown kanji. < 1334553666 650978 :oklopol!~nnscript@dyn58-57.yok.fi PRIVMSG #esoteric :so i would just read the romaji. < 1334553674 115291 :oklopol!~nnscript@dyn58-57.yok.fi PRIVMSG #esoteric :which is equal to furigana. < 1334553693 787446 :zzo38!~zzo38@24.207.49.17 PRIVMSG #esoteric :shachaf: Yes; it does help with that, I can enter the word in WWWJDIC or something like that, and find the kanji in the list that it results. If there is no furigana, you can use stroke counts and SKIP codes and so on for searching. < 1334553703 791792 :pikhq_!~pikhq@174-22-159-160.clsp.qwest.net PRIVMSG #esoteric :shachaf: That's what I mean by "bit easier to look things up". You can type it in instead of having to plug in the structure, if you don't happen to know other words with those kanji. < 1334553716 904011 :shachaf!~shachaf@li227-219.members.linode.com PRIVMSG #esoteric :pikhq_: Right. < 1334553723 910144 :shachaf!~shachaf@li227-219.members.linode.com PRIVMSG #esoteric :How long will it take me to be able to read the book? < 1334553758 748096 :pikhq_!~pikhq@174-22-159-160.clsp.qwest.net PRIVMSG #esoteric :shachaf: Anywhere from a couple weeks to several months. It's *really* hard to say without knowing what book it is. < 1334553769 619687 :pikhq_!~pikhq@174-22-159-160.clsp.qwest.net PRIVMSG #esoteric :And it also depends on the amount of effort you put into it, of course. < 1334553769 985613 :zzo38!~zzo38@24.207.49.17 PRIVMSG #esoteric :(WWWJDIC supports romaji for input only; it cannot output romaji. But I do not think there is any use for it to output romaji; romaji input is useful, though, in case you don't have IME, or don't want to use IME for this purpose) < 1334553774 127452 :shachaf!~shachaf@li227-219.members.linode.com PRIVMSG #esoteric :pikhq_: _DEATH NOTE_ volume 1. < 1334553789 441686 :shachaf!~shachaf@li227-219.members.linode.com PRIVMSG #esoteric :I vaguely put furigana in the same mental category as nikud. But maybe it's not a good comparison at all. < 1334553833 309380 :pikhq_!~pikhq@174-22-159-160.clsp.qwest.net PRIVMSG #esoteric :Hmm. I don't recall that being very hard. Maybe a couple months until you can work your way through if you're devoted? < 1334553845 940218 :shachaf!~shachaf@li227-219.members.linode.com PRIVMSG #esoteric :OK. < 1334553858 166092 :shachaf!~shachaf@li227-219.members.linode.com PRIVMSG #esoteric :I guess memorizing the katakana will be a good step? < 1334553860 284629 :shachaf!~shachaf@li227-219.members.linode.com PRIVMSG #esoteric :Until it arrives? < 1334553869 165748 :oklopol!~nnscript@dyn58-57.yok.fi PRIVMSG #esoteric :probably you'll just shachaf out after a week or so. < 1334553879 838096 :shachaf!~shachaf@li227-219.members.linode.com PRIVMSG #esoteric :oklopol: :-( < 1334553882 837270 :pikhq_!~pikhq@174-22-159-160.clsp.qwest.net PRIVMSG #esoteric :Yeah. Katakana and then kanji. < 1334553903 41047 :zzo38!~zzo38@24.207.49.17 PRIVMSG #esoteric :I have many Japanese mangas too; they are Akagi. I even have the special edition and the guidebook for the Akagi TV show. < 1334553904 232209 :oklopol!~nnscript@dyn58-57.yok.fi PRIVMSG #esoteric :shachaf: nah just kidding, i'm sure you'll shachaf the whole thing. < 1334553904 668492 :shachaf!~shachaf@li227-219.members.linode.com PRIVMSG #esoteric :pikhq_: The katakana I assume I can just go over one by one until I know them. < 1334553914 195376 :shachaf!~shachaf@li227-219.members.linode.com PRIVMSG #esoteric :pikhq_: What's a good approach to learning some kanji? < 1334553923 792012 :pikhq_!~pikhq@174-22-159-160.clsp.qwest.net PRIVMSG #esoteric :shachaf: Basically. It's no worse than hiragana, just different glyphs. < 1334553925 250477 :zzo38!~zzo38@24.207.49.17 PRIVMSG #esoteric :The latest one I have is volume 24; apparently no more have been released yet. < 1334553937 957571 :shachaf!~shachaf@li227-219.members.linode.com PRIVMSG #esoteric :pikhq_: Right. It's crazy, but not really crazier than, say, uppercase letter. < 1334553953 352098 :zzo38!~zzo38@24.207.49.17 PRIVMSG #esoteric :shachaf: Yes, like that. < 1334553958 735621 :shachaf!~shachaf@li227-219.members.linode.com PRIVMSG #esoteric :zzo38: What's a good way to acquire Japanese manga/other Japanese texts to read? < 1334553996 366217 :zzo38!~zzo38@24.207.49.17 PRIVMSG #esoteric :shachaf: I ordered them from a Japanese store in Vancouver called Half Moon Books; but I don't know what is best in your area, or other ways < 1334554005 846855 :kmc!~keegan@c-65-96-1-204.hsd1.ma.comcast.net PRIVMSG #esoteric :is there a standard 1:1 mapping between the two kinds of kana? < 1334554012 509850 :kmc!~keegan@c-65-96-1-204.hsd1.ma.comcast.net PRIVMSG #esoteric :also is there a good reason for there to be two kinds? < 1334554017 211517 :pikhq_!~pikhq@174-22-159-160.clsp.qwest.net PRIVMSG #esoteric :The two schemes for kanji learning that I'm aware of that aren't ludicrously, retardedly *bad* are "Kanji Damage" http://kanjidamage.com and "Remembering the Kanji" http://www.amazon.com/Remembering-Kanji-Volume-Complete-Characters/dp/0824835921/ref=sr_1_1?s=books&ie=UTF8&qid=1334554005&sr=1-1 < 1334554022 730655 :shachaf!~shachaf@li227-219.members.linode.com PRIVMSG #esoteric :kmc: Yes, there's a direct mapping. < 1334554027 597473 :zzo38!~zzo38@24.207.49.17 PRIVMSG #esoteric :kmc: Yes, it is like uppercase and lowercase in English, but they are not used in the same way as uppercase and lowercase in English < 1334554032 520240 :shachaf!~shachaf@li227-219.members.linode.com PRIVMSG #esoteric :kmc: Katakana are usually used for loanwords. < 1334554033 225045 :pikhq_!~pikhq@174-22-159-160.clsp.qwest.net PRIVMSG #esoteric :In either case, use an SRS. < 1334554040 144237 :shachaf!~shachaf@li227-219.members.linode.com PRIVMSG #esoteric :Also for names of plants and animals, apparently. < 1334554049 670186 :shachaf!~shachaf@li227-219.members.linode.com PRIVMSG #esoteric :And a few other things, like transcribing sounds. < 1334554066 603792 :pikhq_!~pikhq@174-22-159-160.clsp.qwest.net PRIVMSG #esoteric :And emphasis, and sounding vaguely robotic, etc. < 1334554073 969769 :shachaf!~shachaf@li227-219.members.linode.com PRIVMSG #esoteric :Yes. < 1334554074 338202 :oklopol!~nnscript@dyn58-57.yok.fi PRIVMSG #esoteric :in finland, we have nokikana < 1334554084 978701 :pikhq_!~pikhq@174-22-159-160.clsp.qwest.net PRIVMSG #esoteric :Alternately, for sounding really insanely old. < 1334554087 464259 :oklopol!~nnscript@dyn58-57.yok.fi PRIVMSG #esoteric :but i never learned it < 1334554106 554233 :pikhq_!~pikhq@174-22-159-160.clsp.qwest.net PRIVMSG #esoteric :(before ~1940, katakana was used for normal Japanese writing more than hiragana) < 1334554120 223719 :shachaf!~shachaf@li227-219.members.linode.com PRIVMSG #esoteric :kmc: Someone learning English could ask a similar thing about uppercase letters. < 1334554127 314813 :shachaf!~shachaf@li227-219.members.linode.com PRIVMSG #esoteric :Which are, if you consider it, pretty insane. < 1334554137 575691 :kmc!~keegan@c-65-96-1-204.hsd1.ma.comcast.net PRIVMSG #esoteric :dunno < 1334554143 488547 :kmc!~keegan@c-65-96-1-204.hsd1.ma.comcast.net PRIVMSG #esoteric :marking the beginning of a sentence is useful < 1334554148 789149 :shachaf!~shachaf@li227-219.members.linode.com PRIVMSG #esoteric :For the first letter of a sentence -- and for a few other things, like names -- you take a letter from a completely different alphabet with a 1:1 mapping to the regular one? < 1334554152 180844 :kmc!~keegan@c-65-96-1-204.hsd1.ma.comcast.net PRIVMSG #esoteric :disambiging proper nouns too < 1334554155 449667 :shachaf!~shachaf@li227-219.members.linode.com PRIVMSG #esoteric :And also for emphasizing a word? < 1334554160 852843 :oklopol!~nnscript@dyn58-57.yok.fi PRIVMSG #esoteric :and capitals are a good way to indicate that someone is insanely old. < 1334554164 75286 :kmc!~keegan@c-65-96-1-204.hsd1.ma.comcast.net PRIVMSG #esoteric :it's a bit crazy yes, but it's also useful < 1334554176 742942 :kmc!~keegan@c-65-96-1-204.hsd1.ma.comcast.net PRIVMSG #esoteric :TYPING IN ALL CAPS IS MORE OF A 14 YO ON YOUTUBE THINK I THINK < 1334554181 447737 :shachaf!~shachaf@li227-219.members.linode.com PRIVMSG #esoteric :Well, I speak a language that doesn't have capital letters and it seems to work fine. < 1334554189 226060 :kmc!~keegan@c-65-96-1-204.hsd1.ma.comcast.net PRIVMSG #esoteric :sure < 1334554190 126213 :shachaf!~shachaf@li227-219.members.linode.com PRIVMSG #esoteric :kmc: Write, but emphasizing just ONE word is pretty common. < 1334554192 476421 :kmc!~keegan@c-65-96-1-204.hsd1.ma.comcast.net PRIVMSG #esoteric :all languages "work fine" < 1334554205 328393 :kmc!~keegan@c-65-96-1-204.hsd1.ma.comcast.net PRIVMSG #esoteric :shachaf: i was responding to oklopol < 1334554214 230640 :pikhq_!~pikhq@174-22-159-160.clsp.qwest.net PRIVMSG #esoteric :kmc: LINGVA LATINA says "what?" < 1334554215 914695 :pikhq_!~pikhq@174-22-159-160.clsp.qwest.net PRIVMSG #esoteric :;) < 1334554216 625921 :shachaf!~shachaf@li227-219.members.linode.com PRIVMSG #esoteric :Ugh. < 1334554222 735687 :shachaf!~shachaf@li227-219.members.linode.com PRIVMSG #esoteric :Did I just type "write"? :-( < 1334554226 874167 :oklopol!~nnscript@dyn58-57.yok.fi PRIVMSG #esoteric :yes < 1334554230 633018 :shachaf!~shachaf@li227-219.members.linode.com PRIVMSG #esoteric :I think I must've started to type a sentence about writing. < 1334554235 444874 :kmc!~keegan@c-65-96-1-204.hsd1.ma.comcast.net PRIVMSG #esoteric :you did < 1334554237 542301 :shachaf!~shachaf@li227-219.members.linode.com PRIVMSG #esoteric :And then I saw kmc's comment and changed my mind at the last moment. < 1334554238 633835 :oklopol!~nnscript@dyn58-57.yok.fi PRIVMSG #esoteric :been trying to find a homonym for wrong < 1334554241 266228 :oklopol!~nnscript@dyn58-57.yok.fi PRIVMSG #esoteric :but didn't. < 1334554243 171627 :kmc!~keegan@c-65-96-1-204.hsd1.ma.comcast.net PRIVMSG #esoteric :then you finished that sentence about writing < 1334554257 267541 :shachaf!~shachaf@li227-219.members.linode.com PRIVMSG #esoteric :
ACTION :-(
< 1334554275 446057 :shachaf!~shachaf@li227-219.members.linode.com PRIVMSG #esoteric :It's times like this I wish the channel wasn't logged. < 1334554282 898616 :oklopol!~nnscript@dyn58-57.yok.fi PRIVMSG #esoteric :ookay gotta go < 1334554509 160168 :zzo38!~zzo38@24.207.49.17 PRIVMSG #esoteric :I like the channel logged all the time < 1334555093 800538 :MoALTz!~no@host-92-2-131-188.as43234.net QUIT :Ping timeout: 248 seconds < 1334555304 524163 :pikhq_!~pikhq@174-22-159-160.clsp.qwest.net PRIVMSG #esoteric :http://sprunge.us/AAdi Threaded assembly is silly-looking. < 1334555367 836624 :MoALTz!~no@host-92-2-118-226.as43234.net JOIN :#esoteric < 1334557694 344037 :shachaf!~shachaf@li227-219.members.linode.com PRIVMSG #esoteric :I am having USEFUL DISCOURSE on my StackOverflow question! < 1334557697 9569 :shachaf!~shachaf@li227-219.members.linode.com PRIVMSG #esoteric :This is so much fun! < 1334557762 96792 :monqy!~swell@pool-71-102-226-192.snloca.dsl-w.verizon.net PRIVMSG #esoteric :just how useful is this discourse < 1334557772 199262 :monqy!~swell@pool-71-102-226-192.snloca.dsl-w.verizon.net PRIVMSG #esoteric :useful, you say, but is it useful enough? < 1334557776 945681 :shachaf!~shachaf@li227-219.members.linode.com PRIVMSG #esoteric :Well, someone told me I was wrong. < 1334557790 643342 :shachaf!~shachaf@li227-219.members.linode.com PRIVMSG #esoteric :So I said WELL, OK, I WAS WRONG, BUT YOU WERE WRONG TOO SO HA. < 1334557800 638977 :shachaf!~shachaf@li227-219.members.linode.com PRIVMSG #esoteric :That's what you're supposed to do, right? < 1334557800 838500 :monqy!~swell@pool-71-102-226-192.snloca.dsl-w.verizon.net PRIVMSG #esoteric :that;s pretty darn useful < 1334557820 553438 :shachaf!~shachaf@li227-219.members.linode.com PRIVMSG #esoteric :I felt like elliott. < 1334557840 8763 :monqy!~swell@pool-71-102-226-192.snloca.dsl-w.verizon.net PRIVMSG #esoteric :elliott wouldn't have been wrong though, because elliott is always right < 1334557842 106946 :pikhq_!~pikhq@174-22-159-160.clsp.qwest.net PRIVMSG #esoteric :It gets stranger still if you decide to stick your words elsewhere: http://sprunge.us/IGGC < 1334557845 267648 :shachaf!~shachaf@li227-219.members.linode.com PRIVMSG #esoteric :monqy: Oh, true. < 1334557912 55502 :Sgeo!~sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :Why am I awake < 1334557919 72821 :monqy!~swell@pool-71-102-226-192.snloca.dsl-w.verizon.net PRIVMSG #esoteric :hi < 1334557924 316690 :Sgeo!~sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :!!! < 1334557925 857415 :Sgeo!~sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :HOORAY < 1334557936 664618 :Sgeo!~sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :hi monqy hi monqy hi monqy < 1334557938 720294 :monqy!~swell@pool-71-102-226-192.snloca.dsl-w.verizon.net PRIVMSG #esoteric :hi < 1334557945 341828 :Sgeo!~sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :hi shachaf hi monqy < 1334557947 609176 :monqy!~swell@pool-71-102-226-192.snloca.dsl-w.verizon.net PRIVMSG #esoteric :shachaf: join the party < 1334557950 284552 :monqy!~swell@pool-71-102-226-192.snloca.dsl-w.verizon.net PRIVMSG #esoteric :shachaf: hi shachaf < 1334557955 394536 :shachaf!~shachaf@li227-219.members.linode.com PRIVMSG #esoteric :monqy: :-( < 1334557958 236866 :calamari!~calamari@ip72-211-147-156.tc.ph.cox.net PART #esoteric :"Leaving" < 1334557960 155047 :shachaf!~shachaf@li227-219.members.linode.com PRIVMSG #esoteric :HLEP< < 1334557967 631951 :Sgeo!~sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :oh no did shachaf and monqy switch places? < 1334557976 397472 :shachaf!~shachaf@li227-219.members.linode.com PRIVMSG #esoteric :Sgeo: I'm quitting hi. :-( < 1334557983 937915 :monqy!~swell@pool-71-102-226-192.snloca.dsl-w.verizon.net PRIVMSG #esoteric :Sgeo: I quit quitting hi < 1334558217 252164 :zzo38!~zzo38@24.207.49.17 PRIVMSG #esoteric :(Density Endo) is different from (Codensity Endo); (Codensity Endo) is a list monad (you even get concatenation for free, although Edward Kmett doesn't accept that because he insists Plus to have Functor as a superclass), but (Density Endo) is something like a number that can only be multiplied by a natural number and nothing else. < 1334558514 681716 :zzo38!~zzo38@24.207.49.17 PRIVMSG #esoteric :(Yoneda Endo) is like Maybe but as far as I know you cannot get the monad for free from that < 1334559528 448802 :Phantom_Hoover!~Phantom@unaffiliated/phantom-hoover/x-3377486 JOIN :#esoteric < 1334561222 547133 :itidus20!~itidus21@120.148.51.163 JOIN :#esoteric < 1334561365 145930 :Tiktalik!tikfreenod@unaffiliated/tiktalik QUIT :Ping timeout: 252 seconds < 1334561395 365533 :itidus21!~itidus21@120.148.51.163 QUIT :Ping timeout: 260 seconds < 1334562160 339292 :tikfreenode!tikfreenod@sg.freebnc.net JOIN :#esoteric < 1334564114 739013 :coppro!~scshunt@denardo.csclub.uwaterloo.ca QUIT :Remote host closed the connection < 1334564448 711822 :tikfreenode!tikfreenod@sg.freebnc.net QUIT :Changing host < 1334564448 908953 :tikfreenode!tikfreenod@unaffiliated/tiktalik JOIN :#esoteric < 1334564450 902380 :tikfreenode!tikfreenod@unaffiliated/tiktalik NICK :Tiktalik < 1334565411 542185 :shachaf!~shachaf@li227-219.members.linode.com PRIVMSG #esoteric :kmc: https://github.com/madrobby/semicolon.js/pull/6 reminded me of you. < 1334565468 340653 :kmc!~keegan@c-65-96-1-204.hsd1.ma.comcast.net PRIVMSG #esoteric :haha < 1334566094 540726 :zzo38!~zzo38@24.207.49.17 QUIT :Quit: Due to < 1334569569 634096 :Tiktalik!tikfreenod@unaffiliated/tiktalik NICK :SleepingTik < 1334570707 5061 :cheater_!~cheater@g230220167.adsl.alicedsl.de JOIN :#esoteric < 1334570891 395613 :cheater!~cheater@g230225011.adsl.alicedsl.de QUIT :Ping timeout: 252 seconds < 1334572098 582256 :KingOfKarlsruhe!~chatzilla@p5B1321C0.dip.t-dialin.net JOIN :#esoteric < 1334573498 58726 :Frooxius!~chatzilla@cust-101.ktknet.cz QUIT :Ping timeout: 260 seconds < 1334573505 530642 :Frooxius!~chatzilla@cust-101.ktknet.cz JOIN :#esoteric < 1334576092 495510 :Phantom_Hoover!~Phantom@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :Wait, neds are a Scottish thing? < 1334576102 471006 :Phantom_Hoover!~Phantom@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :I thought they were complementary to chavs. < 1334576199 218680 :qfr!~kafir@unaffiliated/yw PRIVMSG #esoteric :lol < 1334576208 852772 :qfr!~kafir@unaffiliated/yw PRIVMSG #esoteric :Chavs, neds, spides < 1334576218 499508 :Phantom_Hoover!~Phantom@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :Dpides??? < 1334576221 671503 :Phantom_Hoover!~Phantom@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :*spides < 1334576228 441945 :qfr!~kafir@unaffiliated/yw PRIVMSG #esoteric :Irish thing < 1334576230 121702 :Phantom_Hoover!~Phantom@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :Oh, a Belfast chav. < 1334576275 175873 :Phantom_Hoover!~Phantom@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :None of my Belfastese relatives have ever said that word. < 1334576391 352962 :nortti!~juhani@a88-113-14-106.elisa-laajakaista.fi JOIN :#esoteric < 1334577167 652894 :hagb4rd!~perdito@koln-5d81e52f.pool.mediaWays.net QUIT :Quit: hagb4rd < 1334577299 821797 :hagb4rd!~perdito@koln-5d81f1c1.pool.mediaWays.net JOIN :#esoteric < 1334582477 945284 :MSleep!~fyrc@c-174-55-44-190.hsd1.pa.comcast.net NICK :MDude < 1334582671 196714 :nortti!~juhani@a88-113-14-106.elisa-laajakaista.fi PRIVMSG #esoteric :we < 1334582680 179520 :nortti!~juhani@a88-113-14-106.elisa-laajakaista.fi PRIVMSG #esoteric :wrong channel < 1334583160 992112 :ion!ion@heh.fi PRIVMSG #esoteric :you < 1334583777 49907 :augur!~augur@208.58.5.87 QUIT :Remote host closed the connection < 1334584273 723725 :ais523!~ais523@unaffiliated/ais523 JOIN :#esoteric < 1334584895 412030 :Patashu!~Patashu@c122-106-155-219.carlnfd1.nsw.optusnet.com.au QUIT :Quit: MSN: Patashu@hotmail.com , Gmail: Patashu0@gmail.com , AIM: Patashu0 , YIM: patashu2 , Skype: patashu0 . < 1334585105 761456 :derdon!~derdon@p5DE8B5BF.dip.t-dialin.net JOIN :#esoteric < 1334585451 168876 :hagb4rd!~perdito@koln-5d81f1c1.pool.mediaWays.net PRIVMSG #esoteric :> [x*y | x <- [1..10], y <- [1..10]] < 1334585451 996873 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : [1,2,3,4,5,6,7,8,9,10,2,4,6,8,10,12,14,16,18,20,3,6,9,12,15,18,21,24,27,30,... < 1334585518 564165 :KingOfKarlsruhe!~chatzilla@p5B1321C0.dip.t-dialin.net QUIT :Quit: ChatZilla 0.9.88.2 [Firefox 11.0/20120312181643] < 1334585800 458143 :augur!~augur@206.196.185.133 JOIN :#esoteric < 1334586168 826209 :sebbu2!~sebbu@ADijon-152-1-37-200.w83-194.abo.wanadoo.fr JOIN :#esoteric < 1334586185 470975 :sebbu2!~sebbu@ADijon-152-1-37-200.w83-194.abo.wanadoo.fr QUIT :Changing host < 1334586185 630991 :sebbu2!~sebbu@unaffiliated/sebbu JOIN :#esoteric < 1334586259 548626 :sebbu!~sebbu@unaffiliated/sebbu QUIT :Ping timeout: 276 seconds < 1334586281 981373 :asiekierka!~asiekierk@178235039209.elblag.vectranet.pl QUIT :Remote host closed the connection < 1334586724 123447 :augur!~augur@206.196.185.133 QUIT :Remote host closed the connection < 1334587897 428769 :cheater_!~cheater@g230220167.adsl.alicedsl.de QUIT :Ping timeout: 276 seconds < 1334588166 764752 :cheater_!~cheater@g230220167.adsl.alicedsl.de JOIN :#esoteric < 1334588504 647572 :KingOfKarlsruhe!~chatzilla@p5B131B9B.dip.t-dialin.net JOIN :#esoteric < 1334588794 476602 :cheater_!~cheater@g230220167.adsl.alicedsl.de QUIT :Ping timeout: 276 seconds < 1334588874 279302 :Phantom_Hoover!~Phantom@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :Hey, what happened with the whole IPv4 depletion thing? < 1334588885 236508 :Phantom_Hoover!~Phantom@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :It happened like last February, no? < 1334588899 360739 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :it's still depleting, just there are smaller and smaller supplies left < 1334588909 14782 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :the supplies now mostly belong to individual ISPs, rather than the RIRs < 1334588932 335288 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :you could ask Ilari for info when he turns up, he knows a lot about that subject < 1334589472 831439 :Madoka-Kaname!~moe@inportb/loli/cirno-chan PRIVMSG #esoteric :" Organizations that obtained IP addresses in the 1980s were often allocated far more addresses than they actually required, because the initial classful network allocation method was inadequate to reflect reasonable usage. For example, large companies or universities were assigned class A address blocks with over 16 million IPv4 addresses each, because the next smaller allocation unit, a class B block with 65536 addresses, was too small fo < 1334589472 992158 :Madoka-Kaname!~moe@inportb/loli/cirno-chan PRIVMSG #esoteric : intended deployments." < 1334589502 683812 :Madoka-Kaname!~moe@inportb/loli/cirno-chan PRIVMSG #esoteric :Wait, you /couldn't/ allocate a submask like 255.240.0.0? < 1334589573 512349 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :you can nowadys < 1334589575 807237 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :*nowadays < 1334589581 454887 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :but you couldn't back then, CIDR hadn't been invented yet < 1334589623 38095 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :and so the backbone routers wouldn't have been able to handle it < 1334589749 755078 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :APNIC is still the only RIR that has ran out; the rest (RIPE, ARIN, AFRINIC, LACNIC) still have addresses. < 1334589762 334656 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Not terribly many, though. < 1334589779 245971 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :oh, I thought ARIN and RIPE would have run out by now < 1334589832 594768 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :RIPE might go this year, or possibly not, depending on whose estimate you look. ARIN is likely to be the next after that. < 1334589853 56177 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :There's a summary graph at http://www.potaroo.net/tools/ipv4/plotend.png < 1334589934 493092 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :ISTR that they tweaked the policies at the others after the APNIC depletion, so the burn rate is somewhat lower. < 1334590029 294005 :ais523!~ais523@unaffiliated/ais523 QUIT :Remote host closed the connection < 1334590042 995471 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :That was AISNIC, depleting. < 1334590050 506280 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :(Okay, not really.) < 1334590219 134348 :asiekierka!~asiekierk@178235039209.elblag.vectranet.pl JOIN :#esoteric < 1334590580 814813 :Phantom_Hoover!~Phantom@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :Holy shit New England isn't a state???? < 1334590738 946178 :boily!~boily@mtl.savoirfairelinux.net JOIN :#esoteric < 1334590822 803265 :RocketJSquirrel!codu@codu.org PRIVMSG #esoteric :Phantom_Hoover: ... < 1334590846 224619 :Phantom_Hoover!~Phantom@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :IT SOUNDS LIKE IT SHOULD BE < 1334590850 218101 :RocketJSquirrel!codu@codu.org PRIVMSG #esoteric :Phantom_Hoover: Holy shit Scotland isn't an island? < 1334590883 515344 :Phantom_Hoover!~Phantom@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :Hey come on now, there are 50 states. < 1334590904 213064 :Phantom_Hoover!~Phantom@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :It's much easier to lose track of one or two than the 4 constituent countries of the UK. < 1334590927 123682 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :There's one Finland in Finland. < 1334590965 270410 :Sgeo!~sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :Phantom_Hoover, did you see the update? < 1334590966 305955 :RocketJSquirrel!codu@codu.org PRIVMSG #esoteric :Phantom_Hoover: Holy shit the Balkans isn't a country? < 1334590968 358114 :qfr!~kafir@unaffiliated/yw PRIVMSG #esoteric :I'm chatting from IPv6 right now < 1334590982 993863 :RocketJSquirrel!codu@codu.org PRIVMSG #esoteric :qfr: WELCOME TO THE WORLD OF TOMORROW < 1334590987 529446 :qfr!~kafir@unaffiliated/yw PRIVMSG #esoteric :RocketJSquirrel well, a few years back it was, somewhat < 1334591026 188838 :qfr!~kafir@unaffiliated/yw PRIVMSG #esoteric :RocketJSquirrel: What? I have seen only one guy on IRC so far who has IPv6 from his ISP < 1334591032 397593 :qfr!~kafir@unaffiliated/yw PRIVMSG #esoteric :I don't have IPv6 from my ISP either < 1334591037 732510 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :I'm tempted to go all "I was chatting from IPv6 back in the 6bone days". < 1334591039 368097 :qfr!~kafir@unaffiliated/yw PRIVMSG #esoteric :It's just my proxy < 1334591041 509575 :Phantom_Hoover!~Phantom@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :RocketJSquirrel, that wouldn't be unreasonable if you didn't pay too much attention? Although that would be hard, given that the subdivisions are really obvious in the Balkans what with all the wars. < 1334591057 378693 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :That was something like 2002, I suppose. < 1334591069 169783 :qfr!~kafir@unaffiliated/yw PRIVMSG #esoteric :I didn't even get internet access until 2001 < 1334591073 831481 :qfr!~kafir@unaffiliated/yw PRIVMSG #esoteric :And I'm 25 < 1334591076 945283 :RocketJSquirrel!codu@codu.org PRIVMSG #esoteric :Phantom_Hoover: btw, the "Scotland is an island" thing was a ref to ... Sgeo? I forget who. < 1334591111 353815 :Sgeo!~sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :
ACTION thinks it's likely to refer to me
< 1334591117 285797 :Phantom_Hoover!~Phantom@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :RocketJSquirrel, dude he said it was 'near' the UK. < 1334591125 105126 :Phantom_Hoover!~Phantom@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :I never said New England was near the US. < 1334591172 528662 :RocketJSquirrel!codu@codu.org PRIVMSG #esoteric :lol, did he really say that? < 1334591177 457238 :RocketJSquirrel!codu@codu.org PRIVMSG #esoteric :I guess I reduced the lunacy in my mind. < 1334591188 745672 :RocketJSquirrel!codu@codu.org PRIVMSG #esoteric :Anyway, here's my New England story: < 1334591233 153946 :RocketJSquirrel!codu@codu.org PRIVMSG #esoteric :Coming back to the US from the Czech Republic, they pulled me aside for "additional questioning." After poking at the computer for ten or fifteen minutes, the guy asked me exactly one additional question: "Have you ever lived in New England?" Confused, I answered "no," and was allowed on my way. < 1334591255 579703 :Phantom_Hoover!~Phantom@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :Well you know how New England is. < 1334591260 144448 :Sgeo!~sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :RocketJSquirrel, thanks for the ... insultingness < 1334591260 530761 :Phantom_Hoover!~Phantom@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :That's Lovecraft country, man. < 1334591265 624708 :RocketJSquirrel!codu@codu.org PRIVMSG #esoteric :Sgeo: It's what I do 8-D < 1334591293 152709 :RocketJSquirrel!codu@codu.org PRIVMSG #esoteric :Sgeo: Seriously though ... the UK. Yeah. < 1334591320 42902 :RocketJSquirrel!codu@codu.org PRIVMSG #esoteric :I should /nick back to Friendship so I'm not such a jerk. < 1334591330 440766 :RocketJSquirrel!codu@codu.org PRIVMSG #esoteric :(Although Rockie the flying squirrel certainly wasn't a jerk) < 1334591355 106077 :Sgeo!~sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :
ACTION non-conspicuously checks Wikipedia for something
< 1334591372 380024 :Phantom_Hoover!~Phantom@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :"Wales is in the UK too?????" < 1334591403 424208 :Sgeo!~sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :>.> < 1334591429 846355 :Phantom_Hoover!~Phantom@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :"So's part of Ireland?" < 1334591453 984651 :Phantom_Hoover!~Phantom@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :"Next you're going to be telling me the Isle of Man's in it as well"-- oh wait < 1334591498 633058 :Sgeo!~sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :I actually knew.... something about Ireland < 1334591530 201338 :Phantom_Hoover!~Phantom@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :"I always knew the Irish came from there!" < 1334591539 808203 :RocketJSquirrel!codu@codu.org PRIVMSG #esoteric :Phantom_Hoover: To be fair, all I expect of average American X is to know where England, Scotland and Ireland are, and the political division of Ireland. Even knowing where Wales is is a bonus. < 1334591578 173782 :Sgeo!~sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :I think, I'll stay away from geography < 1334591579 832639 :Phantom_Hoover!~Phantom@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :You can't forget Wales, Wales is import-- I can't, I just can't. < 1334591582 463 :Sgeo!~sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :Geometry's fine though < 1334591655 949600 :Phantom_Hoover!~Phantom@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :Not once you've read the Penguin Dictionary of Cruel and Unusual Geometry. < 1334591663 661197 :RocketJSquirrel!codu@codu.org PRIVMSG #esoteric :Phantom_Hoover: Given that my expected knowledge of Americans for Asia is "China and Japan are not the same country", I'd take what I can get. < 1334591684 381569 :pikhq_!~pikhq@174-22-159-160.clsp.qwest.net QUIT :Ping timeout: 245 seconds < 1334591686 972946 :pikhq!~pikhq@71-219-233-54.clsp.qwest.net JOIN :#esoteric < 1334591708 575430 :Phantom_Hoover!~Phantom@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :RocketJSquirrel, please tell me they'd know that Mexico is in North America. < 1334591712 367541 :Sgeo!~sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :RocketJSquirrel, hey, I knew that! (And vaguely what they look like) < 1334591737 79886 :RocketJSquirrel!codu@codu.org PRIVMSG #esoteric :Phantom_Hoover: Those who know that Canada is not our largest state usually know that Mexico is in North America. < 1334591773 790562 :Phantom_Hoover!~Phantom@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :I'm going to assume the Canada thing is a joke because come on. < 1334591784 139668 :Sgeo!~sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :Canada's not a US state? < 1334591792 469469 :Phantom_Hoover!~Phantom@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :Honest question, do you have to do geography much in American schools? < 1334591825 31594 :RocketJSquirrel!codu@codu.org PRIVMSG #esoteric :Phantom_Hoover: Not much, no, it's conflated with history and history means WWII because we apparently don't care about any other event since the inception of man. < 1334591834 909033 :Phantom_Hoover!~Phantom@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :RocketJSquirrel, um dude. < 1334591837 310743 :RocketJSquirrel!codu@codu.org PRIVMSG #esoteric :(At least, that's how my school was) < 1334591865 458879 :Phantom_Hoover!~Phantom@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :You're completely leaving out the mythical status accorded to the founding of the nation. < 1334591912 134103 :RocketJSquirrel!codu@codu.org PRIVMSG #esoteric :HITLER < 1334591943 183290 :Phantom_Hoover!~Phantom@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :God bless George Washington for shooting him while he watched a play :') < 1334591954 326593 :RocketJSquirrel!codu@codu.org PRIVMSG #esoteric :That's the spirit! < 1334592000 88817 :Phantom_Hoover!~Phantom@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :And then holding his wife's hand in a jar of acid. < 1334592429 745943 :hagb4rd!~perdito@koln-5d81f1c1.pool.mediaWays.net QUIT :Quit: hagb4rd < 1334592448 965281 :hagb4rd!~perdito@koln-5d81f1c1.pool.mediaWays.net JOIN :#esoteric < 1334592546 557911 :Phantom_Hoover!~Phantom@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :Huh, the Chinese for 'card game' is uncountable. < 1334592550 797185 :Phantom_Hoover!~Phantom@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :Let's play some card game. < 1334593105 513238 :elliott!~elliott@unaffiliated/elliott JOIN :#esoteric < 1334593113 771260 :Sgeo!~sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :elliott, did you do the update? < 1334593142 489108 :Sgeo!~sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :AFK < 1334593196 499872 :augur!~augur@206.196.185.197 JOIN :#esoteric < 1334593278 206778 :Slereah_!x@ANantes-259-1-197-170.w90-49.abo.wanadoo.fr QUIT :Ping timeout: 244 seconds < 1334593297 270116 :Slereah!x@ANantes-259-1-203-18.w90-49.abo.wanadoo.fr JOIN :#esoteric < 1334593401 268528 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Sgeo: No. < 1334593423 26066 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :
ACTION almost starts writing an answer about partial evaluation and specialisation to http://stackoverflow.com/questions/10170406/seq-on-partially-applied-functions, but then realises it's that STM guy.
< 1334593578 759600 :Phantom_Hoover!~Phantom@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :Is "that STM guy" good or bad? < 1334593604 333651 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Bad. < 1334593666 830300 :Phantom_Hoover!~Phantom@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :How bad? < 1334593934 589328 :ais523!~ais523@unaffiliated/ais523 JOIN :#esoteric < 1334593955 495020 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :hi ais523 < 1334593964 267326 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :hi elliott < 1334594091 536165 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :hi ais523 < 1334594121 363028 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :bleh, why are existing programming languages bad at representing 3D cellular automata with loads of space in a reasonably efficient manner < 1334594122 435062 :Phantom_Hoover!~Phantom@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :Hey wait where Ilari? < 1334594146 243146 :Phantom_Hoover!~Phantom@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :Did he just cease to exist after IPv4 address depletion, his reason for being satisfied? < 1334594151 641492 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Phantom_Hoover: He's been gone for years. < 1334594168 688974 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :He's still on freenode, though. < 1334594217 153482 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I was talking to him recently, in another channel < 1334594221 570937 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :looks like he just got bored of this one < 1334594295 533690 :Phantom_Hoover!~Phantom@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :Years?? < 1334594315 127872 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Phantom_Hoover: He was last seen in 2010 or maybe 2011. < 1334594323 26879 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :shachaf: I like how dons gave an incorrect answer to your question. < 1334594346 868367 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :shachaf: I also like how you didn't phrase your question title as a question. :( < 1334594358 531851 :Phantom_Hoover!~Phantom@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :elliott, of course he was here in 2011, he was giving us a live IPv4 feed. < 1334594431 333243 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Phantom_Hoover: Was that in 2011? < 1334594455 708922 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :shachaf: I also like how Haskell *doesn't* have the first-class universals you mentioned; you can't have [forall a. (Read a) => a]. < 1334594458 388046 :Phantom_Hoover!~Phantom@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :Last /8s were allocated on the 31st of January. < 1334594590 178545 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :OK, last seen < 1334594591 907925 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :2011-04-30.txt:05:24:44: -!- Ilari has parted #esoteric. < 1334594595 371560 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :and it might be oerjan's fault. < 1334594608 681906 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :(Specifically < 1334594610 213531 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :2011-04-30.txt:05:22:00: Ilari: i am _so_ tempted to ban you for ignoring my comments... < 1334594610 373121 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :2011-04-30.txt:05:24:41: -!- Ilari_antrcomp has parted #esoteric. < 1334594610 373288 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :2011-04-30.txt:05:24:44: -!- Ilari has parted #esoteric. < 1334594610 373394 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :) < 1334594663 54818 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Actually, those lines are directly adjacent in the logs, so it almost certainly was, esp. since it was a /part, not a /quit. < 1334594704 977288 :Phantom_Hoover!~Phantom@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :DUN-DUN-dun! < 1334594706 620509 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :@tell oerjan Thanks! < 1334594706 899901 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :Consider it noted. < 1334594937 558505 :cheater_!~cheater@g230220167.adsl.alicedsl.de JOIN :#esoteric < 1334594964 838030 :RocketJSquirrel!codu@codu.org PRIVMSG #esoteric :Tsk tsk. < 1334595031 392400 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Bonus follow-up: 05:25:24: ...either that, or for lacking a sense of humor. < 1334595223 333337 :SleepingTik!tikfreenod@unaffiliated/tiktalik NICK :Tiktalik < 1334595809 104741 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :@time < 1334595809 767956 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :Local time for elliott is Mon Apr 16 18:04:00 < 1334596359 257280 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric : someone explain to me like I'm six what's the difference between sufficiently compositional actors and FRP. < 1334596367 713450 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Does anyone know a word for "everything" that six year olds would understand? < 1334596576 704409 :RocketJSquirrel!codu@codu.org PRIVMSG #esoteric :Idonno. < 1334596582 327709 :RocketJSquirrel!codu@codu.org PRIVMSG #esoteric :There's some overlap from the 30,000 foot view. < 1334596593 527866 :RocketJSquirrel!codu@codu.org PRIVMSG #esoteric :I'd reduce that to "nearly everything" < 1334596632 218512 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :http://meta.stackoverflow.com/questions/129452/using-triggers-to-orderid-associated-with-orderline-when-i-add-new-product < 1334596657 196233 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :RocketJSquirrel: Weeeell, it would have to be a 100 mile view if you ask me. < 1334596682 493035 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :The actor model has no notion of behaviours, and is fundamentally based around discrete message-passing loops. < 1334596698 536906 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :FRP is based on continuous time, has behaviours, and does not do message-passing. < 1334596712 607101 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :I mean... they're both about concurrency. < 1334596764 627773 :coppro!~scshunt@denardo.csclub.uwaterloo.ca JOIN :#esoteric < 1334597041 232202 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :RocketJSquirrel: In fact, I'm having trouble thinking of ANY overlap between the two... < 1334597141 469553 :pikhq_!~pikhq@174-22-144-151.clsp.qwest.net JOIN :#esoteric < 1334597141 846897 :pikhq!~pikhq@71-219-233-54.clsp.qwest.net QUIT :Ping timeout: 248 seconds < 1334598130 688262 :tswett!~tswett@thay.Stanford.EDU PRIVMSG #esoteric :elliott: hey, do you know of any web servers that don't suck? < 1334598200 123451 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :NCSA HTTPd < 1334598326 522158 :pikhq_!~pikhq@174-22-144-151.clsp.qwest.net QUIT :Ping timeout: 250 seconds < 1334598329 252687 :pikhq!~pikhq@71-219-225-191.clsp.qwest.net JOIN :#esoteric < 1334599113 233907 :nortti!~juhani@a88-113-14-106.elisa-laajakaista.fi QUIT :Quit: lolololo < 1334599271 610321 :oklopol!~nnscript@dyn58-57.yok.fi PRIVMSG #esoteric :hi < 1334599509 573826 :oerjan!oerjan@sprocket.nvg.ntnu.no JOIN :#esoteric < 1334599597 29039 :augur!~augur@206.196.185.197 QUIT :Remote host closed the connection < 1334600158 572023 :azaq23!~derivecto@unaffiliated/azaq23 JOIN :#esoteric < 1334600177 560678 :azaq23!~derivecto@unaffiliated/azaq23 QUIT :Max SendQ exceeded < 1334600204 641511 :azaq23!~derivecto@unaffiliated/azaq23 JOIN :#esoteric < 1334600502 777392 :Phantom_Hoover!~Phantom@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :ok < 1334600508 999067 :Phantom_Hoover!~Phantom@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :i just realised < 1334600509 884025 :Phantom_Hoover!~Phantom@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :life < 1334600517 652572 :Phantom_Hoover!~Phantom@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :is isomorphic to the knapsack problem < 1334600553 140085 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :explains why i cannot fit it together < 1334600553 413766 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :oerjan: You have 1 new message. '/msg lambdabot @messages' to read it. < 1334600557 368757 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :@messages < 1334600557 633006 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :elliott said 1h 37m 30s ago: Thanks! < 1334600565 176821 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :elliott: you're welcome! < 1334600599 486256 :Phantom_Hoover!~Phantom@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :oerjan, context: < 1334600608 664632 :Phantom_Hoover!~Phantom@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric : OK, last seen < 1334600608 843477 :Phantom_Hoover!~Phantom@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric : 2011-04-30.txt:05:24:44: -!- Ilari has parted #esoteric. < 1334600609 3593 :Phantom_Hoover!~Phantom@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric : and it might be oerjan's fault. < 1334600609 3785 :Phantom_Hoover!~Phantom@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric : (Specifically < 1334600609 3890 :Phantom_Hoover!~Phantom@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric : 2011-04-30.txt:05:22:00: Ilari: i am _so_ tempted to ban you for ignoring my comments... < 1334600610 254165 :Phantom_Hoover!~Phantom@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric : 2011-04-30.txt:05:24:41: -!- Ilari_antrcomp has parted #esoteric. < 1334600612 195320 :Phantom_Hoover!~Phantom@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric : 2011-04-30.txt:05:24:44: -!- Ilari has parted #esoteric. < 1334600614 139112 :Phantom_Hoover!~Phantom@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric : ) < 1334600616 257298 :Phantom_Hoover!~Phantom@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric : Actually, those lines are directly adjacent in the logs, so it almost certainly was, esp. since it was a /part, not a /quit. < 1334600634 554836 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :Phantom_Hoover: hey i was going to pretend i didn't see that! < 1334600666 448257 :Phantom_Hoover!~Phantom@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :I enjoy trying to watch the world burn. < 1334600667 286956 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :
ACTION sweeps Phantom_Hoover under the rug
< 1334600683 151712 :Phantom_Hoover!~Phantom@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :
ACTION sets fire to the rug, watches it.
< 1334600700 290353 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :
ACTION helpfully aims a firehose at Phantom_Hoover
< 1334600710 567934 :Phantom_Hoover!~Phantom@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :
ACTION sets fire to the water.
< 1334600715 857690 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Don't worry, I would have been surprised if you did not ignore it. < 1334600716 17276 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :fancy < 1334600738 813642 :Phantom_Hoover!~Phantom@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :For we are actually on the planet Spozz, where the atmosphere is fluorine! < 1334600738 973170 :oerjan!oerjan@sprocket.nvg.ntnu.no QUIT :Quit: Lost terminal < 1334600740 755142 :Phantom_Hoover!~Phantom@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :FIN < 1334600753 649013 :Phantom_Hoover!~Phantom@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :Did he... < 1334600821 42038 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Lost terminal is when his internet blows up. < 1334600845 162801 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Be careful with that paranoia, or you'll start accusing people of sockpuppetry. < 1334601202 344253 :augur!~augur@206.196.185.197 JOIN :#esoteric < 1334601377 37862 :augur!~augur@206.196.185.197 QUIT :Remote host closed the connection < 1334601434 268300 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :"I can't wait 'till I get to write my own monad tutorial! I wonder what I can spice mine up with..." < 1334601436 900618 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :no stop,,,, < 1334601501 88919 :sebbu2!~sebbu@unaffiliated/sebbu NICK :sebbu < 1334601541 664170 :Phantom_Hoover!~Phantom@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :monads are like monad tutorials < 1334601567 147490 :nortti!~androirc@a88-113-14-106.elisa-laajakaista.fi JOIN :#esoteric < 1334601569 254513 :itidus20!~itidus21@120.148.51.163 PRIVMSG #esoteric :elliott: i will rough them up so they never write a monad tutorial. < 1334601593 748364 :Phantom_Hoover!~Phantom@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :return maps a monad to a crappy analogy for that monad < 1334601618 873502 :Phantom_Hoover!~Phantom@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :join maps a crappy analogy of a crappy analogy for a monad to a crappy analogy for that monad. < 1334601653 958155 :itidus20!~itidus21@120.148.51.163 PRIVMSG #esoteric :my roughing up of course is pretending someone wants to hear all i have to say < 1334601841 660408 :itidus20!~itidus21@120.148.51.163 PRIVMSG #esoteric :`quote < 1334601849 926739 :HackEgo!codu@codu.org PRIVMSG #esoteric :605) [from 2009] That's confusing. I have been indoctrinated to believe W|A, but on the other hand it's hard to unbelieve a book with such a ridiculously impressive name as "Handbook of physical testing of paper, Volume 2". < 1334601861 626148 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :ais523: should P'' be in [[Category:Brainfuck derivatives]]? < 1334601883 459319 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :elliott: no, it isn't a derivative of BF < 1334601885 222326 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :it's independent < 1334601885 381939 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :(also, does it count as implemented?) < 1334601895 108648 :Phantom_Hoover!~Phantom@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :elliott, I will rip your fucking soul out. < 1334601896 251295 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :ais523: yeah, I was kidding; I'll put it in [[Category:Brainfuck]] though < 1334601986 172547 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :ais523: hmm, implement P'' so I can mark it as implemented, please ;) < 1334602006 375552 :Deewiant!~deewiant@cs181243217.pp.htv.fi PRIVMSG #esoteric :Wow, indoctrinated to believe W|A in less than 8 months. < 1334602026 366625 :qfr!~kafir@unaffiliated/yw PRIVMSG #esoteric :http://www.pcworld.com/businesscenter/article/253667/oraclegoogle_trial_starts_monday_outcome_could_affect_all_developers.html ah yes, the Oracle vs. Google lawsuit started < 1334602066 771944 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Deewiant: It exploded pretty quickly. < 1334602072 550164 :itidus20!~itidus21@120.148.51.163 PRIVMSG #esoteric :i am beginning to get that mental callous against patent lawsuit news finally < 1334602121 928900 :itidus20!~itidus21@120.148.51.163 PRIVMSG #esoteric :urgh.... hurts. a bit < 1334602150 659436 :RocketJSquirrel!codu@codu.org PRIVMSG #esoteric :"Of the seven patents it originally asserted, five have been invalidated by the U.S. Patent and Trademark Office, and a sixth expires at the end of the year." < 1334602151 729569 :RocketJSquirrel!codu@codu.org PRIVMSG #esoteric :lol < 1334602156 509008 :itidus20!~itidus21@120.148.51.163 PRIVMSG #esoteric :noooooo < 1334602246 236456 :qfr!~kafir@unaffiliated/yw PRIVMSG #esoteric :Haha < 1334602257 678391 :qfr!~kafir@unaffiliated/yw PRIVMSG #esoteric :But there is more than just the patents < 1334602267 381986 :qfr!~kafir@unaffiliated/yw PRIVMSG #esoteric :Other intellectual property, too < 1334602272 598165 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :qfr: also some very dubious copyright claims < 1334602275 607741 :qfr!~kafir@unaffiliated/yw PRIVMSG #esoteric :I guess it's going to take 1-2 years anyways < 1334602288 990919 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :in particular, Oracle are trying to argue that implementing the Java API is a copyright infringement < 1334602298 586767 :itidus20!~itidus21@120.148.51.163 PRIVMSG #esoteric :"Reeen. There was another patent lawsuit. Good night Ren." "Go to sleep Stimpy" .... [Bloodshot eyes looking around in the dark].. optic nerves pulsing < 1334602339 87184 :qfr!~kafir@unaffiliated/yw PRIVMSG #esoteric :ais523 that one sounds alarming < 1334602352 911395 :itidus20!~itidus21@120.148.51.163 PRIVMSG #esoteric :chattering teeth < 1334602362 464562 :qfr!~kafir@unaffiliated/yw PRIVMSG #esoteric :I don't know the state of the Java language standard < 1334602374 221390 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :qfr: people have been pointing out how Oracle would be sued to oblivion if they actually won it, by the inventors of SQL :) < 1334602386 987990 :itidus20!~itidus21@120.148.51.163 PRIVMSG #esoteric :zipping sound, huddled up under blanket < 1334602477 433186 :coppro!~scshunt@denardo.csclub.uwaterloo.ca QUIT :Quit: Lost terminal < 1334602513 70278 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :ais523 is not in the sudoers file. This incident will be reported. < 1334602519 71328 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :hmm, seems it was set up to use su instead… < 1334602537 366021 :qfr!~kafir@unaffiliated/yw PRIVMSG #esoteric :I must admit I never use su < 1334602540 745894 :qfr!~kafir@unaffiliated/yw PRIVMSG #esoteric :Nor sudo < 1334602549 103231 :qfr!~kafir@unaffiliated/yw PRIVMSG #esoteric :I tend to have a separate root shell < 1334602555 503651 :qfr!~kafir@unaffiliated/yw PRIVMSG #esoteric :And when I no longer need it I just exit < 1334602559 156463 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :well I only just hired this server < 1334602562 409401 :qfr!~kafir@unaffiliated/yw PRIVMSG #esoteric :Wait, in X I need a su for that, though < 1334602575 573452 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :and I'm trying to figure out how I get a root shell on it < 1334602577 855585 :itidus20!~itidus21@120.148.51.163 PRIVMSG #esoteric :i heard that Maybe from Haskell is a copyright infringement < 1334602587 892159 :qfr!~kafir@unaffiliated/yw PRIVMSG #esoteric :itidus20 lol < 1334602599 242066 :qfr!~kafir@unaffiliated/yw PRIVMSG #esoteric :How so? < 1334602600 995200 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :feels /really weird/ working at a root shell, but I need to to set up sudo < 1334602612 111664 :qfr!~kafir@unaffiliated/yw PRIVMSG #esoteric :What's wrong with a root shell? < 1334602612 272135 :itidus20!~itidus21@120.148.51.163 PRIVMSG #esoteric :i wouldn't know what it is though.. just a word i keep hearing here < 1334602626 68467 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :just I'm not used to them, and don't like doing stuff that doesn't need root at them < 1334602640 330269 :itidus20!~itidus21@120.148.51.163 PRIVMSG #esoteric :basically since microsoft isn't selling any haskell interpreters they decided to destroy haskell < 1334602803 4568 :pikhq!~pikhq@71-219-225-191.clsp.qwest.net QUIT :Ping timeout: 245 seconds < 1334602803 200767 :itidus20!~itidus21@120.148.51.163 PRIVMSG #esoteric :im just in a mood < 1334602806 896151 :pikhq_!~pikhq@174-22-159-68.clsp.qwest.net JOIN :#esoteric < 1334602816 620893 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :oh, that's interesting < 1334602821 34020 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I need to "sg admin" before I can use sudo < 1334602821 515562 :itidus20!~itidus21@120.148.51.163 PRIVMSG #esoteric :i'll try to cool off < 1334602826 510862 :itidus20!~itidus21@120.148.51.163 PART #esoteric :"Leaving" < 1334602827 921223 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I like that, in a way, it's a nice security feature < 1334602856 403030 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :ais523: stop using sg(1) < 1334602865 36919 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :haha :) < 1334602869 795188 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :anyway, that's just a bug in the default installation; admin accounts should be in the admin group < 1334602886 300866 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :(not that i would expect anything different from a VPS provider messed up enough to meet your requirements...) < 1334602886 746836 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I agree it is < 1334602902 507573 :augur!~augur@206.196.185.197 JOIN :#esoteric < 1334602928 818036 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :oh, /now/ they tell me < 1334602930 587176 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :"once you have connected to your server, you must use the 'su -' command to switch to root on your server." < 1334602954 769216 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :now I need to work out what locales are installed, if any < 1334602957 604809 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I'll just use C, I guess < 1334603027 578269 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :next thing is to remove root's password < 1334603034 712817 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :sudo passwd -d root < 1334603035 664409 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :sudo passwd -l root < 1334603049 859705 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :(I have forgotten the -l before...) < 1334603111 162602 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I just used the -l < 1334603120 318725 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :ais523: that doesn't remove root's password! < 1334603126 71059 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :well, OK < 1334603133 831469 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :but it does make it unusable, which is what I wanted < 1334603169 10820 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :huh, this thing didn't have any sort of firewall < 1334603176 606378 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :or at least, iptables wasn't installed < 1334603193 342118 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :presumably there's a hardware firewall, but they'd have no idea how I'd want it configured, so it's probably quite permissive < 1334603279 228964 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :or it blocks tons of things because they don't want to deal with irc dcc bots and the like < 1334603363 397245 :nortti!~androirc@a88-113-14-106.elisa-laajakaista.fi PRIVMSG #esoteric :it it specified where the head has to be on the tape at the start of execution of P'' program? < 1334603441 728898 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :oh come on, the kernel modules they provide are for a different kernel than the kernel they provide < 1334603456 491431 :oerjan!oerjan@sprocket.nvg.ntnu.no JOIN :#esoteric < 1334603509 28684 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :and the advice for updating them involves wgetting stuff to the root dir < 1334604177 146079 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :elliott: what file contains the list of modules you want the server to load during startup? < 1334604209 281699 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :ais523: /etc/something < 1334604217 122918 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :ais523: there are command-line tools to manipulate it, I think < 1334604240 814438 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :aha, /etc/modules < 1334604338 534572 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :"The entire park is within the jurisdiction of the United States District Court for the District of Wyoming, causing it to be the only federal court district that includes portions of more than one state (Idaho, Montana and Wyoming). Law professor Brian C. Kalt has argued that it may be impossible to impanel a jury in compliance with the Vicinage Clause of the Sixth Amendment for a crime committed solely in the unpopulated Idaho portion of the pa < 1334604338 733580 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :rk (and that it would be difficult to do so for a crime committed solely in the lightly-populated Montana portion).[121] One defendant accused of a wildlife-related crime in the Montana portion of the park attempted to raise this argument.[122] He eventually pleaded guilty.[123]" < 1334604369 388090 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :THANKS FOR NOTHING, BRIAN C. KALT! < 1334604405 904558 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :that's obvious, you have to plead guilty because pleading not guilty would lead to a paradox < 1334604686 22506 :nortti!~androirc@a88-113-14-106.elisa-laajakaista.fi PRIVMSG #esoteric :elliott: quick and dirty P'' implementation in python with head starting at the rightmost cell: http://db.tt/dCaSNFT8 < 1334604710 999027 :nortti!~androirc@a88-113-14-106.elisa-laajakaista.fi PRIVMSG #esoteric :written on a cellphone < 1334604729 186340 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :print str(mem[:memp])+str(mem[memp:]) < 1334604732 277869 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :err, isn't that just print str(mem)? < 1334604802 377951 :nortti!~androirc@a88-113-14-106.elisa-laajakaista.fi PRIVMSG #esoteric :no. it shows sonething like [0][1,0], so you cam see where head was at the end < 1334604813 421615 :nortti!~androirc@a88-113-14-106.elisa-laajakaista.fi PRIVMSG #esoteric :*can < 1334604840 370111 :oerjan!oerjan@sprocket.nvg.ntnu.no QUIT :Quit: Lost terminal < 1334604868 790838 :nortti!~androirc@a88-113-14-106.elisa-laajakaista.fi PRIVMSG #esoteric :*sonething < 1334604947 843814 :nortti!~androirc@a88-113-14-106.elisa-laajakaista.fi PRIVMSG #esoteric :elliott: Does the lambda seem ok or did iit result on mojibake along the way < 1334604975 523637 :nortti!~androirc@a88-113-14-106.elisa-laajakaista.fi PRIVMSG #esoteric :s/seem ok/look normal/ < 1334604976 439983 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :They don't render properly here, alas. < 1334604992 142664 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :anyway, this server also does ipv6, which is nice < 1334605172 440291 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :linode does v6 too < 1334605269 327543 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :more than half of hosting companies do nowadays, I think < 1334605273 59533 :augur!~augur@206.196.185.197 QUIT :Read error: Connection reset by peer < 1334605277 890112 :augur!~augur@206.196.185.197 JOIN :#esoteric < 1334605284 605568 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :which is good, because hopefully eventually the world will be v6-capable without ridiculous hoops to jump through < 1334605396 454974 :nortti!~androirc@a88-113-14-106.elisa-laajakaista.fi PRIVMSG #esoteric :"When you log into a unix machine you can finger your friends. You can also get head, and get tail (of a file), take a dump, or mount something (a drive). You may also fsck your drive" < 1334605474 304703 :zzo38!~zzo38@24.207.49.17 JOIN :#esoteric < 1334605524 166047 :nortti!~androirc@a88-113-14-106.elisa-laajakaista.fi PRIVMSG #esoteric :`quote < 1334605526 742731 :HackEgo!codu@codu.org PRIVMSG #esoteric :323) I use LiGNUXFCE+apps That's pronounced by saying "Linux" and then vomiting, btw. < 1334605536 253954 :nortti!~androirc@a88-113-14-106.elisa-laajakaista.fi PRIVMSG #esoteric :`quote < 1334605539 285490 :HackEgo!codu@codu.org PRIVMSG #esoteric :674) Magnetic butterfly is slower than cat and restarting if you make a mistake is slower than vi is slower than mind-reading. < 1334605557 765296 :nortti!~androirc@a88-113-14-106.elisa-laajakaista.fi PRIVMSG #esoteric :`quote < 1334605560 823428 :HackEgo!codu@codu.org PRIVMSG #esoteric :424) Sanity is insufficient by itself. Many other things are also important. < 1334605566 941169 :nortti!~androirc@a88-113-14-106.elisa-laajakaista.fi PRIVMSG #esoteric :`quote < 1334605569 967745 :HackEgo!codu@codu.org PRIVMSG #esoteric :199) it seems that CUIL is dead < 1334605573 594936 :nortti!~androirc@a88-113-14-106.elisa-laajakaista.fi PRIVMSG #esoteric :`quote < 1334605576 478659 :HackEgo!codu@codu.org PRIVMSG #esoteric :45) Reality isn't a part of physics < 1334605581 542024 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :elliott: bleh, I misread 674 as being from zzo38, that would have made it so much better < 1334605599 241641 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :199 is the worst one there, easily < 1334605604 357770 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :the others are all pretty good < 1334605623 886500 :nortti!~androirc@a88-113-14-106.elisa-laajakaista.fi PRIVMSG #esoteric :is 674 reference to that xkcd comic < 1334605678 539183 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :nortti: yes, or probably said in response to a mention of the comic < 1334605757 121875 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :back < 1334605773 844836 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :nah, I wasn't referencing xkcd < 1334605780 535899 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :I was replying to other people who were < 1334605782 514728 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :(in part) < 1334605792 714461 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :`delquote 199 < 1334605796 680901 :HackEgo!codu@codu.org PRIVMSG #esoteric :​*poof* it seems that CUIL is dead < 1334605869 502905 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :ais523: did you see a few days ago? Zuu made the most ineffectual ragequit ever < 1334605869 769557 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :elliott: it does indeed look more like a reference to an xkcd reference, rather than the reference itself < 1334605876 689341 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :no, I didn't see it < 1334605924 148467 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :he spent about ten minutes asking if we ever talked about anything other than haskell here, and got the reply "yes", and I gave him specific log links showing so; then he said he just wanted confirmation that we didn't so he could leave without tarnishing his reputation as someone who likes programming languages < 1334605928 983667 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :then... left anyway < 1334606081 697689 :RocketJSquirrel!codu@codu.org PRIVMSG #esoteric :Hahaha I deleted 3GB of PHP session files X_X < 1334606088 41406 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :RocketJSquirrel: hater < 1334606092 182234 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :
ACTION hecks RocketJSquirrel's aim
< 1334606093 254453 :derdon!~derdon@p5DE8B5BF.dip.t-dialin.net QUIT :Remote host closed the connection < 1334606107 431247 :elliott!~elliott@unaffiliated/elliott QUIT :Quit: aim hecking backfired < 1334606135 623263 :nortti!~androirc@a88-113-14-106.elisa-laajakaista.fi PRIVMSG #esoteric :-rwxr-xr-x 1 root 24 Oct 29 1929 /bin/ed < 1334606171 467330 :coppro!~scshunt@denardo.csclub.uwaterloo.ca JOIN :#esoteric < 1334606172 798980 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :1929? < 1334606174 738117 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :wow < 1334606205 835908 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :for both creation yeat /and/ filesize < 1334606224 971827 :nortti!~androirc@a88-113-14-106.elisa-laajakaista.fi PRIVMSG #esoteric :I just love making my filesystem look screwy < 1334606276 945267 :elliott!~elliott@95.149.229.194 JOIN :#esoteric < 1334606283 807431 :elliott!~elliott@95.149.229.194 QUIT :Changing host < 1334606283 967329 :elliott!~elliott@unaffiliated/elliott JOIN :#esoteric < 1334606338 196600 :nortti!~androirc@a88-113-14-106.elisa-laajakaista.fi PRIVMSG #esoteric :(that is not the real ed. it is just shell script running /usr/bin/busybox ed) < 1334606367 214813 :nortti!~androirc@a88-113-14-106.elisa-laajakaista.fi PRIVMSG #esoteric :*that runs < 1334606375 527700 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :nortti: why shellscript? you can just symlink it to busybox, can't you? < 1334606390 180959 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :busybox looks at the name it was run under to figure out what to do < 1334606420 739021 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :oh, but then you wouldn't be able to get the screwy date, unless you screwed up busybox's date < 1334606440 108682 :nortti!~androirc@a88-113-14-106.elisa-laajakaista.fi PRIVMSG #esoteric :but then I woildn't get that filesize. I wanted it to match gnu's ed joke < 1334606455 299941 :nortti!~androirc@a88-113-14-106.elisa-laajakaista.fi PRIVMSG #esoteric :*wouldn't < 1334606461 523789 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :oh, I don't know the specific joke < 1334606482 763922 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :it's not "gnu's" joke < 1334606556 438263 :nortti!~androirc@a88-113-14-106.elisa-laajakaista.fi PRIVMSG #esoteric :I found it on gnu.org/fun site < 1334606573 676582 :nortti!~androirc@a88-113-14-106.elisa-laajakaista.fi PRIVMSG #esoteric :-site < 1334606589 760603 :nortti!~androirc@a88-113-14-106.elisa-laajakaista.fi PRIVMSG #esoteric :http://www.gnu.org/fun/jokes/ed.msg < 1334606659 601934 :shachaf!~shachaf@li227-219.members.linode.com PRIVMSG #esoteric :elliott: how predictable ! < 1334606689 693859 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :nortti: by that metric, most sites I visit belong to google < 1334606759 840987 :nortti!~androirc@a88-113-14-106.elisa-laajakaista.fi PRIVMSG #esoteric :does google host those sites under it's own domain? < 1334606780 749223 :shachaf!~shachaf@li227-219.members.linode.com PRIVMSG #esoteric :elliott: Did you know dons gave an incorrect answer to my question?! < 1334606787 416785 :shachaf!~shachaf@li227-219.members.linode.com PRIVMSG #esoteric :elliott: And that I didn't phrase my question title as a question? < 1334606792 8214 :shachaf!~shachaf@li227-219.members.linode.com PRIVMSG #esoteric :elliott: Also, the question body. < 1334606880 904331 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :shachaf: Anyway, with the Typeable constraint it's pretty trivial to do. < 1334606887 72625 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Will you give me "the reps" if I give the obvious answer for that? < 1334606895 960480 :shachaf!~shachaf@li227-219.members.linode.com PRIVMSG #esoteric :elliott: Trivial as in MemoCombinators style? < 1334606908 614828 :nortti!~androirc@a88-113-14-106.elisa-laajakaista.fi PRIVMSG #esoteric :!bfjoust perkele [+.] < 1334606914 750021 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :shachaf: Yes. Or uglymemo style. < 1334606917 321793 :EgoBot!codu@codu.org PRIVMSG #esoteric :​Score for nortti_perkele: 18.9 < 1334606923 158544 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :
ACTION starts writing.
< 1334606924 747544 :shachaf!~shachaf@li227-219.members.linode.com PRIVMSG #esoteric :uglymemo = unsafePerformIO? < 1334606937 107474 :shachaf!~shachaf@li227-219.members.linode.com PRIVMSG #esoteric :elliott: Did you see augustss's answer? < 1334606938 237605 :nortti!~androirc@a88-113-14-106.elisa-laajakaista.fi PRIVMSG #esoteric :!bfjoust perkele [+] < 1334606941 915701 :EgoBot!codu@codu.org PRIVMSG #esoteric :​Score for nortti_perkele: 18.4 < 1334606942 78841 :shachaf!~shachaf@li227-219.members.linode.com PRIVMSG #esoteric :augustss = the best < 1334606945 319349 :nortti!~androirc@a88-113-14-106.elisa-laajakaista.fi PRIVMSG #esoteric :!bfjoust perkele [+.] < 1334606948 15853 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :http://hackage.haskell.org/package/uglymemo < 1334606949 27643 :EgoBot!codu@codu.org PRIVMSG #esoteric :​Score for nortti_perkele: 18.9 < 1334606953 103423 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :shachaf: augustss did not leave an answer. < 1334606960 839074 :nortti!~androirc@a88-113-14-106.elisa-laajakaista.fi PRIVMSG #esoteric :!bfjoust perkele [.+] < 1334606964 595028 :EgoBot!codu@codu.org PRIVMSG #esoteric :​Score for nortti_perkele: 18.9 < 1334606970 872739 :nortti!~androirc@a88-113-14-106.elisa-laajakaista.fi PRIVMSG #esoteric :!bfjoust perkele [.+.] < 1334606974 493179 :EgoBot!codu@codu.org PRIVMSG #esoteric :​Score for nortti_perkele: 17.6 < 1334606980 902242 :nortti!~androirc@a88-113-14-106.elisa-laajakaista.fi PRIVMSG #esoteric :!bfjoust perkele [.+.+] < 1334606984 505531 :EgoBot!codu@codu.org PRIVMSG #esoteric :​Score for nortti_perkele: 20.3 < 1334606985 861715 :shachaf!~shachaf@li227-219.members.linode.com PRIVMSG #esoteric :elliott: The answer is "no". – augustss 12 hours ago < 1334606992 487442 :nortti!~androirc@a88-113-14-106.elisa-laajakaista.fi PRIVMSG #esoteric :!bfjoust perkele [.+.+.+] < 1334606995 753533 :shachaf!~shachaf@li227-219.members.linode.com PRIVMSG #esoteric :THAT LOOKS LIEK AN ANSWER TO ME < 1334606996 250913 :EgoBot!codu@codu.org PRIVMSG #esoteric :​Score for nortti_perkele: 18.5 < 1334607005 135730 :shachaf!~shachaf@li227-219.members.linode.com PRIVMSG #esoteric :THE WORD ANSWER IS IN IT < 1334607005 845491 :shachaf!~shachaf@li227-219.members.linode.com PRIVMSG #esoteric :QED < 1334607021 814430 :nortti!~androirc@a88-113-14-106.elisa-laajakaista.fi PRIVMSG #esoteric :!bfjoust perkele [.+.+][.+.+] < 1334607025 562371 :EgoBot!codu@codu.org PRIVMSG #esoteric :​Score for nortti_perkele: 20.8 < 1334607038 64816 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :
ACTION decides answering shachaf's question will be more pain than it's worth.
< 1334607053 512494 :shachaf!~shachaf@li227-219.members.linode.com PRIVMSG #esoteric :OK! < 1334607059 361675 :shachaf!~shachaf@li227-219.members.linode.com PRIVMSG #esoteric :I'm glad I won't have to give you all that karma. < 1334607063 620986 :zzo38!~zzo38@24.207.49.17 PRIVMSG #esoteric :Do you left-align the convenience amount on your cheques for security purposes? < 1334607068 493526 :nortti!~androirc@a88-113-14-106.elisa-laajakaista.fi PRIVMSG #esoteric :!bfjoust perkele [.+.+][.+.+][.+.+] < 1334607072 116116 :EgoBot!codu@codu.org PRIVMSG #esoteric :​Score for nortti_perkele: 20.8 < 1334607107 809873 :shachaf!~shachaf@li227-219.members.linode.com PRIVMSG #esoteric :zzo38: Which part is the convenience amount? < 1334607213 313020 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :> typeOf (undefined :: TypeRep) < 1334607214 141836 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : TypeRep < 1334607243 42314 :shachaf!~shachaf@li227-219.members.linode.com PRIVMSG #esoteric :elliott: I like how 5 people upvoted dons's answer. < 1334607252 946913 :zzo38!~zzo38@24.207.49.17 PRIVMSG #esoteric :shachaf: The part in digits near the date. < 1334607267 440598 :shachaf!~shachaf@li227-219.members.linode.com PRIVMSG #esoteric :Probably because he's dons. :-( < 1334607271 415255 :augur_!~augur@206.196.185.197 JOIN :#esoteric < 1334607278 273603 :augur!~augur@206.196.185.197 QUIT :Read error: Connection reset by peer < 1334607315 266128 :shachaf!~shachaf@li227-219.members.linode.com PRIVMSG #esoteric :zzo38: I usually left-align it out of habit. < 1334607321 264886 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :wow, I requested 16GB of storage, they gave me 16GiB < 1334607321 621962 :zzo38!~zzo38@24.207.49.17 PRIVMSG #esoteric :The bank has told me that cheques are valid for six months from the date written on there, so sometimes I enter dates five months in the past to give the recipient only one month to deposit it. < 1334607327 102485 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :that's… uncharacteristically nice of someone to do that < 1334607330 981652 :shachaf!~shachaf@li227-219.members.linode.com PRIVMSG #esoteric :I don't expect much security on my cheques. < 1334607345 284141 :shachaf!~shachaf@li227-219.members.linode.com PRIVMSG #esoteric :ais523: Was it RAM? < 1334607351 643664 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :shachaf: no, disk space < 1334607363 37298 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :16GB of RAM would be rather expensive to hire < 1334607379 882219 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :$639.95/mo from Linode. < 1334607393 778993 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :indeed, that seems about right < 1334607401 552239 :shachaf!~shachaf@li227-219.members.linode.com PRIVMSG #esoteric :That soudns rather expensive. < 1334607413 561905 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I'm not surprised that there are people prepared to offer that much, but it is a bit large < 1334607416 564532 :shachaf!~shachaf@li227-219.members.linode.com PRIVMSG #esoteric :You can buy 16GB of RAM for your computer for much less than that. < 1334607417 898115 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :shachaf: Actually, this is a pain. < 1334607427 160178 :shachaf!~shachaf@li227-219.members.linode.com PRIVMSG #esoteric :elliott: What's a pain? < 1334607430 73924 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :No, wait, got it. < 1334607490 90502 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :No, wait, haven't. < 1334607498 45019 :shachaf!~shachaf@li227-219.members.linode.com PRIVMSG #esoteric :Got what? < 1334607506 445103 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :shachaf: There's no function ((Typeable a) => a -> TypeRep -> Dynamic) that casts the argument to that TypeRep. < 1334607533 731131 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :So you can't write read' :: String -> TypeRep -> Dynamic. < 1334607535 560366 :zzo38!~zzo38@24.207.49.17 PRIVMSG #esoteric :shachaf: Cheques do not really have a lot of security, but I make it secure with what I have, by left-aligning the convenience amount, putting bars on both sides of the legal amount, etc. I do have the idea better system for cheques security, which involves a digital signature, which can optionally be encrypted with the public key of the recipient too. < 1334607539 947164 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Actually, wait, that wouldn't even work. < 1334607548 329090 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Oh, I know what would. < 1334607553 83067 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Wait, no, even that wouldn't work. < 1334607556 306701 :shachaf!~shachaf@li227-219.members.linode.com PRIVMSG #esoteric :zzo38: You should make your cheques secure Knuth-style. < 1334607562 755207 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :shachaf: It's impossible without writing a new typeclass. < 1334607565 138280 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :OK, seems that iptables doesn't block connections from localhost < 1334607576 87907 :shachaf!~shachaf@li227-219.members.linode.com PRIVMSG #esoteric :elliott: It is? < 1334607576 969420 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :either that, or ufw's setup for it specifically allows those < 1334607579 441189 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :that makes sense, really < 1334607601 723094 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :shachaf: I get the feeling you already know the answer to the question. < 1334607615 634534 :shachaf!~shachaf@li227-219.members.linode.com PRIVMSG #esoteric :elliott: It doesn't *sound* like it should require a new type class. < 1334607629 491286 :shachaf!~shachaf@li227-219.members.linode.com PRIVMSG #esoteric :Can't you just use Read? < 1334607640 366433 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :No. < 1334607660 430422 :shachaf!~shachaf@li227-219.members.linode.com PRIVMSG #esoteric :Why not? < 1334607660 589985 :zzo38!~zzo38@24.207.49.17 PRIVMSG #esoteric :Will something like the way NodeClass in dvi-processing is implemented, work for what you are trying to make? < 1334607738 396417 :shachaf!~shachaf@li227-219.members.linode.com PRIVMSG #esoteric :elliott: I TOTALLY JUST SHOWED DONS, MAN < 1334607878 814468 :nortti!~androirc@a88-113-14-106.elisa-laajakaista.fi QUIT :Quit: nortti < 1334608170 742495 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :shachaf: You can't do it because you can't write: < 1334608175 140831 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :foo :: (forall a. (Read a, Typeable a) => TypeRep -> a) -> (forall a. (Read a, Typeable a) => a) < 1334608179 472721 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :because the forall and constraints float up. < 1334608218 168202 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Or, hmm. < 1334608245 70729 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Yes, you can. < 1334608308 617908 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :shachaf: http://sprunge.us/CHSj < 1334608320 159364 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :shachaf: This works, but I bet it doesn't actually memoise. < 1334608336 728786 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Because (memo (...)) is under an invisible lambad. < 1334608338 23505 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :*lambda. < 1334608426 316993 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :shachaf: Yes, it's impossible because you want a quantifier-less version to memoise, but since read's return type has to be known at use (unless it's in a type-lambda), you can't make such a version. < 1334608591 125600 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :I found the least-helpful kind tutorial ever: http://www.reddit.com/r/haskell/comments/scagx/understanding_haskell_kinds/c4czblv?context=1 < 1334608725 937467 :shachaf!~shachaf@li227-219.members.linode.com PRIVMSG #esoteric :elliott: Right, yours doesn't memoize. < 1334608757 136827 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :shachaf: shachaf: Yes, it's impossible because you want a quantifier-less version to memoise, but since read's return type has to be known at use (unless it's in a type-lambda), you can't make such a version. < 1334608777 548001 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :(And you want a quantifier-less version to memoise because any quantifier will mean you'll end up stuck under a type-lambda, defeating the memoisation.) < 1334608819 743534 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :You *might* be able to create the mutable memo-table outside of the type lambda... but it'll be very ugly and unsafePerformIOy. < 1334608845 939137 :shachaf!~shachaf@li227-219.members.linode.com PRIVMSG #esoteric :Right, that's the sort of think I was thinking about doing now... < 1334608899 442386 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :shachaf: Actually, I can imagine a pure memoisation solution working... but it would be a pain to set up, because TypeRep is abstract. < 1334608926 338558 :shachaf!~shachaf@li227-219.members.linode.com PRIVMSG #esoteric :elliott: You mean an infinite-trie style thing? < 1334608927 84032 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Actually, that wouldn't work. < 1334608937 216356 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :I was thinking: Construct the infinite trie from the TypeReps, guarding each element behind a ReadVal. < 1334608941 155317 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :But then each individual element won't be shared. < 1334608948 232583 :shachaf!~shachaf@li227-219.members.linode.com PRIVMSG #esoteric :"guarding"? < 1334608971 734596 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Well, you can't have InfiniteTree (forall a. (Show a, Typeable a) => a). < 1334608978 917452 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :So you need to stuff it into something monomorphic. < 1334609025 197062 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :shachaf: Anyway, let me try something. < 1334609077 564065 :augur_!~augur@206.196.185.197 QUIT :Remote host closed the connection < 1334609157 142467 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :shachaf: No dice. < 1334609161 517059 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Actually... < 1334609188 36083 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Yeah, nope. < 1334609198 912330 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :shachaf: The memotable still has to contain the polymorphic thing at the leaves. < 1334609210 831172 :shachaf!~shachaf@li227-219.members.linode.com PRIVMSG #esoteric :elliott: Right, but it'll only be used monomorphically. < 1334609215 200082 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :shachaf: It doesn't matter. < 1334609220 266447 :shachaf!~shachaf@li227-219.members.linode.com PRIVMSG #esoteric :If I understand what you mean. < 1334609226 76121 :shachaf!~shachaf@li227-219.members.linode.com PRIVMSG #esoteric :Which part doesn't matter? < 1334609230 646110 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :It doesn't matter how you'll use it. < 1334609238 498071 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :You stuff it in ReadVal and the sharing is instantly gone because it's a lambda. < 1334609247 974844 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :So putting it in a memotable does absolutely nothing. < 1334609253 773055 :RocketJSquirrel!codu@codu.org PRIVMSG #esoteric :What should I Android on my Android ... < 1334609254 37193 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :You're just storing lambdas in a tree. < 1334609257 558099 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :You still pay the cost every time. < 1334609269 389524 :shachaf!~shachaf@li227-219.members.linode.com PRIVMSG #esoteric :elliott: It's in a lambda, but that doesn't mean it has to be doing the Read. < 1334609275 856295 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :If you could store it in an existential, it'd work; but you can't, because you don't know what type you're using read's result as. < 1334609279 912003 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Because TypeRep is runtime information. < 1334609281 744208 :shachaf!~shachaf@li227-219.members.linode.com PRIVMSG #esoteric :It's in a (TypeRep,String -> a) lambda. < 1334609292 591744 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :No, that's a different lambda. < 1334609297 57198 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :I'm talking about the result you get back from read. < 1334609303 176844 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :That's in a type lambda. < 1334609307 340418 :shachaf!~shachaf@li227-219.members.linode.com PRIVMSG #esoteric :Ah. < 1334609319 218083 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :And you can't apply it, because all you have is a TypeRep, which is not actually a type. < 1334609319 523587 :shachaf!~shachaf@li227-219.members.linode.com PRIVMSG #esoteric :Well, yes, but when you actually look at this result... Hmm. < 1334609322 655422 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :What you'd need is: < 1334609336 258050 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :mkDynamicWithThisType :: (forall a. (Typeable a) => a) -> TypeRep -> Dynamic < 1334609344 690735 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :which would apply the type the TypeRep represents to the type-lambda and stuff it in a Dynamic. < 1334609349 112984 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :But that's not possible to write. < 1334609363 82165 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :There's no fundamental reason you *couldn't* do this; it's just that you can't with GHC. < 1334609398 490659 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :shachaf: Have I convinced you yet? < 1334609402 755464 :shachaf!~shachaf@li227-219.members.linode.com PRIVMSG #esoteric :No. < 1334609406 628696 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :*sigh* < 1334609410 37471 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :You're like that STM guy. < 1334609415 483356 :shachaf!~shachaf@li227-219.members.linode.com PRIVMSG #esoteric :elliott: Given how many times you've gone back and forth yourself on it... < 1334609432 386146 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :shachaf: Yes, but now I know why none of the solutions can possibly work. < 1334609471 920844 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :OK, wait. < 1334609475 426828 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :(Argh, I just went back again.) < 1334609480 161331 :shachaf!~shachaf@li227-219.members.linode.com PRIVMSG #esoteric :elliott: What about something like your/edwardk's reflection-hack? < 1334609489 209555 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :But I got An Idea. < 1334609497 513953 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :shachaf: Doubt it. < 1334609497 673894 :shachaf!~shachaf@li227-219.members.linode.com PRIVMSG #esoteric :I knew it would happen. < 1334609510 893427 :shachaf!~shachaf@li227-219.members.linode.com PRIVMSG #esoteric :elliott: Doesn't that let you provide a new Read dictionary that can cheat? < 1334609519 193776 :shachaf!~shachaf@li227-219.members.linode.com PRIVMSG #esoteric :I didn't actually look at that very closely. < 1334609528 253846 :shachaf!~shachaf@li227-219.members.linode.com PRIVMSG #esoteric :Oh, no, it doesn't really. < 1334609561 275565 :zzo38!~zzo38@24.207.49.17 PRIVMSG #esoteric :These are a few of things stupid with Haskell, so we should make Ibtlfmm it does better. If you want to control such optimization things as memoization more precisely, you could use inline LLVM codes, and attribute pragmas attached to function to control many things if needed < 1334609600 834049 :zzo38!~zzo38@24.207.49.17 QUIT :Remote host closed the connection < 1334609624 257755 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :@hoogle fromDyn < 1334609624 551312 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :Data.Dynamic fromDyn :: Typeable a => Dynamic -> a -> a < 1334609624 821122 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :Data.Dynamic fromDynamic :: Typeable a => Dynamic -> Maybe a < 1334609739 50661 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :shachaf: http://sprunge.us/BIXA < 1334609754 35639 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :That works. < 1334609777 90608 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :The trick was to skip the TypeRep -> part (that's still impossible for the reasons I said). < 1334609787 212368 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Construct the TypeRep from *inside* the type-lambda, but with a reference to a memotable from *outside* it. < 1334609848 31359 :MDude!~fyrc@c-174-55-44-190.hsd1.pa.comcast.net QUIT :Read error: Connection reset by peer < 1334609863 416604 :MDude!~fyrc@c-174-55-44-190.hsd1.pa.comcast.net JOIN :#esoteric < 1334609865 711888 :shachaf!~shachaf@li227-219.members.linode.com PRIVMSG #esoteric : Could not deduce (Data.Hashable.Hashable TypeRep) < 1334609896 203156 :Patashu!Patashu@c122-106-155-219.carlnfd1.nsw.optusnet.com.au JOIN :#esoteric < 1334609947 740457 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :shachaf: Upgrade GHC. < 1334609950 454919 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Or use a Map instead. < 1334609953 139890 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Erm. < 1334609955 424754 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Upgrade hashable, rather. < 1334609972 525309 :kmc_!~keegan@c-65-96-1-204.hsd1.ma.comcast.net JOIN :#esoteric < 1334609986 333545 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :You need GHC 7.0.2 or above for it, thogh. < 1334609987 325330 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :*though < 1334609993 720937 :asiekierka!~asiekierk@178235039209.elblag.vectranet.pl QUIT :Remote host closed the connection < 1334610066 523573 :shachaf!~shachaf@li227-219.members.linode.com PRIVMSG #esoteric :I upgraded Hashable and it's not using the new one. < 1334610068 651131 :shachaf!~shachaf@li227-219.members.linode.com PRIVMSG #esoteric :hlep,a < 1334610123 891753 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Upgrade unordered-containers. < 1334610137 901598 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :(Don't you wish GHC had runtime linking?) < 1334610152 662774 :shachaf!~shachaf@li227-219.members.linode.com PRIVMSG #esoteric :Ooh, fun: < 1334610158 137039 :shachaf!~shachaf@li227-219.members.linode.com PRIVMSG #esoteric :hi monqy < 1334610158 297148 :shachaf!~shachaf@li227-219.members.linode.com PRIVMSG #esoteric :Hi < 1334610158 297405 :shachaf!~shachaf@li227-219.members.linode.com PRIVMSG #esoteric :Q: impossible < 1334610168 732895 :shachaf!~shachaf@li227-219.members.linode.com PRIVMSG #esoteric :Oh, wait. < 1334610168 893529 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Have I mentioned that < 1334610170 12871 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric : -- The general contract of 'hash' is: < 1334610170 173579 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric : -- < 1334610170 173765 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric : -- * This integer need not remain consistent from one execution < 1334610170 173874 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric : -- of an application to another execution of the same < 1334610170 173977 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric : -- application. < 1334610171 776612 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :is evil? < 1334610177 381819 :shachaf!~shachaf@li227-219.members.linode.com PRIVMSG #esoteric :The "impossible" was yours. < 1334610184 90344 :shachaf!~shachaf@li227-219.members.linode.com PRIVMSG #esoteric :I thought it came from GHC. :-( < 1334610185 412410 :kmc!~keegan@c-65-96-1-204.hsd1.ma.comcast.net QUIT :Ping timeout: 260 seconds < 1334610208 632368 :shachaf!~shachaf@li227-219.members.linode.com PRIVMSG #esoteric :I'm using it as the same type. < 1334610214 678345 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :What? < 1334610223 814210 :shachaf!~shachaf@li227-219.members.linode.com PRIVMSG #esoteric :I'm using it as the same type. < 1334610227 799064 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Are you just babbling? < 1334610235 872204 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Your last 9 messages have made no sense. < 1334610239 541517 :shachaf!~shachaf@li227-219.members.linode.com PRIVMSG #esoteric :I'm trying your code and it's broken. < 1334610241 996346 :kmc_!~keegan@c-65-96-1-204.hsd1.ma.comcast.net NICK :kmc < 1334610261 462372 :shachaf!~shachaf@li227-219.members.linode.com PRIVMSG #esoteric :fromDyn is failing. < 1334610269 896440 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Hmm. < 1334610271 510367 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Let me take a look. < 1334610302 82210 :shachaf!~shachaf@li227-219.members.linode.com PRIVMSG #esoteric :data Hi = Hi deriving (Show,Typeable) < 1334610302 281569 :shachaf!~shachaf@li227-219.members.linode.com PRIVMSG #esoteric :instance Read Hi where readsPrec _ _ = trace "hi monqy" [(Hi,"")] < 1334610313 29299 :shachaf!~shachaf@li227-219.members.linode.com PRIVMSG #esoteric : let i = mkReadVal "hi" < 1334610313 189215 :shachaf!~shachaf@li227-219.members.linode.com PRIVMSG #esoteric : let (ReadVal x) = i < 1334610313 189349 :shachaf!~shachaf@li227-219.members.linode.com PRIVMSG #esoteric : print (x :: Hi) < 1334610313 189513 :shachaf!~shachaf@li227-219.members.linode.com PRIVMSG #esoteric : print (x :: Hi) < 1334610313 189620 :shachaf!~shachaf@li227-219.members.linode.com PRIVMSG #esoteric : print (x :: Hi) < 1334610322 935133 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :@hoogle fromDyn < 1334610323 162867 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :Data.Dynamic fromDyn :: Typeable a => Dynamic -> a -> a < 1334610323 361404 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :Data.Dynamic fromDynamic :: Typeable a => Dynamic -> Maybe a < 1334610346 788059 :nortti!~androirc@a88-113-14-106.elisa-laajakaista.fi JOIN :#esoteric < 1334610353 447609 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :I don't see why it's saying "impossible". < 1334610376 807775 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :*Main> applyMkReadVal foo :: Int < 1334610376 967547 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :42 < 1334610376 967681 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :*Main> applyMkReadVal foo :: Int < 1334610376 967789 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :*** Exception: impossible < 1334610380 743166 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :There's only one possible TypeRep key in the map. < 1334610383 246851 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :So how can they fail to match? < 1334610399 995131 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :02:34:54 I would be interested in jour opinions on Frege, is it an enrichment, or do you consider it as not so important? < 1334610400 155505 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :02:37:14 ursthegiz: I've never heard his name before (well, that's not true, I heard it once before), so while he may have had an important influence it was apparently not big enough to feel that I should be reading his work rather than later work based on it < 1334610402 565628 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :-- #haskell < 1334610453 567249 :nortti!~androirc@a88-113-14-106.elisa-laajakaista.fi PRIVMSG #esoteric :`which quote < 1334610456 29870 :HackEgo!codu@codu.org PRIVMSG #esoteric :​/hackenv/bin/quote < 1334610487 275296 :shachaf!~shachaf@li227-219.members.linode.com PRIVMSG #esoteric :elliott: They're the same type. < 1334610491 1019 :shachaf!~shachaf@li227-219.members.linode.com PRIVMSG #esoteric :Why isn't it working. :-( < 1334610494 936780 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :shachaf: Let me test something. < 1334610496 906931 :nortti!~androirc@a88-113-14-106.elisa-laajakaista.fi PRIVMSG #esoteric :`ls /hackenv < 1334610499 689219 :HackEgo!codu@codu.org PRIVMSG #esoteric :UNDELETE.EXE \ bin \ canary \ karma \ lib \ monqy \ paste \ quotes \ share \ wisdom < 1334610505 278229 :shachaf!~shachaf@li227-219.members.linode.com PRIVMSG #esoteric :elliott: Wait, did you just forget to do the memoization bit? < 1334610510 756952 :nortti!~androirc@a88-113-14-106.elisa-laajakaista.fi PRIVMSG #esoteric :`ls /hackenv/bin < 1334610513 427469 :HackEgo!codu@codu.org PRIVMSG #esoteric :​? \ @ \ No \ WELCOME \ addquote \ allquotes \ calc \ define \ delquote \ etymology \ forget \ fortune \ frink \ google \ hatesgeo \ json \ k \ karma \ karma+ \ karma- \ learn \ log \ logurl \ macro \ marco \ ok \ paste \ pastekarma \ pastelog \ pastelogs \ pastenquotes \ pastequotes \ pastewisdom \ pastlog \ ping \ prefixes \ qc \ quote \ quotes \ roll \ searchlog \ toutf8 \ translate \ translatefromto \ translateto < 1334610515 167202 :shachaf!~shachaf@li227-219.members.linode.com PRIVMSG #esoteric :Oh, never mind. < 1334610532 162775 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :`rm UNDELETE.EXE < 1334610533 864188 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :`? No < 1334610534 776965 :HackEgo!codu@codu.org PRIVMSG #esoteric :No output. < 1334610536 640681 :HackEgo!codu@codu.org PRIVMSG #esoteric :No? ¯\(°_o)/¯ < 1334610543 468991 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :shachaf: Oh, hmm. < 1334610548 886007 :nortti!~androirc@a88-113-14-106.elisa-laajakaista.fi PRIVMSG #esoteric :`ok < 1334610551 569713 :HackEgo!codu@codu.org PRIVMSG #esoteric :​^ul (?so `ok fdhsfdsgdsg: 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)S < 1334610552 98927 :ion!ion@heh.fi PRIVMSG #esoteric :`ls /hackenv/bin | tr a-zA-Z n-za-mN-ZA-M < 1334610555 263603 :HackEgo!codu@codu.org PRIVMSG #esoteric :ls: cannot access /hackenv/bin | tr a-zA-Z n-za-mN-ZA-M: No such file or directory < 1334610583 543439 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :`rm bin/ok < 1334610585 117668 :shachaf!~shachaf@li227-219.members.linode.com PRIVMSG #esoteric :elliott: Oh... < 1334610585 945482 :HackEgo!codu@codu.org PRIVMSG #esoteric :No output. < 1334610589 707427 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :shachaf: What? < 1334610592 33016 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :My "oh" was wrong. < 1334610593 914181 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :ion: try `run < 1334610599 940868 :shachaf!~shachaf@li227-219.members.linode.com PRIVMSG #esoteric :elliott: You forgot a "return" < 1334610605 244514 :shachaf!~shachaf@li227-219.members.linode.com PRIVMSG #esoteric :It works now. < 1334610607 541702 :nortti!~androirc@a88-113-14-106.elisa-laajakaista.fi PRIVMSG #esoteric :`run ls /hackenv/bin | tr a-zA-Z n-za-mN-ZA-M < 1334610610 277330 :HackEgo!codu@codu.org PRIVMSG #esoteric :​? \ @ \ Ab \ JRYPBZR \ nqqdhbgr \ nyydhbgrf \ pnyp \ qrsvar \ qrydhbgr \ rglzbybtl \ sbetrg \ sbeghar \ sevax \ tbbtyr \ ungrftrb \ wfba \ x \ xnezn \ xnezn+ \ xnezn- \ yrnea \ ybt \ ybthey \ znpeb \ znepb \ cnfgr \ cnfgrxnezn \ cnfgrybt \ cnfgrybtf \ cnfgradhbgrf \ cnfgrdhbgrf \ cnfgrjvfqbz \ cnfgybt \ cvat \ cersvkrf \ dp \ dhbgr \ dhbgrf \ ebyy \ frnepuybt \ gbhgs8 \ genafyngr \ genafyngrsebzgb \ genafyngrgb < 1334610612 304817 :shachaf!~shachaf@li227-219.members.linode.com PRIVMSG #esoteric :return (fromDyn ...) < 1334610617 120452 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :shachaf: Oh. < 1334610619 895777 :shachaf!~shachaf@li227-219.members.linode.com PRIVMSG #esoteric :Its type was being inferred as IO a < 1334610628 104955 :nortti!~androirc@a88-113-14-106.elisa-laajakaista.fi PRIVMSG #esoteric :`which cc < 1334610630 910065 :HackEgo!codu@codu.org PRIVMSG #esoteric :​/usr/bin/cc < 1334610634 29052 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :shachaf: If I post this to SO, will you accept it? < 1334610646 552474 :ion!ion@heh.fi PRIVMSG #esoteric :`run ls /hackenv/bin | perl -CS -Mutf8 -pwe 'y/!-~/！-～/; y/ /　/' < 1334610650 441 :HackEgo!codu@codu.org PRIVMSG #esoteric :​？ \ ＠ \ Ｎｏ \ ＷＥＬＣＯＭＥ \ ａｄｄｑｕｏｔｅ \ ａｌｌｑｕｏｔｅｓ \ ｃａｌｃ \ ｄｅｆｉｎｅ \ ｄｅｌｑｕｏｔｅ \ ｅｔｙｍｏｌｏｇｙ \ ｆｏｒｇｅｔ \ ｆｏｒｔｕｎｅ \ ｆｒｉｎｋ \ ｇｏｏｇｌｅ \ ｈａｔｅｓｇｅｏ \ ｊｓｏｎ \ ｋ \ ｋａｒｍａ \ ｋａｒｍａ＋ \ ｋａｒｍａ－ \ ｌｅａｒｎ \ ｌｏｇ < 1334610652 845908 :nortti!~androirc@a88-113-14-106.elisa-laajakaista.fi PRIVMSG #esoteric :`file /usr/bin/cc < 1334610655 599169 :HackEgo!codu@codu.org PRIVMSG #esoteric :​/usr/bin/cc: symbolic link to `/etc/alternatives/cc' < 1334610663 496999 :shachaf!~shachaf@li227-219.members.linode.com PRIVMSG #esoteric :elliott: If nothing better comes along... :-( < 1334610677 829375 :shachaf!~shachaf@li227-219.members.linode.com PRIVMSG #esoteric :elliott: I mean, it does what I wanted. < 1334610679 556960 :nortti!~androirc@a88-113-14-106.elisa-laajakaista.fi PRIVMSG #esoteric :`file /etc/alternatives/cc < 1334610682 16010 :HackEgo!codu@codu.org PRIVMSG #esoteric :​/etc/alternatives/cc: symbolic link to `/usr/bin/gcc' < 1334610693 169300 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :shachaf: Why do you want this, anyway? < 1334610706 598121 :shachaf!~shachaf@li227-219.members.linode.com PRIVMSG #esoteric :elliott: I don't. I think it's a bad idea. < 1334610720 797977 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Rephrase: Why did you ask the question, anyway? < 1334610732 199735 :shachaf!~shachaf@li227-219.members.linode.com PRIVMSG #esoteric :elliott: By the way, any reason you're not using UglyMemo instead of doing it yourself? < 1334610783 799676 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :shachaf: Because you can't use UglyMemo for the exact reason I told you earlier. < 1334610795 34026 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :It would make the memo table _inside_ the ReadVal. < 1334610823 849573 :shachaf!~shachaf@li227-219.members.linode.com PRIVMSG #esoteric :Ah, yes. < 1334610832 145858 :shachaf!~shachaf@li227-219.members.linode.com PRIVMSG #esoteric :Which is why you need the ReadVal type in the first place. < 1334610847 987375 :shachaf!~shachaf@li227-219.members.linode.com PRIVMSG #esoteric :Rather than just :: -> Read a => Typeable a => a < 1334610906 713894 :shachaf!~shachaf@li227-219.members.linode.com PRIVMSG #esoteric :elliott: *Could* you do it and return a value :: (Read a, Typeable a) => a? < 1334611031 37669 :shachaf!~shachaf@li227-219.members.linode.com PRIVMSG #esoteric :elliott: (I don't think anything better is likely to come along, by the way.) < 1334611037 335603 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :shachaf: Posted. < 1334611040 403218 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Also, could you do what? < 1334611089 904903 :shachaf!~shachaf@li227-219.members.linode.com PRIVMSG #esoteric :Instead of returning a ReadVal, return a straight polymorphic value. < 1334611101 77025 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Yes, that would work. < 1334611102 869044 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Do you want me to? < 1334611121 86866 :shachaf!~shachaf@li227-219.members.linode.com PRIVMSG #esoteric :Well, it seems nicer not to have a ReadVal if you don't need one. < 1334611141 791927 :shachaf!~shachaf@li227-219.members.linode.com PRIVMSG #esoteric :How would you do it? < 1334611173 790421 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Oh wait, I just did that and it broke it. < 1334611197 254165 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :(Obviously, in retrospect.) < 1334611199 357211 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :shachaf: No, you can't do it. < 1334611202 45044 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :GHC always floats everything left. < 1334611207 340805 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :shachaf: However, < 1334611213 956533 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :let foo = mkReadVal "blah" < 1334611218 100206 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :in foo `seq` useReadVal foo < 1334611221 247464 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :should be OK to use polymorphically. < 1334611340 738260 :shachaf!~shachaf@li227-219.members.linode.com PRIVMSG #esoteric :Do you even need the foo `seq`? < 1334611389 766012 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :shachaf: I'm not sure. < 1334611392 156633 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :But it's harmless at worst. < 1334611428 709827 :shachaf!~shachaf@li227-219.members.linode.com PRIVMSG #esoteric :I don't like dons's answer. :-( < 1334611430 791494 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :shachaf: By the way, I don't like how augustss posts answers as comments. :( < 1334611432 181890 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Ooh! < 1334611434 559348 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Simultani-complaint! < 1334611439 304623 :shachaf!~shachaf@li227-219.members.linode.com PRIVMSG #esoteric :He's in pattern-matching mode. < 1334611442 208849 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :*SLIGHTLY ABOVE-AVERAGE FIVE* < 1334611455 27264 :shachaf!~shachaf@li227-219.members.linode.com PRIVMSG #esoteric :I hope your answer gets upvoted above his. < 1334611455 262636 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :*BEGINNING-TO-HALLUCINATE FIVE* < 1334611462 598536 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :shachaf: I almost downvoted his. < 1334611470 975587 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :But then I was all "that will cost me *one* *rep* *point*". < 1334611478 410888 :augur!~augur@206.196.185.197 JOIN :#esoteric < 1334611495 422736 :shachaf!~shachaf@li227-219.members.linode.com PRIVMSG #esoteric :Would it cost *me* that? < 1334611500 363880 :shachaf!~shachaf@li227-219.members.linode.com PRIVMSG #esoteric :I have ~0 rep points. < 1334611503 290021 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Yes. < 1334611508 319710 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :But don't do that. < 1334611509 510263 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :It'd be Rude. < 1334611516 17023 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :http://stackoverflow.com/tags/haskell/topusers ;; I hate dons too. < 1334611554 221162 :augur!~augur@206.196.185.197 PRIVMSG #esoteric :dons hasnt been on irc in like 90 days :( < 1334611582 74295 :shachaf!~shachaf@li227-219.members.linode.com PRIVMSG #esoteric :elliott: If augustss posted answer as answers, he'd get infini-karma. < 1334611587 16731 :shachaf!~shachaf@li227-219.members.linode.com PRIVMSG #esoteric :So he's doing it for your sake. < 1334611613 316000 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :hmm, any idea why rsyslogd is running at nearly 100% CPU? < 1334611659 207344 :shachaf!~shachaf@li227-219.members.linode.com PRIVMSG #esoteric :elliott: You may not like dons, but surely you like cmccann, right? < 1334611698 456807 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :and if I kill it, another rsyslogd spawns that runs at nearly 100% CPU < 1334611762 263840 :shachaf!~shachaf@li227-219.members.linode.com PRIVMSG #esoteric :14:28 < aiju> legal language is so fucked up, it's like C++++ < 1334611798 815230 :kmc!~keegan@c-65-96-1-204.hsd1.ma.comcast.net PRIVMSG #esoteric ::3 < 1334611829 565339 :shachaf!~shachaf@li227-219.members.linode.com PRIVMSG #esoteric :Do you have a hilight on C++? < 1334611994 488430 :kmc!~keegan@c-65-96-1-204.hsd1.ma.comcast.net PRIVMSG #esoteric :no < 1334612055 819135 :shachaf!~shachaf@li227-219.members.linode.com PRIVMSG #esoteric :elliott: Er, I think your code is broken. < 1334612056 456135 :nortti!~androirc@a88-113-14-106.elisa-laajakaista.fi PRIVMSG #esoteric :`pastefortunes < 1334612060 239332 :shachaf!~shachaf@li227-219.members.linode.com PRIVMSG #esoteric :mkReadVal :: (Read a, Typeable a) => String -> ReadVal < 1334612062 311127 :HackEgo!codu@codu.org PRIVMSG #esoteric :http://codu.org/projects/hackbot/fshg/index.cgi/raw-file/tip/paste/paste.7097 < 1334612221 160442 :nortti!~androirc@a88-113-14-106.elisa-laajakaista.fi PRIVMSG #esoteric :my own hackego command that is a hackish oneliner < 1334612226 661541 :nortti!~androirc@a88-113-14-106.elisa-laajakaista.fi PRIVMSG #esoteric :`pastefortunes < 1334612232 546231 :HackEgo!codu@codu.org PRIVMSG #esoteric :http://codu.org/projects/hackbot/fshg/index.cgi/raw-file/tip/paste/paste.16622 < 1334612240 484884 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :oh, haha, perhaps the amount of CPU time that /exists on the system/ is only the amount being used? < 1334612318 156571 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :`fortune < 1334612321 151431 :HackEgo!codu@codu.org PRIVMSG #esoteric :A man may be so much of everything that he is nothing of anything. \..-- Samuel Johnson < 1334612350 267211 :KingOfKarlsruhe!~chatzilla@p5B131B9B.dip.t-dialin.net QUIT :Quit: ChatZilla 0.9.88.2 [Firefox 11.0/20120312181643] < 1334612413 862175 :nortti!~androirc@a88-113-14-106.elisa-laajakaista.fi PRIVMSG #esoteric :" sadist is a masochist who follows the Golden Rule." < 1334612755 238580 :nortti!~androirc@a88-113-14-106.elisa-laajakaista.fi QUIT :Quit: qq < 1334612810 15264 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :shachaf: Oops. < 1334612843 369274 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :shachaf: Fixed. < 1334612857 994231 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :shachaf: I had an idea for getting rid of the Typeable constraint, but it didn't work. :( < 1334612891 648368 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :what port is secure smtp? < 1334612904 192287 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :@google secure smtp port < 1334612905 890939 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :http://www.emailaddressmanager.com/tips/mail-servers.html < 1334612906 114797 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :Title: Email Ports and Mail Servers < 1334612918 296224 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :It's on that page. < 1334612919 222991 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :ah, found it on Wikipedia < 1334612937 405896 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :587 < 1334612990 386595 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric : elliott: You may not like dons, but surely you like cmccann, right? < 1334612999 128744 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :shachaf: No, he has more rep than me. < 1334613003 847775 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Once I fix that, I'll like him. < 1334613185 241149 :joo!joo@unaffiliated/joo JOIN :#esoteric < 1334613311 211183 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :`welcome joo < 1334613314 253007 :HackEgo!codu@codu.org PRIVMSG #esoteric :joo: 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 < 1334613360 662994 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :ah, found it, it's failing to read some procfile it expects < 1334613365 963169 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :(found it by searching) < 1334613369 490993 :shachaf!~shachaf@li227-219.members.linode.com PRIVMSG #esoteric :elliott: What was your idea? < 1334613377 355300 :joo!joo@unaffiliated/joo PRIVMSG #esoteric :Thank you. < 1334613433 316024 :shachaf!~shachaf@li227-219.members.linode.com PRIVMSG #esoteric :I guess maybe you could do unsafe pointer comparison for the Read dictionaries, since they're going to be static anyway? < 1334613437 547902 :shachaf!~shachaf@li227-219.members.linode.com PRIVMSG #esoteric :Or something along those lines? < 1334613544 390534 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :shachaf: Oh, that was my idea! Except I forgot it on the way to realising it didn't work, but it does. < 1334613547 405626 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Not unsafe -- just StableName. < 1334613553 184798 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Except you can just use read itself. < 1334613554 755688 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :@src Read < 1334613554 955734 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :class Read a where < 1334613555 172327 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : readsPrec :: Int -> ReadS a < 1334613555 332445 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : readList :: ReadS [a] < 1334613555 332583 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : readPrec :: ReadPrec a < 1334613555 332690 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : readListPrec :: ReadPrec [a] < 1334613560 941273 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Uh, readsPrec. Whatever. < 1334613606 386697 :shachaf!~shachaf@li227-219.members.linode.com PRIVMSG #esoteric :StableName? < 1334613648 404152 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :shachaf: http://hackage.haskell.org/packages/archive/base/4.5.0.0/doc/html/System-Mem-StableName.html < 1334613655 718300 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :I'll update my answer for that later. < 1334613683 369472 :shachaf!~shachaf@li227-219.members.linode.com PRIVMSG #esoteric :Oh, nifty. < 1334613693 691624 :shachaf!~shachaf@li227-219.members.linode.com PRIVMSG #esoteric :elliott: Why aren't more people upvoting your answer. :-( < 1334613710 868372 :shachaf!~shachaf@li227-219.members.linode.com PRIVMSG #esoteric :Instead of dons. Maybe you should change your name to Eliot Bruce Stewart. < 1334613781 896246 :shachaf!~shachaf@li227-219.members.linode.com PRIVMSG #esoteric :elliott: How can you get a StableName for read itself? < 1334613806 449662 :shachaf!~shachaf@li227-219.members.linode.com PRIVMSG #esoteric :Oh, by specializing it to :: String -> a? < 1334613869 397574 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :shachaf: Yes. < 1334613873 87517 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :shachaf: Execpt not read. < 1334613876 403175 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :It would have to be readsPrec. < 1334613880 479326 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :read isn't part of the dictionary. < 1334613895 286765 :shachaf!~shachaf@li227-219.members.linode.com PRIVMSG #esoteric :Right. < 1334613972 855845 :shachaf!~shachaf@li227-219.members.linode.com PRIVMSG #esoteric :Are you sure that would work? < 1334614002 712024 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :shachaf: Why wouldn't it? < 1334614047 156142 :shachaf!~shachaf@li227-219.members.linode.com PRIVMSG #esoteric :Does specializing readsPrec actually give you a pointer to a static thing? < 1334614094 216684 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :shachaf: Why not? < 1334614097 4061 :A5b47a346!~A5b47a346@cho94-8-88-178-12-119.fbx.proxad.net JOIN :#esoteric < 1334614097 163658 :A5b47a346!~A5b47a346@cho94-8-88-178-12-119.fbx.proxad.net QUIT :Excess Flood < 1334614106 680472 :Nisstyre!~yours@c-208-90-102-250.netflash.net QUIT :Read error: Operation timed out < 1334614180 774568 :A4e4d63e8!~A4e4d63e8@cho94-8-88-178-12-119.fbx.proxad.net JOIN :#esoteric < 1334614180 934850 :A4e4d63e8!~A4e4d63e8@cho94-8-88-178-12-119.fbx.proxad.net QUIT :Excess Flood < 1334614191 495712 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :fizzie: ^ < 1334614192 767762 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :ais523: ^ < 1334614197 680280 :shachaf!~shachaf@li227-219.members.linode.com PRIVMSG #esoteric :Well, because _readsPrec :: _Read a -> Int -> ReadS a < 1334614203 401186 :shachaf!~shachaf@li227-219.members.linode.com PRIVMSG #esoteric :Specializing it might just make a thunk. < 1334614223 325787 :A4bbd0eae!~A4bbd0eae@cho94-8-88-178-12-119.fbx.proxad.net JOIN :#esoteric < 1334614223 487482 :A4bbd0eae!~A4bbd0eae@cho94-8-88-178-12-119.fbx.proxad.net QUIT :Excess Flood < 1334614231 449409 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :shachaf: fine, read "" then < 1334614235 472456 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :and use the thunk you get < 1334614239 16780 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :hmm that won't work < 1334614242 115221 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :elliott: what's the ^ at? < 1334614247 591029 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :that person repeatedly joinparting? < 1334614255 182692 :ChanServ!ChanServ@services. MODE #esoteric +o :ais523 > 1334614255 236875 NAMES :#esoteric < 1334614255 890841 :shachaf!~shachaf@li227-219.members.linode.com PRIVMSG #esoteric :elliott: Getting a guaranteed pointer to a static dictionary seems a bit tricky. < 1334614262 592942 :shachaf!~shachaf@li227-219.members.linode.com PRIVMSG #esoteric :joinpartying! < 1334614262 752491 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :ais523: that *bot < 1334614265 704390 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :different nicks each time < 1334614268 595406 :ais523!~ais523@unaffiliated/ais523 MODE #esoteric +b :*!*@cho94-8-88-178-12-119.fbx.proxad.net > 1334614268 618233 NAMES :#esoteric < 1334614273 565411 :ais523!~ais523@unaffiliated/ais523 MODE #esoteric -o :ais523 > 1334614273 587052 NAMES :#esoteric < 1334614280 807797 :shachaf!~shachaf@li227-219.members.linode.com PRIVMSG #esoteric :Join Party! < 1334614297 266123 :himonqy!~shachaf@li227-219.members.linode.com JOIN :#esoteric < 1334614320 72600 :hielliott!~shachaf@li227-219.members.linode.com JOIN :#esoteric < 1334614330 392354 :himonqy!~shachaf@li227-219.members.linode.com QUIT :Client Quit < 1334614330 667062 :hielliott!~shachaf@li227-219.members.linode.com QUIT :Client Quit < 1334614434 891077 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :apparently that's happening in many channels < 1334614436 546350 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :with different IPs < 1334614478 40693 :fizzie!fis@unaffiliated/fizzie QUIT :Ping timeout: 245 seconds < 1334614640 933496 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :shachaf: Do you remember that time edwardk accidentally made his library give you unsafeCoerce? < 1334614674 821973 :shachaf!~shachaf@li227-219.members.linode.com PRIVMSG #esoteric :No. < 1334614692 822255 :shachaf!~shachaf@li227-219.members.linode.com PRIVMSG #esoteric :Which one? < 1334614697 540992 :fizzie!fis@unaffiliated/fizzie JOIN :#esoteric < 1334614725 724280 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :reflection < 1334614737 904657 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :"Removed the dependency on multiparameter type classes, functional dependencies, and flexible instances, by making Reifies a single parameter type class in the same fashion as ReifiesStorable." -- which meant you could reify anything as anything. < 1334614897 999697 :shachaf!~shachaf@li227-219.members.linode.com PRIVMSG #esoteric :elliott: I don't see how you could do it with StableName... < 1334614937 764594 :shachaf!~shachaf@li227-219.members.linode.com PRIVMSG #esoteric :Oh, I just made it work. < 1334614948 822212 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :shachaf: It's easy, no? < 1334614955 414672 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :shachaf: Hey, I was going to do it. :''( < 1334614971 161906 :shachaf!~shachaf@li227-219.members.linode.com PRIVMSG #esoteric :elliott: Don't worry, you can do it with fewer unsafeCoerces than I used! < 1334614975 573154 :shachaf!~shachaf@li227-219.members.linode.com PRIVMSG #esoteric :I used 4. < 1334614983 406307 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :shachaf: What? < 1334614985 174711 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :You don't need any. < 1334614987 930197 :shachaf!~shachaf@li227-219.members.linode.com PRIVMSG #esoteric :Right. < 1334614996 58352 :shachaf!~shachaf@li227-219.members.linode.com PRIVMSG #esoteric :Hmm, how do you do it without any? < 1334615000 476262 :shachaf!~shachaf@li227-219.members.linode.com PRIVMSG #esoteric :You can't toDyn without Typeable. < 1334615015 483065 :shachaf!~shachaf@li227-219.members.linode.com PRIVMSG #esoteric :Can you keep it polymorphic somehow? < 1334615035 687356 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :shachaf: Oh, hmm, good point. < 1334615043 216345 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Well, you need at most two unsafeCoerces. < 1334615108 230193 :shachaf!~shachaf@li227-219.members.linode.com PRIVMSG #esoteric :elliott: I used more unsafeCoerces for the StableName. < 1334615113 583049 :shachaf!~shachaf@li227-219.members.linode.com PRIVMSG #esoteric :Because what would the StableName's type be? < 1334615163 111770 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :shachaf: hashStableName :: StableName a -> Int < 1334615169 672175 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :You key the table on the hash. < 1334615185 56125 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :(Okay, this isn't safe. :( ) < 1334615196 929984 :shachaf!~shachaf@li227-219.members.linode.com PRIVMSG #esoteric :Oh. < 1334615201 632851 :shachaf!~shachaf@li227-219.members.linode.com PRIVMSG #esoteric :I just used it directly. < 1334615238 178124 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Yeah, it's a bad idea, because that's not safe. < 1334615261 842183 :shachaf!~shachaf@li227-219.members.linode.com PRIVMSG #esoteric :hi monqy < 1334615262 2400 :shachaf!~shachaf@li227-219.members.linode.com PRIVMSG #esoteric :Hi < 1334615262 2556 :shachaf!~shachaf@li227-219.members.linode.com PRIVMSG #esoteric :Hi < 1334615262 2659 :shachaf!~shachaf@li227-219.members.linode.com PRIVMSG #esoteric :Hi < 1334615262 2759 :shachaf!~shachaf@li227-219.members.linode.com PRIVMSG #esoteric :ho monqy < 1334615264 493991 :shachaf!~shachaf@li227-219.members.linode.com PRIVMSG #esoteric :Ho < 1334615266 959892 :shachaf!~shachaf@li227-219.members.linode.com PRIVMSG #esoteric :Ho < 1334615269 431928 :shachaf!~shachaf@li227-219.members.linode.com PRIVMSG #esoteric :Ho < 1334615272 434008 :shachaf!~shachaf@li227-219.members.linode.com PRIVMSG #esoteric :monqy = Santa Claus < 1334615298 218128 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :shachaf: Anyway, mine is arguably better, in that it doesn't need unsafeCoerce :p < 1334615304 442558 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :shachaf: Actually... < 1334615314 825896 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :I bet I could get it down to, like, one unsafeCoerce using vault. < 1334615341 540343 :shachaf!~shachaf@li227-219.members.linode.com PRIVMSG #esoteric :I forgot what Vault is. < 1334615353 367612 :shachaf!~shachaf@li227-219.members.linode.com PRIVMSG #esoteric :It was like an exciting underground adventure, though. < 1334615357 853555 :shachaf!~shachaf@li227-219.members.linode.com PRIVMSG #esoteric :With keys and everything. < 1334615358 12849 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :http://hackage.haskell.org/packages/archive/vault/0.1.0.0/doc/html/Data-Vault.html < 1334615378 385288 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :It's a heterogeneous Map with the type encoded in the keys. < 1334615394 669774 :shachaf!~shachaf@li227-219.members.linode.com PRIVMSG #esoteric :Hm. < 1334615533 559579 :shachaf!~shachaf@li227-219.members.linode.com PRIVMSG #esoteric :elliott: I like how fragile this is. < 1334615544 488872 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :shachaf: Eh? < 1334615558 11442 :shachaf!~shachaf@li227-219.members.linode.com PRIVMSG #esoteric :I mean, maybe. Maybe not. Who knows? < 1334615582 634738 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :shachaf: How fragile what is? < 1334615585 394696 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :vault isn't fragile. < 1334615590 442255 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :It even has a pure implementation. < 1334615602 463396 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :(Okay, the pure implementation requires one unsafePerformIO, but it's really benign; not the kind you can use to unsafeCoerce.) < 1334615613 364080 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :(And you can omit the unsafePerformIO if you're OK with lookup returning in IO.) < 1334615620 185953 :shachaf!~shachaf@li227-219.members.linode.com PRIVMSG #esoteric :Not vault. < 1334615625 484621 :shachaf!~shachaf@li227-219.members.linode.com PRIVMSG #esoteric :The other thing. < 1334615634 827381 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :The memo thing? < 1334615637 98459 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :How's it fragile? < 1334615658 448635 :shachaf!~shachaf@li227-219.members.linode.com PRIVMSG #esoteric :I don't know! < 1334615668 904454 :shachaf!~shachaf@li227-219.members.linode.com PRIVMSG #esoteric :But it has three unsafeCoerces in it. < 1334615676 23696 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Oh, *your* thing. < 1334615678 291147 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :My thing isn't fragile. < 1334615682 700927 :shachaf!~shachaf@li227-219.members.linode.com PRIVMSG #esoteric :The Dynamic thing? < 1334615685 332065 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Yes. < 1334615687 201963 :Nisstyre!~yours@c-208-90-102-250.netflash.net JOIN :#esoteric < 1334615687 465235 :shachaf!~shachaf@li227-219.members.linode.com PRIVMSG #esoteric :No, that one's probably OK. < 1334615687 625054 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :shachaf: Do you make sure to seq readsPrec first? < 1334615691 954199 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Consider < 1334615702 173251 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :readsPrec = let mumble mumble = ... in blah `seq` \x -> ... < 1334615742 595786 :shachaf!~shachaf@li227-219.members.linode.com PRIVMSG #esoteric :> let mumble mumble = 5 in mumble mumble < 1334615743 466551 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : 5 < 1334615753 820752 :shachaf!~shachaf@li227-219.members.linode.com PRIVMSG #esoteric :whoa, dude < 1334615828 910318 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :> let mumble :: (forall a. a -> b) -> b; mumble mumble = mumble mumble in mumble (const 42) < 1334615829 831143 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : 42 < 1334615832 588555 :augur!~augur@206.196.185.197 QUIT :Remote host closed the connection < 1334615849 437381 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :``Like, whoa, man.'' -- Sha Chaf < 1334615852 209198 :HackEgo!codu@codu.org PRIVMSG #esoteric :​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: `Like,: not found < 1334615854 873543 :shachaf!~shachaf@li227-219.members.linode.com PRIVMSG #esoteric :elliott: Wait, why isn't that working? < 1334615859 818297 :shachaf!~shachaf@li227-219.members.linode.com PRIVMSG #esoteric :data Ho = Ho deriving (Show,Typeable) < 1334615859 978009 :shachaf!~shachaf@li227-219.members.linode.com PRIVMSG #esoteric :instance Read Ho where readsPrec = let x = trace "ho elliott" in x `seq` \_ _ -> trace "ho monqy" [(Ho,"")] < 1334615869 780785 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :How is it not working? < 1334615876 687474 :shachaf!~shachaf@li227-219.members.linode.com PRIVMSG #esoteric :That prints "ho monqy" without printing "ho elliott" even once. < 1334615885 917609 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Odd. < 1334615891 141325 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Anyway, you need to evaluate readsPrec. < 1334615895 740214 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :StableNames aren't preserved over forcing. < 1334615921 478949 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :(I like the part where Haskell desperately needs an operational semantics because of IO.) < 1334615923 641401 :shachaf!~shachaf@li227-219.members.linode.com PRIVMSG #esoteric :elliott: You should figure it out and add it to your SO answer! < 1334615958 844363 :shachaf!~shachaf@li227-219.members.linode.com PRIVMSG #esoteric :(I like the part where OPERATIONAL SEMANTICS ARE THE DEVIL NO ONE NEEDS YOU OPERATIONAL SEMANTICS IO IS A LIE FOUR SIMULTANEOUS THREAD TICKS WITHIN A SINGLE CLOCK CYCLE.) < 1334615975 253651 :shachaf!~shachaf@li227-219.members.linode.com PRIVMSG #esoteric :s/ARE/IS/ < 1334615985 901009 :shachaf!~shachaf@li227-219.members.linode.com PRIVMSG #esoteric :I may never get the hang of that word. < 1334616025 509869 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :shachaf: Eh? ARE was correct. < 1334616039 901236 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Hmm, or maybe not. < 1334616052 755853 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :I like how "a " is the only way to say "an operational semantics". :( < 1334616072 610341 :shachaf!~shachaf@li227-219.members.linode.com PRIVMSG #esoteric :An operational semantick. < 1334616084 247003 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric : ski, maybe is a functor, too. yes ? that is, mapM is overkill, use fmap < 1334616127 320940 :shachaf!~shachaf@li227-219.members.linode.com PRIVMSG #esoteric :elliott: I like the part where you're making fun of a person for not knowing the Haskell standard library as well as you. < 1334616155 215625 :shachaf!~shachaf@li227-219.members.linode.com PRIVMSG #esoteric :(Actually you're making fun of them for being both an annoying pedant and wrong at the same time, I guess.) < 1334616184 976245 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :shachaf: I don't make fun of people for being ignorant. < 1334616196 650545 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :I make fun of people who are ignorant and act like they're not. < 1334616227 358249 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :e.g.: but you could use the prelude sequence and fmap and not depend on Foldable. < 1334616242 852365 :shachaf!~shachaf@li227-219.members.linode.com PRIVMSG #esoteric ::-( < 1334616255 134900 :shachaf!~shachaf@li227-219.members.linode.com PRIVMSG #esoteric :15:43 < ksf> yes. that's what maybetolist is for :) < 1334616281 371623 :shachaf!~shachaf@li227-219.members.linode.com PRIVMSG #esoteric :elliott: Do you like the thing where someone says something and turns out to be wrong and then pretends they were saying something else all along? < 1334616312 586356 :shachaf!~shachaf@li227-219.members.linode.com PRIVMSG #esoteric :I like that thing. < 1334616326 124780 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :shachaf: I think they might have been sincere about that. < 1334616331 351491 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :But it's idiotic, because maybeToList isn't in Prelude. < 1334616333 215014 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :@hoogle maybeToList < 1334616333 450390 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :Data.Maybe maybeToList :: Maybe a -> [a] < 1334616342 594450 :shachaf!~shachaf@li227-219.members.linode.com PRIVMSG #esoteric :elliott: OK, you should get the non-Typeable version working. < 1334616349 719351 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :shachaf: Okay. < 1334616369 410086 :shachaf!~shachaf@li227-219.members.linode.com PRIVMSG #esoteric :The fewer unsafeCoerces, thes more points you get. < 1334616438 22529 :shachaf!~shachaf@li227-219.members.linode.com PRIVMSG #esoteric :elliott: I like how my unsafeCoerce version works even with "read" instead of "readsprec". < 1334616463 528725 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :shachaf: What? How. :( < 1334616466 167361 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :@src read < 1334616466 339565 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :read s = either error id (readEither s) < 1334616469 55127 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric ::( < 1334616497 765183 :shachaf!~shachaf@li227-219.members.linode.com PRIVMSG #esoteric :I think as far as GHC is concerned one is just as likely to work as the other. < 1334616505 923168 :shachaf!~shachaf@li227-219.members.linode.com PRIVMSG #esoteric :I mean, they're both functions :: ReadDict a -> ... < 1334616523 977396 :shachaf!~shachaf@li227-219.members.linode.com PRIVMSG #esoteric :There's no difference in how you use them except that one is in the dictionary. But it's still just an accessor function. < 1334616540 818927 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :shachaf: Yes, but the readsPrec in the dictionary is always at the same place. < 1334616548 50190 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :read, applied to a dictionary, is a new function each time. < 1334616569 709037 :shachaf!~shachaf@li227-219.members.linode.com PRIVMSG #esoteric :readsPrec is also a new function each time? < 1334616573 384284 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :No. < 1334616575 911015 :shachaf!~shachaf@li227-219.members.linode.com PRIVMSG #esoteric :Unless GHC does some clever optimization. < 1334616576 71005 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Why would it be? < 1334616578 242626 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :The dictionary is a static object. < 1334616586 17949 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :data Foo = Foo { bar :: Int } < 1334616586 848419 :shachaf!~shachaf@li227-219.members.linode.com PRIVMSG #esoteric :Right, but readsPrec is just a normal function. < 1334616594 841907 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Is (bar x) a new Int every time you call it? < 1334616597 57300 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :For the same x? < 1334616601 857295 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Hardly; it's the same pointer-to-Int each time. < 1334616610 578244 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Now s/Int/TypeOfReadsPrec/, s/Foo/TheDictionary/. < 1334616616 723107 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :But: quux x = bar x + 42 < 1334616621 289097 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :(quux x) is a new Int each time. < 1334616623 480202 :shachaf!~shachaf@li227-219.members.linode.com PRIVMSG #esoteric :Hm. < 1334616634 599848 :shachaf!~shachaf@li227-219.members.linode.com PRIVMSG #esoteric :Well, it is a new thunk each time. < 1334616637 986012 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :shachaf: Once forced. < 1334616639 409593 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :It's called sharing, dude. < 1334616658 280893 :shachaf!~shachaf@li227-219.members.linode.com PRIVMSG #esoteric :elliott: So why is read working? < 1334616661 280425 :shachaf!~shachaf@li227-219.members.linode.com PRIVMSG #esoteric :Riddle me that, riddler. < 1334616666 980618 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :I don't know; show me the Core. < 1334616671 977877 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :@type readsPrec < 1334616672 737610 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :forall a. (Read a) => Int -> String -> [(a, String)] < 1334616714 84918 :shachaf!~shachaf@li227-219.members.linode.com PRIVMSG #esoteric :The Core is long. < 1334616755 247494 :ion!ion@heh.fi PRIVMSG #esoteric :The long core is long. < 1334616807 427053 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :shachaf: Use ghc-core. < 1334616816 946912 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :shachaf: Have I mentioned that I don't like how functions destroy sharing? < 1334616846 121032 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :`quote < 1334616846 506428 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :`quote < 1334616846 898810 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :`quote < 1334616847 255085 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :`quote < 1334616854 875048 :HackEgo!codu@codu.org PRIVMSG #esoteric :515) Taneb's been hit by melancholy. He didn't have any friends, fortunatel.y < 1334616866 648432 :HackEgo!codu@codu.org PRIVMSG #esoteric :26) SUPLENTES EN UN UNIVERSO (MUSSOLINI CUANDO CONQUISTO EL MUNDO): i tan solo puede concluir que es defectuoso, o el mundo esta absolutamente loco. Todos a la gloria Il Duce! < 1334616867 391262 :HackEgo!codu@codu.org PRIVMSG #esoteric :806) elliott: the new fnord elliott: what is the point? nothing changed. < 1334616869 632974 :HackEgo!codu@codu.org PRIVMSG #esoteric :827) elliott: Apparently Rowan Williams is Primate of All England. CHECKMATE CREATIONISTS < 1334616876 278253 :ion!ion@heh.fi PRIVMSG #esoteric :No win. < 1334616882 154141 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :ion: wat < 1334616886 188577 :shachaf!~shachaf@li227-219.members.linode.com PRIVMSG #esoteric :elliott: What about ghc-core? < 1334616896 128300 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :shachaf: cabal install ghc-core < 1334616899 218813 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :ghc-core myprog.hs < 1334616903 390308 :shachaf!~shachaf@li227-219.members.linode.com PRIVMSG #esoteric :Yes, and? < 1334616910 118437 :ion!ion@heh.fi PRIVMSG #esoteric :The quote game: get two out of two quotes from the same person in a row. < 1334616920 662437 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric : I was rather thinking of haskell plus type-family ducktypes minus monomorphism restriction plus ghci defaulting. < 1334616920 987340 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric : ksf: "type-family ducktypes"? < 1334616923 245466 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric : class Num a b where; type NumCo a b :: *; (+) :: a -> b -> NumCo a b < 1334616934 490490 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :shachaf: Then give me the Core. < 1334616938 955465 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :It elides some crap from GHC's output. < 1334616946 226726 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :`quote < 1334616948 234195 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :(Missed one.) < 1334616949 44214 :HackEgo!codu@codu.org PRIVMSG #esoteric :328) Not all Christians are, but there are a lot of Christians that are such annoying retards. < 1334616961 109935 :shachaf!~shachaf@li227-219.members.linode.com PRIVMSG #esoteric :elliott: HELP I JUST BROKE IT < 1334616961 269531 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :ais523: which one should I delete? < 1334616963 611995 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :I think 515 or 328 < 1334616975 545168 :shachaf!~shachaf@li227-219.members.linode.com PRIVMSG #esoteric :elliott: Wow. < 1334616981 937122 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :shachaf: What. < 1334616983 207403 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :
ACTION looks
< 1334616983 367323 :shachaf!~shachaf@li227-219.members.linode.com PRIVMSG #esoteric :elliott: Adding some *definitions* to the file breaks it. < 1334616987 619093 :ion!ion@heh.fi PRIVMSG #esoteric :@quote < 1334616987 871468 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :identity says: "To " ++ (show $ log (2^1024)) ++ " and beyond!" < 1334616989 909318 :ion!ion@heh.fi PRIVMSG #esoteric :@quote < 1334616990 313875 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :bringert says: psicho: so you are saying that your teacher gave you two days to do an assignment in a language you didn't know? < 1334616997 629562 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :elliott: neither 515 nor 328 is funny < 1334617000 280280 :shachaf!~shachaf@li227-219.members.linode.com PRIVMSG #esoteric :Wait, no it doesn't. < 1334617012 826891 :shachaf!~shachaf@li227-219.members.linode.com PRIVMSG #esoteric :elliott: OK, I think this is nondeterministic. < 1334617017 79484 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :ais523: 328 was funnier when it happened because it was in response to oklopol claiming the end of it < 1334617025 413949 :shachaf!~shachaf@li227-219.members.linode.com PRIVMSG #esoteric :But, uh, even so it's kind of weird. < 1334617027 527487 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :`delquote 328 < 1334617031 363608 :HackEgo!codu@codu.org PRIVMSG #esoteric :​*poof* Not all Christians are, but there are a lot of Christians that are such annoying retards. < 1334617046 979212 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :`quote < 1334617049 363236 :HackEgo!codu@codu.org PRIVMSG #esoteric :52) Maternal instincts? Don't you just leave the thing in a box until it starts crying, and then shake it until it stops? < 1334617052 371712 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :`quote < 1334617053 12134 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :`quote < 1334617053 483677 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :`quote < 1334617053 723096 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :`quote < 1334617064 368256 :HackEgo!codu@codu.org PRIVMSG #esoteric :527) Pythagoras was running away and he reached a field of beans, but he didn't want to step on them so he let those guys chasing him to kill him instead. < 1334617072 880608 :HackEgo!codu@codu.org PRIVMSG #esoteric :489) It's ok guys. I am doing what I can to keep my psyche and ego surviving. All the while the threat of ww3 looms, the mortality of family and friends(loved ones?) and sooner or llater my own mortality. < 1334617073 934718 :shachaf!~shachaf@li227-219.members.linode.com PRIVMSG #esoteric :elliott: Remember your Foo example? < 1334617076 976890 :HackEgo!codu@codu.org PRIVMSG #esoteric :168) Vorpal: YOU ARE AMERICAN < 1334617078 307987 :HackEgo!codu@codu.org PRIVMSG #esoteric :768) kallisti: by ordered multiset did you mean: list?????? < 1334617081 125333 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :shachaf: Which Foo example? < 1334617086 379874 :shachaf!~shachaf@li227-219.members.linode.com PRIVMSG #esoteric :Foo { bar :: Int } < 1334617087 613315 :shachaf!~shachaf@li227-219.members.linode.com PRIVMSG #esoteric :+ 42 < 1334617093 933620 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Right./ < 1334617097 542306 :shachaf!~shachaf@li227-219.members.linode.com PRIVMSG #esoteric :elliott: For that + 42 function, sometimes I'm getting equal pointers and sometimes I'm not. < 1334617104 677326 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :`delquote 168 < 1334617106 203535 :shachaf!~shachaf@li227-219.members.linode.com PRIVMSG #esoteric :Without changing the code. < 1334617108 156512 :HackEgo!codu@codu.org PRIVMSG #esoteric :​*poof* Vorpal: YOU ARE AMERICAN < 1334617113 478366 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :shachaf: -fno-cse < 1334617133 499231 :shachaf!~shachaf@li227-219.members.linode.com PRIVMSG #esoteric :elliott: Oh, wait, I may just have been wrong. < 1334617147 121929 :ion!ion@heh.fi PRIVMSG #esoteric :
ACTION chuckles at ordered multiset
< 1334617147 659731 :shachaf!~shachaf@li227-219.members.linode.com PRIVMSG #esoteric :That doesn't change the fact that "read" is behaving the same way. < 1334617163 869048 :shachaf!~shachaf@li227-219.members.linode.com PRIVMSG #esoteric :elliott: I just got it again! < 1334617186 651804 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric ::( < 1334617192 133368 :shachaf!~shachaf@li227-219.members.linode.com PRIVMSG #esoteric :This is really weird. < 1334617224 291095 :shachaf!~shachaf@li227-219.members.linode.com PRIVMSG #esoteric :I mean, sometimes I consistently get "hi monqy\nhi\nhi\nhi\nho monqy\nho\nho\nho\n". < 1334617232 92106 :shachaf!~shachaf@li227-219.members.linode.com PRIVMSG #esoteric :And sometimes I consistently get "hi monqy" printing three times. < 1334617235 268483 :shachaf!~shachaf@li227-219.members.linode.com PRIVMSG #esoteric :But I'm not changing the code! < 1334617246 334536 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Are you recompiling? < 1334617248 351812 :shachaf!~shachaf@li227-219.members.linode.com PRIVMSG #esoteric :("ho monqy" also prints three times.) < 1334617249 931328 :shachaf!~shachaf@li227-219.members.linode.com PRIVMSG #esoteric :Yes. < 1334617291 20362 :shachaf!~shachaf@li227-219.members.linode.com PRIVMSG #esoteric :It's also happening with readsPrec now. < 1334617297 372448 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric ::( < 1334617317 966438 :shachaf!~shachaf@li227-219.members.linode.com PRIVMSG #esoteric :I just did "undo" in my editor repeatedly to get back to a state I *know* worked. < 1334617320 961117 :shachaf!~shachaf@li227-219.members.linode.com PRIVMSG #esoteric :Still happening. < 1334617324 628553 :shachaf!~shachaf@li227-219.members.linode.com PRIVMSG #esoteric :HLE O2 < 1334617401 914064 :shachaf!~shachaf@li227-219.members.linode.com PRIVMSG #esoteric :3 > 2 < 1334617412 651946 :shachaf!~shachaf@li227-219.members.linode.com PRIVMSG #esoteric :∎ < 1334617450 299298 :shachaf!~shachaf@li227-219.members.linode.com PRIVMSG #esoteric :elliott: But this is true with both read and readsPrec. < 1334617470 746488 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :shachaf: But O*x = O. < 1334617474 545910 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Don't you know basic arithmetic? < 1334617477 695534 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Just like O(n) = O. < 1334617481 838200 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric := O(O). < 1334617542 839511 :shachaf!~shachaf@li227-219.members.linode.com PRIVMSG #esoteric :> let o = fun "O" in fix o < 1334617543 774729 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : Ambiguous type variable `a' in the constraints: < 1334617543 966743 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : `GHC.Show.Show a' < 1334617544 126555 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : a... < 1334617547 468828 :shachaf!~shachaf@li227-219.members.linode.com PRIVMSG #esoteric :> let o = fun "O" in fix o :: Expr < 1334617548 450535 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : O (O (O (O (O (O (O (O (O (O (O (O (O (O (O (O (O (O (O (O (O (O (O (O (O (... < 1334617554 217867 :shachaf!~shachaf@li227-219.members.linode.com PRIVMSG #esoteric :O, now I understand. < 1334617562 201849 :Phantom_Hoover!~Phantom@unaffiliated/phantom-hoover/x-3377486 QUIT :Quit: Leaving < 1334617611 297396 :ion!ion@heh.fi PRIVMSG #esoteric :> fun "O" (fun "I" (var "C")) < 1334617612 225023 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : Ambiguous type variable `t' in the constraints: < 1334617612 384939 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : `SimpleReflect.FromExpr ... < 1334617615 2503 :ion!ion@heh.fi PRIVMSG #esoteric :> fun "O" (fun "I" (var "C")) :: Expr < 1334617615 997056 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : Ambiguous type variable `t' in the constraints: < 1334617616 196501 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : `SimpleReflect.FromExpr ... < 1334617619 770103 :ion!ion@heh.fi PRIVMSG #esoteric :meh < 1334617858 371174 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :> fun "O" (fun "I" (var "C") :: Expr) :: Expr < 1334617859 289205 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : O (I C) < 1334617941 69161 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :shachaf: By the way, I'm still writing my own version. < 1334617941 547630 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :4 u < 1334617944 367692 :shachaf!~shachaf@li227-219.members.linode.com PRIVMSG #esoteric :elliott: It doesn't actually matter that it behaves differently with -O! < 1334617951 374619 :augur!~augur@216-164-57-20.c3-0.slvr-ubr1.lnh-slvr.md.cable.rcn.com JOIN :#esoteric < 1334617959 674508 :shachaf!~shachaf@li227-219.members.linode.com PRIVMSG #esoteric :elliott: thnx 2 u 4 thanks, hat < 1334617959 882584 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :shachaf: Wait. < 1334617962 586732 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :It can't possibly work. < 1334617971 506365 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Wait. < 1334617977 890031 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Yes, it can. < 1334617979 785947 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Ignore me. < 1334617986 352825 :shachaf!~shachaf@li227-219.members.linode.com PRIVMSG #esoteric :elliott: I've been ignoring you all day. < 1334617999 237664 :shachaf!~shachaf@li227-219.members.linode.com PRIVMSG #esoteric :elliott: Remember how you proved to me that it's impossible and I didn't believe you? < 1334618077 835748 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :shachaf: http://sprunge.us/BWDQ < 1334618078 978998 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Try this. < 1334618088 276158 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Also, what I proved was impossible *was* impossible. < 1334618092 107085 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :It just wasn't quite your original question. < 1334618160 932793 :shachaf!~shachaf@li227-219.members.linode.com PRIVMSG #esoteric :? < 1334618177 429770 :shachaf!~shachaf@li227-219.members.linode.com PRIVMSG #esoteric :You mean the question that wanted it done automatically through sharing? < 1334618185 167245 :shachaf!~shachaf@li227-219.members.linode.com PRIVMSG #esoteric :That was just one part of the original question. < 1334618278 411990 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :No. < 1334618290 222825 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :I proved that the obvious way to construct it using memoisation on TypeRep wouldn't work. < 1334618368 112626 :shachaf!~shachaf@li227-219.members.linode.com PRIVMSG #esoteric :elliott: It's because I was being silly and misusing trace. < 1334618404 516256 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Oh, duh. < 1334618406 76702 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :I was wondering. < 1334618430 878670 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :
ACTION thinks it should be trace :: String -> Bool
< 1334618439 120076 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :trace s = unsafePerformIO (hPutStrLn stderr s >> return False) < 1334618444 961316 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :foo _ | trace "hello!" = undefined < 1334618604 181582 :kmc!~keegan@c-65-96-1-204.hsd1.ma.comcast.net PRIVMSG #esoteric :that would be useful < 1334618632 993982 :shachaf!~shachaf@li227-219.members.linode.com PRIVMSG #esoteric :You can still say trace "hello!" False < 1334618640 78339 :shachaf!~shachaf@li227-219.members.linode.com PRIVMSG #esoteric :@src trace < 1334618640 379179 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :trace string expr = unsafePerformIO $ do < 1334618640 553916 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : hPutStrLn stderr string < 1334618640 714127 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : return expr < 1334618641 207833 :elliott!~elliott@unaffiliated/elliott NICK :delliott < 1334618646 831648 :delliott!~elliott@unaffiliated/elliott NICK :elliott < 1334618670 405058 :shachaf!~shachaf@li227-219.members.linode.com PRIVMSG #esoteric :Maybe trace should be trace string = unsafePerformIO (hPutStrLn stderr string) `seq` id < 1334618678 961069 :shachaf!~shachaf@li227-219.members.linode.com PRIVMSG #esoteric :That way you could use it both my wrong way and the normal way. < 1334618695 812505 :shachaf!~shachaf@li227-219.members.linode.com PRIVMSG #esoteric :All in one function! < 1334618731 550680 :shachaf!~shachaf@li227-219.members.linode.com PRIVMSG #esoteric :elliott: I don't like your readsPrecOf. < 1334618740 207182 :shachaf!~shachaf@li227-219.members.linode.com PRIVMSG #esoteric :Maybe it's OK, though. < 1334618755 88056 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :shachaf: I wanted to avoid Data.Typeable. < 1334618758 445784 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :shachaf: Anyway, does it work? < 1334618766 903546 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Erm. < 1334618772 57021 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :By Data.Typeable, I mean ScopedTypeVariables. < 1334618773 874388 :ion!ion@heh.fi PRIVMSG #esoteric :Hmm, that would be different from trace string x = unsafePerformIO (hPutStrLn stderr string) `seq` x. < 1334618780 560523 :monqy!~swell@pool-71-102-226-192.snloca.dsl-w.verizon.net PRIVMSG #esoteric :shachaf: did you give up giving up hi? < 1334618784 605184 :shachaf!~shachaf@li227-219.members.linode.com PRIVMSG #esoteric :elliott: Yes, it works. < 1334618786 399120 :monqy!~swell@pool-71-102-226-192.snloca.dsl-w.verizon.net PRIVMSG #esoteric :I think I might give up giving up giving up hi < 1334618795 408117 :shachaf!~shachaf@li227-219.members.linode.com PRIVMSG #esoteric :elliott: But it also works with readOf < 1334618802 289361 :shachaf!~shachaf@li227-219.members.linode.com PRIVMSG #esoteric :monqy: No, just in code. < 1334618809 80831 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :shachaf: It shouldn't. :( < 1334618826 409685 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :ion: That's the point. < 1334618830 174442 :shachaf!~shachaf@li227-219.members.linode.com PRIVMSG #esoteric :"i h8 u read stop workinn :'(" - eliot < 1334618832 446014 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :By the way, have I mentioned that seq is fucking evil? < 1334618852 685083 :shachaf!~shachaf@li227-219.members.linode.com PRIVMSG #esoteric :elliott: Did you know: seq is not strict in its first argument? < 1334618862 457962 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :shachaf: Eh? < 1334618869 543468 :shachaf!~shachaf@li227-219.members.linode.com PRIVMSG #esoteric :seq is a non-strict function. < 1334618884 291104 :shachaf!~shachaf@li227-219.members.linode.com PRIVMSG #esoteric :That's the best thing about seq. < 1334618895 841745 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Oh, seq _|_ = const _|_, not _|_. < 1334618900 302132 :shachaf!~shachaf@li227-219.members.linode.com PRIVMSG #esoteric :Right. < 1334618907 722716 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :That's... I don't think I count that as non-strict. < 1334618913 849561 :shachaf!~shachaf@li227-219.members.linode.com PRIVMSG #esoteric :What? < 1334618924 549751 :shachaf!~shachaf@li227-219.members.linode.com PRIVMSG #esoteric :Strict function, n.: A function f such taht f _|_ = _|_ < 1334618925 150041 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Well, "in its first argument", so if we're talking about a two-argument seq, < 1334618928 721534 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :seq _|_ x = _|_ < 1334618930 128868 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :shachaf: *that < 1334618936 931376 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :shachaf: And yes, but I think const _|_ = _|_. < 1334618943 634337 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :After all, seq is the only way you can distinguish those... < 1334618946 876062 :shachaf!~shachaf@li227-219.members.linode.com PRIVMSG #esoteric :elliott: I'd agree with you, except in the presence of seq! < 1334618950 762121 :shachaf!~shachaf@li227-219.members.linode.com PRIVMSG #esoteric :So ha. < 1334618959 346451 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :shachaf: seq should distinguish const _|_ and _|_. :( < 1334618967 148414 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :By applying its argument to undefined, if it's a function. < 1334618983 298316 :shachaf!~shachaf@li227-219.members.linode.com PRIVMSG #esoteric :That's disgusting. < 1334619088 986703 :shachaf!~shachaf@li227-219.members.linode.com PRIVMSG #esoteric :elliott: Are you going to post it? < 1334619160 828505 :shachaf!~shachaf@li227-219.members.linode.com PRIVMSG #esoteric :elliott: Your solution has three unsafeCoerces. :-( < 1334619179 662441 :ion!ion@heh.fi PRIVMSG #esoteric :Only three? :-( < 1334619423 134671 :azaq23!~derivecto@unaffiliated/azaq23 QUIT :Quit: Leaving. < 1334619646 311126 :augur!~augur@216-164-57-20.c3-0.slvr-ubr1.lnh-slvr.md.cable.rcn.com QUIT :Remote host closed the connection < 1334620103 26714 :augur!~augur@216-164-57-20.c3-0.slvr-ubr1.lnh-slvr.md.cable.rcn.com JOIN :#esoteric < 1334620119 225318 :shachaf!~shachaf@li227-219.members.linode.com PRIVMSG #esoteric :elliott: Why does it work with read. :-( < 1334620134 100327 :shachaf!~shachaf@li227-219.members.linode.com PRIVMSG #esoteric :elliott: And are you going to post it. :-( < 1334620177 531992 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :shachaf: Not until I figure out why it works with read. < 1334620704 452825 :augur!~augur@216-164-57-20.c3-0.slvr-ubr1.lnh-slvr.md.cable.rcn.com QUIT :Remote host closed the connection