< 1319069111 907895 :elliott!~elliott@unaffiliated/elliott QUIT :Remote host closed the connection < 1319069212 809104 :kwertii!~kwertii@ResNet-33-19.resnet.ucsb.edu QUIT :Quit: kwertii < 1319069635 435269 :copumpkin!~pumpkin@unaffiliated/pumpkingod JOIN :#esoteric < 1319070037 374467 :Jafet!~Jafet@unaffiliated/jafet QUIT :Quit: Leaving. < 1319070225 201450 :elliott_!~elliott@95.149.230.188 JOIN :#esoteric < 1319070297 918576 :Sgeo|web!ad034d00@gateway/web/freenode/ip.173.3.77.0 JOIN :#esoteric < 1319070309 765669 :Sgeo|web!ad034d00@gateway/web/freenode/ip.173.3.77.0 PRIVMSG #esoteric :I hate the List monad < 1319070332 855263 :Sgeo|web!ad034d00@gateway/web/freenode/ip.173.3.77.0 PRIVMSG #esoteric :Can't deal with infinite lists sensibly, bluh < 1319070351 465500 :Sgeo|web!ad034d00@gateway/web/freenode/ip.173.3.77.0 PRIVMSG #esoteric :I mentioned it in #haskell, apparently there's no way to write the instance properly? < 1319070364 610795 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :a tree monad might be better for such a thing < 1319070423 225089 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :also, there's that MonadLogic >>- thing which breaks the ordering but otherwise does something like what you'd want, iiuc < 1319070471 547859 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :> [1..] >>- map (,) x [1..] < 1319070472 365083 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : Couldn't match expected type `[a]' < 1319070472 511626 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : against inferred type `SimpleRef... < 1319070474 719949 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :oops < 1319070482 92649 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :> [1..] >>- \x -> map (,) x [1..] < 1319070482 912918 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : Couldn't match expected type `[t] -> [b]' < 1319070483 59563 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : against inferred type `[b... < 1319070487 32 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :now what < 1319070489 973193 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric ::t (>>-) < 1319070490 781867 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :forall (m :: * -> *) a b. (MonadLogic m) => m a -> (a -> m b) -> m b < 1319070501 692895 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :oh hm < 1319070508 443787 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :> [1..] >>- \x -> map ((,) x) [1..] < 1319070509 205868 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : [(1,1),(2,1),(1,2),(3,1),(1,3),(2,2),(1,4),(4,1),(1,5),(2,3),(1,6),(3,2),(1... < 1319070513 358169 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :there you go < 1319070638 276723 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :it's not very balanced in how often elements are taken from the first list though: 1 is picked 1/2 of the time, 2 1/4 of the time, 3 1/8, etc. < 1319070704 992758 :pikhq_!~pikhq@174-22-150-115.clsp.qwest.net QUIT :Remote host closed the connection < 1319070743 920781 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric ::t Node < 1319070744 608960 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :forall a. a -> Forest a -> Tree a < 1319070810 523067 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :that's the wrong kind of tree to be a monad, iirc < 1319070870 261272 :Sgeo|web!ad034d00@gateway/web/freenode/ip.173.3.77.0 PRIVMSG #esoteric :What kind of tree is that? < 1319070899 828142 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :Forest a = [Tree a], iirc < 1319070908 585659 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :Node is the constructor < 1319070949 106711 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :so each node has an a label, and a list of children < 1319071064 130526 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :> (Node 1 []) >>= \x -> (Node x []) -- let's check if it is a Monad anyway < 1319071064 877442 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : Node {rootLabel = 1, subForest = []} < 1319071069 505558 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :ooh it is < 1319071135 598264 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :> return 1 >>= \x -> (Node x []) < 1319071136 498249 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : Node {rootLabel = 1, subForest = []} < 1319071152 561385 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :> return 1 :: Tree Int < 1319071153 355360 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : Node {rootLabel = 1, subForest = []} < 1319071175 567830 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :but... < 1319071244 183647 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :> Node 1 [Node 2 [], Node 3 []] >>= \x -> Node x [Node (x+10), Node (x+10)] < 1319071245 172788 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : Couldn't match expected type `Data.Tree.Tree t' < 1319071245 355933 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : against inferred ty... < 1319071267 208112 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :> Node 1 [Node 2 [], Node 3 []] >>= \x -> Node x [Node (x+10) [], Node (x+10) []] < 1319071268 46909 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : Node {rootLabel = 1, subForest = [Node {rootLabel = 11, subForest = []},Nod... < 1319071287 884851 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :gah < 1319071291 335751 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :so verbose < 1319071460 676683 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric ::t showAsList < 1319071461 415870 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :Not in scope: `showAsList' < 1319071467 976983 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :@hoogle showAsList < 1319071468 349928 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :No results found < 1319071509 576378 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric ::t showListWith < 1319071510 375918 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :Not in scope: `showListWith' < 1319071522 190262 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric ::t Text.Show.showListWith < 1319071523 5490 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :forall a. (a -> ShowS) -> [a] -> String -> String < 1319071542 411112 :ive!~nn@189.179.247.113 QUIT :Read error: Operation timed out < 1319071674 121127 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :@let showsT s (Node x l) = ("Node (" ++) . s x . (") "++) . Text.Show.showListWith (showsT s) l; sT t = showsT show t < 1319071674 633265 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : :5:55: Not in scope: `Text.Show.showListWith' < 1319071680 558052 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :dammit < 1319071885 663788 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :> levels $ Node 1 [Node 2 [], Node 3 []] >>= \x -> Node x [Node (x+10) [], Node (x+10) []] < 1319071886 439110 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : [[1],[11,11,2,3],[12,12,13,13]] < 1319071914 802207 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :hm that doesn't really give all information < 1319071955 993630 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :too much work. < 1319071989 8308 :Madoka-Kaname!~moe@inportb/loli/cirno-chan PRIVMSG #esoteric ::t levels < 1319071989 864231 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :forall a. Tree a -> [[a]] < 1319072010 235331 :Madoka-Kaname!~moe@inportb/loli/cirno-chan PRIVMSG #esoteric ::t Node < 1319072011 73131 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :forall a. a -> Forest a -> Tree a < 1319072016 647310 :Madoka-Kaname!~moe@inportb/loli/cirno-chan PRIVMSG #esoteric :... < 1319072018 128447 :Madoka-Kaname!~moe@inportb/loli/cirno-chan PRIVMSG #esoteric :Forest a!? < 1319072027 479182 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric := [Tree a] < 1319072047 179804 :Madoka-Kaname!~moe@inportb/loli/cirno-chan PRIVMSG #esoteric :Ah. < 1319072149 75674 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :the module in question contains several methods for building trees, and some instances, but nothing that can be used to easily give it in a compact format :( < 1319072155 322710 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :http://www.haskell.org/ghc/docs/latest/html/libraries/containers-0.4.1.0/Data-Tree.html < 1319072171 602790 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :the default Show instance includes all field names < 1319072196 215281 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :basically, there is nothing there to take _apart_ trees recursively. < 1319072310 430789 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :> drawTree $ Node 1 [Node 2 [], Node 3 []] >>= \x -> show <$> Node x [Node (x+10) [], Node (x+10) []] < 1319072311 249719 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : "1\n|\n+- 11\n|\n+- 11\n|\n+- 2\n| |\n| +- 12\n| |\n| `- 12\n|\n`- 3\n ... < 1319072349 679180 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :@show "test" < 1319072349 866828 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :"\"test\"" < 1319072355 305774 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :@read "test" < 1319072355 556874 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : test < 1319072386 33391 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :@msg lambdabot @run text . drawTree $ Node 1 [Node 2 [], Node 3 []] >>= \x -> show <$> Node x [Node (x+10) [], Node (x+10) []] < 1319072386 255675 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :Not enough privileges < 1319072390 638340 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :gah < 1319072452 960315 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :well that worked, sort of, although i had to give @more twice < 1319072586 316668 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :ok it appears that >>= simply concatenates the list part from the 1 with the list of results from 2 and 3 < 1319072663 429516 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :Node x ts >>= f = Node x' (ts' ++ map (>>= f) ts) where Node x' ts' = f x < 1319072709 345359 :elliott_!~elliott@95.149.230.188 PRIVMSG #esoteric :hi oerjan < 1319072719 673923 :elliott_!~elliott@95.149.230.188 PRIVMSG #esoteric :01:24 I hate the List monad < 1319072720 769860 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :does that fulfil the monad laws i wonder < 1319072727 657497 :elliott_!~elliott@95.149.230.188 PRIVMSG #esoteric :I like the part where you criticise things before fully understanding them < 1319072732 408580 :elliott_!~elliott@95.149.230.188 PRIVMSG #esoteric :(this is what you always do) < 1319072735 491810 :Vorpal!~AnMaster@unaffiliated/anmaster QUIT :Ping timeout: 248 seconds < 1319072745 718707 :elliott_!~elliott@95.149.230.188 PRIVMSG #esoteric :01:34 Forest a = [Tree a], iirc < 1319072749 515623 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :elliott_: well he did have a valid point < 1319072752 355147 :elliott_!~elliott@95.149.230.188 PRIVMSG #esoteric :oerjan: no, it's -- oh, Forest < 1319072766 252444 :elliott_!~elliott@95.149.230.188 PRIVMSG #esoteric :01:55 the module in question contains several methods for building trees, and some instances, but nothing that can be used to easily give it in a compact format :( < 1319072771 829177 :elliott_!~elliott@95.149.230.188 PRIVMSG #esoteric :um that is what the draw functions are for < 1319072781 573534 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :elliott_: those are not compact. < 1319072785 228220 :elliott_!~elliott@95.149.230.188 PRIVMSG #esoteric :fine :P < 1319072790 636288 :elliott_!~elliott@95.149.230.188 PRIVMSG #esoteric :how could they be more compact < 1319072795 733342 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :especially not compact enough to demonstrate with lambdabot < 1319072836 197138 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :something like the Show, except leaving out all the field fluff < 1319072874 833366 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i tried to define it above but i gave up when showListWith was unavailable < 1319072893 569649 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :> showListWith < 1319072894 359227 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : Not in scope: `showListWith' < 1319072919 884811 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :there _might_ be some obscure module prefix, of course < 1319072935 635438 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :(Text.Show already tested) < 1319073040 150040 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :ok >>= does fulfil 1st and 2nd monad laws, i think < 1319073056 38948 :kwertii!~kwertii@ResNet-33-19.resnet.ucsb.edu JOIN :#esoteric < 1319073096 942056 :elliott_!~elliott@95.149.230.188 PRIVMSG #esoteric :oerjan: well it's Text.Show.showListWith < 1319073101 426236 :elliott_!~elliott@95.149.230.188 PRIVMSG #esoteric :> Text.Show.showListWith < 1319073102 230724 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : Not in scope: `Text.Show.showListWith' < 1319073111 236111 :elliott_!~elliott@95.149.230.188 PRIVMSG #esoteric :> TS.showListWith < 1319073112 139522 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : Not in scope: `TS.showListWith' < 1319073114 93537 :elliott_!~elliott@95.149.230.188 PRIVMSG #esoteric :> Show.showListWith < 1319073114 918630 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : Not in scope: `Show.showListWith' < 1319073116 725279 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric : (Text.Show already tested) < 1319073116 872122 :elliott_!~elliott@95.149.230.188 PRIVMSG #esoteric :> q < 1319073117 729366 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : q < 1319073119 587678 :elliott_!~elliott@95.149.230.188 PRIVMSG #esoteric :oerjan: ah < 1319073149 909937 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :lambdabot's little inconsistencies... < 1319073209 745687 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :there should be some form which we didn't have to guess, which would have to be the fully qualified one with the actual module name. < 1319073539 977556 :Sgeo|web!ad034d00@gateway/web/freenode/ip.173.3.77.0 PRIVMSG #esoteric :Is there a way to see which modules are loaded? < 1319073711 161616 :elliott_!~elliott@95.149.230.188 PRIVMSG #esoteric :Sgeo|web: yes, read L.hs < 1319073714 507542 :elliott_!~elliott@95.149.230.188 PRIVMSG #esoteric :?list < 1319073714 766017 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :http://code.haskell.org/lambdabot/COMMANDS < 1319073744 807361 :Sgeo|web!ad034d00@gateway/web/freenode/ip.173.3.77.0 PRIVMSG #esoteric :cool, ty < 1319073760 981375 :Sgeo|web!ad034d00@gateway/web/freenode/ip.173.3.77.0 PRIVMSG #esoteric :@help vixen < 1319073761 200828 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :help . Ask for help for . Try 'list' for all commands < 1319073771 528635 :Sgeo|web!ad034d00@gateway/web/freenode/ip.173.3.77.0 PRIVMSG #esoteric :Helpful < 1319073777 6925 :Sgeo|web!ad034d00@gateway/web/freenode/ip.173.3.77.0 PRIVMSG #esoteric :@help @vixen < 1319073777 228196 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :help . Ask for help for . Try 'list' for all commands < 1319073791 643930 :Sgeo|web!ad034d00@gateway/web/freenode/ip.173.3.77.0 PRIVMSG #esoteric :@help version < 1319073791 866445 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :version/source. Report the version and darcs repo of this bot < 1319073829 913110 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :Sgeo|web: they tell me @vixen was removed < 1319073833 606138 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :@list vixen < 1319073833 838083 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :No module "vixen" loaded < 1319073840 675485 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :@list nixon < 1319073840 857438 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :quote provides: quote remember forget ghc fortune yow arr yarr keal b52s brain palomer girl19 v yhjulwwiefzojcbxybbruweejw protontorpedo nixon farber < 1319073863 476445 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :and nixon added in its place < 1319073865 684225 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :@nixon < 1319073865 897437 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :You know, it's a funny thing, every one of the bastards that are out for legalizing marijuana is Jewish. What the Christ is the matter with the Jews, Bob? What is the matter with them? I suppose it < 1319073866 53666 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :is because most of them are psychiatrists. < 1319073888 510936 :Sgeo|web!ad034d00@gateway/web/freenode/ip.173.3.77.0 PRIVMSG #esoteric :@help nixon < 1319073888 729333 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :Richad Nixon's finest. < 1319073946 11682 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i have this vague hunch @nixon is meant to insult precisely the kind of people who complained to get @vixen removed :P < 1319073962 97087 :Sgeo|web!ad034d00@gateway/web/freenode/ip.173.3.77.0 PRIVMSG #esoteric :What was @vixen? < 1319073973 640365 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :also, lambdabot's spelling correction means @vixen -> @nixon automatically now < 1319074010 257659 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :it was a chatbot which behaved like a somewhat promiscuous girl < 1319074039 412218 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :and apparently you could get it to do some explicit sex talk if you knew how < 1319074080 786426 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :so obviously offensive to conservatives < 1319074094 615934 :Madoka-Kaname!~moe@inportb/loli/cirno-chan PRIVMSG #esoteric :@vixen < 1319074094 915077 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :Once you get into this great stream of history, you can't get out. < 1319074236 48545 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :@nixon so what about african-americans? < 1319074236 233592 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :You won't have Nixon to kick around anymore, because, gentlemen, this is my last press conference. < 1319074255 407697 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i guess it's not context-sensitive like @vixen was < 1319074286 521829 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :@ghc < 1319074286 713059 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :ghc says: Illegal unlifted type argument < 1319074524 750322 :elliott_!~elliott@95.149.230.188 PRIVMSG #esoteric :?ghc < 1319074525 108499 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :ghc says: There must be at least one non-type-variable in the instance head < 1319074526 551442 :elliott_!~elliott@95.149.230.188 PRIVMSG #esoteric :?nixon < 1319074526 819024 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :You have to face the fact that whole problem is really the blacks. The key is to divise a system that reconizes this while not appearing to... < 1319074536 430301 :Sgeo|web!ad034d00@gateway/web/freenode/ip.173.3.77.0 PRIVMSG #esoteric :@help ghc < 1319074536 594672 :ive!~nn@189.179.247.113 JOIN :#esoteric < 1319074536 746569 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :ghc. Choice quotes from GHC. < 1319074547 29437 :Sgeo|web!ad034d00@gateway/web/freenode/ip.173.3.77.0 PRIVMSG #esoteric :Oh < 1319074795 581001 :elliott_!~elliott@95.149.230.188 PRIVMSG #esoteric :?nixon < 1319074795 852686 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :People react to fear, not love; they don't teach that in Sunday School, but it's true. < 1319074811 863997 :Patashu!~Patashu@c122-106-155-219.carlnfd1.nsw.optusnet.com.au PRIVMSG #esoteric :?ghc < 1319074812 163571 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :ghc says: Type signature given for an expression < 1319074868 420900 :pikhq!~pikhq@174-22-150-115.clsp.qwest.net JOIN :#esoteric < 1319074892 275059 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :> let a b * c :: Int in "test" < 1319074893 26718 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : : Invalid type signature < 1319074913 564805 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i wonder what would give that error message < 1319074926 900792 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :it might not any longer, though < 1319074943 212626 :elliott_!~elliott@95.149.230.188 PRIVMSG #esoteric :http://www.haskell.org/pipermail/haskell/2002-November/010660.html < 1319074952 101106 :elliott_!~elliott@95.149.230.188 PRIVMSG #esoteric :foo bar :: t < 1319074954 168032 :elliott_!~elliott@95.149.230.188 PRIVMSG #esoteric :at top level < 1319074987 903873 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :you and your superhuman googling skills < 1319075002 926114 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :hm < 1319075014 843296 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :> let foo bar :: t in "test again" < 1319075015 550996 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : : Invalid type signature < 1319075022 50101 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :bah < 1319075046 980299 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :@let foo bar :: t < 1319075047 326736 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : Left-hand side of type signature is not a variable: foo bar < 1319075049 792669 :elliott_!~elliott@95.149.230.188 PRIVMSG #esoteric :oerjan: that's from two thousand and two, dude < 1319075066 859476 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :yeah < 1319075085 870025 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :well i think i found the modern equivalent there, anyway < 1319075704 330152 :Sgeo|web!ad034d00@gateway/web/freenode/ip.173.3.77.0 PRIVMSG #esoteric :@src True < 1319075704 609123 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :Source not found. My brain just exploded < 1319075711 252503 :Sgeo|web!ad034d00@gateway/web/freenode/ip.173.3.77.0 PRIVMSG #esoteric :MUAHAHA < 1319075741 337144 :Sgeo|web!ad034d00@gateway/web/freenode/ip.173.3.77.0 PRIVMSG #esoteric :@help yhjulwwiefzojcbxybbruweejw < 1319075741 576712 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :V RETURNS! < 1319075745 609577 :Sgeo|web!ad034d00@gateway/web/freenode/ip.173.3.77.0 PRIVMSG #esoteric :@yhjulwwiefzojcbxybbruweejw < 1319075745 882083 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :"\"" < 1319075748 758425 :Sgeo|web!ad034d00@gateway/web/freenode/ip.173.3.77.0 PRIVMSG #esoteric :@yhjulwwiefzojcbxybbruweejw < 1319075749 67626 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :Exception: <> < 1319075758 202452 :Sgeo|web!ad034d00@gateway/web/freenode/ip.173.3.77.0 PRIVMSG #esoteric :@yhjulwwiefzojcbxybbruweejw < 1319075758 716542 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :Exception: <> < 1319075759 583282 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :Sgeo|web: @src has got much worse lately, i think < 1319075765 545910 :elliott_!~elliott@95.149.230.188 PRIVMSG #esoteric :why would src find True < 1319075783 610439 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :well _ideally_ it should give the definition of Bool there... < 1319075787 219436 :Sgeo|web!ad034d00@gateway/web/freenode/ip.173.3.77.0 PRIVMSG #esoteric :Well, showing the data or newtype line would be a sensible thing to do < 1319075816 980784 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :@src Bool < 1319075817 200388 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :data Bool = False | True deriving (Eq, Ord) < 1319075823 74944 :CakeProphet!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake JOIN :#esoteric < 1319075837 119393 :Sgeo|web!ad034d00@gateway/web/freenode/ip.173.3.77.0 PRIVMSG #esoteric :@src (==) < 1319075837 373283 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :x == y = not (x /= y) < 1319075847 585227 :Sgeo|web!ad034d00@gateway/web/freenode/ip.173.3.77.0 PRIVMSG #esoteric :@src (>>=) < 1319075847 882961 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :Source not found. Just what do you think you're doing Dave? < 1319075864 565729 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :that's a method default, and >>= has none < 1319075869 952012 :Sgeo|web!ad034d00@gateway/web/freenode/ip.173.3.77.0 PRIVMSG #esoteric :Hmm, so, for class functions (is that the right term?), it will show the default it aavlable < 1319075871 82549 :Sgeo|web!ad034d00@gateway/web/freenode/ip.173.3.77.0 PRIVMSG #esoteric :available < 1319075883 802318 :Sgeo|web!ad034d00@gateway/web/freenode/ip.173.3.77.0 PRIVMSG #esoteric :"method"? < 1319075884 766467 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :and if someone remembered to put it in < 1319075892 758612 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :yes, method < 1319075906 23690 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i think that's the term? < 1319075941 187091 :Sgeo|web!ad034d00@gateway/web/freenode/ip.173.3.77.0 PRIVMSG #esoteric :I should rewrite the Prototype MultiDispatch example in Haskell < 1319075952 333685 :CakeProphet!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :oh god Prototype MultiDispatch what < 1319075973 806555 :Sgeo|web!ad034d00@gateway/web/freenode/ip.173.3.77.0 PRIVMSG #esoteric :"Prototypes with Multiple Dispatch" < 1319075991 381022 :CakeProphet!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :I mean why in Haskell.. < 1319075993 574581 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :method is used in the haskell report, yes < 1319076017 193382 :Sgeo|web!ad034d00@gateway/web/freenode/ip.173.3.77.0 PRIVMSG #esoteric :Because I feel like that's just showing off Haskell's awesomeness < 1319076067 548102 :Sgeo|web!ad034d00@gateway/web/freenode/ip.173.3.77.0 PRIVMSG #esoteric :Actually, meh < 1319076147 234170 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :how come i haven't seen this before http://blog.plover.com/prog/burritos.html < 1319076238 857124 :Sgeo|web!ad034d00@gateway/web/freenode/ip.173.3.77.0 PRIVMSG #esoteric :Monads are thingies that you can combine with a function that takes some plain old thing and gives a thing and, in combining the thingy and the function to a thingy, you get another thingy < 1319076318 251728 :Sgeo|web!ad034d00@gateway/web/freenode/ip.173.3.77.0 PRIVMSG #esoteric :And when I said gives a thing, I meant gives a thingy < 1319076338 300719 :Patashu!~Patashu@c122-106-155-219.carlnfd1.nsw.optusnet.com.au PRIVMSG #esoteric :ENERGY FETUS http://imgur.com/a/dBz45 < 1319076351 576245 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`run echo "Monads are thingies that you can combine with a function that takes some plain old thing and gives a thing and, in combining the thingy and the function to a thingy, you get another thingy" | sed 's/thing(ie|y)?/smurf/g' < 1319076353 528721 :HackEgo!foobar@codu.org PRIVMSG #esoteric :Monads are thingies that you can combine with a function that takes some plain old thing and gives a thing and, in combining the thingy and the function to a thingy, you get another thingy < 1319076357 864306 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :darn < 1319076401 877277 :tiffany!~kawaii@fl-76-3-21-30.dhcp.embarqhsd.net QUIT :Quit: Leaving < 1319076417 150463 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`run echo "Monads are thingies that you can combine with a function that takes some plain old thing and gives a thing and, in combining the thingy and the function to a thingy, you get another thingy" | sed '%s/thing(ie|y)?/smurf/g' < 1319076418 873550 :HackEgo!foobar@codu.org PRIVMSG #esoteric :sed: -e expression #1, char 1: unknown command: `%' < 1319076433 701097 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :wtf is wrong with my sed :( < 1319076440 401656 :Sgeo|web!ad034d00@gateway/web/freenode/ip.173.3.77.0 PRIVMSG #esoteric :I don't say thingie oh wait yes I did < 1319076531 497328 :CakeProphet!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :needs more perl. < 1319076580 173076 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :oh hm < 1319076599 348272 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`run echo "Monads are thingies that you can combine with a function that takes some plain old thing and gives a thing and, in combining the thingy and the function to a thingy, you get another thingy" | sed 's/thing\(ie\|y\)\?/smurf/g' < 1319076601 328594 :HackEgo!foobar@codu.org PRIVMSG #esoteric :Monads are smurfs that you can combine with a function that takes some plain old smurf and gives a smurf and, in combining the smurf and the function to a smurf, you get another smurf < 1319076604 948222 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :yay < 1319076712 188773 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :Patashu: something tells me DC doesn't do drug testing of employees < 1319077015 679827 :elliott_!~elliott@95.149.230.188 PRIVMSG #esoteric :oerjan: um wat are you doing :P < 1319077024 644134 :elliott_!~elliott@95.149.230.188 PRIVMSG #esoteric :03:02 how come i haven't seen this before http://blog.plover.com/prog/burritos.html < 1319077032 82084 :elliott_!~elliott@95.149.230.188 PRIVMSG #esoteric :oerjan: because i only relinked it from the past in hash-haskell a few days ago < 1319077041 137705 :elliott_!~elliott@95.149.230.188 PRIVMSG #esoteric :it's my favourite monad tutorial < 1319077053 20496 :elliott_!~elliott@95.149.230.188 PRIVMSG #esoteric :03:00 Because I feel like that's just showing off Haskell's awesomeness < 1319077056 624764 :elliott_!~elliott@95.149.230.188 PRIVMSG #esoteric :you don't even _know_ what that is yet < 1319077068 16758 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :elliott_: i think every time i've seen the link i've assumed it was something i'd already seen < 1319077094 154642 :elliott_!~elliott@95.149.230.188 PRIVMSG #esoteric :oerjan: I was shocked to learn that the wikibooks actually uses a spacesuit/nuclear waste analogy < 1319077097 811589 :elliott_!~elliott@95.149.230.188 PRIVMSG #esoteric :I assumed it was parody < 1319077101 611991 :elliott_!~elliott@95.149.230.188 PRIVMSG #esoteric :s/wikibooks/wikibook/ < 1319077163 990358 :elliott_!~elliott@95.149.230.188 PRIVMSG #esoteric :oerjan: where did you see it this time? < 1319077184 146214 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :data BlackHole = BlackHole; instance Monad BlackHole where return _ = BlackHole; _ >>= _ = BlackHole < 1319077190 985134 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :elliott_: in a reddit comment thread < 1319077191 739889 :ive!~nn@189.179.247.113 QUIT :Ping timeout: 255 seconds < 1319077221 793607 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :(inspired by the spacesuit) < 1319077241 7588 :elliott_!~elliott@95.149.230.188 PRIVMSG #esoteric :oerjan: violates the laws, I think < 1319077247 415065 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :how so? < 1319077248 43578 :elliott_!~elliott@95.149.230.188 PRIVMSG #esoteric :undefined >>= return === BlackHole < 1319077261 240992 :elliott_!~elliott@95.149.230.188 PRIVMSG #esoteric :that's an oft-violated one, though :) < 1319077264 958635 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :grmbl i was wondering about undefined < 1319077268 336496 :elliott_!~elliott@95.149.230.188 PRIVMSG #esoteric :oerjan: see above < 1319077271 288492 :elliott_!~elliott@95.149.230.188 PRIVMSG #esoteric :I think even IO violates that < 1319077273 387838 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :ok then < 1319077276 992932 :elliott_!~elliott@95.149.230.188 PRIVMSG #esoteric :maybe even more normal monads in the transformers library, too < 1319077281 296984 :elliott_!~elliott@95.149.230.188 PRIVMSG #esoteric :oerjan: btw, MaybeT _IS STANDARD_ < 1319077283 126571 :elliott_!~elliott@95.149.230.188 PRIVMSG #esoteric :it's in transformers < 1319077297 68877 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :data BlackHole; instance Monad BlackHole where return _ = undefined; _ >>= _ = undefined < 1319077304 221058 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :even better < 1319077313 608257 :elliott_!~elliott@95.149.230.188 PRIVMSG #esoteric :oerjan: perfect < 1319077334 723716 :elliott_!~elliott@95.149.230.188 PRIVMSG #esoteric :oerjan: I think that fulfils all of the laws :P < 1319077366 900572 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :a bit hard for that _not_ to fulfil an equality < 1319077390 733102 :pikhq_!~pikhq@71-219-200-72.clsp.qwest.net JOIN :#esoteric < 1319077401 308869 :elliott_!~elliott@95.149.230.188 PRIVMSG #esoteric :oerjan: data BlackHole a b; IS IT AN ARROW??? < 1319077414 143555 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :ooh < 1319077424 323433 :pikhq!~pikhq@174-22-150-115.clsp.qwest.net QUIT :Ping timeout: 276 seconds < 1319077459 108364 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :the arrow of very short time left < 1319077463 95465 :elliott_!~elliott@95.149.230.188 PRIVMSG #esoteric ::D < 1319077478 325634 :elliott_!~elliott@95.149.230.188 PRIVMSG #esoteric :well the definitions of the methods are obvious < 1319077482 89805 :elliott_!~elliott@95.149.230.188 PRIVMSG #esoteric :I note that Control.Arrow fails to list the laws < 1319077525 74180 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :hm... < 1319077610 5557 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :data BlackHole = BlackHole; instance Monad BlackHole where return _ = BlackHole; x >>= _ = x -- would that work? < 1319077646 185543 :Gregor!foobar@codu.org PRIVMSG #esoteric :WHY'D YOU CALL IT A /BLACK/ HOLE? RACIST. < 1319077663 373314 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :oh hm < 1319077683 246321 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :return x >>= f has some trouble there < 1319077768 621125 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :Gregor: well it was not american, so i couldn't call it african-american could i? < 1319077842 185582 :Gregor!foobar@codu.org PRIVMSG #esoteric :The RACIST part is that you're implying that people (and/or holes) of African descent steal things. < 1319077854 491751 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :> (undefined >>= putStr) `seq` "test" < 1319077855 337247 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : "test" < 1319077878 593391 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :@nixon < 1319077878 747783 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :A public man must never forget that he loses his usefulness when he as an individual, rather than his policy, becomes the issue. < 1319077884 947261 :elliott_!~elliott@95.149.230.188 PRIVMSG #esoteric :03:26 data BlackHole = BlackHole; instance Monad BlackHole where return _ = BlackHole; x >>= _ = x -- would that work? < 1319077886 645600 :elliott_!~elliott@95.149.230.188 PRIVMSG #esoteric :oerjan: looks right to me < 1319077898 104459 :elliott_!~elliott@95.149.230.188 PRIVMSG #esoteric :oerjan: except (BlackHole >>= fmap (const undefined)) < 1319077902 386154 :elliott_!~elliott@95.149.230.188 PRIVMSG #esoteric :dunno if that's a law though < 1319077903 470813 :elliott_!~elliott@95.149.230.188 PRIVMSG #esoteric :I guess not < 1319077907 336866 :elliott_!~elliott@95.149.230.188 PRIVMSG #esoteric :since Nothing >>= fmap (const undefined) == Nothing < 1319077950 370560 :elliott_!~elliott@95.149.230.188 TOPIC #esoteric :Esolangers, get a life and shut up. Stop cluttering the IRC with your inane prattle. Go aestivate under a rock somewhere. ... In short, feep off and die. | 12345678^&!* | http://codu.org/logs/_esoteric/ < 1319077952 963137 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :elliott_: i think it breaks return x >>= f = f x < 1319077967 824361 :elliott_!~elliott@95.149.230.188 PRIVMSG #esoteric :oerjan: hm right < 1319077981 148607 :Madoka-Kaname!~moe@inportb/loli/cirno-chan PRIVMSG #esoteric :> map undefined Nothing < 1319077981 898194 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : Couldn't match expected type `[a]' < 1319077982 155102 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : against inferred type `Data.Mayb... < 1319077987 909143 :Madoka-Kaname!~moe@inportb/loli/cirno-chan PRIVMSG #esoteric :> fmap undefined Nothing < 1319077988 667722 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : Nothing < 1319078160 983669 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :elliott_: who said that in the topic? < 1319078287 832249 :Madoka-Kaname!~moe@inportb/loli/cirno-chan PRIVMSG #esoteric :> fmap undefined $ Some 0 < 1319078288 575856 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : Not in scope: data constructor `Some' < 1319078291 605355 :Madoka-Kaname!~moe@inportb/loli/cirno-chan PRIVMSG #esoteric :> fmap undefined $ Just 0 < 1319078292 398033 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : Just *Exception: Prelude.undefined < 1319078293 393257 :MDude!~fyrc@or-67-238-31-252.dhcp.embarqhsd.net NICK :MSleep < 1319078305 31926 :Madoka-Kaname!~moe@inportb/loli/cirno-chan PRIVMSG #esoteric :> fmap (const undefined) $ Just 0 < 1319078305 564092 :elliott_!~elliott@95.149.230.188 PRIVMSG #esoteric :oerjan: Yittra, in NomicWorld, ninety-three (or ninety-two, I don't know) < 1319078305 781779 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : Just *Exception: Prelude.undefined < 1319078311 909153 :elliott_!~elliott@95.149.230.188 PRIVMSG #esoteric :** < 1319078312 55944 :elliott_!~elliott@95.149.230.188 PRIVMSG #esoteric :Get a life, lindrum (Yittra, Sep 28 05:59) < 1319078312 56134 :elliott_!~elliott@95.149.230.188 PRIVMSG #esoteric :LIndrum, get a life and shut up. Stop cluttering the noticeboard with < 1319078313 482567 :elliott_!~elliott@95.149.230.188 PRIVMSG #esoteric :your inane prattle. Go aestivate under a rock somewhere. < 1319078315 483188 :elliott_!~elliott@95.149.230.188 PRIVMSG #esoteric : You see, your judgement is not in the spirit of the game, hence < 1319078317 481966 :elliott_!~elliott@95.149.230.188 PRIVMSG #esoteric :is illegal. Therefore, while you may think you have cleverly found < 1319078319 481803 :elliott_!~elliott@95.149.230.188 PRIVMSG #esoteric :a loophole you are just making an annoyance of yourself. To be fair, I < 1319078321 482909 :elliott_!~elliott@95.149.230.188 PRIVMSG #esoteric :suppose I must admit the possibility that you were just tring to < 1319078323 482804 :elliott_!~elliott@95.149.230.188 PRIVMSG #esoteric :get the game going before renouncing your 'powers' , but < 1319078325 482452 :elliott_!~elliott@95.149.230.188 PRIVMSG #esoteric :1015 and 1016 will do that anyway. In short, feep off and die. < 1319078327 485012 :elliott_!~elliott@95.149.230.188 PRIVMSG #esoteric :oerjan: after the Lindrum scam < 1319078340 38774 :Madoka-Kaname!~moe@inportb/loli/cirno-chan PRIVMSG #esoteric :Lindrum scam? < 1319078343 373267 :elliott_!~elliott@95.149.230.188 PRIVMSG #esoteric :that Yittra guy did quite the colourful insults: Kindly defenestrate yourself, idiot (Yittra, Sep 28 06:13) < 1319078368 344706 :elliott_!~elliott@95.149.230.188 PRIVMSG #esoteric :Madoka-Kaname: the first major scam in NomicWorld, the first online nomic < 1319078384 973832 :elliott_!~elliott@95.149.230.188 PRIVMSG #esoteric :oerjan: holy shit, lindrum played agora? < 1319078392 66026 :coppro!~scshunt@denardo.csclub.uwaterloo.ca PRIVMSG #esoteric :briefly < 1319078422 897433 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :
ACTION cannot recall
< 1319078481 758489 :elliott_!~elliott@95.149.230.188 PRIVMSG #esoteric :CFJ 1319: Called by neil (12 Sep); Judged TRUE by Lindrum (19 Sep) < 1319078495 833090 :elliott_!~elliott@95.149.230.188 PRIVMSG #esoteric : The listed Trading Accounts on the AgorEx web page are sufficient < 1319078495 979848 :elliott_!~elliott@95.149.230.188 PRIVMSG #esoteric : evidence of an Agreement between each listed Player and Lindrum in < 1319078495 980011 :elliott_!~elliott@95.149.230.188 PRIVMSG #esoteric : which the Player may demand that Lindrum pay em the specified < 1319078497 437223 :elliott_!~elliott@95.149.230.188 PRIVMSG #esoteric : amounts at any time. < 1319078500 428972 :elliott_!~elliott@95.149.230.188 PRIVMSG #esoteric :I don't even... < 1319078587 25038 :elliott_!~elliott@95.149.230.188 PRIVMSG #esoteric :I like how Goethe hasn't changed in almost twenty years < 1319078594 174319 :elliott_!~elliott@95.149.230.188 PRIVMSG #esoteric :probably because he's ead < 1319078594 800137 :elliott_!~elliott@95.149.230.188 PRIVMSG #esoteric :dead < 1319078597 765419 :evincar!~jon@province-wireless-173-84-26-152.dr02.roch.ny.frontiernet.net JOIN :#esoteric < 1319078629 364563 :evincar!~jon@province-wireless-173-84-26-152.dr02.roch.ny.frontiernet.net PRIVMSG #esoteric :Thanks for your help last night, those folk who were involved. < 1319078646 645977 :evincar!~jon@province-wireless-173-84-26-152.dr02.roch.ny.frontiernet.net PRIVMSG #esoteric :Changing my types as mentioned worked out great. < 1319078775 327485 :Patashu!~Patashu@c122-106-155-219.carlnfd1.nsw.optusnet.com.au PRIVMSG #esoteric :You change your types as often as a girl changes her clothes < 1319078811 401320 :evincar!~jon@province-wireless-173-84-26-152.dr02.roch.ny.frontiernet.net PRIVMSG #esoteric :That's because programming languages are for thinking up programs as much as they are for writing them. < 1319078869 365427 :Madoka-Kaname!~moe@inportb/loli/cirno-chan PRIVMSG #esoteric :Patashu, hey! < 1319078907 515131 :Patashu!~Patashu@c122-106-155-219.carlnfd1.nsw.optusnet.com.au PRIVMSG #esoteric :
ACTION holds his arms out, twirls around
< 1319078927 795757 :evincar!~jon@province-wireless-173-84-26-152.dr02.roch.ny.frontiernet.net PRIVMSG #esoteric :Also, most of the girls I know don't change their clothes excessively. < 1319078961 152167 :evincar!~jon@province-wireless-173-84-26-152.dr02.roch.ny.frontiernet.net PRIVMSG #esoteric :They do, however, wash them quite a lot more than the males do... < 1319079086 236614 :elliott_!~elliott@95.149.230.188 PRIVMSG #esoteric :the Patashu greeting method < 1319079114 718237 :Patashu!~Patashu@c122-106-155-219.carlnfd1.nsw.optusnet.com.au PRIVMSG #esoteric :{ < 1319079117 20969 :Patashu!~Patashu@c122-106-155-219.carlnfd1.nsw.optusnet.com.au PRIVMSG #esoteric : return 0; < 1319079117 529193 :Patashu!~Patashu@c122-106-155-219.carlnfd1.nsw.optusnet.com.au PRIVMSG #esoteric :} < 1319079223 228919 :evincar!~jon@province-wireless-173-84-26-152.dr02.roch.ny.frontiernet.net PRIVMSG #esoteric :Anyway, I'm off. The wireless sucks where I am anyhow. < 1319079229 694759 :evincar!~jon@province-wireless-173-84-26-152.dr02.roch.ny.frontiernet.net QUIT :Quit: G'night. < 1319079254 142204 :elliott_!~elliott@95.149.230.188 PRIVMSG #esoteric :oh < 1319079567 343350 :ive!~nn@189.179.247.113 JOIN :#esoteric < 1319079573 473348 :Sgeo|web!ad034d00@gateway/web/freenode/ip.173.3.77.0 PART :#esoteric < 1319079580 577917 :Sgeo|web!ad034d00@gateway/web/freenode/ip.173.3.77.0 JOIN :#esoteric < 1319079666 178168 :elliott_!~elliott@95.149.230.188 QUIT :Remote host closed the connection < 1319079680 951301 :elliott_!~elliott@95.149.230.188 JOIN :#esoteric < 1319079687 560131 :elliott_!~elliott@95.149.230.188 QUIT :Remote host closed the connection < 1319079700 283357 :elliott_!~elliott@95.149.230.188 JOIN :#esoteric < 1319079808 923009 :tswett!~Warrigal@unaffiliated/ihope QUIT :Remote host closed the connection < 1319079975 842884 :Sgeo|web!ad034d00@gateway/web/freenode/ip.173.3.77.0 PRIVMSG #esoteric :forever $ part elliott_ >> join elliott_ < 1319080025 371384 :Sgeo|web!ad034d00@gateway/web/freenode/ip.173.3.77.0 PRIVMSG #esoteric :Wait, join is defined elsewhere < 1319080102 395872 :elliott_!~elliott@95.149.230.188 PRIVMSG #esoteric :?hoogle part < 1319080102 685967 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :Data.ByteString partition :: (Word8 -> Bool) -> ByteString -> (ByteString, ByteString) < 1319080102 940471 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :Data.IntMap partition :: (a -> Bool) -> IntMap a -> (IntMap a, IntMap a) < 1319080103 87188 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :Data.IntSet partition :: (Int -> Bool) -> IntSet -> (IntSet, IntSet) < 1319080326 67229 :Sgeo|web!ad034d00@gateway/web/freenode/ip.173.3.77.0 PRIVMSG #esoteric :Is it just my imagination, or does Learn Haskell in 10 Minutes suck? < 1319080342 430988 :elliott_!~elliott@95.149.230.188 PRIVMSG #esoteric :http://norvig.com/21-days.html < 1319080397 453135 :Sgeo|web!ad034d00@gateway/web/freenode/ip.173.3.77.0 PRIVMSG #esoteric :Hmm, why did I think that it sucked? < 1319080405 952968 :elliott_!~elliott@95.149.230.188 PRIVMSG #esoteric :http://norvig.com/21-days.html < 1319080417 905095 :Sgeo|web!ad034d00@gateway/web/freenode/ip.173.3.77.0 PRIVMSG #esoteric :elliott_: I want something I can show professors and other students >.> < 1319080429 935109 :elliott_!~elliott@95.149.230.188 PRIVMSG #esoteric :you mean the incompetent idiots? < 1319080437 596322 :elliott_!~elliott@95.149.230.188 PRIVMSG #esoteric :i am sure they will be inspired < 1319080447 468789 :elliott_!~elliott@95.149.230.188 PRIVMSG #esoteric :also you read that page in the time it took to respond? < 1319080480 549390 :Sgeo|web!ad034d00@gateway/web/freenode/ip.173.3.77.0 PRIVMSG #esoteric :No, I didn't :/ < 1319080498 93661 :elliott_!~elliott@95.149.230.188 PRIVMSG #esoteric :indeed. < 1319081037 556428 :monqy!~swell@pool-71-102-226-192.snloca.dsl-w.verizon.net PRIVMSG #esoteric :hi guys im back did i miss the fun < 1319081067 175237 :elliott_!~elliott@95.149.230.188 PRIVMSG #esoteric :unfortunately. < 1319081087 325042 :Sgeo|web!ad034d00@gateway/web/freenode/ip.173.3.77.0 PRIVMSG #esoteric :> fix ("Yes " ++) < 1319081088 871414 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : "Yes Yes Yes Yes Yes Yes Yes Yes Yes Yes Yes Yes Yes Yes Yes Yes Yes Yes Ye... < 1319081183 86151 :Sgeo|web!ad034d00@gateway/web/freenode/ip.173.3.77.0 PRIVMSG #esoteric :> fix brokenThing < 1319081184 562808 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : Fixed. < 1319081433 845264 :elliott_!~elliott@95.149.230.188 PRIVMSG #esoteric :> brokenThing < 1319081434 688852 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : Overlapping instances for GHC.Show.Show < 1319081434 865854 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : (t -> ... < 1319081438 245541 :elliott_!~elliott@95.149.230.188 PRIVMSG #esoteric :> brokenThing "" < 1319081439 769319 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : Fixed. < 1319081444 707404 :elliott_!~elliott@95.149.230.188 PRIVMSG #esoteric :> brokenThing (text "") < 1319081446 230152 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : Fixed. < 1319081454 829152 :elliott_!~elliott@95.149.230.188 PRIVMSG #esoteric :?check \x -> brokenThing x == text "Fixed." < 1319081455 525170 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : Not in scope: `brokenThing' < 1319081458 498374 :elliott_!~elliott@95.149.230.188 PRIVMSG #esoteric :bah < 1319081462 268596 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :> brokenThing undefined < 1319081463 682699 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : Fixed. < 1319081495 190119 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric ::t brokenThing < 1319081495 971453 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :forall t. t -> Doc < 1319081502 534109 :elliott_!~elliott@95.149.230.188 PRIVMSG #esoteric :pretty obvious < 1319081559 23941 :Sgeo|web!ad034d00@gateway/web/freenode/ip.173.3.77.0 PRIVMSG #esoteric :@src brokenThing < 1319081559 360205 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :Source not found. The more you drive -- the dumber you get. < 1319081608 478630 :Sgeo|web!ad034d00@gateway/web/freenode/ip.173.3.77.0 PRIVMSG #esoteric ::t text < 1319081609 264079 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :String -> Doc < 1319081627 302037 :Sgeo|web!ad034d00@gateway/web/freenode/ip.173.3.77.0 PRIVMSG #esoteric :> text "Hello arbitrary statements from lambdabot" < 1319081628 86840 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : Hello arbitrary statements from lambdabot < 1319081635 982581 :Sgeo|web!ad034d00@gateway/web/freenode/ip.173.3.77.0 PRIVMSG #esoteric :@src Doc < 1319081636 280589 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :Source not found. That's something I cannot allow to happen. < 1319081663 292838 :Sgeo|web!ad034d00@gateway/web/freenode/ip.173.3.77.0 PRIVMSG #esoteric :Is it just a wrapper around a String that lambdabot directly displays, or what? < 1319081712 103943 :Sgeo|web!ad034d00@gateway/web/freenode/ip.173.3.77.0 PRIVMSG #esoteric :@hoogle Doc < 1319081712 436917 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :Text.PrettyPrint.HughesPJ data Doc < 1319081712 615023 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :Language.Haskell.TH.PprLib type Doc = PprM Doc < 1319081712 761662 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :System.Directory getUserDocumentsDirectory :: IO FilePath < 1319081730 652100 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :Doc can do a lot more, i think < 1319081759 478725 :elliott_!~elliott@95.149.230.188 PRIVMSG #esoteric :Doc is a pretty-printing library < 1319081779 287215 :elliott_!~elliott@95.149.230.188 PRIVMSG #esoteric :http://www.haskell.org/ghc/docs/latest/html/libraries/pretty-1.1.0.0/Text-PrettyPrint-HughesPJ.html < 1319081988 692307 :PatashuXantheres!~Patashu@c122-106-155-219.carlnfd1.nsw.optusnet.com.au JOIN :#esoteric < 1319082059 842875 :Sgeo|web!ad034d00@gateway/web/freenode/ip.173.3.77.0 PRIVMSG #esoteric :> zeroWidthText "Bluh?" < 1319082060 587658 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : Bluh? < 1319082121 828862 :Patashu!~Patashu@c122-106-155-219.carlnfd1.nsw.optusnet.com.au QUIT :Ping timeout: 258 seconds < 1319082159 981072 :Sgeo|web!ad034d00@gateway/web/freenode/ip.173.3.77.0 PRIVMSG #esoteric :> doubleQuotes $ text "And It Don't Stop" < 1319082160 731343 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : "And It Don't Stop" < 1319082351 546201 :Sgeo|web!ad034d00@gateway/web/freenode/ip.173.3.77.0 PRIVMSG #esoteric :> text "1\n2" < 1319082352 426874 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : 1 < 1319082352 581745 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : 2 < 1319082364 600816 :Sgeo|web!ad034d00@gateway/web/freenode/ip.173.3.77.0 PRIVMSG #esoteric :... < 1319082382 717549 :Sgeo|web!ad034d00@gateway/web/freenode/ip.173.3.77.0 PRIVMSG #esoteric :> text $ fix ("Hello\n" ++) < 1319082397 954470 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : thread killed < 1319082439 882111 :Sgeo|web!ad034d00@gateway/web/freenode/ip.173.3.77.0 PRIVMSG #esoteric :> text $ concat $ take 2 $ repeat "Hello\n" < 1319082440 682720 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : Hello < 1319082440 904184 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : Hello < 1319082446 790558 :Sgeo|web!ad034d00@gateway/web/freenode/ip.173.3.77.0 PRIVMSG #esoteric :> text $ concat $ take 5 $ repeat "Hello\n" < 1319082447 554136 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : Hello < 1319082447 702681 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : Hello < 1319082447 849279 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : Hello < 1319082447 849451 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : Hello < 1319082447 849562 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : Hello < 1319082455 858774 :Sgeo|web!ad034d00@gateway/web/freenode/ip.173.3.77.0 PRIVMSG #esoteric :> text $ concat $ repeat "Hello\n" < 1319082463 526108 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : *Exception: mueval-core: signal: 15 < 1319082472 49142 :Sgeo|web!ad034d00@gateway/web/freenode/ip.173.3.77.0 PRIVMSG #esoteric :> text $ concat $ take 20 $ repeat "Hello\n" < 1319082476 137931 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : mueval-core: Time limit exceeded < 1319082486 304376 :Sgeo|web!ad034d00@gateway/web/freenode/ip.173.3.77.0 PRIVMSG #esoteric :> text $ concat $ take 12 $ repeat "Hello\n" < 1319082487 306280 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : Hello < 1319082487 469801 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : Hello < 1319082487 616246 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : Hello < 1319082487 616322 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : Hello < 1319082487 616366 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : Hello < 1319082489 295312 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :[6 @more lines] < 1319082494 728671 :Sgeo|web!ad034d00@gateway/web/freenode/ip.173.3.77.0 PRIVMSG #esoteric :Boo < 1319082785 316190 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :> var $ cycle "Hello\n" < 1319082786 323470 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : Hello < 1319082786 494104 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : Hello < 1319082786 640726 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : Hello < 1319082786 640895 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : Hello < 1319082786 641003 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : Hello < 1319082788 312981 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :[6 @more lines] < 1319082803 624914 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :@more < 1319082803 858871 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : Hello < 1319082804 50828 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : Hello < 1319082804 197462 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : Hello < 1319082804 197643 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : Hello < 1319082804 197751 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : Hello < 1319082805 901055 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : Hello... < 1319082972 629587 :Sgeo|web!ad034d00@gateway/web/freenode/ip.173.3.77.0 PRIVMSG #esoteric ::t var < 1319082974 972239 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :forall a. String -> Sym a < 1319082983 636232 :Sgeo|web!ad034d00@gateway/web/freenode/ip.173.3.77.0 PRIVMSG #esoteric :@url var < 1319082983 873486 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :I know nothing about var. < 1319082994 362205 :Sgeo|web!ad034d00@gateway/web/freenode/ip.173.3.77.0 PRIVMSG #esoteric :How do I get from a @hoogle result to a link? < 1319083042 881111 :elliott_!~elliott@95.149.230.188 PRIVMSG #esoteric :a link to what < 1319083073 129297 :Sgeo|web!ad034d00@gateway/web/freenode/ip.173.3.77.0 PRIVMSG #esoteric :The library page where the result was found < 1319083080 359465 :Sgeo|web!ad034d00@gateway/web/freenode/ip.173.3.77.0 PRIVMSG #esoteric :*documentation for < 1319083117 407782 :elliott_!~elliott@95.149.230.188 PRIVMSG #esoteric :GOOGLE < 1319083189 554675 :Sgeo|web!ad034d00@gateway/web/freenode/ip.173.3.77.0 PRIVMSG #esoteric :@hoogle (a -> b) -> [a] -> [b] < 1319083190 17507 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :Prelude map :: (a -> b) -> [a] -> [b] < 1319083190 164071 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :Data.List map :: (a -> b) -> [a] -> [b] < 1319083190 310696 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :Control.Parallel.Strategies parMap :: Strategy b -> (a -> b) -> [a] -> [b] < 1319083194 601712 :elliott_!~elliott@95.149.230.188 PRIVMSG #esoteric :oops < 1319083195 153480 :Sgeo|web!ad034d00@gateway/web/freenode/ip.173.3.77.0 PRIVMSG #esoteric :@google Prelude map < 1319083196 999839 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :http://haskell.org/ghc/docs/latest/html/libraries/base/Prelude.html < 1319083197 185098 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :Title: Prelude < 1319083197 884846 :elliott_!~elliott@95.149.230.188 PRIVMSG #esoteric :i did not mean to caps google < 1319083258 668648 :Sgeo|web!ad034d00@gateway/web/freenode/ip.173.3.77.0 PRIVMSG #esoteric :What's the difference between Hoogle and Hayoo? I don't think Hayoo does types, does it? But does it search all of Hackage or something? < 1319083276 357589 :elliott_!~elliott@95.149.230.188 PRIVMSG #esoteric :hayoo does less advanced things with types. < 1319083294 886591 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric : How do I get from a @hoogle result to a link? <-- use the hoogle website < 1319083404 381806 :elliott__!~elliott@95.149.230.188 JOIN :#esoteric < 1319083490 578276 :atehwa_!atehwa@aulis.sange.fi JOIN :#esoteric < 1319083520 798588 :elliott__!~elliott@95.149.230.188 PRIVMSG #esoteric :oerjan: what happens when you stop having qualia, help? < 1319083535 463659 :glogbackup!~glogbacku@64.31.59.246 QUIT :Ping timeout: 252 seconds < 1319083535 610272 :atehwa!atehwa@aulis.sange.fi QUIT :Read error: Operation timed out < 1319083535 610358 :elliott_!~elliott@95.149.230.188 QUIT :Read error: Connection reset by peer < 1319083535 757297 :PatashuXantheres!~Patashu@c122-106-155-219.carlnfd1.nsw.optusnet.com.au QUIT :Ping timeout: 252 seconds < 1319083832 468369 :Madoka-Kaname!~moe@inportb/loli/cirno-chan PRIVMSG #esoteric :@hayoo (a -> b) -> a -> b < 1319083832 717321 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :Unknown command, try @list < 1319083836 109368 :Madoka-Kaname!~moe@inportb/loli/cirno-chan PRIVMSG #esoteric :@hoogle (a -> b) -> a -> b < 1319083836 618691 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :Prelude ($) :: (a -> b) -> a -> b < 1319083836 765474 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :Prelude ($!) :: (a -> b) -> a -> b < 1319083836 765649 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :Data.Function ($) :: (a -> b) -> a -> b < 1319083841 262945 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :qualms about qualia < 1319083845 579472 :elliott__!~elliott@95.149.230.188 PRIVMSG #esoteric :oerjan: help < 1319083849 32361 :Madoka-Kaname!~moe@inportb/loli/cirno-chan PRIVMSG #esoteric :@hoogle [a -> b] -> a -> [b] < 1319083849 198416 :elliott__!~elliott@95.149.230.188 PRIVMSG #esoteric :am i even typing into irc < 1319083849 415602 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :Control.Applicative (<*>) :: Applicative f => f (a -> b) -> f a -> f b < 1319083849 583029 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :Control.Monad ap :: Monad m => m (a -> b) -> m a -> m b < 1319083849 732092 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :Control.Applicative (<**>) :: Applicative f => f a -> f (a -> b) -> f b < 1319083851 502937 :elliott__!~elliott@95.149.230.188 PRIVMSG #esoteric :i do not know < 1319083856 977361 :elliott__!~elliott@95.149.230.188 PRIVMSG #esoteric :i am not sure i am even typing < 1319083863 601894 :Madoka-Kaname!~moe@inportb/loli/cirno-chan PRIVMSG #esoteric :@hoogle (a -> b) -> [a] -> b < 1319083863 997832 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :Prelude map :: (a -> b) -> [a] -> [b] < 1319083864 181195 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :Data.List map :: (a -> b) -> [a] -> [b] < 1319083864 327884 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :Prelude ($) :: (a -> b) -> a -> b < 1319083882 661940 :Madoka-Kaname!~moe@inportb/loli/cirno-chan PRIVMSG #esoteric :@djinn ((a -> b) -> [a] -> b) -> [a -> b] -> a -> [b] < 1319083883 340769 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :Error: Undefined type [] < 1319083951 987404 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :Madoka-Kaname: sequence in the (->) monad. also the strange thing lambdabot does for flip. < 1319083961 779377 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :> flip [sin, cos] 1 < 1319083965 573367 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : mueval-core: Time limit exceeded < 1319083967 867904 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :> flip [sin, cos] 1 < 1319083970 369977 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : [0.8414709848078965,0.5403023058681398] < 1319084028 917206 :Madoka-Kaname!~moe@inportb/loli/cirno-chan PRIVMSG #esoteric ::t (\f vf v -> f ($v) vf) < 1319084029 756020 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :forall t a b t1. (((a -> b) -> b) -> t -> t1) -> t -> a -> t1 < 1319084051 342195 :Madoka-Kaname!~moe@inportb/loli/cirno-chan PRIVMSG #esoteric :@pl (\f vf v -> f ($v) vf) < 1319084051 642082 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :flip . (. flip id) < 1319084112 444764 :Madoka-Kaname!~moe@inportb/loli/cirno-chan PRIVMSG #esoteric :@djinn (((a -> b) -> b) -> t -> t1) -> t -> a -> t1 < 1319084112 716977 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :f a b c = a (\ d -> d c) b < 1319084123 583183 :Madoka-Kaname!~moe@inportb/loli/cirno-chan PRIVMSG #esoteric :@djinn ((a -> b) -> b) -> t -> t1 < 1319084123 876939 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :-- f cannot be realized. < 1319084130 957560 :oerjan!oerjan@sprocket.nvg.ntnu.no QUIT :Quit: Good night < 1319084199 531201 :Patashu!~Patashu@c122-106-155-219.carlnfd1.nsw.optusnet.com.au JOIN :#esoteric < 1319086124 460513 :elliott_!~elliott@95.149.228.70 JOIN :#esoteric < 1319086303 438631 :elliott__!~elliott@95.149.230.188 QUIT :Ping timeout: 248 seconds < 1319086498 326931 :fizzie!fis@iris.zem.fi PRIVMSG #esoteric :A habitual esolanger's (likely) advantage in Haskell: pointless stuff comes naturally. < 1319086883 197559 :Zwaarddijk!miekko@130.232.208.126 QUIT :Ping timeout: 258 seconds < 1319086887 526812 :Zwaarddijk!miekko@infa.abo.fi JOIN :#esoteric < 1319087165 263673 :pikhq_!~pikhq@71-219-200-72.clsp.qwest.net PRIVMSG #esoteric :fizzie: More importantly, something being odd is *not* considered an insurmountable barrier. < 1319087240 449754 :Sgeo|web!ad034d00@gateway/web/freenode/ip.173.3.77.0 PRIVMSG #esoteric :Am I considered a habitual esolanger? < 1319087250 949672 :Sgeo|web!ad034d00@gateway/web/freenode/ip.173.3.77.0 PRIVMSG #esoteric :Or just an inhabitant of esolang...er < 1319087254 567964 :Sgeo|web!ad034d00@gateway/web/freenode/ip.173.3.77.0 PRIVMSG #esoteric :esolangland < 1319087515 834463 :elliott_!~elliott@95.149.228.70 QUIT :Remote host closed the connection < 1319087649 903592 :elliott_!~elliott@95.149.228.70 JOIN :#esoteric < 1319090194 736296 :elliott_!~elliott@95.149.228.70 QUIT :Remote host closed the connection < 1319090284 733178 :elliott_!~elliott@95.149.228.70 JOIN :#esoteric < 1319090562 659092 :elliott_!~elliott@95.149.228.70 QUIT :Ping timeout: 260 seconds < 1319091230 580008 :ive!~nn@189.179.247.113 QUIT :Ping timeout: 276 seconds < 1319093341 103503 :Madoka-Kaname!~moe@inportb/loli/cirno-chan PRIVMSG #esoteric ::t map < 1319093341 859519 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :forall a b. (a -> b) -> [a] -> [b] < 1319093960 147977 :pikhq!~pikhq@71-219-212-98.clsp.qwest.net JOIN :#esoteric < 1319094139 735109 :pikhq_!~pikhq@71-219-200-72.clsp.qwest.net QUIT :Ping timeout: 258 seconds < 1319094168 712030 :nooga!~nooga@maverick.aircity.pl JOIN :#esoteric < 1319094676 188693 :monqy!~swell@pool-71-102-226-192.snloca.dsl-w.verizon.net QUIT :Quit: hello < 1319094933 970123 :ive!~nn@189.179.247.113 JOIN :#esoteric < 1319095433 766183 :BAPU!~BAPU@27.123.78.205 JOIN :#esoteric < 1319095443 399371 :BAPU!~BAPU@27.123.78.205 QUIT :Client Quit < 1319097001 653129 :nooga!~nooga@maverick.aircity.pl PRIVMSG #esoteric :aha < 1319097005 491413 :nooga!~nooga@maverick.aircity.pl PRIVMSG #esoteric :thought so < 1319100196 882167 :copumpkin!~pumpkin@unaffiliated/pumpkingod QUIT :Ping timeout: 244 seconds < 1319100222 503851 :copumpkin!~pumpkin@unaffiliated/pumpkingod JOIN :#esoteric < 1319100493 994786 :ive!~nn@189.179.247.113 QUIT :Quit: leaving < 1319100566 562682 :Vorpal!~AnMaster@unaffiliated/anmaster JOIN :#esoteric < 1319102228 690804 :pikhq_!~pikhq@174-22-155-107.clsp.qwest.net JOIN :#esoteric < 1319102247 225145 :pikhq!~pikhq@71-219-212-98.clsp.qwest.net QUIT :Ping timeout: 258 seconds < 1319103022 436445 :ais523!~ais523@unaffiliated/ais523 JOIN :#esoteric < 1319103794 242855 :ais523!~ais523@unaffiliated/ais523 QUIT :Read error: Connection reset by peer < 1319103916 240839 :ais523!~ais523@unaffiliated/ais523 JOIN :#esoteric < 1319104477 739102 :CakeProphet!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake QUIT :Ping timeout: 260 seconds < 1319104799 328074 :ais523!~ais523@unaffiliated/ais523 QUIT :Read error: Operation timed out < 1319104992 749731 :jonmacuse!~jon@99-117-98-146.lightspeed.sntcca.sbcglobal.net JOIN :#esoteric < 1319105051 241122 :jonmacuse!~jon@99-117-98-146.lightspeed.sntcca.sbcglobal.net QUIT :Quit: Leaving < 1319105310 547944 :cheater_!~cheater@ip-2-205-225-248.web.vodafone.de QUIT :Excess Flood < 1319105339 306304 :cheater_!~cheater@ip-2-205-225-248.web.vodafone.de JOIN :#esoteric < 1319105537 219213 :ais523!~ais523@unaffiliated/ais523 JOIN :#esoteric < 1319105599 259102 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :gah, Compiz has stopped working for no apparent reason < 1319105609 432343 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :it can't find the graphics card; not even rebooting helps < 1319105625 110637 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :let me try another program that uses the graphics card < 1319105680 500164 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :X Error of failed request: BadLength (poly request too large or internal Xlib length error) < 1319105689 566884 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I wonder what's up with my graphics card? < 1319105755 879264 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :Vorpal: any ideas? < 1319105778 648124 :Vorpal!~AnMaster@unaffiliated/anmaster PRIVMSG #esoteric :hi < 1319105819 425305 :Vorpal!~AnMaster@unaffiliated/anmaster PRIVMSG #esoteric :ais523, Does plain 2D graphics work? < 1319105833 810428 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :yes; Metacity works < 1319105842 776619 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :but doing anything that should involve a 3D graphics card fails < 1319105855 328548 :Vorpal!~AnMaster@unaffiliated/anmaster PRIVMSG #esoteric :any recent upgrade? < 1319105865 627423 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :nothing but security updates < 1319105865 774208 :Vorpal!~AnMaster@unaffiliated/anmaster PRIVMSG #esoteric :like to kernel or X11 or whatever < 1319105872 847713 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I can check if any affected packages likely to be involved < 1319105880 109074 :Vorpal!~AnMaster@unaffiliated/anmaster PRIVMSG #esoteric :probably a good idea < 1319105924 454384 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :xserver-common (2:1.7.6-2ubuntu7.6) to 2:1.7.6-2ubuntu7.8 < 1319105934 240891 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :looks very much like it might be at fault < 1319105961 977515 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :let me install the older version < 1319105965 763524 :Vorpal!~AnMaster@unaffiliated/anmaster PRIVMSG #esoteric :ais523, also if nothing else works you might want to try powering off and unplugging (plus removing battery if a laptop) then wait for half a minute or such. And then power it on again. Helped me with some weird GPU issues once. < 1319105992 453433 :Vorpal!~AnMaster@unaffiliated/anmaster PRIVMSG #esoteric :ais523, good thing I didn't upgrade that on my laptop yet then < 1319106054 721438 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :hmm, aptitude tried to interpret my request as uninstalling libvpx0 and upgrading X to the latest version, as it couldn't find the specific old version I mentioned < 1319106060 63427 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :so I didn't let it < 1319106064 720410 :Vorpal!~AnMaster@unaffiliated/anmaster PRIVMSG #esoteric :ouch < 1319106110 635527 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I tried apt-get instead, and it errored out on the specific version mentioned < 1319106116 508373 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :which is a more sensible interpretation, I think < 1319106126 529708 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :so, hmm, I'm stuck without the ability to undo the upgrade that broke things < 1319106177 62721 :Vorpal!~AnMaster@unaffiliated/anmaster PRIVMSG #esoteric :ais523, check for bug reports? Or downgrade to an even older version < 1319106245 67768 :Vorpal!~AnMaster@unaffiliated/anmaster PRIVMSG #esoteric :ais523, actually there seems to be an upgrade already < 1319106254 575426 :Vorpal!~AnMaster@unaffiliated/anmaster PRIVMSG #esoteric :ais523, 2:1.7.6-2ubuntu7.9 might be it < 1319106259 437357 :Vorpal!~AnMaster@unaffiliated/anmaster PRIVMSG #esoteric :that is on lucid < 1319106270 732907 :Vorpal!~AnMaster@unaffiliated/anmaster PRIVMSG #esoteric :changelog says it reverted a security fix for now < 1319106291 57419 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :The following packages will be REMOVED: libvpx0{u} The following packages will be upgraded: gnome-utils libgdict-1.0-6 xserver-common xserver-xorg-core < 1319106297 158595 :Vorpal!~AnMaster@unaffiliated/anmaster PRIVMSG #esoteric :wut < 1319106300 397794 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :yep, looks like they pushed a bad fix and only just noticed < 1319106322 300704 :Vorpal!~AnMaster@unaffiliated/anmaster PRIVMSG #esoteric :looks like I have the "bad" version but I didn't notice any issues < 1319106347 606826 :Vorpal!~AnMaster@unaffiliated/anmaster PRIVMSG #esoteric :oh wait, I haven't restarted X since the upgrade < 1319106391 859752 :ais523!~ais523@unaffiliated/ais523 QUIT :Quit: Restarting X < 1319106459 392452 :ais523!~ais523@unaffiliated/ais523 JOIN :#esoteric < 1319106484 338813 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :yay, fixed, thanks < 1319106500 989587 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :it still loaded Metacity by default, but changing the default to Compiz actually worked this time < 1319106530 634022 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :first time I've had a really noticeable break as a result of an update < 1319107220 852960 :fizzie!fis@iris.zem.fi PRIVMSG #esoteric :"chromium-browser will be upgraded from version 12.0.742.112~r90304-0ubuntu0.11.04.1 to version 14.0.835.202~r103287-0ubuntu0.11.04.1", quite a jump. (All this talk about upgrades made me go look.) < 1319107437 277808 :Sgeo|web!ad034d00@gateway/web/freenode/ip.173.3.77.0 PRIVMSG #esoteric :Does anyone even take notice of Chromium version numbers? < 1319107490 325801 :fizzie!fis@iris.zem.fi PRIVMSG #esoteric :14 is at least two better than 12. < 1319107846 998816 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :fizzie: well of course, how could Chrome's version number stay ahead of Firefox's otherwise? < 1319107903 9604 :Patashu!~Patashu@c122-106-155-219.carlnfd1.nsw.optusnet.com.au PRIVMSG #esoteric :if no one looked at chrome's version number, would it still be going up? < 1319108139 655445 :fizzie!fis@iris.zem.fi PRIVMSG #esoteric :If a Chrome version number is incremented in the forest, and no-one is around to see it, does it still need an entry in the changelog? < 1319109414 803548 :GreaseMonkey!~gm@unaffiliated/greasemonkey QUIT :Quit: The Other Game < 1319112097 497767 :ais523!~ais523@unaffiliated/ais523 QUIT :Remote host closed the connection < 1319112137 322503 :variable!root@freebsd/developer/variable QUIT :Excess Flood < 1319112182 452722 :variable!root@freebsd/developer/variable JOIN :#esoteric < 1319112408 8833 :Patashu!~Patashu@c122-106-155-219.carlnfd1.nsw.optusnet.com.au PRIVMSG #esoteric :Chrome developers should write a program that checks firefox's version number and increments chromes' until it's 10%+/-rand() higher < 1319112772 46220 :cheater_!~cheater@ip-2-205-225-248.web.vodafone.de QUIT :Quit: Ex-Chat < 1319112818 306078 :Patashu!~Patashu@c122-106-155-219.carlnfd1.nsw.optusnet.com.au PRIVMSG #esoteric :then firefox developers make one of their own < 1319112823 625943 :Patashu!~Patashu@c122-106-155-219.carlnfd1.nsw.optusnet.com.au PRIVMSG #esoteric :and the largest integer known to man is discovered < 1319113526 130661 :fizzie!fis@iris.zem.fi PRIVMSG #esoteric :Did you see that thing about algorithmic book prices in Amazon? http://www.michaeleisen.org/blog/?p=358 < 1319113532 407819 :fizzie!fis@iris.zem.fi PRIVMSG #esoteric :"Amazon’s $23,698,655.93 book about flies" < 1319113541 575061 :fizzie!fis@iris.zem.fi PRIVMSG #esoteric :It may in fact have been linked on this very channel. < 1319113619 496937 :Patashu!~Patashu@c122-106-155-219.carlnfd1.nsw.optusnet.com.au PRIVMSG #esoteric :how about http://www.telegraph.co.uk/news/uknews/8837736/Man-orders-size-14.5-slipper-and-gets-size-1450-after-mistranslation-in-China.html < 1319113656 421082 :Patashu!~Patashu@c122-106-155-219.carlnfd1.nsw.optusnet.com.au PRIVMSG #esoteric :oh, haha. that is cool < 1319114212 180860 :Ngevd!~Taneb@2.99.90.255 JOIN :#esoteric < 1319114219 143778 :Ngevd!~Taneb@2.99.90.255 PRIVMSG #esoteric :Hello! < 1319114996 520264 :Ngevd!~Taneb@2.99.90.255 PRIVMSG #esoteric :I liked today's IWC annotation < 1319115323 9636 :Zetro!~Zetro@zetro.xen.prgmr.com JOIN :#esoteric < 1319115440 868504 :ais523!~ais523@unaffiliated/ais523 JOIN :#esoteric < 1319115510 899323 :MSleep!~fyrc@or-67-238-31-252.dhcp.embarqhsd.net NICK :MDude < 1319116068 586259 :Ngevd!~Taneb@2.99.90.255 PRIVMSG #esoteric :What's an interesting SKI program (combination?)? < 1319116163 26176 :ais523!~ais523@unaffiliated/ais523 QUIT :Remote host closed the connection < 1319116265 22795 :Patashu!~Patashu@c122-106-155-219.carlnfd1.nsw.optusnet.com.au PRIVMSG #esoteric :what would qualify as interesting? < 1319116278 837301 :Ngevd!~Taneb@2.99.90.255 PRIVMSG #esoteric :Really, something short that looks good < 1319116285 636284 :Ngevd!~Taneb@2.99.90.255 PRIVMSG #esoteric :Doesn't help, does it? < 1319116341 243907 :ais523!~ais523@unaffiliated/ais523 JOIN :#esoteric < 1319117009 18106 :iamcal!u1110@gateway/web/irccloud.com/x-npxnpprzzqsofpcm QUIT :Remote host closed the connection < 1319117185 506245 :ais523!~ais523@unaffiliated/ais523 QUIT : < 1319117198 180348 :ais523!~ais523@unaffiliated/ais523 JOIN :#esoteric < 1319117629 358491 :derdon!~derdon@p5DE89DEC.dip.t-dialin.net JOIN :#esoteric < 1319119204 318563 :iamcal!u1110@gateway/web/irccloud.com/x-gzvdxxixzbbachht JOIN :#esoteric < 1319119332 596075 :Patashu!~Patashu@c122-106-155-219.carlnfd1.nsw.optusnet.com.au PRIVMSG #esoteric :Does anyone here use etherpad? I signed up for it, but the email for it hasn't arrived. < 1319119342 937596 :Patashu!~Patashu@c122-106-155-219.carlnfd1.nsw.optusnet.com.au PRIVMSG #esoteric :I want a service like 'downforeveryoneorjustme.com' but for sites that send out emails when you register < 1319119515 941736 :Patashu!~Patashu@c122-106-155-219.carlnfd1.nsw.optusnet.com.au PRIVMSG #esoteric :Yeah, see < 1319119522 519193 :Patashu!~Patashu@c122-106-155-219.carlnfd1.nsw.optusnet.com.au PRIVMSG #esoteric :I register again with my gmail instead of my hotmail and it works instantly < 1319119538 425704 :Patashu!~Patashu@c122-106-155-219.carlnfd1.nsw.optusnet.com.au PRIVMSG #esoteric :I don't know if I typoed my email or if it didn't like it or if it was a fluke or... < 1319119552 55522 :copumpkin!~pumpkin@unaffiliated/pumpkingod QUIT :Ping timeout: 260 seconds < 1319119576 489461 :copumpkin!~pumpkin@unaffiliated/pumpkingod JOIN :#esoteric < 1319120611 72796 :copumpkin!~pumpkin@unaffiliated/pumpkingod QUIT :Quit: Computer has gone to sleep. < 1319122067 104804 :copumpkin!~pumpkin@unaffiliated/pumpkingod JOIN :#esoteric < 1319122219 754457 :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 . < 1319122464 272002 :hagb4rd!~perdito@koln-4db421c2.pool.mediaWays.net QUIT :Ping timeout: 248 seconds < 1319123239 411092 :pikhq!~pikhq@71-219-221-210.clsp.qwest.net JOIN :#esoteric < 1319123419 266548 :pikhq_!~pikhq@174-22-155-107.clsp.qwest.net QUIT :Ping timeout: 258 seconds < 1319123433 228603 :ais523!~ais523@unaffiliated/ais523 QUIT :Remote host closed the connection < 1319123664 662361 :augur!~augur@208.58.5.87 QUIT :Remote host closed the connection < 1319124676 323117 :Ngevd!~Taneb@2.99.90.255 QUIT :Ping timeout: 260 seconds < 1319125587 467681 :augur!~augur@129.2.129.32 JOIN :#esoteric < 1319126086 503611 :ais523!~ais523@unaffiliated/ais523 JOIN :#esoteric < 1319126723 316786 :elliott!~elliott@unaffiliated/elliott JOIN :#esoteric < 1319127203 415013 :sllide!~jari@ip565eb113.direct-adsl.nl JOIN :#esoteric < 1319127845 417219 :derrik!~xix@gprs-inet-65-23.elisa.ee JOIN :#esoteric < 1319128843 539994 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :`quote < 1319128843 998419 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :`quote < 1319128844 313536 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :`quote < 1319128844 627325 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :`quote < 1319128845 18673 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :`quote < 1319128858 796057 :HackEgo!foobar@codu.org PRIVMSG #esoteric :609) OK, making myself emergency doctor on the advice of IRC. < 1319128870 713083 :HackEgo!foobar@codu.org PRIVMSG #esoteric :513) its UNEBARBEL < 1319128871 4437 :HackEgo!foobar@codu.org PRIVMSG #esoteric :179) It's like mathematicians, where the next step up from "trivial" is "open research question". "Nope... No...This problem can't be done AT ALL. This one--maybe, but only with two yaks and a sherpa. ..." < 1319128871 151046 :HackEgo!foobar@codu.org PRIVMSG #esoteric :423) so about jacuzzis, do they usually have a way to make it it not heat but freeze the water? < 1319128871 297866 :HackEgo!foobar@codu.org PRIVMSG #esoteric :315) elliott, incidentally, I started my explorations again after getting bored of the Himalayas. < 1319128887 884995 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :`delquote 513 < 1319128890 339026 :HackEgo!foobar@codu.org PRIVMSG #esoteric :​*poof* < 1319129072 590226 :Gregor!foobar@codu.org PRIVMSG #esoteric :Booting from the grub-rescue prompt LIKE A BOSS. < 1319129123 563190 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :`quote < 1319129124 344994 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :`quote < 1319129124 800850 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :`quote < 1319129125 447866 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :`quote < 1319129125 949049 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :`quote < 1319129127 297046 :HackEgo!foobar@codu.org PRIVMSG #esoteric :276) !bfjoust test (-)*10000 Score for Vorpal_test: 12.9 yay < 1319129127 443793 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :hi Gregor < 1319129129 947116 :HackEgo!foobar@codu.org PRIVMSG #esoteric :9) Lil`Cube: you had cavity searches? not yet trying to thou, just so I can check it off on my list of things to expirence < 1319129131 481912 :HackEgo!foobar@codu.org PRIVMSG #esoteric :19) oerjan: are you a man, if there weren't evil in this kingdom to you! you shall find bekkler! executing program. please let me go... put me out! he's really a tricycle! pass him! < 1319129140 864337 :HackEgo!foobar@codu.org PRIVMSG #esoteric :226) Oh. Stuff that uses actual physical numbers stemming from science. Bleh *gets bored* < 1319129141 402433 :HackEgo!foobar@codu.org PRIVMSG #esoteric :612) elliott: mr president, commissioner, i fully accept that description when it comes to human rights. yes, with an average fat content of chocolate, and we are using double standards! we all know that under present legislation and also in relation to standardization bodies. if i do not want. < 1319129159 168446 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :hmm, 276 or 9 < 1319129187 633204 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :wow, I ended up reading "A Brief, Incomplete and Mostly Wrong History of Programming Languages" again < 1319129193 655824 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :and am utterly shocked at how recent Java is < 1319129195 142549 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :I love that < 1319129201 670832 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :and, err, really? < 1319129202 293194 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :so do I < 1319129208 53741 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :1996? < 1319129212 277539 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :one year prior, actually < 1319129213 864257 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I assumed it was older than I am < 1319129231 767375 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :nah, it's very much a 90s internet boom thing < 1319129236 507854 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :and I assumed it predated most currently-popular scripting languages, too < 1319129238 34703 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :ais523: remember that it originated to program set top boxes < 1319129248 496160 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :what, Java? < 1319129249 933102 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :yep < 1319129250 970313 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :seriously? < 1319129257 993091 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :that's why it's so ~safe~ < 1319129258 859100 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :for reliability < 1319129259 655408 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :sorry, I'm in a mood where I vaguely expect to be trolled atm < 1319129260 463839 :sllide!~jari@ip565eb113.direct-adsl.nl QUIT :Ping timeout: 260 seconds < 1319129266 318953 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :and then they realised nobody wanted to do that, and this Web thing is totally catching on < 1319129272 719618 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :so they decided to retarget it < 1319129274 991577 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :I wish I was kidding < 1319129290 551166 :Ngevd!~Taneb@2.99.90.255 JOIN :#esoteric < 1319129290 551325 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :pointless trivia: it was called Oak while it was for set-top boxes < 1319129299 366565 :Ngevd!~Taneb@2.99.90.255 PRIVMSG #esoteric :Wow, I'm here! < 1319129300 684797 :Ngevd!~Taneb@2.99.90.255 PRIVMSG #esoteric :Hello! < 1319129302 399121 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :ais523: I do find it kinda crazy that Python is older than Java, though < 1319129321 866120 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :hmm, are virtual machines (in the JVM sense) similar in age to Java, or much older? < 1319129327 610230 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :ais523: in fact, Ruby might even be older < 1319129331 39104 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :also, much older < 1319129342 579158 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :I can't think of an example but there were definitely VMs in the eighties < 1319129347 828768 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :ais523: Smalltalk, f.e. < 1319129354 142511 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :so at least seventies < 1319129359 302249 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :ah, Smalltalk's VM-based? < 1319129367 466506 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :yes < 1319129487 750624 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :I wish Ilari was still around < 1319129490 89827 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :I want to know what's up with IP < 1319129507 725704 :Ngevd!~Taneb@2.99.90.255 PRIVMSG #esoteric :Instruction Pointer? < 1319129511 76782 :Ngevd!~Taneb@2.99.90.255 PRIVMSG #esoteric :Internet Protocol? < 1319129516 287287 :Ngevd!~Taneb@2.99.90.255 PRIVMSG #esoteric :Indian Police? < 1319129531 563656 :Ngevd!~Taneb@2.99.90.255 PRIVMSG #esoteric :Independent Party < 1319129534 510535 :Ngevd!~Taneb@2.99.90.255 PRIVMSG #esoteric :Dinnertime < 1319129535 572330 :Ngevd!~Taneb@2.99.90.255 QUIT :Client Quit < 1319129628 911498 :Madoka-Kaname!~moe@inportb/loli/cirno-chan PRIVMSG #esoteric :http://blog.wolfram.com/2010/12/17/the-mathematica-one-liner-competition/ < 1319129632 752198 :Madoka-Kaname!~moe@inportb/loli/cirno-chan PRIVMSG #esoteric :This looks like a golfing challenge. < 1319129693 171158 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :hey ais523, Mathematica < 1319129705 764370 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :man that Tubular Bells is about fifty times worse than the one-liner chiptunes :P < 1319129737 205389 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :elliott: they do that competition every so often < 1319129749 270499 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :ais523: "While this expression is a disaster practically, it has a certain conceptual appeal that made up for it hanging the judges’ machines." --Wolfram < 1319129751 748180 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :all it really does is show off what the standard library is good at doing < 1319129754 355502 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :(company, not person) < 1319129764 969137 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :ais523: That's my one-liner explanation of Mathematica. < 1319129785 861623 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :http://blog.wolfram.com/data/uploads/2010/12/OneLiner9.png for very large values of 137 < 1319129882 532177 :Madoka-Kaname!~moe@inportb/loli/cirno-chan PRIVMSG #esoteric :How hard would it be to reimplement Mathematica's functionality as a Haskell library? < 1319129902 327400 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :very < 1319129911 848557 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :mathematica is a few gigabytes of library < 1319129933 884859 :Madoka-Kaname!~moe@inportb/loli/cirno-chan PRIVMSG #esoteric :Would the end result be better? =p < 1319129950 627981 :Madoka-Kaname!~moe@inportb/loli/cirno-chan PRIVMSG #esoteric :Ehh.... Does Mathematica lazy evaluate? < 1319129971 279277 :Madoka-Kaname!~moe@inportb/loli/cirno-chan PRIVMSG #esoteric :If it does, that dishonorable mention should actually some stuff, right? < 1319130184 135368 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :it's strict, AFAIK < 1319130226 42509 :Madoka-Kaname!~moe@inportb/loli/cirno-chan PRIVMSG #esoteric :actually output* < 1319130258 239337 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Mathematica uses term rewriting, so it's hard to replicate its interface in something like Haskell < 1319130276 234953 :monqy!~swell@pool-71-102-226-192.snloca.dsl-w.verizon.net JOIN :#esoteric < 1319130303 42604 :coppro!~scshunt@denardo.csclub.uwaterloo.ca PRIVMSG #esoteric :Some things would also be a pain < 1319130319 523040 :coppro!~scshunt@denardo.csclub.uwaterloo.ca PRIVMSG #esoteric :Haskell is horrible at things like type-safe sized data structures < 1319130333 176836 :coppro!~scshunt@denardo.csclub.uwaterloo.ca PRIVMSG #esoteric :(e.g. matrices typed by size) < 1319130337 449438 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :coppro: Mathematica doesn't have those < 1319130341 717644 :coppro!~scshunt@denardo.csclub.uwaterloo.ca PRIVMSG #esoteric :I know < 1319130342 157809 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :so I don't know what you're going on about < 1319130344 11338 :coppro!~scshunt@denardo.csclub.uwaterloo.ca PRIVMSG #esoteric :but it should < 1319130346 602733 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :it doesn't < 1319130349 983215 :coppro!~scshunt@denardo.csclub.uwaterloo.ca PRIVMSG #esoteric :it should < 1319130358 331798 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :see Axiom < 1319130381 303506 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :anyway, haskell isn't terrible at those, they're just a pain to write < 1319130385 153956 :coppro!~scshunt@denardo.csclub.uwaterloo.ca PRIVMSG #esoteric :we should just use coq < 1319130397 974773 :coppro!~scshunt@denardo.csclub.uwaterloo.ca PRIVMSG #esoteric :elliott: I consider a pain to write isomorphic to terrible < 1319130412 590840 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :coppro: so anything hard to implement is terrible to use? < 1319130441 3212 :coppro!~scshunt@denardo.csclub.uwaterloo.ca PRIVMSG #esoteric :No, but such a matrix system would also be horrible to use < 1319130466 531471 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :shrug; not if you were fine with predefined operations < 1319130474 419915 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :manual loops would be a bit of a pain < 1319130531 499066 :coppro!~scshunt@denardo.csclub.uwaterloo.ca PRIVMSG #esoteric :Matrix (S (S (S (S Z)))) (S (S (S (S (S (S (S Z))))))) < 1319130552 953123 :coppro!~scshunt@denardo.csclub.uwaterloo.ca PRIVMSG #esoteric :seems terrible < 1319130568 490754 :coppro!~scshunt@denardo.csclub.uwaterloo.ca PRIVMSG #esoteric :anyway, bus time < 1319130760 731865 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric : Matrix (S (S (S (S Z)))) (S (S (S (S (S (S (S Z))))))) < 1319130785 453811 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :coppro: Matrix N4 N7 < 1319130788 724193 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :omg so terrible < 1319130927 511117 :Sgeo|web!ad034d00@gateway/web/freenode/ip.173.3.77.0 PRIVMSG #esoteric :. < 1319131050 486604 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :what < 1319131067 75448 :derrik!~xix@gprs-inet-65-23.elisa.ee QUIT :Ping timeout: 252 seconds < 1319131190 232570 :Sgeo|web!ad034d00@gateway/web/freenode/ip.173.3.77.0 PRIVMSG #esoteric :elliott: I wanted to see if I was still connected < 1319131204 306347 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :that won't help < 1319131206 627796 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :messages are echoed locally < 1319131209 554251 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :try /topic < 1319131257 820334 :Sgeo|web!ad034d00@gateway/web/freenode/ip.173.3.77.0 PRIVMSG #esoteric :Actually, when I get disconnected, webchat seems to stop echoing my messages. < 1319131260 554216 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I use /ctcp ping ais523 < 1319131267 6546 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :which gets abbreviated to /ping ais523 in practice < 1319131281 622142 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I tend to use /ping ais523 even when I'm not actually ais523; it still works, because the error message comes from the server < 1319131289 759235 :fizzie!fis@iris.zem.fi PRIVMSG #esoteric :I use /whois fizzie. < 1319131298 408120 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :might as well just /ping q :P < 1319131303 666207 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :but yeah, I've got in the habit of doing /topic < 1319131334 285153 :Sgeo|web!ad034d00@gateway/web/freenode/ip.173.3.77.0 PRIVMSG #esoteric :/topic < 1319131347 235708 :Sgeo|web!ad034d00@gateway/web/freenode/ip.173.3.77.0 PRIVMSG #esoteric :say /topic complains about insufficient arguments < 1319131366 214269 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :it doesn't < 1319131387 631482 :Sgeo|web!ad034d00@gateway/web/freenode/ip.173.3.77.0 PRIVMSG #esoteric :On this webchat it does for some reason < 1319131392 911602 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :elliott: oh dear: today I was trying to explain {C-style functions|static methods} to my students < 1319131397 990808 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :and used a hello world function as the example < 1319131403 745156 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :which would write hello world to arbitrary streams < 1319131414 912382 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :FILE streams? < 1319131431 90802 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :oh, C++ streams? < 1319131452 190954 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :it was Java < 1319131454 361498 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :so PrintStreams < 1319131475 18867 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :ah < 1319131475 665071 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :go on < 1319131640 192564 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :there's not much go on < 1319131646 201358 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I just realised afterwards that it was a ridiculous thing to do < 1319131650 944626 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :especially when I wrote docs for it < 1319131674 134206 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :heh < 1319131711 498278 :Vorpal!~AnMaster@unaffiliated/anmaster PRIVMSG #esoteric :h but yeah, I've got in the habit of doing /topic <-- same as me then < 1319131715 484605 :Vorpal!~AnMaster@unaffiliated/anmaster PRIVMSG #esoteric :s/^h// < 1319131768 226404 :Vorpal!~AnMaster@unaffiliated/anmaster PRIVMSG #esoteric : I just realised afterwards that it was a ridiculous thing to do <-- I seen worse examples from teachers than that. < 1319131809 368564 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :well, I improvise < 1319131816 238200 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :so my examples are bound to be silly sometimes < 1319131856 346040 :Vorpal!~AnMaster@unaffiliated/anmaster PRIVMSG #esoteric :ais523, not too bad then. I seen sillier planned examples and assignments. < 1319131861 264405 :Vorpal!~AnMaster@unaffiliated/anmaster PRIVMSG #esoteric :have seen* < 1319131906 252177 :Vorpal!~AnMaster@unaffiliated/anmaster PRIVMSG #esoteric :what was it on the exam for the database stuff now again... Oh yeah, superman bug swatting database. No it didn't make any sense. < 1319131934 501029 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Vorpal: Sorry but that sounds like the best? < 1319131967 61012 :Vorpal!~AnMaster@unaffiliated/anmaster PRIVMSG #esoteric :elliott, best or worst or whatever. You can't deny it was silly :P < 1319131987 588570 :Sgeo|web!ad034d00@gateway/web/freenode/ip.173.3.77.0 PRIVMSG #esoteric :I wrote some actually difficult for me to write Haskell code < 1319131992 512631 :Sgeo|web!ad034d00@gateway/web/freenode/ip.173.3.77.0 PRIVMSG #esoteric :It looks horribleugly < 1319131996 528280 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Sgeo|web: was it hello world < 1319132001 348111 :Sgeo|web!ad034d00@gateway/web/freenode/ip.173.3.77.0 PRIVMSG #esoteric :No < 1319132013 377383 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :are you sure < 1319132015 166358 :Vorpal!~AnMaster@unaffiliated/anmaster PRIVMSG #esoteric :Sgeo|web, don't show it to elliott. He will just poke fun at you. < 1319132026 146111 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :it's called constructive criticism < 1319132031 560150 :fizzie!fis@iris.zem.fi PRIVMSG #esoteric :Better fun than holes. < 1319132038 923164 :Vorpal!~AnMaster@unaffiliated/anmaster PRIVMSG #esoteric :elliott, FSVO constructive < 1319132074 841490 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Vorpal: should i deliberately withhold all the ways in which a given piece of code is broken and thus hold back its author???? < 1319132109 777451 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :elliott: if you think that code is broken badly enough that you can produce a reasonably long list of ways in which it is broken < 1319132110 631533 :Vorpal!~AnMaster@unaffiliated/anmaster PRIVMSG #esoteric :elliott, I didn't say that. < 1319132115 767140 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :there are probably more ways that it's broken that you didn't catch < 1319132133 264391 :Sgeo|web!ad034d00@gateway/web/freenode/ip.173.3.77.0 PRIVMSG #esoteric :When I'm less tired, I might ask in #haskell < 1319132145 580706 :Vorpal!~AnMaster@unaffiliated/anmaster PRIVMSG #esoteric :elliott, what I was complaining about was the way you *present* said criticism. < 1319132160 287899 :Sgeo|web!ad034d00@gateway/web/freenode/ip.173.3.77.0 PRIVMSG #esoteric :But it's not broken (except for requiring users to supply a type signature), as such. It works. It's just a godawful horror < 1319132169 584946 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :"(except for requiring users to supply a type signature)" < 1319132175 214737 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Sgeo|web: I've found the problem already < 1319132183 738700 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :you're trying to do something stupid with the type system; stop it < 1319132203 168660 :Vorpal!~AnMaster@unaffiliated/anmaster PRIVMSG #esoteric :elliott, you do weird things to the type system quite often < 1319132215 25472 :Sgeo|web!ad034d00@gateway/web/freenode/ip.173.3.77.0 PRIVMSG #esoteric :I might be using the type system incorrectly, but I'm abusing monads, not the type system < 1319132225 997883 :monqy!~swell@pool-71-102-226-192.snloca.dsl-w.verizon.net PRIVMSG #esoteric :abusing monads? < 1319132231 818564 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Vorpal: yes, because I'm a rather good Haskell programmer < 1319132239 383742 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Vorpal: and it is always strictly for fun < 1319132240 874206 :copumpkin!~pumpkin@unaffiliated/pumpkingod PRIVMSG #esoteric :elliott: o rly < 1319132242 111315 :Sgeo|web!ad034d00@gateway/web/freenode/ip.173.3.77.0 PRIVMSG #esoteric :(Specifically, I'm doing convoluted stuff with a State monad when I feel I should probably be using a State and Writer monad stack) < 1319132246 327504 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :copumpkin: compared to Sgeo|web < 1319132249 235852 :Vorpal!~AnMaster@unaffiliated/anmaster PRIVMSG #esoteric :elliott, well yeah < 1319132263 267300 :copumpkin!~pumpkin@unaffiliated/pumpkingod PRIVMSG #esoteric :you should combine lenses with your state < 1319132269 494121 :copumpkin!~pumpkin@unaffiliated/pumpkingod PRIVMSG #esoteric :that makes state twice as awesome < 1319132270 368491 :Sgeo|web!ad034d00@gateway/web/freenode/ip.173.3.77.0 PRIVMSG #esoteric :And probably also separating long lines into parts or something < 1319132336 318646 :Sgeo|web!ad034d00@gateway/web/freenode/ip.173.3.77.0 PRIVMSG #esoteric :So, if my state was a tuple and I wanted to update the first one, lenses would make that convenient? < 1319132360 967516 :Sgeo|web!ad034d00@gateway/web/freenode/ip.173.3.77.0 PRIVMSG #esoteric :Wow, when I write it like that, I think I could have just done (firstpart, secondpart) <- get < 1319132370 466568 :Sgeo|web!ad034d00@gateway/web/freenode/ip.173.3.77.0 PRIVMSG #esoteric :And not fiddle with fst and snd < 1319132388 118526 :Sgeo|web!ad034d00@gateway/web/freenode/ip.173.3.77.0 PRIVMSG #esoteric :EVERYWEHRE IN THE CODE < 1319132392 728352 :monqy!~swell@pool-71-102-226-192.snloca.dsl-w.verizon.net PRIVMSG #esoteric :data-lens even has special stuff for dealing with monadstate iirc < 1319132407 429441 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Sgeo|web: (<$>) :: (a -> b) -> (c,a) -> (c,b) < 1319132434 54733 :monqy!~swell@pool-71-102-226-192.snloca.dsl-w.verizon.net PRIVMSG #esoteric :and also lenses for tuples < 1319132440 201046 :monqy!~swell@pool-71-102-226-192.snloca.dsl-w.verizon.net PRIVMSG #esoteric :couples specifically < 1319132446 897459 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :couples < 1319132453 718999 :monqy!~swell@pool-71-102-226-192.snloca.dsl-w.verizon.net PRIVMSG #esoteric :2-topules < 1319132467 519432 :Sgeo|web!ad034d00@gateway/web/freenode/ip.173.3.77.0 PRIVMSG #esoteric :Of course there's a library for making what I did easier that I had no clue about, why wouldn't there be? < 1319132486 706765 :Sgeo|web!ad034d00@gateway/web/freenode/ip.173.3.77.0 PRIVMSG #esoteric :That will always be the case for any value of "what I did" < 1319132494 534859 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :lenses are overkill for a tuple < 1319132515 90289 :Sgeo|web!ad034d00@gateway/web/freenode/ip.173.3.77.0 PRIVMSG #esoteric :http://pastie.org/private/1aazxbtt5gohfmmp4uudfa < 1319132529 554390 :Sgeo|web!ad034d00@gateway/web/freenode/ip.173.3.77.0 PRIVMSG #esoteric :Some of the comments are obsolete < 1319132537 618090 :monqy!~swell@pool-71-102-226-192.snloca.dsl-w.verizon.net PRIVMSG #esoteric :arrow is good for tuple manipulation, bad for other things < 1319132610 274406 :Ngevd!~Taneb@2.99.90.255 JOIN :#esoteric < 1319132619 946910 :Sgeo|web!ad034d00@gateway/web/freenode/ip.173.3.77.0 PRIVMSG #esoteric :http://pastie.org/private/sqqcpinl5hke0fuawknpka example usage < 1319132669 101729 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :your commenting style sucks, put them above the relevant lines < 1319132682 415252 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Sgeo|web: evalState/execState means you run the computation twice < 1319132686 171629 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric ::t runState < 1319132687 125675 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :forall s a. State s a -> s -> (a, s) < 1319133424 478041 :sllide!~jari@ip565eb113.direct-adsl.nl JOIN :#esoteric < 1319133587 247090 :Slereah_!~butt@ANantes-259-1-154-148.w90-49.abo.wanadoo.fr QUIT :Ping timeout: 260 seconds < 1319133948 11839 :Slereah_!~butt@ANantes-259-1-228-27.w83-195.abo.wanadoo.fr JOIN :#esoteric < 1319134551 602598 :Slereah_!~butt@ANantes-259-1-228-27.w83-195.abo.wanadoo.fr QUIT :Remote host closed the connection < 1319134576 553276 :Slereah_!~butt@ANantes-259-1-228-27.w83-195.abo.wanadoo.fr JOIN :#esoteric < 1319134601 520000 :Sgeo|web!ad034d00@gateway/web/freenode/ip.173.3.77.0 PRIVMSG #esoteric :I knew about runState just thought that evalState and execState would be more convenient to use in my case < 1319134639 595814 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Sgeo|web: More convenient vs. computing everything twice. < 1319134647 703303 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Anyway, it's not inconvenient, just deconstruct it in a where clause. < 1319134669 306290 :Sgeo|web!ad034d00@gateway/web/freenode/ip.173.3.77.0 PRIVMSG #esoteric :I need to start using where clauses more < 1319134720 625272 :Ngevd!~Taneb@2.99.90.255 PRIVMSG #esoteric :Sgeo|web, having discovered the wonder of the clause, changed his grammar techniques < 1319136178 557592 :sebbu2!~sebbu@ADijon-152-1-63-203.w83-194.abo.wanadoo.fr JOIN :#esoteric < 1319136178 996581 :sebbu2!~sebbu@ADijon-152-1-63-203.w83-194.abo.wanadoo.fr QUIT :Changing host < 1319136179 143271 :sebbu2!~sebbu@unaffiliated/sebbu JOIN :#esoteric < 1319136232 596024 :sebbu!~sebbu@unaffiliated/sebbu QUIT :Ping timeout: 240 seconds < 1319137166 881194 :pikhq_!~pikhq@71-219-241-18.clsp.qwest.net JOIN :#esoteric < 1319137173 743842 :Ngevd!~Taneb@2.99.90.255 PRIVMSG #esoteric :Turns out, I can't make an IRC bot < 1319137180 659400 :pikhq!~pikhq@71-219-221-210.clsp.qwest.net QUIT :Ping timeout: 244 seconds < 1319137196 490958 :Ngevd!~Taneb@2.99.90.255 PRIVMSG #esoteric :ais523, the spambots have started with gambling sites < 1319137207 376323 :fizzie!fis@iris.zem.fi PRIVMSG #esoteric :fungot: Help Ngevd make an IRC bot, you're the expert. < 1319137207 523020 :fungot!~fungot@momus.zem.fi PRIVMSG #esoteric :fizzie: so, let's say i call them mindless games. if we hit every stupid person, any person going, tough one. if we solve it,... it's what that guy in medina, a village near the mystic mountain" 65,000,000 b. c.? yes, i'd have done something very brave! he's probably up north, to guardia!!! let's toast? or decide. fnord 22:11, 17, 18, 19, 20, 21, 22, 22, ...too much output! < 1319137212 633087 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :Ngevd: they started that a bit earlier < 1319137214 894357 :fizzie!fis@iris.zem.fi PRIVMSG #esoteric :(Almost typed "you're the export".) < 1319137246 6496 :Ngevd!~Taneb@2.99.90.255 PRIVMSG #esoteric :I reckon, if I knew anything about the IRC protocol, I could probably make Pietbot < 1319137259 982648 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :the IRC protocol is really pretty simple < 1319137274 927021 :Ngevd!~Taneb@2.99.90.255 PRIVMSG #esoteric :I'll learn it at the weekend < 1319137281 504979 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :you start off by writing USER username anything anything :realname < 1319137291 52505 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :then PASS password (if you need a password to log on) < 1319137292 691909 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :then NICK nickname < 1319137295 556785 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :and that's enough to connect < 1319137302 114401 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :(the username's the bit before the @ in your whois info) < 1319137310 272242 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :then you join channels with JOIN #esoteric < 1319137319 704779 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :and send messages with PRIVMSG #esoteric :this is a message < 1319137321 593356 :fizzie!fis@iris.zem.fi PRIVMSG #esoteric :ais523: Can you join any channel with "JOIN #esoteric"? < 1319137326 471630 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :(the colon means "quote to end of line") < 1319137332 512752 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :fizzie: depends on the server, I guess < 1319137344 323776 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :you can join #esoteric, at least < 1319137346 708497 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric : you start off by writing USER username anything anything :realname < 1319137347 373115 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :that counts as "any channel" < 1319137348 977445 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :ais523: no you don't < 1319137355 978201 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :elliott: really? < 1319137363 858300 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :NICK comes last, USER and PASS can be either way round < 1319137371 199689 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :ais523: USER (RFC 2812) < 1319137375 718549 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :and the second and third args are habitually ignored < 1319137378 244224 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :nobody's used the 1459 USER since, um, ever < 1319137393 559889 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :what's /meant/ to go in the field? < 1319137399 920631 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I've tried all sorts of random stuff htere < 1319137401 410295 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :*there < 1319137403 463400 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :ais523: mode bitmask < 1319137405 853885 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :as decimal < 1319137406 668 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :and Freenode never seems to care < 1319137411 194459 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :8 is the usual thing, I think < 1319137413 440614 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :ah, I don't think I tried a number < 1319137415 208828 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :ais523: it'll just use a default if you pass something invalid < 1319137447 3156 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :like "localhost", that one's always fun < 1319137464 312691 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :it's like using localhost in a HELO in SMTP (which actually works, and is often the best option) < 1319137466 944607 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :"Hello, I'm me" < 1319137505 47636 :Vorpal!~AnMaster@unaffiliated/anmaster PRIVMSG #esoteric : elliott I seem to remember you saying something to the effect of tzdata being overcomplicated for the job? < 1319137521 88659 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Vorpal: I don't think TZ variables are a pain to set; DST rarely changes < 1319137529 919926 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :it's certainly convenient, but I don't think it's that important < 1319137541 523911 :Vorpal!~AnMaster@unaffiliated/anmaster PRIVMSG #esoteric :elliott, well just looked at changelog of tzdata: "Palestine suspends DST during Ramadan in 2011" < 1319137543 960963 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :elliott: what if you live in a country where it changes every few years? < 1319137552 160105 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Vorpal: and probably it should just be a filesystem hierarchy of TZ variable settings, rather than a complicated binary format < 1319137562 120002 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :ais523: then your life is already hell :) < 1319137562 616757 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I suppose the UK's worse, it changes every six months or so here < 1319137571 967463 :Vorpal!~AnMaster@unaffiliated/anmaster PRIVMSG #esoteric :or "West Bank changes date for DST end in 2011 to Sep 30th" < 1319137577 665747 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric : Vorpal: and probably it should just be a filesystem hierarchy of TZ variable settings, rather than a complicated binary format < 1319137581 788770 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :I didn't say tzdata was useless in concept < 1319137587 145662 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :I just think that it's overkill as it is < 1319137590 972341 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :but most things are < 1319137596 208287 :Vorpal!~AnMaster@unaffiliated/anmaster PRIVMSG #esoteric :ais523, it changes according to a sensible pattern iirc? < 1319137606 11604 :Vorpal!~AnMaster@unaffiliated/anmaster PRIVMSG #esoteric :or at least predictable pattern < 1319137608 89235 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :elliott: using Metacity a bit earlier reminded me of how much I prefer Compiz < 1319137611 447329 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :Vorpal: yes, I was making a joke < 1319137616 733208 :Vorpal!~AnMaster@unaffiliated/anmaster PRIVMSG #esoteric :ais523, oh okay < 1319137627 411626 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :not a very good one, but I still expected most people to catch it < 1319137628 417736 :Vorpal!~AnMaster@unaffiliated/anmaster PRIVMSG #esoteric :ais523, anyway Israel used to have DST different for every year < 1319137653 337327 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :DST is hell on earth, anyway < 1319137661 201070 :Vorpal!~AnMaster@unaffiliated/anmaster PRIVMSG #esoteric :yeah < 1319137687 286842 :fizzie!fis@iris.zem.fi PRIVMSG #esoteric :Yeah, I just use Swatch Internet Time all the time. < 1319137701 37045 :Vorpal!~AnMaster@unaffiliated/anmaster PRIVMSG #esoteric :hah < 1319137702 714230 :fizzie!fis@iris.zem.fi PRIVMSG #esoteric :Biel Mean Time for the win, and so on. < 1319137733 957124 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :holy shit, they removed the Eq/Show superclasses of Num??? < 1319137741 683411 :Vorpal!~AnMaster@unaffiliated/anmaster PRIVMSG #esoteric :why is it called Biel btw? < 1319137745 153875 :fizzie!fis@iris.zem.fi PRIVMSG #esoteric :(Swatch Internet Time is based on the UTC+1 observed at Swatch's headquarters in Switzerland.) < 1319137747 328049 :Vorpal!~AnMaster@unaffiliated/anmaster PRIVMSG #esoteric :elliott, what? where? < 1319137753 292104 :fizzie!fis@iris.zem.fi PRIVMSG #esoteric :Biel, Switzerland, to be more precise. < 1319137757 625480 :Vorpal!~AnMaster@unaffiliated/anmaster PRIVMSG #esoteric :elliott, and when? < 1319137757 772284 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :well going by http://hackage.haskell.org/trac/ghc/changeset/b59fe25a24c4b913a9935c71b1b42a060ab53dcc/utils and http://haskell.1045720.n5.nabble.com/Proposal-Remove-Show-and-Eq-superclasses-of-Num-td4808712.html < 1319137826 880762 :Vorpal!~AnMaster@unaffiliated/anmaster PRIVMSG #esoteric :huh < 1319137845 591361 :fizzie!fis@iris.zem.fi PRIVMSG #esoteric :Instead of the 1000-".beat" split of the @-time, I sort-of like the hexclock way of having a midnight of 0000, a noon of 8000, and one hex-second (about 1.32 regular seconds) before midnight as ffff. < 1319137896 785279 :Vorpal!~AnMaster@unaffiliated/anmaster PRIVMSG #esoteric :elliott, I'm not sure how sensible removing Eq is? When would you want a Num without Eq? < 1319137909 831530 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Vorpal: computable reals < 1319137911 71328 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :(->) < 1319137913 435812 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :etc. < 1319137919 351912 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :(->) is numeric? < 1319137919 750959 :Vorpal!~AnMaster@unaffiliated/anmaster PRIVMSG #esoteric :hm < 1319137924 843198 :Vorpal!~AnMaster@unaffiliated/anmaster PRIVMSG #esoteric ::t (->) < 1319137925 819787 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :parse error on input `->' < 1319137926 748721 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :ais523: yes, reader monad interpretation < 1319137931 488436 :fizzie!fis@iris.zem.fi PRIVMSG #esoteric :(I'm not as sure I like the Hexclock way of splitting it as A_BC_D and to call the middle bit minutes.) < 1319137935 663913 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :ais523: (f `op` g) x = f x `op` g x, etc. < 1319137940 319093 :Vorpal!~AnMaster@unaffiliated/anmaster PRIVMSG #esoteric :ah < 1319137954 319196 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :fizzie: "Furthermore, the essentially pointless and often confusing A.M. and P.M. suffixes have been eliminated. Anyone who has accidentally set his or her alarm clock for seven P.M. instead of seven A.M. can appreciate this." < 1319137955 823698 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :elliott: I don't see offhand how that makes it numeric < 1319137977 108582 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :ais523: well, it's Num b => Num (a -> b) < 1319137982 435422 :Vorpal!~AnMaster@unaffiliated/anmaster PRIVMSG #esoteric :elliott, don't all alarm clocks use 24h anyway? < 1319137984 347556 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :fizzie: I like decimal time < 1319137985 17047 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :fromInteger = const . fromInteger, etc. < 1319137999 321439 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :and normally split it as 3 millidays with 2 centimillidays (we need a better prefix for that) < 1319138014 734610 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :it differs from swatch internet time in that it follows timezones rather than being fixed at UTC+1 < 1319138023 195550 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :decimal sux < 1319138032 616527 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :elliott: but it produces really nicely-sized time units < 1319138035 848563 :Vorpal!~AnMaster@unaffiliated/anmaster PRIVMSG #esoteric :ais523, why UTC+1 for swatch btw? Why not UTC < 1319138045 107242 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :why ask me? < 1319138046 830888 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Vorpal: not only do you have no context < 1319138047 3148 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I didn't invent it < 1319138048 443964 :pikhq_!~pikhq@71-219-241-18.clsp.qwest.net PRIVMSG #esoteric :ais523: Hmm. What's 2 centimillidays in days, anyways? < 1319138048 648605 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :but you have no memory? < 1319138051 629014 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric : (Swatch Internet Time is based on the UTC+1 observed at Swatch's headquarters in Switzerland.) < 1319138053 109228 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric : Biel, Switzerland, to be more precise. < 1319138061 535488 :Vorpal!~AnMaster@unaffiliated/anmaster PRIVMSG #esoteric :elliott, I missed that line < 1319138073 527018 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :pikhq_: one of them is a little smaller than a second < 1319138078 459185 :Vorpal!~AnMaster@unaffiliated/anmaster PRIVMSG #esoteric :I never read it, thus it is unrelated to my memory < 1319138079 290596 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric : elliott: IT'S COMMITTED, IN 7.4 THEY WON'T BE < 1319138080 306238 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :YESSSSSSSSSSSS < 1319138086 24294 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :an 86400/100000th of a second, to be precise < 1319138091 964260 :pikhq_!~pikhq@71-219-241-18.clsp.qwest.net PRIVMSG #esoteric :ais523: Well, I'm wondering if I can come up with a better prefix is why I ask. < 1319138097 906403 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :> 86400/100000 < 1319138098 581832 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : 0.864 < 1319138102 347529 :pikhq_!~pikhq@71-219-241-18.clsp.qwest.net PRIVMSG #esoteric :2 centimillidays = x days. Solve for x por favor. < 1319138106 989690 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :err, I could have guessed that… < 1319138129 385903 :pikhq_!~pikhq@71-219-241-18.clsp.qwest.net PRIVMSG #esoteric :
ACTION seriously has no idea how concatenating metric prefixes should work.
< 1319138131 90354 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :pikhq_: oh, that's not what I meant < 1319138138 824567 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I mean 3 digits go to millidays, and another 2 to centimillidays < 1319138150 768182 :pikhq_!~pikhq@71-219-241-18.clsp.qwest.net PRIVMSG #esoteric :Yes, but what the eff is a centimilliday? < 1319138151 595517 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :"milliday" is a nice enough name, anyway < 1319138158 15728 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :but I'm not sure what to call the subdivision < 1319138165 573994 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :pikhq_: like dollars and cents, except millidays and centimillidays < 1319138173 234395 :pikhq_!~pikhq@71-219-241-18.clsp.qwest.net PRIVMSG #esoteric :0.0001 days, then? < 1319138181 277474 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :0.00001 < 1319138190 905978 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :it's a hundredth of a thousandth < 1319138214 764087 :fizzie!fis@iris.zem.fi PRIVMSG #esoteric :ais523: Well, hextime has "naturally" three levels of units; 1.32s, 5m37.5s and 1h30m. < 1319138226 959439 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :5m37.5s. So natural. < 1319138229 116801 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :ouch < 1319138235 539843 :pikhq_!~pikhq@71-219-241-18.clsp.qwest.net PRIVMSG #esoteric :So, 10^-5. < 1319138244 447912 :pikhq_!~pikhq@71-219-241-18.clsp.qwest.net PRIVMSG #esoteric :The prefix shall hereby be kotsu-. < 1319138246 387947 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :decimal time has centidays which are around 15 minutes, which is a great division < 1319138259 446334 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :and kotsudays which are a bit less than a second < 1319138268 721012 :Vorpal!~AnMaster@unaffiliated/anmaster PRIVMSG #esoteric :ais523, why is that a great division? < 1319138282 456575 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :Vorpal: 15-minute chunks are the chunks human schedules nearly always operate on < 1319138293 385413 :pikhq_!~pikhq@71-219-241-18.clsp.qwest.net PRIVMSG #esoteric :(etymology: 10^-5 unit prefix for traditional Japanese units) < 1319138309 317778 :Vorpal!~AnMaster@unaffiliated/anmaster PRIVMSG #esoteric :ais523, only because our system is currently based on seconds and minutes < 1319138323 545306 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :Vorpal: that, and the fact that it's a conveniently-sized unit < 1319138333 445663 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :why don't we use, say, 10-minute chunks? or 12-minute chunks? < 1319138336 766523 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :or 20-minute chunks? < 1319138375 926862 :Vorpal!~AnMaster@unaffiliated/anmaster PRIVMSG #esoteric :ais523, well yes, but I suspect that anything between say 13 minutes and 20 minutes would be acceptable as a standard schedule unit, had those fit better with our time units. < 1319138393 599527 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric : there are other great divisions, ergo that one isn't < 1319138407 522724 :fizzie!fis@iris.zem.fi PRIVMSG #esoteric :ais523: Sorry, 4 levels of units, of course: 1.32s, 21.09s, 5m37.5s and 1h30m. Anyway, the 1.32s hexsec is a reasonable "short time", and the 1h30m hexhour is a reasonable "longer time"; it's just the 21.09s hexminute that's a bit silly-short. < 1319138407 669589 :Vorpal!~AnMaster@unaffiliated/anmaster PRIVMSG #esoteric :elliott, strawman < 1319138420 953571 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :well, a centiday isn't exactly 15 minutes < 1319138423 458976 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :it's slightly less < 1319138426 18906 :pikhq_!~pikhq@71-219-241-18.clsp.qwest.net PRIVMSG #esoteric :Man. Metrication in Japan must have been really easy. Their traditional units are metric. < 1319138427 188376 :Vorpal!~AnMaster@unaffiliated/anmaster PRIVMSG #esoteric :elliott, what I was saying: why should we stick to the current division if we design a new unit system anyway < 1319138428 123203 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :but only slightly < 1319138444 435722 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Vorpal: You didn't actually say that. < 1319138453 140359 :Vorpal!~AnMaster@unaffiliated/anmaster PRIVMSG #esoteric :elliott, nor did I say what you claimed < 1319138456 537737 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Yawn. < 1319138470 326585 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Anyway, fifteen minutes are a good unit, so if it falls naturally out of a system, that is a point in favour of that system. < 1319138471 888236 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Simple as that. < 1319138515 6430 :Vorpal!~AnMaster@unaffiliated/anmaster PRIVMSG #esoteric :well yes, but anything near that sort of size is just as good. What I'm claiming here is that 15 minutes isn't the optimum. In fact I think slightly longer would be better. < 1319138582 975533 :olsner!~salparot@c83-252-161-133.bredband.comhem.se PRIVMSG #esoteric :fungot: does it defurbulate VCL's crudgenickle sklep? < 1319138583 398722 :fungot!~fungot@momus.zem.fi PRIVMSG #esoteric :olsner:, so i'd have to consider that although the reduction in actual transportation section from former friend lives, their door had my computer with full u+ support" then they both bowed low. just keep the safe or tub and emptied it < 1319138596 98498 :fizzie!fis@iris.zem.fi PRIVMSG #esoteric :Also you get a reasonable approximation of current units by doing a:bb:cc where a = 0..f, bb = 00..3f, cc = 00..3f, which gives 0:00:01 as 1.32s (a second-analogue), 0:01:00 as 84.374s (a minute-analogue) and 1:00:00 as 1h30m (an hour-analogue), but that's no longer as clean as just the four hexdigits. < 1319138686 88402 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :fizzie: And you can truncate-round it using big endian fixed-point, right? < 1319138793 440947 :fizzie!fis@iris.zem.fi PRIVMSG #esoteric :Yes, you get the time in coarser units (truncated) by just reading a shorter number if you are big-endian. < 1319138844 355791 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :fizzie: Another victory of big-endian. < 1319138914 950072 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :same with little-endian, you just read from the other end < 1319138928 425741 :fizzie!fis@iris.zem.fi PRIVMSG #esoteric :ais523: Yes, but you need an address adjustment. < 1319138962 699929 :fizzie!fis@iris.zem.fi PRIVMSG #esoteric :ais523: (There was a discussion (if you can call it that) on this other channel on the little-endian property of being able to convert to narrower integers without adjusting the address.) < 1319138970 377106 :Vorpal!~AnMaster@unaffiliated/anmaster PRIVMSG #esoteric :on the other hand you need no address adjustment in little endian if you just want the seconds, or the seconds and the minutes < 1319138972 319720 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :fizzie: I know, I was in it < 1319138983 280640 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :in fact, I even believe I pointed out that it was the main advantage of little-endian < 1319138985 382312 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :fizzie: It was -minecraft. < 1319138991 4632 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Though we've talked about it previously here. < 1319138994 455868 :Vorpal!~AnMaster@unaffiliated/anmaster PRIVMSG #esoteric :yeah < 1319138997 182601 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :(it's also the reason gcc-bf is little-endian, incidnetally) < 1319138997 493213 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Oh, "this other channel". < 1319139036 644677 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :is -minecraft still in use? < 1319139046 544970 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :O'course. < 1319139074 529153 :tiffany!~kawaii@fl-76-3-21-30.dhcp.embarqhsd.net JOIN :#esoteric < 1319139093 789034 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :fizzie: Can you believe I'm still working on them n-grams? < 1319139985 930452 :CakeProphet!~eris@h44.44.18.98.dynamic.ip.windstream.net JOIN :#esoteric < 1319139986 77619 :CakeProphet!~eris@h44.44.18.98.dynamic.ip.windstream.net QUIT :Changing host < 1319139986 77767 :CakeProphet!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake JOIN :#esoteric < 1319140076 133582 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Oh, it's the Pake Crophet. < 1319140160 815917 :pikhq_!~pikhq@71-219-241-18.clsp.qwest.net QUIT :Read error: Operation timed out < 1319140176 734482 :pikhq!~pikhq@174-22-146-102.clsp.qwest.net JOIN :#esoteric < 1319140573 926617 :olsner!~salparot@c83-252-161-133.bredband.comhem.se PRIVMSG #esoteric :the poke craphet < 1319140599 552772 :Ngevd!~Taneb@2.99.90.255 PRIVMSG #esoteric :The Peko Crephat < 1319140738 748909 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :im peko crephat < 1319140845 403399 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric ::t repeat < 1319140846 317740 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :forall a. a -> [a] < 1319140902 223247 :Vorpal!~AnMaster@unaffiliated/anmaster QUIT :Ping timeout: 260 seconds < 1319141054 745253 :Ngevd!~Taneb@2.99.90.255 PRIVMSG #esoteric :Is cycle equivalent to (concat . repeat)? < 1319141072 125707 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :yes < 1319141499 677177 :Ngevd!~Taneb@2.99.90.255 PRIVMSG #esoteric :Oh, cool < 1319141518 562178 :olsner!~salparot@c83-252-161-133.bredband.comhem.se PRIVMSG #esoteric :poke crêpe hat < 1319141583 41403 :olsner!~salparot@c83-252-161-133.bredband.comhem.se PRIVMSG #esoteric :*peko < 1319141607 528130 :Ngevd!~Taneb@2.99.90.255 PRIVMSG #esoteric :That's rapidly approaching Gregor < 1319141918 457550 :sebbu2!~sebbu@unaffiliated/sebbu NICK :sebbu < 1319142008 342186 :tswett!~Warrigal@171.64.42.221 JOIN :#esoteric < 1319142117 488096 :oerjan!oerjan@sprocket.nvg.ntnu.no JOIN :#esoteric < 1319142408 257435 :fizzie!fis@iris.zem.fi PRIVMSG #esoteric :Cake "Ark-Tech-Pope" Prophet. < 1319142550 567127 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :hi oerjan < 1319142658 125829 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :hi elliott < 1319142676 497385 :Ngevd!~Taneb@2.99.90.255 PRIVMSG #esoteric :hi tswett < 1319142686 789155 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :
ACTION wishes there was some standard (Map a Int, Int) structure
< 1319142689 737355 :tswett!~Warrigal@171.64.42.221 PRIVMSG #esoteric :hi Ngevd < 1319142699 191458 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :with "index :: a -> (Map a Int, Int) -> (Int, (Map a Int, Int)" < 1319142706 558731 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :which inserts with highest value if it's not present < 1319142713 617771 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :...and presumably has some more compact in-memory representation... < 1319142739 960785 :tswett!~Warrigal@171.64.42.221 PRIVMSG #esoteric :elliott: so the Int on the end is the highest value already present? < 1319142754 949292 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :yes, or the next value to assign, it doesn't matter much -- presumably the structure would be abstract < 1319142943 903531 :Ngevd!~Taneb@2.99.90.255 PRIVMSG #esoteric :Goodnight < 1319142946 942500 :Ngevd!~Taneb@2.99.90.255 QUIT :Quit: Leaving < 1319142977 670016 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :o < 1319142998 891928 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :hi < 1319143011 516686 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :who's that hi at? < 1319143021 879888 :fizzie!fis@iris.zem.fi PRIVMSG #esoteric :elliott: If you DIY, are you going to call it Trogdor the Internator? < 1319143040 782635 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I've been here all along, but felt like spouting a meme somewhere < 1319143042 16142 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :fizzie: If I DIY as opposed to what? < 1319143047 655432 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :ais523: I say hi a lot < 1319143053 255978 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :and then realised that there was one whose only purpose was to be mentioned randomly < 1319143056 297366 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :so I used it < 1319143063 480549 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :`log just oing < 1319143069 61736 :HackEgo!foobar@codu.org PRIVMSG #esoteric :2008-03-20.txt:15:37:24: ais523: just oing < 1319143070 346492 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :fizzie: Anyway, I suppose I could call it that. The programs right now are degrade, intern, and gentry. < 1319143080 7018 :fizzie!fis@iris.zem.fi PRIVMSG #esoteric :elliott: As opposed to finding one, which, I admit, sounds kinda unlikely. < 1319143086 11170 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :hmm, I'm not sure what date I would have guessed for that < 1319143095 454811 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :fizzie: Well, it's already mostly-written. < 1319143116 589829 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :fizzie: Do you know of a FUSE filesystem that presents a directory full of compressed files (e.g. .gz) as if they were uncompressed? :p < 1319143123 722884 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :`logurl 2008-03-20.txt:15:37:24: < 1319143126 154094 :HackEgo!foobar@codu.org PRIVMSG #esoteric :http://codu.org/logs/log/_esoteric/2008-03-20 < 1319143147 494651 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :oa hela natten < 1319143152 613956 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :elliott: Ubuntu has "archive mounter", but that's not quite the same thing < 1319143191 831052 :Madoka-Kaname!~moe@inportb/loli/cirno-chan PRIVMSG #esoteric :elliott, you should code it < 1319143195 147948 :fizzie!fis@iris.zem.fi PRIVMSG #esoteric :Data.Symbol has intern :: String -> Symbol, with Symbol !Int String, but it only has a single map, I suppose. (Just a quick googling.) < 1319143220 606113 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :fizzie: Yees, but in this case it isn't the typical intern-table things; I mean, I'd probably use Kmett's package if I wanted that. < 1319143233 497590 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :fizzie: I'm not trying to store symbols or the like efficiently, I need a first-class intern table. < 1319143268 973599 :fizzie!fis@iris.zem.fi PRIVMSG #esoteric :elliott: There's all kinds of transparent-compression fuse things, but not sure about that. fuze-lzofs sounds like it'd do it, but that seems to be a dead project with the web-page gone. < 1319143278 603667 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Heh. < 1319143301 464171 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :(It's just that, since intern has to process every file in one run, I'm going to have to build in the decompress/recompress stage into it.) < 1319143305 199907 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :(Which just seems _gross_.) < 1319143307 808826 :fizzie!fis@iris.zem.fi PRIVMSG #esoteric :And there's fuse-archivemount, but that's probably like Ubuntu's archive mounter, to mount a single archive somewhere. < 1319143316 139835 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :I suppose it could do it in multiple runs by saving the intern table and reloading it, but that sounds pointlessly slow for no reason. < 1319143321 451149 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :elliott: strangely, that log is the same day I first IRCed over telnet < 1319143327 662414 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :ais523: haha < 1319143354 238680 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric : [CTCP] Received CTCP-PING reply from ais523: -76 seconds. < 1319143412 95512 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :related, also the day I invented CTCP SWAPNICK < 1319143418 945923 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :it has never yet been implemented, which makes me sad < 1319143431 738162 :Madoka-Kaname!~moe@inportb/loli/cirno-chan PRIVMSG #esoteric :What does CTCP SWAPNICK do? < 1319143439 502647 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :
PING
< 1319143445 599115 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :
VERSION
< 1319143450 721242 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :-Zetro- VERSION ((\w+) (v?(\d+(?:[a-z]|(?:\.\d+[a-z]?)*(?:[_-](?:\d+[a-z]?|[a-z]?\d*))?)))(?: (.*))?) < 1319143452 100723 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :um. < 1319143459 410246 :Madoka-Kaname!~moe@inportb/loli/cirno-chan PRIVMSG #esoteric :
VERSION
< 1319143463 316780 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :Madoka-Kaname: it causes each client to send each other the messages it wants to post, and post as each other, from then on < 1319143463 836105 :fizzie!fis@iris.zem.fi PRIVMSG #esoteric :elliott: I guess you could use any transparent-compressed file system by "uncompressing" the files into it beforehand, but that'd tie the data into the particular implementation what it uses. < 1319143481 752440 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :some sort of daemon would be needed to handle quits correctly < 1319143485 946909 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :unless you swapped back just before quitting < 1319143520 953038 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :fizzie: Yeaah. I think I'd prefer to just add some unzip/zip runs into intern.hs. < 1319143521 151480 :Zetro!~Zetro@zetro.xen.prgmr.com PRIVMSG #esoteric :elliott: Like my version? :) < 1319143522 715337 :Madoka-Kaname!~moe@inportb/loli/cirno-chan PRIVMSG #esoteric :Can you implement that on the ircd? < 1319143523 146593 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :(in CLC-INTERCAL, it's possible to steal a filehandle from another program, which means that the INTERCAL impl has to keep running after it quits; as a corollary, a program that opens any file at all is making it visible to the entire world forever) < 1319143532 86784 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Zetro: It's... some version. < 1319143534 220591 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :Madoka-Kaname: I suppose so, but it was meant to be client-level < 1319143566 150293 :Zetro!~Zetro@zetro.xen.prgmr.com PRIVMSG #esoteric :It's every version! < 1319143578 675109 :Zetro!~Zetro@zetro.xen.prgmr.com PRIVMSG #esoteric :Almost < 1319143587 654550 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Zetro: The best version. (What client do you actually use?) < 1319143645 237174 :Zetro!~Zetro@zetro.xen.prgmr.com PRIVMSG #esoteric :atm I use XChat and AndChat < 1319143655 99740 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :hmm, what could be awesome: upon someone CTCP VERSIONing you, you CTCP VERSION them then echo the reply < 1319143683 148549 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :ais523: so if two people use it, they agree that they're both using the client _|_? :-) < 1319143704 119513 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :elliott: eventually one of them gets bored < 1319143710 67525 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :at which point the other's version doesn't really matter < 1319143712 912640 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :heh < 1319143714 651716 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :that is, quits or whatever < 1319143743 226047 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :okofolor < 1319143746 539705 :Sgeo|web!ad034d00@gateway/web/freenode/ip.173.3.77.0 PRIVMSG #esoteric :Hey, a lot of people use _|_ now < 1319143776 422068 :Sgeo|web!ad034d00@gateway/web/freenode/ip.173.3.77.0 PRIVMSG #esoteric :(e.g. everyone whose client doesn't reply to CTCP VERSION) < 1319143803 845404 :fizzie!fis@iris.zem.fi PRIVMSG #esoteric :Thanks to XChat and irssi having different CTCP PING payloads, I get silly-looking values in the other client when I ping from one. Stuff like "CTCP PING reply from fizziew: -1319088817776269.-17 seconds." Or "Ping reply from fizziew: 1319088736.35 second(s)." < 1319143815 805114 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :heh < 1319143820 597543 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :.-17? < 1319143831 893221 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :it's an intercal version number :P < 1319143834 99667 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :elliott: you can tell a lot about the rounding algo from that < 1319143851 700397 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :it's clearly using rounds-towards-zero division in an attempt to calculate the remainder (or something similar involving the modulus function) < 1319143895 60086 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric : nothing! can't a guy o here anymore without being asked for a reason :O < 1319143899 639975 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I guess that was answered < 1319143941 480524 :fizzie!fis@iris.zem.fi PRIVMSG #esoteric :XChat uses "PING v" where d is microseconds since the epoch as a single number; irssi puts in "PING s u" where s is seconds since epoch, u number of microseconds since the last full second. < 1319143947 757347 :fizzie!fis@iris.zem.fi PRIVMSG #esoteric :s/d/v/ < 1319143966 729778 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :so they differ by one space 90% of the time? < 1319143983 236996 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :elliott: what's with the Nomic World misquote in the topic? < 1319143991 765484 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :(I'm almost positive it's you, nobody else would do that) < 1319144011 750811 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :ais523: comex linked to the lindrum log on blognomic, so I had the chance to enjoy reading that message again < 1319144023 923924 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :ah, aha < 1319144024 853004 :Sgeo|web!ad034d00@gateway/web/freenode/ip.173.3.77.0 PRIVMSG #esoteric :I should read it at some point < 1319144026 675265 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :now we all are so privileged, thanks to me < 1319144044 197775 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Sgeo|web: it's mostly a lot of people yelling at Lindrum and Goethe being all wispy about it < 1319144079 657762 :Sgeo|web!ad034d00@gateway/web/freenode/ip.173.3.77.0 PRIVMSG #esoteric :Lindrum was a successful scam, right? So why would people be ... I guess I'm used to people being at least somewhat ok with scams < 1319144116 554972 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :the Lindrum scam almost certainly failed < 1319144124 424402 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :but it ripped NomicWorld apart, so it doesn't matter much < 1319144130 101330 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :hmm, or did NomicWorld reset and continue after that < 1319144134 887747 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :I forget; probably ais523 or oerjan knows < 1319144162 165859 :Sgeo|web!ad034d00@gateway/web/freenode/ip.173.3.77.0 PRIVMSG #esoteric :Where did comex post the link? < 1319144163 467304 :Sgeo|web!ad034d00@gateway/web/freenode/ip.173.3.77.0 PRIVMSG #esoteric :I don't see it < 1319144179 619990 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric : ais523: comex linked to the lindrum log on blognomic, so I had the chance to enjoy reading that message again < 1319144180 885914 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :blognomic < 1319144207 333950 :Sgeo|web!ad034d00@gateway/web/freenode/ip.173.3.77.0 PRIVMSG #esoteric :Where on blognomic? In a comment on a post? Because I don't see posts with links < 1319144223 559831 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :http://blognomic.com/archive/more_discussion_about_ais523s_dov/ < 1319144279 283949 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Sgeo|web: anyway, people were annoyed at Lindrum because it was early on in the game, it granted a complete dictatorship which was going to be used to restructure the ruleset, and because people thought it was illegal but there was no formal judgement process on its legality that could be done < 1319144319 556123 :Sgeo|web!ad034d00@gateway/web/freenode/ip.173.3.77.0 PRIVMSG #esoteric :I guess with dictatorships in Agora, the dictators are usually polite < 1319144337 587821 :Sgeo|web!ad034d00@gateway/web/freenode/ip.173.3.77.0 PRIVMSG #esoteric :And don't restructure stuff < 1319144562 471023 :Sgeo|web!ad034d00@gateway/web/freenode/ip.173.3.77.0 PRIVMSG #esoteric :tl;wrliiar < 1319144585 204029 :Sgeo|web!ad034d00@gateway/web/freenode/ip.173.3.77.0 PRIVMSG #esoteric :too long; will read later if I am reminded < 1319144988 796109 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric : hmm, or did NomicWorld reset and continue after that <-- afaik the lindrum scam was before i even joined nomic world. iirc the final death was simply due to admins no longer having time to maintain it. < 1319144999 60242 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :right < 1319145005 101259 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :seems like it just ended game one < 1319145931 487503 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :ais523: can you donate me a really big disk, please < 1319145939 844425 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I can't, I'm afraid < 1319145957 73306 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :ais523: why :( < 1319145969 598633 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I don't have one to donate < 1319145975 30327 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :and it'd take a while to carry it to Hexham even if I did < 1319146225 240141 :fizzie!fis@iris.zem.fi PRIVMSG #esoteric :There are other places in the UK than Hexham? < 1319146238 583620 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :just Finland < 1319146600 469001 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric : (Specifically, I'm doing convoluted stuff with a State monad when I feel I should probably be using a State and Writer monad stack) < 1319146606 323730 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :btw RWS exists < 1319146928 93055 :Sgeo|web!ad034d00@gateway/web/freenode/ip.173.3.77.0 PRIVMSG #esoteric :ooh? < 1319147039 485156 :Sgeo|web!ad034d00@gateway/web/freenode/ip.173.3.77.0 PRIVMSG #esoteric :But I don't need Reader [yet] < 1319147121 747427 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i suppose. < 1319147157 332026 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i'm wondering if using RWS might be more efficient that combining two of the parts < 1319147162 783966 :Sgeo|web!ad034d00@gateway/web/freenode/ip.173.3.77.0 PRIVMSG #esoteric :I probably will end up using Reader, I think < 1319147173 906444 :CakeProphet!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :RWS is the bomb diggity. < 1319147185 272787 :CakeProphet!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :
ACTION seal of approval.
< 1319147199 68421 :Sgeo|web!ad034d00@gateway/web/freenode/ip.173.3.77.0 PRIVMSG #esoteric :oerjan: I don't quite understand monad transformers yet as well as I understand how to use a single monad < 1319147214 730830 :sllide!~jari@ip565eb113.direct-adsl.nl QUIT :Ping timeout: 245 seconds < 1319147215 391809 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Sgeo|web: so now is your chance to learn, since you have a use-case. < 1319147228 928830 :CakeProphet!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :it's the same thing, but one is transformy. < 1319147233 496403 :CakeProphet!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :
ACTION is the best teacher.
< 1319147255 903820 :Sgeo|web!ad034d00@gateway/web/freenode/ip.173.3.77.0 PRIVMSG #esoteric :I mean, I understand, say, the conceptual meaning of IO (Maybe a) < 1319147272 143659 :Sgeo|web!ad034d00@gateway/web/freenode/ip.173.3.77.0 PRIVMSG #esoteric :No idea how MaybeT IO a translates to something similar to that < 1319147278 477190 :nooga!~nooga@maverick.aircity.pl QUIT :Ping timeout: 256 seconds < 1319147281 250934 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :@src MaybeT < 1319147281 448032 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :Source not found. You speak an infinite deal of nothing < 1319147291 233396 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :@mtl MaybeT IO a < 1319147291 559442 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :Maybe you meant: ft map msg pl unmtl url < 1319147295 684747 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :@unmtl MaybeT IO a < 1319147295 977609 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :IO (Maybe a) < 1319147310 77718 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :they're precisely the same thing, apart from a newtype < 1319147323 292376 :CakeProphet!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :Sgeo|web: there IO is filling the type parameter that specifies what the inner monad is. < 1319147340 864552 :Sgeo|web!ad034d00@gateway/web/freenode/ip.173.3.77.0 PRIVMSG #esoteric :I asked about that in #haskell , and mentioned StateT, and someone said something about some complication < 1319147403 499656 :Sgeo|web!ad034d00@gateway/web/freenode/ip.173.3.77.0 PRIVMSG #esoteric :Which makes more sense, or both? State (Maybe b) a or State b (Maybe a)? < 1319147414 749556 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :they are unrelated < 1319147638 775531 :Sgeo|web!ad034d00@gateway/web/freenode/ip.173.3.77.0 PRIVMSG #esoteric :Which would using StateT give me? < 1319147655 704949 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :@unmtl StateT Maybe a < 1319147655 892704 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :err: `StateT Maybe a' is not applied to enough arguments, giving `/\A. Maybe -> a (A, Maybe)' < 1319147658 27930 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :er < 1319147665 618976 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :@unmtl StateT a Maybe b < 1319147665 867293 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :a -> Maybe (b, a) < 1319147696 399216 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :neither < 1319147725 564225 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :it puts Maybe around both state and result part < 1319147736 248902 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :which makes sense, of course < 1319147751 703380 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :as you want a different state for each of the (1 or 0) computations you have < 1319147795 613173 :Sgeo|web!ad034d00@gateway/web/freenode/ip.173.3.77.0 PRIVMSG #esoteric :Would there be wrong with figuring out what stack I want using @mtl ? < 1319147818 790329 :Sgeo|web!ad034d00@gateway/web/freenode/ip.173.3.77.0 PRIVMSG #esoteric :@mlt IO([a]) < 1319147819 126840 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :Maybe you meant: ft let map msg pl < 1319147826 786216 :Sgeo|web!ad034d00@gateway/web/freenode/ip.173.3.77.0 PRIVMSG #esoteric :@mtl IO([a]) < 1319147827 74371 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :Maybe you meant: ft map msg pl unmtl url < 1319147843 705071 :CakeProphet!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :Sgeo|web: note that if all of your monad transformers are instances of MonadIO then IO can always be at the bottom < 1319147843 940928 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :if it actually existed... < 1319147852 462341 :Sgeo|web!ad034d00@gateway/web/freenode/ip.173.3.77.0 PRIVMSG #esoteric :Yes, there is: It doesn't exist. < 1319147881 693114 :CakeProphet!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric ::t liftIO < 1319147882 464261 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : Ambiguous occurrence `liftIO' < 1319147882 688997 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : It could refer to either `Control.Monad.Error.liftIO', imported from Control.Monad.Error < 1319147882 835700 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : or `Control.Monad.Logic.liftIO', imported from Control.Monad.Logic < 1319147893 318913 :CakeProphet!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric ::t Control.Monad.Trans.liftIO < 1319147894 243137 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :forall a (m :: * -> *). (Control.Monad.Error.MonadIO m) => IO a -> m a < 1319147933 141193 :Sgeo|web!ad034d00@gateway/web/freenode/ip.173.3.77.0 PRIVMSG #esoteric :I need a good monad transformer tutorial < 1319147938 22747 :CakeProphet!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :so that mitigates life hell a bit. you can also write similar instances for other monads. < 1319147943 639863 :CakeProphet!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :s/life/lift/ < 1319147955 2059 :CakeProphet!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :nothing mitigates life hell. -_;; < 1319147979 5008 :Sgeo|web!ad034d00@gateway/web/freenode/ip.173.3.77.0 PRIVMSG #esoteric :Isn't writing functions for use within your monad stack, and those functions use lift, the way to mitigate lift hell? < 1319147979 151713 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :for state, reader and writer lift hell is mitigated by everything being in automatically lifted classes < 1319147987 704832 :CakeProphet!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :Sgeo|web: correct < 1319148027 848559 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :Sgeo|web: no, you write functions using the MonadState, MonadReader and MonadWriter class methods (and possibly others) < 1319148058 448419 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :which already has instances for transformers which do the lifting work for you < 1319148062 367672 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :*have < 1319148078 769277 :Sgeo|web!ad034d00@gateway/web/freenode/ip.173.3.77.0 PRIVMSG #esoteric :Wait, so CakeProphet is wrong, or that's just... what? < 1319148084 761880 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :CakeProphet is usually wrong. :-) < 1319148088 357797 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Sgeo|web: Usually you shouldn't use monad transformers at all. < 1319148091 160789 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :They're only sometimes the answer. < 1319148094 515974 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :When they are, it's internally. < 1319148102 992709 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :CakeProphet would be right if you implement your monads from scratch. < 1319148104 134235 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :i.e. you can implement your fancy monad with transformers, but probably that should not be exposed to users of it. < 1319148148 27019 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :well yes, one customarily uses a newtype wrapper and generalized newtype deriving < 1319148182 404999 :Sgeo|web!ad034d00@gateway/web/freenode/ip.173.3.77.0 PRIVMSG #esoteric :newtype wrapper instead of just a type synonym? < 1319148190 865165 :Sgeo|web!ad034d00@gateway/web/freenode/ip.173.3.77.0 PRIVMSG #esoteric :Also, what's generalized newtype deriving? < 1319148226 332801 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :newtype MyMonad = StateT Fnord (ContT Wibble (Reader Argle IO)) deriving (Monad, MonadState, MonadCont, MonadReader, MonadIO) < 1319148240 569599 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :oerjan: argh < 1319148242 777799 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :oerjan: you got that wrong < 1319148251 273479 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i did? < 1319148260 987808 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :well maybe add Functor and Applicative < 1319148262 637563 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :oerjan: look at token after = < 1319148267 732170 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :oh hm < 1319148288 802363 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :newtype MyMonad = MyMonad (StateT Fnord (ContT Wibble (Reader Argle IO))) deriving (Monad, MonadState, MonadCont, MonadReader, MonadIO) < 1319148293 935170 :Sgeo|web!ad034d00@gateway/web/freenode/ip.173.3.77.0 PRIVMSG #esoteric :I'm tempted to use ContT, but should probably stick with promises < 1319148313 498420 :Sgeo|web!ad034d00@gateway/web/freenode/ip.173.3.77.0 PRIVMSG #esoteric :Which are in IO I think < 1319148341 434212 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :promises? < 1319148357 331155 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :do you mean MVar < 1319148403 355585 :Sgeo|web!ad034d00@gateway/web/freenode/ip.173.3.77.0 PRIVMSG #esoteric :I think I saw them either under the name promises or futures < 1319148418 760208 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :those are bad names < 1319148419 525258 :Sgeo|web!ad034d00@gateway/web/freenode/ip.173.3.77.0 PRIVMSG #esoteric :I think I saw you link to something like that on Reddit, or someone else in the same thread did < 1319148441 739912 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :unsafeInterleaveIO >:) *runs away* < 1319148491 191496 :Sgeo|web!ad034d00@gateway/web/freenode/ip.173.3.77.0 PRIVMSG #esoteric :
ACTION is tempted to use that
< 1319148503 489871 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :what have i done D: < 1319148543 300743 :Sgeo|web!ad034d00@gateway/web/freenode/ip.173.3.77.0 PRIVMSG #esoteric :I knew of unsafeInterleaveIO before, it's not your fault. < 1319148545 860069 :nooga!~nooga@maverick.aircity.pl JOIN :#esoteric < 1319148568 237145 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :good. elliott might get angry. < 1319148603 205356 :Sgeo|web!ad034d00@gateway/web/freenode/ip.173.3.77.0 PRIVMSG #esoteric :Ooh, I thought of a fun program I could write that relies on unsafeInterleaveIO < 1319148641 381381 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :no < 1319148646 677393 :Sgeo|web!ad034d00@gateway/web/freenode/ip.173.3.77.0 PRIVMSG #esoteric :Well, of course not "relies" as such, I could probably write it without < 1319148659 40376 :Sgeo|web!ad034d00@gateway/web/freenode/ip.173.3.77.0 PRIVMSG #esoteric :Or, hmm, I can't figure out if I can or not < 1319148679 888123 :Sgeo|web!ad034d00@gateway/web/freenode/ip.173.3.77.0 PRIVMSG #esoteric :What happens with a sequence on an infinite list of [IO a]? < 1319148716 978858 :Sgeo|web!ad034d00@gateway/web/freenode/ip.173.3.77.0 PRIVMSG #esoteric :Hmm, mapping unsafeInterleaveIO to those is NOT what I want < 1319148725 98604 :Sgeo|web!ad034d00@gateway/web/freenode/ip.173.3.77.0 PRIVMSG #esoteric :I think < 1319148966 904582 :Sgeo|web!ad034d00@gateway/web/freenode/ip.173.3.77.0 PRIVMSG #esoteric :Wait, yes it is < 1319149029 197670 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :Sgeo|web: it never halts. < 1319149052 958418 :Sgeo|web!ad034d00@gateway/web/freenode/ip.173.3.77.0 PRIVMSG #esoteric :oerjan: you mean without the unsafeInterleaveIO, or even with? < 1319149056 889106 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :also, unsafeInterleaveIO won't fix it unless you apply it to something like each cons cell < 1319149119 593578 :Sgeo|web!ad034d00@gateway/web/freenode/ip.173.3.77.0 PRIVMSG #esoteric :I'm... not sure why you said that, I wasn't planning on applying it to the result of sequence < 1319149166 42381 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :good. although it doesn't work to apply it to each element, either < 1319149226 893716 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric ::t foldr ((?unsafeInterleaveIO .) . liftM2 (:)) (return []) < 1319149227 646965 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :forall (m :: * -> *) a. (?unsafeInterleaveIO::m [a] -> m [a], Monad m) => [m a] -> m [a] < 1319149244 475548 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :oerjan: stopppe, < 1319149266 618080 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :elliott: well it's what you'd want for a lazy sequence... < 1319149285 626659 :Sgeo|web!ad034d00@gateway/web/freenode/ip.173.3.77.0 PRIVMSG #esoteric :Wait, why doesn't applying to each element work? < 1319149321 851830 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :Sgeo|web: because the outside IO part still iterates through each element to apply unsafeInterleaveIO to it < 1319149344 516155 :Nisstyre!~yours@infocalypse-net.info QUIT :Ping timeout: 248 seconds < 1319149416 933952 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :even sequence . repeat $ return () won't ever halt. i think. < 1319149444 520938 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :(in the IO monad) < 1319149557 388486 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :if you look at it from the RealWorld -> (a, RealWorld) implementation used in ghc, it's clear that the RealWorld token gets threaded through each of the infinitely many subactions, and you can never get a final one < 1319149567 234313 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :*approximately used < 1319149632 311120 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric ::t runState < 1319149633 96098 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :forall s a. State s a -> s -> (a, s) < 1319149685 645507 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :> flip runState 0 . sequence . repeat $ do modify (+1); get < 1319149687 291926 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : ([1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,22,23,24,25,26,27,2... < 1319149693 19355 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :oops :P < 1319149709 181050 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :> first (take 10) . flip runState 0 . sequence . repeat $ do modify (+1); get < 1319149714 851020 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : mueval-core: Time limit exceeded < 1319149714 997805 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : mueval: ExitFailure 1 < 1319149719 638184 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :argh < 1319149747 635609 :SgeoN1!~AndChat@ool-ad034d00.dyn.optonline.net JOIN :#esoteric < 1319149752 300375 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :anyway the point with that one is that you can get results, but you can never get a final state < 1319149768 173245 :SgeoN1!~AndChat@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :Why is ^C being ineffective in GHCi < 1319149804 681363 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :SgeoN1: if you have a non-allocating infinite loop, i think it never gets to check ^C < 1319149827 587487 :SgeoN1!~AndChat@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :OK, so how do I kill GHCi < 1319149841 562150 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :killall ghci < 1319149859 995139 :SgeoN1!~AndChat@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :Oh, something just happened. < 1319149864 586107 :fizzie!fis@iris.zem.fi PRIVMSG #esoteric :murderdeathkill ghci < 1319149876 741237 :SgeoN1!~AndChat@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :It must have finally noticed the Ctrl C < 1319149892 110383 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :SgeoN1: it is possible that it _eventually_ gets caught nowadays by some preemptive check that is rarely done < 1319149912 799601 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i'm not sure, just a vague memory of something like that < 1319150078 545752 :CakeProphet!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :
ACTION was totally not wrong/
< 1319150096 455127 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :SgeoN1: if you have a non-allocating infinite loop Ctrl+C might not work < 1319150100 41171 :Sgeo|web!ad034d00@gateway/web/freenode/ip.173.3.77.0 PRIVMSG #esoteric :CakeProphet: oerjan said you would be right if you were writing stuff from scratch < 1319150105 544922 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :async exceptions only happen on allocation < 1319150116 161959 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :this is why killThread can fail, if you have such a tight loop < 1319150123 124518 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :(note that allocation happens constantly in almost all code) < 1319150131 92695 :CakeProphet!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :Sgeo|web: okay, so then I was wrong if I was saying something else than what I said. < 1319150144 9362 :CakeProphet!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :good to know < 1319150146 666625 :CakeProphet!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :
ACTION goes back to work.
< 1319150160 656255 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :
ACTION thinks CakeProphet was wrong even then
< 1319150164 428663 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :because if you build it from scratch < 1319150167 851975 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :there's no monad instances to lift to < 1319150221 611575 :Sgeo|web!ad034d00@gateway/web/freenode/ip.173.3.77.0 PRIVMSG #esoteric :hpaste is taking forever to load < 1319150248 258971 :CakeProphet!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :did you read what I said? < 1319150259 469923 :CakeProphet!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :I basically said "if you use IO then liftIO is a good idea" < 1319150266 590460 :Sgeo|web!ad034d00@gateway/web/freenode/ip.173.3.77.0 PRIVMSG #esoteric :http://hpaste.org/52892 < 1319150281 135740 :Sgeo|web!ad034d00@gateway/web/freenode/ip.173.3.77.0 PRIVMSG #esoteric :Oh, I thought we were talking about something else < 1319150304 49933 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric : Isn't writing functions for use within your monad stack, and those functions use lift, the way to mitigate lift hell? < 1319150349 765208 :CakeProphet!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :aka "not exposing the transformer to the user" < 1319150352 150646 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :CakeProphet: somehow i read that as being said by you < 1319150356 209759 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :oerjan: sorry if you get spammed < 1319150371 843251 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :
ACTION prepares the quiet hammer
< 1319150372 280070 :Gregor!foobar@codu.org PRIVMSG #esoteric :"We cut up thousands of fish and pressed their remains into squares and we will sell you that here at Burger King." -- Dinosaur Comics < 1319150394 413174 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :oerjan: no, your email. < 1319150399 117461 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :wat < 1319150405 920595 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :oerjan: < 1319150406 322141 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :[[ < 1319150406 682940 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Call for Judgment: pass me quick < 1319150406 829817 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Send spam emails to all email addresses listed on http://www.nomictools.com/agora/registrar/text. < 1319150406 829914 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Repeal ALL rules < 1319150406 829959 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :POSTED BY SOVIET BRENDON AT 20 OCT 2011 22:29:39 UTC Comments (5) < 1319150409 40353 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :]] -- http://blognomic.com/blognomic/archive/pass_me_quick/ < 1319150420 59631 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :that list includes the email address of every player ever :) < 1319150425 313375 :CakeProphet!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :elliott: what are some alternatives to using transformers? < 1319150447 266469 :fizzie!fis@iris.zem.fi PRIVMSG #esoteric :"Not using them, or sometimes using them." < 1319150450 720349 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :CakeProphet: there aren't alternatives, you just... don't use transformers < 1319150451 876195 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :elliott: oh well, i already received some mail to the backup list recently. < 1319150548 361719 :CakeProphet!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :elliott: you mean to split the logic for each monad that you want to use into separate functions/data-structures? < 1319150551 270767 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric : http://hpaste.org/52892 <-- afaict that won't work for the reasons i described < 1319150585 212018 :Sgeo|web!ad034d00@gateway/web/freenode/ip.173.3.77.0 PRIVMSG #esoteric :And indeed it didn't < 1319150589 155161 :Sgeo|web!ad034d00@gateway/web/freenode/ip.173.3.77.0 PRIVMSG #esoteric :But is that allocating or not? < 1319150610 2177 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i'd think that would allocate... < 1319150613 691211 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :that should allocate < 1319150634 249608 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :anything that does anything allocates < 1319150643 552149 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :you'd have to try really hard to get a non-nop loop that didn't allocate < 1319150649 77633 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :it might even be impossible < 1319150699 330763 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :elliott: maybe that sequence only allocates on the stack, or something? < 1319150708 990920 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :oerjan: um GHC has no stack/heap distinction < 1319150719 167445 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :every allocation is a heap allocation < 1319150723 223573 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :(which is much cheaper than malloc) < 1319150739 191607 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :ghc has a stack. < 1319150785 951147 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :oerjan: i'm not sure what to tell you other than that ghc does _not_ have a stack/heap allocation distinction < 1319150797 816587 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :so it's irrelevant whether ghc refers to some memory as stack or not < 1319150801 29681 :olsner!~salparot@c83-252-161-133.bredband.comhem.se PRIVMSG #esoteric :but it used to, right? < 1319150805 206052 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :because it's about whether the allocation code path is crossed < 1319150811 121644 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :elliott: what about unboxed values? < 1319150824 653073 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :oerjan: what about them? < 1319150834 762 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :oh wait < 1319150838 203589 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :ok i see what you mean < 1319150857 162491 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :it won't matter for the question of whether it gets interrupts < 1319150875 579142 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :right < 1319151101 399215 :Sgeo|web!ad034d00@gateway/web/freenode/ip.173.3.77.0 PRIVMSG #esoteric :....my program could easily not work for a different reason... well, wait no < 1319151108 994482 :Sgeo|web!ad034d00@gateway/web/freenode/ip.173.3.77.0 PRIVMSG #esoteric :n/m < 1319151114 115830 :Sgeo|web!ad034d00@gateway/web/freenode/ip.173.3.77.0 PRIVMSG #esoteric :n/m every related thought < 1319151134 576593 :CakeProphet!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :Sgeo|web: obviously you need GADTs < 1319151136 917164 :CakeProphet!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :everything is GADTs < 1319151145 608279 :CakeProphet!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :GADT is good for all porpoises < 1319151253 123144 :CakeProphet!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :you need GADTs with a type family of phantom types < 1319151277 614916 :CakeProphet!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :parametric phantom types. < 1319151315 568706 :CakeProphet!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :also instead of Monads you should use arrows < 1319151367 810590 :CakeProphet!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :arrow transformers < 1319151388 122904 :CakeProphet!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :(is that even possible? I'm not very familiar with arrows) < 1319151461 786145 :ais523!~ais523@unaffiliated/ais523 QUIT :Remote host closed the connection < 1319151516 23014 :CakeProphet!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :Sgeo|web: also once you finish the program replace every function call with thread spawning and TVars < 1319151587 402096 :Sgeo|web!ad034d00@gateway/web/freenode/ip.173.3.77.0 PRIVMSG #esoteric :Does a State of a TVar make sense to do? < 1319151588 752881 :Patashu!~Patashu@c122-106-155-219.carlnfd1.nsw.optusnet.com.au JOIN :#esoteric < 1319151601 207401 :Sgeo|web!ad034d00@gateway/web/freenode/ip.173.3.77.0 PRIVMSG #esoteric :(Or State of several TVars < 1319151602 164880 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :http://sprunge.us/PjaA < 1319151604 36731 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :my code so gangsta < 1319151607 556656 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Sgeo|web: no, Reader does though < 1319151612 588556 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Sgeo|web: but you likely just don't want transformers at all < 1319151616 499685 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :just pass around the relevant TVars < 1319151636 825640 :CakeProphet!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :oh, and don't forget every serious Haskell program uses ImplicitParameters. < 1319151647 84290 :Sgeo|web!ad034d00@gateway/web/freenode/ip.173.3.77.0 PRIVMSG #esoteric :Oh, the TVar itself is a constant, and mutating the TVar is done in STM < 1319151649 228848 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :fizzie: I wonder if I should just use a hash function for my interning. < 1319151651 866337 :Sgeo|web!ad034d00@gateway/web/freenode/ip.173.3.77.0 PRIVMSG #esoteric :SO that's why it's reader? < 1319151666 589994 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Sgeo|web: Yes. But like I said, start without using transformers. Pretend transformers don't exist because you probably don't want them. < 1319151667 770237 :Sgeo|web!ad034d00@gateway/web/freenode/ip.173.3.77.0 PRIVMSG #esoteric :BUt what exactly is it reading? Just a bunch of newly initialized TVarts? < 1319151689 811171 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :tvarts < 1319151697 620923 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Sgeo|web: OK, that's not what Reader means. < 1319151703 572045 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :But seriously, just pass around TVars. < 1319151708 889457 :Sgeo|web!ad034d00@gateway/web/freenode/ip.173.3.77.0 PRIVMSG #esoteric :I want to make a way to make getting a list of nearby avatars in AW easy even though there's no function for that, just callbacks for when avatars appear and disappear < 1319151724 307308 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Jesus christ everything is AW with you. < 1319151731 67729 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :OK, let me say this one more time so it's clear: < 1319151732 876056 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Don't use transformers. < 1319151735 3266 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Just pass around TVars. < 1319151738 219736 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :You probably do not want transformers. < 1319151758 844370 :shachaf!~shachaf@204.109.63.130 PRIVMSG #esoteric :But I want transformers! < 1319151772 931452 :CakeProphet!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :help what's AW < 1319151775 661345 :Sgeo|web!ad034d00@gateway/web/freenode/ip.173.3.77.0 PRIVMSG #esoteric :I'm pretty sure I could use something pre-existing rather than ContT for dealing with flattening out the asynchronous stuff < 1319151785 756347 :CakeProphet!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :flattening out? < 1319151787 173930 :shachaf!~shachaf@204.109.63.130 PRIVMSG #esoteric :ReaderT WriterT StateT ContT LogicT IdentityT MaybeT IdentityT Identity < 1319151798 558836 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Sgeo|web: You just want to write blocking calls. < 1319151801 555321 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Sgeo|web: GHC has an event manager. < 1319151819 602693 :Sgeo|web!ad034d00@gateway/web/freenode/ip.173.3.77.0 PRIVMSG #esoteric :event manager library, you mean, or what? < 1319151823 942429 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :No, built-in. < 1319151826 443122 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :It's how all IO is done. < 1319151833 540539 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :All "blocking" IO is actually done with asynchronous calls. < 1319151845 175667 :Sgeo|web!ad034d00@gateway/web/freenode/ip.173.3.77.0 PRIVMSG #esoteric :And it will let me turn non-blocking calls to blocking calls? COOL < 1319151846 619663 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :It's like node.js, except you don't have to fucking write CPS like a moron. < 1319151846 986406 :CakeProphet!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :in STM you don't really need to worry about blocking very much do you? < 1319151852 547115 :shachaf!~shachaf@204.109.63.130 PRIVMSG #esoteric :elliott: Yes you do. < 1319151858 753674 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :shachaf: You do? < 1319151861 286402 :shachaf!~shachaf@204.109.63.130 PRIVMSG #esoteric :elliott: You have write CPS for all IO in Haskell. < 1319151865 122252 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :I suppose (>>=) is pretty CPSy. < 1319151866 6457 :shachaf!~shachaf@204.109.63.130 PRIVMSG #esoteric :That's what (>>=) is for. < 1319151867 789986 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :But we have sugar for that. :p < 1319151872 956730 :shachaf!~shachaf@204.109.63.130 PRIVMSG #esoteric :>>= *is* CPS. < 1319151876 659290 :shachaf!~shachaf@204.109.63.130 PRIVMSG #esoteric :It gets a thing and a continuation. < 1319151878 482960 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Yeah. < 1319151884 953292 :shachaf!~shachaf@204.109.63.130 PRIVMSG #esoteric :That's why Cont is the best monad. < 1319151886 61189 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric : (is that even possible? I'm not very familiar with arrows) <-- yes, the arrow package has them < 1319151908 636327 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :The best monad is data Nomad a = Return a | forall b. Bind (Nomad b) (b -> Nomad a). < 1319151938 812535 :CakeProphet!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :I thought that was the best Nomad < 1319151957 835516 :CakeProphet!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :elliott: also that can break the laws easily. < 1319151961 963416 :CakeProphet!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :but whatever < 1319152000 941099 :shachaf!~shachaf@204.109.63.130 PRIVMSG #esoteric :elliott: No, it's Cont. < 1319152010 408828 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :No. It's clearly RWS. < 1319152014 38640 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :RWST. < 1319152021 845492 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :M = RWST M. < 1319152034 370973 :augur!~augur@129.2.129.32 QUIT :Remote host closed the connection < 1319152034 517756 :CakeProphet!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :I think we can pretty agree that barrier monads are the best. < 1319152040 877369 :CakeProphet!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :+much < 1319152045 518188 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :shachaf: wait IdentityT exists? < 1319152048 314601 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :CakeProphet: True. < 1319152052 672903 :shachaf!~shachaf@204.109.63.130 PRIVMSG #esoteric :oerjan: Sure, why not? < 1319152055 456970 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :oerjan: Identity = IdentityT Identity. < 1319152059 63925 :shachaf!~shachaf@204.109.63.130 PRIVMSG #esoteric :Mu RWST < 1319152059 681854 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Standard definition. < 1319152066 804072 :shachaf!~shachaf@204.109.63.130 PRIVMSG #esoteric :@slap elliott < 1319152067 267728 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :
ACTION puts on her slapping gloves, and slaps elliott
< 1319152069 9033 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :(I wonder if you can make that work.) < 1319152070 264537 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :(Somehow.) < 1319152082 374123 :shachaf!~shachaf@204.109.63.130 PRIVMSG #esoteric :elliott: No. < 1319152083 896037 :shachaf!~shachaf@204.109.63.130 PRIVMSG #esoteric :Don't wonder. < 1319152095 89744 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Sorry but I must. < 1319152154 641070 :CakeProphet!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :
ACTION is the best monad.
< 1319152167 873726 :Sgeo|web!ad034d00@gateway/web/freenode/ip.173.3.77.0 PRIVMSG #esoteric :Recursive type definitions < 1319152181 184219 :Sgeo|web!ad034d00@gateway/web/freenode/ip.173.3.77.0 PRIVMSG #esoteric :Wait, those are an everyday occurance... I think < 1319152181 331240 :CakeProphet!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :what about them? < 1319152183 318528 :monqy!~swell@pool-71-102-226-192.snloca.dsl-w.verizon.net PRIVMSG #esoteric :hi < 1319152183 557396 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :fizzie: Wow, I even have degrade/intern. < 1319152189 394452 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :fizzie: Like, fully written. < 1319152192 961969 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Except wait. < 1319152198 943728 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :What's the maximum length of an argument list this decade? < 1319152213 258206 :monqy!~swell@pool-71-102-226-192.snloca.dsl-w.verizon.net PRIVMSG #esoteric :big < 1319152215 571799 :CakeProphet!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :Sgeo|web: depends on what you mean < 1319152215 869373 :shachaf!~shachaf@204.109.63.130 PRIVMSG #esoteric :@google cont sigfpe < 1319152216 745318 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :http://blog.sigfpe.com/2008/12/mother-of-all-monads.html < 1319152216 912878 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :Title: A Neighborhood of Infinity: The Mother of < 1319152219 799388 :shachaf!~shachaf@204.109.63.130 PRIVMSG #esoteric :elliott: See that. < 1319152222 19735 :shachaf!~shachaf@204.109.63.130 PRIVMSG #esoteric :Best monad. < 1319152224 718787 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :shachaf: Yes, I've read it. < 1319152237 500459 :CakeProphet!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :Sgeo|web: infinite types are not allowed, but recursive data (i.e. lists) are common < 1319152255 9350 :Sgeo|web!ad034d00@gateway/web/freenode/ip.173.3.77.0 PRIVMSG #esoteric :Wait, there's a maximum length? < 1319152269 15168 :Sgeo|web!ad034d00@gateway/web/freenode/ip.173.3.77.0 PRIVMSG #esoteric :printf can take an indefinite number of arguments, I think < 1319152281 723929 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :... < 1319152284 290978 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :POSIX. < 1319152286 253187 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Or < 1319152287 72729 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Linux < 1319152288 447879 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :really. < 1319152308 558350 :Sgeo|web!ad034d00@gateway/web/freenode/ip.173.3.77.0 PRIVMSG #esoteric :(Surely there should be a typesafe printf? Maybe something with TH?) < 1319152331 987956 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :printf is type-safe. < 1319152360 985496 :nooga!~nooga@maverick.aircity.pl QUIT :Ping timeout: 255 seconds < 1319152367 256673 :CakeProphet!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :type-safe variadic functions are possible in haskell. I know because I read about it on wikipedia < 1319152367 403441 :Sgeo|web!ad034d00@gateway/web/freenode/ip.173.3.77.0 PRIVMSG #esoteric :What happens if you pass it too many arguments? < 1319152375 303182 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Sgeo|web: Runtime failure. < 1319152387 748068 :Sgeo|web!ad034d00@gateway/web/freenode/ip.173.3.77.0 PRIVMSG #esoteric :...how are runtime failures type-safe? < 1319152403 998788 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :main = error "foo" -- haskell isn't type-safe < 1319152408 983186 :monqy!~swell@pool-71-102-226-192.snloca.dsl-w.verizon.net PRIVMSG #esoteric :how type safe is type safe < 1319152421 397125 :shachaf!~shachaf@204.109.63.130 PRIVMSG #esoteric :> main = unsafeCoerce "foo" -- haskell isn't type-safe < 1319152422 269886 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : : parse error on input `=' < 1319152427 296073 :CakeProphet!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :how tautological is tautology monqy < 1319152451 653523 :Sgeo|web!ad034d00@gateway/web/freenode/ip.173.3.77.0 PRIVMSG #esoteric :Could you make something that will accept oh/ < 1319152456 884338 :monqy!~swell@pool-71-102-226-192.snloca.dsl-w.verizon.net PRIVMSG #esoteric :type safe and type safe meant different things there < 1319152461 809127 :shachaf!~shachaf@204.109.63.130 PRIVMSG #esoteric :elliott: Now you'll say that unsafeCoerce isn't even Haskell? < 1319152466 395289 :CakeProphet!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :monqy: yes I know. < 1319152473 414892 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Sgeo|web: someAWCall a b = do { result <- newEmptyMVar; asyncAWCall a b (putMVar result); takeMVar result } -- this is blocking + efficient (last argument to asyncAWCall is callback) < 1319152473 998717 :shachaf!~shachaf@204.109.63.130 PRIVMSG #esoteric :I think you can implement it in Haskell 2010. < 1319152474 472639 :Sgeo|web!ad034d00@gateway/web/freenode/ip.173.3.77.0 PRIVMSG #esoteric :that will accept only the correct number of arguments, using TH? < 1319152486 149618 :shachaf!~shachaf@204.109.63.130 PRIVMSG #esoteric :"efficient" < 1319152490 900068 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :shachaf: Sure, efficient. < 1319152495 379067 :shachaf!~shachaf@204.109.63.130 PRIVMSG #esoteric :Eh. < 1319152503 179281 :shachaf!~shachaf@204.109.63.130 PRIVMSG #esoteric :All efficient programs are written in C. < 1319152508 339674 :shachaf!~shachaf@204.109.63.130 PRIVMSG #esoteric :Or C++. We all know that. < 1319152511 804898 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Sgeo|web: wrapAsync f = do { result <- newEmptyMVar; f (putMVar result); takeMVar result } < 1319152513 912870 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Sgeo|web: Then the above can just be < 1319152523 821467 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Sgeo|web: someAWCall a b = wrapAsync (asyncAWCall a b) < 1319152524 560866 :CakeProphet!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :shachaf: assembly programs obviously don't exist anymore. < 1319152524 707529 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Tada. < 1319152528 380434 :shachaf!~shachaf@204.109.63.130 PRIVMSG #esoteric :CakeProphet: Yep. < 1319152539 9389 :Sgeo|web!ad034d00@gateway/web/freenode/ip.173.3.77.0 PRIVMSG #esoteric :elliott: cool < 1319152541 843571 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :shachaf: It should be the most efficient way to do it blockingly. < 1319152547 426253 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :shachaf: I mean, takeMVar isn't exactly expensive. < 1319152548 560439 :shachaf!~shachaf@204.109.63.130 PRIVMSG #esoteric :elliott: Well, in Haskell. < 1319152551 549938 :Sgeo|web!ad034d00@gateway/web/freenode/ip.173.3.77.0 PRIVMSG #esoteric :...AW isn't threadsafe < 1319152559 43372 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Sgeo|web: Define isn't threadsafe. < 1319152559 876805 :Sgeo|web!ad034d00@gateway/web/freenode/ip.173.3.77.0 PRIVMSG #esoteric :Not sure how that affects things < 1319152567 458757 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Sgeo|web: You can make sure all AW FFI calls happen on one thread. < 1319152571 993026 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :With bound threads + a queue. < 1319152581 358593 :shachaf!~shachaf@204.109.63.130 PRIVMSG #esoteric :That might not be sufficient. < 1319152585 695588 :shachaf!~shachaf@204.109.63.130 PRIVMSG #esoteric :
ACTION doesn't even know what AW is.
< 1319152589 142868 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Sgeo|web: (And still maintain the same interface.) < 1319152592 897230 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :shachaf: Why mightn't it? < 1319152594 983364 :shachaf!~shachaf@204.109.63.130 PRIVMSG #esoteric :Some Minecraft thing, probably. < 1319152604 292787 :CakeProphet!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :no it's worse/ < 1319152612 771139 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :shachaf: I apologise for the fact that Sgeo|web is about to tell you what it is < 1319152617 338324 :CakeProphet!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :even nerdier. < 1319152620 495884 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :s/$/./ < 1319152624 729429 :Sgeo|web!ad034d00@gateway/web/freenode/ip.173.3.77.0 PRIVMSG #esoteric :Let's see. A lot of functions get their arguments from a changing global parameters thingy that you set with, say, aw_init(AW_SOME_ATTRIB, 346); before the call < 1319152638 640433 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Sgeo|web: Right. That's fine. < 1319152656 779735 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Sgeo|web: You have one Haskell thread, bound to an OS thread, that continually reads AW requests from a queue, mutates the global state, and makes the call. < 1319152660 381698 :CakeProphet!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :Haskell only assimilates with pure code! < 1319152667 731724 :CakeProphet!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :it's very snobby about it. < 1319152676 325697 :monqy!~swell@pool-71-102-226-192.snloca.dsl-w.verizon.net PRIVMSG #esoteric :wait is aw < 1319152677 976136 :monqy!~swell@pool-71-102-226-192.snloca.dsl-w.verizon.net PRIVMSG #esoteric :activeworlds < 1319152680 359351 :monqy!~swell@pool-71-102-226-192.snloca.dsl-w.verizon.net PRIVMSG #esoteric :or whatever < 1319152685 767883 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :DING DING DING < 1319152687 491321 :Sgeo|web!ad034d00@gateway/web/freenode/ip.173.3.77.0 PRIVMSG #esoteric :monqy: yes < 1319152691 305173 :monqy!~swell@pool-71-102-226-192.snloca.dsl-w.verizon.net PRIVMSG #esoteric :creys < 1319152700 824585 :CakeProphet!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :creys < 1319152706 799290 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :creys < 1319152738 146871 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :greys < 1319152765 347207 :CakeProphet!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :so you guys Sybil was all lies. < 1319152773 900942 :copumpkin!~pumpkin@unaffiliated/pumpkingod QUIT :Quit: Computer has gone to sleep. < 1319152786 98877 :CakeProphet!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :the real person that Sybil is based on never had disassociative identity disorder < 1319152799 772268 :CakeProphet!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :she made it up. < 1319152802 910659 :CakeProphet!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :be shocked. < 1319153032 751927 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :well, those who remember who sybil is, anyhow < 1319153063 312662 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :CakeProphet: Wikipedia seems rather less sure than you are. < 1319153103 644335 :CakeProphet!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :well it's not exactly definitive < 1319153110 416330 :CakeProphet!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :but she admitted to it via writing. < 1319153125 495864 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :oh wait, i thought we were dissing CakeProphet's ex-girlfriends. never mind. < 1319153190 58983 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :oerjan: You get to help me define my file format! < 1319153203 911870 :CakeProphet!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :elliott: okay. it will use sequences of byte values. < 1319153209 669841 :CakeProphet!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :that's a good start. < 1319153211 894461 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :elliott: (a(b*)c*)* < 1319153235 284814 :CakeProphet!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :good file format. < 1319153236 925409 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :oerjan: No bad. < 1319153247 627931 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :ok. < 1319153251 438790 :CakeProphet!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :
ACTION is on the right track though.
< 1319153347 81238 :CakeProphet!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :elliott: file format for what? may I ask? < 1319153378 194213 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :CakeProphet: Reverse-context tree. < 1319153390 77072 :CakeProphet!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :oh okay. JSON. :) < 1319153400 663941 :CakeProphet!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric ::> :? :> < 1319153403 754365 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :CakeProphet: Of about a terabyte. < 1319153410 982615 :CakeProphet!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :er wait there's probably some duplication right? < 1319153416 218153 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric : < 1319153427 23210 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :oerjan: hate < 1319153469 350309 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :oh, *+" < 1319153474 930346 :CakeProphet!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :elliott: make a table of trees and assign a ID to each. the top of the file lists the unique tables, enumerated with IDs from 0 to n < 1319153489 114752 :CakeProphet!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :then the second part of the file references these ids or something? < 1319153492 698779 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :CakeProphet: I also have to be able to merge an arbitrary number of such files with constant space usage. < 1319153493 231916 :CakeProphet!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :I dunno. < 1319153497 628727 :CakeProphet!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :...oh < 1319153514 98705 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :
ACTION thinks he'll opt to bother fizzie about it instead of CakeProphet.
< 1319153556 213572 :CakeProphet!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :my file format is basically how Python's pickle format works. :P < 1319153651 315405 :Nisstyre!~yours@infocalypse-net.info JOIN :#esoteric < 1319153684 134315 :CakeProphet!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :elliott: maybe if I knew more about what a reverse context tree is. < 1319153689 767264 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Yes, maybe. < 1319153759 483432 :CakeProphet!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :I've read from very reliable sources that Huffman Coding is a good way to reduce the size of a file. < 1319153798 841112 :CakeProphet!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :maybe sometimes it'll be constant even! < 1319153938 334823 :CakeProphet!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :the world's first spinal transplant was done in 2007 < 1319153972 647317 :ive!~nn@189.254.119.170 JOIN :#esoteric < 1319154029 2946 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :this is spinal transplant < 1319154108 577353 :CakeProphet!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :so yesterday in History class we watched scenes from 300 < 1319154117 637060 :CakeProphet!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :specifically the battle scenes because they somewhat accurate < 1319154132 779616 :CakeProphet!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :+are < 1319154137 335809 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :this. is. history. < 1319154175 330825 :CakeProphet!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :elliott: does a reverse context tree maybe reduce to a n-order markov model? < 1319154193 394625 :CakeProphet!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :so that you can construct the tree from a much smaller amount of data. < 1319154416 834290 :CakeProphet!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :I'm sure it wouldn't be difficult to explain what the hell a reverse context tree is. < 1319154435 853017 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Yeah, but I already know what the basic structure has to look like. < 1319154451 934251 :CakeProphet!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :ARE YOU SURE? < 1319154455 436084 :CakeProphet!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :????? < 1319154550 735205 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :I suppose I should figure out this shit myself. < 1319154562 108650 :CakeProphet!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :no dude I'm a wizard < 1319154565 728135 :CakeProphet!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :I will guide you in the direction < 1319154616 269555 :CakeProphet!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :once you have consulted me < 1319154624 96241 :CakeProphet!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :you will figure everything out about the shit. < 1319154629 577731 :CakeProphet!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :shit will not even be a confusing thing to you. < 1319154668 322973 :CakeProphet!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :your tree, you want it to be of a reverse context, yes? < 1319154677 422985 :copumpkin!~pumpkin@unaffiliated/pumpkingod JOIN :#esoteric < 1319154678 901533 :CakeProphet!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :just find the minimum possible amount of information you need to create one.