< 1326760002 519360 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com PRIVMSG #esoteric :I found something called "The Online Book Initiative". It seem pretty good. It is at gopher://gopher.std.com < 1326761046 713130 :itidus21!~itidus21@120.148.51.249 JOIN :#esoteric < 1326761096 495304 :SteppenwolfVM!~miauwuff@unaffiliated/steppenwolfvm JOIN :#esoteric < 1326761106 912656 :SteppenwolfVM!~miauwuff@unaffiliated/steppenwolfvm PART #esoteric :"Oh look.... it's a part!" < 1326761681 21789 :SteppenwolfVM!~miauwuff@unaffiliated/steppenwolfvm JOIN :#esoteric < 1326761731 687100 :SteppenwolfVM!~miauwuff@unaffiliated/steppenwolfvm PART #esoteric :"Oh look.... it's a part!" < 1326762057 124922 :GreaseMonkey!~gm@unaffiliated/greasemonkey QUIT :Read error: Connection reset by peer < 1326762101 296357 :GreaseMonkey!~gm@unaffiliated/greasemonkey JOIN :#esoteric < 1326763529 376522 :Sgeo!~sgeo@ool-ad034d00.dyn.optonline.net QUIT :Ping timeout: 240 seconds < 1326764396 668824 :Sgeo!~sgeo@ool-ad034d00.dyn.optonline.net JOIN :#esoteric < 1326766209 847509 :Sgeo!~sgeo@ool-ad034d00.dyn.optonline.net QUIT :Quit: Leaving < 1326766318 261135 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :@hoogle [a] -> ([a], [a]) < 1326766318 626246 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :Prelude break :: (a -> Bool) -> [a] -> ([a], [a]) < 1326766318 788111 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :Data.List break :: (a -> Bool) -> [a] -> ([a], [a]) < 1326766318 788297 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :Prelude span :: (a -> Bool) -> [a] -> ([a], [a]) < 1326766334 189347 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :also partition < 1326766352 789089 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :@hoogle+ < 1326766353 199447 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :Data.List span :: (a -> Bool) -> [a] -> ([a], [a]) < 1326766353 361037 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :Data.List partition :: (a -> Bool) -> [a] -> ([a], [a]) < 1326766353 361206 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :Prelude splitAt :: Int -> [a] -> ([a], [a]) < 1326766357 584275 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :@hoogle+ < 1326766357 978215 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :Data.List splitAt :: Int -> [a] -> ([a], [a]) < 1326766358 139929 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :Data.List genericSplitAt :: Integral i => i -> [b] -> ([b], [b]) < 1326766358 140111 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :System.FilePath.Windows splitDrive :: FilePath -> (FilePath, FilePath) < 1326766385 562797 :Sgeo!~sgeo@ool-ad034d00.dyn.optonline.net JOIN :#esoteric < 1326766399 859733 :Sgeo!~sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :
ACTION decides to use Conduit Sources as his primary model of events
< 1326766435 817055 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :lucky for you elliott is not around, eh? < 1326766546 435927 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :
ACTION checks in the obvious place to see if he's alive
< 1326766663 743200 :monqy!~swell@pool-71-102-226-192.snloca.dsl-w.verizon.net PRIVMSG #esoteric :so? < 1326766689 686002 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :seen 4 hours ago < 1326767068 33534 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com PART :#esoteric < 1326767071 388285 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com JOIN :#esoteric < 1326767263 101861 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :although his rep was a lot lower yesterday than "usual" < 1326767283 364366 :itidus21!~itidus21@120.148.51.249 PRIVMSG #esoteric :type the devil's nick and his taskbar will alert him < 1326767295 576848 :monqy!~swell@pool-71-102-226-192.snloca.dsl-w.verizon.net PRIVMSG #esoteric :hi < 1326767322 147889 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :itidus21: i did that 14 minutes ago, didn't i < 1326767371 154861 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i suspect he's asleep now, anyway < 1326767396 767629 :itidus21!~itidus21@120.148.51.249 PRIVMSG #esoteric :ahh.. hexham sleeps < 1326767452 635879 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i'm not sure whether the rest of hexham sleeps has much to do with it. < 1326767472 443933 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :*whether whether < 1326767482 929485 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :> break isSpace "" < 1326767483 866535 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : ("","") < 1326767506 70470 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :> break undefined "" < 1326767507 94614 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : ("","") < 1326767556 889365 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :oerjan: I'm trying to do something really simple < 1326767566 759360 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :namely, remove all consecutive whitespace < 1326767567 958330 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :and also < 1326767573 7055 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :remove whitespace from both ends of the list < 1326767576 940060 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :at the same time < 1326767582 626699 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :kallisti: unwords . words hth < 1326767583 379325 :monqy!~swell@pool-71-102-226-192.snloca.dsl-w.verizon.net PRIVMSG #esoteric :unwords . words < 1326767585 261836 :monqy!~swell@pool-71-102-226-192.snloca.dsl-w.verizon.net PRIVMSG #esoteric :yes < 1326767585 468808 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :while preserving the kind of whitespace (no unwords . words) < 1326767594 14131 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :bah :D < 1326767607 572961 :monqy!~swell@pool-71-102-226-192.snloca.dsl-w.verizon.net PRIVMSG #esoteric :\v\t: which gets preserved??? < 1326767615 250127 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :neither < 1326767618 220264 :monqy!~swell@pool-71-102-226-192.snloca.dsl-w.verizon.net PRIVMSG #esoteric ::o < 1326767620 226336 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :oh < 1326767621 339414 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :yes < 1326767622 820723 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :good question < 1326767630 231541 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :and what about in \r\n < 1326767634 627442 :monqy!~swell@pool-71-102-226-192.snloca.dsl-w.verizon.net PRIVMSG #esoteric :ssshh < 1326767664 649982 :monqy!~swell@pool-71-102-226-192.snloca.dsl-w.verizon.net PRIVMSG #esoteric :worrying about \r\n is too sensible < 1326767686 113559 :monqy!~swell@pool-71-102-226-192.snloca.dsl-w.verizon.net PRIVMSG #esoteric :does anyone even use \v\t? < 1326767711 448136 :augur!~augur@c-75-74-128-170.hsd1.fl.comcast.net PRIVMSG #esoteric :ok wheres my finnish speakers < 1326767722 228301 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :sleeping < 1326767735 177481 :augur!~augur@c-75-74-128-170.hsd1.fl.comcast.net PRIVMSG #esoteric ::( < 1326767744 656468 :hagb4rd!~perdito@koln-4d0b7112.pool.mediaWays.net PRIVMSG #esoteric :päimavaar < 1326767750 503568 :augur!~augur@c-75-74-128-170.hsd1.fl.comcast.net PRIVMSG #esoteric :fizzie! D: < 1326767754 830227 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :you know perfectly well fizzie is the only op with a sane sleep schedule :P < 1326767759 30117 :augur!~augur@c-75-74-128-170.hsd1.fl.comcast.net PRIVMSG #esoteric :@tell fizzie msg me plz < 1326767759 400847 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :Consider it noted. < 1326767779 905824 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :although ais523's occasionally is < 1326767783 687250 :augur!~augur@c-75-74-128-170.hsd1.fl.comcast.net PRIVMSG #esoteric :hagb4rd: you speak finnish? < 1326767786 860742 :hagb4rd!~perdito@koln-4d0b7112.pool.mediaWays.net PRIVMSG #esoteric :no < 1326767790 483552 :augur!~augur@c-75-74-128-170.hsd1.fl.comcast.net PRIVMSG #esoteric :o :( < 1326767797 113603 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`words --finnish 50 < 1326767801 510918 :HackEgo!codu@codu.org PRIVMSG #esoteric :astannettäviltämin eettamatto pallisilmällä autuvautuvistansa paimpänne havoliita kepeimuttelemme sfäärittämä kuolisimpana löyläpikalve takoskivamme uintaanne mustamme vaileviltanne aggressäästä nihatekemistä ryhmimpaa uneen lensa joutumastipa ologisempääsi samistanne tyyliltaan hämälleni soittu < 1326767809 419873 :hagb4rd!~perdito@koln-4d0b7112.pool.mediaWays.net PRIVMSG #esoteric :the only word i knew was date < 1326767809 880322 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :augur: HackEgo can help < 1326767816 864140 :augur!~augur@c-75-74-128-170.hsd1.fl.comcast.net PRIVMSG #esoteric :no it cant :( < 1326767826 119448 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :*gasp* < 1326767843 638337 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :hagb4rd: i suspect you broke vowel harmony by using both ä and a < 1326767854 752390 :yiyus!~124271242@je.je.je QUIT :Ping timeout: 255 seconds < 1326767856 667029 :hagb4rd!~perdito@koln-4d0b7112.pool.mediaWays.net PRIVMSG #esoteric :only once? < 1326767861 94683 :hagb4rd!~perdito@koln-4d0b7112.pool.mediaWays.net PRIVMSG #esoteric :*phew < 1326767871 579391 :hagb4rd!~perdito@koln-4d0b7112.pool.mediaWays.net PRIVMSG #esoteric :yea < 1326767872 550512 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :also -r is probably not a common word ending in finnish < 1326767909 80976 :hagb4rd!~perdito@koln-4d0b7112.pool.mediaWays.net PRIVMSG #esoteric :not common, but right < 1326767913 556344 :hagb4rd!~perdito@koln-4d0b7112.pool.mediaWays.net PRIVMSG #esoteric :not? < 1326767942 846165 :hagb4rd!~perdito@koln-4d0b7112.pool.mediaWays.net PRIVMSG #esoteric :you know a good dictionary? < 1326767944 101139 :yiyus!1242712427@je.je.je JOIN :#esoteric < 1326767950 334865 :hagb4rd!~perdito@koln-4d0b7112.pool.mediaWays.net PRIVMSG #esoteric :for finnish < 1326767975 568031 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :hagb4rd: you will note that every word HackEgo generated ends with a vowel or -n. i think -t also happens in some case. < 1326767990 60090 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :no. i don't _actually_ know finnish. < 1326768007 96495 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :tswett might know. < 1326768011 943793 :hagb4rd!~perdito@koln-4d0b7112.pool.mediaWays.net PRIVMSG #esoteric :aw..bad luck then :Pp < 1326768026 474470 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :(and be awake, unlike the finns) < 1326768029 721497 :hagb4rd!~perdito@koln-4d0b7112.pool.mediaWays.net PRIVMSG #esoteric :i thought you were norwegian? < 1326768054 73605 :hagb4rd!~perdito@koln-4d0b7112.pool.mediaWays.net PRIVMSG #esoteric :i must have been wrong < 1326768059 53947 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i am. norwegian is not related to finnish. < 1326768079 313857 :hagb4rd!~perdito@koln-4d0b7112.pool.mediaWays.net PRIVMSG #esoteric :yes, thats y i wonder < 1326768090 713496 :augur!~augur@c-75-74-128-170.hsd1.fl.comcast.net PRIVMSG #esoteric :wheres oklopol :( < 1326768094 780333 :pir^2!~PiRSquare@wikipedia/PiRSquared17 JOIN :#esoteric < 1326768097 208227 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i'm just somewhat generally interested in linguistics < 1326768109 400409 :augur!~augur@c-75-74-128-170.hsd1.fl.comcast.net PRIVMSG #esoteric :oerjan: well you're in luck! i'm a linguist! < 1326768116 458705 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :there's also Deewiant < 1326768118 45748 :pir^2!~PiRSquare@wikipedia/PiRSquared17 PRIVMSG #esoteric :w00t < 1326768121 726037 :pir^2!~PiRSquare@wikipedia/PiRSquared17 PRIVMSG #esoteric :a linguist! < 1326768122 467645 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i said _somewhat_ < 1326768123 124138 :augur!~augur@c-75-74-128-170.hsd1.fl.comcast.net PRIVMSG #esoteric :Deewiant isnt a linguist < 1326768131 639900 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :no, he's finnish < 1326768146 44018 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :and atehwa < 1326768184 685419 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :and ineiros < 1326768228 953427 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :just to nickping all the ones i remember :P < 1326768297 854643 :pir^2!~PiRSquare@wikipedia/PiRSquared17 PRIVMSG #esoteric :Is there a word for people from Finnmark? < 1326768301 208518 :pir^2!~PiRSquare@wikipedia/PiRSquared17 PRIVMSG #esoteric :Finnmarkish? < 1326768305 870017 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :finnmarking < 1326768311 740987 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :(noun) < 1326768396 443387 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :normally we'd make the adjective by adding -sk, but that gets awkward when the word already ends in -rk... < 1326768458 184586 :pir^2!~PiRSquare@wikipedia/PiRSquared17 PRIVMSG #esoteric :Do you live in Finnmark? < 1326768480 66372 :pir^2!~PiRSquare@wikipedia/PiRSquared17 PRIVMSG #esoteric :(no need to answer...) < 1326768485 201174 :tswett!~Warrigal@171.64.42.221 PRIVMSG #esoteric :I might know! < 1326768509 207245 :hagb4rd!~perdito@koln-4d0b7112.pool.mediaWays.net PRIVMSG #esoteric :paimaväär? < 1326768517 621315 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :like "trøndersk" has 445000 google hits while "finnmarksk" only has 700 or so < 1326768525 808288 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :no, i live in Trøndelag < 1326768532 773809 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :(Trondheim) < 1326768562 431575 :tswett!~Warrigal@171.64.42.221 PRIVMSG #esoteric :paimaväär looks like a plausible Finnish word, though, as has been said, I don't think Finnish words commonly end in r. < 1326768598 186977 :tswett!~Warrigal@171.64.42.221 PRIVMSG #esoteric :On the other hand, the Finnish Wikipedia article "Koira" has no words at all ending in r, apart from words in other languages. < 1326768606 436011 :tswett!~Warrigal@171.64.42.221 PRIVMSG #esoteric :So... no. < 1326768614 807538 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :hm actually checking a couple other counties implies "trøndersk" might be the odd one out < 1326768615 637143 :tswett!~Warrigal@171.64.42.221 PRIVMSG #esoteric :`words 50 < 1326768620 581025 :ineiros!~itniemin@james.ics.hut.fi PRIVMSG #esoteric :Hilighting in the middle of the night. < 1326768621 46246 :HackEgo!codu@codu.org PRIVMSG #esoteric :gen fnh ovepo ffervedransag aga isperi writtr ipnley sual late kossen dia copin lley camatt capple hysia care hem oile pitia ress cour whiteropolle come < 1326768638 396673 :tswett!~Warrigal@171.64.42.221 PRIVMSG #esoteric :Are those supposed to be plausible English words, because... because... < 1326768654 593889 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :tswett: yep. < 1326768656 291055 :pir^2!~PiRSquare@wikipedia/PiRSquared17 PRIVMSG #esoteric :umm < 1326768659 568513 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :english is _weird_, man < 1326768660 220318 :pir^2!~PiRSquare@wikipedia/PiRSquared17 PRIVMSG #esoteric :`words 50 < 1326768666 434724 :HackEgo!codu@codu.org PRIVMSG #esoteric :pard mvl supe frenoy elmakener crealtic yrity seruntla tszew mastop nobwer whltcherline ret sphill ghen geffe coated smatrik orditry toight forgnific ath caffe minaniflb homodynin < 1326768671 985860 :tswett!~Warrigal@171.64.42.221 PRIVMSG #esoteric :What languages can it do? < 1326768673 644844 :tswett!~Warrigal@171.64.42.221 PRIVMSG #esoteric :All of them? < 1326768676 412383 :tswett!~Warrigal@171.64.42.221 PRIVMSG #esoteric :`words --spanish 50 < 1326768681 655356 :HackEgo!codu@codu.org PRIVMSG #esoteric :molizaglia yntesione estron debíalen tentrotaliza penio náis jinéis alleión tkopiesestraguay consen cermi fcpcct her bastonj desma plictoria morizacionas evolu hoolimporte prado kosorbelila indisti antate retambell < 1326768692 495720 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :*+s < 1326768704 719383 :hagb4rd!~perdito@koln-4d0b7112.pool.mediaWays.net PRIVMSG #esoteric :`words -- sindarin 50 < 1326768704 881203 :pir^2!~PiRSquare@wikipedia/PiRSquared17 PRIVMSG #esoteric :`words --french 50 < 1326768713 300194 :hagb4rd!~perdito@koln-4d0b7112.pool.mediaWays.net PRIVMSG #esoteric :`words --sindarin 50 < 1326768717 998373 :HackEgo!codu@codu.org PRIVMSG #esoteric :Unknown option: sindarin < 1326768719 393207 :HackEgo!codu@codu.org PRIVMSG #esoteric :Argument "sindarin" isn't numeric in int at /hackenv/bin/words line 147. \ < 1326768728 22750 :pir^2!~PiRSquare@wikipedia/PiRSquared17 PRIVMSG #esoteric :`words --french 50 < 1326768729 666017 :Mathnerd314!~chatzilla@dsl.6.28.53.206.cos.dyn.pcisys.net QUIT :Ping timeout: 248 seconds < 1326768732 613220 :pir^2!~PiRSquare@wikipedia/PiRSquared17 PRIVMSG #esoteric :... < 1326768733 634043 :HackEgo!codu@codu.org PRIVMSG #esoteric :burg concart traient albaction lutionstassi eluy massoix fufiel macation abinum aflad dof einetés logîa letaçoo trandas procb voh chus nac frigius trani fbcf mouchi ben < 1326768743 229050 :pir^2!~PiRSquare@wikipedia/PiRSquared17 PRIVMSG #esoteric :lulz < 1326768749 887588 :pir^2!~PiRSquare@wikipedia/PiRSquared17 PRIVMSG #esoteric :fbcf? < 1326768768 400517 :HackEgo!codu@codu.org PRIVMSG #esoteric :crock suddi agustympos hydrio rodults shimi agolge appel orèze morosco milauto hidussor perfè charging sitibus aliti tima guère ebate aniershaneguyeri incripteradjes gnatter nappé confeld éluct < 1326768778 632561 :tswett!~Warrigal@171.64.42.221 PRIVMSG #esoteric :Whelp. Some of those Spanish words are more likely than others. < 1326768803 971684 :tswett!~Warrigal@171.64.42.221 PRIVMSG #esoteric :"morizacionas"? Yes, definitely. "fcpcct"? No. < 1326768848 62477 :pir^2!~PiRSquare@wikipedia/PiRSquared17 PRIVMSG #esoteric :éluct la plè des agustympos < 1326768851 438228 :tswett!~Warrigal@171.64.42.221 PRIVMSG #esoteric :`words --german 50 < 1326768855 785378 :HackEgo!codu@codu.org PRIVMSG #esoteric :beschauf eriknm bewer spcne eleidiskaufbauer weibweizki geschachepur megassung folgepube erbaziffenerescher moden zuwachfarbe vollendessfei metaktorschi umredgingenblutur lottelle derin rollia krokalkonverhalthe pres stoff betheitsgestris drowerke türzeugeueren durcenssyrit < 1326768904 11437 :hagb4rd!~perdito@koln-4d0b7112.pool.mediaWays.net PRIVMSG #esoteric :it might be improvable < 1326768963 64949 :tswett!~Warrigal@171.64.42.221 PRIVMSG #esoteric :`words --scots 10 < 1326768966 512316 :HackEgo!codu@codu.org PRIVMSG #esoteric :Unknown option: scots < 1326768970 758106 :tswett!~Warrigal@171.64.42.221 PRIVMSG #esoteric :}:( < 1326769082 267264 :Sgeo!~sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :concart? Anything like concat? < 1326769118 351569 :pir^2!~PiRSquare@wikipedia/PiRSquared17 PRIVMSG #esoteric :`? concart < 1326769121 972154 :HackEgo!codu@codu.org PRIVMSG #esoteric :concart? ¯\(°_o)/¯ < 1326769193 111123 :tswett!~Warrigal@171.64.42.221 PRIVMSG #esoteric :Let's see. Part, supe, mastop, nobwer, ret, sphill, coated, smatrik, orditry, forgnific, ath, late, capple, care, hem, ress, come... < 1326769227 383422 :tswett!~Warrigal@171.64.42.221 PRIVMSG #esoteric :I just asked it for words and it said "guraul gei spokesfo pitte lausgen tbutylike unmiflex guan affympan cereaco vauli consalpa injr fair macaller sumab thrifog petero ghert wholog graz 942124.25 viilplant plum avelli" < 1326769232 455590 :tswett!~Warrigal@171.64.42.221 PRIVMSG #esoteric :One of those words is not like the others. < 1326769243 33543 :pir^2!~PiRSquare@wikipedia/PiRSquared17 PRIVMSG #esoteric :Please note: In less than 27 hours, < 1326769244 626651 :pir^2!~PiRSquare@wikipedia/PiRSquared17 PRIVMSG #esoteric :the English Wikipedia will be blacked out globally in protest of SOPA and PIPA. < 1326769246 128397 :pir^2!~PiRSquare@wikipedia/PiRSquared17 PRIVMSG #esoteric :Learn more < 1326769266 378242 :pir^2!~PiRSquare@wikipedia/PiRSquared17 PRIVMSG #esoteric :tswett: 942124.25 < 1326769278 485886 :pir^2!~PiRSquare@wikipedia/PiRSquared17 PRIVMSG #esoteric :XD < 1326769284 13127 :tswett!~Warrigal@171.64.42.221 PRIVMSG #esoteric :That is correct! < 1326769304 438029 :pir^2!~PiRSquare@wikipedia/PiRSquared17 PRIVMSG #esoteric :unmiflex! < 1326769408 972767 :hagb4rd!~perdito@koln-4d0b7112.pool.mediaWays.net PRIVMSG #esoteric :im sure there is no words in german ending with -knm or -ki.. there is also no german word with a 'standalone' c (only ck, or ch) < 1326769414 248825 :hagb4rd!~perdito@koln-4d0b7112.pool.mediaWays.net PRIVMSG #esoteric :this tool is crap < 1326769478 700503 :pir^2!~PiRSquare@wikipedia/PiRSquared17 PRIVMSG #esoteric :no < 1326769492 188700 :pir^2!~PiRSquare@wikipedia/PiRSquared17 PRIVMSG #esoteric :In my opinion it's very traeusal < 1326769499 376632 :hagb4rd!~perdito@koln-4d0b7112.pool.mediaWays.net PRIVMSG #esoteric :lol < 1326769532 240806 :pir^2!~PiRSquare@wikipedia/PiRSquared17 PRIVMSG #esoteric :It's also very imisreent < 1326769544 685678 :pir^2!~PiRSquare@wikipedia/PiRSquared17 PRIVMSG #esoteric :...or is that a noun? < 1326769562 223578 :tswett!~Warrigal@171.64.42.221 PRIVMSG #esoteric :Oh my god best word ever: "wapellessly" < 1326769575 902171 :pir^2!~PiRSquare@wikipedia/PiRSquared17 PRIVMSG #esoteric ::D < 1326769590 123789 :tswett!~Warrigal@171.64.42.221 PRIVMSG #esoteric :It's an 14O:B-quality word. < 1326769607 708962 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :hagb4rd: i won't be on the -ki, germans have some fearsome diminutives < 1326769611 320972 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :*bet < 1326769670 513196 :hagb4rd!~perdito@koln-4d0b7112.pool.mediaWays.net PRIVMSG #esoteric :its mostly -ei -er -ig -en < 1326769693 594023 :hagb4rd!~perdito@koln-4d0b7112.pool.mediaWays.net PRIVMSG #esoteric :+ending with < 1326769748 123317 :tswett!~Warrigal@171.64.42.221 PRIVMSG #esoteric :"mcgockeleof". That makes me imagine some guy named George McGockelEOF. < 1326769763 732491 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :(see: Schnappi) < 1326769774 630664 :hagb4rd!~perdito@koln-4d0b7112.pool.mediaWays.net PRIVMSG #esoteric :you know schnappi? :) < 1326769781 140984 :hagb4rd!~perdito@koln-4d0b7112.pool.mediaWays.net PRIVMSG #esoteric :the crocodile? < 1326769796 473842 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :and Heidi. i cannot actually recall any german name in -ki, though < 1326769803 676219 :hagb4rd!~perdito@koln-4d0b7112.pool.mediaWays.net PRIVMSG #esoteric :oh yes and i < 1326769814 90248 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :hagb4rd: how could i possibly have avoided Schnappi < 1326769828 493986 :hagb4rd!~perdito@koln-4d0b7112.pool.mediaWays.net PRIVMSG #esoteric :hehe < 1326769836 142057 :hagb4rd!~perdito@koln-4d0b7112.pool.mediaWays.net PRIVMSG #esoteric :amazing facts < 1326769875 315107 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :there was a norwegian actor with nickname "Henki" though, is that a german name? < 1326769914 425209 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i guess it was short for henrik, though < 1326769919 713979 :hagb4rd!~perdito@koln-4d0b7112.pool.mediaWays.net PRIVMSG #esoteric :the i ending is used in cases of belittlement < 1326769923 168552 :hagb4rd!~perdito@koln-4d0b7112.pool.mediaWays.net PRIVMSG #esoteric :exactly < 1326769935 220679 :hagb4rd!~perdito@koln-4d0b7112.pool.mediaWays.net PRIVMSG #esoteric :its like tom and tommy < 1326769950 721956 :hagb4rd!~perdito@koln-4d0b7112.pool.mediaWays.net PRIVMSG #esoteric :know what i mean? < 1326769978 903787 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :well in english i think tommy is short (um...) for tom, which is short for thomas. < 1326769996 615477 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :
ACTION recalls there was a hilarious blackadder sketch about this
< 1326770004 235951 :hagb4rd!~perdito@koln-4d0b7112.pool.mediaWays.net PRIVMSG #esoteric :see also jennifer -> jenny < 1326770022 596259 :hagb4rd!~perdito@koln-4d0b7112.pool.mediaWays.net PRIVMSG #esoteric :bob - > bobby < 1326770037 571849 :hagb4rd!~perdito@koln-4d0b7112.pool.mediaWays.net PRIVMSG #esoteric :and so on < 1326770098 937487 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :bob is short for robert < 1326770118 896992 :hagb4rd!~perdito@koln-4d0b7112.pool.mediaWays.net PRIVMSG #esoteric :yea.. but you agree that tommy is not "short" for tom < 1326770119 590762 :pir^2!~PiRSquare@wikipedia/PiRSquared17 PRIVMSG #esoteric :bobby is long for bob < 1326770129 332552 :pir^2!~PiRSquare@wikipedia/PiRSquared17 PRIVMSG #esoteric :well < 1326770130 773914 :hagb4rd!~perdito@koln-4d0b7112.pool.mediaWays.net PRIVMSG #esoteric :won't ya < 1326770240 332172 :hagb4rd!~perdito@koln-4d0b7112.pool.mediaWays.net PRIVMSG #esoteric :i'm not sure 'belittlement' is the right translation.. my dict also says: minimization < 1326770389 79081 :hagb4rd!~perdito@koln-4d0b7112.pool.mediaWays.net PRIVMSG #esoteric :schnappi would be the minimized form of 'schnapper' < 1326770416 871752 :hagb4rd!~perdito@koln-4d0b7112.pool.mediaWays.net PRIVMSG #esoteric :schnappen means to snap < 1326770431 886743 :kmc!~keegan@c-98-216-51-47.hsd1.ma.comcast.net PRIVMSG #esoteric :the usual word in english for this sort of construct is "diminutive" < 1326770439 863055 :hagb4rd!~perdito@koln-4d0b7112.pool.mediaWays.net PRIVMSG #esoteric :thx < 1326770448 928207 :hagb4rd!~perdito@koln-4d0b7112.pool.mediaWays.net PRIVMSG #esoteric :consider it noted :) < 1326770490 110407 :Sgeo!~sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :kmc, what do you think about exposing events as Sources? < 1326770496 714989 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :hey i already said that :( < 1326770497 12844 :kmc!~keegan@c-98-216-51-47.hsd1.ma.comcast.net PRIVMSG #esoteric :what's a Source < 1326770519 79764 :Sgeo!~sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :kmc, the Conduit equiv. of Enumerators < 1326770520 133472 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :source of all evil < 1326770530 418532 :hagb4rd!~perdito@koln-4d0b7112.pool.mediaWays.net PRIVMSG #esoteric :oh sorry oerjan < 1326770560 135967 :kmc!~keegan@c-98-216-51-47.hsd1.ma.comcast.net PRIVMSG #esoteric :i don't know much about Conduit yet < 1326770563 689703 :kmc!~keegan@c-98-216-51-47.hsd1.ma.comcast.net PRIVMSG #esoteric :did you ask #haskell < 1326770584 308918 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :hask and you shall ell < 1326770593 973961 :Sgeo!~sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :Yeah, but maybe too casually for anyone to take note? < 1326770626 396034 :kmc!~keegan@c-98-216-51-47.hsd1.ma.comcast.net PRIVMSG #esoteric :you have to start out by saying "HASKELL SUX CUZ I CANT IO Int -> Int" < 1326770637 875961 :kmc!~keegan@c-98-216-51-47.hsd1.ma.comcast.net PRIVMSG #esoteric :once you have their attention you can tell them what you're really trying to do < 1326770842 269485 :hagb4rd!~perdito@koln-4d0b7112.pool.mediaWays.net PRIVMSG #esoteric :yep oerjan..in hindsight everything you said is right < 1326770972 634396 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :AS ALWAYS < 1326771045 528205 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :which can get quite embarassing. like that time i foolishly said that Stockholm is the capital of Sweden. < 1326771133 881927 :Sgeo!~sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :
ACTION doesn't get it
< 1326771152 421472 :hagb4rd!~perdito@koln-4d0b7112.pool.mediaWays.net PRIVMSG #esoteric :its not? < 1326771160 763275 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :hagb4rd: well _now_ it is. < 1326771189 882748 :shachaf!~shachaf@ip24.67-202-82.static.steadfastdns.net PRIVMSG #esoteric :ESOTERIC SUX CUZ I CANT IO Int -> Void < 1326771229 572280 :pir^2!~PiRSquare@wikipedia/PiRSquared17 PRIVMSG #esoteric :... < 1326771587 669939 :pir^2!~PiRSquare@wikipedia/PiRSquared17 PRIVMSG #esoteric :BRAINFUCK SUX CUZ I CANT SOLVE THE HALTING PROBLEM < 1326771588 531410 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com PRIVMSG #esoteric :What do you mean by those things? < 1326771623 766398 :pir^2!~PiRSquare@wikipedia/PiRSquared17 PRIVMSG #esoteric :zzo38: what? < 1326771635 163853 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com PRIVMSG #esoteric :There is (IO Int -> Int) using unsafePerformIO but you shouldn't use that usually < 1326771653 23889 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com PRIVMSG #esoteric :pir^2: I was mentioning "ESOTERIC SUX CUZ I CANT IO Int -> Void" < 1326771686 538815 :pir^2!~PiRSquare@wikipedia/PiRSquared17 PRIVMSG #esoteric :http://i.imgur.com/YY3LI.png < 1326771688 779339 :itidus21!~itidus21@120.148.51.249 PRIVMSG #esoteric :if the halting problem is solved it might coincide with the end of the universe < 1326771702 298014 :pir^2!~PiRSquare@wikipedia/PiRSquared17 PRIVMSG #esoteric :yay < 1326771720 675843 :itidus21!~itidus21@120.148.51.249 PRIVMSG #esoteric :if the universe can end then the halting problem is solved :-? < 1326771760 116062 :pir^2!~PiRSquare@wikipedia/PiRSquared17 PRIVMSG #esoteric :only practically < 1326771770 173006 :pir^2!~PiRSquare@wikipedia/PiRSquared17 PRIVMSG #esoteric :Turing machines are theoretical < 1326771772 44524 :itidus21!~itidus21@120.148.51.249 PRIVMSG #esoteric :oh < 1326771776 745000 :itidus21!~itidus21@120.148.51.249 PRIVMSG #esoteric :bummer < 1326771780 577548 :pir^2!~PiRSquare@wikipedia/PiRSquared17 PRIVMSG #esoteric :well < 1326771783 975687 :itidus21!~itidus21@120.148.51.249 PRIVMSG #esoteric ::P < 1326771785 551313 :pir^2!~PiRSquare@wikipedia/PiRSquared17 PRIVMSG #esoteric :nobody will care < 1326771796 181830 :pir^2!~PiRSquare@wikipedia/PiRSquared17 PRIVMSG #esoteric :(unless they're from another universe) < 1326771824 145707 :hagb4rd!~perdito@koln-4d0b7112.pool.mediaWays.net PRIVMSG #esoteric :singularity goes a long way < 1326771828 350373 :itidus21!~itidus21@120.148.51.249 PRIVMSG #esoteric :so what is the halting problem again? whether a program will halt? < 1326771873 368229 :pir^2!~PiRSquare@wikipedia/PiRSquared17 PRIVMSG #esoteric :Write a program to determine whether arbitrary Turing machines halt? < 1326771966 469476 :pir^2!~PiRSquare@wikipedia/PiRSquared17 PRIVMSG #esoteric :http://esoteric.voxelperfect.net/wiki/Weight_Loss_Clinic_Calgary ... < 1326771990 380809 :pir^2!~PiRSquare@wikipedia/PiRSquared17 PRIVMSG #esoteric :For more information, please follow me.. Lefebre Calgary Clinics - Medical Diet since 1998.. Welcome to the Lefebre clinic.. Call today.. The clinic is available ZERONA Dr.. Lefebre! . < 1326771990 607047 :Zuu!zuu@unaffiliated/zuu QUIT :Ping timeout: 252 seconds < 1326771993 670440 :itidus21!~itidus21@120.148.51.249 PRIVMSG #esoteric :the probelm of course is that if you could do that then you never needed the turing machine < 1326772006 576247 :Zuu!zuu@unaffiliated/zuu JOIN :#esoteric < 1326772080 579693 :kmc!~keegan@c-98-216-51-47.hsd1.ma.comcast.net PRIVMSG #esoteric :what < 1326772082 420059 :itidus21!~itidus21@120.148.51.249 PRIVMSG #esoteric :hmm < 1326772086 361892 :itidus21!~itidus21@120.148.51.249 PRIVMSG #esoteric :nevermind < 1326772104 996 :pir^2!~PiRSquare@wikipedia/PiRSquared17 PRIVMSG #esoteric :... < 1326772106 744717 :pir^2!~PiRSquare@wikipedia/PiRSquared17 PRIVMSG #esoteric :???????????? < 1326772116 322301 :pir^2!~PiRSquare@wikipedia/PiRSquared17 PRIVMSG #esoteric :"you never needed the turing machine" < 1326772118 722349 :hagb4rd!~perdito@koln-4d0b7112.pool.mediaWays.net PRIVMSG #esoteric :finally im confused < 1326772134 304526 :pir^2!~PiRSquare@wikipedia/PiRSquared17 PRIVMSG #esoteric :lol < 1326772136 7060 :itidus21!~itidus21@120.148.51.249 PRIVMSG #esoteric :so, when programming a turing machine, does the programmer tend to know whether it will halt? < 1326772141 614907 :pir^2!~PiRSquare@wikipedia/PiRSquared17 PRIVMSG #esoteric :
ACTION is laughing at "you never needed the turing machine"
< 1326772144 442760 :kmc!~keegan@c-98-216-51-47.hsd1.ma.comcast.net PRIVMSG #esoteric :yes < 1326772156 24686 :pir^2!~PiRSquare@wikipedia/PiRSquared17 PRIVMSG #esoteric :XD < 1326772156 586734 :itidus21!~itidus21@120.148.51.249 PRIVMSG #esoteric :kmc: and so, how does he know? < 1326772168 827591 :kmc!~keegan@c-98-216-51-47.hsd1.ma.comcast.net PRIVMSG #esoteric :by writing a proof, in some sense < 1326772177 593360 :kmc!~keegan@c-98-216-51-47.hsd1.ma.comcast.net PRIVMSG #esoteric :you're asking "when you write a program, how do you know what it does" < 1326772187 728694 :itidus21!~itidus21@120.148.51.249 PRIVMSG #esoteric :yeah < 1326772187 890413 :Sgeo!~sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :For some turing machines, it's possible for a turing machine to determine whether or not it halts. But no turing machine can say perfectly 100% of the time < 1326772189 652352 :itidus21!~itidus21@120.148.51.249 PRIVMSG #esoteric :i guess so < 1326772197 930307 :itidus21!~itidus21@120.148.51.249 PRIVMSG #esoteric :i am < 1326772203 986694 :kmc!~keegan@c-98-216-51-47.hsd1.ma.comcast.net PRIVMSG #esoteric :humans have some capacity to generate proofs < 1326772204 720005 :Sgeo!~sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :Either it fails to answer sometimes, or gives false positives, or false negatives, or 2 or more of the above < 1326772205 575379 :kmc!~keegan@c-98-216-51-47.hsd1.ma.comcast.net PRIVMSG #esoteric :so do computers < 1326772227 167172 :pir^2!~PiRSquare@wikipedia/PiRSquared17 PRIVMSG #esoteric :all computer programs halt < 1326772236 567607 :pir^2!~PiRSquare@wikipedia/PiRSquared17 PRIVMSG #esoteric :*in practice < 1326772281 37099 :kmc!~keegan@c-98-216-51-47.hsd1.ma.comcast.net PRIVMSG #esoteric :"does it halt" is just one example of the general problem of predicting program behavior < 1326772315 745273 :Sgeo!~sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :There exist programs for which humans are uncertain about whether they will halt < 1326772346 601275 :kmc!~keegan@c-98-216-51-47.hsd1.ma.comcast.net PRIVMSG #esoteric :yeah, like the program that finds counterexamples to < 1326772386 531712 :pir^2!~PiRSquare@wikipedia/PiRSquared17 PRIVMSG #esoteric :Collatz conjecture? Goldbach conjecture? P vs NP? True? < 1326772398 188303 :pir^2!~PiRSquare@wikipedia/PiRSquared17 PRIVMSG #esoteric :I just solved True < 1326772408 166981 :kmc!~keegan@c-98-216-51-47.hsd1.ma.comcast.net PRIVMSG #esoteric :yeah collatz is a good example < 1326772495 15688 :pir^2!~PiRSquare@wikipedia/PiRSquared17 PRIVMSG #esoteric :
ACTION -> HOTPO -> 1 -> 2 -> 1 -> 2...
< 1326772665 711254 :kmc!~keegan@c-98-216-51-47.hsd1.ma.comcast.net PRIVMSG #esoteric :itidus21, it's easy to generate a proof that some machine halts on some specific input < 1326772672 133559 :kmc!~keegan@c-98-216-51-47.hsd1.ma.comcast.net PRIVMSG #esoteric :it's just a trace of the execution of that machine < 1326772689 940681 :kmc!~keegan@c-98-216-51-47.hsd1.ma.comcast.net PRIVMSG #esoteric :but if the machine doesn't halt, it's hard to prove that < 1326772734 793055 :kmc!~keegan@c-98-216-51-47.hsd1.ma.comcast.net PRIVMSG #esoteric :though in some cases it's easy, for example if it enters the exact same state twice < 1326772738 227913 :kmc!~keegan@c-98-216-51-47.hsd1.ma.comcast.net PRIVMSG #esoteric :it may also be hard to prove that a machine halts for *all* inputs < 1326772858 534361 :pir^2!~PiRSquare@wikipedia/PiRSquared17 PRIVMSG #esoteric :!finnmark bye < 1326772921 301489 :pir^2!~PiRSquare@wikipedia/PiRSquared17 QUIT :Quit: I have discovered a truly marvelous demonstration of this proposition that this quit message is too narrow to contain < 1326772939 294509 :MDude!~fyrc@or-67-238-19-212.dhcp.embarqhsd.net NICK :MSleep < 1326772947 692497 :pikhq_!~pikhq@71-219-250-210.clsp.qwest.net PRIVMSG #esoteric :All computer programs halt if your notion of "halting" includes heat death. :P < 1326772984 325359 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :pikhq_: NOT IN THEORETICAL LAND DAWG < 1326773091 239118 :pikhq_!~pikhq@71-219-250-210.clsp.qwest.net PRIVMSG #esoteric :itidus21: You seem utterly confused about the halting problem. :) < 1326773120 325578 :hagb4rd!~perdito@koln-4d0b7112.pool.mediaWays.net PRIVMSG #esoteric :hm, so 4,2,1 would make an endless loop? < 1326773137 71831 :hagb4rd!~perdito@koln-4d0b7112.pool.mediaWays.net PRIVMSG #esoteric :if not catched? < 1326773187 219217 :hagb4rd!~perdito@koln-4d0b7112.pool.mediaWays.net PRIVMSG #esoteric :okay. < 1326774115 100665 :hagb4rd!~perdito@koln-4d0b7112.pool.mediaWays.net PRIVMSG #esoteric :the 500 bucks are already mine..muahrhr < 1326775046 658422 :itidus21!~itidus21@120.148.51.249 PRIVMSG #esoteric :seems to me that several guys will solve the halting problem without knowing each other and be super famous for it 50 years later < 1326775483 485355 :pikhq_!~pikhq@71-219-250-210.clsp.qwest.net PRIVMSG #esoteric :itidus21: Turing already proved it was impossible. < 1326775496 177509 :pikhq_!~pikhq@71-219-250-210.clsp.qwest.net PRIVMSG #esoteric :Unless there's a glaring flaw in his proof, done. < 1326775513 816430 :itidus21!~itidus21@120.148.51.249 PRIVMSG #esoteric :i got confused by " BRAINFUCK SUX CUZ I CANT SOLVE THE HALTING PROBLEM" < 1326775521 752603 :kmc!~keegan@c-98-216-51-47.hsd1.ma.comcast.net PRIVMSG #esoteric :or unless we change to different definitions < 1326775526 180759 :kmc!~keegan@c-98-216-51-47.hsd1.ma.comcast.net PRIVMSG #esoteric :itidus21, it was an intentionally dumb statement < 1326775557 470216 :itidus21!~itidus21@120.148.51.249 PRIVMSG #esoteric : d'oh < 1326775569 208978 :kmc!~keegan@c-98-216-51-47.hsd1.ma.comcast.net PRIVMSG #esoteric :all caps, bad grammar and spelling < 1326775625 598096 :itidus21!~itidus21@120.148.51.249 PRIVMSG #esoteric :i understood that it was a mockery, but i didn't realize that the meaning of it was also wrong < 1326775669 439564 :kmc!~keegan@c-98-216-51-47.hsd1.ma.comcast.net PRIVMSG #esoteric :it's very easy to prove the halting problem is impossible < 1326775707 572869 :kmc!~keegan@c-98-216-51-47.hsd1.ma.comcast.net PRIVMSG #esoteric :suppose (by contradiction) that you have a function halts(f) = true if f(x) halts for all x, halts(f) = false if f(x) loops for some x < 1326775740 767551 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :
ACTION swats kmc for misrepresenting the problem -----###
< 1326775742 985595 :kmc!~keegan@c-98-216-51-47.hsd1.ma.comcast.net PRIVMSG #esoteric :now define the function g(x): if (halts(g)) then { loop forever } else { return } < 1326775753 904536 :kmc!~keegan@c-98-216-51-47.hsd1.ma.comcast.net PRIVMSG #esoteric :oh misrepresenting how? < 1326775755 850031 :itidus21!~itidus21@120.148.51.249 PRIVMSG #esoteric :all that matters to me is that it's solved :D < 1326775766 58973 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :x is supposed to be an argument to halts as well < 1326775789 628257 :itidus21!~itidus21@120.148.51.249 PRIVMSG #esoteric :x is a free variable :P < 1326775798 795069 :kmc!~keegan@c-98-216-51-47.hsd1.ma.comcast.net PRIVMSG #esoteric :aren't both problems unsolvable, though < 1326775803 90403 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :probably. < 1326775827 381776 :kmc!~keegan@c-98-216-51-47.hsd1.ma.comcast.net PRIVMSG #esoteric :anyway the only subtlety is that g needs a copy of its own description < 1326775836 360266 :itidus21!~itidus21@120.148.51.249 PRIVMSG #esoteric :by solved i probably mean that we realize it's unsolved < 1326775848 795997 :kmc!~keegan@c-98-216-51-47.hsd1.ma.comcast.net PRIVMSG #esoteric :and it's not obvious that you can do this < 1326775850 811617 :itidus21!~itidus21@120.148.51.249 PRIVMSG #esoteric :s/unsolved/unsolvable < 1326775853 766867 :kmc!~keegan@c-98-216-51-47.hsd1.ma.comcast.net PRIVMSG #esoteric :but you can < 1326775879 991487 :kmc!~keegan@c-98-216-51-47.hsd1.ma.comcast.net PRIVMSG #esoteric :in mathematics this is known as Kleene's recursion theorem < 1326775885 700686 :kmc!~keegan@c-98-216-51-47.hsd1.ma.comcast.net PRIVMSG #esoteric :in esoteric programming it is known as writing quines :) < 1326775912 364313 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com PRIVMSG #esoteric :If there are an infinite number of possible inputs, can you make a function that stops if and only if the program you are testing will stop for all inputs? < 1326775921 824328 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :g(x) = if halts(x,x) then { loop forever } else { return } < 1326775959 140885 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com PRIVMSG #esoteric :Those g(x) stuff have been described in book Godel, Escher, Bach, although using Godel numbering instead of like that. < 1326776014 907378 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :then ask if halts(g,g) is true or not < 1326776239 430739 :kmc!~keegan@c-98-216-51-47.hsd1.ma.comcast.net PRIVMSG #esoteric :yeah, that's better < 1326776422 386877 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :your version can be reduced to this by defining myhalts(g,x) = yourhalts(\y -> g(x)), i think < 1326776491 331941 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :(and of course if you want to be really precise, you should not confuse the notation for functions and the strings representing them) < 1326776557 982715 :kmc!~keegan@c-98-216-51-47.hsd1.ma.comcast.net PRIVMSG #esoteric :yeah < 1326776578 213751 :kmc!~keegan@c-98-216-51-47.hsd1.ma.comcast.net PRIVMSG #esoteric :that reminds me of C#, where lambda is also a quote < 1326776633 597070 :Sgeo!~sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :"lambda is also a quote"? < 1326776740 152941 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :istr old lisps also confused lambdas and their list representation; of course lisp is designed to make that almost harmless < 1326776761 207517 :kmc!~keegan@c-98-216-51-47.hsd1.ma.comcast.net PRIVMSG #esoteric :Sgeo, if you have a function value that came from a lambda, you can also inspect the syntax tree of its definition < 1326776771 862734 :kmc!~keegan@c-98-216-51-47.hsd1.ma.comcast.net PRIVMSG #esoteric :it should be noted that I haven't used C# and just read about this once < 1326776781 966046 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :(the "almost" is because afaiu it essentially forces dynamical scoping) < 1326776821 328339 :kmc!~keegan@c-98-216-51-47.hsd1.ma.comcast.net PRIVMSG #esoteric :similarly if f is a function in CPython, you can use f.func_code to get its bytecode < 1326776822 36077 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :or well, non-lexical < 1326776873 164501 :kmc!~keegan@c-98-216-51-47.hsd1.ma.comcast.net PRIVMSG #esoteric :i think there is other harm < 1326776882 190361 :kmc!~keegan@c-98-216-51-47.hsd1.ma.comcast.net PRIVMSG #esoteric :you lose the ability to treat functions as black boxes < 1326776898 493457 :kmc!~keegan@c-98-216-51-47.hsd1.ma.comcast.net PRIVMSG #esoteric :you lose abstraction < 1326776920 484124 :kmc!~keegan@c-98-216-51-47.hsd1.ma.comcast.net PRIVMSG #esoteric :if i pass a function to some library, that library can care about the implementation details of my function < 1326776946 876351 :Sgeo!~sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :Picolisp has very not-black-box functions < 1326776950 21301 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com PRIVMSG #esoteric :If you have a newspaper, tell me what the "horoscope" section says (including the dates) and tell me your timezone. I wish to try an experiment with them < 1326776965 663826 :kmc!~keegan@c-98-216-51-47.hsd1.ma.comcast.net PRIVMSG #esoteric :"news... paper"? < 1326776980 494546 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com PRIVMSG #esoteric :Yes, a newspaper. Do you have one? < 1326778428 139113 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com PRIVMSG #esoteric :If the newspaper was published in a different timezone as your own, I would like their timezone as well as yours. < 1326779671 426687 :NicePants!~rachel@c-68-36-154-245.hsd1.nj.comcast.net JOIN :#esoteric < 1326782405 850017 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com PRIVMSG #esoteric :Are there any quad precision floating point in Haskell? < 1326782624 240616 :hagb4rd!~perdito@koln-4d0b7112.pool.mediaWays.net PRIVMSG #esoteric :http://hackage.haskell.org/packages/archive/Decimal/0.1.0/doc/html/Data-Decimal.html < 1326782625 733585 :hagb4rd!~perdito@koln-4d0b7112.pool.mediaWays.net PRIVMSG #esoteric :öfde < 1326782639 254419 :hagb4rd!~perdito@koln-4d0b7112.pool.mediaWays.net PRIVMSG #esoteric :precise enough? < 1326782744 416610 :kmc!~keegan@c-98-216-51-47.hsd1.ma.comcast.net PRIVMSG #esoteric :that's... not floating point < 1326782752 289598 :hagb4rd!~perdito@koln-4d0b7112.pool.mediaWays.net PRIVMSG #esoteric :nope < 1326782769 804445 :kmc!~keegan@c-98-216-51-47.hsd1.ma.comcast.net PRIVMSG #esoteric :there's a binding to mpfr but it has hella caveats < 1326782772 369422 :kmc!~keegan@c-98-216-51-47.hsd1.ma.comcast.net PRIVMSG #esoteric :http://hackage.haskell.org/package/hmpfr < 1326782776 987343 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com PRIVMSG #esoteric :No; I need logarithms and trigonometry < 1326782922 380877 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com PRIVMSG #esoteric :O, OK, yes hmpfr includes trigonometry. But it says there is errors on it < 1326783644 976830 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com PRIVMSG #esoteric :Do you know if there is any ephemeris softwares for Haskell, or how to make such a things? < 1326783647 437546 :Klisz!~Klisz@c-67-161-147-186.hsd1.co.comcast.net QUIT :Quit: SLEEP, GLORIOUS SLEEP < 1326783849 442377 :shachaf!~shachaf@ip24.67-202-82.static.steadfastdns.net PRIVMSG #esoteric :kmc: Sorry. :-( < 1326783858 704185 :kmc!~keegan@c-98-216-51-47.hsd1.ma.comcast.net PRIVMSG #esoteric :what did you do? < 1326783870 422715 :kmc!~keegan@c-98-216-51-47.hsd1.ma.comcast.net PRIVMSG #esoteric :or, is that the other kind of "sorry" < 1326783888 998296 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com PRIVMSG #esoteric :Not speaking English to the President. < 1326783902 763449 :shachaf!~shachaf@ip24.67-202-82.static.steadfastdns.net PRIVMSG #esoteric :Oh, I thought you left because of my kmc-blood-pressure joke. < 1326783920 867898 :shachaf!~shachaf@ip24.67-202-82.static.steadfastdns.net PRIVMSG #esoteric :Which I'll admit wasn't a particularly good one. < 1326783939 656887 :kmc!~keegan@c-98-216-51-47.hsd1.ma.comcast.net PRIVMSG #esoteric :no, i left because people were saying dumb things and I did not feel like correcting them < 1326783947 718485 :kmc!~keegan@c-98-216-51-47.hsd1.ma.comcast.net PRIVMSG #esoteric :which was also probably why you made the joke < 1326783949 467291 :hagb4rd!~perdito@koln-4d0b7112.pool.mediaWays.net PRIVMSG #esoteric :i just wonder why there is such a discrepance in the terminology of quad precision between german and english sources. in german quad precision describes any format using 4 'units' of memory, while the english ones determines it to floats..strange < 1326784049 689629 :shachaf!~shachaf@ip24.67-202-82.static.steadfastdns.net PRIVMSG #esoteric :Ah. Fair enough. < 1326784051 382833 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com PRIVMSG #esoteric :bagb4rd: I did specify floating point, at least. < 1326784059 738377 :hagb4rd!~perdito@koln-4d0b7112.pool.mediaWays.net PRIVMSG #esoteric :yes < 1326784469 726908 :pikhq_!~pikhq@71-219-250-210.clsp.qwest.net QUIT :Ping timeout: 240 seconds < 1326784471 314895 :pikhq!~pikhq@71-219-198-222.clsp.qwest.net JOIN :#esoteric < 1326785046 852391 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com PRIVMSG #esoteric :Is there a way in Haskell to make a Double value with is large or infinite? < 1326785164 93229 :kmc!~keegan@c-98-216-51-47.hsd1.ma.comcast.net PRIVMSG #esoteric :> 1 / 0 < 1326785164 846115 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : Infinity < 1326785330 485182 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :wow SPJ's article on the STG is insane. < 1326785338 737372 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :I'm afraid I only understand bits and pieces of it. < 1326785358 417936 :kmc!~keegan@c-98-216-51-47.hsd1.ma.comcast.net PRIVMSG #esoteric :which one? < 1326785371 965632 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :the one that someone linked me. < 1326785388 458748 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :Implementing lazy functional languages on stock hardware: the spineless tagless g-machine < 1326785393 639539 :kmc!~keegan@c-98-216-51-47.hsd1.ma.comcast.net PRIVMSG #esoteric :that's a cool paper < 1326785398 455415 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :yes < 1326785411 604069 :kmc!~keegan@c-98-216-51-47.hsd1.ma.comcast.net PRIVMSG #esoteric :if you read that one and also "Typing Haskell in Haskell" then you will have most of the specific knowledge to write a decent Haskell compiler < 1326785422 149913 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :I understand the general points, some of the implementation bits so far, and the actual STG language itself. < 1326785440 507875 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :I don't fully understand the in-memory representation < 1326785451 131545 :kmc!~keegan@c-98-216-51-47.hsd1.ma.comcast.net PRIVMSG #esoteric :"How to make a fast curry" is another good paper that picks up from where the STG one ends < 1326785466 68399 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :just that it's always a closure with free variables. < 1326785513 360904 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :this is mainly because, as of late, my short term memory has been getting even worse than previously. :P < 1326785533 965672 :kmc!~keegan@c-98-216-51-47.hsd1.ma.comcast.net PRIVMSG #esoteric :the in-memory representation of closures (including data and thunks) is in "Figure 4: The layout of a closure" on page 46 in my copy < 1326785565 118989 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :oh I haven't gotten there < 1326785568 718761 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :I am all the way on page 29 < 1326785584 359564 :kmc!~keegan@c-98-216-51-47.hsd1.ma.comcast.net PRIVMSG #esoteric :there's a pointer to an "info table", followed by whatever data fields (for constructors) or free variables (for thunks and function closures) < 1326785604 110304 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :right < 1326785607 480999 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :yes that's what I meant < 1326785609 17322 :kmc!~keegan@c-98-216-51-47.hsd1.ma.comcast.net PRIVMSG #esoteric :the info table is static data; roughly speaking there's one for each lambda in the source, and one for each ADT constructor < 1326785633 351134 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :yes I was reading about how closures can be reused and such. < 1326785652 856497 :kmc!~keegan@c-98-216-51-47.hsd1.ma.comcast.net PRIVMSG #esoteric :and i guess one for each let binding, to implement that thunk < 1326785658 530891 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :yes < 1326785670 531675 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :it treats all the lets as "lambda forms" even if they have zero arguments < 1326785695 122944 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :(which kind of brings some truth to the "zero argument function" claim... I guess at an operational level) < 1326785700 641241 :kmc!~keegan@c-98-216-51-47.hsd1.ma.comcast.net PRIVMSG #esoteric :heh < 1326785703 593187 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :of course mathematically a zero-argument function is meaningless. < 1326785742 665331 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :looool I love taking the easy way out on easy math homework. < 1326785776 347636 :kmc!~keegan@c-98-216-51-47.hsd1.ma.comcast.net PRIVMSG #esoteric :right, it's also meaningless at the level of haskell semantics < 1326785781 351075 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :kmc: yes < 1326785791 995957 :kmc!~keegan@c-98-216-51-47.hsd1.ma.comcast.net PRIVMSG #esoteric :it might be a reasonable way to understand the implementation details of certain haskell compilers < 1326785793 85220 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :not that I actually know anything about haskell semantics < 1326785801 474334 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :I just... know that it wouldn't make any sense. intuitively. < 1326785820 584356 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :we're starting the course with some set theory. One of the questions asks for a subset of the powerset of the integers. I answer with the empty set. :P < 1326785831 43371 :kmc!~keegan@c-98-216-51-47.hsd1.ma.comcast.net PRIVMSG #esoteric :likewise GHC implements multi-argument functions as multi-argument functions, even where the semantics say they are curried single-argument functions < 1326785844 731502 :kmc!~keegan@c-98-216-51-47.hsd1.ma.comcast.net PRIVMSG #esoteric :haha < 1326785846 681479 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :of course those "zero argument functions", being thunks, will be overwritten after evaluation < 1326785852 525484 :kmc!~keegan@c-98-216-51-47.hsd1.ma.comcast.net PRIVMSG #esoteric :best subset ever < 1326785869 245996 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :the subsetiest of all < 1326785874 643065 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :hm i guess that's true of non-zero ones too < 1326785896 344843 :kmc!~keegan@c-98-216-51-47.hsd1.ma.comcast.net PRIVMSG #esoteric :a thunk wouldn't ever have arguments < 1326785902 234822 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :now it wants an element from the powerset of integers < 1326785905 585729 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :I think I'm gonna have to go with... < 1326785906 972884 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :empty set. < 1326785908 775978 :kmc!~keegan@c-98-216-51-47.hsd1.ma.comcast.net PRIVMSG #esoteric :haha < 1326785940 574881 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :AAAAAAUGH NOW THERE'S A CARDINALITY RESTRAINT? < 1326785942 234419 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :WHAT IS THIS SHIT. < 1326785947 463711 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :I HAVE TO ENUMERATE THINGS? < 1326785948 375873 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :FUCK THIS < 1326785948 765822 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :kmc: but if it closes over variables, those will be effectively the arguments to whatever function implements the thunk < 1326785949 816382 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :
ACTION quites.
< 1326785970 536106 :kmc!~keegan@c-98-216-51-47.hsd1.ma.comcast.net PRIVMSG #esoteric :oerjan, i guess you can look at it that way < 1326785983 601146 :kmc!~keegan@c-98-216-51-47.hsd1.ma.comcast.net PRIVMSG #esoteric :STG makes a distinction between free variables and arguments < 1326785996 307713 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :ugh so many squiggly brackets on paper, and I'm so bad at writing them. < 1326786001 641851 :kmc!~keegan@c-98-216-51-47.hsd1.ma.comcast.net PRIVMSG #esoteric :the code finds them in different places, iirc < 1326786001 877352 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :kmc: indeed < 1326786031 620561 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :I found using the closures of data values to implement optimizations an interesting idea. < 1326786036 816408 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :I'm guessing there's more detail later. < 1326786042 997335 :kmc!~keegan@c-98-216-51-47.hsd1.ma.comcast.net PRIVMSG #esoteric :what idea is that? < 1326786044 956324 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :the paper covers quite a bit of the top-level in the first few pages. < 1326786078 558102 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :kmc: the paper mentions that you could do things like copy values to registers in a value's closure. < 1326786081 102871 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com PRIVMSG #esoteric :In my program, the types used for floating point are given using type synonyms, so they can be changed later if necessary. < 1326786088 200581 :kmc!~keegan@c-98-216-51-47.hsd1.ma.comcast.net PRIVMSG #esoteric :mm < 1326786096 285833 :kmc!~keegan@c-98-216-51-47.hsd1.ma.comcast.net PRIVMSG #esoteric :an ADT value? < 1326786106 547837 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :it didn't really specify very much. < 1326786120 708999 :kmc!~keegan@c-98-216-51-47.hsd1.ma.comcast.net PRIVMSG #esoteric :in current GHC you don't enter values in the fast case < 1326786135 577278 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :oh I see. < 1326786154 80741 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :I guess it could have just been an idea and not something that GHC actually attempts. < 1326786163 565190 :kmc!~keegan@c-98-216-51-47.hsd1.ma.comcast.net PRIVMSG #esoteric :ghc might also do that < 1326786192 89987 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :in general, you could add any kind of code that you want to be associated with forcing that value, I believe. < 1326786203 333871 :kmc!~keegan@c-98-216-51-47.hsd1.ma.comcast.net PRIVMSG #esoteric :then you're not entering a value though < 1326786205 869925 :kmc!~keegan@c-98-216-51-47.hsd1.ma.comcast.net PRIVMSG #esoteric :you're entering a thunk < 1326786207 971438 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :or well, not even forcing it right? just evaluating it. < 1326786221 70728 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :er... entering it < 1326786221 815717 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :yes. < 1326786224 500730 :kmc!~keegan@c-98-216-51-47.hsd1.ma.comcast.net PRIVMSG #esoteric :what's the distinction between "force" and "evaluate" < 1326786230 37694 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :I meant enter < 1326786233 901367 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :that's the terminology used in the paper. < 1326786255 262633 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :I used "evaluate" incorrectly. :P < 1326786305 464996 :kmc!~keegan@c-98-216-51-47.hsd1.ma.comcast.net PRIVMSG #esoteric :i guess if you don't load the fields into registers, then you just return to the caller and they get the values at an offset from the original closure < 1326786312 9956 :kmc!~keegan@c-98-216-51-47.hsd1.ma.comcast.net PRIVMSG #esoteric :except they might have to follow an indirection too < 1326786352 67879 :kmc!~keegan@c-98-216-51-47.hsd1.ma.comcast.net PRIVMSG #esoteric :anyway current GHC uses the least significant bits to tag a pointer to a closure which is known to be in whnf < 1326786358 160928 :kmc!~keegan@c-98-216-51-47.hsd1.ma.comcast.net PRIVMSG #esoteric :so in the best case you don't have to enter it at all < 1326786358 442601 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :yes it mentions that function arguments are accessed as offsets from the "environment register" which is the pointer to the closure code I believe. < 1326786365 145663 :kmc!~keegan@c-98-216-51-47.hsd1.ma.comcast.net PRIVMSG #esoteric :*nod* < 1326786368 642999 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :I assume the same is true of ADTs? < 1326786378 986499 :kmc!~keegan@c-98-216-51-47.hsd1.ma.comcast.net PRIVMSG #esoteric :guess so < 1326786388 443339 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :it wouldn't make sense for them to be free variables I think. < 1326786394 783214 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :the fields, I mean. < 1326786405 3112 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :I GUESS < 1326786405 674972 :kmc!~keegan@c-98-216-51-47.hsd1.ma.comcast.net PRIVMSG #esoteric :wait, no < 1326786406 902150 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :I SHOULD LIKE < 1326786409 204590 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :READ THIS PAPER < 1326786416 348016 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :since it starts explaining the ADT part, exactly where I left off. < 1326786420 260466 :kmc!~keegan@c-98-216-51-47.hsd1.ma.comcast.net PRIVMSG #esoteric :i'm pretty sure the fields of an ADT value are like free variables < 1326786421 364131 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :well actually it's explaining unboxed stuff. < 1326786428 365621 :kmc!~keegan@c-98-216-51-47.hsd1.ma.comcast.net PRIVMSG #esoteric :they are closed over when the ADT value is construcetd < 1326786436 354207 :kmc!~keegan@c-98-216-51-47.hsd1.ma.comcast.net PRIVMSG #esoteric :haha very well < 1326786457 513348 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :but actually I'm going to write more squiggly brackets for my math class. < 1326786460 593661 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :they demand more from me. < 1326786482 832608 :kmc!~keegan@c-98-216-51-47.hsd1.ma.comcast.net PRIVMSG #esoteric :haha < 1326786486 20118 :kmc!~keegan@c-98-216-51-47.hsd1.ma.comcast.net PRIVMSG #esoteric :these ones? {} < 1326786505 556246 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :yes those are the ones < 1326786508 494884 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :except mine never look like that. < 1326786519 44560 :kmc!~keegan@c-98-216-51-47.hsd1.ma.comcast.net PRIVMSG #esoteric :moustaches < 1326786519 206548 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :I just make squiggly lines < 1326786534 351606 :kmc!~keegan@c-98-216-51-47.hsd1.ma.comcast.net PRIVMSG #esoteric :i had to learn how to write '&' for AP CS back in the day < 1326786535 664074 :kmc!~keegan@c-98-216-51-47.hsd1.ma.comcast.net PRIVMSG #esoteric :that was hard < 1326786549 386122 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :oh yes < 1326786552 115558 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :I never get that right. < 1326786562 535323 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :writing Java with a pencil is so..... weird. < 1326786579 406240 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :it's even more tedious than usual. < 1326786590 264663 :kmc!~keegan@c-98-216-51-47.hsd1.ma.comcast.net PRIVMSG #esoteric :hehe < 1326786592 333673 :pikhq!~pikhq@71-219-198-222.clsp.qwest.net PRIVMSG #esoteric :
ACTION mutters
< 1326786600 957557 :pikhq!~pikhq@71-219-198-222.clsp.qwest.net PRIVMSG #esoteric :I'm having to take an intro to CS course. < 1326786610 756864 :pikhq!~pikhq@71-219-198-222.clsp.qwest.net PRIVMSG #esoteric :I had somehow gotten exempted from it at a previous university. < 1326786613 929283 :pikhq!~pikhq@71-219-198-222.clsp.qwest.net PRIVMSG #esoteric :Not so here. < 1326786617 307851 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com PRIVMSG #esoteric :I sometimes write computer codes by hand too; I often write Haskell codes by hand. < 1326786617 618835 :kmc!~keegan@c-98-216-51-47.hsd1.ma.comcast.net PRIVMSG #esoteric ::/ < 1326786623 609496 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :kmc: so the update flag has nothing to do with strictness right? < 1326786625 174439 :pikhq!~pikhq@71-219-198-222.clsp.qwest.net PRIVMSG #esoteric :Guess I'm learning Java. < 1326786632 887483 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :kmc: or do I misunderstand? < 1326786642 558 :kmc!~keegan@c-98-216-51-47.hsd1.ma.comcast.net PRIVMSG #esoteric :kallisti, iirc only thunks are updatable < 1326786645 688031 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :kmc: it seems like an optimization of lazy evaluation where sharing isn't required. < 1326786647 992878 :kmc!~keegan@c-98-216-51-47.hsd1.ma.comcast.net PRIVMSG #esoteric :so it has to do with non-strictness ;P < 1326786652 169019 :kmc!~keegan@c-98-216-51-47.hsd1.ma.comcast.net PRIVMSG #esoteric :hmm? < 1326786656 618445 :kmc!~keegan@c-98-216-51-47.hsd1.ma.comcast.net PRIVMSG #esoteric :you mean that sharing is not always required? < 1326786663 747700 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :kmc: yes I haven't gotten to how it implements strict values yet. < 1326786673 530567 :kmc!~keegan@c-98-216-51-47.hsd1.ma.comcast.net PRIVMSG #esoteric :i'm not sure what you mean by "strict value" < 1326786685 348566 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :not thunks. < 1326786687 839164 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :>_> < 1326786695 595933 :kmc!~keegan@c-98-216-51-47.hsd1.ma.comcast.net PRIVMSG #esoteric :meaning algebraic data and functions in whnf? < 1326786702 794404 :kmc!~keegan@c-98-216-51-47.hsd1.ma.comcast.net PRIVMSG #esoteric :anyway you'd set the update flag to "no" if you can prove a given thunk is only entered once < 1326786708 97149 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :yes < 1326786712 69022 :kmc!~keegan@c-98-216-51-47.hsd1.ma.comcast.net PRIVMSG #esoteric :that saves you the trouble of updating it < 1326786712 230661 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :and you do this because < 1326786717 747903 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :that value isn't being shared. < 1326786718 719118 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :right? < 1326786723 800259 :kmc!~keegan@c-98-216-51-47.hsd1.ma.comcast.net PRIVMSG #esoteric :right < 1326786733 617544 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :cool < 1326786740 459607 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :
ACTION is understanding some things.
< 1326786749 565551 :kmc!~keegan@c-98-216-51-47.hsd1.ma.comcast.net PRIVMSG #esoteric :well the /value/ might subsequently get shared < 1326786757 68144 :kmc!~keegan@c-98-216-51-47.hsd1.ma.comcast.net PRIVMSG #esoteric :value = a thing which has been evaluated < 1326786767 565193 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :that particular lambda is not shared though < 1326786769 531979 :kmc!~keegan@c-98-216-51-47.hsd1.ma.comcast.net PRIVMSG #esoteric :but you use it if the thunk /before evaluation/ can't get to multiple places < 1326786775 366362 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :ah < 1326786784 778309 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :I see < 1326786832 770154 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :the update flag is "part" of the sharing < 1326786836 590492 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :er < 1326786837 569185 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :I mean < 1326786842 731265 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :updating the thunk is part of the sharing implementation < 1326786846 282912 :kmc!~keegan@c-98-216-51-47.hsd1.ma.comcast.net PRIVMSG #esoteric :yes < 1326786847 650545 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :and turning it off is an optimization < 1326786877 382160 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :but the value itself can still be shared by virtue of being a value addressed in memory. :P < 1326786883 987073 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :>_>? < 1326786951 670857 :augur!~augur@c-75-74-128-170.hsd1.fl.comcast.net QUIT :Read error: Connection reset by peer < 1326786966 891565 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :hm < 1326786970 755820 :augur!~augur@c-75-74-128-170.hsd1.fl.comcast.net JOIN :#esoteric < 1326786972 54857 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :that's really rather vague though < 1326786987 621590 :kmc!~keegan@c-98-216-51-47.hsd1.ma.comcast.net PRIVMSG #esoteric :if you're at a point where you know something is a value (not a thunk), then you are free to duplicate pointers to it, regardless of what the update flag says < 1326786995 721695 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :yes < 1326787010 22672 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :is the update flag still there, even? < 1326787022 547615 :kmc!~keegan@c-98-216-51-47.hsd1.ma.comcast.net PRIVMSG #esoteric :in GHC i think it's implicit in the closure type < 1326787038 995517 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :oh right everything has the same representation < 1326787042 498151 :kmc!~keegan@c-98-216-51-47.hsd1.ma.comcast.net PRIVMSG #esoteric :http://hackage.haskell.org/trac/ghc/wiki/Commentary/Rts/Storage/HeapObjects < 1326787044 451344 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :or, so far... that's what I've learned. < 1326787125 255810 :kmc!~keegan@c-98-216-51-47.hsd1.ma.comcast.net PRIVMSG #esoteric :note that GHC these days is eval/apply rather than push/enter < 1326787129 913833 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :oh I see. < 1326787139 691336 :kmc!~keegan@c-98-216-51-47.hsd1.ma.comcast.net PRIVMSG #esoteric :some of these closure types don't make sense in the context of the original STG paper you're reading < 1326787155 25441 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :yes there's some new things. < 1326787169 50954 :kmc!~keegan@c-98-216-51-47.hsd1.ma.comcast.net PRIVMSG #esoteric :see "How to make a fast curry" < 1326787203 108299 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :yes the paper was discussing that the advantages and disadvantages of eval/apply vs. push/enter, so I'm guessing eval/apply wins? < 1326787209 24740 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :-that < 1326787232 627319 :kmc!~keegan@c-98-216-51-47.hsd1.ma.comcast.net PRIVMSG #esoteric :pretty much < 1326787327 290198 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :so does the "tagless" qualifier also mean that sum types do not have tags on them? or is this simply referring to not having tags on the heap objects. < 1326787446 241554 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :I'm not sure I can see how you would select on multiple constructors without some kind of tagged union representation. < 1326787572 460498 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :yeah I guess it obviously does still retain that kind of "tag" < 1326787585 933458 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :(apologies if I'm not making any sense I'm pretty tired I should probably sleep) < 1326787625 642123 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i think one would need to look at what the earlier G-machines were like to understand what that means. unless the paper does a comparison, i don't recall. < 1326787687 283524 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :oh it explains it < 1326787700 914121 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :I was asking if it has additional meaning beyond that.... but I guess not. silly question. < 1326787756 551595 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :a have this vague idea that the spine and tag may have been connected to when these things were thought of as doing explicit reduction on graphs... < 1326787802 756087 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :it's tagless in that it doesn't branch of a tag to determine what kind of memory representation is being used. < 1326787814 204012 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :aha < 1326787835 154328 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :at least in this paper it has a uniform layout. you access values by "entering" them (jumping to their closure code) < 1326787879 28793 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :but apparently GHC does eval-apply now, not sure how that works in relation to entering date/code. < 1326787883 95725 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i think some things in ghc were later changed to _not_ use indirect jumps because it ruins branch prediction < 1326787912 422007 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :or something like that < 1326787930 477315 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :branch prediction sounds kind of magical. < 1326787973 798631 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :well afaik it's something the CPU does < 1326788033 581240 :kmc!~keegan@c-98-216-51-47.hsd1.ma.comcast.net PRIVMSG #esoteric :right, i think the "tags" refers to using some bits of a pointer to tell you what's pointed to < 1326788035 304430 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :guessing which way a branch will go so it can run the pipeline that way - but if it guesses wrong, it has to stop the pipeline < 1326788057 657453 :kmc!~keegan@c-98-216-51-47.hsd1.ma.comcast.net PRIVMSG #esoteric :which is something GHC does do now < 1326788062 441070 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :(and i vaguely recall the guess is mainly "same as last time") < 1326788063 653632 :kmc!~keegan@c-98-216-51-47.hsd1.ma.comcast.net PRIVMSG #esoteric :but something they avoid in the original STG paper < 1326788087 407866 :kmc!~keegan@c-98-216-51-47.hsd1.ma.comcast.net PRIVMSG #esoteric :oerjan, another common heuristic is that forwards branches are not taken, and backwards branches are taken < 1326788092 977968 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :aha < 1326788108 184378 :kmc!~keegan@c-98-216-51-47.hsd1.ma.comcast.net PRIVMSG #esoteric :the latter often represent loops, which run many times before exiting < 1326788121 128892 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :makes sense < 1326788124 118938 :kmc!~keegan@c-98-216-51-47.hsd1.ma.comcast.net PRIVMSG #esoteric :it's said that common x86 chips correctly predict 99%+ of branches < 1326788129 472991 :kmc!~keegan@c-98-216-51-47.hsd1.ma.comcast.net PRIVMSG #esoteric :i don't have a reference on that number though < 1326788153 671185 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :presumably common compilers do their best to assure they do that :P < 1326788166 250078 :kmc!~keegan@c-98-216-51-47.hsd1.ma.comcast.net PRIVMSG #esoteric :yeah < 1326788182 599260 :kmc!~keegan@c-98-216-51-47.hsd1.ma.comcast.net PRIVMSG #esoteric :also you can embed hints in the code < 1326788188 266070 :kmc!~keegan@c-98-216-51-47.hsd1.ma.comcast.net PRIVMSG #esoteric :and GCC supports this at source level < 1326788200 389821 :kmc!~keegan@c-98-216-51-47.hsd1.ma.comcast.net PRIVMSG #esoteric :Linux kernel code is full of stuff like if(unlikely(monkeys_have_escaped)) { ... } < 1326788260 909072 :kmc!~keegan@c-98-216-51-47.hsd1.ma.comcast.net PRIVMSG #esoteric :kallisti, for an example of a system using tag bits, see http://repetae.net/computer/jhc/manual.html#the-run-time-system < 1326788266 506026 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric : right, i think the "tags" refers to using some bits of a pointer to tell you what's pointed to <-- um that's about ghc's modern tags, i wasn't sure the "tags" that indirectly named the STG were the same kind < 1326788275 30057 :kmc!~keegan@c-98-216-51-47.hsd1.ma.comcast.net PRIVMSG #esoteric :yeah i am not sure either < 1326788277 242349 :kmc!~keegan@c-98-216-51-47.hsd1.ma.comcast.net PRIVMSG #esoteric :but i think so < 1326788291 124460 :kmc!~keegan@c-98-216-51-47.hsd1.ma.comcast.net PRIVMSG #esoteric :the STG paper goes into some detail about how they know whether a given word is a pointer to a garbage collected object < 1326788298 173870 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :kmc: so at this point GHC's STG is a bit of a misnomer. < 1326788309 6672 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com QUIT :Remote host closed the connection < 1326788314 671216 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :it would be ironic if ghc's STG has ended up being neither spineless nor tagless :D < 1326788333 502744 :kmc!~keegan@c-98-216-51-47.hsd1.ma.comcast.net PRIVMSG #esoteric :closures and update frames have a layout known from the info table, and the stack is split between a pointer stack and a primitive stack < 1326788336 93701 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :fortunately the acronym is the same. < 1326788340 3112 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :spined tagged g-machine < 1326788344 947911 :kmc!~keegan@c-98-216-51-47.hsd1.ma.comcast.net PRIVMSG #esoteric :this is all to avoid tagging gc pointers vs. primitives < 1326788346 94351 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :yay < 1326788346 798150 :pikhq!~pikhq@71-219-198-222.clsp.qwest.net PRIVMSG #esoteric :#define unlikely(x) __builtin_expect(x, 0) < 1326788347 502994 :pikhq!~pikhq@71-219-198-222.clsp.qwest.net PRIVMSG #esoteric :BTW < 1326788351 508625 :FireFly!firefly@firefly.xen.prgmr.com QUIT :Changing host < 1326788359 737805 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :*...* i < 1326788361 156358 :kmc!~keegan@c-98-216-51-47.hsd1.ma.comcast.net PRIVMSG #esoteric :right so there are at least two things you can use pointer tagging for < 1326788372 518231 :kmc!~keegan@c-98-216-51-47.hsd1.ma.comcast.net PRIVMSG #esoteric :(a) to distinguish pointers the gc must follow from other values < 1326788381 283943 :kmc!~keegan@c-98-216-51-47.hsd1.ma.comcast.net PRIVMSG #esoteric :(b) to mark which things are already in whnf < 1326788387 944369 :kmc!~keegan@c-98-216-51-47.hsd1.ma.comcast.net PRIVMSG #esoteric :GHC does (b) now but still does not do (a) < 1326788436 663989 :kmc!~keegan@c-98-216-51-47.hsd1.ma.comcast.net PRIVMSG #esoteric :aiui, one of the innovations of the STG paper is the idea that even Int should be an algebraic type, with an unboxed value inside < 1326788442 229746 :kmc!~keegan@c-98-216-51-47.hsd1.ma.comcast.net PRIVMSG #esoteric :the latter being not a first-class Haskell value < 1326788474 310603 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :BTW^2, __builtin_expect docs have a nice dig against programmers in general: "In general, you should prefer to use actual profile feedback for this (-fprofile-arcs), as programmers are notoriously bad at predicting how their programs actually perform." < 1326788474 747422 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :fizzie: You have 1 new message. '/msg lambdabot @messages' to read it. < 1326788475 886588 :kmc!~keegan@c-98-216-51-47.hsd1.ma.comcast.net PRIVMSG #esoteric :you push the burden of distinguishing heap pointers into the closure layout and calling convention < 1326788483 23812 :kmc!~keegan@c-98-216-51-47.hsd1.ma.comcast.net PRIVMSG #esoteric :haha < 1326788486 337242 :kmc!~keegan@c-98-216-51-47.hsd1.ma.comcast.net PRIVMSG #esoteric :it's true < 1326788537 208667 :kmc!~keegan@c-98-216-51-47.hsd1.ma.comcast.net PRIVMSG #esoteric :kallisti, this is why the Haskell Report only requires that Int support the range [-2^29 .. 2^29-1] < 1326788545 40362 :kmc!~keegan@c-98-216-51-47.hsd1.ma.comcast.net PRIVMSG #esoteric :to allow for 2 tag bits even on 32-bit machines < 1326788559 57243 :kmc!~keegan@c-98-216-51-47.hsd1.ma.comcast.net PRIVMSG #esoteric :in GHC this is not an issue because you can always tell Int from Int# statically < 1326788629 598215 :pikhq!~pikhq@71-219-198-222.clsp.qwest.net PRIVMSG #esoteric :fizzie: So, "unless you're a Linux or x264 dev, don't". :P < 1326788677 56672 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :GCC also has __attribute__ ((hot)) and s/hot/cold/ function attributes, which are completely ignored if you -fprofile-use like you should. < 1326788678 306349 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i don't see how they are exempted. < 1326788708 176926 :pikhq!~pikhq@71-219-198-222.clsp.qwest.net PRIVMSG #esoteric :oerjan: They spend a lot of time measuring performance. < 1326788711 281432 :pikhq!~pikhq@71-219-198-222.clsp.qwest.net PRIVMSG #esoteric :Especially x264. < 1326788833 202057 :kmc!~keegan@c-98-216-51-47.hsd1.ma.comcast.net PRIVMSG #esoteric :linux also moves supposedly cold functions into separate linker sections < 1326788895 682326 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Industry tip: a function flagged as 'cold' which actually is called often, and therefore should be warmer, is called 'hypothermic'. (Not true.) < 1326788911 603128 :kmc!~keegan@c-98-216-51-47.hsd1.ma.comcast.net PRIVMSG #esoteric :true facts < 1326789150 161997 :monqy!~swell@pool-71-102-226-192.snloca.dsl-w.verizon.net PRIVMSG #esoteric :is it true that it's true or is it true that it's untrue < 1326789150 854735 :monqy!~swell@pool-71-102-226-192.snloca.dsl-w.verizon.net PRIVMSG #esoteric :help < 1326789180 375374 :augur!~augur@c-75-74-128-170.hsd1.fl.comcast.net QUIT :Read error: Connection reset by peer < 1326789197 808262 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :monqy: is it true that help < 1326789207 802937 :augur!~augur@c-75-74-128-170.hsd1.fl.comcast.net JOIN :#esoteric < 1326789216 520579 :monqy!~swell@pool-71-102-226-192.snloca.dsl-w.verizon.net PRIVMSG #esoteric :always and forever < 1326789253 11396 :kmc!~keegan@c-98-216-51-47.hsd1.ma.comcast.net PRIVMSG #esoteric :⊤ < 1326789280 939116 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :> sequence . concatMap (\x -> if x `elem` "aeiou" then "aeiou" else [x]) $ "is it true that help" < 1326789281 946039 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : Couldn't match expected type `m a' < 1326789282 109930 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : against inferred type `GHC.Types... < 1326789312 610872 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :> sequence . map (\x -> if x `elem` "aeiou" then "aeiou" else [x]) $ "is it true that help" < 1326789314 224910 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : ["as at traa that halp","as at traa that help","as at traa that hilp","as a... < 1326789333 327186 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :> sequence . map (\x -> if x `elem` "aeiou" then "aeiou" else [x]) $ "help" < 1326789334 934003 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : ["halp","help","hilp","holp","hulp"] < 1326789346 838384 :kmc!~keegan@c-98-216-51-47.hsd1.ma.comcast.net PRIVMSG #esoteric :> mapM (\x -> if x `elem` "aeiou" then "aeiou" else [x]) $ "help" < 1326789347 922266 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : ["halp","help","hilp","holp","hulp"] < 1326789352 58647 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :monqy: hulp < 1326789354 710404 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :kmc: oh right < 1326789361 425823 :monqy!~swell@pool-71-102-226-192.snloca.dsl-w.verizon.net PRIVMSG #esoteric :you forgot hlep < 1326789361 650744 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :that's the thing that M means < 1326789368 205734 :monqy!~swell@pool-71-102-226-192.snloca.dsl-w.verizon.net PRIVMSG #esoteric :, hepl < 1326789375 551841 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :monqy: no wrong < 1326789376 419733 :monqy!~swell@pool-71-102-226-192.snloca.dsl-w.verizon.net PRIVMSG #esoteric :, ehlp < 1326789378 89232 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :not forgotten < 1326789382 369210 :kmc!~keegan@c-98-216-51-47.hsd1.ma.comcast.net PRIVMSG #esoteric :(++"M") = (sequence .) < 1326789394 877614 :kmc!~keegan@c-98-216-51-47.hsd1.ma.comcast.net PRIVMSG #esoteric :i remember when somebody asked for a list function on haskell-cafe < 1326789398 375193 :kmc!~keegan@c-98-216-51-47.hsd1.ma.comcast.net PRIVMSG #esoteric :and they golfed it for a while < 1326789404 255359 :kmc!~keegan@c-98-216-51-47.hsd1.ma.comcast.net PRIVMSG #esoteric :and then someone realized it was just 'sequence' < 1326789407 52223 :kmc!~keegan@c-98-216-51-47.hsd1.ma.comcast.net PRIVMSG #esoteric :hole in one < 1326789413 770898 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :sequence is the best always. < 1326789498 52569 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric ::t flip < 1326789498 932870 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :forall (f :: * -> *) a b. (Functor f) => f (a -> b) -> a -> f b < 1326789499 873030 :shachaf!~shachaf@ip24.67-202-82.static.steadfastdns.net PRIVMSG #esoteric :(++"M") = ("(sequence.)"++) only in the boring case. < 1326789511 141472 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :sequence flips your ordered sequence of possibilities turnways. < 1326789512 172855 :shachaf!~shachaf@ip24.67-202-82.static.steadfastdns.net PRIVMSG #esoteric :Usually M functions have more information than the non-M functions. < 1326789519 529293 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :sometimes lambdabot's flip is the same as sequence < 1326789553 875624 :shachaf!~shachaf@ip24.67-202-82.static.steadfastdns.net PRIVMSG #esoteric :> flip [succ,pred] 1 < 1326789555 639362 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : [2,0] < 1326789556 597118 :shachaf!~shachaf@ip24.67-202-82.static.steadfastdns.net PRIVMSG #esoteric :> sequence [succ,pred] 1 < 1326789557 629439 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : [2,0] < 1326789611 617190 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :and that case is frequently useful in golfing < 1326789618 53164 :monqy!~swell@pool-71-102-226-192.snloca.dsl-w.verizon.net PRIVMSG #esoteric :> let (++"M") = (sequence.) in map (\ x -> if x `elem` "aeiou" then "aeiou" else [x]) ++ "M" $ "help" < 1326789619 100683 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : : Parse error in pattern < 1326789627 175316 :monqy!~swell@pool-71-102-226-192.snloca.dsl-w.verizon.net PRIVMSG #esoteric :cries < 1326789652 191590 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :kallisti: hint, sequence . map f = mapM f < 1326789676 335008 :kmc!~keegan@c-98-216-51-47.hsd1.ma.comcast.net PRIVMSG #esoteric :"Say, do you fellows enjoy the particular game of golf? I've got three lids out in the Hudson and enough Zig-Zag to wipe God's ass and the devil too." < 1326789691 397274 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :oh wait < 1326789697 900216 :shachaf!~shachaf@ip24.67-202-82.static.steadfastdns.net PRIVMSG #esoteric :@ty sequence . filter ?f < 1326789698 839527 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :forall (m :: * -> *) a. (Monad m, ?f::m a -> Bool) => [m a] -> m [a] < 1326789699 619196 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :
ACTION is so late
< 1326789718 375483 :kmc!~keegan@c-98-216-51-47.hsd1.ma.comcast.net PRIVMSG #esoteric :maybe #esoteric is secretly the real #haskell-in-depth < 1326789719 796918 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :oerjan: I... yes you're very late < 1326789723 685344 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :oerjan: you're several months late. < 1326789735 41623 :shachaf!~shachaf@ip24.67-202-82.static.steadfastdns.net PRIVMSG #esoteric :Half the time #esoteric is #haskell-in-shallow < 1326789747 150948 :kmc!~keegan@c-98-216-51-47.hsd1.ma.comcast.net PRIVMSG #esoteric :that too < 1326789758 444089 :monqy!~swell@pool-71-102-226-192.snloca.dsl-w.verizon.net PRIVMSG #esoteric :#esoteric is really the secret #haskell-in-depth < 1326789758 794077 :shachaf!~shachaf@ip24.67-202-82.static.steadfastdns.net PRIVMSG #esoteric :And of course, there's @ < 1326789765 583941 :shachaf!~shachaf@ip24.67-202-82.static.steadfastdns.net PRIVMSG #esoteric :But only when elliott is around. < 1326789772 679219 :kmc!~keegan@c-98-216-51-47.hsd1.ma.comcast.net PRIVMSG #esoteric :@-in-width < 1326789773 137483 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :Unknown command, try @list < 1326789775 17933 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :no it's #haskell-not-lame-totally-awesome < 1326789781 713033 :kmc!~keegan@c-98-216-51-47.hsd1.ma.comcast.net PRIVMSG #esoteric :isn't there some way to have an IRC chan that starts with @ < 1326789795 389880 :monqy!~swell@pool-71-102-226-192.snloca.dsl-w.verizon.net PRIVMSG #esoteric :be on a server that supports it < 1326789799 22682 :shachaf!~shachaf@ip24.67-202-82.static.steadfastdns.net PRIVMSG #esoteric :Yes, for values of "@" equal to "#@" < 1326789802 776944 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :or #haskell-in-breadth < 1326789813 460823 :monqy!~swell@pool-71-102-226-192.snloca.dsl-w.verizon.net PRIVMSG #esoteric :I think I remember what + channels do < 1326789817 552718 :monqy!~swell@pool-71-102-226-192.snloca.dsl-w.verizon.net PRIVMSG #esoteric :but I forget what & channels do < 1326789825 874160 :shachaf!~shachaf@ip24.67-202-82.static.steadfastdns.net PRIVMSG #esoteric :#haskell-in-bread < 1326789826 105494 :monqy!~swell@pool-71-102-226-192.snloca.dsl-w.verizon.net PRIVMSG #esoteric :or did I get those confused < 1326789836 57274 :shachaf!~shachaf@ip24.67-202-82.static.steadfastdns.net PRIVMSG #esoteric :Mmm. Bread. < 1326789841 354010 :shachaf!~shachaf@ip24.67-202-82.static.steadfastdns.net PRIVMSG #esoteric :
ACTION should eat more regularly.
< 1326789844 375009 :monqy!~swell@pool-71-102-226-192.snloca.dsl-w.verizon.net PRIVMSG #esoteric :breaded #haskell < 1326789877 586676 :shachaf!~shachaf@ip24.67-202-82.static.steadfastdns.net PRIVMSG #esoteric :https://plus.google.com/103943309878727777440/posts/DCdBqZX3bvQ < 1326789979 550089 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :no I'd say #esoteric is more like #sometimes-haskell-and-without-human-tutorials < 1326790037 927030 :kmc!~keegan@c-98-216-51-47.hsd1.ma.comcast.net PRIVMSG #esoteric :cool now i know how to use google as a qr code generator < 1326790038 210475 :monqy!~swell@pool-71-102-226-192.snloca.dsl-w.verizon.net PRIVMSG #esoteric :what does the tutorialing then < 1326790039 513102 :kmc!~keegan@c-98-216-51-47.hsd1.ma.comcast.net PRIVMSG #esoteric :https://www.google.com/chart?cht=qr&chs=276x276&chl=http://example.com&chld=L%7C0 < 1326790090 165141 :shachaf!~shachaf@ip24.67-202-82.static.steadfastdns.net PRIVMSG #esoteric :"While we have concluded this particular experiment, we constantly experiment with new and more secure authentication mechanisms." < 1326790094 221599 :shachaf!~shachaf@ip24.67-202-82.static.steadfastdns.net PRIVMSG #esoteric :It was working when I tried it before. < 1326790130 333058 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :monqy: `? < 1326790138 551251 :monqy!~swell@pool-71-102-226-192.snloca.dsl-w.verizon.net PRIVMSG #esoteric :`? monad < 1326790143 88219 :Patashu!Patashu@c122-106-155-219.carlnfd1.nsw.optusnet.com.au PRIVMSG #esoteric :Hahahahaha have you guys seen Colbert's Super PAC's videos http://www.colbertsuperpac.com/episodeiv-anewhope/ < 1326790149 348936 :HackEgo!codu@codu.org PRIVMSG #esoteric :Monads are just monoids in the category of endofunctors. < 1326790149 612489 :Patashu!Patashu@c122-106-155-219.carlnfd1.nsw.optusnet.com.au PRIVMSG #esoteric :They're such hilarious parodies of the current primary/political state < 1326790149 774146 :monqy!~swell@pool-71-102-226-192.snloca.dsl-w.verizon.net PRIVMSG #esoteric :`? what is a monads < 1326790153 217453 :monqy!~swell@pool-71-102-226-192.snloca.dsl-w.verizon.net PRIVMSG #esoteric :`? help < 1326790154 945277 :HackEgo!codu@codu.org PRIVMSG #esoteric :what is a monads? ¯\(°_o)/¯ < 1326790165 853306 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :Patashu: are you suddenly a spam bot? < 1326790167 476380 :kmc!~keegan@c-98-216-51-47.hsd1.ma.comcast.net PRIVMSG #esoteric :`? hjälp < 1326790171 10755 :HackEgo!codu@codu.org PRIVMSG #esoteric :hjälp? ¯\(°_o)/¯ < 1326790172 237538 :shachaf!~shachaf@ip24.67-202-82.static.steadfastdns.net PRIVMSG #esoteric :\m/ \m/ < 1326790172 852336 :myndzi!myndzi@c-67-168-184-168.hsd1.wa.comcast.net PRIVMSG #esoteric :69  `\o/´69 < 1326790173 14495 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :myndzi: You have 1 new message. '/msg lambdabot @messages' to read it. < 1326790173 14713 :myndzi!myndzi@c-67-168-184-168.hsd1.wa.comcast.net PRIVMSG #esoteric :69    | < 1326790173 176538 :myndzi!myndzi@c-67-168-184-168.hsd1.wa.comcast.net PRIVMSG #esoteric :69(_|¯'¯|_) < 1326790180 643778 :shachaf!~shachaf@ip24.67-202-82.static.steadfastdns.net PRIVMSG #esoteric :\m/ \m/ \m/ \m/ < 1326790183 731978 :monqy!~swell@pool-71-102-226-192.snloca.dsl-w.verizon.net PRIVMSG #esoteric :`? \m/ \m/ < 1326790184 168119 :myndzi!myndzi@c-67-168-184-168.hsd1.wa.comcast.net PRIVMSG #esoteric :69   `\o/´69 < 1326790184 341648 :myndzi!myndzi@c-67-168-184-168.hsd1.wa.comcast.net PRIVMSG #esoteric :69     | < 1326790184 503445 :myndzi!myndzi@c-67-168-184-168.hsd1.wa.comcast.net PRIVMSG #esoteric :69    /´\ < 1326790184 503530 :myndzi!myndzi@c-67-168-184-168.hsd1.wa.comcast.net PRIVMSG #esoteric :69  (_| |_) < 1326790185 694627 :kmc!~keegan@c-98-216-51-47.hsd1.ma.comcast.net PRIVMSG #esoteric :8===D < 1326790187 107981 :HackEgo!codu@codu.org PRIVMSG #esoteric :​\m/ \m/? ¯\(°_o)/¯ < 1326790213 889845 :HackEgo!codu@codu.org PRIVMSG #esoteric :help? ¯\(°_o)/¯ < 1326790220 525065 :Patashu!Patashu@c122-106-155-219.carlnfd1.nsw.optusnet.com.au PRIVMSG #esoteric :yeah I'm a spam bot WHAT UP < 1326790224 590188 :Patashu!Patashu@c122-106-155-219.carlnfd1.nsw.optusnet.com.au PRIVMSG #esoteric :look at the videos I post :( < 1326790250 775198 :shachaf!~shachaf@ip24.67-202-82.static.steadfastdns.net PRIVMSG #esoteric :"episode IV" sounds like an unpleasant drug-related thing. < 1326790285 195748 :kmc!~keegan@c-98-216-51-47.hsd1.ma.comcast.net PRIVMSG #esoteric :achewood claims Hi-Five is slang for HIV < 1326790748 531745 :myndzi!myndzi@c-67-168-184-168.hsd1.wa.comcast.net PRIVMSG #esoteric :i have a message what < 1326790763 503398 :myndzi!myndzi@c-67-168-184-168.hsd1.wa.comcast.net PRIVMSG #esoteric :o nice < 1326790765 273299 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :shachaf: erm it's the official title of a star wars movie < 1326790788 613791 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :(namely the original one) < 1326790848 240704 :kmc!~keegan@c-98-216-51-47.hsd1.ma.comcast.net PRIVMSG #esoteric :i'm guessing shachaf knows that < 1326790859 549926 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :POSBBILE < 1326790872 808217 :kmc!~keegan@c-98-216-51-47.hsd1.ma.comcast.net PRIVMSG #esoteric :also ahem it was originally released as just _Star Wars_ < 1326790882 296743 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :ASOL POBSSILE < 1326790936 788007 :pikhq!~pikhq@71-219-198-222.clsp.qwest.net PRIVMSG #esoteric :Yeah, calling it Episode IV was the first of many edits. < 1326790967 434090 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :the _first_? < 1326791149 859710 :NicePants!~rachel@c-68-36-154-245.hsd1.nj.comcast.net QUIT :Ping timeout: 240 seconds < 1326791176 289687 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :"The opening crawl of the sequels disclosed that they were numbered as "Episode V" and "Episode VI" respectively, though the films were generally advertised solely under their subtitles." < 1326791180 400034 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :huh. < 1326791196 890281 :Zuu!zuu@unaffiliated/zuu QUIT :Ping timeout: 252 seconds < 1326791202 677915 :pikhq!~pikhq@71-219-198-222.clsp.qwest.net PRIVMSG #esoteric :Let me put it this way: the only way to get something even *approximating* the original theatrical release is a Laserdisc rip. < 1326791246 226806 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :pikhq: yeah i just wasn't aware the prequels were included in the numbering before they were released < 1326791247 982208 :pikhq!~pikhq@71-219-198-222.clsp.qwest.net PRIVMSG #esoteric :(approximating because it uses the somewhat strange stereo mix, not the original mono mix. Just like everything else.) < 1326791265 722916 :pikhq!~pikhq@71-219-198-222.clsp.qwest.net PRIVMSG #esoteric :Ah. Yeah, the prequels were decades in the making. < 1326791273 132663 :pikhq!~pikhq@71-219-198-222.clsp.qwest.net PRIVMSG #esoteric :Thus the disappointment from everyone. < 1326791336 910418 :kmc!~keegan@c-98-216-51-47.hsd1.ma.comcast.net PRIVMSG #esoteric :also means people who saw the original trilogy as children were seeing the prequels as jaded adults < 1326791369 966363 :pikhq!~pikhq@71-219-198-222.clsp.qwest.net PRIVMSG #esoteric :I saw the prequels as a child, and even then they were kinda lame. < 1326791388 641129 :pikhq!~pikhq@71-219-198-222.clsp.qwest.net PRIVMSG #esoteric :Much of the annoyance with it came only later, but even then "... Eh." < 1326791396 694416 :kmc!~keegan@c-98-216-51-47.hsd1.ma.comcast.net PRIVMSG #esoteric :i found them all to be entertaining enough < 1326791404 726733 :kmc!~keegan@c-98-216-51-47.hsd1.ma.comcast.net PRIVMSG #esoteric :but kinda pointless filler < 1326791412 62891 :kmc!~keegan@c-98-216-51-47.hsd1.ma.comcast.net PRIVMSG #esoteric :same for the matrix sequels < 1326791434 152904 :pikhq!~pikhq@71-219-198-222.clsp.qwest.net PRIVMSG #esoteric :Yeah, that's just it. Essentially all they were was a couple of plot points, spread out between 3 films. < 1326791449 475470 :kmc!~keegan@c-98-216-51-47.hsd1.ma.comcast.net PRIVMSG #esoteric :like if you wanna have fun watching an action movie, you can do a lot worse than _The Matrix Reloaded_ < 1326791462 966132 :kmc!~keegan@c-98-216-51-47.hsd1.ma.comcast.net PRIVMSG #esoteric :but it's not special the way the first one was < 1326791470 167598 :shachaf!~shachaf@ip24.67-202-82.static.steadfastdns.net PRIVMSG #esoteric :Why is the first one special? < 1326791490 532374 :pikhq!~pikhq@71-219-198-222.clsp.qwest.net PRIVMSG #esoteric :shachaf: Much less detail gone into the psuedophilosophicalness. < 1326791496 206867 :shachaf!~shachaf@ip24.67-202-82.static.steadfastdns.net PRIVMSG #esoteric :Really? < 1326791509 233197 :pikhq!~pikhq@71-219-198-222.clsp.qwest.net PRIVMSG #esoteric :It sets up an atmosphere very well. < 1326791512 827026 :shachaf!~shachaf@ip24.67-202-82.static.steadfastdns.net PRIVMSG #esoteric :"pseudophilosophy" is the word I was about to use to describe it. < 1326791513 435366 :kmc!~keegan@c-98-216-51-47.hsd1.ma.comcast.net PRIVMSG #esoteric :the plot was both more interesting and more sensical < 1326791533 744541 :pikhq!~pikhq@71-219-198-222.clsp.qwest.net PRIVMSG #esoteric :shachaf: The whole series does pseudophilosphy. < 1326791535 286934 :kmc!~keegan@c-98-216-51-47.hsd1.ma.comcast.net PRIVMSG #esoteric :it's more fun to watch the scrawny hacker guy become a superhero < 1326791537 328582 :pikhq!~pikhq@71-219-198-222.clsp.qwest.net PRIVMSG #esoteric :Just to varying extents. < 1326791543 771066 :kmc!~keegan@c-98-216-51-47.hsd1.ma.comcast.net PRIVMSG #esoteric :less fun to watch him flying around as a superhero < 1326791546 690745 :shachaf!~shachaf@ip24.67-202-82.static.steadfastdns.net PRIVMSG #esoteric :It seemed like it was primarily about violence/action/whatever, and not very interesting from most other perspectives I could think of. < 1326791569 46993 :pikhq!~pikhq@71-219-198-222.clsp.qwest.net PRIVMSG #esoteric :Yeah, it was using that as a neat atmosphere for the fun violence/action. < 1326791595 91863 :kmc!~keegan@c-98-216-51-47.hsd1.ma.comcast.net PRIVMSG #esoteric :the philosophy in the first movie was pretty shallow but they didn't try to overextend it < 1326791599 293833 :kmc!~keegan@c-98-216-51-47.hsd1.ma.comcast.net PRIVMSG #esoteric :not nearly like the others < 1326791608 936248 :Zuu!zuu@unaffiliated/zuu JOIN :#esoteric < 1326791681 350536 :pikhq!~pikhq@71-219-198-222.clsp.qwest.net PRIVMSG #esoteric :I'd say it's a little bit like Valve games. They're not usually huge on plot. (seriously, you can cover the plot of all of their games in 10 minutes, tops) < 1326791690 760405 :kmc!~keegan@c-98-216-51-47.hsd1.ma.comcast.net PRIVMSG #esoteric :i generally thought the first half of the movie was more interesting than the second < 1326791696 617837 :pikhq!~pikhq@71-219-198-222.clsp.qwest.net PRIVMSG #esoteric :But they've got setting polished to a mirror shine. < 1326791749 378452 :shachaf!~shachaf@ip24.67-202-82.static.steadfastdns.net PRIVMSG #esoteric :
ACTION wonders what a good movie is.
< 1326791765 906857 :kmc!~keegan@c-98-216-51-47.hsd1.ma.comcast.net PRIVMSG #esoteric :you want some recommendations for good movies? < 1326791789 625003 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :"The only good movie is a dead movie." (Old saying of the jungle.) < 1326791789 922738 :shachaf!~shachaf@ip24.67-202-82.static.steadfastdns.net PRIVMSG #esoteric :I was wondering specifically among movies I've seen, but sure. :-) < 1326791805 96496 :shachaf!~shachaf@ip24.67-202-82.static.steadfastdns.net PRIVMSG #esoteric :I saw _Casablanca_ a few days ago. That was pretty well-done. < 1326791809 217915 :kmc!~keegan@c-98-216-51-47.hsd1.ma.comcast.net PRIVMSG #esoteric :i don't see enough movies these days < 1326791812 979047 :pikhq!~pikhq@71-219-198-222.clsp.qwest.net PRIVMSG #esoteric :Shame the medium's considered so utterly important. < 1326791819 172826 :pikhq!~pikhq@71-219-198-222.clsp.qwest.net PRIVMSG #esoteric :Honestly, the form is incredibly limited. < 1326791833 145507 :myndzi\!myndzi@c-67-168-184-168.hsd1.wa.comcast.net JOIN :#esoteric < 1326791840 422613 :kmc!~keegan@c-98-216-51-47.hsd1.ma.comcast.net PRIVMSG #esoteric :i definitely have more opinions on which TV shows are good than which films < 1326791844 47380 :pikhq!~pikhq@71-219-198-222.clsp.qwest.net PRIVMSG #esoteric :~2 hours max? That's more analogous to a freaking short story or a novella. < 1326791858 233973 :kmc!~keegan@c-98-216-51-47.hsd1.ma.comcast.net PRIVMSG #esoteric :yeah < 1326791871 671203 :shachaf!~shachaf@ip24.67-202-82.static.steadfastdns.net PRIVMSG #esoteric :I have _Brazil_ on my list of movies to watch. < 1326791909 469071 :kmc!~keegan@c-98-216-51-47.hsd1.ma.comcast.net PRIVMSG #esoteric :_The Wire_ tells a novel-size story in about 13 hours < 1326791918 469420 :kmc!~keegan@c-98-216-51-47.hsd1.ma.comcast.net PRIVMSG #esoteric :even there, you could probably put multiple seasons into one novel < 1326791981 974548 :myndzi!myndzi@c-67-168-184-168.hsd1.wa.comcast.net QUIT :Ping timeout: 240 seconds < 1326791991 158133 :kmc!~keegan@c-98-216-51-47.hsd1.ma.comcast.net PRIVMSG #esoteric :i can't really imagine watching that show one episode per week < 1326791997 739893 :kmc!~keegan@c-98-216-51-47.hsd1.ma.comcast.net PRIVMSG #esoteric :but i don't really do that for any shows < 1326793007 54140 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com JOIN :#esoteric < 1326793014 844637 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com PRIVMSG #esoteric :No! < 1326793021 456549 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com PRIVMSG #esoteric :Red! < 1326793041 946702 :shachaf!~shachaf@ip24.67-202-82.static.steadfastdns.net PRIVMSG #esoteric :Black! < 1326793071 174121 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com PRIVMSG #esoteric :Hay! That's *my* name! < 1326793098 93605 :oerjan!oerjan@sprocket.nvg.ntnu.no TOPIC #esoteric :No topic Wednesday! | Wait, it's not Friday?? Damn it! | Now in colors! | So, what is blegnian motion, anyway? | http://codu.org/logs/_esoteric/ < 1326793124 247729 :shachaf!~shachaf@ip24.67-202-82.static.steadfastdns.net PRIVMSG #esoteric :zzo38: What's your last name? < 1326793137 207028 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com PRIVMSG #esoteric :Black < 1326793146 968734 :shachaf!~shachaf@ip24.67-202-82.static.steadfastdns.net PRIVMSG #esoteric :Oh. I thought it was your first name. < 1326793152 718980 :shachaf!~shachaf@ip24.67-202-82.static.steadfastdns.net PRIVMSG #esoteric :What's your first name? < 1326793203 910229 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com PRIVMSG #esoteric :Will you figure it out if you look at my Haskell packages? They have my name on it because I uploaded them, and it always has the name of whoever uploaded them < 1326793276 573727 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com PRIVMSG #esoteric :But I don't really like the terms "first name" and "last name", because they are racist; and I don't like "Christian name" either because that is even more racist. < 1326793334 583341 :GreaseMonkey!~gm@unaffiliated/greasemonkey QUIT :Quit: The Other Game < 1326793345 965243 :shachaf!~shachaf@ip24.67-202-82.static.steadfastdns.net PRIVMSG #esoteric :kmc: I think zzo38 just outdid you. < 1326793348 200623 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :you shouldn't care about racism in name order unless you're a hung arian < 1326793372 623134 :shachaf!~shachaf@ip24.67-202-82.static.steadfastdns.net PRIVMSG #esoteric :How about "personal name" and "family name"? < 1326793395 508228 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com PRIVMSG #esoteric :shachaf: Yes I do prefer those. < 1326793415 667784 :shachaf!~shachaf@ip24.67-202-82.static.steadfastdns.net PRIVMSG #esoteric :I can't find any packages of yours on Hackage. < 1326793454 301305 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com PRIVMSG #esoteric :oerjan: I don't really care much; I still prefer freedom of speech. But I still generally prefer to be not racist < 1326793462 595860 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com PRIVMSG #esoteric :shachaf: My name is AaronBlack. Now can you find it? < 1326793482 629151 :shachaf!~shachaf@ip24.67-202-82.static.steadfastdns.net PRIVMSG #esoteric :Ah, yes. < 1326793512 3798 :oerjan!oerjan@sprocket.nvg.ntnu.no QUIT :Quit: WHEEEEEEEEEEEEEEEEE < 1326793603 165768 :pikhq!~pikhq@71-219-198-222.clsp.qwest.net PRIVMSG #esoteric :shachaf: Not very culturally universal, sadly. < 1326793614 413863 :pikhq!~pikhq@71-219-198-222.clsp.qwest.net PRIVMSG #esoteric :Not all cultures give surnames. < 1326793872 174001 :shachaf!~shachaf@ip24.67-202-82.static.steadfastdns.net PRIVMSG #esoteric :pikhq: Yes, I know. < 1326793985 139134 :monqy!~swell@pool-71-102-226-192.snloca.dsl-w.verizon.net QUIT :Quit: hello < 1326794109 552264 :shachaf!~shachaf@ip24.67-202-82.static.steadfastdns.net PRIVMSG #esoteric :Also, "family name" is ambiguous; it might refer to a "generation name". < 1326795149 899300 :augur!~augur@c-75-74-128-170.hsd1.fl.comcast.net QUIT :Ping timeout: 240 seconds < 1326795269 182328 :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 . < 1326797047 847881 :itidus21!~itidus21@120.148.51.249 PRIVMSG #esoteric :one might also say, group name vs individual name >:-) < 1326797114 393888 :pikhq!~pikhq@71-219-198-222.clsp.qwest.net QUIT :Ping timeout: 240 seconds < 1326797119 336064 :pikhq!~pikhq@71-219-228-191.clsp.qwest.net JOIN :#esoteric < 1326799742 210383 :myndzi\!myndzi@c-67-168-184-168.hsd1.wa.comcast.net QUIT :Ping timeout: 255 seconds < 1326800033 811628 :ais523!~ais523@unaffiliated/ais523 JOIN :#esoteric < 1326800215 738742 :aloril!~aloril@dsl-tkubrasgw3-fe7ef900-153.dhcp.inet.fi QUIT :Ping timeout: 248 seconds < 1326800426 276787 :aloril!~aloril@84.249.126.153 JOIN :#esoteric < 1326800602 550753 :_Slereah!~butt@ANantes-259-1-185-27.w90-49.abo.wanadoo.fr NICK :Slereah < 1326800726 68614 :Frooxius_!~chatzilla@cust-101.ktknet.cz JOIN :#esoteric < 1326800939 639161 :Frooxius!~chatzilla@cust-101.ktknet.cz QUIT :Ping timeout: 252 seconds < 1326800948 154030 :Frooxius_!~chatzilla@cust-101.ktknet.cz NICK :Frooxius < 1326801327 212565 :myndzi!myndzi@c-67-168-184-168.hsd1.wa.comcast.net JOIN :#esoteric < 1326802687 296751 :Vorpal!~AnMaster@unaffiliated/anmaster JOIN :#esoteric < 1326802857 792539 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com QUIT :Remote host closed the connection < 1326804568 42394 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 JOIN :#esoteric < 1326804867 821286 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :`? monoid < 1326804873 55256 :HackEgo!codu@codu.org PRIVMSG #esoteric :Monoids are just categories with a single object. < 1326804898 494648 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :`? category < 1326804902 480217 :HackEgo!codu@codu.org PRIVMSG #esoteric :Categories are just categories. < 1326804940 493022 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :`? monad < 1326804944 677481 :HackEgo!codu@codu.org PRIVMSG #esoteric :Monads are just monoids in the category of endofunctors. < 1326804945 516532 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :`? endofunctor < 1326804949 251380 :HackEgo!codu@codu.org PRIVMSG #esoteric :endofunctor? ¯\(°_o)/¯ < 1326804951 333278 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :^ omission. < 1326805007 912166 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :Endofunctors are just arrows in the monoidal category? < 1326805015 141046 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :`? arrow < 1326805018 644147 :HackEgo!codu@codu.org PRIVMSG #esoteric :arrow? ¯\(°_o)/¯ < 1326805054 433157 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :Arrows are just members of homsets. < 1326805068 126287 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Arrows are just bad hombres. < 1326805267 438637 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PART #esoteric :"Leaving" < 1326805273 105796 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 JOIN :#esoteric < 1326805282 9696 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :Wait why did nobody tell me elliott went nuts. < 1326805461 652781 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Also paimaväär sounds vaguely Estonian to me. < 1326805613 800909 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :They tend to do that thing, where Finnish would have a wovel at the end. en:leg = fi:sääri = et:säär, en:ash (tree) = fi:saarni = et:saar. < 1326805749 667265 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Päivämäärä, though, is a Finnish word. (Date. As in, "time and date".) < 1326805768 473614 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :`words --finnish 20 < 1326805773 792463 :HackEgo!codu@codu.org PRIVMSG #esoteric :mallenne elpoistäsi saansa urasvat autoviulosaansa lohdistelevaltani ilmästä luonipahoisti vaististamme ruoinne tartisuulet uusistasiatyynimista enneettävinansa epäislaista astaan taisemmalta uuvutta kouluminä ohjakinkö jahtavanisimeroksen < 1326806739 991242 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :Phantom_Hoover: weren't you there at the time? < 1326806747 20907 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :ais523, nope. < 1326806757 743558 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I'm actually kind-of worried he hasn't returned since < 1326806817 866239 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :1:38 on Monday morning. I definitely wasn't there. < 1326806922 164421 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Translated from your sillytimes, 3:38 on Monday morning; no wonder I wasn't there. < 1326806942 889107 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :Presumably this is why nobody mentioned it when I asked where he'd gone. < 1326807152 863205 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Also isn't that a Sunday? < 1326807193 808921 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :It... yes. < 1326807218 282392 :Phantom__Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 JOIN :#esoteric < 1326807560 568095 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 QUIT :Remote host closed the connection < 1326807960 240821 :hagb4rd!~perdito@koln-4d0b7112.pool.mediaWays.net PRIVMSG #esoteric :ah thats it fizzie..Päivämäärä < 1326808093 945641 :hagb4rd!~perdito@koln-4d0b7112.pool.mediaWays.net PRIVMSG #esoteric :now tell me where is the relation to any other language spoken on this planet < 1326808104 939936 :hagb4rd!~perdito@koln-4d0b7112.pool.mediaWays.net PRIVMSG #esoteric :if there is any < 1326808187 768093 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Estonian is a relative; "kuupäev" ('moon-day') is their corresponding word, I think. < 1326808191 366991 :hagb4rd!~perdito@koln-4d0b7112.pool.mediaWays.net PRIVMSG #esoteric :hard to explain how language developes in such a different way..isnt it? < 1326808227 862249 :Frooxius_!~chatzilla@cust-101.ktknet.cz JOIN :#esoteric < 1326808284 690003 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Language people also always say Hungarian is related, but that's farther away. < 1326808364 38206 :Frooxius!~chatzilla@cust-101.ktknet.cz QUIT :Ping timeout: 272 seconds < 1326808374 212208 :Frooxius_!~chatzilla@cust-101.ktknet.cz NICK :Frooxius < 1326808494 182007 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :fizzie: I was in Hungary and they were talking about Hungarian a bit for the benefit of the large contingent of Brits there at the time, then they put a Finnish sentence on the board to see if any of the Hungarians there understood it < 1326808506 928446 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :and the answer was, no, but they all had "oh, right" moments when it was explained < 1326808519 987038 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :apparently Hungarian isn't really like any other language, except for Finnish < 1326808530 148021 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :vocab-wise < 1326808546 828181 :hagb4rd!~perdito@koln-4d0b7112.pool.mediaWays.net PRIVMSG #esoteric :is there any historical relation between these counties? < 1326808573 760791 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :"Linguistic roots common to both branches of the traditional Finno-Ugric language tree (Finno-Permic [i.e. Finnish, Estonian] and Ugric [i.e. Hungarian]) are extremely distant. -- According to philologist Mall Hellam there's only one mutual sentence: “the living fish swims in water.” (Finnish: Elävä kala ui veden alla), (Estonian: Elav kala ujub vee all), (Hungarian: az élő hal vízben úszik)." < 1326808641 584566 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :heh, the Hungarian only vaguely resembles the other two < 1326808686 949020 :kmc!~keegan@c-98-216-51-47.hsd1.ma.comcast.net PRIVMSG #esoteric :wikipedia has "Eleven hal úszik a víz alatt." < 1326808702 861618 :hagb4rd!~perdito@koln-4d0b7112.pool.mediaWays.net PRIVMSG #esoteric :sounds like the linguists stuck there too < 1326808715 492667 :kmc!~keegan@c-98-216-51-47.hsd1.ma.comcast.net PRIVMSG #esoteric :http://en.wikipedia.org/wiki/Uralic_languages#Example_sentence < 1326808724 112523 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Yeah, "they" always mention the relatedness, but it's not really obvious to a "language muggle" (am I using this term right?). < 1326808759 56796 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :kmc: Heh, the other Hungarian example was also from Wikipedia: http://en.wikipedia.org/wiki/Finno-Ugric (second paragraph). < 1326808767 411351 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Inconsistencies? In my Wikipedia? < 1326808790 545159 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :I suppose it could be just an alternative way of saying it. < 1326808806 261098 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :One that arranges the words more in the same order. < 1326808814 297476 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :(I don't know anything about Hungarian at all.) < 1326808844 579245 :hagb4rd!~perdito@koln-4d0b7112.pool.mediaWays.net PRIVMSG #esoteric :i wonder y the language did not mix up with the languages in the skandinavian neighbourhood in any way < 1326808862 412725 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Calling "Eleven hal úszik a víz alatt" "mutually intelligible" is going a bit far, though. < 1326808889 883338 :hagb4rd!~perdito@koln-4d0b7112.pool.mediaWays.net PRIVMSG #esoteric :these people seem to prefer to be on their own in some way < 1326808902 840842 :hagb4rd!~perdito@koln-4d0b7112.pool.mediaWays.net PRIVMSG #esoteric :do we have any finnish people here? < 1326808907 459762 :hagb4rd!~perdito@koln-4d0b7112.pool.mediaWays.net PRIVMSG #esoteric :btw < 1326808908 24249 :kmc!~keegan@c-98-216-51-47.hsd1.ma.comcast.net PRIVMSG #esoteric :hagb4rd, what makes you think it didn't? < 1326808917 221183 :kmc!~keegan@c-98-216-51-47.hsd1.ma.comcast.net PRIVMSG #esoteric :"Over the course of many centuries, the Finnish language has borrowed many words from a wide variety of languages, most from neighboring Indo-European languages. Indeed, some estimates put the core Proto-Uralic vocabulary surviving in Finnish at only around 300 word roots." < 1326808943 715755 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :We've got quite a few loans also from Russian. < 1326808972 573700 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Not sure if "borrow" is the right word, we're certainly not going to give any of them back. < 1326808987 409798 :hagb4rd!~perdito@koln-4d0b7112.pool.mediaWays.net PRIVMSG #esoteric :hagb4rd, what makes you think it didn't? <- obviously the language < 1326809010 964979 :hagb4rd!~perdito@koln-4d0b7112.pool.mediaWays.net PRIVMSG #esoteric :hehe < 1326809070 816889 :hagb4rd!~perdito@koln-4d0b7112.pool.mediaWays.net PRIVMSG #esoteric :so you < 1326809076 280166 :hagb4rd!~perdito@koln-4d0b7112.pool.mediaWays.net PRIVMSG #esoteric :are a fin fizzieß < 1326809114 129483 :hagb4rd!~perdito@koln-4d0b7112.pool.mediaWays.net PRIVMSG #esoteric :? < 1326809332 961069 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Yes. < 1326809341 978209 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :I am finished. < 1326809382 889137 :ais523!~ais523@unaffiliated/ais523 QUIT :Remote host closed the connection < 1326809491 187026 :hagb4rd!~perdito@koln-4d0b7112.pool.mediaWays.net PRIVMSG #esoteric :fizzie: okay.. one last question: what does this humppa mean? is just like unz unz unz unz? fun? < 1326809521 139589 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :It's a genre of music. < 1326809531 124982 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :And I guess also the associated dance. < 1326809539 925116 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :But informally could be used to refer to any number of things. < 1326809571 410543 :hagb4rd!~perdito@koln-4d0b7112.pool.mediaWays.net PRIVMSG #esoteric :like 'jump' ..maybe? < 1326809582 613520 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Well, any sort of bouncing around, maybe. < 1326809607 674693 :hagb4rd!~perdito@koln-4d0b7112.pool.mediaWays.net PRIVMSG #esoteric :k.. thanks for the infos :) < 1326809633 871965 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Also see http://en.wikipedia.org/wiki/Humppa -- that looks to be more or less correct, except it only talks of the official meanings. < 1326809825 472057 :hagb4rd!~perdito@koln-4d0b7112.pool.mediaWays.net PRIVMSG #esoteric :bounce? official meanings.. i see :P < 1326809872 649220 :hagb4rd!~perdito@koln-4d0b7112.pool.mediaWays.net PRIVMSG #esoteric :do not bounce with my woman dude! < 1326810001 853250 :Sgeo!~sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :@hoogle Chan a -> Chan a -> Chan a < 1326810002 427363 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :Control.Applicative (<|>) :: Alternative f => f a -> f a -> f a < 1326810002 589192 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :Language.Haskell.TH.Syntax qRecover :: Quasi m => m a -> m a -> m a < 1326810002 589377 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :Control.Monad mplus :: MonadPlus m => m a -> m a -> m a < 1326812016 373759 :Phantom___Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 JOIN :#esoteric < 1326812098 296697 :Phantom__Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 QUIT :Ping timeout: 244 seconds < 1326812280 240010 :ais523!~ais523@unaffiliated/ais523 JOIN :#esoteric < 1326814890 239392 :Phantom___Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 QUIT :Ping timeout: 240 seconds < 1326814911 418005 :Phantom___Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 JOIN :#esoteric < 1326815831 249465 :augur_!~augur@c-75-74-128-170.hsd1.fl.comcast.net JOIN :#esoteric < 1326816306 826584 :Mathnerd314!~chatzilla@dsl.6.28.53.206.cos.dyn.pcisys.net JOIN :#esoteric < 1326816514 388466 :MSleep!~fyrc@or-67-238-19-212.dhcp.embarqhsd.net NICK :MDude < 1326816710 282948 :hagb4rd!~perdito@koln-4d0b7112.pool.mediaWays.net QUIT :Ping timeout: 240 seconds < 1326817364 536554 :Ngevd!~Taneb@host-2-99-94-221.as13285.net JOIN :#esoteric < 1326817769 607043 :Ngevd!~Taneb@host-2-99-94-221.as13285.net PRIVMSG #esoteric :Hello < 1326817945 10140 :Ngevd!~Taneb@host-2-99-94-221.as13285.net PRIVMSG #esoteric :What is a comonad? < 1326818042 370594 :Phantom___Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :The categorical dual of a monad. < 1326818053 770759 :Phantom___Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :i.e. a monad with all the ->s swapped. < 1326818104 310808 :Ngevd!~Taneb@host-2-99-94-221.as13285.net PRIVMSG #esoteric :(>>=) :: m a -> m b ->(a -> m b)? < 1326818122 908608 :pikhq_!~pikhq@71-219-252-152.clsp.qwest.net JOIN :#esoteric < 1326818144 525335 :pikhq!~pikhq@71-219-228-191.clsp.qwest.net QUIT :Ping timeout: 252 seconds < 1326818145 103707 :Phantom___Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :It's not that. < 1326818326 879012 :Ngevd!~Taneb@host-2-99-94-221.as13285.net PRIVMSG #esoteric :Could you explain it better? I really have no idea, I'm afraid < 1326818454 491790 :Phantom___Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :I'm not so hot on them myself. < 1326818462 497188 :Ngevd!~Taneb@host-2-99-94-221.as13285.net PRIVMSG #esoteric :Hmm... < 1326818546 253783 :Phantom___Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :Ngevd, < 1326818547 293565 :Phantom___Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :http://hackage.haskell.org/package/comonad < 1326818649 758571 :Gregor!codu@codu.org NICK :WhatsTheNickLeng < 1326818667 172642 :WhatsTheNickLeng!codu@codu.org NICK :Gregor < 1326818671 567954 :Gregor!codu@codu.org PRIVMSG #esoteric :Phantom___Hoover: Wow, you are actually at the limit. < 1326818681 783816 :Phantom___Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :Yes. < 1326818714 847134 :Ngevd!~Taneb@host-2-99-94-221.as13285.net PRIVMSG #esoteric :Ngevd___________ < 1326818732 536916 :Phantom___Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :Ngevd, extend (dual of bind) :: (w a -> b) -> w a -> b. < 1326818733 950344 :Ngevd!~Taneb@host-2-99-94-221.as13285.net NICK :Ngevd___________ < 1326818739 980290 :Gregor!codu@codu.org PRIVMSG #esoteric :I hate you all < 1326818740 419480 :Ngevd___________!~Taneb@host-2-99-94-221.as13285.net PRIVMSG #esoteric :Hmm < 1326818742 579557 :Phantom___Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :Erm, *w b for that last noe. < 1326818744 227633 :Phantom___Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :*one < 1326818771 879828 :Gregor!codu@codu.org PRIVMSG #esoteric :Hmmmmmmmmm, the nick 'Gr' hasn't been used in two years. < 1326818777 859867 :Gregor!codu@codu.org PRIVMSG #esoteric :I could PROBABLY pick it up if I asked nice. < 1326818797 913508 :Gregor!codu@codu.org PRIVMSG #esoteric :The only caveat being that I don't actually want it. < 1326818801 839805 :Ngevd___________!~Taneb@host-2-99-94-221.as13285.net NICK :__N__g__e__v__d_ < 1326818824 316263 :__N__g__e__v__d_!~Taneb@host-2-99-94-221.as13285.net NICK :Ngevdtanebngevd_ < 1326819074 807342 :cheater!~cheater@dslb-084-057-001-153.pools.arcor-ip.net QUIT :Ping timeout: 240 seconds < 1326820020 882772 :augur_!~augur@c-75-74-128-170.hsd1.fl.comcast.net QUIT :Read error: Connection reset by peer < 1326820038 314923 :augur!~augur@c-75-74-128-170.hsd1.fl.comcast.net JOIN :#esoteric < 1326821180 573902 :Mathnerd314!~chatzilla@dsl.6.28.53.206.cos.dyn.pcisys.net QUIT :Ping timeout: 252 seconds < 1326822170 362208 :Phantom___Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 QUIT :Ping timeout: 240 seconds < 1326822384 77575 :Ngevdtanebngevd_!~Taneb@host-2-99-94-221.as13285.net NICK :Ngevd < 1326822957 394663 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 JOIN :#esoteric < 1326822989 629856 :Klisz!~Klisz@c-67-161-147-186.hsd1.co.comcast.net JOIN :#esoteric < 1326823142 581628 :Phantom___Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 JOIN :#esoteric < 1326823273 838756 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 QUIT :Remote host closed the connection < 1326823867 362108 :Mathnerd314!~chatzilla@dsl.6.28.53.206.cos.dyn.pcisys.net JOIN :#esoteric < 1326824290 691957 :Ngevd!~Taneb@host-2-99-94-221.as13285.net QUIT :Ping timeout: 276 seconds < 1326824956 552557 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :C#++'s lambda syntax is strangely similar to STG's < 1326824988 225380 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :[list of free variables](list of arguments) -> { expression } < 1326825031 636141 :Ngevd!~Taneb@host-2-99-94-221.as13285.net JOIN :#esoteric < 1326825370 201056 :Ngevd!~Taneb@host-2-99-94-221.as13285.net PRIVMSG #esoteric :Hello! < 1326825376 212065 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :hi < 1326825481 874609 :Ngevd!~Taneb@host-2-99-94-221.as13285.net PRIVMSG #esoteric :@oeis 1, 5, 14, 30, 55 < 1326825483 136148 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : Square pyramidal numbers: 0^2 + 1^2 + 2^2 +...+ n^2 = n*(n+1)*(2*n+1)/6. < 1326825483 298249 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : [0,1,5,14,30,55,91,140,204,285,385,506,650,819,1015,1240,1496,1785,2109,2470... < 1326825529 525184 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :kallisti: "C#++"? < 1326825538 14911 :Ngevd!~Taneb@host-2-99-94-221.as13285.net PRIVMSG #esoteric :> map (sum . concat . tails . enumFromTo) [1..] < 1326825538 976381 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : Couldn't match expected type `[a]' < 1326825539 139367 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : against inferred type `a1 -> [a1]' < 1326825539 327565 :monqy!~swell@pool-71-102-226-192.snloca.dsl-w.verizon.net JOIN :#esoteric < 1326825546 475045 :Ngevd!~Taneb@host-2-99-94-221.as13285.net PRIVMSG #esoteric :> map (sum . concat . tails . enumFromTo 1) [1..] < 1326825548 318388 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : [1,5,14,30,55,91,140,204,285,385,506,650,819,1015,1240,1496,1785,2109,2470,... < 1326825591 790999 :Ngevd!~Taneb@host-2-99-94-221.as13285.net PRIVMSG #esoteric :What would be fun but doable for me to write a program for? < 1326825624 922665 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :ais523: C++11 :P < 1326825638 501102 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :I'm even more scatterbrained than usual when I've just woken up. < 1326825660 441289 :Phantom___Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :Ngevd, of what < 1326825661 994816 :Phantom___Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :*? < 1326825675 449930 :Ngevd!~Taneb@host-2-99-94-221.as13285.net PRIVMSG #esoteric :... < 1326825683 705404 :Ngevd!~Taneb@host-2-99-94-221.as13285.net PRIVMSG #esoteric :I'll try rephrasing my question < 1326825692 189937 :Ngevd!~Taneb@host-2-99-94-221.as13285.net PRIVMSG #esoteric :That was not a response I can parse < 1326825730 305721 :Ngevd!~Taneb@host-2-99-94-221.as13285.net PRIVMSG #esoteric :Can anyone give me an idea for a program that is fun but doable for me to write? < 1326825803 826608 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :portal chess server implemenetation < 1326825823 331254 :Ngevd!~Taneb@host-2-99-94-221.as13285.net PRIVMSG #esoteric :Could you tell me the rules of portal chess? < 1326825829 969083 :Ngevd!~Taneb@host-2-99-94-221.as13285.net PRIVMSG #esoteric :I assume it is a chess variatio < 1326825830 238405 :Ngevd!~Taneb@host-2-99-94-221.as13285.net PRIVMSG #esoteric :n < 1326825831 746781 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :not at the moment. < 1326825833 179392 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :and yes. < 1326825837 138443 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :just think of chess but awesome. < 1326825839 516770 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :should be simple. < 1326825841 966865 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :to figure out the rest. < 1326825842 545766 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric ::P < 1326825855 728051 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :but seriously I do need to actually write down the rules < 1326825917 891360 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :basically the objective is the same and the pieces are in the same positions < 1326825920 999591 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :but they do different things < 1326825990 902602 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :another difference is that the primary capturing pieces fire projectiles, that travel in one direction across the board. < 1326826063 521239 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :another is that some pieces have a component of directionality. your portals for example, are the two bishops, who are facing a particular direction. During each move of a directional piece can choose to move both its direction and its position (either both or just one) < 1326826075 591995 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :+you < 1326826108 582119 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :oh look Wikipedia is going down in 11 hours. < 1326826128 343978 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :I should probably mass-read everything I might want to know for that period of time. < 1326826162 362756 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :Ngevd: but yeah enumerating all of the pieces will take some time... which I don't have at the moment < 1326826179 192838 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :as soon as I finish my drink I'm going to be afk. < 1326826356 797684 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :but to give you the rules for the eponymous piece: the portal has an opening that corresponds to the direction its facing. Any moving pieces or projectiles that attempt to occupy the same square as the portal from that direction will be relocated to the opening of the player's other portal, and will continue traveling as expected. < 1326826387 496257 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :therefore, it's impossible to capture a portal from the direction it's facing. < 1326826423 753243 :Ngevd!~Taneb@host-2-99-94-221.as13285.net PRIVMSG #esoteric :Do they face orthagonally or diagonally? < 1326826427 832091 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :either. < 1326826431 848465 :Ngevd!~Taneb@host-2-99-94-221.as13285.net PRIVMSG #esoteric :Okay < 1326826434 905471 :Ngevd!~Taneb@host-2-99-94-221.as13285.net PRIVMSG #esoteric :And projectiles? < 1326826585 602576 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :projectiles are made by the two rooks. One is called the D-cannon, and is the upside-down rook on the king's side, which can, as its full move, fire a projectile in any diagonal direction. The C-cannon, the normally oriented rook on the queen's side, can fire in cardinal directions. < 1326826669 871566 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :once a projectile captures a piece it stops traveling forward. < 1326826677 849320 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :(or once it reaches the end of the board, obviously) < 1326826721 196288 :Ngevd!~Taneb@host-2-99-94-221.as13285.net PRIVMSG #esoteric :Is castling still possible? < 1326826732 561875 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :it's not something I've considered. so no < 1326826739 683285 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :really I haven't play tested it yet. :P < 1326826747 943027 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :and yet I'm making the implementation. < 1326826755 342053 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :I'll likely tweak rules as I go < 1326826805 104319 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :one thing I have noticed < 1326826819 972837 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :is that white can basically force black's first move < 1326826827 212381 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :so I'm not sure how balanced it is in that regard. < 1326826834 824213 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :but chess isn't balanced either. < 1326826842 736808 :Ngevd!~Taneb@host-2-99-94-221.as13285.net PRIVMSG #esoteric :Hang on < 1326826850 424717 :Ngevd!~Taneb@host-2-99-94-221.as13285.net PRIVMSG #esoteric :If a portal moves to a piece < 1326826861 140288 :Ngevd!~Taneb@host-2-99-94-221.as13285.net PRIVMSG #esoteric :...Nevermind < 1326826865 933667 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :yes that's a thing < 1326826895 424091 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :it will appear next to the other portal, on the one square adjacent to the direction it's facing. < 1326826909 454213 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :portals cannot capture normally. < 1326827052 137132 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :the portal itself can move to any space within a chebyshev distance of 3, ignoring pieces within its path ("hopping" like a knight) < 1326827070 224041 :Ngevd!~Taneb@host-2-99-94-221.as13285.net PRIVMSG #esoteric :Which direction are the portals initially facing < 1326827077 888273 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :I should probably draw a pretty little giagram like this one http://en.wikipedia.org/wiki/File:Chess_x4t45.svg < 1326827102 413724 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :the opponent. assuming white is on the south side of the board, and black is on the north side. < 1326827108 627507 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :as in a standard chess diagram. < 1326827137 109082 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :but the starting direction isn't very important I think. < 1326827144 98445 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :you'll likely move portals as one of your first moves < 1326827146 285807 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :and thus reorient it. < 1326827157 635748 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :oh < 1326827159 196339 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :that < 1326827162 842003 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :is a picture of a four < 1326827169 550437 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :http://en.wikipedia.org/wiki/Chebyshev_distance < 1326827172 198686 :Ngevd!~Taneb@host-2-99-94-221.as13285.net PRIVMSG #esoteric :Yes, I was wondering about that < 1326827215 513377 :Ngevd!~Taneb@host-2-99-94-221.as13285.net PRIVMSG #esoteric :Can they move to a distance of three or less, or is it precisely 3? < 1326827236 918555 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :3 or less < 1326827242 211675 :Ngevd!~Taneb@host-2-99-94-221.as13285.net PRIVMSG #esoteric :Okay < 1326827247 651411 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :may adjust it to 2 dunno < 1326827251 442489 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :that is quite ridiculously mobile. < 1326827267 782782 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :but then, they need to be able to respond quickly to things that can capture all the way across the board without moving at all. < 1326827268 304397 :Ngevd!~Taneb@host-2-99-94-221.as13285.net PRIVMSG #esoteric :Hmm < 1326827291 429289 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :the cannons themselves move slowly however. one square in any direction per turn. < 1326827302 353161 :Ngevd!~Taneb@host-2-99-94-221.as13285.net PRIVMSG #esoteric :Like Kings? < 1326827304 258584 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :yes < 1326827312 309166 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :kings are exactly the same in this game. < 1326827314 684222 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :in every way. < 1326827325 305118 :Ngevd!~Taneb@host-2-99-94-221.as13285.net PRIVMSG #esoteric :Except for castling < 1326827328 510224 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :er, yes. < 1326827345 351243 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :but I might have an optional castling rule. I want to try out many rule variations < 1326827351 912564 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :I might tweak individual movement and capturing rules and stuff like that. < 1326827415 654874 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :chebyshev distance of 3 movement will be interesting < 1326827437 283342 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :but I think it fits the game well. everything is very extreme. < 1326827455 618492 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :as far as I can tell the purpose of pawns (which are currently unchanged) is to be meatshields. < 1326827472 695602 :Ngevd!~Taneb@host-2-99-94-221.as13285.net PRIVMSG #esoteric :What happens if a pawn is promoted to a portal < 1326827479 372911 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :oh, hmmm. < 1326827488 533307 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :well.... < 1326827493 792693 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :uh..... < 1326827497 22408 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :uh......... < 1326827530 234126 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :I hadn't really thought about promotion. which means IT'S NOT IN THE GAME YET. < 1326827539 113459 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :also how the hell are you going to get to the other side of the board. < 1326827547 396780 :Ngevd!~Taneb@host-2-99-94-221.as13285.net PRIVMSG #esoteric :Carefully placed portals < 1326827548 794303 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :I guess it's pretty difficult in normal chess too... < 1326827552 14551 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :oh, yes. < 1326827552 383036 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :see < 1326827553 893944 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :hmm < 1326827569 655591 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :I don't know what effects that have. < 1326827572 466121 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :*has < 1326827574 545451 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :erjwejriwjiojweroijweiojtowiejr < 1326827581 14867 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :currently the rule is < 1326827585 264420 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :if you capture a portal < 1326827601 585593 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :the other portal explodes and captures everything adjacent to it and itself. < 1326827613 619042 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :which is kind of a shitty way to account for the fact that a portal doesn't really do anything if the other one is missing < 1326827616 620861 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :however < 1326827619 965253 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :with promotion rules you could get new portals. < 1326827621 437728 :Ngevd!~Taneb@host-2-99-94-221.as13285.net PRIVMSG #esoteric :That makes saying "check" quite interesting < 1326827626 324970 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :Ngevd: oh yes. < 1326827630 952337 :Ngevd!~Taneb@host-2-99-94-221.as13285.net PRIVMSG #esoteric :::::D < 1326827634 813742 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :check is kind of ridiculous < 1326827636 565145 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :in this game. < 1326827652 47403 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :the same explosion rule exists if the two portals attempt to travel through each other. < 1326827656 148752 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :which means < 1326827686 137970 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :if two portals of the same color are within movement distance of one another, the opponents king cannot be adjacent to them < 1326827704 301884 :Ngevd!~Taneb@host-2-99-94-221.as13285.net PRIVMSG #esoteric :This is crazy! < 1326827706 787351 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :lol < 1326827725 50145 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :considering that a portal can more or less move across the whole board in a minimum of 3 turns, and more than likely just 2 < 1326827732 6242 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :this is a pretty frequent state to be in. < 1326827766 349214 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :but I feel the piece promotion thing would be kind of ridiculous and weird < 1326827775 411056 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :because you would just shuttle pawns to the other side in the late game. < 1326827781 646904 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :which I guess makes them more valuable. < 1326827802 747663 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :that could be an interesting thing... < 1326827821 350561 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :Ngevd: I suspect the rules as they stand are highly broken. < 1326827828 619695 :Ngevd!~Taneb@host-2-99-94-221.as13285.net PRIVMSG #esoteric :Wow, you could get the enemy king into checkmate by putting a portal either side of it, both pointing towards it < 1326827830 918236 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :I just took some elements are thought were interesting < 1326827832 874299 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :and stuck them together < 1326827837 452091 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :and then made rules for the consequences. < 1326827860 720933 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :yes I may very well restrict the movement of portals somehow < 1326827864 668147 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :perhaps no hopping like knights < 1326827883 438416 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :still that doesn't change much < 1326827890 874398 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :there are a shit ton of ways to get to the same square < 1326827894 609948 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :when going by chevyshev distance < 1326827901 583675 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :*cheby < 1326827965 923058 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :Ngevd: you just made me realize another strange corner case..... < 1326827980 110801 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :which makes me think < 1326827984 543936 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :perhaps portals should be unable to capture < 1326827989 406593 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :or rather < 1326827992 742005 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :transport things by stepping on them. < 1326828012 481801 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :as interesting as it would be < 1326828014 702935 :Ngevd!~Taneb@host-2-99-94-221.as13285.net PRIVMSG #esoteric :Hmm, my checkmate scenario is rather a stalemate < 1326828030 599424 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :imagine you have that same scenario < 1326828031 346419 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :but with < 1326828032 471018 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :a pawn < 1326828034 260597 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :in the middle < 1326828049 230775 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :now what happens when one of the portals attempts to capture the pawn, and thus transport it < 1326828057 112493 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :when two portals are adjacent to each other, facing the same direction < 1326828071 312316 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :it... kind of just disappears < 1326828079 781287 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :in an infinite loop of rulez < 1326828103 563249 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :PROBLEM SOLVED < 1326828107 764743 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :this is how portals capture. :> < 1326828116 662551 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :THIS VERY UNLIKELY SITUATION < 1326828119 963402 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :IS HOW YOU CAPTURE THINGS WITH PORTALS. < 1326828122 611518 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :done. < 1326828123 912776 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :problem solved. < 1326828172 663952 :Ngevd!~Taneb@host-2-99-94-221.as13285.net PRIVMSG #esoteric :Perhaps the pawn remains in the portal loop until it can exit the portal safely, at which point you flip a coin and it gets fired out of one of the portals at high speed? < 1326828185 420108 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :lol < 1326828192 547984 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :I'm trying to remove any element of chance as much as I can < 1326828199 667515 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :though there is an existing rule variant that allows chance. < 1326828204 124425 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :but I don't really like it. < 1326828240 216740 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :it involves PROJECTILE LOOPS < 1326828246 786974 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :THAT ARE /BIDIRECTIONAL/ < 1326828247 467193 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :yes < 1326828254 926580 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :I've just dropped some Official Portal Chess Terminology. < 1326828323 563800 :Ngevd!~Taneb@host-2-99-94-221.as13285.net PRIVMSG #esoteric :Possibly the player who controls the portals the piece is trapped in chooses which way the piece gets fired? < 1326828331 909274 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :yes that's interesting < 1326828333 199509 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :I may in fact < 1326828335 7406 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :make this another case < 1326828338 910350 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :where a number of rule variations can exist. < 1326828353 869876 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :the other case is the bidirectional projectile loop thing, which I haven't really explained very well < 1326828364 896561 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :man... this ruleset is going to need several helpful diagrams. < 1326828368 546998 :Ngevd!~Taneb@host-2-99-94-221.as13285.net PRIVMSG #esoteric :And if one of the portals is destroyed, the piece is obviously destroyed < 1326828417 497789 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :hm, yes you could go by: < 1326828445 799074 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :a) chance b) portalling player's choice c) capturing portal ejects always d) moving portal ejects always < 1326828483 639436 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :e) actually there's about 3 more I can think < 1326828485 118429 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :of < 1326828487 527620 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :TOO MANY < 1326828488 208754 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :RULE < 1326828489 669585 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :VARIATIONS < 1326828524 579341 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :the rule variations are basically me not deciding what can happen here, and just picking one I like the best as the "standard" but allowing the other possibilities < 1326828544 911341 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :I'm afraid by the end there will be so many strange rules that no one will want to play. :P < 1326828545 770345 :Ngevd!~Taneb@host-2-99-94-221.as13285.net PRIVMSG #esoteric :You could do one by how many turns have taken place? < 1326828555 169462 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :oh yes that's one < 1326828558 301693 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :the oscillating rule < 1326828562 90935 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :like the projectile loop one < 1326828563 827439 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :that works like that. < 1326828572 991825 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :that is one of the "3 more I can think of" < 1326828579 657624 :Ngevd!~Taneb@host-2-99-94-221.as13285.net PRIVMSG #esoteric :The oscillating rule family- you can do many timings < 1326828585 120102 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :lol, yes. < 1326828590 172091 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :RULE FAMILIES < 1326828598 611574 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :"chance" "oscillation" "meh fuck it" < 1326828606 494483 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :the three rule families < 1326828615 810830 :Ngevd!~Taneb@host-2-99-94-221.as13285.net PRIVMSG #esoteric :And choice < 1326828630 542386 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :for those who like gambling, those who like strategic timing, and those who really don't give a fuck. < 1326828637 455085 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :well the choice one is a bit difficult to work out < 1326828674 543875 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :in projectile loops the choice for the looping player is, obviously, to capture an opponent's piece, but to allow friendly pieces to interact with the projectile in a way that prevents them from being captured < 1326828693 751225 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :note that this is only bidirectional loops < 1326828722 169429 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :for a projectile loop that travels in only one direction there is no ambiguity that needs to be settle by explicit rules. < 1326828760 101724 :Ngevd!~Taneb@host-2-99-94-221.as13285.net PRIVMSG #esoteric :> let PortalChess == Weird in PortalChess == Weird < 1326828761 140328 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : : parse error on input `in' < 1326828772 150961 :Ngevd!~Taneb@host-2-99-94-221.as13285.net PRIVMSG #esoteric :> let "Portal Chess" == "Weird" in PortalChess == Weird < 1326828773 243366 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : : parse error on input `in' < 1326828781 50688 :Ngevd!~Taneb@host-2-99-94-221.as13285.net PRIVMSG #esoteric :> let "Portal Chess" == "Weird" = True in PortalChess == Weird < 1326828782 12451 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : Not in scope: data constructor `PortalChess'Not in scope: data constructor ... < 1326828792 544619 :Ngevd!~Taneb@host-2-99-94-221.as13285.net PRIVMSG #esoteric :> let "Portal Chess" == "Weird" = True in "PortalChess" == "Weird" < 1326828793 442212 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : *Exception: :3:4-35: Non-exhaustive patterns in function == < 1326828797 53661 :Ngevd!~Taneb@host-2-99-94-221.as13285.net PRIVMSG #esoteric :> let "Portal Chess" == "Weird" = True in "Portal Chess" == "Weird" < 1326828798 16290 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : True < 1326828798 885108 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :yo dawg I heard you like pattern matching < 1326828803 642946 :Ngevd!~Taneb@host-2-99-94-221.as13285.net PRIVMSG #esoteric :... < 1326828848 835544 :Ngevd!~Taneb@host-2-99-94-221.as13285.net PRIVMSG #esoteric :My Portal Chess program has 15 lines of code, not one of which contains pattern matching < 1326828849 144809 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric : http://sprunge.us/WdIC < 1326828853 869909 :Ngevd!~Taneb@host-2-99-94-221.as13285.net PRIVMSG #esoteric :It doesn't do much, though < 1326828858 794291 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :Ngevd: hm? < 1326828869 57773 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :you've been writing portal chess code? < 1326828874 857770 :Ngevd!~Taneb@host-2-99-94-221.as13285.net PRIVMSG #esoteric :Yes < 1326828878 612241 :Ngevd!~Taneb@host-2-99-94-221.as13285.net PRIVMSG #esoteric :While you've been talking < 1326828880 693338 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :oh < 1326828881 452244 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :well < 1326828884 606545 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :you should work on mine instead. :P < 1326828890 710858 :jix_!~jix@dronf.net NICK :jix < 1326828929 428278 :Ngevd!~Taneb@host-2-99-94-221.as13285.net PRIVMSG #esoteric :I'm doing mine a little different < 1326828939 384565 :Ngevd!~Taneb@host-2-99-94-221.as13285.net PRIVMSG #esoteric :Yours is probably better < 1326828946 418922 :Mathnerd314!~chatzilla@dsl.6.28.53.206.cos.dyn.pcisys.net PRIVMSG #esoteric :Ngevd: I like yours better < 1326828947 241152 :lifthrasiir!~lifthrasi@222.122.156.78 PRIVMSG #esoteric :> let { infixr 3 <=>; "foo" <=> "bar" = "bar" <=> "foo" } in "foo" <=> "bar" < 1326828947 748082 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : *Exception: :3:20-52: Non-exhaustive patterns in function <=> < 1326828953 377872 :lifthrasiir!~lifthrasi@222.122.156.78 PRIVMSG #esoteric :uhm. yeah. < 1326828989 719691 :Mathnerd314!~chatzilla@dsl.6.28.53.206.cos.dyn.pcisys.net PRIVMSG #esoteric :lifthrasiir: write a programming language where this works: < 1326829014 391265 :Mathnerd314!~chatzilla@dsl.6.28.53.206.cos.dyn.pcisys.net PRIVMSG #esoteric :> let { infixr 3 <=>; "foo" <=> "bar" = "bar" <=> "foo"; a <=> b = b <=> a } in "foo" <=> "bar" < 1326829018 368985 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : mueval-core: Time limit exceeded < 1326829044 502938 :Sgeo!~sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :Uh, what were you expecting that to do? < 1326829055 860077 :lifthrasiir!~lifthrasi@222.122.156.78 PRIVMSG #esoteric :> let { infixr 3 <=>; "foo" <=> "bar" = True; a <=> b = b <=> a } in "bar" <=> "foo" < 1326829056 389722 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : True < 1326829056 901633 :Sgeo!~sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :Print an error saying <>? < 1326829058 339087 :Sgeo!~sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :Oh < 1326829069 58877 :Sgeo!~sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :Wait, why am I saying oh? < 1326829080 354419 :lifthrasiir!~lifthrasi@222.122.156.78 PRIVMSG #esoteric :abuse of local fixity declaration? < 1326829103 80561 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :Ngevd: what are you doing differently? :P < 1326829125 225494 :Ngevd!~Taneb@host-2-99-94-221.as13285.net PRIVMSG #esoteric :I'm doing the board is an Array (Int, Char) Piece < 1326829130 686567 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :oh < 1326829136 584708 :Ngevd!~Taneb@host-2-99-94-221.as13285.net PRIVMSG #esoteric :Rather than a list of pieces with coords? < 1326829144 388979 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :I'm using a Vector. < 1326829163 389863 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :and I have a Storable instance that converts board squares to 16-bit unsigned integers. < 1326829280 768897 :Ngevd!~Taneb@host-2-99-94-221.as13285.net PRIVMSG #esoteric :This took me a while: < 1326829283 5921 :Ngevd!~Taneb@host-2-99-94-221.as13285.net PRIVMSG #esoteric :freshBoard = array ((1,'a')(8,'h')) [((1,'a'), CCannon White),((1,'b'), Knight White),((1,'c'), Portal White North),((1,'d'), King White),((1,'e'), Queen White),((1,'f'), Portal White North),((1,'g'), ((1,'h'), DCannon White) < 1326829283 221137 :Ngevd!~Taneb@host-2-99-94-221.as13285.net PRIVMSG #esoteric : ,((2,'a'), Pawn White True),((2,'b'), Pawn White True),((2,'c'), Pawn White True),((2,'d'),Pawn White True),((2,'e'),Pawn White True),((2,'f'),Pawn White True),((2,'g'),Pawn White True),((2,'h'),Pawn White True) < 1326829283 383161 :Ngevd!~Taneb@host-2-99-94-221.as13285.net PRIVMSG #esoteric : ,((3,'a'), Empty),((3,'b'), Empty),((3,'c'), Empty),((3,'d'), Empty),((3,'e'), Empty),((3,'f'), Empty),((3,'g'), Empty),((3,'h'),Empty) < 1326829284 29034 :Ngevd!~Taneb@host-2-99-94-221.as13285.net PRIVMSG #esoteric : ,((4,'a'), Empty),((3,'b'), Empty),((4,'c'), Empty),((4,'d'), Empty),((4,'e'), Empty),((4,'f'), Empty),((4,'g'), Empty),((4,'h'),Empty) < 1326829286 868247 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :lol < 1326829289 118006 :Ngevd!~Taneb@host-2-99-94-221.as13285.net PRIVMSG #esoteric : ,((5,'a'), Empty),((5,'b'), Empty),((5,'c'), Empty),((5,'d'), Empty),((5,'e'), Empty),((5,'f'), Empty),((5,'g'), Empty),((5,'h'),Empty) < 1326829291 727833 :Ngevd!~Taneb@host-2-99-94-221.as13285.net PRIVMSG #esoteric : ,((6,'a'), Empty),((6,'b'), Empty),((6,'c'), Empty),((6,'d'), Empty),((6,'e'), Empty),((6,'f'), Empty),((6,'g'), Empty),((6,'h'),Empty) < 1326829294 740272 :Ngevd!~Taneb@host-2-99-94-221.as13285.net PRIVMSG #esoteric : ,((7,'a'), Pawn Black True),((7,'b'), Pawn Black True),((7,'c'), Pawn Black True),((7,'d'),Pawn Black True),((7,'e'),Pawn Black True),((7,'f'),Pawn Black True),((7,'g'),Pawn Black True),((7,'h'),Pawn Black True) < 1326829301 460904 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :I wrote mine a bit less... tediously. < 1326829303 14953 :Ngevd!~Taneb@host-2-99-94-221.as13285.net PRIVMSG #esoteric : ,((8,'a'), DCannon Black),((8,'b'), Knight Black),((8,'c'), Portal Black South),((8,'d'), Queen Black),((8,'e'), King Black),((8,'f'), Portal Black South),((8,'g'), ((8,'h'), CCannon Black) < 1326829306 19079 :Ngevd!~Taneb@host-2-99-94-221.as13285.net PRIVMSG #esoteric : ] < 1326829310 708894 :Ngevd!~Taneb@host-2-99-94-221.as13285.net PRIVMSG #esoteric :Almost certainly < 1326829330 413426 :Mathnerd314!~chatzilla@dsl.6.28.53.206.cos.dyn.pcisys.net PRIVMSG #esoteric :Sgeo: I was expecting it to change the universe in very subtle ways :p < 1326829342 562177 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric : http://sprunge.us/DfHI < 1326829350 492892 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :storable instance and some basic functions < 1326829617 509841 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :hmmm if I took loops out of the board representation I could knock it down to a Word8 representation. < 1326829621 577261 :Mathnerd314!~chatzilla@dsl.6.28.53.206.cos.dyn.pcisys.net PRIVMSG #esoteric :my desktop: http://min.us/mvFG2GySl#1o < 1326829644 495735 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :since loops are expected to be not very common anyway. < 1326829654 627699 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :I dunno I'll see how the algorithms work. < 1326829662 198457 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :and change accordingly < 1326829667 151704 :Ngevd!~Taneb@host-2-99-94-221.as13285.net PRIVMSG #esoteric :Mathnerd314, you can delete the install file for Skype < 1326829770 532493 :Phantom___Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 QUIT :Ping timeout: 240 seconds < 1326829804 330377 :Mathnerd314!~chatzilla@dsl.6.28.53.206.cos.dyn.pcisys.net PRIVMSG #esoteric :yeah... < 1326829806 812370 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :Ngevd: so are you ready to implement the most exciting chess variant ever created? :P < 1326829820 383994 :Ngevd!~Taneb@host-2-99-94-221.as13285.net PRIVMSG #esoteric :Probably not! < 1326829825 171965 :Ngevd!~Taneb@host-2-99-94-221.as13285.net PRIVMSG #esoteric :But I'll give it a go < 1326829877 370737 :Vorpal!~AnMaster@unaffiliated/anmaster QUIT :Ping timeout: 248 seconds < 1326829979 709870 :Phantom___Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 JOIN :#esoteric < 1326830010 371687 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :Ngevd: I think I did a pretty good job structure the "new board" code. < 1326830019 993292 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :but maybe there's a way to make it better. < 1326830297 909956 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :kmc: hmm, so as a general, when micro-optimizing, is it better to have many function arguments or many free variables? < 1326830315 928826 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :when I was optimizing a (rather dumb) factoring algorithm I noticed that arguments seemed to be faster. < 1326830503 694447 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :based on the way the STG presents its memory model I think function arguments would have slightly faster access times, which could be important for arguments that are accessed rapidly in a tight loop. < 1326830528 9764 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :but it's likely a minor difference. < 1326830600 536228 :Ngevd!~Taneb@host-2-99-94-221.as13285.net PRIVMSG #esoteric :Hmm < 1326830617 600811 :Ngevd!~Taneb@host-2-99-94-221.as13285.net PRIVMSG #esoteric :Would it be possible to do the board as Coord -> Maybe Piece? < 1326830827 766957 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :I think it would still have to look something up within an array or other structure < 1326830841 221876 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :hm, well maybe not < 1326830853 20060 :Labbekak!d9795522@gateway/web/freenode/ip.217.121.85.34 JOIN :#esoteric < 1326830895 218216 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :Ngevd: yes that would be possible but probably not very efficient. < 1326830937 499790 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :each modification of the board would add an additional branch point that has to be executed in order to access anything on the board. < 1326830958 798800 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :as you continue to layer either guards pattern matches < 1326830980 494326 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :+or < 1326831095 140180 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :essentially my at function produces a Coord -> Maybe Piece sort of function < 1326831103 80271 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :at :: Board -> (File, Rank) -> Square < 1326831107 951841 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :given the board it produces such a function < 1326831117 241186 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :where data Square = Square (Maybe Piece) (Maybe Loop) < 1326831163 659269 :MDude!~fyrc@or-67-238-19-212.dhcp.embarqhsd.net QUIT :Ping timeout: 244 seconds < 1326832013 199284 :Ngevd!~Taneb@host-2-99-94-221.as13285.net PRIVMSG #esoteric :kallisti, what are Arrows and Prisms? < 1326832360 988172 :Phantom___Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :Arrows are just members of homsets. < 1326832381 886249 :Ngevd!~Taneb@host-2-99-94-221.as13285.net PRIVMSG #esoteric :In the context of Portal Chess < 1326832443 164229 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :Ngevd: arrows are the pieces symbolized by the knight. They have a direction. they're immune to normal projectiles and will redirect the path of a projectile that comes into contact with them, regardless of which player initiated the projectile. < 1326832476 433449 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :they move like bishops but are unable to capture like bishops, and may also move one space and capture one space in any cardinal direction < 1326832491 683743 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :(I think. maybe. we'll see) < 1326832492 380708 :Ngevd!~Taneb@host-2-99-94-221.as13285.net PRIVMSG #esoteric :And how do projectiles work? < 1326832506 554317 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :well I kind of already explained most of it... < 1326832515 543493 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :they just travel in the direction they're fired. < 1326832521 6314 :Ngevd!~Taneb@host-2-99-94-221.as13285.net PRIVMSG #esoteric :Are they coloured? < 1326832524 500883 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :hm < 1326832528 551226 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :well, no. < 1326832538 603132 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :they can capture any piece. < 1326832552 223434 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :this makes arrows rather valuable defensively. < 1326832569 214860 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :to block and redirect projectile paths, thus preventing cannons from firing < 1326832585 144093 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :and also offensively < 1326832602 924313 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :as an extension to the slow-moving cannons offensive capability. < 1326832607 171346 :Ngevd!~Taneb@host-2-99-94-221.as13285.net PRIVMSG #esoteric :And how quickly do projectiles move < 1326832612 534501 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :erm, instantly. < 1326832635 146469 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :they go away when they've either captured a piece or touch the edge of the board. < 1326832635 865510 :Ngevd!~Taneb@host-2-99-94-221.as13285.net PRIVMSG #esoteric :If they're slower, you can do taking the bullet? < 1326832647 354650 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :I have no idea what that mean-- oh yes you could do that. < 1326832652 216328 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :if they were slower < 1326832658 830171 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :it would also make them kind of pointless I think < 1326832672 150548 :Ngevd!~Taneb@host-2-99-94-221.as13285.net PRIVMSG #esoteric :Hmm, yeah < 1326832679 967283 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :the fact that you can capture things from across the board without moving is kind of what makes portal chess interesting. :P < 1326832701 117373 :Ngevd!~Taneb@host-2-99-94-221.as13285.net PRIVMSG #esoteric :Can cannons fire through portals? < 1326832703 691282 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :yes. < 1326832707 377756 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :they can also capture portals. < 1326832713 646716 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :based on the rules of how capturing portals works. < 1326832733 171276 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :cannons cannot capture arrows < 1326832737 56404 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :however, with the help of a prism, they can. < 1326832757 662880 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :is anyone actually going to /play/ this < 1326832765 577223 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :who knows. < 1326832768 820195 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :also, what if an arrow gets into an infinite loop through portals < 1326832769 182606 :Ngevd!~Taneb@host-2-99-94-221.as13285.net PRIVMSG #esoteric :Probably just me and kallisti < 1326832776 709027 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :ais523: yes this is a thing. < 1326832785 738726 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :I have rules for it. they're slightly complicated. :P < 1326832806 458460 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :but the basic idea is that it produces a loop, which is a persistent element of the board. < 1326832824 951661 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :it's just a consequence of the "projectiles disappear when they leave the edge of the board or capture a piece" a rule. < 1326832837 815389 :Ngevd!~Taneb@host-2-99-94-221.as13285.net PRIVMSG #esoteric :How can a projectile get stuck in a portal? < 1326832848 708814 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :well, it doesn't get stuck /in/ the portal < 1326832852 638466 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :it gets stuck in an infinite loop < 1326832855 663446 :Ngevd!~Taneb@host-2-99-94-221.as13285.net PRIVMSG #esoteric :How? < 1326832856 899596 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :either by arrows or portals. < 1326832862 411726 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :so the simplest one is < 1326832864 979379 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :two arrows facing each other < 1326832873 415584 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :a cannon fires and the projectile touches one of the arrows < 1326832883 100134 :Ngevd!~Taneb@host-2-99-94-221.as13285.net PRIVMSG #esoteric :Oooh < 1326832884 739360 :Ngevd!~Taneb@host-2-99-94-221.as13285.net PRIVMSG #esoteric :I see < 1326832890 191400 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :then any piece that ever moves through that zone dies? < 1326832894 739452 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :this is a bidirectional loop. it's not entirely clear which direction the projectile is going. intuitively it goes back and forth between the two arrows. < 1326832899 831340 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :quintopia: yes, and the projectile goes away. < 1326832908 960201 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :also < 1326832944 654716 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :if one of the components of the loop breaks the loop, the projectile will either a) fly off the board b) capture something c) get stuck in a different loop < 1326832945 200683 :Ngevd!~Taneb@host-2-99-94-221.as13285.net PRIVMSG #esoteric :I was imagining it bouncing off the arrow rather than turning < 1326832955 726861 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :Ngevd: it just goes in whatever direction the arrow is pointing < 1326832959 812281 :Ngevd!~Taneb@host-2-99-94-221.as13285.net PRIVMSG #esoteric :Yeah < 1326832975 990197 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :meh, i think projectiles should move at a finite speed. say eight squares a turn. then the prjectile can cover that area without preventing motion through it < 1326833013 274223 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :that's difficult to represent on a chess board. admittedly so are several other things (loops, and a specific variation of the loop rules where bidirectional loops oscillate each round of turns) < 1326833014 321153 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :and bullet dodging is possible < 1326833018 197013 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :which could be fun < 1326833027 945616 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :quintopia: eh. < 1326833035 956947 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :its easy to represent...bullets become pieces < 1326833054 746093 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :yes that's possible, but the idea was to require only a chess board and a little bit of imagination (in regard to keeping track of loops) < 1326833066 61902 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :however, I guess a coin or something could be used < 1326833068 752425 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :something easy to find. < 1326833072 195356 :Ngevd!~Taneb@host-2-99-94-221.as13285.net PRIVMSG #esoteric :A loop can be: Data Loop = Directedloop [Coord] | Bidirectedloop [Coord]? < 1326833074 959386 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :already requires too much imagination < 1326833084 343865 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :Ngevd: I just use a direction < 1326833092 3603 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :Ngevd: data Loop = Loop LoopKind Direction < 1326833102 742070 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :data LoopKind = Unidirectional | Bidirectional < 1326833106 142886 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :but I like your names better < 1326833116 465733 :Ngevd!~Taneb@host-2-99-94-221.as13285.net PRIVMSG #esoteric :You could use strings if you want to play for real < 1326833173 702017 :Ngevd!~Taneb@host-2-99-94-221.as13285.net PRIVMSG #esoteric :I don't see how your kind of loop actually represent loops < 1326833185 989542 :Ngevd!~Taneb@host-2-99-94-221.as13285.net PRIVMSG #esoteric :Unless it's on the board? < 1326833192 603506 :Ngevd!~Taneb@host-2-99-94-221.as13285.net PRIVMSG #esoteric :Ah yes < 1326833300 661357 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :kallisti: if you want to make this even more complicated, you could have both cannons and laser cannons. the laser cannons are instantaneous, but arrows act as mirrors for them rather than "go this way" < 1326833317 941821 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :let the arrow point in the directionof the normal vector to the mirror plane < 1326833350 25683 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :quintopia: nah my pieces are already pretty filled. < 1326833361 768181 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :ah well < 1326833398 844906 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :i was just thinking how amusing itd be if you could reflect a shot straight back at its source. "i will die if i fire right now" < 1326833402 48672 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :the rules are probably broken anyway < 1326833409 910006 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :quintopia: yes that's possible. < 1326833410 207079 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :but i guess its still possible with arrows < 1326833413 933707 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :so < 1326833416 925863 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :whaev < 1326833429 920773 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :one of the possible opening moves involves such a scenario in fact. < 1326833435 127180 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :which is what I was saying earlier < 1326833441 739828 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :that white can easily force blacks first move < 1326833452 128599 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :because white's first move can put black's pieces in danger < 1326833461 128242 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :that sounds annoying < 1326833463 649380 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :yes < 1326833467 729152 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :these are things that need to be fixed. < 1326833479 980132 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :or not fixed, but improved. < 1326833499 419139 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :perhaps by giving cannons a finite range. < 1326833508 649809 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :but this leads to other problems. < 1326833525 885307 :shachaf!~shachaf@ip24.67-202-82.static.steadfastdns.net PRIVMSG #esoteric :Has elliott given up on IRC? < 1326833538 470429 :Ngevd!~Taneb@host-2-99-94-221.as13285.net PRIVMSG #esoteric :He may be blocked < 1326833543 255101 :Ngevd!~Taneb@host-2-99-94-221.as13285.net PRIVMSG #esoteric :Banned < 1326833558 136391 :Ngevd!~Taneb@host-2-99-94-221.as13285.net PRIVMSG #esoteric :Of course, now I've said that, he's going to join and say "No I'm not!" < 1326833566 186720 :shachaf!~shachaf@ip24.67-202-82.static.steadfastdns.net PRIVMSG #esoteric :Oh, huh, he's online. < 1326833572 832242 :Ngevd!~Taneb@host-2-99-94-221.as13285.net PRIVMSG #esoteric :Or, more likely, "Yes I am" < 1326833592 862829 :Ngevd!~Taneb@host-2-99-94-221.as13285.net PRIVMSG #esoteric :shachaf, which channels? < 1326833598 583079 :shachaf!~shachaf@ip24.67-202-82.static.steadfastdns.net PRIVMSG #esoteric :No idea. < 1326833634 631869 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :rearranging the starting positions of pieces could possibly improve the game. < 1326833743 701607 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :or hmmm < 1326833792 2908 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :I think the situation could be amended by giving black an extra turn at the beginning of the game. < 1326833851 86091 :Ngevd!~Taneb@host-2-99-94-221.as13285.net PRIVMSG #esoteric :Just seen an ad for "Megashark vs Crocasaurus" < 1326833923 436624 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :http://gameknot.com/img/cd/Hs4OjMqrdSD_Tek0dz6AGg.gif < 1326833924 742463 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :okay so < 1326833951 405936 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :the best opening move for white is to move g2 to g3 < 1326833957 737551 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :because next turn he would be guaranteed a free capture < 1326833965 157333 :Phantom___Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 QUIT :Quit: Leaving < 1326833988 398020 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :however, if black is given two moves after white's first move < 1326833996 317067 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :this negates that opening for white. < 1326834025 329288 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :however, it's likely just an indication that the game is fundamentally flawed in some way and needs to be revised. :P < 1326834048 330554 :Ngevd!~Taneb@host-2-99-94-221.as13285.net PRIVMSG #esoteric :Love it for its flaws < 1326834091 957521 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :but no that doesn't fix anything. :P < 1326834132 129537 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :it just gives black that opportunity < 1326834134 148737 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :to take a free piece < 1326834145 848290 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :aha, I know. < 1326834149 111409 :Ngevd!~Taneb@host-2-99-94-221.as13285.net PRIVMSG #esoteric :That's what they said to Raul Gomila! < 1326834158 129486 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :you can give arrows an additional rule < 1326834170 422212 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :they may push friendly pieces with them, in the direction they're facing. < 1326834200 162794 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :this gives black the potential to defend white's opening by simply pushing his pawn out of the way and putting his arrow in position to block the projectile. < 1326834230 930632 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :and also means that if black does the same sort of manuever < 1326834235 781740 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :white can reply the same way. < 1326834243 972748 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :and now the beginning of the game is somewhat sane. < 1326834252 172460 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :can't say that about the rest of the game. :P < 1326834313 654935 :Sgeo!~sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :kallisti, Ngevd update < 1326834328 732699 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :Ngevd: could you make sense of my solution? < 1326834341 791890 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :or even the initial problem? < 1326834483 5570 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :so in fact a potential opening scenario is this. < 1326834556 126523 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :white moves g1 to g2, thereby pushing g2 to g3. black can respond by mirroring the move on his side. < 1326834615 95268 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :and... immediately there's a stripe of "do not enter" going across the main diagonal of the board. :P < 1326834619 217499 :Ngevd!~Taneb@host-2-99-94-221.as13285.net PRIVMSG #esoteric :Sgeo, ooh < 1326834701 546432 :Ngevd!~Taneb@host-2-99-94-221.as13285.net PRIVMSG #esoteric :I still think Roxy is an esoteric programmer < 1326834771 492616 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :this game is so wonky. :P < 1326834800 843946 :Sgeo!~sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :Is ~ATH an esolang? < 1326834802 383687 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :I think just having the first move gives you a ridicuous edge over your opponent < 1326834804 103926 :Sgeo!~sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :Is ^CAKE? < 1326834818 345802 :Ngevd!~Taneb@host-2-99-94-221.as13285.net PRIVMSG #esoteric :They are fictional languages < 1326834835 312426 :Ngevd!~Taneb@host-2-99-94-221.as13285.net PRIVMSG #esoteric :~ATH could make a good esolang < 1326834835 567580 :Sgeo!~sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :We should unfictionalize them < 1326834845 549088 :Ngevd!~Taneb@host-2-99-94-221.as13285.net PRIVMSG #esoteric :We haven't seen enough of ^CAKE or DIS* < 1326834856 883046 :Sgeo!~sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :I forgot about DIS* < 1326834878 783012 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :for example in the diagonal stripe of death scenario, with the new rules I just creating, white can move b1 to the center of the board, pushing the pawn along with him, and cut the diagonal stripe in half and thereby gain control of it < 1326834884 772548 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :black can then respond by doing the exact same thing < 1326834895 780872 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :so I think.... in this scenario, stalemate is very possible < 1326834904 487284 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :if black just mirrors white. < 1326835505 818580 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :well, maybe not < 1326835512 991317 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :there's no way to know except by playing a bunch of games. :P < 1326835619 904366 :Labbekak!d9795522@gateway/web/freenode/ip.217.121.85.34 QUIT :Quit: Page closed < 1326835650 67837 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :does GHC do something more efficient than branch a lot when it encountered a case statement? < 1326835662 766251 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :eh, premature optimization < 1326835683 292425 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :basically I've got backward :: Direction -> Direction < 1326835700 330697 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :and I was wondering if an explicit case statement would be slower or faster than using (to|from)Enum tricks. < 1326835743 445828 :Ngevd!~Taneb@host-2-99-94-221.as13285.net PRIVMSG #esoteric :Couldn't you do pattern matching? I don't know how that compiles, though < 1326835750 172305 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :as a case statement < 1326835761 132494 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :case statements are the pattern matching primitive in Haskell < 1326835772 967809 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :all the other pattern matching syntax translates to cases. < 1326835816 416115 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :I'll use Enum tricks for now because it's less tedious < 1326835942 283793 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :backward d = toEnum . condApp even succ pred . fromEnum $ d < 1326835942 485336 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric : where < 1326835943 66890 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric : condApp p t f x = if p x then t x else f x < 1326835951 299191 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :condApp seems like it should be something that already exists < 1326836040 203381 :Ngevd!~Taneb@host-2-99-94-221.as13285.net PRIVMSG #esoteric :@hoogle (a -> Bool) -> (a -> b) -> (a -> b) -> a ->b < 1326836040 732391 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :No results found < 1326836062 930588 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :really there's no need for special syntax for if < 1326836068 690730 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :I think an if function would look better. < 1326836100 331620 :Ngevd!~Taneb@host-2-99-94-221.as13285.net QUIT :Quit: goodnight < 1326836302 578786 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 JOIN :#esoteric < 1326836774 222082 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :presumably GHC has some kind of special case for enumeration types to make them faster. < 1326836819 927129 :Patashu!Patashu@c122-106-155-219.carlnfd1.nsw.optusnet.com.au JOIN :#esoteric < 1326837038 685428 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :
ACTION is experimenting with the hundreds of ways to write the same thing. :P
< 1326837146 353147 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :backward :: Direction -> Direction < 1326837146 544477 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :backward d = let i = fromEnum d < 1326837146 706336 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric : in toEnum $ if even i < 1326837146 706539 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric : then i+1 < 1326837147 175571 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric : else i-1 < 1326837156 649691 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :I think I prefer this one over the equivalent where/guard version < 1326837385 222823 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :I think where is better when longer descriptive names are used < 1326837422 878478 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :if you've got a long where clause that assigns a bunch of single-letter variable names then you benefit very much from the top-to-bottom presentation < 1326837429 407335 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :*don't benefit < 1326837558 502882 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :newBoard = imapBoard fillBoard emptyBoard < 1326837561 444132 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric : where < 1326837563 103777 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :... < 1326837579 598339 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :compare with this: you have long descriptive names, which gives you an idea of the structure of the function beforehand < 1326837624 966658 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :this is a trivial case that would be readable regardless of format, but when single-letter variables are referred to multiple times you basically are better off skipping to where clause and reading it first. < 1326837693 601858 :azaq23!~derivecto@unaffiliated/azaq23 JOIN :#esoteric < 1326837709 903964 :azaq23!~derivecto@unaffiliated/azaq23 QUIT :Client Quit < 1326838057 175467 :MDude!~fyrc@or-67-238-19-212.dhcp.embarqhsd.net JOIN :#esoteric < 1326838073 139972 :Jafet!~Jafet@unaffiliated/jafet QUIT :Quit: Leaving. < 1326839138 186189 :Jafet!~Jafet@unaffiliated/jafet JOIN :#esoteric < 1326839312 201435 :CHeReP!~cherep@217.172.23.118 JOIN :#esoteric < 1326840307 273137 :Mathnerd314_!~chatzilla@dsl.6.28.53.206.cos.dyn.pcisys.net JOIN :#esoteric < 1326840553 869182 :Mathnerd314!~chatzilla@dsl.6.28.53.206.cos.dyn.pcisys.net QUIT :Ping timeout: 276 seconds < 1326840650 665264 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 QUIT :Ping timeout: 240 seconds < 1326840690 650286 :Mathnerd314_!~chatzilla@dsl.6.28.53.206.cos.dyn.pcisys.net QUIT :Ping timeout: 240 seconds < 1326840968 702547 :Sgeo!~sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :kallisti, Nisstyre update < 1326841386 379285 :Nisstyre!~yours@c-208-90-102-250.netflash.net PRIVMSG #esoteric :Sgeo: hi < 1326841400 81471 :Sgeo!~sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :Hi, that was a misupdate < 1326841406 674362 :Nisstyre!~yours@c-208-90-102-250.netflash.net PRIVMSG #esoteric :ok < 1326841425 660248 :Nisstyre!~yours@c-208-90-102-250.netflash.net PRIVMSG #esoteric :kallisti: I dislike if...else in Haskell < 1326841430 403002 :Nisstyre!~yours@c-208-90-102-250.netflash.net PRIVMSG #esoteric :feels all wrong < 1326841489 388081 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :Nisstyre: eh < 1326841495 897536 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :I'd prefer an if function, yes. < 1326841542 831448 :Nisstyre!~yours@c-208-90-102-250.netflash.net PRIVMSG #esoteric :kallisti: I just use guards or case expressions < 1326841553 84817 :Nisstyre!~yours@c-208-90-102-250.netflash.net PRIVMSG #esoteric :or pattern matching when it applies < 1326841923 184226 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :Nisstyre: I use guards sometimes. < 1326841942 833679 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :but in this case I thought the usage was clearer than the equivalent guard/where notation < 1326844344 13320 :pikhq!~pikhq@71-219-245-168.clsp.qwest.net JOIN :#esoteric < 1326844491 185696 :pikhq_!~pikhq@71-219-252-152.clsp.qwest.net QUIT :Ping timeout: 245 seconds < 1326844605 257479 :ais523!~ais523@unaffiliated/ais523 QUIT :Remote host closed the connection