< 1327104189 766650 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com PRIVMSG #esoteric :quintopia: O, you don't know? You probably won't know overmate even if you do know about Pokemon Card, because overmate is a rule I have invented. < 1327104289 793478 :Sgeo!~sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :wrapMaybeHalts :: a -> Maybe a < 1327104295 557996 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :@hoogle Bool -> a -> Maybe a < 1327104296 261004 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :Control.Exception.Base assert :: Bool -> a -> a < 1327104296 422757 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :Control.Exception assert :: Bool -> a -> a < 1327104296 422937 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :Control.OldException assert :: Bool -> a -> a < 1327104302 714164 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com PRIVMSG #esoteric :The theoretical maximum overmate is 8 (knock out 5 opponent's pokemons beyond your last side card, leave opponent with no cards in play, and both players have no cards in draw pile) < 1327104303 664057 :Sgeo!~sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :wrapMaybeHalts = -- todo: Solve the halting problem < 1327104315 878407 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :Sgeo: note that error catching has nothing to do with the halting problem. < 1327104324 907134 :parabellum!~alo@unaffiliated/parabellum PRIVMSG #esoteric :which environment you use for brainfuck? < 1327104344 96971 :Sgeo!~sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :Errors and infinite loops are semantically equivalent outside of IO < 1327104349 763509 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com PRIVMSG #esoteric :The highest overmate I have ever made, though, is four points. < 1327104358 293752 :FishNot!~Fishbot@149-169-129-81.nat.asu.edu QUIT :Ping timeout: 252 seconds < 1327104362 799594 :Sgeo!~sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :Maybe you could do something with unsafePerformIO? < 1327104367 598404 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :Sgeo: and therefore it's impossible to catch errors < 1327104368 510741 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :? < 1327104374 321016 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :zzo38: you have explained overmate before. it's in my logs and the channel logs < 1327104388 129395 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :Sgeo: no, no need. but it is something that should be possible I think. I don't know what it would break though. < 1327104388 462776 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :in any case, i am not interested in pokemon card < 1327104389 847724 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com PRIVMSG #esoteric :Sgeo: Yes. However, you can still use Either monad to make up a kind of way of functions that can have errors values < 1327104408 838946 :Sgeo!~sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :zzo38, I think kallisti intends to catch bottoms < 1327104412 573267 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :no < 1327104420 838348 :Sgeo!~sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :Some bottoms < 1327104423 280502 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :you are confusing /error handling/ with /bottom/ < 1327104424 51004 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :yes < 1327104435 8384 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com PRIVMSG #esoteric :What bottom? < 1327104449 647298 :Sgeo!~sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :The bottoms that are not infinite loops < 1327104455 257760 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :the kind that otherwise halts the runtime unless caught < 1327104492 933302 :Sgeo!~sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :I'd think it's impossible without IO. Semantically, a bottom is a bottom < 1327104505 531832 :Sgeo!~sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :You seem to want an f such that f _|_ = might be _|_ < 1327104517 190886 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :Sgeo: yes you would need to use unsafePerformIO < 1327104540 736467 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com PRIVMSG #esoteric :I don't like that way. You should use a macro instead. < 1327104549 111386 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :it's for things like < 1327104555 883275 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :> succ (maxBound :: Bool) < 1327104556 798197 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : *Exception: Prelude.Enum.Bool.succ: bad argument < 1327104563 586438 :roper!~rod@95.169.240.70 QUIT :Quit: Abandonando < 1327104564 377633 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :things that Prelude triggers runtime errors for < 1327104570 166345 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :but you want to be in a Maybe instead. < 1327104573 639436 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :or Either < 1327104587 643317 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com PRIVMSG #esoteric :You could just write new function that checks the error at first. < 1327104593 224106 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :yes that's what I'm doing. < 1327104601 281483 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com PRIVMSG #esoteric :And then works in the Kleisli categories for Either or Maybe monads < 1327104695 415365 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com PRIVMSG #esoteric :(Such as, the Kleisli category for Maybe monad would be the category of partial functions, and the Kleisli category for IO monad being the category of functions with side effects.) < 1327104842 192789 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com PRIVMSG #esoteric :Is that how you do Kleisli category? < 1327105177 67986 :Sgeo!~sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :kallisti, update < 1327105214 13854 :kmc!~keegan@18.111.9.184 QUIT :Quit: Leaving < 1327107560 679463 :Klisz!~Klisz@c-67-161-147-186.hsd1.co.comcast.net QUIT :Quit: SLEEP, GLORIOUS SLEEP < 1327108444 432100 :parabellum!~alo@unaffiliated/parabellum PART :#esoteric < 1327108658 491619 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com PRIVMSG #esoteric :I made a list of some differences and similarities from Icosahedral RPG to D&D 3.5e < 1327108689 262304 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com PRIVMSG #esoteric :gopher://zzo38computer.cjb.net/0phlog*c_dnd.icosahedral-rpg-i < 1327110645 793975 :Sgeo!~sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :kallisti, flash edited < 1327113361 871109 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com PRIVMSG #esoteric :Mostly using Linux at FreeGeek (they use Ubuntu there), I am using the command-line virtual console mode. But when I do use the Windows-like GUI, I sometimes get annoyed that various obscure features of Windows fail to work on the Ubuntu GUI (which is designed to be like Windows). < 1327113376 65460 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :*PortalChess> moveSet newBoard (R7, B) < 1327113376 501660 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :[(R6,B)] < 1327113376 663481 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :*PortalChess> moveSet newBoard (R2, B) < 1327113376 948898 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :[(R3,B)] < 1327113378 426074 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :awwwww yeah < 1327113403 354671 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :one piece down, six to go. < 1327113508 417078 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com PRIVMSG #esoteric :For example: * Double-clicking the control box will not close the window. * Dragging the scrollbar and then moving the mouse pointer away from the scrollbar before releasing the mouse button will not snap back. * At one time, double-clicking the title-bar did not maximize the window, although they fixed that, so it works now. < 1327113552 330427 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com PRIVMSG #esoteric :Do you know what ReactOS does in these cases? < 1327113762 554271 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com PRIVMSG #esoteric :It doesn't really matter if Ubuntu does differently, but ReactOS should do the same things as Windows < 1327114490 32195 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com QUIT :Remote host closed the connection < 1327114527 928706 :FishNot!~Fishbot@97-117-147-57.phnx.qwest.net JOIN :#esoteric < 1327114583 175881 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :holy monads batman. < 1327114665 969165 :Sgeo!~sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :Someone should totally write a game that breaks if the behavior of double-clicking the title is different < 1327115372 986379 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :@hoogle (a, b) -> (b, a) < 1327115373 297763 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :Data.Tuple swap :: (a, b) -> (b, a) < 1327115373 472941 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :Data.Graph.Inductive.Query.Monad (><) :: (a -> b) -> (c -> d) -> (a, c) -> (b, d) < 1327115373 634836 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :Data.Graph.Inductive.Query.Monad mapSnd :: (a -> b) -> (c, a) -> (c, b) < 1327118808 614629 :FishNot!~Fishbot@97-117-147-57.phnx.qwest.net PRIVMSG #esoteric :Whoo, monads < 1327118823 863189 :FishNot!~Fishbot@97-117-147-57.phnx.qwest.net PRIVMSG #esoteric :The ultimate in unnecessary abstractions. < 1327118871 898049 :FishNot!~Fishbot@97-117-147-57.phnx.qwest.net QUIT :Quit: A fishbot swims away < 1327120440 82872 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :linearMoves m cs ps = case step board m of < 1327120440 359242 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric : Just m'@(Move c' d') < 1327120440 520724 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric : | d /= d' -> < 1327120440 520896 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric : case step' m `member` ps of < 1327120440 521070 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric : True -> (cs, ps) < 1327120442 588077 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric : False -> linearMoves m' (c':cs) (insert m' ps) < 1327120445 93228 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric : | otherwise -> linearMoves m' (c':cs) ps < 1327120447 598172 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric : Nothing -> (cs, ps < 1327120450 136776 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :help. < 1327120813 668793 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :@hoogle unfoldr < 1327120813 984050 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :Data.List unfoldr :: (b -> Maybe (a, b)) -> b -> [a] < 1327120814 161751 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :Data.ByteString.Lazy.Char8 unfoldr :: (a -> Maybe (Char, a)) -> a -> ByteString < 1327120814 323535 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :Data.ByteString.Char8 unfoldr :: (a -> Maybe (Char, a)) -> a -> ByteString < 1327120834 140397 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :ah yes this is what I'm looking for < 1327120838 830793 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :er wait < 1327120842 250031 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :yes. < 1327120879 989180 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :@hoogle unfold < 1327120880 405948 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :Data.List unfoldr :: (b -> Maybe (a, b)) -> b -> [a] < 1327120880 567659 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :Data.Tree unfoldForest :: (b -> (a, [b])) -> [b] -> Forest a < 1327120880 567822 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :Data.Tree unfoldForestM :: Monad m => (b -> m (a, [b])) -> [b] -> m (Forest a) < 1327120893 858923 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :hmmm no list unfold I guess. < 1327120900 617707 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :er < 1327120902 168561 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :set unfold I mean < 1327121217 72354 :cheater!~cheater@dslb-084-057-001-153.pools.arcor-ip.net QUIT :Ping timeout: 248 seconds < 1327121372 151400 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :wow everything was relatively clean until I got here... :P < 1327121426 151087 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :I think it would be cleaner if I used State here. < 1327121577 990171 :itidus21!~itidus21@120.148.51.249 PRIVMSG #esoteric :if you have escaped the State then you can't sell out to it now < 1327121625 222833 :itidus21!~itidus21@120.148.51.249 PRIVMSG #esoteric :just kidding < 1327122247 613506 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :@src sequence < 1327122247 912389 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :sequence [] = return [] < 1327122248 74244 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :sequence (x:xs) = do v <- x; vs <- sequence xs; return (v:vs) < 1327122248 74412 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :-- OR: sequence = foldr (liftM2 (:)) (return []) < 1327122856 423081 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric ::t unions < 1327122857 443999 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :Not in scope: `unions' < 1327123282 889048 :cheater!~cheater@dslb-084-057-001-153.pools.arcor-ip.net JOIN :#esoteric < 1327124814 551522 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :@src liftM2 < 1327124814 979389 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :liftM2 f m1 m2 = do { x1 <- m1; x2 <- m2; return (f x1 x2) } < 1327124822 777963 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric ::t liftM2 < 1327124823 761249 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :forall a1 a2 r (m :: * -> *). (Monad m) => (a1 -> a2 -> r) -> m a1 -> m a2 -> m r < 1327125809 131582 :TeruFSX!~quassel@71-210-150-147.mpls.qwest.net QUIT :Read error: Connection reset by peer < 1327125849 514154 :TeruFSX!~quassel@71-210-150-147.mpls.qwest.net JOIN :#esoteric < 1327125870 101551 :MDude!~fyrc@or-67-238-19-212.dhcp.embarqhsd.net NICK :MSleep < 1327127169 746671 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :http://hpaste.org/56781 this must be what crazy people write on walls. < 1327127312 90825 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :I wonder what other ways I could do this. < 1327127320 168303 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :instead of defining what the entire moveset is. < 1327127531 948449 :itidus21!~itidus21@120.148.51.249 PRIVMSG #esoteric :i think that state is wysiwig < 1327127548 630452 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :lol < 1327127561 925429 :itidus21!~itidus21@120.148.51.249 PRIVMSG #esoteric :^wyg < 1327127571 501821 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :oh.. < 1327127613 664916 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :
ACTION can't figure out what abstraction I should be using to make this better.
< 1327127737 257388 :itidus21!~itidus21@120.148.51.249 PRIVMSG #esoteric :http://www.haskell.org/haskellwiki/Applications_and_libraries/Games < 1327127781 595640 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :no. < 1327127814 136686 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :I'm writing server code, not graphical stuff. < 1327127841 447406 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :and uh.... none of those are abstractions < 1327127842 815982 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :just games. < 1327127997 648287 :itidus21!~itidus21@120.148.51.249 PRIVMSG #esoteric :i am dearly attached to state < 1327128024 709916 :Sgeo!~sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :@unmtl State < 1327128024 959463 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :Plugin `unmtl' failed with: `State' is not applied to enough arguments, giving `/\A B. A -> (B, A)' < 1327128030 609229 :Sgeo!~sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :@unmtl State s < 1327128031 47629 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :Plugin `unmtl' failed with: `State s' is not applied to enough arguments, giving `/\A. s -> (A, s)' < 1327128033 259782 :Sgeo!~sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :@unmtl State s a < 1327128033 702106 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :s -> (a, s) < 1327128034 685469 :itidus21!~itidus21@120.148.51.249 PRIVMSG #esoteric :i also don't see that as a fault but merely as trying to solve a different problem < 1327128093 592600 :Sgeo!~sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :The notion of a thing that "changes state" and gives back a value is just a thing that takes in a current state, and returns a value, and a different state < 1327128251 911368 :itidus21!~itidus21@120.148.51.249 PRIVMSG #esoteric :a notion is a concept defined in the terms the definer best understands :> < 1327128295 344561 :Sgeo!~sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :Take the universe. < 1327128311 727269 :Sgeo!~sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :When you do something, you change the universe. < 1327128322 599080 :itidus21!~itidus21@120.148.51.249 PRIVMSG #esoteric :"fsvo universe" :P < 1327128354 670898 :Sgeo!~sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :But another way to look at it is that you accept an unchanging universe as input, and give an unchanging universe as output. < 1327128355 373120 :itidus21!~itidus21@120.148.51.249 PRIVMSG #esoteric :i think the universe in this case means anything which can be changed < 1327128428 766060 :itidus21!~itidus21@120.148.51.249 PRIVMSG #esoteric :hmmmm < 1327128473 793669 :Sgeo!~sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :You have a variable, some_var < 1327128477 467522 :Sgeo!~sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :It stores 0 < 1327128488 813985 :Sgeo!~sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :You increment some_var like this: some_var++ < 1327128491 162601 :itidus21!~itidus21@120.148.51.249 PRIVMSG #esoteric :which idiot invented variables i wonder < 1327128493 874676 :Sgeo!~sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :some_var now stores 1 < 1327128494 391997 :itidus21!~itidus21@120.148.51.249 PRIVMSG #esoteric :he should be shot < 1327128505 413978 :variable!root@freebsd/developer/variable PRIVMSG #esoteric :itidus21: agreed < 1327128509 987843 :itidus21!~itidus21@120.148.51.249 PRIVMSG #esoteric :eek < 1327128515 349157 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :......lolwat < 1327128518 577279 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :yeah stupid variables. < 1327128523 428308 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :everything should be pointfree. < 1327128525 813629 :itidus21!~itidus21@120.148.51.249 PRIVMSG #esoteric :that was unexpected < 1327128526 700801 :variable!root@freebsd/developer/variable PRIVMSG #esoteric :kallisti: itidus21 there is only one of me < 1327128537 861017 :Sgeo!~sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :But, you could say that incrementing is just taking a number, adding 1 to it, and giving that < 1327128541 582846 :variable!root@freebsd/developer/variable PRIVMSG #esoteric :and whomever invented me deserves to get shot ! < 1327128573 170135 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :Sgeo: I believe I figured out my abstraction. < 1327128575 934806 :Sgeo!~sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :kallisti, in \x -> x, does x count as a variable? It can't be altered within the function < 1327128585 271957 :Sgeo!~sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :kallisti, yay! < 1327128592 967377 :Sgeo!~sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :Not sure why you're telling me, but yay < 1327128605 631468 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :I should first generate the empty list I want to avoid, then define a higher-order function that allows me to plug in specific code to detect the infinite loop. < 1327128624 529285 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :s/empty list/possibly infinite list/ < 1327128626 753215 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :weird typo thing. < 1327128656 31463 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :similar to an unfold, in that a Nothing result will terminate the list. < 1327128716 856032 :Sgeo!~sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :
ACTION is falling asleep at the switch
< 1327128723 751683 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :Sgeo: DON'T DO IT < 1327128726 560330 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :REVIEW MY CODE PLZ < 1327128727 591231 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :KTHX < 1327128736 930751 :Sgeo!~sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :You really want me reviewing Haskell code? < 1327128739 53205 :Sgeo!~sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :Sure, but.. < 1327128740 48771 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :yes < 1327128805 509510 :itidus21!~itidus21@120.148.51.249 PRIVMSG #esoteric :if i understood functions, which i don't, im still not convinced that i would be impressed by function notation < 1327128841 764861 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :code: http://sprunge.us/EXMN associative data types: http://sprunge.us/BSDF some things are pretty some things are not. < 1327128854 949990 :itidus21!~itidus21@120.148.51.249 PRIVMSG #esoteric :i think des cartes made progress by his whatever he contributed to drawing functions < 1327128859 729802 :Sgeo!~sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :itidus21, ... have you never touched a non-esoteric programming language? < 1327128863 889054 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :itidus21: cartesian plane? < 1327128883 404168 :Sgeo!~sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :Or do you mean pure functions? < 1327128888 973255 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :Sgeo: he has supposedly programmed in C++ but I am skeptical. :P < 1327128920 390080 :itidus21!~itidus21@120.148.51.249 PRIVMSG #esoteric :what is the point of this channel if not to explain the value of pure functions? < 1327128939 416266 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :to discuss esoteric programming languages < 1327128971 545156 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :or whatever we feel like discussing, with a general relevance to computer science < 1327129007 23212 :Sgeo!~sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :itidus21, name a C++ function you have written that had a non-void return type and at least one argument. < 1327129008 348578 :itidus21!~itidus21@120.148.51.249 PRIVMSG #esoteric :perhaps it is the similarity between a given language and pure functions which determines how esoteric it is < 1327129013 743497 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :Sgeo: is this code legible at all. :P < 1327129024 219958 :Sgeo!~sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :kallisti, eek, I didn't even notice the links < 1327129029 561489 :itidus21!~itidus21@120.148.51.249 PRIVMSG #esoteric :int add(int a, int b) { return a + b; } < 1327129036 354197 :Sgeo!~sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :itidus21, there we go < 1327129061 262391 :Sgeo!~sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :itidus21, that function is pure. In order to do its thing, it only relies on its arguments. < 1327129071 858150 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :itidus21: you seem to be under the mistaken impression that since we talk about Haskell a lot, it must be heavily on topic. < 1327129087 122224 :itidus21!~itidus21@120.148.51.249 PRIVMSG #esoteric :i have to infer the meaning of most words by context in here such as pure < 1327129092 999984 :Sgeo!~sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :Oh, sorry < 1327129099 511080 :itidus21!~itidus21@120.148.51.249 PRIVMSG #esoteric :its ok.. i like to do so < 1327129117 492696 :Sgeo!~sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :A pure function is a function that only looks at its arguments and returns a value based on its arguments. < 1327129120 935833 :itidus21!~itidus21@120.148.51.249 PRIVMSG #esoteric :but it gives a false impression i am familiar with some terms < 1327129141 903415 :Sgeo!~sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :It doesn't set global variables, it doesn't read from a file, etc. etc. < 1327129154 498903 :itidus21!~itidus21@120.148.51.249 PRIVMSG #esoteric :so untyped lambda calc is not the same thing as pure < 1327129160 306810 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :Sgeo: s/arguments/arguments and free variables/ < 1327129177 451848 :Sgeo!~sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :kallisti, good point < 1327129177 827667 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :but that's close enough < 1327129205 560947 :Sgeo!~sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :kallisti, Loop? < 1327129216 893593 :itidus21!~itidus21@120.148.51.249 PRIVMSG #esoteric :i mean, if i had to explain the relationship between "int add(int a, int b) { return a + b; }" and "untyped lambda calculus" < 1327129221 303852 :itidus21!~itidus21@120.148.51.249 PRIVMSG #esoteric :would i get anywhere? < 1327129224 329575 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :Sgeo: it's complicated. :P < 1327129235 838781 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :Sgeo: I think I've explained how loops work in portal chess? < 1327129236 268857 :itidus21!~itidus21@120.148.51.249 PRIVMSG #esoteric :both phrases relate to functions in some way < 1327129237 580846 :Sgeo!~sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :kallisti, what's with the Storable stuff? < 1327129251 309249 :Sgeo!~sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :kallisti, I haven't been paying any attention whatsoever to the portal chess stuff, sorry < 1327129265 833492 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :Sgeo: some thing elliott convinced me to do when he was helping me get started. essentially it allows me to store my board state as a contiguous Word16 array. < 1327129292 320730 :Sgeo!~sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :imap? < 1327129304 250184 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :yes similar to imap from Data.Vector < 1327129314 399961 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :it's map but with Index -> Element -> Element < 1327129317 988444 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :instead of Element -> Element < 1327129337 803 :Sgeo!~sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :naming fillSquare isn't really needed there, but I can't tell if doing so helps readability < 1327129343 750906 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :I have another module called PortalChess.Util.Enums which allows me to generate Enum instances for any 2-element product types, which I use to define the Storable instance < 1327129351 343929 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :Sgeo: yes that's the idea. < 1327129364 499939 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :I might rename it. < 1327129379 594433 :itidus21!~itidus21@120.148.51.249 PRIVMSG #esoteric :what if i said int zero(int a, int b) { return a; } < 1327129384 861085 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :Sgeo: oh yes I could remove that < 1327129386 899909 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :it used to be a function < 1327129398 366076 :itidus21!~itidus21@120.148.51.249 PRIVMSG #esoteric :as a way to understand 0 := λf.λx.x < 1327129413 649620 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :Sgeo: edited < 1327129443 54912 :Sgeo!~sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :o.O at if/then/else all being at the same indentation < 1327129444 178171 :itidus21!~itidus21@120.148.51.249 PRIVMSG #esoteric :i just don't have a clue what im saying < 1327129458 621054 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :Sgeo: is that not normal? < 1327129468 156019 :Sgeo!~sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :(No, I'm not saying that's bad, I'm saying I wasn't aware that that worked) < 1327129469 231937 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :that's how haskell-mode indents it. -shrug- < 1327129499 197191 :Sgeo!~sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :I guess I thought DoAndIfThenElse only worked in do blocks < 1327129500 552193 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :Sgeo: if then else doesn't rely on layout as far as I know < 1327129524 923656 :Sgeo!~sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :itidus21, it would be return b, not return a < 1327129538 103820 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :Sgeo: in that particular function I found the let / if syntax clearer than the equivalent guard/where syntax < 1327129540 818007 :Sgeo!~sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :But that's currying stuff you're doing, which is a bit ahead of understanding purity < 1327129573 422468 :Sgeo!~sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :step' (Move (r, f) d) = Move <$> ((,) <$> r' <*> f') <*> pure d < 1327129576 991260 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric ::) < 1327129591 904027 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :could <$> that < 1327129596 823763 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :instead of using applicative < 1327129604 714174 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :or assign some names maybe < 1327129629 432980 :Sgeo!~sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :Assigning names never killed anyone, except for all the people it killed. < 1327129634 46679 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :step' does a basic increment on the board. so if you give a coordinate and North, it moves one space north. < 1327129647 564216 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :step does that but also follows portals on the board. < 1327129650 501530 :jix!~jix@dronf.net QUIT :Ping timeout: 252 seconds < 1327129687 287386 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :I use step' in followPortal because if I used step then I could easily get in recursive loops. < 1327129690 374428 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :for some board states. < 1327129701 24662 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :later I intend to do some manual checking for that case. < 1327129735 551275 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :Sgeo: but really if you're familiar with the f <$> x <*> y idiom that's not terribly illegible. < 1327129771 472346 :Sgeo!~sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :Sure < 1327129782 744266 :Sgeo!~sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :
ACTION may be a bit tired right now
< 1327129796 125271 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :w/e total nub lulz < 1327129821 649118 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :
ACTION says the person asking for help.
< 1327129824 617319 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :er < 1327129834 429043 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :(says the person asking for help. also a person who is totally not tired also) < 1327129869 240355 :itidus21!~itidus21@120.148.51.249 PRIVMSG #esoteric : int zero(int f, int x) { return x; } int succ(int n, int f, int x) { return f; } int one(int f, int x) { return succ(n, zero(f, x), x); } -- this should give insight to anyone who wonders why i don't just magically "get" LC < 1327129870 617860 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :Sgeo: the main thing I want to work on is linearMoves < 1327129889 785974 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :which describes the movesets of pieces like bishops, rooks, and queens < 1327129906 479977 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :but.... I have to take into account portals < 1327129910 416549 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :and avoid infinite loops < 1327129917 669045 :Sgeo!~sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :I note your use of State internally < 1327129922 47209 :itidus21!~itidus21@120.148.51.249 PRIVMSG #esoteric :i dont even care where its right or wrong < 1327129927 749511 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :yes it made the algorithm somewhat clearer. < 1327129969 678298 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :I'm keeping a set of portals I've encountered along the path, and I want to pass that bit of state on to other invocations of the function < 1327129974 970205 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :so State seemed well-suited < 1327129978 936629 :Sgeo!~sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :Ah, ok < 1327130006 251962 :Sgeo!~sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :
ACTION needs to force himself to think more in terms of "yes, functions can locally use a monad then run the monad and expose something without it
< 1327130007 941122 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :if, at any point, I end up back at the same portal, then I've found a loop, at which point I terminate the walk. < 1327130042 880194 :Sgeo!~sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :(e.g. I should probably be using ReaderT for stuff in my library which is not going to expose the fact that it's using ReaderT) < 1327130084 651908 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :yes most monad instances have some other non-monad abstraction that defines some kind of m a -> a < 1327130138 41762 :Sgeo!~sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :Besides IO, which ones don't? < 1327130183 703847 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :none that I can think of off the top of my head. < 1327130207 134883 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :mapM linearMoves is where the state threading happens. < 1327130233 646304 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :it's not strictly necessary but in some cases it will result in a faster short-circuit < 1327130237 856847 :Sgeo!~sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric ::t cont < 1327130238 660984 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :forall a r. ((a -> r) -> r) -> Cont r a < 1327130240 941136 :Sgeo!~sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric ::t runCont < 1327130241 769071 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :forall r a. Cont r a -> (a -> r) -> r < 1327130263 338896 :Sgeo!~sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric ::t (`runCont` id) < 1327130264 323186 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :forall a. Cont a a -> a < 1327130283 44975 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :I think what I'll do is use the stepLines function I just wrote, and then have an onPortal function, which takes another function to apply whenever a portal is encountered along the walk < 1327130294 657901 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :as there will be other situations where I want to do special when I encounter a portal. < 1327130301 505754 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :*something special < 1327130347 762938 :itidus21!~itidus21@120.148.51.249 PRIVMSG #esoteric :looking at wiki i see it says "The second observation is that the specific choice of name for a function's arguments is largely irrelevant." < 1327130349 984829 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :stepLines is like linearMoves except without all the short-circuiting logic. it will walk infinitely in some cases. < 1327130363 778533 :itidus21!~itidus21@120.148.51.249 PRIVMSG #esoteric :i guess this is like saying each scope has an alphabet < 1327130407 771531 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :itidus21: it's saying that you could use any set of distinct symbols, the specific symbol doesn't matter so long as distinct variables are annotated by distinct symbols < 1327130435 410017 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :De Bruijn indices make things easier by assigning numbers instead of arbitrary symbols to variable names < 1327130438 955355 :itidus21!~itidus21@120.148.51.249 PRIVMSG #esoteric :an alphabet could also be defined as "any set of distinct symbols" >:-) < 1327130483 69174 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :yes, indeed, but you said something unrelated to the distinctness < 1327130532 8029 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :in De Bruijn indices, the number indicates how many lambda abstractions upward you would travel in order to find the lambda abstraction that bound the variable < 1327130534 733271 :itidus21!~itidus21@120.148.51.249 PRIVMSG #esoteric :thats why i am not allowed in the jedi council < 1327130549 80303 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :so 0 refers to the most deeply bound variable in that expression, 1 is the level above, 2 is the level above that, etc. < 1327130573 659583 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :0 is the "local" variable. < 1327130644 5133 :itidus21!~itidus21@120.148.51.249 PRIVMSG #esoteric :and global is infinite debrujin index then i guess < 1327130645 665128 :itidus21!~itidus21@120.148.51.249 PRIVMSG #esoteric ::P < 1327130670 953657 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :Sgeo: do you think resourceT could be useful in your AW library? < 1327130700 382380 :Sgeo!~sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :kallisti, yes < 1327130708 427879 :Sgeo!~sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :Still not sure I want to expose that though < 1327130828 81647 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :well, you can runResourceT < 1327130832 982544 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :dunno if that helps though.. < 1327131025 296757 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :
ACTION would one day like to find a use for Cont
< 1327131034 625106 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :as it seems to just sit around being powerful and unused. < 1327131086 297873 :Sgeo!~sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :delcont or whatever is supposed to be more powerful < 1327131100 699638 :Sgeo!~sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :Or, well, I guess Cont is delimited too < 1327131166 829028 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :haven't heard of that. < 1327131203 256771 :Sgeo!~sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :http://hackage.haskell.org/package/CC-delcont < 1327131210 797869 :Sgeo!~sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :It's an Oleg thing, of course < 1327131225 8176 :Sgeo!~sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :Well, at least partially Oleg < 1327131270 41464 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :dynamically scoped variables? whut? < 1327131297 771388 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :Oleg, why so magical? < 1327131475 239299 :itidus21!~itidus21@120.148.51.249 PRIVMSG #esoteric :1) int add(int a, int b) { return a + b; } 2) int (int a, int b) { return a + b; } 3) int (int foo, int bar) { return foo + bar; } 4) int (int foo) { return {int (int bar} { return foo + bar;}}; } < 1327131500 192752 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :um < 1327131552 143498 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :itidus21: well, at least you seem to understand currying < 1327131560 735550 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :I don't know what you're trying to do though. < 1327131603 301310 :itidus21!~itidus21@120.148.51.249 PRIVMSG #esoteric :http://en.wikipedia.org/wiki/Lambda_calculus#Motivation < 1327131622 533306 :itidus21!~itidus21@120.148.51.249 PRIVMSG #esoteric :if only it could all be that easy < 1327131629 344899 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :Sgeo: this delimited cont stuff reminds me of a menu system I wrote for a MUD codebase in Python. < 1327131635 643379 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :that used coroutines. < 1327131655 224440 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :but this is better. < 1327131854 813692 :itidus21!~itidus21@120.148.51.249 PRIVMSG #esoteric :basically, that motivation section makes perfect sense to me < 1327131873 797671 :itidus21!~itidus21@120.148.51.249 PRIVMSG #esoteric :but once it departs from that its like chinese < 1327131921 449933 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :it's the same stuff just different notation < 1327131925 461785 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :and more explanation < 1327131968 425347 :Sgeo!~sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :
ACTION needs sleep
< 1327131977 609117 :itidus21!~itidus21@120.148.51.249 PRIVMSG #esoteric :i think they could make an untyped lambda calculus written in a way imperatve programmers could understand if they really wanted < 1327131994 600844 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :itidus21: yes, they have. it's called the untyped lambda calculus. :P < 1327132054 580123 :itidus21!~itidus21@120.148.51.249 PRIVMSG #esoteric :well.. imperative programmers don't tend to use the phrase function application < 1327132061 930856 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :"function call" < 1327132116 734842 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :though in this case the semantics are a bit different. function call usually involves a specific calling convention. < 1327132123 73462 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :itidus21: but if you need silly pictoral representations check this out: http://worrydream.com/AlligatorEggs/ < 1327132172 264605 :itidus21!~itidus21@120.148.51.249 PRIVMSG #esoteric :well heres what i would do to C to make it more in line with untyped lambda calc < 1327132187 196531 :itidus21!~itidus21@120.148.51.249 PRIVMSG #esoteric :first of all, since there is only 1 type, there is no need for type differntiating keywords < 1327132203 133623 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :. < 1327132223 234818 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :instead of going off on that tangent < 1327132224 277793 :itidus21!~itidus21@120.148.51.249 PRIVMSG #esoteric :so something like int add(int a, int b) { return a + b; } would become... add(a, b) {return a + b;} < 1327132227 132965 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :you should read that link < 1327132231 933687 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :that I linked you. < 1327132234 535561 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :actually < 1327132239 386054 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :not only should you read the actual link text < 1327132250 266399 :itidus21!~itidus21@120.148.51.249 PRIVMSG #esoteric :i already know the alligators don't help my particular gripe < 1327132252 404080 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :but you should link on it and read the information displayed in your browser,, as well. < 1327132261 943459 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :ah < 1327132345 525414 :itidus21!~itidus21@120.148.51.249 PRIVMSG #esoteric :now i think what actually happens is that anonymous functions simply have a placeholder name < 1327132372 974577 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :??? < 1327132381 66324 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :yes if you < 1327132393 484543 :itidus21!~itidus21@120.148.51.249 PRIVMSG #esoteric :something like: 1) int add(int a, int b) { return a + b; } 2) add(a, b) {return a + b;} 3) *(a, b) { a + b} < 1327132394 225981 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :assign an anonymous function a name it becomes a nonymous function. :P < 1327132408 896719 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :itidus21: C++11 has lambda functions < 1327132418 776023 :itidus21!~itidus21@120.148.51.249 PRIVMSG #esoteric :ok here what i have also done is remove the return keyword since the only thing which happens in the body of sucha function is a return < 1327132434 209248 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :itidus21: note necessarily a requirement in C < 1327132438 768202 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :it could easily have multiple lines and a return < 1327132447 337041 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :C++11 makes no requirements < 1327132470 333171 :itidus21!~itidus21@120.148.51.249 PRIVMSG #esoteric :well < 1327132678 676941 :itidus21!~itidus21@120.148.51.249 PRIVMSG #esoteric :regular C function: int add(int a, int b) { return a + b; } types stripped away: add(a, b) {return a + b;} return keyword stripped away: add(a, b) {a + b} anonymous: (a, b) {a + b} curried: (a) { (b) {a+b} } < 1327132705 62375 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :itidus21: I don't really see what you're trying to accomplish < 1327132711 229273 :itidus21!~itidus21@120.148.51.249 PRIVMSG #esoteric :neither do i < 1327132754 957127 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :are you trying to make lambda calculus look more like C? < 1327132757 442173 :itidus21!~itidus21@120.148.51.249 PRIVMSG #esoteric :ok i see i can go deeper here < 1327132773 104090 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :making C look like untyped lambda calculus won't work because it has a static type system. < 1327132788 743779 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :it's not really going to be C anymore. < 1327132828 230842 :Sgeo!~sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :
ACTION goes to execute a few hours in the Zzz monad
< 1327132842 294277 :itidus21!~itidus21@120.148.51.249 PRIVMSG #esoteric :the + operator seems to break this task i am trying < 1327132851 126660 :Sgeo!~sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :No, that doesn't entirely make sens,e in case itidus21 was wondering, fucb i don't care. < 1327132854 15279 :Sgeo!~sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :*but < 1327132858 154528 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :many things break the task you're trying. < 1327132865 548852 :Sgeo!~sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :Nogh < 1327132866 747507 :Sgeo!~sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :Night < 1327132874 329669 :itidus21!~itidus21@120.148.51.249 PRIVMSG #esoteric :night < 1327132887 54217 :itidus21!~itidus21@120.148.51.249 PRIVMSG #esoteric :for instance, if + = add < 1327132900 921972 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :for someone who doesn't know what they're trying to do, you seem to be saying things that suggest you know what you're trying to do: < 1327132903 686232 :itidus21!~itidus21@120.148.51.249 PRIVMSG #esoteric :it is pointless to define an add function through calling + < 1327132909 622930 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :for example, mentioned the "task you're trying" < 1327132927 894321 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :itidus21: not to mention that in lambda calculus variables always refer to other functions < 1327133039 123622 :itidus21!~itidus21@120.148.51.249 PRIVMSG #esoteric :i guess im curious how to go from "(a) { (b) {a+b} }" to "λmnfx.m f (n f x)" < 1327133060 67273 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :church encoding < 1327133063 654632 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :read about that. < 1327133069 947375 :itidus21!~itidus21@120.148.51.249 PRIVMSG #esoteric :ya i copied the later off wiki < 1327133070 227519 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :but first understand lambda calculus if you haven't yet. < 1327133166 448572 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :essentially the idea is that you can define data by an operation that you can perform with it. < 1327133203 620205 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :the act of executing the operation is equivalent to having the data to perform it. The operation is the data itself. < 1327133212 8430 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :do you understand church booleans? < 1327133220 480387 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com JOIN :#esoteric < 1327133343 476225 :itidus21!~itidus21@120.148.51.249 PRIVMSG #esoteric :so, putting it another way, you can define an answer by the questions you can solve with it < 1327133358 980741 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :I guess < 1327133362 911619 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :it helps to look at specific examples. < 1327133365 159858 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :like church booleans < 1327133370 189026 :itidus21!~itidus21@120.148.51.249 PRIVMSG #esoteric :im weird < 1327133378 312264 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :unicorns. < 1327133458 111922 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :\x.\y. x < 1327133461 362369 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :is true < 1327133465 10531 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :\x.\y. y < 1327133466 283635 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :is false < 1327133492 435520 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :the first one, given two arguments, returns the first one. the second one, when given the same two arguments, returns the second one. < 1327133502 613514 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :if you look at how a conditional branch works, this is basically the same idea. < 1327133517 551537 :itidus21!~itidus21@120.148.51.249 PRIVMSG #esoteric :see, i personally find the syntax "(x,y) x" makes more sense than "\x.\y. x" ... my troubles begin there < 1327133522 521219 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :stop < 1327133523 383367 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :fucking < 1327133524 971297 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :focusing < 1327133525 893650 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :on < 1327133526 755218 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :the < 1327133529 33356 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :syntax < 1327133531 799836 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric ::) < 1327133534 89264 :itidus21!~itidus21@120.148.51.249 PRIVMSG #esoteric :what else is there? < 1327133555 294368 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :the core idea? the syntax is completely irrelevant. < 1327133558 594757 :Ngevd!~Taneb@host-84-13-74-200.opaltelecom.net JOIN :#esoteric < 1327133587 971584 :itidus21!~itidus21@120.148.51.249 PRIVMSG #esoteric :its meant to be a tree, right? < 1327133599 762325 :itidus21!~itidus21@120.148.51.249 PRIVMSG #esoteric :im supposed to look at \x.\y. x and see a tree :P < 1327133603 66799 :Ngevd!~Taneb@host-84-13-74-200.opaltelecom.net PRIVMSG #esoteric :Hello < 1327133612 346022 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :the syntax is just the notation. learn the notation, and it no longer becomes a hinderance. the fact that it doesn't look like something you're not familiar with doesn't mean it's impenetrable suddenly. < 1327133658 985250 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :if you have this mindset, you're not going to learn anything ever. you will be stuck with whatever superficial layer of syntax you prefer and not learn about anything else. < 1327133672 732581 :itidus21!~itidus21@120.148.51.249 PRIVMSG #esoteric :it is the only time i have ever encountered something i couldn't intuit < 1327133691 393868 :itidus21!~itidus21@120.148.51.249 PRIVMSG #esoteric :oops.. tat is true for all of math < 1327133692 231408 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :itidus21: yes you can construct a lambda expression as a tree < 1327133703 638202 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :most expression syntaxes can be viewed as trees < 1327133706 206188 :itidus21!~itidus21@120.148.51.249 PRIVMSG #esoteric :i just don't get math at all < 1327133742 635947 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :but you don't have to think of it as a tree < 1327133748 286285 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :just think of it however you normally think of expressions < 1327133749 333258 :itidus21!~itidus21@120.148.51.249 PRIVMSG #esoteric :kind of like a chessboard makes most sense as a 2d grid < 1327133757 363236 :itidus21!~itidus21@120.148.51.249 PRIVMSG #esoteric :instead of a 1d strip < 1327133794 331111 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :I'm quite familiar with thinking of expressions without visualizing the entire syntax tree. the latter would be pretty taxing < 1327133814 635747 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :I do this all the time when I program. I just think of it in terms of symbols < 1327133845 729308 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :lambda calculus is a computation model focused on symbolic reasoning. < 1327133931 316743 :Ngevd!~Taneb@host-84-13-74-200.opaltelecom.net PRIVMSG #esoteric :itidus21, what does \x.x do? (hint, this is an easy one) < 1327133998 912435 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :Ngevd: so I'm guessing you've already implemented portal chess? < 1327133999 789567 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric ::> < 1327134010 883595 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :I've made some progress since last we spoke. < 1327134031 756287 :Ngevd!~Taneb@host-84-13-74-200.opaltelecom.net PRIVMSG #esoteric :kallisti, nah, I was just planning to get a chessboard, some matches, some string, and a webcam < 1327134061 855596 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :code: http://sprunge.us/EXMN associative data types: http://sprunge.us/BSDF some things are pretty some things are not. < 1327134066 882584 :itidus21!~itidus21@120.148.51.249 PRIVMSG #esoteric :ok that is the identity expression.. .. in C terms i would see it as: type_t identity(type_t a1) { return a1; } < 1327134085 44678 :Ngevd!~Taneb@host-84-13-74-200.opaltelecom.net PRIVMSG #esoteric :itidus21, How about \x y . x y? < 1327134134 533848 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :uh oh you're going to get him to start using function pointers. < 1327134145 67663 :itidus21!~itidus21@120.148.51.249 PRIVMSG #esoteric :i just like to use analogies < 1327134159 365251 :itidus21!~itidus21@120.148.51.249 PRIVMSG #esoteric :i believe it is a healthy way to operate ones brain < 1327134177 419114 :Ngevd!~Taneb@host-84-13-74-200.opaltelecom.net PRIVMSG #esoteric :Not analogies to C! < 1327134212 344238 :itidus21!~itidus21@120.148.51.249 PRIVMSG #esoteric :the neurons in ones brain which understand untyped lambda calculus can communicate with the neurons which understand apples and oranges < 1327134220 698611 :itidus21!~itidus21@120.148.51.249 PRIVMSG #esoteric :there isn't a wall < 1327134261 304990 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :wow you know the secrets of the brain but can't understand lambda calculus? interesting. < 1327134278 926328 :itidus21!~itidus21@120.148.51.249 PRIVMSG #esoteric :i know... < 1327134303 762379 :itidus21!~itidus21@120.148.51.249 PRIVMSG #esoteric :(in other words.. i see notational ambiguity when i read \x y . x y < 1327134316 75924 :itidus21!~itidus21@120.148.51.249 PRIVMSG #esoteric :and.. i give up before i even begin :P < 1327134342 464802 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :I don't see any notational ambiguity. what ambiguities do you see? < 1327134364 932924 :itidus21!~itidus21@120.148.51.249 PRIVMSG #esoteric :i don't know < 1327134388 920030 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :\x y . x y is a short hand for the curried syntax, which is how lambda calculus actually works, and looks like: < 1327134396 966183 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :\x. \y. x y < 1327134400 257980 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :this means: < 1327134404 140334 :itidus21!~itidus21@120.148.51.249 PRIVMSG #esoteric :expression body vs application < 1327134405 906305 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :\x. (\y. x y) < 1327134413 8346 :itidus21!~itidus21@120.148.51.249 PRIVMSG #esoteric :what if it was < 1327134418 916807 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :itidus21: there is no application in this example < 1327134421 244758 :itidus21!~itidus21@120.148.51.249 PRIVMSG #esoteric :\x. (\y. x) y < 1327134425 107268 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :it's one function body. < 1327134446 366485 :itidus21!~itidus21@120.148.51.249 PRIVMSG #esoteric :the whole notation is so weird >:-) < 1327134494 499533 :itidus21!~itidus21@120.148.51.249 PRIVMSG #esoteric :if everything is explicit then its unwieldly, if it's implicit then lots of bracketing rules.. all because its expressed as a line and not a tree < 1327134518 848176 :itidus21!~itidus21@120.148.51.249 PRIVMSG #esoteric :but i guess that overhead must pay off eventually < 1327134653 21680 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :typically the lambda extends to the end of the line or until the end of the parenthetical expression it's in < 1327134653 848280 :Ngevd!~Taneb@host-84-13-74-200.opaltelecom.net PRIVMSG #esoteric :Well, I'm starting to make placeholder piece graphics for portalchess < 1327134689 664596 :Ngevd!~Taneb@host-84-13-74-200.opaltelecom.net PRIVMSG #esoteric :Being a poet/mathematician, not an artist, means they sorta scuk < 1327134695 671838 :Ngevd!~Taneb@host-84-13-74-200.opaltelecom.net PRIVMSG #esoteric :*suck < 1327134744 921464 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :it's okay Ngevd it's okay. < 1327134767 868601 :Ngevd!~Taneb@host-84-13-74-200.opaltelecom.net PRIVMSG #esoteric :What does the C stand for in CCannon? < 1327134772 122463 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :cardinal < 1327134775 591570 :Ngevd!~Taneb@host-84-13-74-200.opaltelecom.net PRIVMSG #esoteric :Ah < 1327134792 421996 :Ngevd!~Taneb@host-84-13-74-200.opaltelecom.net PRIVMSG #esoteric :I would have used O for Orthangonal, but that's probably wrong < 1327134799 394450 :Ngevd!~Taneb@host-84-13-74-200.opaltelecom.net PRIVMSG #esoteric :*orthagonal < 1327134802 515637 :Ngevd!~Taneb@host-84-13-74-200.opaltelecom.net PRIVMSG #esoteric :Can't type < 1327134812 693363 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :I think that would work too < 1327134818 883600 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :OCannon is kind of weird though. < 1327134856 252206 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :I am mixing up my terms a bit actually < 1327134868 141760 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :for compose points I should use cardinal and intercardinal < 1327134881 55376 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :or ordinal < 1327134885 965229 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :or intermediate < 1327134899 908007 :Ngevd!~Taneb@host-84-13-74-200.opaltelecom.net PRIVMSG #esoteric :What format should I save the graphics? < 1327134923 83983 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :uh...... < 1327134929 777153 :Ngevd!~Taneb@host-84-13-74-200.opaltelecom.net PRIVMSG #esoteric :.png? < 1327134933 135287 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :yes that's good < 1327134941 446362 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :.svg would be good too if they're vector graphics. < 1327134959 258306 :Ngevd!~Taneb@host-84-13-74-200.opaltelecom.net PRIVMSG #esoteric :Nah, pixel graphics. < 1327134966 901019 :Ngevd!~Taneb@host-84-13-74-200.opaltelecom.net PRIVMSG #esoteric :I'm not good at vector graphics < 1327134985 653212 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :I imagine arrows as little >>'s < 1327134998 745762 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com PRIVMSG #esoteric :Other way is use METAFONT? < 1327135032 938399 :jix!~jix@dronf.net JOIN :#esoteric < 1327135043 45229 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com PRIVMSG #esoteric :METAFONT is also scalable although the output will be raster graphics < 1327135099 532837 :Ngevd!~Taneb@host-84-13-74-200.opaltelecom.net PRIVMSG #esoteric :Hmm < 1327135257 668845 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com PRIVMSG #esoteric :Now you have Portal Direction (Maybe Coord) < 1327135265 918445 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :yes < 1327135266 556449 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com PRIVMSG #esoteric :Are you going to display that too? < 1327135270 966464 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :no < 1327135276 260288 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :the reason for that < 1327135288 400411 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :is that players can now have only one portal on the field < 1327135311 477263 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com PRIVMSG #esoteric :OK < 1327135483 254149 :Vorpal!~AnMaster@unaffiliated/anmaster JOIN :#esoteric < 1327135534 28214 :itidus21!~itidus21@120.148.51.249 PRIVMSG #esoteric :it could be argued (by me) that a lambda calculus expression is of the type text-string .. "λf.λx.x\0" for example is char expression[8]; < 1327135551 113096 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :ugh < 1327135599 920038 :Ngevd!~Taneb@host-84-13-74-200.opaltelecom.net PRIVMSG #esoteric :That's a representation of a lambda expression, not a lambda expression < 1327135677 567780 :Ngevd!~Taneb@host-84-13-74-200.opaltelecom.net PRIVMSG #esoteric :That's me trying to make sense < 1327135702 82604 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :itidus21: the wikipedia tells you what constitutes a lambda calculus expression < 1327135716 926211 :itidus21!~itidus21@120.148.51.249 PRIVMSG #esoteric :i have no allegiance to sense < 1327135743 119289 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :a string is a representation of that, and a shitty one at that. it's an unparsed lambda expression in much the same way that a text-string can also represent a "C expression" < 1327135775 541516 :itidus21!~itidus21@120.148.51.249 PRIVMSG #esoteric :i have to wonder if familiarity with mathematical functions is a useful prerequistite to LC < 1327135779 764015 :itidus21!~itidus21@120.148.51.249 PRIVMSG #esoteric :just maybe < 1327135807 930042 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :not really < 1327135816 872938 :itidus21!~itidus21@120.148.51.249 PRIVMSG #esoteric :after all, some seem to dislike the disparity between an imperative language "function" and a math function < 1327135824 512011 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :you may be getting confused because lambda calculus isn't "call by value". < 1327135859 315423 :Ngevd!~Taneb@host-84-13-74-200.opaltelecom.net PRIVMSG #esoteric :kallisti, strictly speaking, lambda no wait I don't want to confuse itidus < 1327135862 314725 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :so when you apply a lambda abstraction to a lambda term, it substitutes the expression itself into the body of the lambda. < 1327135868 620694 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com PRIVMSG #esoteric :It is two different things meaning by "function" < 1327135870 718579 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :Ngevd: yes I know. < 1327135880 887740 :itidus21!~itidus21@120.148.51.249 PRIVMSG #esoteric :when church came up with this stuff, he hadn't seen imperative languages i think < 1327135886 514937 :itidus21!~itidus21@120.148.51.249 PRIVMSG #esoteric :i am not sure about this though < 1327135921 988194 :itidus21!~itidus21@120.148.51.249 PRIVMSG #esoteric :it doesn't make sense without computers to run them on < 1327135929 540333 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :computers weren't really a thing in 1936 < 1327135950 651278 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :at least not as we know them. < 1327135996 78012 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com PRIVMSG #esoteric :Is this correct? ("delimit", Right $ \p @ ProgramState { psTokens = h : t } -> uncurry (:) . (Block *** tail) $ break (== h) t) < 1327136009 182804 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com PRIVMSG #esoteric :Or is there other function for such things? < 1327136047 724368 :itidus21!~itidus21@120.148.51.249 PRIVMSG #esoteric :i think it may help those who are in the itidus tarpit.. to know that i actually get this much confusion every single time i read a wiki math page < 1327136053 788587 :itidus21!~itidus21@120.148.51.249 PRIVMSG #esoteric :its not really limited to LC math < 1327136069 939598 :itidus21!~itidus21@120.148.51.249 PRIVMSG #esoteric :i like to hide or deny this, but it is the truth < 1327136149 798467 :itidus21!~itidus21@120.148.51.249 PRIVMSG #esoteric :my (limited) knowledge of programming is too large out of proportion of my math knowledge < 1327136203 242349 :itidus21!~itidus21@120.148.51.249 PRIVMSG #esoteric :like, i see a little letter above a sigma and think.. ahh here we go.. and i say it in irc like this in an anecdote and i know everyone here could tell me what it meant :P but its just an example < 1327136231 804275 :itidus21!~itidus21@120.148.51.249 PRIVMSG #esoteric :and the same is true for the little "i=1" under something < 1327136357 996378 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :I think this is your problem... you probably do something like this: < 1327136387 120614 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :a) open wikipedia article b) start reading c) see big scary maths symbols d) freak out e) go do something else < 1327136414 745021 :oerjan!oerjan@sprocket.nvg.ntnu.no JOIN :#esoteric < 1327136459 440406 :itidus21!~itidus21@120.148.51.249 PRIVMSG #esoteric :the main trouble with it is that math words are all nearly defined in terms of each other < 1327136504 679249 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :
ACTION gets this urge to berate itidus21 for nonsense, then realizes it's actually true
< 1327136522 116091 :itidus21!~itidus21@120.148.51.249 PRIVMSG #esoteric :but thats how dictionarys work too < 1327136548 739570 :itidus21!~itidus21@120.148.51.249 PRIVMSG #esoteric :maybe its for the best < 1327136568 113938 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :although that should be "nearly all defined exactly in terms of each other" < 1327136588 93439 :itidus21!~itidus21@120.148.51.249 PRIVMSG #esoteric :yeah < 1327136619 256928 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :the original fits better for dictionaries though < 1327136642 99382 :itidus21!~itidus21@120.148.51.249 PRIVMSG #esoteric :its probably for the best to keep me out like a shibbaleth < 1327136656 803388 :itidus21!~itidus21@120.148.51.249 PRIVMSG #esoteric :for i don't have the responsibility appropriate for knowledge < 1327136667 72898 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :especially as one who cannot spell shibboleth ;P < 1327136680 137871 :Ngevd!~Taneb@host-84-13-74-200.opaltelecom.net PRIVMSG #esoteric :kallisti, what should lenses/prisms look like? < 1327136733 753719 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :dunno, symbolically I imagine them similarly to portals. < 1327136737 773684 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :some kind of circular shape. < 1327136743 333016 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :but that's no good. < 1327136756 737053 :hagb4rd!~perdito@koln-4d0b7a60.pool.mediaWays.net JOIN :#esoteric < 1327136882 367414 :itidus21!~itidus21@120.148.51.249 PRIVMSG #esoteric :i am artistic which really means i am keen to create representations of things lacking in utility, as contrasted with being someone who creates useful things which may or may not be representations of other things < 1327136944 320431 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com QUIT :Remote host closed the connection < 1327136957 693000 :itidus21!~itidus21@120.148.51.249 PRIVMSG #esoteric :but i end up doing neither < 1327137088 747887 :itidus21!~itidus21@120.148.51.249 PRIVMSG #esoteric :uhhh < 1327137112 845293 :monqy!~swell@pool-71-102-226-192.snloca.dsl-w.verizon.net QUIT :Quit: hello < 1327137122 362349 :itidus21!~itidus21@120.148.51.249 PRIVMSG #esoteric :so my goal is to make games, that is the end, everything else, including eating breakfast, watching tv, showering, is just the means < 1327137142 53617 :itidus21!~itidus21@120.148.51.249 PRIVMSG #esoteric :cos i figure it's good to have a goal like that < 1327137181 727075 :Ngevd!~Taneb@host-84-13-74-200.opaltelecom.net PRIVMSG #esoteric :kallisti, there's my placeholder graphics for pieces not in real chess < 1327137220 205234 :oerjan!oerjan@sprocket.nvg.ntnu.no 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*~:^):^ < 1327137240 125146 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :Gregor: MAKE THE LOGS SHOW COLORS, STAT < 1327137247 387396 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :
ACTION is not entirely serious
< 1327137262 112842 :itidus21!~itidus21@120.148.51.249 PRIVMSG #esoteric :i'm sure babbage would be happy to know his ideas end up being more useful for kids entertainment than war machines < 1327137281 400769 :hagb4rd!~perdito@koln-4d0b7a60.pool.mediaWays.net PRIVMSG #esoteric :Ngevd: you have programmed a chess game? < 1327137283 267675 :oerjan!oerjan@sprocket.nvg.ntnu.no 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*~:^):^ < 1327137283 577426 :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! < 1327137293 943294 :Ngevd!~Taneb@host-84-13-74-200.opaltelecom.net PRIVMSG #esoteric :hagb4rd, nowhere near < 1327137306 564542 :Ngevd!~Taneb@host-84-13-74-200.opaltelecom.net PRIVMSG #esoteric :kallisti has made a chess variant and I'm doing what I can to help < 1327137340 624083 :hagb4rd!~perdito@koln-4d0b7a60.pool.mediaWays.net PRIVMSG #esoteric :cool.. i always wanted to make a chess variant for icq < 1327137347 985762 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :
ACTION appreciates the help, by the way. o_o
< 1327137364 602181 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :I haven't really thought about graphics yet. < 1327137380 721835 :itidus21!~itidus21@120.148.51.249 PRIVMSG #esoteric :so, i think about games by imagining scenes in my head < 1327137402 433269 :itidus21!~itidus21@120.148.51.249 PRIVMSG #esoteric :like a character moving about some environment < 1327137417 624356 :Ngevd!~Taneb@host-84-13-74-200.opaltelecom.net PRIVMSG #esoteric :http://s1239.photobucket.com/albums/ff508/Taneb/Portal%20chess/ < 1327137420 455078 :itidus21!~itidus21@120.148.51.249 PRIVMSG #esoteric :and i think about what logic he is moving by < 1327137427 406947 :hagb4rd!~perdito@koln-4d0b7a60.pool.mediaWays.net PRIVMSG #esoteric :it would be kool to have a server to for chess board generation < 1327137449 22319 :hagb4rd!~perdito@koln-4d0b7a60.pool.mediaWays.net PRIVMSG #esoteric :posting a link to a graphic in the end < 1327137462 180727 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :my plan is something like: a) the game itself b) network protocol c) simple text-based client for playtesting e) multi-threading / handle multiple games at once f) graphical client < 1327137464 195690 :hagb4rd!~perdito@koln-4d0b7a60.pool.mediaWays.net PRIVMSG #esoteric :on demand < 1327137464 910893 :itidus21!~itidus21@120.148.51.249 PRIVMSG #esoteric :and i think about how can art assets in a game be more utilized < 1327137520 486440 :itidus21!~itidus21@120.148.51.249 PRIVMSG #esoteric :like by using skeletal animation one drawing or model of a skeleton can be extended into animations < 1327137539 169279 :hagb4rd!~perdito@koln-4d0b7a60.pool.mediaWays.net PRIVMSG #esoteric :aw 3d chhess? < 1327137546 457676 :itidus21!~itidus21@120.148.51.249 PRIVMSG #esoteric :or.. pallette swapping, or texture swapping is another way to utilize art assets < 1327137622 762466 :hagb4rd!~perdito@koln-4d0b7a60.pool.mediaWays.net PRIVMSG #esoteric :it would be nice to use it like: a4-a5 < 1327137627 790559 :hagb4rd!~perdito@koln-4d0b7a60.pool.mediaWays.net PRIVMSG #esoteric :or sth < 1327137725 561727 :hagb4rd!~perdito@koln-4d0b7a60.pool.mediaWays.net PRIVMSG #esoteric :mostly text based < 1327137732 331447 :itidus21!~itidus21@120.148.51.249 PRIVMSG #esoteric :and if i make my own language, the more i know about odd languages the more i am likely to think up something noone else thought of < 1327137880 23503 :itidus21!~itidus21@120.148.51.249 PRIVMSG #esoteric :my thought can be written like: language CreateLanguage(boolean knowslambdacalc) { if (knowslambdacalc) return good_language; else return bad_language; } < 1327137903 150978 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :................................................................................................................................................................................................................................................................................................... < 1327137931 382413 :itidus21!~itidus21@120.148.51.249 PRIVMSG #esoteric :i figure its probably true < 1327137969 78204 :hagb4rd!~perdito@koln-4d0b7a60.pool.mediaWays.net PRIVMSG #esoteric :kallisti: why not use irc as network protocol? < 1327137971 794666 :itidus21!~itidus21@120.148.51.249 PRIVMSG #esoteric :LC or at least one model of computation < 1327137996 532482 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :hagb4rd: what would I gain from that? < 1327138005 510249 :itidus21!~itidus21@120.148.51.249 PRIVMSG #esoteric :i don't think it's possible to make best possible language if i don't know any models of computation < 1327138010 330147 :hagb4rd!~perdito@koln-4d0b7a60.pool.mediaWays.net PRIVMSG #esoteric :kallisti: time < 1327138054 472945 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :eh I don't know that I save any time < 1327138057 581591 :hagb4rd!~perdito@koln-4d0b7a60.pool.mediaWays.net PRIVMSG #esoteric :but if you want some insight into network protocols, i guess you better make it your own < 1327138067 374940 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :on top of dealing with my own protocol I now have to deal with IRC. :P < 1327138096 988146 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :hagb4rd: I would say I'm pretty familiar with network protocols already. there's no much too them. < 1327138144 629329 :kmc!~keegan@c-98-216-51-47.hsd1.ma.comcast.net JOIN :#esoteric < 1327138252 355868 :Ngevd!~Taneb@host-84-13-74-200.opaltelecom.net PRIVMSG #esoteric :I think the protocol should go Send move -> wait -> get response -> if ("invalid) goto "Send move" -> check validity -> if invalid send reject then goto "get response" -> go to "send move" < 1327138263 321197 :Ngevd!~Taneb@host-84-13-74-200.opaltelecom.net PRIVMSG #esoteric :Not knowing much about network protocols < 1327138377 302318 :itidus21!~itidus21@120.148.51.249 PRIVMSG #esoteric :!(x) Not x. (λpab.p b a) x ~x < 1327138385 309070 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :is that client side? what validity checking must the client do? < 1327138393 285276 :hagb4rd!~perdito@koln-4d0b7a60.pool.mediaWays.net PRIVMSG #esoteric :for real one can seperate the complete game logic from the network protocol < 1327138397 475271 :Ngevd!~Taneb@host-84-13-74-200.opaltelecom.net PRIVMSG #esoteric :kallisti, I was imagining peer to peer < 1327138405 848793 :Ngevd!~Taneb@host-84-13-74-200.opaltelecom.net PRIVMSG #esoteric :Checking if the other client is cheating < 1327138408 598770 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :..oh < 1327138410 693804 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :no < 1327138416 789427 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :I'm doing client-server. :) < 1327138426 713181 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :simplifies the client programs < 1327138428 611039 :hagb4rd!~perdito@koln-4d0b7a60.pool.mediaWays.net PRIVMSG #esoteric :its even easier in turn based games like chess < 1327138451 514332 :Ngevd!~Taneb@host-84-13-74-200.opaltelecom.net PRIVMSG #esoteric :Hmm... client-server also makes doing rankings easier? < 1327138500 550821 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :well, I don't know if I'll do rankings but I do want to have a multi-user game matchup system. < 1327138576 581839 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :because I need to support the thriving portal chess community that will soon follow from its swell in popularity. < 1327138579 583866 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric ::> < 1327138595 920785 :Ngevd!~Taneb@host-84-13-74-200.opaltelecom.net PRIVMSG #esoteric ::> indeed < 1327138636 315539 :Ngevd!~Taneb@host-84-13-74-200.opaltelecom.net PRIVMSG #esoteric :Is there any GL you want me to strive for? < 1327138642 608957 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 JOIN :#esoteric < 1327138651 671510 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :not really < 1327138721 448867 :hagb4rd!~perdito@koln-4d0b7a60.pool.mediaWays.net PRIVMSG #esoteric :and you want to use the standard 8x8 fields chessboard < 1327138730 842844 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :yep < 1327138763 259280 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :> 71/26*366 < 1327138764 336481 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : 999.4615384615385 < 1327138821 969223 :hagb4rd!~perdito@koln-4d0b7a60.pool.mediaWays.net PRIVMSG #esoteric :iv'seen variations to that.. a chess board for 4 players.. but never played it < 1327138851 754497 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :......4 player portal chess. < 1327138852 152873 :Ngevd!~Taneb@host-84-13-74-200.opaltelecom.net PRIVMSG #esoteric :Threechess is fun < 1327138854 817878 :itidus21!~itidus21@120.148.51.249 PRIVMSG #esoteric :4 player chess is very old < 1327138864 125797 :hagb4rd!~perdito@koln-4d0b7a60.pool.mediaWays.net PRIVMSG #esoteric :http://www.quadibloc.com/chess/images/fpc.gif < 1327139519 487527 :Ngevd!~Taneb@host-84-13-74-200.opaltelecom.net PRIVMSG #esoteric :kallisti, what's fromEnumProd? < 1327139629 289327 :Ngevd!~Taneb@host-84-13-74-200.opaltelecom.net PRIVMSG #esoteric :It's used 4 times in PortalChess.Types, but I can't find the definition < 1327139675 519950 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :
ACTION takes a stab at product . map fromEnum
< 1327139738 642305 :Ngevd!~Taneb@host-84-13-74-200.opaltelecom.net PRIVMSG #esoteric :it seems to be :: (Enum a, Enum b) => a -> b -> Int < 1327139764 886220 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :aha. \x y -> fromEnum x * fromEnum y then < 1327139837 821276 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :I think I had a dream wherein Gregor had a child and was dressing it up in a range of suits. < 1327139943 227902 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :then child protection services arrived, i can only assume. < 1327140131 189040 :Ngevd!~Taneb@host-84-13-74-200.opaltelecom.net PRIVMSG #esoteric :Also, brb < 1327140375 649196 :Ngevd!~Taneb@host-84-13-74-200.opaltelecom.net QUIT :Ping timeout: 240 seconds < 1327142458 393784 :Ngevd!~Taneb@host-84-13-74-200.opaltelecom.net JOIN :#esoteric < 1327142575 316209 :oerjan!oerjan@sprocket.nvg.ntnu.no TOPIC #esoteric :now open for Americans to liberate | Get your esoil and esoline here! | Glorious optator institutes permanent ban penalty for power tripping | Weapons of mass banning "just monoids in the category of endomorphisms, what's the problem?" | Spotted marsh elliott suspected extinct from channel | Gregorian chants outlawed, "American" | http://codu.org/logs/_esoteric/ < 1327142589 441297 :oerjan!oerjan@sprocket.nvg.ntnu.no TOPIC #esoteric :Now open for Americans to liberate | Get your esoil and esoline here! | Glorious optator institutes permanent ban penalty for power tripping | Weapons of mass banning "just monoids in the category of endomorphisms, what's the problem?" | Spotted marsh elliott suspected extinct from channel | Gregorian chants outlawed, "American" | http://codu.org/logs/_esoteric/ < 1327142628 795757 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :oops < 1327142644 19288 :oerjan!oerjan@sprocket.nvg.ntnu.no TOPIC #esoteric :Now open for Americans to liberate | Get your esoil and esoline here! | Glorious optator institutes permanent ban penalty for power tripping | Weapons of mass banning "just monoids in the category of endofunctors, what's the problem?" | Spotted marsh elliott suspected extinct from channel | Gregorian chants outlawed, "American" | http://codu.org/logs/_esoteric/ < 1327142651 450208 :Ngevd!~Taneb@host-84-13-74-200.opaltelecom.net PRIVMSG #esoteric :Hello < 1327142654 474799 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :hi < 1327143139 114952 :KingOfKarlsruhe!~chatzilla@p5B131461.dip.t-dialin.net JOIN :#esoteric < 1327144456 477595 :Ngevd!~Taneb@host-84-13-74-200.opaltelecom.net QUIT :Quit: Goodbye < 1327144468 17489 :KingOfKarlsruhe!~chatzilla@p5B131461.dip.t-dialin.net QUIT :Remote host closed the connection < 1327145759 382411 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :freenode is so very generous when it comes to topic length. < 1327145874 27848 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :390 bytes. < 1327150344 967329 :hagb4rd!~perdito@koln-4d0b7a60.pool.mediaWays.net PRIVMSG #esoteric :have you found elliott at last? < 1327150406 294020 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :oh he's never been _far_ away < 1327150433 552614 :hagb4rd!~perdito@koln-4d0b7a60.pool.mediaWays.net PRIVMSG #esoteric :i hope he has not decided to stop the war in afghanistan by himself < 1327150475 531735 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i somehow don't see that as his kind of thing. i don't think afghanistan is sufficiently computerized for his methods to work. < 1327150505 927131 :hagb4rd!~perdito@koln-4d0b7a60.pool.mediaWays.net PRIVMSG #esoteric :true < 1327150911 381737 :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 . < 1327151027 930129 :hagb4rd!~perdito@koln-4d0b7a60.pool.mediaWays.net QUIT :Ping timeout: 240 seconds < 1327151041 875897 :hagb4rd!~perdito@koln-4db404c4.pool.mediaWays.net JOIN :#esoteric < 1327151203 579883 :oerjan!oerjan@sprocket.nvg.ntnu.no QUIT :Quit: Later < 1327152803 327294 :sebbu!~sebbu@unaffiliated/sebbu QUIT :Read error: Connection reset by peer < 1327152829 106163 :sebbu!~sebbu@unaffiliated/sebbu JOIN :#esoteric < 1327153268 436752 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 QUIT :Remote host closed the connection < 1327155241 854266 :augur_!~augur@208.58.5.87 NICK :augur < 1327155373 914867 :Ngevd!~Taneb@host-84-13-74-200.opaltelecom.net JOIN :#esoteric < 1327155454 369216 :Ngevd!~Taneb@host-84-13-74-200.opaltelecom.net PRIVMSG #esoteric :Hmm < 1327155456 634194 :Ngevd!~Taneb@host-84-13-74-200.opaltelecom.net PRIVMSG #esoteric :Hello < 1327156911 957156 :Ngevd!~Taneb@host-84-13-74-200.opaltelecom.net QUIT :Read error: Connection reset by peer < 1327156912 119253 :Taneb!~Taneb@host-84-13-74-200.opaltelecom.net JOIN :#esoteric < 1327157188 345297 :Taneb!~Taneb@host-84-13-74-200.opaltelecom.net PRIVMSG #esoteric :Well, the cloning project went wrong again < 1327157531 739425 :Taneb!~Taneb@host-84-13-74-200.opaltelecom.net PRIVMSG #esoteric :Universities in Scandinavia. < 1327157691 237548 :Ngevd!~Taneb@host-84-13-74-200.opaltelecom.net JOIN :#esoteric < 1327157718 339029 :Taneb!~Taneb@host-84-13-74-200.opaltelecom.net QUIT :Read error: Connection reset by peer < 1327158757 12239 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake QUIT :Ping timeout: 252 seconds < 1327158874 676691 :kallisti!~eris@h247.16.18.98.dynamic.ip.windstream.net JOIN :#esoteric < 1327158875 61575 :kallisti!~eris@h247.16.18.98.dynamic.ip.windstream.net QUIT :Changing host < 1327158875 223484 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake JOIN :#esoteric < 1327159385 301373 :Taneb!~Taneb@host-84-13-74-200.opaltelecom.net JOIN :#esoteric < 1327159424 573617 :Ngevd!~Taneb@host-84-13-74-200.opaltelecom.net QUIT :Read error: Connection reset by peer < 1327159429 23245 :Gregor!codu@codu.org PRIVMSG #esoteric : I think I had a dream wherein Gregor had a child and was dressing it up in a range of suits. // I hereby forbid you from using my name, ever. < 1327160908 799648 :Taneb!~Taneb@host-84-13-74-200.opaltelecom.net NICK :Ngevd < 1327161020 432642 :Ngevd!~Taneb@host-84-13-74-200.opaltelecom.net PRIVMSG #esoteric :I break pastewisdom < 1327161023 501767 :Ngevd!~Taneb@host-84-13-74-200.opaltelecom.net PRIVMSG #esoteric :`? Ngevd < 1327161026 798887 :HackEgo!codu@codu.org PRIVMSG #esoteric :​.6M?X�$U�E�0X.\�>.��.of�[�N��.�.��q�BO{�\�� \ .'-p)Q4�XDe/u#u�.�Oo�ʷಞ@\�);Ԅ@'ʣӂ.d�D��\v}��I���S�k53�.�7�HE��?�.ЪLR�'�:.S*]�����Y��D�>i2��A�R�%��.Q.�*���.�+,c���3�,�H�.��CDF·-xv'�do��#|�F|Gp�r^n�%٠��`EiLB��C�.�<�.�.�/K�3��6.|.��t&}..؀6x�~.����׶...zs1(��.�.�i=.�W��.��0��9..tX����h.z�.��҅�=Y�-+a�EЬ���.��l�қ���bo� < 1327162310 725289 :azaq23!~derivecto@unaffiliated/azaq23 JOIN :#esoteric < 1327164127 294215 :MSleep!~fyrc@or-67-238-19-212.dhcp.embarqhsd.net NICK :MDude < 1327164636 209285 :Ngevd!~Taneb@host-84-13-74-200.opaltelecom.net QUIT :Ping timeout: 244 seconds < 1327164791 617249 :Ngevd!~Taneb@host-84-13-74-200.opaltelecom.net JOIN :#esoteric < 1327165001 871619 :Ngevd!~Taneb@host-84-13-74-200.opaltelecom.net PRIVMSG #esoteric :Hello! < 1327166159 561848 :Ngevd!~Taneb@host-84-13-74-200.opaltelecom.net PRIVMSG #esoteric :> 600 `div` 64 < 1327166160 264884 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : 9 < 1327166172 992329 :Ngevd!~Taneb@host-84-13-74-200.opaltelecom.net PRIVMSG #esoteric :> 600 / 64 < 1327166173 701294 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : 9.375 < 1327166178 791170 :Ngevd!~Taneb@host-84-13-74-200.opaltelecom.net PRIVMSG #esoteric :> 600 / 8 < 1327166179 324802 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : 75.0 < 1327166195 797446 :Ngevd!~Taneb@host-84-13-74-200.opaltelecom.net PRIVMSG #esoteric :> 50 * 8 < 1327166196 324415 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : 400 < 1327166675 675737 :Ngevd!~Taneb@host-84-13-74-200.opaltelecom.net PRIVMSG #esoteric :Aaargh < 1327166680 182463 :Ngevd!~Taneb@host-84-13-74-200.opaltelecom.net PRIVMSG #esoteric :I can't picture this < 1327166777 56083 :Ngevd!~Taneb@host-84-13-74-200.opaltelecom.net PRIVMSG #esoteric :Aaargh < 1327166779 696974 :Ngevd!~Taneb@host-84-13-74-200.opaltelecom.net PRIVMSG #esoteric :Aaargh < 1327166815 360615 :Ngevd!~Taneb@host-84-13-74-200.opaltelecom.net PRIVMSG #esoteric :> repeat "Aaargh\n" < 1327166816 63491 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : ["Aaargh\n","Aaargh\n","Aaargh\n","Aaargh\n","Aaargh\n","Aaargh\n","Aaargh\... < 1327166824 17117 :Ngevd!~Taneb@host-84-13-74-200.opaltelecom.net PRIVMSG #esoteric :> concat (repeat "Aaargh\n") < 1327166824 546343 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : "Aaargh\nAaargh\nAaargh\nAaargh\nAaargh\nAaargh\nAaargh\nAaargh\nAaargh\nAa... < 1327166830 171725 :Ngevd!~Taneb@host-84-13-74-200.opaltelecom.net PRIVMSG #esoteric :> concat (repeat "Aaargh") < 1327166830 879452 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : "AaarghAaarghAaarghAaarghAaarghAaarghAaarghAaarghAaarghAaarghAaarghAaarghAa... < 1327166972 286331 :NihilistDandy!~NihilistD@stu-147-155-171-184.champlain.edu JOIN :#esoteric < 1327167812 400487 :Ngevd!~Taneb@host-84-13-74-200.opaltelecom.net PRIVMSG #esoteric :kallisti, I now can display an empty chessboard < 1327168194 110365 :Ngevd!~Taneb@host-84-13-74-200.opaltelecom.net PRIVMSG #esoteric :`? kallisti < 1327168198 56319 :HackEgo!codu@codu.org PRIVMSG #esoteric :kallisti is a former prophet swearing off his pastry deity < 1327168206 664300 :Ngevd!~Taneb@host-84-13-74-200.opaltelecom.net PRIVMSG #esoteric :`? CakeProphet < 1327168209 570909 :HackEgo!codu@codu.org PRIVMSG #esoteric :​:> < 1327168218 648611 :Ngevd!~Taneb@host-84-13-74-200.opaltelecom.net PRIVMSG #esoteric :`? Taneb < 1327168223 37786 :HackEgo!codu@codu.org PRIVMSG #esoteric :Taneb is not actually Ngevd, no matter what you may have heard. < 1327168257 418251 :Ngevd!~Taneb@host-84-13-74-200.opaltelecom.net PRIVMSG #esoteric :brb, head < 1327168353 297827 :Ngevd!~Taneb@host-84-13-74-200.opaltelecom.net PRIVMSG #esoteric :Back < 1327168357 365792 :Ngevd!~Taneb@host-84-13-74-200.opaltelecom.net PRIVMSG #esoteric :fungot, I'm back < 1327168358 764157 :fungot!~fungot@a91-152-37-146.elisa-laajakaista.fi PRIVMSG #esoteric :Ngevd: mr president, commissioner, ladies and gentlemen, first of all, to resume the debate on the commission and that these are going to consult parliament before the presidential elections in kazakhstan on 10 january were a slap in the face of the violations of human rights perpetrated by both sides, the candidate for the presidency in its contacts with the chinese about how the accord could represent an fnord end to our inte < 1327168363 200789 :Ngevd!~Taneb@host-84-13-74-200.opaltelecom.net PRIVMSG #esoteric :^style < 1327168363 362767 :fungot!~fungot@a91-152-37-146.elisa-laajakaista.fi PRIVMSG #esoteric :Available: agora alice c64 ct darwin discworld europarl* ff7 fisher fungot homestuck ic irc iwcs jargon lovecraft nethack pa qwantz sms speeches ss wp youtube < 1327168368 725415 :Ngevd!~Taneb@host-84-13-74-200.opaltelecom.net PRIVMSG #esoteric :^style iwcs < 1327168368 887280 :fungot!~fungot@a91-152-37-146.elisa-laajakaista.fi PRIVMSG #esoteric :Selected style: iwcs (Irregular Webcomic scripts) < 1327168378 838840 :Ngevd!~Taneb@host-84-13-74-200.opaltelecom.net PRIVMSG #esoteric :fungot, allosaurus? < 1327168379 3254 :fungot!~fungot@a91-152-37-146.elisa-laajakaista.fi PRIVMSG #esoteric :Ngevd: what, the ability to be captured a spanish galleon! arrr!! you two had an affair? < 1327168435 33627 :Ngevd!~Taneb@host-84-13-74-200.opaltelecom.net PRIVMSG #esoteric :^style irc < 1327168435 195675 :fungot!~fungot@a91-152-37-146.elisa-laajakaista.fi PRIVMSG #esoteric :Selected style: irc (IRC logs of freenode/#esoteric, freenode/#scheme and ircnet/#douglasadams) < 1327168441 25787 :Ngevd!~Taneb@host-84-13-74-200.opaltelecom.net PRIVMSG #esoteric :fungot, hello < 1327168441 643454 :fungot!~fungot@a91-152-37-146.elisa-laajakaista.fi PRIVMSG #esoteric :Ngevd: rather, i suggested for a moment. let me find another way to write that way < 1327168481 108255 :Ngevd!~Taneb@host-84-13-74-200.opaltelecom.net PRIVMSG #esoteric :Is any other human here? < 1327168711 788272 :Ngevd!~Taneb@host-84-13-74-200.opaltelecom.net PRIVMSG #esoteric :@ask kallisti why is the (Maybe coord) in Portal there? If it's where the other portal is, it a) restricts promotion of pawns and b) can be found by searching the map. If b) is stupid but a) is not, replace it with [coord], perhaps? < 1327168711 989043 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :Consider it noted. < 1327168816 769507 :Ngevd!~Taneb@host-84-13-74-200.opaltelecom.net PRIVMSG #esoteric :Now is a silly time < 1327168816 931461 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :Ngevd: You have 1 new message. '/msg lambdabot @messages' to read it. < 1327169095 98300 :Ngevd!~Taneb@host-84-13-74-200.opaltelecom.net QUIT :Quit: dog < 1327170384 543397 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :@ask Ngevd can you think of a sane method by which pawns may be promoted to portals when 2+ portals are already on the field? Also, how do you propose that portal link to multiple portals (which is what you're describing) < 1327170384 832242 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :Consider it noted. < 1327170516 721474 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :@tell Ngevd searching the field is an option but it seemed like a more cumbersome solution. Also, it prevents the situation you describe because without that data I can't determine which portal out of 3 or more portals corresponds to another. < 1327170517 62430 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :Consider it noted. < 1327170819 476318 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :lambdabot: hi < 1327170836 617898 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :fungot: hi < 1327170837 131034 :fungot!~fungot@a91-152-37-146.elisa-laajakaista.fi PRIVMSG #esoteric :kallisti: hm... /me should really start complaining about that i'm unable to take advantage of < 1327170843 726151 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :
ACTION agrees.
< 1327171246 474113 :Ngevd!~Taneb@host-84-13-74-200.opaltelecom.net JOIN :#esoteric < 1327171277 964810 :Ngevd!~Taneb@host-84-13-74-200.opaltelecom.net PRIVMSG #esoteric :Hello < 1327171278 406544 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :Ngevd: You have 3 new messages. '/msg lambdabot @messages' to read them. < 1327171320 584189 :Ngevd!~Taneb@host-84-13-74-200.opaltelecom.net PRIVMSG #esoteric :kallisti, hello < 1327171486 255193 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :hello < 1327171519 746468 :Ngevd!~Taneb@host-84-13-74-200.opaltelecom.net PRIVMSG #esoteric :3+ portals: thing going through the portals' choice < 1327171696 184449 :ais523!~ais523@unaffiliated/ais523 JOIN :#esoteric < 1327171699 199831 :Ngevd!~Taneb@host-84-13-74-200.opaltelecom.net PRIVMSG #esoteric :This allows for players to promote a pawn to portal, and for both sides to use the portal effectively < 1327172110 553760 :KingOfKarlsruhe!~chatzilla@p5B1324FB.dip.t-dialin.net JOIN :#esoteric < 1327173037 37917 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com JOIN :#esoteric < 1327173881 413061 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :Ngevd: I don't really like that. it works okay for simple moves but with projetiles you have to pick a specific route to take which makes the interface more complicated for a special case of the rules. < 1327174085 602778 :oerjan!oerjan@sprocket.nvg.ntnu.no JOIN :#esoteric < 1327174205 645684 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric : I can't picture this < 1327174207 947346 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :wat < 1327174219 162573 :Ngevd!~Taneb@host-84-13-74-200.opaltelecom.net PRIVMSG #esoteric :A chessboard, but magic < 1327174273 955044 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric : > concat (repeat "Aaargh\n") <-- cycle < 1327174408 749515 :Ngevd!~Taneb@host-84-13-74-200.opaltelecom.net PRIVMSG #esoteric :I had a headache, I couldn't think < 1327174484 404393 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :I'M SORRY, HASKELL GOLFING MUST BE PERFECT < 1327174506 59509 :Ngevd!~Taneb@host-84-13-74-200.opaltelecom.net PRIVMSG #esoteric :It almost wants to to say... < 1327174518 857804 :Ngevd!~Taneb@host-84-13-74-200.opaltelecom.net PRIVMSG #esoteric :> concat (repeat "Aaargh") < 1327174519 754378 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : "AaarghAaarghAaarghAaarghAaarghAaarghAaarghAaarghAaarghAaarghAaarghAaarghAa... < 1327174621 11733 :Ngevd!~Taneb@host-84-13-74-200.opaltelecom.net PRIVMSG #esoteric :AAAAH ME ENGLAND FAILING AM < 1327174635 701611 :Ngevd!~Taneb@host-84-13-74-200.opaltelecom.net PRIVMSG #esoteric :* It almost makes you want to say... < 1327174819 243567 :Ngevd!~Taneb@host-84-13-74-200.opaltelecom.net PRIVMSG #esoteric :Back < 1327174824 397338 :Ngevd!~Taneb@host-84-13-74-200.opaltelecom.net PRIVMSG #esoteric :Forgot how to unaway < 1327174845 522718 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :try /away without argument < 1327174854 422936 :Ngevd!~Taneb@host-84-13-74-200.opaltelecom.net PRIVMSG #esoteric :Already did < 1327174862 636623 :Ngevd!~Taneb@host-84-13-74-200.opaltelecom.net PRIVMSG #esoteric : Already marked away: brb < 1327174862 811213 :Ngevd!~Taneb@host-84-13-74-200.opaltelecom.net PRIVMSG #esoteric : Usage: AWAY [], sets you away < 1327174949 27658 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :and /unaway, then? < 1327174961 97557 :Ngevd!~Taneb@host-84-13-74-200.opaltelecom.net PRIVMSG #esoteric :Nothing < 1327175004 518679 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com PRIVMSG #esoteric :AWAY with no argument sets you unaway < 1327175007 438970 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :in xchat, once you go away, you cannot return. < 1327175021 864225 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com PRIVMSG #esoteric :Maybe you need to enter /RAW AWAY < 1327175026 56350 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :heh < 1327175030 932654 :Ngevd!~Taneb@host-84-13-74-200.opaltelecom.net PRIVMSG #esoteric :That worked! < 1327175039 410003 :Ngevd!~Taneb@host-84-13-74-200.opaltelecom.net PRIVMSG #esoteric :Thanks zzo38, oerjan < 1327175039 896923 :KingOfKarlsruhe!~chatzilla@p5B1324FB.dip.t-dialin.net QUIT :Quit: ChatZilla 0.9.88 [Firefox 9.0.1/20111220165912] < 1327175050 840580 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i have this strange doubt that's xchat's intended method < 1327175072 986142 :Sgeo!~sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :/away and /back < 1327175079 516276 :Sgeo!~sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :I use /allserv away Whatever < 1327175082 404694 :Sgeo!~sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :And /allserv back < 1327175095 207059 :Sgeo!~sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :Ngevd, ^ < 1327175097 892286 :Ngevd!~Taneb@host-84-13-74-200.opaltelecom.net PRIVMSG #esoteric :Oooh < 1327175989 424575 :Ngevd!~Taneb@host-84-13-74-200.opaltelecom.net PRIVMSG #esoteric :kallisti, I'm doing the very beginnings of a Portal Chess graphical client < 1327176175 429690 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :the protocol will be pretty straight forward. < 1327176181 388535 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :human-readable format < 1327176197 340637 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :moving pieces is liking just move rf rf < 1327176204 284783 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :where rf is row file in algebraic chess notation < 1327176212 71941 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :er.... file row I think < 1327176213 789978 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :is how it goes. < 1327176425 34338 :Ngevd!~Taneb@host-84-13-74-200.opaltelecom.net PRIVMSG #esoteric :Also, is the Loop type used? < 1327176442 301864 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :yes < 1327176445 723522 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :it's in the Game type < 1327176468 124397 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :I decided incorporating loops onto the board was too complicated. < 1327176473 826474 :Ngevd!~Taneb@host-84-13-74-200.opaltelecom.net PRIVMSG #esoteric :No it isn't, that's Game Board [Set Coord] < 1327176479 43255 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :oh.. < 1327176522 206539 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :uh....... should be something else. < 1327176532 230569 :Ngevd!~Taneb@host-84-13-74-200.opaltelecom.net PRIVMSG #esoteric :Nothing in either of your files I've seen < 1327176538 517013 :Ngevd!~Taneb@host-84-13-74-200.opaltelecom.net PRIVMSG #esoteric :It's got a few instances < 1327176539 900596 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :right it's not used currently < 1327176557 174058 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :hm < 1327176590 155049 :NihilistDandy!~NihilistD@stu-147-155-171-184.champlain.edu QUIT :Ping timeout: 272 seconds < 1327176676 784252 :Sgeo!~sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :Clearly, this should become part of FICS < 1327176683 345779 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :Ngevd: Coord needs to go into Loop < 1327176686 232725 :Sgeo!~sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :Hmm, it's been a while < 1327176687 535747 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :and then it should be [Set Loop] < 1327176709 156771 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :or...... < 1327176725 240499 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :[Set Coord] and then have a Map Coord Loop.... I don't know yet. < 1327176734 827142 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :I'll see what works best, I haven't got any loop code yhet. < 1327176744 606647 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :working on the piece move sets whenever I have time. (today I'm focusing on school) < 1327176914 308825 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :hm < 1327176926 840498 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :I wonder if switching to Set for the actual move sets is better than using linked lists. < 1327176988 6914 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :my reasoning was that it probably takes more time to construct the data set than it does to perform the lookup, and with set I have to construct the entire thing < 1327176996 221259 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :with list I can short-circuit on some cases. < 1327177005 562134 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :(successful cases) < 1327177034 161742 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com PRIVMSG #esoteric :Can you make up a chess variant which is combined with mahjong? < 1327177044 995605 :oerjan!oerjan@sprocket.nvg.ntnu.no QUIT :Quit: Good night < 1327177047 606764 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :I don't know mahjong very well, so no. < 1327177082 473603 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :(I do have to construct the entire set to perform a lookup right? sets aren't lazy right?) < 1327177103 271413 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com PRIVMSG #esoteric :I prefer chess variants played with flat pieces, like how Shogi and Xiangqi are designed. < 1327179205 667838 :Ngevd!~Taneb@host-84-13-74-200.opaltelecom.net PRIVMSG #esoteric :flip divMod 8 < 1327179221 94935 :Ngevd!~Taneb@host-84-13-74-200.opaltelecom.net PRIVMSG #esoteric :^^^ sample of the graphical client for PortalChess < 1327179221 257347 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :Ngevd: hm? < 1327179224 810142 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :lol < 1327179227 964908 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :yes. < 1327179239 116767 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :that's a useful function for 2D grids represented by 1D grids. < 1327179264 300778 :Ngevd!~Taneb@host-84-13-74-200.opaltelecom.net PRIVMSG #esoteric :Wait, I can replace it with (`divMod` 8) < 1327179270 197353 :Ngevd!~Taneb@host-84-13-74-200.opaltelecom.net PRIVMSG #esoteric :I think < 1327179288 913154 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :yes < 1327179294 836407 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :I prefer that syntax to using flip < 1327179306 115837 :Ngevd!~Taneb@host-84-13-74-200.opaltelecom.net PRIVMSG #esoteric :So do I, I just keep forgetting it < 1327179956 164045 :comex!~comex@ec2-50-19-141-233.compute-1.amazonaws.com QUIT :Quit: Coyote finally caught me < 1327180020 405081 :Ngevd!~Taneb@host-84-13-74-200.opaltelecom.net PRIVMSG #esoteric :I am writing a complicated Haskell program which I have no way to test < 1327180152 771110 :Ngevd!~Taneb@host-84-13-74-200.opaltelecom.net PRIVMSG #esoteric :kallisti, what format will loops be in < 1327180199 293219 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :format? < 1327180223 383887 :Ngevd!~Taneb@host-84-13-74-200.opaltelecom.net PRIVMSG #esoteric :I'm assuming not Set [Coord] or whatever < 1327180236 677848 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :for now I'm just going to add a Coord field to Loop < 1327180239 842206 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :and have [Set Loop] < 1327180256 29747 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :I'll probably send a response to clients when a loop is formed from a cannon firing < 1327180259 212349 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :with all the points. < 1327180296 144041 :comex!~comex@ec2-50-19-141-233.compute-1.amazonaws.com JOIN :#esoteric < 1327180310 633572 :Ngevd!~Taneb@host-84-13-74-200.opaltelecom.net PRIVMSG #esoteric :Points as in where it turns, or points as in everywhere the projectile is < 1327180385 442282 :Ngevd!~Taneb@host-84-13-74-200.opaltelecom.net PRIVMSG #esoteric :kallisti, ^^^? < 1327180459 703157 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :everywhere it is. < 1327180466 289163 :Ngevd!~Taneb@host-84-13-74-200.opaltelecom.net PRIVMSG #esoteric :Okay < 1327180491 75519 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :also directions. < 1327180503 887134 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :the direction of the projectile at each point. or maybe only the changes I don't know. < 1327180598 195977 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :Ngevd: ah wait I know. < 1327180613 404002 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :Loop will contain a set of Moves < 1327180621 986721 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :which are Coord/Direction pairs < 1327180660 121904 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :data Loop = Loop {loopOwner :: Player < 1327180660 334404 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric : loopSet :: Set Move < 1327180660 496191 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric : ,loopKind :: LoopKind < 1327180661 62728 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric : } < 1327180672 287721 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :and then I just have [Loop] in Game < 1327180771 406433 :Ngevd!~Taneb@host-84-13-74-200.opaltelecom.net PRIVMSG #esoteric :Hmm < 1327180778 48682 :Ngevd!~Taneb@host-84-13-74-200.opaltelecom.net PRIVMSG #esoteric :I can work with that < 1327180784 633429 :monqy!~swell@pool-71-102-226-192.snloca.dsl-w.verizon.net JOIN :#esoteric < 1327180788 37390 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :well... you're not being exposed to any of this anyway < 1327180790 969345 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :just the protocol < 1327180826 122454 :Ngevd!~Taneb@host-84-13-74-200.opaltelecom.net PRIVMSG #esoteric :I'm basing it on your PortalChess.Types < 1327180902 291088 :Ngevd!~Taneb@host-84-13-74-200.opaltelecom.net PRIVMSG #esoteric :For reasons that make sense < 1327180940 81756 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :the idea is that the client basically needs to do very little besides display what the server tells it to display < 1327180943 86214 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :no need to duplicate work. < 1327180960 522745 :Ngevd!~Taneb@host-84-13-74-200.opaltelecom.net PRIVMSG #esoteric :If the server sends the board, I can display it easy < 1327180969 290604 :Ngevd!~Taneb@host-84-13-74-200.opaltelecom.net PRIVMSG #esoteric :Well, my future program can < 1327180988 2126 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :yes I suppose that's an option < 1327180995 841124 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :just send the entire board on each turn. < 1327181052 338640 :Ngevd!~Taneb@host-84-13-74-200.opaltelecom.net PRIVMSG #esoteric :For display purpouses I can ignore loopOwner, right? < 1327181078 579368 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :hm < 1327181080 362137 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :you could < 1327181084 2317 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :but it could be useful to know. < 1327181123 406082 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :heh, if I wanted to be lazy I could, as my response, just show Game < 1327181125 382148 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :and send that :P < 1327181132 482957 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :makes Haskell clients easy to write. < 1327181152 426789 :Ngevd!~Taneb@host-84-13-74-200.opaltelecom.net PRIVMSG #esoteric :You'd need Read Game as well < 1327181156 836234 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :yes. < 1327181250 948181 :Ngevd!~Taneb@host-84-13-74-200.opaltelecom.net PRIVMSG #esoteric :I'm going to ramble incoherently so I don't forget what I think for a bit < 1327181255 357265 :Ngevd!~Taneb@host-84-13-74-200.opaltelecom.net PRIVMSG #esoteric :Circular lists? < 1327181256 675300 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :sure. < 1327181256 837809 :Ngevd!~Taneb@host-84-13-74-200.opaltelecom.net PRIVMSG #esoteric :Hmm < 1327181265 265414 :Ngevd!~Taneb@host-84-13-74-200.opaltelecom.net PRIVMSG #esoteric :There's a prelude function for that, I think < 1327181269 44642 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :as far as I can tell there are no infinite structures in Game. < 1327181273 514031 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :> cycle [1,2,3] < 1327181274 510634 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : [1,2,3,1,2,3,1,2,3,1,2,3,1,2,3,1,2,3,1,2,3,1,2,3,1,2,3,1,2,3,1,2,3,1,2,3,1,... < 1327181279 72428 :Ngevd!~Taneb@host-84-13-74-200.opaltelecom.net PRIVMSG #esoteric :That's the one < 1327181309 121273 :Ngevd!~Taneb@host-84-13-74-200.opaltelecom.net PRIVMSG #esoteric :Wait, I really just need \x:xs -> x:xs ++ [x] < 1327181329 139463 :Ngevd!~Taneb@host-84-13-74-200.opaltelecom.net PRIVMSG #esoteric :Except for sets? < 1327181334 930795 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :lol? < 1327181343 617395 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :sets don't have an order < 1327181364 785668 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :what on earth are you trying to do? < 1327181366 264155 :Ngevd!~Taneb@host-84-13-74-200.opaltelecom.net PRIVMSG #esoteric :Oh no < 1327181370 971018 :Ngevd!~Taneb@host-84-13-74-200.opaltelecom.net PRIVMSG #esoteric :Display loops < 1327181377 656515 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :uh < 1327181383 778437 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :the loop is a finite set of things. < 1327181394 387235 :Ngevd!~Taneb@host-84-13-74-200.opaltelecom.net PRIVMSG #esoteric :But they're circular! < 1327181399 587250 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :yes. < 1327181410 439805 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :you mean you want to display a circular animation? < 1327181418 59759 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :that would be some kind of recursive IO action. < 1327181421 322017 :Ngevd!~Taneb@host-84-13-74-200.opaltelecom.net PRIVMSG #esoteric :No, I want to know what the one after each one is < 1327181429 196130 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :oh < 1327181433 880384 :Ngevd!~Taneb@host-84-13-74-200.opaltelecom.net PRIVMSG #esoteric :Or before < 1327181434 739298 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :then yes just cycle it... < 1327181445 198138 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :but I'll send the loop as a finite list of points obviously. < 1327181465 362543 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :and currently since I represent them as sets there's no ordering to that information. < 1327181483 808362 :Ngevd!~Taneb@host-84-13-74-200.opaltelecom.net PRIVMSG #esoteric :Will the loop definition's direction be coming into the square or going? < 1327181504 942232 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :it would have to be going, I believe. < 1327181517 181040 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :notice I use the going operator to write Moves < 1327181521 718930 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :coordinate `going` direction < 1327181526 804831 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :m = coordinate `going` direction; < 1327181540 650552 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :then step' m returns the move where that move is performed. < 1327181559 431945 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :or Nothing if it can't be performed. < 1327181568 927069 :Ngevd!~Taneb@host-84-13-74-200.opaltelecom.net PRIVMSG #esoteric :So I'd need to know the previous bit of the loop < 1327181575 102681 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :I'm still not really sure why you need a cyclic list < 1327181581 542141 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :you just want to display the finite set of points right? < 1327181598 293922 :Ngevd!~Taneb@host-84-13-74-200.opaltelecom.net PRIVMSG #esoteric :How do you imagine the projectiles as being displayed? < 1327181606 410992 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :-shrug- client dependent. :P < 1327181611 171452 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :a fancy client could do a nice cyclic animation < 1327181622 199929 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :a simple one could just color the squares a shade. < 1327181623 902777 :Ngevd!~Taneb@host-84-13-74-200.opaltelecom.net PRIVMSG #esoteric :I was imagining it as a sort of laser hang on that's an idea < 1327181637 991967 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :I think it should be transparent though < 1327181642 953336 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :so that you can see pieces in the loop < 1327181647 721834 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :it should just overlay onto the square < 1327181719 684040 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :
ACTION is not particularly interested in fancy graphics.
< 1327181725 213213 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :to visualize what's going on. < 1327181753 838908 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :for example most computer chess games don't represent the pieces as like heroic action figures dueling each other or whatever. < 1327181776 119046 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :it's just a symbolic representation < 1327181793 822245 :Ngevd!~Taneb@host-84-13-74-200.opaltelecom.net PRIVMSG #esoteric :I'm just struggling to imagine the projectile loops < 1327181810 484885 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :what would probably make it easier < 1327181812 466682 :Ngevd!~Taneb@host-84-13-74-200.opaltelecom.net PRIVMSG #esoteric :As anything other than a length of coloured string < 1327181818 639678 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :is if instead of Black and White the players were red and blue < 1327181836 396210 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :then the projectile loop could just be red or blue squares < 1327181844 945363 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :or red or blue squares going around in a animated loop < 1327181849 863612 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :though that could be very distracting. < 1327181866 834545 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :it does however < 1327181871 16574 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :give you an idea of the directionality. < 1327181873 434259 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :by animating it. < 1327181874 128833 :Ngevd!~Taneb@host-84-13-74-200.opaltelecom.net PRIVMSG #esoteric :What if two differently coloured projectiles are occupying the same square? < 1327181878 624226 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :can't < 1327181882 733842 :Ngevd!~Taneb@host-84-13-74-200.opaltelecom.net PRIVMSG #esoteric :Why not? < 1327181894 348801 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :projectiles cancel each other out, basically. < 1327181901 254964 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :that's one of the rules of loops that I forgot to mention. < 1327181916 590396 :Ngevd!~Taneb@host-84-13-74-200.opaltelecom.net PRIVMSG #esoteric :That makes things simpler... < 1327181920 374870 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :yes it does. < 1327181935 377335 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :it also makes a fair amount of intuitive sense. < 1327181946 920846 :Ngevd!~Taneb@host-84-13-74-200.opaltelecom.net PRIVMSG #esoteric :Not if you imagine lasers! < 1327181950 46545 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :true. < 1327181957 418529 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :I might change that rule I dunno. < 1327181970 407740 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :but two differently coloured projectiles could just turn purple on intersections, lol. -shrug- < 1327181977 182203 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :but then < 1327181980 65612 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :ownership rules are confusing. < 1327181985 687573 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :on those squares. < 1327181996 930313 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :which is only relevant for lenses < 1327182004 538590 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :nothing else cares about the notion of projectile ownership. < 1327182157 701677 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :
ACTION imagines changing the lens to a reflector piece.
< 1327182165 381479 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :directionless and just reversed the flow of a projectile < 1327182192 720386 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :has the interesting property that if you place it in a loop it will ambiguously cut a bidirected loop in half to one of the sides < 1327182206 200479 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :and would turn a unidirected loop into a bidirected one. :P < 1327182208 669497 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :but.... no. < 1327182226 980693 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :Ngevd: I think a triangle could be a good piece for a lens. < 1327182231 334526 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :as that imparts a direction. < 1327182238 705365 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :visually < 1327182253 423071 :Vorpal!~AnMaster@unaffiliated/anmaster QUIT :Ping timeout: 252 seconds < 1327182272 418066 :Ngevd!~Taneb@host-84-13-74-200.opaltelecom.net PRIVMSG #esoteric :At the moment I'm using a sort of magnifying glass < 1327182286 531469 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :ah yes < 1327182297 281556 :Ngevd!~Taneb@host-84-13-74-200.opaltelecom.net PRIVMSG #esoteric :That looks a bit like the portal < 1327182297 443751 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :not really sure how to represent portals. < 1327182311 701694 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :I should really change the queen. :P < 1327182318 453004 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :it would simplify some rules if I could make it a different kind of piece. < 1327182337 597760 :Ngevd!~Taneb@host-84-13-74-200.opaltelecom.net PRIVMSG #esoteric :http://i1239.photobucket.com/albums/ff508/Taneb/Portal%20chess/portal_n_w.png < 1327182344 156810 :Ngevd!~Taneb@host-84-13-74-200.opaltelecom.net PRIVMSG #esoteric :http://i1239.photobucket.com/albums/ff508/Taneb/Portal%20chess/lens_n_w.png < 1327182344 363296 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :and I could remove the projectile cancelling rule and just make projectiles pass through loops < 1327182361 921432 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :lol < 1327182364 423271 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :top notch art dude. < 1327182390 796124 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :yes it looks somewhat like a telescope eyepiece or something < 1327182391 934745 :Ngevd!~Taneb@host-84-13-74-200.opaltelecom.net PRIVMSG #esoteric :I'm a poet mathematician, not a pixel artist < 1327182400 890723 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :I think vector graphics would be easier for this. < 1327182412 883146 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :also you get all the benefits of vectorized graphics. < 1327182419 116289 :Ngevd!~Taneb@host-84-13-74-200.opaltelecom.net PRIVMSG #esoteric :I'm the one doing the client. < 1327182427 432849 :Ngevd!~Taneb@host-84-13-74-200.opaltelecom.net PRIVMSG #esoteric :I call the graphics shots. < 1327182469 860860 :Ngevd!~Taneb@host-84-13-74-200.opaltelecom.net PRIVMSG #esoteric :Also, it'd be hard for me to change it to Vectors, and I'm friends with a fair few pixel artists < 1327182479 386329 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :lol okay. < 1327182507 674502 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :
ACTION has final say on the Official Graphical Representation of Portal Chess Pieces.
< 1327182524 387174 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :but currently I don't see a need to have one, except for the purposes of writing nice diagrams in the rules. < 1327182546 815316 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :...I was just going to use normal chess piece icons for that, actually. < 1327182565 422793 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :with some kind of thing for direction < 1327182570 151356 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :but maybe having FANCY NEW SYMBOLS is better. < 1327182573 369455 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com PRIVMSG #esoteric :kallisti: Well, yes. I made TeX chess program which can be used with many variants, in case it help. It include normal chess icons. I can also make up METAFONT files and macros for Portal Chess if you wanted to < 1327182608 116470 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :zzo38: I'm not entirely sure what I could do with that, but if you want to that would be fine. < 1327182630 970704 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com PRIVMSG #esoteric :kallisti: I am guessing, make rules with diagrams. < 1327182663 849544 :Ngevd!~Taneb@host-84-13-74-200.opaltelecom.net PRIVMSG #esoteric :When we have a) an official, final ruleset and b) semi-official piece representations < 1327182684 719835 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com PRIVMSG #esoteric :(If you are using HTML to write the rules, you can still use it I wrote a program to combine METAFONT with ImageMagick so that you can make PNG file) < 1327182709 109458 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :Ngevd: yeah I'll get around to that eventually. :P < 1327182722 189731 :Ngevd!~Taneb@host-84-13-74-200.opaltelecom.net PRIVMSG #esoteric :I don't want to be the person who creates the de facto representation of pieces by virtue of being the first person to create a graphical client < 1327182739 140232 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :honestly I think that's some months away. I need to build up some savings so I can afford a webserver. (not just for portal chess, but for other things) < 1327182761 982870 :Ngevd!~Taneb@host-84-13-74-200.opaltelecom.net PART #esoteric :"Goodbye" < 1327182765 909820 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :bye < 1327182768 98901 :Ngevd!~Taneb@host-84-13-74-200.opaltelecom.net QUIT :Quit: Goodbye < 1327182775 164234 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com PRIVMSG #esoteric :But my TeX chess program does allow making diagrams of chessboards, with or without checkerboard, and writing move notations too. < 1327182780 885409 :Ngevd!~Taneb@host-84-13-74-200.opaltelecom.net JOIN :#esoteric < 1327182787 248108 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com PRIVMSG #esoteric :Including different sizes of boards, using different fonts for piece icons, etc < 1327182790 509678 :Ngevd!~Taneb@host-84-13-74-200.opaltelecom.net PRIVMSG #esoteric :Not sure what happened there < 1327182792 378484 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :zzo38: can it show piece movesets? < 1327182807 869319 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :to highlight all the locations a piece can move. < 1327182829 917242 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com PRIVMSG #esoteric :kallisti: Yes; you simply need to use one icon to represent the locations you can mov eto < 1327182914 517044 :Phantom_Hoover!~Phantom@unaffiliated/phantom-hoover/x-3377486 JOIN :#esoteric < 1327182942 252949 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :zzo38: can you render this in HTML? < 1327182951 160066 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :
ACTION is a noob at TeX
< 1327182965 874543 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com PRIVMSG #esoteric :kallisti: No. It is only for TeX. < 1327182985 322045 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :seems like you should be able to render it and then take an image or something. < 1327182993 867895 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com PRIVMSG #esoteric :kallisti: You can do that, yes. < 1327183020 564028 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com PRIVMSG #esoteric :The program "dvipng" might help if you want to render it and then take an image < 1327183043 181894 :Ngevd!~Taneb@host-84-13-74-200.opaltelecom.net PRIVMSG #esoteric :PDF? < 1327183076 916219 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :
ACTION is equally clueless about PDF as he is TeX
< 1327183087 914443 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :I don't spend a lot of time rendering written documents in things. :P < 1327183099 237168 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :does anyone actually write PDF by hand? < 1327183102 762039 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com PRIVMSG #esoteric :I think if you have the correct addons you can use ImageMagick to convert PDF to other formats, but there is no need to do that. You can use TeX to create a DVI file and then convert it to PNG if you want to include the image in a HTML file < 1327183103 103479 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :PostScript, yes, but PDF? < 1327183112 918270 :Ngevd!~Taneb@host-84-13-74-200.opaltelecom.net PRIVMSG #esoteric :Probably not < 1327183145 523204 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com PRIVMSG #esoteric :PDF is a dumb format full of dumb things, and so is PostScript < 1327183167 331590 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :wow, that's an unusually strong opinion for you < 1327183168 431831 :Ngevd!~Taneb@host-84-13-74-200.opaltelecom.net PRIVMSG #esoteric :PDF has the advantage of commonplace web browser support < 1327183238 146642 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com PRIVMSG #esoteric :Ngevd: Yes, it does have that. Still, I suggest not using PDF, or at least offering other formats too (such as plain text, DVI etc; plain text also has commonplace web browser support) < 1327183263 198763 :Ngevd!~Taneb@host-84-13-74-200.opaltelecom.net PRIVMSG #esoteric :But lacks the graphics capabilities of PDF < 1327183268 307397 :Ngevd!~Taneb@host-84-13-74-200.opaltelecom.net PRIVMSG #esoteric :Or we could just use HTML < 1327183274 383763 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com PRIVMSG #esoteric :Plain text support is common everywhere, including gopher < 1327183277 854966 :Ngevd!~Taneb@host-84-13-74-200.opaltelecom.net PRIVMSG #esoteric :Which has ubiquitious browser support < 1327183293 291662 :Ngevd!~Taneb@host-84-13-74-200.opaltelecom.net PRIVMSG #esoteric :But a range is probably best < 1327183299 676834 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com PRIVMSG #esoteric :Ngevd: Yes you can use HTML too, if you prefer. < 1327183303 829206 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :zzo38: couldn't I just write the rules in LaTeX and then translate that to basically any other document format? < 1327183335 798793 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com PRIVMSG #esoteric :kallisti: I don't think so because the program TeX chess is only for Plain TeX. < 1327183355 407939 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :but you can embed images in LaTeX right? I really just need the output image from such a program. < 1327183382 192092 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com PRIVMSG #esoteric :(There are also other problems, with both Plain TeX and LaTeX, that prevents proper conversion to other formats, other than output-only formats (such as DVI, PostScript, and PDF)) < 1327183419 333062 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com PRIVMSG #esoteric :TeX chess can be used to create the diagrams, and then if you need the output image you can use dvipng now you have the PNG file usable in HTML and so on < 1327183478 460692 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com PRIVMSG #esoteric :There are also other programs for chess diagrams specifically in HTML, although some of them might not have as many features as TeX chess < 1327183540 865640 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com PRIVMSG #esoteric :http://zzo38computer.cjb.net/tex/texchess.zip < 1327183551 835924 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com PRIVMSG #esoteric :It includes a documentation. < 1327183680 156591 :Ngevd!~Taneb@host-84-13-74-200.opaltelecom.net PRIVMSG #esoteric :I still don't know how to draw projectile loops... < 1327183758 39555 :Ngevd!~Taneb@host-84-13-74-200.opaltelecom.net QUIT :Quit: Goodnight < 1327185949 858262 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com PRIVMSG #esoteric :Please tell me if this program has a thing missing or wrong that you think it is: http://sprunge.us/WQKG < 1327186103 794884 :Klisz!~Klisz@c-67-162-128-110.hsd1.co.comcast.net JOIN :#esoteric < 1327186209 949133 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric : you're unlikely to find sourced assertions of "there was absolutely nothing out of the ordinary about geiger counter availability in the USSR" < 1327187711 266830 :Patashu!~Patashu@c122-106-155-219.carlnfd1.nsw.optusnet.com.au JOIN :#esoteric