< 1355097852 748877 :nooga!~nooga@ip-46-250-173-30.ip.maverick.com.pl QUIT :Ping timeout: 265 seconds < 1355098535 473474 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :@where pondoc < 1355098535 629445 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric :10° 43' 0" North, 125° 0' 0" East < 1355098548 115441 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oerjan < 1355098582 885251 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :SPEAK UP < 1355098614 865413 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :OERJAN < 1355098616 278750 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :@where pandoc < 1355098616 504137 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric :http://sophos.berkeley.edu/macfarlane/pandoc/ < 1355098629 887975 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :@where pundoc < 1355098630 122010 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric :I know nothing about pundoc. < 1355098634 20503 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :@where pondoc < 1355098634 98402 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric :10° 43' 0" North, 125° 0' 0" East < 1355098647 778995 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :@where panda < 1355098647 906938 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric :I know nothing about panda. < 1355098919 998845 :sebbu!~sebbu@ADijon-152-1-54-21.w83-194.abo.wanadoo.fr JOIN :#esoteric < 1355098920 74030 :sebbu!~sebbu@ADijon-152-1-54-21.w83-194.abo.wanadoo.fr QUIT :Changing host < 1355098920 145740 :sebbu!~sebbu@unaffiliated/sebbu JOIN :#esoteric < 1355099288 29387 :sebbu!~sebbu@unaffiliated/sebbu QUIT :Ping timeout: 244 seconds < 1355099905 888719 :augur!~augur@c-69-140-133-153.hsd1.md.comcast.net JOIN :#esoteric < 1355099946 794227 :sebbu!~sebbu@ADijon-152-1-54-21.w83-194.abo.wanadoo.fr JOIN :#esoteric < 1355099950 180623 :sebbu!~sebbu@ADijon-152-1-54-21.w83-194.abo.wanadoo.fr QUIT :Changing host < 1355099950 253484 :sebbu!~sebbu@unaffiliated/sebbu JOIN :#esoteric < 1355101416 999852 :zzo38!~zzo38@24-207-49-17.eastlink.ca JOIN :#esoteric < 1355101796 431870 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net JOIN :#esoteric < 1355103009 581964 :zzo38!~zzo38@24-207-49-17.eastlink.ca QUIT :Remote host closed the connection < 1355103657 20651 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric ::t (^?) < 1355103658 355062 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric :s -> Getting (First a) s t a b -> Maybe a < 1355103686 593627 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric ::t just < 1355103687 785773 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric : Not in scope: `just' < 1355103687 955142 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric : Perhaps you meant `_just' (imported from Control.Lens) < 1355103694 856863 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric ::t _just < 1355103696 150638 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric :(Applicative f, Prismatic k) => k (a -> f b) (Maybe a -> f (Maybe b)) < 1355103763 10290 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric ::t identity < 1355103764 154067 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric :Not in scope: `identity' < 1355105540 977921 :augur!~augur@c-69-140-133-153.hsd1.md.comcast.net QUIT :Read error: Connection reset by peer < 1355105573 276765 :augur!~augur@c-69-140-133-153.hsd1.md.comcast.net JOIN :#esoteric < 1355107046 874944 :augur!~augur@c-69-140-133-153.hsd1.md.comcast.net QUIT :Remote host closed the connection < 1355107397 329322 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :you do it to yourself < 1355107502 553611 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com TOPIC #esoteric :Yes I'll tell you, I'll tell you why I'm lying here... but God forgive me... and God help us all... because you don't know what you ask of me. | http://codu.org/logs/_esoteric/ < 1355107793 48978 :oerjan!oerjan@sprocket.nvg.ntnu.no TOPIC #esoteric :Yes I'll tell you, I'll tell you why I'm lying here... but God forgive me... and God help us all... because you don't know what you ask of me. | http://codu.org/logs/_esoteric/ < 1355107800 527205 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :inb4 elliott rage < 1355107840 18106 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :What happened? < 1355107868 213522 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :space de-expansion < 1355107891 21650 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I see. < 1355107896 851554 :tswett!~tswett@ec2-23-23-86-149.compute-1.amazonaws.com JOIN :#esoteric < 1355107898 435309 :shachaf!~shachaf@unaffiliated/shachaf TOPIC #esoteric :Yes I'll tell you, I'll tell you why I'm lying here... but God forgive me... and God help us all... because you don't know what you ask of me. | http://cоdu.org/logs/_esoteric/ < 1355107925 421107 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :tricksy < 1355107941 904619 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :> "Yes I'll tell you, I'll tell you why I'm lying here... but God forgive me... and God help us all... because you don't know what you ask of me. | http://cоdu.org/logs/_esoteric/" < 1355107942 61187 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric : mueval: recoverEncode: invalid argument (invalid character) < 1355107959 685463 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :> "Yes I'll tell you, I'll tell you why I'm lying here... but God forgive me... and God help us all..." < 1355107961 130818 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric : "Yes I'll tell you, I'll tell you why I'm lying here... but God forgive me.... < 1355107981 230905 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :> " because you don't know what you ask of me. | http://cоdu.org/logs/_esoteric/" < 1355107981 386875 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric : mueval: recoverEncode: invalid argument (invalid character) < 1355107991 579300 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :> ord 'о' < 1355107991 814075 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric : mueval: recoverEncode: invalid argument (invalid character) < 1355107992 86404 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :> " because you don't know what you ask of " < 1355107993 440913 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric : " because you don't know what you ask of " < 1355108015 158051 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :> "me. | http://cоdu.org/logs/_esoteric/" < 1355108015 317670 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric : mueval: recoverEncode: invalid argument (invalid character) < 1355108022 861671 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :> "me. | http://cоdu" < 1355108023 55159 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric : mueval: recoverEncode: invalid argument (invalid character) < 1355108033 856966 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :> ".org/logs/_esoteric/" < 1355108034 503258 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :binary search itt < 1355108035 280562 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric : ".org/logs/_esoteric/" < 1355108040 678896 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oerjan: I suspect there are more efficient ways of figuring that out. < 1355108043 918525 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :> "tp://cоdu" < 1355108044 46926 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric : mueval: recoverEncode: invalid argument (invalid character) < 1355108060 905720 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :> "me. | ht" < 1355108061 809129 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :it's easy when you're url hilighter stops at the problem о < 1355108062 341579 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric : "me. | ht" < 1355108076 81332 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :> "tp://c" < 1355108077 411208 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric : "tp://c" < 1355108086 253381 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :> "du" < 1355108087 614439 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric : "du" < 1355108089 247215 :shachaf!~shachaf@unaffiliated/shachaf TOPIC #esoteric :Yes I'll tell you, I'll tell you why I'm lying here... but God forgive me... and God help us all... because you don't know what you ask of me. | http://cоdu.оrg/lоgs/_еsоtеric/ < 1355108109 723150 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :now the о is in codu and esoteric, shachaf? < 1355108129 161089 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :Ñ�,Ñ� < 1355108132 125387 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :it's 1px off of o in my font < 1355108138 927443 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :monqy: oh no < 1355108151 525408 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :fix your font < 1355108154 695913 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :no < 1355108158 805992 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :"nо" < 1355108163 758278 :shachaf!~shachaf@unaffiliated/shachaf TOPIC #esoteric :Yes I'll tell you, I'll tell you why I'm lying here... but God forgive me... and God help us all... because you don't know what you ask of me. | http://Ñ�odu.оrg/lоgs/_еsotеric/ < 1355108180 32650 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :oh no what did you do < 1355108207 517281 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :øh nø < 1355108487 3619 :Sgeo|web!ad034ea6@gateway/web/freenode/ip.173.3.78.166 JOIN :#esoteric < 1355109164 452272 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :wtf. shachaf. < 1355109169 160387 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :вхыыыыыыыыыы < 1355109397 966166 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :ḧẗẗp̈:̈/̈/̈c̈öd̈ü.̈ör̈g̈/̈l̈ög̈s̈/̈_̈ës̈öẗër̈ïc̈/̈ < 1355109421 263323 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :What did the : do? < 1355109429 828694 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :? < 1355109445 198972 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Hmm, I guess none of the punctuation has diæreses. < 1355109462 516039 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Or maybe my font is just messed up! < 1355109472 574223 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :something weird happened in copy-paste-land < 1355109488 609232 :Bike!~Glossina@207-224-23-226.ptld.qwest.net PRIVMSG #esoteric :"COMBINING_DIAERESIS" sounds like a disease. < 1355109512 828092 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :COMBINING PALATALIZED HOOK BELOW < 1355109525 231717 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Sounds rather painful, in fact. < 1355109525 467586 :Bike!~Glossina@207-224-23-226.ptld.qwest.net PRIVMSG #esoteric :D: < 1355109529 574639 :Bike!~Glossina@207-224-23-226.ptld.qwest.net PRIVMSG #esoteric :how long do i have to live, doc < 1355109598 455352 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :COMBINING GRAVE-ACUTE-GRAVE < 1355109609 949922 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :oh i blame mosh < 1355109614 976684 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Uh oh. < 1355109628 28845 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :the umlauts disappear if i cat the same file inside mosh < 1355109636 575540 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :on a different server though < 1355109640 108099 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Those are umlauts? < 1355109640 271627 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :so maybe it's a locale difference < 1355109650 492267 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :they're dots anyway < 1355109663 323130 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :is вхыыыыыыыыыы supposed to be like "whyyyyyyyyyyyy" < 1355109772 255242 :Phantom__Hoover!~Phantom@unaffiliated/phantom-hoover/x-3377486 QUIT :Read error: Connection reset by peer < 1355109803 257643 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :GHC recompiles much more quickly when you touch the RTS than when you touch the compiler. < 1355109820 59687 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I suppose it doesn't have to recompile the compiler at all. < 1355109838 624874 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :yeah < 1355109841 962081 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :compiling Haskell is slow < 1355109868 522742 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :And you don't need to do the stage1/stage2 thing. < 1355109874 395212 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Well, I guess you don't really need that anyway. < 1355110085 195750 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Gregor: So should the new quote database keep an ordering? < 1355110091 13455 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I think ordered quotes are silly. < 1355110135 340485 :Gregor!codu@codu.org PRIVMSG #esoteric :Ordering per se isn't important, but numbering or otherwise having short, easy-to-remember IDs is, and ordering seems to be the best way to do that. < 1355110143 750729 :Gregor!codu@codu.org PRIVMSG #esoteric :Except of course that then we keep deleting them, breaking it. < 1355110156 34607 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :No, we're going to make a new system where a quote is identified by a hash. < 1355110158 634065 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :(Of the quote.) < 1355110217 886413 :Gregor!codu@codu.org PRIVMSG #esoteric :... how about no. < 1355110231 200642 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Gregor: ... how about yes? < 1355110232 449957 :Gregor!codu@codu.org PRIVMSG #esoteric :Unless it's like a decimal hash of no more than four digits. < 1355110238 737243 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :It'll be base 32. < 1355110241 343819 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :> 32^2 < 1355110242 812305 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric : 1024 < 1355110244 255147 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :> 32^3 < 1355110245 660406 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric : 32768 < 1355110256 978746 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Three characters should be plenty. < 1355110276 299380 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :
ACTION gently reminds people of the birthday paradox
< 1355110284 977394 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Yes, I know. < 1355110289 64374 :c00kiemon5ter!~c00kiemon@foss-aueb/coder/c00kiemon5ter PRIVMSG #esoteric ::) < 1355110296 15524 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :We've already gone through it and figured out how long they need to be. < 1355110303 441039 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :> 1.2 * sqrt(32^3) < 1355110304 896816 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric : 217.2232031805074 < 1355110307 425616 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :> 1.2 * sqrt (32^4) < 1355110308 717925 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric : 1228.8 < 1355110318 287322 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Anyway we'll just take the shortest unique prefix each time. < 1355110321 591675 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :That's "good enough". < 1355110325 807082 :Gregor!codu@codu.org PRIVMSG #esoteric :I mean, I'm not gonna stop anybody, I have little investment and the whole point of HackEgo is do whatever you want, but *eh* < 1355110342 775489 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :elliott: Tell Gregor. < 1355110360 384435 :Gregor!codu@codu.org PRIVMSG #esoteric :It's just not memorable at all. < 1355110368 294953 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :What's not memorable? < 1355110395 312631 :Gregor!codu@codu.org PRIVMSG #esoteric :Three to four base-32 digits. < 1355110395 593681 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric : I've forgotten already. < 1355110401 296099 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :i like the idea < 1355110414 549891 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I think it's just as memorable as three digits. < 1355110424 1670 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :although i'm fine with just assigning them increasing integers that don't change when one is deleted < 1355110425 217487 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Because people are inefficient at remembering things from a small alphabet. :-( < 1355110427 795715 :c00kiemon5ter!~c00kiemon@foss-aueb/coder/c00kiemon5ter PRIVMSG #esoteric :imo a sequence is simpler, "colission-free" and easier to remberer < 1355110439 689534 :Gregor!codu@codu.org PRIVMSG #esoteric :Jumping from decimal to anything more than about base 12 and it becomes impossible. < 1355110445 675607 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :that's the database way to do it < 1355110463 140915 :Bike!~Glossina@207-224-23-226.ptld.qwest.net PRIVMSG #esoteric :just have people type in the whole quote when they want to retrieve the quote. < 1355110466 530464 :Gregor!codu@codu.org PRIVMSG #esoteric :Yeah, just not deleting numbers seems like the sensible way to go. < 1355110517 702479 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :If by sensible you mean unsensible? < 1355110530 971333 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Bike's suggestion is good. < 1355110549 212933 :Gregor!codu@codu.org PRIVMSG #esoteric :Yeah, being memorable, sequential AND constant, that'd be terrible. < 1355110614 238717 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :The number shouldn't be part of the quote! < 1355110619 458686 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :That'd mess the whole thing up. < 1355110675 462545 :Gregor!codu@codu.org PRIVMSG #esoteric :... dahell? Who's suggesting that? Or are you just pissy about the fact that order of addition affects quote identification? < 1355110677 637295 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i say quotahto, you say quotayto < 1355110802 935511 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :i have a suggestion < 1355110813 441714 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :you specify an id when you add a quote < 1355110821 481826 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :if it's not unique, it doesn't get added < 1355110833 227022 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :then people decide what's memorable < 1355110893 424473 :Sgeo|web!ad034ea6@gateway/web/freenode/ip.173.3.78.166 PRIVMSG #esoteric :And make it not indicate whether or not it was added, and hide the quote list for 24 hours after an attempted addition < 1355110901 298841 :Sgeo|web!ad034ea6@gateway/web/freenode/ip.173.3.78.166 PRIVMSG #esoteric :And 24 hours before an attempted addition < 1355110985 254738 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :brilliant! < 1355110988 391864 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Even quintopia's suggestion is better. < 1355111088 864517 :Gregor!codu@codu.org PRIVMSG #esoteric :How about do whatever the fuck you want because HackEgo isn't a democracy, it's anarchy. < 1355111127 574956 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Good point. < 1355111134 383705 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :monqy: what do i want < 1355111209 296224 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :?????hi < 1355111264 551368 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :
ACTION throws a chair through the nearest starbucks window
< 1355111284 394660 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :monqy: hi < 1355111344 247637 :Sgeo|web!ad034ea6@gateway/web/freenode/ip.173.3.78.166 PRIVMSG #esoteric :kmc: what if the nearest Starbucks is miles away? < 1355111349 383031 :Sgeo|web!ad034ea6@gateway/web/freenode/ip.173.3.78.166 PRIVMSG #esoteric :Is the nearest Starbucks miles away? < 1355111388 202736 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :come and see the violence inherent in the system < 1355111477 707751 :Gregor!codu@codu.org PRIVMSG #esoteric :HELP! HELP! I'M BEING OPPRESSED! < 1355111501 570407 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`quote reference < 1355111504 432060 :HackEgo!codu@codu.org PRIVMSG #esoteric :94) Darn, now I can't acknowledge the reference you were making. < 1355111525 343043 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :how wonderfully meta < 1355111695 685593 :tswett!~tswett@ec2-23-23-86-149.compute-1.amazonaws.com PRIVMSG #esoteric :I have a great idea. < 1355111695 841812 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric :tswett: You have 1 new message. '/msg lambdabot @messages' to read it. < 1355111712 119825 :tswett!~tswett@ec2-23-23-86-149.compute-1.amazonaws.com PRIVMSG #esoteric :Let's assign each quote a number according to the order in which it was added. < 1355111746 420396 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :look deep into its soul < 1355111749 177080 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :`quote < 1355111750 981431 :HackEgo!codu@codu.org PRIVMSG #esoteric :396) mixing drinks together is like taking all of mozart's works and listening to all of them at once and in general a drink - and most foods - are kind like taking a song and then just taking the average of the notes and listening to it for three minutes. olsner: the point is you don't have to be the composer yourse < 1355111758 747716 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :`quote < 1355111760 568285 :HackEgo!codu@codu.org PRIVMSG #esoteric :48) ??? Are the cocks actually just implanted dildos? Or are there monster dildos and cocks? Or are both the dildos and cocks monster? < 1355111765 407268 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :`quote < 1355111767 133332 :HackEgo!codu@codu.org PRIVMSG #esoteric :516) Yeah, Bashir, just sit there drinking, rather than diagnosing the carpenter mauled in that tragic bonobo accident. < 1355111770 811325 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :`quote < 1355111772 325668 :HackEgo!codu@codu.org PRIVMSG #esoteric :119) how does a "DNA computer" work. von neumann machines? CakeProphet, that's boring in the context of DNA. It's just stealing the universe's work and passing it off as our own. < 1355111775 973236 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :`quote < 1355111777 754920 :HackEgo!codu@codu.org PRIVMSG #esoteric :290) that one doesn't make a lot of sense outside context. Unless it is supposed to be a rather lame joke about STD as in HIV, and so on // HELLO WELCOME TO QUOTE DATABASES 101 < 1355111796 710156 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :`delquote 290 < 1355111802 62059 :HackEgo!codu@codu.org PRIVMSG #esoteric :​*poof* that one doesn't make a lot of sense outside context. Unless it is supposed to be a rather lame joke about STD as in HIV, and so on // HELLO WELCOME TO QUOTE DATABASES 101 < 1355111845 616065 :tswett!~tswett@ec2-23-23-86-149.compute-1.amazonaws.com PRIVMSG #esoteric :`quotwe395 < 1355111846 746690 :HackEgo!codu@codu.org PRIVMSG #esoteric :​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: quotwe395: not found < 1355111858 725778 :tswett!~tswett@ec2-23-23-86-149.compute-1.amazonaws.com PRIVMSG #esoteric :Why is my terminal being slow. Stop being slow, my terminal. < 1355111980 45364 :Gregor!codu@codu.org PRIVMSG #esoteric :`ls < 1355111981 762732 :HackEgo!codu@codu.org PRIVMSG #esoteric :bin \ canary \ egobot.tar.xz \ foo \ interps \ karma \ lib \ paste \ quotes \ share \ wisdom \ zalgo \ zalgo.hi \ zalgo.hs \ zalgo.o < 1355111994 568063 :Gregor!codu@codu.org PRIVMSG #esoteric :> "Hi" < 1355111996 114344 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric : "Hi" < 1355112098 395514 :tswett!~tswett@ec2-23-23-86-149.compute-1.amazonaws.com PRIVMSG #esoteric :`quote 395 < 1355112099 515278 :HackEgo!codu@codu.org PRIVMSG #esoteric :395) mixing drinks together is like taking all of mozart's works and listening to all of them at once and in general a drink - and most foods - are kind like taking a song and then just taking the average of the notes and listening to it for three minutes. olsner: the point is you don't have to be the composer yourse < 1355112101 71104 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :`quote 290 < 1355112102 273495 :HackEgo!codu@codu.org PRIVMSG #esoteric :290) A priori one cannot say that post hoc ergo propter hoc the diminishing returns would give; yet under quid pro quo one can agglutinate fabula and sujet into vagrancies untold. See? I'm intellectual. < 1355112133 624473 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric : < 1355112135 43330 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`quote < 1355112135 355406 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`quote < 1355112135 643688 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`quote < 1355112135 800187 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`quote < 1355112136 998782 :HackEgo!codu@codu.org PRIVMSG #esoteric :710) I saw a MythBusters show about that. (Or I guess it maybe was a tree.) < 1355112137 489548 :HackEgo!codu@codu.org PRIVMSG #esoteric :193) Invent the game called "Sandwich - The Card Game" and "Professional Octopus of the World" (these names are just generated by randomly) < 1355112137 615936 :HackEgo!codu@codu.org PRIVMSG #esoteric :245) Phantom_Hoover: I have just one tvtropes page open in elinks, but my tvtropes.txt "queue" has 38 tvtropes.org URLs waiting for processing. < 1355112137 850060 :HackEgo!codu@codu.org PRIVMSG #esoteric :859) Gordon Moore's expected lifespan doubles every 18 months < 1355112138 128973 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`quote < 1355112139 497887 :HackEgo!codu@codu.org PRIVMSG #esoteric :371) "system is fairly sane imagine if the roomba was called the Robotic Magic Vacuum would you object to that being trademarked I mean phrase trade" oops < 1355112145 224416 :tswett!~tswett@ec2-23-23-86-149.compute-1.amazonaws.com PRIVMSG #esoteric :elliott, naturally, forgot to take into account the varying efficacies of arbitrational vantages. < 1355112162 395476 :Sgeo|web!ad034ea6@gateway/web/freenode/ip.173.3.78.166 PRIVMSG #esoteric :elliott: monqy tswett despite not on list, Fiora < 1355112201 90333 :tswett!~tswett@ec2-23-23-86-149.compute-1.amazonaws.com PRIVMSG #esoteric :Are you talking about that potato I read? < 1355112363 888427 :Sgeo|web!ad034ea6@gateway/web/freenode/ip.173.3.78.166 PRIVMSG #esoteric :Yes < 1355112372 188128 :Sgeo|web!ad034ea6@gateway/web/freenode/ip.173.3.78.166 PRIVMSG #esoteric :Well, I don't know if you've read the potato < 1355112374 335016 :tswett!~tswett@ec2-23-23-86-149.compute-1.amazonaws.com PRIVMSG #esoteric :
ACTION nods.
< 1355112533 836537 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`run quote 395 | fmt -w80 | tail -1 < 1355112535 549419 :HackEgo!codu@codu.org PRIVMSG #esoteric :knows what sequences of drinks taste the best < 1355112550 818241 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`run quote 395 | fmt -w80 | tail -3 < 1355112552 513685 :HackEgo!codu@codu.org PRIVMSG #esoteric :of the notes and listening to it for three minutes. olsner: the \ point is you don't have to be the composer yourself not everyone \ knows what sequences of drinks taste the best < 1355112570 133661 :tswett!~tswett@ec2-23-23-86-149.compute-1.amazonaws.com PRIVMSG #esoteric :This fan fic seems good enough overall, but it has a couple of blemishes. < 1355112579 957390 :tswett!~tswett@ec2-23-23-86-149.compute-1.amazonaws.com PRIVMSG #esoteric :"You fiddle through the pantry, reaching in deep, standing on one foot for balance." < 1355113652 344738 :Gregor!codu@codu.org PRIVMSG #esoteric :wtf < 1355113675 48618 :Sgeo|web!ad034ea6@gateway/web/freenode/ip.173.3.78.166 PRIVMSG #esoteric :Gregor: you should read potatoes < 1355114100 696772 :epicmonkey!~epicmonke@188.134.41.172 JOIN :#esoteric < 1355114365 802089 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :potato reading, the new fad of scrying < 1355114833 864847 :epicmonkey!~epicmonke@188.134.41.172 QUIT :Read error: Operation timed out < 1355115042 58757 :WeThePeople!~WeThePeop@63.91.27.121 JOIN :#esoteric < 1355115569 409069 :WeThePeople!~WeThePeop@63.91.27.121 PRIVMSG #esoteric :hi < 1355115636 783429 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :hi < 1355115643 947214 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`hi < 1355115645 490917 :HackEgo!codu@codu.org PRIVMSG #esoteric :hi < 1355115652 426517 :tswett!~tswett@ec2-23-23-86-149.compute-1.amazonaws.com PRIVMSG #esoteric :hi < 1355115654 694760 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :monqy: hello < 1355115685 785715 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :monqy: have you heard return to the neverhood < 1355115756 354442 :Gregor!codu@codu.org PRIVMSG #esoteric :`welcome WeThePeople < 1355115758 532698 :HackEgo!codu@codu.org PRIVMSG #esoteric :WeThePeople: Welcome to the international hub for esoteric programming language design and deployment! For more information, check out our wiki: http://esolangs.org/wiki/Main_Page. (For the other kind of esoterica, try #esoteric on irc.dal.net.) < 1355115765 229730 :Gregor!codu@codu.org PRIVMSG #esoteric :Damn it, it's TOO FAST now. < 1355115781 682153 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Is it? < 1355115782 520051 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`welcome < 1355115784 135018 :HackEgo!codu@codu.org PRIVMSG #esoteric :Welcome to the international hub for esoteric programming language design and deployment! For more information, check out our wiki: http://esolangs.org/wiki/Main_Page. (For the other kind of esoterica, try #esoteric on irc.dal.net.) < 1355115790 180173 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Seems slow enough to me. < 1355115792 354130 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`welcome < 1355115793 998764 :HackEgo!codu@codu.org PRIVMSG #esoteric :Welcome to the international hub for esoteric programming language design and deployment! For more information, check out our wiki: http://esolangs.org/wiki/Main_Page. (For the other kind of esoterica, try #esoteric on irc.dal.net.) < 1355115799 823409 :WeThePeople!~WeThePeop@63.91.27.121 PART #esoteric :"Leaving" < 1355115801 271108 :Gregor!codu@codu.org PRIVMSG #esoteric :> "It's not appreciably slower than lambdabot!" < 1355115802 847178 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric : "It's not appreciably slower than lambdabot!" < 1355115808 490392 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :> "hi" < 1355115809 855043 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric : "hi" < 1355115815 768902 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :@@ @echo @echo hi < 1355115815 930381 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric : echo; msg:IrcMessage {msgServer = "freenode", msgLBName = "lambdabot", msgPrefix = "shachaf!~shachaf@unaffiliated/shachaf", msgCommand = "PRIVMSG", msgParams = ["#esoteric",":@@ @echo @echo hi"]} < 1355115816 8241 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric :rest:"echo; msg:IrcMessage {msgServer = \"freenode\", msgLBName = \"lambdabot\", msgPrefix = \"shachaf!~shachaf@unaffiliated/shachaf\", msgCommand = \"PRIVMSG\", msgParams = [\"#esoteric\",\":@@ @ < 1355115816 81250 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric :echo @echo hi\"]} rest:\"hi\"" < 1355115825 667737 :Gregor!codu@codu.org PRIVMSG #esoteric :Although apparently lambdabot becomes hyper-instantaneous on second request or something??? < 1355115829 469289 :Gregor!codu@codu.org PRIVMSG #esoteric :Or maybe I'm just lagged. < 1355115829 744204 :Bike!~Glossina@207-224-23-226.ptld.qwest.net PRIVMSG #esoteric :woah man < 1355115836 813299 :Gregor!codu@codu.org PRIVMSG #esoteric :@ping < 1355115836 886634 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :hi Bike < 1355115837 72321 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric :pong < 1355115846 247690 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :@botsnark < 1355115846 403744 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric ::) < 1355115846 777312 :Bike!~Glossina@207-224-23-226.ptld.qwest.net PRIVMSG #esoteric :hi shachaf < 1355115849 94749 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :hi < 1355115863 894504 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Bike: have you learned lens yet < 1355115874 87860 :Bike!~Glossina@207-224-23-226.ptld.qwest.net PRIVMSG #esoteric :what is lens < 1355115883 450746 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :@where lens < 1355115883 606216 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric :I know nothing about lens. < 1355115887 935146 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :!!! < 1355115895 154972 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :@where+ lens https://lens.github.com/ < 1355115895 326772 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric :Done. < 1355115897 242897 :Bike!~Glossina@207-224-23-226.ptld.qwest.net PRIVMSG #esoteric :gosh < 1355115902 297485 :Sgeo|web!ad034ea6@gateway/web/freenode/ip.173.3.78.166 PRIVMSG #esoteric :http://www.amazon.com/dp/B003L7WF7A/?tag=047-20 < 1355115903 67898 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :"whoops" < 1355115905 220119 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :@where+ lens http://lens.github.com/ < 1355115905 298509 :Sgeo|web!ad034ea6@gateway/web/freenode/ip.173.3.78.166 PRIVMSG #esoteric :That's not a 9 < 1355115905 376453 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric :I will never forget. < 1355115920 235830 :Bike!~Glossina@207-224-23-226.ptld.qwest.net PRIVMSG #esoteric :okay well that link is - oh, no https < 1355115921 106036 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Sgeo|web: ?tag < 1355115922 920750 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :? < 1355115924 601884 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Really? < 1355115927 682447 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Don't ?tag= us! < 1355115931 655752 :Sgeo|web!ad034ea6@gateway/web/freenode/ip.173.3.78.166 PRIVMSG #esoteric :I have no idea what tag= is < 1355115972 436025 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :it means u steel awr mohnee! < 1355115972 851544 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I'm sure. < 1355115982 429511 :Sgeo|web!ad034ea6@gateway/web/freenode/ip.173.3.78.166 PRIVMSG #esoteric :I got the link from http://www.thisiswhyimbroke.com/ if that's relevant, maybe the tag is some referral thing? < 1355115995 825576 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :It is. < 1355116000 473542 :Bike!~Glossina@207-224-23-226.ptld.qwest.net PRIVMSG #esoteric :man this doesn't even have any polynomials above the second degree does it < 1355116002 625424 :Bike!~Glossina@207-224-23-226.ptld.qwest.net PRIVMSG #esoteric :pathetic! < 1355116018 302357 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Bike: are you still talking about lens < 1355116029 816488 :Sgeo|web!ad034ea6@gateway/web/freenode/ip.173.3.78.166 PRIVMSG #esoteric :I'm mostly just facepalming about the 3(pi-.14) thing < 1355116052 653459 :Bike!~Glossina@207-224-23-226.ptld.qwest.net PRIVMSG #esoteric :I don't think lens has polynomials. Am I wrong. < 1355116055 387535 :Sgeo|web!ad034ea6@gateway/web/freenode/ip.173.3.78.166 PRIVMSG #esoteric :Maybe they put that just above where the 9 normally is, in just the right spot? < 1355116081 822442 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :> sqrt 1221 < 1355116083 363181 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric : 34.942810419312295 < 1355116093 995775 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Bike: It has algebraic types. < 1355116099 111657 :Bike!~Glossina@207-224-23-226.ptld.qwest.net PRIVMSG #esoteric :Sgeo|web: bla bla Do Irrationals Really Exist?? bla bla < 1355116111 361051 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Bike: Sure they exist. < 1355116112 813400 :Sgeo|web!ad034ea6@gateway/web/freenode/ip.173.3.78.166 PRIVMSG #esoteric :> (1221) ** (1/11) < 1355116114 385146 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric : 1.9081412268565665 < 1355116115 392031 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Well, the computable ones do. < 1355116126 683220 :Sgeo|web!ad034ea6@gateway/web/freenode/ip.173.3.78.166 PRIVMSG #esoteric :> (1221) ** (1/111) < 1355116128 139972 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric : 1.0661252990161068 < 1355116129 97841 :Bike!~Glossina@207-224-23-226.ptld.qwest.net PRIVMSG #esoteric :the multiple question marks are supposed to indicate that it's not meant as a serious question or worth talking about < 1355116132 672879 :Sgeo|web!ad034ea6@gateway/web/freenode/ip.173.3.78.166 PRIVMSG #esoteric :Wait what < 1355116133 952809 :Bike!~Glossina@207-224-23-226.ptld.qwest.net PRIVMSG #esoteric :and: does type algebra have polynomials? < 1355116143 858997 :Bike!~Glossina@207-224-23-226.ptld.qwest.net PRIVMSG #esoteric :i didn't think it did. < 1355116144 807943 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Bike: My answer was not completely serious either. < 1355116154 333407 :Bike!~Glossina@207-224-23-226.ptld.qwest.net PRIVMSG #esoteric :blast, i should have known < 1355116177 52614 :Sgeo|web!ad034ea6@gateway/web/freenode/ip.173.3.78.166 PRIVMSG #esoteric :> 2 *** 3 < 1355116178 419600 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric : No instances for (GHC.Num.Num (a0 b0 c0), GHC.Num.Num (a0 b'0 c'0)) < 1355116178 497583 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric : aris... < 1355116180 196733 :Sgeo|web!ad034ea6@gateway/web/freenode/ip.173.3.78.166 PRIVMSG #esoteric :> 2 ** 3 < 1355116181 707729 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric : 8.0 < 1355116189 802390 :Bike!~Glossina@207-224-23-226.ptld.qwest.net PRIVMSG #esoteric :what the hell does three asterisks denote? < 1355116194 967419 :Sgeo|web!ad034ea6@gateway/web/freenode/ip.173.3.78.166 PRIVMSG #esoteric :Typos. < 1355116206 168111 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :A thing with functions on tuples. < 1355116215 700949 :Bike!~Glossina@207-224-23-226.ptld.qwest.net PRIVMSG #esoteric :oh. i was hoping tetration for shits/giggles < 1355116225 263063 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :> (+1) *** (*2) $ (8,5) < 1355116226 297894 :Sgeo|web!ad034ea6@gateway/web/freenode/ip.173.3.78.166 PRIVMSG #esoteric ::t (***) < 1355116226 875330 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric : (9,10) < 1355116227 784356 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric :Arrow a => a b c -> a b' c' -> a (b, b') (c, c') < 1355116278 722048 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :> (f *** g) (x,y) -- better < 1355116280 56433 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric : Ambiguous type variable `c0' in the constraints: < 1355116280 134636 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric : (GHC.Show.Show c0) < 1355116280 208138 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric : ... < 1355116286 823244 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oh no < 1355116292 615167 :Bike!~Glossina@207-224-23-226.ptld.qwest.net PRIVMSG #esoteric :you're doing that just to amuse me, correct < 1355116294 30887 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :> (f *** g) (x,y) :: (Expr,Expr) < 1355116294 862283 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :> 1221/111 < 1355116295 475792 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric : (f x,g y) < 1355116296 163826 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric : 11.0 < 1355116297 570097 :Bike!~Glossina@207-224-23-226.ptld.qwest.net PRIVMSG #esoteric ::(t ****) < 1355116303 20247 :Bike!~Glossina@207-224-23-226.ptld.qwest.net PRIVMSG #esoteric :wow, what was that, me. < 1355116303 392203 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric ::(t < 1355116308 473745 :Bike!~Glossina@207-224-23-226.ptld.qwest.net PRIVMSG #esoteric ::t (****) < 1355116309 680734 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric : Not in scope: `****' < 1355116309 837527 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric : Perhaps you meant one of these: < 1355116309 911936 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric : `***' (imported from Control.Arrow), < 1355116309 912092 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :...it's some weird elementary school division symbol < 1355116315 783282 :Bike!~Glossina@207-224-23-226.ptld.qwest.net PRIVMSG #esoteric :÷ < 1355116322 163053 :Bike!~Glossina@207-224-23-226.ptld.qwest.net PRIVMSG #esoteric ::t ÷ < 1355116322 399393 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric :fd:9: commitBuffer: invalid argument (invalid character) < 1355116328 909483 :Bike!~Glossina@207-224-23-226.ptld.qwest.net PRIVMSG #esoteric :bull shit < 1355116330 722293 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :Bike: no, not that. on the clock. < 1355116334 211869 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :÷ works fine except that lambdabot is broken. < 1355116366 225852 :Sgeo|web!ad034ea6@gateway/web/freenode/ip.173.3.78.166 PRIVMSG #esoteric :Ok, I can't get the thing at position 11 on that clock to actually equal 11 with either obvious interpretation < 1355116368 201231 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :I think I've seen that clock < 1355116372 274564 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :hi < 1355116379 681115 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :oh was the clock linked in here < 1355116384 656485 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :I guess i'll see if I've seen it < 1355116385 395752 :Bike!~Glossina@207-224-23-226.ptld.qwest.net PRIVMSG #esoteric :anyway, sgeo, obviously the point is to give it to math majors so that you can watch them explode atchu < 1355116413 24513 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :> let f g x = g (g x) in f f f f (+1) 0 < 1355116414 420315 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric : 65536 < 1355116418 878735 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :> let f g x = g (g x) in f f f f f (+1) 0 < 1355116420 594561 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric : *Exception: stack overflow < 1355116421 724906 :Sgeo|web!ad034ea6@gateway/web/freenode/ip.173.3.78.166 PRIVMSG #esoteric :...oy < 1355116422 964462 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :Sgeo|web: i said it's a weird division symbol < 1355116423 362994 :Sgeo|web!ad034ea6@gateway/web/freenode/ip.173.3.78.166 PRIVMSG #esoteric :*oh < 1355116438 931172 :Sgeo|web!ad034ea6@gateway/web/freenode/ip.173.3.78.166 PRIVMSG #esoteric :Right, the thingy for long division < 1355116439 444505 :Sgeo|web!ad034ea6@gateway/web/freenode/ip.173.3.78.166 PRIVMSG #esoteric :derp < 1355116461 303891 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :explode in what sense < 1355116465 66143 :Sgeo|web!ad034ea6@gateway/web/freenode/ip.173.3.78.166 PRIVMSG #esoteric :I should learn to pay attention < 1355116486 671744 :Sgeo|web!ad034ea6@gateway/web/freenode/ip.173.3.78.166 PRIVMSG #esoteric :But 3(pi - .14) != 9 < 1355116507 268095 :Bike!~Glossina@207-224-23-226.ptld.qwest.net PRIVMSG #esoteric :monqy: the sense ending with you covered in principia mathematica symbology written in blood < 1355116508 907534 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :> 3(pi - 0.14) < 1355116510 435680 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric : 3 < 1355116518 200764 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :oh i havent seen that clock < 1355116520 125804 :Bike!~Glossina@207-224-23-226.ptld.qwest.net PRIVMSG #esoteric :what now sgeo < 1355116521 272071 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :but i've seen another clock < 1355116537 220635 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :people also buy Math Jokes 4 Mathy Folks [Paperback] < 1355116537 454709 :Bike!~Glossina@207-224-23-226.ptld.qwest.net PRIVMSG #esoteric :> pi < 1355116539 63571 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric : 3.141592653589793 < 1355116552 676493 :Bike!~Glossina@207-224-23-226.ptld.qwest.net PRIVMSG #esoteric :oh, parse thing. < 1355116558 37250 :Sgeo|web!ad034ea6@gateway/web/freenode/ip.173.3.78.166 PRIVMSG #esoteric :Oh, I see what shachaf did < 1355116571 600858 :Sgeo|web!ad034ea6@gateway/web/freenode/ip.173.3.78.166 PRIVMSG #esoteric :> 3 0 < 1355116573 18272 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric : 3 < 1355116606 309959 :Bike!~Glossina@207-224-23-226.ptld.qwest.net PRIVMSG #esoteric :«Some philosophers might take issue with such a Platonist view of the world - this belief in an absolute and eternal reality beyond human existence - but to my mind that is what makes them philosophers and not mathematicians < 1355116612 100943 :Sgeo|web!ad034ea6@gateway/web/freenode/ip.173.3.78.166 PRIVMSG #esoteric :The scary thing is that it shouldn't even LOOK like multiplication to our eyes in that context but it does < 1355116623 932013 :Bike!~Glossina@207-224-23-226.ptld.qwest.net PRIVMSG #esoteric :why shouldn't it? < 1355116624 890260 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :i'm going to find some math jokes in this book < 1355116627 485495 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :watch out, mathy folks < 1355116650 228957 :Sgeo|web!ad034ea6@gateway/web/freenode/ip.173.3.78.166 PRIVMSG #esoteric :Bike: because Haskell doesn't have a thing where things next to eachother like that is multiplication < 1355116659 685802 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :What's the difference between an economist and a confused old man with Alzheimer's? < 1355116676 243804 :Bike!~Glossina@207-224-23-226.ptld.qwest.net PRIVMSG #esoteric :obviously, but it's close enough < 1355116678 35503 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :monqy: BEATS ME < 1355116679 284265 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :The economist has a calculator. < 1355116710 691900 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Bike: Haskell has a thing where "x y" means "x" < 1355116712 967597 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :> 1 2 < 1355116714 548043 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric : 1 < 1355116715 500318 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :> 1 "hello" < 1355116716 879728 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric : 1 < 1355116719 822985 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :> pi 8 < 1355116721 241184 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric : 3.141592653589793 < 1355116726 771786 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :> pi 1 2 3 4 "hello" < 1355116728 231603 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric : 3.141592653589793 < 1355116729 40853 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :> 7 8 9 < 1355116730 518520 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric : 7 < 1355116732 572106 :Bike!~Glossina@207-224-23-226.ptld.qwest.net PRIVMSG #esoteric :is that actually a haskell thing or is it a parse thing, because i'm used to parsers giving up like that < 1355116741 413982 :Bike!~Glossina@207-224-23-226.ptld.qwest.net PRIVMSG #esoteric :also i didn't need five examples but thanks < 1355116745 249933 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :It's a misleading lambdabot thing. < 1355116754 180480 :Bike!~Glossina@207-224-23-226.ptld.qwest.net PRIVMSG #esoteric :makes more sense < 1355116755 741669 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :ps why does lambdabot have that thing < 1355116762 592425 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Actually "x y" means what "x(y)" usually means. < 1355116771 420826 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :monqy: because cale. dont ask questions monqy!!!!! < 1355116778 881286 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :because pointwise arithmetic is useful, in principle < 1355116782 49850 :pikhq!~pikhq@71-219-218-219.clsp.qwest.net PRIVMSG #esoteric :monqy: Caleskell confuseth < 1355116788 930353 :Bike!~Glossina@207-224-23-226.ptld.qwest.net PRIVMSG #esoteric :«No instance for (Num (t -> t1)) arising from the literal `3' at :1:0-2» bullshit < 1355116794 366337 :pikhq!~pikhq@71-219-218-219.clsp.qwest.net PRIVMSG #esoteric ::t (.) < 1355116795 484893 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric :Functor f => (a -> b) -> f a -> f b < 1355116796 889490 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :remember when caleskell had a funky type signature for flip, and (.) was fmap < 1355116801 118213 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :@ty (.) < 1355116802 915373 :Bike!~Glossina@207-224-23-226.ptld.qwest.net PRIVMSG #esoteric :actually can you have functions named 3 < 1355116803 230145 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric :Functor f => (a -> b) -> f a -> f b < 1355116804 924967 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :øh nø < 1355116805 242001 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :oh it's still fmap....... < 1355116806 124381 :Bike!~Glossina@207-224-23-226.ptld.qwest.net PRIVMSG #esoteric :i would like that < 1355116809 402481 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric ::t flip < 1355116809 506517 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric ::t flip < 1355116810 95464 :pikhq!~pikhq@71-219-218-219.clsp.qwest.net PRIVMSG #esoteric :monqy: Still is! < 1355116810 965679 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric :(a -> b -> c) -> b -> a -> c < 1355116811 39312 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric :(a -> b -> c) -> b -> a -> c < 1355116815 180265 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :at least they fixed flip < 1355116815 710251 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Bike: Yes. < 1355116820 500531 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :happy birthday ada byron? < 1355116820 573515 :Bike!~Glossina@207-224-23-226.ptld.qwest.net PRIVMSG #esoteric :rad < 1355116825 294137 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :3 actually means "fromInteger (3::Integer)" < 1355116851 24740 :Bike!~Glossina@207-224-23-226.ptld.qwest.net PRIVMSG #esoteric ::t fromInteger < 1355116852 444612 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric :Num a => Integer -> a < 1355116863 482174 :Bike!~Glossina@207-224-23-226.ptld.qwest.net PRIVMSG #esoteric :so, it's just a thunk that returns 3. < 1355116877 621436 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :...that's not the point. < 1355116889 64536 :Bike!~Glossina@207-224-23-226.ptld.qwest.net PRIVMSG #esoteric :? < 1355116910 122778 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :> (3 :: Double, 3 :: Int, 3 :: Complex Float) < 1355116911 485573 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric : (3.0,3,3.0 :+ 0.0) < 1355116919 655473 :Bike!~Glossina@207-224-23-226.ptld.qwest.net PRIVMSG #esoteric :ok, 3 as an integer? < 1355116931 591048 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :instance Num MyValue where fromInteger :: Integer -> MyValue; fromInteger x = whatever < 1355116943 215846 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :no, as whatever type you want < 1355116946 451805 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :> 1 2 < 1355116947 879105 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric : Could not deduce (GHC.Num.Num (a0 -> t)) < 1355116947 956989 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric : arising from the ambiguity chec... < 1355116955 740660 :Bike!~Glossina@207-224-23-226.ptld.qwest.net PRIVMSG #esoteric :then what's with the ::Integer in shachaf's type signature < 1355116959 633088 :Bike!~Glossina@207-224-23-226.ptld.qwest.net PRIVMSG #esoteric ::t 3 < 1355116960 899139 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric :Num a => a < 1355116968 474944 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Bike: (3::Integer) is my special syntax for the Integer value 3. < 1355116983 300999 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Which isn't polymorphic or anything. It's just an integer. < 1355116993 133173 :Bike!~Glossina@207-224-23-226.ptld.qwest.net PRIVMSG #esoteric :that is what i assumed < 1355117003 339682 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :@ty (3::Integer) < 1355117004 537405 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric :Integer < 1355117005 341280 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :@ty 3 < 1355117006 512549 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric :Num a => a < 1355117007 10967 :Bike!~Glossina@207-224-23-226.ptld.qwest.net PRIVMSG #esoteric :i'm pretty confused right now because i thought things made sense and then they didn't < 1355117049 797686 :pikhq!~pikhq@71-219-218-219.clsp.qwest.net PRIVMSG #esoteric :Bike: Basically, you can define an unusual instance of Num and get functions out. < 1355117053 477601 :Bike!~Glossina@207-224-23-226.ptld.qwest.net PRIVMSG #esoteric :maybe learning haskell from a brainfuck derivative/glasswork channel was a mistake. < 1355117082 257458 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Wait, which channel are you talking about? < 1355117083 63965 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :Bike: basically, 3 means you expect it to when you use it as an Integer. for any other type, it gets converted with fromInteger. < 1355117097 604469 :Bike!~Glossina@207-224-23-226.ptld.qwest.net PRIVMSG #esoteric :this channel. jokingly. < 1355117111 979171 :Bike!~Glossina@207-224-23-226.ptld.qwest.net PRIVMSG #esoteric :because it's nominally about esoteric languages and more often about lenses. < 1355117114 843871 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :this is not _necessarily_ a thunk, since it could be done at compilation. < 1355117136 883035 :Bike!~Glossina@207-224-23-226.ptld.qwest.net PRIVMSG #esoteric :oerjan: i can't parse "means you expect it to". means you expect it to what? < 1355117145 488584 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :oops < 1355117150 477066 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :*means what you < 1355117173 358954 :hagb4rd!~perdito@koln-4db4e876.pool.mediaWays.net PRIVMSG #esoteric :@ty pi < 1355117174 548322 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric :Floating a => a < 1355117185 188105 :hagb4rd!~perdito@koln-4db4e876.pool.mediaWays.net PRIVMSG #esoteric :@ty a < 1355117186 297221 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric :Expr < 1355117198 922020 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Hmm. < 1355117217 819792 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :This person in #haskell decided that https://en.wikipedia.org/wiki/Monad_(functional_programming) should be their introduction to Haskell. < 1355117218 52500 :Bike!~Glossina@207-224-23-226.ptld.qwest.net PRIVMSG #esoteric :so, 3 as a literal is "polymorphic"? for what i imagine is a different definition of "polymorphic" than i remember from C++ in 21 Days < 1355117235 939077 :pikhq!~pikhq@71-219-218-219.clsp.qwest.net PRIVMSG #esoteric :Yes, 3 is polymorphic. < 1355117240 331827 :Bike!~Glossina@207-224-23-226.ptld.qwest.net PRIVMSG #esoteric :shoulda been Monad_(category_theory) < 1355117243 172836 :Bike!~Glossina@207-224-23-226.ptld.qwest.net PRIVMSG #esoteric :and ok cool < 1355117259 935896 :Bike!~Glossina@207-224-23-226.ptld.qwest.net PRIVMSG #esoteric :is literal 3.0 polymorphic? < 1355117266 287458 :pikhq!~pikhq@71-219-218-219.clsp.qwest.net PRIVMSG #esoteric :@ty 3.0 < 1355117266 443642 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Yes, but less so. < 1355117267 516430 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric :Fractional a => a < 1355117274 523991 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :(Unless you use the GHC extension I wrote!) < 1355117278 975955 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :(Which might be in 7.8?) < 1355117280 618834 :Bike!~Glossina@207-224-23-226.ptld.qwest.net PRIVMSG #esoteric :Only morphs to types of floats? < 1355117291 251004 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Fractional. < 1355117293 406138 :Bike!~Glossina@207-224-23-226.ptld.qwest.net PRIVMSG #esoteric :wow, what a badly constructed thought that was < 1355117297 904964 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Floating points are the devil. < 1355117299 908809 :Bike!~Glossina@207-224-23-226.ptld.qwest.net PRIVMSG #esoteric :you can use it as a ratio? < 1355117315 129641 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :> 3.0 :: Rational < 1355117316 556161 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric : 3 % 1 < 1355117334 440863 :Bike!~Glossina@207-224-23-226.ptld.qwest.net PRIVMSG #esoteric :boy, i hope i can look forward to a generation of programmers using float syntax and thinking accurately that they have a rational < 1355117334 513833 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :that's the fundamental meaning, everything else is converted from that type < 1355117343 275841 :pikhq!~pikhq@71-219-218-219.clsp.qwest.net PRIVMSG #esoteric :Floats are the devil, and should not be considered numbers. < 1355117352 668899 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :That's not float syntax, Bike. < 1355117358 232354 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :That's decimal syntax. < 1355117362 233970 :Bike!~Glossina@207-224-23-226.ptld.qwest.net PRIVMSG #esoteric :well, in programming it usually is. < 1355117377 34912 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :There are many well-behaved types that can express 3.1. < 1355117384 418618 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Floating point values are not among them. < 1355117388 257864 :Bike!~Glossina@207-224-23-226.ptld.qwest.net PRIVMSG #esoteric :i am aware < 1355117392 555213 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :> x-- // decrement x < 1355117393 835385 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric : x < 1355117401 593412 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :now x is decremented < 1355117411 377973 :Bike!~Glossina@207-224-23-226.ptld.qwest.net PRIVMSG #esoteric :i'm just imagining someone arguing bout using 3.0 in a non-haskell program and insisting that it's accurate < 1355117424 726077 :pikhq!~pikhq@71-219-218-219.clsp.qwest.net PRIVMSG #esoteric :0.1 does not have an exact representation as a float. Joy. < 1355117451 647195 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :> x++//increment x < 1355117453 152993 :Bike!~Glossina@207-224-23-226.ptld.qwest.net PRIVMSG #esoteric :what if it's a base ten float, eh, don't be so computerbound! < 1355117453 446877 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric : x + 1 < 1355117472 958307 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Bike: Floats are computerbound. < 1355117480 62514 :hagb4rd!~perdito@koln-4db4e876.pool.mediaWays.net PRIVMSG #esoteric :> --x < 1355117481 55451 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :"cerebro" < 1355117481 413740 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric : not an expression: `--x' < 1355117482 353255 :pikhq!~pikhq@71-219-218-219.clsp.qwest.net PRIVMSG #esoteric :I don't deal in base 10. < 1355117506 877204 :Bike!~Glossina@207-224-23-226.ptld.qwest.net PRIVMSG #esoteric :not necessarily, you'd just have to be entertainingly nuts to use floats outside of 'em < 1355117511 266641 :Sgeo|web!ad034ea6@gateway/web/freenode/ip.173.3.78.166 PRIVMSG #esoteric :But all bases are base 10 < 1355117526 706211 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Not true. < 1355117544 261428 :Bike!~Glossina@207-224-23-226.ptld.qwest.net PRIVMSG #esoteric :mm? < 1355117550 926163 :Sgeo|web!ad034ea6@gateway/web/freenode/ip.173.3.78.166 PRIVMSG #esoteric :2i ? < 1355117562 322716 :Bike!~Glossina@207-224-23-226.ptld.qwest.net PRIVMSG #esoteric :what would "all bases are base 10" even mean < 1355117573 415831 :pikhq!~pikhq@71-219-218-219.clsp.qwest.net PRIVMSG #esoteric :Sgeo|web: Not if you follow Postel's Law. < 1355117605 665118 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :monqy: are you going to learn lens on 12-12-12 < 1355117611 206964 :Sgeo|web!ad034ea6@gateway/web/freenode/ip.173.3.78.166 PRIVMSG #esoteric :For any base b, the string "10" in that base represents b. (Might not be true for all bases, but surely for base two, ten, sixteen, etc) < 1355117613 652270 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :shachaf: maybe < 1355117632 340512 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :we won't know until then now will we ! < 1355117638 110642 :Bike!~Glossina@207-224-23-226.ptld.qwest.net PRIVMSG #esoteric :boring < 1355117653 781507 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :shachaf: no, he'll learn it on 12-21-12, which will cause the end of the world. < 1355117664 190051 :hagb4rd!~perdito@koln-4db4e876.pool.mediaWays.net PRIVMSG #esoteric :lol < 1355117670 744510 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oerjan: edwardk's talk is on 12-12-12 < 1355117676 554043 :Sgeo|web!ad034ea6@gateway/web/freenode/ip.173.3.78.166 PRIVMSG #esoteric :"10" in base 2i is 2i < 1355117677 63692 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :ah. < 1355117679 933406 :Sgeo|web!ad034ea6@gateway/web/freenode/ip.173.3.78.166 PRIVMSG #esoteric :So, no problems there < 1355117705 231820 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :what about base 1 < 1355117720 472702 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :what about base balanced ternary!! < 1355117738 773887 :Sgeo|web!ad034ea6@gateway/web/freenode/ip.173.3.78.166 PRIVMSG #esoteric :Is base 1 even a base? < 1355117743 225787 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :balanced ternary is fine < 1355117744 279292 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`run allquotes | grep Jafet < 1355117744 439087 :Bike!~Glossina@207-224-23-226.ptld.qwest.net PRIVMSG #esoteric :now i want to go read taocp2 again, thanks shachaf < 1355117744 595356 :Sgeo|web!ad034ea6@gateway/web/freenode/ip.173.3.78.166 PRIVMSG #esoteric :I'll grant balanced ternary < 1355117746 43082 :HackEgo!codu@codu.org PRIVMSG #esoteric :835) I wonder if Red Alert 4 will use MMIX \ 860) The world needs better healthcare, social justice and wealth distribution, but a monads library for clojure surely won't hurt < 1355117750 660352 :Bike!~Glossina@207-224-23-226.ptld.qwest.net PRIVMSG #esoteric :Sgeo|web: it's unary. tallymarks. < 1355117769 374072 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oerjan: I suppose that's still 3. < 1355117781 223013 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Bike: I haven't read any of it! < 1355117782 375465 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Should I? < 1355117787 559788 :Bike!~Glossina@207-224-23-226.ptld.qwest.net PRIVMSG #esoteric :it's pretty rad < 1355117793 435116 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Also should I go to http://www-cs-faculty.stanford.edu/~uno/musings.html on Friday? < 1355117795 135826 :Bike!~Glossina@207-224-23-226.ptld.qwest.net PRIVMSG #esoteric :maybe you should wait for knuth to slightly unfuck his language though < 1355117795 209101 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :now fibonacci base may have some trouble there < 1355117809 179044 :Bike!~Glossina@207-224-23-226.ptld.qwest.net PRIVMSG #esoteric :anyway i mention it because he goes into floats < 1355117810 197506 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :10 is probably 2, i guess < 1355117817 266954 :Bike!~Glossina@207-224-23-226.ptld.qwest.net PRIVMSG #esoteric :lots of fun stuff, like how they're not associative or whatever < 1355117824 563819 :Bike!~Glossina@207-224-23-226.ptld.qwest.net PRIVMSG #esoteric :or even commutative? i forget < 1355117831 502285 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :They're nothing desirable. < 1355117854 434452 :Bike!~Glossina@207-224-23-226.ptld.qwest.net PRIVMSG #esoteric :well, they're useful in many contexts, just, as long as you know they're approximate < 1355117856 512364 :hagb4rd!~perdito@koln-4db4e876.pool.mediaWays.net PRIVMSG #esoteric :Is base 1 even a base? <-- could be a problem with the notification of zero < 1355117864 224983 :Bike!~Glossina@207-224-23-226.ptld.qwest.net PRIVMSG #esoteric :which most people don't < 1355117866 88896 :Bike!~Glossina@207-224-23-226.ptld.qwest.net PRIVMSG #esoteric :so < 1355117871 83418 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :ieee floats are commutative, afair < 1355117889 536408 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :What's commutative? < 1355117897 618418 :Bike!~Glossina@207-224-23-226.ptld.qwest.net PRIVMSG #esoteric :does that include snans and infinities, i wonder < 1355117902 591807 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :x+y = y+x, x*y = y*x < 1355117909 740397 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :OK, so both + and * < 1355117920 922503 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :(i was about to change = to == until i remembered nan :P) < 1355117921 844373 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Hmm, that's unexpected. < 1355117959 911944 :SingingBoyo!~SingingBo@d173-180-176-35.bchsia.telus.net JOIN :#esoteric < 1355117967 895964 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :s/afair/iiuc/ < 1355117979 468224 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :shouldn't leave the impression i actually read the standard < 1355118004 890408 :pikhq!~pikhq@71-219-218-219.clsp.qwest.net PRIVMSG #esoteric :Not associative though. < 1355118079 51506 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i think that having addition be both commutative, associative and satisfy x+(-x) = 0 on a finite set of representations basically means you _must_ wrap around at some point. < 1355118096 892385 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :*all of < 1355118139 288911 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Associativity is way more important than commutativity. < 1355118194 889356 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :or even with just associativity, 1+1+1+1+...+1 must repeat at some point. < 1355118209 308973 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :wait, who needs associativity, even. < 1355118244 539559 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :1+(1+(1+(...))) must repeat at some point, given a bounded size representation. < 1355118398 516009 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :for ieee, that presumably happens once you reach 1+x == x by rounding. < 1355118446 863402 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :while things like Word32 can wrap around back to 0 < 1355118538 57920 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :if you have the property (-1)+(1+x) == x for all x, then you are guaranteed wraparound to the beginning. < 1355118575 908509 :Bike!~Glossina@207-224-23-226.ptld.qwest.net PRIVMSG #esoteric :"Many serious mathematicians have attempted to analyze a sequence of floating point operations rigorously, but have found the task so formidable that they have tried to be content with plausibility arguments instead." knuth you're not helping < 1355118576 164172 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :C int never repeats < 1355118614 741730 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :shachaf: ok i guess undefined behavior also works < 1355118865 839088 :Bike!~Glossina@207-224-23-226.ptld.qwest.net PRIVMSG #esoteric :hm, we do have ((u+v)-u)+((u+v)-((u+v)-u)) = u+v I guess < 1355118871 790851 :Bike!~Glossina@207-224-23-226.ptld.qwest.net PRIVMSG #esoteric :that's pretty much as good as associativity, right < 1355118893 734574 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :we do? < 1355118903 960829 :augur!~augur@208.58.5.87 JOIN :#esoteric < 1355118917 531312 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :@check \u v -> ((u+v)-u)+((u+v)-((u+v)-u)) == u+(v::Double) < 1355118919 284410 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric : Not in scope: `myquickcheck' < 1355118941 656560 :Bike!~Glossina@207-224-23-226.ptld.qwest.net PRIVMSG #esoteric :according to knuth. the proof's maybe a paragraph if you want me to dump it. < 1355118983 615010 :Bike!~Glossina@207-224-23-226.ptld.qwest.net PRIVMSG #esoteric :What does check do? < 1355118993 426454 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :crashes horribly < 1355119006 325346 :Bike!~Glossina@207-224-23-226.ptld.qwest.net PRIVMSG #esoteric :I thought that was just lambdabot messing with shachaf. < 1355119008 502038 :augur!~augur@208.58.5.87 QUIT :Read error: Connection reset by peer < 1355119014 807134 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :@check \u v -> ((u+v)-u)+((u+v)-((u+v)-u)) == u+(v::Double) < 1355119016 251880 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric : Not in scope: `myquickcheck' < 1355119020 688775 :augur!~augur@208.58.5.87 JOIN :#esoteric < 1355119021 67583 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :OR WITH EVERYONE < 1355119025 657924 :augur!~augur@208.58.5.87 QUIT :Read error: Connection reset by peer < 1355119028 43349 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :When it's not broken, @check will generate random inputs and check that your thing holds. < 1355119032 869575 :Bike!~Glossina@207-224-23-226.ptld.qwest.net PRIVMSG #esoteric :Lambdabot, you should be a bit nicer. < 1355119040 47652 :Bike!~Glossina@207-224-23-226.ptld.qwest.net PRIVMSG #esoteric :Golly, that doesn't seem that rigorous. < 1355119048 744560 :augur!~augur@208.58.5.87 JOIN :#esoteric < 1355119064 491010 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Bike: Good enough for programmers, right? < 1355119073 630314 :Bike!~Glossina@207-224-23-226.ptld.qwest.net PRIVMSG #esoteric :damn straight < 1355119114 420832 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :it's good for that "not obviously false" feeling < 1355119215 217530 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :also for that "obviously false" feeling, in other cases < 1355119240 194234 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :(oh my poor ZipList Monad ;_;) < 1355119240 709720 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :That feeling is good. < 1355119276 155111 :hagb4rd!~perdito@koln-4db4e876.pool.mediaWays.net PRIVMSG #esoteric :the other is false < 1355119309 107493 :Bike!~Glossina@207-224-23-226.ptld.qwest.net PRIVMSG #esoteric :> (\u v -> ((u+v)-u)+((u+v)-((u+v)-u))) (3.79::Double) (14::Double) < 1355119310 533504 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric : 17.79 < 1355119327 29371 :Bike!~Glossina@207-224-23-226.ptld.qwest.net PRIVMSG #esoteric :> (\u v -> ((u+v)-u)+((u+v)-((u+v)-u))) (-4818::Double) (.3::Double) < 1355119328 528282 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric : :1:58: parse error on input `::' < 1355119328 606345 :hagb4rd!~perdito@koln-4db4e876.pool.mediaWays.net PRIVMSG #esoteric :@ty obviously good < 1355119329 738118 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric :Not in scope: `obviously' < 1355119329 910952 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric :Not in scope: `good' < 1355119336 405579 :Bike!~Glossina@207-224-23-226.ptld.qwest.net PRIVMSG #esoteric :ok < 1355119376 363482 :Bike!~Glossina@207-224-23-226.ptld.qwest.net PRIVMSG #esoteric :i think one success and one parse error counts as a proof < 1355119394 470304 :FreeFull!~freefull@defocus/sausage-lover QUIT : < 1355119418 51652 :Bike!~Glossina@207-224-23-226.ptld.qwest.net PRIVMSG #esoteric :relatedly, haskell doesn't allow .whatever, huh. < 1355119436 89472 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :.whatever is evil. < 1355119452 55539 :Bike!~Glossina@207-224-23-226.ptld.qwest.net PRIVMSG #esoteric :are you some kind of decimal paladin, shachaf < 1355119496 834458 :Bike!~Glossina@207-224-23-226.ptld.qwest.net PRIVMSG #esoteric :> (\u v -> ((u+v)-u)+((u+v)-((u+v)-u))) (-4818::Double) (0.3::Double) anyway this one works too < 1355119498 156264 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric : Not in scope: `anyway'Not in scope: `this'Not in scope: `one' < 1355119498 234227 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric : Perhaps you ... < 1355119508 157328 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :The Decimal Paladin < 1355119510 713699 :Bike!~Glossina@207-224-23-226.ptld.qwest.net PRIVMSG #esoteric :or would if i understood how lambdabot's parsey cutoff thing wored, which I don't. < 1355119511 424182 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Base ten a true story. < 1355119517 988649 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :for a certain value of works. < 1355119527 886584 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Bike: It doesn't actually do a cutoff thing. < 1355119528 319185 :Bike!~Glossina@207-224-23-226.ptld.qwest.net PRIVMSG #esoteric :considering what "decimate" means it's appropriate, I think < 1355119529 760307 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :At all. < 1355119545 646123 :Bike!~Glossina@207-224-23-226.ptld.qwest.net PRIVMSG #esoteric :So what's with the > 3 4 thing. < 1355119557 229194 :Bike!~Glossina@207-224-23-226.ptld.qwest.net PRIVMSG #esoteric :> (\u v -> ((u+v)-u)+((u+v)-((u+v)-u))) (-4818::Double) (0.3::Double) -- sing a song < 1355119558 592318 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric : -4817.7 < 1355119559 474190 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :> 3 4 < 1355119561 53065 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric : Could not deduce (GHC.Num.Num (a0 -> t)) < 1355119561 126382 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric : arising from the ambiguity chec... < 1355119562 368284 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :Bike: that's not parsing, that's type hackery < 1355119564 6905 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :nothin' < 1355119570 57885 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :It doesn't work. < 1355119581 198799 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :> 3 4 < 1355119582 698558 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric : Could not deduce (GHC.Num.Num (a0 -> t)) < 1355119582 772104 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric : arising from the ambiguity chec... < 1355119589 310753 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :what did shachaf do now. < 1355119590 618021 :Bike!~Glossina@207-224-23-226.ptld.qwest.net PRIVMSG #esoteric :well, i'm confused now, but it's a lambdabot confusion and not a haskell confusion, so i'm gonna go ahead and not care < 1355119605 672860 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Bike: I got Cale to change it back to normal. < 1355119612 398799 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :So now lambdabot is just a little more normal. < 1355119617 194227 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric ::t (.) < 1355119618 367282 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric :Functor f => (a -> b) -> f a -> f b < 1355119622 993544 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Not *that* much, oerjan. < 1355119623 435115 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :a _little_. < 1355119648 598966 :Bike!~Glossina@207-224-23-226.ptld.qwest.net PRIVMSG #esoteric :so, why's this channel use such an apparently weird evalbot (speaking of which i thought dot was compose, why would it be fmap) < 1355119669 618610 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :
ACTION belatedly swats shachaf for the base ten pun -----###
< 1355119713 914079 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oerjan: Whew. < 1355119724 249310 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :Bike: fmap = (.) for functions. < 1355119740 349695 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Bike: Mapping a function over the result of another function is like composing the two functions. < 1355119740 912703 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :so it's a simple generalization. < 1355119748 897164 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :simple AND WRONG < 1355119762 718868 :Bike!~Glossina@207-224-23-226.ptld.qwest.net PRIVMSG #esoteric :ugh, and here i was thinking i almost maybe understood functors < 1355119815 481604 :Bike!~Glossina@207-224-23-226.ptld.qwest.net PRIVMSG #esoteric :"(((u+v)-v)+v)-v = (u+v)-v" anyway all of knuth's identities here kind of suck < 1355119871 703190 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :Bike: just wait until you learn how functions are a Monad. < 1355119873 73482 :Bike!~Glossina@207-224-23-226.ptld.qwest.net PRIVMSG #esoteric :oh, and that's only even valid for certain rounding modes. lovely. < 1355119900 284104 :Bike!~Glossina@207-224-23-226.ptld.qwest.net PRIVMSG #esoteric :they're monads because they're functors and they form a monoid, right < 1355119918 405791 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :... < 1355119931 259702 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :MAYBE < 1355119937 582246 :Bike!~Glossina@207-224-23-226.ptld.qwest.net PRIVMSG #esoteric :look when i say something stupid you can say "that's fucking stupid", it'll do me more good than some ellipses < 1355119944 819906 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :O KAY < 1355119950 462156 :Bike!~Glossina@207-224-23-226.ptld.qwest.net PRIVMSG #esoteric :thanks oerjan < 1355119971 860432 :TeruFSX!~TeruFSX@65-128-184-186.mpls.qwest.net QUIT :Quit: Leaving < 1355120005 319281 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :> (do x <- sin; y <- cos; return (x^2+y^2)) 42 < 1355120007 16166 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric : 1.0 < 1355120054 677598 :Bike!~Glossina@207-224-23-226.ptld.qwest.net PRIVMSG #esoteric :any particular reason you wrote that as a sequence instead of just an expression? < 1355120148 588840 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Do demonstrate what was going on with (r ->) < 1355120152 194197 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :> liftM2(+)((^2)<$>sin)((^2)<$>cos) 42 -- OKAY < 1355120153 648346 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric : 1.0 < 1355120159 760775 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :s/D/T/ < 1355120196 674530 :Bike!~Glossina@207-224-23-226.ptld.qwest.net PRIVMSG #esoteric :i was just wondering if using the extra variables was supposed to fuck up accuracy or something < 1355120223 557269 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :this was not a float demonstration, it was a function monad demonstration. < 1355120256 325805 :Bike!~Glossina@207-224-23-226.ptld.qwest.net PRIVMSG #esoteric :oh, wow. i really fucked that up! < 1355120282 360477 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :> (sin >>= \x -> cos >>= \y -> return (x^2+y^2)) 42 -- see, it's much clearer if you don't involve a "do" in it < 1355120283 919437 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric : 1.0 < 1355120425 975459 :Sgeo|web_!ad034ea6@gateway/web/freenode/ip.173.3.78.166 JOIN :#esoteric < 1355120433 198154 :Bike!~Glossina@207-224-23-226.ptld.qwest.net PRIVMSG #esoteric :muh, in local ghci the do thing doesn't work, says functions aren't a monad I think < 1355120444 244540 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric ::m + Control.Monad.Instances < 1355120447 57827 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Also upgrade your GHC < 1355120491 488720 :Bike!~Glossina@207-224-23-226.ptld.qwest.net PRIVMSG #esoteric :oh my, it's a full version number behind the one y'all yelled at gregor bout earlier. < 1355120494 173432 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :alt. use Reader < 1355120501 847947 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :"same thing" < 1355120502 956785 :Sgeo|web!ad034ea6@gateway/web/freenode/ip.173.3.78.166 QUIT :Ping timeout: 245 seconds < 1355120558 208883 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :monqy: "not the same thing" < 1355120567 865238 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :"almost the same thing" < 1355120585 818328 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :or are you doing something wacky here...... < 1355120613 950292 :Bike!~Glossina@207-224-23-226.ptld.qwest.net PRIVMSG #esoteric :"The Monad.Reader is an electronic magazine about all things Haskell. It is less formal than journal, but more enduring than a wiki-page or blog post" cool < 1355120706 743181 :Yonkie!~Yonkie@cookness-diamond.volia.net JOIN :#esoteric < 1355124489 843378 :epicmonkey!~epicmonke@188.134.41.172 JOIN :#esoteric < 1355124719 245523 :oklopol!~oklopol@agw-sparknet.utu.fi JOIN :#esoteric < 1355125861 999476 :Jafet!~Jafet@unaffiliated/jafet PRIVMSG #esoteric :> (1 - 1e-18) ** 6e16 < 1355125863 605433 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric : 1.0 < 1355125880 215685 :Jafet!~Jafet@unaffiliated/jafet PRIVMSG #esoteric :> exp (- 6e16 * 1e-18) < 1355125881 735580 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric : 0.9417645335842487 < 1355126210 942181 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net QUIT :Quit: Arc_Koen < 1355127060 720300 :Nisstyre-laptop!~yours@oftn/member/Nisstyre QUIT :Ping timeout: 264 seconds < 1355127113 665759 :Yonkie!~Yonkie@cookness-diamond.volia.net QUIT :Ping timeout: 252 seconds < 1355127138 894922 :epicmonkey!~epicmonke@188.134.41.172 QUIT :Ping timeout: 250 seconds < 1355127782 673568 :GreyKnight!~greyknigh@dab-bhx1-h-1-2.dab.02.net JOIN :#esoteric < 1355127945 493282 :Sgeo|web_!ad034ea6@gateway/web/freenode/ip.173.3.78.166 PRIVMSG #esoteric :http://www.undefined.net/1/0/?strip=562 < 1355127949 868033 :Sgeo|web_!ad034ea6@gateway/web/freenode/ip.173.3.78.166 PRIVMSG #esoteric :No he wouldn't. < 1355127965 12666 :Sgeo|web_!ad034ea6@gateway/web/freenode/ip.173.3.78.166 PRIVMSG #esoteric :A spiral pattern that,,, also... has another form of movement < 1355127972 979839 :Sgeo|web_!ad034ea6@gateway/web/freenode/ip.173.3.78.166 PRIVMSG #esoteric :Should be sufficient for him to escape eventually < 1355128006 76870 :Sgeo|web_!ad034ea6@gateway/web/freenode/ip.173.3.78.166 PRIVMSG #esoteric :Hmm, although might be difficult to do that while panicky and scared and no reference points < 1355128099 965561 :GreyKnight!~greyknigh@dab-bhx1-h-1-2.dab.02.net PRIVMSG #esoteric :So he could escape as long as the featureless white plain has a feature on it? :v < 1355128198 459514 :Sgeo|web_!ad034ea6@gateway/web/freenode/ip.173.3.78.166 PRIVMSG #esoteric :The idea is that he would go down into it to see how far down it goes < 1355128240 722792 :GreyKnight!~greyknigh@dab-bhx1-h-1-2.dab.02.net PRIVMSG #esoteric :I was just wondering if I might've misread < 1355128259 161177 :GreyKnight!~greyknigh@dab-bhx1-h-1-2.dab.02.net PRIVMSG #esoteric :So you mean *moving* in a spiral < 1355128268 844089 :GreyKnight!~greyknigh@dab-bhx1-h-1-2.dab.02.net PRIVMSG #esoteric :(In fact you even used the word "movement") < 1355128297 986803 :Sgeo|web_!ad034ea6@gateway/web/freenode/ip.173.3.78.166 PRIVMSG #esoteric :yes < 1355128300 526334 :GreyKnight!~greyknigh@dab-bhx1-h-1-2.dab.02.net PRIVMSG #esoteric :
ACTION swats himself -----###
< 1355128302 988874 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :living humans have trouble walking in a straight line without a reference point. < 1355128323 757455 :Sgeo|web_!ad034ea6@gateway/web/freenode/ip.173.3.78.166 PRIVMSG #esoteric :But if the spiral happened to be horizontal, it wouldn't work, so would also need... another direction of movement too < 1355128339 491274 :Bike!~Glossina@207-224-23-226.ptld.qwest.net PRIVMSG #esoteric :so what you're saying is he needs to ballet through hell. < 1355128345 259969 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :he wouldn't have a way of ensuring that he was actually moving in a spiral. < 1355128347 641182 :nooga!~nooga@ip-46-250-173-30.ip.maverick.com.pl JOIN :#esoteric < 1355128393 617043 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :otoh pure random movement _should_ get him back to the surface eventually :P < 1355128450 432083 :Bike!~Glossina@207-224-23-226.ptld.qwest.net PRIVMSG #esoteric :living humans are bad at randomness too! gosh, we're so incompetent. < 1355128454 147004 :GreyKnight!~greyknigh@dab-bhx1-h-1-2.dab.02.net PRIVMSG #esoteric :"You'll probably get back in finite time! What are you complaining about?!" < 1355128463 537051 :GreyKnight!~greyknigh@dab-bhx1-h-1-2.dab.02.net PRIVMSG #esoteric :What a whiner :v < 1355128486 410802 :Sgeo|web_!ad034ea6@gateway/web/freenode/ip.173.3.78.166 PRIVMSG #esoteric :The character was never human. < 1355128491 596568 :Sgeo|web_!ad034ea6@gateway/web/freenode/ip.173.3.78.166 PRIVMSG #esoteric :Not that that necessarily helps < 1355128500 784935 :Bike!~Glossina@207-224-23-226.ptld.qwest.net PRIVMSG #esoteric :wait shit wasn't he an electron < 1355128507 405341 :Bike!~Glossina@207-224-23-226.ptld.qwest.net PRIVMSG #esoteric :they're not half bad at random < 1355128524 410258 :GreyKnight!~greyknigh@dab-bhx1-h-1-2.dab.02.net PRIVMSG #esoteric :Looks like we have a winning plan < 1355128540 810266 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :GreyKnight: Uh... oerjan does the swatting around here. < 1355128577 837015 :Sgeo|web_!ad034ea6@gateway/web/freenode/ip.173.3.78.166 PRIVMSG #esoteric :Bike: a molecule < 1355128595 936494 :GreyKnight!~greyknigh@dab-bhx1-h-1-2.dab.02.net PRIVMSG #esoteric :
ACTION cattle-prods shachaf -----***
< 1355128609 122481 :Bike!~Glossina@207-224-23-226.ptld.qwest.net PRIVMSG #esoteric :hm, i wonder. in three dimensions random motion will get you away and all, but what about the direction? if hell extends infinitely downwards would he still be stuck there forever? < 1355128853 452947 :Sgeo|web_!ad034ea6@gateway/web/freenode/ip.173.3.78.166 PRIVMSG #esoteric :Help I'm readdicted to 1/0 < 1355128858 847674 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :random motion will get you back along any one or two axes, so he should get back to the surface. < 1355128890 961907 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :although probably not at the same point, but he can just go randomly along the surface. < 1355128898 579837 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :*then he can < 1355128914 783304 :GreyKnight!~greyknigh@dab-bhx1-h-1-2.dab.02.net PRIVMSG #esoteric :Thus reducing the problem to a 2D random walk :-) < 1355128938 891115 :GreyKnight!~greyknigh@dab-bhx1-h-1-2.dab.02.net QUIT :Quit: brb < 1355128945 101522 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Sgeo|web_: I was getting addicted to not knowing what you were addicted to. < 1355128948 420633 :Bike!~Glossina@207-224-23-226.ptld.qwest.net PRIVMSG #esoteric :but then he'll return to his starting point! < 1355128949 548905 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :But now I'm having withdrawal. < 1355128966 365365 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :Bike: i thought that was the idea < 1355128976 269976 :Bike!~Glossina@207-224-23-226.ptld.qwest.net PRIVMSG #esoteric :I mean, his starting point for eruption from the surface. < 1355128990 526032 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :sure, as well as to any other point on the surface. < 1355129003 725181 :Bike!~Glossina@207-224-23-226.ptld.qwest.net PRIVMSG #esoteric :bah. < 1355129008 600700 :Bike!~Glossina@207-224-23-226.ptld.qwest.net PRIVMSG #esoteric :he should just fly up and look. < 1355129011 714809 :Sgeo|web_!ad034ea6@gateway/web/freenode/ip.173.3.78.166 PRIVMSG #esoteric :fwiw, there's a large dead bear that's been converted into dirt on the surface < 1355129020 273578 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :...that sounds like a better idea XD < 1355129035 429320 :Bike!~Glossina@207-224-23-226.ptld.qwest.net PRIVMSG #esoteric :dead bears are always a good idea. < 1355129038 771616 :GreyKnight!~greyknigh@dab-bhx1-h-37-10.dab.02.net JOIN :#esoteric < 1355129072 413643 :GreyKnight!~greyknigh@dab-bhx1-h-37-10.dab.02.net PRIVMSG #esoteric :Sgeo|web_: so you thought you'd come and get us (re)addicted too? THANKS < 1355129132 318051 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :: ) < 1355129142 618210 :Bike!~Glossina@207-224-23-226.ptld.qwest.net PRIVMSG #esoteric :obviously what we need is tailsteak's hamsteaks fanart instead < 1355129308 927835 :GreyKnight!~greyknigh@dab-bhx1-h-37-10.dab.02.net PRIVMSG #esoteric ::t 1 / 0 < 1355129310 190069 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric :Fractional a => a < 1355129400 984064 :Bike!~Glossina@207-224-23-226.ptld.qwest.net PRIVMSG #esoteric :> signum 1/0 < 1355129402 944274 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric : Infinity < 1355129416 879005 :Bike!~Glossina@207-224-23-226.ptld.qwest.net PRIVMSG #esoteric :unhelpful. < 1355129422 650809 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :precedence < 1355129449 48440 :Bike!~Glossina@207-224-23-226.ptld.qwest.net PRIVMSG #esoteric :> signum (1/0) < 1355129450 364688 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric : 1.0 < 1355129464 281506 :Bike!~Glossina@207-224-23-226.ptld.qwest.net PRIVMSG #esoteric :that seems bad. < 1355129477 777038 :GreyKnight!~greyknigh@dab-bhx1-h-37-10.dab.02.net PRIVMSG #esoteric ::t signum < 1355129479 60859 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric :Num a => a -> a < 1355129485 850127 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i'd assume that's correct ieee behavior? < 1355129553 467878 :Bike!~Glossina@207-224-23-226.ptld.qwest.net PRIVMSG #esoteric :hm, so it is. bother bother < 1355129562 396952 :GreyKnight!~greyknigh@dab-bhx1-h-37-10.dab.02.net PRIVMSG #esoteric :> signum 1 < 1355129563 758048 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric : 1 < 1355129577 930955 :GreyKnight!~greyknigh@dab-bhx1-h-37-10.dab.02.net PRIVMSG #esoteric :So it goes to float because of the infinity? < 1355129587 24596 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :no, because of the / < 1355129591 624091 :Bike!~Glossina@207-224-23-226.ptld.qwest.net PRIVMSG #esoteric ::t signum (1/0) < 1355129592 794155 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric :Fractional a => a < 1355129600 730181 :Deewiant!~deewiant@deewiant.iki.fi PRIVMSG #esoteric :> signum (-1/0) < 1355129602 339336 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric : -1.0 < 1355129607 606553 :Bike!~Glossina@207-224-23-226.ptld.qwest.net PRIVMSG #esoteric :is that a float? i thought i just learned it was just a rational < 1355129658 918114 :Bike!~Glossina@207-224-23-226.ptld.qwest.net PRIVMSG #esoteric :> (0 :+ 1) / 0 < 1355129660 255481 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric : NaN :+ NaN < 1355129664 988370 :GreyKnight!~greyknigh@dab-bhx1-h-37-10.dab.02.net PRIVMSG #esoteric :> signum(2/2) < 1355129666 374263 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric : 1.0 < 1355129671 15536 :GreyKnight!~greyknigh@dab-bhx1-h-37-10.dab.02.net PRIVMSG #esoteric :Hm! < 1355129675 190518 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :it's a Double. Rational is just the type used for interpreting decimal notation _before_ converting it to the actual type. < 1355129684 998162 :Bike!~Glossina@207-224-23-226.ptld.qwest.net PRIVMSG #esoteric :botheration. < 1355129695 249905 :Bike!~Glossina@207-224-23-226.ptld.qwest.net PRIVMSG #esoteric :> (1 :+ 1) / 0 < 1355129695 512491 :GreyKnight!~greyknigh@dab-bhx1-h-37-10.dab.02.net PRIVMSG #esoteric :> 2/2 < 1355129696 862677 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric : NaN :+ NaN < 1355129697 18689 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric : can't find file: L.hs < 1355129710 252636 :GreyKnight!~greyknigh@dab-bhx1-h-37-10.dab.02.net PRIVMSG #esoteric :wat < 1355129719 180442 :Bike!~Glossina@207-224-23-226.ptld.qwest.net PRIVMSG #esoteric :L is so overrated < 1355129723 220642 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :the default default declaration is "default (Integer, Double)" < 1355129726 311572 :Bike!~Glossina@207-224-23-226.ptld.qwest.net PRIVMSG #esoteric :> signum NaN < 1355129728 179715 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric : Not in scope: data constructor `NaN' < 1355129745 210674 :Deewiant!~deewiant@deewiant.iki.fi PRIVMSG #esoteric :> map signum [1/0, -1/0, 0/0, -0/0] < 1355129746 602469 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric : [1.0,-1.0,-1.0,-1.0] < 1355129747 522424 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :except sometimes it's "default ((), Integer, Double)" < 1355129752 906731 :GreyKnight!~greyknigh@dab-bhx1-h-37-10.dab.02.net PRIVMSG #esoteric :> 2 / 2 < 1355129754 345249 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric : 1.0 < 1355129760 479169 :GreyKnight!~greyknigh@dab-bhx1-h-37-10.dab.02.net PRIVMSG #esoteric :Oh, there we go < 1355129772 253184 :GreyKnight!~greyknigh@dab-bhx1-h-37-10.dab.02.net PRIVMSG #esoteric :Hm I hadn't expected that < 1355129774 706671 :Bike!~Glossina@207-224-23-226.ptld.qwest.net PRIVMSG #esoteric :> signum (-0/0) -- negative 1, hopefully < 1355129776 294645 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric : -1.0 < 1355129780 73185 :Bike!~Glossina@207-224-23-226.ptld.qwest.net PRIVMSG #esoteric :woo < 1355129787 540058 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :that L.hs message is essentially just a lambdabot race condition of some sort. < 1355129792 883076 :GreyKnight!~greyknigh@dab-bhx1-h-37-10.dab.02.net PRIVMSG #esoteric :(Well, I had after the discussion above, but not previously) < 1355129796 668632 :Sgeo|web_!ad034ea6@gateway/web/freenode/ip.173.3.78.166 PRIVMSG #esoteric :> signum (1/-0) < 1355129798 238674 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric : Not in scope: `/-' < 1355129798 311337 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric : Perhaps you meant one of these: < 1355129798 311506 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric : `-' (imported from P... < 1355129803 398233 :Sgeo|web_!ad034ea6@gateway/web/freenode/ip.173.3.78.166 PRIVMSG #esoteric :> signum (1/ -0) < 1355129803 698549 :Bike!~Glossina@207-224-23-226.ptld.qwest.net PRIVMSG #esoteric :Hah. < 1355129805 10055 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric : Precedence parsing error < 1355129805 91087 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric : cannot mix `GHC.Real./' [infixl 7] and prefix... < 1355129809 840286 :Sgeo|web_!ad034ea6@gateway/web/freenode/ip.173.3.78.166 PRIVMSG #esoteric :> signum (1/ (-0)) < 1355129811 269144 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric : -1.0 < 1355129868 918317 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :wait, nan's have well-defined signs? < 1355129881 206192 :copumpkin!~copumpkin@unaffiliated/copumpkin QUIT :Quit: Computer has gone to sleep. < 1355129901 682691 :Bike!~Glossina@207-224-23-226.ptld.qwest.net PRIVMSG #esoteric :don't think so? < 1355129922 189544 :Deewiant!~deewiant@deewiant.iki.fi PRIVMSG #esoteric :Yes, NaNs have a sign bit. < 1355129931 861719 :GreyKnight!~greyknigh@dab-bhx1-h-37-10.dab.02.net PRIVMSG #esoteric :Yep < 1355129940 958193 :GreyKnight!~greyknigh@dab-bhx1-h-37-10.dab.02.net PRIVMSG #esoteric ::t / < 1355129942 402347 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric :parse error on input `/' < 1355129944 96271 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :IEEE nans do have signs. < 1355129946 288463 :GreyKnight!~greyknigh@dab-bhx1-h-37-10.dab.02.net PRIVMSG #esoteric ::t (/) < 1355129947 495326 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric :Fractional a => a -> a -> a < 1355129949 736026 :GreyKnight!~greyknigh@dab-bhx1-h-37-10.dab.02.net PRIVMSG #esoteric :Oops < 1355129950 416138 :Deewiant!~deewiant@deewiant.iki.fi PRIVMSG #esoteric :Alas, 0/0 seems to produce a negative NaN. < 1355129962 763976 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Whether it's "well-defined" is another matter. < 1355129968 539102 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :> signum (0/0) < 1355129969 954605 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric : -1.0 < 1355129985 485306 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :it's conceivable it is comparing it to 0 in haskell < 1355129999 580296 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :rather than using whatever the C function is < 1355130020 888071 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :copysign. < 1355130024 245826 :Deewiant!~deewiant@deewiant.iki.fi PRIVMSG #esoteric :signbit. < 1355130044 699022 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :@src RealFloat < 1355130044 844939 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric :Source not found. I feel much better now. < 1355130052 725486 :GreyKnight!~greyknigh@dab-bhx1-h-37-10.dab.02.net PRIVMSG #esoteric :Okay, so 2/2 evaluates to a Fractional because Haskell doesn't want to have two possible result types for (/) < 1355130057 247383 :Bike!~Glossina@207-224-23-226.ptld.qwest.net QUIT :Quit: leaving < 1355130061 230499 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Well, either. < 1355130062 568166 :Deewiant!~deewiant@deewiant.iki.fi PRIVMSG #esoteric :But signbit seems to give 128 for both 0.0/0 and -0.0/0 here. < 1355130087 533709 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :GreyKnight: um Fractional isn't a type, it's a type class. there are several types it can give. < 1355130111 485492 :GreyKnight!~greyknigh@dab-bhx1-h-37-10.dab.02.net PRIVMSG #esoteric :Er right < 1355130117 111319 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :This is the best type class: < 1355130118 667081 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :@src Real < 1355130118 823494 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric :class (Num a, Ord a) => Real a where < 1355130118 900726 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric : toRational :: a -> Rational < 1355130122 580807 :GreyKnight!~greyknigh@dab-bhx1-h-37-10.dab.02.net PRIVMSG #esoteric :(Told you I wasn't very good at Haskell :v) < 1355130123 79722 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Isn't it great? < 1355130283 712674 :GreyKnight!~greyknigh@dab-bhx1-h-37-10.dab.02.net PRIVMSG #esoteric :I am just trying to figure out why 2/2 doesn't end up as an integer < 1355130309 742949 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :because Integer isn't a member of the Fractional type class < 1355130309 916319 :Deewiant!~deewiant@deewiant.iki.fi PRIVMSG #esoteric :Because of the type of (/) you looked at earlier. < 1355130314 834201 :Deewiant!~deewiant@deewiant.iki.fi PRIVMSG #esoteric :And that. < 1355130335 329305 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :> 2 `div` 2 < 1355130336 876486 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric : 1 < 1355130343 796104 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :that's integral division < 1355130367 789129 :Deewiant!~deewiant@deewiant.iki.fi PRIVMSG #esoteric :> 2 `quot` 2 < 1355130369 296909 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric : 1 < 1355130373 871110 :Deewiant!~deewiant@deewiant.iki.fi PRIVMSG #esoteric :That's faster in general < 1355130375 271647 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :> 2 `quot` 2 -- or this, different on ne... dammit Deewiant < 1355130376 712494 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric : 1 < 1355130392 662110 :GreyKnight!~greyknigh@dab-bhx1-h-37-10.dab.02.net PRIVMSG #esoteric :Okay, so I was on the right track, just s/type/type class/ :-P < 1355130393 663343 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :...gative numbers. < 1355130461 183652 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :making things polymorphic over different number types was one of the main original reasons type classes were invented. then they found fancier uses. < 1355130706 596680 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :0xffffffff is the NaNniest (single-precision) NaN. < 1355130710 768302 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :(It's also negative.) < 1355130732 182588 :Sgeo|web_!ad034ea6@gateway/web/freenode/ip.173.3.78.166 PRIVMSG #esoteric :elliott: monqy Fiora < 1355130750 648019 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Do you people even read that thing? < 1355130762 307667 :GreyKnight!~greyknigh@dab-bhx1-h-37-10.dab.02.net PRIVMSG #esoteric :Sgeo|web_: Sgeo|web_ Sgeo|web_ < 1355130852 455348 :Yonkie!~Yonkie@cookness-diamond.volia.net JOIN :#esoteric < 1355130924 87815 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :For the record, at least my ghci's signum does not actually look at the sign bit; http://sprunge.us/eUPP -- all NaNs are negative. < 1355130985 173524 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :signum x | x == 0.0 = 0 | x > 0.0 = 1 | otherwise = negate 1 < 1355130990 579832 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Good old GHC. < 1355131010 155389 :Deewiant!~deewiant@deewiant.iki.fi PRIVMSG #esoteric :fizzie: Methinks you're doing it wrong, or then my libc is also doing it wrong. < 1355131039 603576 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :That's the Report's definition, of course. < 1355131065 245811 :Deewiant!~deewiant@deewiant.iki.fi PRIVMSG #esoteric :fizzie: Scratch that, I was doing it wrong. < 1355131184 664567 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Deewiant: http://sprunge.us/hfiP -- it even prints as -nan. < 1355131202 645995 :Deewiant!~deewiant@deewiant.iki.fi PRIVMSG #esoteric :Yes, I was doing it wrong. < 1355131239 579248 :Deewiant!~deewiant@deewiant.iki.fi PRIVMSG #esoteric :Using 'unsigned long long' like that is also doing it somewhat wrong, though it doesn't seem to matter there. < 1355131279 736774 :GreyKnight!~greyknigh@dab-bhx1-h-37-10.dab.02.net QUIT :Quit: bbl < 1355131359 450422 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :What else except the usual things (not exactly defined representations for either unsigned long long or double) is wrong with it? < 1355131397 85473 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :(I would've used uint64_t but was writing it in cat > tmp.c and hadn't remembered to #include .) < 1355131449 724453 :Deewiant!~deewiant@deewiant.iki.fi PRIVMSG #esoteric :Hmm, I thought at least C11 would've mandated IEEE 754 but I guess not. < 1355131466 112100 :epicmonkey!~epicmonke@host-224-58.dataart.net JOIN :#esoteric < 1355131490 675839 :Deewiant!~deewiant@deewiant.iki.fi PRIVMSG #esoteric :In that case it's a crapshoot anyway. I thought 'double' would be guaranteed 64 bits. < 1355131495 312373 :epicmonkey!~epicmonke@host-224-58.dataart.net QUIT :Remote host closed the connection < 1355131532 836224 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :I *could've* added #ifndef __STDC_IEC_559__ #error "uh what are you *on* there?" #endif to it. < 1355131572 981568 :Deewiant!~deewiant@deewiant.iki.fi PRIVMSG #esoteric :You still need uint64_t, making sure its sizeof is 8 and CHAR_BIT is 8. < 1355131597 105031 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :I don't think I need those last two. < 1355131602 558880 :Deewiant!~deewiant@deewiant.iki.fi PRIVMSG #esoteric :Or I guess you can be CHAR_BIT agnostic as long as uint64_t is an exact multiple of it. < 1355131614 493861 :Deewiant!~deewiant@deewiant.iki.fi PRIVMSG #esoteric :Doesn't that avoid padding bits? Or are those included in CHAR_BIT. < 1355131636 489436 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :uint64_t cannot have padding. < 1355131651 899533 :Deewiant!~deewiant@deewiant.iki.fi PRIVMSG #esoteric :Oh, that's mandated? Well that's convenient. < 1355131657 827887 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :If it exists at all, it must be a multiple of CHAR_BIT. < 1355131664 651411 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :It's not mandated to exist, though. :p < 1355131682 196090 :Deewiant!~deewiant@deewiant.iki.fi PRIVMSG #esoteric :Right, but if it doesn't it's a compilation error so that's fine. < 1355131704 885461 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :I also don't think even __STDC_IEC_559__ mandates that byte order needs to be the same for 'double' and 'uint64_t', which would be an issue for the few systems where CHAR_BIT < 64. < 1355131731 251937 :Yonkie!~Yonkie@cookness-diamond.volia.net QUIT :Ping timeout: 276 seconds < 1355131800 949721 :Deewiant!~deewiant@deewiant.iki.fi PRIVMSG #esoteric :'double' in that case has a known order, though, so you just need to write your integer rightly. < 1355131916 596586 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :(Two's-complement is also mandated for the fixed-width intN_t, for the record.) < 1355132090 955784 :Yonkie!~Yonkie@cookness-diamond.volia.net JOIN :#esoteric < 1355132127 919666 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :"The coin toss is the most platykurtic distribution" -- that's an awesome word. < 1355132157 356360 :Deewiant!~deewiant@deewiant.iki.fi PRIVMSG #esoteric :Platykurtic vs. leptokurtic. < 1355132234 915097 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Platykurtic platypus. (An Ubuntu code name?) < 1355132247 885538 :Yonkie!~Yonkie@cookness-diamond.volia.net PRIVMSG #esoteric :vote for ubuntu, let's submit idea to them < 1355132258 470144 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Maybe for their next go-around; they already did a P. < 1355132415 574235 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Hrm. I reloaded the webmail, and the page was replaced by an otherwise-empty page except for the words "The custom error module does not recognize this error." < 1355132691 628585 :Sgeo|web_!ad034ea6@gateway/web/freenode/ip.173.3.78.166 PRIVMSG #esoteric :Help I slept for around 8 hours during the day and I can't seem to fall asleep now < 1355132710 458543 :Sgeo|web_!ad034ea6@gateway/web/freenode/ip.173.3.78.166 PRIVMSG #esoteric :Although I have a 4 page essay due on Tuesday and had plans to spend Monday working on it < 1355132884 983975 :oerjan!oerjan@sprocket.nvg.ntnu.no QUIT :Quit: Sleep? What a ridiculous concept. < 1355133352 871303 :epicmonkey!~epicmonke@host-224-58.dataart.net JOIN :#esoteric < 1355133426 20376 :epicmonkey!~epicmonke@host-224-58.dataart.net QUIT :Remote host closed the connection < 1355134051 8085 :hagb4rd!~perdito@koln-4db4e876.pool.mediaWays.net PRIVMSG #esoteric :sgeo: you could start working on it now, till you get tired < 1355134085 265127 :hagb4rd!~perdito@koln-4db4e876.pool.mediaWays.net PRIVMSG #esoteric :the best method to get sleepy is still to try staying awake < 1355134351 27892 :epicmonkey!~epicmonke@host-224-58.dataart.net JOIN :#esoteric < 1355134380 792565 :epicmonkey!~epicmonke@host-224-58.dataart.net QUIT :Remote host closed the connection < 1355135346 972655 :micahjoh1ston!~micahjohn@ell.io JOIN :#esoteric < 1355135349 312333 :nortti_!nortti@dsl-hkibrasgw3-ff25c000-52.dhcp.inet.fi JOIN :#esoteric < 1355135363 791498 :elliott_!elliott@unaffiliated/elliott JOIN :#esoteric < 1355135511 720241 :augur_!~augur@208.58.5.87 JOIN :#esoteric < 1355135642 204572 :augur!~augur@208.58.5.87 QUIT :*.net *.split < 1355135642 391052 :ion!ion@heh.fi QUIT :*.net *.split < 1355135642 816989 :elliott!elliott@unaffiliated/elliott QUIT :*.net *.split < 1355135642 817166 :nortti!nortti@dsl-hkibrasgw3-ff25c000-52.dhcp.inet.fi QUIT :*.net *.split < 1355135642 817324 :micahjohnston!~micahjohn@ell.io QUIT :*.net *.split < 1355136080 814302 :ion!ion@heh.fi JOIN :#esoteric < 1355136187 410981 :epicmonkey!~epicmonke@host-224-58.dataart.net JOIN :#esoteric < 1355136297 646788 :epicmonkey!~epicmonke@host-224-58.dataart.net QUIT :Remote host closed the connection < 1355136540 193094 :copumpkin!~copumpkin@unaffiliated/copumpkin JOIN :#esoteric < 1355136904 321362 :epicmonkey!~epicmonke@host-224-60.dataart.net JOIN :#esoteric < 1355137562 537487 :evitable!~myndzi@50-194-51-62-static.hfc.comcastbusiness.net JOIN :#esoteric < 1355137910 91970 :yiyus_!1242712427@je.je.je NICK :yiyus < 1355141214 829816 :Jafet!~Jafet@unaffiliated/jafet QUIT :Ping timeout: 240 seconds < 1355141242 463586 :Jafet!~Jafet@unaffiliated/jafet JOIN :#esoteric < 1355141953 265093 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :@tell zz038 Remember when you wanted { union { float f; unsigned u; }; f = 1.0f; dosomething(u); } be valid C, or at least a GCC extension? Turns out it in fact *is* valid C++. < 1355141953 423831 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric :Consider it noted. < 1355142006 123171 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :fizzie: It is? < 1355142076 534459 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :It is. < 1355142088 507760 :nortti_!nortti@dsl-hkibrasgw3-ff25c000-52.dhcp.inet.fi NICK :nortti < 1355142129 945639 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :"An union of the form [thing like that] is an anonymous union. -- For the purposes of name lookup, the members of the anonymous union are considered to have been defined in the scope in which the anonymous union is declared." < 1355142134 77334 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :(C++03.) < 1355142172 536188 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Oh, I thought you meant using one value of the union after setting a different one. < 1355142186 786207 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :It even gives an example of void f() { union { int a; char *p; }; a = 1; p = "Jennifer"; } "Here a and p are used like ordinary (nonmember) variables, but since they are union members they have the same address." < 1355142240 649644 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :No, just the scoping; but using one value after setting a different one is legal C99 and C11, assuming reinterpreting the representation does not end up with a trap representation. (Don't know about C++ in that case.) < 1355142420 836691 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :(Ref. C11 footnote 95: "If the member used to read the contents of a union object is not the same as the member last used to store a value in the object, the appropriate part of the object representation of the value is reinterpreted as an object representation in the new type as described in 6.2.6 (a process sometimes called ‘‘type punning’’). This might be a trap representation." ... < 1355142426 786467 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :... Footnotes are non-normative, but the footnote is the only thing they added (in C99 TC-something, I think), so clearly they believe it's already deducible from the normative text. C99 did remove the explicit mention of it being undefined that C89 had.) < 1355142472 46339 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Oh, C89 is the one true C. < 1355142550 752722 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :shachaf: http://www.iso.org/iso/catalogue_detail.htm?csnumber=17782 "Status: X Withdrawn" < 1355142575 190606 :nortti!nortti@dsl-hkibrasgw3-ff25c000-52.dhcp.inet.fi PRIVMSG #esoteric :shachaf: no, k&r c is < 1355142613 155967 :SingingBoyo!~SingingBo@d173-180-176-35.bchsia.telus.net QUIT :Ping timeout: 248 seconds < 1355142678 442457 :epicmonkey!~epicmonke@host-224-60.dataart.net QUIT :Ping timeout: 264 seconds < 1355142783 465407 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Maybe I should clarify, though. < 1355142788 914233 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :@tell zzo38 That is, the name lookup is done the way you wanted, with the members being considered defined in the scope in which the union is declared. I have not checked whether C++ makes it undefined to read an union member that was not the one last written to. < 1355142789 147293 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric :Consider it noted. < 1355143086 997948 :Sgeo|web!ad034ea6@gateway/web/freenode/ip.173.3.78.166 JOIN :#esoteric < 1355143278 32879 :Sgeo|web_!ad034ea6@gateway/web/freenode/ip.173.3.78.166 QUIT :Ping timeout: 245 seconds < 1355143547 819229 :epicmonkey!~epicmonke@host-224-58.dataart.net JOIN :#esoteric < 1355144097 194508 :sebbu!~sebbu@unaffiliated/sebbu QUIT :Read error: Connection reset by peer < 1355144126 234442 :sebbu!~sebbu@unaffiliated/sebbu JOIN :#esoteric < 1355144217 376832 :boily!~boily@mtl.savoirfairelinux.net JOIN :#esoteric < 1355144492 124109 :carado!~user4539@2a01:e35:8b61:e430:6ef0:49ff:fe73:1fd0 JOIN :#esoteric < 1355146439 900247 :ion!ion@heh.fi QUIT :Ping timeout: 240 seconds < 1355146482 470363 :ion!ion@heh.fi JOIN :#esoteric < 1355147440 463331 :variable!root@freebsd/developer/variable QUIT :Ping timeout: 240 seconds < 1355147469 317301 :variable!root@freebsd/developer/variable JOIN :#esoteric < 1355148095 869819 :augur_!~augur@208.58.5.87 QUIT :Remote host closed the connection < 1355149758 791185 :epicmonkey!~epicmonke@host-224-58.dataart.net QUIT :Ping timeout: 252 seconds < 1355149939 623791 :augur!~augur@129-2-129-33.wireless.umd.edu JOIN :#esoteric < 1355151316 215565 :evitable!~myndzi@50-194-51-62-static.hfc.comcastbusiness.net QUIT :Ping timeout: 245 seconds < 1355153063 857628 :FreeFull!~freefull@defocus/sausage-lover JOIN :#esoteric < 1355153234 998044 :Taneb!d917e6fc@gateway/web/freenode/ip.217.23.230.252 JOIN :#esoteric < 1355153260 190905 :Taneb!d917e6fc@gateway/web/freenode/ip.217.23.230.252 PRIVMSG #esoteric :Help < 1355153260 513749 :Taneb!d917e6fc@gateway/web/freenode/ip.217.23.230.252 PRIVMSG #esoteric :Sugar < 1355153260 982337 :Taneb!d917e6fc@gateway/web/freenode/ip.217.23.230.252 PRIVMSG #esoteric :Aaah < 1355153265 164307 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :hi < 1355153499 697276 :ogrom!~del@gprs-inet-65-33.elisa.ee JOIN :#esoteric < 1355153517 176904 :Taneb!d917e6fc@gateway/web/freenode/ip.217.23.230.252 PRIVMSG #esoteric :But yeah, I've had about 120% of my recommended daily sugar intake in the past 5 minutes < 1355153654 418927 :Taneb!d917e6fc@gateway/web/freenode/ip.217.23.230.252 PRIVMSG #esoteric :And I'm not good at sugar < 1355153668 638176 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :why did you do a thing like that < 1355153692 497760 :Taneb!d917e6fc@gateway/web/freenode/ip.217.23.230.252 PRIVMSG #esoteric :I really fancied some coke < 1355153716 344943 :Taneb!d917e6fc@gateway/web/freenode/ip.217.23.230.252 PRIVMSG #esoteric :And now this 1.5L bottle is 2/3 empty < 1355153731 581626 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :
ACTION prepares the insulin shots
< 1355153830 403629 :Taneb!d917e6fc@gateway/web/freenode/ip.217.23.230.252 PRIVMSG #esoteric :I probably ought to modernize the family-tree library I wrote < 1355153877 347741 :Taneb!d917e6fc@gateway/web/freenode/ip.217.23.230.252 PRIVMSG #esoteric :It uses data-lens < 1355153982 588681 :Taneb!d917e6fc@gateway/web/freenode/ip.217.23.230.252 PRIVMSG #esoteric :Except I don't have Cabal here < 1355154026 689495 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :I've heard there is no cabal. < 1355154057 836936 :Taneb!d917e6fc@gateway/web/freenode/ip.217.23.230.252 PRIVMSG #esoteric :Which will certainly explain why it isn't here < 1355154070 722504 :Taneb!d917e6fc@gateway/web/freenode/ip.217.23.230.252 PRIVMSG #esoteric :Oh no < 1355154077 521194 :Taneb!d917e6fc@gateway/web/freenode/ip.217.23.230.252 PRIVMSG #esoteric :It's going to get creepy here soon < 1355154086 429555 :Taneb!d917e6fc@gateway/web/freenode/ip.217.23.230.252 PRIVMSG #esoteric :Like, deserted school creepy < 1355154196 608956 :mroman!~roman2@fmnssun.ibone.ch QUIT :Ping timeout: 240 seconds < 1355154199 966167 :Sgeo|school!897d6cbb@gateway/web/freenode/ip.137.125.108.187 JOIN :#esoteric < 1355154203 842606 :mroman!~roman2@fmnssun.ibone.ch JOIN :#esoteric < 1355154215 959816 :Sgeo|school!897d6cbb@gateway/web/freenode/ip.137.125.108.187 PRIVMSG #esoteric :I'm suddenly having visions of code I write being used by tryclj.com < 1355154247 646140 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :Sgeo|school joins and immediately says something about clojure < 1355154248 897409 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :take a shot < 1355154263 601889 :Taneb!d917e6fc@gateway/web/freenode/ip.217.23.230.252 PRIVMSG #esoteric :kmc, but I've already had too much coke! < 1355154270 295326 :Taneb!d917e6fc@gateway/web/freenode/ip.217.23.230.252 PRIVMSG #esoteric :And I don't have a shot glass < 1355154276 20449 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :alcohol balances out sugar/caffeine, everyone knows that < 1355154282 386129 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :[nb: not actually true] < 1355154372 974787 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :if my experience generalizes I can imagine you conking out in about 1 hour :P < 1355154384 830213 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :(due to sugar) < 1355154402 875581 :Taneb!d917e6fc@gateway/web/freenode/ip.217.23.230.252 PRIVMSG #esoteric :Okay, that will give me 17 minutes to wake up again < 1355154435 913831 :elliott_!elliott@unaffiliated/elliott NICK :elliott < 1355154594 607403 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :Gregor: hi, ping < 1355154684 877044 :Sgeo|school!897d6cbb@gateway/web/freenode/ip.137.125.108.187 QUIT :Quit: Page closed < 1355154830 22480 :elliott!elliott@unaffiliated/elliott TOPIC #esoteric :apparently people did dumb things to the topic so here's a new one http://codu.org/logs/_esoteric/ < 1355155236 950538 :FreeFull!~freefull@defocus/sausage-lover TOPIC #esoteric :apparently people did dumb things to the topic so here's a new one | Why not just have +t | http://codu.org/logs/_esoteric/ < 1355155672 202023 :elliott!elliott@unaffiliated/elliott TOPIC #esoteric :apparently people did dumb things to the topic so here's a new one http://codu.org/logs/_esoteric/ < 1355155698 738790 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :`run echo -e '\00314test' < 1355155700 59384 :HackEgo!codu@codu.org PRIVMSG #esoteric :​4test < 1355155706 79023 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :`run echo -e '\003 14test' < 1355155707 413240 :HackEgo!codu@codu.org PRIVMSG #esoteric :​ 14test < 1355155715 626931 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :`run echo -e '\e14test' < 1355155716 675231 :HackEgo!codu@codu.org PRIVMSG #esoteric :​14test < 1355155719 784893 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :hm what is ^C < 1355155773 929048 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :3 according to a thing i found online < 1355155866 516307 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :how'd i do \003 without the 1 getting included after tho < 1355155870 212071 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :if only this was haskell and i had \& < 1355155887 993135 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :oh < 1355155943 406232 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :`run echo -e '\000314test' < 1355155944 643411 :HackEgo!codu@codu.org PRIVMSG #esoteric :​14test < 1355155950 836372 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :cheating < 1355155951 763430 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :& thx < 1355156187 946086 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :http://www.extremetech.com/computing/142881-ibm-creates-first-cheap-commercially-viable-silicon-nanophotonic-chip hmm, nanophotonics < 1355156253 54349 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :> 1 :: (Int,Int) < 1355156254 876890 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric : No instance for (GHC.Num.Num (GHC.Types.Int, GHC.Types.Int)) < 1355156254 949976 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric : arising fro... < 1355156271 624283 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :was did there used to be an instance < 1355156316 647605 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :yes < 1355156504 933936 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :> (1,1) :: (Int,Int) < 1355156506 577694 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric : (1,1) < 1355156590 670554 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :yes < 1355156768 179037 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :`run hg diff -c 1002 | patch < 1355156772 987434 :HackEgo!codu@codu.org PRIVMSG #esoteric :patching file quotes \ Reversed (or previously applied) patch detected! Assume -R? [n] \ Apply anyway? [n] \ Skipping patch. \ 1 out of 1 hunk ignored -- saving rejects to file quotes.rej < 1355156782 827559 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :right < 1355156784 810907 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :`rm quotes.rej < 1355156787 654156 :HackEgo!codu@codu.org PRIVMSG #esoteric :No output. < 1355156788 441469 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :`run hg diff -c 1002 | patch -R < 1355156793 670854 :HackEgo!codu@codu.org PRIVMSG #esoteric :patching file quotes < 1355156807 248856 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :cool it works < 1355156810 53717 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :`hg log < 1355156811 962015 :HackEgo!codu@codu.org PRIVMSG #esoteric :changeset: 1017:b1a219757d6a \ tag: tip \ user: HackBot \ date: Mon Dec 10 16:26:33 2012 +0000 \ summary: hg diff -c 1002 | patch -R \ \ changeset: 1016:e960263d7a5f \ user: HackBot \ date: Mon Dec 10 16:26:27 2012 +0000 \ summary: rm quotes.rej \ \ changeset: 1015:1cef8e6fa7e9 < 1355156818 275811 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :cool it < 1355156819 103611 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :"works" < 1355157076 199495 :Gregor!codu@codu.org PRIVMSG #esoteric :elliott: Why ping < 1355157085 96320 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :Gregor: I... forget. < 1355157096 405760 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :Gregor: oh right I was going to ask if hackego could support ansi colours but it already does??? < 1355157103 183126 :Gregor!codu@codu.org PRIVMSG #esoteric :It does, yes. < 1355157114 223327 :Gregor!codu@codu.org PRIVMSG #esoteric :The only characters it rejects now are \x00 and \x01. < 1355157125 928467 :Gregor!codu@codu.org PRIVMSG #esoteric :Err, wait X-D < 1355157126 7714 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :you should remove the dumb botloo pprefix thing imho < 1355157132 336181 :Gregor!codu@codu.org PRIVMSG #esoteric :I keep forgetting what we're talking about. < 1355157146 390730 :Gregor!codu@codu.org PRIVMSG #esoteric :ANSI colors it doesn't filter, but it's not like they'll work for most IRC clients. < 1355157151 56404 :Gregor!codu@codu.org PRIVMSG #esoteric :mIRC colors work too. < 1355157169 917177 :Taneb!d917e6fc@gateway/web/freenode/ip.217.23.230.252 PRIVMSG #esoteric :Don't remove the botloo prefix! < 1355157179 13335 :Taneb!d917e6fc@gateway/web/freenode/ip.217.23.230.252 PRIVMSG #esoteric :We'll end up with botpoo all over the channel < 1355157257 313390 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric ::[ < 1355157276 403603 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net JOIN :#esoteric < 1355157312 226459 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :Gregor: right I meant mIRC < 1355157317 994255 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :Gregor: P.S. please remove the botloop thing it's so dumb < 1355158173 170552 :Gregor!codu@codu.org PRIVMSG #esoteric :Never. < 1355158193 898798 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :ok but how about change your mind < 1355158200 57530 :Gregor!codu@codu.org PRIVMSG #esoteric :Mmmmm < 1355158214 347100 :Gregor!codu@codu.org PRIVMSG #esoteric :I'll CONSIDER scheduling a change of heart. < 1355158502 491998 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :thanks < 1355159053 19496 :Taneb!d917e6fc@gateway/web/freenode/ip.217.23.230.252 QUIT :Ping timeout: 245 seconds < 1355159162 885213 :sebbu!~sebbu@unaffiliated/sebbu QUIT :Read error: Connection reset by peer < 1355159189 733897 :sebbu!~sebbu@unaffiliated/sebbu JOIN :#esoteric < 1355159409 752250 :nooga!~nooga@ip-46-250-173-30.ip.maverick.com.pl QUIT :Ping timeout: 252 seconds < 1355160180 938029 :GreyKnight!~greyknigh@dab-crx1-h-17-6.dab.02.net JOIN :#esoteric < 1355161490 100977 :GreyKnight!~greyknigh@dab-crx1-h-17-6.dab.02.net PRIVMSG #esoteric :headache + train with screeching brakes = headache^2 < 1355161837 765801 :nooga!~nooga@public-gprs369444.centertel.pl JOIN :#esoteric < 1355162291 791419 :nooga!~nooga@public-gprs369444.centertel.pl QUIT :Ping timeout: 252 seconds < 1355162537 441389 :Bike!~Glossina@207-224-23-226.ptld.qwest.net JOIN :#esoteric < 1355164463 953502 :hagb4rd!~perdito@koln-4db4e876.pool.mediaWays.net PRIVMSG #esoteric :hm..headache + train with no screeching brakes = no head < 1355164508 852056 :GreyKnight!~greyknigh@dab-crx1-h-17-6.dab.02.net PRIVMSG #esoteric :On the plus side, no headache anymore < 1355164515 342777 :hagb4rd!~perdito@koln-4db4e876.pool.mediaWays.net PRIVMSG #esoteric :right < 1355164590 327283 :hagb4rd!~perdito@koln-4db4e876.pool.mediaWays.net PRIVMSG #esoteric :but i guess i know what you're talking about.. have some trails directly in front of my window < 1355164603 903118 :hagb4rd!~perdito@koln-4db4e876.pool.mediaWays.net PRIVMSG #esoteric :just waiting for the right train to jump on < 1355164619 367933 :hagb4rd!~perdito@koln-4db4e876.pool.mediaWays.net PRIVMSG #esoteric :someone elses train < 1355164784 908234 :Phantom_Hoover!~Phantom@unaffiliated/phantom-hoover/x-3377486 JOIN :#esoteric < 1355165128 588416 :GreyKnight!~greyknigh@dab-crx1-h-17-6.dab.02.net PRIVMSG #esoteric :@quote < 1355165128 746444 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric : says: Looks more like lenses reinvented Java Beans. < 1355165156 422927 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :what < 1355165159 950949 :GreyKnight!~greyknigh@dab-crx1-h-17-6.dab.02.net PRIVMSG #esoteric :HaskellBeans :-D < 1355165163 426557 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :@forget Looks more like lenses reinvented Java Beans. < 1355165163 662145 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric :Done. < 1355165173 125692 :GreyKnight!~greyknigh@dab-crx1-h-17-6.dab.02.net PRIVMSG #esoteric :D-: < 1355165187 729466 :nortti!nortti@dsl-hkibrasgw3-ff25c000-52.dhcp.inet.fi PRIVMSG #esoteric :does anyone here know where to find gcc 0.9 or 1.0? < 1355165238 440440 :GreyKnight!~greyknigh@dab-crx1-h-17-6.dab.02.net PRIVMSG #esoteric :elliott, can you explain lenses? < 1355165265 699238 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :depends on how much haskell you know < 1355165278 632494 :GreyKnight!~greyknigh@dab-crx1-h-17-6.dab.02.net PRIVMSG #esoteric :All I know is they have something to do with getting a stab < 1355165290 789366 :GreyKnight!~greyknigh@dab-crx1-h-17-6.dab.02.net PRIVMSG #esoteric :I am not too great with Haskell (yet) < 1355165473 529070 :Phantom__Hoover!~Phantom@unaffiliated/phantom-hoover/x-3377486 JOIN :#esoteric < 1355165496 472568 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :do you know about functors and applicative functors < 1355165642 715300 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :You don't need to "know about functors and applicative functors" to understand lenses. < 1355165656 525087 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :you need to know about fucntors and applicative functors to understand lens < 1355165658 175768 :Phantom_Hoover!~Phantom@unaffiliated/phantom-hoover/x-3377486 QUIT :Ping timeout: 240 seconds < 1355165664 596056 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :maybe GreyKnight was referring to lenses in general though < 1355165741 175920 :GreyKnight!~greyknigh@dab-crx1-h-17-6.dab.02.net PRIVMSG #esoteric :Hm I did not know there was a difference < 1355165765 229235 :GreyKnight!~greyknigh@dab-crx1-h-17-6.dab.02.net PRIVMSG #esoteric :Functors I know about < 1355165792 712498 :GreyKnight!~greyknigh@dab-crx1-h-17-6.dab.02.net PRIVMSG #esoteric :I will take lenses in general please! < 1355165796 159371 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :well you can think of a lens from a to b as a getter and setter pair < 1355165801 123624 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :(a -> b, a -> b -> a) < 1355165806 174026 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :for instance < 1355165823 774112 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :you have (a,b) -> b, (a,b) -> b -> (a,b) < 1355165828 96618 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :get (a,b) = b < 1355165833 427562 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :set (a,b) b' = (a,b') < 1355165844 764740 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :so you have a SimpleLens (a,b) b < 1355165867 297658 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :that's all there is to regular old lenses, really < 1355165877 509479 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :plus some obvious laws like get (set x y) = y < 1355165894 424926 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :you can, e.g. create a lens for each field of a record, which can both get the value in that field from a record and set it to something else < 1355165906 200813 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :and you can compose them < 1355165909 734497 :GreyKnight!~greyknigh@dab-crx1-h-17-6.dab.02.net PRIVMSG #esoteric :Does the name "lens" have some significance I'm not grasping? < 1355165918 543779 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :so for instance < 1355165926 529648 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :data SomeRecord = SomeRecord { a :: Int, b :: Int } < 1355165933 531088 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :er < 1355165936 38152 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :data SomeRecord = SomeRecord { a :: (Int,Int), b :: Int } < 1355165965 547138 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :let's say you have a lens for the a field of that record (here you have get rec = a rec; set rec newA = rec { a = NewA }) < 1355165976 269908 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :you can compose that with the lens for the second element of a tuple (which I showed above) < 1355166005 780524 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :and get the resulting lens acts like: get (SomeRecord { a = (1,2), b = 3 }) --> 2 < 1355166019 499497 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :set (SomeRecord { a = (1,2), b = 3 }) 4 = SomeRecord { a = (1,4), b = 3 } < 1355166042 180391 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :you can just use this representation: data Lens a b = Lens { get :: a -> b, set :: a -> b -> a } < 1355166052 720971 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :then get :: Lens a b -> a -> b, set :: Lens a b -> a -> b -> a < 1355166078 652301 :GreyKnight!~greyknigh@dab-crx1-h-17-6.dab.02.net PRIVMSG #esoteric :And presumably you could construct lenses to access the other Ints in SomeRecord in the obvious fashion < 1355166083 368397 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :yes < 1355166086 379691 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :GreyKnight: It lets you "focus" on some particular part of a structure. < 1355166098 930558 :GreyKnight!~greyknigh@dab-crx1-h-17-6.dab.02.net PRIVMSG #esoteric :Ah, bad puns. Okay. < 1355166104 848787 :hagb4rd!~perdito@koln-4db4e876.pool.mediaWays.net PRIVMSG #esoteric :or just any computed function of that field..right? < 1355166110 344200 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :compose :: Lens a b -> Lens b c -> Lens a c; compose lens1 lens2 = Lens { get = \x -> get lens2 (get lens1 x); set = \x y -> ...try writing this... } < 1355166117 322763 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :(I want you to try writing it because I'm too lazy to.) < 1355166123 85406 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :shachaf: my new laptop has shipped after all < 1355166128 565289 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :and the charge is back on the card < 1355166130 951197 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :so no free laptop :( < 1355166145 551233 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :Anyway the lens library itself uses the same basic ideas, but it uses a fancier representation that lets you write a lot of operations on them more nicely and compose them more conveniently and stuff. < 1355166168 425131 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :But lenses in general are very simple, you can just think of them as a getter-setter pair. < 1355166186 567931 :GreyKnight!~greyknigh@dab-crx1-h-17-6.dab.02.net PRIVMSG #esoteric :Prisms are a related concept, right? < 1355166194 721766 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :yes < 1355166202 166570 :GreyKnight!~greyknigh@dab-crx1-h-17-6.dab.02.net PRIVMSG #esoteric :(presumably more punnage) < 1355166239 620521 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :if a lens is: (a -> b, a -> b -> a), you can think of a prism as: (b -> a, a -> Maybe b) < 1355166245 720945 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :they're actually more closely related than it looks < 1355166257 560662 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :but showing that involves slightly more complicated types < 1355166273 990949 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :a prism is basically a first class "constructor"... you can put a value in a constructor and possibly take it out < 1355166277 185472 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :so for < 1355166277 432002 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :data Foo = A Int | B String < 1355166282 420844 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :you have Prism Foo Int, Prism Foo String < 1355166293 143150 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :(A, \x -> case x of A y -> Just y; _ -> Nothing) < 1355166299 898212 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :and (B, \x _> case x of B y -> Just y; _ -> Nothing) respectively < 1355166398 718180 :GreyKnight!~greyknigh@dab-crx1-h-17-6.dab.02.net PRIVMSG #esoteric :Hm how come prisms use a -> Maybe b whereas lenses use a -> b ? < 1355166403 920064 :GreyKnight!~greyknigh@dab-crx1-h-17-6.dab.02.net PRIVMSG #esoteric :Or wait < 1355166438 744260 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :you can't really see that they're related with those definitions < 1355166461 768563 :GreyKnight!~greyknigh@dab-crx1-h-17-6.dab.02.net PRIVMSG #esoteric :Lost my train of thought, stupid headache < 1355166507 974923 :hagb4rd!~perdito@koln-4db4e876.pool.mediaWays.net PRIVMSG #esoteric :yea, it's still not clear but thank for the kickstart elliott < 1355166545 721743 :hagb4rd!~perdito@koln-4db4e876.pool.mediaWays.net PRIVMSG #esoteric :at least i have basic idea now < 1355166570 926194 :GreyKnight!~greyknigh@dab-crx1-h-17-6.dab.02.net PRIVMSG #esoteric :Also they really do look like Haskell's answer to JavaBeans :-) < 1355166601 663421 :nooga!~nooga@public-gprs359440.centertel.pl JOIN :#esoteric < 1355166650 640088 :hagb4rd!~perdito@koln-4db4e876.pool.mediaWays.net PRIVMSG #esoteric :they seem to be the fashion of this winter < 1355166668 397274 :hagb4rd!~perdito@koln-4db4e876.pool.mediaWays.net PRIVMSG #esoteric :everyone is talking about < 1355166679 157879 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :tomorrow is the ceremonial ground breaking on the boston Green Line Extension < 1355166705 98119 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :they are going to spend 7 years and one billion dollars to extend an existing light rail line about 6km along an existing rail corridor < 1355166723 760042 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :assuming there are no additional delays or cost overruns, of course < 1355166791 668091 :GreyKnight!~greyknigh@dab-crx1-h-17-6.dab.02.net PRIVMSG #esoteric :Sounds legit < 1355166864 39876 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net QUIT :Quit: hello < 1355166893 885147 :GreyKnight!~greyknigh@dab-crx1-h-17-6.dab.02.net NICK :apparently < 1355166913 403220 :apparently!~greyknigh@dab-crx1-h-17-6.dab.02.net NICK :GreyKnight < 1355167044 906087 :nooga_!~nooga@public-gprs361793.centertel.pl JOIN :#esoteric < 1355167230 801412 :hagb4rd!~perdito@koln-4db4e876.pool.mediaWays.net PRIVMSG #esoteric :fashion < 1355167243 701552 :hagb4rd!~perdito@koln-4db4e876.pool.mediaWays.net PRIVMSG #esoteric :oops < 1355167254 173719 :nooga!~nooga@public-gprs359440.centertel.pl QUIT :Ping timeout: 256 seconds < 1355167261 868486 :hagb4rd!~perdito@koln-4db4e876.pool.mediaWays.net PRIVMSG #esoteric :dumidumidum *sing < 1355167279 360665 :GreyKnight!~greyknigh@dab-crx1-h-17-6.dab.02.net PRIVMSG #esoteric :hagb4rd is wearing this season's Lens, a stunning little ensemble with functor trim < 1355167300 105029 :GreyKnight!~greyknigh@dab-crx1-h-17-6.dab.02.net PRIVMSG #esoteric :Give us a twirl < 1355167312 318264 :hagb4rd!~perdito@koln-4db4e876.pool.mediaWays.net PRIVMSG #esoteric :damn < 1355167317 71119 :hagb4rd!~perdito@koln-4db4e876.pool.mediaWays.net PRIVMSG #esoteric :i'm looking good < 1355167560 103603 :nooga_!~nooga@public-gprs361793.centertel.pl QUIT :Ping timeout: 256 seconds < 1355167560 440464 :GreyKnight!~greyknigh@dab-crx1-h-17-6.dab.02.net PRIVMSG #esoteric :Hm we have Lens and Prism... what about Mirror? < 1355167583 319841 :GreyKnight!~greyknigh@dab-crx1-h-17-6.dab.02.net PRIVMSG #esoteric :It could implement reflection-like abilities :-) < 1355167589 721086 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :There is Iso. < 1355167620 60479 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :
ACTION sort of likes the idea of renaming Iso to Mirror
< 1355167632 843493 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :it avoids the abbreviation and analogises well with Lens/Prism < 1355167646 278070 :hagb4rd!~perdito@koln-4db4e876.pool.mediaWays.net PRIVMSG #esoteric :indeed < 1355167734 171451 :hagb4rd!~perdito@koln-4db4e876.pool.mediaWays.net PRIVMSG #esoteric :we should talk with the marketing guys to change this < 1355168046 360722 :hagb4rd!~perdito@koln-4db4e876.pool.mediaWays.net PRIVMSG #esoteric :anyway..you may swat me hard, i'm still not really convinced haskell could be used to implement bigger software projects.. at least while not employing a bunch of scientists as programmers < 1355168065 762106 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :i think the 'lens' logo should be http://upload.wikimedia.org/wikipedia/en/thumb/3/3b/Dark_Side_of_the_Moon.png/220px-Dark_Side_of_the_Moon.png < 1355168145 20020 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :Haskell is already used to implement bigger software projects by non-scientists though < 1355168153 441674 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :so your claim is too absurd to even need rebutting < 1355168321 129409 :hagb4rd!~perdito@koln-4db4e876.pool.mediaWays.net PRIVMSG #esoteric :the reference list litarature is a small time < 1355168470 637747 :hagb4rd!~perdito@koln-4db4e876.pool.mediaWays.net PRIVMSG #esoteric :elliott are you a student of computer science or sth? < 1355168478 280759 :arcatan!arcatan@hilla.kapsi.fi PRIVMSG #esoteric :personally, i'm not really convinced c++ could be used to implement bigger software projects... < 1355168500 996304 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :i'm not really convinced that bigger software projects can be implemented < 1355168508 966463 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :hagb4rd: depends on your definition of "student" < 1355168521 346659 :arcatan!arcatan@hilla.kapsi.fi PRIVMSG #esoteric :on second thought, yes, kmc, i'm not convinced of that either < 1355168524 247733 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :I think the idea of implementing bigger software projects in C is more unthinkable than doing so in Haskell anyway, and evidently that happens < 1355168530 782017 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :oh arcatan beat me to it < 1355168534 448869 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :"C/C++" < 1355168638 364647 :hagb4rd!~perdito@koln-4db4e876.pool.mediaWays.net PRIVMSG #esoteric :no i'm really not into some religious war or sth..it's just that 70 to 80 percent of software-costs is mostly spent on maintance < 1355168658 934211 :hagb4rd!~perdito@koln-4db4e876.pool.mediaWays.net PRIVMSG #esoteric :and the code i've seen so far seems not be easy maintained < 1355168689 529823 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :and your average Haskell program can well be more easily maintainable than your average C program, assuming competent people for both tasks < 1355168716 862772 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :it is very easy to get lots of things wrong in C that just aren't possible to get wrong in Haskell, and experts get these things wrong all the time < 1355168717 364357 :hagb4rd!~perdito@koln-4db4e876.pool.mediaWays.net PRIVMSG #esoteric :ight < 1355168722 463988 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :hence the existence of segfaults for reasons other than compiler bugs < 1355168722 964097 :olsner!~salparot@c83-252-194-156.bredband.comhem.se PRIVMSG #esoteric :this discussion is quite elucidating < 1355168740 918692 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :quite hallucinating < 1355168907 967231 :hagb4rd!~perdito@koln-4db4e876.pool.mediaWays.net PRIVMSG #esoteric :yep the experts you are talking about are at first not easy to get, and for this reason not very cheap.. i guess the technique u choose to implement a software solution cannot be decided in general for all time < 1355168946 884636 :hagb4rd!~perdito@koln-4db4e876.pool.mediaWays.net PRIVMSG #esoteric :would you agree so far < 1355169010 680382 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :it's not impossible to get those things wrong in haskell either < 1355169031 383702 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :but you are only exposed to those errors in a small subset of the code you write < 1355169042 975706 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :kmc: well it is impossible for a Haskell 2010 program, compiled with a non-buggy compiler, that does not use the FFI, to segfault < 1355169059 567347 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :sure but real programs use the FFI < 1355169063 79643 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :admittedly, those conditions are not usually true < 1355169072 968526 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :but it's nothing compared to the fact that a C program uses the FFI every line :p < 1355169141 539651 :Deewiant!~deewiant@deewiant.iki.fi PRIVMSG #esoteric :It is quite possible for said Haskell 2010 program to terminate saying e.g. "head: empty list" or "fromJust: Nothing" < 1355169166 525752 :Deewiant!~deewiant@deewiant.iki.fi PRIVMSG #esoteric :Which is hardly better than a segfault < 1355169173 873834 :Gregor!codu@codu.org PRIVMSG #esoteric :This is why I think JavaScript made a mistake in not letting you dereference or call undefined. < 1355169174 633399 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :it is better < 1355169181 719962 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :Deewiant: that is better in several ways < 1355169190 192983 :Gregor!codu@codu.org PRIVMSG #esoteric :If they'd just made those return undefined, then it would barrel on endlessly no matter what you did :) < 1355169191 90209 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :a segfault is just a lucky outcome of undefined behavior < 1355169195 818788 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :for one, there is no security risk < 1355169202 828830 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :at least not the kind segfaults imply < 1355169221 739382 :Deewiant!~deewiant@deewiant.iki.fi PRIVMSG #esoteric :Right, that can matter in some contexts < 1355169227 928652 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :for two, you know that program will always output that under those conditions -- it is "reasonable behaviour", not just stuff going wrong < 1355169241 929510 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :for three you get a useful error message :P < 1355169256 228069 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :of course, that doesn't mean partial functions are a good thing < 1355169262 156779 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :but they're a lot less bad of a thing < 1355169279 283311 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :it's weird to pick Haskell as the exemplar memory safe language < 1355169296 347933 :Deewiant!~deewiant@deewiant.iki.fi PRIVMSG #esoteric :Re. two: in practice you usually know the other program will always segfault as well :-P < 1355169302 417210 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :I was just using memory unsafety as an obvious, universal example of something C does really badly < 1355169303 313424 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :no < 1355169305 242538 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :no no no no no no < 1355169309 969784 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :Deewiant: no no no no no no no < 1355169327 618529 :Deewiant!~deewiant@deewiant.iki.fi PRIVMSG #esoteric :kmc: Do elaborate < 1355169334 747513 :hagb4rd!~perdito@koln-4db4e876.pool.mediaWays.net PRIVMSG #esoteric :last but not least if youthe everyday software programming is that sophisticated.. (it's almost boring) as many of < 1355169334 903399 :arcatan!arcatan@hilla.kapsi.fi PRIVMSG #esoteric :i wonder what are the biggest headaches experienced by the real maintenance programmers working on e.g. C++ or Java projects < 1355169337 481691 :olsner!~salparot@c83-252-194-156.bredband.comhem.se PRIVMSG #esoteric :elliott: C does unsafety very *well*, you mean? < 1355169340 772312 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :a segfault is a lucky outcome of undefined behavior < 1355169343 361988 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :sometimes you don't get lucky < 1355169345 229062 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :olsner: good point < 1355169348 400114 :arcatan!arcatan@hilla.kapsi.fi PRIVMSG #esoteric :and how much programming language features affect that < 1355169368 255980 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :sometimes you get slightly wrong results < 1355169372 239487 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :sometimes you get permanent data corruption < 1355169377 679692 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :sometimes you get exploitable security holes < 1355169379 525536 :Deewiant!~deewiant@deewiant.iki.fi PRIVMSG #esoteric :kmc: In practice if it segfaulted once it usually will segfault the second time as well < 1355169387 499924 :Deewiant!~deewiant@deewiant.iki.fi PRIVMSG #esoteric :Or I don't know, usually in my programs < 1355169388 39886 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :C programmers who treat segfaults as the worst case outcome scare the fuck out of me < 1355169404 562443 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :sure "usually" meaning 99% of the time < 1355169404 959036 :hagb4rd!~perdito@koln-4db4e876.pool.mediaWays.net PRIVMSG #esoteric :lol < 1355169410 878969 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :but now run that program in production for 10 years < 1355169415 711413 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :and also expose it to adversarial attackers < 1355169422 768897 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :some weird shit will happen < 1355169432 236835 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :
ACTION bets that 99% is more like 50% in the presence of pthreads.
< 1355169432 585717 :Deewiant!~deewiant@deewiant.iki.fi PRIVMSG #esoteric :That's a situation I wouldn't want to put a C program in < 1355169450 247128 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :so you would not use C in production or for anything with security requirements < 1355169450 647367 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :Deewiant: sounds like an argument Haskell's failure conditions are better < 1355169451 691617 :Deewiant!~deewiant@deewiant.iki.fi PRIVMSG #esoteric :Re. three: there are more tools for finding the cause of segfaults than for "fromJust: Nothing" :-P < 1355169460 55006 :Deewiant!~deewiant@deewiant.iki.fi PRIVMSG #esoteric :elliott: I'd say it's situational < 1355169479 471952 :Deewiant!~deewiant@deewiant.iki.fi PRIVMSG #esoteric :Sometimes you care about not segfaulting, sometimes it's not that big a deal < 1355169491 650328 :Deewiant!~deewiant@deewiant.iki.fi PRIVMSG #esoteric :not having the possibility of segfault* < 1355169500 172299 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :again "segfault" is the symptom and it's the mildest of all symptom < 1355169511 456650 :Deewiant!~deewiant@deewiant.iki.fi PRIVMSG #esoteric :I'm not disagreeing with you on that < 1355169513 116538 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :if a segfault isn't a problem I don't see how head [] can be < 1355169515 381347 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :it's like if i said it's ok to get AIDS because having a cough is not so bad < 1355169528 489652 :Deewiant!~deewiant@deewiant.iki.fi PRIVMSG #esoteric :Non sequitur < 1355169533 867592 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :hella sequitur < 1355169536 619534 :hagb4rd!~perdito@koln-4db4e876.pool.mediaWays.net PRIVMSG #esoteric :exactly.. i'm sure haskell has its advatages.. in many use cases < 1355169549 254140 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :can we just say "invalid memory access" instead of "segfault" instead < 1355169559 515331 :Deewiant!~deewiant@deewiant.iki.fi PRIVMSG #esoteric :elliott: I'd rather see a C segfault than a Haskell 'head []' when developing something unless GHC's debugging facilities have improved to the point that I can find the latter quickly < 1355169570 189774 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :you can use -xc to get a backtrace these days < 1355169583 25381 :Deewiant!~deewiant@deewiant.iki.fi PRIVMSG #esoteric :ghc: unrecognised flags: -xc < 1355169584 370429 :Deewiant!~deewiant@deewiant.iki.fi PRIVMSG #esoteric :But okay < 1355169588 596448 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :another point is that it's a lot easier to write Haskell that doesn't use partial functions than it is to write a C program that has no risk of segfault < 1355169588 868155 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :it's a RTS flag < 1355169604 642604 :Deewiant!~deewiant@deewiant.iki.fi PRIVMSG #esoteric :ghc: the flag -xc requires the program to be built with -prof < 1355169616 452893 :Deewiant!~deewiant@deewiant.iki.fi PRIVMSG #esoteric :That's a bit annoying but oh well < 1355169624 380041 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :again it's weird that this discussion of memory safety is "C vs Haskell" and not "C vs almost every other language" < 1355169636 247266 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :well it was a C vs. Haskell thing < 1355169642 708534 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :i agree that GHC's debugging and error-finding tools are shitty < 1355169644 317991 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :just the subject ate the ject < 1355169653 761384 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :originally said the subsubject ate the subject but decided that was redundant < 1355169655 884917 :Deewiant!~deewiant@deewiant.iki.fi PRIVMSG #esoteric :elliott: And yes, it is, but it's not easy :-P Now you have to be very careful about all library code etc < 1355169658 119763 :arcatan!arcatan@hilla.kapsi.fi PRIVMSG #esoteric :if we're still talking about long-term software projects started today, I don't think that C will be the language of choice for many of them < 1355169669 755007 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :a lot of Haskell tools suck even though these problems should be easier in Haskell < 1355169672 811536 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :just because it is a niche language < 1355169672 888258 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :Deewiant: I'm like 10x more paranoid of C libraries than Haskell libraries < 1355169717 903799 :Deewiant!~deewiant@deewiant.iki.fi PRIVMSG #esoteric :kmc: Right, much (all? I forget) of my argument regards the tooling < 1355169734 7978 :Deewiant!~deewiant@deewiant.iki.fi PRIVMSG #esoteric :elliott: Sure, I didn't say C is any easier :-) < 1355169771 294275 :ogrom!~del@gprs-inet-65-33.elisa.ee QUIT :Read error: Connection reset by peer < 1355169853 87449 :Sgeo|web!ad034ea6@gateway/web/freenode/ip.173.3.78.166 QUIT :Ping timeout: 245 seconds < 1355169872 951127 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :anyway I would rather maintain a badly-written Haskell program than a badly-written C program at the very least < 1355169891 393073 :hagb4rd!~perdito@koln-4db4e876.pool.mediaWays.net PRIVMSG #esoteric :you're hired! < 1355169912 507164 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :i don't necessarily agree with that elliott < 1355169932 918820 :Deewiant!~deewiant@deewiant.iki.fi PRIVMSG #esoteric :If they're equally large, I'm not so sure either < 1355169959 967104 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :my idea of a badly-written Haskell program is that 10 people worked on it, and each one thought they were super clever, but also fundamentally misunderstood at least one aspect of the language < 1355169973 38686 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :and so it will be full of excessively clever things that don't quite make sense and don't fit together < 1355169987 469138 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :in other words more like C++ than C < 1355170032 894151 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :C has a lot of problems and badly written C code is a nightmare, but it doesn't have this problem in particular < 1355170037 636746 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :it does depend on context though < 1355170061 759435 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :if security is extremely important, and the program will be exposed to lots of malicious input, i will still prefer the badly written haskell code < 1355170069 50142 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :I think it's generally easier to make a Haskell program less dumb. < 1355170078 774919 :fungot!fis@selene.zem.fi QUIT :Ping timeout: 246 seconds < 1355170084 530805 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :if security is extremely important I'd rather not be maintaining the program whatever language it's in :P < 1355170086 661655 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :or else treat the C program as untrusted and heavily sandbox it < 1355170118 573864 :hagb4rd!~perdito@koln-4db4e876.pool.mediaWays.net PRIVMSG #esoteric :it's that code should be understood and basically easy read if possible.. so putting 10 lines of code into one that makes you look pretty clever is the one of the worst case scenarios when it comes to maintenance < 1355170133 522725 :hagb4rd!~perdito@koln-4db4e876.pool.mediaWays.net PRIVMSG #esoteric :(in real life) < 1355170198 767240 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :yeah < 1355170209 977703 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :and haskell doesn't have to be written that way, but it often is < 1355170220 69907 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :because most people writing haskell are excited beginners and not seasoned professionals < 1355170258 242460 :lambdabot!~lambdabot@74.207.243.105 QUIT :Ping timeout: 245 seconds < 1355170292 465427 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :well you can do exactly the same in C < 1355170293 807089 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :however 1 really clever function that gets used 50 times is better than 50 separate simple functions < 1355170306 427645 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :and I'd prefer to refactor the Haskell < 1355170314 182232 :hagb4rd!~perdito@koln-4db4e876.pool.mediaWays.net PRIVMSG #esoteric :and i admit my first impression of haskell was that there are ways to express things shorter without loosing readability < 1355170371 412059 :hagb4rd!~perdito@koln-4db4e876.pool.mediaWays.net PRIVMSG #esoteric :especially handling data stuff < 1355170446 931920 :hagb4rd!~perdito@koln-4db4e876.pool.mediaWays.net PRIVMSG #esoteric :thanks to the guys that implemented the lambda calculus in c#.. that would be the next i miss in c < 1355170500 964888 :hagb4rd!~perdito@koln-4db4e876.pool.mediaWays.net PRIVMSG #esoteric :i'm sure the one thing elliott hates more than c is c# < 1355170502 636379 :hagb4rd!~perdito@koln-4db4e876.pool.mediaWays.net PRIVMSG #esoteric ::p < 1355170509 505318 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :huh < 1355170514 33345 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :C# is a pretty good language < 1355170516 447723 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :it is memory safe < 1355170535 882214 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :it supports many styles well, including expressive functional programming < 1355170567 829590 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :it has LINQ < 1355170570 585729 :hagb4rd!~perdito@koln-4db4e876.pool.mediaWays.net PRIVMSG #esoteric :yea < 1355170575 234696 :hagb4rd!~perdito@koln-4db4e876.pool.mediaWays.net PRIVMSG #esoteric :linq is great < 1355170588 283941 :hagb4rd!~perdito@koln-4db4e876.pool.mediaWays.net PRIVMSG #esoteric :and mono is evolving pretty well so far < 1355170612 282578 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :that's good < 1355170830 969262 :nooga!~nooga@ip-46-250-173-30.ip.maverick.com.pl JOIN :#esoteric < 1355172043 348763 :GreyKnight!~greyknigh@dab-crx1-h-17-6.dab.02.net QUIT :Quit: You hit the grey light. It explodes! < 1355172252 505272 :boily!~boily@mtl.savoirfairelinux.net QUIT :Read error: Connection reset by peer < 1355172593 268784 :sebbu2!~sebbu@ADijon-152-1-54-21.w83-194.abo.wanadoo.fr JOIN :#esoteric < 1355172593 347315 :sebbu2!~sebbu@ADijon-152-1-54-21.w83-194.abo.wanadoo.fr QUIT :Changing host < 1355172593 420131 :sebbu2!~sebbu@unaffiliated/sebbu JOIN :#esoteric < 1355172611 471676 :boily!~boily@mtl.savoirfairelinux.net JOIN :#esoteric < 1355172617 495799 :hagb4rd!~perdito@koln-4db4e876.pool.mediaWays.net PRIVMSG #esoteric :
ACTION puts some self-made xmas cookies into the channel
< 1355172786 625717 :variable!root@freebsd/developer/variable QUIT :Quit: I found 1 in /dev/zero < 1355172817 713066 :sebbu!~sebbu@unaffiliated/sebbu QUIT :Ping timeout: 265 seconds < 1355172823 341170 :hagb4rd!~perdito@koln-4db4e876.pool.mediaWays.net PRIVMSG #esoteric :eat! < 1355172828 973142 :hagb4rd!~perdito@koln-4db4e876.pool.mediaWays.net PRIVMSG #esoteric :they are not poisoned < 1355173100 687685 :boily1!~boily@mtl.savoirfairelinux.net JOIN :#esoteric < 1355173273 980593 :augur!~augur@129-2-129-33.wireless.umd.edu QUIT :Remote host closed the connection < 1355173301 366783 :boily!~boily@mtl.savoirfairelinux.net QUIT :Ping timeout: 255 seconds < 1355173318 469095 :boily1!~boily@mtl.savoirfairelinux.net NICK :boily < 1355173411 30499 :Sgeo|web!ad034ea6@gateway/web/freenode/ip.173.3.78.166 JOIN :#esoteric < 1355173524 875312 :variable!root@freebsd/developer/variable JOIN :#esoteric < 1355173917 984033 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :"Apple Maps 'is life-threatening' to motorists lost in Australia heat" < 1355173922 571993 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :-- BBC < 1355174062 29436 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :it's not life-threatening, just 'life threatening' < 1355174224 786863 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :A Finnish paper had that (well, similar) headline today too. < 1355174235 830146 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Guns don't kill people, Apple Maps kill people. < 1355174244 300735 :olsner!~salparot@c83-252-194-156.bredband.comhem.se PRIVMSG #esoteric :Australia kills people < 1355174244 779300 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :(That wasn't the headline.) < 1355174312 597909 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :I think fizzie should write the headlines < 1355174345 166118 :ais523!~ais523@unaffiliated/ais523 JOIN :#esoteric < 1355174414 134317 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :We just bought Helsinki-Imatra-Helsinki train tickets (that's about 250 km one way) for two, and they cost substantially less than the local regional traffic tickets we'll need to get to the Helsinki Central Railway Station. < 1355174445 124873 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :heh < 1355174466 167767 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :with ryanair and such, you can spend less on a plane ticket than on getting to the airport :) < 1355174473 35069 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :i've also taken a $2.50 metro ride to a $1 intercity bus < 1355174484 241502 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :They're running this "advent calendar" thing where there's every day a new (A, B) pair and a set of particular trains between those points, and it costs fixed 1.50 eur/person. < 1355174525 41409 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :And of course it's only valid if bought during that day. < 1355174527 859955 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :(The local traffic trip is something like 3.37 eur or thereabouts when bought with the RFID card dealie.) < 1355174552 252131 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :cool < 1355174573 171775 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :so you have to go on the day of purchase? do they list the city pairs ahead of time? < 1355174615 282419 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :No, you just have to purchase today; the travel times vary a bit, but for today's deal it was something like January 7th to January 31st. < 1355174649 409583 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :(And therefore the routes aren't revealed in advance, of course.) < 1355174658 761545 :augur!~augur@208.58.5.87 JOIN :#esoteric < 1355174692 547197 :Gregor!codu@codu.org PRIVMSG #esoteric :elliott: Heeeeeeeeeeeeeeeeeeeeeeeey here's a thought. < 1355174704 242206 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :oh god < 1355174705 130482 :Gregor!codu@codu.org PRIVMSG #esoteric :elliott: http://phantomjs.org/ + some glue code = modern textmode browser. < 1355174709 573581 :augur!~augur@208.58.5.87 QUIT :Remote host closed the connection < 1355174710 753448 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :We did have to take the 07:12am train instead of the more human-friendly 10:12am one since the other one was already sold out (it's 11:25pm here so today's deal was quite old), but still. < 1355174715 709675 :augur!~augur@208.58.5.87 JOIN :#esoteric < 1355174725 894667 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :that was < 1355174733 270887 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :quite far away from any thought I was expecting you to tell me < 1355174748 103602 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :by "local traffic tickets" do you mean a local train or something else? < 1355174750 522093 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :"PhantomJS is an optimal solution for" not sure they know what "optimal" means < 1355174751 983106 :Gregor!codu@codu.org PRIVMSG #esoteric :elliott: Probably over a year ago we (or perhaps not you at all) were discussing how shitty text mode browsers are ;) < 1355174759 669724 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :it might have been me < 1355174761 737171 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :they are very shitty < 1355174767 781949 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :a beautiful, elegant, awesome browser that celebrates craftsmanship < 1355174776 915935 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :kmc++ < 1355174792 713056 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :Wait, what is that referencing? I thought I knew but now I don't. < 1355174855 135589 :olsner!~salparot@c83-252-194-156.bredband.comhem.se PRIVMSG #esoteric :internet explorer, right? < 1355174926 76403 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :https://addons.heroku.com/bonsai < 1355174968 688634 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :nice < 1355174987 369914 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :kmc: The Helsinki/Espoo/Vantaa/Kauniainen regional area has pretty much just one type of tickets for trains/subway/buses/trams, so I mean those. (There's one price for in-city traffic, and another for the four-city zone... and then it gets more confusing, since the regional traffic... conglomeration sells bus-and-train tickets also for the neighbour municipalities, while the railway company ... < 1355174993 375183 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :... sells train-only tickets for those places, with completely different pricing schemas; but that's not really relevant any longer; and anyway who'd want to go there?) < 1355175017 864781 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :(Uh, and Kauniainen counts as Espoo for the purposes of local traffic, because it's an enclave city kind of thing. Finland's last one, in fact.) < 1355175037 296122 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :ok < 1355175066 104619 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :fizzie: did you count where you'd need to put those ...s < 1355175078 1427 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :I think by 2015 they have a new thing where they set up new fare zones and forget the actual city boundaries, since they're not terribly logical. (The new zones are roughly circular bands around the Helsinki centrum.) < 1355175084 17819 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :elliott: No, it was splitlong.pl. < 1355175103 919731 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :fizzie: it does that??? < 1355175106 136987 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :that's fancy < 1355175128 528066 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Well, it puts what you /set splitlong_line_end to the end, and splitlong_line_start to the start. < 1355175140 513530 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :But they default to " ..." and "... ". (Or maybe the spaces are implicit.) < 1355175151 964038 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :(No, they're explicit.) < 1355175192 964896 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :You could have splitlong_line_end of "\" and splitlong_line_end of "" for a kind of a programmer's approach. < 1355175244 928230 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :splitlong_line_end = "HEY WAIT A SECOND JUST GONNA INSERT A LINEBREAK HERE" < 1355175252 743365 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :splitlong_line_end = "OK AS I WAS SAYING: " < 1355175256 304785 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :er < 1355175262 149088 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :I copied the mistake from fizzie's line < 1355175318 695085 :Gregor!codu@codu.org PRIVMSG #esoteric :Wow, elliott, that's a HEY WAIT A SECOND JUST GONNA INSERT A LINEBREAK HERE < 1355175323 501969 :Gregor!codu@codu.org PRIVMSG #esoteric :OK AS I WAS SAYING: great idea. < 1355175342 687193 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :OK AS I WAS SAYING: HEY WAIT A SECOND JUST GONNA INSERT A LINEBREAK HERE < 1355175343 20409 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :OK AS I WAS SAYING: HEY WAIT A SECOND JUST GONNA INSERT A LINEBREAK HERE < 1355175343 582974 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :OK AS I WAS SAYING: HEY WAIT A SECOND JUST GONNA INSERT A LINEBREAK HERE < 1355175347 552439 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :You want that kind of a loop. < 1355175372 206280 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :(I don't know what happens if you do set them long enough to result in that.) < 1355175381 915979 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :(I suspect it's going to explode.) < 1355175576 626432 :SingingBoyo!~SingingBo@d173-180-176-35.bchsia.telus.net JOIN :#esoteric < 1355177916 158166 :Nisstyre-laptop!~yours@oftn/member/Nisstyre JOIN :#esoteric < 1355178459 831677 :Gregor!codu@codu.org QUIT :Excess Flood < 1355178467 996084 :Gregor!codu@codu.org JOIN :#esoteric < 1355178629 429777 :boily!~boily@mtl.savoirfairelinux.net QUIT :Quit: Poulet! < 1355178709 567570 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :"Sundown is a zero-dependency library composed of 3 .c files and their headers. No dependencies, no bullshit." < 1355178712 677418 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :yeah fuck that "code reuse" bullshit < 1355178733 589269 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :real hackers etc < 1355178759 966539 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :I see kmc has never tried to install an edwardk package < 1355178862 398957 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :kmc: Does it still depend on a C compiler? < 1355178870 293944 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :If so I won't use it. < 1355178878 322344 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :Real Hackers can compile C by hand < 1355178880 518062 :ion!ion@heh.fi PRIVMSG #esoteric :kmc: hah < 1355178885 644810 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :otherwise how would you know it's secure?!?!? < 1355178971 212060 :hagb4rd!~perdito@koln-4db4e876.pool.mediaWays.net PRIVMSG #esoteric :one more and i start to think it was ironic :p < 1355178983 785758 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :kmc: Did you hear NumInstances is out of lambdabot? < 1355179017 787112 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :oh? < 1355179018 804023 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :cool < 1355179020 389582 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :story? < 1355179049 711272 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :It was confusing someone in here. < 1355179052 908815 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I told Cale it was confusing. < 1355179055 50915 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :He took it out. < 1355179060 283908 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :cool! < 1355179072 741747 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :And now 14:32 man shachaf is the death of fun in #haskell ;) < 1355179186 784151 :olsner!~salparot@c83-252-194-156.bredband.comhem.se PRIVMSG #esoteric :shachaf is the death! < 1355179332 707983 :SingingBoyo!~SingingBo@d173-180-176-35.bchsia.telus.net QUIT :Ping timeout: 264 seconds < 1355179428 377769 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :Is Caleskell documented anywhere? < 1355179493 723595 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :L.hs < 1355179495 4916 :olsner!~salparot@c83-252-194-156.bredband.comhem.se PRIVMSG #esoteric :documented only in the cries of horrified and confused beginners < 1355179513 991068 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :just avoid lambdabot on Malbolge Mondays < 1355179520 894054 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :when @run runs Malbolge instead of Haskell < 1355179637 320920 :Bike!~Glossina@207-224-23-226.ptld.qwest.net PRIVMSG #esoteric :@run 2+2 < 1355179647 654395 :Bike!~Glossina@207-224-23-226.ptld.qwest.net PRIVMSG #esoteric ::( < 1355180096 304705 :olsner!~salparot@c83-252-194-156.bredband.comhem.se PRIVMSG #esoteric :`? finnish < 1355180098 270753 :HackEgo!codu@codu.org PRIVMSG #esoteric :Finnish suomalaiset ei Perkeleistä on hakkapeliittaan. Ei saa peittää. Parasta ennen! < 1355180116 613097 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :elliott!!!!!!!! < 1355180121 416992 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Did you write the new `quote? < 1355180139 908659 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :$ wc -l qdb.py < 1355180140 146141 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :120 qdb.py < 1355180161 473042 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :So? < 1355180163 726706 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Upload it! < 1355180264 920835 :olsner!~salparot@c83-252-194-156.bredband.comhem.se PRIVMSG #esoteric :120 lines! for adding a line of text to a text file? < 1355180438 668978 :oerjan!oerjan@sprocket.nvg.ntnu.no JOIN :#esoteric < 1355181206 308313 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`addquote headache + train with screeching brakes = headache^2 hm..headache + train with no screeching brakes = no head On the plus side, no headache anymore < 1355181209 516077 :HackEgo!codu@codu.org PRIVMSG #esoteric :862) headache + train with screeching brakes = headache^2 hm..headache + train with no screeching brakes = no head On the plus side, no headache anymore < 1355181620 396971 :epicmonkey!~epicmonke@188.134.41.172 JOIN :#esoteric < 1355181714 333491 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`addquote [after discussing Haskell lenses] they seem to be the fashion of this winter < hagb4rd is wearing this season's Lens, a stunning little ensemble with functor trim < 1355181717 756709 :HackEgo!codu@codu.org PRIVMSG #esoteric :863) [after discussing Haskell lenses] they seem to be the fashion of this winter < hagb4rd is wearing this season's Lens, a stunning little ensemble with functor trim < 1355181718 328133 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :oops < 1355181720 433631 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`revert < 1355181722 666550 :HackEgo!codu@codu.org PRIVMSG #esoteric :Done. < 1355181738 422740 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`addquote [after discussing Haskell lenses] they seem to be the fashion of this winter hagb4rd is wearing this season's Lens, a stunning little ensemble with functor trim < 1355181741 694061 :HackEgo!codu@codu.org PRIVMSG #esoteric :863) [after discussing Haskell lenses] they seem to be the fashion of this winter hagb4rd is wearing this season's Lens, a stunning little ensemble with functor trim < 1355181756 362886 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :oerjan: "discussing lens", surely. < 1355181761 496514 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :well, I guess it was just lenses in general < 1355181762 914042 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :OKAY < 1355181765 82649 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :but they're not Haskell-specific! < 1355181777 927050 :hagb4rd!~perdito@koln-4db4e876.pool.mediaWays.net PRIVMSG #esoteric :hi oerjan < 1355181786 607776 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :perhaps that should go in lam... oh it's not here < 1355181790 975710 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :hi hagb4rd < 1355181810 749309 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`delquote 863 < 1355181815 159197 :HackEgo!codu@codu.org PRIVMSG #esoteric :​*poof* [after discussing Haskell lenses] they seem to be the fashion of this winter hagb4rd is wearing this season's Lens, a stunning little ensemble with functor trim < 1355181850 769064 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`addquote [after discussing lens] they seem to be the fashion of this winter hagb4rd is wearing this season's Lens, a stunning little ensemble with functor trim < 1355181853 627312 :HackEgo!codu@codu.org PRIVMSG #esoteric :863) [after discussing lens] they seem to be the fashion of this winter hagb4rd is wearing this season's Lens, a stunning little ensemble with functor trim < 1355182019 118788 :Gregor!codu@codu.org PRIVMSG #esoteric :JEEZ guys, double space. < 1355182021 139103 :Gregor!codu@codu.org PRIVMSG #esoteric :IT'S IMPORTANT. < 1355182068 200152 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric : but it's nothing compared to the fact that a C program uses the FFI every line :p <-- that darn C-to-C ffi, so convenient but dangerous < 1355182101 892941 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :hm? no double space around [...] in..cisions < 1355182143 650962 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :hm wrong word. < 1355182169 499158 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :Gregor: that quote follows the standards. < 1355182191 661436 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :yay! < 1355182195 691016 :olsner!~salparot@c83-252-194-156.bredband.comhem.se PRIVMSG #esoteric :cuts in the quote = incisions, makes sense < 1355182198 955160 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :
ACTION wasn't entirely sure himself
< 1355182229 373012 :Gregor!codu@codu.org PRIVMSG #esoteric :`echo HALP GUYS I'M TOO FAST < 1355182230 842970 :HackEgo!codu@codu.org PRIVMSG #esoteric :HALP GUYS I'M TOO FAST < 1355182239 453734 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :Gregor: want me to de-optimise hackego? < 1355182244 500199 :olsner!~salparot@c83-252-194-156.bredband.comhem.se PRIVMSG #esoteric :who cares if it's the right word if it means something vaguely similar to what you mean < 1355182260 552549 :Gregor!codu@codu.org PRIVMSG #esoteric :It would be cool if UML could be made to blow up if you try to write. < 1355182262 216110 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :echo 'echo sleep 0.1 >> .bashrc' >> .bashrc < 1355182280 180823 :Gregor!codu@codu.org PRIVMSG #esoteric :Blow-up-on-write is clearly the best write policy. < 1355182298 518376 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :Gregor: You can do that < 1355182300 699535 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :just use a custom FS < 1355182315 443811 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :shouldn't be very long with FUSE < 1355182338 22314 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :Gregor: in fact you could unionfs the normal FS and a FUSE empty-but-stops-everything-on-any-write FS < 1355182355 231765 :Gregor!codu@codu.org PRIVMSG #esoteric :'snot a bad idea. < 1355182385 89334 :Gregor!codu@codu.org PRIVMSG #esoteric :I'm not sure whether the current slowdown is mostly launching UML or `hg status` though. If it's the former, then there's not much point to piling more on that ;) < 1355182390 998063 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :presumably the latter would send a message to the hackego supervisor stuff < 1355182393 50306 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :which would then kill -9 < 1355182411 512515 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :Gregor: well it should be easy to time them with python < 1355182428 894809 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :Gregor: I forget, what does your UML use as init? < 1355182429 559454 :Gregor!codu@codu.org PRIVMSG #esoteric :But I'm sooooo laaaaazy :( < 1355182436 119826 :Gregor!codu@codu.org PRIVMSG #esoteric :Its own custom thing. < 1355182447 481478 :Gregor!codu@codu.org PRIVMSG #esoteric :init just mounts some shit then runs what you asked. < 1355182462 185541 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :Right, I was wondering what the init itself is < 1355182465 285665 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :So I could micro-optimise it < 1355182493 780503 :Gregor!codu@codu.org PRIVMSG #esoteric :I doubt that it's the problem, probably the kernel is, but: https://bitbucket.org/GregorR/umlbox/src/802cc63695cab6922b1b1f8c7815612c4f8dc3a4/init.c?at=default < 1355182526 814393 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :Gregor: Oh right, you could probably save a good amount of time by stripping down the kernel < 1355182545 427896 :Gregor!codu@codu.org PRIVMSG #esoteric :^^´ < 1355182552 406143 :Gregor!codu@codu.org PRIVMSG #esoteric :I was trying to figure out if I can remove the bogomips calculation. < 1355182556 44132 :Gregor!codu@codu.org PRIVMSG #esoteric :That's pretty retarded and takes time. < 1355182558 942751 :Gregor!codu@codu.org PRIVMSG #esoteric :Can't find it though. < 1355182564 423256 :Gregor!codu@codu.org PRIVMSG #esoteric :Or rather, can't find an option for it. < 1355182681 224109 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :Gregor: it occurs to me that you don't necessarily need to use hg status < 1355182692 203128 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :you could compare the dir trees with diff or something < 1355182696 331919 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :I suspect hg status is not super-optimised < 1355182709 165184 :Gregor!codu@codu.org PRIVMSG #esoteric :Quite probably. < 1355182711 286857 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :`run tree | paste < 1355182716 861210 :HackEgo!codu@codu.org PRIVMSG #esoteric :http://codu.org/projects/hackbot/fshg/index.cgi/raw-file/tip/paste/paste.1294 < 1355182736 637679 :Gregor!codu@codu.org PRIVMSG #esoteric :| `-- \357\274\267\357\274\245\357\274\254\357\274\243\357\274\257\357\274\255\357\274\245 lolwut < 1355182737 791630 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :Gregor: in fact... it may be that how UML/UMLBox works means files always change inode on being modified? < 1355182744 418216 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :fizzie: found fungot failure, fix fast! < 1355182746 895345 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :that would let you check whether anything changed superfast < 1355182767 207257 :Gregor!codu@codu.org PRIVMSG #esoteric :elliott: I doubt it. < 1355182768 6691 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :Gregor: Why is all the EgoBot stuff in HackEgo... < 1355182774 954276 :Gregor!codu@codu.org PRIVMSG #esoteric :elliott: I'm working on merging them. < 1355182797 594721 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :You could at least put them in a separate bin directory so the `/! separation could be maintained and `ls bin` didn't give a bunch of crap < 1355182811 41393 :fungot!fis@selene.zem.fi JOIN :#esoteric < 1355182821 448435 :Gregor!codu@codu.org PRIVMSG #esoteric :*waaaah* < 1355182825 949353 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :fizzie: fabulous! < 1355182827 70604 :Gregor!codu@codu.org PRIVMSG #esoteric :^^ < 1355182848 43566 :Gregor!codu@codu.org PRIVMSG #esoteric :(Note: I don't WANT to maintain the `/! separation) < 1355182864 355079 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :well you can still separate the paths < 1355182871 406204 :olsner!~salparot@c83-252-194-156.bredband.comhem.se PRIVMSG #esoteric :how is fungot's twitter stream doing these days? < 1355182871 976246 :fungot!fis@selene.zem.fi PRIVMSG #esoteric :olsner: this is prob a premature question... but what would it do? where were you from? < 1355182874 632683 :Gregor!codu@codu.org PRIVMSG #esoteric :Yeah, I could. < 1355182879 194069 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :olsner: Offline. :/ < 1355182879 935571 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :Gregor: maybe that's your unicode goat in UTF-8 < 1355182882 117222 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :interps/ too < 1355182890 336324 :epicmonkey!~epicmonke@188.134.41.172 QUIT :Ping timeout: 264 seconds < 1355182894 553933 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :anyhow < 1355182895 441974 :Gregor!codu@codu.org PRIVMSG #esoteric :FireFly: 's not that many characters... < 1355182896 444277 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :`run rm paste/* < 1355182897 708320 :Gregor!codu@codu.org PRIVMSG #esoteric :*bytes < 1355182898 170183 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :olsner: I keep forgetting to restart the poster script. < 1355182899 631160 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :that should speed things up < 1355182904 32054 :HackEgo!codu@codu.org PRIVMSG #esoteric :No output. < 1355182904 267339 :Gregor!codu@codu.org PRIVMSG #esoteric :Heh < 1355182919 912964 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :`revert < 1355182922 381457 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :probably not a good idea < 1355182924 764814 :HackEgo!codu@codu.org PRIVMSG #esoteric :Done. < 1355182950 16771 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :Gregor: by the way what should I call hg diff -c "$1" | patch -R < 1355182961 980637 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :Ahaha < 1355182966 266525 :Gregor!codu@codu.org PRIVMSG #esoteric :elliott: backout? < 1355182969 538154 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :Gregor: it's ＷＥＬＣＯＭＥ < 1355182975 62431 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :I was thinking "undo" < 1355182979 523403 :Gregor!codu@codu.org PRIVMSG #esoteric :FireFly: X-D < 1355182994 837755 :Gregor!codu@codu.org PRIVMSG #esoteric :elliott: backout is the mercurial name for a similar operation. < 1355183032 380867 :Gregor!codu@codu.org PRIVMSG #esoteric :`ＷＥＬＣＯＭＥ FireFly < 1355183034 674407 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric : probably not a good idea <-- wait why not < 1355183042 732277 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :oerjan: because logs < 1355183047 707642 :HackEgo!codu@codu.org PRIVMSG #esoteric :​/hackenv/bin/perl: 3: Cannot fork < 1355183048 677242 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :Gregor: I bet HackEgo would be faster if it used git < 1355183054 872834 :Gregor!codu@codu.org PRIVMSG #esoteric :elliott: Quite probably. < 1355183056 340288 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :elliott: are the logs in paste/ ? < 1355183061 961982 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :Gregor: I like how you broke "perl". < 1355183065 959984 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :With the EgoBot stuff. < 1355183067 48421 :Gregor!codu@codu.org PRIVMSG #esoteric :elliott: But I'm still not sure if hg is even the slow part. < 1355183070 863307 :Gregor!codu@codu.org PRIVMSG #esoteric :Ohlol X-D < 1355183073 546486 :Gregor!codu@codu.org PRIVMSG #esoteric :`run rm bin/perl < 1355183076 931516 :HackEgo!codu@codu.org PRIVMSG #esoteric :No output. < 1355183080 565169 :Gregor!codu@codu.org PRIVMSG #esoteric :I was wondering wtf was going on there X-D < 1355183080 877976 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :oh you mean references from the logs to paste/ < 1355183087 504179 :Gregor!codu@codu.org PRIVMSG #esoteric :`ＷＥＬＣＯＭＥ FireFly < 1355183089 937301 :HackEgo!codu@codu.org PRIVMSG #esoteric :​ＦＩＲＥＦＬＹ：　ＷＥＬＣＯＭＥ　ＴＯ　ＴＨＥ　ＩＮＴＥＲＮＡＴＩＯＮＡＬ　ＨＵＢ　ＦＯＲ　ＥＳＯＴＥＲＩＣ　ＰＲＯＧＲＡＭＭＩＮＧ　ＬＡＮＧＵＡＧＥ　ＤＥＳＩＧＮ　ＡＮＤ　ＤＥＰＬＯＹＭＥＮＴï¼�ã€€ï¼¦ï¼¯ï¼²ã€€ï¼­ï¼¯ï¼²ï¼¥ã€€ï¼©ï¼®ï¼¦ï¼¯ï¼²ï¼­ï¼¡ï¼ < 1355183093 189976 :Gregor!codu@codu.org PRIVMSG #esoteric :Perfect. < 1355183095 327997 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :Oh, thanks < 1355183100 561574 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :`help < 1355183100 727071 :HackEgo!codu@codu.org PRIVMSG #esoteric :Runs arbitrary code in GNU/Linux. Type "`", or "`run " for full shell commands. "`fetch " downloads files. Files saved to $PWD are persistent, and $PWD/bin is in $PATH. $PWD is a mercurial repository, "`revert " can be used to revert to a revision. See http://codu.org/projects/hackbot/fshg/ < 1355183103 294102 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :I'll make sure to check out that wiki < 1355183111 101716 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :Gregor: P.S. nice Unicode failure pls fix? < 1355183123 111173 :Gregor!codu@codu.org PRIVMSG #esoteric :I don't have any clue why that happened X-D < 1355183129 870755 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :
ACTION thinks rm bin/perl is a bit of an incomplete solution to this problem...
< 1355183138 274027 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :I note that this is a good argument for the !/` distinction :P < 1355183143 189564 :Gregor!codu@codu.org PRIVMSG #esoteric :`url bin/ＷＥＬＣＯＭＥ < 1355183144 712964 :HackEgo!codu@codu.org PRIVMSG #esoteric :http://codu.org/projects/hackbot/fshg/index.cgi/raw-file/tip/bin/ＷＥＬＣＯＭＥ < 1355183160 510949 :Gregor!codu@codu.org PRIVMSG #esoteric :Dahell? < 1355183161 716823 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :Gregor: The Unicode failure is on HackEgo's part < 1355183165 54387 :olsner!~salparot@c83-252-194-156.bredband.comhem.se PRIVMSG #esoteric :rm bin/perl must be a step in the right direction though < 1355183168 794359 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :"ＩＮＦＯＲＭＡ��" < 1355183174 784087 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :You should .decode('utf-8') before length-limiting < 1355183188 733822 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :I guess you need a loop since IRC's bounds are probably byte-based < 1355183191 156095 :Gregor!codu@codu.org PRIVMSG #esoteric :No, I just want Python to treat it as raw, 8-bit crap. < 1355183191 833464 :olsner!~salparot@c83-252-194-156.bredband.comhem.se PRIVMSG #esoteric :(but beware, there may be more copies of perl) < 1355183206 817761 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :Gregor: ...so you want that to be fucked up? < 1355183224 156330 :Gregor!codu@codu.org PRIVMSG #esoteric :elliott: Cutting off mid-character is not a significant problem. < 1355183254 727161 :Gregor!codu@codu.org PRIVMSG #esoteric :OHWAIT is it displaying like that because it cut off mid-character so my client went “ehhhh Latin-1� < 1355183256 457022 :Gregor!codu@codu.org PRIVMSG #esoteric :X-D < 1355183313 113173 :Gregor!codu@codu.org PRIVMSG #esoteric :`run ＷＥＬＣＯＭＥ Gregor | head -c 3 < 1355183315 663501 :HackEgo!codu@codu.org PRIVMSG #esoteric :​Ｇ < 1355183320 330844 :Gregor!codu@codu.org PRIVMSG #esoteric :Tee hee, tee hee ^^ < 1355183332 220778 :olsner!~salparot@c83-252-194-156.bredband.comhem.se PRIVMSG #esoteric :ah, I guess that's why it's broken for me too < 1355183350 138474 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :`run echo $LANG < 1355183351 414791 :HackEgo!codu@codu.org PRIVMSG #esoteric :No output. < 1355183352 371648 :Gregor!codu@codu.org PRIVMSG #esoteric :I was kinda hoping that output wouldn't have to be valid UTF-8 though... < 1355183354 29294 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :Gregor: fix that :( < 1355183380 134128 :Gregor!codu@codu.org PRIVMSG #esoteric :elliott: I will, but not whilst at work. < 1355183402 843695 :Gregor!codu@codu.org PRIVMSG #esoteric :I'll try to make it so that if it fails to decode as UTF-8, it just does bytewise limiting. < 1355183431 470705 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :by "that" I meant LANG being unset < 1355183437 510896 :Gregor!codu@codu.org PRIVMSG #esoteric :Oh < 1355183443 676070 :Gregor!codu@codu.org PRIVMSG #esoteric :LANGuage is for losers though. < 1355183451 713674 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :it'd fix the head -c 3 thing < 1355183465 715322 :Gregor!codu@codu.org PRIVMSG #esoteric :I chose 3 precisely so it'd output what I expected X-D < 1355183472 918436 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :yes but it's still a bug < 1355183476 259508 :Gregor!codu@codu.org PRIVMSG #esoteric :>: ( < 1355183482 362980 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :problem with limiting UTF-8ly is that it's hard to maintain byte bounds without just chopping off one char at a time until it's fixed < 1355183561 396443 :zzo38!~zzo38@24-207-49-17.eastlink.ca JOIN :#esoteric < 1355183606 690866 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :LANGuid LANGuages. < 1355183654 732701 :Gregor!codu@codu.org PRIVMSG #esoteric :elliott: I'm thinking, (1) decode as UTF-8. If it doesn't decode, just use bytes. (2) Cut it off to a byte limit, then decode in a mode I'm hoping Python provides, “throw bad shit away�, (3) Re-encode and send < 1355183709 452327 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :Gregor: That sounds much worse than just while len(encoded) < limit: str = str[:-1]; encoded = str.encode('utf-8') < 1355183733 604384 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :(After you do pre_decoded_str = pre_decoded_str[:limit]; str = pre_decoded_str.decode('utf-8')) < 1355183739 420749 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :(So most of the time it'll never even get into that loop) < 1355183756 702164 :Gregor!codu@codu.org PRIVMSG #esoteric :elliott: I want to preserve incorrect strings. < 1355183764 208006 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :It does have that mode, though, unless I misremember. < 1355183771 34161 :Gregor!codu@codu.org PRIVMSG #esoteric :Ohwait, no, you mean for (2). < 1355183773 432585 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :What are you trying to decode? < 1355183775 294630 :Gregor!codu@codu.org PRIVMSG #esoteric :No, mine is considerably more efficient. < 1355183779 55616 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :er, I mean < 1355183783 174625 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :after you do str = str[:limit] < 1355183795 46580 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :Gregor: Throwing bad shit away is so gross :( < 1355183842 19426 :Gregor!codu@codu.org PRIVMSG #esoteric :elliott: Bad shit only occurs at the end of the string because you cut it off. < 1355183850 303348 :Gregor!codu@codu.org PRIVMSG #esoteric :I only run (2) if the whole string is valid. < 1355183877 198346 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric ::( < 1355183879 519296 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :you are gross & bad < 1355183929 543060 :Gregor!codu@codu.org PRIVMSG #esoteric :`locale < 1355183931 33919 :HackEgo!codu@codu.org PRIVMSG #esoteric :LANG=zh_TW.UTF-8 \ LANGUAGE= \ LC_CTYPE="zh_TW.UTF-8" \ LC_NUMERIC="zh_TW.UTF-8" \ LC_TIME="zh_TW.UTF-8" \ LC_COLLATE="zh_TW.UTF-8" \ LC_MONETARY="zh_TW.UTF-8" \ LC_MESSAGES="zh_TW.UTF-8" \ LC_PAPER="zh_TW.UTF-8" \ LC_NAME="zh_TW.UTF-8" \ LC_ADDRESS="zh_TW.UTF-8" \ LC_TELEPHONE="zh_TW.UTF-8" \ LC_MEASUREMENT="zh_TW.UTF-8" \ LC_IDENTIFICATION="zh_TW < 1355183941 212404 :Gregor!codu@codu.org PRIVMSG #esoteric :Fixed. < 1355183967 165758 :sebbu!~sebbu@ADijon-152-1-54-21.w83-194.abo.wanadoo.fr JOIN :#esoteric < 1355183986 706369 :sebbu!~sebbu@ADijon-152-1-54-21.w83-194.abo.wanadoo.fr QUIT :Changing host < 1355183986 778207 :sebbu!~sebbu@unaffiliated/sebbu JOIN :#esoteric