< 1333670586 328005 :shachaf!shachaf@2600:3c01::f03c:91ff:fedf:6da8 PRIVMSG #esoteric :elliott: I got it done! < 1333670600 452842 :olsner!~salparot@c83-252-161-133.bredband.comhem.se PRIVMSG #esoteric :I wonder if I could css transform an iframe to make thumbnails of these in a gallery < 1333670659 407294 :derdon!~derdon@p5DE88BC9.dip.t-dialin.net QUIT :Remote host closed the connection < 1333670979 297206 :olsner!~salparot@c83-252-161-133.bredband.comhem.se PRIVMSG #esoteric :or did you mean one of those meatspace galleries? < 1333671061 759953 :monqy!~swell@pool-71-102-226-192.snloca.dsl-w.verizon.net PRIVMSG #esoteric :I want theatrical adaptations of marquee.php and marquee2.php < 1333671128 536685 :david_werecat!~david_wer@24.52.224.101 JOIN :#esoteric < 1333671184 27626 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :olsner: yes a meatspace gallery < 1333671186 156500 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :although a net one works too < 1333671200 424528 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :shachaf: What was it? < 1333671256 720910 :david_werecat!~david_wer@24.52.224.101 PART :#esoteric < 1333671412 193787 :shachaf!shachaf@2600:3c01::f03c:91ff:fedf:6da8 PRIVMSG #esoteric :elliott: What's it to you? < 1333671499 396965 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :shachaf: It. < 1333671643 426486 :olsner!~salparot@c83-252-161-133.bredband.comhem.se PRIVMSG #esoteric :hmm, maybe a virtual meatspace gallery then? I wonder how well webgl combines with iframes < 1333671650 302071 :RocketJSquirrel!codu@codu.org PRIVMSG #esoteric :Argh, followed an ad link for some reason to the "shocking" "discovery" that Kevin Bacon is related to his wife. They're TENTH cousins, once removed. < 1333671655 818868 :RocketJSquirrel!codu@codu.org PRIVMSG #esoteric :And to them, apparently, that's distressing. < 1333671661 235316 :RocketJSquirrel!codu@codu.org PRIVMSG #esoteric :Presumably because they're fucking idiots. < 1333671845 2423 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :shachaf: What *happened* to mmorrow, man? < 1333671868 942935 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :RocketJSquirrel: TENTH COUSINS?!?!?!?!?! < 1333671874 862335 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :That's practically fuckin' yer parents. < 1333671925 496277 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Hello! I've just realized that Haskell is no good for working with functions! < 1333671932 108194 :pikhq!~pikhq@174-22-150-53.clsp.qwest.net PRIVMSG #esoteric :Hooray, family trees as cyclic graphs. :P < 1333671976 817107 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :elliott: what should it be able to do that it can't? < 1333672013 337891 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :ais523: nothing, that was one of my famous quoteless quotes < 1333672020 266464 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :of this nonsense: http://www.haskell.org/pipermail/haskell-cafe/2012-April/100608.html < 1333672179 813666 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :they don't appear to understand extensional equality < 1333672270 512467 :augur!~augur@208.58.5.87 QUIT :Remote host closed the connection < 1333672327 571004 :augur!~augur@208.58.5.87 JOIN :#esoteric < 1333672503 77120 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :@time < 1333672504 29101 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :Local time for elliott is Fri Apr 6 01:34:56 < 1333672621 732513 :kmc!~keegan@c-65-96-1-204.hsd1.ma.comcast.net PRIVMSG #esoteric :"I guess Lisp might be of this kind, but I'm not sure. In addition, I'm not a fan of parentheses." < 1333672623 342873 :kmc!~keegan@c-65-96-1-204.hsd1.ma.comcast.net PRIVMSG #esoteric :ffffffffffffffffff < 1333672626 394386 :kmc!~keegan@c-65-96-1-204.hsd1.ma.comcast.net PRIVMSG #esoteric :ACTION has a stroke and dies < 1333672659 315163 :kmc!~keegan@c-65-96-1-204.hsd1.ma.comcast.net PRIVMSG #esoteric :i'm looking to buy a battleship BUT IT CAN'T BE GREY < 1333672671 885280 :augur!~augur@208.58.5.87 QUIT :Remote host closed the connection < 1333672695 786380 :augur!~augur@208.58.5.87 JOIN :#esoteric < 1333672699 978885 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :kmc: also, by "battleship" I mean "yacht" < 1333672716 196984 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :I bought this battleship "Haskell" and it's all big and heavy and shit, it's really bad at battling < 1333672716 357244 :kmc!~keegan@c-65-96-1-204.hsd1.ma.comcast.net PRIVMSG #esoteric :the best kind of yacht is a decommissioned battleship < 1333672753 755655 :kmc!~keegan@c-65-96-1-204.hsd1.ma.comcast.net PRIVMSG #esoteric :they used to paint crazy stripes on battleships to confuse rangefinding < 1333672759 62573 :kmc!~keegan@c-65-96-1-204.hsd1.ma.comcast.net PRIVMSG #esoteric :http://en.wikipedia.org/wiki/Dazzle_camouflage < 1333672770 867307 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :that's fucking awesome < 1333672830 695726 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :http://upload.wikimedia.org/wikipedia/commons/c/c9/Dazzle-ships_in_Drydock_at_Liverpool.jpg awesome < 1333672908 180197 :kmc!~keegan@c-65-96-1-204.hsd1.ma.comcast.net PRIVMSG #esoteric :'Dazzle makeup, or "CV Dazzle" (computer vision dazzle), to hamper automatic computer detection and recognition of faces, has been mooted as a response to mass surveillance' < 1333672957 486874 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :2219 < 1333672991 831038 :augur!~augur@208.58.5.87 QUIT :Ping timeout: 276 seconds < 1333673018 378089 :parkkk!~philipp@141.30.241.116 QUIT :Read error: Connection reset by peer < 1333673128 727950 :Sgeo!~sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :Of what kind? < 1333673136 412926 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :mass < 1333673188 283642 :kmc!~keegan@c-65-96-1-204.hsd1.ma.comcast.net PRIVMSG #esoteric :* < 1333673706 291909 :hagb4rd2!~perdito@koln-4db4fd6a.pool.mediaWays.net JOIN :#esoteric < 1333673706 550362 :hagb4rd!~perdito@koln-4d0b78ab.pool.mediaWays.net QUIT :Disconnected by services < 1333673707 292141 :hagb4rd2!~perdito@koln-4db4fd6a.pool.mediaWays.net NICK :hagb4rd < 1333673715 155853 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :why do people try and install yi < 1333673728 453109 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :i have seen people honestly think the best way to start writing haskell is to install yi to edit it with < 1333673811 225492 :monqy!~swell@pool-71-102-226-192.snloca.dsl-w.verizon.net PRIVMSG #esoteric ::( < 1333673825 824005 :Madoka-Kaname!~moe@inportb/loli/cirno-chan PRIVMSG #esoteric :yi is? < 1333673843 46209 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Madoka-Kaname: an editor written in haskell < 1333673891 363310 :kmc!~keegan@c-65-96-1-204.hsd1.ma.comcast.net PRIVMSG #esoteric :which usually does not build < 1333673913 866999 :kmc!~keegan@c-65-96-1-204.hsd1.ma.comcast.net PRIVMSG #esoteric :i mean, they might have heard it's like xmonad < 1333673919 231387 :kmc!~keegan@c-65-96-1-204.hsd1.ma.comcast.net PRIVMSG #esoteric :xmonad is good software which works < 1333673919 391315 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :i built yi once... once < 1333673928 955951 :kmc!~keegan@c-65-96-1-204.hsd1.ma.comcast.net PRIVMSG #esoteric :not that using xmonad will help you start writing haskell < 1333673929 911936 :monqy!~swell@pool-71-102-226-192.snloca.dsl-w.verizon.net PRIVMSG #esoteric :I also built yi once once < 1333673969 226175 :augur!~augur@216-164-57-20.c3-0.slvr-ubr1.lnh-slvr.md.cable.rcn.com JOIN :#esoteric < 1333674213 92118 :kmc!~keegan@c-65-96-1-204.hsd1.ma.comcast.net PRIVMSG #esoteric :elliott, i mean a lot of haskell beginners are True Believers who want to purge their life of everything non-Haskell < 1333674238 803024 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :are you sure i mean i'm not disbelieving you necessarily but i've never got that impression from anyone < 1333674243 360570 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :maybe the xmonad adoption a bit < 1333674262 468418 :kmc!~keegan@c-65-96-1-204.hsd1.ma.comcast.net PRIVMSG #esoteric :the same people usually talk about writing an operating system in Haskell, without necessarily understanding what an OS is < 1333674307 877680 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :ok well i've never heard that :P < 1333674333 348720 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :if only there were more people who _do_ know what an OS is who wanted to write them in functional languages < 1333674334 849650 :kmc!~keegan@c-65-96-1-204.hsd1.ma.comcast.net PRIVMSG #esoteric :like the Linux kernel is 10 million lines of code evolved over 20 years but if we used haskell we could rewrite it in 5k lines in a month < 1333674374 723086 :kmc!~keegan@c-65-96-1-204.hsd1.ma.comcast.net PRIVMSG #esoteric :i think they're extrapolating from typical beginner experiments -- prime number sieve, toy lisp, etc. < 1333674375 46266 :pikhq!~pikhq@174-22-150-53.clsp.qwest.net PRIVMSG #esoteric :Perhaps if you also replace all hardware with a Reduceron. < 1333674404 175040 :kmc!~keegan@c-65-96-1-204.hsd1.ma.comcast.net PRIVMSG #esoteric :they assume the same expressiveness ratio applies to everything < 1333674448 706905 :kmc!~keegan@c-65-96-1-204.hsd1.ma.comcast.net PRIVMSG #esoteric :to be fair, most of the 10 MLoC in Linux is support for obscure devices and platforms < 1333674462 780098 :kmc!~keegan@c-65-96-1-204.hsd1.ma.comcast.net PRIVMSG #esoteric :and legacy cruft < 1333674478 207231 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :speaking of OSes -- can I get you to implement @ for me kmc < 1333674495 461419 :shachaf!shachaf@2600:3c01::f03c:91ff:fedf:6da8 PRIVMSG #esoteric :@ isn't written in Haskell. < 1333674498 84978 :shachaf!shachaf@2600:3c01::f03c:91ff:fedf:6da8 PRIVMSG #esoteric :@ is written in @ < 1333674501 952589 :kmc!~keegan@c-65-96-1-204.hsd1.ma.comcast.net PRIVMSG #esoteric :of course < 1333674503 655353 :shachaf!shachaf@2600:3c01::f03c:91ff:fedf:6da8 PRIVMSG #esoteric :@ takes 0 lines of code to write in @ < 1333674508 282141 :pikhq!~pikhq@174-22-150-53.clsp.qwest.net PRIVMSG #esoteric :No, it's written in @lang. < 1333674509 424540 :shachaf!shachaf@2600:3c01::f03c:91ff:fedf:6da8 PRIVMSG #esoteric :Because you already have @ < 1333674518 510543 :pikhq!~pikhq@174-22-150-53.clsp.qwest.net PRIVMSG #esoteric :Also Forth. < 1333674522 286827 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :It's not written in Forth! < 1333674543 722000 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :I considered using Forth as a low-level layer at one point, but I couldn't make it cohere with my requirements. < 1333674555 796914 :shachaf!shachaf@2600:3c01::f03c:91ff:fedf:6da8 PRIVMSG #esoteric :"cohere"? < 1333674563 972051 :shachaf!shachaf@2600:3c01::f03c:91ff:fedf:6da8 PRIVMSG #esoteric :You could just say "there", you know. < 1333674575 696560 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :ais523: kick shachaf < 1333674592 207795 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :elliott: that was actually funny < 1333674607 837813 :augur!~augur@216-164-57-20.c3-0.slvr-ubr1.lnh-slvr.md.cable.rcn.com QUIT :Remote host closed the connection < 1333674622 957300 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :doesn't matter < 1333674637 667561 :shachaf!shachaf@2600:3c01::f03c:91ff:fedf:6da8 PRIVMSG #esoteric :It may have been funny, but it was also intherent. :-( < 1333674655 298768 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :That's... not a word. < 1333674671 46565 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :shachaf: {{Block}} < 1333674716 865987 :shachaf!shachaf@2600:3c01::f03c:91ff:fedf:6da8 PRIVMSG #esoteric :What does that do? < 1333674732 175498 :shachaf!shachaf@2600:3c01::f03c:91ff:fedf:6da8 PRIVMSG #esoteric :I don't speak mediawikese. < 1333674735 952550 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :"You have been blocked from editing for violating Wikipedia policy. If you believe this block is unjustified, you may contest this block by replying here on your talk page by adding the text {{unblock|your reason here}}. You may also email the blocking administrator or any administrator from this list instead, or submit a request for unblock to the Unblock Ticket Request System." < 1333675015 8291 :zzo38!~zzo38@24.207.49.17 JOIN :#esoteric < 1333675093 298394 :pikhq!~pikhq@174-22-150-53.clsp.qwest.net QUIT :Ping timeout: 246 seconds < 1333675097 879734 :pikhq_!~pikhq@71-219-246-142.clsp.qwest.net JOIN :#esoteric < 1333675136 201800 :zzo38!~zzo38@24.207.49.17 PRIVMSG #esoteric :I found a Haskell package for monoid-transformer; it has Reader and State, both of which are also applicative. I know all applicative can make monoid transformer. Is there any monoid transformer which cannot make applicative? < 1333675215 835562 :zzo38!~zzo38@24.207.49.17 PRIVMSG #esoteric :(There is no Writer transformer, although there certainly can be; it would be just the pair of monoids) < 1333675379 60504 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :I like that package. < 1333675385 201320 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Apart from the Henning. < 1333675401 210305 :Sgeo!~sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :Henning? < 1333675425 583851 :augur!~augur@216-164-57-20.c3-0.slvr-ubr1.lnh-slvr.md.cable.rcn.com JOIN :#esoteric < 1333675442 480544 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Henning Thielemann, the author, has a somewhat infamous style in which types are always named "T" and classes are always named "C", intended to be used qualified e.g. State.T, State.put, etc. < 1333675458 456190 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Apart from being ugly, this leads to wonderful instance lists that look like: < 1333675459 125588 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :C T < 1333675459 540792 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :C T < 1333675460 52850 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :C T < 1333675460 460834 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :C T < 1333675469 352573 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :because Haddock doesn't disambiguate the names (apart from the link destinations). < 1333675486 7941 :zzo38!~zzo38@24.207.49.17 PRIVMSG #esoteric :Should they add commands to Haddock to deal with this? < 1333675497 24136 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :No, he should just stop doing that. < 1333675507 153460 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :It's not as if any command would be required; it can know when disambiguation is required automatically. < 1333675516 537692 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :And probably it would be an improvement. But it wouldn't make the style any less awful. < 1333675525 357008 :zzo38!~zzo38@24.207.49.17 PRIVMSG #esoteric :OK < 1333675528 660691 :kmc!~keegan@c-65-96-1-204.hsd1.ma.comcast.net PRIVMSG #esoteric :i think in isolation it's a fine style, but it's not what anyone else does, and the tools don't support it well < 1333675560 307828 :kmc!~keegan@c-65-96-1-204.hsd1.ma.comcast.net PRIVMSG #esoteric :it's more common in M L < 1333675562 755489 :kmc!~keegan@c-65-96-1-204.hsd1.ma.comcast.net PRIVMSG #esoteric :ML* < 1333675579 549124 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :It works in ML because ML has a module system. We have a piece of cardboard. < 1333675594 979622 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :(I also find it less distateful in ML because ".t" is a lot less ugly than ".T"...) < 1333675713 66766 :zzo38!~zzo38@24.207.49.17 PRIVMSG #esoteric :But all of them that they defined, are all the monoid transformer made from a applicative; so instead, can you make up a type: newtype ApMonoid f t = ApMonoid (f t); instance (Applicative f, Monoid t) -> Monoid (ApMonoid f t) where { mempty = ApMonoid $ pure mempty; mappend (ApMonoid x) (ApMonoid y) = ApMonoid $ liftA2 mappend x y; }; < 1333675741 184125 :zzo38!~zzo38@24.207.49.17 PRIVMSG #esoteric :How do you mean, that ML has a module system and we have cardboard? < 1333675765 49473 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :ML has a powerful module system with functors (not the same as CT/Haskell functors; they're higher-order modules) < 1333675770 550361 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Haskell's module system is... significantly less expressive < 1333675834 57614 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :These blog posts show an example of how Haskell's module system is significantly more limiting: < 1333675835 856689 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :http://augustss.blogspot.co.uk/2008/12/somewhat-failed-adventure-in-haskell.html < 1333675837 825059 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :http://augustss.blogspot.co.uk/2008/12/abstraction-continues-i-got-several.html < 1333675838 651958 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :http://augustss.blogspot.co.uk/2008/12/abstracting-on-suggested-solutions-i.html < 1333675840 501541 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :http://augustss.blogspot.co.uk/2008/12/ocaml-code-again-im-posting-slight.html < 1333675927 521576 :kmc!~keegan@c-65-96-1-204.hsd1.ma.comcast.net PRIVMSG #esoteric :yeah, Haskell's module system is much simpler < 1333675933 665298 :kmc!~keegan@c-65-96-1-204.hsd1.ma.comcast.net PRIVMSG #esoteric :but I wouldn't say it's bad < 1333675936 143477 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :admittedly, it works in ML because it's common, and so people know to make tools that understand it < 1333675939 274125 :kmc!~keegan@c-65-96-1-204.hsd1.ma.comcast.net PRIVMSG #esoteric :it's good within the scope of what it tries to do < 1333675943 430623 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :s/admittedly/arguably/ < 1333675956 698747 :kmc!~keegan@c-65-96-1-204.hsd1.ma.comcast.net PRIVMSG #esoteric :in Haskell the module system is expected to carry less of the abstractive weight < 1333675970 905925 :zzo38!~zzo38@24.207.49.17 PRIVMSG #esoteric :One thing is that you cannot hide or override class instances in Haskell; and I would like to have those features too < 1333675994 343935 :kmc!~keegan@c-65-96-1-204.hsd1.ma.comcast.net PRIVMSG #esoteric :yeah, type classes kind of suck < 1333676008 473305 :kmc!~keegan@c-65-96-1-204.hsd1.ma.comcast.net PRIVMSG #esoteric :i think that's "type classes suck" and not "modules suck because they don't let us work around type classes sucking" < 1333676095 322333 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric : We've also seen the rise of PHP, which takes the worse-is-better approach to dazzling new depths, as it were. By and large PHP seems to be making the same progression of mistakes as early Perl did, only slower. < 1333676110 878876 :zzo38!~zzo38@24.207.49.17 PRIVMSG #esoteric :In addition, both hide/override class instances, and a kind for modules, are ideas for my new programming language (called Ibtlfmm currently; if you don't like that name, call it HELLwaPAIN or something else). There is the @ kind which is the kind of program modules, etc. This will solve it too, I think. As well as having macros, that also helps. < 1333676251 322856 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :I must ask: Who suggested the name HELLwaPAIN? < 1333676270 730160 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :* bottle (bottle@95.209.60.115.bredband.tre.se) has joined #haskell < 1333676270 890468 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric : Consider a mass-damper-spring system. I dont get how the forces in each direction can be equal at any given moment. then how could it move? Like My''+by'+ky=F < 1333676287 122394 :zzo38!~zzo38@24.207.49.17 PRIVMSG #esoteric :elliott: Someone did, in #haskell channel. < 1333676304 175713 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :kmc: Consider a mass-damper-spring system. I dont get how the forces in each direction can be equal at any given moment. then how could it move? Like My''+by'+ky=F < 1333676321 262946 :zzo38!~zzo38@24.207.49.17 PRIVMSG #esoteric :Perhaps, we should make up a channel or wiki or repository or whatever we can put all idea of everyone and discussion, to make a complete document. < 1333676334 665665 :kmc!~keegan@c-65-96-1-204.hsd1.ma.comcast.net PRIVMSG #esoteric :what < 1333676353 417095 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :kmc: Consider a mass-damper-spring system. I dont get how the forces in each direction can be equal at any given moment. then how could it move? Like My''+by'+ky=F < 1333676355 763906 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :hth < 1333676884 693173 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :I thought elliott was trying to physics and I was sniggering until I read scrollback. < 1333676920 48621 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :Phantom_Hoover: and now you're laughing out loud? < 1333676930 375933 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :Now I'm confused. < 1333676943 535166 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :I'm too sleepy for differential equations (I hate differential equations). < 1333677019 114371 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Phantom_Hoover: Consider a mass-damper-spring system. I dont get how the forces in each direction can be equal at any given moment. then how could it move? Like My''+by'+ky=F < 1333677160 499177 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :that < 1333677162 93082 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :oh god < 1333677163 124060 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :that's < 1333677174 292501 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :a second-order homogeneous differential equation < 1333677179 964977 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :my second least favourite kind < 1333677201 200997 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :*second-order homogeneous linear < 1333677241 851705 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :(My least favourite is second-order nonhomogeneous. I really hate those.) < 1333677352 109251 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Phantom_Hoover: I had nonhomogeneous milk once. < 1333677359 430060 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :But it made me ill. < 1333677372 753916 :shachaf!shachaf@2600:3c01::f03c:91ff:fedf:6da8 PRIVMSG #esoteric :I think Oleg wrote a paper about that. < 1333677394 744044 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Wait, homogenisation doesn't have anything to do with safety, that's pasteurisation. < 1333677398 734448 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :WHY IS MILK SO COMPLICATED < 1333677451 742961 :shachaf!shachaf@2600:3c01::f03c:91ff:fedf:6da8 PRIVMSG #esoteric :> fix milk < 1333677454 257662 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : milk (milk (milk (milk (milk (milk (milk (milk (milk (milk (milk (milk (mil... < 1333677558 857643 :shachaf!shachaf@2600:3c01::f03c:91ff:fedf:6da8 PRIVMSG #esoteric :elliott: Basically, "programming language" is another word for "syntax". < 1333677682 920206 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :shachaf: Can you explain people whose attitude to new languages is "is this better than $LANG? Let me prod it incessantly in an attempt to rpove it's not"? < 1333677697 40619 :shachaf!shachaf@2600:3c01::f03c:91ff:fedf:6da8 PRIVMSG #esoteric :elliott: kmc has a few words to say about that. < 1333677708 621394 :zzo38!~zzo38@24.207.49.17 PRIVMSG #esoteric :But there is some way I was think of, make up a typeclass with no instance, and it is defined in the main module of your program; that way the main module exports the implementation (which can include types) to the other module that uses it. Still that is not quite perfect < 1333677767 974839 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :shachaf: Oh god. < 1333677935 84709 :shachaf!shachaf@2600:3c01::f03c:91ff:fedf:6da8 PRIVMSG #esoteric :elliott: "why don't we" < 1333677951 916810 :shachaf!shachaf@2600:3c01::f03c:91ff:fedf:6da8 PRIVMSG #esoteric :Which means "explain to me in detail what each character of that thing does. < 1333677959 336305 :shachaf!shachaf@2600:3c01::f03c:91ff:fedf:6da8 PRIVMSG #esoteric :" < 1333678010 163656 :zzo38!~zzo38@24.207.49.17 PRIVMSG #esoteric :"The Person data type now has two parameters. This might be bearable, but imagine a more complicated example where Ops contains 15 types. And every time you add a field with a new type to Person you have to update every single place in the program that mentions the Person type." But can't you use a type synonym? < 1333678037 894141 :shachaf!shachaf@2600:3c01::f03c:91ff:fedf:6da8 PRIVMSG #esoteric :Why do type synonyms help? < 1333678051 607204 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :shachaf: Is ^^^^ some kind of four-eyed monstrosity? < 1333678068 495592 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :zzo38: No, because you need to keep the type parameters along < 1333678074 146258 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Person a b c d e ... -> Person a b c d e ... -> ... < 1333678111 522674 :zzo38!~zzo38@24.207.49.17 PRIVMSG #esoteric :elliott: I mean like, type Person = XPerson XString XDouble; < 1333678128 897553 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Sure, but the whole point is that you write code polymorphic in that... < 1333678132 968661 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Which has to use type variables. < 1333678315 883425 :zzo38!~zzo38@24.207.49.17 PRIVMSG #esoteric :There are no zero parameter type classes in Haskell, either. < 1333678601 173732 :augur!~augur@216-164-57-20.c3-0.slvr-ubr1.lnh-slvr.md.cable.rcn.com QUIT :Remote host closed the connection < 1333678613 16252 :RocketJSquirrel!codu@codu.org PRIVMSG #esoteric : WHY IS MILK SO COMPLICATED < 1333678615 93883 :RocketJSquirrel!codu@codu.org PRIVMSG #esoteric :Better question: < 1333678618 393318 :RocketJSquirrel!codu@codu.org PRIVMSG #esoteric :Why is milk so disgusting? < 1333678658 706294 :itidus20!~itidus21@120.148.51.163 PRIVMSG #esoteric :milk inspired 100s of soy products < 1333678681 456804 :RocketJSquirrel!codu@codu.org PRIVMSG #esoteric :Most of which are almost as disgusting as milk >_> < 1333678690 817748 :kmc!~keegan@c-65-96-1-204.hsd1.ma.comcast.net PRIVMSG #esoteric :http://teamsuperforest.org/superforest/wp-content/uploads/2010/05/Picture-3.png < 1333678696 267530 :zzo38!~zzo38@24.207.49.17 PRIVMSG #esoteric :class Ops x where { type XString_ x :: *; type XDouble_ x :: *; concatenate_ :: x -> XString_ x -> XString_ x -> XString_ x; xshow_ :: x -> XDouble_ x -> XString_ x; }; type XString = XString_ (); type XDouble = XDouble_ (); concatenate :: Ops () => XString -> XString -> XString; concatenate = concatenate_ (); xshow :: Ops () => XDouble -> XString; xshow = xshow_ (); < 1333678701 358826 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :RocketJSquirrel: *Why is milk so unfnarftastic? < 1333678716 39810 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :kmc: HELP < 1333678720 421422 :kmc!~keegan@c-65-96-1-204.hsd1.ma.comcast.net PRIVMSG #esoteric :grass ---cow---> milk < 1333678722 127239 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :kmc: Too much milk!!! < 1333678726 38950 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Thank you, that's better. < 1333678742 988663 :kmc!~keegan@c-65-96-1-204.hsd1.ma.comcast.net PRIVMSG #esoteric :milk <- cow -< grass < 1333678756 692216 :itidus20!~itidus21@120.148.51.163 PRIVMSG #esoteric :i want some quark with 10% fat < 1333678761 32667 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :milk ---cow---> grass < 1333678765 776863 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :The forbidden reaction. < 1333678774 288569 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Feed a cow milk and it'll poop grass. < 1333678785 608407 :kmc!~keegan@c-65-96-1-204.hsd1.ma.comcast.net PRIVMSG #esoteric :milk ←cow⤙ grass < 1333678797 33230 :RocketJSquirrel!codu@codu.org PRIVMSG #esoteric :elliott: "unfnarftastic" < 1333678799 125826 :RocketJSquirrel!codu@codu.org PRIVMSG #esoteric :That's a new'n. < 1333678973 940425 :zzo38!~zzo38@24.207.49.17 PRIVMSG #esoteric :Will the code I specified work (if you define the instance only in the main module of the program)? < 1333679015 223782 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :zzo38: Yes, but it means you cannot use more than one choice of types per program. < 1333679029 295423 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :So it significantly limits composability and reuse. < 1333679042 932547 :zzo38!~zzo38@24.207.49.17 PRIVMSG #esoteric :Yes I know that there is that problem. < 1333679109 336235 :shachaf!shachaf@2600:3c01::f03c:91ff:fedf:6da8 PRIVMSG #esoteric :elliott: People who say "ofc" are the devil. < 1333679112 284018 :zzo38!~zzo38@24.207.49.17 PRIVMSG #esoteric :If they allowed you to hide instances in Haskell, you could do it in the other way too. They should make an extension which allows you to hide instances. < 1333679147 383553 :zzo38!~zzo38@24.207.49.17 PRIVMSG #esoteric :And to make default instances which will have a lower priority than other instances. < 1333679217 937394 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :shachaf: ofc < 1333679341 790134 :zzo38!~zzo38@24.207.49.17 PRIVMSG #esoteric :I think it should be allowed in GHC to have an extension which you can define instances with priorities, and that local instances override imported instances, and that the new instance will be used in imported functions if and only if there are the constraint mentioning that instance in the type of the imported function that you are calling < 1333679358 664459 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :* #haskell Banlist: Sat Jan 21 19:19:41 gio123!*@* lindbohm.freenode.net < 1333679362 311157 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :shachaf: Why do I know the name gio123? < 1333679388 694422 :kmc!~keegan@c-65-96-1-204.hsd1.ma.comcast.net PRIVMSG #esoteric :isn't he the one who keeps looking for confluence experts < 1333679395 609796 :zzo38!~zzo38@24.207.49.17 PRIVMSG #esoteric :And then add zero-parameter type classes, and now you have it. < 1333679436 921386 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :kmc: That rings a bell. < 1333679440 199362 :zzo38!~zzo38@24.207.49.17 PRIVMSG #esoteric :How difficult would it be to implement these two things? < 1333679458 902656 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :kmc: Not a troll though, are they? I didn't realise #haskell ever actually banned unconstructive people. < 1333679480 180923 :kmc!~keegan@c-65-96-1-204.hsd1.ma.comcast.net PRIVMSG #esoteric :i don't recall what happened < 1333679487 854973 :shachaf!shachaf@2600:3c01::f03c:91ff:fedf:6da8 PRIVMSG #esoteric :elliott: gio123 got pretty rude some of the time. < 1333679511 178872 :kmc!~keegan@c-65-96-1-204.hsd1.ma.comcast.net PRIVMSG #esoteric :i think my favorite #haskell question ever was < 1333679515 648824 :kmc!~keegan@c-65-96-1-204.hsd1.ma.comcast.net PRIVMSG #esoteric :@quote ubuntu.freebsd < 1333679516 170177 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :NIXDAEMON-COOL says: how to uncompile make into java gcc 3.3 under ubuntu freebsd ?? < 1333679522 329223 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric ::D < 1333679534 903191 :kmc!~keegan@c-65-96-1-204.hsd1.ma.comcast.net PRIVMSG #esoteric :after much prodding and language barrier, this person did in fact have a haskell question < 1333679544 574065 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :that seems like a relative of "How do I patch KDE2 under FreeBSD?" < 1333679568 878531 :kmc!~keegan@c-65-96-1-204.hsd1.ma.comcast.net PRIVMSG #esoteric :yeah < 1333679766 370239 :shachaf!shachaf@2600:3c01::f03c:91ff:fedf:6da8 PRIVMSG #esoteric :Squectangles. < 1333679781 368470 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :wat < 1333679814 449019 :shachaf!shachaf@2600:3c01::f03c:91ff:fedf:6da8 PRIVMSG #esoteric :1.21 gigawat < 1333679842 675776 :zzo38!~zzo38@24.207.49.17 PRIVMSG #esoteric :I have previously written about a proposal for instance disambiguation extension, but now I have a much simpler idea. * Instances defined in the current module override instances in imported modules. * Instances can have an optional priority, where higher priority instances override lower ones. * Overriding instances does not affect functions from imported modules unless the instance is mentioned in the constraint of the type signature of that function. < 1333679878 454753 :Sgeo!~sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :"(Also, this post was an April Fools prank; the effect may or may not be real, and all citations are either irrelevant or fictional.) " < 1333679886 324940 :Sgeo!~sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :ACTION is now slightly humiliate < 1333679887 268381 :Sgeo!~sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :d < 1333679947 31282 :zzo38!~zzo38@24.207.49.17 PRIVMSG #esoteric :What do you think of this much simpler and more consistent instance disambiguation proposal? < 1333679995 338230 :augur!~augur@216-164-57-20.c3-0.slvr-ubr1.lnh-slvr.md.cable.rcn.com JOIN :#esoteric < 1333679996 172943 :zzo38!~zzo38@24.207.49.17 PRIVMSG #esoteric :Actually, I don't know if associated types might mix this up. < 1333680568 839280 :augur!~augur@216-164-57-20.c3-0.slvr-ubr1.lnh-slvr.md.cable.rcn.com QUIT :Remote host closed the connection < 1333680895 719594 :augur!~augur@216-164-57-20.c3-0.slvr-ubr1.lnh-slvr.md.cable.rcn.com JOIN :#esoteric < 1333681516 465784 :augur!~augur@216-164-57-20.c3-0.slvr-ubr1.lnh-slvr.md.cable.rcn.com QUIT :Remote host closed the connection < 1333681537 252761 :TodPunk!~Tod@166-70-93-209.ip.xmission.com QUIT :Read error: Connection reset by peer < 1333681573 686428 :TodPunk!~Tod@166-70-93-209.ip.xmission.com JOIN :#esoteric < 1333682597 884839 :zzo38!~zzo38@24.207.49.17 PRIVMSG #esoteric :I have not quite reached 23rd experience level in the Dungeons&Dragons game yet. < 1333682804 332761 :augur!~augur@208.58.5.87 JOIN :#esoteric < 1333682837 375684 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :Most annoying thing about American culture in general: the Jew jokes. < 1333682845 885791 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :They're so utterly baffling if you don't already know. < 1333682856 89853 :monqy!~swell@pool-71-102-226-192.snloca.dsl-w.verizon.net PRIVMSG #esoteric :what's a jew jokes < 1333682945 704522 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :(This is a general pop culture thing which has bemused me for ages, not any particular American trip thing.) < 1333683012 728776 :kmc!~keegan@c-65-96-1-204.hsd1.ma.comcast.net PRIVMSG #esoteric :whee time to reinstall all my haskell packages with profiling < 1333683099 178766 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :kmc: Why did you install them without in the first place? < 1333683136 80882 :kmc!~keegan@c-65-96-1-204.hsd1.ma.comcast.net PRIVMSG #esoteric :because i foolishly installed some of my haskell system from debian < 1333683162 8489 :shachaf!shachaf@2600:3c01::f03c:91ff:fedf:6da8 PRIVMSG #esoteric :kmc: Debian has -prof packages. < 1333683173 865856 :kmc!~keegan@c-65-96-1-204.hsd1.ma.comcast.net PRIVMSG #esoteric :yeah < 1333683223 373428 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :$ which ghc < 1333683223 533369 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :/opt/ghc/bin/ghc < 1333683229 38315 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :ACTION MORE FORWARD-THINKING THAN YOU < 1333683233 985095 :kmc!~keegan@c-65-96-1-204.hsd1.ma.comcast.net PRIVMSG #esoteric :ACTION just disables profiling for now < 1333683238 856315 :shachaf!shachaf@2600:3c01::f03c:91ff:fedf:6da8 PRIVMSG #esoteric :shachaf@carbon:~$ which ghc < 1333683239 62805 :shachaf!shachaf@2600:3c01::f03c:91ff:fedf:6da8 PRIVMSG #esoteric :/usr/local/bin/ghc < 1333683255 455013 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :shachaf: WRONG PATH. MY PATH IS BETTER BECAUSE IT'S MY PATH < 1333683269 87866 :shachaf!shachaf@2600:3c01::f03c:91ff:fedf:6da8 PRIVMSG #esoteric :Are we talking about life here? < 1333683308 654704 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Yes. < 1333683444 854260 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :$ which ghc < 1333683445 756372 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :/usr/bin/ghc < 1333683447 562484 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I win! < 1333683463 324702 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :ais523: no, that's losing < 1333683469 253835 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :that's what gave kmc all the Problem < 1333683476 908190 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :i bet you don't even have 7.4!!! < 1333683488 821646 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :not like I use it very much anyway < 1333683496 48058 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :hmm, ./ghc would be the losiest < 1333683608 725202 :Sgeo!~sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :ACTION renames some sort of Esme interpreter to ghc < 1333683630 438991 :Sgeo!~sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :Although an existing Esme interpreter would be a bit ... < 1333683705 677724 :shachaf!shachaf@2600:3c01::f03c:91ff:fedf:6da8 PRIVMSG #esoteric :ais523: GHC 7.4 lets you work miracles. < 1333683710 490292 :shachaf!shachaf@2600:3c01::f03c:91ff:fedf:6da8 PRIVMSG #esoteric :shachaf@carbon:~$ ghci < 1333683718 434389 :shachaf!shachaf@2600:3c01::f03c:91ff:fedf:6da8 PRIVMSG #esoteric :λ> data Miracle = Miracle < 1333683718 604612 :shachaf!shachaf@2600:3c01::f03c:91ff:fedf:6da8 PRIVMSG #esoteric :λ> < 1333683723 415492 :shachaf!shachaf@2600:3c01::f03c:91ff:fedf:6da8 PRIVMSG #esoteric :QED < 1333683999 216156 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :shachaf: How do you disable the startup messages? < 1333684020 250287 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :that prompt is obnoxious < 1333684026 925369 :shachaf!shachaf@2600:3c01::f03c:91ff:fedf:6da8 PRIVMSG #esoteric :elliott; Careful pasting. < 1333684036 548618 :shachaf!shachaf@2600:3c01::f03c:91ff:fedf:6da8 PRIVMSG #esoteric :I know that answer is disappointing. :-( < 1333684171 207241 :zzo38!~zzo38@24.207.49.17 PRIVMSG #esoteric :I think the monad/comonad that has been called phantom/cophantom and by a few other names, can actually be used with any category that has final/initial objects. < 1333684258 929239 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :I love how much of stats is just covering up arbitrary constants with someone's name. < 1333684612 19539 :RocketJSquirrel!codu@codu.org PRIVMSG #esoteric : Most annoying thing about American culture in general: the Jew jokes. // wut < 1333684638 29675 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :RocketJSquirrel, the UK doesn't really have a significant Jewish presence in its culture. < 1333684654 805332 :RocketJSquirrel!codu@codu.org PRIVMSG #esoteric :No shit. < 1333684668 839275 :RocketJSquirrel!codu@codu.org PRIVMSG #esoteric :"Jewish presence" != "Jew jokes" < 1333684674 223943 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :As such, the jokes in American media go completely over my head. < 1333684717 518227 :RocketJSquirrel!codu@codu.org PRIVMSG #esoteric :Oy vey, don't get so verklempt. < 1333684754 473751 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :ACTION can't figure out whether Phantom_Hoover is talking about jokes originating from Jewish culture or stereotypical nonsense < 1333684764 21071 :RocketJSquirrel!codu@codu.org PRIVMSG #esoteric :Yeah, neither can I. < 1333684764 697737 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :Both. < 1333684782 687322 :RocketJSquirrel!codu@codu.org PRIVMSG #esoteric :'cuz jokes originating from Jewish culture are also known as the actually-funny jokes. < 1333684808 652668 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :BTW what does "verklempt" mean and am I allowed to use it < 1333684823 875684 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :It is the best-sounding word < 1333684828 186141 :RocketJSquirrel!codu@codu.org PRIVMSG #esoteric :elliott: Roughly "distraught", and no, your nose is too small. < 1333684843 914318 :RocketJSquirrel!codu@codu.org PRIVMSG #esoteric :Well, not quite distraught ... more ... verklempt ... < 1333684850 72331 :RocketJSquirrel!codu@codu.org PRIVMSG #esoteric :Y'know, emotional. < 1333684862 205568 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Tired and emotional? < 1333684867 410208 :RocketJSquirrel!codu@codu.org PRIVMSG #esoteric :Definitely not tired. < 1333684870 723971 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Whoosh. < 1333684878 574871 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :http://en.wikipedia.org/wiki/Tired_and_emotional < 1333684893 812103 :RocketJSquirrel!codu@codu.org PRIVMSG #esoteric :Hyuk < 1333684903 600156 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric : 'cuz jokes originating from Jewish culture are also known as the actually-funny jokes. < 1333684905 788428 :RocketJSquirrel!codu@codu.org PRIVMSG #esoteric :"Chiefly not Jewish euphemism" < 1333684925 850491 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :Even unfunny jokes are less baffling than things that look like jokes but make no sense to you. < 1333684935 462684 :RocketJSquirrel!codu@codu.org PRIVMSG #esoteric :Oh shit it's midnight I've gotta go to sleep BAHEE < 1333684954 273738 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Who the hell sleeps at midnight?????? RocketJSquirrel that's who. < 1333685008 449645 :shachaf!shachaf@2600:3c01::f03c:91ff:fedf:6da8 PRIVMSG #esoteric :Ew. < 1333685022 403945 :shachaf!shachaf@2600:3c01::f03c:91ff:fedf:6da8 PRIVMSG #esoteric :elliott: What do I do if I want to not turn out like RocketJSquirrel? < 1333685030 722325 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Okay, first don't be a squirrel. < 1333685036 306354 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Second, don't sleep at midnight. < 1333685052 166826 :RocketJSquirrel!codu@codu.org PRIVMSG #esoteric :*flying squirrel < 1333685059 623595 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :wait does RocketJSquirrel use the same american time as m < 1333685062 623947 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :e < 1333685065 518316 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :@time Phantom_Hoover < 1333685066 408804 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :Local time for Phantom_Hoover is Fri Apr 6 04:00:51 < 1333685067 241684 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :@time RocketJSquirrel < 1333685068 336179 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :Local time for RocketJSquirrel is Fri Apr 6 00:03:53 < 1333685074 395615 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Phantom_Hoover: YOU REALLY NEED TO FIX THAT CLAWK < 1333685076 736179 :shachaf!shachaf@2600:3c01::f03c:91ff:fedf:6da8 PRIVMSG #esoteric :@time shachaf < 1333685080 26285 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :Local time for shachaf is Thu Apr 5 21:04:02 2012 < 1333685083 283025 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :@tachaf < 1333685083 905177 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :Unknown command, try @list < 1333685096 186349 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :ACTION → sleep < 1333685097 536662 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 QUIT :Quit: Leaving < 1333685104 264377 :shachaf!shachaf@2600:3c01::f03c:91ff:fedf:6da8 PRIVMSG #esoteric :elliott: HA HA! < 1333685113 9736 :shachaf!shachaf@2600:3c01::f03c:91ff:fedf:6da8 PRIVMSG #esoteric :I remember when you said that last time. < 1333685132 842569 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Me too! < 1333685231 99771 :shachaf!shachaf@2600:3c01::f03c:91ff:fedf:6da8 PRIVMSG #esoteric :@bless < 1333685231 414234 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :Unknown command, try @list < 1333685234 925588 :shachaf!shachaf@2600:3c01::f03c:91ff:fedf:6da8 PRIVMSG #esoteric :@thankyou < 1333685235 453386 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :you are welcome < 1333685240 848878 :shachaf!shachaf@2600:3c01::f03c:91ff:fedf:6da8 PRIVMSG #esoteric :WHOA, DUDE < 1333685248 482768 :shachaf!shachaf@2600:3c01::f03c:91ff:fedf:6da8 PRIVMSG #esoteric :how did it know < 1333685856 340645 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :whoaaaaaa < 1333686412 492855 :cheater__!~cheater@g229022041.adsl.alicedsl.de QUIT :Ping timeout: 246 seconds < 1333686777 591144 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :kmc: What's your blog thing about global variables to avoid that unsafePerformIO bug? < 1333686804 882812 :kmc!~keegan@c-65-96-1-204.hsd1.ma.comcast.net PRIVMSG #esoteric :what about it < 1333686810 803486 :kmc!~keegan@c-65-96-1-204.hsd1.ma.comcast.net PRIVMSG #esoteric :you want link? < 1333686814 476002 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Yar < 1333686820 341635 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Googling is like, 10x more work than asking you < 1333686823 651813 :kmc!~keegan@c-65-96-1-204.hsd1.ma.comcast.net PRIVMSG #esoteric :YOU WANT LINK FIVE DOLLAR < 1333686827 758336 :kmc!~keegan@c-65-96-1-204.hsd1.ma.comcast.net PRIVMSG #esoteric :http://mainisusuallyafunction.blogspot.com/2011/11/global-locking-through-stableptr.html < 1333686848 376507 :shachaf!shachaf@2600:3c01::f03c:91ff:fedf:6da8 PRIVMSG #esoteric :copumpkin: That reminds me, you owe me some dola. < 1333686864 117774 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :kmc: Thanks. < 1333686877 353277 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :kmc: Just tortured innocent #haskell member with it after they asked about unsafePerformIO'd IORefs. < 1333686880 975548 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :God's work. < 1333686907 252588 :shachaf!shachaf@2600:3c01::f03c:91ff:fedf:6da8 PRIVMSG #esoteric :God Swork. < 1333686932 999323 :kmc!~keegan@c-65-96-1-204.hsd1.ma.comcast.net PRIVMSG #esoteric :lals < 1333686939 873390 :kmc!~keegan@c-65-96-1-204.hsd1.ma.comcast.net PRIVMSG #esoteric :'swounds < 1333686944 812992 :kmc!~keegan@c-65-96-1-204.hsd1.ma.comcast.net PRIVMSG #esoteric :'sblood < 1333686998 289326 :kmc!~keegan@c-65-96-1-204.hsd1.ma.comcast.net PRIVMSG #esoteric :elliott, you tortured them by telling them how to work around a nasty compiler bug? < 1333687100 218618 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :kmc: yes < 1333687124 999609 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :kmc: they went from "I have to be careful with unsafePerformIO" to "I have to write unportable C code and use the FFI _and_ be careful wit unsafePerformIO" < 1333687125 933622 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :*with < 1333687152 60499 :kmc!~keegan@c-65-96-1-204.hsd1.ma.comcast.net PRIVMSG #esoteric :haha < 1333687159 289836 :kmc!~keegan@c-65-96-1-204.hsd1.ma.comcast.net PRIVMSG #esoteric :it's really a shocking bug < 1333687164 600197 :kmc!~keegan@c-65-96-1-204.hsd1.ma.comcast.net PRIVMSG #esoteric :given how common the unsafePerformIO global trick is < 1333687304 444296 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :I should sleep soon. I'll need it tomorrow. < 1333687321 162783 :kmc!~keegan@c-65-96-1-204.hsd1.ma.comcast.net PRIVMSG #esoteric :oh? < 1333687384 789651 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :kmc: A certain... esoteric matter relating to the timely evaporation of blockades. < 1333687415 102878 :cheater__!~cheater@p4FD0FDF0.dip.t-dialin.net JOIN :#esoteric < 1333687415 262911 :kmc!~keegan@c-65-96-1-204.hsd1.ma.comcast.net PRIVMSG #esoteric :watch out for your chi enerchy < 1333687419 245061 :kmc!~keegan@c-65-96-1-204.hsd1.ma.comcast.net PRIVMSG #esoteric :ACTION has no idea what elliott is talking about < 1333687457 923549 :shachaf!shachaf@2600:3c01::f03c:91ff:fedf:6da8 PRIVMSG #esoteric :Is that about those books? < 1333687543 304479 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :What books? < 1333687732 397758 :zzo38!~zzo38@24.207.49.17 PRIVMSG #esoteric :I have not used unsafePerformIO global trick; I have many alternative ways < 1333687850 318250 :zzo38!~zzo38@24.207.49.17 PRIVMSG #esoteric :One thing I have is the Data.Extensible.Product module and that could be used to store global settings by using (StateT IO) < 1333687880 656865 :shachaf!shachaf@2600:3c01::f03c:91ff:fedf:6da8 PRIVMSG #esoteric :zzo38: You can also store global settings by using (StateT ... IO) any other way. < 1333687922 187987 :zzo38!~zzo38@24.207.49.17 PRIVMSG #esoteric :shachaf: Yes you can do so. However, if you have a bunch of different module with different global variables, it would be difficult to put them all together < 1333687994 119657 :zzo38!~zzo38@24.207.49.17 PRIVMSG #esoteric :If you want to be able to load/save the global states in files as well, then you can combine it with Data.Extensible.List as well. < 1333688191 491400 :azaq23!~derivecto@unaffiliated/azaq23 QUIT :Quit: Leaving. < 1333688382 896974 :oklopol!~nnscript@dyn58-57.yok.fi QUIT :Read error: Connection reset by peer < 1333688392 137147 :oklopol!~nnscript@dyn58-57.yok.fi JOIN :#esoteric < 1333688675 286951 :zzo38!~zzo38@24.207.49.17 PRIVMSG #esoteric :Actually there are other uses for the Data.Extensible.... stuff too < 1333688826 538456 :zzo38!~zzo38@24.207.49.17 PRIVMSG #esoteric :I changed the traverseBox in Graphics.DVI to use both Applicative and Monad, because I also changed the other thing so that after it accesses the contents of boxes and other nodes that can contain other nodes, the box itself (after it has been modified) is accessed too. < 1333688962 693676 :elliott!~elliott@unaffiliated/elliott QUIT :Ping timeout: 245 seconds < 1333688968 71876 :zzo38!~zzo38@24.207.49.17 PRIVMSG #esoteric :Why is the unsafePerformIO global trick used that often? Can't some optimization and other stuff capable of mixing it up? < 1333689327 917826 :zzo38!~zzo38@24.207.49.17 PRIVMSG #esoteric :Also, do you know any example of a monoid transformer which is not applicative? < 1333690105 463273 :MDude!~fyrc@c-174-55-44-190.hsd1.pa.comcast.net NICK :MSleep < 1333690949 385804 :augur!~augur@208.58.5.87 QUIT :Remote host closed the connection < 1333691209 71168 :augur!~augur@208.58.5.87 JOIN :#esoteric < 1333691429 989057 :augur!~augur@208.58.5.87 QUIT :Remote host closed the connection < 1333691454 265984 :augur!~augur@208.58.5.87 JOIN :#esoteric < 1333691487 916410 :augur!~augur@208.58.5.87 QUIT :Read error: Connection reset by peer < 1333691495 286861 :augur!~augur@208.58.5.87 JOIN :#esoteric < 1333692933 124510 :cheater__!~cheater@p4FD0FDF0.dip.t-dialin.net QUIT :Ping timeout: 246 seconds < 1333693067 185221 :cheater__!~cheater@p4FD0FDF0.dip.t-dialin.net JOIN :#esoteric < 1333693310 148864 :asiekierka!~asiekierk@178235039209.elblag.vectranet.pl JOIN :#esoteric < 1333696346 347904 :monqy!~swell@pool-71-102-226-192.snloca.dsl-w.verizon.net QUIT :Quit: hello < 1333697446 663693 :shachaf!shachaf@2600:3c01::f03c:91ff:fedf:6da8 PRIVMSG #esoteric :00:11 -!- monqy [~swell@pool-71-102-226-192.snloca.dsl-w.verizon.net] has quit [Quit: hello] < 1333697451 956973 :shachaf!shachaf@2600:3c01::f03c:91ff:fedf:6da8 PRIVMSG #esoteric :Ah, monqy. < 1333697455 369300 :shachaf!shachaf@2600:3c01::f03c:91ff:fedf:6da8 PRIVMSG #esoteric :monqy: hi < 1333697954 13201 :shachaf!shachaf@2600:3c01::f03c:91ff:fedf:6da8 PRIVMSG #esoteric :hi monqy < 1333699451 801112 :Patashu!Patashu@c122-106-155-219.carlnfd1.nsw.optusnet.com.au QUIT :Quit: MSN: Patashu@hotmail.com , Gmail: Patashu0@gmail.com , AIM: Patashu0 , YIM: patashu2 , Skype: patashu0 . < 1333702709 519711 :shachaf!shachaf@2600:3c01::f03c:91ff:fedf:6da8 PRIVMSG #esoteric :zzo38: Is dvi-processing better than HPDF? < 1333702782 434382 :zzo38!~zzo38@24.207.49.17 PRIVMSG #esoteric :shachaf: In some ways, probably it is. But in other way, dvi-processing is not complete and lacks some things; later version might improve that. < 1333702839 934299 :shachaf!shachaf@2600:3c01::f03c:91ff:fedf:6da8 PRIVMSG #esoteric :Hmm. < 1333702847 411357 :shachaf!shachaf@2600:3c01::f03c:91ff:fedf:6da8 PRIVMSG #esoteric :The main things I don't like about HPDF are: < 1333702862 612440 :shachaf!shachaf@2600:3c01::f03c:91ff:fedf:6da8 PRIVMSG #esoteric :All the overly complicated and stupid PDF stuff. < 1333702867 457117 :shachaf!shachaf@2600:3c01::f03c:91ff:fedf:6da8 PRIVMSG #esoteric :The inability to use any TFM font. < 1333702882 457351 :shachaf!shachaf@2600:3c01::f03c:91ff:fedf:6da8 PRIVMSG #esoteric :The inability to both read and write DVI files (HPDF writes only). < 1333702914 32314 :zzo38!~zzo38@24.207.49.17 PRIVMSG #esoteric :shachaf: OK. < 1333702963 216169 :zzo38!~zzo38@24.207.49.17 PRIVMSG #esoteric :Other things some people might not like about HPDF is the monadic interface; a declarative interface might be preferred. (Even the author of HPDF complained about this, actually) < 1333702981 339864 :shachaf!shachaf@2600:3c01::f03c:91ff:fedf:6da8 PRIVMSG #esoteric :Oh, and the monadic interface. < 1333702988 918736 :shachaf!shachaf@2600:3c01::f03c:91ff:fedf:6da8 PRIVMSG #esoteric :I would prefer a declarative interface. < 1333703188 120914 :zzo38!~zzo38@24.207.49.17 PRIVMSG #esoteric :Actually, the traverseBox function in dvi-processing is monadic but that is all. (I have only used it with the writer monad, but you can use it with other monads too, if you have a use for it) < 1333703223 397206 :shachaf!shachaf@2600:3c01::f03c:91ff:fedf:6da8 PRIVMSG #esoteric :Can I use it with all monads at once? < 1333703348 51588 :zzo38!~zzo38@24.207.49.17 PRIVMSG #esoteric :shachaf: I suppose so, in case of polymorphic functions that use it. < 1333703897 340924 :monqy!~swell@pool-71-102-226-192.snloca.dsl-w.verizon.net JOIN :#esoteric < 1333705184 670962 :Vorpal!~AnMaster@unaffiliated/anmaster JOIN :#esoteric < 1333707109 475202 :oerjan!oerjan@sprocket.nvg.ntnu.no JOIN :#esoteric < 1333708936 387589 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric : http://olsner.se/marquee.php <-- apparently marquee can crash IE 8. who knew. < 1333708997 780324 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :poor oerjan and his browser < 1333709008 601530 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :well "crash", i had to kill the process, which seems to cause it to reload everything in a weird state < 1333709116 611283 :olsner!~salparot@c83-252-161-133.bredband.comhem.se PRIVMSG #esoteric :oerjan: that page might also involve an infinite iframe recursion < 1333709118 794275 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :it happened once before, it _looks_ like it makes tabs be distinct processes or something, which they usually aren't. < 1333709148 394305 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :oerjan: I crashed ie4 with an infinite frameset recursion once < 1333709156 332160 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :well, more than once < 1333709175 865971 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :olsner: yes it started rolling and then halted, waiting indefinitely for everything to load, i stopped it at =hundredsomething but the cpu was still pegging < 1333709190 496346 :olsner!~salparot@c83-252-161-133.bredband.comhem.se PRIVMSG #esoteric :ah, yes,