< 1327017721 141827 :augur_!~augur@c-75-74-129-116.hsd1.fl.comcast.net NICK :augur < 1327018465 282951 :GreaseMonkey!~gm@unaffiliated/greasemonkey QUIT :Quit: The Other Game < 1327018900 965833 :Ngevd!~Taneb@host-84-13-74-200.opaltelecom.net QUIT :Ping timeout: 260 seconds < 1327019025 233028 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :@src concat < 1327019025 433684 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :concat = foldr (++) [] < 1327019162 875570 :Sgeo!~sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric ::t iterate < 1327019163 926900 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :forall a. (a -> a) -> a -> [a] < 1327019199 843664 :Sgeo!~sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :> (!! 200) $ iterate id 5 < 1327019200 861632 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : 5 < 1327019205 319921 :Sgeo!~sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :> (!! 2000) $ iterate id 5 < 1327019206 355914 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : 5 < 1327019211 145211 :Sgeo!~sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :> (!! 2000000000000) $ iterate id 5 < 1327019217 276089 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : mueval: Prelude.undefined < 1327019217 477465 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : mueval: ExitFailure 1 < 1327019248 775292 :Sgeo!~sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :> (!! 20000000) $ iterate id 5 < 1327019254 219808 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : mueval-core: Time limit exceeded < 1327019262 874175 :Sgeo!~sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :> (!! 20000) $ iterate id 5 < 1327019265 94858 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : 5 < 1327019269 234942 :Sgeo!~sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :> (!! 200000) $ iterate id 5 < 1327019270 897052 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : 5 < 1327019274 311557 :Sgeo!~sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :> (!! 2000000) $ iterate id 5 < 1327019276 230223 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : 5 < 1327020305 238214 :roper!~rod@95.169.240.70 QUIT :Quit: Abandonando < 1327020670 669896 :itidus21!~itidus21@120.148.51.249 PRIVMSG #esoteric :would it be possible to just diverge science into 2 schools? < 1327020683 622390 :itidus21!~itidus21@120.148.51.249 PRIVMSG #esoteric :the P = NP school and the P != NP school? < 1327020934 311875 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :um < 1327020949 481711 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :P = NP is a complexity theory thing, so I can't see there being much difference in those 2 schools of science. < 1327020989 568886 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :but, for example: < 1327020990 980455 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :http://en.wikipedia.org/wiki/NP-hard < 1327021006 492361 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :this article has two diagrams. one where P = NP, and one where it does not. < 1327021127 421996 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :it seems that complexity theory, rather than uselessly dividing itself into two schools of thought, instead just considers both possibilities. < 1327022185 381282 :GreaseMonkey!~gm@121-73-182-130.dsl.telstraclear.net JOIN :#esoteric < 1327022185 689603 :GreaseMonkey!~gm@121-73-182-130.dsl.telstraclear.net QUIT :Changing host < 1327022185 851381 :GreaseMonkey!~gm@unaffiliated/greasemonkey JOIN :#esoteric < 1327022222 809158 :pikhq!~pikhq@71-219-226-4.clsp.qwest.net JOIN :#esoteric < 1327022417 925291 :pikhq_!~pikhq@71-219-238-155.clsp.qwest.net QUIT :Ping timeout: 252 seconds < 1327025105 374663 :kwertii!~kwertii@unaffiliated/kwertii QUIT :Quit: bye < 1327025713 764826 :augur!~augur@c-75-74-129-116.hsd1.fl.comcast.net QUIT :Ping timeout: 240 seconds < 1327025749 889962 :augur!~augur@c-75-74-129-116.hsd1.fl.comcast.net JOIN :#esoteric < 1327025950 973521 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :how are lists defined in the Prelude? < 1327025968 802109 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :can't seem to find them < 1327025972 461171 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :are they special? < 1327026084 7624 :pikhq!~pikhq@71-219-226-4.clsp.qwest.net PRIVMSG #esoteric :They're special, due to the type being [a] < 1327026093 904365 :pikhq!~pikhq@71-219-226-4.clsp.qwest.net PRIVMSG #esoteric :Which isn't otherwise legal. < 1327026094 167797 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :(meaning, do they not have a data declaration since their syntax is a special case) < 1327026097 35434 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :ah okay < 1327026108 660706 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :same with tuples then as well I guess. < 1327026139 334499 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :ACTION demands -XcircumfixOperators < 1327026143 62107 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :*C < 1327026176 620948 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :ACTION notes how difficult that would be to actually implement and design in a sane manner. < 1327026717 76245 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :the numeric patterns are interesting in that they seem to be the only overloaded patterns... < 1327026727 684389 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :or do they only match on Int and Integer? < 1327026747 571577 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :> let f 0 = 0 :: Sym Int in f 0 < 1327026748 272559 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : 0 < 1327026773 673702 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :nothing else pattern matches on an entire typeclass. < 1327026781 722093 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :except I guess maybe OverloadedStrings? < 1327026804 773205 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :I wouldn't be surprised if it doesn't overload string patterns. < 1327026836 806298 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :oh wait < 1327026843 494549 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :> let f 0 = 0 :: Sym Int in f (0 :: Sym Int) < 1327026844 206865 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : 0 < 1327026846 493250 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :oh okay. < 1327028349 971585 :_Slereah!~butt@ANantes-259-1-213-97.w83-195.abo.wanadoo.fr NICK :Slereah < 1327033564 873564 :MDude!~fyrc@or-67-238-19-212.dhcp.embarqhsd.net NICK :MSleep < 1327034566 653949 :kwertii!~kwertii@unaffiliated/kwertii JOIN :#esoteric < 1327035212 607200 :Deewiant!~deewiant@cs27125254.pp.htv.fi PRIVMSG #esoteric :?src [] < 1327035213 3817 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :data [] a = [] | a : [a] < 1327036261 938110 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :lies < 1327036592 926208 :oerjan!oerjan@sprocket.nvg.ntnu.no JOIN :#esoteric < 1327036739 37539 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :00:51:10: would it be possible to just diverge science into 2 schools? < 1327036742 353257 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :00:51:23: the P = NP school and the P != NP school? < 1327036799 377408 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :the problem is that the P=NP school is nearly useless without finding the actual P-algorithm for SAT (or any other NP-complete problem), at which point the P != NP school will promptly collapse. < 1327036890 90920 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :oerjan: most people are pretty convinced that P != NP right? < 1327036894 724737 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :otoh there has been some discussion on the godel's lost letter blog that the P=NP possibility gets underinvestigated. (Prof. Lipton himself is one of the few who think it might be the true case) < 1327036914 458628 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :*thinks < 1327036977 220306 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :02:19:10: how are lists defined in the Prelude? < 1327036985 411102 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :oerjan: intuitively it certainly doesn't seem very possible, but that's not a good basis for research direction. < 1327036992 484259 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :with a comment to the effect that the syntax would be illegal, i think < 1327037026 387225 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :data [a] = [] | a:[a] deriving BucketsOfClasses < 1327037038 958239 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :or something like that ;P < 1327037053 8856 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :it would be nice if Haskell had a better precedence system. < 1327037083 619632 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :you could define them in relation to one another, in essence. < 1327037122 119817 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :kallisti: well the blog is also full of cranks who think one side is obviously true, and get angry when no actual mathematician thinks their argument is convincing. < 1327037142 942848 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :(or more often, thinks their argument is worth reading at all) < 1327037175 411623 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :precedencegroup Arithmetic = (+), (-) < (*), (/), `div`, `mod`, `divMod` < (^), (^^), (**) < 1327037183 775086 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :you could also refer to other groups relationally. < 1327037195 39997 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :the group simply exists for ease of referral in other precedence relations < 1327037335 196965 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :the only problem is that it says nothing about the associativivity < 1327037338 186683 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :I'm sure there's a better notation < 1327037340 734685 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i think the groups should also include associativity. it's annoying that you can have two operators on the same level which cannot be combined because their associativities clash. < 1327037349 276496 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :e.g. $ and parsec's < 1327037352 113392 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :yes < 1327037354 470922 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :$ and $! < 1327037368 560538 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :um they _do_ have the same don't they? < 1327037373 429111 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :> (0$0$!) < 1327037374 401467 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : The operator `Prelude.$!' [infixr 0] of a section < 1327037374 577685 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : must have lower prec... < 1327037376 840815 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :yep < 1327037402 78372 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :but some think they should have been left instead < 1327037407 339813 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :(i.e. Cale) < 1327037446 186951 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :I think that makes sense, but at the same time I don't really think f x y $ g z $ h a b $ i c < 1327037449 212717 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :looks very good < 1327037468 924701 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :assuming left associativity < 1327037498 196173 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :not sure how to cleanly encode associativity in precedence groups though < 1327037507 697964 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :"opgroup" is probably a better name. < 1327037509 847766 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :shorter < 1327037525 562589 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :or maybe opset < 1327037551 373245 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :also I'm not sure how you'd do things like $ < 1327037574 33143 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :and specify that it's either "lower than everything" or "lower than some other really low thing" < 1327037579 829627 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric : precedencegroup Arithmetic = (+), (-) < (*), (/), `div`, `mod`, `divMod` < (^), (^^), (**) <-- rather silly use of `` and () there :P < 1327037586 872007 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :oh, yes. < 1327037596 179910 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :well I thought the `` was required? < 1327037610 596895 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :yes, but the () is prohibited in fixity declarations < 1327037617 154777 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :right I forgot about that. < 1327037687 192587 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :it would probably be a good idea to define one level at a time with different associativities < 1327037694 587253 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :so that other operators could be put inbetween those. < 1327037712 630689 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :the relations would be <, =, and > < 1327037752 346945 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :anyway I just think it adds more flexibility than the fixed set of integer levels. < 1327037763 185046 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :which are all completely filled by Prelude operators. < 1327037799 424253 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :hm easy solution to the $ and . problem - require all new groups to be defined _between_ two existing ones. < 1327037799 850883 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :I'm not sure how intuitive it would be either. in simple cases it would be more intuitive I think < 1327037832 431501 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :other problems: no default precedence < 1327037836 161498 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :unless... < 1327037839 859124 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :you have a special Default grou[ < 1327037843 584851 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :p < 1327037882 321860 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :you could just make it the . group, and change that to infixl - the operator's bloody associative, after all! < 1327037898 244330 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :although it would break old sections. < 1327037929 263377 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :of the (. f . g) form < 1327037934 125434 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :I thought the default was like 4 or something? < 1327037942 761760 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :no, default is infixl 9 < 1327037946 665095 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :oh < 1327037947 842139 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :okay. < 1327037989 207906 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :although equally obviously, (f . g .) is much more useful than (. f . g) so the latter probably should just be left to break. < 1327038010 278249 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :(i think.) < 1327038021 294577 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric ::t (?f . ?g .) < 1327038022 80346 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :I didn't know changing the associativity would break sections like that < 1327038022 254825 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : The operator `.' [infixr 9] of a section < 1327038022 416826 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : must have lower precedence than that of the operand, < 1327038022 578708 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : namely `.' [infixr 9] < 1327038028 63407 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric ::t (. ?f . ?g) < 1327038028 501571 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :I figured it would just parse it as (. (f . g)) < 1327038029 29882 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :forall a b a1 (f :: * -> *). (?f::a1 -> a, ?g::f a1, Functor f) => (a -> b) -> f b < 1327038096 256875 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :nope, the rule is that it's only legal if \x -> x . f . g parses like \x -> x . (f . g) < 1327038138 26337 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :of course it's been discussed whether it should always mean the former < 1327038144 280065 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :I think having a Default group makes sense, then just structure the Prelude operators around the Default in some sensible way (I think . should probably be higher precedence than default), and then have special values for lowest precedence and highest precedence. < 1327038302 939226 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :it could even be a "None" group... so... < 1327038361 931350 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :opgroup App = $, $!, `seq` where App > None < 1327038371 335099 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :(improved the syntax a bit, not sure how to do associativity cleanly) < 1327038383 178481 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric ::t (0$0 `seq`) < 1327038384 75554 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : The operator `seq' [infixr 0] of a section < 1327038384 237719 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : must have lower precedence than that of the operand, < 1327038384 839181 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : namely `$' [infixr 0] < 1327038402 536994 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :oerjan: I recently took a look at the Reports operator table so this shit's still fresh in memory. :P < 1327038490 732214 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :the rule on the where part would be that the groupname has to be mentioned, and that it can't create a logical contradiction (no clue how to make that efficient at compile-time or what that even entails) < 1327038503 479874 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :elliott linked me to a paper on this style of precedence handling, but I never read it. :P < 1327038515 404218 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :well < 1327038518 397387 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :I read part of it. < 1327038522 586957 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :just not the implementation details. < 1327038549 479703 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :oh it was Agda mixfix . < 1327038554 249943 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :that it was describing < 1327038958 551425 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :I wonder what's the longest period of time a written language standard has been the same as the de facto standard. < 1327039868 498251 :oerjan!oerjan@sprocket.nvg.ntnu.no QUIT :Quit: leaving < 1327042871 248904 :Klisz!~Klisz@c-67-161-147-186.hsd1.co.comcast.net QUIT :Quit: SLEEP, GLORIOUS SLEEP < 1327042938 498532 :aloril!~aloril@dsl-tkubrasgw3-fe7ef900-153.dhcp.inet.fi QUIT :Ping timeout: 240 seconds < 1327043867 448478 :aloril!~aloril@dsl-tkubrasgw3-fe7ef900-153.dhcp.inet.fi JOIN :#esoteric < 1327044323 650490 :kwertii!~kwertii@unaffiliated/kwertii QUIT :Quit: bye < 1327044877 263367 :azaq23!~derivecto@unaffiliated/azaq23 JOIN :#esoteric < 1327044886 141802 :azaq23!~derivecto@unaffiliated/azaq23 QUIT :Max SendQ exceeded < 1327047019 474048 :GreaseMonkey!~gm@unaffiliated/greasemonkey QUIT :Quit: The Other Game < 1327047471 871688 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake QUIT :Quit: Lost terminal < 1327049129 594727 :Jafet!~Jafet@unaffiliated/jafet JOIN :#esoteric < 1327050495 846447 :Deewiant!~deewiant@cs27125254.pp.htv.fi PRIVMSG #esoteric :fizzie: You're more face-hairy than when I last saw you. < 1327051305 942142 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :It keeps happening. < 1327051323 430849 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Also I didn't notice anyone noticing me. < 1327051644 284939 :kmc!~keegan@c-98-216-51-47.hsd1.ma.comcast.net PRIVMSG #esoteric :http://www.haskell.org/wikiupload/2/23/Monad-tutorials-chart.png < 1327051665 159799 :roper!~rod@95.169.240.70 JOIN :#esoteric < 1327051732 198064 :pikhq!~pikhq@71-219-226-4.clsp.qwest.net QUIT :Read error: Operation timed out < 1327051776 744187 :pikhq!~pikhq@71-219-197-45.clsp.qwest.net JOIN :#esoteric < 1327052998 311653 :Madoka-Kaname!~moe@inportb/loli/cirno-chan PRIVMSG #esoteric :kmc, graph it agienst the number of Java reflection tutorials < 1327053051 270821 :kallisti!~eris@h54.31.18.98.dynamic.ip.windstream.net JOIN :#esoteric < 1327053051 580458 :kallisti!~eris@h54.31.18.98.dynamic.ip.windstream.net QUIT :Changing host < 1327053051 742372 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake JOIN :#esoteric < 1327053236 883588 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :And global warming. < 1327053711 970787 :Madoka-Kaname!~moe@inportb/loli/cirno-chan PRIVMSG #esoteric :fizzie, I'm trying to make kmc feel crushing despair! < 1327053838 668183 :kmc!~keegan@c-98-216-51-47.hsd1.ma.comcast.net PRIVMSG #esoteric :the difference is that "reflection tutorial" is not sought out as the solution to each and every Java question < 1327053880 457680 :Madoka-Kaname!~moe@inportb/loli/cirno-chan PRIVMSG #esoteric :Okey < 1327053888 37826 :Madoka-Kaname!~moe@inportb/loli/cirno-chan PRIVMSG #esoteric :"Object Oriented Design tutorial" < 1327053899 577336 :kmc!~keegan@c-98-216-51-47.hsd1.ma.comcast.net PRIVMSG #esoteric :anyway why is this supposed to make me feel crushing despair < 1327054122 321399 :kmc!~keegan@c-98-216-51-47.hsd1.ma.comcast.net PRIVMSG #esoteric :i'll bet the average java reflection tutorial imparts more knowledge than the average monad tutorial < 1327054128 850393 :kmc!~keegan@c-98-216-51-47.hsd1.ma.comcast.net PRIVMSG #esoteric :since the average monad tutorial imparts negative knowledge < 1327056871 48052 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :ACTION eats a burrito quietly in the background. < 1327056911 941941 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :kmc: what knowlege are you looking for a monad tutorial to impart? < 1327056970 943419 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :teaching someone how to use monads is probably the easiest to do, and the most relevant to Haskell programming. < 1327056991 652765 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :I don't need to know everything about real categorical theoretical monads to write programs. < 1327057083 185535 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :I recall wikibooks had a pretty good tutorial for monads, but only if you already had a slight understanding of them previously. < 1327057495 110919 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :so, if you're not actually stuck in the questions of why like many do < 1327057507 431338 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :it's a good learning resource. < 1327057822 191764 :kmc!~keegan@c-98-216-51-47.hsd1.ma.comcast.net PRIVMSG #esoteric :i'm not looking for a monad tutorial to impart any knowledge < 1327057832 72035 :kmc!~keegan@c-98-216-51-47.hsd1.ma.comcast.net PRIVMSG #esoteric :but apparently lots of other people are < 1327059650 726624 :Deewiant!~deewiant@cs27125254.pp.htv.fi PRIVMSG #esoteric :fizzie: I exited T1 and walked past you downstairs < 1327059764 335633 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 JOIN :#esoteric < 1327060490 393770 :ais523!~ais523@unaffiliated/ais523 JOIN :#esoteric < 1327061093 965072 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :09:49:58: kmc, graph it agienst the number of Java reflection tutorials < 1327061094 379080 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :Phantom_Hoover: You have 3 new messages. '/msg lambdabot @messages' to read them. < 1327061102 463202 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :Java reflection sounds unpleasant. < 1327061122 567860 :kmc!~keegan@c-98-216-51-47.hsd1.ma.comcast.net PRIVMSG #esoteric :it sounds better than not having it < 1327061145 696052 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :I don't know what it /is/. < 1327061152 339981 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :It just sounds unpleasant. < 1327061195 247457 :kmc!~keegan@c-98-216-51-47.hsd1.ma.comcast.net PRIVMSG #esoteric :heh < 1327061436 839062 :kmc!~keegan@c-98-216-51-47.hsd1.ma.comcast.net PRIVMSG #esoteric :it gives you Java classes named Class, Method, Constructor, etc. < 1327061461 737669 :kmc!~keegan@c-98-216-51-47.hsd1.ma.comcast.net PRIVMSG #esoteric :you can get the Class for any object, enumerate its Methods (and their names as strings, and their types), call a Method, etc < 1327061719 843422 :kmc!~keegan@c-98-216-51-47.hsd1.ma.comcast.net PRIVMSG #esoteric :there are also related APIs (don't know if it's technically part of reflection) for dynamically loading .class files, or for loading JVM bytecode you've generated on the fly < 1327062092 806278 :ais523!~ais523@unaffiliated/ais523 QUIT :Ping timeout: 252 seconds < 1327062363 561578 :ais523!~ais523@unaffiliated/ais523 JOIN :#esoteric < 1327062606 591994 :Ngevd!~Taneb@host-84-13-74-200.opaltelecom.net JOIN :#esoteric < 1327062615 102525 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Deewiant: Hokay. I recall vaguely that some people came out of there. Maybe. < 1327062619 455191 :Ngevd!~Taneb@host-84-13-74-200.opaltelecom.net PRIVMSG #esoteric :Hello < 1327062785 40068 :Deewiant!~deewiant@cs27125254.pp.htv.fi PRIVMSG #esoteric :Well, they did. < 1327063056 256226 :kmc!~keegan@c-98-216-51-47.hsd1.ma.comcast.net PRIVMSG #esoteric :hi Ngevd < 1327063186 685237 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :Phantom_Hoover: reflection in OO languages is when the language constructs themselves are represented by objects < 1327063199 102422 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :so, e.g., you can have a Class object and get a list of Method objects corresponding to it < 1327063212 995039 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :ais523, that sounds like the kind of thing which puts Feather beyond the reach of man. < 1327063229 949597 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :typically, you can also use these things indirectly, e.g. you can do something like Class.callStaticMethod(Method x) < 1327063234 34567 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :probably named differently < 1327063254 893493 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :and actually, Feather doesn't have reflection by default, but it's possible to retroactively add it onto the language after you've already created a bunch of objects < 1327063482 693809 :Ngevd!~Taneb@host-84-13-74-200.opaltelecom.net QUIT :Ping timeout: 255 seconds < 1327063587 384566 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :java.lang.System.class.getMethod("exit", int.class).invoke(null, 42); + catch a dozen checked exceptions. < 1327063627 609865 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Static methods are just Methods, and their .invoke() ignores the first parameter. < 1327063736 108170 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :The above can apparently throw NoSuchMethodException, SecurityException, IllegalAccessException, IllegalArgumentException or InvocationTargetException, so maybe "dozen" was a bit of an exaggeration. (Or NullPointerException or ExceptionInInitializerError, but those aren't checked.) < 1327063751 773899 :kmc!~keegan@c-98-216-51-47.hsd1.ma.comcast.net PRIVMSG #esoteric :how is it determined whether a particular exeception is checked? < 1327063801 307035 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :If it derives from a Throwable that's not a descendant of Error or RuntimeException, it's checked, IIRC. < 1327063871 459876 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :"The unchecked exceptions classes are the class RuntimeException and its subclasses, and the class Error and its subclasses." < 1327063924 181977 :kmc!~keegan@c-98-216-51-47.hsd1.ma.comcast.net PRIVMSG #esoteric :ah < 1327063974 976576 :kmc!~keegan@c-98-216-51-47.hsd1.ma.comcast.net PRIVMSG #esoteric :is that equivalent to saying that "throws RuntimeException, Error" is implicit on every method? < 1327064109 386543 :kmc!~keegan@c-98-216-51-47.hsd1.ma.comcast.net PRIVMSG #esoteric :put another way, can i throw a subclass of something in the "throws" clause without putting the exact type in the "throws" clause? < 1327064121 216583 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :kmc: right < 1327064129 478614 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Yes. < 1327064136 642116 :kmc!~keegan@c-98-216-51-47.hsd1.ma.comcast.net PRIVMSG #esoteric :cool < 1327064192 17113 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :fizzie: ExceptionInitializerError? < 1327064193 754139 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :You could put a "throws Throwable" in and throw anything, but then all your callers would also need to "throws Throwable", or catch (at least as a fallback) Throwable. < 1327064225 333610 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 QUIT :Remote host closed the connection < 1327064247 682043 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :ais523: "ExceptionInInitializerError - if the initialization provoked by [Method.invoke] fails". < 1327064280 847632 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :oh, Exception In Initializer < 1327064286 695295 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :not Exception Initializer < 1327064288 504053 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I see < 1327064308 483066 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I thought it was something like an exception trying to create an exception, and became an error to stop recursion < 1327064322 764092 :kmc!~keegan@c-98-216-51-47.hsd1.ma.comcast.net PRIVMSG #esoteric :i heard you like exceptions < 1327064398 269026 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :I'm sure C++ programmers think Java's exceptions are pretty lame, since you always have to subclass Throwable. At least C++ lets you throw whatever you want, like integers, or std::maps, or other sane things. < 1327064414 256006 :kmc!~keegan@c-98-216-51-47.hsd1.ma.comcast.net PRIVMSG #esoteric ::D < 1327064526 861552 :kmc!~keegan@c-98-216-51-47.hsd1.ma.comcast.net PRIVMSG #esoteric :"if the initialization provoked by [Method.invoke] fails" < 1327064530 972049 :kmc!~keegan@c-98-216-51-47.hsd1.ma.comcast.net PRIVMSG #esoteric :i like the use of the word "provoked" here < 1327064991 473590 :kmc!~keegan@c-98-216-51-47.hsd1.ma.comcast.net PRIVMSG #esoteric :in C++ if you throw an object by value (and catch it by const reference, say), where will compilers tend to allocate it? < 1327065498 5377 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :I'm not sure if there even is a convention. It could even be somewhere on the stack, depending on how unwinding gets done, since all it needs to do is to last until the last relevant handler exits. < 1327065856 342521 :ais523!~ais523@unaffiliated/ais523 QUIT :Ping timeout: 272 seconds < 1327065909 77640 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :http://www.fifi.org/doc/g++-3.0/libstdc++/html_user/eh__alloc_8cc-source.html#l00097 -- in this version of G++, apparently on the heap as seen by std::malloc, except there's also an emergency_buffer which is used if it's out of memory. < 1327065944 60269 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Though that only works for exception objects that are 1024 bytes or less. < 1327066514 470984 :sebbu2!~sebbu@ADijon-152-1-29-127.w83-194.abo.wanadoo.fr JOIN :#esoteric < 1327066514 894813 :sebbu2!~sebbu@ADijon-152-1-29-127.w83-194.abo.wanadoo.fr QUIT :Changing host < 1327066515 56541 :sebbu2!~sebbu@unaffiliated/sebbu JOIN :#esoteric < 1327066700 820265 :sebbu!~sebbu@unaffiliated/sebbu QUIT :Ping timeout: 252 seconds < 1327066937 335465 :kmc!~keegan@c-98-216-51-47.hsd1.ma.comcast.net PRIVMSG #esoteric :heh < 1327067058 914143 :kmc!~keegan@c-98-216-51-47.hsd1.ma.comcast.net PRIVMSG #esoteric :that's entertaining < 1327067355 992883 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :if (++which >= EMERGENCY_OBJ_COUNT) goto failed; < 1327067379 434214 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :It's very bitmasky. < 1327067444 92299 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :There's also some sort of a emergency_mutex to avoid multiple threads messing the emergency_buffer at the same time. < 1327067478 379986 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Ah, so there's space for 64 of those at-most-a-kilobyte emergency objects. < 1327067597 713432 :roper!~rod@95.169.240.70 PRIVMSG #esoteric :too much arbitrary numbers < 1327068422 244649 :Gregor!codu@codu.org PRIVMSG #esoteric : I'm not sure if there even is a convention. It could even be somewhere on the stack, depending on how unwinding gets done, since all it needs to do is to last until the last relevant handler exits. // the only way I can think of that it could be on the stack is if the code that entered the try block allocated the space, and the code that threw put the object there, but that would be hyper-awkward for subtypes ... < 1327068460 997833 :kmc!~keegan@c-98-216-51-47.hsd1.ma.comcast.net PRIVMSG #esoteric :i was thinking it would be in the thrower's stack frame < 1327068469 571482 :Gregor!codu@codu.org PRIVMSG #esoteric :That could get overwritten. < 1327068476 646384 :Gregor!codu@codu.org PRIVMSG #esoteric :I suppose it could leave it high in the stack with the implied agreement that the handler copies it if it's executed. < 1327068477 759076 :kmc!~keegan@c-98-216-51-47.hsd1.ma.comcast.net PRIVMSG #esoteric :you wouldn't actually free the stack until exception handling is complete < 1327068489 942412 :Gregor!codu@codu.org PRIVMSG #esoteric :But the handler can call functions. < 1327068496 917603 :Gregor!codu@codu.org PRIVMSG #esoteric :And hence extend its stack back over the thrower's. < 1327068497 555700 :kmc!~keegan@c-98-216-51-47.hsd1.ma.comcast.net PRIVMSG #esoteric :you'd run exn handling code on a separate stack < 1327068500 633983 :kmc!~keegan@c-98-216-51-47.hsd1.ma.comcast.net PRIVMSG #esoteric :i think that's pretty common < 1327068501 850776 :Gregor!codu@codu.org PRIVMSG #esoteric :Ohhhhhhhhhhhh < 1327068508 830981 :Gregor!codu@codu.org PRIVMSG #esoteric :Idonno if it is *shrugs* < 1327068536 711055 :kmc!~keegan@c-98-216-51-47.hsd1.ma.comcast.net PRIVMSG #esoteric :but you're still unwinding those original stack frames and executing destructors < 1327068542 225639 :kmc!~keegan@c-98-216-51-47.hsd1.ma.comcast.net PRIVMSG #esoteric :even if you're not freeing the memory < 1327068547 434932 :kmc!~keegan@c-98-216-51-47.hsd1.ma.comcast.net PRIVMSG #esoteric :and so I think it's still problematic < 1327068563 429488 :Gregor!codu@codu.org PRIVMSG #esoteric :Ohyeah :) < 1327068583 888198 :kmc!~keegan@c-98-216-51-47.hsd1.ma.comcast.net PRIVMSG #esoteric :hmm, but a temporary can outlive the auto variables of the activation where it was created, right? < 1327068617 736009 :Gregor!codu@codu.org PRIVMSG #esoteric :"Can" in what sense? Technically or spectically? < 1327068626 332448 :kmc!~keegan@c-98-216-51-47.hsd1.ma.comcast.net PRIVMSG #esoteric :that the spec allows it < 1327068642 992872 :Gregor!codu@codu.org PRIVMSG #esoteric :I don't think so. But C++ ain't my bag. < 1327069655 293976 :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 . < 1327069804 7949 :ais523!~ais523@unaffiliated/ais523 JOIN :#esoteric < 1327069837 968086 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :hmm, the theoretical computer scientists here were trying to figure out how to persuade a grant applications board that their theoretical computer science would help the UK in particular < 1327070184 558432 :oklopol!~oklopol@dyn58-57.yok.fi PRIVMSG #esoteric :so i think from a zero entropy SFT, ultimate sets of CA can be RE^RE^RE-complete < 1327070195 636200 :oklopol!~oklopol@dyn58-57.yok.fi PRIVMSG #esoteric :what do *you* think? < 1327070205 305966 :oklopol!~oklopol@dyn58-57.yok.fi PRIVMSG #esoteric :i think this result will help finland. < 1327070326 425996 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :but will it help finland /more/ than it helps other countries? < 1327070383 11891 :oklopol!~oklopol@dyn58-57.yok.fi PRIVMSG #esoteric :hmm < 1327070403 587521 :oklopol!~oklopol@dyn58-57.yok.fi PRIVMSG #esoteric :i don't know which turing degrees each country prefers < 1327070490 356451 :oklopol!~oklopol@dyn58-57.yok.fi PRIVMSG #esoteric :today, i was trying to decide whether ultimate sets can be RE-hard or co-RE-hard, and turned out both. so i figured wow, do they capture RE^RE. and then i was like MIND FUCKING BLOWN when i realized we can't even prove they *are* in RE^RE. < 1327070535 808843 :oklopol!~oklopol@dyn58-57.yok.fi PRIVMSG #esoteric :the funny part is they are in some sense just as natural as limit sets (which obviously capture co-RE) < 1327070559 260852 :oklopol!~oklopol@dyn58-57.yok.fi PRIVMSG #esoteric :you just take the f-orbit closure of each point and take their union (where f is the CA) < 1327070571 845087 :oklopol!~oklopol@dyn58-57.yok.fi PRIVMSG #esoteric :the limit set is the set of points with an infinite preimage chain < 1327070619 38206 :kmc!~keegan@c-98-216-51-47.hsd1.ma.comcast.net PRIVMSG #esoteric :is their research useful for breaking nazi codes < 1327070639 223786 :oklopol!~oklopol@dyn58-57.yok.fi PRIVMSG #esoteric :RE^RE^RE-complete sets can break quite a few codes at least < 1327070646 227209 :kmc!~keegan@c-98-216-51-47.hsd1.ma.comcast.net PRIVMSG #esoteric :it's true < 1327070652 923454 :kmc!~keegan@c-98-216-51-47.hsd1.ma.comcast.net PRIVMSG #esoteric :i heard you like oracles < 1327070657 775468 :oklopol!~oklopol@dyn58-57.yok.fi PRIVMSG #esoteric ::D < 1327070680 280864 :oklopol!~oklopol@dyn58-57.yok.fi PRIVMSG #esoteric :fuck you, now we have to name our article "so i heard u like oracles..." < 1327070702 744531 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :*liek < 1327070706 670390 :kmc!~keegan@c-98-216-51-47.hsd1.ma.comcast.net PRIVMSG #esoteric :get xzibit as a co-author < 1327070709 817796 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :also, IIRC *herd, but I'm less sure on that one < 1327070710 924543 :oklopol!~oklopol@dyn58-57.yok.fi PRIVMSG #esoteric ::DD < 1327070733 769071 :oklopol!~oklopol@dyn58-57.yok.fi PRIVMSG #esoteric :that would be fucking awesome < 1327070771 419583 :kmc!~keegan@c-98-216-51-47.hsd1.ma.comcast.net PRIVMSG #esoteric :there's some crossover between "i herd u liek mudkips" and "we heard you like cars so we put a car in yo’ car so you can drive while you drive" < 1327070779 367520 :kmc!~keegan@c-98-216-51-47.hsd1.ma.comcast.net PRIVMSG #esoteric :they're having meme-babies < 1327070810 334271 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :kmc: indeed, I noticed that a while ago < 1327070831 664191 :oklopol!~oklopol@dyn58-57.yok.fi PRIVMSG #esoteric :i wonder if we'd have to pay xzibit to be allowed to use his name < 1327070852 586348 :oklopol!~oklopol@dyn58-57.yok.fi PRIVMSG #esoteric :his real name obviously, i doubt it's that < 1327070865 783769 :oklopol!~oklopol@dyn58-57.yok.fi PRIVMSG #esoteric :well i guess you can just change your name whenever you like in the us < 1327070900 412131 :kmc!~keegan@c-98-216-51-47.hsd1.ma.comcast.net PRIVMSG #esoteric :(that's RE^(RE^RE) right? i guess (RE^RE)^RE = RE^RE) < 1327070935 190082 :oklopol!~oklopol@dyn58-57.yok.fi PRIVMSG #esoteric :yes < 1327070967 542324 :oklopol!~oklopol@dyn58-57.yok.fi PRIVMSG #esoteric :^ is usually right-associative because of reasons < 1327071124 808281 :MSleep!~fyrc@or-67-238-19-212.dhcp.embarqhsd.net NICK :MDude < 1327071184 509784 :oklopol!~oklopol@dyn58-57.yok.fi PRIVMSG #esoteric :how do i contact xzibit, seriously this has to happen < 1327071420 847776 :oerjan!oerjan@sprocket.nvg.ntnu.no JOIN :#esoteric < 1327071501 619480 :oerjan!oerjan@sprocket.nvg.ntnu.no TOPIC #esoteric :now open for Americans to liberate | Get your esoil and esoline here! | Bow to the glorious optators! | Weapons of mass banning suspected | http://codu.org/logs/_esoteric/ < 1327071531 47314 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :wat < 1327071545 379905 :oerjan!oerjan@sprocket.nvg.ntnu.no TOPIC #esoteric :#esoteric now open for Americans to liberate | Get your esoil and esoline here! | Bow to the glorious optators! | Weapons of mass banning suspected | http://codu.org/logs/_esoteric/ < 1327071580 977657 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :it appears /topic removes the #esoteric as a channel argument < 1327071717 362813 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric : And global warming. <-- and pirates. or is that redundant? < 1327071925 856461 :oerjan!oerjan@sprocket.nvg.ntnu.no TOPIC #esoteric :#esoteric now open for Americans to liberate | Get your esoil and esoline here! | Bow to the glorious optators! | "Proof" of weapons of mass banning | Spotted marsh elliott suspected extinct from channel | http://codu.org/logs/_esoteric/ < 1327071990 184441 :oklopol!~oklopol@dyn58-57.yok.fi PRIVMSG #esoteric :elliott is gone? :o < 1327072003 792053 :Sgeo!~sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :He's active in #haskell < 1327072015 995325 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i haven't seen him since he ragepatted < 1327072040 705153 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :(here, that is.) < 1327072068 54312 :oklopol!~oklopol@dyn58-57.yok.fi PRIVMSG #esoteric :what is ragepatting < 1327072089 930766 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :like rageparting, but more hands-on, i think < 1327072253 871333 :oklopol!~oklopol@dyn58-57.yok.fi PRIVMSG #esoteric :why did he ragepat? < 1327072304 870806 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :mainly because i quieted him after spamming < 1327072316 417134 :oklopol!~oklopol@dyn58-57.yok.fi PRIVMSG #esoteric :how much did he spam < 1327072330 667294 :oklopol!~oklopol@dyn58-57.yok.fi PRIVMSG #esoteric :o < 1327072331 17189 :oklopol!~oklopol@dyn58-57.yok.fi PRIVMSG #esoteric :o < 1327072331 194543 :oklopol!~oklopol@dyn58-57.yok.fi PRIVMSG #esoteric :o < 1327072331 371133 :oklopol!~oklopol@dyn58-57.yok.fi PRIVMSG #esoteric :o < 1327072331 560078 :oklopol!~oklopol@dyn58-57.yok.fi PRIVMSG #esoteric :o < 1327072331 722942 :oklopol!~oklopol@dyn58-57.yok.fi PRIVMSG #esoteric :o < 1327072331 885380 :oklopol!~oklopol@dyn58-57.yok.fi PRIVMSG #esoteric :o < 1327072332 779596 :oklopol!~oklopol@dyn58-57.yok.fi PRIVMSG #esoteric :o < 1327072332 941463 :oklopol!~oklopol@dyn58-57.yok.fi PRIVMSG #esoteric :oo < 1327072333 659367 :oklopol!~oklopol@dyn58-57.yok.fi PRIVMSG #esoteric :o < 1327072333 821148 :oklopol!~oklopol@dyn58-57.yok.fi PRIVMSG #esoteric :o < 1327072334 717530 :oklopol!~oklopol@dyn58-57.yok.fi PRIVMSG #esoteric :o < 1327072340 619656 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :a couple screenfuls? < 1327072340 781265 :oklopol!~oklopol@dyn58-57.yok.fi PRIVMSG #esoteric :okokokokokokokokokokokokokokokokokokokokoko < 1327072344 736196 :oklopol!~oklopol@dyn58-57.yok.fi PRIVMSG #esoteric ::P < 1327072357 392336 :oklopol!~oklopol@dyn58-57.yok.fi PRIVMSG #esoteric :was the channel active < 1327072376 110992 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :not that much < 1327072443 178377 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :ok he also went ballistic with another nick after being quieted < 1327072450 816622 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :which ais523 kicked < 1327072530 622430 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :and i was reading backscroll so not responding promptly... < 1327072596 798627 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :and saying something ironic in privmsg about eventually unquieting him if i found he had behaved when i finished reading the backscroll (which he hadn't, and which i knew) < 1327072618 755924 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :and then finally i took 2 minutes longer to unquiet him than he had patience for. < 1327072644 263635 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :*sarcastic < 1327072676 969545 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :so now he has probably written us all off as evil oppressive dictators. < 1327072924 627557 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric : fizzie: I exited T1 and walked past you downstairs <-- i am sorry but esolangers are only permitted to live in the same town if they never meet in person. hth. < 1327072962 873560 :Deewiant!~deewiant@cs27125254.pp.htv.fi PRIVMSG #esoteric :We don't live in the same town, AIUI. < 1327072995 852057 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :details. < 1327073009 231927 :Deewiant!~deewiant@cs27125254.pp.htv.fi PRIVMSG #esoteric :And he doesn't know what I look like so it's all good. < 1327073016 239080 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :aha < 1327073048 400684 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i guess that's acceptable. < 1327073179 440668 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :Deewiant: but you do know what /he/ looks like? < 1327073186 148429 :Deewiant!~deewiant@cs27125254.pp.htv.fi PRIVMSG #esoteric :Yep < 1327073206 692782 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :ACTION knows what ais523 looks like. In theory. < 1327073223 607370 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :if you ever happen to meet me, say hi < 1327073268 247678 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :assuming i remember what you look like. i _said_ it was in theory. < 1327073326 485065 :Sgeo!~sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :I know what Gregor looks like, but that's it < 1327073377 208756 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :ardent channel regulars may know what i looked like 15 years ago or so. < 1327073779 706969 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I think I saw a photo of oklopol once, not sure though < 1327073788 851083 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :(I still look much like the photo of me that most of #esoteric saw) < 1327073801 767384 :Sgeo!~sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :ACTION doesn't remember that photo < 1327074041 617733 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric : also, IIRC *herd, but I'm less sure on that one <-- how does one herd mudkips, anyway. < 1327074078 111426 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :oerjan: drawing circles around them very quickly < 1327074081 551269 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :ACTION is a Pokémon expert < 1327074099 659350 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :amazingly, this is apparently canon by now < 1327074101 154703 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :not sure though < 1327074320 567392 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :http://www.haskell.org/wikiupload/2/23/Monad-tutorials-chart.png <-- hm i think we've found the burst bubble which was the _real_ cause of the financial crisis. < 1327074347 669348 :kmc!~keegan@c-98-216-51-47.hsd1.ma.comcast.net PRIVMSG #esoteric :i don't see a burst bubble < 1327074350 551032 :kmc!~keegan@c-98-216-51-47.hsd1.ma.comcast.net PRIVMSG #esoteric :it's still trending up < 1327074352 38018 :kmc!~keegan@c-98-216-51-47.hsd1.ma.comcast.net PRIVMSG #esoteric :buy buy buy < 1327074388 5319 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :kmc: tutorials don't usually stop existing, you know. < 1327074401 167996 :kmc!~keegan@c-98-216-51-47.hsd1.ma.comcast.net PRIVMSG #esoteric :ah, so you're saying we should consider the derivative < 1327074407 692580 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :yeah < 1327074499 600523 :monqy!~swell@pool-71-102-226-192.snloca.dsl-w.verizon.net PRIVMSG #esoteric :in an ideal world: exponential rate of monad tutorial growth < 1327074521 447654 :monqy!~swell@pool-71-102-226-192.snloca.dsl-w.verizon.net PRIVMSG #esoteric :in an ideal world: monad tutorials can reproduce < 1327074535 731361 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :monqy: insufficiently singularitarian, we need an asymptote! < 1327074554 196961 :monqy!~swell@pool-71-102-226-192.snloca.dsl-w.verizon.net PRIVMSG #esoteric :monad tutorials for everyone, and then some < 1327074585 118675 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :clearly it's just a matter of first inventing the AI monad, then that AI monad transformer, then applying the latter to the former. < 1327074590 531332 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :*the < 1327074736 41917 :Sgeo!~sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :Why do I listen to The Onion radio stuff? < 1327074748 289950 :Sgeo!~sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :I like the Onion, except for that, which is usually garbage < 1327074897 683281 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i think an article about Sgeo saying the onion radio is crap would be about average onion fare, no? < 1327075391 579617 :augur!~augur@c-75-74-129-116.hsd1.fl.comcast.net QUIT :Remote host closed the connection < 1327075699 959642 :Ngevd!~Taneb@host-84-13-74-200.opaltelecom.net JOIN :#esoteric < 1327075725 993988 :Klisz!~Klisz@c-67-161-147-186.hsd1.co.comcast.net JOIN :#esoteric < 1327075969 489800 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com JOIN :#esoteric < 1327076076 575114 :Ngevd!~Taneb@host-84-13-74-200.opaltelecom.net QUIT :Read error: Connection reset by peer < 1327076980 756505 :sebbu2!~sebbu@unaffiliated/sebbu NICK :sebbu < 1327077483 157018 :FishNot!~Fishbot@97-117-147-57.phnx.qwest.net JOIN :#esoteric < 1327077808 131340 :Gregor!codu@codu.org TOPIC #esoteric :#esoteric now open for Americans to liberate | Get your esoil and esoline here! | Bow to the glorious optators! | "Proof" of weapons of mass banning | Spotted marsh elliott suspected extinct from channel | Natives beware of Gregor: Do not let his name deceive, he is as American as apple pie isn't | http://codu.org/logs/_esoteric/ < 1327078089 390414 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :shocking < 1327078258 79591 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :hm, something is fishy < 1327078304 287634 :Gregor!codu@codu.org PRIVMSG #esoteric :ACTION hides the trout. < 1327078311 841309 :Ngevd!~Taneb@host-84-13-74-200.opaltelecom.net JOIN :#esoteric < 1327078340 698534 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :nah, the trout is a red herring < 1327078404 927256 :Gregor!codu@codu.org PRIVMSG #esoteric :FishNot, WantNot. < 1327078619 908204 :Ngevd!~Taneb@host-84-13-74-200.opaltelecom.net QUIT :Ping timeout: 245 seconds < 1327078916 33306 :Ngevd!~Taneb@host-84-13-74-200.opaltelecom.net JOIN :#esoteric < 1327079299 968655 :Taneb!~Taneb@host-84-13-74-200.opaltelecom.net JOIN :#esoteric < 1327079319 896781 :Ngevd!~Taneb@host-84-13-74-200.opaltelecom.net QUIT :Ping timeout: 245 seconds < 1327079540 205970 :Taneb!~Taneb@host-84-13-74-200.opaltelecom.net QUIT :Read error: Connection reset by peer < 1327079621 665651 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 JOIN :#esoteric < 1327079695 356577 :Gregor!codu@codu.org PRIVMSG #esoteric :Y'know what I love and think is the greatest technological achievement of our era? < 1327079696 807254 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :oerjan: Regarding your tl;dr description of the drrrrama, you could've just admitted you were being on a POWER TRIP, I think that was the description of the whole thing that I got from the final /quit message. < 1327079701 582834 :Gregor!codu@codu.org PRIVMSG #esoteric :SSH (<-- ais523 looky) < 1327079711 905780 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :heh < 1327079863 583309 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :15:17:56: so now he has probably written us all off as evil oppressive dictators. < 1327079885 791499 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :You *did* refuse outright to ban Mathnerd when he was spamming even more heavily. < 1327079901 445283 :oerjan!oerjan@sprocket.nvg.ntnu.no TOPIC #esoteric :#esoteric now open for Americans to liberate | Get your esoil and esoline here! | Glorious optator in hospital after tripping over power line | "Proof" of weapons of mass banning | Spotted marsh elliott suspected extinct from channel | Natives beware of Gregor: Do not let his name deceive, he is as American as apple pie isn't | http://codu.org/logs/_esoteric/ < 1327079963 166919 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :Phantom_Hoover: that was also compounded by backscrolling, which is precisely why i tried _not_ waiting until i'd read everything before acting the last time. < 1327079986 318985 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :oerjan, even when you were /asked/ to do something about it? < 1327080005 966239 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :Do you really need to read through backscroll to see that the channel is being spammed? < 1327080029 209595 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :Phantom_Hoover: um reading backscroll means i don't see what's _new_ < 1327080038 39784 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :... < 1327080063 353085 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com PRIVMSG #esoteric :Have you ever tried the Internet Quiz Engine? < 1327080067 60217 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :irssi only tells me there is more in the window, not how much. < 1327080069 401124 :Gregor!codu@codu.org PRIVMSG #esoteric :Hm, so I'm guessing by context that there was some spammy incident, oerjan didn't ban, and elliott left in a huff? < 1327080110 490470 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :Gregor: um no, there was some spammy incident, i didn't ban, elliott complained, then weeks later _elliott_ spammed, i banned, and elliott left in a huff. < 1327080119 672367 :Gregor!codu@codu.org PRIVMSG #esoteric :Mmmmmmmmmmm < 1327080124 246571 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :s/banned/quieted/ < 1327080127 965802 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :No; Mathnerd spammed the channel a while back, and oerjan refused to ban him. elliott spammed the channel, then after he'd stopped oerjan +qed him and elliott flipped his lid. < 1327080144 214968 :Gregor!codu@codu.org PRIVMSG #esoteric :Oh, people who take things seriously. < 1327080145 294812 :Gregor!codu@codu.org PRIVMSG #esoteric :So adorable. < 1327080149 872329 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i didn't know he had stopped when +q'ing him. < 1327080204 699329 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :and then he went ballistic before i reached the end of backscroll and could make a proper decision. < 1327080358 463189 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i wish irssi had a way to split a channel window like vim does :( < 1327080399 55098 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :at least i couldn't find one last i checked < 1327080459 909029 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :(by which i mean two subwindows with different views of the same channel) < 1327080663 731322 :FishNot!~Fishbot@97-117-147-57.phnx.qwest.net PRIVMSG #esoteric :Hm, who is using my nick? < 1327080711 407695 :FishNot!~Fishbot@97-117-147-57.phnx.qwest.net PRIVMSG #esoteric :>.> Fishbot imposter < 1327080807 489744 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :eek, the bot speaks! < 1327080845 350883 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :fungot: Speak! < 1327080846 211091 :fungot!~fungot@a91-152-37-146.elisa-laajakaista.fi PRIVMSG #esoteric :fizzie: mr president, the pensioners' party and all pensioners, including italian pensioners, to whom we have a situation which completely changes the last 50 years, we have a problem with bringing forward the national contributions. in addition, we have not progressed towards real, practical proposals which promote global co-operation instead of commercial competition, especially to the rapporteur, mr koch, for his report. < 1327080902 740630 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :italian pensioners overturning europe, check < 1327081163 146369 :_Slereah!~butt@ANantes-259-1-231-27.w83-195.abo.wanadoo.fr JOIN :#esoteric < 1327081174 689097 :Slereah!~butt@ANantes-259-1-213-97.w83-195.abo.wanadoo.fr QUIT :Ping timeout: 240 seconds < 1327081332 144248 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :oerjan: Anyhoo: "/window new split" + "/lastlog -window #esoteric" almost gives you split two views of a channel. Only the old window is actually showing the channel, but the lastlog'd version does sort-of work for scrollback browsing. < 1327081363 3481 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :(/lastlog always outputs to the active window.) < 1327081452 830920 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i'd switch that around if i used it, i think < 1327081541 542425 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :...i guess i could just use the logs. < 1327083358 185690 :oklopol!~oklopol@dyn58-57.yok.fi PRIVMSG #esoteric :did you know that ice is made of water? < 1327083492 730420 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i heard rumors. < 1327084202 155954 :Vorpal!~AnMaster@unaffiliated/anmaster JOIN :#esoteric < 1327084257 662582 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Ice XV, the best sort of ice. (The different forms of ice are weird.) < 1327085037 455964 :oerjan!oerjan@sprocket.nvg.ntnu.no QUIT :Quit: leaving < 1327085433 5773 :ais523!~ais523@unaffiliated/ais523 QUIT :Remote host closed the connection < 1327086187 105463 :kmc!~keegan@c-98-216-51-47.hsd1.ma.comcast.net QUIT :Quit: Leaving < 1327087973 173391 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :why are macros called macros? < 1327088072 325759 :Deewiant!~deewiant@cs27125254.pp.htv.fi PRIVMSG #esoteric :Short for macroinstruction, which is essentially "an instruction that does many things". < 1327088095 986838 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Aw. :/ My invented etymology was that you get a big ("macro") thing (the expansion) out of a small thing (the invocation). < 1327088102 571535 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :macroinstruction literally means "big instruction" < 1327088112 770788 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :yes < 1327088151 184134 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :I fully support the campaign for renaming all macros "biggies". < 1327088154 70025 :Deewiant!~deewiant@cs27125254.pp.htv.fi PRIVMSG #esoteric :The "big" can mean "big in effect" or something like that, which is why I preferred "does many things". < 1327088166 43462 :Deewiant!~deewiant@cs27125254.pp.htv.fi PRIVMSG #esoteric :It's not big in itself, IMO. < 1327088171 745620 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :"So what's this C++ template?" "Oh, it's no biggie." < 1327088250 894124 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com PRIVMSG #esoteric :http://esolangs.org/wiki/User_talk:User450 This is the only contribution by this user. < 1327088336 84043 :Ngevd!~Taneb@host-84-13-74-200.opaltelecom.net JOIN :#esoteric < 1327088362 308999 :Ngevd!~Taneb@host-84-13-74-200.opaltelecom.net PRIVMSG #esoteric :Hello! < 1327088402 734232 :kmc!~keegan@184-198-119-18.pools.spcsdns.net JOIN :#esoteric < 1327088428 543330 :kmc!~keegan@184-198-119-18.pools.spcsdns.net QUIT :Read error: Connection reset by peer < 1327088428 705005 :Ngevd!~Taneb@host-84-13-74-200.opaltelecom.net PRIVMSG #esoteric :I've written te start of an Underload interpreter in Haskell < 1327088505 83536 :kmc!keegan@terpsichore.ugcs.caltech.edu JOIN :#esoteric < 1327088709 739512 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :^ul ((15a)(14s)(1k)(2e)(12l)(11l)(10 )(3H)(9a)(8s)(7k)(5e)(4l)(13l)(6 )(0H))(~^:()SSa~a~*~a~*~a~*~a~*~a~*~a~*~a~*~a~*~a~*~a~*~a~*~a~*~a~*~a~*~a*~:^):^ < 1327088710 27191 :fungot!~fungot@a91-152-37-146.elisa-laajakaista.fi PRIVMSG #esoteric :0H15a14s1k2e12l11l10 3H9a8s7k5e4l13l6 0H15a14s1k2e12l11l10 3H9a8s7k5e4l13l6 0H15a14s1k2e12l11l10 3H9a8s7k5e4l13l6 0H15a14s1k2e12l11l10 3H9a8s7k5e4l13l6 0H15a14s1k2e12l11l10 3H9a8s7k5e4l13l6 0H15a14s1k2e12l11l10 3H9a8s7k5e4l13l6 ...too much output! < 1327088719 253920 :Gregor!codu@codu.org PRIVMSG #esoteric :MUSHROOM MUSHROOM < 1327088744 763539 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :YESSSSSSSS < 1327088762 200362 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :fizzie :D < 1327088780 513015 :kmc!keegan@terpsichore.ugcs.caltech.edu QUIT :Remote host closed the connection < 1327088806 475514 :kmc!keegan@terpsichore.ugcs.caltech.edu JOIN :#esoteric < 1327088893 926198 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Actually I sorta screwed up in that two colors were wasted for spaces. I will do it once more, with feeling. Sorry for the rainbowness to all non-color-filtery folks. < 1327088896 899415 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :^ul ((15a)(14s)(1k)(2e)(12l)(11l)(10!)(0 )(3H)(9a)(8s)(7k)(5e)(4l)(13l)(6?)(0 )(0H))(~^:()SSa~a~*~a~*~a~*~a~*~a~*~a~*~a~*~a~*~a~*~a~*~a~*~a~*~a~*~a~*~a~*~a~*~a*~:^):^ < 1327088897 380264 :fungot!~fungot@a91-152-37-146.elisa-laajakaista.fi PRIVMSG #esoteric :0H15a14s1k2e12l11l10!0 3H9a8s7k5e4l13l6?0 0H15a14s1k2e12l11l10!0 3H9a8s7k5e4l13l6?0 0H15a14s1k2e12l11l10!0 3H9a8s7k5e4l13l6?0 0H15a14s1k2e12l11l10!0 3H9a8s7k5e4l13l6?0 0H15a14s1k2e12l11l10!0 3H9a8s7k5e4l13l6?0 0H15a14s1k2e12l11 ...too much output! < 1327088941 173754 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :(Now it utilimazes all 16 collurs.) < 1327089044 78590 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com PRIVMSG #esoteric :Why are movies only shown in 3D today? I tried to purchase non-3D ticket but they didn't have one. < 1327089045 613215 :olsner!~salparot@c83-252-161-133.bredband.comhem.se PRIVMSG #esoteric :good utilimazation < 1327089070 598756 :Ngevd!~Taneb@host-84-13-74-200.opaltelecom.net PRIVMSG #esoteric :zzo38, because your cinema is FUTURISTIC < 1327089084 902309 :Ngevd!~Taneb@host-84-13-74-200.opaltelecom.net PRIVMSG #esoteric :Even Hexham's cinema has 3D now < 1327089106 808825 :olsner!~salparot@c83-252-161-133.bredband.comhem.se PRIVMSG #esoteric :so what happened to elliott? < 1327089117 582760 :Ngevd!~Taneb@host-84-13-74-200.opaltelecom.net PRIVMSG #esoteric :I think he's banned from this channel < 1327089135 557538 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :The rumours are going wild! < 1327089143 934370 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :(No, he's not.) < 1327089146 790790 :Ngevd!~Taneb@host-84-13-74-200.opaltelecom.net PRIVMSG #esoteric :Okay < 1327089148 825010 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com PRIVMSG #esoteric :If elliott is banned then you should make then unbanned < 1327089157 677850 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :lol < 1327089174 208519 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :he just ragequit. < 1327089189 43964 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Anyway, it was discussed (again) today, you do not need to look very far back. < 1327089217 55328 :kmc!keegan@terpsichore.ugcs.caltech.edu QUIT :Quit: Leaving < 1327089239 358016 :Sgeo!~sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :He's very much talking in #haskell < 1327089243 307457 :Sgeo!~sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :I wonder if I should ask < 1327089252 489291 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :Sgeo: ask what? < 1327089260 240620 :Sgeo!~sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :Why he hasn't come back < 1327089274 304024 :Ngevd!~Taneb@host-84-13-74-200.opaltelecom.net PRIVMSG #esoteric :I'm scared of #haskell < 1327089278 977890 :Ngevd!~Taneb@host-84-13-74-200.opaltelecom.net PRIVMSG #esoteric :It's big and scary < 1327089283 72629 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :should be pretty clear why he hasn't come back, I would think. < 1327089306 475647 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :It's in the topic and all; we're all bunch of power-mad optators. < 1327089311 909673 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :i missed all the drama < 1327089320 534225 :Gregor!codu@codu.org PART #esoteric :"Leaving" < 1327089324 581818 :Gregor!codu@codu.org JOIN :#esoteric < 1327089329 900360 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :i am glad to have done < 1327089335 351476 :Gregor!codu@codu.org PRIVMSG #esoteric :Reminder: Ctrl+W is leave channel, ctrl+Q is quit. < 1327089352 283657 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :See, now Gregor has ragepa.. oh, never mind. < 1327089408 340740 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :ACTION was resent during the drama. there wasn't very much of it, at least on channel. < 1327089418 352718 :Ngevd!~Taneb@host-84-13-74-200.opaltelecom.net PRIVMSG #esoteric :I AM RESENT!!! < 1327089422 291801 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :lol < 1327089430 773386 :Sgeo!~sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :Hmm < 1327089440 858594 :Sgeo!~sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :Should I bother updating elliott when there's an update? < 1327089447 712003 :Vorpal!~AnMaster@unaffiliated/anmaster PRIVMSG #esoteric :Phantom_Hoover, there? < 1327089460 814476 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :Sgeo: these are questions you must ask yourself. deep soul-searching questions that define who you are. < 1327089491 626706 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Sgeo: Why not, maybe the updated versions will get new features or something? < 1327089844 369961 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :helo < 1327089890 568180 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :gretins < 1327089894 597344 :Ngevd!~Taneb@host-84-13-74-200.opaltelecom.net PRIVMSG #esoteric :ih < 1327089896 466015 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric : Should I bother updating elliott when there's an update? < 1327089901 429340 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :Yes. < 1327089904 598064 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric : Why he hasn't come back < 1327089906 402718 :Vorpal!~AnMaster@unaffiliated/anmaster PRIVMSG #esoteric :Phantom_Hoover, I know you are a big fan of space games, and I found what looks like a quite interesting one. < 1327089919 917951 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :He hates everyone. < 1327089924 448581 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :Vorpal, oh dear. < 1327089954 173493 :Vorpal!~AnMaster@unaffiliated/anmaster PRIVMSG #esoteric :I'm both interested in if you heard about it (and have opinions on it), because it looks quite fun from watching some videos. And if not it might be of interest to you. < 1327089958 276269 :Ngevd!~Taneb@host-84-13-74-200.opaltelecom.net QUIT :Quit: brb < 1327089972 955601 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :What is it? < 1327089974 767903 :Vorpal!~AnMaster@unaffiliated/anmaster PRIVMSG #esoteric :Phantom_Hoover, called Evochron Mercenary. Saw it on the front page of steam. < 1327089985 324827 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :Oh no does it cost MONEYS < 1327089990 60020 :Vorpal!~AnMaster@unaffiliated/anmaster PRIVMSG #esoteric :well yes < 1327089996 316632 :Vorpal!~AnMaster@unaffiliated/anmaster PRIVMSG #esoteric :Phantom_Hoover, quite a bit in fact < 1327090000 149368 :Vorpal!~AnMaster@unaffiliated/anmaster PRIVMSG #esoteric :looks like a free-form open world space simulator. < 1327090000 413156 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :space is supposed to be freeeeeeeeeee < 1327090010 697667 :Vorpal!~AnMaster@unaffiliated/anmaster PRIVMSG #esoteric :with trading and battles and what not < 1327090028 55470 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :Also I got Skyrim like 4 days ago so other games are kind of pushed aside. < 1327090061 664895 :Vorpal!~AnMaster@unaffiliated/anmaster PRIVMSG #esoteric :oh and apparently there are no enforced jump gates or such, you can fly from the surface of one planet in one solar system to the surface of another in another solar system if you have the time and fuel to do so < 1327090076 679126 :Vorpal!~AnMaster@unaffiliated/anmaster PRIVMSG #esoteric :(though it does seem to have both jump drives and jump gate thingies) < 1327090085 740167 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :Phantom_Hoover: let me know when you realize how unexciting the actual gameplay is. also when you discover a game-breaking bug. < 1327090118 703699 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :(by game-breaking I mean your save file, not the entire game. :P ) < 1327090123 672527 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :kallisti, d'aaaaaaw. < 1327090132 322309 :Vorpal!~AnMaster@unaffiliated/anmaster PRIVMSG #esoteric :Phantom_Hoover, anyway it looks kind of cool. I'm currently trying to find reviews of it. It seems to be indie. But it looks very complex and also graphically quite advanced < 1327090151 326248 :Vorpal!~AnMaster@unaffiliated/anmaster PRIVMSG #esoteric :Anyway I guess you got your new computer working then Phantom_Hoover? < 1327090154 168162 :Vorpal!~AnMaster@unaffiliated/anmaster PRIVMSG #esoteric :what was the issue? < 1327090166 380761 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :The issue was the graphics card not working. < 1327090172 146662 :Vorpal!~AnMaster@unaffiliated/anmaster PRIVMSG #esoteric :yes but why? < 1327090177 441606 :Vorpal!~AnMaster@unaffiliated/anmaster PRIVMSG #esoteric :fabrication issue? < 1327090180 645513 :Vorpal!~AnMaster@unaffiliated/anmaster PRIVMSG #esoteric :handling issue? < 1327090210 977814 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :We Just Don't Know(TM). < 1327090218 253821 :Vorpal!~AnMaster@unaffiliated/anmaster PRIVMSG #esoteric :hm okay < 1327090247 358483 :Vorpal!~AnMaster@unaffiliated/anmaster PRIVMSG #esoteric :the game cost 18.39€ btw < 1327090254 795396 :Vorpal!~AnMaster@unaffiliated/anmaster PRIVMSG #esoteric :quite a bit outside my current budget < 1327090280 829277 :kmc!keegan@minthe.ugcs.caltech.edu JOIN :#esoteric < 1327090292 686308 :Vorpal!~AnMaster@unaffiliated/anmaster PRIVMSG #esoteric :anyway it has good a reasonable metacritic score (not that that means much) < 1327090322 387899 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :Phantom_Hoover: isn't that the expression people make when something is really cute or adorable? < 1327090334 269548 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :kallisti, indeed. < 1327090344 922414 :Vorpal!~AnMaster@unaffiliated/anmaster PRIVMSG #esoteric :also it seem to have a shipyard system comparable to the character creation in skyrim XD < 1327090392 338369 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :Phantom_Hoover: then I don't understand that reaction. :P < 1327090402 763427 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :kallisti, I know. d'aaaaaaaaw. < 1327090432 927081 :Ngevd!~Taneb@host-84-13-74-200.opaltelecom.net JOIN :#esoteric < 1327090437 485014 :Ngevd!~Taneb@host-84-13-74-200.opaltelecom.net PRIVMSG #esoteric :Hello! < 1327090472 882642 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :Hello. < 1327090518 824133 :kmc!keegan@minthe.ugcs.caltech.edu QUIT :Client Quit < 1327090686 82071 :Ngevd!~Taneb@host-84-13-74-200.opaltelecom.net PRIVMSG #esoteric :There are a few small bugs in my code < 1327090876 583460 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :Oi, Ngevd, are matrices a further maths thing < 1327090894 325701 :Ngevd!~Taneb@host-84-13-74-200.opaltelecom.net PRIVMSG #esoteric :Yes < 1327090900 953637 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :what < 1327090905 654741 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :further than what < 1327090912 46216 :Ngevd!~Taneb@host-84-13-74-200.opaltelecom.net PRIVMSG #esoteric :Normal maths < 1327090915 794278 :Ngevd!~Taneb@host-84-13-74-200.opaltelecom.net PRIVMSG #esoteric :Of course < 1327090922 143347 :kmc!~keegan@18.111.9.184 JOIN :#esoteric < 1327090923 704035 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :i consider linear algebra normal maths < 1327090939 125643 :Ngevd!~Taneb@host-84-13-74-200.opaltelecom.net PRIVMSG #esoteric :There's also Even Further maths and Too Far You've Passed It maths < 1327090948 523957 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :normal maths is everything up to calc 3 < 1327090956 88777 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :after that you're specializing :) < 1327091527 838988 :Ngevd!~Taneb@host-84-13-74-200.opaltelecom.net QUIT :Read error: Connection reset by peer < 1327091543 40481 :Ngevd!~Taneb@host-84-13-74-200.opaltelecom.net JOIN :#esoteric < 1327091827 231693 :Vorpal!~AnMaster@unaffiliated/anmaster PRIVMSG #esoteric :Phantom_Hoover, ooh you can build new stations and such, and AI ships and so on will begin use them. < 1327091832 48269 :Vorpal!~AnMaster@unaffiliated/anmaster PRIVMSG #esoteric :that seems pretty cool < 1327091909 105537 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :quintopia, linear algebra linear algebra or matrices but a bit harder linear algebra? < 1327091985 744437 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :Phantom_Hoover: say that again but differently < 1327092020 620778 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :quintopia, do you write, at any point, a double-struck K? < 1327092063 659584 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :uh < 1327092064 544882 :Ngevd!~Taneb@host-84-13-74-200.opaltelecom.net QUIT :Ping timeout: 248 seconds < 1327092073 888150 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :no? < 1327092121 682856 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :Then it's matrices but a bit harder linear algebra, qed < 1327092193 994655 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :what is a double-struck k for? < 1327092206 526981 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :Any field. < 1327092533 142826 :Vorpal!~AnMaster@unaffiliated/anmaster PRIVMSG #esoteric :Phantom_Hoover, btw it seems there is a free demo of that game, available from the official website, though not available through steam heh < 1327092546 397158 :Vorpal!~AnMaster@unaffiliated/anmaster PRIVMSG #esoteric :might try it out tomorrow :) < 1327092739 910980 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :oh i did that stuff in abstract algebra :) < 1327092797 641573 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :But if you were just doing linear algebra with C or R... < 1327093005 849644 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :we differentiate between abstract algebra and linear algebra < 1327093013 950785 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :linear algebra doesnt leave C < 1327093027 148076 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :abstract algebra is not normal math...its a specialization < 1327093038 510488 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :... < 1327093066 435762 :Vorpal!~AnMaster@unaffiliated/anmaster PRIVMSG #esoteric :quintopia, which country is that? < 1327093090 146393 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :at least georgia, probably most of the u.s. < 1327093114 348013 :Vorpal!~AnMaster@unaffiliated/anmaster PRIVMSG #esoteric :ah < 1327093131 754725 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :an easy way to distinguish is that in normal math you do problems and projects for hw, and in the rest of math, hw is all proofs. < 1327093184 646748 :Vorpal!~AnMaster@unaffiliated/anmaster PRIVMSG #esoteric :Phantom_Hoover, btw several reviews of this game compares it to Elite. And I know you played oolite a lot so... < 1327093200 602657 :Vorpal!~AnMaster@unaffiliated/anmaster PRIVMSG #esoteric :might be worth looking at, I'm definitely going to look at the demo at least < 1327093220 807923 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :Vorpal, did you get hired by a marketing agency or something? < 1327093274 972757 :Vorpal!~AnMaster@unaffiliated/anmaster PRIVMSG #esoteric :Phantom_Hoover, no, but I'm really amazed by this game, I love space trade & combat simulators, and that this franchise just passed me by saddens me. < 1327093607 55232 :Ngevd!~Taneb@host-84-13-74-200.opaltelecom.net JOIN :#esoteric < 1327093612 333829 :Ngevd!~Taneb@host-84-13-74-200.opaltelecom.net PRIVMSG #esoteric :Hello < 1327093624 61899 :Ngevd!~Taneb@host-84-13-74-200.opaltelecom.net PRIVMSG #esoteric :@ping < 1327093624 238810 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :pong < 1327093664 755130 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :Ngevd: hey < 1327093679 584741 :Ngevd!~Taneb@host-84-13-74-200.opaltelecom.net PRIVMSG #esoteric :Well, my Underload interpreter is nearing completion < 1327093688 140706 :FishNot!~Fishbot@97-117-147-57.phnx.qwest.net PRIVMSG #esoteric :Underload? < 1327093693 669727 :FishNot!~Fishbot@97-117-147-57.phnx.qwest.net PRIVMSG #esoteric :ACTION esolangs it < 1327093730 314639 :Ngevd!~Taneb@host-84-13-74-200.opaltelecom.net PRIVMSG #esoteric :Also, my family computer has a virus on it < 1327093746 428770 :Ngevd!~Taneb@host-84-13-74-200.opaltelecom.net PRIVMSG #esoteric :And my internet is ridiculously slow, except for IRC? < 1327093776 830138 :FishNot!~Fishbot@97-117-147-57.phnx.qwest.net PRIVMSG #esoteric :IRC doesn't take a lot of bandwidth. Your internet might just be slow < 1327093794 578262 :FishNot!~Fishbot@97-117-147-57.phnx.qwest.net PRIVMSG #esoteric :I've run IRC on 1kb/s without a problem. < 1327093830 330789 :Ngevd!~Taneb@host-84-13-74-200.opaltelecom.net PRIVMSG #esoteric :http://hpaste.org/56751 < 1327094190 591113 :Ngevd!~Taneb@host-84-13-74-200.opaltelecom.net PRIVMSG #esoteric :Ooh, just thought of something < 1327094299 481999 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :so uh.... < 1327094302 618280 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :if I'm writing an instance < 1327094308 922678 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :where I've defined some typeclass constraints < 1327094325 86495 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :are those variables visible in the scope of type annotations within the methods....? < 1327094351 706825 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :I'm guessing no. < 1327094410 877081 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :oh nevermind GHC already has a bounded instance for (Bounded a, Bounded b) => Bounded (a,b) < 1327094420 338307 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :(but no Enum instance interestingly, I had to write that one myself) < 1327094437 88019 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Ngevd: What's the W and F stand for? < 1327094442 657693 :Ngevd!~Taneb@host-84-13-74-200.opaltelecom.net PRIVMSG #esoteric :Wrap and Flip < 1327094448 547322 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Ah. < 1327094503 815467 :Ngevd!~Taneb@host-84-13-74-200.opaltelecom.net PRIVMSG #esoteric :Also, I've changed the run and run' functions to make them more usable and less stupid < 1327094864 157049 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :(Bounded a, Bounded b, Bounded c, Bounded d, Bounded e, Bounded f, Bounded g, Bounded h, Bounded i, Bounded j, Bounded k, Bounded l, Bounded m, Bounded n, Bounded o) => Bounded (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o) -- my god it's full of Bounded. < 1327094910 200908 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :instance (Enum a, Enum b, Bounded a) => Enum (a,b) where < 1327094915 557528 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :imagine this one, at that size of tuple. < 1327095004 76767 :Ngevd!~Taneb@host-84-13-74-200.opaltelecom.net PRIVMSG #esoteric :http://en.wikipedia.org/wiki/Pairing_function < 1327095015 522722 :Ngevd!~Taneb@host-84-13-74-200.opaltelecom.net PRIVMSG #esoteric :Although that makes it less obvious < 1327095060 195388 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Oh, you didn't go for plain (Enum a, Enum b) => Enum (a,b). < 1327095194 571265 :FishNot!~Fishbot@97-117-147-57.phnx.qwest.net QUIT :Ping timeout: 252 seconds < 1327095387 213035 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :fizzie: I'm not really sure how I would do that. < 1327095399 810940 :Ngevd!~Taneb@host-84-13-74-200.opaltelecom.net PRIVMSG #esoteric : http://en.wikipedia.org/wiki/Pairing_function < 1327095435 81837 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :> 1 + (2 * 28) < 1327095436 118512 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : 57 < 1327095451 317380 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :as it turns out, this is much less than 255. < 1327095454 967319 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :*256 < 1327095476 204525 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :ACTION decided to take the loop info off of the board and instead just use a set or something < 1327095485 75372 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :a list of sets actually. < 1327095495 922768 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :^chr 57 < 1327095496 84521 :fungot!~fungot@a91-152-37-146.elisa-laajakaista.fi PRIVMSG #esoteric :9 < 1327095514 507353 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Yay, it did have that. < 1327095521 544943 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :(Wasn't sure.) < 1327095532 101851 :Ngevd!~Taneb@host-84-13-74-200.opaltelecom.net PRIVMSG #esoteric :^chr 100 < 1327095532 263688 :fungot!~fungot@a91-152-37-146.elisa-laajakaista.fi PRIVMSG #esoteric :d < 1327095555 706115 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :> 256 + 65 < 1327095556 739826 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : 321 < 1327095564 66676 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :^chr 321 < 1327095564 228540 :fungot!~fungot@a91-152-37-146.elisa-laajakaista.fi PRIVMSG #esoteric :A < 1327095574 895799 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Now with wraparound. < 1327095578 228975 :Ngevd!~Taneb@host-84-13-74-200.opaltelecom.net PRIVMSG #esoteric :^ord t < 1327095578 391038 :fungot!~fungot@a91-152-37-146.elisa-laajakaista.fi PRIVMSG #esoteric :116 < 1327095586 119836 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :(Well, and before, too.) < 1327095593 723935 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :^show chr < 1327095593 885837 :fungot!~fungot@a91-152-37-146.elisa-laajakaista.fi PRIVMSG #esoteric :,[>[->+10<]>[-<+>]<2-48[>+<-],]>. < 1327095599 911995 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :^show ord < 1327095600 73816 :fungot!~fungot@a91-152-37-146.elisa-laajakaista.fi PRIVMSG #esoteric :>>,[[-<+2>[-<+>[-<+>[-<+>[-<+>[-<+>[-<+>[-<+>[-<+>[<[-]+>->+<[<-]]]]]]]]]]>]<2[>+6[<+8>-]<-.[-]<]+32.[-]>>,] < 1327095621 4391 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Much ado about decimals. < 1327095723 986334 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :^chr 10@ < 1327095724 185073 :fungot!~fungot@a91-152-37-146.elisa-laajakaista.fi PRIVMSG #esoteric :t < 1327095740 712822 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Doesn't also much care about digits, exactly. < 1327096335 598964 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com PRIVMSG #esoteric :If they wanted to change the Easter calculation (although there is really no need to do so), I have suggestion as follows: Use the Vatican's timezone to determine the date when the Sun's tropical ecliptic longitude is zero (a.k.a. Aries). Find the nearest full moon (Moon opposite Sun) afterward, again using Vatican's timezone. And then find the next Sunday. < 1327096432 806410 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :so, you came up with a method for calculating a day that no one really cares when it happens that no one is going to ever use and you know this? why? < 1327096448 339607 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com PRIVMSG #esoteric :(Alternatively, use the closest aspect according to when the full moon is visible from the Vatican; because it won't be visible during the day time) < 1327096481 169036 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com PRIVMSG #esoteric :quintopia: There are some people who wanted it adjusted in various ways, and the Roman Catholic Easter is different from Orthodox Easter even now. < 1327096493 262181 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :why the vatican? noncatholics practice easter too... < 1327096505 49413 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :oh < 1327096505 277704 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com PRIVMSG #esoteric :So, even now, the Orthodox Easter is different. Is that a problem? < 1327096512 661213 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :nope < 1327096518 982964 :Ngevd!~Taneb@host-84-13-74-200.opaltelecom.net PRIVMSG #esoteric :I would suggest Jerusalem rather than Rome < 1327096525 367748 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :you're only suggesting a time for the catholics to have easter < 1327096533 288077 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :makes sense < 1327096565 156444 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com PRIVMSG #esoteric :quintopia: It is the Vatican's job to set the date of Easter. That is why. And even if it isn't only Catholics. < 1327096586 392359 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com PRIVMSG #esoteric :(If it is not agreed by the Catholics, then Jerusalem might be usable instead of Rome) < 1327096592 750608 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :its their job only because they say it is < 1327096865 119482 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Stupid W|A doesn't even understand "Vatican papal density". (As far as countries go, they've got a quite high one.) < 1327096913 350041 :pikhq!~pikhq@71-219-197-45.clsp.qwest.net PRIVMSG #esoteric :Another factor in it is that Orthodox churches generally use the Julian calendar for holidy dates, not the Gregorian. < 1327096953 105979 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :`addquote Stupid W|A doesn't even understand "Vatican papal density". (As far as countries go, they've got a quite high one.) < 1327096958 956768 :pikhq!~pikhq@71-219-197-45.clsp.qwest.net PRIVMSG #esoteric :Which effects the calculation subtly. < 1327096964 817428 :HackEgo!codu@codu.org PRIVMSG #esoteric :805) Stupid W|A doesn't even understand "Vatican papal density". (As far as countries go, they've got a quite high one.) < 1327097163 290943 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com PRIVMSG #esoteric :pikhq: Yes, I know that too. < 1327097194 953444 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 QUIT :Ping timeout: 240 seconds < 1327097239 981691 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com PRIVMSG #esoteric :fizzie: There are a lot of things that Wolfram|Alpha doesn't understand. I suggest we make up a new similar program based on Haskell. Which can still connect to internet when required but can also use local data. < 1327097249 299407 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com PRIVMSG #esoteric :And free-software/open-source. < 1327097327 928533 :Ngevd!~Taneb@host-84-13-74-200.opaltelecom.net PRIVMSG #esoteric :We should call it Askell < 1327097344 921116 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com PRIVMSG #esoteric :OK < 1327097431 61631 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :haha < 1327097449 541806 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :i think we should have such a system based on the watson algorithms < 1327097523 825149 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com PRIVMSG #esoteric :Whatever it is, you can have it entered using Haskell codes in GHCi as well as using ordinary English text, or any combination of the two < 1327098077 289186 :Patashu!Patashu@c122-106-155-219.carlnfd1.nsw.optusnet.com.au JOIN :#esoteric < 1327098139 956701 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 JOIN :#esoteric < 1327098490 560132 :Ngevd!~Taneb@host-84-13-74-200.opaltelecom.net PRIVMSG #esoteric :So, thoughts on my Underload interpreter? < 1327099280 121966 :augur_!~augur@208.58.5.87 JOIN :#esoteric < 1327099375 954262 :Ngevd!~Taneb@host-84-13-74-200.opaltelecom.net PRIVMSG #esoteric :Oh god I just managed to reference Lightning Made of Owls < 1327099515 941658 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :oh, hmmm, I just found the core of my portal chess implementation. < 1327099530 568293 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :it's, the code that provides a list of all the possible moves for a given piece. < 1327099536 910963 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :pretty much handles all the logic. < 1327099540 24774 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :except capturing. < 1327099542 935473 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :which is handled by... < 1327099552 304578 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :the code that provides a list of all the possible captures for a given piece. :P < 1327100175 247545 :Sgeo!~sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :elliott is turning #haskell into a place for esolang discussion. < 1327100224 174604 :Ngevd!~Taneb@host-84-13-74-200.opaltelecom.net PRIVMSG #esoteric :Oh no < 1327100241 378414 :Ngevd!~Taneb@host-84-13-74-200.opaltelecom.net PRIVMSG #esoteric :Is #haskell logged? < 1327100253 325768 :Sgeo!~sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :Yes < 1327100260 613024 :Ngevd!~Taneb@host-84-13-74-200.opaltelecom.net PRIVMSG #esoteric :Where? < 1327100271 766197 :Sgeo!~sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :http://bit.ly/5mwtRQ < 1327100284 101251 :Sgeo!~sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :More conveniently, http://tunes.org/~nef/logs/haskell/?C=M;O=D < 1327100377 487918 :Vorpal!~AnMaster@unaffiliated/anmaster QUIT :Read error: Operation timed out < 1327100403 63382 :Ngevd!~Taneb@host-84-13-74-200.opaltelecom.net PRIVMSG #esoteric :What time zones are the logs in? < 1327100424 749886 :Ngevd!~Taneb@host-84-13-74-200.opaltelecom.net PRIVMSG #esoteric :Hang on7 < 1327100432 657026 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :The Tunes ones? < 1327100434 471382 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :Tunes time. < 1327100444 560118 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :It corresponds to no known timezone of any channel regular. < 1327100464 834917 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com PRIVMSG #esoteric :I think they are Pacific timezone because it is the same as my timezone < 1327100498 881229 :Ngevd!~Taneb@host-84-13-74-200.opaltelecom.net PRIVMSG #esoteric :They appear to be 7 hours and 49 minutes behind GMT? < 1327100527 336688 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :See what I mean? < 1327100605 501603 :Ngevd!~Taneb@host-84-13-74-200.opaltelecom.net PRIVMSG #esoteric :Personally, I think something like cascade :: (a -> a) -> Int -> a -> a should be in prelude < 1327100613 945861 :Ngevd!~Taneb@host-84-13-74-200.opaltelecom.net PRIVMSG #esoteric :cascade _ 0 a = id < 1327100627 141509 :Ngevd!~Taneb@host-84-13-74-200.opaltelecom.net PRIVMSG #esoteric :cascade f n a = cascade f (n-1) (f a) < 1327100633 694675 :Ngevd!~Taneb@host-84-13-74-200.opaltelecom.net PRIVMSG #esoteric :s/id/a/ < 1327100634 28626 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :That's churchify, isn't it? < 1327100636 328907 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :Yes, it is. < 1327100652 447369 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :You mean cascade f n = f^n? < 1327100671 796879 :Ngevd!~Taneb@host-84-13-74-200.opaltelecom.net PRIVMSG #esoteric :Prossibly? < 1327100727 180457 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :@hoogle (a->a)->Int->a->a < 1327100727 873667 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :Data.Sequence iterateN :: Int -> (a -> a) -> a -> Seq a < 1327100728 36072 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :Data.Sequence adjust :: (a -> a) -> Int -> Seq a -> Seq a < 1327100728 36292 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :Data.IntMap adjust :: (a -> a) -> Key -> IntMap a -> IntMap a < 1327100747 339176 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :I guess it's just not all that useful? < 1327100770 529256 :Ngevd!~Taneb@host-84-13-74-200.opaltelecom.net PRIVMSG #esoteric :I use it surprisingly frequently < 1327100796 720043 :Ngevd!~Taneb@host-84-13-74-200.opaltelecom.net PRIVMSG #esoteric ::t \f n a -> iterate f a !! n < 1327100797 412208 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :forall a. (a -> a) -> Int -> a -> a < 1327100814 825038 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric ::t iterate < 1327100815 872311 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :forall a. (a -> a) -> a -> [a] < 1327100843 107952 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :> iterate (++"a") "" < 1327100844 771028 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : ["","a","aa","aaa","aaaa","aaaaa","aaaaaa","aaaaaaa","aaaaaaaa","aaaaaaaaa"... < 1327100848 958623 :monqy!~swell@pool-71-102-226-192.snloca.dsl-w.verizon.net PRIVMSG #esoteric :a < 1327100879 713881 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :http://www.reddit.com/r/math/comments/opb83/programming_for_mathematicians/ < 1327100889 131956 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :/r/math's top suggestion: Javascript. < 1327100904 436155 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :writing the move set is less tedious than I thought: http://hpaste.org/56754 < 1327100916 505520 :Ngevd!~Taneb@host-84-13-74-200.opaltelecom.net PRIVMSG #esoteric :@ask elliott How goes Rosyarrow? < 1327100916 676315 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :Consider it noted. < 1327100951 189840 :monqy!~swell@pool-71-102-226-192.snloca.dsl-w.verizon.net PRIVMSG #esoteric ::t \ f n -> foldr (.) id (replicate n f) < 1327100952 76455 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :forall b. (b -> b) -> Int -> b -> b < 1327100988 564542 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :Ngevd, you know he's online, right? < 1327100991 959600 :Ngevd!~Taneb@host-84-13-74-200.opaltelecom.net PRIVMSG #esoteric :Yes < 1327100992 121369 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :Ngevd: You have 1 new message. '/msg lambdabot @messages' to read it. < 1327100998 825947 :Ngevd!~Taneb@host-84-13-74-200.opaltelecom.net PRIVMSG #esoteric :I'm just scared of #haskell < 1327101003 806632 :Ngevd!~Taneb@host-84-13-74-200.opaltelecom.net PRIVMSG #esoteric :And don't like /msg < 1327101007 333468 :Ngevd!~Taneb@host-84-13-74-200.opaltelecom.net PRIVMSG #esoteric :@messages < 1327101007 495178 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :elliott said 50s ago: Guess! < 1327101017 599734 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :You... don't... like... /msg... < 1327101017 761039 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Useful! < 1327101058 708968 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :PRIVMSG allergy is a real disease! (Shush about the real nature of channel messages.) < 1327101066 791624 :Ngevd!~Taneb@host-84-13-74-200.opaltelecom.net PRIVMSG #esoteric :@tell elliott ...being invaded by hoards of goblins, out of coal, and burning in lava? < 1327101066 953382 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :Consider it noted. < 1327101085 582282 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :Ngevd, hey, at least the third problem obviates the second. < 1327101113 812286 :monqy!~swell@pool-71-102-226-192.snloca.dsl-w.verizon.net PRIVMSG #esoteric :NOTICE "the only way" < 1327101121 875087 :Ngevd!~Taneb@host-84-13-74-200.opaltelecom.net PRIVMSG #esoteric :So... < 1327101122 37031 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :Ngevd: You have 2 new messages. '/msg lambdabot @messages' to read them. < 1327101123 375366 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :What's this now, #esoteric-dorkfortress suddenly? < 1327101127 249670 :Ngevd!~Taneb@host-84-13-74-200.opaltelecom.net PRIVMSG #esoteric :@messages < 1327101127 411394 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :elliott said 34s ago: Exactly the same as it was the last time you asked. < 1327101127 573112 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :elliott said 22s ago: Also, you used @tell when you meant @ask; die. < 1327101166 278600 :monqy!~swell@pool-71-102-226-192.snloca.dsl-w.verizon.net PRIVMSG #esoteric :it's like elliott is right here with us < 1327101169 71139 :Ngevd!~Taneb@host-84-13-74-200.opaltelecom.net PRIVMSG #esoteric :@tell elliott I thought they were synonymous! < 1327101169 233130 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :Consider it noted. < 1327101194 170014 :hanzifey9!~hanzifey9@177.49.60.142 JOIN :#esoteric < 1327101200 599036 :Ngevd!~Taneb@host-84-13-74-200.opaltelecom.net PRIVMSG #esoteric :@messages < 1327101200 760800 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :You don't have any new messages. < 1327101222 167270 :Ngevd!~Taneb@host-84-13-74-200.opaltelecom.net PRIVMSG #esoteric :Aww < 1327101222 329048 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :Ngevd: You have 1 new message. '/msg lambdabot @messages' to read it. < 1327101228 672043 :Ngevd!~Taneb@host-84-13-74-200.opaltelecom.net PRIVMSG #esoteric :@messages < 1327101228 874069 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :elliott said 27s ago: One produces "Ngevd said", the other produces "Ngevd asked". You are a bad person. < 1327101258 17289 :parabellum!~alo@unaffiliated/parabellum JOIN :#esoteric < 1327101268 657921 :Ngevd!~Taneb@host-84-13-74-200.opaltelecom.net PRIVMSG #esoteric :@tell elliott also, why are you not in #esoteric? < 1327101268 819901 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :Consider it noted. < 1327101280 627562 :monqy!~swell@pool-71-102-226-192.snloca.dsl-w.verizon.net PRIVMSG #esoteric :what if he is in #esoteric < 1327101281 836268 :monqy!~swell@pool-71-102-226-192.snloca.dsl-w.verizon.net PRIVMSG #esoteric :secretly < 1327101286 924288 :Ngevd!~Taneb@host-84-13-74-200.opaltelecom.net PRIVMSG #esoteric :So, I've got to keep talking so I know when there is a response < 1327101294 791962 :monqy!~swell@pool-71-102-226-192.snloca.dsl-w.verizon.net PRIVMSG #esoteric :alternatively: he's in our hearts < 1327101298 822107 :monqy!~swell@pool-71-102-226-192.snloca.dsl-w.verizon.net PRIVMSG #esoteric :and our hearts are in #esoteric < 1327101299 163399 :monqy!~swell@pool-71-102-226-192.snloca.dsl-w.verizon.net PRIVMSG #esoteric :so < 1327101311 629267 :FishNot!~Fishbot@149-169-129-81.nat.asu.edu JOIN :#esoteric < 1327101317 335724 :Ngevd!~Taneb@host-84-13-74-200.opaltelecom.net PRIVMSG #esoteric :He called me a bad person. He is not in my heart. < 1327101350 823019 :Ngevd!~Taneb@host-84-13-74-200.opaltelecom.net PRIVMSG #esoteric :And I suspect he may be not talking to me for using @tell again < 1327101351 4011 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :Ngevd: You have 1 new message. '/msg lambdabot @messages' to read it. < 1327101354 204490 :Ngevd!~Taneb@host-84-13-74-200.opaltelecom.net PRIVMSG #esoteric :@messages < 1327101354 366336 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :elliott asked 29s ago: Why are you not in #haskell? < 1327101367 674034 :Ngevd!~Taneb@host-84-13-74-200.opaltelecom.net PRIVMSG #esoteric :@ask elliott because it is big and scary and big. < 1327101367 835510 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :Consider it noted. < 1327101377 947683 :Ngevd!~Taneb@host-84-13-74-200.opaltelecom.net PRIVMSG #esoteric :Okay, he is talking to me < 1327101379 882653 :Ngevd!~Taneb@host-84-13-74-200.opaltelecom.net PRIVMSG #esoteric :Ish < 1327101383 928249 :Ngevd!~Taneb@host-84-13-74-200.opaltelecom.net PRIVMSG #esoteric :By proxy < 1327101396 808705 :Ngevd!~Taneb@host-84-13-74-200.opaltelecom.net PRIVMSG #esoteric :Hmm < 1327101422 759476 :Sgeo!~sgeo@ool-ad034d00.dyn.optonline.net QUIT :Read error: Connection reset by peer < 1327101431 756209 :Ngevd!~Taneb@host-84-13-74-200.opaltelecom.net PRIVMSG #esoteric :Favourite esolang, everybody < 1327101431 917944 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :Ngevd: You have 1 new message. '/msg lambdabot @messages' to read it. < 1327101434 215362 :Ngevd!~Taneb@host-84-13-74-200.opaltelecom.net PRIVMSG #esoteric :@message < 1327101434 377366 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :Maybe you meant: messages messages? < 1327101440 162452 :Ngevd!~Taneb@host-84-13-74-200.opaltelecom.net PRIVMSG #esoteric :@messages < 1327101440 324201 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :elliott said 38s ago: That's not a question. < 1327101468 319002 :Ngevd!~Taneb@host-84-13-74-200.opaltelecom.net PRIVMSG #esoteric :@tell elliott How is it not a question? < 1327101468 480791 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :Consider it noted. < 1327101501 122068 :Ngevd!~Taneb@host-84-13-74-200.opaltelecom.net PRIVMSG #esoteric :My favourite esolang is Piet, because it was the first esolang I was really interested in. < 1327101506 228331 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :> 1 + 2 * (8*2+8*8*8+4) < 1327101507 280281 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : 1065 < 1327101509 957457 :Ngevd!~Taneb@host-84-13-74-200.opaltelecom.net PRIVMSG #esoteric :Also, the pictures are pretty < 1327101511 131924 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :damn < 1327101556 13124 :Sgeo!~sgeo@ool-ad034d00.dyn.optonline.net JOIN :#esoteric < 1327101558 299900 :monqy!~swell@pool-71-102-226-192.snloca.dsl-w.verizon.net PRIVMSG #esoteric :whats esolang < 1327101610 714056 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :monqy: describe to me the list of words that you have an objective definition for. < 1327101620 109374 :monqy!~swell@pool-71-102-226-192.snloca.dsl-w.verizon.net PRIVMSG #esoteric :help < 1327101679 945235 :Ngevd!~Taneb@host-84-13-74-200.opaltelecom.net PRIVMSG #esoteric : whats esolang <-- Why... it is man's endevour to become God! < 1327101680 107358 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :Ngevd: You have 1 new message. '/msg lambdabot @messages' to read it. < 1327101683 113146 :Ngevd!~Taneb@host-84-13-74-200.opaltelecom.net PRIVMSG #esoteric :@messages < 1327101683 274783 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :elliott said 1m 24s ago: Because it ended with a "." and didn't ask me anything and yet you sent it with @ask anyway, probably because you hate kittens. < 1327101721 261072 :Ngevd!~Taneb@host-84-13-74-200.opaltelecom.net PRIVMSG #esoteric :@ask elliott Kittens are mean and scary and I got scratched by a kitten when I was 3. < 1327101721 461164 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :Consider it noted. < 1327101731 487565 :Ngevd!~Taneb@host-84-13-74-200.opaltelecom.net PRIVMSG #esoteric :True story < 1327101778 898326 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com PRIVMSG #esoteric :Yes that is possible to be scratched by a kitten, or bitten by a dog, or shot by a human. < 1327101790 716747 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :Ngevd, DIE YOU BASTARD < 1327101811 703917 :Ngevd!~Taneb@host-84-13-74-200.opaltelecom.net PRIVMSG #esoteric :Phantom_Hoover, you already want me dead for at least 2 reasons < 1327101820 199890 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :I forget the second. < 1327101827 861110 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :should I: a) change the board so that it's easier to do portal logic without relying on a seperate game state structure b) maintain a single byte representation for each possible square state (as opposed to a 2 byte representation) < 1327101843 957973 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :I think I'm going to go with a < 1327101849 400167 :Ngevd!~Taneb@host-84-13-74-200.opaltelecom.net PRIVMSG #esoteric :My desire to play Portal Chess, and expressions of its awesomeness < 1327101871 788714 :Ngevd!~Taneb@host-84-13-74-200.opaltelecom.net PRIVMSG #esoteric :kallisti, a. That's thinking with portals < 1327101876 62199 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :If you need someone to /tell/ you that chess variants should have as little hidden state as possible... < 1327101897 240302 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :what makes state "hidden" in an implementation < 1327101916 409770 :Ngevd!~Taneb@host-84-13-74-200.opaltelecom.net PRIVMSG #esoteric :I don't know of any hidden states in Portal Chess < 1327101965 724975 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com PRIVMSG #esoteric :Even in FIDE chess, there is castling. Which cannot always be known just by viewing the board if castling is permitted or not. < 1327101985 663264 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :ha! portal chess doesn't even have that. therefore less hidden state than FIDE chess. < 1327101995 671868 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :provided you have like... < 1327101999 121175 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :some string < 1327102003 568480 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 QUIT :Quit: Leaving < 1327102026 513166 :Ngevd!~Taneb@host-84-13-74-200.opaltelecom.net PRIVMSG #esoteric :kallisti, define queen movement etc and I'll give you a game of Portal Chess tomorrow < 1327102041 452275 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :....but I'm currently working on it. < 1327102051 351676 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :DUPLICATION OF EFFORT IS NO GOOD < 1327102066 91472 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :instead you should work on a graphical client, uh, with the network protocol I haven't designed yet. < 1327102081 854280 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :or a CLI client if you prefer. < 1327102087 45032 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :I want one of those too. < 1327102126 714757 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :zzo38: other hidden state: whose turn it is!!! < 1327102153 15579 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :man chess is the worst chess variant. < 1327102224 62368 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com PRIVMSG #esoteric :kallisti: Whose turn it is, as well as en passant, is only requiring recent information. But it is still true, you don't know just by looking at the board. < 1327102292 807743 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :Ngevd: but currently the lens (aka the queen piece) moves like a queen, and has a direction, but I haven't decided on any specific capture rules besides its lensy behavior < 1327102304 736057 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :which is the same as my original prism concept, except directed. < 1327102316 486012 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :you should be able to tell if en passant is allowed just by looking at the board... < 1327102327 308534 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :the turn too < 1327102341 311977 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :nah < 1327102343 720590 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :white should always be the current turn. each turn you should switch out every black piece with every white piece < 1327102354 50950 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :lol < 1327102393 312525 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :that works well on a computer where people are looking at two different screens, but it would just confuse people irl < 1327102425 870538 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :> 8^3 < 1327102426 899683 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : 512 < 1327102434 290696 :MDude!~fyrc@or-67-238-19-212.dhcp.embarqhsd.net PRIVMSG #esoteric :White always moves first, so you could tell by looking if it wans't possible to enter the same state via multiple means. < 1327102484 527569 :MDude!~fyrc@or-67-238-19-212.dhcp.embarqhsd.net PRIVMSG #esoteric :Maybe have the last peice moved be upside down. < 1327102527 749394 :Ngevd!~Taneb@host-84-13-74-200.opaltelecom.net PRIVMSG #esoteric :But unless it's a rook or a Knight, it'd fall over! < 1327102527 911036 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :Ngevd: You have 1 new message. '/msg lambdabot @messages' to read it. < 1327102530 894902 :Ngevd!~Taneb@host-84-13-74-200.opaltelecom.net PRIVMSG #esoteric :@messages < 1327102531 56422 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :elliott said 7m 27s ago: I told you you were a bad person. < 1327102629 706051 :hanzifey9!~hanzifey9@177.49.60.142 QUIT :Remote host closed the connection < 1327102637 672064 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :MDude: it is possible though. hence the rule where looping moves become stalemates? < 1327102676 419859 :Ngevd!~Taneb@host-84-13-74-200.opaltelecom.net PRIVMSG #esoteric :@tell elliott I will attempt to reform myself. Also I will sleep. Goodnight. < 1327102676 581726 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :Consider it noted. < 1327102678 883246 :Ngevd!~Taneb@host-84-13-74-200.opaltelecom.net PRIVMSG #esoteric :Goodnight < 1327102680 301478 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :> (8*2+8*8*8+4) < 1327102681 346284 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : 532 < 1327102684 865411 :Ngevd!~Taneb@host-84-13-74-200.opaltelecom.net QUIT :Quit: Goodbye < 1327102699 933829 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com PRIVMSG #esoteric :Another rule used in some variants, any player causing a repeated position loses < 1327102701 494221 :MDude!~fyrc@or-67-238-19-212.dhcp.embarqhsd.net PRIVMSG #esoteric :I tihnk so, though I don't remember any particular loop. < 1327102702 199626 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :@tell elliott don't come back anytime; you've already run me dry! this is your payback...moneygrabber! < 1327102702 370707 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :Consider it noted. < 1327102751 836934 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com PRIVMSG #esoteric :Do we like Pokemon Card????? http://zzo38computer.cjb.net/img_14/pokemon_card_01.png < 1327102771 380394 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :zzo38: but it was once proven that there are repeated positions that lead to the person doing the repeating being able to force a win < 1327102790 336533 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :(yes those rules are common though) < 1327102810 182642 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com PRIVMSG #esoteric :quintopia: Still, it depends on the variant. In FIDE chess, repetition is a draw. < 1327102847 249859 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com PRIVMSG #esoteric :In games with random card/dice there needs no rule for repetition, just continue the game in case of repetition. < 1327102948 231711 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :it makes sense not to let someone ever start their turn with the same board they started with before, all things deterministic, but the same board position on a different playerms turn should be allowed. < 1327102955 267400 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com PRIVMSG #esoteric :Once in playing Pokemon Card, I was losing but realized I just needed to defend for eight turns and then I won. I managed to defend for seven turns, and then lost on the final turn. < 1327102974 966147 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :wow < 1327102975 907893 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com PRIVMSG #esoteric :quintopia: Yes, same board position on different player's turn should still be permitted. < 1327102976 687133 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :lucky < 1327103060 539033 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com PRIVMSG #esoteric :I usually win at Pokemon Card due to the opponent's PROFESSOR OAK card. They think they can win with that card but actually it is the quickest way to lose. < 1327103444 641580 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com PRIVMSG #esoteric :There are other situations, the opponent has a lot of evolved cards and a lot of things, but by guessing what card is in their hand, I could defend for twenty turns until they ran out of cards and won, even though they picked up five side cards already (with only one remaining) and I have not knocked out any of their pokemons. < 1327103464 762502 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :is it the card that lets you replace your hand? < 1327103466 323402 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com PRIVMSG #esoteric :Bluffing was an important aspect in this duel. < 1327103483 97918 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com PRIVMSG #esoteric :quintopia: PROFESSOR OAK card means "Discard your hand and then draw seven cards." < 1327103495 417703 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :yeah that was my thought < 1327103626 397726 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com PRIVMSG #esoteric :(This one with bluffing, I did manage to win. Not only by bluffing but by defending timing the cards correctly including GUST OF WIND and ENERGY REMOVAL (and of course to know what targets to select). Such is the disadvantage of evolution cards.) < 1327103729 318167 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com PRIVMSG #esoteric :Once I won a game of Pokemon Card only because I had an evolution card which I played for the sole purpose of increasing my own retreat cost. The card could attack, and had a retreat cost of zero so could also retreat; but I evolved it so that it could not attack (not even with energy in my hand) and increased its retreat cost to one. And that is how I won. < 1327103951 790103 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :> succ (maxBound :: Bool) < 1327103952 967713 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : *Exception: Prelude.Enum.Bool.succ: bad argument < 1327103954 732760 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :i dont know anything about pokemon card < 1327103955 513360 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com PRIVMSG #esoteric :I have also invented an "overmate" rule for Pokemon Card, and have occasionally attempted to win with overmate and even succeeded. < 1327103960 358809 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :ACTION wanders off < 1327103975 557533 :monqy!~swell@pool-71-102-226-192.snloca.dsl-w.verizon.net PRIVMSG #esoteric :> maxBound < 1327103976 593514 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : () < 1327103977 931265 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :is there anything that catches exceptions and returns a Maybe without wrapping IO?