< 1324771280 398492 :MDude!~fyrc@or-67-238-19-212.dhcp.embarqhsd.net JOIN :#esoteric < 1324771330 834007 :elliott_!~elliott@unaffiliated/elliott PRIVMSG #esoteric : elliott_: also, foldr performs tail call elimination. < 1324771334 404885 :elliott_!~elliott@unaffiliated/elliott PRIVMSG #esoteric :kallisti: You're an idiot. < 1324771343 174555 :elliott_!~elliott@unaffiliated/elliott PRIVMSG #esoteric :NEXT PLEASE. < 1324771363 646341 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :elliott_: it does. that's precisely why it's constant space. no stack frames are allocated. < 1324771370 458007 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :aside from the first one < 1324771399 642732 :Gregor!foobar@codu.org PRIVMSG #esoteric :... oy. < 1324771400 46655 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :fungot: So tell me about recharging Moon Stones? Is it true that it takes aeons? Will we see that gorgeous glow again? < 1324771400 230216 :fungot!~fungot@a91-152-37-146.elisa-laajakaista.fi PRIVMSG #esoteric :fizzie: to the northwest of this cape. he took back the medal from the frog king. and i'd like to see that mystical sword for myself! geez! < 1324771416 743113 :Gregor!foobar@codu.org PRIVMSG #esoteric :foldr does not /perform/ tail call elimination, foldr /benefits/ from tail call elimination. < 1324771419 241021 :itidus21!~itidus21@120.148.51.249 QUIT :Ping timeout: 244 seconds < 1324771431 688380 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :Gregor: sooooo pedantic. for fucks sake. < 1324771432 551565 :elliott_!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Gregor: It doesn't do that, either. < 1324771440 490224 :elliott_!~elliott@unaffiliated/elliott PRIVMSG #esoteric :kallisti has no idea how the call stack works in Haskell. < 1324771449 207269 :elliott_!~elliott@unaffiliated/elliott PRIVMSG #esoteric :And I for one am not going to be the one to teach him how it does. < 1324771462 275259 :Gregor!foobar@codu.org PRIVMSG #esoteric :Ohwait, foldl would actually benefit, wouldn't it, not foldr ... < 1324771465 321048 :elliott_!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Gregor: I mean, yes, it's guarded recursion, i.e. the recursion is a non-strict field of a constructor in WHNF. < 1324771468 731637 :elliott_!~elliott@unaffiliated/elliott PRIVMSG #esoteric :But that's not tail recursion. < 1324771479 278548 :elliott_!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Tail recursion is a purely syntactic property that is roughly 100% irrelevant in Haskell. < 1324771517 162102 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :elliott_: but it's the same optimization as tail call elimination. if it weren't, the stack would overflow as the list is traversed. < 1324771553 358818 :elliott_!~elliott@unaffiliated/elliott PRIVMSG #esoteric :kallisti: Have I mentioned you're an idiot? < 1324771563 240443 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :no. < 1324771640 520897 :elliott_!~elliott@unaffiliated/elliott PRIVMSG #esoteric :See, usually when I call people idiots, I make some attempt to explain to them why they're wrong. Also fun fact: This offer is voided when said person has a history of being adamant and sarcastic in asserting 1they're correct in the face of someonew ho knows more about them about a topic! < 1324771648 450303 :elliott_!~elliott@unaffiliated/elliott PRIVMSG #esoteric :"The fundamental cause of the trouble is that in the modern world the stupid are cocksure while the intelligent are full of doubt." --Jesus < 1324771673 746861 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :elliott_: perhaps you think I'm talking about tail recursion in a strict language. < 1324771678 951146 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :that would be silly, since I'm talking about Haskell. < 1324771722 206527 :elliott_!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Perhaps I'm not making any unwarranted or unreasonable assumptions, know exactly what you're trying to say, and you're just wrong. < 1324771728 487690 :elliott_!~elliott@unaffiliated/elliott PRIVMSG #esoteric :fizzie: Thx for -c btw, it's best. < 1324772110 922749 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :elliott_: ...I < 1324772115 408020 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :okay, you're not going to give me a chance. < 1324772121 378021 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :waste of time. < 1324772164 393490 :elliott_!~elliott@unaffiliated/elliott PRIVMSG #esoteric :kallisti: I've given you about a hundred chances, it's called every single time you've done this. < 1324772188 751141 :elliott_!~elliott@unaffiliated/elliott PRIVMSG #esoteric :I'm just stupid enough to keep biting the bait. < 1324772215 882347 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :elliott_: first of all, I know how Haskell's "call stack" works. < 1324772289 705926 :elliott_!~elliott@unaffiliated/elliott PRIVMSG #esoteric :That's what you say literally every time. < 1324772302 8695 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :I've made multiple claims to knowing about Haskell's call stack? < 1324772318 801291 :elliott_!~elliott@unaffiliated/elliott PRIVMSG #esoteric :You understand everything perfectly, you're just having a perfectly reasonable and valid disagreement among peers, until a few days later someone manages to bang into your head why you've made a fundamental misunderstanding, which you then claim was minor. < 1324772323 481952 :elliott_!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Seriously, I'm not interested. < 1324772348 942044 :elliott_!~elliott@unaffiliated/elliott PRIVMSG #esoteric :It's even more a waste of time than the rest of this channel's topics but at least those are entertaining. < 1324772382 151763 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :elliott "too good for #esoteric" hird < 1324772446 667849 :elliott_!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Yes, that's absolutely what I said. < 1324772492 335325 :Gregor!foobar@codu.org PRIVMSG #esoteric :Y'know, I'll bet if you /generated/ timelines instead of having presets (or as well as having presets), you could actually do an arbitrary-date time travel game reasonably ... < 1324772581 164204 :Gregor!foobar@codu.org PRIVMSG #esoteric :Feh, generating arbitrary timelines would be tough though X-D < 1324772595 170966 :Gregor!foobar@codu.org PRIVMSG #esoteric :Probably not impossible >_> < 1324772625 621152 :Gregor!foobar@codu.org PRIVMSG #esoteric :You'd have to find a way to do it on a massive scale and then sub-divide for individuals without making the whole no longer equal the sum of the parts. < 1324772638 84953 :Gregor!foobar@codu.org PRIVMSG #esoteric :Plus of course certain people are more important to history than others ... < 1324772727 628987 :elliott_!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Gregor: Remember when you had that awesome time raytracing thing and it turned out to be boring? :( < 1324772742 303415 :elliott_!~elliott@unaffiliated/elliott PRIVMSG #esoteric :
ACTION still bitter
< 1324772757 337276 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :elliott_: in fact I'm also aware that writing a function with "tail calls" and an accumulating list can be slower than an equivalent function that simply constructs the list directly. < 1324772759 394270 :DeadlyFugu!~matt@220.247.179.25 QUIT :Read error: Connection reset by peer < 1324772784 578998 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :elliott_: because I've written both of them and observed that constructing the list directly is faster. < 1324772792 404947 :DeadlyFugu!~matt@220.247.179.25 JOIN :#esoteric < 1324772844 134314 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :elliott_: I'm not talking about a syntactic tail call. < 1324772868 954054 :elliott_!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Tail calls are about complexity, not speed. And the definition of "tail call" is syntactic (consult e.g. the Scheme specification if you disagree). And I'm not arguing this so why am I even typing this. < 1324772871 725593 :elliott_!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Please stop. < 1324773139 690994 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :elliott_: I really don't think there's anything to argue about. < 1324773164 380642 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :another thing I "always" do, therefore: the result must always be the same because lol < 1324773837 102629 :elliott_!~elliott@unaffiliated/elliott PRIVMSG #esoteric :I think I will go to bed. < 1324774188 723174 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :hmm interesting. < 1324774202 845010 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :so if I use Word -> [Word] for my factoring function, it runs extremely fast. < 1324774209 299804 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :ah wait nevermind < 1324774244 848408 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :okay. sanity restored < 1324774302 418214 :elliott_!~elliott@unaffiliated/elliott QUIT :Ping timeout: 244 seconds < 1324774793 46550 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :@tell oerjan do you think there could be a faster way to write integer squareroot than floor . sqrt . fromIntegral < 1324774793 222641 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :Consider it noted. < 1324774964 746068 :Sgeo!~sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :What's wrong with that? < 1324774988 459204 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :NOT FAST ENOUGH < 1324774994 243334 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :I think I've found a faster intsqrt < 1324775010 190667 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :in Math.NumberTheory.Powers.Squares < 1324775115 375001 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :Sgeo: nothing is wrong with it. < 1324775155 353922 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :in fact since I only do one sqrt this is entirely a waste of time. < 1324775199 974954 :Sgeo!~sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :Clearly, you should use the magic number thingy < 1324775224 12948 :Sgeo!~sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :Oh, that's the reciprocal of the square root < 1324775258 74852 :Sgeo!~sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :Also, not integer I guess < 1324775409 872726 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :wow amazing < 1324775417 205837 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :no significant improvement in speed < 1324775428 224232 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :from optimizing one square root operation. < 1324775451 962119 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :~.53 to ~.52 < 1324775643 138212 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :(seconds) < 1324775652 828024 :Deewiant!~deewiant@cs27125254.pp.htv.fi PRIVMSG #esoteric :(Use ministat (from e.g. FreeBSD) or something equivalent for your benchmarking before calling something significant) < 1324775676 185653 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :Deewiant: what? I can't just spam time over and over and guesstimate? < 1324775693 800652 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :anyway I don't think this is measurably significant. < 1324775696 450918 :Sgeo!~sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :http://www.independent.co.uk/travel/news-and-advice/airlines-cleared-to-use-santas-shortcut-6281263.html What will this do to the Flat Earth society? < 1324775697 411497 :Deewiant!~deewiant@cs27125254.pp.htv.fi PRIVMSG #esoteric :Generally speaking no < 1324775717 947893 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :http://sprunge.us/LBOd any suggestions? < 1324775790 647242 :Deewiant!~deewiant@cs27125254.pp.htv.fi PRIVMSG #esoteric :EQ | m == 0 -> [i]; _ -> [] < 1324775796 730799 :Deewiant!~deewiant@cs27125254.pp.htv.fi PRIVMSG #esoteric :Not that it should matter < 1324775838 18016 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :...why would I do that? < 1324775907 940837 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :looks to be about the same. < 1324775913 548882 :Sgeo!~sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :Wait, they consider the edge to be in the Antarctic, right? < 1324775948 760756 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :I think to make this any significantly faster I'd need to change the algorithm. < 1324775959 470045 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :I've pretty much optimized this one as much as possible. < 1324775970 504633 :Deewiant!~deewiant@cs27125254.pp.htv.fi PRIVMSG #esoteric :Branch prediction should handle most of this kind of thing anyway < 1324776018 663921 :Deewiant!~deewiant@cs27125254.pp.htv.fi PRIVMSG #esoteric :You can try using 'if m == 0' as a higher-level check if you want, though < 1324776076 933123 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :I don't think that will do anything, and will make the code uglier probably. < 1324776131 273702 :Sgeo!~sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :if' t f True = t < 1324776137 966030 :Sgeo!~sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :if' t f False = f < 1324776153 576429 :Sgeo!~sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :Hmm, wait < 1324776177 6586 :Sgeo!~sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :That makes it hard to do an if based on (==0)\ < 1324776179 925812 :Sgeo!~sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :I think < 1324776192 871970 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :...what. < 1324776218 965121 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :heh, I could make the code really ugly and unroll the loop a little. :P < 1324776260 214517 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :for probably absolutely no gain. < 1324776475 445759 :MDude!~fyrc@or-67-238-19-212.dhcp.embarqhsd.net QUIT :Ping timeout: 240 seconds < 1324776996 824739 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com JOIN :#esoteric < 1324777311 378878 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :zzo38: how do you print a Word#? < 1324777412 828022 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com PRIVMSG #esoteric :kallisti: Maybe you use a constructor, is it called W# or something like that < 1324777439 119435 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :hm < 1324777439 785898 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :? < 1324777451 871624 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :@hoogle W# < 1324777452 87638 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :GHC.Exts W# :: Word# -> Word < 1324777459 435603 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :oh, I have to do that. < 1324777459 943129 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :okay. < 1324777653 199031 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :@hoogle Word# -> Ordering < 1324777653 486188 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :Unsafe.Coerce unsafeCoerce :: a -> b < 1324777653 662481 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :Data.Ord comparing :: Ord a => (b -> a) -> b -> b -> Ordering < 1324777653 839168 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :Prelude ($) :: (a -> b) -> a -> b < 1324777656 121083 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :hm < 1324777690 327221 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :hmmm no wordCompare# < 1324778195 694570 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :going from about 5 seconds to .5 is a pretty big improvement. < 1324778204 412763 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :I'm too lazy to try unboxing though < 1324778524 646301 :nooga!~nooga@86-63-122-103.sta.asta-net.com.pl QUIT :Ping timeout: 252 seconds < 1324778564 476182 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :@hoogle Word# -> Float# < 1324778564 808097 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :Unsafe.Coerce unsafeCoerce :: a -> b < 1324778564 984088 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :Prelude ($) :: (a -> b) -> a -> b < 1324778564 984288 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :Data.Function ($) :: (a -> b) -> a -> b < 1324778567 93279 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :hm < 1324778620 475564 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :@hoogle Word -> Word# < 1324778620 880932 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :Unsafe.Coerce unsafeCoerce :: a -> b < 1324778621 56952 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :Control.OldException throwDyn :: Typeable exception => exception -> b < 1324778621 233178 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :Control.DeepSeq ($!!) :: NFData a => (a -> b) -> a -> b < 1324778662 112711 :derdon!~derdon@pD9E1CD2A.dip.t-dialin.net QUIT :Remote host closed the connection < 1324779220 641623 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric ::t 2## < 1324779221 380632 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :GHC.Prim.Word# < 1324779225 210328 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :excellent < 1324779437 172827 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :> float2Int# 3.2# < 1324779437 993942 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : Not in scope: `float2Int#' < 1324782220 707729 :Klisz!~Klisz@c-67-176-12-54.hsd1.co.comcast.net JOIN :#esoteric < 1324782376 28681 :Sgeo!~sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :telnet miku.acm.uiuc.edu < 1324782709 651536 :monqy!~swell@pool-71-102-226-192.snloca.dsl-w.verizon.net PRIVMSG #esoteric ::( < 1324782804 892924 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :turns out using explicit unboxing is slower because I have to reconstruct the boxed types in order to print them. < 1324783180 485329 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :oh, hmmm, wait. < 1324783192 315813 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :maybe since IO is strict I should use an accumulating parameter. < 1324783317 557412 :incomprehensibly!~Adium@207-108-177-137.slkc.qwest.net QUIT :Ping timeout: 255 seconds < 1324783730 563492 :incomprehensibly!~Adium@207-108-177-137.slkc.qwest.net JOIN :#esoteric < 1324783831 649744 :incomprehensibly!~Adium@207-108-177-137.slkc.qwest.net QUIT :Client Quit < 1324784619 691648 :DCliche!~Klisz@c-67-176-12-54.hsd1.co.comcast.net JOIN :#esoteric < 1324784844 735020 :Klisz!~Klisz@c-67-176-12-54.hsd1.co.comcast.net QUIT :Ping timeout: 276 seconds < 1324785801 148795 :azaq23!~derivecto@unaffiliated/azaq23 QUIT :Quit: Leaving. < 1324786618 639726 :Gregor!foobar@codu.org QUIT :Ping timeout: 252 seconds < 1324786843 814966 :Gregor!foobar@codu.org JOIN :#esoteric < 1324787090 9077 :Sgeo!~sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :What's a 10th doctor episode I should watch? (Not Blink) < 1324787099 760036 :Sgeo!~sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :And not SitL/FotD < 1324787138 883625 :Gregor!foobar@codu.org PRIVMSG #esoteric :Why don't you just watch them in order ... < 1324787152 510215 :Sgeo!~sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :I've heard that they're mostly bad < 1324787169 352382 :Gregor!foobar@codu.org PRIVMSG #esoteric :So? < 1324787172 166101 :Gregor!foobar@codu.org PRIVMSG #esoteric :Suck it up. < 1324787308 950173 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :yes being entertained should feel like running cross country. < 1324787318 12230 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :you must endure it. < 1324787368 24353 :Sgeo!~sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :
ACTION has yet to watch the rest of DS9
< 1324787388 543477 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :you know what I find really bizzare about American television? aside from the material itself... < 1324787391 525281 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :canned laughter. < 1324787435 129648 :Gregor!foobar@codu.org PRIVMSG #esoteric :Yeah, laugh tracks are stupid. < 1324787458 784759 :Gregor!foobar@codu.org PRIVMSG #esoteric :But there is a lot of honest-to-goodness recorded-audience too, and laugh tracks are getting much less common. < 1324787573 195206 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :I would like a window mode that's "always on top of maximized windows" < 1324787623 965048 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :or "always on top of larger windows" < 1324787640 252747 :Gregor!foobar@codu.org PRIVMSG #esoteric :Hmm, I'm trying to think of what sit-coms I like that actually /use/ a laugh track ... almost none ... < 1324787649 246152 :augur!~augur@c-75-74-128-170.hsd1.fl.comcast.net PRIVMSG #esoteric :Sgeo: bli-- oh < 1324787654 780731 :augur!~augur@c-75-74-128-170.hsd1.fl.comcast.net PRIVMSG #esoteric :uh how about silence in th--- oh < 1324787662 981134 :augur!~augur@c-75-74-128-170.hsd1.fl.comcast.net PRIVMSG #esoteric :uh < 1324787700 802344 :augur!~augur@c-75-74-128-170.hsd1.fl.comcast.net PRIVMSG #esoteric :how about the season 4 finale. < 1324787710 838929 :Gregor!foobar@codu.org PRIVMSG #esoteric :Oh wait, duh, Seinfeld. < 1324787746 549524 :augur!~augur@c-75-74-128-170.hsd1.fl.comcast.net PRIVMSG #esoteric :man whats the deal with seinfeld < 1324787760 160297 :Gregor!foobar@codu.org PRIVMSG #esoteric :It's the greatest sit-com ever made? < 1324787775 975299 :augur!~augur@c-75-74-128-170.hsd1.fl.comcast.net PRIVMSG #esoteric :-_- < 1324787792 954256 :Gregor!foobar@codu.org PRIVMSG #esoteric :All those who don't like Seinfeld are bad people. < 1324787801 514123 :augur!~augur@c-75-74-128-170.hsd1.fl.comcast.net PRIVMSG #esoteric :apparently subtle seinfeld references made to seinfeld snobs go unnoticed < 1324787802 430485 :Sgeo!~sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :
ACTION is not a bad person.
< 1324787834 675559 :augur!~augur@c-75-74-128-170.hsd1.fl.comcast.net PRIVMSG #esoteric :Gregor: if i could ban you from life i wold < 1324787862 918224 :Gregor!foobar@codu.org PRIVMSG #esoteric :augur: That reference, it was way too subtle, I didn't get it X-D < 1324787890 721553 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :Gregor: Seinfeld is good < 1324787892 86058 :Gregor!foobar@codu.org PRIVMSG #esoteric :Since it's, y'know, a thing people say. < 1324787910 105961 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :I also enjoy How I Met Your Mother but I don't remember if it has a lauhg trakc or ont I am dontr emeber < 1324787918 947623 :Gregor!foobar@codu.org PRIVMSG #esoteric :kallisti: It definitely does. < 1324787935 189444 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :I've basically removed all television from my daily mind diet. < 1324787945 483434 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :for... like 3 years now. < 1324788013 52766 :Gregor!foobar@codu.org PRIVMSG #esoteric :I like some classique sitcoms too, I wonder if I Dream of Jeannie has a laugh track ... probably, but it may have been live. < 1324788029 942577 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :I don't think that one was. < 1324788034 903161 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :I like All in the Family, which is live. < 1324788089 188184 :Gregor!foobar@codu.org PRIVMSG #esoteric :Oh well. Silly laugh tracks. < 1324788267 43514 :Darth_Cliche!~Klisz@c-67-176-12-54.hsd1.co.comcast.net JOIN :#esoteric < 1324788364 297382 :Gregor!foobar@codu.org PRIVMSG #esoteric :I should make a laugh track bot. < 1324788380 169105 :Gregor!foobar@codu.org PRIVMSG #esoteric :And use some terrible heuristics to decide when it should laugh. < 1324788411 750794 :I0ther!none@cpe-74-72-121-109.nyc.res.rr.com JOIN :#esoteric < 1324788431 667953 :Gregor!foobar@codu.org PRIVMSG #esoteric :`welcome I0ther < 1324788442 825079 :HackEgo!foobar@codu.org PRIVMSG #esoteric :I0ther: Welcome to the international hub for esoteric programming language design and deployment! For more information, check out our wiki: http://esolangs.org/wiki/Main_Page < 1324788451 366454 :I0ther!none@cpe-74-72-121-109.nyc.res.rr.com PRIVMSG #esoteric :Hi Gregor < 1324788458 381988 :I0ther!none@cpe-74-72-121-109.nyc.res.rr.com PRIVMSG #esoteric :Thanks HackEgo < 1324788465 464609 :DCliche!~Klisz@c-67-176-12-54.hsd1.co.comcast.net QUIT :Ping timeout: 252 seconds < 1324788494 261099 :Sgeo!~sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :Meet the bots! < 1324788504 552301 :Sgeo!~sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :Erm, so many bots I'm not quite sure which do what, tbh < 1324788514 947033 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :Gregor: use a weighting factor that looks at different patterns and totals a weight, which has to pash a threshhold. < 1324788516 280915 :Sgeo!~sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :> text "Hello, I'm lambdabot. I do Haskell stuff." < 1324788517 40718 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : Hello, I'm lambdabot. I do Haskell stuff. < 1324788522 633669 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :Gregor: :P would be such a pattern. < 1324788556 812768 :Sgeo!~sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :`echo Hello. I'm .. some bot. I do Linuxy stuff. Shell commands can be run on me. < 1324788559 765769 :HackEgo!foobar@codu.org PRIVMSG #esoteric :Hello. I'm .. some bot. I do Linuxy stuff. Shell commands can be run on me. < 1324788565 288028 :I0ther!none@cpe-74-72-121-109.nyc.res.rr.com PART :#esoteric < 1324788567 811175 :Sgeo!~sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :... < 1324788568 953735 :Gregor!foobar@codu.org PRIVMSG #esoteric :kallisti: I was thinking I'd make a decision tree and train it off of the channel logs, with lines followed by "lol" or "rofl" etc having high value. < 1324788580 878570 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :fungot: introduce yourself < 1324788581 475130 :fungot!~fungot@a91-152-37-146.elisa-laajakaista.fi PRIVMSG #esoteric :kallisti: time to shove off! the name's bandeau. here to build the ocean palace? when do i work! the ultimate in defense for my, daughter! just like crono! < 1324788585 937983 :Gregor!foobar@codu.org PRIVMSG #esoteric :Sgeo: Nobody ever thought he was going to stay. < 1324788598 266598 :Sgeo!~sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :I didn't mean to scare him off < 1324788599 343119 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :Gregor: ah that's a good idea. You could also use "heh" or "(ha)+" < 1324788607 895753 :Gregor!foobar@codu.org PRIVMSG #esoteric :Indeed < 1324788743 53728 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric : (b|mw|mua)?a*(h+a+)+ < 1324788757 883183 :Gregor!foobar@codu.org PRIVMSG #esoteric :Nah, people don't muahahaha when something is funny. < 1324788776 949550 :Gregor!foobar@codu.org PRIVMSG #esoteric :They muahahaha right after taking a bite out of a baby's skull while The Good Guy watches helplessly. < 1324788777 125813 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :sure they do. < 1324788778 938960 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :muahahahahahahaha < 1324788957 532612 :Sgeo!~sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :baa < 1324788970 305903 :Sgeo!~sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :Oh, that doesn't fit < 1324788982 294073 :Sgeo!~sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :mwha < 1324789017 777198 :Gregor!foobar@codu.org PRIVMSG #esoteric :Actually baa does fit. < 1324789020 978857 :Gregor!foobar@codu.org PRIVMSG #esoteric :As does baaaaaaaaaaaaaaaaaaaaa < 1324789026 721020 :Gregor!foobar@codu.org PRIVMSG #esoteric :also, a < 1324789032 389740 :Gregor!foobar@codu.org PRIVMSG #esoteric :Err, aa < 1324789037 848168 :Sgeo!~sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :But the h is unavoidable, isn't it? < 1324789041 843429 :Sgeo!~sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :+ is one or more? < 1324789043 933044 :Gregor!foobar@codu.org PRIVMSG #esoteric :Nowait, yeah, need an h. < 1324789045 898828 :Gregor!foobar@codu.org PRIVMSG #esoteric :I missed that. < 1324789049 579195 :Gregor!foobar@codu.org PRIVMSG #esoteric :Thought it was * for some reason. < 1324789069 823146 :Gregor!foobar@codu.org PRIVMSG #esoteric :That's actually a pretty good RE :( < 1324789096 783785 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :
ACTION is master of regex.
< 1324789105 451842 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :
ACTION master
< 1324789280 454951 :Darth_Cliche!~Klisz@c-67-176-12-54.hsd1.co.comcast.net QUIT :Quit: You are now graced with my absence. < 1324789864 788236 :copumpkin!~pumpkin@unaffiliated/pumpkingod QUIT :Ping timeout: 240 seconds < 1324790289 910146 :copumpkin!~pumpkin@unaffiliated/pumpkingod JOIN :#esoteric < 1324790775 82736 :pikhq!~pikhq@71-219-224-136.clsp.qwest.net PRIVMSG #esoteric :http://0taku.livedoor.biz/archives/4055139.html On the WTF scale of 1 to 10, this somehow overflows int. < 1324790797 341635 :pikhq!~pikhq@71-219-224-136.clsp.qwest.net PRIVMSG #esoteric :(Japanese language, understanding not necessary) < 1324790862 297610 :pikhq!~pikhq@71-219-224-136.clsp.qwest.net PRIVMSG #esoteric :(Context: They are celebrating Christmas. ... With characters from animation and animated porn.) < 1324790901 72889 :monqy!~swell@pool-71-102-226-192.snloca.dsl-w.verizon.net PRIVMSG #esoteric :sounds like good fun < 1324790912 445850 :Madoka-Kaname!~moe@inportb/loli/cirno-chan PRIVMSG #esoteric :I think in Japanese it's something like 「なんでやねん！？」 < 1324790975 731833 :pikhq!~pikhq@71-219-224-136.clsp.qwest.net PRIVMSG #esoteric :Yeah, that would be a translation for WTF. < 1324791219 66943 :Sgeo!~sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :I may have inadvertantly lead Haskellers here, just a headsup < 1324791281 313062 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com PRIVMSG #esoteric :Does this mean anything meaningful to you? newtype T v f x = T (T x f v -> f x); < 1324791327 423067 :pikhq!~pikhq@71-219-224-136.clsp.qwest.net PRIVMSG #esoteric :Sgeo: Meh, no worries. < 1324791501 51478 :Madoka-Kaname!~moe@inportb/loli/cirno-chan PRIVMSG #esoteric :zzo38, what < 1324791532 670522 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com PRIVMSG #esoteric :Madoka-Kaname: I don't really know what, it is why I asked < 1324791820 704288 :Sgeo!~sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :There exists a paper about PerlNomic < 1324791866 207306 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :perlnomic? < 1324791881 302416 :Sgeo!~sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :...you've never heard of perlnomic. < 1324791884 226050 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :nope < 1324791887 5821 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :is it context based? < 1324791894 554322 :Sgeo!~sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :Huh? < 1324791895 84998 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :do you evaluate laws in list and scalar context? < 1324791903 493644 :Sgeo!~sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :The code is the law < 1324791911 50428 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :ah, so yes. < 1324792176 292616 :PiRSquared17!~PiRSquare@wikipedia/PiRSquared17 JOIN :#esoteric < 1324792225 13981 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com PRIVMSG #esoteric :I wonder whether the type I specified is a functor or monad or category (with type arguments swapped) or anything else at all < 1324792337 118825 :Madoka-Kaname!~moe@inportb/loli/cirno-chan PRIVMSG #esoteric :Sgeo, let's play Python nomic < 1324792360 218508 :Sgeo!~sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :elliott apparently thought about HaskellNomic back in 2008 < 1324792884 939212 :Madoka-Kaname!~moe@inportb/loli/cirno-chan PRIVMSG #esoteric :I propose the following be made law: < 1324792885 558308 :Madoka-Kaname!~moe@inportb/loli/cirno-chan PRIVMSG #esoteric :import zlib;exec reduce(lambda x,y:x.decode("hex"),[zlib.decompress("eJxtUsuOwjAMvPtrYLsc94AEhx6SqlJ74MwBKXwANF+/sROPnYIq5VHb45lxQg45pvAT8lxOvJdv4fXOp5fcE6+PFr9l+Vf3d3D1BICEhENLKOuV75vEL2jwW8G4TuID36YSL2AjFx4FYEHnI+/xa4OnKchoIHH6DuAaJJTtJbp4ZUgmcTQJxsBJFICTAdw+LKAe4IrOURJmz1CZyR6XniHXF7AzPNAElRbhi4+PmHJpWP6vaEBKufdobRLUo7Ux64Yk98kIHMgYnE1CwpQ2i8+7IVkDfYcEEw3ASXziHdVvzH2+Dql6SErx0+TQhnD3z0Dfl/PQCFBIMHHYjf29Axj8kNDAhrSJZ9MFEk5Owh/9AyvTW+4=".de < 1324792885 734315 :Madoka-Kaname!~moe@inportb/loli/cirno-chan PRIVMSG #esoteric :code("base64")).decode("base64")]*4) < 1324792955 971381 :PiRSquared17!~PiRSquare@wikipedia/PiRSquared17 PRIVMSG #esoteric :o.O < 1324792982 519824 :Madoka-Kaname!~moe@inportb/loli/cirno-chan PRIVMSG #esoteric :(This is the code version of legalese, right?) < 1324793244 703604 :Madoka-Kaname!~moe@inportb/loli/cirno-chan PRIVMSG #esoteric :Or, if you want a slightly less line-overflowing version: < 1324793245 240247 :Madoka-Kaname!~moe@inportb/loli/cirno-chan PRIVMSG #esoteric :import zlib;exec reduce(lambda x,y:x.decode("hex"),[zlib.decompress("eJxVkT2uwkAMhPs9TX4eB0CCIsUYPSkptk6BtBwAmNPjsZMIimi1a3u+GQesg10wgFca8QQn3vxuDfTvhaM+6d75nZjxBs/q/wO9NmME7yxotQcXDffW6jFwmyUADXTf9ez3kwew3wBjERFNhGkTeKghnOCSRIRDyGFnbfF6HcJx9C+qPyVY9BAEsfzBIkIAdMpdOp5DIIDW/reVVM2OsQJPUH4jpENEQwBO4CrMDjgJYLtgOqRFgsWdSSQdhUDuZN2iXpn1lXukTBA/6a2VCFA+a7ib1g==".decode("base64")).decode("base64")]*3) < 1324793349 903325 :PiRSquared17!~PiRSquare@wikipedia/PiRSquared17 PRIVMSG #esoteric :I don't trust that < 1324793456 558325 :Madoka-Kaname!~moe@inportb/loli/cirno-chan PRIVMSG #esoteric :Sgeo, has anybody done something like that in Perl Nomic? < 1324793485 721769 :Sgeo!~sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :Get rid of the exec and it should be .. n/m < 1324794168 83679 :Madoka-Kaname!~moe@inportb/loli/cirno-chan PRIVMSG #esoteric :http://paste.strictfp.com/23213?key=1acffb6a1f52d873c798284b55fc730e < 1324794173 1222 :Madoka-Kaname!~moe@inportb/loli/cirno-chan PRIVMSG #esoteric :Sgeo, this is the final version of the "law" < 1324794197 693537 :Sgeo!~sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :Madoka-Kaname, "helpful" < 1324794235 153945 :PiRSquared17!~PiRSquare@wikipedia/PiRSquared17 PRIVMSG #esoteric :What does that decode to < 1324794243 50242 :PiRSquared17!~PiRSquare@wikipedia/PiRSquared17 PRIVMSG #esoteric :(to scared to try) < 1324794244 729121 :PiRSquared17!~PiRSquare@wikipedia/PiRSquared17 PRIVMSG #esoteric :? < 1324794247 250616 :PiRSquared17!~PiRSquare@wikipedia/PiRSquared17 PRIVMSG #esoteric :*too < 1324794352 274804 :Madoka-Kaname!~moe@inportb/loli/cirno-chan PRIVMSG #esoteric :PiRSquared17, replace the "exec" with a "print" < 1324794352 487255 :Madoka-Kaname!~moe@inportb/loli/cirno-chan PRIVMSG #esoteric :=p < 1324794397 193451 :PiRSquared17!~PiRSquare@wikipedia/PiRSquared17 PRIVMSG #esoteric :http://codepad.org/X4JZieG4 < 1324794535 562182 :Madoka-Kaname!~moe@inportb/loli/cirno-chan PRIVMSG #esoteric :The trick here is this: < 1324794535 929877 :Madoka-Kaname!~moe@inportb/loli/cirno-chan PRIVMSG #esoteric :__builtins__.__dict__["X19pbXBvcnRfXw==".decode("base64")]("X19idWlsdGluX18=".decode("base64")).__dict__["6576616c".decode("hex")] < 1324794540 67358 :Madoka-Kaname!~moe@inportb/loli/cirno-chan PRIVMSG #esoteric :This is the actual exec call < 1324794543 50001 :Madoka-Kaname!~moe@inportb/loli/cirno-chan PRIVMSG #esoteric :The first one is a decoy < 1324795553 302191 :DeadlyFugu!~matt@220.247.179.25 QUIT :Ping timeout: 252 seconds < 1324795650 161926 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com PRIVMSG #esoteric :Make a computer game based on the story of Dungeons&Dragons game I have been playing in (you can read it in order to do so, because I recorded everything in this story so far) < 1324796981 637800 :PiRSquared17!~PiRSquare@wikipedia/PiRSquared17 NICK :PiRSquaredAway < 1324798443 978839 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com PRIVMSG #esoteric :The type I specified above, it seem to me, x is always going to be covariant and v always contravariant, if f is functor. But I don't know how well they will work < 1324798666 937410 :Sgeo!~sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :zzo38, what's the difference between the barrier monad and http://hackage.haskell.org/package/monad-coroutine ? < 1324798806 502235 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com PRIVMSG #esoteric :Sgeo: Barrier monad is really a somewhat more specific version of that. I did not see that until afterward, though, and barrier monad library also has some of its addition functions < 1324800312 754951 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :-e expr Evaluate expr; see for details. < 1324800315 726176 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :thanks ghc! < 1324800701 757559 :pikhq!~pikhq@71-219-224-136.clsp.qwest.net PRIVMSG #esoteric :Hmm. I wonder. What is the monetary value of Vatican City? < 1324800715 309864 :pikhq!~pikhq@71-219-224-136.clsp.qwest.net PRIVMSG #esoteric :Thus far, estimates I've found have stated NAN. < 1324800753 183936 :Sgeo!~sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :
ACTION wonders how to coerce quickcheck into doing what he wants
< 1324800769 307907 :Sgeo!~sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :This primarily involves learning to get to grips with quickcheck < 1324800779 990485 :Sgeo!~sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :At least, the quickcheck on lambdabot < 1324801501 277597 :oerjan!oerjan@sprocket.nvg.ntnu.no JOIN :#esoteric < 1324801895 331587 :Patashu!~Patashu@c122-106-155-219.carlnfd1.nsw.optusnet.com.au JOIN :#esoteric < 1324801996 901773 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com PRIVMSG #esoteric :What might the type I specified to make? newtype T v f x = T (T x f v -> f x); Do you have any idea about this? < 1324802030 174699 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com PRIVMSG #esoteric :Is it any kind of data structure or control structure? < 1324802129 956747 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i don't know but it reminds me of the "haskelljoust" game elliott and i discussed, and the type i made for it which he seemed not to like: newtype HJ = HJ (HJ -> Bool) < 1324802130 185363 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :oerjan: You have 1 new message. '/msg lambdabot @messages' to read it. < 1324802250 191645 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com PRIVMSG #esoteric :Is it any kind of... Functor? Category? Monad? Applicative? Transformer? (Of course to be a category you would need to flip the type arguments, if it can make any category at all!) < 1324802273 498996 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com PRIVMSG #esoteric :oerjan: O, what were you going to use that HJ type for exactly? < 1324802288 231778 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com PRIVMSG #esoteric :I don't know what a "haskelljoust" game is < 1324802369 238291 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com PRIVMSG #esoteric :But, yes I can see what kind of similarity there is < 1324802570 85686 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :well i mean that as an analogy to bfjoust: each player makes a "warrior", a haskell expression of type HJ -> Bool. they are then tested by calculating w1 (HJ w1), w1 (HJ w2), w2 (HJ w1) and w2 (HJ w2). each warrior must return True when passed itself, and to win it should return False when passed the other, while the other fails at the reverse (by either returning True or not returning a Bool at all within the time limit) < 1324802761 719578 :Sgeo!~sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :What happens if they both succeed or both fail? < 1324802763 939138 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com PRIVMSG #esoteric :I don't know how well that would actually work. < 1324802767 476232 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :Sgeo: a tie < 1324802790 437494 :Sgeo!~sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :Also, Haskell functions are opaque, aren't they? < 1324802791 759937 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com PRIVMSG #esoteric :Do you have an example of a pair of functions that both succeed? < 1324802799 188586 :Sgeo!~sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :Well, I guess you could pass them data to see how they act < 1324802867 153139 :Sgeo!~sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :Hmm < 1324802868 934435 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com PRIVMSG #esoteric :However, the type I specified is a bit different, in a few ways < 1324802870 145720 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :yes, basically you can start with const True (a warrior which never wins) and const False (always disqualified) and build more complicated HJ values from that < 1324802900 306627 :Sgeo!~sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :
ACTION wonders if it's possible to make a warrior that always forces a tie
< 1324802917 286365 :Sgeo!~sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :Not sure where I got the idea from < 1324802967 739779 :Sgeo!~sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :Trivial warrior that's tough to defeat unless a human writes a specialized warrior to defeat it: < 1324802972 833395 :Sgeo!~sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :...n/m < 1324802973 702899 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :Sgeo: i don't know. you can do something like \w -> w (HJ w) which will tend to cause loops, but then you get disqualified for not return True for yourself < 1324802998 336409 :Sgeo!~sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :I was thinking some sort of warrior that could do a signature thing, but that makes no sense < 1324802999 797522 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :*returning < 1324803016 44509 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :Sgeo: actually i think that makes quite a bit of sense. < 1324803026 803672 :Sgeo!~sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :Unless you can make this idea work: A signature that the warrior checks for, if it means the signature it returns true, otherwise false < 1324803038 174697 :Sgeo!~sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :I have no idea how you'd pass in a signature though. < 1324803061 250195 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :Sgeo: well think of const False and const True as the simplest possible signatures. < 1324803276 900245 :Vorpal!~AnMaster@unaffiliated/anmaster PRIVMSG #esoteric : Oh no, Satan is giving presents to Vorpal now. <-- is he? < 1324803318 30014 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com PRIVMSG #esoteric :For my type: lift = T . const; empty = T $ const empty; T x <|> T y = T $ \z -> x z <|> y z; And I am not sure what else, if any < 1324803597 953043 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :imagines a world in which wolfram alpha is actually kind of good < 1324803686 862425 :Vorpal!~AnMaster@unaffiliated/anmaster PRIVMSG #esoteric :Sgeo: warrior for what? < 1324803702 465678 :Sgeo!~sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :haskelljoust < 1324803705 942064 :Sgeo!~sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :Read scrollup < 1324803706 118166 :Vorpal!~AnMaster@unaffiliated/anmaster PRIVMSG #esoteric : heh < 1324803855 468960 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com PRIVMSG #esoteric :Can any Alternative or MonadPlus be made backward? I would think so, by swapping the order of <|> < 1324803880 21505 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com PRIVMSG #esoteric :This might affect functions that use <|> such as optional and some and many < 1324804084 772271 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :zzo38: does this work for Functor f => Functor (T v f x): fmap g (T h) = T (\t -> fmap g . h $ fmap' g t); fmap' g (T t) = T (\h -> t $ fmap g h) < 1324804187 615278 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :or pointfree, fmap g (T h) = T (fmap g . h . fmap' g); fmap' g (T t) = T (t . fmap g) < 1324804209 941322 :Sgeo!~sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :I think I'm in love with enumerator < 1324804332 939931 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :fmap' :: (x -> y) -> T y f v -> T x f v < 1324804349 841779 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :*fmap' :: Functor f => (x -> y) -> T y f v -> T x f v < 1324804373 858830 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com PRIVMSG #esoteric :oerjan: Maybe; I am going to sleep now, though. Try it yourself or keep writing message if you want to, which I will read tomorrow or the next day. Or just wait until I am back on < 1324804377 805299 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com QUIT :Quit: zzo38 < 1324804442 69173 :itidus21!~itidus21@120.148.51.249 JOIN :#esoteric < 1324804490 635227 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`haskell newtype T v f x = T (T x f v -> f x); instance Functor f => Functor (T v f x) where { fmap g (T h) = T (fmap g . h . fmap' g) }; fmap' g (T t) = T (t . fmap g); main = print "Yay it types!" < 1324804500 286347 :HackEgo!foobar@codu.org PRIVMSG #esoteric :​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: haskell: not found < 1324804504 940331 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :AAAAAAAAAAAAAAAAAAAAAa < 1324804534 97295 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :!haskell newtype T v f x = T (T x f v -> f x); instance Functor f => Functor (T v f x) where { fmap g (T h) = T (fmap g . h . fmap' g) }; fmap' g (T t) = T (t . fmap g); main = print "Yay it types!" < 1324804541 41509 :Vorpal!~AnMaster@unaffiliated/anmaster PRIVMSG #esoteric :oerjan: why not use lambdabot? < 1324804541 218134 :EgoBot!foobar@codu.org PRIVMSG #esoteric :runhaskell: syntax: runghc [-f GHC-PATH | --] [GHC-ARGS] [--] FILE ARG... < 1324804558 736029 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :Vorpal: HAVE YOU EVER SEEN LAMBDABOT ACCEPT A TYPE DECLARATION? < 1324804566 871577 :Vorpal!~AnMaster@unaffiliated/anmaster PRIVMSG #esoteric :oerjan: now that you mention it, no < 1324804574 805913 :Vorpal!~AnMaster@unaffiliated/anmaster PRIVMSG #esoteric :which is kind of silly < 1324804576 507552 :Vorpal!~AnMaster@unaffiliated/anmaster PRIVMSG #esoteric :it should < 1324804619 941337 :Vorpal!~AnMaster@unaffiliated/anmaster PRIVMSG #esoteric :bbiab < 1324804626 284506 :Vorpal!~AnMaster@unaffiliated/anmaster QUIT :Quit: ZNC - http://znc.sourceforge.net < 1324804709 54449 :Vorpal!~AnMaster@unaffiliated/anmaster JOIN :#esoteric < 1324804709 230478 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`run ls bin h* < 1324804712 875924 :HackEgo!foobar@codu.org PRIVMSG #esoteric :ls: cannot access h*: No such file or directory \ bin: \ ? \ @ \ No \ _tmpe \ addquote \ allquotes \ calc \ define \ delquote \ etymology \ forget \ fortune \ frink \ google \ hatesgeo \ json \ k \ karma \ karma+ \ karma- \ learn \ log \ logurl \ macro \ marco \ paste \ pastekarma \ pastelog \ pastelogs \ pastenquotes \ pastequotes \ pastewisdom \ pastlog \ ping \ prefixes \ qc \ quote \ quotes \ roll \ toutf8 < 1324804825 218421 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :@tell elliott so let me see, i complained the other day that we didn't have a bot which accepted haskell modules because EgoBot's was broken; kallisti helpfully put one in HackEgo despite your best attempts to sabotage him; you sent a fix for EgoBot and then considered the fact you had _sent_ the fix enough reason to DELETE kallisti's version; which with Gregor's usual responsivity means we _still_ don't have a bot capable of haskell modules. < 1324804825 442312 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :Consider it noted. < 1324804941 366484 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`which runhaskell < 1324804944 320523 :HackEgo!foobar@codu.org PRIVMSG #esoteric :​/opt/ghc/bin/runhaskell < 1324804990 470441 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :@tell elliott oh well i guess can use runhaskell directly. i still have this urge to ban you though. merry christmas. < 1324804990 683593 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :Consider it noted. < 1324805010 35150 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :oerjan: lol < 1324805051 958910 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`run echo 'newtype T v f x = T (T x f v -> f x); instance Functor f => Functor (T v f x) where { fmap g (T h) = T (fmap g . h . fmap' g) }; fmap' g (T t) = T (t . fmap g); main = print "Yay it types!"' >typetest.hs < 1324805054 801321 :HackEgo!foobar@codu.org PRIVMSG #esoteric :bash: -c: line 0: syntax error near unexpected token `)' \ bash: -c: line 0: `echo 'newtype T v f x = T (T x f v -> f x); instance Functor f => Functor (T v f x) where { fmap g (T h) = T (fmap g . h . fmap' g) }; fmap' g (T t) = T (t . fmap g); main = print "Yay it types!"' >typetest.hs' < 1324805062 563103 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :goddammit < 1324805083 976202 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`run echo "newtype T v f x = T (T x f v -> f x); instance Functor f => Functor (T v f x) where { fmap g (T h) = T (fmap g . h . fmap' g) }; fmap' g (T t) = T (t . fmap g); main = print "'"Yay it types!"' >typetest.hs < 1324805086 985452 :HackEgo!foobar@codu.org PRIVMSG #esoteric :No output. < 1324805095 653886 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`cat typetest.hs < 1324805097 589539 :Vorpal!~AnMaster@unaffiliated/anmaster PRIVMSG #esoteric :oerjan, use `revert to get kallisti's code? < 1324805098 607052 :HackEgo!foobar@codu.org PRIVMSG #esoteric :newtype T v f x = T (T x f v -> f x); instance Functor f => Functor (T v f x) where { fmap g (T h) = T (fmap g . h . fmap' g) }; fmap' g (T t) = T (t . fmap g); main = print "Yay it types!" < 1324805140 568766 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :Vorpal: i am not proficient with vcs'es; won't that revert everything else done since then? < 1324805164 935147 :Vorpal!~AnMaster@unaffiliated/anmaster PRIVMSG #esoteric :oerjan, well yes, so extract the file only then < 1324805181 366781 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :well it would be trivial to rewrite I believe. < 1324805204 228962 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`runhaskell typetest.hs < 1324805209 584394 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :oerjan: noep < 1324805210 655784 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :oh < 1324805212 530219 :HackEgo!foobar@codu.org PRIVMSG #esoteric :​\ typetest.hs:1:70: \ Kind mis-match \ The first argument of `Functor' should have kind `* -> *', \ but `T v f x' has kind `*' \ In the instance declaration for `Functor (T v f x)' < 1324805219 991932 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :oops < 1324805230 332185 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`run echo "newtype T v f x = T (T x f v -> f x); instance Functor f => Functor (T v f) where { fmap g (T h) = T (fmap g . h . fmap' g) }; fmap' g (T t) = T (t . fmap g); main = print "'"Yay it types!"' >typetest.hs < 1324805233 370701 :HackEgo!foobar@codu.org PRIVMSG #esoteric :No output. < 1324805236 582088 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`runhaskell typetest.hs < 1324805241 706594 :HackEgo!foobar@codu.org PRIVMSG #esoteric :​"Yay it types!" < 1324805244 466890 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :whew < 1324805383 273342 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`help < 1324805385 578107 :HackEgo!foobar@codu.org PRIVMSG #esoteric :Runs arbitrary code in GNU/Linux. Type "`", or "`run " for full shell commands. "`fetch " downloads files. Files saved to $PWD are persistent, and $PWD/bin is in $PATH. $PWD is a mercurial repository, "`revert " can be used to revert to a revision. See http://codu.org/projects/hackbot/fshg/ < 1324805464 796732 :Vorpal!~AnMaster@unaffiliated/anmaster PRIVMSG #esoteric :how can it take minutes to load the system event log in windows.... < 1324805525 292742 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :@tell elliott i suppose you helped kallisti with it, too... < 1324805525 503979 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :Consider it noted. < 1324805560 969613 :Vorpal!~AnMaster@unaffiliated/anmaster PRIVMSG #esoteric :ah there we go < 1324805564 758867 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :`run (echo '#!/bin/sh'; echo 'runhaskell <<< "$1") > bin/haskell < 1324805567 219077 :HackEgo!foobar@codu.org PRIVMSG #esoteric :bash: -c: line 0: unexpected EOF while looking for matching `'' \ bash: -c: line 1: syntax error: unexpected end of file < 1324805575 666906 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :`run (echo '#!/bin/sh'; echo 'runhaskell <<< "$1"') > bin/haskell < 1324805578 391213 :HackEgo!foobar@codu.org PRIVMSG #esoteric :No output. < 1324805581 727571 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :`haskell main = print (2+2) < 1324805584 127278 :HackEgo!foobar@codu.org PRIVMSG #esoteric :​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: /hackenv/bin/haskell: Permission denied \ /home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: /hackenv/bin/haskell: cannot execute: Permission denied < 1324805592 697689 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :`run chmod +x bin/haskell < 1324805595 194579 :HackEgo!foobar@codu.org PRIVMSG #esoteric :No output. < 1324805598 670932 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :`haskell main = print (2+2) < 1324805601 664692 :HackEgo!foobar@codu.org PRIVMSG #esoteric :​/hackenv/bin/haskell: 2: Syntax error: redirection unexpected < 1324805605 534861 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :oh < 1324805607 114841 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :kallisti: you know i just looked it up on http://codu.org/projects/hackbot/fshg/index.cgi/rev/d30da6e6e1c6?revcount=240 < 1324805614 321017 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :`run (echo '#!/bin/bash'; echo 'runhaskell <<< "$1"') > bin/haskell < 1324805616 549569 :HackEgo!foobar@codu.org PRIVMSG #esoteric :No output. < 1324805621 350317 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :`run chmod +x bin/haskell < 1324805623 947557 :HackEgo!foobar@codu.org PRIVMSG #esoteric :No output. < 1324805625 409995 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :`haskell main = print (2+2) < 1324805630 989666 :HackEgo!foobar@codu.org PRIVMSG #esoteric :4 < 1324805637 186587 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :oerjan: that's pretty much what it was. < 1324805697 218237 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :oh well. EgoBot's version still works in ghci mode, anyway. < 1324805741 850796 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`haskell newtype T v f x = T (T x f v -> f x); instance Functor f => Functor (T v f x) where { fmap g (T h) = T (fmap g . h . fmap' g) }; fmap' g (T t) = T (t . fmap g); main = print "Yay it types!" < 1324805747 254122 :HackEgo!foobar@codu.org PRIVMSG #esoteric :​\ /tmp/runghcXXXX279.hs:1:70: \ Kind mis-match \ The first argument of `Functor' should have kind `* -> *', \ but `T v f x' has kind `*' \ In the instance declaration for `Functor (T v f x)' < 1324805757 965788 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :
ACTION facepalm
< 1324805765 645603 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`haskell newtype T v f x = T (T x f v -> f x); instance Functor f => Functor (T v f) where { fmap g (T h) = T (fmap g . h . fmap' g) }; fmap' g (T t) = T (t . fmap g); main = print "Yay it types!" < 1324805770 750087 :HackEgo!foobar@codu.org PRIVMSG #esoteric :​"Yay it types!" < 1324805859 686363 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :oerjan: this program is a proof that it types. < 1324805863 606183 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :beautiful < 1324805910 21250 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :so i think. there are some cases where ghc only looks things up when used, but i that's mostly to check instance overlap. < 1324805919 525879 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :*i think < 1324805939 248422 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :oh and import overlaps too < 1324806144 966510 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :hm making that pointfree actually made checking the Functor laws easier. < 1324806262 492485 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :which is sort of expected for category theory, come to think of it. < 1324806336 317353 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :@tell zzo38 btw, fmap' shows that T is also a contravariant functor in its first argument. < 1324806336 549696 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :Consider it noted. < 1324806419 960636 :ais523!~ais523@unaffiliated/ais523 JOIN :#esoteric < 1324806438 248127 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :merry christmas everyone < 1324806719 551198 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :ho ho ho < 1324806807 392391 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :oerjan: is it Christmas today in Norway? < 1324806811 623375 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :or is it on some other day of the year? < 1324806815 960813 :Taneb!~Taneb@host-84-13-72-105.opaltelecom.net JOIN :#esoteric < 1324806818 318553 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :yesterday, mainly < 1324806851 219700 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :T v f x = T ((T v f x -> f v) -> f x) if you combine two levels, which makes < 1324806871 165318 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :it clear that all x positions are covariant, so it should be a functor. < 1324806960 605309 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :hmm, I used to be one of those people who knew the difference between covariant and contravariant, but not which was which < 1324806989 839078 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :but I think I can remember the difference nowadays in simple cases like that < 1324807029 204661 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :well the way i think about it in haskell, the top position is covariant and then things stay the same when you go down into the fields of a data type, _except_ for the first argument of a -> which swaps them. < 1324807109 577405 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :and of course there is the functor definition, fmap (f . g) = fmap f . fmap g but cofmap (f . g) = cofmap g . cofmap f < 1324807159 527152 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :and if all positions of an argument in a data type are covariant you can usually make the corresponding functor. < 1324807200 568353 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :(i thought about it the other day and if there are strict fields the laws can break down a bit in presence of bottom) < 1324807271 831803 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :like if you have data Test x = Test Int !x; then Test is not quite a functor because fmap (const a) . fmap undefined is not = fmap (const a) < 1324807284 70441 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :the former wipes out the Int < 1324807301 138921 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :and the constructor < 1324807357 100122 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :> flip f x y < 1324807357 875504 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : Ambiguous type variable `b' in the constraints: < 1324807358 51639 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : `SimpleReflect.FromExpr ... < 1324807362 531475 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :> flip f x y :: Expr < 1324807364 51705 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : f y x < 1324807371 658429 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :> flip f (g x) y :: Expr < 1324807372 443217 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : Ambiguous type variable `a' in the constraints: < 1324807372 619162 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : `SimpleReflect.FromExpr ... < 1324807376 221963 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :of course haskellers sometimes say bottoms don't count for laws, but for ordinary lazy data structures Functor instances are frequently completely correct even then < 1324807420 236215 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :hm... < 1324807441 687716 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric ::t expr -- this function can be useful to fix types < 1324807442 480240 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :Expr -> Expr < 1324807470 755895 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :> flip f (expr $ g x) y :: Expr < 1324807472 252138 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : f y (g x) < 1324807485 410176 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i guess that case wasn't much shorter than :: Expr < 1324807516 400532 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :> f . expr . g . expr . h $ x :: Expr < 1324807517 935861 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : f (g (h x)) < 1324807578 760025 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :I see. < 1324807580 321045 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :@src expr < 1324807580 650106 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :Source not found. Do you think like you type? < 1324807583 541648 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :that one's harder to do with just :: Expr though < 1324807595 360501 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :kallisti: it's just id with a type annotation, i think < 1324807612 166272 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :and simplereflect isn't going to be in @src, it's an obscure package. < 1324807795 257801 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :oerjan: obviously @src needs to be a universal oracle of Haskell source code. < 1324807844 445136 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i think haddock is the closest to that. < 1324807851 992712 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :er < 1324807854 235003 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :*hayoo < 1324807884 158625 :Sgeo!~sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :Hayoo needs to be moved to Haskell.org < 1324807885 154703 :Sgeo!~sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :>.> < 1324807885 494161 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :which of course points to haddocks < 1324808011 540278 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :@hoogle xmlSerialize < 1324808011 767643 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :No results found < 1324808038 757284 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :_and_ of course, @hoogle needs to expand to all of hackage < 1324808089 601240 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :yes indeed < 1324808101 811678 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :imports in Haskell programs should automatically install from hackage. < 1324808343 981579 :Sgeo!~sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :Would Hayoo have any use if Hoogle searched all of Hackage? < 1324808618 768267 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :If Hoogle searched all of Hackage, the obvious solution is to extend Hayoo to search all Haskell source, period. Including e.g. stuff on private people's disks and so on. < 1324808659 392269 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :obviously. < 1324809151 999532 :Taneb!~Taneb@host-84-13-72-105.opaltelecom.net QUIT :Ping timeout: 240 seconds < 1324809354 409646 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric : http://www.independent.co.uk/travel/news-and-advice/airlines-cleared-to-use-santas-shortcut-6281263.html What will this do to the Flat Earth society? < 1324809374 47589 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :nothing, there's still a patch of antarctica uncovered < 1324809454 656406 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :also, stop correcting yourself when i'm about to. < 1324809631 563087 :Sgeo!~sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric ::D < 1324809725 246769 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric : turns out using explicit unboxing is slower because I have to reconstruct the boxed types in order to print them. < 1324809749 450560 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i had this possibly unfounded impression ghc does a lot of things unboxed under the hood when it can < 1324809769 129821 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :(which requires at a minimum that things are strict enough) < 1324809882 661595 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :oerjan: it does, but since I collect values in a list I assumed that it wouldn't do any unboxing. < 1324809892 346117 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :ah. < 1324809911 728003 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :well it needs to box at the end < 1324809912 381382 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :well, that's the rules for normal unboxed values, perhaps GHC can do more internally though < 1324809955 704475 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :oerjan: well what I did instead was rewrite it in IO and just print the factors as I receive them < 1324809959 17317 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :but this turns out to be slower. < 1324810016 151342 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :perhaps because printing the values one at a time is slower than printing the whole list at once? < 1324810061 864095 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i dunno < 1324810103 336270 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :anyway, lesson learned: writing unboxed code is awful and doesn't necessarily give any huge speed benefits. < 1324810129 84191 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :^style < 1324810129 260288 :fungot!~fungot@a91-152-37-146.elisa-laajakaista.fi PRIVMSG #esoteric :Available: agora alice c64 ct* darwin discworld europarl ff7 fisher fungot homestuck ic irc iwcs jargon lovecraft nethack pa qwantz sms speeches ss wp youtube < 1324810138 514897 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :fungot: can the sword alone stop? < 1324810138 733570 :fungot!~fungot@a91-152-37-146.elisa-laajakaista.fi PRIVMSG #esoteric :oerjan: from where does the hero alone have the power. " m, madam...! i am the master of war! i've seen all kinds of battles from here, step back, prometheus! < 1324810171 283229 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :fungot: so, it can stop, you say? < 1324810171 460152 :fungot!~fungot@a91-152-37-146.elisa-laajakaista.fi PRIVMSG #esoteric :oerjan: must think of a way to the ocean palace! and if you wish! we shall hold this position to the last man! big fire where lavos fall from sky! we no can call you " knight, slain by magus in? well, the mystical sword for myself! < 1324810189 710235 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :fungot: yes, but can it stop? < 1324810189 886511 :fungot!~fungot@a91-152-37-146.elisa-laajakaista.fi PRIVMSG #esoteric :oerjan: we are looking, but well behaved! crono!! < 1324810197 310255 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :fungot: look further! < 1324810197 486524 :fungot!~fungot@a91-152-37-146.elisa-laajakaista.fi PRIVMSG #esoteric :oerjan: you! take! we find! parental discretion advised. no time to talk we had soldiers searching for you! < 1324810197 837387 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :fungot: sotp < 1324810198 13662 :fungot!~fungot@a91-152-37-146.elisa-laajakaista.fi PRIVMSG #esoteric :kallisti: there! there it is! but by the time we're through with you, you'll be in danger. open hatch. make yourself at home! the queen has been through a time machine! nya ha! < 1324810236 463606 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :fungot: did the time machine stop her? < 1324810236 639843 :fungot!~fungot@a91-152-37-146.elisa-laajakaista.fi PRIVMSG #esoteric :oerjan: i, myself, will bring an end to all. ghosts lurk in the ruins! the structural damage is severe. the tale? < 1324810263 413686 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :fungot: how evil! < 1324810263 627400 :fungot!~fungot@a91-152-37-146.elisa-laajakaista.fi PRIVMSG #esoteric :oerjan: it's a machine that looks like you! no matter what the price! it is, you idiot! hey! is that for us! the chef's in a snit, trying to get food to the front lines. heard a spell to energize the sword takes immense evil! indeed! this thing. what you have? transform! this trading house. it's the kind! i've decided to stay with these humans! you're a traitor! you're not our king! but, we are far outnumbered! < 1324810304 425229 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :fungot: that was a lot of exclamation marks for no repetition < 1324810304 601493 :fungot!~fungot@a91-152-37-146.elisa-laajakaista.fi PRIVMSG #esoteric :oerjan: time to shove off you go! didn't you create him? that kino guy! much danger. open hatch. < 1324810315 78517 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :I like it when it does that 'i, myself, will bring an end to all" bit. < 1324810323 296786 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :`quote end to all < 1324810326 645734 :HackEgo!foobar@codu.org PRIVMSG #esoteric :518) fizzie: i, myself, will bring an end to all. < 1324810346 742068 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :fungot: so you will stop it alone, then? < 1324810346 918349 :fungot!~fungot@a91-152-37-146.elisa-laajakaista.fi PRIVMSG #esoteric :oerjan: it's time you jumped off this mortal coil... ...but it appears to be the right time... ...and...they...have to show you the time of day! the black wind... < 1324810361 374769 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :fungot: my shrink disagrees. < 1324810365 71763 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :oops < 1324810399 748303 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :fungot: Have you been replaced with your evil clone or something? < 1324810399 924567 :fungot!~fungot@a91-152-37-146.elisa-laajakaista.fi PRIVMSG #esoteric :fizzie: and you call yourself a frog, and ayla... i will not betray my friends!...... how cruel! umm! thanks! it's about the missing queen. she still looks so much like leene, that they will take you to your place of execution?! strange, but you are true heros. the world, tee, hee! it's not the only one thing we need to defeat you, lavos. < 1324810452 325 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :fungot: please don't stop alone < 1324810452 176570 :fungot!~fungot@a91-152-37-146.elisa-laajakaista.fi PRIVMSG #esoteric :oerjan: is the gate key okay!! get' em! 200g per night. care, and stay...healthy! my husband...he's...he's...gone... but he left me precious gifts! the seeds...and our child, it's ancient history now...! < 1324810476 867123 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :fungot: an ancient child, eh? < 1324810477 43322 :fungot!~fungot@a91-152-37-146.elisa-laajakaista.fi PRIVMSG #esoteric :oerjan: time to shove off! the name's bandeau. here to build the ocean palace? nu...! just trying to get food to the front lines. heard a spell to energize the sword takes immense evil! indeed! this thing. what you have? transform! this trading house. it's the kind! i've decided to stay with these humans! you're a traitor! you're not our king! but, we are far outnumbered! < 1324810526 158256 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :fungot: you said most of that before < 1324810526 334404 :fungot!~fungot@a91-152-37-146.elisa-laajakaista.fi PRIVMSG #esoteric :oerjan: shall we get back to the present? he's been known. we reptites will rule the world in a mere door that keeps us bound, hand, foot...and tongue kid? ...oh, it's you, isn't this morbid? the great adventurer toma levine rests in a grave to the north. it's a great place for a picnic! heard that magus's place... < 1324810553 508474 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :fungot: did you bring sandwiches? < 1324810553 684689 :fungot!~fungot@a91-152-37-146.elisa-laajakaista.fi PRIVMSG #esoteric :oerjan: are you a man, if there weren't evil in this kingdom to you! eat! fun! < 1324810571 188317 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :
ACTION eats some of fungot's sandwiches
< 1324810590 722393 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :fungot: they tasted a bit evil < 1324810619 767791 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :
ACTION thinks mentioning fungot like this would also trigger it.
< 1324810619 944432 :fungot!~fungot@a91-152-37-146.elisa-laajakaista.fi PRIVMSG #esoteric :fizzie: it's time you jumped off this mortal coil... and just what are you two doing! prepare for the moonlight parade! this is the masamune! ride again! < 1324810637 672528 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :fungot the fickle < 1324810637 848784 :fungot!~fungot@a91-152-37-146.elisa-laajakaista.fi PRIVMSG #esoteric :oerjan: there! there it is! but by the time we're through with you, you'll be in danger. open hatch. < 1324810662 961891 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :fungot: can you stop me alone? < 1324810663 138016 :fungot!~fungot@a91-152-37-146.elisa-laajakaista.fi PRIVMSG #esoteric :oerjan: as long as you keep crono in your heart, the day of lavos"... go to " leene square" 1000 a.d.? yes, i'd have done something very brave! he's probably up north, to guardia!!! let's toast our land! now we'll have some peace! magus is a tad on the spooky side. our only hope. < 1324810667 541002 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :The source text is a bit short so it keeps being quite repetitive. < 1324810697 764389 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :fungot: what do you have to say of the use of ancient sharp weapons? < 1324810697 940557 :fungot!~fungot@a91-152-37-146.elisa-laajakaista.fi PRIVMSG #esoteric :oerjan: and you call yourself a frog, and ayla... i will not betray my friends! sir, you must come with us! please! pretty please! hmmm, two-legged, walking humanoid robot! incredible! hold down the l, and r buttons and then press the a button to access, but stay off of " techniques." stop immobilizes and disables you. in these bones, i shall return! by the way, the wings! now this is a treasure there... found the treasure!! pr < 1324810743 139487 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :fungot: llllllllllllllllllllllllllike this, orrrrrrrrrrrr something else? < 1324810743 315876 :fungot!~fungot@a91-152-37-146.elisa-laajakaista.fi PRIVMSG #esoteric :oerjan: to the northwest of this cape. he took back the medal from the frog king. and i'd like to see that mystical sword for myself! geez! i can rest now, knowing that everyone! humans! they're my friends! < 1324810770 379681 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :fungot: humans are overrated. needs more ketchup. < 1324810779 547569 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :fungot: Oh how many times we ask before the sword can't stop? < 1324810779 723725 :fungot!~fungot@a91-152-37-146.elisa-laajakaista.fi PRIVMSG #esoteric :fizzie: see? i like marle better than " princess,' the chosen time has come! he's strong and he's gonna thrash those monsters! yea! is it? < 1324810806 574230 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :fungot: SWORD. STOP. Do you get it? < 1324810806 750313 :fungot!~fungot@a91-152-37-146.elisa-laajakaista.fi PRIVMSG #esoteric :fizzie: yes, it's been awhile prometheus! what're you doing there! < 1324810809 435412 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :fungot: do you have a sword to stop those monsters with? < 1324810809 611538 :fungot!~fungot@a91-152-37-146.elisa-laajakaista.fi PRIVMSG #esoteric :oerjan: you! take! we find! < 1324810832 23958 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :fungot: It's hopeless. < 1324810832 204261 :fungot!~fungot@a91-152-37-146.elisa-laajakaista.fi PRIVMSG #esoteric :fizzie: as long as you keep crono in your heart, the day of lavos"... go to " leene square" 1000 a.d.? yes, i'd have done something very brave! he's probably up north, to guardia!!! let's toast our land! now we'll have some peace! magus is a tad on the spooky side. our only hope. < 1324810862 297009 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :fungot: You just said that *exactÂ* thing. Same quotation and all. < 1324810862 511602 :fungot!~fungot@a91-152-37-146.elisa-laajakaista.fi PRIVMSG #esoteric :fizzie: that no one was allowed to use the crane, enter any two of these letters, a b y. < 1324810862 832756 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :fungot: we toasted our land and now it's all burnt and stuff < 1324810863 20849 :fungot!~fungot@a91-152-37-146.elisa-laajakaista.fi PRIVMSG #esoteric :oerjan: the knight spirit has the hero! hurrah to the hero! hurrah to the hero! hurrah to the hero! hurrah to the hero! hurrah to the hero! hurrah to the hero! hurrah to the hero! hurrah to the hero! hurrah to the hero! hurrah to the hero! hurrah to the hero! hurrah to the hero! hurrah to the hero! hurrah to the hero! hurrah to the hero! hurrah to the hero! hurrah to the hero! hurrah to the hero! hurrah to the hero! hurrah to t < 1324810897 905775 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :fungot: does the hero have a good sword? < 1324810898 82100 :fungot!~fungot@a91-152-37-146.elisa-laajakaista.fi PRIVMSG #esoteric :oerjan: and you call yourself a frog, and ayla... i will not betray my friends! < 1324810908 926927 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :fungot: ...no. not usually. < 1324810909 103106 :fungot!~fungot@a91-152-37-146.elisa-laajakaista.fi PRIVMSG #esoteric :oerjan: it's a machine that looks like you! take! we find! < 1324810911 755676 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :fungot: You're hopeless. < 1324810911 931924 :fungot!~fungot@a91-152-37-146.elisa-laajakaista.fi PRIVMSG #esoteric :fizzie: but, we are far outnumbered! < 1324810917 793588 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :fungot: AIYEEEH < 1324810917 970047 :fungot!~fungot@a91-152-37-146.elisa-laajakaista.fi PRIVMSG #esoteric :oerjan: by thy leave, crono?!! you brought back my cat! thank you, crono! schala!! how can i do for you? thanks! it's about the missing queen. she still looks so much like leene, that they will take you to your place of execution?! strange, but!? < 1324810935 997482 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :fungot: this is the problem with statistics < 1324810936 173839 :fungot!~fungot@a91-152-37-146.elisa-laajakaista.fi PRIVMSG #esoteric :oerjan: it's time you jumped off this mortal coil... but you are true heros. the world, tee, hee! it's not the only one thing we need to defeat you, lavos. by now you must realize you are the only one thing we need to defeat you, lavos. < 1324810971 259878 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :fungot: yes, we need only the one sword < 1324810971 435960 :fungot!~fungot@a91-152-37-146.elisa-laajakaista.fi PRIVMSG #esoteric :oerjan: like, thanks princess. i'll take that under advisement!! crono!! < 1324810976 857119 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :fungot: Continut this sentence: "the sword alone can't stop". < 1324810977 33243 :fungot!~fungot@a91-152-37-146.elisa-laajakaista.fi PRIVMSG #esoteric :fizzie: but, we are far outnumbered! go!! hp recovered! the chef's in a snit, trying to get food to the front lines. heard a spell to energize the sword takes immense evil! indeed! this thing. what you have? transform! this trading house. it's the kind! i've decided to stay with these humans! you're a traitor! you're not our king! but, we are far outnumbered! < 1324810985 353686 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :fungot: are you calling me a princess? < 1324810985 529689 :fungot!~fungot@a91-152-37-146.elisa-laajakaista.fi PRIVMSG #esoteric :oerjan: but, we are far outnumbered! so! that cathedral to the west?... yes! well then rest and relax! huh? < 1324810994 590978 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :fungot: okay < 1324810994 767413 :fungot!~fungot@a91-152-37-146.elisa-laajakaista.fi PRIVMSG #esoteric :oerjan: i, myself, will bring an end to all. ghosts lurk in the ruins! the structural damage is severe. the tale? < 1324811015 11316 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :fungot: was there a sword involved? < 1324811015 227376 :fungot!~fungot@a91-152-37-146.elisa-laajakaista.fi PRIVMSG #esoteric :oerjan: as long as you keep crono in your heart, the day of lavos"... go to " leene square" 1000 a.d.? yes, i'd have done something very brave! he's probably up north, to guardia!!! let's toast our land! now we'll have some peace! magus is a tad on the spooky side. our only hope. < 1324811025 251109 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :fungot: Bah, I should retrain this style with different parameters. < 1324811025 427096 :fungot!~fungot@a91-152-37-146.elisa-laajakaista.fi PRIVMSG #esoteric :fizzie: that sword alone can't stop! that sword alone can't stop! that sword alone can't stop! that sword alone can't stop! that sword alone can't stop! that sword alone can't stop! that sword alone can't stop! that sword alone can't stop! that sword alone can't stop! that sword alone can't stop! that sword alone can't stop! that sword alone can't stop! that sword alone can't stop! that sword alone can't stop! that sword alone < 1324811040 698940 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :When in doubt, use threats, I guess. < 1324811045 701645 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :fizzie: i think you scared fungot with that last comment < 1324811045 877727 :fungot!~fungot@a91-152-37-146.elisa-laajakaista.fi PRIVMSG #esoteric :oerjan: there! there it is! but by the time we're through with you, you'll be in danger. open hatch. < 1324811075 375018 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :mission accomplished. now ice coffee -> < 1324811273 611822 :monqy!~swell@pool-71-102-226-192.snloca.dsl-w.verizon.net QUIT :Quit: hello < 1324811915 329516 :copumpkin!~pumpkin@unaffiliated/pumpkingod QUIT :Ping timeout: 240 seconds < 1324812184 801259 :copumpkin!~pumpkin@unaffiliated/pumpkingod JOIN :#esoteric < 1324812238 342957 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :http://tahville.myminicity.com/ < 1324812243 166604 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :
ACTION whistles innocently
< 1324812560 161105 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :goddammit browser why do you have to lock up _now_ < 1324812652 384780 :Sgeo!~sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :myminicity is so $INSULTINGLY_OLD_DATE < 1324812668 104454 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric ::( < 1324812688 548245 :Sgeo!~sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :
ACTION enters anyway
< 1324812706 791932 :SgeoN1!~AndChat@ool-ad034d00.dyn.optonline.net JOIN :#esoteric < 1324812714 843656 :Sgeo!~sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :Or, attempting to. My computer is now slow. < 1324812755 823774 :Sgeo!~sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :What happens at 5,000? < 1324812757 112765 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :it seemed to lock up somewhat just after i pasted that link < 1324812777 313174 :Sgeo!~sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :It was a while after that that I clicked < 1324812788 841562 :Sgeo!~sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :So not my fault < 1324812805 952477 :Sgeo!~sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :Anyways, you are now at 49,999 population < 1324812811 589129 :Sgeo!~sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :Wow, no < 1324812813 680180 :Sgeo!~sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :4,999 < 1324812822 450581 :Sgeo!~sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :Sorry to disappoint if you mistakenly believed me somehow < 1324812828 302249 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :no XD < 1324812850 841418 :Sgeo!~sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :Should I go to the transport link? < 1324812876 182801 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :we've been aiming to get 5000 before new year < 1324812885 181596 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :nothing else in particular < 1324812900 296186 :Sgeo!~sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :Ah, ok < 1324812904 422260 :Sgeo!~sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :So close < 1324812906 717443 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :and i couldn't resist increasing the chances of making it today < 1324812930 37173 :Sgeo!~sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :
ACTION tries the tra link
< 1324812946 665578 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :it does only allow one visit per ip per day, btw < 1324812951 402700 :Sgeo!~sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :Um < 1324812958 372445 :Sgeo!~sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :You succeeded < 1324812963 851417 :Sgeo!~sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :After I reloaded < 1324812965 210432 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :yay :P < 1324813027 45873 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :That was probably me. < 1324813036 25136 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Assuming a visitation counts as something. < 1324813043 180068 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :yes it does, thank you < 1324813061 940429 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :That was purely accidental, though, I clickeded before reading the conversation. < 1324813077 292183 :Sgeo!~sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :Congratulations! You are the 5,000th visitor! < 1324813097 360263 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :> intToDigit 42 "" < 1324813098 190173 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : Couldn't match expected type `[GHC.Types.Char] -> t' < 1324813098 366386 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : against inferr... < 1324813116 615545 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :ah < 1324813131 938654 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :? showIntAtBase 16 intToDigit 42 "" < 1324813134 618096 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :> showIntAtBase 16 intToDigit 42 "" < 1324813135 537488 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : "2a" < 1324813204 148694 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :> showHex 42 "" < 1324813205 254090 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : "2a" < 1324813257 225985 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric ::t let bases = flip (map showIntAtBase [2..16] <*> intToDigit) "" in bases < 1324813257 970948 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : Couldn't match expected type `[Int -> Char]' < 1324813258 147013 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : against inferred type `Int -> Char' < 1324813258 323031 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : In the second argument of `(<*>)', namely `intToDigit' < 1324813269 740809 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :oh < 1324813272 181439 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :yes < 1324813322 827127 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric ::t let bases = map flip (map showIntAtBase [2..16] <*> intToDigit) "" in bases < 1324813323 626824 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : Couldn't match expected type `[Int -> Char]' < 1324813323 802913 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : against inferred type `Int -> Char' < 1324813323 979130 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : In the second argument of `(<*>)', namely `intToDigit' < 1324813353 893165 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric ::t let bases = ((map flip (map showIntAtBase [2..16] <*> intToDigit) <*> "") <*>) in bases < 1324813354 699246 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : Couldn't match expected type `[Int -> Char]' < 1324813354 875475 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : against inferred type `Int -> Char' < 1324813355 55863 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : In the second argument of `(<*>)', namely `intToDigit' < 1324813363 595725 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :I'm definitely doing something wrong. :P < 1324813412 388649 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric ::t let bases n = showIntAtBase <$> [2..16] <*> intToDigit <*> n <*> "" in bases < 1324813413 198139 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : Couldn't match expected type `[Int -> Char]' < 1324813413 374514 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : against inferred type `Int -> Char' < 1324813413 550586 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : In the second argument of `(<*>)', namely `intToDigit' < 1324813431 973494 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric ::t showIntAtBase < 1324813432 741612 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :forall a. (Integral a) => a -> (Int -> Char) -> a -> String -> String < 1324813479 654393 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric ::t let bases n = showIntAtBase <$> [2..16] in bases < 1324813480 437562 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :forall t a. (Integral a) => t -> [(Int -> Char) -> a -> String -> String] < 1324813488 255240 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :intToDigit needs []'s around it < 1324813495 323059 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :oooooh rite < 1324813505 234211 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :some of the others too < 1324813510 915455 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :that's a stupid way to write that anyway. :P < 1324813559 727265 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :hm... < 1324813617 230101 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :> let bases n = showIntAtBase `flip` intToDigit `flip` n `flip` "" <$> [2..16] in bases 42 < 1324813618 870750 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : ["101010","1120","222","132","110","60","52","46","42","39","36","33","30",... < 1324813627 9256 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric ::t let bases n = showIntAtBase <$> [2..16] <*> [intToDigit] <*> [n] <*> [""] in bases 5 < 1324813627 745091 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :[String] < 1324813631 555110 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :> let bases n = showIntAtBase <$> [2..16] <*> [intToDigit] <*> [n] <*> [""] in bases 5 < 1324813632 384040 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : ["101","12","11","10","5","5","5","5","5","5","5","5","5","5","5"] < 1324813640 823578 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :oerjan: oh, so that's what cale flip does. < 1324813641 958317 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric ::t flip < 1324813642 732263 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :forall (f :: * -> *) a b. (Functor f) => f (a -> b) -> a -> f b < 1324813650 525732 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :kallisti: ordinary flip suffices for that < 1324813667 588210 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :oooooh < 1324813671 504668 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :...clever. :P < 1324813755 662826 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :showIntAtBase should allow arbitrary greater than 2 bases and also a special unary case. < 1324813779 614468 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :it does allow anything up to maxBound :: Int < 1324813782 80476 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i think < 1324813792 667501 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :oh hm < 1324813804 370196 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :it cannot do more than one Char per digit, though. < 1324813818 408957 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric ::t showIntAtBase < 1324813819 251326 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :forall a. (Integral a) => a -> (Int -> Char) -> a -> String -> String < 1324813853 875145 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :there isn't _really_ any reason why it should be restricted to Char or Int < 1324813870 927387 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :other than efficiency < 1324813951 859203 :SgeoN1!~AndChat@ool-ad034d00.dyn.optonline.net QUIT :Quit: Bye < 1324814049 233753 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :> let showIntWithBestDigits = (`showIntAtBase` chr) in showIntWithBestDigits 1000 515002006323414 "" < 1324814050 160474 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : "\515\STX\ACK\323\414" < 1324814236 349624 :Patashu!~Patashu@c122-106-155-219.carlnfd1.nsw.optusnet.com.au QUIT :Ping timeout: 240 seconds < 1324815068 91877 :Ngevd!~Taneb@host-84-13-77-80.opaltelecom.net JOIN :#esoteric < 1324815163 551072 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :> let b = toInteger . (+1) $ ord (maxBound :: Char); strId :: String -> String; strId s = showIntAtBase b chr (sum $ zipWith (*) (toInteger . ord <$> reverse s) ((b^) <$> [0..])) "" in strId "foobar" < 1324815165 111706 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : "foobar" < 1324815173 373976 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :I mean, if you happen to need a String -> String specialized id... < 1324815192 279181 :Ngevd!~Taneb@host-84-13-77-80.opaltelecom.net PRIVMSG #esoteric :Have you seen the weather in Melbourne? < 1324815194 338476 :Ngevd!~Taneb@host-84-13-77-80.opaltelecom.net PRIVMSG #esoteric :It's crazy < 1324815340 557105 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :The rain in Spain stays mainly in the plain. < 1324815403 904739 :Ngevd!~Taneb@host-84-13-77-80.opaltelecom.net PRIVMSG #esoteric :The hail in Melbourne falls mainly all over the place < 1324815420 133388 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :I see it's in the news and all. < 1324815979 110013 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :@hoogle showIntAtBase < 1324815979 335684 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :Numeric showIntAtBase :: Integral a => a -> (Int -> Char) -> a -> ShowS < 1324816109 984321 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :ais523: is there a way to get a subst: template expanded on preview? i am trying to copy something from wiktionary to wikipedia and a template doesn't exist in both places < 1324816159 720858 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :(specifically, wiktionary's a template) < 1324816237 896342 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :oerjan: no; but you can use Special:ExpandTemplates for a similar effect < 1324816259 656768 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :oh hm < 1324816410 781674 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :wtf i cannot copy this mess of spans < 1324816463 623273 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :whatever, i'll just leave it in this reduced version i already saved. < 1324816463 888312 :Sgeo!~sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :Gracenotes visits, doesn't e? < 1324816482 708574 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :Sgeo: if he does, he doesn't speak much < 1324816499 99550 :Sgeo!~sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :Because e posted to my Wikipedia talk page in 2007 < 1324816520 692787 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i cannot say i've noticed em in a while < 1324816549 255232 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :Sgeo: he's on freenode now < 1324816554 855243 :nooga!~nooga@86-63-82-221.sta.asta-net.com.pl JOIN :#esoteric < 1324816580 428900 :Sgeo!~sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :I'm in two channels with em, apparently < 1324816657 769672 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :Gracenotes has been in here on occasion < 1324816712 172667 :Ngevd!~Taneb@host-84-13-77-80.opaltelecom.net QUIT :Ping timeout: 240 seconds < 1324816774 369714 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric : Have you seen the weather in Melbourne? <-- i am suddenly grasped by the realization that there is only one Hexham, which is expanded by portals to three locations on two continents. at least. < 1324816933 41634 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i have the sense _someone_ is in way over their head in today's mezzacotta. i'm just not entirely sure who. < 1324817120 826942 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric ::t "hi" < 1324817121 606578 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :[Char] < 1324817168 151351 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :@hoogle String -> ByteString < 1324817169 759439 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :Data.ByteString.Char8 pack :: String -> ByteString < 1324817169 935647 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :Data.ByteString.Lazy.Char8 pack :: [Char] -> ByteString < 1324817170 111914 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :Data.String fromString :: IsString a => String -> a < 1324817185 384644 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :> Data.ByteString.Char8.pack "hi" < 1324817186 168568 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : Not in scope: `Data.ByteString.Char8.pack' < 1324817198 630923 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric ::t foldr id < 1324817199 424764 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :forall b. b -> [b -> b] -> b < 1324817201 9805 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :shocking < 1324817218 701750 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :@hoogle String -> Text < 1324817219 486777 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :Data.Text.Lazy pack :: String -> Text < 1324817219 662902 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :Data.Text pack :: String -> Text < 1324817219 838999 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :Prelude read :: Read a => String -> a < 1324817230 978449 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :> Data.Text.pack "hi" < 1324817231 780559 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : Not in scope: `Data.Text.pack' < 1324817240 639175 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :oerjan: lambdabot should qualified import literally everything in base and probably like 20 other packages on hackage. < 1324817259 606332 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :lambdabot: you are _so_ out of date on modern haskell enterprise < 1324817271 379152 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :(so am i, but still...) < 1324817320 543091 :pikhq_!~pikhq@71-219-255-49.clsp.qwest.net JOIN :#esoteric < 1324817322 873676 :Sgeo!~sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :kallisti, including System.IO.Unsafe, obviously. < 1324817328 574585 :pikhq!~pikhq@71-219-224-136.clsp.qwest.net QUIT :Ping timeout: 248 seconds < 1324817329 84525 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :kallisti: on first impression, yes, but on second impression, lambdabot already has annoying instance conflicts from conflicting imports < 1324817339 153796 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :> sin < 1324817339 944058 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : Overlapping instances for GHC.Show.Show (a -> a) < 1324817340 120142 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : arising from a use of `... < 1324817358 707361 :Sgeo!~sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :Is there any way to avoid importing an instance? < 1324817379 987191 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :nope. we've discussed this actually. < 1324817398 195899 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :I think there should be instance hiding. < 1324817413 637534 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :
ACTION has some other "interesting" ideas concerning records that he would like to crystalize.
< 1324817429 177309 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :crystal records < 1324817436 511028 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :particularly I'm not satisfied with any of the proposals to "fix" records. < 1324817444 139947 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :and would like to see if I can come up with anything. < 1324817462 343109 :Sgeo!~sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :kallisti, what about turning the names of records into lenses? < 1324817467 145636 :Sgeo!~sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :Or is that one of them? < 1324817479 875116 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :well, sort of. < 1324817523 910243 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :from what I can tell trying to just add a little bit of sugar / type resolution rules over functions/typeclasses results in some sort of problem. < 1324817544 731099 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :so I think maybe the answer is to make a larger change to the core of the language. < 1324817580 930681 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :but yes I think accessing and setting records should be writeable as a function. < 1324817597 701438 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :and thus curried, abstracted, used in higher order functions, etc < 1324818027 572562 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :really I wish there was a way to combine TypeDirectedNameResolution and OverloadedRecordFields < 1324819909 307329 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :"The warm fuzzy feeling you get when you've persuaded your program to live in a total programming language should not be underestimated. It's a strong static guarantee -- you can say that you've written a function without having to pretend that _|_ is a value." -- Why Dependent Typing Matters. < 1324819994 365091 :Sgeo!~sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :Isn't totality a separate concern from dependent typing? < 1324820020 472732 :Sgeo!~sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :
ACTION would like static guarantees about performance :/
< 1324820035 945721 :nooga!~nooga@86-63-82-221.sta.asta-net.com.pl QUIT :Ping timeout: 240 seconds < 1324820114 534833 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :Sgeo: in this context it's discussing the misconception that general recursion is difficult or impossible in a dependently typed language. < 1324820661 629124 :nooga!~nooga@86-63-82-221.sta.asta-net.com.pl JOIN :#esoteric < 1324821735 978029 :Slereah_!~butt@ANantes-259-1-207-86.w90-49.abo.wanadoo.fr QUIT :Ping timeout: 240 seconds < 1324821738 320141 :Slereah!~butt@ANantes-259-1-209-151.w83-195.abo.wanadoo.fr JOIN :#esoteric < 1324822657 774911 :itidus21!~itidus21@120.148.51.249 PRIVMSG #esoteric :the best kind of recursion is recursion with zero parameters :-D < 1324822720 727065 :ais523!~ais523@unaffiliated/ais523 QUIT :Remote host closed the connection < 1324822776 505619 :itidus21!~itidus21@120.148.51.249 PRIVMSG #esoteric :such as in C, void hello() { printf("hello world\n"); hello(); } < 1324822790 983666 :MDude!~fyrc@c-174-55-44-190.hsd1.pa.comcast.net JOIN :#esoteric < 1324822815 325437 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :> let hello = "Hello! " ++ hello in hello < 1324822816 779364 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : "Hello! Hello! Hello! Hello! Hello! Hello! Hello! Hello! Hello! Hello! Hell... < 1324822846 102795 :itidus21!~itidus21@120.148.51.249 PRIVMSG #esoteric :yay < 1324822884 706594 :itidus21!~itidus21@120.148.51.249 PRIVMSG #esoteric :i bring it up because it raises a question of whether that counts as recursion < 1324822892 854036 :itidus21!~itidus21@120.148.51.249 PRIVMSG #esoteric :which i assume it of course does < 1324823545 154325 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :in haskell, recursion with parameters is just a special case of recursion without < 1324823619 198373 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :> let fac = (\f n -> if n == 0 then 1 else n * f (n-1)) fac in fac 5 < 1324823619 995658 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : 120 < 1324824112 684884 :nooga!~nooga@86-63-82-221.sta.asta-net.com.pl QUIT :Ping timeout: 248 seconds < 1324824889 250770 :elliott!~elliott@unaffiliated/elliott JOIN :#esoteric < 1324825447 298500 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :04:24:50: What's a 10th doctor episode I should watch? (Not Blink) < 1324825447 475897 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :04:24:59: And not SitL/FotD < 1324825447 476085 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :04:25:38: Why don't you just watch them in order ... < 1324825447 476190 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :04:25:52: I've heard that they're mostly bad < 1324825447 652671 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :elliott: You have 3 new messages. '/msg lambdabot @messages' to read them. < 1324825451 971155 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Sgeo: You've also heard that they're mostly really good. < 1324826114 910715 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :oerjan: hi < 1324826199 515547 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA i mean, hi < 1324826199 731208 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :oerjan: You have 1 new message. '/msg lambdabot @messages' to read it. < 1324827395 703451 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :05:33:39: I may have inadvertantly lead Haskellers here, just a headsup < 1324827395 919223 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :elliott: You have 1 new message. '/msg lambdabot @messages' to read it. < 1324827397 743165 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :OH NOOOOOOOOOOOOOOOO < 1324827432 366221 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :05:44:41: ...you've never heard of perlnomic. < 1324827432 542504 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :this log is terrible < 1324827438 415473 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :oerjan: if you ban me ban everyone else too < 1324827467 666512 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :elliott: hey at least look at my beautiful Functor instance for zzo38's type < 1324827500 211662 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :oerjan: i didn't say i'd stop reading it i just said it was terribl < 1324827500 982080 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :e < 1324827507 909924 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :O KAY < 1324827569 732661 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :06:10:56: Sgeo, has anybody done something like that in Perl Nomic? < 1324827580 8933 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :i love how everyone fails to understand that you can't just unilaterally introduce laws in nomic < 1324827584 758609 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :
ACTION heard of perlnomic so long ago that it wasn't even the same perlnomic, he thinks.
< 1324827608 319366 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :heard of as in played. < 1324827615 982296 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :or wait < 1324827623 884011 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :oerjan: perlnomic was long-lived < 1324827624 450280 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :no, it was schemenomic < 1324827636 28692 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :schemenomic was contemporaneous iirc < 1324827645 113903 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :starting-wise < 1324827654 317630 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :perlnomic lasted until a few years ago < 1324827788 115998 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Gregor: http://www.topatoco.com/merchant.mvc?Screen=PROD&Store_Code=TO&Product_Code=QW-TREX-BEANBAG&Category_Code=QW Please buy this. For America. < 1324827962 412414 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :08:47:50: yes, basically you can start with const True (a warrior which never wins) and const False (always disqualified) and build more complicated HJ values from that < 1324827971 674943 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :oerjan: i believe you concluded the game was shallow, no? :P < 1324828005 36409 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i did? < 1324828087 328534 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :09:15:34: !haskell newtype T v f x = T (T x f v -> f x); instance Functor f => Functor (T v f x) where { fmap g (T h) = T (fmap g . h . fmap' g) }; fmap' g (T t) = T (t . fmap g); main = print "Yay it types!" < 1324828094 71281 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :oerjan: you realise that < 1324828096 224249 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :`runhaskell < 1324828099 274368 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :is a thing < 1324828128 92080 :HackEgo!foobar@codu.org PRIVMSG #esoteric :No output. < 1324828132 1944 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :of course i do, i changed to using it just after chastising you < 1324828137 575123 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :oh good < 1324828179 208998 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :`ls bin < 1324828181 970337 :HackEgo!foobar@codu.org PRIVMSG #esoteric :​? \ @ \ No \ _tmpe \ addquote \ allquotes \ calc \ define \ delquote \ etymology \ forget \ fortune \ frink \ google \ haskell \ hatesgeo \ json \ k \ karma \ karma+ \ karma- \ learn \ log \ logurl \ macro \ marco \ paste \ pastekarma \ pastelog \ pastelogs \ pastenquotes \ pastequotes \ pastewisdom \ pastlog \ ping \ prefixes \ qc \ quote \ quotes \ roll \ toutf8 \ translate \ translatefromto \ translateto \ units < 1324828190 98090 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :`run rm bin/{_tmpe,haskell} < 1324828192 570553 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric ::} < 1324828193 780089 :HackEgo!foobar@codu.org PRIVMSG #esoteric :No output. < 1324828211 24434 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :elliott: YOU REALIZE RUNHASKELL DOESN'T HAVE A CONVENIENT < 1324828219 198827 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`revert < 1324828221 997108 :HackEgo!foobar@codu.org PRIVMSG #esoteric :Done. < 1324828229 768357 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`ls bin/h* < 1324828232 732804 :HackEgo!foobar@codu.org PRIVMSG #esoteric :ls: cannot access bin/h*: No such file or directory < 1324828236 864536 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`run ls bin/h* < 1324828239 911158 :HackEgo!foobar@codu.org PRIVMSG #esoteric :bin/haskell \ bin/hatesgeo < 1324828258 717395 :Sgeo!~sgeo@ool-ad034d00.dyn.optonline.net QUIT :Read error: Operation timed out < 1324828264 183100 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :`haskell main = print 42 < 1324828264 965357 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :CALLING CONVENTION FOR HACKEGO < 1324828266 968724 :HackEgo!foobar@codu.org PRIVMSG #esoteric :​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: haskell: not found < 1324828269 697544 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :See, it's broken. < 1324828274 499646 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :`run rm -f bin/haskell < 1324828277 442054 :HackEgo!foobar@codu.org PRIVMSG #esoteric :No output. < 1324828296 649340 :ChanServ!ChanServ@services. MODE #esoteric +o :oerjan > 1324828297 20873 NAMES :#esoteric < 1324828311 57145 :oerjan!oerjan@sprocket.nvg.ntnu.no MODE #esoteric +b :*!*elliott@unaffiliated/elliott > 1324828311 70644 NAMES :#esoteric < 1324828311 233251 :oerjan!oerjan@sprocket.nvg.ntnu.no KICK #esoteric elliott :elliott < 1324828317 804126 :oerjan!oerjan@sprocket.nvg.ntnu.no MODE #esoteric -o :oerjan > 1324828317 823309 NAMES :#esoteric < 1324828337 959906 :elliott!~elliott@unaffiliated/elliott QUIT :Quit: Leaving < 1324828380 581244 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`help < 1324828382 789177 :HackEgo!foobar@codu.org PRIVMSG #esoteric :Runs arbitrary code in GNU/Linux. Type "`", or "`run " for full shell commands. "`fetch " downloads files. Files saved to $PWD are persistent, and $PWD/bin is in $PATH. $PWD is a mercurial repository, "`revert " can be used to revert to a revision. See http://codu.org/projects/hackbot/fshg/ < 1324828438 461950 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`revert 1429 < 1324828441 24067 :HackEgo!foobar@codu.org PRIVMSG #esoteric :Done. < 1324828448 902174 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`run ls bin/h* < 1324828451 814795 :HackEgo!foobar@codu.org PRIVMSG #esoteric :bin/haskell \ bin/hatesgeo < 1324828461 652365 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`haskell main = print 42 < 1324828470 86861 :HackEgo!foobar@codu.org PRIVMSG #esoteric :42 < 1324828550 200058 :Sgeo!~sgeo@ool-ad034d00.dyn.optonline.net JOIN :#esoteric < 1324828915 753363 :Ngevd!~Taneb@host-84-13-77-80.opaltelecom.net JOIN :#esoteric < 1324829107 351708 :ChanServ!ChanServ@services. MODE #esoteric +o :oerjan > 1324829107 374344 NAMES :#esoteric < 1324829118 76460 :oerjan!oerjan@sprocket.nvg.ntnu.no MODE #esoteric -b :*!*elliott@unaffiliated/elliott > 1324829118 99332 NAMES :#esoteric < 1324829124 239231 :oerjan!oerjan@sprocket.nvg.ntnu.no MODE #esoteric -o :oerjan > 1324829124 262520 NAMES :#esoteric < 1324829168 770494 :elliott!~elliott@unaffiliated/elliott JOIN :#esoteric < 1324829168 946667 :elliott!~elliott@unaffiliated/elliott QUIT :Client Quit < 1324829189 26111 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :>_> < 1324829189 455115 :elliott!~elliott@unaffiliated/elliott JOIN :#esoteric < 1324829191 215953 :Ngevd!~Taneb@host-84-13-77-80.opaltelecom.net QUIT :Ping timeout: 255 seconds < 1324829321 690335 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :`haskell main = print (2 + 2) < 1324829324 220533 :HackEgo!foobar@codu.org PRIVMSG #esoteric :​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: haskell: not found < 1324829339 5819 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`revert 1429 < 1324829341 399199 :HackEgo!foobar@codu.org PRIVMSG #esoteric :Done. < 1324829347 439541 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`haskell main = print (2 + 2) < 1324829353 358666 :HackEgo!foobar@codu.org PRIVMSG #esoteric :4 < 1324829381 869955 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :`haskell main = print (2 + 2) < 1324829384 726740 :HackEgo!foobar@codu.org PRIVMSG #esoteric :​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: haskell: not found < 1324829387 532676 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :I see, it only works half the time! < 1324829450 277486 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`haskell main = print (2 + 2) < 1324829453 94855 :HackEgo!foobar@codu.org PRIVMSG #esoteric :​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: haskell: not found < 1324829503 879750 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Less than half the time. < 1324829603 330491 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :
ACTION does a brain scan on elliott and discovers that he lacks the hintus perceptor lobe
< 1324829716 907897 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :
ACTION writes down `revert 1429 on a piece of paper for future use
< 1324829731 709685 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :`haskell Is it working yet? < 1324829734 290603 :HackEgo!foobar@codu.org PRIVMSG #esoteric :​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: haskell: not found < 1324829773 650887 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :why should it be working. < 1324829810 331389 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i'll just use `revert 1429 when i actually need it. in a month or so. and leave you to clean it up afterwards. < 1324829923 761403 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Maybe I just won't clean it up :) < 1324830256 229922 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :
ACTION ponders if he'd know how to handle this if he had any (younger, annoying) siblings.
< 1324830561 322447 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :most likely i'd just have killed them a long time ago. < 1324830664 84526 :Gregor!foobar@codu.org PRIVMSG #esoteric :......................... dafuq < 1324830675 991891 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :Gregor: problem? < 1324830689 541361 :Gregor!foobar@codu.org PRIVMSG #esoteric :Does it delete itself or some such nonsense? < 1324830712 713540 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :Gregor: erm i'm pretty sure elliott is just doing this in privmsg to annoy me. < 1324830742 830207 :Gregor!foobar@codu.org PRIVMSG #esoteric :fshg sez: yup < 1324830761 166887 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :so there is no technical issue on HackEgo. NOW EGOBOT OTOH... < 1324830771 454048 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :!haskell main = print (2+2) < 1324830778 60577 :EgoBot!foobar@codu.org PRIVMSG #esoteric :runhaskell: syntax: runghc [-f GHC-PATH | --] [GHC-ARGS] [--] FILE ARG... < 1324830810 661566 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Well if Gregor would apply my fix :P < 1324830928 271693 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :Gregor: yeah you should apply the fix, you're putting children in danger here. < 1324830946 66119 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :I don't think EgoBot can see /opt/ghc tho. < 1324830955 314344 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Unless Gregor's unified the chroots already, or just used a softlink, or... < 1324831237 660735 :Gregor!foobar@codu.org PRIVMSG #esoteric :Unless you have a fix fix, your fix is what broke it. < 1324831247 712505 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Gregor: I have a fix fix. < 1324831253 306705 :Gregor!foobar@codu.org PRIVMSG #esoteric :!sh ls /opt/ghc < 1324831253 656402 :EgoBot!foobar@codu.org PRIVMSG #esoteric :bin < 1324831261 342643 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Gregor: Well then... < 1324831268 68400 :Gregor!foobar@codu.org PRIVMSG #esoteric :!sh ls /opt/ghc/bin < 1324831268 465151 :EgoBot!foobar@codu.org PRIVMSG #esoteric :ghc < 1324831271 712240 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :... < 1324831276 969576 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Where the fuck is runghc? < 1324831280 538386 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Where the fuck are the library files? < 1324831286 793321 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Where the fuck are the package conf files? < 1324831294 63447 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :There's no possible way that GHC works. < 1324831299 524391 :Gregor!foobar@codu.org PRIVMSG #esoteric :!sh ls /opt/ghc | fmt < 1324831299 848840 :EgoBot!foobar@codu.org PRIVMSG #esoteric :bin lib share < 1324831303 772530 :Gregor!foobar@codu.org PRIVMSG #esoteric :!sh ls /opt/ghc/bin | fmt < 1324831303 948728 :EgoBot!foobar@codu.org PRIVMSG #esoteric :ghc ghc-7.2.1 ghc-pkg ghc-pkg-7.2.1 ghci ghci-7.2.1 haddock < 1324831305 368163 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Oh :P < 1324831310 326260 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Where's runghc < 1324831317 124265 :Gregor!foobar@codu.org PRIVMSG #esoteric :On the next line I presume. < 1324831327 300928 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Gregor: As Iw as saying, s|ghc|/opt/ghc/bin/ghc|g s|runghc|/opt/ghc/bin/runghc|g in EgoBot's GHC sccript thing. < 1324831331 448540 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :*I was < 1324831347 68233 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :!sh ls /opt/ghc/bin | fmt -w400 < 1324831347 330556 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :!sh echo "main = print 42" | /opt/ghc/bin/runghc < 1324831347 800191 :EgoBot!foobar@codu.org PRIVMSG #esoteric :ghc ghc-7.2.1 ghc-pkg ghc-pkg-7.2.1 ghci ghci-7.2.1 haddock haddock-ghc-7.2.1 hp2ps hpc hsc2hs runghc runhaskell < 1324831350 553813 :EgoBot!foobar@codu.org PRIVMSG #esoteric :42 < 1324831355 146616 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Yep, do that and it'll work. < 1324831366 266230 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :*script thing < 1324831380 958274 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :"Okay, I'm completely convinced! Now all that we have to do is to solve the halting problem to make your solution work... :-)" < 1324831397 183867 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :oerjan: while you're on your banning spree, please ban this guy from the haskell lists for apparently thinking total functional languages are impossible < 1324831415 765372 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :"So... this imaginary language of yours would be able to solve the halting problem?" < 1324831417 628724 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :also this one. < 1324831429 767467 :Deewiant!~deewiant@cs27125254.pp.htv.fi PRIVMSG #esoteric :!sh ls /opt/ghc/bin | xargs < 1324831430 480542 :EgoBot!foobar@codu.org PRIVMSG #esoteric :ghc ghc-7.2.1 ghc-pkg ghc-pkg-7.2.1 ghci ghci-7.2.1 haddock haddock-ghc-7.2.1 hp2ps hpc hsc2hs runghc runhaskell < 1324831448 853032 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :!sh echo "-n hi" | xargs < 1324831449 614463 :EgoBot!foobar@codu.org PRIVMSG #esoteric :hi < 1324831458 349684 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :!sh echo "-e 'hi\\x00'" | xargs < 1324831459 2105 :EgoBot!foobar@codu.org PRIVMSG #esoteric :hi < 1324831464 47684 :Gregor!foobar@codu.org PRIVMSG #esoteric :!sh ls /opt < 1324831464 393427 :EgoBot!foobar@codu.org PRIVMSG #esoteric :ghc < 1324831465 843864 :Gregor!foobar@codu.org PRIVMSG #esoteric :!sh ls /opt/ghc < 1324831466 196288 :EgoBot!foobar@codu.org PRIVMSG #esoteric :bin \ lib \ share < 1324831468 94943 :Gregor!foobar@codu.org PRIVMSG #esoteric :!sh ls /opt/ghc/bin < 1324831468 473369 :EgoBot!foobar@codu.org PRIVMSG #esoteric :ghc \ ghc-7.2.1 \ ghc-pkg \ ghc-pkg-7.2.1 \ ghci \ ghci-7.2.1 \ haddock \ haddock-ghc-7.2.1 \ hp2ps \ hpc \ hsc2hs \ runghc \ runhaskell < 1324831479 622002 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :oh xargs defaults to echo < 1324831484 751475 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Gregor: Are you telling me EgoBot has finally ditched the stupid DCC thing? < 1324831491 959690 :Gregor!foobar@codu.org PRIVMSG #esoteric :Yes X-D < 1324831495 542660 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :THANK THE LORD. < 1324831504 315049 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :D: < 1324831519 361189 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :!show slashes < 1324831521 633502 :EgoBot!foobar@codu.org PRIVMSG #esoteric :perl (sending via DCC) < 1324831540 527462 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :X-D < 1324831547 409966 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :now _that_ was ridiculous. < 1324831551 895794 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :What happened? < 1324831560 532778 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :17:44 =EgoBot> Execution of /tmp/input.4598 aborted due to compilation errors. < 1324831560 709021 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :17:44 =EgoBot> < 1324831565 147692 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :X-D < 1324831571 685248 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :!haskell 2+2 < 1324831574 361760 :EgoBot!foobar@codu.org PRIVMSG #esoteric :4 < 1324831577 88277 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :!haskell main = print 42 < 1324831580 52078 :EgoBot!foobar@codu.org PRIVMSG #esoteric :runhaskell: syntax: runghc [-f GHC-PATH | --] [GHC-ARGS] [--] FILE ARG... < 1324831580 375824 :Gregor!foobar@codu.org PRIVMSG #esoteric :Gimme a second here >_< < 1324831583 95656 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :NOOOO < 1324831583 863749 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :NO SECONDS < 1324831585 704158 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :NO SECONDS ALLOWED < 1324831587 272215 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :ONLY FIRSTS < 1324831600 767476 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :"I think we're talking about different things. By "bottom" I mean the < 1324831600 943843 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :function explicitly returns "error ..." or "undefined". In those cases, it < 1324831600 944031 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :should go in an error monad instead. In cases where there is an infinite < 1324831600 944136 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :loop, the function doesn't return anything because it never finishes, and < 1324831600 944303 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :indeed this separate problem will never be solved while remaining Turing < 1324831601 206178 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :complete because it is the halting problem." < 1324831604 777642 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :THIS IS HASKELL-CAFE, WHY ARE YOU ALL SO IGNORANT < 1324831608 994112 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :this is christmas day, you're allowed seconds on christmas day. < 1324831624 219569 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :
ACTION is going to make his own language, with blackjack, and hookers, that /really/ avoids popularity at all costs.
< 1324831631 67681 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :the hookers will have phds in mathematics. < 1324831636 836021 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :as will the blackjack. < 1324831676 424125 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :"> Then use a separate type for natural numbers excluding 0. Then you can define a total integer division function on it (although the return value may be zero and so needs a different type). < 1324831676 600452 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :That would certainly be a lovely idea *if* we were programming in Agda, but I was under the assumption that this conversation was about Haskell. :-) " < 1324831678 976967 :Gregor!foobar@codu.org PRIVMSG #esoteric :!haskell main = printStr "4-tee-2" < 1324831680 227011 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :wtf! you can define that in haskell! you suck! < 1324831683 41125 :EgoBot!foobar@codu.org PRIVMSG #esoteric :​\ /tmp/runghcXXXX21051.hs:1:8: Not in scope: `printStr' < 1324831688 900155 :Gregor!foobar@codu.org PRIVMSG #esoteric :Whoops X-D < 1324831689 621637 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Gregor: Faiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiil < 1324831698 378968 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Gregor: That starting \ is ugly :( WHINE WHINE WHINE < 1324831703 276780 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :But hey, now oerjan can't complain < 1324831706 986529 :Gregor!foobar@codu.org PRIVMSG #esoteric :Oh, putStr < 1324831709 721433 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :!haskell import Unsafe.Coerce; main = unsafeCoerce (42 :: Int) < 1324831711 850747 :Gregor!foobar@codu.org PRIVMSG #esoteric :!haskell main = putStr "4-tee-2" < 1324831712 614491 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :elliott: oh you found that annoying sola guy too? < 1324831716 54221 :EgoBot!foobar@codu.org PRIVMSG #esoteric :4-tee-2 < 1324831717 862781 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :oerjan: sola? < 1324831726 683629 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :or something like that. < 1324831732 862900 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :oerjan: i don't know what you mean < 1324831739 344159 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :elliott: his name < 1324831748 779945 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :on haskell-cafe < 1324831760 41863 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :which i may have misremembered, but _still_ < 1324831763 767476 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :oerjan: MigMit, Jesse Schalken, and Gregory Crosswhite are the ones I've quoted; is there _another_ wrong person? < 1324831787 508147 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Gregor: Could EgoBot print something when you segfault? < 1324831792 110695 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :It just sort of doesn't talk to you if that happens. < 1324831803 456132 :Gregor!foobar@codu.org PRIVMSG #esoteric :!c abort(); < 1324831807 658157 :EgoBot!foobar@codu.org PRIVMSG #esoteric :​./interps/gcccomp/gcccomp: line 52: 21355 Aborted /tmp/compiled.$$ < 1324831816 304331 :Gregor!foobar@codu.org PRIVMSG #esoteric :!c *((int *) 0) = 0; < 1324831818 129690 :EgoBot!foobar@codu.org PRIVMSG #esoteric :​./interps/gcccomp/gcccomp: line 52: 21421 Segmentation fault /tmp/compiled.$$ < 1324831829 480441 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :"I apologize if I was using the wrong terminology. I've seen "error ..." < 1324831829 658984 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :shown as, and understood it to be, _|_, but it seems _|_ refers to either a < 1324831829 835244 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :value that does not reduce or Haskell's "error" function depending on the < 1324831829 835453 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :context." < 1324831830 530077 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :;__; < 1324831839 870795 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Gregor: Well that's not right... < 1324831842 830943 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :!haskell import Foreign; main = peek nullPtr :: IO Int < 1324831851 850317 :Gregor!foobar@codu.org PRIVMSG #esoteric :Odd, why does it say stuff there ... oh, I'll bet I drop Haskell's stderr. < 1324831855 815528 :Gregor!foobar@codu.org PRIVMSG #esoteric :!haskell import Unsafe.Coerce; main = unsafeCoerce (42 :: Int) < 1324831869 82644 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric : ​\ /tmp/runghcXXXX21051.hs:1:8: Not in scope: `printStr' < 1324831871 415148 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Gregor: No you don't. < 1324831877 695901 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Oh, hmm < 1324831879 439611 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :That might be to stdout < 1324831880 930441 :Gregor!foobar@codu.org PRIVMSG #esoteric :!haskell import Unsafe.Coerce; main = unsafeCoerce (42 :: Int) < 1324831881 106915 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :runghc is weird < 1324831898 196199 :Gregor!foobar@codu.org PRIVMSG #esoteric :Helloooo? Tell me you segfaulted! < 1324831907 788612 :Gregor!foobar@codu.org PRIVMSG #esoteric :!haskell import Unsafe.Coerce; main = unsafeCoerce (42 :: Int) < 1324831912 852811 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :[elliott@dinky tmp]$ runhaskell <<< 'import Unsafe.Coerce; main = unsafeCoerce (42 :: Int)' < 1324831913 28925 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :[elliott@dinky tmp]$ < 1324831917 693290 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :That explains things. < 1324831922 580608 :Gregor!foobar@codu.org PRIVMSG #esoteric :lol < 1324831928 577294 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Same with nullPtr < 1324831931 155296 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :But it exits code 11 < 1324831938 165336 :Gregor!foobar@codu.org PRIVMSG #esoteric :I could make it output "No output." as appropriate. < 1324831941 988796 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :So, uh, I guess you could add || echo "died with $?" < 1324831944 559325 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Or something. < 1324831970 46416 :Gregor!foobar@codu.org PRIVMSG #esoteric :!haskell import Unsafe.Coerce; main = unsafeCoerce (42 :: Int) < 1324831975 90635 :EgoBot!foobar@codu.org PRIVMSG #esoteric :No output. < 1324831985 509794 :Gregor!foobar@codu.org PRIVMSG #esoteric :Error codes are for losers. < 1324832023 686077 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :!haskell main = main < 1324832035 571283 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Gregor: Uhh, excuse me, where is my <>? < 1324832041 273276 :Gregor!foobar@codu.org PRIVMSG #esoteric :!haskell import Unsafe.Coerce; main = unsafeCoerce (42 :: Int) < 1324832045 458494 :Gregor!foobar@codu.org PRIVMSG #esoteric :elliott: ? < 1324832046 243685 :EgoBot!foobar@codu.org PRIVMSG #esoteric :No output. < 1324832094 871384 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Gregor: GHC has a grand tradition of optimising terminating programs into programs which print <> then exit. < 1324832102 323457 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Perhaps only the compiler does it, though. < 1324832133 503248 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :[elliott@dinky tmp]$ echo 'main = main' >loop.hs && ghc --make loop.hs < 1324832133 679980 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :[1 of 1] Compiling Main ( loop.hs, loop.o ) < 1324832133 856444 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Linking loop ... < 1324832133 856551 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :[elliott@dinky tmp]$ ./loop < 1324832133 856594 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :loop: <> < 1324832163 711771 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :"I feel that monospace fonts should be used for all of programming. A < 1324832163 889590 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :language could use Unicode symbols, but if it enforces typography, it < 1324832164 65659 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :is destined to win an award for being really unusable" < 1324832168 94379 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :EXCELLENT! @lang is unusable < 1324832170 727538 :Gregor!foobar@codu.org PRIVMSG #esoteric :I assume you mean non-terminating programs. < 1324832176 729008 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :"I'd suggest, in addition to the symbols, renaming some of the fundamental types and concepts, like Monad. I would violently agree that Monad is the correct term, but try to communicate with a commodity software developer sometime (or a government acquisition professional). RWH goes a long way to explaining the concepts, as do the countless Web pages dedicated to explaining the monad concept." < 1324832179 228698 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :WOW THIS IS THE WORST THREAD < 1324832183 535023 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Gregor: I... might. < 1324832190 608884 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Gregor: OTOH it could optimise terminating programs that way too. < 1324832213 559158 :Gregor!foobar@codu.org PRIVMSG #esoteric :True. < 1324832216 940177 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :"Indeed, that is my point. "Bottom" is the representation of a computation < 1324832217 133818 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :which cannot be computed. It does not have a semantic in anything less < 1324832217 309905 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :than the first infinite ordinal. It should be treated as essentially < 1324832217 310012 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :unique. It exists as a syntactic construct, but it cannot be given an < 1324832217 310062 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :interpretation in Haskell. < 1324832217 938116 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :In particular, we cannot compare "distinct" (or even indistinct) bottoms, < 1324832219 941059 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :because of the halting problem. There is no consistent logic in which < 1324832221 943605 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :(forall x, x = x) does not hold. Treating bottom the same way we treat 1, < 1324832223 946510 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :"abc", (Just 10), and the other (in principle) comparable values introduces < 1324832225 947778 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :contradiction to Haskell, as a logic. (That is why bottom has the < 1324832227 967140 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :syntactic symbol _|_, the syntax for /the/ unique contradiction)" < 1324832229 949813 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :AAAAAAAAAAARGH < 1324832352 478009 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :elliott: i think you found the guy < 1324832376 42673 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :oh, solla < 1324832391 612496 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :there is a very disappointing amount of ignorance in this thread < 1324832539 808007 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :"I really have no problems with the monad/functor separation that < 1324832540 23457 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :somebody mentioned. < 1324832540 23746 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Maybe Monad is not the best name for that class if it's not true that < 1324832540 23909 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :every Monad is a < 1324832540 24069 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Functor, but it's not very confusing anyway." < 1324832579 213668 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i recall that was very confusing < 1324832590 102165 :pikhq!~pikhq@71-219-203-223.clsp.qwest.net JOIN :#esoteric < 1324832593 518520 :pikhq_!~pikhq@71-219-255-49.clsp.qwest.net QUIT :Ping timeout: 255 seconds < 1324832714 316638 :Gregor!foobar@codu.org PRIVMSG #esoteric :What shall I eat for Christmas lunch. < 1324832724 205021 :Gregor!foobar@codu.org PRIVMSG #esoteric :I'm thinkin' ... peanutbutter and jelly sandwich. < 1324832756 482370 :Gregor!foobar@codu.org PRIVMSG #esoteric :*sobs quietly to self* < 1324832816 766362 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :this guy on SO just unaccepted my answer < 1324832818 61133 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :ON CHRISTMAS! < 1324832819 860386 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :CHRISTMAS!!! < 1324832862 160883 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :oerjan: "Denotational semantics is unrealistic." you're right, this guy is awful < 1324832947 391133 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :oerjan: he's skipped the "being any good at theory" part and jumped straight to the "adopting hard-line constructivism" part, it seems < 1324832975 402175 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :"So assuming you mean something like: < 1324832975 578622 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric : fst (seq [1..] (1,2))" < 1324832979 281215 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :that terminates, you douche. < 1324833021 598373 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :now that I think of it, this Solla name is very familiar... < 1324833024 806878 :azaq23!~derivecto@unaffiliated/azaq23 JOIN :#esoteric < 1324833033 801312 :azaq23!~derivecto@unaffiliated/azaq23 QUIT :Max SendQ exceeded < 1324833062 796318 :azaq23!~derivecto@unaffiliated/azaq23 JOIN :#esoteric < 1324833112 231600 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :oerjan: ooh look, he's made a cottage industry out of this: http://blog.ezyang.com/2011/09/lets-play-a-game/comment-page-1/#comment-2974 < 1324833164 217735 :oerjan!oerjan@sprocket.nvg.ntnu.no QUIT :Remote host closed the connection < 1324833516 696964 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :"Sure, but if you've ever used recursion, then you do have bottoms in your program." < 1324833517 744165 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :no. stop. < 1324833521 263030 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :you're making it worse < 1324834033 265812 :incomprehensibly!~Adium@67-41-188-103.slkc.qwest.net JOIN :#esoteric < 1324834038 238075 :incomprehensibly!~Adium@67-41-188-103.slkc.qwest.net QUIT :Client Quit < 1324834175 166225 :sebbu2!~sebbu@ADijon-152-1-46-10.w83-194.abo.wanadoo.fr JOIN :#esoteric < 1324834175 612740 :sebbu2!~sebbu@ADijon-152-1-46-10.w83-194.abo.wanadoo.fr QUIT :Changing host < 1324834175 789175 :sebbu2!~sebbu@unaffiliated/sebbu JOIN :#esoteric < 1324834236 208847 :sebbu!~sebbu@unaffiliated/sebbu QUIT :Ping timeout: 240 seconds < 1324834264 25743 :sebbu2!~sebbu@unaffiliated/sebbu NICK :sebbu < 1324834950 147800 :Gregor!foobar@codu.org PRIVMSG #esoteric :I'll bet fnord.to is somebody here ... < 1324834955 281785 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :http://isitchristmas.com/ god blses < 1324834965 840689 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Gregor: Huh? < 1324834977 963820 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :*gob dles < 1324835051 743477 :Gregor!foobar@codu.org PRIVMSG #esoteric :fnord.to was poking around at hackiki.org < 1324835091 668867 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Hoy that's probably the isitchristmas site that was on our lobby-screen. < 1324835099 432606 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Or at least very similar. < 1324835111 294023 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric : < 1324835122 589247 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Gregor: No imagemap user would survive here. < 1324835129 781676 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :fizzie: It's pretty Famous. < 1324835142 624232 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :It has isitfriday normally. < 1324835178 188364 :Gregor!foobar@codu.org PRIVMSG #esoteric :elliott: Hard to argue with that logic ... < 1324835183 121554 :Gregor!foobar@codu.org PRIVMSG #esoteric :Maybe he's a would-be hacker. < 1324835185 410066 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :But apparently not isitfriday.com, that seems very different. < 1324835401 159029 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :"It has a security system including user permissions to make this marginally safer than it sounds." < 1324835403 244746 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Gregor: Yeah, marginally. < 1324835442 418986 :Gregor!foobar@codu.org PRIVMSG #esoteric :Well they're not supposed to make it /wildly/ safer X-d < 1324835444 91426 :Gregor!foobar@codu.org PRIVMSG #esoteric :... < 1324835445 279716 :Gregor!foobar@codu.org PRIVMSG #esoteric :*X-D < 1324835473 803750 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Gregor: What the /fuck/ do you use for < 1324835517 808520 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :403 < 1324835517 986027 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Permission denied. < 1324835517 986214 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Due to spam, all edits to this wiki require that you log in. < 1324835523 153780 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Gregor: You have successfully defeated my 'sploit. < 1324835542 208708 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :fizzie: Although you may think you are frolicking happily across the internet surf, make no mistake. There are sharks in the surf who will infect your PC, steal your valuable information, your identity and wreck unimaginable havoc on your life and PC. < 1324835572 218532 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Those wifi-enabled SD cards -- http://uk.eye.fi/ -- are so confusing. It's a SD card. But it magically wifizes and remungles its contents and whatnot. < 1324835604 331213 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Next they'll make a microsd card like that. < 1324835618 403296 :Gregor!foobar@codu.org PRIVMSG #esoteric :elliott: <xmp> apparently just ignores HTML tags. < 1324835633 634830 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :(Also they're misusing our ccTLD.) < 1324835656 459783 :Gregor!foobar@codu.org PRIVMSG #esoteric :elliott: I think he was just trying to find the environment. < 1324835731 580972 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Gregor: Oh, he added that, not you. < 1324835747 597154 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :fizzie: So it's a ... dropbox SD card or something? < 1324835759 296907 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :That's actually not a terrible idea... < 1324835767 237393 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Although you'd want 3G really. < 1324835798 415859 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Or at least Bluetooth so it can work short-range if you just lug about a laptop. < 1324835834 17349 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :fizzie: Also I thought you guys had Official Rules about your ccTLD. < 1324835850 857999 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :We had, last millennium. < 1324835861 103143 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Well, maybe still during this one too. < 1324835869 693261 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :But nowadays they're very relaxed. < 1324835888 155247 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :I wonder if they made a shell company in Finland just to register that or something. :p < 1324835907 961014 :Gregor!foobar@codu.org PRIVMSG #esoteric :I looked at Eye-Fi, went "wow, that's surprisingly inexpensive", then noticed it's in GBP :( < 1324835911 345489 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :There might still be a residence-or-place-of-business rule, yes. < 1324835919 265605 :oerjan!oerjan@sprocket.nvg.ntnu.no JOIN :#esoteric < 1324835976 578962 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Gregor: Multiply by 1000 to get current US market rates. < 1324835989 424337 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :"For Eye-Fi UK, click here. For Eye-Fi France, click here. For Eye-Fi USA, click here. For Eye-Fi Japan, click here. Eye-Fi is not available in other countries at this time, but keep tuned by signing up for our mailing list." < 1324835992 677311 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Discrimination against fizzies. < 1324836011 595903 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :They're selling it in the local department store. < 1324836021 933475 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Their catalog is where I noticed it from. < 1324836035 958618 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :The website went to uk.eye.fi automagically though. < 1324836100 206592 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :eye.fi's been registered to "Web Solutions ApS, Suomen sivuliike" -- where "Suomen sivuliike" means "subsidiary in Finland", basically. (And it has a snailmail address in Copenhagen.) < 1324836189 933519 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :They've had wifi-enabled CF cards for quite a while, aimed for professionals; but those are at least a bit bigger. < 1324836200 690954 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :fizzie: Web Solutions sounds like the name of a company that could forseeably register .fi domains on behalf of people not in finland. < 1324836203 846958 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :*Finland < 1324836216 10144 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :"I would have compose (probably not called '.') read the same way we read < 1324836216 204677 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :this sentence (and unix pipes) ie left to right." < 1324836219 240795 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :NOOO I JUST ARGUED ABOTU THIS < 1324836264 963565 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :oerjan: if you gave up on that thread don't worry MCBRIDE SAVES THE DAY < 1324836266 479479 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :By < 1324836267 396656 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :talking < 1324836305 698684 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :"> I'd like to program with an applicative notion, but < 1324836305 874826 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :> in monadic types. That's what I'd do different, and for me, the subject < 1324836306 50854 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :> is not a hypothetical question. < 1324836306 226910 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :So... you are developing a programming language with all calculations being automatically lifted to a monad?" < 1324836306 808122 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : <no location info>: parse error on input `in' < 1324836306 985670 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : can't find file: L.hs < 1324836309 862986 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :HE INVENTED IDIOM BRACKETS YOU DOLT < 1324836319 939804 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :oerjan: hi, im a stable and mature human being < 1324836344 524730 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :I'm vaguely curious how that "auto-upload and delete oldest to free space" feature works. It has to fake some sort of FAT filesystem for the camera, and it doesn't sound especially safe to go altering that while the camera's on, if it has cached parts of it. < 1324836349 689397 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :elliott: it's not like i visit haskell-cafe every hour < 1324836362 189951 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :more like once a day < 1324836407 181305 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :oerjan: this is from dec 22 :P < 1324836415 835511 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :making compose go left to right is somewhat dubious all the time application is still right to left < 1324836432 471623 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :fizzie: It could just cause FAT requests to block until it does the fiddling, no? < 1324836474 476031 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :oerjan: indeed. yesterday I objected to it at length because I find the notion that composition works "backwards" very misguided, as it's applying an intuition about how strict languages are evaluated to a non-strict language < 1324836486 842924 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :(I don't recall whether you were present or not) < 1324836495 109714 :Gregor!foobar@codu.org PRIVMSG #esoteric :elliott: LOLOLOL < 1324836501 462801 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Gregor: hi < 1324836504 478292 :Gregor!foobar@codu.org PRIVMSG #esoteric :elliott: Price is $50 or 50GBP < 1324836511 798946 :Gregor!foobar@codu.org PRIVMSG #esoteric :LOGIC MUCH? < 1324836532 808575 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Gregor: That's a common thing. < 1324836561 701837 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Gregor: If you see pricing like that, you know it's a ripoff any country you're in, because they're going to be making almost 100% profit, and so are making pricing decisions based on psychology rather than mathematics :) < 1324836567 366297 :Gregor!foobar@codu.org PRIVMSG #esoteric :I know that's common for less expensive things, I thought it started to approach the actual conversion rate as things got more expensive. Although I suppose $50 isn't exactly expensive. < 1324836575 693602 :Gregor!foobar@codu.org PRIVMSG #esoteric :Yup. < 1324836585 291616 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :It probably costs them three cents and a Chinese orphan's tear to make. < 1324836616 786426 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Gregor: Anyway, 50 pounds is pretty expensive. < 1324836622 230995 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Especially for an SD card :P < 1324836630 387154 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Oh, wait, you said for less expensive things. < 1324836642 167186 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :There are no "FAT requests" the SD card gets, it's a block device. And the camera can reasonably assume nothing else will change the contents and e.g. cache the FAT directory structure, and write the directory contents from that cache after snapping a new shot, which would break badly if the directory had had some files deleted. < 1324836643 707639 :Gregor!foobar@codu.org PRIVMSG #esoteric :Like food and clothes. < 1324836660 533315 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :<elliott> oerjan: hi, im a stable and mature human being <-- i think the term is "compulsive liar" < 1324836660 887895 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :"Oh, so it's not an arbitrary monad, but a single one. That's a bit disappointing." < 1324836669 540254 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :THAT'S NOT HOW EFFECT SYSTEMS WORK < 1324836684 41919 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :HOW DARE YOU INSULT THE GREAT EXALTED MCBRIDE < 1324836692 94492 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :IM GOING TO MAKE YOU CRY INTO A VAT OF TEARS ;__; < 1324836693 730699 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :hi < 1324836714 518991 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i sense that christmas is grating on us all < 1324836723 333898 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :fizzie: Fair enough, but I don't know that cameras would actually do that. < 1324836729 103544 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :oerjan: Naw, Christmas is great, it's the other parts. < 1324836739 174712 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :fizzie: I mean, they presumably don't have much computing RAM. < 1324836748 480561 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :(i.e. RAM not being used for camera-y things, I don't really know how cameras work.) < 1324836797 810961 :Gregor!foobar@codu.org PRIVMSG #esoteric :They typically run VxWorks. < 1324836813 172278 :Gregor!foobar@codu.org PRIVMSG #esoteric :So, you could probably find out. < 1324836814 134056 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :You could run Linux on some old Canons, IIRC. < 1324836816 483713 :PiRSquaredAway!~PiRSquare@wikipedia/PiRSquared17 QUIT :Quit: bye < 1324836841 134641 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Anyway, they do seem to have a camera compatibility page. Maybe it just makes some assumptions. < 1324836854 513211 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :fizzie: Maybe you have to turn off the camera and press a button. : < 1324836855 142615 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric ::p < 1324836868 494592 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :"> > Denotational semantics is unrealistic. < 1324836868 670997 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :> And so are imaginary numbers. But they are damn useful for electrical < 1324836868 671192 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :> circuits calculations, so who cares? < 1324836868 671300 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Not a fair comparison. Quaternions are not particularly useful for < 1324836868 671406 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :electrical circuits, because it is unrealistic to apply a four-dimensional < 1324836868 995179 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :construct to two-dimensional phase spaces. In the same way, denotational < 1324836869 384529 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : Not in scope: data constructor `And'Not in scope: `so'Not in scope: `are'No... < 1324836869 624857 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : can't find file: L.hs < 1324836870 921334 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :semantics adds features which do not apply to a theory of finite < 1324836872 921089 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :computation." < 1324836874 925910 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :oerjan: this guy is crazy < 1324836891 520936 :Gregor!foobar@codu.org PRIVMSG #esoteric :Maybe it just doesn't eff with the presented filesystem until the camera is off? < 1324836899 719490 :Gregor!foobar@codu.org PRIVMSG #esoteric :I mean, it is a memory card as well as a Wi-Fi device. < 1324836904 256386 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :elliott: so you think he'd fit in here? < 1324836904 686634 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :The card doesn't get power when the camera is off. < 1324836913 807255 :Gregor!foobar@codu.org PRIVMSG #esoteric :fizzie: Tiny battery. < 1324836923 418479 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :"I did not introduce "good" and "bad" into this discussion. I have merely < 1324836923 618156 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :said (in more words) that I want my hypothetical perfect language to prefer < 1324836923 794446 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :OPERATIONAL (model) SEMANTICS for a typed PARACONSISTENT LOGIC over the < 1324836923 794647 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :DENOTATIONAL SEMANTICS which the official documentation sometimes dips into." < 1324836931 907211 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :PARACONSISTENT LOGICS! awesome, he's going right off the deep end < 1324836961 914066 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Apparently at least some cameras do explicit support, with "doesn't turn off until uploads are complete" + "can disable wifi via menu" + "provides wifi indicators in menus" sort of features. < 1324836999 869548 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :fizzie: I wonder how you enter WAP keys. < 1324837007 235211 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Maybe there's a little binary input switch on the back. < 1324837016 755268 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Maybe it shows the results by faking a picture file that you view with your camera. < 1324837027 493980 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :There's a pre-setup you do with a computer, sorry. :p < 1324837039 614464 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :elliott: at least he has a para-chute < 1324837100 690269 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :fizzie: I do wonder how useful the WiFi-as-soon-as-you-take-a-picture thing is, unless you take pictures of areas in your house with particularly good signal strength. < 1324837113 814328 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :It seems like most of the time you'd want to take photos, return home, and press a button to do the uploadering. < 1324837124 713712 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Then the benefits seem rather dubious wrt just plugging it in to a computer. < 1324837126 13204 :Gregor!foobar@codu.org PRIVMSG #esoteric :elliott: Frankly, I'd be happy with having my laptop strapped 'round me, on, as a WiFi hotspot. < 1324837128 895629 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :s/wrt/as opposed to/ < 1324837137 670960 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Gregor: That's why I said it should do Bluetooth :) < 1324837147 590851 :Gregor!foobar@codu.org PRIVMSG #esoteric :Mmmm. < 1324837148 309281 :Gregor!foobar@codu.org PRIVMSG #esoteric :True. < 1324837160 730 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Gregor: Now CLEARLY what we need is a wearable computer to do that part. < 1324837163 448685 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Laptop in your pants. < 1324837170 431521 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Then we could just put a camera in the glasses. < 1324837177 263783 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :And look like total fuckin' nerd. < 1324837177 942834 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :s. < 1324837185 888209 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :fizzie: Or that, yes. < 1324837203 72759 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Doubles as a sack-warmer in colder climates. < 1324837227 6734 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :oerjan: Did you see that "strict, lazy, non-strict, eager" thread? < 1324837236 782110 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :It's, um, very pleasantly worded. < 1324837285 705256 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :> comparing void [] [0..] < 1324837286 462738 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : Not in scope: `void' < 1324837294 410486 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :> let void = liftM $ const () in comparing void [] [0..] < 1324837295 276303 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : LT < 1324837305 933094 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Deewiant: You may find ^ useful for lazily comparing lengths of lists without having to define your own function for it < 1324837349 931905 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Deewiant: (Obviously with Control.Monad.void) < 1324837429 508972 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :> let void = liftM $ const () in comparing void [0..] [1..] -- WHY IS IT NOT GT IT OBVSLY HAS ONE MORE NUMBER < 1324837433 237353 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : mueval-core: Time limit exceeded < 1324837461 913102 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :of course < 1324837533 295106 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :> let void = liftM $ const () in compаring void [0..] [1..] < 1324837534 118234 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : Ambiguous type variable `m' in the constraint: < 1324837534 294449 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : `GHC.Base.Monad m' < 1324837534 470668 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : a... < 1324837561 526102 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric ::t (()<$) -- this too < 1324837562 274458 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :forall (f :: * -> *) b. (Functor f) => f b -> f () < 1324837567 1654 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :> let void = liftM $ const () in compаring void [0..] [1..] < 1324837568 478844 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : GT < 1324837572 4525 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :fizzie: It just needed some time to think, that's all. < 1324837572 181045 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :"comp?ring" -- poor terminal font strikes again. < 1324837576 55583 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Darn. < 1324837598 495205 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :(On the phone here, Droid Sans Mono or whatever.) < 1324837647 236691 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :It's just Crycrycarcyarcuyrcihcruwehricuhweirchaorchuiweorhcawercllic! < 1324837649 707988 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :> 'а' < 1324837650 27553 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :AKA Welsh. < 1324837650 444222 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : '\1072' < 1324838803 272837 :incomprehensibly!~Adium@67-41-188-103.slkc.qwest.net JOIN :#esoteric < 1324838898 153620 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :atomicModifyMutVar# :: MutVar# s a -> (a -> b) -> State# s -> (#State# s, c#) < 1324838904 575476 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :oh god, it's that type copumpkin warned me about < 1324838908 575652 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :oerjan: help, i'm so scared < 1324838915 543867 :copumpkin!~pumpkin@unaffiliated/pumpkingod PRIVMSG #esoteric ::) < 1324838956 162455 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :you are far from your safe boxes now, elliott < 1324839024 884823 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :oerjan: it's not the boxes < 1324839033 154820 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :oerjan: where does b go, and where does c come from < 1324839040 695587 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :know that and you will know true horror < 1324839045 969471 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :hint: < 1324839048 304702 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric ::t atomicallyModifyIORef < 1324839049 23544 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :Not in scope: `atomicallyModifyIORef' < 1324839051 140943 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :argh < 1324839057 859149 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :@hoogle atomicallyModifyIORef < 1324839058 84913 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :No results found < 1324839060 419679 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :argh! < 1324839064 694684 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :ayieeh < 1324839068 219519 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric ::t atomicModifyIORef < 1324839069 2510 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :Not in scope: `atomicModifyIORef' < 1324839071 388652 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :@hoogle atomicModifyIORef < 1324839071 586710 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :Data.IORef atomicModifyIORef :: IORef a -> (a -> (a, b)) -> IO b < 1324839075 775150 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :oerjan: there's hint < 1324839199 577305 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :well b = (a, c) would seem a safe bet < 1324839263 829182 :incomprehensibly!~Adium@67-41-188-103.slkc.qwest.net QUIT :Quit: Leaving. < 1324839289 88288 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :so why in the world isn't it fixed to that < 1324839340 472367 :incomprehensibly!~Adium@67-41-188-103.slkc.qwest.net JOIN :#esoteric < 1324839371 855885 :incomprehensibly!~Adium@67-41-188-103.slkc.qwest.net QUIT :Client Quit < 1324839462 774636 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :oerjan: because tuples aren't available at the stage GHC.Prim is compiled at < 1324839467 221479 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :or something < 1324839470 412749 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :or the stage the types are expressed at < 1324839475 380171 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :so it just unsafeCoerces it < 1324839481 411266 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :AIEEH < 1324839487 53770 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :it's amazing :D < 1324839492 555441 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :hmm < 1324839496 821992 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :copumpkin: why doesn't it just use an unboxed tuple? < 1324839543 797745 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Heh, that's funny; the laptop which I upgraded to Ubuntu 11.10 has lost the Ubuntu branding from the GRUB menu; now it has Debian branding there. "debian: The Universal Operating System", and a globe, and whatever. < 1324839573 446813 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :fizzie: Are you sure you didn't upgrade it to Debian? < 1324839586 200540 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :I'm... reasonably sure. It has that Ubuntu LightDM stuff going on. < 1324839659 648084 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :elliott: presumably it would then have to repack it to get it into an actual IO? < 1324839683 783313 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :oerjan: hm right < 1324840706 694697 :incomprehensibly!~Adium@67-41-188-103.slkc.qwest.net JOIN :#esoteric < 1324840908 12036 :incomprehensibly!~Adium@67-41-188-103.slkc.qwest.net QUIT :Client Quit < 1324840962 210530 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :http://upload.wikimedia.org/wikipedia/commons/f/f4/Ad%E2%82%ACm%3D%292499.jpg <- the discontentednest cat. < 1324841074 56366 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :@src Int compare < 1324841074 289027 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :Source not found. That's something I cannot allow to happen. < 1324841076 640698 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :gah < 1324841095 817986 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :fizzie: [bad shakespeare reference] < 1324841294 38494 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :*Data.Unique.Snowflake> fmap hash newUnique < 1324841294 292933 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :256 < 1324841294 469073 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :*Data.Unique.Snowflake> fmap hash newUnique < 1324841294 469274 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :512 < 1324841294 469399 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :*Data.Unique.Snowflake> fmap hash newUnique < 1324841295 58429 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :768 < 1324841297 105042 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :*Data.Unique.Snowflake> fmap hash newUnique < 1324841299 42575 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :1024 < 1324841301 45214 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :*Data.Unique.Snowflake> fmap hash newUnique < 1324841303 47094 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :1280 < 1324841305 120370 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Well that's not right. < 1324841332 902926 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :@src Int < 1324841333 133352 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :data Int = I# Int# < 1324841336 229982 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Hmm. < 1324841376 274979 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :oerjan: why the heck can't I unsafeCoerce "data Foo = Foo Int#" into Int and get the right results :( < 1324841423 184837 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :shocking < 1324841484 276351 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :oerjan: why is that shocking :( they have :( the exact same constructors < 1324841497 412696 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :yes, that's why it's shocking < 1324841555 961690 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :oerjan: you usually am be sarcastic when say shocking >:( < 1324841580 31019 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :why can't i be both? </dogbert> < 1324841866 233891 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :storm's a-coming :( < 1324841897 626020 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :oerjan: *santa < 1324841927 730563 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i thought even you brits were finished with that bit now < 1324841977 430121 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :oerjan: SANTA NEVER DIES. < 1324842065 584459 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :surely this must be about when he goes on vacation. < 1324842144 115659 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :oerjan: well see because he exists in his own space-time continuum, he actually works normal workdays < 1324842162 452951 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :monday to friday he does his deliveries, and he gets the weekend off, which translates to like a few ms pause < 1324842169 569956 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :he gets all this extra time from the rest of the yaer < 1324842170 277504 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :year < 1324842182 466663 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :so for santa the year is december 24/25 < 1324842186 345361 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :qez < 1324842237 968540 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :fancy < 1324842252 148705 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :quod est zombocom? < 1324842295 468147 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :yes. < 1324842303 673583 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :that's where santa's power comes from < 1324842309 617975 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :because you can do anything as santa < 1324842314 461695 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :the only limit is yourself. < 1324842318 765635 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :oerjan: did you get lutefisk for christmas < 1324842332 85572 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :no. < 1324842393 258422 :KingOfKarlsruhe!~chatzilla@p5B132B36.dip.t-dialin.net JOIN :#esoteric < 1324842665 992047 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :oerjan: why not < 1324842673 570910 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :it doesn't really work as microwave dinner. < 1324842714 470416 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :oerjan: does santa not cook things for you in .no < 1324842739 142037 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :not lutefisk. < 1324842926 699571 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :data Int = I# Int# < 1324842927 268685 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :hmph < 1324842933 513124 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :I was wondering if the representation mightn't have changed < 1324842949 77484 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :and I know current GHC doesn't pointer-tag Ints, so wtf < 1324842952 50682 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :or hmm < 1324842962 244098 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :it doesn't tag Int#s < 1324842965 997085 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :but it has no reason to tag Ints, either < 1324842969 857884 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :since they're just regular objects < 1324843047 617420 :Gregor!foobar@codu.org PRIVMSG #esoteric :`words --eng-all -o 100 < 1324843058 450794 :HackEgo!foobar@codu.org PRIVMSG #esoteric :stronycaetinearettanessedbyaminatriquemosientastorresitamportcolithoxyfullankowskywherytiarynooarding < 1324843081 991450 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :Gregor: i think that must be illegal < 1324843108 191282 :Gregor!foobar@codu.org PRIVMSG #esoteric :Eff off, pig, I'll stronycaetinearettanessedbyaminatriquemosientastorresitamportcolithoxyfullankowskywherytiarynooard all I want! < 1324843180 165270 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :well don't come running to us if you get in trouble < 1324843212 914222 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :`words --french -o 1000000000000 < 1324843218 270460 :HackEgo!foobar@codu.org PRIVMSG #esoteric :graphilardantsukundanifeloppéesdictumonomitatusilissementaranssuyerdentor's < 1324843222 104385 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric ::D < 1324843233 340247 :elliott!~elliott@unaffiliated/elliott TOPIC #esoteric :The graphilardantsukundanifeloppéesdictumonomitatusilissementaranssuyerdentor's domain | http://codu.org/logs/_esoteric/ < 1324843267 152771 :Gregor!foobar@codu.org PRIVMSG #esoteric :`words --eng-all -o 2 < 1324843273 163816 :HackEgo!foobar@codu.org PRIVMSG #esoteric :estonen < 1324843289 922519 :Gregor!foobar@codu.org PRIVMSG #esoteric :`words --help < 1324843292 923220 :HackEgo!foobar@codu.org PRIVMSG #esoteric :Usage: words [-dhNo] [DATASETS...] [NUMBER_OF_WORDS] \ \ valid datasets: --eng-1M --eng-all --eng-fiction --eng-gb --eng-us --french --german --hebrew --russian --spanish --irish --german-medical --bulgarian --catalan --swedish --brazilian --canadian-english-insane --manx --italian --ogerman --portuguese --polish --gaelic --finnish --norwegian \ default: --eng-1M \ \ options: \ -h, --help this help text < 1324843293 860087 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Estonen, it's like estonian but bad. < 1324843305 805818 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :`words --german-medical -o 100 < 1324843309 226981 :HackEgo!foobar@codu.org PRIVMSG #esoteric :vigitallsprozeptusionephalternaltenstlinsuchenorelsunfallsfreichondrogrendesequetiralemedierenzenzprävalerientibins < 1324843339 401145 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :whatever you do, don't catch that < 1324843366 10089 :Gregor!foobar@codu.org PRIVMSG #esoteric :It can be cured quickly and easily, but you'll die while they try to tell each other what you have. < 1324843386 511713 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :each part may be curable, but you'll never survive the full drug combination < 1324843434 622875 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :`words --german-medical -o -42 < 1324843438 102035 :HackEgo!foobar@codu.org PRIVMSG #esoteric :cliom < 1324843477 294056 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :cliom < 1324843492 890197 :Gregor!foobar@codu.org PRIVMSG #esoteric :What does -o actually do, more specifically than vaguely affect the length ... < 1324843498 850351 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :"Yes, it takes the birth of Jesus to enumerate total functions, so Merry Christmas!" < 1324843502 498170 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Gregor: Set the offset. < 1324843513 800266 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :the cliom is just below and to the left of the splanch < 1324843531 161644 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Gregor: For more detail see Hird, Kallasjoki et al. 2011. < 1324843544 269926 :Gregor!foobar@codu.org PRIVMSG #esoteric :lol < 1324843550 321001 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :AS PLAGIARISED BY CURTIS 2011 < 1324843569 605970 :Gregor!foobar@codu.org PRIVMSG #esoteric :Plagiarism is the sincerest form of plagiarism. < 1324843580 488970 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric ::D < 1324843603 52031 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :"And another observation: Haskell has access to the real world and can use real-world data to construct elements of type Integer -> Bool. Are you saying there are only countably many streams of bits in the real world?" < 1324843605 409734 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Err... yes. < 1324843626 374099 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :If I write that in my book of tautologies, I will have written it in my book of tautologies. < 1324843726 42883 :Gregor!foobar@codu.org PRIVMSG #esoteric :elliott: If you collect Love of Jesus photons (which are at a particularly high density this time of year anyway), you can get infinite streams of bits from the Real World. < 1324843763 422252 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Gregor: Haskell doesn't let you talk to the real world, man. < 1324843770 777114 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :That's why people don't buy Haskell programs. < 1324843788 353901 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :"Functional programming may have moved on from when I was at university, but as I recall the main point of a functional programming system was to stop the programmer creating any “side effect”. However users buy software due to the side effects that are created, e.g. updating a UI." < 1324843800 711393 :Gregor!foobar@codu.org PRIVMSG #esoteric :lol < 1324843811 359904 :Gregor!foobar@codu.org PRIVMSG #esoteric :This guy is a real champion. < 1324843817 172731 :oerjan!oerjan@sprocket.nvg.ntnu.no QUIT :Quit: Good night < 1324843900 563509 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :"Also, I don't see why < 1324843900 779584 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :partiality deserves an applicative notation where other, perhaps more < 1324843900 779853 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :benign effects (like *handled* exceptions) are forced into an imperative < 1324843900 779967 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :(or clunky Applicative) mode." < 1324843902 353160 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :BURRRRRRRRRRRRN < 1324843932 457479 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :For Haskell fanboy, I sure do dislike Haskell. < 1324844200 752212 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :`words --norwegian 15 < 1324844204 693095 :HackEgo!foobar@codu.org PRIVMSG #esoteric :fremiddagsstemulig botnfirehjemmerliging bruktemass fein mørkbilleken enklenets insenotikke tabsolengen bjølvstøver styrmarked begrets kole skanalfartering bahrens mollda < 1324844206 487162 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :(Oh, it has that now.) < 1324844260 110191 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Aw, oerjan just left; I was going to ask whether he's got his bjølvstøvers warmed up, and mørkbilleken in the oven. < 1324844265 995179 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :After all, it's Christmas now! < 1324844311 18197 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :`words --finnish 15 < 1324844314 711001 :HackEgo!foobar@codu.org PRIVMSG #esoteric :näytempiisimmassa toisemme suomassa venpähäneet sohjauttavistuvaa minansa kutikapestuin piisarmoksee selkääni leissasi sofisellestäsi sääsi allittuissammilta laveristaan grafialleen < 1324844327 6083 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :fizzie: Taken a trip to the suomassa recently? < 1324844337 407973 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :fizzie: If not, I hope you're eating some delicious venpähäneet. < 1324844350 941462 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :fizzie: My favourite Finnish delicacy has to be selkääni, though. < 1324844360 611618 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :fizzie: And Sääsi is such a lovely town. < 1324844365 871058 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Taken a trip to the mass of swamp? Can't say I have. < 1324844370 672511 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :X-D < 1324844371 986974 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Seriously? < 1324844392 673491 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Well, it's not a *regular* word; but suo is a swamp, and massa is pretty much mass, so... < 1324844455 142316 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Also 'selkääni' is a regular word, e.g. "nouse selkääni" 'get on my back', "selkääni koskee" 'my back hurts'. < 1324844530 267246 :Gregor!foobar@codu.org PRIVMSG #esoteric :Mmmm, back. < 1324844531 129733 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :First-person singular possessive version of the illative case, or some-such. < 1324844546 603567 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :I guess you could say "syöt selkääni" 'you are eating my back'. < 1324844577 55868 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric ::D < 1324844584 177035 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :fizzie: What about the othe rtwo? < 1324844585 898510 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :*other two < 1324844644 504332 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Those don't really have a meaning, though Sääsi could well be a Finnish place name, and "vehnä" == wheat, so I keep reading "venpähäneet" as wheat-something, since it's got the right letters, just not in the right order. < 1324844704 117315 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :"vehnäpäneet" is still nothing, as far as I know of, but it could easily be "wheat X", where X is some horrible traditional food from the ass-end of nowhere. < 1324844738 530653 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric ::D < 1324844738 949947 :Gregor!foobar@codu.org PRIVMSG #esoteric :WHEAT-RELATED ANECDOTE: < 1324844744 389196 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Actually hmm, I guess "sääsi" is also "your weather", come to think of it. People don't usually have private weathers, but I guess it could be used to mean "weather in where you are". < 1324844759 48962 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :your weather :D < 1324844773 885898 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :ic an;t stop laughing your language is so funny < 1324844774 62129 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :("sää" is weather.) < 1324844781 174418 :Gregor!foobar@codu.org PRIVMSG #esoteric :I remember somebody saying that they would organize a "grad student challenge", where you had to do conventional grad-student stuff all day. But as they described it, the first thing they said is "you get up and eat wheat for breakfast", and everybody laughed at them, so we didn't hear the rest. < 1324844783 20143 :Gregor!foobar@codu.org PRIVMSG #esoteric :Mmmm, wheat. < 1324844845 525380 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Gregor: Backs are nicer. < 1324844864 257068 :Gregor!foobar@codu.org PRIVMSG #esoteric :I use raw wheat as a garnish for back. < 1324845034 524082 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :elliott: Also from your `words list: "toisemme" 'we -- each other' if you add a verb; "laveristaan" '(out of/about) his/her (wooden bed/bed-frame)'. < 1324845038 435208 :Gregor!foobar@codu.org PRIVMSG #esoteric :Wheat is also the greatest aphrodisiac. < 1324845048 383874 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :"laveri: A rough wooden bed or platform for sleeping. (furniture) A simple wooden bed, the bottom of which is typically made of laths." < 1324845059 827537 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :fizzie: We about her wooden bed each other. < 1324845091 89946 :Gregor!foobar@codu.org PRIVMSG #esoteric :Are you propositioning fizzie? < 1324845112 107311 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :"löysimme toisemme laveristaan" -- "we found each other in his wooden bed". (Okay, that sounds a bit dirty.) < 1324845136 412338 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Gregor: No; are you? < 1324845143 45163 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :fizzie: Are *you*? < 1324845159 166201 :Gregor!foobar@codu.org PRIVMSG #esoteric :Depends on the quality of his laveri. < 1324845162 8139 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :`words --finnish 15 < 1324845165 646805 :HackEgo!foobar@codu.org PRIVMSG #esoteric :saan päättömämme kauhoituskaaja lamme rakelmoittelemme eläviävinaan kuolettaisit myöntävi täsi ylistumaa hyödynti tempiensä esihän tukeutteleville karkeimmikseen < 1324845189 575819 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :fizzie: Päättömämme is the best kind of theatre. < 1324845195 710592 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :It means "our headless one". < 1324845196 150194 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :fizzie: But sometimes it can be a bit lamme, you know? < 1324845198 559563 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :I... < 1324845204 842612 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :I love Finnish? < 1324845209 254031 :Gregor!foobar@codu.org PRIVMSG #esoteric :X-D < 1324845209 594274 :Vorpal!~AnMaster@unaffiliated/anmaster PRIVMSG #esoteric :`url words < 1324845212 100305 :HackEgo!foobar@codu.org PRIVMSG #esoteric :http://codu.org/projects/hackbot/fshg/index.cgi/raw-file/tip/words < 1324845219 374179 :Vorpal!~AnMaster@unaffiliated/anmaster PRIVMSG #esoteric :`run type words < 1324845221 858285 :HackEgo!foobar@codu.org PRIVMSG #esoteric :words is /hackenv/bin/words < 1324845222 707738 :Vorpal!~AnMaster@unaffiliated/anmaster PRIVMSG #esoteric :`url bin/words < 1324845226 196206 :HackEgo!foobar@codu.org PRIVMSG #esoteric :http://codu.org/projects/hackbot/fshg/index.cgi/raw-file/tip/bin/words < 1324845240 153073 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Pää 'head', päätön 'headless', päättömämme 'our headless'. < 1324845279 414561 :Vorpal!~AnMaster@unaffiliated/anmaster PRIVMSG #esoteric :elliott, learn it < 1324845292 709125 :monqy!~swell@pool-71-102-226-192.snloca.dsl-w.verizon.net JOIN :#esoteric < 1324845297 901803 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :fizzie: So now that I've stopped laughing: It was the biggest kauhoituskaaja I've ever seen. Easily twice the size of my own kuolettaisit's one. I thought "Myöntävi! This is gigantic!". < 1324845305 713009 :Vorpal!~AnMaster@unaffiliated/anmaster PRIVMSG #esoteric :`words 15 < 1324845310 550973 :HackEgo!foobar@codu.org PRIVMSG #esoteric :cut emthe blssol osta grav hadwel eai inhan riger jube lonal hoppe rethe sethyroof autome < 1324845311 523587 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :fizzie: But then my tempiensä broke, and, well, you know how it can be with little eläviävinaans. < 1324845323 505251 :Gregor!foobar@codu.org PRIVMSG #esoteric :`words --swedish 20 < 1324845326 455208 :HackEgo!foobar@codu.org PRIVMSG #esoteric :kommandlar samarassonsningenod drömmangor konklimrade själts seglastej avveckning kiskrivet kels puttrafterbiste degelsen domernas expanstet vernas katadlas daljer åbyglantroling från famaskinnen ödspekullpaj < 1324845333 360638 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :fizzie: DECIPHER MY WORDS, PLEB < 1324845350 861557 :Vorpal!~AnMaster@unaffiliated/anmaster PRIVMSG #esoteric :Gregor, one valid word there: "från", means "from" < 1324845402 184192 :Vorpal!~AnMaster@unaffiliated/anmaster PRIVMSG #esoteric :`words --swedish 20 < 1324845405 422148 :HackEgo!foobar@codu.org PRIVMSG #esoteric :damorfatt förvinprocen trare avsättan tröm vik cenerna diskarnspel busar gryta hugsvander kufiskt ändningarna försmåvil kändningrip begivelsensinflat krosats expedarna mentroll milist < 1324845407 207802 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :elliott: Will take a while. At least kuolettaisit 'you should amortize', in an accounting context. < 1324845453 568666 :Vorpal!~AnMaster@unaffiliated/anmaster PRIVMSG #esoteric :lol < 1324845511 56548 :Vorpal!~AnMaster@unaffiliated/anmaster PRIVMSG #esoteric :fizzie, do any of the other words even mean anything? < 1324845540 606023 :Vorpal!~AnMaster@unaffiliated/anmaster PRIVMSG #esoteric :No Japanese? < 1324845568 923391 :Vorpal!~AnMaster@unaffiliated/anmaster PRIVMSG #esoteric :guess the algorithm might only work on languages using a latin script < 1324845575 129451 :Vorpal!~AnMaster@unaffiliated/anmaster PRIVMSG #esoteric :or hm < 1324845582 118706 :Vorpal!~AnMaster@unaffiliated/anmaster PRIVMSG #esoteric :`words --russian 20 < 1324845583 829896 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :elliott: "myöntävi" sounds like an old-fashioned way to say "myöntänee", that is "he/she is likely to agree/concede/grant"; it's not really valid, though. But with a couple of more letters it would be, e.g. "myöntäviä" 'granting (plural)' or some-such. < 1324845586 743228 :HackEgo!foobar@codu.org PRIVMSG #esoteric :​дунувшихся яэнером заочника эское кикета средвссверта разонич пъсням выгоров фузить просман госуном опредент цзадела шость мигрублешя пание икатопника ьдцев сдедо < 1324845587 230513 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :The "algorithm", aka "Markov chain". < 1324845592 492769 :Vorpal!~AnMaster@unaffiliated/anmaster PRIVMSG #esoteric :elliott, right < 1324845600 264982 :Vorpal!~AnMaster@unaffiliated/anmaster PRIVMSG #esoteric :elliott, would it work at all on Japanese? < 1324845604 319879 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :fizzie: It even SORT OF MAKES SENSE in context! < 1324845612 116907 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Vorpal: kallisti was just too lazy to do it, I think. < 1324845622 181803 :Vorpal!~AnMaster@unaffiliated/anmaster PRIVMSG #esoteric :heh < 1324845654 224946 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :elliott: "kauhoitus" ladle-making, ladleification, the procurement of ladles. "-kaaja" sadly doesn't really mean anything. "kauhoittaja" would be the ladle-giver, the person who makes sure everyone has ladles. < 1324845672 239053 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric ::D < 1324845680 793724 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :The biggest ladle-giver. < 1324845696 512832 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :(65 over 3. :/) < 1324845712 879929 :Vorpal!~AnMaster@unaffiliated/anmaster PRIVMSG #esoteric :elliott, what is that thing you are trying to get to converge? < 1324845713 56221 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :"eläviävinaans" isn't a valid word, and can't really be, it breaks the vowel harmony rules. "eläviä" = 'living (plural)', but that's about it for the meaning. < 1324845725 634404 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Oops, I missed the vole harmony violation. < 1324845732 386952 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Vorpal: Units. < 1324845746 847726 :Vorpal!~AnMaster@unaffiliated/anmaster PRIVMSG #esoteric :elliott, what units? < 1324845767 80434 :Vorpal!~AnMaster@unaffiliated/anmaster PRIVMSG #esoteric :elliott, the number you gave lacked units, it looked dimensionless to me < 1324845771 132079 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Vorpal: Big ones. < 1324845784 837025 :Vorpal!~AnMaster@unaffiliated/anmaster PRIVMSG #esoteric :elliott, like terrameter? < 1324845806 671168 :Vorpal!~AnMaster@unaffiliated/anmaster PRIVMSG #esoteric :that is fairly large I believe < 1324845822 488297 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :That's not a thing. < 1324845834 492006 :Vorpal!~AnMaster@unaffiliated/anmaster PRIVMSG #esoteric :elliott, well you never gave your unit < 1324845836 96674 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Terametre is a thing, though. < 1324845841 112306 :Vorpal!~AnMaster@unaffiliated/anmaster PRIVMSG #esoteric :right < 1324845842 307279 :Vorpal!~AnMaster@unaffiliated/anmaster PRIVMSG #esoteric :whatever < 1324845863 925301 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :It's not The thing, though. < 1324845873 785230 :Vorpal!~AnMaster@unaffiliated/anmaster PRIVMSG #esoteric :elliott, "The metre (meter in the US), symbol m [...]" says wikipedia < 1324845876 702427 :Vorpal!~AnMaster@unaffiliated/anmaster PRIVMSG #esoteric :so meter is a thing < 1324845890 435715 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Also sadly no 'tempiensä'. "hyödynti" from your list is "made use of", approximately. "tukeutteleville" could be "for the people who keep calling other people fat" if you're *real* generous ("tukeva" == fat, chubby, "tukeutteleva" could barely mean "someone who calls other people fat", and then "tukeutteleville" is the proper inflection for what I said.) And "saan" is "I get". And now it's time for some chocolate and awayness. -> < 1324845908 406705 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Vorpal: Terra isn't. < 1324845918 777109 :Vorpal!~AnMaster@unaffiliated/anmaster PRIVMSG #esoteric :elliott, oops, right < 1324845921 311380 :Vorpal!~AnMaster@unaffiliated/anmaster PRIVMSG #esoteric :missed that typo < 1324845937 456283 :Vorpal!~AnMaster@unaffiliated/anmaster PRIVMSG #esoteric :elliott, I blame playing terraria for 4 hours straight < 1324845951 332302 :Vorpal!~AnMaster@unaffiliated/anmaster PRIVMSG #esoteric :(in hardmode) < 1324846601 267264 :KingOfKarlsruhe!~chatzilla@p5B132B36.dip.t-dialin.net QUIT :Quit: ChatZilla 0.9.88 [Firefox 9.0.1/20111220165912] < 1324846883 713828 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :WHY DOESN'T THIS SHIT WORK < 1324847354 231998 :GreaseMonkey!~gm@unaffiliated/greasemonkey JOIN :#esoteric < 1324848357 473372 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com JOIN :#esoteric < 1324848728 416988 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com PRIVMSG #esoteric :OK, I can now see that my type is functor, which is what I thought. I could already see it is all x covariant and v contravariant. But is it applicative or monad or something else too? < 1324848728 631364 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :zzo38: You have 3 new messages. '/msg lambdabot @messages' to read them. < 1324849144 175553 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com PRIVMSG #esoteric :It seem to me might make, since lift = T . const; and then if you map the values (f x) instead of (x) then you might be able to make join < 1324849154 660223 :const!root@freebsd/developer/variable PRIVMSG #esoteric :o.O < 1324849190 688393 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com PRIVMSG #esoteric :const: What did you mean, exactly? < 1324849206 249330 :const!root@freebsd/developer/variable PRIVMSG #esoteric :zzo38: apparently I'm being dotted with T < 1324849214 341384 :const!root@freebsd/developer/variable PRIVMSG #esoteric :
ACTION blinked
< 1324849285 145385 :Gregor!foobar@codu.org PRIVMSG #esoteric :const: Yeah, but you're the one dotting O with o. < 1324849427 111643 :const!root@freebsd/developer/variable PRIVMSG #esoteric :Gregor: instinctive response < 1324849493 488667 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com QUIT :Remote host closed the connection < 1324849498 26464 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :const: Suddenly I realise that your name is probably a reference to the worst thing in C rather than the Haskell function. < 1324849516 620943 :const!root@freebsd/developer/variable PRIVMSG #esoteric :elliott: worst thing in C ? < 1324849569 839486 :const!root@freebsd/developer/variable PRIVMSG #esoteric :elliott: also, I wasn't thinking of any particular language when I went from variable -> const < 1324849578 122832 :const!root@freebsd/developer/variable PRIVMSG #esoteric :just thought the two worked together :) < 1324849630 669020 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :const: Worst thing in C, yes. < 1324849641 658741 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Oh, you're that variable person. < 1324849644 369800 :const!root@freebsd/developer/variable PRIVMSG #esoteric :elliott: why do you say that? < 1324849650 410998 :const!root@freebsd/developer/variable PRIVMSG #esoteric :curious < 1324849711 980590 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :const: const is both the ugliest thing ever to get working, with basically every library working against you as far as const-correctness goes and signatures ballooning in size and becoming unreadable (since, let's face it, *nobody* remembers which way round the consts go first time), and in return gives you... an incredibly tiny amount of safety and static checking for your work. < 1324849728 654519 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Though of course C is not known for its static checking, it's also not known for making you work for the privilege of not getting strong static checks :P < 1324849740 279702 :derdon!~derdon@p5DE8BF19.dip.t-dialin.net JOIN :#esoteric < 1324850084 941010 :const!root@freebsd/developer/variable PRIVMSG #esoteric :<elliott> Oh, you're that variable person. --> is that a bad thing? < 1324850086 145936 :sebbu2!~sebbu@unaffiliated/sebbu JOIN :#esoteric < 1324850129 642651 :const!root@freebsd/developer/variable PRIVMSG #esoteric :elliott: also, I see what your saying. constness in theory is also supposed compilers generate faster code < 1324850133 983737 :const!root@freebsd/developer/variable PRIVMSG #esoteric :duno how much it helps though < 1324850256 464539 :sebbu!~sebbu@unaffiliated/sebbu QUIT :Ping timeout: 240 seconds < 1324850349 742383 :sebbu!~sebbu@ADijon-152-1-46-10.w83-194.abo.wanadoo.fr JOIN :#esoteric < 1324850350 91321 :sebbu!~sebbu@ADijon-152-1-46-10.w83-194.abo.wanadoo.fr QUIT :Changing host < 1324850350 267795 :sebbu!~sebbu@unaffiliated/sebbu JOIN :#esoteric < 1324850416 424144 :sebbu2!~sebbu@unaffiliated/sebbu QUIT :Ping timeout: 240 seconds < 1324850446 641381 :sebbu2!~sebbu@unaffiliated/sebbu JOIN :#esoteric < 1324850661 158286 :sebbu!~sebbu@unaffiliated/sebbu QUIT :Ping timeout: 252 seconds < 1324850664 225174 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :const: I've never seen it have an effect in practice. < 1324850669 533241 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :And no, I just didn't realise :) < 1324851515 196484 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :45 over 1.72 :( < 1324852089 414148 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :20 over 1.5 :) < 1324853078 334126 :sebbu2!~sebbu@unaffiliated/sebbu NICK :sebbu < 1324853225 514286 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :http://sprunge.us/IMKR < 1324853229 409620 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :well today's hack is going perfectly! < 1324853580 910350 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com JOIN :#esoteric < 1324853677 35082 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com PRIVMSG #esoteric :I have two Christmas trees. One is nice Christmas tree, it is small one, and is on top of the phonograph. The other one is messy Christmas tree that might be suitable for the D&D monster character. My D&D character is monster character so is good we have two Christmas trees < 1324853970 465012 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric ::D < 1324854191 518755 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com PRIVMSG #esoteric :I played a short D&D game session today < 1324854204 333427 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com PRIVMSG #esoteric :Now maybe I can meet the requirement of prestige class < 1324854305 717706 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com PRIVMSG #esoteric :Did you figure it out? < 1324855185 512655 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com QUIT :Remote host closed the connection < 1324855350 117623 :sebbu!~sebbu@unaffiliated/sebbu QUIT :Read error: Connection reset by peer < 1324855384 515450 :sebbu!~sebbu@ADijon-152-1-46-10.w83-194.abo.wanadoo.fr JOIN :#esoteric < 1324855385 20239 :sebbu!~sebbu@ADijon-152-1-46-10.w83-194.abo.wanadoo.fr QUIT :Changing host < 1324855385 196426 :sebbu!~sebbu@unaffiliated/sebbu JOIN :#esoteric < 1324855442 996434 :incomprehensibl1!~Adium@67-41-188-103.slkc.qwest.net JOIN :#esoteric < 1324856033 139187 :incomprehensibl1!~Adium@67-41-188-103.slkc.qwest.net QUIT :Quit: Leaving. < 1324857153 786270 :Patashu!~Patashu@c122-106-155-219.carlnfd1.nsw.optusnet.com.au JOIN :#esoteric < 1324857206 53022 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :copumpkin: You should hurry up making iteratees nicer before these hideous conduit things catch on :( < 1324857489 807550 :Sgeo!~sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :conduit? < 1324857499 720268 :Sgeo!~sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :And what's not nice about iteratees? < 1324857530 75115 :Sgeo!~sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :Oh, conduits are connected to the Resource monad stuff? < 1324857552 251247 :Sgeo!~sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :Oh, conduit blog post up yay < 1324857587 493689 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Sgeo: Enumerator vs. Enumeratee is ugly, the "return unused data" thing is super ugly, since there's nothing stopping you lying