< 1309737615 724613 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :elliott_: since 32 has so many factors, the gcd rule is likely to cut that down more than 34 which is twice a prime. i think. < 1309737683 853744 :elliott_!~elliott@95.149.228.85 PRIVMSG #esoteric :oerjan: would it be possible to make some sort of progress report output? :P < 1309737695 198949 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :probably? < 1309737747 717405 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :dunno < 1309737812 747750 :elliott_!~elliott@95.149.228.85 PRIVMSG #esoteric :oerjan: well i could always report progress through the original list passed, right? < 1309737816 758669 :elliott_!~elliott@95.149.228.85 PRIVMSG #esoteric :that would be rather non-finegrained though < 1309737885 193606 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :um but those are done in parallel... < 1309737904 523276 :elliott_!~elliott@95.149.228.85 PRIVMSG #esoteric :oerjan: oh right :D < 1309737954 571879 :elliott_!~elliott@95.149.228.85 PRIVMSG #esoteric :[[Two things - firstly: "Every time you do any string handling with C's native string types and functions, you need to make sure you have allocated enough memory for each string" - that's right, and experienced C developers write the correct code naturally and without thinking.]] < 1309737955 354481 :elliott_!~elliott@95.149.228.85 PRIVMSG #esoteric :hehehe < 1309737960 373624 :elliott_!~elliott@95.149.228.85 PRIVMSG #esoteric :humans are infallible and busywork is good < 1309738009 348459 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :as i've almost said before, with perfect people everything works, even nazism < 1309738036 636801 :pikhq!~pikhq@174-22-158-124.clsp.qwest.net PRIVMSG #esoteric :oerjan: Even sparks can be destroyed by overhead, but 99% of the time, it "just works". < 1309738064 325061 :pikhq!~pikhq@174-22-158-124.clsp.qwest.net PRIVMSG #esoteric :(those suckers are *really* cheap) < 1309738081 541454 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :mhm < 1309738102 363698 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com PRIVMSG #esoteric :Understanding probability can help to play at pokemon card! < 1309738141 920846 :elliott_!~elliott@95.149.228.85 PRIVMSG #esoteric :oerjan: indeed < 1309738201 27223 :elliott_!~elliott@95.149.228.85 PRIVMSG #esoteric :"That's silly - almost all programs use strings heavily, considering that they're really the most natural way for programs to take input from and produce output for humans." < 1309738209 7085 :elliott_!~elliott@95.149.228.85 PRIVMSG #esoteric :and that's why everyone uses text UIs, without even colour or cursor control < 1309738271 593366 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com PRIVMSG #esoteric :I am playing CLEFAIRY [Lv15] against DARK CLEFABLE [Lv33] and I think my chance of hitting them is 50%. Their chance of hitting me is probably lower, but I don't know the exact amount. It is not greater than 50% though. < 1309738362 12172 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :Pokémon names aren't officially always-uppercased nowadays < 1309738379 153278 :coppro!~scshunt@denardo.csclub.uwaterloo.ca PRIVMSG #esoteric :zzo38: link? < 1309738380 200648 :coppro!~scshunt@denardo.csclub.uwaterloo.ca PRIVMSG #esoteric :win 4 < 1309738382 732449 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :although it's a relatively recent change < 1309738398 441289 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com PRIVMSG #esoteric :coppro: No link, sorry. < 1309738420 717413 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :Bulbapedia has most of the older Pokémon cards, but they're sorted by expansion, rather than zzo38's naming scheme < 1309738422 506311 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com PRIVMSG #esoteric :ais523: I am uppercased the names of all the cards < 1309738447 247202 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com PRIVMSG #esoteric :ais523: Do you know how to play pokemon card? < 1309738452 986603 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :yes < 1309738464 274426 :coppro!~scshunt@denardo.csclub.uwaterloo.ca PRIVMSG #esoteric :
ACTION braces
< 1309738468 628498 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com PRIVMSG #esoteric :See if you understand my puzzle games. < 1309738487 214568 :elliott_!~elliott@95.149.228.85 PRIVMSG #esoteric :Cords are a nice structure; I wonder if they're efficient when implemented purely functionally. < 1309738499 768009 :coppro!~scshunt@denardo.csclub.uwaterloo.ca PRIVMSG #esoteric :yup, there it was < 1309738502 842163 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com PRIVMSG #esoteric :elliott_: Can you try it and figure out? < 1309738506 538258 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :it'll be complicated by the fact that zzo38 likely plays a mix of old rulesets < 1309738516 147140 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake QUIT :Read error: Connection reset by peer < 1309738519 620086 :elliott_!~elliott@95.149.228.85 PRIVMSG #esoteric :zzo38: I'm trying to. < 1309738544 940378 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com PRIVMSG #esoteric :http://zzo38computer.cjb.net/textfile/miscellaneous/pokemon_card/puzzle.1 < 1309738546 891002 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com PRIVMSG #esoteric :http://zzo38computer.cjb.net/textfile/miscellaneous/pokemon_card/puzzle.2 < 1309738551 788159 :CakeProphet!~adam@h111.62.18.98.dynamic.ip.windstream.net JOIN :#esoteric < 1309738551 936634 :CakeProphet!~adam@h111.62.18.98.dynamic.ip.windstream.net QUIT :Changing host < 1309738551 936789 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake JOIN :#esoteric < 1309738603 105771 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :ah, DARK CLEFABLE [Lv33] is more commonly called Dark Clefable (Team Rocket's Ambition) or Dark Clefable (GB 2) < 1309738615 373499 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :so that was easy enough to find: http://bulbapedia.bulbagarden.net/wiki/Dark_Clefable_%28GB_2%29 < 1309738625 456074 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com PRIVMSG #esoteric :Yes it is the GB 2 version. < 1309738629 604133 :elliott_!~elliott@95.149.228.85 PRIVMSG #esoteric :newtype Cord a = Leaf ![a] < 1309738629 789024 :elliott_!~elliott@95.149.228.85 PRIVMSG #esoteric : | Branch !Int !(Maybe (Cord l a)) !(Maybe (Cord l a)) < 1309738631 858225 :elliott_!~elliott@95.149.228.85 PRIVMSG #esoteric :kind of ugly, but oh well < 1309738651 4636 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com PRIVMSG #esoteric :Calling it [Lv33] should still be unambiguous, though. Also, the puzzle games list all the card texts. < 1309738664 991330 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :and hmm, is exclusive to one of the Game Boy games, rather than being an actual physical card < 1309738724 120696 :elliott_!~elliott@95.149.228.85 PRIVMSG #esoteric :oerjan: still running, btw < 1309738747 388652 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com PRIVMSG #esoteric :Yes it is, although it could be played with physical cards too I think, if the chance os 1/3 for -0, 1/3 for -1, 1/3 for -2, then you can use a dice however, which is not part of the standard game. < 1309738775 9230 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com PRIVMSG #esoteric :(These are also the numbers I used to estimate my probability of hitting) < 1309738872 43892 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :huh < 1309738930 36350 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :elliott_: your newtype has some spurious l's < 1309738943 27801 :elliott_!~elliott@95.149.228.85 PRIVMSG #esoteric :oerjan: indeed, remnants from a previous, more general attempt that I'm delaying < 1309738948 402285 :elliott_!~elliott@95.149.228.85 PRIVMSG #esoteric :oerjan: ([a] is not a very efficient short-string structure) < 1309738984 218008 :elliott_!~elliott@95.149.228.85 PRIVMSG #esoteric :"Leaf nodes (as well as some single-child internal nodes) also contain a short string." < 1309738987 414046 :elliott_!~elliott@95.149.228.85 PRIVMSG #esoteric :i love that unexplained as-well-as < 1309739022 73021 :elliott_!~elliott@95.149.228.85 PRIVMSG #esoteric :"Seen from another perspective, the binary tree of a rope can be seen as several levels of nodes. The bottom level contains all the nodes that have a short string. Higher levels have fewer and fewer nodes, until finally there is just one root node in the top level. We can build the rope by putting all the nodes with short strings in the bottom level, then randomly picking half those nodes in order to form parent nodes in the next level. Nodes with no p < 1309739022 299491 :elliott_!~elliott@95.149.228.85 PRIVMSG #esoteric :arent (for example, the two nodes storing the strings "my_" and "me_i" in the diagram above) become the right child of the node located immediately to their left, thus forming a chain. In this way, we can build higher levels one level at a time. We stop when there is only one node remaining." < 1309739023 451421 :elliott_!~elliott@95.149.228.85 PRIVMSG #esoteric :this is stupid < 1309739031 88166 :elliott_!~elliott@95.149.228.85 PRIVMSG #esoteric :it's like it's purposefully trying not to be an actual algorithm < 1309739040 786357 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com PRIVMSG #esoteric :The GameBoy computer opponents seem to be bad at defensive play and average at offensive play, and often do stupid things. < 1309739055 129562 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com PRIVMSG #esoteric :ais523: Can you figure out my puzzle games? Can you understand it? < 1309739076 912115 :coppro!~scshunt@denardo.csclub.uwaterloo.ca PRIVMSG #esoteric :zzo38: Referring to cards by level is a bad approach < 1309739086 422147 :coppro!~scshunt@denardo.csclub.uwaterloo.ca PRIVMSG #esoteric :zzo38: The cards are much more well-known by name < 1309739116 293383 :elliott_!~elliott@95.149.228.85 PRIVMSG #esoteric :oerjan: hmm, looks like finger trees are actually pretty close to this < 1309739120 497110 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com PRIVMSG #esoteric :The card texts of the puzzles are typed on there < 1309739130 328450 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com PRIVMSG #esoteric :And anyways I only know them by level anyways < 1309739138 929714 :elliott_!~elliott@95.149.228.85 PRIVMSG #esoteric :oerjan: hm but wait < 1309739143 561110 :elliott_!~elliott@95.149.228.85 PRIVMSG #esoteric :oerjan: finger trees have O(n) indexing, right? < 1309739150 480332 :elliott_!~elliott@95.149.228.85 PRIVMSG #esoteric :oh, O(log(min(i,n-i))), weird < 1309739160 791612 :elliott_!~elliott@95.149.228.85 PRIVMSG #esoteric :i guess because it tries from the end too < 1309739163 181429 :elliott_!~elliott@95.149.228.85 PRIVMSG #esoteric :or something < 1309739165 365655 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :zzo38: I haven't looked at it, I'm watching a Pokémon Blue TAS at the moment < 1309739216 721542 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :elliott_: finger trees have O(1) indexing at the end, is the major difference i think < 1309739244 508977 :elliott_!~elliott@95.149.228.85 PRIVMSG #esoteric :oerjan: that's actually quite useful, for strings < 1309739252 97619 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :yeah < 1309739262 958399 :coppro!~scshunt@denardo.csclub.uwaterloo.ca PRIVMSG #esoteric :a pokemon TAS? oh dear < 1309739276 805175 :elliott_!~elliott@95.149.228.85 PRIVMSG #esoteric :oerjan: the problem is that you don't want (Seq Char), you want (Seq AboutSixteenOrSoChars) < 1309739280 618644 :elliott_!~elliott@95.149.228.85 PRIVMSG #esoteric :oerjan: which just complicates every algorithm < 1309739289 724595 :elliott_!~elliott@95.149.228.85 PRIVMSG #esoteric :sufficiently so that I think reinventing the wheel might be more expedient < 1309739319 885009 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :elliott_: the O(1) also keeps holding a*ly as you traverse inwards < 1309739335 521390 :elliott_!~elliott@95.149.228.85 PRIVMSG #esoteric :yes, that is definitely a sentence that makes sense. < 1309739344 967505 :elliott_!~elliott@95.149.228.85 PRIVMSG #esoteric :good job for making it. < 1309739348 476329 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :a* is here the word i keep forgetting < 1309739348 625226 :elliott_!~elliott@95.149.228.85 PRIVMSG #esoteric :i am proud of you. < 1309739361 348337 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com PRIVMSG #esoteric :What is a Pokemon TAS? < 1309739364 747690 :elliott_!~elliott@95.149.228.85 PRIVMSG #esoteric :oerjan: asymptomatically? < 1309739365 988635 :elliott_!~elliott@95.149.228.85 PRIVMSG #esoteric :er oh er < 1309739369 656195 :elliott_!~elliott@95.149.228.85 PRIVMSG #esoteric :a....stigma < 1309739373 664336 :elliott_!~elliott@95.149.228.85 PRIVMSG #esoteric :apex < 1309739375 96947 :elliott_!~elliott@95.149.228.85 PRIVMSG #esoteric :aperture < 1309739380 909680 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :argh :P < 1309739447 497328 :elliott_!~elliott@95.149.228.85 PRIVMSG #esoteric :i know what you mean :D < 1309739489 406279 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :good, good < 1309739509 242822 :elliott_!~elliott@95.149.228.85 PRIVMSG #esoteric :http://hackage.haskell.org/packages/archive/simple-rope/0.1/doc/html/Data-Rope.html ;; TYPE FAMILIES: TOTALLY SIMPLE < 1309739513 614931 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :anyway, the first 16 chars take 16*O(1) to traverse < 1309739556 506678 :Sgeo!Sgeo@ool-44c2d2a1.dyn.optonline.net PRIVMSG #esoteric :elliott_ hates history < 1309739561 535281 :Sgeo!Sgeo@ool-44c2d2a1.dyn.optonline.net PRIVMSG #esoteric :and historical stuff < 1309739623 285831 :elliott_!~elliott@95.149.228.85 PRIVMSG #esoteric :oerjan: hmm, http://upload.wikimedia.org/wikipedia/commons/c/c2/Rope_example.jpg confuses me < 1309739631 362791 :elliott_!~elliott@95.149.228.85 PRIVMSG #esoteric :apart from being tilted for no apparent reason, the lengths of the strings all vary wildly < 1309739639 575979 :elliott_!~elliott@95.149.228.85 PRIVMSG #esoteric :is it because of inserting "s" somewhere that there's a one-char "s"? < 1309739642 524449 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :elliott_: one hour < 1309739646 602908 :elliott_!~elliott@95.149.228.85 PRIVMSG #esoteric :oerjan: :D < 1309739828 859869 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :and the numbers only apply to the part vertically below ignoring the tilting... < 1309739881 262861 :elliott_!~elliott@95.149.228.85 PRIVMSG #esoteric :oerjan: I know < 1309739887 944732 :elliott_!~elliott@95.149.228.85 PRIVMSG #esoteric :oerjan: I just mean, why would all the strings not be equally-sized? < 1309739890 896291 :elliott_!~elliott@95.149.228.85 PRIVMSG #esoteric :(Or one off from that) < 1309739895 774703 :elliott_!~elliott@95.149.228.85 PRIVMSG #esoteric :So presumably it isn't a newly-created string, but a modified one < 1309739910 819283 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :
ACTION doesn't actually know ropes
< 1309739928 510432 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i think i briefly considered if they were useful for implementing dupdog < 1309739964 160882 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :ok i guess if there isn't more to them than that, i know them < 1309739976 507356 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com PRIVMSG #esoteric :It is impossible to pull the ropes regardless of the number of your tentacles, I think. < 1309740028 62580 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :maybe zzo38 is a great old one < 1309740080 294740 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com PRIVMSG #esoteric :Actually I am not one million years old. Nobody lives that long, I think. < 1309740257 592966 :ralc!~ralc@79.142.230.243.static.knet.bolignet.dk QUIT :Quit: Leaving < 1309740444 199585 :elliott_!~elliott@95.149.228.85 PRIVMSG #esoteric :hmm, I wonder what I should use as the target length of the small strings in a rope < 1309740452 128929 :elliott_!~elliott@95.149.228.85 PRIVMSG #esoteric :there is probably some obvious answer based on keeping the tree shallow < 1309740454 911084 :elliott_!~elliott@95.149.228.85 PRIVMSG #esoteric :but I don't know what it is < 1309740463 214939 :elliott_!~elliott@95.149.228.85 PRIVMSG #esoteric :well, shallow but still... foresty enough < 1309740654 16022 :elliott_!~elliott@95.149.228.85 PRIVMSG #esoteric :oerjan: still giong < 1309740654 703256 :elliott_!~elliott@95.149.228.85 PRIVMSG #esoteric :going < 1309740713 279383 :Sgeo!Sgeo@ool-44c2d2a1.dyn.optonline.net PRIVMSG #esoteric :RIP Bonobo Conspiracy < 1309740779 307309 :azaq23!~derivecto@unaffiliated/azaq23 QUIT :Quit: Leaving. < 1309740832 584414 :elliott_!~elliott@95.149.228.85 PRIVMSG #esoteric :
ACTION was hoping oerjan would answer :D
< 1309740841 796511 :elliott_!~elliott@95.149.228.85 PRIVMSG #esoteric : 4004 elliott 20 0 48740 3984 1260 S 109 0.1 124:00.04 nsearch.optim < 1309740842 568441 :elliott_!~elliott@95.149.228.85 PRIVMSG #esoteric :two hours < 1309740901 707685 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :wat < 1309740907 413346 :elliott_!~elliott@95.149.228.85 PRIVMSG #esoteric : only in Haskell would you rotate a list by extending it to be infinitely long and then throwing out most of it ;P < 1309740908 569044 :elliott_!~elliott@95.149.228.85 PRIVMSG #esoteric :oerjan: ? < 1309740941 298013 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :
ACTION → sleep
< 1309740949 338729 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 QUIT :Quit: Leaving < 1309740975 518465 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :> let rot n l = take (length l) . drop n $ cycle l in rot 5 "abracadabra" < 1309740976 956272 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : "adabraabrac" < 1309740979 10608 :elliott_!~elliott@95.149.228.85 PRIVMSG #esoteric :LinuxJournal: Is there a world outside of computers? < 1309740979 941017 :elliott_!~elliott@95.149.228.85 PRIVMSG #esoteric :-- http://www.linuxjournal.com/article/5048 < 1309740985 425125 :elliott_!~elliott@95.149.228.85 PRIVMSG #esoteric :"No." < 1309740999 90930 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :elliott_: * elliott_ was hoping oerjan would answer :D < 1309741012 952444 :elliott_!~elliott@95.149.228.85 PRIVMSG #esoteric :oerjan: hmm, I wonder what I should use as the target length of the small strings in a rope < 1309741013 223416 :elliott_!~elliott@95.149.228.85 PRIVMSG #esoteric : there is probably some obvious answer based on keeping the tree shallow < 1309741013 379474 :elliott_!~elliott@95.149.228.85 PRIVMSG #esoteric : but I don't know what it is < 1309741013 379668 :elliott_!~elliott@95.149.228.85 PRIVMSG #esoteric : well, shallow but still... foresty enough < 1309741022 306734 :elliott_!~elliott@95.149.228.85 PRIVMSG #esoteric :oerjan: also, the reason no haskell compiler does automatic memoisation is because of space leaks, right? < 1309741034 291680 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i think so < 1309741132 656100 :elliott_!~elliott@95.149.228.85 PRIVMSG #esoteric :http://www.reddit.com/r/programming/comments/ifq59/a_regular_expression_matcher_in_30_lines_of_c/c23fz1d?context=3 hey oerjan, tell me whether my response is bullshit or not :P < 1309741135 407114 :elliott_!~elliott@95.149.228.85 PRIVMSG #esoteric :;D ;D ;D < 1309741205 233958 :jcp!alex@bzflag/contributor/javawizard2539 JOIN :#esoteric < 1309741299 839937 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :sounds fair. although i vaguely recall at one time reading that main = putStrLn "hello" >> main < 1309741300 83150 :elliott_!~elliott@95.149.228.85 PRIVMSG #esoteric :?hoogle Int -> a -> [[a]] < 1309741300 428071 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :Prelude replicate :: Int -> a -> [a] < 1309741300 579577 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :Data.List replicate :: Int -> a -> [a] < 1309741300 728105 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :Control.Monad replicateM :: Monad m => Int -> m a -> m [a] < 1309741306 701131 :elliott_!~elliott@95.149.228.85 PRIVMSG #esoteric :?hoogle Int -> [a] -> [[a]] < 1309741307 20730 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :Control.Monad replicateM :: Monad m => Int -> m a -> m [a] < 1309741307 173309 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :Prelude drop :: Int -> [a] -> [a] < 1309741307 321709 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :Prelude take :: Int -> [a] -> [a] < 1309741309 700047 :elliott_!~elliott@95.149.228.85 PRIVMSG #esoteric :grr < 1309741312 850196 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :does leak space < 1309741321 919714 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :elliott_: how dare you paste in the middle of my broken line < 1309741323 859374 :elliott_!~elliott@95.149.228.85 PRIVMSG #esoteric :oerjan: hmm, I don't think so < 1309741325 956855 :elliott_!~elliott@95.149.228.85 PRIVMSG #esoteric :main is shared, after all < 1309741333 872546 :elliott_!~elliott@95.149.228.85 PRIVMSG #esoteric :anyway, it won't blow the stack < 1309741334 286102 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :elliott_: er, *did leak space < 1309741336 562100 :elliott_!~elliott@95.149.228.85 PRIVMSG #esoteric :even if it does eat all your ram < 1309741338 176815 :elliott_!~elliott@95.149.228.85 PRIVMSG #esoteric :at < 1309741339 775197 :elliott_!~elliott@95.149.228.85 PRIVMSG #esoteric :[asterisk]ah < 1309741351 680616 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :this was in some ancient version < 1309741382 247532 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :elliott_: what do you want for that ?hoogle function? < 1309741400 319244 :elliott_!~elliott@95.149.228.85 PRIVMSG #esoteric :oerjan: group into lists of length N < 1309741412 95315 :elliott_!~elliott@95.149.228.85 PRIVMSG #esoteric :"abcdefgh" grouped by three -> ["abc","def","gh"] < 1309741415 691516 :elliott_!~elliott@95.149.228.85 PRIVMSG #esoteric ::t chunks < 1309741416 126054 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :elliott_: Data.Split, i think < 1309741416 323791 :elliott_!~elliott@95.149.228.85 PRIVMSG #esoteric ::t chunk < 1309741416 472251 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :Not in scope: `chunks' < 1309741417 60369 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :Not in scope: `chunk' < 1309741420 416311 :elliott_!~elliott@95.149.228.85 PRIVMSG #esoteric :oerjan: yeah :( < 1309741433 198261 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :not in standard libraries < 1309741498 368748 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :> takeWhile (not.null) . map(take 3) . iterate(drop 3) $ "abcdefgh" < 1309741499 831533 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : ["abc","def","gh"] < 1309741789 216947 :Sgeo!Sgeo@ool-44c2d2a1.dyn.optonline.net QUIT :Ping timeout: 255 seconds < 1309741833 228961 :Sgeo!Sgeo@ool-44c2d2a1.dyn.optonline.net JOIN :#esoteric < 1309741890 840889 :elliott_!~elliott@95.149.228.85 PRIVMSG #esoteric :algorithms suck < 1309742038 502755 :elliott_!~elliott@95.149.228.85 PRIVMSG #esoteric :?pl \d -> f d . g < 1309742038 748872 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :(. g) . f < 1309742110 754900 :elliott_!~elliott@95.149.228.85 PRIVMSG #esoteric :http://hackage.haskell.org/packages/archive/ListLike/3.1.1/doc/html/Data-ListLike.html#t:ListLike ugliest typeclass < 1309742128 780341 :pikhq!~pikhq@174-22-158-124.clsp.qwest.net PRIVMSG #esoteric :elliott_: Should I feel bad for having made sabotage build dynamically? < 1309742134 261702 :elliott_!~elliott@95.149.228.85 PRIVMSG #esoteric :pikhq: yes < 1309742140 284605 :Sgeo!Sgeo@ool-44c2d2a1.dyn.optonline.net QUIT :Ping timeout: 255 seconds < 1309742149 100700 :pikhq!~pikhq@174-22-158-124.clsp.qwest.net PRIVMSG #esoteric :Well, that was straightforward. < 1309742156 999358 :elliott_!~elliott@95.149.228.85 PRIVMSG #esoteric :oerjan: still going, btw < 1309742202 872870 :pikhq!~pikhq@174-22-158-124.clsp.qwest.net PRIVMSG #esoteric :elliott_: It also seems to have cut the size of X11 by 95%. < 1309742279 902274 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com PRIVMSG #esoteric :Does the Linux kernel have support for error emulation? < 1309742388 998894 :jcp|other!alex@bzflag/contributor/javawizard2539 JOIN :#esoteric < 1309742395 91931 :jcp|other!alex@bzflag/contributor/javawizard2539 QUIT :Read error: Connection reset by peer < 1309742414 785309 :jcp|other!alex@bzflag/contributor/javawizard2539 JOIN :#esoteric < 1309742628 533061 :Sgeo!Sgeo@ool-44c2d2a1.dyn.optonline.net JOIN :#esoteric < 1309742818 981747 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake QUIT :Ping timeout: 260 seconds < 1309743184 603537 :elliott_!~elliott@95.149.228.85 PRIVMSG #esoteric :oerjan: COUGH COUGH < 1309743187 690199 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :eek < 1309743192 219235 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :TWO HOURS < 1309743212 301561 :elliott_!~elliott@95.149.228.85 PRIVMSG #esoteric :oerjan: that was actually to answer my implicit question IN RETURN FOR ALL MY CPU TIME < 1309743212 927424 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :also you beat me by seconds there < 1309743224 582740 :elliott_!~elliott@95.149.228.85 PRIVMSG #esoteric : oerjan: hmm, I wonder what I should use as the target length of the small strings in a rope < 1309743224 731074 :elliott_!~elliott@95.149.228.85 PRIVMSG #esoteric : there is probably some obvious answer based on keeping the tree shallow < 1309743224 731320 :elliott_!~elliott@95.149.228.85 PRIVMSG #esoteric : but I don't know what it is < 1309743224 731430 :elliott_!~elliott@95.149.228.85 PRIVMSG #esoteric : well, shallow but still... foresty enough < 1309743224 879558 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :oh hm < 1309743241 724941 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i think i can say with some confidence that i dunno < 1309743246 373407 :elliott_!~elliott@95.149.228.85 PRIVMSG #esoteric :I dunno whether you want it to be some fraction of the total initial string length or some constant :D < 1309743248 334693 :elliott_!~elliott@95.149.228.85 PRIVMSG #esoteric :oerjan: >:( < 1309743269 620300 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :elliott_: square root or logarithm perhaps? < 1309743280 629525 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :hm but you want a lower limit too < 1309743284 866747 :elliott_!~elliott@95.149.228.85 PRIVMSG #esoteric :yes, let's just throw random functions at the problem :D < 1309743298 876559 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :RANDOM, THAT'S IT! < 1309743311 910054 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :gaussian, to be precise < 1309743321 154641 :elliott_!~elliott@95.149.228.85 PRIVMSG #esoteric :oerjan: :D < 1309743325 474027 :elliott_!~elliott@95.149.228.85 PRIVMSG #esoteric :you are joking right < 1309743340 320581 :elliott_!~elliott@95.149.228.85 PRIVMSG #esoteric :defaultChunkSize :: Int < 1309743340 475721 :elliott_!~elliott@95.149.228.85 PRIVMSG #esoteric :defaultChunkSize = 64 < 1309743340 475916 :elliott_!~elliott@95.149.228.85 PRIVMSG #esoteric :pack :: (StringLike a) => Int -> a -> Rope a < 1309743340 476030 :elliott_!~elliott@95.149.228.85 PRIVMSG #esoteric :pack cs s | size s < 2*cs = Leaf cs s < 1309743340 476138 :elliott_!~elliott@95.149.228.85 PRIVMSG #esoteric : | otherwise = let (a,b) = splitAt cs s in pack cs a <> pack cs b < 1309743342 146532 :elliott_!~elliott@95.149.228.85 PRIVMSG #esoteric :HMMMMMMMmmmmmmmmmmmmmmmmmm < 1309743347 160969 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :_finally_ elliott_ is getting a clue < 1309743353 904555 :elliott_!~elliott@95.149.228.85 PRIVMSG #esoteric ::( < 1309743391 955323 :elliott_!~elliott@95.149.228.85 PRIVMSG #esoteric :-- | O(n) Convert a list of 'Word8' into a 'Rope' < 1309743392 220583 :elliott_!~elliott@95.149.228.85 PRIVMSG #esoteric :pack::[Word8]->Rope < 1309743392 368963 :elliott_!~elliott@95.149.228.85 PRIVMSG #esoteric :pack s= < 1309743392 369131 :elliott_!~elliott@95.149.228.85 PRIVMSG #esoteric : if Prelude.length s<=leafSize then unsafePerformIO $ do < 1309743392 369295 :elliott_!~elliott@95.149.228.85 PRIVMSG #esoteric : contents<-mallocForeignPtrArray leafSize < 1309743394 455812 :elliott_!~elliott@95.149.228.85 PRIVMSG #esoteric : i0<-mallocForeignPtr < 1309743396 306208 :elliott_!~elliott@95.149.228.85 PRIVMSG #esoteric : withForeignPtr i0 $ \i->poke i $ Prelude.length s < 1309743398 303950 :elliott_!~elliott@95.149.228.85 PRIVMSG #esoteric : withForeignPtr contents $ \c->fillPtr c s < 1309743400 309287 :elliott_!~elliott@95.149.228.85 PRIVMSG #esoteric : return $ String { contents, i0, offset=0, length_=Prelude.length s } < 1309743402 434154 :elliott_!~elliott@95.149.228.85 PRIVMSG #esoteric : else < 1309743404 434077 :elliott_!~elliott@95.149.228.85 PRIVMSG #esoteric : let (a,b)=Prelude.splitAt leafSize s in < 1309743406 435673 :elliott_!~elliott@95.149.228.85 PRIVMSG #esoteric : append (pack a) (pack b) < 1309743408 299292 :elliott_!~elliott@95.149.228.85 PRIVMSG #esoteric : where < 1309743410 296541 :elliott_!~elliott@95.149.228.85 PRIVMSG #esoteric : fillPtr::Storable a=>Ptr a->[a]->IO () < 1309743412 294307 :elliott_!~elliott@95.149.228.85 PRIVMSG #esoteric : fillPtr _ []=return () < 1309743414 466433 :elliott_!~elliott@95.149.228.85 PRIVMSG #esoteric : fillPtr ptr (h:t)=do < 1309743416 465363 :elliott_!~elliott@95.149.228.85 PRIVMSG #esoteric : poke ptr h < 1309743418 465036 :elliott_!~elliott@95.149.228.85 PRIVMSG #esoteric : fillPtr (plusPtr ptr 1) t < 1309743420 298406 :elliott_!~elliott@95.149.228.85 PRIVMSG #esoteric :cool < 1309743424 337037 :elliott_!~elliott@95.149.228.85 PRIVMSG #esoteric :\end{code} Il n'est pas clair qu'on ne puisse pas faire beaucoup mieux que ce pack. Par exemple, vu qu'on calcule la taille de la liste, on pourrait sortir un arbre directement \'equilibr\'e. Vu qu'on ne fait jamais pack avec des 'ByteString's (sauf ghc quand il compile des IsString), \c ca ne vaut sans doute pas le co\^ut. Par contre, append est utilise presque partout. Il est crucial que son implementation soit extremement efficace. \begin{code} < 1309743429 453879 :elliott_!~elliott@95.149.228.85 PRIVMSG #esoteric :cool < 1309743431 456760 :elliott_!~elliott@95.149.228.85 PRIVMSG #esoteric :ok its leaf size is 65,536 < 1309743433 300428 :elliott_!~elliott@95.149.228.85 PRIVMSG #esoteric :so the ideal chunk size is between 64 and 65536 < 1309743435 295687 :elliott_!~elliott@95.149.228.85 PRIVMSG #esoteric ::D < 1309743596 705533 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :wait this is the kind of "you need no know cache" stuff, isn't it. < 1309743601 574491 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :*to know < 1309743627 654471 :elliott_!~elliott@95.149.228.85 PRIVMSG #esoteric :oerjan: i'm not sure :D < 1309743632 657591 :elliott_!~elliott@95.149.228.85 PRIVMSG #esoteric :HEY VOOOOORPAAAAAAAAAL < 1309743635 653164 :elliott_!~elliott@95.149.228.85 PRIVMSG #esoteric :HEY GREEEEEGOOOOOOOOOR < 1309743693 685013 :Sgeo!Sgeo@ool-44c2d2a1.dyn.optonline.net PRIVMSG #esoteric :Newspaper works as a mousepad! < 1309743701 685062 :elliott_!~elliott@95.149.228.85 PRIVMSG #esoteric :Sgeo: Warren considers my ardent anti-historism beautiful. < 1309743811 35321 :Sgeo!Sgeo@ool-44c2d2a1.dyn.optonline.net PRIVMSG #esoteric :lol < 1309743832 364338 :elliott_!~elliott@95.149.228.85 PRIVMSG #esoteric :oerjan: 208:18.92 nsearch.optim < 1309743982 452192 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :are you _sure_ you didn't accidentally write 43 or something < 1309744262 647343 :elliott_!~elliott@95.149.228.85 PRIVMSG #esoteric :main = print (nsearch 34 1 0 [1..33]) < 1309744294 786286 :elliott_!~elliott@95.149.228.85 PRIVMSG #esoteric :oerjan: heh, fromList is a painful function to write :( < 1309744302 397041 :elliott_!~elliott@95.149.228.85 PRIVMSG #esoteric :because just getting a list of chunks isn't enough, i have to all spindly them down into a tree < 1309744303 799861 :elliott_!~elliott@95.149.228.85 PRIVMSG #esoteric :im lazy < 1309744502 945020 :Lymia!~moe@unaffiliated/cirno-chan NICK :Lymee < 1309744579 453026 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric ::t Node < 1309744580 229143 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :forall a. a -> Forest a -> Tree a < 1309744631 533463 :elliott_!~elliott@95.149.228.85 PRIVMSG #esoteric :oerjan: what of it < 1309744672 164855 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric ::t Leaf < 1309744672 919601 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :Not in scope: data constructor `Leaf' < 1309744694 476883 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :> return True :: Tree Bool < 1309744695 314887 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : Node {rootLabel = True, subForest = []} < 1309744707 314044 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :aha < 1309744844 869002 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :hm that's annoying < 1309744866 896774 :elliott_!~elliott@95.149.228.85 PRIVMSG #esoteric :234:22.89 i give up < 1309744874 259442 :elliott_!~elliott@95.149.228.85 PRIVMSG #esoteric :$ time ./nsearch.optim +RTS -N < 1309744874 408167 :elliott_!~elliott@95.149.228.85 PRIVMSG #esoteric :^C < 1309744874 408351 :elliott_!~elliott@95.149.228.85 PRIVMSG #esoteric :real 146m53.288s < 1309744874 408461 :elliott_!~elliott@95.149.228.85 PRIVMSG #esoteric :user 208m42.860s < 1309744874 408569 :elliott_!~elliott@95.149.228.85 PRIVMSG #esoteric :sys 25m50.830s < 1309744875 722215 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :NOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOO < 1309744883 602495 :elliott_!~elliott@95.149.228.85 PRIVMSG #esoteric :two seconds later: OMG ITS FOUND < 1309744908 754540 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :> undefined :: [Int] < 1309744909 520573 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : *Exception: Prelude.undefined < 1309744922 80107 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :why doesn't it print the initial [, anyway < 1309744943 569760 :elliott_!~elliott@95.149.228.85 PRIVMSG #esoteric :for undefined < 1309744949 415247 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :yeah < 1309744949 736451 :elliott_!~elliott@95.149.228.85 PRIVMSG #esoteric :[undefined] would produce [ < 1309744963 416092 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :well sure < 1309744971 62597 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :> [undefined] :: [Int] < 1309744971 849040 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : [*Exception: Prelude.undefined < 1309744981 674646 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :but even without the brackets < 1309745006 631777 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :> undefined :: String < 1309745007 391452 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : "*Exception: Prelude.undefined < 1309745024 305137 :elliott_!~elliott@95.149.228.85 PRIVMSG #esoteric :hm < 1309745037 377809 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :that's the reason why fix show works < 1309745066 557906 :monqy!~chap@pool-71-102-215-70.snloca.dsl-w.verizon.net PRIVMSG #esoteric :> fix show < 1309745067 335310 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : "\"\\\"\\\\\\\"\\\\\\\\\\\\\\\"\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\"\\\\\\\\\\\\... < 1309745161 722614 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric ::t var < 1309745162 451851 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :forall a. String -> Sym a < 1309745190 23090 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :> fix (return.var.show) :: [Sym ()] < 1309745191 525745 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[... < 1309745419 785095 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :> fix (return.var.show) :: Maybe (Sym ()) < 1309745421 318075 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : Just Just Just Just Just Just Just Just Just Just Just Just Just Just Just ... < 1309745443 366638 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :hm < 1309745460 89150 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :> Just (Just (Just True)) < 1309745460 881971 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : Just (Just (Just True)) < 1309745765 454898 :pikhq_!~pikhq@174-22-179-191.clsp.qwest.net JOIN :#esoteric < 1309745769 660145 :pikhq!~pikhq@174-22-158-124.clsp.qwest.net QUIT :Ping timeout: 240 seconds < 1309745776 8899 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :elliott_: have you tried timing the parallel one for smaller values? that was some leap from 32 to 34... < 1309745797 694328 :elliott_!~elliott@95.149.228.85 PRIVMSG #esoteric :yes i tried thirty < 1309745810 282664 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :how long did that take? < 1309745993 288992 :copumpkin!~pumpkin@user-12hcrs5.cable.mindspring.com JOIN :#esoteric < 1309745993 576408 :copumpkin!~pumpkin@user-12hcrs5.cable.mindspring.com QUIT :Changing host < 1309745993 725688 :copumpkin!~pumpkin@unaffiliated/pumpkingod JOIN :#esoteric < 1309746039 262435 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric : realI1m31.738s < 1309746045 579960 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :was that for 30? < 1309746052 911896 :elliott_!~elliott@95.149.228.85 PRIVMSG #esoteric :yes < 1309746085 849965 :copumpkin!~pumpkin@unaffiliated/pumpkingod QUIT :Client Quit < 1309746091 4008 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :that's more than 100 times up to when you stopped 34 :( < 1309746104 139322 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :er, *almost < 1309746114 753284 :elliott_!~elliott@95.149.228.85 PRIVMSG #esoteric :its obviously massively exponential < 1309746115 782442 :elliott_!~elliott@95.149.228.85 PRIVMSG #esoteric :or worse < 1309746123 770851 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :perhaps factorial < 1309746152 70753 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :or rather, i cannot see how it could be _more_ than factorial. well maybe some of the large artithmetic on n. < 1309746164 990306 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :*-t < 1309746202 333707 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :wow, Slashdot has given me a total of 30 moderator points in a week < 1309746216 94033 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :well you are a very moderate guy < 1309746292 385645 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :according to the FAQ, it implies I'm in the top percentile of moderators, or something like that < 1309746316 352282 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :(moderator selection is random, but apparently when you're selected, you get to do more moderation if the metamoderators think you've been doing well) < 1309746318 23825 :coppro!~scshunt@denardo.csclub.uwaterloo.ca PRIVMSG #esoteric :I mostly read via rss now < 1309746328 925664 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :as far as I can tell, it just means most Slashdotters are really biased < 1309746338 412638 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :and I read Slashdot for the comments < 1309746418 504658 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com PRIVMSG #esoteric :I have sometimes read the comments on Slashdot, too. < 1309746419 953648 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com PRIVMSG #esoteric :Are you able to read pokemon card puzzle by now? < 1309746426 968616 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :ah, I forgot about it < 1309746431 810089 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :let me look < 1309746465 863281 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I don't understand your notation for energy < 1309746488 524242 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :does @ mean purple/psychic energy? < 1309746493 389993 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :and if so, what is %? < 1309746537 652388 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com PRIVMSG #esoteric :ais523: What part are you having trouble with about the energy? Yes, @ means purple/psychic energy although you can still solve it without that information (all the card texts use the same notation too, in that file). % means leaf energy (green) < 1309746537 914091 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :also, how many Prizes does each player have? are they called something else? < 1309746550 202844 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com PRIVMSG #esoteric :"Side cards remaining". < 1309746594 332465 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com PRIVMSG #esoteric :Also called Prizes also the name "side cards" is also used sometimes, and that is what I am using there. < 1309746598 21584 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :and numbers on their own in Pokémon descriptions are damages in multiples of 10? < 1309746606 428642 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com PRIVMSG #esoteric :Yes. < 1309746623 432985 :copumpkin!~pumpkin@unaffiliated/pumpkingod JOIN :#esoteric < 1309746750 285597 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com PRIVMSG #esoteric :What is called ten damage is called 1 here; it is more logical. < 1309746752 952663 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :you need to point out that the opponent has at least one card in draw pile < 1309746763 912722 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :otherwise you can win by passing the turn :) < 1309746772 160511 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :you have [irrelevant] there atm < 1309746970 791647 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com PRIVMSG #esoteric :I don't think it is necessary but OK I will change that < 1309747070 113799 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com PRIVMSG #esoteric :I fixed it. < 1309747092 241557 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com QUIT :Quit: Unfortunately I have to leave now, sorry < 1309747218 986711 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I'm not convinced the first puzzle is possible; there seems to be no way to get a draw from the deck other than itemfindering Bill in any of the cards there, and if you do that, you have no way to refill your deck with Nightly Garbage Run < 1309747228 303723 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :other than that, it's reasonably obvious what you have to do < 1309747305 139998 :coppro!~scshunt@denardo.csclub.uwaterloo.ca PRIVMSG #esoteric :ais523: it's not possible according to modern rules < 1309747326 901918 :coppro!~scshunt@denardo.csclub.uwaterloo.ca PRIVMSG #esoteric :it /may/ have been possible according to older rules, although I don't recall them well enough < 1309747340 337314 :coppro!~scshunt@denardo.csclub.uwaterloo.ca PRIVMSG #esoteric :in any case, I'd forgotten the rule that makes it impossible < 1309747341 261003 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :coppro: under zzo38's ruleset, weakness is almost certainly *2 damage rather than a fixed bonus amount of damage like it is nowadays < 1309747376 507005 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I'm assuming you're meant to hit a weakness (using goop gas attack) in order to deal 60 damage to get one prize, and 10 to a benched to get the other < 1309747410 570804 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :oh, you can just itemfinder for goop gas attack and ignore all the other cards in the discard < 1309747468 801450 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :move a counter from dark muk to porygon, retreat Gengar for Spearow, GoW Dark Muk, retreat Spearow for Hypno, itemfinder for Goop Gas Attack, play it, then hit for 60+10 benched damage for the double KO < 1309747485 429841 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :normally it's bad style to write a puzzle that has that much irrelevant stuff in... < 1309747560 874961 :coppro!~scshunt@denardo.csclub.uwaterloo.ca PRIVMSG #esoteric :ais523: I cannot find any evidence to support your assertion that weakness is not *2 damage nowadays, and that is the correct solution although it's illegal under modern rules as you can only retreat once per turn < 1309747570 614550 :coppro!~scshunt@denardo.csclub.uwaterloo.ca PRIVMSG #esoteric :note that I define 'modern rules' as 'the rulebook on the website' < 1309747575 392870 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :you can only retreat once per turn nowadays? < 1309747579 433045 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I stopped playing before that was introduced < 1309747593 531571 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :and nowadays, weakness is printed on the cards; it's sometimes *2, but more commonly +20 or +30 < 1309747603 394316 :coppro!~scshunt@denardo.csclub.uwaterloo.ca PRIVMSG #esoteric :ah ok < 1309747617 530932 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :whereas in the first few sets, weakness was always printed as *2, making it look like a rules reminder rather than actually necessary < 1309747623 513198 :coppro!~scshunt@denardo.csclub.uwaterloo.ca PRIVMSG #esoteric :quick scan shows that most recent expansion is almost always *2 < 1309747711 823019 :coppro!~scshunt@denardo.csclub.uwaterloo.ca PRIVMSG #esoteric :although it appears to be relatively simple cards generally < 1309747715 51722 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :hmm, so it's changed again? < 1309747724 223190 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :as I said, I'm a little out of the loop < 1309747733 115462 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I play the videogames competitively, but not the cards < 1309747739 473929 :coppro!~scshunt@denardo.csclub.uwaterloo.ca PRIVMSG #esoteric :ah ok < 1309747753 872535 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :the videogames are much cheaper, a sort of one-off £40 or so for each version, and they come out once every few years < 1309747765 629979 :coppro!~scshunt@denardo.csclub.uwaterloo.ca PRIVMSG #esoteric :right < 1309747778 973201 :copumpkin!~pumpkin@unaffiliated/pumpkingod QUIT :Quit: Computer has gone to sleep. < 1309747793 833414 :coppro!~scshunt@denardo.csclub.uwaterloo.ca PRIVMSG #esoteric :I suspect that the TCG adopts a similar approach to Magic of making on expansion a year much simpler < 1309747819 589162 :coppro!~scshunt@denardo.csclub.uwaterloo.ca PRIVMSG #esoteric :although it looks like they've been revising the rules a lot too < 1309747825 813675 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :Magic's reason is also because there are a lot of boring cards that are nonetheless necessary to round out decks < 1309747837 539886 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :and yes, I coincidentally quit Magic at the time of the latest big rules change < 1309747859 380875 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :not because of the rules change itself (although I don't really see the point of some of the more controversial changes, and think they're mostly negative), but because I disliked the sets that they'd been making < 1309747885 403701 :coppro!~scshunt@denardo.csclub.uwaterloo.ca PRIVMSG #esoteric :The core sets were never really about printing utility cards < 1309747908 873131 :coppro!~scshunt@denardo.csclub.uwaterloo.ca PRIVMSG #esoteric :They need to be in every set since otherwise the limited format would be impossible to play < 1309747928 557004 :coppro!~scshunt@denardo.csclub.uwaterloo.ca PRIVMSG #esoteric :The new core set model is very awesome < 1309747936 593596 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :yep < 1309747951 545562 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :but it was the difference between core sets using basic utility cards everyone gets, and expansion sets having quirky ones < 1309747977 459120 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :and often the basic ones were a better fit if you weren't going heavily themed < 1309748354 714038 :coppro!~scshunt@denardo.csclub.uwaterloo.ca PRIVMSG #esoteric :It appears that the Pokemon TCG has redone supporters and stadia again; now they are subtypes of Trainer < 1309748388 831505 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :supporters were always subtypes of trainer, weren't they? < 1309748391 193902 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :just with a 1/turn restriction? < 1309748416 585835 :coppro!~scshunt@denardo.csclub.uwaterloo.ca PRIVMSG #esoteric :yeah < 1309748423 623827 :coppro!~scshunt@denardo.csclub.uwaterloo.ca PRIVMSG #esoteric :except for a while when they were a card type < 1309748442 769378 :coppro!~scshunt@denardo.csclub.uwaterloo.ca PRIVMSG #esoteric :but they were originall cobbled on with annoyingly-present reminder text < 1309748458 53675 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :the reminder text was needed < 1309748467 816682 :coppro!~scshunt@denardo.csclub.uwaterloo.ca PRIVMSG #esoteric :the new Trainer template has room for Item/Supporter/Stadium in the top-right corner and has a nice box at the bottom for the reminder text < 1309748472 554546 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :because people kept trying to bring them to people using only old-style cards, when they first came out < 1309748509 541742 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :the invention of supporters was needed, anyway; under the original rules, there was never a reason not to play 4x Bill and 4x Professor Oak < 1309748516 724079 :coppro!~scshunt@denardo.csclub.uwaterloo.ca PRIVMSG #esoteric :yeah < 1309748530 982324 :coppro!~scshunt@denardo.csclub.uwaterloo.ca PRIVMSG #esoteric :definitely agree there < 1309748563 269951 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :(bill was completly safe, professor oak was a gamble but one that had incredibly good return) < 1309748567 293448 :coppro!~scshunt@denardo.csclub.uwaterloo.ca PRIVMSG #esoteric :there's now also basic metal and dark energy, but without the special effects < 1309748573 659460 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :that was needed too, I think < 1309748582 767962 :coppro!~scshunt@denardo.csclub.uwaterloo.ca PRIVMSG #esoteric :Just wait until your hand is low, then play Oak < 1309748594 986018 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :coppro: I mean, you might draw Oak at a time when it isn't useful < 1309748603 128205 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :worst case is getting two Oaks from Bill < 1309748607 879867 :coppro!~scshunt@denardo.csclub.uwaterloo.ca PRIVMSG #esoteric :suppose < 1309748614 576020 :coppro!~scshunt@denardo.csclub.uwaterloo.ca PRIVMSG #esoteric :but then you just play one and the problem goes away < 1309748626 549102 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :yep, it's just a waste more than anything else < 1309748630 684324 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :it's a very good worst case :) < 1309748951 292872 :copumpkin!~pumpkin@user-12hcrs5.cable.mindspring.com JOIN :#esoteric < 1309748951 684861 :copumpkin!~pumpkin@user-12hcrs5.cable.mindspring.com QUIT :Changing host < 1309748951 833074 :copumpkin!~pumpkin@unaffiliated/pumpkingod JOIN :#esoteric < 1309749693 392389 :jcp|1!alex@bzflag/contributor/javawizard2539 JOIN :#esoteric < 1309749714 602818 :jcp!alex@bzflag/contributor/javawizard2539 QUIT :Ping timeout: 258 seconds < 1309749808 333352 :jcp|other!alex@bzflag/contributor/javawizard2539 QUIT :Ping timeout: 255 seconds < 1309750039 626670 :jcp|other!alex@bzflag/contributor/javawizard2539 JOIN :#esoteric < 1309750165 338632 :jcp|1!alex@bzflag/contributor/javawizard2539 QUIT :Ping timeout: 264 seconds < 1309750167 117362 :TeruFSX!~quassel@168-103-62-17.dlth.qwest.net QUIT :Quit: http://quassel-irc.org - Chat comfortably. Anywhere. < 1309750174 770209 :jcp!alex@bzflag/contributor/javawizard2539 JOIN :#esoteric < 1309750181 968904 :BeholdMyGlory!~behold@unaffiliated/beholdmyglory QUIT :Remote host closed the connection < 1309750688 968996 :pikhq!~pikhq@71-219-219-137.clsp.qwest.net JOIN :#esoteric < 1309750870 400417 :pikhq_!~pikhq@174-22-179-191.clsp.qwest.net QUIT :Ping timeout: 244 seconds < 1309750911 122563 :copumpkin!~pumpkin@unaffiliated/pumpkingod QUIT :Quit: Computer has gone to sleep. < 1309751140 299944 :elliott_!~elliott@95.149.228.85 PRIVMSG #esoteric :hi < 1309751619 302153 :quintopia!~quintopia@unaffiliated/quintopia QUIT :Ping timeout: 250 seconds < 1309751738 350642 :jcp|1!alex@bzflag/contributor/javawizard2539 JOIN :#esoteric < 1309751779 430192 :jcp!alex@bzflag/contributor/javawizard2539 QUIT :Ping timeout: 255 seconds < 1309751818 478246 :jcp|other!alex@bzflag/contributor/javawizard2539 QUIT :Ping timeout: 258 seconds < 1309751938 995606 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com JOIN :#esoteric < 1309751975 639406 :quintopia!~quintopia@unaffiliated/quintopia JOIN :#esoteric < 1309751981 976077 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com PRIVMSG #esoteric :If it says "irrelevant" it means those cards are not important for the puzzle. < 1309752003 79365 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com PRIVMSG #esoteric :ais523: Did you figure it out? < 1309752212 832884 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric : move a counter from dark muk to porygon, retreat Gengar for Spearow, GoW Dark Muk, retreat Spearow for Hypno, itemfinder for Goop Gas Attack, play it, then hit for 60+10 benched damage for the double KO < 1309752242 743587 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :there were a lot of things shown in that puzzle that weren't necessary, though < 1309752245 615653 :jcp!alex@bzflag/contributor/javawizard2539 JOIN :#esoteric < 1309752250 33033 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :as in, you only need to involve half the things on the field < 1309753830 271352 :coppro!~scshunt@denardo.csclub.uwaterloo.ca PRIVMSG #esoteric :yeah < 1309753851 861250 :coppro!~scshunt@denardo.csclub.uwaterloo.ca PRIVMSG #esoteric :I'd say card game puzzles should not include irrelevant game state < 1309753894 365450 :elliott_!~elliott@95.149.228.85 PRIVMSG #esoteric :purely functional card g- oh wait that's this year's ICFP < 1309754099 623259 :monqy!~chap@pool-71-102-215-70.snloca.dsl-w.verizon.net PRIVMSG #esoteric :no it isnt < 1309754112 280412 :elliott_!~elliott@95.149.228.85 PRIVMSG #esoteric :isn't it < 1309754113 502319 :monqy!~chap@pool-71-102-215-70.snloca.dsl-w.verizon.net PRIVMSG #esoteric :doesn't that game have so much state < 1309754114 828363 :monqy!~chap@pool-71-102-215-70.snloca.dsl-w.verizon.net PRIVMSG #esoteric :it's crazy < 1309754120 667130 :elliott_!~elliott@95.149.228.85 PRIVMSG #esoteric :well every game has state :P < 1309754124 699946 :elliott_!~elliott@95.149.228.85 PRIVMSG #esoteric :but it's manipulated with pure functions < 1309754129 681330 :elliott_!~elliott@95.149.228.85 PRIVMSG #esoteric :which are the things stored < 1309754250 337624 :myndzi\!myndzi@c-24-22-176-245.hsd1.wa.comcast.net QUIT : < 1309755316 478866 :hagb[4]rd!~hagb4rd@koln-4db4f939.pool.mediaWays.net QUIT :Ping timeout: 255 seconds < 1309757097 995399 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com PRIVMSG #esoteric :I included some irrelevant thing I think it should sometimes contain some. Even in chess puzzle they sometimes do. But in tsume shogi they usually do not contain irrelevant things. < 1309757119 829554 :myndzi!myndzi@c-24-22-176-245.hsd1.wa.comcast.net JOIN :#esoteric < 1309757156 239620 :elliott_!~elliott@95.149.228.85 PRIVMSG #esoteric :hmm, I was going to code something < 1309757160 166757 :elliott_!~elliott@95.149.228.85 PRIVMSG #esoteric :ah, probably a nice esointerpreter < 1309757165 710191 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com PRIVMSG #esoteric :ais523: You did it good. Now try second one too. < 1309757188 356456 :elliott_!~elliott@95.149.228.85 PRIVMSG #esoteric :oh, but then suddenly most esolangs are bad? :( < 1309757221 123213 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com PRIVMSG #esoteric :elliott_: Please do code something. Code everything. < 1309757227 424982 :elliott_!~elliott@95.149.228.85 PRIVMSG #esoteric :i can't code all the things. < 1309757230 43768 :pikhq!~pikhq@71-219-219-137.clsp.qwest.net PRIVMSG #esoteric :
ACTION wonders how easy would it be to get GHC working with musl.
< 1309757230 942879 :elliott_!~elliott@95.149.228.85 PRIVMSG #esoteric :there would be nothing left to not code. < 1309757239 877637 :elliott_!~elliott@95.149.228.85 PRIVMSG #esoteric :pikhq: it works on windows, so ... trivial? < 1309757246 935002 :elliott_!~elliott@95.149.228.85 PRIVMSG #esoteric :well < 1309757247 913157 :elliott_!~elliott@95.149.228.85 PRIVMSG #esoteric :cygwin < 1309757249 499915 :elliott_!~elliott@95.149.228.85 PRIVMSG #esoteric :well < 1309757250 544123 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com PRIVMSG #esoteric :ais523: Do you know how to make up another pokemon card puzzle, too? I would like to see. < 1309757250 692574 :elliott_!~elliott@95.149.228.85 PRIVMSG #esoteric :not cygwin < 1309757251 141717 :elliott_!~elliott@95.149.228.85 PRIVMSG #esoteric :but < 1309757251 841308 :elliott_!~elliott@95.149.228.85 PRIVMSG #esoteric :uh < 1309757253 661161 :monqy!~chap@pool-71-102-215-70.snloca.dsl-w.verizon.net PRIVMSG #esoteric :is zepto good is zepto esolangs < 1309757253 945385 :elliott_!~elliott@95.149.228.85 PRIVMSG #esoteric :point is it works with newlib < 1309757257 712288 :monqy!~chap@pool-71-102-215-70.snloca.dsl-w.verizon.net PRIVMSG #esoteric :is zepto interpreter < 1309757259 447477 :elliott_!~elliott@95.149.228.85 PRIVMSG #esoteric :monqy: zepto is so fucking good, you have no idea. < 1309757265 810100 :elliott_!~elliott@95.149.228.85 PRIVMSG #esoteric :it's the most gooderest. < 1309757271 149258 :elliott_!~elliott@95.149.228.85 PRIVMSG #esoteric :im crying over how good zepto is. < 1309757277 404531 :elliott_!~elliott@95.149.228.85 PRIVMSG #esoteric :this is the saddest day of my life. < 1309757278 180701 :pikhq!~pikhq@71-219-219-137.clsp.qwest.net PRIVMSG #esoteric :elliott_: Okay, then it'd more just be the pain of building it at all. < 1309757289 717840 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com PRIVMSG #esoteric :zepto? < 1309757292 755243 :monqy!~chap@pool-71-102-215-70.snloca.dsl-w.verizon.net PRIVMSG #esoteric :ill never be as good as zepto < 1309757295 315909 :elliott_!~elliott@95.149.228.85 PRIVMSG #esoteric :zzo38: zepto < 1309757297 554768 :elliott_!~elliott@95.149.228.85 PRIVMSG #esoteric :monqy: kill yourself < 1309757315 543012 :elliott_!~elliott@95.149.228.85 PRIVMSG #esoteric :http://killyourself.org/ "killyourself.org - All about the Consideration to Kill Yourself" < 1309757318 722711 :pikhq!~pikhq@71-219-219-137.clsp.qwest.net PRIVMSG #esoteric :zzo38: zepto is that property which most software lacks. < 1309757321 532258 :elliott_!~elliott@95.149.228.85 PRIVMSG #esoteric :"in suck as hell..!!!!! kill your self if u play like this..!" < 1309757325 834149 :elliott_!~elliott@95.149.228.85 PRIVMSG #esoteric :this is a good site < 1309757361 688723 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com PRIVMSG #esoteric :Zepto- (symbol z) is a prefix in the metric system < 1309757376 516840 :elliott_!~elliott@95.149.228.85 PRIVMSG #esoteric :HOW TO KILL YOUR SELF ON BIG DIRT BIKE < 1309757376 705037 :elliott_!~elliott@95.149.228.85 PRIVMSG #esoteric :THE MAD SAILORS HAVE CHANGED FROM WATER TO WHEELS. WHAT NEXT < 1309757409 979015 :elliott_!~elliott@95.149.228.85 PRIVMSG #esoteric :Just came accross the following post on care2.com – Female Veterans More Likely To Commit Suicide and wanted to share it here with you on killyourself.org ... < 1309757418 398897 :elliott_!~elliott@95.149.228.85 PRIVMSG #esoteric :zzo38: yes < 1309757423 60540 :elliott_!~elliott@95.149.228.85 PRIVMSG #esoteric :zzo38: it's also an adjective, and also an adverb < 1309757425 800535 :elliott_!~elliott@95.149.228.85 PRIVMSG #esoteric :example, < 1309757432 941986 :elliott_!~elliott@95.149.228.85 PRIVMSG #esoteric :oh it is also a verb and a noun < 1309757433 160348 :elliott_!~elliott@95.149.228.85 PRIVMSG #esoteric :so < 1309757443 91256 :elliott_!~elliott@95.149.228.85 PRIVMSG #esoteric :i zepto zepto with my zepto zepto. it was zepto. < 1309757450 117688 :monqy!~chap@pool-71-102-215-70.snloca.dsl-w.verizon.net PRIVMSG #esoteric :zepto < 1309757455 597118 :elliott_!~elliott@95.149.228.85 PRIVMSG #esoteric :it can also replace other words if you want e.g. < 1309757465 249265 :elliott_!~elliott@95.149.228.85 PRIVMSG #esoteric :zepto zepto zepto zepto zepto zepto zepto. it zepto zepto. < 1309757469 330689 :monqy!~chap@pool-71-102-215-70.snloca.dsl-w.verizon.net PRIVMSG #esoteric :zepto < 1309757472 202756 :elliott_!~elliott@95.149.228.85 PRIVMSG #esoteric :this makes thinking easier. < 1309757501 977258 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :there is no true or false. there is only zepto < 1309757509 482483 :elliott_!~elliott@95.149.228.85 PRIVMSG #esoteric :exactly. < 1309757515 948704 :elliott_!~elliott@95.149.228.85 PRIVMSG #esoteric :the boolean type in zepto has one value < 1309757516 447428 :elliott_!~elliott@95.149.228.85 PRIVMSG #esoteric :zepto < 1309757551 948710 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :"One zeptomole (zmol) of substance contains 602 particles." < 1309757579 722643 :elliott_!~elliott@95.149.228.85 PRIVMSG #esoteric :yes. this is why integers literals in zepto are base 602 < 1309757614 571731 :elliott_!~elliott@95.149.228.85 PRIVMSG #esoteric :hmm < 1309757617 926108 :elliott_!~elliott@95.149.228.85 PRIVMSG #esoteric :now i gotsa implement zepto < 1309757622 39608 :elliott_!~elliott@95.149.228.85 PRIVMSG #esoteric :but do i do it in C or Haskell < 1309757625 519660 :elliott_!~elliott@95.149.228.85 PRIVMSG #esoteric :obviously Final Zepto must be in C < 1309757629 282138 :elliott_!~elliott@95.149.228.85 PRIVMSG #esoteric :but this it not Final Zepto, oh no < 1309757638 92400 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :no, final zepto must be in zepto, duh < 1309757646 566970 :elliott_!~elliott@95.149.228.85 PRIVMSG #esoteric :this is but a meandering zepto on the zepto path to the one true zepto zepto which zepto zepto, and thus becometh the final zepto. < 1309757651 559010 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com PRIVMSG #esoteric :Now I am confused of it. < 1309757662 535204 :elliott_!~elliott@95.149.228.85 PRIVMSG #esoteric :zzo38: me too. tip: try and not understand it and instead zepto. < 1309757669 642480 :elliott_!~elliott@95.149.228.85 PRIVMSG #esoteric :oerjan: ah. you would think. but a failed bootstrapping is not very zepto. < 1309757683 70014 :elliott_!~elliott@95.149.228.85 PRIVMSG #esoteric :and if you lose the binary, as zepto people are wont to do, then that would make it a very un-zepto situation. < 1309757695 762834 :elliott_!~elliott@95.149.228.85 PRIVMSG #esoteric :also, compilers are un-zepto, so that's just too recursive for the universe to handle. < 1309757702 107942 :monqy!~chap@pool-71-102-215-70.snloca.dsl-w.verizon.net PRIVMSG #esoteric :zepto in haskell, then make a zepto program to generate the final zepto < 1309757702 256559 :elliott_!~elliott@95.149.228.85 PRIVMSG #esoteric :although that, in itself, is very zepto, we are unfortunately constrained. < 1309757705 180218 :elliott_!~elliott@95.149.228.85 PRIVMSG #esoteric :we cannot achieve true zepto. < 1309757705 743144 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com PRIVMSG #esoteric :elliott: OK. But are you going to write in esolang wiki or what else? How can you do? < 1309757708 218797 :elliott_!~elliott@95.149.228.85 PRIVMSG #esoteric :we can only achieve universal zepto. < 1309757714 497386 :elliott_!~elliott@95.149.228.85 PRIVMSG #esoteric :zzo38: i think it might get deleted as spam :D < 1309757751 173306 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :elliott_: well there's only one final solution then, we must ki^W implement hardware zepto. < 1309757765 556318 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com PRIVMSG #esoteric :Then post it in your own computer < 1309757780 851220 :pikhq!~pikhq@71-219-219-137.clsp.qwest.net PRIVMSG #esoteric :AAAAGH < 1309757786 151472 :pikhq!~pikhq@71-219-219-137.clsp.qwest.net PRIVMSG #esoteric :GHC's autoconf. < 1309757790 880790 :pikhq!~pikhq@71-219-219-137.clsp.qwest.net PRIVMSG #esoteric :BEAT BEAT BEAT < 1309757799 226920 :elliott_!~elliott@95.149.228.85 PRIVMSG #esoteric :oerjan: yes we must ki^W implement it. < 1309757800 880840 :pikhq!~pikhq@71-219-219-137.clsp.qwest.net PRIVMSG #esoteric :Thou shalt not ignore CC < 1309757808 869037 :pikhq!~pikhq@71-219-219-137.clsp.qwest.net PRIVMSG #esoteric :Thou shalt not override CC. < 1309757827 177612 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com PRIVMSG #esoteric :Zepto is the property most software lacks. Then should you say all software lacks it? < 1309757828 815073 :pikhq!~pikhq@71-219-219-137.clsp.qwest.net PRIVMSG #esoteric :I shall feel compelled to beat you. < 1309757898 389633 :pikhq!~pikhq@71-219-219-137.clsp.qwest.net PRIVMSG #esoteric :It is using autoconf and somehow making it ignore CC. < 1309757913 132936 :pikhq!~pikhq@71-219-219-137.clsp.qwest.net PRIVMSG #esoteric :That is impressive and I feel compelled to murder those responsible. < 1309757927 173136 :elliott_!~elliott@95.149.228.85 PRIVMSG #esoteric :zzo38: No; zepto is zepto. < 1309757941 482029 :elliott_!~elliott@95.149.228.85 PRIVMSG #esoteric :In fact if you have zepto on your system, there is very little reason not to just delete all the other software on it. < 1309758020 862203 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com PRIVMSG #esoteric :elliott_: Same thing. < 1309758065 941152 :elliott_!~elliott@95.149.228.85 PRIVMSG #esoteric :zzo38: As to what? < 1309758100 481601 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com PRIVMSG #esoteric :elliott_: As to zepto. < 1309758102 124401 :pikhq!~pikhq@71-219-219-137.clsp.qwest.net PRIVMSG #esoteric :"--with-gcc" < 1309758103 472420 :pikhq!~pikhq@71-219-219-137.clsp.qwest.net PRIVMSG #esoteric :MURDER < 1309758113 291492 :pikhq!~pikhq@71-219-219-137.clsp.qwest.net PRIVMSG #esoteric :MURDER SAYS I < 1309758139 52043 :coppro!~scshunt@denardo.csclub.uwaterloo.ca PRIVMSG #esoteric :pikhq: wtf < 1309758146 547534 :Sgeo_!Sgeo@ool-44c2d2a1.dyn.optonline.net JOIN :#esoteric < 1309758166 354698 :elliott_!~elliott@95.149.228.85 PRIVMSG #esoteric :zzo38: As zepto to. < 1309758170 522867 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com PRIVMSG #esoteric :Can you make up any new pokemon card puzzles? I would like to see it, too. < 1309758175 730474 :pikhq!~pikhq@71-219-219-137.clsp.qwest.net PRIVMSG #esoteric :coppro: It seems that most compilers supporting normal, cross, and Canadian cross builds using autoconf fuck it up. < 1309758177 954819 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com PRIVMSG #esoteric :elliott_: . < 1309758184 571844 :elliott_!~elliott@95.149.228.85 PRIVMSG #esoteric :zzo38: To what zepto is? < 1309758190 300765 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com PRIVMSG #esoteric :elliott_: .. < 1309758197 455336 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :pikhq: maybe it's a leftover from the evil mangler age < 1309758211 148392 :pikhq!~pikhq@71-219-219-137.clsp.qwest.net PRIVMSG #esoteric :PCC and CINTERCAL are the only ones that seem to do it right that I know of. < 1309758221 260851 :pikhq!~pikhq@71-219-219-137.clsp.qwest.net PRIVMSG #esoteric :(TCC also does it right, but it doesn't use autoconf.) < 1309758260 389049 :pikhq!~pikhq@71-219-219-137.clsp.qwest.net PRIVMSG #esoteric :ghc-cabal: Bad header file: HsBase.h < 1309758260 588735 :pikhq!~pikhq@71-219-219-137.clsp.qwest.net PRIVMSG #esoteric :The header file contains a compile error. You can re-run configure with the < 1309758260 737294 :pikhq!~pikhq@71-219-219-137.clsp.qwest.net PRIVMSG #esoteric :verbosity flag -v3 to see the error messages from the C compiler. < 1309758271 601965 :pikhq!~pikhq@71-219-219-137.clsp.qwest.net PRIVMSG #esoteric :I... Blimble... What the... Fuuuck? < 1309758286 491509 :Sgeo!Sgeo@ool-44c2d2a1.dyn.optonline.net QUIT :Ping timeout: 255 seconds < 1309758339 486699 :elliott_!~elliott@95.149.228.85 QUIT :Read error: Connection reset by peer < 1309758351 759708 :elliott!~elliott@unaffiliated/elliott JOIN :#esoteric < 1309758359 815120 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :monqy: would you like the greatest privilege < 1309758368 835505 :monqy!~chap@pool-71-102-215-70.snloca.dsl-w.verizon.net PRIVMSG #esoteric :is it zepto < 1309758375 925022 :monqy!~chap@pool-71-102-215-70.snloca.dsl-w.verizon.net PRIVMSG #esoteric :i like zpto < 1309758377 13680 :monqy!~chap@pool-71-102-215-70.snloca.dsl-w.verizon.net PRIVMSG #esoteric :e < 1309758379 353337 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :monqy: yes < 1309758380 658714 :pikhq!~pikhq@71-219-219-137.clsp.qwest.net PRIVMSG #esoteric :
ACTION sees if that fails without --with-gcc=musl-gcc...
< 1309758401 796805 :pikhq!~pikhq@71-219-219-137.clsp.qwest.net PRIVMSG #esoteric :If not, then I suppose I'll have to bother building a proper cross compiler. < 1309758409 213881 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :monqy: you could have a part in the designing of the initial zepto revision/derivative/variant/exoskeleton, ante-zepto < 1309758411 816320 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :YES < 1309758413 289435 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :YOU < 1309758414 705429 :pikhq!~pikhq@71-219-219-137.clsp.qwest.net PRIVMSG #esoteric :Aside from PCC, that is. < 1309758417 914714 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :YOU ARE _SO_ _LUCKY_ < 1309758451 958475 :monqy!~chap@pool-71-102-215-70.snloca.dsl-w.verizon.net PRIVMSG #esoteric :zeptoskeleton < 1309758457 657687 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :yes. < 1309758460 384595 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :zeptoplasma < 1309758460 892201 :monqy!~chap@pool-71-102-215-70.snloca.dsl-w.verizon.net PRIVMSG #esoteric :whats my part < 1309758470 305175 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :monqy: moral support. also, implementation details. < 1309758475 624966 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :also, design. < 1309758478 14804 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :also, zepto. < 1309758479 344799 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :zepto. < 1309758482 128571 :monqy!~chap@pool-71-102-215-70.snloca.dsl-w.verizon.net PRIVMSG #esoteric :sounds zepto < 1309758498 97300 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :you may also have to provide a few inessential vital organs. < 1309758502 123842 :pikhq!~pikhq@71-219-219-137.clsp.qwest.net PRIVMSG #esoteric :Meeeh, fuck GHC. < 1309758506 369344 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :pikhq: try jhc < 1309758509 755278 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :it will be teh hots < 1309758539 168255 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :monqy: also you get to supply bignum algorithms that i'm too lazy to write, or maybe i could just be really really un-zepto < 1309758540 280786 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :and make it < 1309758541 721105 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :not have bignums < 1309758551 185444 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :yes, that means that + would fail for no reason and you would have to be all oh :( < 1309758552 904700 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :and fix it and oh < 1309758553 547713 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :and < 1309758554 199879 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :yeah < 1309758559 599646 :monqy!~chap@pool-71-102-215-70.snloca.dsl-w.verizon.net PRIVMSG #esoteric :whats bignums whats algorithms < 1309758564 551290 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :zepto < 1309758575 970958 :pikhq!~pikhq@71-219-219-137.clsp.qwest.net PRIVMSG #esoteric :Strange, it seems to be missing some Haskell dependencies. < 1309758581 776613 :pikhq!~pikhq@71-219-219-137.clsp.qwest.net PRIVMSG #esoteric :I have the effing Platform. < 1309758593 614681 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :haskell platform: literally contains every haskell library < 1309758595 346927 :monqy!~chap@pool-71-102-215-70.snloca.dsl-w.verizon.net PRIVMSG #esoteric :somehow i've never learned how to implement bignums < 1309758617 674055 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric : prim < 1309758617 876628 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric : cons < 1309758618 25039 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric : intg < 1309758618 25278 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric : symb < 1309758621 199767 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :what other types do we need monqy < 1309758633 549765 :pikhq!~pikhq@71-219-219-137.clsp.qwest.net PRIVMSG #esoteric :Hmm, it actually doesn't have readline. < 1309758643 174837 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :elliott: padic < 1309758649 934869 :monqy!~chap@pool-71-102-215-70.snloca.dsl-w.verizon.net PRIVMSG #esoteric :padic is not four letters < 1309758656 210014 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :darn < 1309758657 474759 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :oerjan: whats padic < 1309758664 71258 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :p-adic numbers < 1309758691 136292 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :p-adic numbers are nice they make me smile < 1309758694 895179 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :i want to hug them < 1309758701 943216 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric ://hugs p-adic numbers// < 1309758737 73563 :monqy!~chap@pool-71-102-215-70.snloca.dsl-w.verizon.net PRIVMSG #esoteric :are characters zepto so long as there is no worry about messy things like encoding < 1309758759 167588 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :monqy: you just use symbols < 1309758766 22228 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :symbols are words, strings are words, what is the difference < 1309758777 703478 :monqy!~chap@pool-71-102-215-70.snloca.dsl-w.verizon.net PRIVMSG #esoteric :i guess this works < 1309758780 32749 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :i GUESS there can be a function to get the nth codepoint in a symbol as an integer < 1309758799 712297 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :anyway we don't need non-primitive functions of course < 1309758808 172957 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :we just define the application of e.g. ((x) x) instead < 1309758955 198033 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :monqy: oh yeah previously zepto was dynamically scoped but I guess it can be lexical now??? < 1309758987 958396 :monqy!~chap@pool-71-102-215-70.snloca.dsl-w.verizon.net PRIVMSG #esoteric :all i remember about zepto is i had no idea what was going on < 1309759033 339106 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :(def lambda '(e fn '(e* arr . (apply e fn (eval arr e*))))) < 1309759033 958638 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :hmm < 1309759060 782095 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :pikhq: oh right jhc requires a haskell compiler < 1309759062 491564 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :pikhq: try hugs :P < 1309759126 125734 :pikhq!~pikhq@71-219-219-137.clsp.qwest.net PRIVMSG #esoteric :Y'know what? Haskell is insufficiently sane. :P < 1309759163 96600 :pikhq!~pikhq@71-219-219-137.clsp.qwest.net PRIVMSG #esoteric :Thus far, there has been only one language implementation that has "just worked" with musl. < 1309759166 821126 :pikhq!~pikhq@71-219-219-137.clsp.qwest.net PRIVMSG #esoteric :Tcl. < 1309759177 344862 :coppro!~scshunt@denardo.csclub.uwaterloo.ca PRIVMSG #esoteric ::( < 1309759181 528704 :pikhq!~pikhq@71-219-219-137.clsp.qwest.net PRIVMSG #esoteric :./configure&&make&&make install < 1309759213 845148 :pikhq!~pikhq@71-219-219-137.clsp.qwest.net PRIVMSG #esoteric :... Of course, this is a language that only recently dropped its support for the PocketPC and the Palm Pilot. < 1309759230 315061 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :pikhq: tried hugs yet < 1309759235 105896 :pikhq!~pikhq@71-219-219-137.clsp.qwest.net PRIVMSG #esoteric :elliott: Not yet. < 1309759261 698494 :monqy!~chap@pool-71-102-215-70.snloca.dsl-w.verizon.net PRIVMSG #esoteric :are any languages sufficiently sane < 1309759266 711491 :pikhq!~pikhq@71-219-219-137.clsp.qwest.net PRIVMSG #esoteric :monqy: Not really. < 1309759291 806623 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :petzo < 1309759293 408955 :monqy!~chap@pool-71-102-215-70.snloca.dsl-w.verizon.net PRIVMSG #esoteric :my experience as well; I was hoping for a different answer :( < 1309759301 174508 :pikhq!~pikhq@71-219-219-137.clsp.qwest.net PRIVMSG #esoteric :Okay, well, I suppose that PCC was relatively sane... < 1309759313 833515 :pikhq!~pikhq@71-219-219-137.clsp.qwest.net PRIVMSG #esoteric :Only had to futz with config.sub and the path to the dynamic linker. < 1309759317 416379 :Lymee!~moe@unaffiliated/cirno-chan PRIVMSG #esoteric :
ACTION hugs elliott
< 1309759322 953994 :Lymee!~moe@unaffiliated/cirno-chan PRIVMSG #esoteric :
ACTION hugs pikhq too
< 1309759332 38034 :pikhq!~pikhq@71-219-219-137.clsp.qwest.net PRIVMSG #esoteric :elliott: Guess what doesn't work? < 1309759346 181796 :pikhq!~pikhq@71-219-219-137.clsp.qwest.net PRIVMSG #esoteric :It seems to be assuming glibc overincluding. < 1309759361 50695 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :monqy: hmm oh quote is not the same thing as lambda if I make things lexically scoped < 1309759374 276700 :pikhq!~pikhq@71-219-219-137.clsp.qwest.net PRIVMSG #esoteric :... I... And... Defuck? < 1309759407 310879 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :we need a vau s.t. (vau args . fn) in environment e === (cons (cons e args) fn) < 1309759408 55195 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :no defuck. or phantom_hoover will massacre you. < 1309759413 746613 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :i.e. < 1309759415 995931 :monqy!~chap@pool-71-102-215-70.snloca.dsl-w.verizon.net PRIVMSG #esoteric :mm vau < 1309759424 130945 :pikhq!~pikhq@71-219-219-137.clsp.qwest.net PRIVMSG #esoteric :*siiiigh* < 1309759434 79018 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :(vau x . x) ==> (( . x) . x) < 1309759435 111832 :pikhq!~pikhq@71-219-219-137.clsp.qwest.net PRIVMSG #esoteric :IT'S TIME.H NOT SYS/TIME.H < 1309759439 82795 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :elliott: wait are you basing this on that vau idea? < 1309759440 726970 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :where is an environment object < 1309759442 334064 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :so I guess, < 1309759446 151964 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :or wait < 1309759454 667072 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :oerjan: well yes, it is basically fexpr construction < 1309759465 824448 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :oerjan: and if one represents lambdas as lists, and wants lexical scoping, then you need to include the environment in < 1309759472 615046 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :so vau basically becomes a convenience < 1309759505 877565 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :oh hm wait < 1309759510 783302 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :it needs to take the environment as an operator too < 1309759536 46482 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :(vau env args . fn) in environment e === (list e env args . fn) < 1309759546 417775 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :meh, < 1309759550 35483 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :so hmm < 1309759567 563950 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :(vau e x (eval e x)) ==> ( e x (eval e x)) < 1309759576 509150 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :right < 1309759577 434311 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :I think < 1309759579 306784 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :dflgjdfgk < 1309759583 909600 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :monqy: this is becoming unzepto :( < 1309759588 805986 :monqy!~chap@pool-71-102-215-70.snloca.dsl-w.verizon.net PRIVMSG #esoteric ::( < 1309759671 692120 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :monqy: i guess we could go dynamically scoped again < 1309759715 182828 :monqy!~chap@pool-71-102-215-70.snloca.dsl-w.verizon.net PRIVMSG #esoteric :how does dynamic scoping work with things like not feeling messy < 1309759717 724130 :newsham!~chat@udp216902uds.hawaiiantel.net PRIVMSG #esoteric :it worked out so well the first time < 1309759720 766311 :monqy!~chap@pool-71-102-215-70.snloca.dsl-w.verizon.net PRIVMSG #esoteric :I've never really studied it < 1309759725 2622 :monqy!~chap@pool-71-102-215-70.snloca.dsl-w.verizon.net PRIVMSG #esoteric :at all < 1309759774 666880 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :monqy: its great exclamation marks < 1309759781 922840 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :here's a schemeish example < 1309759782 897371 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :(define x 9) < 1309759786 340814 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :(define (f) x) < 1309759792 499917 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :(define (g) (let ((x 0)) (f))) < 1309759794 849382 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :(g) ==> 9 < 1309759798 650082 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :erm < 1309759799 508978 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :(g) ==> 0 < 1309759808 255029 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :sorry for momentarily misleading you into thinking that dynamic scoping was sane in any way < 1309759831 579914 :newsham!~chat@udp216902uds.hawaiiantel.net PRIVMSG #esoteric :if you wanna relive bad programming decisions, just use perl < 1309759836 186074 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com PRIVMSG #esoteric :How much do you know of the Lesser Key? < 1309759849 367013 :monqy!~chap@pool-71-102-215-70.snloca.dsl-w.verizon.net PRIVMSG #esoteric :is there a perl lisp < 1309759902 164645 :monqy!~chap@pool-71-102-215-70.snloca.dsl-w.verizon.net PRIVMSG #esoteric :perl of lisps, perl with lisp syntax and benefits thereof, others??? < 1309759906 353004 :newsham!~chat@udp216902uds.hawaiiantel.net PRIVMSG #esoteric :". Perl is another language with dynamic scoping that added static scoping afterwards" < 1309759910 694034 :newsham!~chat@udp216902uds.hawaiiantel.net PRIVMSG #esoteric :wikipedia < 1309759929 737184 :monqy!~chap@pool-71-102-215-70.snloca.dsl-w.verizon.net PRIVMSG #esoteric :is php dynamically scoped or did they fix that or was I dreadfully misinformed < 1309759941 221011 :monqy!~chap@pool-71-102-215-70.snloca.dsl-w.verizon.net PRIVMSG #esoteric :hehe php < 1309759944 922557 :coppro!~scshunt@denardo.csclub.uwaterloo.ca PRIVMSG #esoteric :lolphp < 1309759969 336927 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :php is a good joke < 1309759971 77090 :newsham!~chat@udp216902uds.hawaiiantel.net PRIVMSG #esoteric :ph urine < 1309760021 104317 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :oh i turned into a goat < 1309760024 987227 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :THIS HAPPENS OFTEN < 1309760380 456577 :Nisstyre!~nisstyre@109.74.204.224 PRIVMSG #esoteric :monqy: php has no dynamic scoping < 1309760415 763924 :monqy!~chap@pool-71-102-215-70.snloca.dsl-w.verizon.net PRIVMSG #esoteric :grats masterful php designers < 1309760523 657 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :> let ?x = 9; f = x; g = let ?x=0 in f in g < 1309760523 786327 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : : parse error on input `f' < 1309760531 290190 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :darn < 1309760534 892763 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :hm < 1309760539 379747 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric ::t let ?x = 9; f = x; g = let ?x=0 in f in g < 1309760540 138571 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :parse error on input `f' < 1309760550 675688 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :monqy: oh cool my environments are immutable :slowpoke: < 1309760567 43678 :monqy!~chap@pool-71-102-215-70.snloca.dsl-w.verizon.net PRIVMSG #esoteric :what did you do < 1309760578 224317 :monqy!~chap@pool-71-102-215-70.snloca.dsl-w.verizon.net PRIVMSG #esoteric :emphasis on do < 1309760584 188847 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :monqy: i failed to make them mutable, this is haskell < 1309760584 920250 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :hmm < 1309760589 770274 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :should conses be immutable y or n < 1309760608 503222 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :bear in mind that if conses are immutable, there is exactly one kind of mutable object, environments < 1309760611 349128 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :> let {?x = 9; f = x; g = let {?x=0} in f} in g < 1309760612 101244 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : : parse error on input `f' < 1309760633 138876 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :> let {?x = 9; f = x; module g = let {?x=0} in f} in g < 1309760633 887544 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : : parse error on input `f' < 1309760640 719377 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :hm < 1309760653 118799 :monqy!~chap@pool-71-102-215-70.snloca.dsl-w.verizon.net PRIVMSG #esoteric :there would still be a way to define cyclic things right < 1309760662 971997 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :monqy: nope < 1309760664 92616 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :> let ?x = 9 in x < 1309760664 879000 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : x < 1309760673 32340 :monqy!~chap@pool-71-102-215-70.snloca.dsl-w.verizon.net PRIVMSG #esoteric ::'( < 1309760676 527061 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :er < 1309760679 912397 :monqy!~chap@pool-71-102-215-70.snloca.dsl-w.verizon.net PRIVMSG #esoteric :a tough choice < 1309760682 214836 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :ah < 1309760694 200195 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :> let {?x = 9; f = ?x; module g = let {?x=0} in f} in g < 1309760694 955590 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : : parse error on input `f' < 1309760702 731846 :monqy!~chap@pool-71-102-215-70.snloca.dsl-w.verizon.net PRIVMSG #esoteric :cycles are my bro but so is immutability < 1309760706 821129 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :> let ?x = 9 in ?x < 1309760707 575768 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : 9 < 1309760708 95888 :monqy!~chap@pool-71-102-215-70.snloca.dsl-w.verizon.net PRIVMSG #esoteric :im torn < 1309760734 279706 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :> let {?x = 9; f = ?x} in f < 1309760735 13849 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : : parse error on input `f' < 1309760748 513994 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :wtf is that an error < 1309760772 396105 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :> let {?x = 9; g = ?x} in f < 1309760773 176158 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : : parse error on input `g' < 1309760818 232019 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :> let ?x = 9 in let f = ?x; g = (let ?x = 0 in f) in g < 1309760819 24170 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : 0 < 1309760825 16563 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :whew < 1309760861 971469 :monqy!~chap@pool-71-102-215-70.snloca.dsl-w.verizon.net PRIVMSG #esoteric ::( < 1309760885 979847 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :> let ?x = 9; ?y = 2 in let f = ?x; g = (let ?x = 0 in f) in g + ?y < 1309760886 733400 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : 2 < 1309760909 478721 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :hm is it forbidden to let both ? variables and others in the same block? < 1309761077 194130 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric ::t liftM < 1309761077 927954 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :forall a1 r (m :: * -> *). (Monad m) => (a1 -> r) -> m a1 -> m r < 1309761088 529067 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :?hoogle (a -> b -> m c) -> m a -> m b -> m c < 1309761089 36354 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :Control.Monad zipWithM :: Monad m => (a -> b -> m c) -> [a] -> [b] -> m [c] < 1309761089 184637 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :Control.Monad zipWithM_ :: Monad m => (a -> b -> m c) -> [a] -> [b] -> m () < 1309761089 333311 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :Control.Monad foldM :: Monad m => (a -> b -> m a) -> a -> [b] -> m a < 1309761095 337549 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :?hoogle (a -> m b) -> m a -> m b < 1309761095 673926 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :Prelude (=<<) :: Monad m => (a -> m b) -> m a -> m b < 1309761095 822200 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :Control.Monad (=<<) :: Monad m => (a -> m b) -> m a -> m b < 1309761095 970846 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :Prelude (>>=) :: Monad m => m a -> (a -> m b) -> m b < 1309761101 905308 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :meh < 1309761192 846270 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric ::t \f x y -> (f <$> x) =<< y < 1309761193 631972 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :forall a (m :: * -> *) b a1. (Monad m) => (a -> m b) -> (a1 -> a) -> m a1 -> m b < 1309761204 180379 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :wat < 1309761210 371583 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :oh hm < 1309761229 209966 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric ::t \f x y -> (f <$> x <$> y) < 1309761229 916418 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :forall a b a1 (f :: * -> *). (Functor f) => (a -> b) -> (a1 -> a) -> f a1 -> f b < 1309761273 439597 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric ::t \f x y -> (f <$> x) <*> y < 1309761274 136023 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :forall a a1 b (f :: * -> *). (Applicative f) => (a -> a1 -> b) -> f a -> f a1 -> f b < 1309761297 666333 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric ::t \f x y -> join (f <$> x <*> y) < 1309761298 427206 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :forall a a1 (m :: * -> *) a2. (Applicative m, Monad m) => (a -> a1 -> m a2) -> m a -> m a1 -> m a2 < 1309761306 222193 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :elliott: ^ < 1309761329 880124 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :duh. i know that. < 1309761331 773298 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :but uh thanks :P < 1309761333 779581 :Deewiant!~deewiant@cs186230.pp.htv.fi PRIVMSG #esoteric :?ty \f ma mb -> ma >>= \a -> mb >>= \b -> f a b < 1309761334 503527 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :forall (m :: * -> *) a a1 b. (Monad m) => (a -> a1 -> m b) -> m a -> m a1 -> m b < 1309761352 682192 :Deewiant!~deewiant@cs186230.pp.htv.fi PRIVMSG #esoteric :For your non-Applicative Monad needs < 1309761371 574010 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Deewiant: Such monads don't exist < 1309761385 580260 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :?pl \f ma mb -> ma >>= \a -> mb >>= \b -> f a b < 1309761385 780573 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :flip ((.) . (>>=)) . flip ((.) . (>>=)) < 1309761387 118854 :Deewiant!~deewiant@cs186230.pp.htv.fi PRIVMSG #esoteric :They might < 1309761389 600911 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :ouch < 1309761394 825744 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Deewiant: There are no monads that are not applicative functors < 1309761404 112697 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :?pl ma >>= \a -> mb >>= \b -> f a b < 1309761404 349939 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :(mb >>=) . f =<< ma < 1309761405 787148 :Deewiant!~deewiant@cs186230.pp.htv.fi PRIVMSG #esoteric :elliott: The instance might not be defined < 1309761422 48580 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Deewiant: instance Applicative M where pure = return; (<*>) = ap < 1309761437 297501 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Better three lines than writing ugly code for the sake of a lie < 1309761439 786508 :Deewiant!~deewiant@cs186230.pp.htv.fi PRIVMSG #esoteric :elliott: An extra line of code, and potentially inefficient < 1309761447 694610 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :"Potentially" < 1309761448 388237 :Deewiant!~deewiant@cs186230.pp.htv.fi PRIVMSG #esoteric :Meh < 1309761457 379582 :Deewiant!~deewiant@cs186230.pp.htv.fi PRIVMSG #esoteric :-funroll-loops < 1309761460 575488 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Got any benchmarks for applicative code being slow? :-P < 1309761499 712516 :Deewiant!~deewiant@cs186230.pp.htv.fi PRIVMSG #esoteric :I didn't mean the applicative-ness of it, just that defining <*> via a helper like ap might end up doing unnecessary work < 1309761503 197470 :Deewiant!~deewiant@cs186230.pp.htv.fi PRIVMSG #esoteric :shrug < 1309761526 3540 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :?src ap < 1309761526 194103 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :ap = liftM2 id < 1309761535 750123 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :?unpl liftM2 id < 1309761535 951385 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :(\ d e -> d >>= \ b -> e >>= \ a -> return (b a)) < 1309761557 580079 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Deewiant: instance Applicative M where pure = return; f <*> x = f >>= \f' -> x >>= \x' -> return (f' x'), if you're into ugliness < 1309761593 167976 :fizzie!fis@iris.zem.fi PRIVMSG #esoteric :What a best ending for a vacation. They're doing a bathroom renovation thing in the apartment downstairs from us; we walk in with suitcases and so on, and the people doing it go: "Hey, do you live in the apartment above?" Sure, why? "We just accidentally drilled into your sewer and now you can't use your bathroom until it's fixed." < 1309761595 981909 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Deewiant: Have I mentioned that my hypothetical GHC extension would make this unnecessary? < 1309761597 204374 :Deewiant!~deewiant@cs186230.pp.htv.fi PRIVMSG #esoteric :?src Applicative < 1309761597 400863 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :class Functor f => Applicative f where < 1309761597 549236 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : pure :: a -> f a < 1309761597 697385 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : (<*>) :: f (a -> b) -> f a -> f b < 1309761617 494520 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :instance Applicative M where < 1309761617 642826 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric : pure = return < 1309761617 791210 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric : f <*> x = do f' <- f; x' <- x; return (f' x') < 1309761620 584503 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :relatively unugly < 1309761632 766202 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Deewiant: What I'm saying is: Woo, GHC extensions that don't yet actually exist < 1309761652 781875 :Deewiant!~deewiant@cs186230.pp.htv.fi PRIVMSG #esoteric :elliott: Woo < 1309761656 327000 :Deewiant!~deewiant@cs186230.pp.htv.fi PRIVMSG #esoteric :t < 1309761671 586918 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Deewiant: You were meant to ask what it is, but fine, ruin my flow like that < 1309761701 763466 :Deewiant!~deewiant@cs186230.pp.htv.fi PRIVMSG #esoteric :w00t < 1309761723 143403 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :MY FLOW IS STILL RUINED < 1309761727 668653 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :I MIGHT KILL MYSELF < 1309761766 420957 :monqy!~chap@pool-71-102-215-70.snloca.dsl-w.verizon.net PRIVMSG #esoteric :wait why not (<*>) = ap < 1309761768 656195 :monqy!~chap@pool-71-102-215-70.snloca.dsl-w.verizon.net PRIVMSG #esoteric :im confused < 1309761773 585161 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :monqy: omg optimised < 1309761782 325360 :monqy!~chap@pool-71-102-215-70.snloca.dsl-w.verizon.net PRIVMSG #esoteric :daaaagn < 1309761810 955318 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com PRIVMSG #esoteric :Someone told me that MISSINGNO actually has four attacks: FIREBALL, ICEBALL, THUNDERBALL, and SUPERBALL. The SUPERBALL attack does no damage but makes the screen look like a pinball game. However, I do not believe any of this is true. < 1309761812 405450 :monqy!~chap@pool-71-102-215-70.snloca.dsl-w.verizon.net PRIVMSG #esoteric :I read that gentoo is for ricers thing yesterday and it was amazing. this reminds me of that. < 1309761825 869876 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Deewiant: ASK ME WHAT THE EXTENSION IS < 1309761830 595530 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :sadfghjkl;'[ < 1309761835 311937 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :
ACTION hyperventilates.
< 1309761840 657194 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :
ACTION foams at the mouth a bit.
< 1309761857 173280 :pikhq!~pikhq@71-219-219-137.clsp.qwest.net PRIVMSG #esoteric :zzo38: Strange, considering that none of those attacks exist in the game. < 1309761894 899304 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com PRIVMSG #esoteric :pikhq: Yes, I know. < 1309761901 652412 :coppro!~scshunt@denardo.csclub.uwaterloo.ca PRIVMSG #esoteric :monqy: funroll-loops? < 1309761904 739634 :monqy!~chap@pool-71-102-215-70.snloca.dsl-w.verizon.net PRIVMSG #esoteric :yes < 1309761912 86001 :coppro!~scshunt@denardo.csclub.uwaterloo.ca PRIVMSG #esoteric :yeah, that site is awesome < 1309761924 805328 :coppro!~scshunt@denardo.csclub.uwaterloo.ca PRIVMSG #esoteric :elliott: you know of funroll-loops.info, right? < 1309761958 467426 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :elliott@katia:~/logs$ grep -r funroll-loops\.info ????-??-??.txt | grep 'tusho\|ehird\|elliott\|alise' < 1309761958 690060 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :2008-06-23.txt:18:18:25: ais523: http://funroll-loops.info/ < 1309761958 838512 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :2009-01-07.txt:15:55:01: I am so tempted to link to http://funroll-loops.info/ here. Oh wait I just did < 1309761958 987054 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Hmm < 1309761962 555408 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :I swear I've linked it a lot more than that < 1309761964 601188 :coppro!~scshunt@denardo.csclub.uwaterloo.ca PRIVMSG #esoteric :oh < 1309761965 138768 :coppro!~scshunt@denardo.csclub.uwaterloo.ca PRIVMSG #esoteric :ok < 1309761966 208542 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Oh well: yes, I know < 1309761966 856455 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric ::P < 1309761980 594150 :coppro!~scshunt@denardo.csclub.uwaterloo.ca PRIVMSG #esoteric :my favorite line there is "If the reviewers had been serious they would have used an optimised distributions such as Gentoo, which would have taken far fuller advantage of the extra 32bits in each register to provide a much fuller experience, more than any current Linux distribution possibly could." < 1309761988 297522 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Man, I wonder how long that site has just been up unchanged < 1309761998 840884 :coppro!~scshunt@denardo.csclub.uwaterloo.ca PRIVMSG #esoteric :good question < 1309762009 951186 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :coppro: This is the best one, IMO: "I don't think that Debian can really compete with Gentoo. Sure it might be okay, but when it comes to dependencies, you probably are still going to have to get them all on your own. Or is there something like portage in the Debian world as well?" < 1309762012 315590 :monqy!~chap@pool-71-102-215-70.snloca.dsl-w.verizon.net PRIVMSG #esoteric :too much of it is my favorite < 1309762022 623437 :monqy!~chap@pool-71-102-215-70.snloca.dsl-w.verizon.net PRIVMSG #esoteric :that one's one of them < 1309762062 620066 :Deewiant!~deewiant@cs186230.pp.htv.fi PRIVMSG #esoteric :2009-10-31 02:59:02( ehiird) "I don't think that Debian can really compete with Gentoo. Sure it might be okay, but when it comes to dependencies, you probably are still going to have to get them all on your own. Or is there something like portage in the Debian world as well?" -- funroll-loops.info < 1309762081 400007 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Deewiant: Huh, clog incompleteness? < 1309762085 982373 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Oh, "ehiird" < 1309762087 757270 :Deewiant!~deewiant@cs186230.pp.htv.fi PRIVMSG #esoteric :2011-01-27 00:42:41( elliott) Vorpal: from a thread about funroll-loops.org on the Gentoo forums, circa 2004: "One week later: this is on the Arch forums. One month later: the Arch people get the joke." < 1309762096 127841 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Fuck it, I need a database of my nicknames < 1309762102 468463 :Deewiant!~deewiant@cs186230.pp.htv.fi PRIVMSG #esoteric :And the latest < 1309762105 354533 :Deewiant!~deewiant@cs186230.pp.htv.fi PRIVMSG #esoteric :2011-07-02 00:21:53( elliott) oblig. http://funroll-loops.info/ < 1309762113 685845 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Yes but that was what caused monqy to read it. < 1309762115 782580 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :SO THAT DOESN'T EVEN COUNT < 1309762122 55910 :Deewiant!~deewiant@cs186230.pp.htv.fi PRIVMSG #esoteric :Yeah, I figured < 1309762172 130863 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :[Tuesday, November 30, 2010] [04:07:07 pm] Phantom_Hoover: We're talking -O3 -funsafe-math -fomit-function-pointer -funroll-loops -fadvanced-maths -fcrazy-maths -fyour-mother-and-a-horse -fit-never-happened -flanguid-squids ... < 1309762186 656044 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :I still use -flanguid-squids in all my programs < 1309762189 57452 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :not a direct reference, though < 1309762201 97518 :Deewiant!~deewiant@cs186230.pp.htv.fi PRIVMSG #esoteric :I searched for "funroll-loops." < 1309762206 594023 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I just searched for funroll < 1309762213 13614 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :in my own personal logs < 1309762223 415786 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Also -fit-never-happened; it lets you detect _|_ values without resulting in _|_ (impossible with any other method), and optimises all computations to run in 0 ms < 1309762265 165354 :augur!~augur@208.58.6.161 QUIT :Remote host closed the connection < 1309762276 180162 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com PRIVMSG #esoteric :What are _|_ values? < 1309762284 146462 :coppro!~scshunt@denardo.csclub.uwaterloo.ca PRIVMSG #esoteric :bottom < 1309762328 52881 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com PRIVMSG #esoteric :Are you allergic to bullets? < 1309762328 942810 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :zzo38: any failing/non-halting computation, e.g. infinite loops and errors < 1309762335 975476 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :> let (_|_) = undefined in (_|_) < 1309762336 728414 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : : parse error on input `|' < 1309762340 629868 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :darn < 1309762341 532750 :augur!~augur@208.58.6.161 JOIN :#esoteric < 1309762349 278560 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :oerjan: you can do it with the unicode bottom symbol < 1309762354 383407 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :it still needs to be an operator though :( < 1309762356 634647 :Deewiant!~deewiant@cs186230.pp.htv.fi PRIVMSG #esoteric :Except not with lambdabot < 1309762401 270486 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :> let _I_ = undefined in _I_ < 1309762402 55805 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : *Exception: Prelude.undefined < 1309762406 227005 :coppro!~scshunt@denardo.csclub.uwaterloo.ca PRIVMSG #esoteric :'void' in C is actually bottom as well < 1309762416 47322 :coppro!~scshunt@denardo.csclub.uwaterloo.ca PRIVMSG #esoteric :although 'void*' is not a pointer to bottom < 1309762420 179608 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :coppro: untrue < 1309762425 122570 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :you can return from a function that returns void < 1309762428 635767 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :void is not really one type in C < 1309762434 547785 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :as a return type, it signifies the unit type < 1309762441 721438 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :it is not a valid variable type < 1309762456 405878 :coppro!~scshunt@denardo.csclub.uwaterloo.ca PRIVMSG #esoteric :of course it isn't a variable must have a value < 1309762458 67444 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :but as a pointed-to type, it's... it's (void *) < 1309762481 900936 :monqy!~chap@pool-71-102-215-70.snloca.dsl-w.verizon.net PRIVMSG #esoteric :(void *) is spooky < 1309762487 222501 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :coppro: you are confused. if void was the type _|_, then no function declared as "void f();" would ever be able to return < 1309762507 188175 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :it is instead the _unit_ type as a function return type, e.g. () < 1309762508 913251 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com PRIVMSG #esoteric :LLVM also has 'void' type, but not 'void*' type. But it also has nonreturning type which is separate. < 1309762510 85527 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :[asterisk]i.e. () < 1309762582 623697 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :monqy: (eof? getc putc close) -- List of functions: BEST INTERFACE? < 1309762590 857365 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :It's, like, objects, man. < 1309762664 170415 :monqy!~chap@pool-71-102-215-70.snloca.dsl-w.verizon.net PRIVMSG #esoteric :what good is close without open < 1309762692 842042 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :monqy: open is how you get that list duh < 1309762698 418714 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :a handle is literally represented as the functions operating on it < 1309762699 909483 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com PRIVMSG #esoteric :If it is existing object, then open gives you the object. < 1309762704 841618 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :stdin is ( ) < 1309762713 189307 :monqy!~chap@pool-71-102-215-70.snloca.dsl-w.verizon.net PRIVMSG #esoteric :oh that's nifty < 1309762737 702966 :coppro!~scshunt@denardo.csclub.uwaterloo.ca PRIVMSG #esoteric :elliott: I actually really like that model < 1309762742 443804 :monqy!~chap@pool-71-102-215-70.snloca.dsl-w.verizon.net PRIVMSG #esoteric :me too < 1309762743 985731 :monqy!~chap@pool-71-102-215-70.snloca.dsl-w.verizon.net PRIVMSG #esoteric :it's nifty < 1309762753 127490 :monqy!~chap@pool-71-102-215-70.snloca.dsl-w.verizon.net PRIVMSG #esoteric :well at least I think I like it < 1309762786 211317 :Deewiant!~deewiant@cs186230.pp.htv.fi PRIVMSG #esoteric :elliott: Now if it were opaque and thus type-safe < 1309762792 396549 :newsham!~chat@udp216902uds.hawaiiantel.net PRIVMSG #esoteric :void * is the opposite of bottom < 1309762795 313706 :monqy!~chap@pool-71-102-215-70.snloca.dsl-w.verizon.net PRIVMSG #esoteric :so is this a quadruple or a list < 1309762850 611526 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :coppro: Well, sure, it's BASICALLY a record of functions < 1309762862 762217 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :coppro: It's just that having it as an arbitrarily ordered list with no names or anything is dumb dumb dumb :P < 1309762864 958537 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :HEYY WAIT OH MY GOD < 1309762867 175372 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :I could use an ENVIRONMENT < 1309762872 209105 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Oh my god < 1309762874 144520 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :That is so perfect < 1309762877 808110 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :It's basically a dictionary type < 1309762881 426028 :monqy!~chap@pool-71-102-215-70.snloca.dsl-w.verizon.net PRIVMSG #esoteric :first-class environments? < 1309762881 944641 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Except you could merge it in with your environment < 1309762887 454230 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :And thus get a global "current stream" < 1309762888 570605 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :monqy: Yes < 1309762890 877815 :coppro!~scshunt@denardo.csclub.uwaterloo.ca PRIVMSG #esoteric :elliott: OR EVEN BETTER, YOU COULD CREATE A POLYMORPHIC... WAIT NO THAT'S OBJECT-ORIENTED < 1309762891 55499 :monqy!~chap@pool-71-102-215-70.snloca.dsl-w.verizon.net PRIVMSG #esoteric :mmm < 1309762897 676118 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Oh man, that is so the best, objects as literal scopes. < 1309762903 14103 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :I am a genius. This is the most zepto thing ever. < 1309763048 294101 :coppro!~scshunt@denardo.csclub.uwaterloo.ca PRIVMSG #esoteric :elliott: perl? < 1309763058 674253 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :coppro: No, it's way better than that. < 1309763078 195052 :pikhq!~pikhq@71-219-219-137.clsp.qwest.net PRIVMSG #esoteric :-af scaletempo -speed 3 < 1309763081 304435 :monqy!~chap@pool-71-102-215-70.snloca.dsl-w.verizon.net PRIVMSG #esoteric :proof: zepto is zepto. perl isnt. qed. < 1309763083 382907 :pikhq!~pikhq@71-219-219-137.clsp.qwest.net PRIVMSG #esoteric :The solution to RPG TASes. < 1309763084 369021 :pikhq!~pikhq@71-219-219-137.clsp.qwest.net PRIVMSG #esoteric ::) < 1309763084 517362 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :coppro: Every function can look at the environment it gets called in, right? So environments are first-class. So you can poke around looking at various variables in your environment, enumerating them, blah blah blah. < 1309763104 55391 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :coppro: So if we represent, e.g. a file as an environment with _only_ the bindings get-char, put-char, eof?, etc., < 1309763105 543195 :coppro!~scshunt@denardo.csclub.uwaterloo.ca PRIVMSG #esoteric :elliott: ohgod < 1309763111 65090 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :coppro: Then we can read these in and call them, < 1309763114 346259 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :coppro: Modify them (with set), < 1309763119 251966 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :coppro: And even bring them into scope: < 1309763132 252468 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :coppro: (with-env stdin (put-char 'c')) < 1309763150 650386 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :coppro: So this means that we can have an implicit "current default output stream" without even doing anything! < 1309763161 931644 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :And it is basically equivalent to an object as a hash table. < 1309763165 575456 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :This is genius. < 1309763185 606031 :coppro!~scshunt@denardo.csclub.uwaterloo.ca PRIVMSG #esoteric :elliott: I want you to write me up a formal specification so that I can present this at a conference < 1309763219 372427 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :coppro: YOUR SARCASM MAY STING BUT MY GENIUS WILL SHINE THROUGH WHEN I AM DEAD < 1309763227 79770 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Or maybe it isn't sarcasm and you just really like frightening people :P < 1309763259 602138 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :First-Class Environments as Objects: or, Let: The Ultimate Overloader < 1309763260 955142 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :I CAN SEE IT NOW < 1309763292 784008 :monqy!~chap@pool-71-102-215-70.snloca.dsl-w.verizon.net PRIVMSG #esoteric :turn it into a paradigm < 1309763298 157066 :monqy!~chap@pool-71-102-215-70.snloca.dsl-w.verizon.net PRIVMSG #esoteric :sell books < 1309763315 956432 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :I just want you all to know that I literally just got up and did a ridiculous dance around the room while waving my hands and doing the most insane cackle I could muster at the same time. < 1309763324 439624 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :FEAR ME, PROGRAMMING WORLD < 1309763325 888425 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :FEAR ME < 1309763327 666571 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :get crushed when oleg points out it's just simple syntactic sugar over delimited continuations < 1309763332 324533 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric ::D < 1309763370 93429 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :then continue to sell books as no one outside #haskell understands oleg < 1309763399 992245 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :coppro: oh, it's even better; you can make mutations of object members work with plain "set" just by making the object itself the top-level environment of all the functions inside < 1309763450 456327 :coppro!~scshunt@denardo.csclub.uwaterloo.ca PRIVMSG #esoteric ::D < 1309763471 144568 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :hmm the with-env thing doesn't /quite/ work since environments are based on _static_ scope, i.e. a piece of code's default handle is based on the context around it, rather than dynamic scope... but I'm sure I can fix that < 1309763477 120993 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :oh, it's just dynamic variables, except I want a dynamic /added scope/ < 1309763489 863176 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :that sounds perfectly reasonable and logical, now I just have to figure out what it even _means_ < 1309763506 333121 :monqy!~chap@pool-71-102-215-70.snloca.dsl-w.verizon.net PRIVMSG #esoteric :then turn it into papers, books < 1309763514 985565 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :monqy: the whole world is exploding into little ribbons of zepto < 1309763519 869900 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :i'm going to take some zepto in celebration < 1309763569 157319 :coppro!~scshunt@denardo.csclub.uwaterloo.ca PRIVMSG #esoteric :elliott: and infinitely recursive functions can be used to make changes 'permanent' < 1309763581 299687 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :coppro: wat :D < 1309763604 151660 :coppro!~scshunt@denardo.csclub.uwaterloo.ca PRIVMSG #esoteric :elliott: Use the Erlang model of events < 1309763625 574940 :coppro!~scshunt@denardo.csclub.uwaterloo.ca PRIVMSG #esoteric :every handler ends with a tail recursive call < 1309763635 98523 :coppro!~scshunt@denardo.csclub.uwaterloo.ca PRIVMSG #esoteric :so that you have a 'loop' < 1309763671 22279 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :i think you have invented another model that's just as crazy :D < 1309763677 375250 :monqy!~chap@pool-71-102-215-70.snloca.dsl-w.verizon.net PRIVMSG #esoteric :two books < 1309763923 254595 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com PRIVMSG #esoteric :"noreturn" is a function attribute and not a type in LLVM, although it could work even if it was a type (because if it doesn't return, it shouldn't be necessary to specify another return type anyways) < 1309763926 355365 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :*Main> env <- defaultEnv < 1309763926 588456 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Loading package array-0.3.0.2 ... linking ... done. < 1309763926 736966 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Loading package containers-0.4.0.0 ... linking ... done. < 1309763926 737125 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :*Main> code <- anteList [AnteSymbol "eval", AnteEnv env, AnteSymbol "eval"] < 1309763926 737233 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :*Main> eval env code < 1309763926 885492 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :*** Exception: AnteException < 1309763928 445412 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :monqy: im pro < 1309763988 972606 :monqy!~chap@pool-71-102-215-70.snloca.dsl-w.verizon.net PRIVMSG #esoteric :what just happened < 1309763994 634181 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :monqy: something went wrong in the evaluation < 1309764003 999694 :monqy!~chap@pool-71-102-215-70.snloca.dsl-w.verizon.net PRIVMSG #esoteric :but what < 1309764011 632813 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :something unAnteCipated < 1309764015 465773 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :monqy: dunno, I can't display values yet < 1309764022 204916 :monqy!~chap@pool-71-102-215-70.snloca.dsl-w.verizon.net PRIVMSG #esoteric ::( < 1309764129 58646 :coppro!~scshunt@denardo.csclub.uwaterloo.ca PRIVMSG #esoteric :elliott: No, it's your regular event loop in functional programming < 1309764166 813227 :coppro!~scshunt@denardo.csclub.uwaterloo.ca PRIVMSG #esoteric :you make a change of "state" by calling back into the event loop with a different argument < 1309764174 138154 :coppro!~scshunt@denardo.csclub.uwaterloo.ca PRIVMSG #esoteric :but if the "state" is the scope... < 1309764202 906299 :monqy!~chap@pool-71-102-215-70.snloca.dsl-w.verizon.net PRIVMSG #esoteric :what happens if you call somewhere that isn't (directly) back into the event loop < 1309764205 987795 :monqy!~chap@pool-71-102-215-70.snloca.dsl-w.verizon.net PRIVMSG #esoteric :what then < 1309764216 336139 :coppro!~scshunt@denardo.csclub.uwaterloo.ca PRIVMSG #esoteric :then the loop terminates < 1309764379 340405 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :*Main> test < 1309764379 489075 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Error: (bad-function eval) < 1309764381 262450 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :swoot < 1309764400 877059 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :*Main> test < 1309764401 25502 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Error: (bad-function #) < 1309764401 699888 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :swiit < 1309764416 443392 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :...wait what < 1309764474 220668 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :monqy: what if i removed cons pairs < 1309764477 497812 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :what if i replaced cons pairs < 1309764479 48465 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :with environments < 1309764483 617267 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :just containing the keys "car" and "cdr" < 1309764484 371617 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :what then < 1309764486 512647 :monqy!~chap@pool-71-102-215-70.snloca.dsl-w.verizon.net PRIVMSG #esoteric :zepto < 1309764505 371164 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :coppro: WHAT THEN < 1309764518 85650 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Set! the Ultimate < 1309764561 575833 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :monqy: and then instead of a meaningless list a function could be < 1309764573 513063 :coppro!~scshunt@denardo.csclub.uwaterloo.ca PRIVMSG #esoteric :elliott: I have no ability to compensate for the presence of zepto < 1309764591 371675 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :#{env: ...; envName: 'e; argName: 'x; code: ...} < 1309764662 484126 :monqy!~chap@pool-71-102-215-70.snloca.dsl-w.verizon.net PRIVMSG #esoteric :instead of function application you have some weird sort of environment mangling (of which function application is a special case) < 1309764680 927735 :monqy!~chap@pool-71-102-215-70.snloca.dsl-w.verizon.net PRIVMSG #esoteric :where by special case I mean < 1309764682 54721 :monqy!~chap@pool-71-102-215-70.snloca.dsl-w.verizon.net PRIVMSG #esoteric :instance < 1309764685 329621 :monqy!~chap@pool-71-102-215-70.snloca.dsl-w.verizon.net PRIVMSG #esoteric :not special at all < 1309764692 740070 :monqy!~chap@pool-71-102-215-70.snloca.dsl-w.verizon.net PRIVMSG #esoteric :unless you sugar it up < 1309764694 61923 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :monqy: im starting to feel like this might not be lisp any more at all < 1309764705 480375 :coppro!~scshunt@denardo.csclub.uwaterloo.ca PRIVMSG #esoteric :elliott: it's not in kansas either < 1309764706 281243 :monqy!~chap@pool-71-102-215-70.snloca.dsl-w.verizon.net PRIVMSG #esoteric :one time I had a language idea sort of like this. I forget what happened to it. < 1309764725 385424 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :i think im going to be a wimp for now and keep cons cells being, you know, still a thing that exist < 1309764737 529756 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :but I might change functions into environments rather than a meaningless list < 1309764738 624704 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :we will see < 1309764742 555408 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :although < 1309764753 665820 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :it is tempting to make applying an environment to an argument look that argument up in the environment < 1309764841 539910 :coppro!~scshunt@denardo.csclub.uwaterloo.ca PRIVMSG #esoteric :yes < 1309764844 71483 :coppro!~scshunt@denardo.csclub.uwaterloo.ca PRIVMSG #esoteric :doit < 1309764857 478805 :coppro!~scshunt@denardo.csclub.uwaterloo.ca PRIVMSG #esoteric :we should call this language "greenparty" < 1309764885 644161 :monqy!~chap@pool-71-102-215-70.snloca.dsl-w.verizon.net PRIVMSG #esoteric :yes that was part of my dead language i think. and all functions were environments with rewrite rules or something else special like that. < 1309764893 823368 :monqy!~chap@pool-71-102-215-70.snloca.dsl-w.verizon.net PRIVMSG #esoteric :it was a few years ago so the details are very hazy < 1309764912 841147 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :coppro: im sorry, its called zepto < 1309764922 280622 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :any language that has the zepto nature should, by rights, be called zepto < 1309764926 173685 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :although it can have another name, too < 1309764927 78898 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :for instance < 1309764930 338296 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :it could be called greenparty-zepto < 1309764934 541153 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :all lowercase < 1309764935 274853 :coppro!~scshunt@denardo.csclub.uwaterloo.ca PRIVMSG #esoteric :ok < 1309764935 465221 :monqy!~chap@pool-71-102-215-70.snloca.dsl-w.verizon.net PRIVMSG #esoteric :zeptoparty < 1309764937 308978 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :exactly as printed < 1309764942 151219 :coppro!~scshunt@denardo.csclub.uwaterloo.ca PRIVMSG #esoteric :or greenzepto < 1309764954 918685 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :no, finding the zepto languages must be a painless (zepto) process for the programmer < 1309764960 582925 :coppro!~scshunt@denardo.csclub.uwaterloo.ca PRIVMSG #esoteric :ah ok < 1309764964 8916 :coppro!~scshunt@denardo.csclub.uwaterloo.ca PRIVMSG #esoteric :I apologize < 1309764967 562259 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :so it must always be clearly delineated from the other name < 1309764969 412117 :coppro!~scshunt@denardo.csclub.uwaterloo.ca PRIVMSG #esoteric :I zeptofailed < 1309764976 390288 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :it is ok. we all sometimes zepto-fail. < 1309764986 270850 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :in fact, that which is zepto is not zepto without zepto-fail. < 1309764988 589735 :coppro!~scshunt@denardo.csclub.uwaterloo.ca PRIVMSG #esoteric :side not < 1309764991 167279 :coppro!~scshunt@denardo.csclub.uwaterloo.ca PRIVMSG #esoteric :*side note < 1309764998 699827 :coppro!~scshunt@denardo.csclub.uwaterloo.ca PRIVMSG #esoteric :is it wrong to mount things directly onto /media or /mnt? < 1309765001 277961 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :the very definition of zepto may even be learning to accept zepto-failing in your heart. < 1309765008 852626 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :coppro: mounting into /mnt is done by the debian-installer < 1309765011 172299 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :its kind of gross though < 1309765012 533732 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :why do you want to? < 1309765014 878150 :coppro!~scshunt@denardo.csclub.uwaterloo.ca PRIVMSG #esoteric :elliott: not into < 1309765015 782714 :coppro!~scshunt@denardo.csclub.uwaterloo.ca PRIVMSG #esoteric :onto < 1309765018 359298 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :I think doing it in /media is totally unacceptable < 1309765020 743222 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :coppro: what do you mean then < 1309765027 100511 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :debian-installer mounts the target system as /mnt < 1309765027 381072 :coppro!~scshunt@denardo.csclub.uwaterloo.ca PRIVMSG #esoteric :elliott: I plug a usb drive in < 1309765035 750644 :coppro!~scshunt@denardo.csclub.uwaterloo.ca PRIVMSG #esoteric :sudo mount /dev/sdb1 /media < 1309765048 80958 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :yeah that's no good make a directory you bum < 1309765120 316851 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :monqy: ok so im not sure what this bug is so im considering just calling it a feature? < 1309765124 86776 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :application being broken is a feature < 1309765136 926820 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :maybe i should sleep, sleep would be unzepto because zepto is to be optimised for sleep-deprived zepto programmers < 1309765137 436061 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :but < 1309765139 360580 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :im not writing in zepto < 1309765139 709955 :monqy!~chap@pool-71-102-215-70.snloca.dsl-w.verizon.net PRIVMSG #esoteric :whats wrong with ap;plication < 1309765140 964594 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :im writing in haskell < 1309765144 771724 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :and that requires an unzepto frame of mind < 1309765147 427800 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :monqy: i dunno you tell me < 1309765151 587137 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :punque < 1309765159 195428 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :oh < 1309765159 631373 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :OH < 1309765160 441311 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :im dum < 1309765163 830302 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :dum as an shits < 1309765165 678944 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric ::/ < 1309765307 279162 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :*Main> test < 1309765307 475816 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :# < 1309765308 673558 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :monqy: O YA < 1309765327 747193 :monqy!~chap@pool-71-102-215-70.snloca.dsl-w.verizon.net PRIVMSG #esoteric :too cool to derive Show < 1309765360 592368 :Sgeo_!Sgeo@ool-44c2d2a1.dyn.optonline.net QUIT :Ping timeout: 255 seconds < 1309765384 398048 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :monqy: whats that supposed to mean < 1309765389 520853 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :monqy: i lit. can't derive show < 1309765391 589799 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :there's IORefs < 1309765393 957800 :monqy!~chap@pool-71-102-215-70.snloca.dsl-w.verizon.net PRIVMSG #esoteric :oh < 1309765398 703866 :monqy!~chap@pool-71-102-215-70.snloca.dsl-w.verizon.net PRIVMSG #esoteric :iorefs are scary < 1309765408 286650 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :monqy: im thinking about making zepto stm < 1309765410 373481 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :and using TVars < 1309765412 894601 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :but < 1309765413 278157 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :yeah < 1309765434 911258 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :monqy: http://sprunge.us/HWMi < 1309765435 577845 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :enjoy < 1309765443 114819 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :this is ante-zepto initial < 1309765533 261390 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :an ante-paste < 1309765534 749890 :Deewiant!~deewiant@cs186230.pp.htv.fi PRIVMSG #esoteric :instance Show a => Show (IORef a) where showsPrec d r = showParen (d>10) $ showString "unsafePerformIO (newIORef " . showsPrec 11 $ unsafePerformIO (readIORef r) < 1309765550 731715 :monqy!~chap@pool-71-102-215-70.snloca.dsl-w.verizon.net PRIVMSG #esoteric :this makes me uncomfortable < 1309765564 820502 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Deewiant: i < 1309765566 557319 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Deewiant: dont like you < 1309765569 854720 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Deewiant: please...stop existing... < 1309765573 102445 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric ::( < 1309765579 298440 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :im really not happy that you exist < 1309765580 356249 :Deewiant!~deewiant@cs186230.pp.htv.fi PRIVMSG #esoteric :I forgot to add the ")" at the end < 1309765588 34733 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :thats not the bad part < 1309765768 502600 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :monqy: the world is becoming unzepto i need another breakthrough like environment objects < 1309765793 629360 :monqy!~chap@pool-71-102-215-70.snloca.dsl-w.verizon.net PRIVMSG #esoteric :im tired this may or may not help < 1309765813 811470 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :monqy: im sleep deprived how can you possibly imrpove on that < 1309765834 321786 :monqy!~chap@pool-71-102-215-70.snloca.dsl-w.verizon.net PRIVMSG #esoteric :this is the best i can do < 1309765886 732626 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :monqy: btw did you note how i cunningly avoided so many unzepto feelings by not using a monad stack < 1309765889 646807 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :thats expert < 1309765909 871361 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :i understand its quite hard to read code when its not all in nice rainbow colours in your editor, this is why pastebin sites are the devil < 1309765916 747532 :monqy!~chap@pool-71-102-215-70.snloca.dsl-w.verizon.net PRIVMSG #esoteric :i avoid monad stacks too < 1309765932 817854 :monqy!~chap@pool-71-102-215-70.snloca.dsl-w.verizon.net PRIVMSG #esoteric :if it means what i think it means < 1309765991 340133 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :monqy: things that look like BlahT (BluhT (BlingT IO))) < 1309765996 889195 :monqy!~chap@pool-71-102-215-70.snloca.dsl-w.verizon.net PRIVMSG #esoteric :yeah those < 1309766010 326859 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :http://sebfisch.github.com/haskell-regexp/regexp-play.pdf this is a nice paper it has a bunch of people talking who are nice people and, also, the code is all in nice colours and also it has nice fancy symbols < 1309766011 693490 :monqy!~chap@pool-71-102-215-70.snloca.dsl-w.verizon.net PRIVMSG #esoteric :juggling lifts makes me uncomfortable < 1309766020 32720 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :i recommend it to every sleep-deprived haskell programmer it is making me happy < 1309766027 654171 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :monqy: well that's kind of what the various typeclasses are for < 1309766029 700271 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :MonadIO, MonadState etc. < 1309766037 89185 :monqy!~chap@pool-71-102-215-70.snloca.dsl-w.verizon.net PRIVMSG #esoteric :I guess those help yes < 1309766037 387969 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :more like monad stuck < 1309766049 771203 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Using sym, we can translate every regular expression into a < 1309766049 919934 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :weighted regular expression in a canonical fashion: < 1309766050 760575 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :
ACTION claps
< 1309766059 336899 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :im happy for them < 1309766069 765563 :monqy!~chap@pool-71-102-215-70.snloca.dsl-w.verizon.net PRIVMSG #esoteric :woo colours < 1309766095 513321 :monqy!~chap@pool-71-102-215-70.snloca.dsl-w.verizon.net PRIVMSG #esoteric :when im tired my eyes skip around and it's hard to read < 1309766108 991961 :monqy!~chap@pool-71-102-215-70.snloca.dsl-w.verizon.net PRIVMSG #esoteric :wow is this paper a play < 1309766120 812783 :olsner!~salparot@c83-252-161-133.bredband.comhem.se PRIVMSG #esoteric :weighted regexps? sounds heavy. < 1309766145 49805 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :
ACTION swats olsner -----###
< 1309766167 415060 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :monqy: yes its great < 1309766184 198187 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :monqy: i suggest zooming in by the way, zooming in is nice because everything gets bigger < 1309766186 517727 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :so its easier to see < 1309766203 75477 :monqy!~chap@pool-71-102-215-70.snloca.dsl-w.verizon.net PRIVMSG #esoteric :less room for my eyes to skip < 1309766302 717530 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :1 < 1309766302 905288 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :By x < 1309766303 53756 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :n < 1309766303 53938 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Cody means a sequence of n copies of x < 1309766319 844502 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :i really like how everyone understands each other in this < 1309766348 316274 :monqy!~chap@pool-71-102-215-70.snloca.dsl-w.verizon.net PRIVMSG #esoteric :i want to see this acted out < 1309766359 983996 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :oh my god < 1309766362 867215 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :i want to voice act it now < 1309766458 276095 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :"CODY (getting excited)" < 1309766644 32477 :pikhq!~pikhq@71-219-219-137.clsp.qwest.net PRIVMSG #esoteric :Welp, that was fun. And absurd. < 1309766649 814211 :pikhq!~pikhq@71-219-219-137.clsp.qwest.net PRIVMSG #esoteric :151 mon run of Pokemon. < 1309766668 885302 :pikhq!~pikhq@71-219-219-137.clsp.qwest.net PRIVMSG #esoteric :3:20, only tolerable at ~3x speed. < 1309766677 329248 :pikhq!~pikhq@71-219-219-137.clsp.qwest.net PRIVMSG #esoteric :Utterly ridiculous. < 1309766686 403607 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :HAZEL I told you about Google’s new library. They implemented < 1309766686 552058 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :an algorithm in C++ with similar worst case performance as our < 1309766686 700544 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :algorithm. Do you know any C++? < 1309766686 700736 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :CODY Gosh < 1309766697 722812 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :[exclamation mark] < 1309766771 924233 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :monqy: hey is it just me or is ungetc an unzepto kind of function < 1309766780 537818 :pikhq!~pikhq@71-219-219-137.clsp.qwest.net PRIVMSG #esoteric :Actually, a 152 mon run, really; shame Missingno doesn't count on the Pokédex in-game. < 1309766785 781348 :pikhq!~pikhq@71-219-219-137.clsp.qwest.net PRIVMSG #esoteric :elliott: Utterly unzepto. < 1309766795 504520 :monqy!~chap@pool-71-102-215-70.snloca.dsl-w.verizon.net PRIVMSG #esoteric :ungetc is what < 1309766814 393775 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :monqy: you can put the character you just read back into a stream < 1309766817 807762 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :so it will be read again next time < 1309766819 968898 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :but its only one character < 1309766823 57628 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :constant size buffer of one < 1309766823 763847 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric ::( < 1309766823 912458 :monqy!~chap@pool-71-102-215-70.snloca.dsl-w.verizon.net PRIVMSG #esoteric :i meant what in the sense that < 1309766826 864767 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :and its built in to stdio < 1309766827 278886 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :oh < 1309766828 493902 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :right < 1309766829 122606 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :yeah < 1309766866 680455 :pikhq!~pikhq@71-219-219-137.clsp.qwest.net PRIVMSG #esoteric :
ACTION wonders how that is usually implemented
< 1309766870 845607 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :-- A handle has the keys: (foo) means only foo type handles < 1309766871 57066 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :-- is-eof? (read) < 1309766871 205685 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :-- get-char (read) < 1309766871 205901 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :-- put-char (write) < 1309766871 206013 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :-- close < 1309766873 408401 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :DO I NEED ANYTHING ELSE PIKHQ < 1309766877 966910 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :also, usually implemented: char keep; < 1309766879 353378 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :i think < 1309766879 788675 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :well < 1309766881 867012 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :int keep; < 1309766884 678496 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :negative one if theres nothing to buffer < 1309766894 111083 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :or it just integrates into the regular buffer i guess < 1309766899 980361 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :with some special code to break it if you call it more than once < 1309766919 590414 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 JOIN :#esoteric < 1309766926 574557 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :ACT III < 1309766926 722868 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :SCENE I. INFINITE REGULAR EXPRESSIONS < 1309766928 54745 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :oh yes < 1309766938 531455 :pikhq!~pikhq@71-219-219-137.clsp.qwest.net PRIVMSG #esoteric :Hmm. Well, musl appears to just directly write it into the read buffer. < 1309766954 177968 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :THEO I like our work as well, although it is always difficult to work < 1309766954 418185 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :with practitioners. (Rolls his eyes.) < 1309766956 73842 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :theo thats not nice < 1309766958 662470 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :we're all friends here < 1309767089 698471 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :THEO Ok, fine (tired of the practitioners’ conversation). < 1309767090 339885 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :theo < 1309767093 12394 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :you're being very nasty < 1309767137 377058 :pikhq!~pikhq@71-219-219-137.clsp.qwest.net PRIVMSG #esoteric :It seems that how it handles ungetc is by being clever enough that ungetc itself is easy. :P < 1309767148 200363 :monqy!~chap@pool-71-102-215-70.snloca.dsl-w.verizon.net PRIVMSG #esoteric :i like the part where theo writes some formal definitions to the whiteboard: seman- < 1309767151 63773 :monqy!~chap@pool-71-102-215-70.snloca.dsl-w.verizon.net PRIVMSG #esoteric :tic brackets, Greek letters, languages as sets, etc. < 1309767168 771879 :monqy!~chap@pool-71-102-215-70.snloca.dsl-w.verizon.net PRIVMSG #esoteric :i am imagining this takes him a while and the others just sit and watch him intently < 1309767171 983408 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com PRIVMSG #esoteric :Perhaps turn off ligatures, they are not very good for fixed-pitch text < 1309767185 143112 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :monqy: he literally just writes those words < 1309767188 155210 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :SEMANTIC BRACKETS < 1309767189 370563 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :GREEK LETTERS < 1309767191 535887 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :LANGUAGES AS SETS < 1309767192 55473 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :ETC. < 1309767198 330959 :monqy!~chap@pool-71-102-215-70.snloca.dsl-w.verizon.net PRIVMSG #esoteric :brilliant < 1309767212 392266 :monqy!~chap@pool-71-102-215-70.snloca.dsl-w.verizon.net PRIVMSG #esoteric :can easily be coded in haskell < 1309767221 681596 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :HAZEL Well, we have a cute program, elegant, efficient, concise, < 1309767221 830159 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :solving a relevant problem. What else do you want? < 1309767229 686825 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :THEO A friend who I'm not a sarcastic piece of shit to. < 1309767237 193941 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :HAZEL You know you can never have that, Theo. < 1309767240 551948 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :CODY God I hate you. < 1309767250 83389 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :thats my fanfiction < 1309767269 350305 :monqy!~chap@pool-71-102-215-70.snloca.dsl-w.verizon.net PRIVMSG #esoteric :T HEO But how do we make our story a fun essay? < 1309767269 531615 :monqy!~chap@pool-71-102-215-70.snloca.dsl-w.verizon.net PRIVMSG #esoteric :The three turn to the audience, bright smiles on their < 1309767269 680165 :monqy!~chap@pool-71-102-215-70.snloca.dsl-w.verizon.net PRIVMSG #esoteric :faces! < 1309767312 364986 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :type ReadTable = Map Char AnteValue -- function from handle -> object < 1309767313 771855 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :monqy < 1309767315 195394 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :monqy oh my god < 1309767316 131324 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :its a map < 1309767316 824147 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :that means < 1309767318 290292 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :its an environment < 1309767323 339694 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :I just need to let environments have arbitrary objects as keys < 1309767330 428840 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :rather than just symbols < 1309767355 921139 :monqy!~chap@pool-71-102-215-70.snloca.dsl-w.verizon.net PRIVMSG #esoteric :are environments good keys < 1309767437 878623 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :WHO'S A GOOD KEY? < 1309767505 665 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com PRIVMSG #esoteric :You need the appropriate key! The red door is locked! < 1309767524 463709 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :monqy: fdk glkkobgfnldmgdf < 1309767539 805909 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :monqy: should quote be used as (quote . x) => x or (quote x) => x < 1309767547 919524 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :picolisp does former, most things do latter < 1309767554 230115 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :zeptoability in question of both < 1309767618 127915 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :"British website owners could face extradition to the US on piracy charges even if their operation has no connection to America and does something which is most probably legal in the UK, the official leading US web anti-piracy efforts has told the Guardian." < 1309767619 227101 :monqy!~chap@pool-71-102-215-70.snloca.dsl-w.verizon.net PRIVMSG #esoteric :the . is a little bizarre there does it mean the same thing as it does in scheme < 1309767635 112654 :monqy!~chap@pool-71-102-215-70.snloca.dsl-w.verizon.net PRIVMSG #esoteric :good job usa < 1309767639 488618 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric : the . is a little bizarre there does it mean the same thing as it does in scheme < 1309767640 618907 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :yes < 1309767647 894285 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :pico does it because it means quote is faster, its just cdr rather than cadr :P < 1309767660 242682 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :but since like < 1309767665 849304 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :(quote a b) has no useful meaning afaik < 1309767671 260529 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :it seems like (quote . a) is more... < 1309767677 527819 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :clean? < 1309767679 364220 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :but then < 1309767682 141224 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :no other form acts like that < 1309767682 462516 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :so < 1309767742 113775 :monqy!~chap@pool-71-102-215-70.snloca.dsl-w.verizon.net PRIVMSG #esoteric :keeping it like other forms sounds nice to me < 1309767755 851297 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :/home/elliott/Code/ante/ante.hs:150:34: Not in scope: `liftMtwo' < 1309767776 638328 :monqy!~chap@pool-71-102-215-70.snloca.dsl-w.verizon.net PRIVMSG #esoteric :2 < 1309767782 751823 :monqy!~chap@pool-71-102-215-70.snloca.dsl-w.verizon.net PRIVMSG #esoteric :use wisely < 1309767786 603912 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :im unwise < 1309767806 636173 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :?undo do dfjg <- read e h; dd <- cons dfjg AnteNil; cons (AnteSymbol "quote") dd < 1309767806 833566 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :read e h >>= \ dfjg -> cons dfjg AnteNil >>= \ dd -> cons (AnteSymbol "quote") dd < 1309767811 43239 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :?pl read e h >>= \ dfjg -> cons dfjg AnteNil >>= \ dd -> cons (AnteSymbol "quote") dd < 1309767811 283066 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :cons (AnteSymbol "quote") =<< flip cons AnteNil =<< read e h < 1309767821 525554 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :?pl \e h -> cons (AnteSymbol "quote") =<< flip cons AnteNil =<< read e h < 1309767821 748968 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :(((cons (AnteSymbol "quote") =<<) . (flip cons AnteNil =<<)) .) . read < 1309767823 643671 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :nice < 1309767827 98820 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :very zepto < 1309767850 656552 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :oh damn I need to call read anteRead < 1309767855 998375 :monqy!~chap@pool-71-102-215-70.snloca.dsl-w.verizon.net PRIVMSG #esoteric :. sections are scary < 1309767879 424520 :monqy!~chap@pool-71-102-215-70.snloca.dsl-w.verizon.net PRIVMSG #esoteric :all the more zepto i guess < 1309767891 304100 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com PRIVMSG #esoteric :What do these "Ante" things mean anyways? < 1309767930 995484 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :@pl \a b c d e f g h -> a (b (c d e) (f g)) h < 1309767931 247268 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :(. (((((.) .) .) .) . (.) . (.))) . (.) . (.) . (.) . (.) . (.) < 1309767939 93915 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :*MWAHAHAHA* < 1309767963 422041 :monqy!~chap@pool-71-102-215-70.snloca.dsl-w.verizon.net PRIVMSG #esoteric :dying from spook < 1309768239 780445 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :oerjan: thats not nice < 1309768242 511034 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :zzo38: yes < 1309768278 328271 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :monqy: oh this is going to be hard are < 1309768284 350713 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :do IORefs implement Eq < 1309768287 732688 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :or < 1309768288 202102 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Ord < 1309768319 829424 :monqy!~chap@pool-71-102-215-70.snloca.dsl-w.verizon.net PRIVMSG #esoteric :instance Eq (IORef a) -- Defined in GHC.IORef < 1309768330 5689 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :oh im good < 1309768354 103890 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :monqy: but Ord?? < 1309768374 763519 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com PRIVMSG #esoteric :Please join my TeXnicard project so that we can make something TeXnicard. < 1309768379 743847 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :no < 1309768389 928830 :monqy!~chap@pool-71-102-215-70.snloca.dsl-w.verizon.net PRIVMSG #esoteric :maybe in caleskell < 1309768393 912748 :monqy!~chap@pool-71-102-215-70.snloca.dsl-w.verizon.net PRIVMSG #esoteric :?info IORef < 1309768394 197471 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :IORef < 1309768400 68151 :monqy!~chap@pool-71-102-215-70.snloca.dsl-w.verizon.net PRIVMSG #esoteric :how do you do the info thing < 1309768403 412728 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :ask oerjan < 1309768403 607192 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com PRIVMSG #esoteric :elliott: I don't mean you. < 1309768407 37639 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :you don't < 1309768409 84489 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :zzo38: then who < 1309768420 264523 :monqy!~chap@pool-71-102-215-70.snloca.dsl-w.verizon.net PRIVMSG #esoteric :when I did :i in ghci it only gave Eq < 1309768424 522675 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com PRIVMSG #esoteric :Someone else. < 1309768441 349215 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :monqy: yeah ditto < 1309768443 733598 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :thatk ind of < 1309768444 223101 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com PRIVMSG #esoteric :Someone else who doesn't mean "no". < 1309768444 697398 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :sucks though < 1309768445 255785 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric ::t newIORef "Boo!" < 1309768446 37569 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :Not in scope: `newIORef' < 1309768451 29342 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :im surprised its even Eq < 1309768452 244003 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :why is it Eq < 1309768457 179037 :monqy!~chap@pool-71-102-215-70.snloca.dsl-w.verizon.net PRIVMSG #esoteric :oh there's a Typeable1 instance too?? < 1309768465 349391 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :monqy: yes its the height of luxury < 1309768495 504355 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :presumably GC can move it about? < 1309768526 695480 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :so Ord may not be safe < 1309768547 649311 :monqy!~chap@pool-71-102-215-70.snloca.dsl-w.verizon.net PRIVMSG #esoteric :-- explicit instance because Haddock can't figure out a derived one < 1309768548 524872 :monqy!~chap@pool-71-102-215-70.snloca.dsl-w.verizon.net PRIVMSG #esoteric :instance Eq (IORef a) where IORef x == IORef y = x == y < 1309768551 894030 :monqy!~chap@pool-71-102-215-70.snloca.dsl-w.verizon.net PRIVMSG #esoteric :what is this nonsense < 1309768566 753377 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :?src IORef < 1309768566 961908 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :newtype IORef a = IORef (STRef RealWorld a) < 1309768568 207619 :monqy!~chap@pool-71-102-215-70.snloca.dsl-w.verizon.net PRIVMSG #esoteric :oh it depends on the STRef Eq instanced < 1309768571 483235 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :?src STRef < 1309768571 631794 :monqy!~chap@pool-71-102-215-70.snloca.dsl-w.verizon.net PRIVMSG #esoteric :yeah < 1309768571 780298 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :data STRef s a = STRef (MutVar# s a) < 1309768574 845000 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :nooo < 1309768576 230797 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :hashes already < 1309768580 738764 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :?src MutVar# < 1309768580 926314 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :Source not found. < 1309768595 72368 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :MutVar# is primitive i think < 1309768604 109083 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :hm data so MutVar# is probably unboxed < 1309768612 48900 :monqy!~chap@pool-71-102-215-70.snloca.dsl-w.verizon.net PRIVMSG #esoteric :-- Just pointer equality on mutable references: < 1309768612 218220 :monqy!~chap@pool-71-102-215-70.snloca.dsl-w.verizon.net PRIVMSG #esoteric :instance Eq (STRef s a) where STRef v1# == STRef v2# = sameMutVar# v1# v2# < 1309768639 50899 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :oerjan: well # implies unboxed... < 1309768641 66947 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :it's magic, after all < 1309768656 852250 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i'm not sure of that... < 1309768659 366662 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :oerjan: remember, different kind < 1309768662 845553 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Foo# :: # < 1309768679 203344 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :um the # in names has no automatic meaning :P < 1309768692 511452 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com PRIVMSG #esoteric :Anyone programming in C or CWEB or Plain TeX or understanding these kind of card game or anything else relevant to the project, can join, if you want to, please. < 1309768715 954977 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :oerjan: are you sure? I think it does for types < 1309768721 279765 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :oerjan: you can't define your own Foo# type < 1309768740 152855 :yorick_!~yorick@unaffiliated/yorick JOIN :#esoteric < 1309768746 776646 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :elliott: um you need MagicHashes, of course < 1309768758 371845 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :but afaik that only extends syntax < 1309768822 921793 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :!haskell {-# LANGUAGE MagicHashes #-} data Foo# = Foo# Int deriving Show; main = print $ Foo# 0 < 1309768830 941659 :Deewiant!~deewiant@cs186230.pp.htv.fi PRIVMSG #esoteric :ptrEq :: a -> a -> IO Bool < 1309768831 261443 :EgoBot!Gregor@codu.org PRIVMSG #esoteric :​/tmp/input.6121.hs:1:13: unsupported extension: MagicHashes < 1309768831 409979 :Deewiant!~deewiant@cs186230.pp.htv.fi PRIVMSG #esoteric :ptrEq x y = do nx <- makeStableName x ny; <- makeStableName y; return (nx == ny) < 1309768836 353356 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :oops < 1309768842 605061 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :!haskell {-# LANGUAGE MagicHash #-} data Foo# = Foo# Int deriving Show; main = print $ Foo# 0 < 1309768847 852530 :EgoBot!Gregor@codu.org PRIVMSG #esoteric :Foo# 0 < 1309768857 934076 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :elliott: works perfectly < 1309768885 196847 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :hm, fair enough then < 1309768894 882340 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :it's just for things they don't want people to muck about with needlessly < 1309768898 411117 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :imo < 1309768934 398208 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :oerjan: i think it's because it's non-standard, dude :P < 1309768962 758060 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :well yeah < 1309768970 516889 :olsner!~salparot@c83-252-161-133.bredband.comhem.se PRIVMSG #esoteric :also, for translating shootout benchmarks from C to Haskell < 1309768979 120312 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric ::P < 1309769021 379676 :yorick!~yorick@unaffiliated/yorick QUIT :*.net *.split < 1309769268 257436 :cheater_!~ubuntu@g229128099.adsl.alicedsl.de JOIN :#esoteric < 1309769578 737077 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :oh for _crying out loud_ < 1309769595 723731 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :oerjan: i would like to mark down on the record how much IORefs in ADTs sucks in haskell < 1309769613 286675 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :O KAY < 1309769614 921718 :monqy!~chap@pool-71-102-215-70.snloca.dsl-w.verizon.net PRIVMSG #esoteric :but records suck too....... < 1309769625 99864 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :got a function somewhere? or an IORef? wanna use your value as a Map key? < 1309769629 212978 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :ha ha ha oh boy, HAVE FUN WITH THAT < 1309769680 737751 :cheater_!~ubuntu@g229128099.adsl.alicedsl.de QUIT :Ping timeout: 255 seconds < 1309769688 739026 :Deewiant!~deewiant@cs186230.pp.htv.fi PRIVMSG #esoteric :Writing an Ord instance that ignores them isn't exactly a huge pain < 1309770289 439637 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :yay it all works now < 1309770297 176433 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Deewiant: um such an Ord instance won't work for Map will it? < 1309770298 967516 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :I ended up doing < 1309770303 181959 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :data Ref a = Ref !Int !(IORef a) < 1309770303 337253 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :instance Eq (Ref a) where Ref i _ == Ref j _ = i == j < 1309770303 337468 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :instance Ord (Ref a) where compare (Ref i _) (Ref j _) = compare i j < 1309770303 337580 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :instance Show (Ref a) where show = const "" < 1309770309 450160 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :with a global unsafePerformIO'd ioref to keep track of the top index < 1309770321 371854 :Deewiant!~deewiant@cs186230.pp.htv.fi PRIVMSG #esoteric :elliott: Why not? < 1309770343 58210 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Deewiant: good point :P < 1309770343 672956 :Deewiant!~deewiant@cs186230.pp.htv.fi PRIVMSG #esoteric :Also, globall unsafePerformIO'd ioref: and you don't like my code... < 1309770349 551870 :Deewiant!~deewiant@cs186230.pp.htv.fi PRIVMSG #esoteric :-l < 1309770365 440114 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Deewiant: It's completely encapsulated, and only exists because GHC is dumb and doesn't have its own ioref IDs :P < 1309770405 465242 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :I don't know what you mean by "your code", though, unless I've complained at your HIDEOUS SINS AGAINST PROGRAMMING before in which case probably feel bad < 1309770456 613625 :yorick_!~yorick@unaffiliated/yorick NICK :yorick < 1309770553 482984 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :Deewiant: Deewiant: please...stop existing... < 1309770571 801748 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :er *elliott: < 1309770579 987179 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :oh right < 1309770581 640610 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :yes that was bad < 1309770589 324540 :monqy!~chap@pool-71-102-215-70.snloca.dsl-w.verizon.net PRIVMSG #esoteric :wasnt this the one that wasnt that one < 1309770592 477259 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :ok i need to go unconscious for some hours now bye < 1309770593 458308 :monqy!~chap@pool-71-102-215-70.snloca.dsl-w.verizon.net PRIVMSG #esoteric :something about stablenames < 1309770597 34841 :monqy!~chap@pool-71-102-215-70.snloca.dsl-w.verizon.net PRIVMSG #esoteric :have fun < 1309770599 932227 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :monqy: unsafeperformio for showing ioref < 1309770607 195067 :monqy!~chap@pool-71-102-215-70.snloca.dsl-w.verizon.net PRIVMSG #esoteric :mm :( < 1309770607 496808 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :monqy: ok i will ill try and hallcuating < 1309770612 331492 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :tomorrow: ante-zepto < 1309770732 551218 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :monqy: apparently StableNames don't have Ord either < 1309770866 682530 :elliott!~elliott@unaffiliated/elliott QUIT :Ping timeout: 246 seconds < 1309771028 67338 :fizzie!fis@iris.zem.fi PRIVMSG #esoteric :oerjan: "Stable, not sorted"; isn't that how James Bond likes his drinks? < 1309771038 752903 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :MAYBE < 1309771330 373725 :Lymee!~moe@unaffiliated/cirno-chan QUIT :Ping timeout: 240 seconds < 1309771411 63237 :Lymee!~moe@unaffiliated/cirno-chan JOIN :#esoteric < 1309772179 682393 :cheater_!~ubuntu@g229128099.adsl.alicedsl.de JOIN :#esoteric < 1309772300 608890 :Vorpal!~AnMaster@unaffiliated/anmaster JOIN :#esoteric < 1309772306 996803 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com PRIVMSG #esoteric :Is the random number generator algorithm in TeXnicard OK? Is there anything wrong with it? < 1309772315 790079 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :fizzie, no, Bond likes his drinks unstable. < 1309772322 921905 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :He lives on the edge. < 1309772434 726037 :cheater_!~ubuntu@g229128099.adsl.alicedsl.de QUIT :Ping timeout: 255 seconds < 1309772439 63157 :monqy!~chap@pool-71-102-215-70.snloca.dsl-w.verizon.net QUIT :Quit: hello < 1309772641 915808 :oerjan!oerjan@sprocket.nvg.ntnu.no QUIT :Quit: Good night < 1309773066 785913 :augur!~augur@208.58.6.161 QUIT :Read error: Connection reset by peer < 1309773181 773237 :augur!~augur@208.58.6.161 JOIN :#esoteric < 1309774564 586451 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com QUIT :Quit: Unstable cards. < 1309779340 237843 :ineiros!~itniemin@james.ics.hut.fi QUIT :Ping timeout: 240 seconds < 1309781116 519254 :ais523!~ais523@unaffiliated/ais523 QUIT :Remote host closed the connection < 1309781406 874786 :CakeProphet!~adam@h111.62.18.98.dynamic.ip.windstream.net JOIN :#esoteric < 1309781407 251257 :CakeProphet!~adam@h111.62.18.98.dynamic.ip.windstream.net QUIT :Changing host < 1309781407 399812 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake JOIN :#esoteric < 1309781778 127696 :boily!~boily@mtl.savoirfairelinux.net JOIN :#esoteric < 1309782024 976966 :boily!~boily@mtl.savoirfairelinux.net QUIT :Client Quit < 1309782087 948424 :boily!~boily@mtl.savoirfairelinux.net JOIN :#esoteric < 1309782808 18077 :BeholdMyGlory!~behold@unaffiliated/beholdmyglory JOIN :#esoteric < 1309784282 27819 :azaq23!~derivecto@unaffiliated/azaq23 JOIN :#esoteric < 1309790625 622442 :adam____!~adam@h111.62.18.98.dynamic.ip.windstream.net JOIN :#esoteric < 1309790911 95398 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake QUIT :*.net *.split < 1309791369 230200 :Sgeo!Sgeo@ool-44c2d2a1.dyn.optonline.net JOIN :#esoteric < 1309791445 20491 :cheater_!~ubuntu@g229098222.adsl.alicedsl.de JOIN :#esoteric < 1309791713 88623 :cheater_!~ubuntu@g229098222.adsl.alicedsl.de QUIT :Ping timeout: 255 seconds < 1309791727 460812 :copumpkin!~pumpkin@user-12hcrs5.cable.mindspring.com JOIN :#esoteric < 1309791727 609167 :copumpkin!~pumpkin@user-12hcrs5.cable.mindspring.com QUIT :Changing host < 1309791727 609257 :copumpkin!~pumpkin@unaffiliated/pumpkingod JOIN :#esoteric < 1309792413 939979 :Sgeo!Sgeo@ool-44c2d2a1.dyn.optonline.net QUIT :Read error: Connection reset by peer < 1309792468 607145 :Sgeo!Sgeo@ool-44c2d2a1.dyn.optonline.net JOIN :#esoteric < 1309792788 591432 :copumpkin!~pumpkin@unaffiliated/pumpkingod QUIT :Quit: Computer has gone to sleep. < 1309794049 951640 :Sgeo_!Sgeo@ool-44c2d2a1.dyn.optonline.net JOIN :#esoteric < 1309794154 881068 :Sgeo__!Sgeo@ool-44c2d2a1.dyn.optonline.net JOIN :#esoteric < 1309794224 117693 :Sgeo!Sgeo@ool-44c2d2a1.dyn.optonline.net QUIT :Ping timeout: 255 seconds < 1309794332 59306 :Sgeo_!Sgeo@ool-44c2d2a1.dyn.optonline.net QUIT :Ping timeout: 255 seconds < 1309794440 66404 :Sgeo__!Sgeo@ool-44c2d2a1.dyn.optonline.net QUIT :Ping timeout: 255 seconds < 1309794547 67052 :monqy!~chap@pool-71-102-215-70.snloca.dsl-w.verizon.net JOIN :#esoteric < 1309794956 103467 :Sgeo!Sgeo@ool-44c2d2a1.dyn.optonline.net JOIN :#esoteric < 1309794971 642955 :Sgeo!Sgeo@ool-44c2d2a1.dyn.optonline.net QUIT :Client Quit < 1309796239 666465 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :hello < 1309796249 643151 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :that ks a lot of coming and going < 1309796261 585978 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :are you alive? < 1309796511 473717 :pikhq!~pikhq@71-219-219-137.clsp.qwest.net PRIVMSG #esoteric :Nope. < 1309796945 975252 :Cocytus!~Cocytus@c-76-19-169-95.hsd1.ma.comcast.net JOIN :#esoteric < 1309796996 457999 :Cocytus!~Cocytus@c-76-19-169-95.hsd1.ma.comcast.net PRIVMSG #esoteric :sorry guys this is my room. it's for Esoteric Philosophy...programming language is of course one avenue of Philosophy so you are welcome to stay and discuss amongst everyone. < 1309797078 508234 :Cocytus!~Cocytus@c-76-19-169-95.hsd1.ma.comcast.net PRIVMSG #esoteric :that being said........Ave. < 1309797084 398051 :Cocytus!~Cocytus@c-76-19-169-95.hsd1.ma.comcast.net PART :#esoteric < 1309797096 194729 :fizzie!fis@iris.zem.fi PRIVMSG #esoteric :Oh no, we're in his room. :/ < 1309797654 168869 :pikhq!~pikhq@71-219-219-137.clsp.qwest.net PRIVMSG #esoteric :Also, birds. < 1309798674 66570 :cheater_!~ubuntu@g229098222.adsl.alicedsl.de JOIN :#esoteric < 1309798835 627018 :ineiros!~itniemin@james.ics.hut.fi JOIN :#esoteric < 1309800195 574355 :cheater_!~ubuntu@g229098222.adsl.alicedsl.de PRIVMSG #esoteric :you are standing at the end of a road before a small brick building. < 1309800201 496013 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com JOIN :#esoteric < 1309800515 168369 :cheater_!~ubuntu@g229098222.adsl.alicedsl.de QUIT :Ping timeout: 255 seconds < 1309800599 376962 :cheater_!~ubuntu@g229098222.adsl.alicedsl.de JOIN :#esoteric < 1309800648 419944 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :>go building < 1309800803 685924 :copumpkin!~pumpkin@user-12hcrs5.cable.mindspring.com JOIN :#esoteric < 1309800803 834655 :copumpkin!~pumpkin@user-12hcrs5.cable.mindspring.com QUIT :Changing host < 1309800803 834806 :copumpkin!~pumpkin@unaffiliated/pumpkingod JOIN :#esoteric < 1309801111 921336 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :ineiros! > 1309801869 482587 JOIN :#esoteric > 1309801925 217048 JOIN :#esoteric > 1309801970 191932 JOIN :#esoteric < 1309801970 356805 :glogbot!Gregor@codu.org JOIN :#esoteric < 1309801970 518017 :kornbluth.freenode.net NOTICE #esoteric :[freenode-info] please register your nickname...don't forget to auto-identify! http://freenode.net/faq.shtml#nicksetup < 1309802486 232032 :cheater_!~ubuntu@g229098222.adsl.alicedsl.de QUIT :Ping timeout: 255 seconds < 1309802608 663086 :cheater_!~ubuntu@g229098222.adsl.alicedsl.de JOIN :#esoteric < 1309803755 214328 :cheater_!~ubuntu@g229098222.adsl.alicedsl.de QUIT :Ping timeout: 255 seconds < 1309804400 205128 :pikhq_!~pikhq@71-219-194-111.clsp.qwest.net JOIN :#esoteric < 1309804429 124538 :cheater_!~ubuntu@g229098222.adsl.alicedsl.de JOIN :#esoteric < 1309804450 773208 :pikhq!~pikhq@71-219-219-137.clsp.qwest.net QUIT :Ping timeout: 240 seconds < 1309804878 402403 :pikhq!~pikhq@174-22-159-122.clsp.qwest.net JOIN :#esoteric < 1309805024 257932 :cheater_!~ubuntu@g229098222.adsl.alicedsl.de QUIT :Ping timeout: 240 seconds < 1309805032 802401 :pikhq_!~pikhq@71-219-194-111.clsp.qwest.net QUIT :Ping timeout: 240 seconds < 1309805099 303936 :cheater_!~ubuntu@g229098222.adsl.alicedsl.de JOIN :#esoteric < 1309805187 291606 :KingOfKarlsruhe!~chatzilla@p5B14D6F9.dip.t-dialin.net JOIN :#esoteric < 1309805440 231892 :cheater_!~ubuntu@g229098222.adsl.alicedsl.de QUIT :Ping timeout: 250 seconds < 1309805501 762166 :cheater_!~ubuntu@g229098222.adsl.alicedsl.de JOIN :#esoteric < 1309805703 412614 :quintopia!~quintopia@unaffiliated/quintopia QUIT :Ping timeout: 252 seconds < 1309805780 253093 :cheater_!~ubuntu@g229098222.adsl.alicedsl.de QUIT :Ping timeout: 255 seconds < 1309805913 940157 :quintopia!~quintopia@74.117.158.92 JOIN :#esoteric < 1309805914 102652 :quintopia!~quintopia@74.117.158.92 QUIT :Changing host < 1309805914 102799 :quintopia!~quintopia@unaffiliated/quintopia JOIN :#esoteric < 1309807004 505254 :BeedaWeeda!~port72.c@50.8.174.68 JOIN :#esoteric < 1309807172 743786 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :Oh god. < 1309807195 406235 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :I have the choice between YouTube binging on The Chaser, or on Dead Ringers. < 1309807259 886604 :MigoMipo!~John@84-217-3-228.tn.glocalnet.net JOIN :#esoteric < 1309807439 540761 :oerjan!oerjan@sprocket.nvg.ntnu.no JOIN :#esoteric < 1309807471 619810 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :I like the way The Chaser were always able to find John Howard for their stunts. < 1309807477 867035 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :tswett_, you Australians are cool. < 1309807565 461613 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :while you welsh are cwwl < 1309807683 977135 :pikhq_!~pikhq@174-22-181-220.clsp.qwest.net JOIN :#esoteric < 1309807721 449748 :hiato_!~nine@clam.leg.uct.ac.za QUIT :Ping timeout: 258 seconds < 1309807802 273178 :pikhq!~pikhq@174-22-159-122.clsp.qwest.net QUIT :Ping timeout: 264 seconds < 1309807815 337762 :tswett_!~Warrigal@thay.Stanford.EDU PRIVMSG #esoteric :
ACTION bows.
< 1309808078 405854 :copumpkin!~pumpkin@unaffiliated/pumpkingod QUIT :Quit: Computer has gone to sleep. < 1309808150 334426 :hiato!~nine@clam.leg.uct.ac.za JOIN :#esoteric < 1309808991 530910 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :"Today I want to talk about the status of the question and baseball." < 1309809023 826012 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :eek a picture < 1309809034 290811 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :*"Today I want to talk about the status of the P = NP question and baseball." < 1309809058 868378 :Zwaarddijk!miekko@infa.abo.fi PRIVMSG #esoteric :is there any progress on it currently? < 1309809064 922581 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :I prefer calling it just... the Question. < 1309809075 431677 :Zwaarddijk!miekko@infa.abo.fi PRIVMSG #esoteric :I like the idea of the question < 1309809084 589969 :Zwaarddijk!miekko@infa.abo.fi PRIVMSG #esoteric :with double or triple spaces between the article and noun < 1309809191 650887 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :Zwaarddijk: nothing immediately promising that i know of < 1309809331 715311 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :although maybe the rest of http://rjlipton.wordpress.com/2011/07/04/getting-on-base-with-pnp/ may count as a little survey of the case < 1309810195 748644 :elliott!~elliott@unaffiliated/elliott JOIN :#esoteric < 1309810275 604856 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :16:29:05: -!- Cocytus has joined #esoteric. < 1309810275 811018 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :16:29:56: sorry guys this is my room. it's for Esoteric Philosophy...programming language is of course one avenue of Philosophy so you are welcome to stay and discuss amongst everyone. < 1309810275 973296 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :16:31:18: that being said........Ave. < 1309810275 973484 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :16:31:24: -!- Cocytus has parted #esoteric. < 1309810276 852758 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :lol what < 1309810314 426459 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :should have told him about Malbolge < 1309810324 216846 :olsner!~salparot@c83-252-161-133.bredband.comhem.se PRIVMSG #esoteric :elliott: that was you under a differen nick, wasn't it? < 1309810368 682387 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :no < 1309810374 106231 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i do not know elliott to use comcast, but who knows < 1309810862 334684 :adam____!~adam@h111.62.18.98.dynamic.ip.windstream.net QUIT :Ping timeout: 264 seconds < 1309810980 483528 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake JOIN :#esoteric < 1309811054 478986 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :http://en.wikipedia.org/wiki/List_of_atheists <-- list of famous bisexuals < 1309811091 43651 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :God, how stupid are they. < 1309811111 381933 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :That's a list of lists of atheists. < 1309811135 806149 :olsner!~salparot@c83-252-161-133.bredband.comhem.se PRIVMSG #esoteric :probably more like FixF [] Atheist < 1309811159 423739 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric ::t FixF < 1309811160 191243 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :Not in scope: data constructor `FixF' < 1309811164 213802 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :-_- < 1309811178 540028 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :data FixF f a = Foo a | Bar (f (FixF f a)), presumably < 1309811207 240690 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :Nope. < 1309811212 555697 :olsner!~salparot@c83-252-161-133.bredband.comhem.se PRIVMSG #esoteric :actually, the FixF I was thinking of would be a bit hard to use since you'd never get to the Atheists < 1309811214 488913 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :unless olsner means a two-argument Mu, in which case it's a very useless type :D < 1309811372 608528 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :monqy: i have sad news < 1309811380 773054 :monqy!~chap@pool-71-102-215-70.snloca.dsl-w.verizon.net PRIVMSG #esoteric :is it about zepto < 1309811398 288946 :monqy!~chap@pool-71-102-215-70.snloca.dsl-w.verizon.net PRIVMSG #esoteric :antezepto specifically? < 1309811400 492038 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :monqy: yes < 1309811409 786712 :monqy!~chap@pool-71-102-215-70.snloca.dsl-w.verizon.net PRIVMSG #esoteric :weeping < 1309811419 689605 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :monqy: i am sorry to report < 1309811425 499665 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :monqy: that ............................................................................................. < 1309811431 645078 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :monqy: my impl is broken :( < 1309811439 949313 :monqy!~chap@pool-71-102-215-70.snloca.dsl-w.verizon.net PRIVMSG #esoteric ::( < 1309811442 571468 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :its not enough to just compare references by pointer equality, because < 1309811446 94820 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric : | AntePair !(Ref AnteValue) !(Ref AnteValue) < 1309811447 698437 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :so as it stands < 1309811454 843945 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :if you have a map with key (a b) < 1309811463 24130 :olsner!~salparot@c83-252-161-133.bredband.comhem.se PRIVMSG #esoteric :I think something like FixF (Either Atheist `O` []) Atheist is more what I meant, i.e. what elliott said < 1309811465 888604 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :only the same object will look it up, pretty much < 1309811494 760423 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :monqy: so what I need is a map where compare and (==) are done in IO? < 1309811503 164932 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :which < 1309811503 515378 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :yeah < 1309811503 803643 :monqy!~chap@pool-71-102-215-70.snloca.dsl-w.verizon.net PRIVMSG #esoteric :aaaaaaaaaaaaaaaaaaa < 1309811505 792514 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :i dunno of one < 1309811544 826967 :monqy!~chap@pool-71-102-215-70.snloca.dsl-w.verizon.net PRIVMSG #esoteric :is there any way around it < 1309811583 467045 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :monqy: I can't think of one that doesn't involve unsafePerformIO < 1309811588 205982 :olsner!~salparot@c83-252-161-133.bredband.comhem.se PRIVMSG #esoteric :I meant FixF from http://hackage.haskell.org/packages/archive/category-extras/0.53.5/doc/html/Control-Functor-Fix.html and I didn't even remember it right... fail :( < 1309811590 848816 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric : aaaaaaaaaaaaaaaaaaa < 1309811598 398210 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :olsner: category-extras is deprecated >:| < 1309811630 736326 :olsner!~salparot@c83-252-161-133.bredband.comhem.se PRIVMSG #esoteric :aha, so that's why it's not indexed by hoogle then < 1309811639 169890 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :it's being split up < 1309811639 332156 :olsner!~salparot@c83-252-161-133.bredband.comhem.se PRIVMSG #esoteric :why did it get deprecated? < 1309811643 217848 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :into a bunch of mostly-haskellninetyeight packages < 1309811643 930940 :monqy!~chap@pool-71-102-215-70.snloca.dsl-w.verizon.net PRIVMSG #esoteric :is there any way to cleanly encapsulate the unsafePerformIO < 1309811657 301912 :monqy!~chap@pool-71-102-215-70.snloca.dsl-w.verizon.net PRIVMSG #esoteric :alternatively, construct everything else in such a way that doing this wackness isn't necessary < 1309811659 5724 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :olsner: I think because it's really huge and unfocused (= big monolithic dependency), plus it relies on like five thousand extensions < 1309811668 859784 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :olsner: so he's trying to separate everything into really portable haskell ninetyeight code < 1309811673 598091 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :and separate out the unportable stuff < 1309811680 643095 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :while putting it all into different packages < 1309811798 505976 :olsner!~salparot@c83-252-161-133.bredband.comhem.se PRIVMSG #esoteric :makes sense, I guess < 1309811854 822963 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :dunno where the replacement for that module is though :D < 1309811899 318221 :Deewiant!~deewiant@cs186230.pp.htv.fi PRIVMSG #esoteric :?ty let f _ [] = return Nothing; f p (x:xs) = p x >>= \b -> if b then return (Just x) else f p xs in f -- there's your map in IO < 1309811900 81074 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :forall a (m :: * -> *). (Monad m) => (a -> m Bool) -> [a] -> m (Maybe a) < 1309811924 183918 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Deewiant: Heh :P < 1309811937 752244 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake QUIT :Read error: Operation timed out < 1309811957 807899 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :monqy: hmm, if you use (0 9) as an environment key, then mutate the car so it's (9 9), should the environment key mutate or should environment keys get copied < 1309811961 657495 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :(answer: the latter) < 1309811972 847527 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :but what if you get (0 9) out of the keys list of the environment, and mutate it, WHAT THEN < 1309811984 793081 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :(answer: it should probably copy keys before giving them back, too) < 1309812012 76904 :monqy!~chap@pool-71-102-215-70.snloca.dsl-w.verizon.net PRIVMSG #esoteric :yep < 1309812103 217527 :olsner!~salparot@c83-252-161-133.bredband.comhem.se PRIVMSG #esoteric :functor fixpoints are easy to define when you need one, so if category-extras is deprecated you can just opt not to use it < 1309812112 428487 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake JOIN :#esoteric < 1309812611 673126 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :monqy: Hmm, I could make map keys be immutable < 1309812616 758822 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :monqy: By making a version of AnteValue with no IORefs < 1309812621 292832 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Or parameterising it on the type of references < 1309812627 603894 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :monqy: But, ugh, that seems like a Pain < 1309812630 579774 :monqy!~chap@pool-71-102-215-70.snloca.dsl-w.verizon.net PRIVMSG #esoteric :would this fix your broken < 1309812641 948885 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :monqy: Maybe < 1309812949 511857 :KingOfKarlsruhe!~chatzilla@p5B14D6F9.dip.t-dialin.net QUIT :Quit: ChatZilla 0.9.87 [Firefox 5.0/20110615151330] < 1309814077 260767 :cheater_!~ubuntu@g229098222.adsl.alicedsl.de JOIN :#esoteric < 1309815197 399440 :hagb[4]rd!~hagb4rd@koln-d932d256.pool.mediaWays.net JOIN :#esoteric < 1309815201 741024 :MigoMipo!~John@84-217-3-228.tn.glocalnet.net QUIT :Read error: Connection reset by peer < 1309815320 665273 :azaq23!~derivecto@unaffiliated/azaq23 QUIT :Quit: Leaving. < 1309815562 724748 :hagb[4]rd!~hagb4rd@koln-d932d256.pool.mediaWays.net NICK :hagb4rd < 1309815845 494029 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake QUIT :Ping timeout: 252 seconds < 1309815919 476021 :CakeProphet!~adam@h218.25.18.98.dynamic.ip.windstream.net JOIN :#esoteric < 1309815919 917431 :CakeProphet!~adam@h218.25.18.98.dynamic.ip.windstream.net QUIT :Changing host < 1309815920 79277 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake JOIN :#esoteric < 1309816491 783775 :|||Ksarks|||!~Admin@188.113.2.94 JOIN :#esoteric < 1309816569 126323 :|||Ksarks|||!~Admin@188.113.2.94 PART :#esoteric < 1309817149 433614 :azaq23!~derivecto@unaffiliated/azaq23 JOIN :#esoteric < 1309817240 431788 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake QUIT :Ping timeout: 276 seconds < 1309817274 458034 :CakeProphet!~adam@h15.46.18.98.dynamic.ip.windstream.net JOIN :#esoteric < 1309817274 923415 :CakeProphet!~adam@h15.46.18.98.dynamic.ip.windstream.net QUIT :Changing host < 1309817275 85485 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake JOIN :#esoteric < 1309817480 321004 :tswett_!~Warrigal@thay.Stanford.EDU PRIVMSG #esoteric :`quote 479 < 1309817481 949597 :HackEgo!Gregor@codu.org PRIVMSG #esoteric :479) Nobody actually said this; this is just a demonstration. < 1309817487 817304 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :monqy: ugh this is ugly < 1309817487 979405 :tswett_!~Warrigal@thay.Stanford.EDU PRIVMSG #esoteric :Now, how do I get rid of it? < 1309817492 58355 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :tswett_: `delquot < 1309817492 602609 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :e < 1309817499 726138 :tswett_!~Warrigal@thay.Stanford.EDU PRIVMSG #esoteric :`delquote 479 < 1309817501 524281 :HackEgo!Gregor@codu.org PRIVMSG #esoteric :​*poof* < 1309817514 157527 :tswett_!~Warrigal@thay.Stanford.EDU PRIVMSG #esoteric :It has now been delled, I guess. < 1309817521 129039 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`quote 479 < 1309817522 178780 :HackEgo!Gregor@codu.org PRIVMSG #esoteric :No output. < 1309817529 885327 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :SO IT WOULD APPEAR < 1309817647 75380 :monqy!~chap@pool-71-102-215-70.snloca.dsl-w.verizon.net PRIVMSG #esoteric :elliott: ughly? < 1309817686 322272 :myndzi!myndzi@c-24-22-176-245.hsd1.wa.comcast.net QUIT :Ping timeout: 258 seconds < 1309817707 66048 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :monqy: yes < 1309817876 447293 :cheater_!~ubuntu@g229098222.adsl.alicedsl.de QUIT :Ping timeout: 255 seconds < 1309818773 193283 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :monqy: i just realised these changes mean you can bind an integer as a variable < 1309818788 105505 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :not that 9 will evaluate to anything, only symbols look themselves up in the environment < 1309818790 49451 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :BUT STILL < 1309818793 182850 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :that could be a great FORTE < 1309818808 513161 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :oerjan: Funny, I just opened a buffer to implement Forte a few minutes ago. < 1309818861 517436 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :parallel coding ftw < 1309818944 820014 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :hm first vau, now integers as variables. is your new language gradually absorbing everything else weird? < 1309818985 810208 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :oerjan: um you realise zepto always had vau? it was just equivalent to quote (and thus not given a name), because it was dynamically scoped < 1309818988 446739 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :i.e., no environment to save < 1309818997 328963 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :so (argname . body) was an acceptable lambda representation < 1309819008 377924 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :aha < 1309819013 164890 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :ante-zepto is lexically scoped, so it needs an actual operation to store the current environment in too < 1309819028 684957 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :oh, and it has another parameter to name the environment the fexpr is called in < 1309819039 611285 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :which didn't exist, again, in the dynamic version < 1309819048 577103 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :
ACTION is divided on whether "in too" is a misspelling or not
< 1309819065 984223 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :hmm, i dunno what that happened there < 1309819095 563151 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :gramma bogons < 1309819149 360643 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :hm could you make a TC language which had hygienic macros and nothing else < 1309819204 188304 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i mean something like statically scoped fexprs but with all environments implicit. also this is very vague. < 1309819329 393440 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :("this is very vague" is here a synonym for "i'm not sure what i mean there") < 1309819387 839104 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :someone said recently that hygienic macros are easy to implement if you do it in the base implementation < 1309819393 992398 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :or something like that < 1309819531 773390 :Sgeo!Sgeo@ool-44c2d2a1.dyn.optonline.net JOIN :#esoteric < 1309819610 425681 :Sgeo!Sgeo@ool-44c2d2a1.dyn.optonline.net PRIVMSG #esoteric :Will anyone be irritated if I tend to disconnect and reconnect a lot? < 1309819624 153236 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Yes. < 1309819673 813408 :Sgeo!Sgeo@ool-44c2d2a1.dyn.optonline.net QUIT :Client Quit < 1309819814 678276 :foocraft!~ewanas@178.152.126.240 JOIN :#esoteric < 1309819853 530990 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake QUIT :Ping timeout: 276 seconds < 1309819900 690743 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :we _almost_ have an established policy that bots will be banned it they do that. which means we might have to administer a turing test to sgeo, and that could get ugly. < 1309819922 579825 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake JOIN :#esoteric < 1309819934 479630 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :oerjan, suggest we begin as soon as he reënters. < 1309819992 354006 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :eek, what have i done. < 1309820291 297553 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :`addquote Will anyone be irritated if I tend to disconnect and reconnect a lot? [...] we _almost_ have an established policy that bots will be banned it they do that. which means we might have to administer a turing test to sgeo, and that could get ugly. < 1309820292 521962 :HackEgo!Gregor@codu.org PRIVMSG #esoteric :479) Will anyone be irritated if I tend to disconnect and reconnect a lot? [...] we _almost_ have an established policy that bots will be banned it they do that. which means we might have to administer a turing test to sgeo, and that could get ugly. < 1309821386 546693 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :"Any scripting language (Python, Ruby, Perl) will IMO teach bad practices. Start off with something with more structure and less help. C++ or Java. < 1309821386 746993 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Higher level scripting languages come with conveniences that are not found at other levels of programming. Callback functions, .each loops, dynamic typing, built-in operators, libraries. These are all detrimental to your overall mindset. Limit the comforts available until he can create those comforts himself. < 1309821386 747168 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Start off dumb. Working in something like C++ or Java that forces you to choose a type for your variable and offers excellent language structure enhances your ability to think like a programmer. Then moving on to "smarter" languages will be easier." < 1309821388 762325 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :HAHAHAHA OH WOW < 1309821394 365606 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :THIS WAS ACTUALLY NOT VOTED DOWN INTO OBLIVION < 1309821414 612042 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :"START WITH A LOW LEVEL LANGUAGE, NOT HAVING TO THINK ABOUT MINUTIAE DAMAGES THINKING ....... SO CLEARLY USE JAVA, THE MOST LOW-LEVEL OF ALL LANGUAGES" < 1309821418 15674 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :PFFAFAPAHAHAHAHAAHAHAHAHAHAHAHAAHAHAHA < 1309821539 984224 :monqy!~chap@pool-71-102-215-70.snloca.dsl-w.verizon.net PRIVMSG #esoteric :Start off dumb. < 1309821546 190971 :monqy!~chap@pool-71-102-215-70.snloca.dsl-w.verizon.net PRIVMSG #esoteric :(this is dumb) < 1309821791 637918 :monqy!~chap@pool-71-102-215-70.snloca.dsl-w.verizon.net PRIVMSG #esoteric :i wonder what that guy would say about starting with a functional language < 1309821818 256393 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :THATS SO MANY STEPS ABOVE JAVA ITS BAD < 1309821844 636083 :newsham!~chat@udp216902uds.hawaiiantel.net PRIVMSG #esoteric :java is a functional language < 1309821913 181767 :newsham!~chat@udp216902uds.hawaiiantel.net PRIVMSG #esoteric :its just a little verbose < 1309821977 298562 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :elliott, link to comment? < 1309822002 461393 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :http://programmers.stackexchange.com/questions/9621/teach-linux-programming-to-home-schooled-15-year-old, found while absent-mindedly traversing the graph of programmers.stackexchange, a terrible place. < 1309822099 587735 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :"If this is a learning experience, something like R is probably the most useful thing. It will teach him problem-solving skills as well as the ability to load and analyze data files, which is also very useful." < 1309822114 709298 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :I have picked up the general impression from here that R is somewhat insane. < 1309822118 552633 :newsham!~chat@udp216902uds.hawaiiantel.net PRIVMSG #esoteric :http://www.thenewsh.com/~chat/j/XXPrelude.java < 1309822134 901478 :newsham!~chat@udp216902uds.hawaiiantel.net PRIVMSG #esoteric :oops, http://www.thenewsh.com/~chat/j/XPrelude.java this one < 1309822200 579331 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :newsham: meh, it's not impressive until you get monads < 1309822205 657654 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :I think http://functionaljava.org/ has them :P < 1309822209 955457 :newsham!~chat@udp216902uds.hawaiiantel.net PRIVMSG #esoteric :not there yet < 1309822221 319871 :newsham!~chat@udp216902uds.hawaiiantel.net PRIVMSG #esoteric :i havent tried to play with typeclasses at all < 1309822231 63236 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :monads have nothing to do with typeclasses. < 1309822240 327567 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :you would want to implement it as < 1309822247 71614 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :newsham, are the Xes for X-rated? < 1309822258 492163 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :data Monad m = Monad { return :: forall a. a -> m a; bind :: forall a b. m a -> (b -> m b) -> m b } < 1309822261 654350 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :i.e. simply an interface < 1309822264 290773 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Monad < 1309822276 562467 :monqy!~chap@pool-71-102-215-70.snloca.dsl-w.verizon.net PRIVMSG #esoteric :who was it that did pattern matching in java < 1309822278 483339 :newsham!~chat@udp216902uds.hawaiiantel.net PRIVMSG #esoteric :phantom: X's for "lets try another approach, maybe i should rename this to preserve the original" :) < 1309822287 391151 :monqy!~chap@pool-71-102-215-70.snloca.dsl-w.verizon.net PRIVMSG #esoteric :using exceptions or something like that < 1309822313 546092 :newsham!~chat@udp216902uds.hawaiiantel.net PRIVMSG #esoteric :also you dont need teh monads to be funkshunal < 1309822359 123510 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :newsham, yeah, but without them you lack monad tutorials, a vital part of any functional programming community. < 1309822407 985533 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :newsham: ok then, HLists < 1309822408 510725 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric : // A lot of type annotation < 1309822408 686206 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric : final HAppend>>, < 1309822408 848779 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric : HCons>>> zero = append(); < 1309822408 848974 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric : final HAppend, HCons>>, < 1309822409 11240 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric : HCons>>>> one = append(zero); < 1309822410 609241 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric : final HAppend>, HCons>>, < 1309822411 483924 :newsham!~chat@udp216902uds.hawaiiantel.net PRIVMSG #esoteric :the view of half of the community is that not supporting monad tutorials is a feature < 1309822413 587035 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric : HCons>>>>> two = append(one); < 1309822416 560020 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric : final HAppend>>, < 1309822418 504794 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric : HCons>>, < 1309822422 763067 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric : HCons>>>>>> < 1309822425 563320 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric : three = append(two); < 1309822427 670419 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric : < 1309822429 500270 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :god bless functionaljava < 1309822438 811028 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :newsham, yeah, but that half is just bitter that they can't write a monad tutorial. < 1309822458 47480 :newsham!~chat@udp216902uds.hawaiiantel.net PRIVMSG #esoteric :whoa.. there are people who havent written monad tutorials? < 1309822460 846144 :newsham!~chat@udp216902uds.hawaiiantel.net PRIVMSG #esoteric :i dont believe you < 1309822469 166101 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :"@rei: Well, I have advanced social skills, [...]" --programmers.stackexchange < 1309822473 6584 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i have never written a monad tutorial. < 1309822477 356457 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :oerjan: yet < 1309822481 925165 :newsham!~chat@udp216902uds.hawaiiantel.net PRIVMSG #esoteric :oerjan: perhaps you have and you didnt realize it < 1309822487 645759 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :ooh < 1309822497 346364 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :oerjan: I believe you've tried to explain them in here before :D < 1309822499 980045 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :oerjan, little do you realise that everything you say and do is part of that great monad tutorial we call life. < 1309822505 713651 :newsham!~chat@udp216902uds.hawaiiantel.net PRIVMSG #esoteric :did you write any tutorials that are isomorphic to monad tutorials? < 1309822508 700869 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :`addquote oerjan, little do you realise that everything you say and do is part of that great monad tutorial we call life. < 1309822509 736115 :HackEgo!Gregor@codu.org PRIVMSG #esoteric :480) oerjan, little do you realise that everything you say and do is part of that great monad tutorial we call life. < 1309822512 418598 :Sgeo!~Sgeo@ool-44c2d23d.dyn.optonline.net JOIN :#esoteric < 1309822547 516795 :newsham!~chat@udp216902uds.hawaiiantel.net PRIVMSG #esoteric :leggo my ego < 1309822573 696629 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :life, a reverse state monad < 1309822630 63237 :newsham!~chat@udp216902uds.hawaiiantel.net PRIVMSG #esoteric :happy 4th of july, state monad! < 1309822640 985879 :Sgeo!~Sgeo@ool-44c2d23d.dyn.optonline.net PRIVMSG #esoteric :Wired does not, in fact, seem to be faster than wireless < 1309822682 784883 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :newsham, the 4th ended 40 minutes ago. < 1309822690 471523 :newsham!~chat@udp216902uds.hawaiiantel.net PRIVMSG #esoteric :Mon Jul 4 13:34:50 HST 2011 < 1309822695 846013 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :At least in civilised timezones. < 1309822707 316427 :monqy!~chap@pool-71-102-215-70.snloca.dsl-w.verizon.net PRIVMSG #esoteric :the 4th doesnt matter there < 1309822724 605035 :newsham!~chat@udp216902uds.hawaiiantel.net PRIVMSG #esoteric :typical european response... assume all islanders are uncivilized < 1309822739 787801 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :monqy, sorry who did they declare themselves independent from. < 1309822749 781318 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :newsham: You're all uncivilised, apart from the natives. < 1309822759 776703 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :...americans are islanders and brits not, now? < 1309822777 322873 :newsham!~chat@udp216902uds.hawaiiantel.net PRIVMSG #esoteric :we didnt much care for all the taxation without representation, phantom. < 1309822791 752243 :newsham!~chat@udp216902uds.hawaiiantel.net PRIVMSG #esoteric :although these days the radical right seems to be fighting for less representation. < 1309822795 820344 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :oh hawaii < 1309822804 461752 :monqy!~chap@pool-71-102-215-70.snloca.dsl-w.verizon.net PRIVMSG #esoteric :fourth makes me mad < 1309822812 747471 :newsham!~chat@udp216902uds.hawaiiantel.net PRIVMSG #esoteric :fourth makes me drunk < 1309822815 620003 :monqy!~chap@pool-71-102-215-70.snloca.dsl-w.verizon.net PRIVMSG #esoteric :loud noises and idiocy makes my head ache < 1309822821 682080 :newsham!~chat@udp216902uds.hawaiiantel.net PRIVMSG #esoteric :but drunk does not make me mad < 1309822845 944611 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :monqy: loud noises are unzepto < 1309822857 978508 :monqy!~chap@pool-71-102-215-70.snloca.dsl-w.verizon.net PRIVMSG #esoteric :what about idiocy i hope < 1309822871 441889 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :yes < 1309822903 304089 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :elliott: have you considered the possibility that zepto may not be implementable in this imperfect world < 1309822915 406828 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :newsham, yeah but the fundamental point is that you were a British colony so you logically declared independence in British time true fact. < 1309822935 816732 :newsham!~chat@udp216902uds.hawaiiantel.net PRIVMSG #esoteric :i was never a british colony < 1309822973 447655 :newsham!~chat@udp216902uds.hawaiiantel.net PRIVMSG #esoteric :most of me was being kicked around eastern europe at the time this all went down < 1309822978 202632 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :05:34:29: oerjan: ah. you would think. but a failed bootstrapping is not very zepto. < 1309822978 410546 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :05:34:43: and if you lose the binary, as zepto people are wont to do, then that would make it a very un-zepto situation. < 1309822978 573008 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :05:34:55: also, compilers are un-zepto, so that's just too recursive for the universe to handle. < 1309822978 573185 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :05:35:02: although that, in itself, is very zepto, we are unfortunately constrained. < 1309822978 735187 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :05:35:05: we cannot achieve true zepto. < 1309822980 660422 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :05:35:08: we can only achieve universal zepto. < 1309822982 236020 :newsham!~chat@udp216902uds.hawaiiantel.net PRIVMSG #esoteric :or at least most of the people who led to me < 1309822982 586206 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :oerjan: caret < 1309822984 685677 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :from yesterday < 1309822986 262943 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :Phantom_Hoover: but timezones weren't invented back then! < 1309823014 910614 :newsham!~chat@udp216902uds.hawaiiantel.net PRIVMSG #esoteric :didnt ben franklin help come up with daylight savings time? did that happen before ther ewere timezones? < 1309823025 16463 :monqy!~chap@pool-71-102-215-70.snloca.dsl-w.verizon.net PRIVMSG #esoteric :daylight savings time is the worst < 1309823036 244416 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :newsham, so you are therefore inextricably tied to eastern European time Q.E.D. < 1309823051 557718 :newsham!~chat@udp216902uds.hawaiiantel.net PRIVMSG #esoteric :phantom: some would say I'm the white devil. < 1309823120 108461 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :newsham, I thought that was a drink. < 1309823143 771812 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :dst is unzepto < 1309823162 460059 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric : most of me was being kicked around eastern europe at the time this all went down <-- wait does this mean newsham isn't your real name < 1309823216 191659 :newsham!~chat@udp216902uds.hawaiiantel.net PRIVMSG #esoteric :one out of four of my grandparents were called newsham < 1309823218 103517 :newsham!~chat@udp216902uds.hawaiiantel.net PRIVMSG #esoteric :this much is true < 1309823225 818802 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :ah. < 1309823263 488404 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :oerjan, what, do you think they didn't have pigs that announced current events in eastern Europe? < 1309823284 294357 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :Phantom_Hoover: well it _could_ be translated of course. < 1309823286 747433 :newsham!~chat@udp216902uds.hawaiiantel.net PRIVMSG #esoteric :phantom: check out newsham.com < 1309823291 43169 :newsham!~chat@udp216902uds.hawaiiantel.net PRIVMSG #esoteric :(not my site, btw) < 1309823300 160480 :newsham!~chat@udp216902uds.hawaiiantel.net PRIVMSG #esoteric :but you might chuckle anyway < 1309823305 879224 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :Very good. < 1309823320 832811 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :Moses Neuesschinkel < 1309823329 180622 :newsham!~chat@udp216902uds.hawaiiantel.net PRIVMSG #esoteric :apparently lots of pig farming in the newsham line < 1309823331 888010 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :Is that German? < 1309823370 670865 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :newsham: that isn't real is it? < 1309823376 179261 :newsham!~chat@udp216902uds.hawaiiantel.net PRIVMSG #esoteric :it is < 1309823384 96583 :newsham!~chat@udp216902uds.hawaiiantel.net PRIVMSG #esoteric :pig genetics < 1309823384 270219 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :huh < 1309823387 790248 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :SuperMom™ Maternal Line < 1309823387 966466 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Your choice for performance and longevity. A proven maternal leader. < 1309823388 128421 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :SuperMom™ 37 < 1309823392 395420 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :i want a SuperMom™ < 1309823419 231721 :newsham!~chat@udp216902uds.hawaiiantel.net PRIVMSG #esoteric :some of the newsham/newsome coat of arms have pigs on em, too < 1309823482 878500 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :Stop flaunting your fancy family coat of arms. < 1309823521 94710 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :your SuperMom™ so fat, she can be used in the penrose process < 1309823526 119189 :newsham!~chat@udp216902uds.hawaiiantel.net PRIVMSG #esoteric :not to worry, recent family is all poor working class < 1309823540 586325 :Vorpal!~AnMaster@unaffiliated/anmaster QUIT :Ping timeout: 260 seconds < 1309823566 621150 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :newsham, yeah, but there are like no interesting people with my last name. < 1309823606 406408 :newsham!~chat@udp216902uds.hawaiiantel.net PRIVMSG #esoteric :you have a low self opinion? < 1309823649 168954 :newsham!~chat@udp216902uds.hawaiiantel.net PRIVMSG #esoteric :i assume you have your last name < 1309823660 128081 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric : didnt ben franklin help come up with daylight savings time? did that happen before ther ewere timezones? <-- last i heard he was joking. < 1309823720 916951 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Phantom_Hoover: your name is cool tho < 1309823722 678447 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :mine is just boring < 1309823822 896138 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :our family was so poor their coat had no arms < 1309823824 882276 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :newsham, yeah, but I mean actual Googleable people. < 1309823838 539416 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :
ACTION swatpans oerjan --==\#/
< 1309823849 321965 :newsham!~chat@udp216902uds.hawaiiantel.net PRIVMSG #esoteric :google, the foundation of all credibility! < 1309823857 406590 :newsham!~chat@udp216902uds.hawaiiantel.net PRIVMSG #esoteric :no google, never happened. < 1309823945 418358 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :Indeed.