< 1356135074 247695 :copumpkin!~copumpkin@unaffiliated/copumpkin QUIT :Ping timeout: 252 seconds < 1356135290 625851 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :If you play crap using any two Platonic solid dice (which remain the same throughout the game), with the same rules as normal, what is affected the probability of winning according to? < 1356135368 476068 :Bike!~Glossina@207-224-23-226.ptld.qwest.net PRIVMSG #esoteric :do your dice usually change shape during games? < 1356135375 174470 :Taneb!~nathan@host-2-99-82-172.as13285.net PRIVMSG #esoteric :Never played crap, don't know the rules < 1356135557 943110 :copumpkin!~copumpkin@unaffiliated/copumpkin JOIN :#esoteric < 1356135706 61639 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Never played crap, don't give a crap? < 1356136090 995683 :nooga!~nooga@ip-46-250-173-30.ip.maverick.com.pl QUIT :Ping timeout: 246 seconds < 1356136379 50895 :Taneb!~nathan@host-2-99-82-172.as13285.net QUIT :Quit: Leaving < 1356136403 375450 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :I was reading HeadRoom (headphone.com, the headphone review/shop site), and the #1 quote in the "what our customers say" sidebar was: "I just wanted to say that the picture of the unicorn you drew for me was so awesome it almost made me cry. I particularly love unicorns. They're just so beautiful and graceful, like a lamb, but less hairy." < 1356136417 385715 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :I think that is a fine statement. < 1356136730 310945 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :Taneb: The rules are: On your first roll if it totals 7 or 11 you win, if it is 2 or 3 or 12 then you lose. Otherwise, you continue rolling, and other than the first turn, if you roll 7 you lose, if the same as the first number you win, otherwise try again until you match the first total or 7. < 1356136795 624002 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :Another puzzle I have read once related to crap game is, your opponent is going to play dice but he loaded one of the dice to make the 5 be 100%. You now have the chance to load the other dice using whatever probabilities you want. How should you do it to make the least probability he will win? < 1356136864 872697 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :(Notice that if you make the second dice also always come up the same number with 100% probability, then he will always win regardless of what number this is. Therefore you must do something else.) < 1356137036 186191 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :zzo38: I believe the game is called craps < 1356137048 191048 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :well, it obviously makes sense to make 1, 3, 4, and 5 all have equal probability, and 6 to have zero probability < 1356137067 254805 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :so we'll call the probability of 1345 total p, and of 2 p' (p' = 1 - p) < 1356137135 285430 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :the chance that the opponent wins on the first roll is p'; alternatively, if they don't roll a 2 on the first roll (probability p), their chance of winning is (p/4)/(p/4+p') < 1356137183 905358 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :that's p/(p+4p'), or p/(p + 4 - 4p), or p/(4 - 3p) < 1356137207 620461 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :so total chance is 1 - p + p^2/(4 - 3p) < 1356137308 308071 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :differentiating this gives -1 + ((2p)(4 - 3p)+(p^2)(-3))/((4 - 3p)^2) < 1356137346 240528 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :setting that to 0 gives (4 - 3p)^2 = (8p - 6p^2) - 3p^2 < 1356137366 14795 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :or 16 - 12p + 9p^2 = 8p - 9p^2 < 1356137396 449797 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :or 18p^2 - 20p + 16 = 0 < 1356137475 642948 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :so p is optimised at (20 ± sqrt(400 - 64*18)) / 36 < 1356137496 314189 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :hmm, 64*18 > 400 < 1356137500 218961 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I must have screwed up something there < 1356137518 893476 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :the general /principle/ is correct, though :) < 1356137617 519871 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :(4 - 3p)^2 = 4^2 - 2*4*3p + (3p)^2 = 16 - 24p + 9p^2, right? (Not ...-12p...) < 1356137794 113423 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :(Though 64*18 > 32^2 too.) < 1356137800 675033 :epicmonkey!~epicmonke@188.134.41.172 QUIT :Ping timeout: 252 seconds < 1356137924 147937 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :(A regular person would just have let Mathematica to do the derivative.) > 1356139362 598444 JOIN :#esoteric > 1356139366 753439 JOIN :#esoteric > 1356139367 270226 JOIN :#esoteric > 1356139405 934632 JOIN :#esoteric > 1356139410 63167 JOIN :#esoteric > 1356139410 579270 JOIN :#esoteric > 1356139467 933465 JOIN :#esoteric < 1356139469 152598 :glogbot!codu@codu.org JOIN :#esoteric < 1356139469 531066 :glogbackup!~glogbacku@64.31.59.246 PART :#esoteric > 1356139472 51105 JOIN :#esoteric > 1356139472 567131 JOIN :#esoteric < 1356139547 898232 :sgeo_!~sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :elliott, Fiora monqy Phantom_Hoover < 1356139565 33307 :Phantom_Hoover!~Phantom@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :elliott hasn't followed for ages, right < 1356139572 844464 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :> 2^2^2^2^2 < 1356139574 303826 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : 200352993040684646497907235156025575044782547556975141926501697371089405955... < 1356139615 581503 :Gregor!codu@codu.org JOIN :#esoteric < 1356139624 42110 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :if he hasn't followed for ages, then why would he be on the list < 1356139626 525335 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric : => he follows < 1356139628 884293 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :avidly < 1356139673 907071 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :i'm sure if he were with us today he'd thank sgeo for updating him(rest in peace) < 1356139719 709188 :WeThePeople!~WeThePeop@unaffiliated/wethepeople QUIT :Quit: Leaving < 1356139735 571710 :WeThePeople!~WeThePeop@63.91.27.121 JOIN :#esoteric < 1356139762 840333 :WeThePeople!~WeThePeop@63.91.27.121 QUIT :Changing host < 1356139763 24965 :WeThePeople!~WeThePeop@unaffiliated/wethepeople JOIN :#esoteric < 1356139787 31472 :WeThePeople!~WeThePeop@unaffiliated/wethepeople QUIT :Read error: Connection reset by peer < 1356139824 283662 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :> length $ show (2^2^2^2^2) < 1356139825 896888 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : 19729 < 1356139945 314073 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :> length $ show (3^3^3^3^3) < 1356139950 438044 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : mueval: ExitFailure 1 < 1356139950 621994 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : mueval: Prelude.undefined < 1356140148 782227 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :ais523: http://sprunge.us/IcID incidentally. < 1356140198 223973 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net QUIT :Quit: hello < 1356140220 396100 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :zzo38: so the conclusion from this is that you have to make 2 come up 1/3 of the time, and 1/3/4/5 come up 1/6 of the time each < 1356140233 529100 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :or in other words, you just take your normal dice and replace the 6 with a 2 and hope nobody notices < 1356140247 721454 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :OK. < 1356140527 345749 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :I don't like it that you cannot use guards in do-notation in Haskell. Therefore you need to put the guard on the next line instead. < 1356140723 144164 :Jafet!~Jafet@unaffiliated/jafet PRIVMSG #esoteric :> do let { doguard p x | p x = x | otherwise = fail "" }; doguard even -> x <- Just 1; return x < 1356140724 650684 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : :1:70: parse error on input `->' < 1356140797 957344 :Jafet!~Jafet@unaffiliated/jafet PRIVMSG #esoteric :> do let { doguard p x | p x = return x | otherwise = fail "" }; x <- doguard even =<< Just 1; return x < 1356140799 489419 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : Nothing < 1356140866 593689 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :What else I don't particularly like is that do-notation is built-in rather than definable using macros. This is difficult to change, though. < 1356141223 83153 :sgeo_!~sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :
ACTION 100% agrees with zzo38
< 1356141238 730087 :sgeo_!~sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :About the do notation being built-in < 1356141568 846136 :sirdancealot7!~sirdancea@98.82.broadband5.iol.cz QUIT :Ping timeout: 272 seconds < 1356141785 458044 :GreyKnight!~GK@host86-147-173-47.range86-147.btcentralplus.com QUIT :Quit: zzz < 1356141878 638521 :SingingBoyo!~SingingBo@d173-180-176-35.bchsia.telus.net JOIN :#esoteric < 1356141963 484677 :sirdancealot7!~sirdancea@98.82.broadband5.iol.cz JOIN :#esoteric < 1356142523 867963 :Nisstyre-laptop!~yours@oftn/member/Nisstyre JOIN :#esoteric < 1356142784 167983 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :yeah < 1356142834 496578 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :baked in 'do' syntax is a pragmatic measure that goes against theoretical beauty < 1356142842 128655 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :haskell has a lot of those, which you wouldn't guess from the way people talk about it < 1356142869 53099 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :i don't know how to design a macro system which supports syntactic extensions like 'do' < 1356142886 118352 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :i guess i would start by looking at Camlp4 / Camlp5 < 1356142899 797784 :Jafet!~Jafet@unaffiliated/jafet PRIVMSG #esoteric :[do| < 1356142909 852327 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :yeah... no. < 1356142925 636392 :Bike!~Glossina@207-224-23-226.ptld.qwest.net PRIVMSG #esoteric :«The current version of camlp4 doesn't have yet a manual. The "Camlp4 manual" is from 2003, and is not compatible with present version.» exciting < 1356142965 590726 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :yeah that is not ideal < 1356142981 750167 :Bike!~Glossina@207-224-23-226.ptld.qwest.net PRIVMSG #esoteric :oh man, is wikipedia's example using gensyms < 1356143018 828549 :Bike!~Glossina@207-224-23-226.ptld.qwest.net PRIVMSG #esoteric :is ML stuff just underdocumented? when I went looking for Standard ML resources i was kind of... underwhelmed, i couldn't even find docs for the yacc my book was using < 1356143057 909531 :Jafet!~Jafet@unaffiliated/jafet PRIVMSG #esoteric :gensym means your syntax is more pointfree < 1356143060 867923 :Bike!~Glossina@207-224-23-226.ptld.qwest.net PRIVMSG #esoteric :nothing like, i don't know, the haskell wiki < 1356143067 857686 :Jafet!~Jafet@unaffiliated/jafet PRIVMSG #esoteric :Or it means your macro system is crap, I'm not sure < 1356143094 342037 :sgeo_!~sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :I think Campl stuff is more of an O'Caml thing? < 1356143101 25771 :Bike!~Glossina@207-224-23-226.ptld.qwest.net PRIVMSG #esoteric :it means your macro system is (probably) unhygenic, which isn't as often associated with ~Theoretical Beauty~. < 1356143112 437830 :Bike!~Glossina@207-224-23-226.ptld.qwest.net PRIVMSG #esoteric :sgeo_: yes, i meant the family < 1356143126 472042 :Bike!~Glossina@207-224-23-226.ptld.qwest.net PRIVMSG #esoteric :also is it actually spelled with an apostrophe < 1356143128 73093 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :the haskell wiki is crap < 1356143139 113691 :Bike!~Glossina@207-224-23-226.ptld.qwest.net PRIVMSG #esoteric :it's better than nothing! < 1356143145 801784 :sgeo_!~sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :I thought it was < 1356143151 598932 :sgeo_!~sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :It might not be, I guess? < 1356143151 783388 :Bike!~Glossina@207-224-23-226.ptld.qwest.net PRIVMSG #esoteric :though the talkmode pages are definitely pretty funny yeah < 1356143153 997596 :Jafet!~Jafet@unaffiliated/jafet PRIVMSG #esoteric :I'm not sure if I consider define-syntax to be theoretical beauty < 1356143179 273851 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :yeah < 1356143188 936944 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :to me scheme's hygenic macros almost miss the entire point of lisp < 1356143225 712140 :Bike!~Glossina@207-224-23-226.ptld.qwest.net PRIVMSG #esoteric :isn't define-syntax just a pattern matchy thing combined with automatically codewalking through and renaming symbols for you? < 1356143274 974164 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :i think i prefer simple unhygenic macros, with sugar to make it easier to use them hygenically < 1356143289 344232 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :like auto-gensym in clojure (HI SGEO) or various Lisp libraries < 1356143298 854417 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :but i haven't used any Lisp extensively so i don't really know < 1356143302 419089 :sgeo_!~sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :I still don't really quite understand Scheme macros < 1356143306 186337 :Bike!~Glossina@207-224-23-226.ptld.qwest.net PRIVMSG #esoteric :well, so do I, but i've never seen anyone call unhygeine "beautiful" or w/e < 1356143330 320242 :Phantom_Hoover!~Phantom@unaffiliated/phantom-hoover/x-3377486 QUIT :Read error: Connection reset by peer < 1356143333 343881 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :well the fact that they're unhygenic is not the beautiful part < 1356143346 52023 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :I think is good to have both kind of macros available, as well as the macro with is partially hygienic and partially unhygienic, if you want to write such a macro. < 1356143365 242039 :Bike!~Glossina@207-224-23-226.ptld.qwest.net PRIVMSG #esoteric :you can define hygenic macros in an unhygenic macro system and vice versa, so. < 1356143387 596685 :sgeo_!~sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :http://sgeo.tumblr.com/post/37650151853/common-lisp-symbols-vs-clojure-symbols < 1356143425 450688 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :today i realized i should learn more about GHC's STM < 1356143433 246740 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :like, how is atomic commit actually accomplished < 1356143436 911140 :Bike!~Glossina@207-224-23-226.ptld.qwest.net PRIVMSG #esoteric :"Clojure unquoting uses ~ and ~@ instead of CL's , and ,@. This allows Clojure to treat commas as whitespace." i made the mistake of googling things < 1356143464 118375 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :assuming you have proceeded successfully to the end of a transaction, and have new values for refs stored in some data structure, how do you actually commit them all at once? < 1356143517 391776 :Bike!~Glossina@207-224-23-226.ptld.qwest.net PRIVMSG #esoteric :commits don't just use mutexes, huh < 1356143575 961892 :Gracenotes!~person@wikipedia/Gracenotes PRIVMSG #esoteric :you could use seqlocks or something, I guess < 1356143577 449652 :Bike!~Glossina@207-224-23-226.ptld.qwest.net PRIVMSG #esoteric :oh or wait, is it like compare and swap < 1356143581 858096 :Bike!~Glossina@207-224-23-226.ptld.qwest.net PRIVMSG #esoteric :wow i know shit about concurrency < 1356143596 637480 :Gracenotes!~person@wikipedia/Gracenotes PRIVMSG #esoteric :although those do require writer locks... nevermind. < 1356143619 476867 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :you generally can't compare and swap an arbitrary number of pointers at once < 1356143649 205061 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :i mean i can think of ways to do it, you can have a lock on each variable or a global commit lock < 1356143649 835286 :Bike!~Glossina@207-224-23-226.ptld.qwest.net PRIVMSG #esoteric :maybe it only retries writes that fail? hm < 1356143654 658460 :Jafet!~Jafet@unaffiliated/jafet PRIVMSG #esoteric :I assume it uses locks < 1356143655 331272 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :i was just wondering what GHC does < 1356143671 897150 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :i wasn't really asking for a bunch of uninformed speculation < 1356143673 753571 :Bike!~Glossina@207-224-23-226.ptld.qwest.net PRIVMSG #esoteric :sgeo_: your post there is kind of wrong in a couple nitpicky ways < 1356143679 20064 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :but I guess this is what I get for asking a question on IRC < 1356143680 462197 :Bike!~Glossina@207-224-23-226.ptld.qwest.net PRIVMSG #esoteric :sorry kmc < 1356143684 294721 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :it's ok :) < 1356143690 184215 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :i too enjoy a bit of uninformed speculation from time to time < 1356143703 749260 :Bike!~Glossina@207-224-23-226.ptld.qwest.net PRIVMSG #esoteric :all i know about STM is that there's going to be hardware TM soon enough < 1356143710 365194 :Jafet!~Jafet@unaffiliated/jafet PRIVMSG #esoteric :I assume it uses locks because that's what most STM implementations use < 1356143727 231068 :sgeo_!~sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :Bike, hmm, how so? < 1356143759 738912 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :i've heard it described as lockless < 1356143765 30727 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :but not in detail < 1356143816 181362 :Jafet!~Jafet@unaffiliated/jafet PRIVMSG #esoteric :Also, irc is the only place to get high quality uninformed speculation < 1356143824 552794 :Jafet!~Jafet@unaffiliated/jafet PRIVMSG #esoteric :We specialize in armchair navel gazing < 1356143828 960720 :sgeo_!~sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :Bike, or feel free to leave a comment on the post < 1356143837 999296 :Jafet!~Jafet@unaffiliated/jafet PRIVMSG #esoteric :There are so many other places on the internet to get actual facts < 1356143841 901264 :Bike!~Glossina@207-224-23-226.ptld.qwest.net PRIVMSG #esoteric :i'm just going to pm you because it's really nitpicky < 1356143890 925599 :Jafet!~Jafet@unaffiliated/jafet PRIVMSG #esoteric :Apparently, the ghc wiki is not one of them < 1356143951 278485 :Gracenotes!~person@wikipedia/Gracenotes PRIVMSG #esoteric :there are functions lock_stm and unlock_stm in GHC RTS < 1356143971 185524 :Gracenotes!~person@wikipedia/Gracenotes PRIVMSG #esoteric :they do cas on a global static variable < 1356144012 139992 :Gracenotes!~person@wikipedia/Gracenotes PRIVMSG #esoteric :they seem to surround most interesting functions, like stmCommitTransaction < 1356144077 248246 :Gracenotes!~person@wikipedia/Gracenotes PRIVMSG #esoteric :there's also a bunch of checking done before a linearization point, at which a given thread claims ownership of tvars < 1356144122 3469 :Gracenotes!~person@wikipedia/Gracenotes PRIVMSG #esoteric :complicated, but pretty straightforward compared to doing it for arbitrary executables, granted >_> < 1356144205 730173 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :ok, cool < 1356144265 43587 :sgeo_!~sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :Bike, edited post < 1356144976 654945 :canaima172425!~rafael13@201.210.54.204 JOIN :#esoteric < 1356145028 87693 :canaima172425!~rafael13@201.210.54.204 PART :#esoteric < 1356146158 522103 :sebbu!~sebbu@unaffiliated/sebbu QUIT :Ping timeout: 245 seconds < 1356147208 544311 :keb!~keb@c-71-59-209-166.hsd1.or.comcast.net JOIN :#esoteric < 1356149847 394656 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :haha, the BBC have a live feed of an important ancient Mayan site < 1356149854 39479 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :counting down to the end of the world in their local time < 1356149858 649963 :Bike!~Glossina@207-224-23-226.ptld.qwest.net PRIVMSG #esoteric :for god's sake. < 1356149872 996017 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :they don't think the world's going to end < 1356149879 183597 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :but it's a news event and they're in the mood to cover it < 1356149887 987036 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :if nothing else, it's like a Y2K celebration < 1356149908 231856 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :oh, now they're talking about Obama instead < 1356149912 967331 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :i am at home missing a great end of the world party < 1356149915 561979 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :they said they'll get back to the end of the world later < 1356149924 97631 :Bike!~Glossina@207-224-23-226.ptld.qwest.net PRIVMSG #esoteric :b'ak'tun's ending and we're all going to die. thanks obama < 1356149937 744375 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :but i'm too tired and i dont know the address and i have to be up at 6am :( :( :( < 1356150409 931505 :sgeo_!~sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :It's still not midnight in my time zone < 1356150415 696719 :sgeo_!~sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :So I'm still on the 21st < 1356150437 886744 :sgeo_!~sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :Maybe it's a rolling thing and you're all just fakes to fake me out into thinking I'm safe < 1356150532 481912 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :the mayas all fit into central time < 1356150539 771761 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :but < 1356150553 175609 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :they may not have had the same idea of midnight < 1356150557 58128 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :probably didnt in fact < 1356150620 105639 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :I thought this was all yesterday though < 1356150628 724357 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :was the apocalypse postponed one day < 1356150667 592451 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :no < 1356150672 446850 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :it happened right on time < 1356150674 63935 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :the apocalypse was moved to thursday to chase the coveted 18-35 demographic < 1356150679 915657 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :we're all dead and in purgatory < 1356150684 161246 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :we just don't know it < 1356150699 316615 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :hi ais523 < 1356150703 503063 :sgeo_!~sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :All I'm saying is that it's still the 21st, it's not too late for the world to end < 1356150712 286246 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :hi quintopia < 1356150725 378134 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :also midnight is pretty easy to understand < 1356150729 85388 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :Midnight is when the sun conjuncts the MC, though, isn't it? < 1356150732 837811 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :did you want to know how to beat space_hotel? < 1356150759 436824 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :oh, I can probably find a way, but I'm interested in your theories too < 1356150764 491505 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :zzo38: that happened in 1998. it's only a partial alignment this time < 1356150792 258364 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I was wondering if there was a general way to exploit jousters using the "trail and poke forwards, enhance decoys backwards, then forwards decoy setup while checking tripwires" strategy < 1356150800 179688 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :well there is no good way to beat it with a lock. it would be a monstrous program if you did < 1356150802 973880 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :quintopia: What? Sorry? < 1356150809 27441 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :because all the best jousters do that, and most of the time in BF Joust, if there's any pattern at all, it's exploitable < 1356150817 438409 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I wasn't actually planning to lock < 1356150824 987667 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :yeah < 1356150832 302264 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :its best contender is counterpoke < 1356150839 215191 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :one of my plans involved detecting where your jouster was, waiting for it to pass a tripwire, then going behind it and taking the tags while it sets decoys < 1356150839 862090 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :What happened in 1998 and is only a partial alignment this time? < 1356150847 912624 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :*taking the flags < 1356150853 392571 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :well i mean other than those two i made just to beat it < 1356150856 352651 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :but I don't think there's any way to do it but getting lucky < 1356150866 239892 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :i was going to suggest exactly that strategy < 1356150870 353779 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :or exploiting the fact that its reverse tripwires are size 3, and I hate that sort of level of constant-tweaking < 1356150884 229383 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :I do not understand what you are refering to. < 1356150893 563988 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :or rather < 1356150898 141482 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :quintopia: well what you'd have to do is find one of its tripwires, preferably as near to the flag as you can safely < 1356150900 497304 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :then wait for it to become 0 < 1356150906 100781 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :i was going to suggest a deep poke that restored tripwires < 1356150910 29096 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :yep < 1356150921 304223 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :but it's not fast enough, and really really long < 1356150932 995258 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :mainly long < 1356150933 761682 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :oh, hmm, as a poke? < 1356150937 389319 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :can be pretty fast < 1356150940 833249 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :rather than as a clear? < 1356150944 748351 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :yes < 1356150947 401643 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :huh, I didn't think of that angle < 1356150972 403332 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :so the idea would be to set up decoys while it was setting decoys < 1356150976 339162 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :then skip much more of yours than you did of its < 1356150988 545162 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :ayeaye capn < 1356150991 20219 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :also < 1356151006 699575 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I'll only need, like, 210 copies of the program < 1356151009 129426 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :that might be manageable :) < 1356151011 397131 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :you can make a lot of small decoys right at the beginning until you achieve a shallow poke < 1356151025 346768 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :space_hotel is miserable at clearing long lines of small decoys < 1356151031 52402 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :because of the huge offset < 1356151034 943122 :WeThePeople!~WeThePeop@63.91.27.121 JOIN :#esoteric < 1356151044 272985 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :yeah; small decoys used to actually not do anything < 1356151047 170116 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :but that isn't really the case any more < 1356151060 959257 :WeThePeople!~WeThePeop@63.91.27.121 QUIT :Changing host < 1356151061 143966 :WeThePeople!~WeThePeop@unaffiliated/wethepeople JOIN :#esoteric < 1356151102 583272 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :anything one bigger than its wiggle will cost it almost as many cycle as if it never offset at all < 1356151109 939658 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :yep < 1356151115 79886 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I think we have a new concept of "medium-sized decoy" < 1356151122 51562 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :as well as "small decoy" and "large decoy" < 1356151126 75896 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :it's around… 4 or 5? < 1356151173 333421 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :the fact that counterpoke does not use a large offset is what makes it so potent against space_hotel. < 1356151188 537567 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :or is it skyscraper that does that? < 1356151199 859637 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :skyscraper didnt build big enough decoys < 1356151230 627574 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I can't even remember how skyscraper works < 1356151234 750540 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :and only vaguely remember counterpoke < 1356151237 882658 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I should look at my own code < 1356151297 280419 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :huh, I don't even have a copy of skyscraper any more < 1356151300 800584 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :apart from in the hg history < 1356151310 752815 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :could you remind me? < 1356151342 47921 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :i am on my phone < 1356151394 929494 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :just use the hg one < 1356151421 965965 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :yeah, I'm just not sure how to find it in hg history < 1356151493 184984 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :http://files.shroomery.org/files/05-03/641365503-Naked_girl_with_shroom_bible.jpg what it says on the tin < 1356151493 929214 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :ah, found it < 1356151499 84526 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :$ hg cat -r 9792 ais523_skyscraper.bfjoust < 1356151553 613797 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :what the hell is a shroom bible for < 1356151554 497283 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :huh, this decoy setup makes no sense < 1356151561 499175 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :a bible with fungus infection? < 1356151567 345554 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :why would I write a decoy setup that jumps around like that < 1356151580 517372 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :yeah < 1356151584 865305 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :!bfjoust skyscraper >>>>>>>>[((>[+[+[---[-[(+)*96(.+)*64{}]]]]])%21)*21](+)*12<(+)*80<(+)*40<(+)*10>>(+)*30<<(<(+)*10)*4>>>>>>([{(<)*7(-)*99(>)*8(>[(+)*19[---]])*21}<(+[{+(+[{(<(-)*60)*5<(+)*78(>)*12(>[(+)*19[-]])*17}](<(+)*40)*5<(-)*78(>)*12(>[(+)*19[-]])*17)%100}](<(+)*40)*5<(-)*78(>)*12(>[(+)*19[-]])*17)%156])%768 < 1356151590 407337 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :someone growing psychedelic mushrooms inside a bible < 1356151594 132011 :Bike!~Glossina@207-224-23-226.ptld.qwest.net PRIVMSG #esoteric :kmc: what is that... mass of... fur? under the tree < 1356151595 671040 :EgoBot!codu@codu.org PRIVMSG #esoteric :​Score for ais523_skyscraper: 21.5 < 1356151600 775807 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :they eat wood you know < 1356151603 33685 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :this is a blatant attempt to get it into egojsout < 1356151622 238196 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :because copypasta is too hard < 1356151622 467998 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :i, uh, don't know < 1356151708 707596 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :also why does it beat anticipation? it looks like the sort of program anticipation would beat really easily < 1356151746 100481 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :oh, probably because of the "anticipation was tweaked to omit cases that weren't actually used against the hill because of space limits" thing < 1356151804 135247 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :yeah < 1356151855 668868 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :so when do you think we'll get random numbers in bfjoust eh < 1356151921 946042 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :probably never, I thought it would be pretty interesting, but it causes too many problems for hill maintainabilty/replicability < 1356151933 770387 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :oh okay < 1356151946 273073 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :when do you think we'll get an infinite hill < 1356151952 437506 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :like, you couldn't tell who won or didn't win < 1356151959 739265 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :and infinite hill has problems in terms of user interface < 1356151961 470689 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :as well as spamming < 1356151969 478921 :sgeo_!~sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :infinite hill? < 1356151974 805660 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I think I like the large finite one we have at the moment, although I'd submit to an infinite hill too < 1356151985 681823 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :sgeo_: like the current one but infinitely large < 1356151996 416985 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :if a program's good enough, you can leave it on the hill forever < 1356152002 975281 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :even atm < 1356152009 436359 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :any idea which program's survived there the longest, incidentally? < 1356152030 93901 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :but the downside of a finite hill is the possibility of making a program that beats the entire hill on every tape length and polarity without involving brackets < 1356152033 865786 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :so < 1356152039 115558 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :i have an idea < 1356152054 217953 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :we should give extra credit for number of generations survived < 1356152082 538890 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :also, wow is counterpoke vs. space_hotel close < 1356152140 501959 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :yeah counterpoke originally won until i tweaked the initial decoy setup just to avoid triggering its short tape jump-to-flag condition < 1356152255 376248 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I love that condition < 1356153081 804803 :Bike!~Glossina@207-224-23-226.ptld.qwest.net QUIT :Quit: Reconnecting < 1356153095 874374 :Bike!~Glossina@207-224-23-226.ptld.qwest.net JOIN :#esoteric < 1356153534 614597 :WeThePeople!~WeThePeop@unaffiliated/wethepeople QUIT :Remote host closed the connection < 1356154332 960775 :Nisstyre!~yours@oftn/member/Nisstyre QUIT :Quit: Leaving < 1356154497 882875 :sgeo_!~sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :Fiora, elliott < 1356154653 667948 :Nisstyre-laptop!~yours@oftn/member/Nisstyre QUIT :Quit: Leaving < 1356154713 57088 :Nisstyre-laptop!~yours@oftn/member/Nisstyre JOIN :#esoteric < 1356154768 982999 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :kmc: Aren't ≅ and ≌ great? < 1356154798 929657 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :is that like ± and ∓ < 1356154830 267386 :Bike!~Glossina@207-224-23-226.ptld.qwest.net PRIVMSG #esoteric :"ALL EQUAL TO", wha < 1356154933 625557 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`quote < 1356154953 750623 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :What! < 1356154957 536010 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Gregor! < 1356154959 962986 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :@quote < 1356154960 147420 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :PaulJohnson says: A paradox of the Haskell world is that, while the language is Vulcan, the community around it is dominated by Warm Fuzziness. Clearly the two are not mutually exclusive. < 1356154968 52969 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :@quote < 1356154968 237613 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :pejo says: shapr, I haven't said anything thoughtful yet, but I'm working on it. < 1356154968 421552 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :@quote < 1356154968 605981 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :wuttf says: i think i have to learn this language, the type systems i know just dont feel right < 1356154968 790505 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :@quote < 1356154968 790679 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :@quote < 1356154968 974836 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :BHSPitMonkey says: as well as to do try more like < 1356154969 159339 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :Pseudonym says: All hail the Evil Mangler! < 1356156133 123668 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :dammit < 1356156139 417684 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :CD really is trying hard to be the awesomest < 1356156833 670791 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :coppro: CD = ? < 1356157202 917350 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :ais523: homestuck < 1356157207 72273 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :ah right < 1356157674 222164 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :Is for all monad transformer t: t Finalize = Finalize true for all categories with final objects? < 1356157967 565583 :zzo38!~zzo38@24-207-49-17.eastlink.ca QUIT :Remote host closed the connection < 1356158978 178943 :zzo38!~zzo38@24-207-49-17.eastlink.ca JOIN :#esoteric < 1356160113 173436 :asiekierka!~asiekierk@fluttershy.pl QUIT :Excess Flood < 1356160156 862888 :asiekierka!~asiekierk@fluttershy.pl JOIN :#esoteric < 1356163644 881147 :hagb4rd!~perdito@koln-5d81f0c1.pool.mediaWays.net PRIVMSG #esoteric :hello droogies < 1356164249 219683 :nooga!~nooga@ip-46-250-173-30.ip.maverick.com.pl JOIN :#esoteric < 1356164763 120293 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :@quote < 1356164763 304653 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :Plugin `quote' failed with: getRandItem: empty list < 1356164764 177401 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :@quote < 1356164764 361563 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :nornagon says: i thought someone just wrote a lambdabot plugin to write lambdabot < 1356164764 545545 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :@quote < 1356164764 730081 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :@quote < 1356164764 730281 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :shachaf says: * shachaf = delliott/dt < 1356164764 913968 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :@quote < 1356164764 914166 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :ddarius says: Attempting to join #not-not-math sent me to #math. Freakin' Boole. < 1356164765 97883 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :ReinierLamers says: If we keep up the current pace of performance hacking, darcs will be complete before you even hit the enter key in a few years < 1356166461 598737 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :I know of more than one solitaire game where only the suits are relevant, and not the ranks of the cards. < 1356166703 590132 :Bike!~Glossina@207-224-23-226.ptld.qwest.net QUIT :Quit: leaving < 1356166807 434893 :ais523!~ais523@unaffiliated/ais523 QUIT : < 1356167120 700431 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :There are also games where the ranks are relevant and the suits aren't relevant. < 1356167194 712880 :oerjan!oerjan@sprocket.nvg.ntnu.no JOIN :#esoteric < 1356168117 854151 :hagb4rd!~perdito@koln-5d81f0c1.pool.mediaWays.net QUIT :Quit: hagb4rd < 1356168137 360595 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :@tell ais523 I'm not convinced it's _obvious_ 6 should have zero probability. it decreases the chance of winning on the first step yes, but it also increases it on all the others... < 1356168137 544755 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :Consider it noted. < 1356168347 262551 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :I agree with you < 1356169122 100164 :hagb4rd!4d0b7c55@gateway/web/freenode/ip.77.11.124.85 JOIN :#esoteric < 1356169484 840268 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :kmc: I just used the word "trivial" in #haskell. < 1356169513 346998 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :As in "making twanvl lenses polymorphic is trivial" < 1356169534 885503 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :My defense is that making them polymorphic consists of commenting out the type signature. < 1356169535 418158 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Or as in, "Trivial Pursuit is a trivial pursuit". < 1356169567 882842 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :(Trivial fursuit is just the skin of a dead animal.) < 1356169629 229467 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :O, that's what you mean by trivial. < 1356169733 799416 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :shachaf: You can also figure out the type it infers and put that in, if you want it to have a type signature; I always want it to have a type signature. But do you have example of the polymorphic lenses? < 1356169738 956281 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :Of what exactly you want? < 1356169769 545161 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :zzo38: People used to do things like < 1356169783 187272 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :type Lens s a = s -> (a, a -> s) < 1356169800 671457 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :_1 :: Lens (a,b) a; _1 (x,y) = (x, (,y)) < 1356169816 354685 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Except with newtype instead of type. < 1356169832 181399 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :As it happens, if you write a lens like that, you can make it polymorphic just by commenting out its type signature. < 1356169842 960644 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :But no one really noticed that until twan lenses. < 1356169855 585157 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :Is that Twan van Laarhoven? < 1356169857 163600 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :(Because those don't work as a newtype; they have to be defined as a synonym.) < 1356169859 990993 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Yes. < 1356170201 641529 :ais523!~ais523@unaffiliated/ais523 JOIN :#esoteric < 1356171863 86448 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net JOIN :#esoteric < 1356172632 239445 :nooga!~nooga@ip-46-250-173-30.ip.maverick.com.pl QUIT :Ping timeout: 244 seconds < 1356172655 84711 :hagb4rd!4d0b7c55@gateway/web/freenode/ip.77.11.124.85 QUIT :Quit: Page closed < 1356172817 250835 :oerjan!oerjan@sprocket.nvg.ntnu.no QUIT :Quit: leaving < 1356172853 195352 :hagb4rd!~perdito@koln-4d0b7c55.pool.mediaWays.net JOIN :#esoteric < 1356172858 486673 :sebbu!~sebbu@ADijon-152-1-51-132.w83-194.abo.wanadoo.fr JOIN :#esoteric < 1356172858 670695 :sebbu!~sebbu@ADijon-152-1-51-132.w83-194.abo.wanadoo.fr QUIT :Changing host < 1356172858 670850 :sebbu!~sebbu@unaffiliated/sebbu JOIN :#esoteric < 1356172914 195571 :zzo38!~zzo38@24-207-49-17.eastlink.ca QUIT :Quit: zzo38 < 1356173133 487709 :sebbu!~sebbu@unaffiliated/sebbu QUIT :Ping timeout: 245 seconds < 1356173746 418737 :copumpkin!~copumpkin@unaffiliated/copumpkin QUIT :Ping timeout: 252 seconds < 1356173785 464154 :copumpkin!~copumpkin@unaffiliated/copumpkin JOIN :#esoteric < 1356173809 430541 :sebbu!~sebbu@unaffiliated/sebbu JOIN :#esoteric < 1356174123 888735 :carado!~user4539@2a01:e35:8b61:e430:6ef0:49ff:fe73:1fd0 JOIN :#esoteric < 1356177070 640842 :Nisstyre-laptop!~yours@oftn/member/Nisstyre QUIT :Ping timeout: 252 seconds < 1356178820 896845 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :hmm… so my computer's been acting weirdly recently < 1356178821 265142 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :ais523: You have 1 new message. '/msg lambdabot @messages' to read it. < 1356178827 162877 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :so I decided to run memcheck86 < 1356178893 427614 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :conclusions: no errors in the first six tests < 1356178903 713160 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :then the seventh test gives an error on /every single memory address on the system/ < 1356179019 871957 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :it looked from the output like its expected output and its provided input had no relation to each other < 1356179216 709171 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :ais523: Try reseating your RAM < 1356179225 207178 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :Also amazed that you could boot at all < 1356179237 493524 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :FreeFull: err, I'm saying, I think the test was bugged < 1356179241 259848 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :rather than the memory < 1356179262 176226 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :Ah < 1356179265 242399 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :you don't read the memory as consistently working for six tests, then suddenly not working at all just because you provide random rather than deterministic data < 1356179313 152575 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :Could be that the test got corrupted by the RAM =P < 1356179332 824209 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :yeah, I was wondering about that too < 1356179342 631107 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :but in that case the other tests would have found a problem < 1356179439 409621 :keb!~keb@c-71-59-209-166.hsd1.or.comcast.net QUIT :Remote host closed the connection < 1356179472 986533 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :ais523: Could be the way the random numbers are generated too. Anyway, how is memtest supposed to test the memory it's occupying? < 1356179480 592671 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :FreeFull: it moves < 1356179488 133553 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :and then tests where it was < 1356179492 510041 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :anyway, rebooting < 1356179496 382634 :ais523!~ais523@unaffiliated/ais523 QUIT :Remote host closed the connection < 1356179760 579151 :ais523!~ais523@unaffiliated/ais523 JOIN :#esoteric < 1356182086 643803 :SingingBoyo!~SingingBo@d173-180-176-35.bchsia.telus.net QUIT :Ping timeout: 252 seconds < 1356183468 308680 :AnotherTest!~AnotherTe@94-224-28-191.access.telenet.be JOIN :#esoteric < 1356183479 839463 :AnotherTest!~AnotherTe@94-224-28-191.access.telenet.be PRIVMSG #esoteric :Hello < 1356184673 402946 :AnotherTest!~AnotherTe@94-224-28-191.access.telenet.be QUIT :Quit: Leaving. < 1356184693 112490 :AnotherTest!~AnotherTe@94-224-28-191.access.telenet.be JOIN :#esoteric < 1356186756 584206 :ogrom!~del@gprs-inet-65-114.elisa.ee JOIN :#esoteric < 1356186865 861369 :nys!~nysnamovo@blk-142-60-139.eastlink.ca JOIN :#esoteric < 1356187231 656319 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :02:31:04: assuming you have proceeded successfully to the end of a transaction, and have new values for refs stored in some data structure, how do you actually commit them all at once? < 1356187235 678216 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :kmc: it uses a lock iirc < 1356187253 124421 :AnotherTest!~AnotherTe@94-224-28-191.access.telenet.be QUIT :Read error: Connection reset by peer < 1356187260 618163 :AnotherTest!~AnotherTe@94-224-28-191.access.telenet.be JOIN :#esoteric < 1356188193 168504 :WeThePeople!~WeThePeop@63.91.27.121 JOIN :#esoteric < 1356188209 652119 :WeThePeople!~WeThePeop@63.91.27.121 QUIT :Changing host < 1356188209 875305 :WeThePeople!~WeThePeop@unaffiliated/wethepeople JOIN :#esoteric < 1356188964 708928 :ais523!~ais523@unaffiliated/ais523 QUIT : < 1356189598 861698 :carado!~user4539@2a01:e35:8b61:e430:6ef0:49ff:fe73:1fd0 QUIT :Ping timeout: 246 seconds < 1356189862 581410 :ogrom!~del@gprs-inet-65-114.elisa.ee QUIT :Ping timeout: 250 seconds < 1356190126 681931 :trying!6ffa5872@gateway/web/freenode/ip.111.250.88.114 JOIN :#esoteric < 1356190182 898075 :carado!~user4539@2a01:e35:8b61:e430:6ef0:49ff:fe73:1fd0 JOIN :#esoteric < 1356190648 859497 :carado!~user4539@2a01:e35:8b61:e430:6ef0:49ff:fe73:1fd0 QUIT :Ping timeout: 246 seconds < 1356190739 693987 :iamcal_!uid1110@gateway/web/irccloud.com/x-ibpckqcyrtxjamlj QUIT :Remote host closed the connection < 1356191062 585805 :Taneb!~nathan@host-2-99-82-172.as13285.net JOIN :#esoteric < 1356191580 628961 :epicmonkey!~epicmonke@188.134.41.172 JOIN :#esoteric < 1356192585 170163 :iamcal_!uid1110@gateway/web/irccloud.com/x-dwjlebaytdkfoxnv JOIN :#esoteric < 1356193734 735249 :sebbu!~sebbu@unaffiliated/sebbu QUIT :Read error: Connection reset by peer < 1356193762 408542 :sebbu!~sebbu@ADijon-152-1-51-132.w83-194.abo.wanadoo.fr JOIN :#esoteric < 1356193762 632660 :sebbu!~sebbu@ADijon-152-1-51-132.w83-194.abo.wanadoo.fr QUIT :Changing host < 1356193762 632803 :sebbu!~sebbu@unaffiliated/sebbu JOIN :#esoteric < 1356193762 895763 :sebbu!~sebbu@unaffiliated/sebbu QUIT :Excess Flood < 1356193797 405167 :sebbu!~sebbu@ADijon-152-1-51-132.w83-194.abo.wanadoo.fr JOIN :#esoteric < 1356193797 591417 :sebbu!~sebbu@ADijon-152-1-51-132.w83-194.abo.wanadoo.fr QUIT :Changing host < 1356193797 591532 :sebbu!~sebbu@unaffiliated/sebbu JOIN :#esoteric < 1356193797 924384 :sebbu!~sebbu@unaffiliated/sebbu QUIT :Excess Flood < 1356193822 606796 :sebbu!~sebbu@ADijon-152-1-51-132.w83-194.abo.wanadoo.fr JOIN :#esoteric < 1356193822 791148 :sebbu!~sebbu@ADijon-152-1-51-132.w83-194.abo.wanadoo.fr QUIT :Changing host < 1356193822 791320 :sebbu!~sebbu@unaffiliated/sebbu JOIN :#esoteric < 1356193822 979733 :sebbu!~sebbu@unaffiliated/sebbu QUIT :Excess Flood < 1356193847 375281 :sebbu2!~sebbu@ADijon-152-1-51-132.w83-194.abo.wanadoo.fr JOIN :#esoteric < 1356193847 561622 :sebbu2!~sebbu@ADijon-152-1-51-132.w83-194.abo.wanadoo.fr QUIT :Changing host < 1356193847 561774 :sebbu2!~sebbu@unaffiliated/sebbu JOIN :#esoteric < 1356193847 881971 :sebbu2!~sebbu@unaffiliated/sebbu QUIT :Excess Flood < 1356193873 521461 :sebbu3!~sebbu@unaffiliated/sebbu JOIN :#esoteric < 1356193874 9234 :sebbu3!~sebbu@unaffiliated/sebbu QUIT :Excess Flood < 1356193903 379242 :sebbu3!~sebbu@unaffiliated/sebbu JOIN :#esoteric < 1356193904 65183 :sebbu3!~sebbu@unaffiliated/sebbu QUIT :Excess Flood < 1356193933 290714 :sebbu3!~sebbu@unaffiliated/sebbu JOIN :#esoteric < 1356193933 980827 :sebbu3!~sebbu@unaffiliated/sebbu QUIT :Excess Flood < 1356193957 940515 :sebbu3!~sebbu@ADijon-152-1-51-132.w83-194.abo.wanadoo.fr JOIN :#esoteric < 1356193958 126002 :sebbu3!~sebbu@ADijon-152-1-51-132.w83-194.abo.wanadoo.fr QUIT :Changing host < 1356193958 126143 :sebbu3!~sebbu@unaffiliated/sebbu JOIN :#esoteric < 1356193958 126224 :sebbu3!~sebbu@unaffiliated/sebbu QUIT :Excess Flood < 1356194103 193230 :trying!6ffa5872@gateway/web/freenode/ip.111.250.88.114 QUIT :Ping timeout: 245 seconds < 1356195802 583155 :ogrom!~del@143.122.191.90.dyn.estpak.ee JOIN :#esoteric < 1356196084 636724 :sgeo_!~sgeo@ool-ad034ea6.dyn.optonline.net QUIT :Quit: Leaving < 1356196108 180129 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net JOIN :#esoteric < 1356196115 923509 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :I feel capitalized again < 1356196145 865412 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :you feel quite capital? < 1356196153 849662 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :Yes < 1356196155 31731 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :or you feel punished? < 1356196169 531338 :nooga!~nooga@77-45-54-224.sta.asta-net.com.pl JOIN :#esoteric < 1356196760 587155 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :@tell ais523 http://blog.functorial.com/posts/2012-12-21-One-Hole-Contexts-Generalize-Diff-To-Containers.html < 1356196760 811213 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :Consider it noted. < 1356196857 33113 :sebbu4!~sebbu@ADijon-152-1-51-132.w83-194.abo.wanadoo.fr JOIN :#esoteric < 1356196858 351724 :sebbu4!~sebbu@ADijon-152-1-51-132.w83-194.abo.wanadoo.fr QUIT :Excess Flood < 1356196883 173774 :sebbu4!~sebbu@ADijon-152-1-51-132.w83-194.abo.wanadoo.fr JOIN :#esoteric < 1356196884 68546 :sebbu4!~sebbu@ADijon-152-1-51-132.w83-194.abo.wanadoo.fr QUIT :Excess Flood < 1356196908 237497 :sebbu4!~sebbu@ADijon-152-1-51-132.w83-194.abo.wanadoo.fr JOIN :#esoteric < 1356197394 532843 :Bike!~Glossina@207-224-23-226.ptld.qwest.net JOIN :#esoteric < 1356198793 870319 :zzo38!~zzo38@24-207-49-17.eastlink.ca JOIN :#esoteric < 1356199710 194136 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :?messages < 1356199710 414980 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :You don't have any new messages. < 1356200415 81594 :oerjan!oerjan@sprocket.nvg.ntnu.no JOIN :#esoteric < 1356200881 938651 :nooga_!~nooga@86-63-81-108.sta.asta-net.com.pl JOIN :#esoteric < 1356200904 512616 :nooga!~nooga@77-45-54-224.sta.asta-net.com.pl QUIT :Ping timeout: 264 seconds < 1356201207 263438 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :Did you say "often" or "orphan"? < 1356201260 544039 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :yes < 1356201452 867558 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :nah, he's just an awe fan < 1356202104 279948 :sebbu4!~sebbu@ADijon-152-1-51-132.w83-194.abo.wanadoo.fr NICK :sebbu < 1356202125 363606 :sebbu!~sebbu@ADijon-152-1-51-132.w83-194.abo.wanadoo.fr QUIT :Changing host < 1356202125 549173 :sebbu!~sebbu@unaffiliated/sebbu JOIN :#esoteric < 1356202984 916638 :carado!~user4539@2a01:e35:8b61:e430:6ef0:49ff:fe73:1fd0 JOIN :#esoteric < 1356204073 675365 :AnotherTest!~AnotherTe@94-224-28-191.access.telenet.be QUIT :Quit: Leaving. < 1356204928 933007 :nooga_!~nooga@86-63-81-108.sta.asta-net.com.pl QUIT :Ping timeout: 246 seconds < 1356206468 750650 :Nisstyre-laptop!~yours@oftn/member/Nisstyre JOIN :#esoteric < 1356206503 873308 :carado!~user4539@2a01:e35:8b61:e430:6ef0:49ff:fe73:1fd0 QUIT :Ping timeout: 246 seconds < 1356206615 278623 :Nisstyre!~yours@oftn/member/Nisstyre JOIN :#esoteric < 1356206696 607053 :Nisstyre!~yours@oftn/member/Nisstyre QUIT :Read error: Connection reset by peer < 1356207662 270886 :hogeyui!~hogeyuiVP@vps.usamimi.biz QUIT :Ping timeout: 244 seconds < 1356207946 947880 :ogrom!~del@143.122.191.90.dyn.estpak.ee QUIT :Quit: Left < 1356208349 480634 :hogeyui!~hogeyuiVP@vps.usamimi.biz JOIN :#esoteric < 1356208750 646240 :epicmonkey!~epicmonke@188.134.41.172 QUIT :Ping timeout: 252 seconds < 1356208904 991616 :WeThePeople!~WeThePeop@unaffiliated/wethepeople QUIT :Quit: Leaving < 1356210133 772358 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :Do you like this music? http://zzo38computer.org/csound/music/antioch.zip < 1356210157 592667 :Taneb!~nathan@host-2-99-82-172.as13285.net PRIVMSG #esoteric :Downloading... < 1356210194 484611 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :(The ZIP archive contains the Vorbis audio file, as well as the source files, with the exception of the pregenerated PADsynth tables.) < 1356210203 334137 :Taneb!~nathan@host-2-99-82-172.as13285.net PRIVMSG #esoteric :That's pretty nice-sounding < 1356210419 233313 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :The PADsynth settings used were: f 5 0 524288 "padsynth" 1 200 .07 1 3 1 -1 (If you want to compile the music from source you will need the file "pad5.csft" which can be generated using this code; the file padgen.zip also contains this file as well as the source to this file, if you want it.) < 1356211004 80717 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :You are free to add, remove, change, and improve! < 1356211654 928462 :WeThePeople!~WeThePeop@63.91.27.121 JOIN :#esoteric < 1356211824 929338 :WeThePeople!~WeThePeop@63.91.27.121 QUIT :Client Quit < 1356211959 325738 :asiekierka!~asiekierk@fluttershy.pl QUIT :Excess Flood < 1356212076 163649 :WeThePeople!~WeThePeop@63.91.27.121 JOIN :#esoteric < 1356212088 674282 :asiekierka!~asiekierk@fluttershy.pl JOIN :#esoteric < 1356212112 349173 :augur!~augur@208.58.5.87 QUIT :Remote host closed the connection < 1356212549 152802 :GreyKnight!~GK@dab-bhx2-h-1-5.dab.02.net JOIN :#esoteric < 1356212971 95932 :ion!ion@heh.fi PRIVMSG #esoteric :Meanwhile in Japan http://youtu.be/vhHo6CUq4-o < 1356213361 585503 :Taneb!~nathan@host-2-99-82-172.as13285.net PRIVMSG #esoteric :There's a person in #haskell whose username is too similar to mine < 1356213365 860671 :Taneb!~nathan@host-2-99-82-172.as13285.net PRIVMSG #esoteric :I'm gonna Ngevd < 1356213370 229258 :Taneb!~nathan@host-2-99-82-172.as13285.net NICK :Ngevd < 1356213379 672352 :Ngevd!~nathan@host-2-99-82-172.as13285.net PRIVMSG #esoteric :@clear-messages < 1356213379 856541 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :Messages cleared. < 1356213504 577875 :GreyKnight!~GK@dab-bhx2-h-1-5.dab.02.net QUIT :Ping timeout: 264 seconds < 1356213518 386331 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :a few days ago i found someone in there named "artiq" or something like that < 1356213535 516370 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :i think it was "artiq" but it was definitely a transposition away from "atriq" < 1356213635 178762 :GreyKnight!~GK@dab-bhx2-h-55-7.dab.02.net JOIN :#esoteric < 1356214011 317338 :GreyKnight!~GK@dab-bhx2-h-55-7.dab.02.net PRIVMSG #esoteric :Also meanwhile in Japan: http://fotozup.com/wp-content/uploads/2010/01/japanese_body_modification_01.jpg < 1356214015 20196 :GreyKnight!~GK@dab-bhx2-h-55-7.dab.02.net PRIVMSG #esoteric :"This man has pineapple rings in his forehead. Your argument is irrelevant." < 1356214017 349423 :GreyKnight!~GK@dab-bhx2-h-55-7.dab.02.net PRIVMSG #esoteric :("in" was not a typo) < 1356214076 224979 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :hi < 1356214084 538033 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :hi!!! < 1356214093 829699 :GreyKnight!~GK@dab-bhx2-h-55-7.dab.02.net PRIVMSG #esoteric :hi < 1356214308 211626 :GreyKnight!~GK@dab-bhx2-h-55-7.dab.02.net PRIVMSG #esoteric :`addquote Also, irc is the only place to get high quality uninformed speculation We specialize in armchair navel gazing < 1356214309 176297 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :Ngevd: just one keming away, even! you should ask him if his surname is van doom... < 1356214410 13705 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :Do you agree? < 1356214450 630164 :oerjan!oerjan@sprocket.nvg.ntnu.no TOPIC #esoteric :The channel for esoteric omphaloskepsis and computer programming | http://codu.org/logs/_esoteric/ < 1356214476 832971 :Nisstyre!~yours@oftn/member/Nisstyre JOIN :#esoteric < 1356214580 140306 :GreyKnight!~GK@dab-bhx2-h-55-7.dab.02.net QUIT :Ping timeout: 260 seconds < 1356214667 721545 :oerjan!oerjan@sprocket.nvg.ntnu.no TOPIC #esoteric :The channel for polythronic omphaloskepsis and computer programming | http://codu.org/logs/_esoteric/ < 1356214682 868331 :GreyKnight!~GK@dab-bhx2-h-55-1.dab.02.net JOIN :#esoteric < 1356214805 726606 :GreyKnight!~GK@dab-bhx2-h-55-1.dab.02.net TOPIC #esoteric :The channel for polythronic omphaloskepsis and compsognathus progesterone | http://codu.org/logs/_esoteric/ < 1356214867 482627 :GreyKnight!~GK@dab-bhx2-h-55-1.dab.02.net PRIVMSG #esoteric :Gregor: where is HackEgo?? < 1356214873 324029 :GreyKnight!~GK@dab-bhx2-h-55-1.dab.02.net PRIVMSG #esoteric :did the Mayans get him?! < 1356214879 476486 :Gregor!codu@codu.org PRIVMSG #esoteric :Afraid so. < 1356214905 836563 :HackEgo!codu@codu.org JOIN :#esoteric < 1356214955 691513 :Gregor!codu@codu.org PRIVMSG #esoteric :`ls < 1356214960 208752 :HackEgo!codu@codu.org PRIVMSG #esoteric :bin \ canary \ egobot.tar.xz \ etc \ factor \ factor-linux-x86-64-0.95.tar.gz \ foo \ foo.err \ foo.out \ ibin \ ibins \ interps \ karma \ lib \ luabuild \ luafilesystem-1.6.2-1.rockspec \ luafilesystem-1.6.2-1.src.rock \ luarocks.err \ luarocks.out \ paste \ penlight-1.0.0-1.rockspec \ penlight-1.0.0-1.src.rock \ quotes \ share \ wisdom \ zalgo.hs < 1356215295 792343 :GreyKnight!~GK@dab-bhx2-h-55-1.dab.02.net QUIT :Ping timeout: 265 seconds < 1356215522 836809 :GreyKnight!~GK@dab-bhx2-h-55-1.dab.02.net JOIN :#esoteric < 1356215824 475198 :GreyKnight!~GK@dab-bhx2-h-55-1.dab.02.net PRIVMSG #esoteric :`run echo "The channel for polythronic omphaloskepsis and compsognathus progesterone" | zalgo < 1356215826 209943 :HackEgo!codu@codu.org PRIVMSG #esoteric :T̞h͈e͗ ͜cͫh̦a̡n̺n̢ḛl̋ ̌f͚o͔r͋ ̡p̧o̅lͣy̾t̼h̬r͈o͊n͞i̶c̮ ̔o̎m̍pͮh͛ål̍ös̼k̬e̒p͔s̔i̋s̟ ̔a͌n̑d̹ ̴c̈o̞m̀p̆s͟o̫g̟nͭa͡t͢h͎u̜s̤ ̺p̩rͪo͉g̐ḛs͘t̆e̻r̻oͥn͝e̥ \ ̝ < 1356217093 702875 :sebbu2!~sebbu@ADijon-152-1-51-132.w83-194.abo.wanadoo.fr JOIN :#esoteric < 1356217093 926405 :sebbu2!~sebbu@ADijon-152-1-51-132.w83-194.abo.wanadoo.fr QUIT :Changing host < 1356217093 926565 :sebbu2!~sebbu@unaffiliated/sebbu JOIN :#esoteric < 1356217094 190025 :sebbu2!~sebbu@unaffiliated/sebbu QUIT :Excess Flood < 1356217123 308312 :sebbu2!~sebbu@ADijon-152-1-51-132.w83-194.abo.wanadoo.fr JOIN :#esoteric < 1356217123 492961 :sebbu2!~sebbu@ADijon-152-1-51-132.w83-194.abo.wanadoo.fr QUIT :Changing host < 1356217123 493107 :sebbu2!~sebbu@unaffiliated/sebbu JOIN :#esoteric < 1356217124 115713 :sebbu2!~sebbu@unaffiliated/sebbu QUIT :Excess Flood < 1356217130 883596 :sebbu!~sebbu@unaffiliated/sebbu QUIT :Ping timeout: 276 seconds < 1356217150 465617 :sebbu3!~sebbu@unaffiliated/sebbu JOIN :#esoteric < 1356217150 980734 :sebbu3!~sebbu@unaffiliated/sebbu QUIT :Excess Flood < 1356217174 530615 :sebbu3!~sebbu@ADijon-152-1-51-132.w83-194.abo.wanadoo.fr JOIN :#esoteric < 1356217174 734894 :sebbu3!~sebbu@ADijon-152-1-51-132.w83-194.abo.wanadoo.fr QUIT :Changing host < 1356217174 918680 :sebbu3!~sebbu@unaffiliated/sebbu JOIN :#esoteric < 1356217178 9447 :sebbu3!~sebbu@unaffiliated/sebbu QUIT :Excess Flood < 1356217192 445195 :ChanServ!ChanServ@services. MODE #esoteric +o :oerjan > 1356217192 779554 NAMES :#esoteric < 1356217204 590688 :sebbu3!~sebbu@unaffiliated/sebbu JOIN :#esoteric < 1356217205 845040 :sebbu3!~sebbu@unaffiliated/sebbu QUIT :Excess Flood < 1356217222 48273 :oerjan!oerjan@sprocket.nvg.ntnu.no MODE #esoteric +b :*!~sebbu@unaffiliated/sebbu > 1356217222 70484 NAMES :#esoteric < 1356217226 230474 :GreyKnight!~GK@dab-bhx2-h-55-1.dab.02.net PRIVMSG #esoteric :hi sebbu.* < 1356217233 409753 :sebbu3!~sebbu@unaffiliated/sebbu JOIN :#esoteric < 1356217234 444141 :sebbu3!~sebbu@unaffiliated/sebbu QUIT :Excess Flood < 1356217237 518543 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :wat < 1356217256 233570 :oerjan!oerjan@sprocket.nvg.ntnu.no MODE #esoteric -b :*!~sebbu@unaffiliated/sebbu > 1356217256 255939 NAMES :#esoteric < 1356217263 310319 :sebbu3!~sebbu@ADijon-152-1-51-132.w83-194.abo.wanadoo.fr JOIN :#esoteric < 1356217263 512126 :sebbu3!~sebbu@ADijon-152-1-51-132.w83-194.abo.wanadoo.fr QUIT :Changing host < 1356217263 696188 :sebbu3!~sebbu@unaffiliated/sebbu JOIN :#esoteric < 1356217263 965698 :sebbu3!~sebbu@unaffiliated/sebbu QUIT :Excess Flood < 1356217274 598343 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :oerjan: that changing host quit isn't a real quit < 1356217278 195479 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :set the ban on the wanadoo version < 1356217282 415562 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :oh < 1356217284 195139 :GreyKnight!~GK@dab-bhx2-h-55-1.dab.02.net PRIVMSG #esoteric :what about *!*@unaffiliated/sebbu < 1356217292 644716 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :its before the host comes in < 1356217293 924491 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :that won't work < 1356217297 441891 :oerjan!oerjan@sprocket.nvg.ntnu.no MODE #esoteric -b :*!~sebbu@ADijon-152-1-51-132.w83-194.abo.wanadoo.fr > 1356217297 464555 NAMES :#esoteric < 1356217299 795980 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :you want it on the wanadoo hostname < 1356217305 985529 :GreyKnight!~GK@dab-bhx2-h-55-1.dab.02.net PRIVMSG #esoteric :I posted before I saw your comment < 1356217319 516307 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :ok < 1356217350 157961 :GreyKnight!~GK@dab-bhx2-h-55-1.dab.02.net PRIVMSG #esoteric :
ACTION battens down hatches for a sebbustorm
< 1356217358 428914 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :seems it worked < 1356217410 994697 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :rip sebu < 1356217421 94872 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :i read the @ as in front of monqy there < 1356217426 761050 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :oerjan: requesting you op monqy. < 1356217428 856728 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :it's the right thing to do < 1356217444 870656 :GreyKnight!~GK@dab-bhx2-h-55-1.dab.02.net PRIVMSG #esoteric :@-party < 1356217445 57424 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :Not enough privileges < 1356217452 494919 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :oerjan: you may want to /msg sebbu3 saying you'll unban them once their internet is working if you haven't < 1356217506 164435 :Deewiant!~deewiant@deewiant.iki.fi PRIVMSG #esoteric :oerjan: You may want to actually set that ban (+b) < 1356217512 313454 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net QUIT :Quit: Arc_Koen < 1356217525 296027 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :When I was having trouble, I was told that I might be given a turing test... < 1356217526 333670 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :wat < 1356217551 654725 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :Deewiant: mighty good point < 1356217552 983265 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :`quote turing test < 1356217554 777217 :HackEgo!codu@codu.org PRIVMSG #esoteric :381) Will anyone be irritated if I tend to disconnect and reconnect a lot? [...] we _almost_ have an established policy that bots will be banned it they do that. which means we might have to administer a turing test to sgeo, and that could get ugly. < 1356217556 398389 :oerjan!oerjan@sprocket.nvg.ntnu.no MODE #esoteric -o :oerjan > 1356217556 420498 NAMES :#esoteric < 1356217578 631513 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :I like how there's no ban but it still worked < 1356217582 602728 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :I guess because it failed to join the channel once < 1356217602 954043 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :Deewiant: i can never remember whether it's + or -, and there is no response to indicate whether you get it right :( < 1356217645 225517 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :and i hate looking at the ban list proper because it floods my channel window < 1356217693 714950 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :one could argue that a few bans could be removed. < 1356217721 230120 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :in fact from the looks of it there is only one ban that isn't yet another incarnation of cheater that wants keeping < 1356217754 396157 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net JOIN :#esoteric < 1356217798 68053 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :that seems a little exaggerated :P < 1356218072 179804 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :not exaggerating < 1356218092 314966 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :first four bans are all cheater, all the rest are from ancient one-or-two-time offenders who are very unlikely to return < 1356218096 126971 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :except one (dbelange) < 1356218163 598140 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i hate how the times keep being reset < 1356218173 888693 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :> round 4.5 < 1356218175 450677 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : 4 < 1356218177 405909 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :> round 5.5 < 1356218178 827269 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : 6 < 1356218180 961917 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :Huh < 1356218208 647704 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :"round x returns the nearest integer to x; the even integer if x is equidistant between two integers" Wonder why it doesn't just return the greater integer < 1356218229 814263 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :elliott: um could you make an actual self-consistent statement :P < 1356218239 413363 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :(dbelange is no. 3 for me) < 1356218275 442702 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :23:07:58 -!- 1 - #esoteric: ban barts*!*@* [by ais523!~ais523@unaffiliated/ais523, 4671912 secs ago] < 1356218278 441490 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :23:07:58 -!- 2 - #esoteric: ban $a:cheater [by oerjan!oerjan@sprocket.nvg.ntnu.no, 10189258 secs ago] < 1356218281 462743 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :23:07:58 -!- 3 - #esoteric: ban cheater*!*@*.adsl.alicedsl.de [by sturgeon.freenode.net, 11768887 secs ago] < 1356218284 452127 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :23:07:58 -!- 4 - #esoteric: ban *!*@g230223105.adsl.alicedsl.de [by sturgeon.freenode.net, 11768887 secs ago] < 1356218287 465670 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :23:07:58 -!- 5 - #esoteric: ban dbelange*!*@* [by sturgeon.freenode.net, 11768887 secs ago] < 1356218291 517075 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :FreeFull: because that's ceiling... < 1356218295 270891 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :round does normal rounding < 1356218310 521218 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :FreeFull: it's called "banker's rounding" and it's supposed to make accumulated roundings cancel each other on average < 1356218311 742553 :hagb4rd!~perdito@koln-4d0b7c55.pool.mediaWays.net PRIVMSG #esoteric :frefull.. guess, that's because of there might no exact < 1356218321 345956 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :afaik < 1356218328 95332 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :elliott: Ceiling would round 3.2 up < 1356218386 406136 :hagb4rd!~perdito@koln-4d0b7c55.pool.mediaWays.net PRIVMSG #esoteric :how can i output a float with a specified number of digits? < 1356218388 815462 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :oh for the equidistant case you mean < 1356218390 725017 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :then yeah what oerjan said < 1356218396 932976 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :it's "fairer" in some ways < 1356218404 509638 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :hagb4rd: it's nothing to do with floats < 1356218405 963267 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :elliott: those are my 25, 24, 1, 2 and 3, respectively :P < 1356218413 820052 :hagb4rd!~perdito@koln-4d0b7c55.pool.mediaWays.net PRIVMSG #esoteric :hm < 1356218448 139090 :GreyKnight!~GK@dab-bhx2-h-55-1.dab.02.net PRIVMSG #esoteric :hagb4rd: you mean like %.4f etc? < 1356218467 798767 :ChanServ!ChanServ@services. MODE #esoteric +o :oerjan > 1356218467 821436 NAMES :#esoteric < 1356218475 924782 :hagb4rd!~perdito@koln-4d0b7c55.pool.mediaWays.net PRIVMSG #esoteric :yes < 1356218481 437279 :oerjan!oerjan@sprocket.nvg.ntnu.no MODE #esoteric -b :*!*alvur@95.57.97.* > 1356218481 453140 NAMES :#esoteric < 1356218490 866016 :oerjan!oerjan@sprocket.nvg.ntnu.no MODE #esoteric -b :*!*alvur@178.89.139.* > 1356218490 889346 NAMES :#esoteric < 1356218494 23899 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :I think ghc will just output all the significant digits < 1356218497 661277 :hagb4rd!~perdito@koln-4d0b7c55.pool.mediaWays.net PRIVMSG #esoteric :but in haskell < 1356218501 236006 :oerjan!oerjan@sprocket.nvg.ntnu.no MODE #esoteric -b :HashB*!*@82.* > 1356218501 259577 NAMES :#esoteric < 1356218509 797969 :oerjan!oerjan@sprocket.nvg.ntnu.no MODE #esoteric -b :*!*mithridat@unaffiliated/mithridates > 1356218509 813174 NAMES :#esoteric < 1356218521 946675 :oerjan!oerjan@sprocket.nvg.ntnu.no MODE #esoteric -b :*!*@cho94-8-88-178-12-119.fbx.proxad.net > 1356218521 969306 NAMES :#esoteric < 1356218533 15852 :oerjan!oerjan@sprocket.nvg.ntnu.no MODE #esoteric -b :*!*checker@c-68-55-8-210.hsd1.md.comcast.net > 1356218533 38190 NAMES :#esoteric < 1356218543 92875 :oerjan!oerjan@sprocket.nvg.ntnu.no MODE #esoteric -b :*!*email@*.dyn.optonline.net > 1356218543 114632 NAMES :#esoteric < 1356218554 881390 :oerjan!oerjan@sprocket.nvg.ntnu.no MODE #esoteric -b :*!*email@*.suomi.net > 1356218554 904823 NAMES :#esoteric < 1356218575 398200 :oerjan!oerjan@sprocket.nvg.ntnu.no MODE #esoteric -b :*!*@d14-69-59-38.try.wideopenwest.com > 1356218575 413323 NAMES :#esoteric < 1356218585 751797 :oerjan!oerjan@sprocket.nvg.ntnu.no MODE #esoteric -b :*!*@*.cable.dyn.cableonline.com.mx > 1356218585 774598 NAMES :#esoteric < 1356218596 276029 :oerjan!oerjan@sprocket.nvg.ntnu.no MODE #esoteric -b :honey!*@beehive.insectopia.us > 1356218596 297825 NAMES :#esoteric < 1356218605 381706 :oerjan!oerjan@sprocket.nvg.ntnu.no MODE #esoteric -b :*!*krbot@* > 1356218605 405211 NAMES :#esoteric < 1356218608 885759 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :the bees!!!! < 1356218612 449999 :oerjan!oerjan@sprocket.nvg.ntnu.no MODE #esoteric -b :*!*@unaffiliated/beedaweeda > 1356218612 472532 NAMES :#esoteric < 1356218613 66976 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :rip < 1356218620 150460 :oerjan!oerjan@sprocket.nvg.ntnu.no MODE #esoteric -b :*!*port72.c@50.8.174.* > 1356218620 172897 NAMES :#esoteric < 1356218627 746836 :oerjan!oerjan@sprocket.nvg.ntnu.no MODE #esoteric -b :*!*@069-064-236-*.pdx.net > 1356218627 762892 NAMES :#esoteric < 1356218628 704878 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :rip beedaweeda we missed you & yr ufos & yr molestation allegations < 1356218633 526045 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :oerjan: oh i lied port27.c might be one to keep. < 1356218637 618208 :oerjan!oerjan@sprocket.nvg.ntnu.no MODE #esoteric -b :*!*@ec2-50-112-122-72.us-west-2.compute.amazonaws.com > 1356218637 640359 NAMES :#esoteric < 1356218642 284028 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :if that's who I think it is < 1356218645 551268 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :`pastelogs port72\.c < 1356218647 574086 :oerjan!oerjan@sprocket.nvg.ntnu.no MODE #esoteric -b :*!*prophaze@59.93.41.* > 1356218647 597890 NAMES :#esoteric < 1356218650 285828 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :*72 < 1356218663 447151 :oerjan!oerjan@sprocket.nvg.ntnu.no MODE #esoteric +b :*!*port72.c@50.8.174.* > 1356218663 518986 NAMES :#esoteric < 1356218683 838642 :HackEgo!codu@codu.org PRIVMSG #esoteric :http://codu.org/projects/hackbot/fshg/index.cgi/raw-file/tip/paste/paste.7328 < 1356218722 94824 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :oh it's just beedaweeda < 1356218727 653743 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :unban away then, doubt they'll be back < 1356218752 188804 :oerjan!oerjan@sprocket.nvg.ntnu.no MODE #esoteric -b :*!*port72.c@50.8.174.* > 1356218752 225991 NAMES :#esoteric < 1356218771 343493 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :hm apparently the justification is kind of float-related < 1356218771 605797 :oerjan!oerjan@sprocket.nvg.ntnu.no MODE #esoteric -o :oerjan > 1356218771 627945 NAMES :#esoteric < 1356218776 28184 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :per what monochrom said to FreeFull in #haskell < 1356218780 455232 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :23:25:44 http://docs.oracle.com/cd/E19957-01/806-3568/ncg_goldberg.html has an explanation of why round to even. string-search for "round to even" < 1356218780 638758 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :
ACTION whistles innocently
< 1356218810 536822 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :you realise one of those bots wasn't even mine right < 1356218817 599180 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :and also I don't have access to those IPs any more. < 1356218822 368784 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :(so the bans do nothing) < 1356218837 446766 :ChanServ!ChanServ@services. MODE #esoteric +o :oerjan > 1356218837 469443 NAMES :#esoteric < 1356218848 970187 :oerjan!oerjan@sprocket.nvg.ntnu.no MODE #esoteric -b :*!*shutup@91.105.67.* > 1356218848 993317 NAMES :#esoteric < 1356218857 324999 :oerjan!oerjan@sprocket.nvg.ntnu.no MODE #esoteric -b :*!*shutup@208.78.103.* > 1356218857 346928 NAMES :#esoteric < 1356218867 933702 :oerjan!oerjan@sprocket.nvg.ntnu.no MODE #esoteric -b :*!*antioptbo@*.wmiscable.net > 1356218867 953825 NAMES :#esoteric < 1356218879 694656 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :GOOD ARGUMENT < 1356218884 89309 :oerjan!oerjan@sprocket.nvg.ntnu.no MODE #esoteric -o :oerjan > 1356218884 112145 NAMES :#esoteric < 1356218915 182306 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :> printf "%.4f" pi :: String < 1356218916 698473 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : "3.1416" < 1356218924 714628 :hagb4rd!~perdito@koln-4d0b7c55.pool.mediaWays.net PRIVMSG #esoteric :thx < 1356218926 188939 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :hagb4rd: ^ < 1356218982 633373 :hagb4rd!~perdito@koln-4d0b7c55.pool.mediaWays.net PRIVMSG #esoteric :> printf "%.6f" 4.5 :: String < 1356218984 108759 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : "4.500000" < 1356219026 614767 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :the only bot i remember is zeptobot... < 1356219041 298770 :hagb4rd!~perdito@koln-4d0b7c55.pool.mediaWays.net PRIVMSG #esoteric :
ACTION throws his cards on the table
< 1356219068 1076 :GreyKnight!~GK@dab-bhx2-h-55-1.dab.02.net PRIVMSG #esoteric :Full house < 1356219074 449408 :hagb4rd!~perdito@koln-4d0b7c55.pool.mediaWays.net PRIVMSG #esoteric :no i pass < 1356219101 986022 :GreyKnight!~GK@dab-bhx2-h-55-1.dab.02.net PRIVMSG #esoteric :no I mean *I* had a full house. I win! < 1356219105 254332 :GreyKnight!~GK@dab-bhx2-h-55-1.dab.02.net PRIVMSG #esoteric :
ACTION takes the jackpot
< 1356219384 713470 :GreyKnight!~GK@dab-bhx2-h-55-1.dab.02.net QUIT :Ping timeout: 265 seconds < 1356219532 631005 :GreyKnight!~GK@dab-bhx2-h-1-2.dab.02.net JOIN :#esoteric < 1356219553 990337 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric ::t printf < 1356219555 197810 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :PrintfType r => String -> r < 1356219591 953915 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :Waaait, doesn't this type definition say it only takes one argument < 1356219613 628583 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :printf is a gross typeclass hack < 1356219627 230613 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :FreeFull: what does "only one argument" mean < 1356219631 190779 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :every function only takes one argument in haskell < 1356219636 662171 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :String -> Int -> () is just String -> (Int -> ()) < 1356219638 965343 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :check out what all's an instance of PrintfType < 1356219670 691204 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :elliott: A function that doesn't take multiple arguments for me is one that doesn't return a function, and will error if any more arguments are supplied < 1356219674 649899 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric ::t printf ?x < 1356219675 889986 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :(?x::String, PrintfType r) => r < 1356219682 831603 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric ::t printf ?x ?y < 1356219684 192095 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :(?x::String, ?y::t, PrintfType t1, PrintfArg t) => t1 < 1356219706 436621 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :FreeFull: sorry, that notion is insufficiently general to apply to haskell. < 1356219727 205476 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :anyway the point is there is a PrintfType instance for (a -> b) < 1356219734 381631 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :for sufficiently restricted a, b < 1356219761 145318 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :(PrintfArg a, PrintfType b) => PrintfType (a -> b) < 1356219800 548845 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :as well as instance PrintfType (IO ()) and instance PrintfType String, at least < 1356219816 872079 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :> (printf "%d" :: Double -> String) 4.5 < 1356219817 813762 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :the latter are used to end the chain < 1356219818 337490 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : "*Exception: Printf.printf: bad argument < 1356219861 214502 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :elliott: PrintfType r => String -> r makes as much sense to me as Monad m => Integer -> m < 1356219889 824232 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :okay. then the problem is that you do not understand typeclasses < 1356219906 367093 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :learn about them and you will understand printf's type better < 1356219914 912936 :GreyKnight!~GK@dab-bhx2-h-1-2.dab.02.net QUIT :Remote host closed the connection < 1356219916 917262 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :Seems so < 1356219919 591496 :hagb4rd!~perdito@koln-4d0b7c55.pool.mediaWays.net PRIVMSG #esoteric :isn't that what he said already? < 1356219932 472732 :GreyKnight!~GK@dab-bhx2-h-55-4.dab.02.net JOIN :#esoteric < 1356219980 943751 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :What do you call amb extended to work with any monad, not just the list monad? < 1356219995 54682 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :Sgeo: nonexistant < 1356220005 359963 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :What is amb? < 1356220019 500785 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :Just asking for a name, there would be a slight difference in usage < 1356220030 363688 :hagb4rd!~perdito@koln-4d0b7c55.pool.mediaWays.net PRIVMSG #esoteric :another buzzword < 1356220038 618175 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :Sgeo: it doesn't exist. you can't write it < 1356220041 527330 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :there is no such function < 1356220087 584747 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :And by "slight difference" I mean "wrapped in a reset" < 1356220109 800344 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :Sgeo: it doesn't exist. you can't write it. there is no such function. amb does not work in every monad. < 1356220128 189765 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :Sgeo: call it mamb and discover for yourself why elliott's being a party pooper < 1356220143 382805 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :what does the name matter if it's impossible? mamb works well enough < 1356220230 388591 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :Maybe I have a wrong idea of what amb does? I'm sort of going off Factor's amb < 1356220241 459458 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :What is it meant to do and what would it do for a Maybe Integer < 1356220276 814542 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :Sgeo: how do you implement amb for Identity exactly < 1356220281 306446 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :well you can actually < 1356220286 360351 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :sort of < 1356220291 561625 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :it's possible for any MonadPlus anyway < 1356220291 862034 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :FreeFull, not execute the rest of the reset < 1356220296 440217 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :but clearly not any Monad < 1356220299 552420 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :return :: a -> M a < 1356220309 828669 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :map :: (a -> b) -> M a -> M b < 1356220312 734783 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :join :: M (M a) -> M a < 1356220320 329907 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :how do you write amb :: [a] -> M a with that exactly < 1356220345 321673 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :i mean, even in the simplest case, amb [], there is nothing you can do < 1356220383 771741 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :Wait, why is amb taking a list? < 1356220386 888690 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :s/map/fmap/ < 1356220395 871700 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :okay what is your type for amb then < 1356220417 116060 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :FreeFull: map is a perfectly fine name for it. map is a specialisation of fmap in Haskell and I am working in an abstract setting. < 1356220417 306221 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :It's supposed to look like m a -> a from the perspective of using code < 1356220429 714525 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :Sgeo: what. amb is not [a] -> a in the list monad?? < 1356220431 484367 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :it's [a] -> [a] < 1356220452 444365 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :FreeFull: you will also note that I specified monads in terms of the return/map/join trifecta, not return/(>>=)/fail, the last of which doesn't even exist. < 1356220456 650929 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :oh I guess (>>) is lumped in there nowadays too < 1356220461 636489 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :elliott: Yeah but being used to the specialisation being a specialisation got me confused until I realised you meant fmap =P < 1356220478 810072 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :I guess it is a less confusing name for someone used to Haskell, yes < 1356220485 90116 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :it worked for my intended audience, I hope < 1356220500 630287 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :elliott, o.O ? < 1356220506 993136 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :> let amb = id in do { x <- amb [1,2,3]; y <- amb [1,2,3]; guard (x+y == 3) } < 1356220508 626445 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :(>>) can be implemented with (>>=), right? < 1356220509 79915 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : [(),()] < 1356220511 850021 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :erm < 1356220514 408520 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :> let amb = id in do { x <- amb [1,2,3]; y <- amb [1,2,3]; guard (x+y == 3); return (x,y) } < 1356220516 121053 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : [(1,2),(2,1)] < 1356220519 388254 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :that's amb < 1356220525 799584 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :FreeFull: yeah < 1356220535 609928 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :m >> x = m >>= const x < 1356220541 787658 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :(const x = \_ -> x) < 1356220555 224982 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :Then lumping it in isn't very necessary =P < 1356220575 539173 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :it is for performance < 1356220582 884773 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :FreeFull: it's in case you want to specialize your >> to be optomized < 1356220586 372225 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :you can define (>>) more efficiently for some monads < 1356220599 156461 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :True < 1356220630 937518 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :But not necessary when you're talking about a minimal definition < 1356220651 902379 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :elliott, maybe a language without native delimited continuations is not the best for this discussion? < 1356220675 299207 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :Sgeo: then I have no idea what you are talking about, or why monads are involved < 1356220685 651898 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :or why you are relating this operation to amb < 1356220703 844554 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :Sgeo: can you please write your thoughts in haskell, the one true Lingua Franca < 1356220769 96339 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :I've expressed my thoughts some time ago actually, except I didn't connect it to amb < 1356220775 554109 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :An applicative-ish syntax for using monads