< 1365033642 265203 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oerjan: are you sure you didn't mean ban me for trolling < 1365033647 619650 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :i did do the dahl.net thing once remember < 1365033670 328665 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :but imo dont ban me because im too cool to get banned < 1365033717 590522 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :shachaf: that would be like sentencing a masochist to lashes < 1365033743 508282 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oerjan: i don't want to get banned < 1365033771 732578 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :YOUR REVERSE PSYCHOLOGY WILL GET YOU NOWHERE < 1365033799 263427 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :h8r < 1365033833 577967 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :I'm already getting ambiguous type constraints < 1365033834 436560 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :Yay < 1365033855 871425 :Jafet!~Jafet@unaffiliated/jafet PRIVMSG #esoteric :`run echo 'write a class Upcastable child parent where upcast :: child -> parent' | rainwords < 1365033858 120365 :HackEgo!codu@codu.org PRIVMSG #esoteric :​4write 7a 8class 9Upcastable 2child 13parent 6where 4upcast 7:: 8child 9-> 2parent < 1365033860 807450 :Bike!~Glossina@67-5-198-245.ptld.qwest.net PRIVMSG #esoteric :imo just upcase = unsafeCoerce < 1365033874 74489 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :listen to Bike < 1365033883 860979 :Jafet!~Jafet@unaffiliated/jafet PRIVMSG #esoteric :That's how C++ works right < 1365033923 801179 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Jafet: in C++ it's unsafeCoerce and a bit of pointer arithmetic < 1365033931 945524 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :It's now complaining about overlapping instances < 1365033950 519353 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Sgeo: have you considered that you're doing bad things and you should stop < 1365033978 869697 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :instance (Upcastable a b, Upcastable b c) => Upcastable a c where < 1365033981 894563 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :That's the only bad thing < 1365033984 566074 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :So far < 1365033986 455752 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Sgeo............................ < 1365033987 397744 :Bike!~Glossina@67-5-198-245.ptld.qwest.net PRIVMSG #esoteric :wow < 1365033989 541653 :Bike!~Glossina@67-5-198-245.ptld.qwest.net PRIVMSG #esoteric :wow. < 1365034024 913826 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :
ACTION will skip that for now
< 1365034047 586997 :Bike!~Glossina@67-5-198-245.ptld.qwest.net PRIVMSG #esoteric :btw sgeo i think i'm going to have beaten you out for farmingdaleness soon < 1365034053 274208 :Bike!~Glossina@67-5-198-245.ptld.qwest.net PRIVMSG #esoteric :this school has a degree program in organic food < 1365034053 659374 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Bike: So you know what a lens is, right? < 1365034057 124255 :Jafet!~Jafet@unaffiliated/jafet PRIVMSG #esoteric :"I tried to write java in haskell, but it wouldn't typecheck" < 1365034065 924153 :Bike!~Glossina@67-5-198-245.ptld.qwest.net PRIVMSG #esoteric :i've heard of lensess < 1365034081 257936 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Bike: Here's a lens lens: type Lens s t a b = forall f. Functor f => (a -> f b) -> s -> f t < 1365034094 432477 :Lumpio-!~matti@89-166-34-164.bb.dnainternet.fi PRIVMSG #esoteric :What's a lens do < 1365034099 541140 :augur!~augur@c-68-34-26-189.hsd1.md.comcast.net JOIN :#esoteric < 1365034099 765302 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :focuses < 1365034103 22915 :Lumpio-!~matti@89-166-34-164.bb.dnainternet.fi PRIVMSG #esoteric :ooh < 1365034107 625058 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :Nothing I'm trying shouldn't typecheck < 1365034112 242460 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :I'm not supporting downcasting < 1365034170 963969 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :does Bike know more about Sgeo than instance resolution already < 1365034181 98416 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :Bike: quick, tell me about the open world assumption < 1365034183 759844 :Bike!~Glossina@67-5-198-245.ptld.qwest.net PRIVMSG #esoteric :no i just like laughing at things < 1365034209 388073 :Bike!~Glossina@67-5-198-245.ptld.qwest.net PRIVMSG #esoteric :the open world assumption is that thing which is why you get errors like "No instance for (Num String)" instead of "you can't add strings together douchelord" < 1365034240 665729 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :well... sort of. < 1365034255 345467 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :i mean you could rephrase "No instance for Num String" as "you can't Num Strings douchelord" < 1365034262 457717 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Bike: wait you know things about Sgeo? < 1365034263 230129 :Bike!~Glossina@67-5-198-245.ptld.qwest.net PRIVMSG #esoteric :because it's assuming that maybe there could be an instance for Num String, instead of just saying "well there's no way that's possible" < 1365034271 670939 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :well sort of < 1365034278 482418 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :you have the basic idea down I give you 7.5/10 < 1365034284 629428 :Bike!~Glossina@67-5-198-245.ptld.qwest.net PRIVMSG #esoteric :k < 1365034291 162531 :nooga!~nooga@ip-46-250-173-30.ip.maverick.com.pl PRIVMSG #esoteric :douchelord < 1365034295 404859 :nooga!~nooga@ip-46-250-173-30.ip.maverick.com.pl PRIVMSG #esoteric :lol < 1365034298 223676 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :put in a bit of work and it could be 7.6/10, Bike < 1365034298 485739 :Bike!~Glossina@67-5-198-245.ptld.qwest.net PRIVMSG #esoteric :shachaf: There's also a Farmingdale near the place. It's actually called Farmingdale. < 1365034301 487805 :Bike!~Glossina@67-5-198-245.ptld.qwest.net PRIVMSG #esoteric :Thanks nooga. < 1365034320 37280 :nooga!~nooga@ip-46-250-173-30.ip.maverick.com.pl PRIVMSG #esoteric :n/p < 1365034322 429284 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :i can't tell if elliott's thing was on purpose or not < 1365034323 875492 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :help < 1365034341 97653 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :should i assume "yes" < 1365034348 543519 :nooga!~nooga@ip-46-250-173-30.ip.maverick.com.pl PRIVMSG #esoteric :yes < 1365034374 690383 :Bike!~Glossina@67-5-198-245.ptld.qwest.net PRIVMSG #esoteric :the open elliott assumption < 1365034375 43166 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :what thing < 1365034388 933768 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :I like to think that this gets covariance and contravariance concrete in my head < 1365034411 566938 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :well it gets some kind of concrete in your head < 1365034453 32364 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :shachaf: it has to become a brainfuck derivative first < 1365034471 559865 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :@pl \f a b -> f (a b) < 1365034471 754643 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :(.) < 1365034472 303259 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oerjan: nobody said anything about a brick < 1365034482 574625 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :or about a brain for that matter < 1365034492 10417 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :okay < 1365034492 798165 :nooga!~nooga@ip-46-250-173-30.ip.maverick.com.pl PRIVMSG #esoteric :hey guys < 1365034512 375238 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :hello nooga < 1365034512 595648 :nooga!~nooga@ip-46-250-173-30.ip.maverick.com.pl PRIVMSG #esoteric :i have this new idea for an esoteric programming language < 1365034523 499044 :Bike!~Glossina@67-5-198-245.ptld.qwest.net PRIVMSG #esoteric :based on gyroscopy? < 1365034528 852736 :nooga!~nooga@ip-46-250-173-30.ip.maverick.com.pl PRIVMSG #esoteric :no < 1365034547 35508 :Jafet!~Jafet@unaffiliated/jafet PRIVMSG #esoteric :gynoscopy < 1365034548 503958 :Bike!~Glossina@67-5-198-245.ptld.qwest.net PRIVMSG #esoteric :_;_ < 1365034559 556643 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :does it have 8 commands? < 1365034561 693331 :nooga!~nooga@ip-46-250-173-30.ip.maverick.com.pl PRIVMSG #esoteric :basically it's like brainfuck bit with elliott instead of - < 1365034611 205621 :Bike!~Glossina@67-5-198-245.ptld.qwest.net PRIVMSG #esoteric :this major is literally how to be a farmer. awesome < 1365034648 763409 :nooga!~nooga@ip-46-250-173-30.ip.maverick.com.pl PRIVMSG #esoteric :hmm < 1365034667 533280 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :Bike: can you get it from farmingdale < 1365034700 199999 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :Bike: also: what are its poultry science buildings like. < 1365034718 322727 :Bike!~Glossina@67-5-198-245.ptld.qwest.net PRIVMSG #esoteric :no but it's a few miles south of Farmington, Washington < 1365034728 830102 :Bike!~Glossina@67-5-198-245.ptld.qwest.net PRIVMSG #esoteric :pop. 146 < 1365034755 866624 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :Um. < 1365034760 239063 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :I think I found a GHC bug. < 1365034784 798872 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :let's take bets on whether Sgeo found a ghcbug < 1365034796 389537 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :Although it's in 7.4.2 so maybe it's well-known and fixed < 1365034804 983710 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :what is the bug < 1365034820 198140 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oh, 7.4.2 < 1365034836 244207 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :Something about irrefutable pattern failed < 1365034840 469573 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :http://ideone.com/wAuRUq < 1365034863 503792 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :I see ideone upgraded their GHC < 1365034866 123187 :Bike!~Glossina@67-5-198-245.ptld.qwest.net PRIVMSG #esoteric :i like those extensions. < 1365034879 287006 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Oh, maybe that is a GHC bug. < 1365034879 950349 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :Oh, I should get rid of OverlappingInstances < 1365034893 898376 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :It didn't even help the one that was complaining about overlapping whatever < 1365034901 249965 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :It's fixed in 7.6 < 1365034910 923395 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :The bug is in this line: < 1365034911 505821 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :instance (Upcastable c1 p1, Upcastable c2 p2) => (p1 -> c2) -> (c1 -> p2) where < 1365034922 197494 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Please note that (->) is not a type class. < 1365034933 28830 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :...derp < 1365034951 432323 :nooga!~nooga@ip-46-250-173-30.ip.maverick.com.pl PRIVMSG #esoteric :danm < 1365034976 387148 :Bike!~Glossina@67-5-198-245.ptld.qwest.net PRIVMSG #esoteric :but what if it was < 1365034996 953697 :Jafet!~Jafet@unaffiliated/jafet PRIVMSG #esoteric :-XWhatIf < 1365035024 943859 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :oh, this paper is cool. < 1365035047 973879 :Bike!~Glossina@67-5-198-245.ptld.qwest.net PRIVMSG #esoteric :is it the paper about making reals without making rationals < 1365035085 594463 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :thshachaf < 1365035108 527817 :Bike!~Glossina@67-5-198-245.ptld.qwest.net PRIVMSG #esoteric :sgeo's thing seems like it could have a more comprehensible error, though. < 1365035118 89406 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :yes that's what was fixed in 7.6 < 1365035123 82607 :Bike!~Glossina@67-5-198-245.ptld.qwest.net PRIVMSG #esoteric :hooray! < 1365035127 439197 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :Bike: no but that paper sounds cool too, link < 1365035132 48814 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :i mean i can think of ways to do it. < 1365035135 733338 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :also it's probably classical and awful. < 1365035140 86664 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :Bike, it is a GHC bug. The error is not supposed to be about irrefutable patterns being broken in compiler code < 1365035142 941948 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :but link anyway. < 1365035145 477864 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Bike: R is just the power set of N hth < 1365035154 715674 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :(this one is Operational Semantics Using the Partiality Monad by Nils Anders Danielsson.) < 1365035184 355597 :Bike!~Glossina@67-5-198-245.ptld.qwest.net PRIVMSG #esoteric :http://arxiv.org/abs/math/0405454 < 1365035192 852348 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Nils Anders Danielsson < 1365035204 431908 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :is he all done with writing fairy tales? < 1365035223 688978 :Bike!~Glossina@67-5-198-245.ptld.qwest.net PRIVMSG #esoteric :it has plenty of category theoryy stuff in it iirc < 1365035231 881009 :Bike!~Glossina@67-5-198-245.ptld.qwest.net PRIVMSG #esoteric :though maybe i'm being confused with how i was reading about adjoints later < 1365035234 465566 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :@pl \f c -> uc (f (uc c)) < 1365035234 668523 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :(uc .) . (. uc) < 1365035253 689860 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Bike: i heard they were legal in washington now < 1365035259 713942 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :@pl \f c -> uc (f (uc1 c)) < 1365035259 908230 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :(uc .) . (. uc1) < 1365035265 402078 :Bike!~Glossina@67-5-198-245.ptld.qwest.net PRIVMSG #esoteric :damn straight. < 1365035273 758783 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :anyway category theory more like bad theory right < 1365035285 244645 :Bike!~Glossina@67-5-198-245.ptld.qwest.net PRIVMSG #esoteric :more like theory that is stupid and dumb < 1365035304 403600 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :you sure showed 'em Bike < 1365035311 447603 :Bike!~Glossina@67-5-198-245.ptld.qwest.net PRIVMSG #esoteric :"Dairy Cattle Management Laboratory" is a class. < 1365035318 984750 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric ::t listFromMaybe < 1365035320 140481 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :Bike: wow this looks like a paper I might actually understand. < 1365035320 335369 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : Not in scope: `listFromMaybe' < 1365035320 529757 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : Perhaps you meant `listToMaybe' (imported from Data.Maybe) < 1365035326 996159 :Bike!~Glossina@67-5-198-245.ptld.qwest.net PRIVMSG #esoteric :elliott: weird huh < 1365035337 600508 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :Bike: it's an uncommon occurrence :( < 1365035339 881962 :Bike!~Glossina@67-5-198-245.ptld.qwest.net PRIVMSG #esoteric ::t maybeToList < 1365035341 624669 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :Maybe a -> [a] < 1365035350 170304 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :does that really exist < 1365035356 390261 :Bike!~Glossina@67-5-198-245.ptld.qwest.net PRIVMSG #esoteric :elliott: being dumb and stupid is suffering. < 1365035364 935982 :Bike!~Glossina@67-5-198-245.ptld.qwest.net PRIVMSG #esoteric :> maybeToList (Just 437) < 1365035366 783172 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : [437] < 1365035368 988853 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :also, suffering is stupid and dumb < 1365035370 706586 :Bike!~Glossina@67-5-198-245.ptld.qwest.net PRIVMSG #esoteric :yes. hell yes < 1365035380 297203 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :> Foldable.toList (Just 437) -- the true way to write it < 1365035381 769768 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : Not in scope: `Foldable.toList' < 1365035382 297900 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :dude the real numbers = just the powerset of the natural numbers < 1365035383 785860 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :> F.toList (Just 437) -- the true way to write it < 1365035385 490590 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : Not in scope: `F.toList' < 1365035385 684372 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : Perhaps you meant one of these: < 1365035385 684468 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : `S.toList' (im... < 1365035390 643207 :Bike!~Glossina@67-5-198-245.ptld.qwest.net PRIVMSG #esoteric :good job elliott. < 1365035397 667787 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :shachaf: how are you going to define arithmetic on that nicely exactly < 1365035400 905673 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :> Data.Foldable.toList (Just 437) -- the true way to write it < 1365035402 10530 :Bike!~Glossina@67-5-198-245.ptld.qwest.net PRIVMSG #esoteric :shachaf: That doesn't involve the word "Eudoxus" though. < 1365035402 825875 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : [437] < 1365035404 435198 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :elliott: i don't need to < 1365035419 273539 :Bike!~Glossina@67-5-198-245.ptld.qwest.net PRIVMSG #esoteric :> listToMaybe [437,0] < 1365035420 992070 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : Just 437 < 1365035421 514974 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :elliott: don't you know how maths work < 1365035425 647909 :Bike!~Glossina@67-5-198-245.ptld.qwest.net PRIVMSG #esoteric :good typing < 1365035447 91075 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :this guy's email is at lemma-one.com < 1365035451 432379 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :that is a very yellow site. < 1365035462 845994 :Bike!~Glossina@67-5-198-245.ptld.qwest.net PRIVMSG #esoteric :holy shit, ow < 1365035466 674715 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :oh that site is maintained by the person who wrote this. I get the feeling this guy might not be a Real Mathematician™ < 1365035478 136183 :Bike!~Glossina@67-5-198-245.ptld.qwest.net PRIVMSG #esoteric :hey, hey. ProofPower - a suite of tools for specification and proof in HOL and Z; also the Compliance Tool for specifying and verifying Ada programs. < 1365035481 136657 :Bike!~Glossina@67-5-198-245.ptld.qwest.net PRIVMSG #esoteric :Get on that sgeo. < 1365035485 385296 :Bike!~Glossina@67-5-198-245.ptld.qwest.net PRIVMSG #esoteric :elliott: You mean a crank? < 1365035485 882139 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :as MCALLISTER Keegan used to say: what's yellow &c < 1365035500 725075 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :Bike: also wait aren't you like a biologist. how do you know about this paper. I am suspicious < 1365035506 842401 :Bike!~Glossina@67-5-198-245.ptld.qwest.net PRIVMSG #esoteric :http://lemma-one.com/email.gif < 1365035512 554717 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Bike is a biologist??????????????????????????????????? < 1365035522 20351 :Bike!~Glossina@67-5-198-245.ptld.qwest.net PRIVMSG #esoteric :a wannabe biologist < 1365035527 200283 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :Magnitudes are said to be in the same ratio, the first to the second < 1365035527 394800 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :and the third to the fourth, when, if any equimultiples whatever are taken < 1365035527 394991 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :of the first and third, and any equimultiples whatever of the second and < 1365035527 395099 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :fourth, the former equimultiples alike exceed, are alike equal to, or alike < 1365035527 395202 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :fall short of, the latter equimultiples respectively taken in corresponding < 1365035529 693182 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :order. < 1365035530 592547 :Bike!~Glossina@67-5-198-245.ptld.qwest.net PRIVMSG #esoteric :most people i know are mathers though < 1365035532 89997 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :Euclid. Elements of Geometry. Book V. Definition 5. < 1365035534 725883 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :i forgot how fucking unreadable the Elements are < 1365035567 162426 :Bike!~Glossina@67-5-198-245.ptld.qwest.net PRIVMSG #esoteric :haha yeah i have that God Created the Integers book and the Elements are like "a line is a thing between two points" or whatever and it's like well... okay... < 1365035583 632766 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :elliott: you think that's unreadable, try it in greek < 1365035601 853129 :Bike!~Glossina@67-5-198-245.ptld.qwest.net PRIVMSG #esoteric :but seriously, I think mathematical biology is Pretty Cool and just like math by itself anyway. < 1365035612 410038 :Bike!~Glossina@67-5-198-245.ptld.qwest.net PRIVMSG #esoteric :maybe i just like reading shit i barley understand. barley understand. barley < 1365035644 700480 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :pretty sure mathematical biology cannot be a true mathematic just going by the name prove me wrong < 1365035661 18094 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :elliott: is "a mathematic" what "a math" stands for < 1365035663 850120 :Bike!~Glossina@67-5-198-245.ptld.qwest.net PRIVMSG #esoteric :kolmogorov half invented it < 1365035665 427232 :Bike!~Glossina@67-5-198-245.ptld.qwest.net PRIVMSG #esoteric :qed < 1365035678 69077 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :ok that's pretty good but who invented the other half < 1365035678 263626 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :shachaf: no, math stands for a spelling error < 1365035686 53097 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :a mathematique < 1365035686 479082 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :elliott: not "math", "a math" < 1365035692 107204 :Bike!~Glossina@67-5-198-245.ptld.qwest.net PRIVMSG #esoteric :shachaf: i dunno probably lotka < 1365035693 513031 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :as in one math, multiple maths < 1365035696 789567 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :bah < 1365035708 388319 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :kolmogorov was a weird dude. well, probably. I know nothing about him < 1365035717 319353 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :I try to use upcast, now it's saying it wants incoherent instances < 1365035720 696356 :Bike!~Glossina@67-5-198-245.ptld.qwest.net PRIVMSG #esoteric :he was gay that's "pretty weird" everybody around me says < 1365035734 254411 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Sgeo: someone here is being incoherent < 1365035735 494856 :Bike!~Glossina@67-5-198-245.ptld.qwest.net PRIVMSG #esoteric :also a mega genius so probably crazy. < 1365035752 164582 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :kolmogorov was the best < 1365035822 14409 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :hey what does kolya stand for < 1365035829 161944 :tromp_!~tromp@rtc35-148.rentec.com PRIVMSG #esoteric :i heard he loved to ski naked:) < 1365035835 435974 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oh it stands for nikolay < 1365035836 817916 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :represent R by the < 1365035837 10874 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :sequence of integers in which the m-th term, Rm say, gives the number of columns < 1365035839 859609 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :to the left of or in line with the m-th railing in the figure. This sequence Rm will < 1365035840 746627 :Bike!~Glossina@67-5-198-245.ptld.qwest.net PRIVMSG #esoteric :Techniques in semen handling, insemination, and pregnancy detection in cattle. < 1365035842 843567 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :represent R. < 1365035850 159925 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :wow such wastefulness, should clearly replace every element with it subtracted from the previous one < 1365035865 664841 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I don't quite follow https://en.wikipedia.org/wiki/Nikolay < 1365035872 156667 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Nikolay or Nikolai is an East Slavic variant of the feminine name Nicola, meaning "Goat Whisperer." It may refer to: < 1365035882 653059 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :then there's a long list of people named nikolay < 1365035884 302809 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :then < 1365035884 985047 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Nikolai Aleksandrovich or Nikolay Aleksandrovich (Russian: Николай Александрович), ofter shortened Nicolay or Nicolai without the patronymic Aleksandrovich, is a Russian male given name. It may refer to: < 1365035893 784558 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :and a long list of people named nikolai aleksandrovich < 1365035901 527044 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :what's special about the patronym aleksandrovich < 1365035908 868135 :Bike!~Glossina@67-5-198-245.ptld.qwest.net PRIVMSG #esoteric :it's popular i guess < 1365035984 704139 :SirCmpwn!~SirCmpwn@unaffiliated/sircmpwn PRIVMSG #esoteric :https://gist.github.com/SirCmpwn/57f20df5698a128b4411 < 1365036005 704 :SirCmpwn!~SirCmpwn@unaffiliated/sircmpwn PRIVMSG #esoteric :elon musk is going to read this as part of a letter that will decide if I am to be hired at spacex < 1365036021 62132 :Bike!~Glossina@67-5-198-245.ptld.qwest.net PRIVMSG #esoteric :Nice. < 1365036031 335705 :SirCmpwn!~SirCmpwn@unaffiliated/sircmpwn PRIVMSG #esoteric :I think my IRC bot is impressive enough to mention (and in line with the kind of problem solving they want to see), but I have to say 'brainfuck' to a recruiter if I mention it < 1365036039 765080 :Bike!~Glossina@67-5-198-245.ptld.qwest.net PRIVMSG #esoteric :Does spacex use wacky verification stuff like NASA < 1365036054 261950 :Bike!~Glossina@67-5-198-245.ptld.qwest.net PRIVMSG #esoteric :I bet you could make some shit up about brainfuck being easy to reason about < 1365036056 145980 :SirCmpwn!~SirCmpwn@unaffiliated/sircmpwn PRIVMSG #esoteric :what is wacky verification stuff < 1365036058 889831 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Sgeo: imo just port it to some derivative with a less offensive name < 1365036064 63518 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :s/geo/irCmpwn/ < 1365036069 421834 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :if you're worried about that < 1365036069 616405 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :like braintrust. < 1365036075 633571 :SirCmpwn!~SirCmpwn@unaffiliated/sircmpwn PRIVMSG #esoteric :brainsex < 1365036080 33749 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :there once was a fish named fred < 1365036088 921492 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :you'll have to extend it with a mechanism for output (or was it input) < 1365036148 497808 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :Bike: hm I wonder how well this construction goes constructively. < 1365036158 260563 :Bike!~Glossina@67-5-198-245.ptld.qwest.net PRIVMSG #esoteric :You would! < 1365036177 606131 :Bike!~Glossina@67-5-198-245.ptld.qwest.net PRIVMSG #esoteric :Maybe you could set up some rules about where rails can be. < 1365036181 304585 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :elliott: well it's a construction soooooo ................... < 1365036211 586634 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :Bike: does this paper show e.g. how to define pi and such < 1365036222 620763 :Bike!~Glossina@67-5-198-245.ptld.qwest.net PRIVMSG #esoteric :no. < 1365036232 25608 :Bike!~Glossina@67-5-198-245.ptld.qwest.net PRIVMSG #esoteric :SirCmpwn: http://en.wikipedia.org/wiki/SPIN_model_checker http://en.wikipedia.org/wiki/Java_Pathfinder that sort of stuff < 1365036241 506497 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :SPIN is cool < 1365036249 743980 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :i took a class from the main SPIN guy < 1365036266 805773 :SirCmpwn!~SirCmpwn@unaffiliated/sircmpwn PRIVMSG #esoteric :wat < 1365036271 206935 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :Bike: I'm upset. < 1365036279 57424 :Bike!~Glossina@67-5-198-245.ptld.qwest.net PRIVMSG #esoteric :I'm sorry. < 1365036286 676328 :Bike!~Glossina@67-5-198-245.ptld.qwest.net PRIVMSG #esoteric :Maybe you could stop being upset. < 1365036291 913810 :Bike!~Glossina@67-5-198-245.ptld.qwest.net PRIVMSG #esoteric :SirCmpwn: re: wacky verification stuff < 1365036324 617586 :SirCmpwn!~SirCmpwn@unaffiliated/sircmpwn PRIVMSG #esoteric :oh, that stuff < 1365036328 603995 :SirCmpwn!~SirCmpwn@unaffiliated/sircmpwn PRIVMSG #esoteric :maybe for rocket-grade software < 1365036332 142899 :SirCmpwn!~SirCmpwn@unaffiliated/sircmpwn PRIVMSG #esoteric :but that's not what I'd be working on there < 1365036336 719823 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :elliott: pi is the ratio of the length of the circumference of a circle to twice the length of the radius of a circle hth < 1365036359 918043 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :isn't elon musk crazy < 1365036362 83682 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :or was that the other guy < 1365036368 761478 :SirCmpwn!~SirCmpwn@unaffiliated/sircmpwn PRIVMSG #esoteric :their space-grade software run on Linux, though, so if it's good enough for linux, it's good enough for them < 1365036391 322295 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :wow, they trust rockets to Linux? < 1365036396 948812 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :must have never looked at the code < 1365036414 202288 :nooga!~nooga@ip-46-250-173-30.ip.maverick.com.pl QUIT :Ping timeout: 264 seconds < 1365036415 380199 :Bike!~Glossina@67-5-198-245.ptld.qwest.net PRIVMSG #esoteric :Well the ISS uses Windows. < 1365036424 135006 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric : Nikolay or Nikolai is an East Slavic variant of the feminine name Nicola, meaning "Goat Whisperer." It may refer to: <-- that's vandalism, i've reverted it. in the process realizing you _can_ undo a row of edits simultaneously now... < 1365036459 592228 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oerjan: oh i wasn't talking about that part < 1365036464 743567 :Bike!~Glossina@67-5-198-245.ptld.qwest.net PRIVMSG #esoteric :"I don't have an issue with serving in the military per se, but serving in the South African army suppressing black people just didn't seem like a really good way to spend time" < 1365036466 368735 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :Bike: not for the actual super duper important stuff I'd assume < 1365036467 732413 :Jafet!~Jafet@unaffiliated/jafet PRIVMSG #esoteric :http://www.theregister.co.uk/2012/01/12/drone_consoles_linux_switch/ < 1365036478 272553 :Bike!~Glossina@67-5-198-245.ptld.qwest.net PRIVMSG #esoteric :elliott: well nah. < 1365036501 249577 :Bike!~Glossina@67-5-198-245.ptld.qwest.net PRIVMSG #esoteric :"Musk went on to a graduate program in both applied physics and materials science at Stanford in 1995. He stayed two days before dropping out to start Zip2, which provided online content publishing software for news organisations," < 1365036548 666334 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :ok I think it was another paypal founder who was completely crazy. < 1365036564 561812 :Bike!~Glossina@67-5-198-245.ptld.qwest.net PRIVMSG #esoteric :Musk had plans for a "Mars Oasis" project in 2001, which would land a miniature experimental greenhouse on Mars, containing food crops growing on Martian regolith. < 1365036573 627596 :Bike!~Glossina@67-5-198-245.ptld.qwest.net PRIVMSG #esoteric :Oh, you mean the one who wanted to found the place from Bioshock? < 1365036596 706250 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :how about the one who wrestled on the floor < 1365036599 433136 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :or did they all do that < 1365036601 618101 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :right that one. < 1365036604 414300 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :same one I think. < 1365036610 627822 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :also the weird misogynist I think? < 1365036629 47744 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :so is elon musk also an obnoxious libertarian < 1365036629 930959 :Bike!~Glossina@67-5-198-245.ptld.qwest.net PRIVMSG #esoteric :hm this other paypal guy was a producer of Thank You For Smoking, I can't hate that < 1365036630 125572 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :well aren't most people? < 1365036638 594995 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :like peter thiel < 1365036656 633452 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :right peter thiel was the one < 1365036658 661049 :Bike!~Glossina@67-5-198-245.ptld.qwest.net PRIVMSG #esoteric :ah okay Thiel's the bioshock guy < 1365036695 610304 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :ok musk seems like a decent guy. or at least I see no evidence to suggest otherwise < 1365036698 46077 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :peter thiel said that letting women vote was the biggest political catastrophe of the 20th century, or something < 1365036703 413631 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :except for founding a company with peter thiel I guess? < 1365036705 902312 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :because it means that libertarianism won't automatically win always < 1365036709 83589 :Bike!~Glossina@67-5-198-245.ptld.qwest.net PRIVMSG #esoteric :ok i want to hear the explanation behind that < 1365036716 19625 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :also I guess paypal is kind of evil but I suppose that probably came later < 1365036722 72419 :Bike!~Glossina@67-5-198-245.ptld.qwest.net PRIVMSG #esoteric :"The Diversity Myth" oh, well, < 1365036735 737076 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :is that the article about how great it was that PayPal was 100% male bros from stanford < 1365036746 91936 :Bike!~Glossina@67-5-198-245.ptld.qwest.net PRIVMSG #esoteric :no it's a fucking entire book < 1365036747 640058 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :and they would wrestle with each other to settle arguments? < 1365036748 511993 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :oh < 1365036756 711302 :Bike!~Glossina@67-5-198-245.ptld.qwest.net PRIVMSG #esoteric :"The Diversity Myth: 'Multiculturalism' and the Politics of Intolerance at Stanford" < 1365036765 66181 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :welp < 1365036766 104986 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :The 'Diversity' Myth < 1365036766 670397 :Bike!~Glossina@67-5-198-245.ptld.qwest.net PRIVMSG #esoteric :pretty sure you can fill in the synopsis yourself < 1365036784 230765 :Bike!~Glossina@67-5-198-245.ptld.qwest.net PRIVMSG #esoteric :got a negative review from Condaleeza Rice, lol < 1365036791 668268 :Bike!~Glossina@67-5-198-245.ptld.qwest.net PRIVMSG #esoteric :whose name i can't spell < 1365036829 892693 :Bike!~Glossina@67-5-198-245.ptld.qwest.net PRIVMSG #esoteric :Hyperloop is a hypothetical mode of high-speed transportation proposed by inventor and SpaceX founder Elon Musk. Musk has envisioned the system as a 'fifth mode' of transportation, an alternative to boats, planes, cars and trains.[1] The system would, in theory, be able to travel from downtown Los Angeles to downtown San Francisco in under 30 minutes.[2] < 1365036902 40202 :Bike!~Glossina@67-5-198-245.ptld.qwest.net PRIVMSG #esoteric :oh, thiel also helped with Thank you for smoking. guess i can hate that. < 1365036918 327902 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :that was a good movie though :< < 1365036956 129826 :Bike!~Glossina@67-5-198-245.ptld.qwest.net PRIVMSG #esoteric :Huh it was made by William Buckley's son! < 1365036958 162583 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :at least I remember it being good < 1365036961 58043 :Bike!~Glossina@67-5-198-245.ptld.qwest.net PRIVMSG #esoteric :I didn't know htat. < 1365036964 294706 :Bike!~Glossina@67-5-198-245.ptld.qwest.net PRIVMSG #esoteric :Yeah, I liked the movie too. < 1365036976 225992 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :i'm sure peter thiel has done at least one thing I like even if he is a douchebag < 1365036980 908957 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :that's life < 1365037002 498641 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :elliott: the optimist in me would imagine that as a book about colleges seeking superficial diversity while ignoring the hard things (e.g. class) so they end up with a bunch of ""diverse"" suburban upper-middle-class kids < 1365037006 507252 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :but I'm guesing that isn't it < 1365037009 655181 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :*guessing < 1365037011 15268 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :hm hitler probably did one thing that I like too < 1365037020 168463 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :he painted pictures? < 1365037022 315551 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :he banned tubas, I guess I am neutral on tubas < 1365037026 92782 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :oh! he killed hitler < 1365037026 379023 :Bike!~Glossina@67-5-198-245.ptld.qwest.net PRIVMSG #esoteric :his paintings are kind of shitty < 1365037026 702354 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :omg are we having a go at libertarians < 1365037027 28866 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :they weren't very good pictures < 1365037030 739710 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :oh yeah, there we go < 1365037032 92870 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :thanks Fiora < 1365037033 466785 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :that's one thing he did that was good, right < 1365037034 558459 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :he killed hitler < 1365037038 422925 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :so he wasn't all bad was he < 1365037039 124387 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :i haven't had a good libertarian bashing for like a week < 1365037044 994123 :Bike!~Glossina@67-5-198-245.ptld.qwest.net PRIVMSG #esoteric :he also killed the guy who killed hitler < 1365037051 516440 :Bike!~Glossina@67-5-198-245.ptld.qwest.net PRIVMSG #esoteric :yeah that's right, i'm stealing a joke from a youtube comment. < 1365037056 472487 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :unlike the rest of us, Phantom_Hoover is referring to literal bashing. < 1365037056 667113 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :... that's true. that's pretty bad < 1365037065 426901 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :a side-project to unwind from all the brainfuck derivative brainbricking < 1365037085 312594 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :`addquote hm hitler probably did one thing that I like too he banned tubas, I guess I am neutral on tubas < 1365037089 183521 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :(please read that in your head without a hint of sarcasm) < 1365037089 378146 :HackEgo!codu@codu.org PRIVMSG #esoteric :1008) hm hitler probably did one thing that I like too he banned tubas, I guess I am neutral on tubas < 1365037110 137940 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :kmc: it's gonna be great when your future employer finds the #esoteric quote database < 1365037144 226536 :Bike!~Glossina@67-5-198-245.ptld.qwest.net PRIVMSG #esoteric :`quote kmc < 1365037145 965735 :HackEgo!codu@codu.org PRIVMSG #esoteric :597) COCKS [...] truly cocks \ 628) You should get kmc in this channel. kmc has good quotes. `quote kmc 686) COCKS [...] truly cocks Well, in theory. \ 699) damn i should make a quasiquoter for inline FORTRAN \ 702) has there been any work towards designing programming l < 1365037150 861576 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :Bike: secretly I steal all my jokes from youtube comments < 1365037154 556444 :Bike!~Glossina@67-5-198-245.ptld.qwest.net PRIVMSG #esoteric :wow that's pretty hireable < 1365037171 231390 :Bike!~Glossina@67-5-198-245.ptld.qwest.net PRIVMSG #esoteric :i kind of want to hire him and i'm not even an employer < 1365037186 522980 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :hey kmc can i hire you < 1365037188 903565 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :thankfully 702 cut off just before the reference to illicit activities < 1365037191 757793 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :i pay in tosanini's burnt caramel ice cream < 1365037197 687123 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :toscanini's < 1365037211 964403 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :shachaf: i want ice cream now < 1365037213 294270 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :god dammit < 1365037238 228141 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :elliott: imo come to Mid-Cambridge, MA and have yourself some burnt caramel ice cream from toscanini's < 1365037281 379070 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :`addquote hm hitler probably did one thing that I like too he banned tubas, I guess I am neutral on tubas oh! he killed hitler oh yeah, there we go thanks Fiora he also killed the guy who killed hitler < 1365037284 934938 :HackEgo!codu@codu.org PRIVMSG #esoteric :1009) hm hitler probably did one thing that I like too he banned tubas, I guess I am neutral on tubas oh! he killed hitler oh yeah, there we go thanks Fiora he also killed the guy who killed hitler < 1365037285 129135 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :eh < 1365037294 843717 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :(maybe?) < 1365037296 518967 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :is there anything interesting in cambridge < 1365037299 179997 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :`delquote 1008 < 1365037303 699791 :HackEgo!codu@codu.org PRIVMSG #esoteric :​*poof* hm hitler probably did one thing that I like too he banned tubas, I guess I am neutral on tubas < 1365037305 55140 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :usurped < 1365037339 82990 :augur!~augur@c-68-34-26-189.hsd1.md.comcast.net QUIT :Remote host closed the connection < 1365037341 316053 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :01:55:42 Do you prefer burnt caramel ice cream or salted caramel ice cream? < 1365037344 378947 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :01:55:57 dolio: salted hth < 1365037347 296628 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :shachaf are you advertising the inferior ice cream to me. < 1365037359 354323 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :elliott: < 1365037365 659965 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :17:57 dolio: I was at Toscanini's in Jan 2012 and I had burnt caramel ice cream! < 1365037368 802585 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :17:58 I was looking forward to it and then disappointed. < 1365037369 18430 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :17:58 I guess I don't like burnt things very much? :-( < 1365037374 134951 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :wow. < 1365037376 629554 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :you wanted to disappoint me. < 1365037381 35777 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :17:58 It's delicious. < 1365037385 895244 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :isn't burnt caramel basically... caramel. < 1365037388 924052 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :the real qustion is who do you trust < 1365037390 719113 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :dolio or me < 1365037587 31140 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Sgeo: You're abusing type classes. Stop it. < 1365037610 591539 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :I abuse norns, I abuse type classes < 1365037618 646130 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :caramel is basically burnt sugar < 1365037626 815812 :Bike!~Glossina@67-5-198-245.ptld.qwest.net PRIVMSG #esoteric :some kind of psychopath but actually just kind of sad to watch < 1365037628 309376 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :oerjan: hence my confusion. < 1365037629 644323 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :listen to oerjan < 1365037638 453989 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :you think you can only burn something once? < 1365037642 998092 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :burn sugar, it becomes caramel < 1365037649 544202 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :burn caramel, it becomes burnt caramel < 1365037664 680583 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :erie and burnt < 1365037731 500904 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :what happens if you burn burnt caramel < 1365037739 57401 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :charcoal. < 1365037775 953978 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :if you freeze burnt caramel you get burnt caramel ice cream hth < 1365037777 223846 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`quote charcoal < 1365037778 728123 :HackEgo!codu@codu.org PRIVMSG #esoteric :29) is there a problem with it being carbonized :D yes: carbonized coffee bean is known more commonly as "charcoal" < 1365038221 645245 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :wait jackalopes aren't real? < 1365038232 871573 :Bike!~Glossina@67-5-198-245.ptld.qwest.net PRIVMSG #esoteric :you lived in washington and didn't know that? < 1365038252 344297 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :Bike: oh huh. addition is really easy. < 1365038261 845748 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Bike: i never knew exactly what they were :'( < 1365038331 313583 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`addquote Bike: oh huh. addition is really easy. < 1365038334 807828 :HackEgo!codu@codu.org PRIVMSG #esoteric :1009) Bike: oh huh. addition is really easy. < 1365038377 1232 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :elliott: well i mean it stands to reason addition would be easy < 1365038391 13576 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :after all..................... < 1365038401 875892 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :
ACTION swats shachaf -----###
< 1365038421 607953 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :multiplication looks harder though. your theory needs work < 1365038434 688435 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :Bike: help, this paper makes me want to write it out in Coq instead of doing things I want to do instead < 1365038443 404052 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :like maybe learn Idris, or read that Operational Semantics Using the Partiality Monad paper. < 1365038456 795207 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :elliott: imo finish the category theory thing instead? < 1365038490 431711 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :that's work < 1365038533 618541 :nooodl_!~nooodl@91.177.109.136 QUIT :Ping timeout: 245 seconds < 1365038714 752812 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :Bike: oh, this bounded range thing is gross. < 1365038976 570933 :GOMADWarrior!~Regis@187.65.192.206 QUIT :Ping timeout: 264 seconds < 1365039012 60761 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :Bike: there is the third option of doing some kind of dependent lens thing. < 1365039264 100145 :Bike!~Glossina@67-5-198-245.ptld.qwest.net PRIVMSG #esoteric :thank god for grossness < 1365039702 531053 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net JOIN :#esoteric < 1365040289 686054 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :Bike: ok i lied this is the worst < 1365040291 899842 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :lied by < 1365040293 258827 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :not lynig < 1365040295 86146 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :osdfjk < 1365040309 355490 :Bike!~Glossina@67-5-198-245.ptld.qwest.net PRIVMSG #esoteric :worst is pretty bad < 1365040331 262191 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :is it worse than #haskell < 1365040654 352576 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :whats this < 1365040688 529913 :variable!~root@freebsd/developer/variable QUIT :Quit: I found 1 in /dev/zero < 1365040697 172772 :Bike!~Glossina@67-5-198-245.ptld.qwest.net PRIVMSG #esoteric :http://arxiv.org/abs/math/0405454, monqy < 1365040718 616792 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric : ah < 1365040743 641678 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :its bikes fault < 1365040751 234360 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :if you link me to anything i have to write it in coq < 1365040755 111992 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :wow Bike stop being bad < 1365040766 887276 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :link me to poems? those are going to end up being coq < 1365040776 973270 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :elliott: http://slbkbs.org/categ.hs < 1365040780 529727 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :link me to a picture of a cat? it's actually a picture of a rooster < 1365040789 849470 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :shachaf: fuck you < 1365040807 683912 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :remember that "paper thing" about that thing the one with division by zero < 1365040819 601976 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :and the guy who did it was in here < 1365040831 516546 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oh man i remember that < 1365040834 24924 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :link elliott to it < 1365040834 219849 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :wow this isnt quackery!! im going to kill you for libel monqy < 1365040851 751136 :Bike!~Glossina@67-5-198-245.ptld.qwest.net PRIVMSG #esoteric :Wait shit, you got the phi dude in here? < 1365040859 626014 :Bike!~Glossina@67-5-198-245.ptld.qwest.net PRIVMSG #esoteric :or whatever he called his stupid... everything < 1365040866 176537 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :nullity dude? no this is diff. < 1365040876 789581 :Bike!~Glossina@67-5-198-245.ptld.qwest.net PRIVMSG #esoteric :oh but i liked nullity :( (no i didn't) < 1365040885 717075 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :elliott: i figured as much but i was just reminded < 1365040886 666806 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :it awast nd idnvisision bey zero btw < 1365040897 652393 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :British computer scientist's new "nullity" idea provokes reaction from mathematicians < 1365040900 686561 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :good title < 1365040925 859148 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :british computer scientist discovers 1 weird old trick < 1365040931 409424 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :wasn't that the thing that was just NaN < 1365040943 65947 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :we're talking about a different thing noW!! < 1365040959 657886 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :btw does britain actually exist i think not < 1365040960 339436 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :kmc: lose 15 epsilons in 3 weeks with this one weird old trick < 1365040976 452589 :Bike!~Glossina@67-5-198-245.ptld.qwest.net PRIVMSG #esoteric :ugh but tao actually has a post on "epsilon management" < 1365040990 721382 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :elliott: wasnt it construction of the arithmetic's or something with the goal or something of hating division by zero and you dont want that < 1365041008 400374 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :so they reinvent the construction of the rationals but make it insane < 1365041012 90440 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Bike: well does erdős have one < 1365041014 541254 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :and use weird terminology < 1365041014 735914 :Bike!~Glossina@67-5-198-245.ptld.qwest.net PRIVMSG #esoteric :oh that guy < 1365041014 930996 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :monqy: well it was a bit different < 1365041018 321365 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :it rejected 0 itself instead < 1365041019 512043 :Bike!~Glossina@67-5-198-245.ptld.qwest.net PRIVMSG #esoteric :i remember that guy < 1365041025 291061 :Bike!~Glossina@67-5-198-245.ptld.qwest.net PRIVMSG #esoteric :something about "losing information" < 1365041027 355308 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric ::D < 1365041028 669453 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :hey remember that "paper thing" with the proof that the reals were countable < 1365041040 345658 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :was that in here or in another channel < 1365041048 959205 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :elliott: oh right < 1365041052 86224 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :it was weird for me when people started making 1 weird old trick jokes because like < 1365041057 286132 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :i just assume the adverts i see are for my eyes only < 1365041060 125810 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :everyone else gets different ones < 1365041060 320616 :pikhq!~pikhq@174-24-14-72.clsp.qwest.net PRIVMSG #esoteric :shachaf: I don't think that was here, but it sounds hilarious. < 1365041080 450294 :Bike!~Glossina@67-5-198-245.ptld.qwest.net PRIVMSG #esoteric :well have u ever seen an uncountable real < 1365041082 709755 :Bike!~Glossina@67-5-198-245.ptld.qwest.net PRIVMSG #esoteric :with ur own eyes < 1365041087 670734 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :good point < 1365041093 103657 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :i assume the exact number of tricks and the various adjectives which apply to them were determined by an iterative optimization procedure < 1365041172 275615 :Jafet!~Jafet@unaffiliated/jafet PRIVMSG #esoteric :Bike: you need to look through the perspex machine < 1365041183 222802 :Bike!~Glossina@67-5-198-245.ptld.qwest.net PRIVMSG #esoteric :was that the nullity guy? < 1365041204 395074 :Bike!~Glossina@67-5-198-245.ptld.qwest.net PRIVMSG #esoteric :«James Anderson is an academic staff "member" in the School of Systems Engineering at the University of Reading, England.» i'm glad i looked this up < 1365041221 262044 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric : Bike: well does erdős have one <-- erdős used the word "epsilon" for children hth < 1365041228 186356 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oerjan: that's what i meant hth < 1365041232 892502 :Bike!~Glossina@67-5-198-245.ptld.qwest.net PRIVMSG #esoteric :oh i remember this < 1365041235 598065 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :oerjan: erdős invented that? < 1365041238 724060 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :all my friends do that < 1365041251 884361 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :everyone i know who's talked about it says it's erdős < 1365041256 452943 :Bike!~Glossina@67-5-198-245.ptld.qwest.net PRIVMSG #esoteric :erdos invented basically everything euler didn't i thought < 1365041265 640115 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :erdós < 1365041273 74115 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :erdøs < 1365041283 744494 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :erd¤s < 1365041283 947585 :Bike!~Glossina@67-5-198-245.ptld.qwest.net PRIVMSG #esoteric :"Perspex Machine V: Compilation of C Programs" < 1365041286 562817 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :€rdös < 1365041291 109518 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric : hey remember that "paper thing" with the proof that the reals were countable <-- those are a dime a dozen, see the good math, bad math blog (the bad section) < 1365041291 433581 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :I think I thought of a way to get my thing to work, but it's sort of horrible < 1365041298 623189 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :kmc: how do you make ő with compose < 1365041300 664867 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :Sgeo: is there a way that isnt horrible < 1365041305 855869 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oerjan: I mean a specific one. < 1365041306 108700 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :Multi_key = o < 1365041306 921735 :augur!~augur@c-68-34-26-189.hsd1.md.comcast.net JOIN :#esoteric < 1365041312 346619 :Jafet!~Jafet@unaffiliated/jafet PRIVMSG #esoteric :Erdővision < 1365041312 771800 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :A class of NonFunctions, and a separate manually written instance of interesting types < 1365041313 585548 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :ő_ő < 1365041317 799290 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :thx < 1365041319 400482 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :kmc++ < 1365041325 328409 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric ::D < 1365041331 560150 :Bike!~Glossina@67-5-198-245.ptld.qwest.net PRIVMSG #esoteric :W A R N I N G. This source code follows transcomplex computational paths, even where more accurate, real, computational paths exist. < 1365041337 632757 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric : elliott : "ő" U0151 # LATIN SMALL LETTER O WITH DOUBLE ACUTE < 1365041342 178188 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :HOW IS THAT SUPPOSED TO HELP ME < 1365041343 140636 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :ＷＡＲＮＩＮＧ < 1365041354 901059 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :er, with less elliott < 1365041360 482067 :Bike!~Glossina@67-5-198-245.ptld.qwest.net PRIVMSG #esoteric :Y O U H A V E B E E N W A R N E D. < 1365041363 303299 :Bike!~Glossina@67-5-198-245.ptld.qwest.net PRIVMSG #esoteric :It literally says that < 1365041366 603512 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :isn't it great that Ｉ doesn't show up at all in my font < 1365041377 717038 :Bike!~Glossina@67-5-198-245.ptld.qwest.net PRIVMSG #esoteric :also it's... written in poplog... for some reason < 1365041413 490946 :Bike!~Glossina@67-5-198-245.ptld.qwest.net PRIVMSG #esoteric :vars transarith = true; < 1365041419 817691 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :`addquote W A R N I N G. This source code follows transcomplex computational paths, even where more accurate, real, computational paths exist. Y O U H A V E B E E N W A R N E D. It literally says that < 1365041423 440230 :HackEgo!codu@codu.org PRIVMSG #esoteric :1010) W A R N I N G. This source code follows transcomplex computational paths, even where more accurate, real, computational paths exist. Y O U H A V E B E E N W A R N E D. It literally says that < 1365041457 877558 :Bike!~Glossina@67-5-198-245.ptld.qwest.net PRIVMSG #esoteric :well i mean there's more < 1365041462 143572 :Bike!~Glossina@67-5-198-245.ptld.qwest.net PRIVMSG #esoteric :if you want to read two paragraphs of nonsense < 1365041478 204206 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :if I didn't want to read two paragraphs of nonsense, would I be in this channel? < 1365041484 886428 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :kmc stole my joke < 1365041491 40153 :Bike!~Glossina@67-5-198-245.ptld.qwest.net PRIVMSG #esoteric :define isstrictlytransreal(num); lvars num; num == nuly or num == pinf or num == ninf enddefine; < 1365041491 964366 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :imo he has a mind reading device hooked up to my brain < 1365041516 612374 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :nulynulynulynuly < 1365041519 273617 :Bike!~Glossina@67-5-198-245.ptld.qwest.net PRIVMSG #esoteric :i actually am not sure what language this is? i thought it was prolog but i guessnot < 1365041529 899804 :Bike!~Glossina@67-5-198-245.ptld.qwest.net PRIVMSG #esoteric :its error routine is called "mishap" < 1365041531 125536 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :hahan uly < 1365041537 682163 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :it's the elder tongue < 1365041552 297538 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :haha < 1365041559 438261 :Bike!~Glossina@67-5-198-245.ptld.qwest.net PRIVMSG #esoteric :Return a transreal number given the numerator and denominator. Irrational numbers conventionally have denominator d = 1. < 1365041564 41859 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :v. british < 1365041572 891840 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :fatal error function is "cock-up" < 1365041633 486644 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :I really love that "cock-up" is considered a normal and non-vulgar british phrase < 1365041644 180541 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :so you get BBC headlines like "MoD helicopter fiasco a 'gold standard cock-up'" < 1365041649 619076 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :Bike: is this pseudocode or < 1365041657 350373 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :Bike: not that it makes a difference.... < 1365041680 541963 :Bike!~Glossina@67-5-198-245.ptld.qwest.net PRIVMSG #esoteric :Real arithmetic obeys the trichotomy axiom: a number can be greater than, equal to, or less than zero. But transreal arithmetic obeys the quadrachotomy axiom: a number can be nullity or else it can be greater than, equal to, or less than zero. < 1365041685 82072 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :http://en.wikipedia.org/wiki/Great_Cockup < 1365041699 377920 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :imo tetrachotomy sounds cooler < 1365041703 533093 :Bike!~Glossina@67-5-198-245.ptld.qwest.net PRIVMSG #esoteric :monqy: it's formatted like real code and mentions poplog which has like nine languages in it? < 1365041722 354441 :Jafet!~Jafet@unaffiliated/jafet PRIVMSG #esoteric :I had to go for a quadrachotomy once < 1365041722 549874 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :kmc: haha wow < 1365041733 73550 :Bike!~Glossina@67-5-198-245.ptld.qwest.net PRIVMSG #esoteric :hey it has infix precedence things < 1365041734 355642 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :poplog isn't prolog it's poplog(??????????????????????????????????????) < 1365041736 753068 :Bike!~Glossina@67-5-198-245.ptld.qwest.net PRIVMSG #esoteric :maybe it's haskell! < 1365041764 145719 :Bike!~Glossina@67-5-198-245.ptld.qwest.net PRIVMSG #esoteric :i dunno it doesn't look like ML either < 1365041766 788301 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :Bike: prolog has that too < 1365041774 790080 :Bike!~Glossina@67-5-198-245.ptld.qwest.net PRIVMSG #esoteric :oh it's in http://en.wikipedia.org/wiki/POP-11 < 1365041781 298004 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :Poplog is a reflective, incrementally compiled software development environment for the programming languages POP-11, Common Lisp, Prolog, and Standard ML, originally created in the UK for teaching and research in artificial intelligence at the University of Sussex. < 1365041799 552311 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :what < 1365041801 462203 :Bike!~Glossina@67-5-198-245.ptld.qwest.net PRIVMSG #esoteric :define 7 ##= (num1, num2); < 1365041814 811235 :Bike!~Glossina@67-5-198-245.ptld.qwest.net PRIVMSG #esoteric :you got some kinda problem with COWSEL kmc < 1365041821 77789 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :thanks now i know what 7 means < 1365041855 868788 :Bike!~Glossina@67-5-198-245.ptld.qwest.net PRIVMSG #esoteric :this whole long thing of code is literally just to add 0/0 and 1/0 and -1/0 i hate everything < 1365041884 997855 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :is there anything special about pop-11 or is it just this crazy guy being crazy < 1365041894 345228 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :Consider the untyped λ-calculus with a countably infinite set of < 1365041894 539512 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :constants c: < 1365041894 539688 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :t ::= c | x | λx.t | t1 t2 < 1365041894 539800 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :Closed terms written in this language can compute to a value (a < 1365041894 539903 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :constant c or a closure λx.tρ), but they can also go wrong (crash) < 1365041894 919712 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Bike why are you reading things of code < 1365041896 894574 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :or fail to terminate. < 1365041908 616546 :Bike!~Glossina@67-5-198-245.ptld.qwest.net PRIVMSG #esoteric :shachaf: because i'm sure as fuck not gonna read his papers < 1365041909 277131 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :this paper is stretching my suspension of disbelief a bit with the notion that these programs can crash. < 1365041923 980857 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :elliott: well, constants < 1365041932 345498 :Bike!~Glossina@67-5-198-245.ptld.qwest.net PRIVMSG #esoteric :elliott: what happens if i do "4 5" huh!! < 1365041935 67967 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :monqy: what's wrong with constants???????????????? < 1365041936 36225 :Bike!~Glossina@67-5-198-245.ptld.qwest.net PRIVMSG #esoteric :that's right CRASH < 1365041939 447959 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :Bike: whats 4, whats 5 < 1365041940 569613 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :cf bike < 1365041942 437178 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :monqy: it never says they're crashy!! < 1365041943 161730 :Bike!~Glossina@67-5-198-245.ptld.qwest.net PRIVMSG #esoteric :constants < 1365041946 164520 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :oh < 1365041947 334628 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :elliott: -roll- < 1365041950 608431 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :i guess applying them makes sense as a crash < 1365041956 654298 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :the great thing about constants is that there are so many of them to choose from < 1365041958 194523 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :i would have assumed 4 5 is just `inert' < 1365041963 677883 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :you treat them as `primitives' or w/e < 1365041964 756926 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :well < 1365041967 28126 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :that's what a crash is < 1365041969 620780 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :Imo Its Ambiguous™ < 1365041979 59981 :Bike!~Glossina@67-5-198-245.ptld.qwest.net PRIVMSG #esoteric :ok wait back up < 1365041980 994003 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :crashing is when you get stuck < 1365041985 885446 :Bike!~Glossina@67-5-198-245.ptld.qwest.net PRIVMSG #esoteric :since when do you call a lambda abstraction a "closure" < 1365041987 552992 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :imo its not a crash to do something like that...... because you dont say the program is Wrong necessarily < 1365041989 644896 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :Thank You Operational Semantics < 1365041994 91475 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :> 4 5 < 1365041998 495564 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : mueval-core: Time limit exceeded < 1365041999 453186 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :imo you're stuck < 1365042000 614848 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :and also suck < 1365042003 726882 :Bike!~Glossina@67-5-198-245.ptld.qwest.net PRIVMSG #esoteric :thanks haskell < 1365042014 586194 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :FURTHERMORE: dumb; bad < 1365042017 314128 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :youre stuck when you cant make a transition < 1365042021 97890 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :> 4 5 < 1365042023 659217 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : 4 < 1365042026 683715 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :elliott: crush... Qed. < 1365042034 21201 :augur!~augur@c-68-34-26-189.hsd1.md.comcast.net QUIT :Remote host closed the connection < 1365042056 262968 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :what style of operatiaonal semantics is this < 1365042077 269597 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :if it's with a `partiality monad` it's probably big step? < 1365042086 620769 :Bike!~Glossina@67-5-198-245.ptld.qwest.net PRIVMSG #esoteric :It might be better to separate type checking from from number set membership. For example, 2 is a member of the real, transreal, complex, and transcomplex numbers; but it has builtin type integer and polymorphically real. A purist would keep the builtin real and complex types distinct, but many languages promote real to complex. Types are a < 1365042091 621319 :Bike!~Glossina@67-5-198-245.ptld.qwest.net PRIVMSG #esoteric :language issue and need to be resolved for each individual language. < 1365042117 81477 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :um < 1365042131 473207 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :im so confused < 1365042183 558089 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :monqy: Operational Semantics Using the Partiality Monad < 1365042187 729865 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :by Nils Anders Danielsson < 1365042195 225153 :Jafet!~Jafet@unaffiliated/jafet PRIVMSG #esoteric :imo Bike should do a writeup on the wiki < 1365042198 374578 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :no im confused about bike's thing < 1365042207 858013 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :no that was < 1365042211 530779 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :answering your QUESTIOn gOSH! < 1365042236 275437 :Bike!~Glossina@67-5-198-245.ptld.qwest.net PRIVMSG #esoteric :Transrithmetical < 1365042260 90544 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :looks like this is in AGDA ~uh oh~ < 1365042261 783848 :Bike!~Glossina@67-5-198-245.ptld.qwest.net PRIVMSG #esoteric :i need to look up who published this shithead though < 1365042295 223275 :augur!~augur@c-68-34-26-189.hsd1.md.comcast.net JOIN :#esoteric < 1365042320 398556 :Bike!~Glossina@67-5-198-245.ptld.qwest.net PRIVMSG #esoteric :"Proceedings of SPIE offer access to the latest innovations in research and technology and are among the most cited references in patent literature." < 1365042338 698937 :augur!~augur@c-68-34-26-189.hsd1.md.comcast.net QUIT :Remote host closed the connection < 1365042379 715082 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :monqy: Nils Anders Danielsson is An Agda Guye < 1365042387 96192 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :is that a legit conf or one of those drug fronts that'll accept just about anything even scigen < 1365042390 230749 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :i think he wrote the agda stdlib < 1365042390 927534 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :even scigen < 1365042404 760498 :Bike!~Glossina@67-5-198-245.ptld.qwest.net PRIVMSG #esoteric :SCIE seems sorta legit < 1365042414 732136 :Bike!~Glossina@67-5-198-245.ptld.qwest.net PRIVMSG #esoteric :except that he was presenting this at a fucking vision conference < 1365042417 762853 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :monqy: how many drug fronts have you published in < 1365042423 952492 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :did you get many drugs < 1365042442 922372 :Bike!~Glossina@67-5-198-245.ptld.qwest.net PRIVMSG #esoteric :and some AI thing < 1365042443 277848 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :none yet! < 1365042464 770316 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :not ready for the drugs yet < 1365042486 319316 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :just say Nothing (programmer joke :-)) < 1365042529 475106 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :cute, this defines a big step relation for terminating computations, a relation for nonterminating computations, and a relation for crashing computations < 1365042579 788154 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :HIRD Elliott: hi < 1365042580 119215 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :only to tear down the relations :-O < 1365042581 362567 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :the only big step ive ever seen either only defines semantics for terminating stuff or it's defined coinductively.... < 1365042600 506661 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :BEN-KIKI Shachaf: what < 1365042628 601576 :Bike!~Glossina@67-5-198-245.ptld.qwest.net PRIVMSG #esoteric :was elliott called ehird because he was super into HIRD < 1365042641 452851 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :HIRD Elliott: Are you going to do the category thing? < 1365042651 970450 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :are you going to continue addressing me as HIRD Elliott < 1365042662 359299 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Should I stop? < 1365042674 276741 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :it seems moderately pointless < 1365042695 601991 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :So's this channel? < 1365042914 32271 :SirCmpwn!~SirCmpwn@unaffiliated/sircmpwn PRIVMSG #esoteric :I decided to leave the text about my brainfuck bot in place < 1365042923 114935 :SirCmpwn!~SirCmpwn@unaffiliated/sircmpwn PRIVMSG #esoteric :I tweaked it to only say "brainfuck" once, and in quotes < 1365042955 268053 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I turned over the piece of paper, and there, there on the other side, in the middle of the other side, away from everything else on the other side, in parenthesis, capital letters, quotated, read the following words: < 1365042959 442346 :Bike!~Glossina@67-5-198-245.ptld.qwest.net PRIVMSG #esoteric :a language related to P'' called "brain fuck" < 1365043008 912186 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :(“KID, HAVE YOU REHABILITATED YOURSELF?”) < 1365043052 494109 :Bike!~Glossina@67-5-198-245.ptld.qwest.net PRIVMSG #esoteric :quotated < 1365043075 648735 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Bike haven't you heard Alice's Restaurant < 1365043082 993779 :Bike!~Glossina@67-5-198-245.ptld.qwest.net PRIVMSG #esoteric :nope < 1365043111 248041 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :imo go listen?? < 1365043121 483978 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :http://www.youtube.com/watch?v=LjKF7aQthcQ < 1365043129 812975 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :kmc can confirm that imo go listen < 1365043186 526695 :Bike!~Glossina@67-5-198-245.ptld.qwest.net PRIVMSG #esoteric :23 minute song < 1365043189 374907 :Bike!~Glossina@67-5-198-245.ptld.qwest.net PRIVMSG #esoteric :this can't possibly be bad < 1365043194 836804 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :"North Korea seen moving missile after it declares it has given approval for a nuclear attack on the United States" < 1365043204 799666 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :good idea north korea < 1365043206 937500 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :tell me more < 1365043229 783495 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :this song has guitar so shachaf probably hates it < 1365043233 804976 :Bike!~Glossina@67-5-198-245.ptld.qwest.net PRIVMSG #esoteric :north korean rockets not working correctly, mysterious large package of "cake" arrives addressed toseoul < 1365043413 617453 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :shachaf: apparently this is a decades-later re-recording of the original from a decades-later re-recording of the album it originally appeared on, and now I'm sitting here trying to figure out why anyone would bother doing such a thing < 1365043420 746661 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :thank you for the bewilderment. < 1365043440 878110 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :elliott: well have you heard the song < 1365043449 823864 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i bet MicheleZ5 is a spam account < 1365043461 923223 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :shachaf: i have not < 1365043465 855912 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :also HugoMDZ < 1365043496 600913 :Bike!~Glossina@67-5-198-245.ptld.qwest.net PRIVMSG #esoteric :haha the singer endorsed ron paul < 1365043527 29135 :doesthiswork!~Adium@75.87.251.5 JOIN :#esoteric < 1365043532 837776 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :well everyone is endorsing ron paul these days. even fish < 1365043533 32194 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net QUIT :Quit: hello < 1365043646 886773 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :elliott: north korea will make such a nice radioactive glass desert, don't you think < 1365043663 937778 :Bike!~Glossina@67-5-198-245.ptld.qwest.net PRIVMSG #esoteric ::( < 1365043776 898388 :doesthiswork!~Adium@75.87.251.5 PRIVMSG #esoteric :does un endorse ron paul? < 1365043792 769818 :Bike!~Glossina@67-5-198-245.ptld.qwest.net PRIVMSG #esoteric :the UN endorses ron paul yes < 1365043836 244419 :doesthiswork!~Adium@75.87.251.5 PRIVMSG #esoteric :sorry: Kim Jong-un < 1365043848 94414 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric : So's this channel? <-- HEY WE HAVE STRICT RULES ABOUT WHAT KIND OF POINTLESS STUFF IS ALLOWED HERE, SIR < 1365043862 328011 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oerjan: What are the rules? < 1365043894 731581 :Bike!~Glossina@67-5-198-245.ptld.qwest.net PRIVMSG #esoteric :juche: a libertarian perspective < 1365043924 299755 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :bike XD < 1365043958 396662 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :shachaf: I'M SORRY, THAT POINTLESS QUESTION IS FORBIDDEN BY THE RULES < 1365043971 405930 :doesthiswork!~Adium@75.87.251.5 PRIVMSG #esoteric :Personally Im a fan of poin-free programming < 1365044002 725586 :doesthiswork!~Adium@75.87.251.5 PRIVMSG #esoteric :so I don't think you should restrict the discussion to only pointful languages < 1365044301 487965 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :indeed, pointless languages are among the things allowed to discuss here < 1365044314 286450 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :shocking, i know < 1365044497 762866 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oerjan: (\xs -> What are the xs?) rules < 1365044529 564440 :doesthiswork!~Adium@75.87.251.5 PRIVMSG #esoteric :one thing that bugs me is how often we have to name intermediate values just so we can reuse them, < 1365044591 565114 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :doesthiswork: yeah that's why they added \case to recent ghc haskell < 1365044605 279940 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :(i think that was the finally decided syntax?) < 1365044676 156649 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :shachaf: YOUR QUESTION IS BETA-EQUIVALENT TO A FORBIDDEN QUESTION < 1365044739 617453 :doesthiswork!~Adium@75.87.251.5 PRIVMSG #esoteric :(\w -> What are the w?) rules < 1365045371 689762 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 QUIT :Remote host closed the connection < 1365045524 732993 :Bike!~Glossina@67-5-198-245.ptld.qwest.net PRIVMSG #esoteric :the heck is /case < 1365045528 442517 :Bike!~Glossina@67-5-198-245.ptld.qwest.net PRIVMSG #esoteric :\case rather < 1365045589 336705 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :\case pats -> \v -> case v of pats for fresh v < 1365045592 900001 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :er < 1365045598 452695 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :that first -> is a big ol ==> desugaring arrow < 1365045616 351812 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :==========>>>>>>> < 1365045696 301028 :Bike!~Glossina@67-5-198-245.ptld.qwest.net PRIVMSG #esoteric :oh so you can do like \case 0 -> 1; n -> n * fact (n-1) or whatever < 1365045712 538826 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :yes < 1365045723 184876 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :wow I feel like I need a fun fact about this feature. < 1365045725 523629 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :how's about it shachaf. < 1365045766 490773 :Bike!~Glossina@67-5-198-245.ptld.qwest.net PRIVMSG #esoteric :~_~ < 1365045809 129722 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :fun fact 0 = 1 < 1365045833 681406 :Bike!~Glossina@67-5-198-245.ptld.qwest.net PRIVMSG #esoteric :uh shachaf. < 1365045835 891329 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric : | fact n = n * fact (n - 1) < 1365045845 273677 :Bike!~Glossina@67-5-198-245.ptld.qwest.net PRIVMSG #esoteric :that doesn't use the feature. < 1365045847 760894 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :Bike: it's particularly useful for chaining with >>= < 1365045851 263891 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :it's not even haskell in fact. < 1365045860 237279 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Bike: it's just a fun fact hth < 1365045865 496077 :Bike!~Glossina@67-5-198-245.ptld.qwest.net PRIVMSG #esoteric :It's not but i expect shahaf to innovate through that,elliott. < 1365045872 73807 :Bike!~Glossina@67-5-198-245.ptld.qwest.net PRIVMSG #esoteric :He's an innovator. It's what he does. He innovates. < 1365045885 960790 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :tear down walls < 1365045886 424725 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :wait omg < 1365045888 101119 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :i said in fact < 1365045889 689419 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :build bigger, stronger walls < 1365045891 754041 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :go me for making a joke by mistake < 1365045895 999231 :Bike!~Glossina@67-5-198-245.ptld.qwest.net PRIVMSG #esoteric :elliott. < 1365045899 765309 :Bike!~Glossina@67-5-198-245.ptld.qwest.net PRIVMSG #esoteric :no. < 1365045910 737024 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :elliott: i saw that but it was bad so i didn't comment < 1365045913 306227 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :go you for commenting < 1365046002 982124 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :main = getArgs >>= (\case [fname] -> readFile fname; [] -> getContents) >>= putStr < 1365046037 272034 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :although the parentheses are a bit naff < 1365046043 825766 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :are you trying to be british < 1365046061 210732 :Bike!~Glossina@67-5-198-245.ptld.qwest.net PRIVMSG #esoteric :getArgs >>= $ \case [fname] ... $ >>= putStr i'm sure this will work. < 1365046065 564732 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i thought "ugly" first, but that's not quite it < 1365046069 749368 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :Bike: nope < 1365046077 651532 :Bike!~Glossina@67-5-198-245.ptld.qwest.net PRIVMSG #esoteric :D:!!! < 1365046241 200214 :pikhq!~pikhq@174-24-14-72.clsp.qwest.net PRIVMSG #esoteric :oerjan: Sadly, not quite cat. < 1365046246 718386 :pikhq!~pikhq@174-24-14-72.clsp.qwest.net PRIVMSG #esoteric ::) < 1365046295 44902 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :main = do getArgs >>= \case [fname] -> readFile fname; [] -> getContents < 1365046302 312737 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric : >>= putStr < 1365046312 448065 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :
ACTION whistles innocently
< 1365046338 434414 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :main = do do do getArgs >>= ... < 1365046360 725868 :Bike!~Glossina@67-5-198-245.ptld.qwest.net PRIVMSG #esoteric :https://www.youtube.com/watch?v=ZVUyyHYkBHk < 1365046375 416332 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :shachaf: it was just to get rid of the parentheses < 1365046408 630718 :Koen_!~Koen@vbo91-6-78-245-243-132.fbx.proxad.net QUIT :Quit: Koen_ < 1365046418 687184 :Jafet!~Jafet@unaffiliated/jafet PRIVMSG #esoteric :main = don't < 1365046447 62302 :pikhq!~pikhq@174-24-14-72.clsp.qwest.net PRIVMSG #esoteric :main = getArgs >>= f >>= putStr where f [x] = readFile x;f [] = getContents < 1365046448 570097 :pikhq!~pikhq@174-24-14-72.clsp.qwest.net PRIVMSG #esoteric ::) < 1365046490 233731 :Bike!~Glossina@67-5-198-245.ptld.qwest.net PRIVMSG #esoteric :now that's just crazy talk < 1365046496 129231 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :pikhq: um the whole point here is to use \case to avoid making up names for more things than necessary < 1365046505 578215 :pikhq!~pikhq@174-24-14-72.clsp.qwest.net PRIVMSG #esoteric :Bah. < 1365046514 475836 :Bike!~Glossina@67-5-198-245.ptld.qwest.net PRIVMSG #esoteric :an Important Readability Extension < 1365046548 64964 :Jafet!~Jafet@unaffiliated/jafet PRIVMSG #esoteric :Readability Of Functional Languages < 1365046559 252304 :Bike!~Glossina@67-5-198-245.ptld.qwest.net PRIVMSG #esoteric :lmao < 1365046566 283794 :pikhq!~pikhq@174-24-14-72.clsp.qwest.net PRIVMSG #esoteric :
ACTION summons Pointfree Man
< 1365046626 650511 :Jafet!~Jafet@unaffiliated/jafet PRIVMSG #esoteric :There should be a conference on esolang research < 1365046631 764961 :Jafet!~Jafet@unaffiliated/jafet PRIVMSG #esoteric :it can be called ROFL < 1365046670 758513 :Jafet!~Jafet@unaffiliated/jafet PRIVMSG #esoteric :Research on fringe languages < 1365046709 195800 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :it can be a working group at http://sigbovik.org/ < 1365046749 65059 :Bike!~Glossina@67-5-198-245.ptld.qwest.net PRIVMSG #esoteric :does esolang have a sigbovik affiliation; if not why not < 1365046764 241393 :Bike!~Glossina@67-5-198-245.ptld.qwest.net PRIVMSG #esoteric :http://sigbovik.org/2013/images/mainlogo.png haha yes. < 1365046789 735956 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :nice < 1365046790 360662 :Bike!~Glossina@67-5-198-245.ptld.qwest.net PRIVMSG #esoteric :AND a mustard watch reference < 1365046796 180447 :Bike!~Glossina@67-5-198-245.ptld.qwest.net PRIVMSG #esoteric :Fiora: http://sigbovik.org/2013/images/graph13.png < 1365046805 678273 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :what is mustard watches < 1365046824 969081 :Jafet!~Jafet@unaffiliated/jafet PRIVMSG #esoteric :http://iml.univ-mrs.fr/~girard/mustard/page1.html < 1365046827 83408 :Bike!~Glossina@67-5-198-245.ptld.qwest.net PRIVMSG #esoteric :something that one linear logic guy came up with < 1365046842 884581 :Bike!~Glossina@67-5-198-245.ptld.qwest.net PRIVMSG #esoteric :it's a pretty obscure satire about nonclassical logics < 1365046852 955243 :Bike!~Glossina@67-5-198-245.ptld.qwest.net PRIVMSG #esoteric :more importantly, it involves http://sigbovik.org/2013/images/graph7.png < 1365046875 353724 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :haha < 1365046885 240757 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :not sure i get the satire but I appreciate the surrealism < 1365046920 383749 :Bike!~Glossina@67-5-198-245.ptld.qwest.net PRIVMSG #esoteric :basically people saying "what if we had a logic that let you do everything classical did PLUS GAVE YOU MUSTARD" i think < 1365046928 756950 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :ok < 1365046932 366273 :Bike!~Glossina@67-5-198-245.ptld.qwest.net PRIVMSG #esoteric :iunno i'm shit at logic < 1365046934 370360 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :put a bird on it < 1365046994 478806 :Bike!~Glossina@67-5-198-245.ptld.qwest.net PRIVMSG #esoteric :hm the business school is hilariously buzzwordy is that normal < 1365047003 416221 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :whose business school < 1365047022 364001 :Jafet!~Jafet@unaffiliated/jafet PRIVMSG #esoteric :None of your business school < 1365047022 600205 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :none of your business school hth < 1365047023 447230 :Bike!~Glossina@67-5-198-245.ptld.qwest.net PRIVMSG #esoteric :"CB graduates lead insightfully by skillfully applying core business competencies, employing a global perspective, and embracing diversity" < 1365047028 990819 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Jafet........................ < 1365047034 557736 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :Jafet++ < 1365047036 423026 :Jafet!~Jafet@unaffiliated/jafet PRIVMSG #esoteric :I stole his mind reader. < 1365047050 894120 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :Bike: but do they leverage things < 1365047055 217053 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :According to the logs Jafet posted it first. :-( < 1365047064 276425 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :my irc client begs to differ < 1365047073 498092 :ion!ion@heh.fi PRIVMSG #esoteric :shachaf: Only from the subjective point of view of the logger. < 1365047080 226839 :Bike!~Glossina@67-5-198-245.ptld.qwest.net PRIVMSG #esoteric :hm i'm seeing driving butnot leveraging < 1365047091 871335 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :i saw "leverage" used as a transitive verb to refer to actually physically using a lever on an object < 1365047097 523273 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :that was a weird full circle moment < 1365047101 649494 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :begs to differ? is she even in version control? < 1365047112 450723 :ion!ion@heh.fi PRIVMSG #esoteric :
ACTION fullcircles kmc
< 1365047125 188590 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :\circ < 1365047162 230708 :Bike!~Glossina@67-5-198-245.ptld.qwest.net PRIVMSG #esoteric :also the business school's blurb is about how they have wifi everywhere and nice dorms or whatever, where all the other ones maybe mention their new labs < 1365047247 201619 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :i think i've missed some context < 1365047263 474208 :Bike!~Glossina@67-5-198-245.ptld.qwest.net PRIVMSG #esoteric :dude they have an entrepeneurship program. < 1365047270 715592 :Bike!~Glossina@67-5-198-245.ptld.qwest.net PRIVMSG #esoteric :you can major in being an entrepeneur < 1365047391 475264 :augur!~augur@208.58.5.87 JOIN :#esoteric < 1365047415 548861 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :everyone has that < 1365047458 349428 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :where do you think all the "idea people" just looking for a "technical co-founder" come from < 1365047483 457630 :Bike!~Glossina@67-5-198-245.ptld.qwest.net PRIVMSG #esoteric :i thought they all dropped out of college to found dogbook. < 1365047605 676047 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :is that... facebook for dogs < 1365047612 5647 :Bike!~Glossina@67-5-198-245.ptld.qwest.net PRIVMSG #esoteric :yes < 1365047628 74617 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :not as good as my 'facebook for kitchen appliances' idea < 1365047631 941592 :Bike!~Glossina@67-5-198-245.ptld.qwest.net PRIVMSG #esoteric :if you have a better go-to stereotypical bullshit startup i'd be happy to hear it < 1365047641 299428 :Bike!~Glossina@67-5-198-245.ptld.qwest.net PRIVMSG #esoteric :dude that's like, twenty syllables! i ain't got time for that shit. < 1365047668 237698 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :well these days it's all about gamifyinfg the mobile, social, local apps < 1365047714 259586 :Bike!~Glossina@67-5-198-245.ptld.qwest.net PRIVMSG #esoteric :foursquare + halo < 1365048107 208465 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :apparently SCVNGR has more or less shut down and LevelUp is in dire straits < 1365048156 917776 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :maybe I shouldn't take joy in the failings of others, but their founder is a consummate douchenozzle < 1365048204 253206 :Bike!~Glossina@67-5-198-245.ptld.qwest.net PRIVMSG #esoteric :howso < 1365048215 698102 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :http://tech.fortune.cnn.com/2011/05/02/seth-priebatsch-the-ayn-rand-loving-feet-baring-efficiency-obsessed-savant-behind-scvngr/ http://www.nytimes.com/2010/09/19/business/19entre.html?pagewanted=all < 1365048237 430405 :Bike!~Glossina@67-5-198-245.ptld.qwest.net PRIVMSG #esoteric :hm i'm just gonna stop at that url < 1365048239 334364 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :Bike: I like "that one linear logic guy" < 1365048251 532043 :Bike!~Glossina@67-5-198-245.ptld.qwest.net PRIVMSG #esoteric :elliott: you knew who i meant didn't you < 1365048253 758542 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :i like the part in the first article where he brags about stealing services from MIT and then in the same breath says that MIT students are lazy fatasses < 1365048256 805668 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :well, like, he sort of invented it < 1365048261 95357 :Bike!~Glossina@67-5-198-245.ptld.qwest.net PRIVMSG #esoteric :exactly < 1365048276 574342 :Bike!~Glossina@67-5-198-245.ptld.qwest.net PRIVMSG #esoteric :on the other hand there is apparently a person named Guy who does linear logic so searching "linear logic guy" doesn't really work < 1365048281 507920 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :hahaha < 1365048419 423950 :Bike!~Glossina@67-5-198-245.ptld.qwest.net QUIT :Quit: Reconnecting < 1365048494 917775 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :wow, coinduction is a fucking pain to work with. < 1365048542 774663 :doesthiswork!~Adium@75.87.251.5 PRIVMSG #esoteric :what are you useing it for? < 1365048603 472089 :Bike!~Glossina@67-5-198-245.ptld.qwest.net JOIN :#esoteric < 1365048846 622131 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :wb Bike < 1365048853 983047 :elliott_!elliott@unaffiliated/elliott JOIN :#esoteric < 1365048955 562047 :Bike!~Glossina@67-5-198-245.ptld.qwest.net PRIVMSG #esoteric :i am here and ready to talk about french logicians < 1365049000 818198 :elliott!elliott@unaffiliated/elliott QUIT :Read error: Connection reset by peer < 1365049025 808353 :elliott_!elliott@unaffiliated/elliott NICK :elliott < 1365049272 997707 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric : what are you useing it for? < 1365049281 404280 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :doesthiswork: some play-around lambda calculus things in coq. < 1365049286 835773 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :i was trying to implement the things in this paper. < 1365049310 908211 :Bike!~Glossina@67-5-198-245.ptld.qwest.net PRIVMSG #esoteric :oh hey elliott that reals paper, i got linked it because somebody thought it might be useful for lambda calculus things < 1365049314 67801 :Bike!~Glossina@67-5-198-245.ptld.qwest.net PRIVMSG #esoteric :is that the case? < 1365049395 535979 :Bike!~Glossina@67-5-198-245.ptld.qwest.net PRIVMSG #esoteric :http://www.youtube.com/watch?v=VoFRXks2X68#t=2m kmc: hi i'm bashar al-assad and welcome to jackass < 1365049410 531627 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :Bike: um. I'm not sure. < 1365049417 856284 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :for like, implementing the computable reals in LC I guess? < 1365049427 501082 :Bike!~Glossina@67-5-198-245.ptld.qwest.net PRIVMSG #esoteric :maybe if you implemented it in coq....... < 1365049431 184293 :Bike!~Glossina@67-5-198-245.ptld.qwest.net PRIVMSG #esoteric :but yeah something like that < 1365049434 782101 :Bike!~Glossina@67-5-198-245.ptld.qwest.net PRIVMSG #esoteric :i have no idea about these things < 1365049500 979089 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :anyway proving equalities about coninductive things is, like, awful. < 1365049546 892535 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :elliott: which reminds me of that comment i saw about copatterns in r/haskell. i wonder what those are. < 1365049555 345507 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :Bike: cool now I know the arabic for "HOLY FUCK GUYS DID YOU SEE THAT" < 1365049577 328293 :Bike!~Glossina@67-5-198-245.ptld.qwest.net PRIVMSG #esoteric :kmc: if i've learned anything from these videos it's that if you shout ALLAHU AKBAR constantly you're basically speakingn arabic < 1365049581 425289 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :yes < 1365049586 596594 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :oerjan: those are simple to explain < 1365049593 220248 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :they do say that a lot < 1365049600 305990 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :supposedly they make codata more intuitive or something < 1365049601 50706 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :particularly in war type situations < 1365049603 807869 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :oerjan: imagine codata Stream a = Cons { head :: a, tail :: Stream a } < 1365049605 428709 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :then < 1365049608 974516 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :fibs :: Stream Nat < 1365049612 148770 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :head fibs = 0 < 1365049614 756196 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :head (tail fibs) = 1 < 1365049622 159431 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :tail (tail fibs) = zipWith (+) ...etc... < 1365049628 231704 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :defines fibs < 1365049639 289718 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :aha < 1365049643 873438 :Bike!~Glossina@67-5-198-245.ptld.qwest.net PRIVMSG #esoteric :that's kinda weird but i like it < 1365049645 65873 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :just defining fibs in terms of how it's destructed < 1365049668 951124 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :and you can write it as, e.g. codata Stream a = head a & tail (Stream a) < 1365049672 773897 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :to show how it's sort of dual to | < 1365049675 819959 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :(& credit to ski) < 1365049693 190193 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :oerjan: and then e.g. < 1365049699 179315 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :map :: (a -> b) -> Stream a -> Stream b < 1365049709 735988 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :i don't totally get it though < 1365049713 818389 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :head (map f (Cons x xs)) = x < 1365049716 648320 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :the guy can set a tank on fire with some small hand-thrown weapon? < 1365049717 2382 :Bike!~Glossina@67-5-198-245.ptld.qwest.net PRIVMSG #esoteric :http://24.media.tumblr.com/0a77e448bef7a06132fd72c1810c82bf/tumblr_mkmu7277Wq1sn19ono1_500.jpg < 1365049721 821465 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :and then the guys in the tank don't get out or anything? < 1365049723 519242 :Bike!~Glossina@67-5-198-245.ptld.qwest.net PRIVMSG #esoteric :kmc: he put it in the barrel < 1365049725 404685 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :tail (map f (Cons x xs)) = map f xs < 1365049730 510036 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :uh, dunno how that looks with & though < 1365049735 908732 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :elliott: *= f x surely < 1365049736 725968 :Bike!~Glossina@67-5-198-245.ptld.qwest.net PRIVMSG #esoteric :and according to the comments (for god's sake don't read the comments) it might have been disabled by an RPG first < 1365049738 848567 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :er yes < 1365049739 130492 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :oh snap < 1365049758 881926 :Bike!~Glossina@67-5-198-245.ptld.qwest.net PRIVMSG #esoteric :generally speaking i don't think escaping from a burning tank is easy though < 1365049766 87761 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :head (map f (head x & tail _)) = f x; tail (map f (head _ & tail xs)) = map f xs or something < 1365049772 430477 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :oh yeah I see now holy shit < 1365049775 940618 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :you could use view patterns >:) < 1365049781 93116 :Bike!~Glossina@67-5-198-245.ptld.qwest.net PRIVMSG #esoteric :basically yeah, holy shit. < 1365049782 296628 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :head (map f (head -> x)) = f x < 1365049789 990008 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :tail (map f (tail -> xs)) = map f xs < 1365049797 687601 :Bike!~Glossina@67-5-198-245.ptld.qwest.net PRIVMSG #esoteric :i've seen a few videos of tanks going up like that and it's always a trip < 1365049821 660732 :Bike!~Glossina@67-5-198-245.ptld.qwest.net PRIVMSG #esoteric :fire literally pouring out < 1365049935 325734 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :i guess there's a previous attempt at 1:20 or so < 1365049936 286230 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :elliott: thanks < 1365049971 66154 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :oerjan: np. there's probably some much better / more complete write-up elsewhere, I just picked up the basic idea from IRC < 1365049999 654194 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :btw I like these two simultaneous conversations < 1365050019 911236 :Bike!~Glossina@67-5-198-245.ptld.qwest.net PRIVMSG #esoteric :fire literally pouring out of the coinduction < 1365050022 403222 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :blowing up copatterns < 1365050057 490065 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :kmc: "As you've likely gathered, Priebatsch is 22 years old." I like how this article gets as close as possible to saying he's an asshole without actually doing so < 1365050069 158250 :Bike!~Glossina@67-5-198-245.ptld.qwest.net PRIVMSG #esoteric :haha nice < 1365050086 794275 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :"I found out that basically the real world was essentially the same game as Civilization [an old computer game], just with slightly better graphics, maybe, and slightly slower." < 1365050089 800788 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :haha holy shit < 1365050110 171369 :Bike!~Glossina@67-5-198-245.ptld.qwest.net TOPIC #esoteric :[an old computer game] | http://codu.org/logs/_esoteric/ < 1365050134 674127 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :I wonder if there's some kind of reason the world looks like Civilisation? o Sid Meier, what prescience you must have had to invent something that the world would later imitate < 1365050151 634200 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :elliott: I think it's a nice contrast about what young men do to seek glory under different circumstances < 1365050227 611468 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :I think the first time the grenade doesn't make it all the way down the barrel and so bits of grenade just come shooting out? < 1365050231 666879 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :"Priebatsch, like an undergrad reading Marx for the first time, started to look at everything through this new worldview." < 1365050239 304650 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :this article writer totally hates the guy < 1365050244 207942 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :i have some Marx open in a tab < 1365050261 278989 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :elliott: probably < 1365050271 41645 :Bike!~Glossina@67-5-198-245.ptld.qwest.net PRIVMSG #esoteric :which marx < 1365050276 551177 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :karl < 1365050287 558565 :Bike!~Glossina@67-5-198-245.ptld.qwest.net PRIVMSG #esoteric :no i mean like... which thing of his. < 1365050288 724619 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :Theories of Surplus Value < 1365050299 449741 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :Bike: i think i might have had a dream about you being a bicycle. not sure though < 1365050310 910664 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :it was linked from something that was linked from something that... you know how it goes < 1365050311 752587 :Bike!~Glossina@67-5-198-245.ptld.qwest.net PRIVMSG #esoteric :uh what else would i be < 1365050315 617931 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :i haven't read any Marx to date < 1365050317 149633 :Bike!~Glossina@67-5-198-245.ptld.qwest.net PRIVMSG #esoteric :like a unicycle or some shit? come on bro. < 1365050326 327048 :Bike!~Glossina@67-5-198-245.ptld.qwest.net PRIVMSG #esoteric :I think i read the communist manifesto once < 1365050331 260069 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :well this might be a little strange < 1365050335 594617 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :but my working hypothesis is that you are a person. < 1365050337 483299 :Bike!~Glossina@67-5-198-245.ptld.qwest.net PRIVMSG #esoteric :paid enough attention to be amused at how much of it was complaints about communists < 1365050341 366630 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :heh < 1365050373 113152 :Bike!~Glossina@67-5-198-245.ptld.qwest.net PRIVMSG #esoteric :elliott: could you write this hypothesis out for me in coq < 1365050469 568151 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :i don't think marxism is very respectable among modern economists < 1365050477 512586 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :but maybe it's important in a historical and cultural sense < 1365050505 200844 :Bike!~Glossina@67-5-198-245.ptld.qwest.net PRIVMSG #esoteric :it's certainly nowhere near mainstream, even leftist economists go for something that's at best built off of it < 1365050528 855187 :Bike!~Glossina@67-5-198-245.ptld.qwest.net PRIVMSG #esoteric :i mean it's like... old. < 1365050544 824325 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :yeah < 1365050627 238990 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :marx more like uh < 1365050629 443708 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :something ending with arx < 1365050638 858810 :Bike!~Glossina@67-5-198-245.ptld.qwest.net PRIVMSG #esoteric :fartx < 1365050645 692364 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :yes. < 1365050695 361287 :Bike!~Glossina@67-5-198-245.ptld.qwest.net PRIVMSG #esoteric :let's see who's vaguely leftist < 1365050702 512873 :Bike!~Glossina@67-5-198-245.ptld.qwest.net PRIVMSG #esoteric :http://en.wikipedia.org/wiki/Gunnar_Myrdal is cool and he wrote about race in the US for some reason < 1365050734 139859 :Bike!~Glossina@67-5-198-245.ptld.qwest.net PRIVMSG #esoteric :or you could just read graeber and be dumb maybe i dunno < 1365050767 815859 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :kmc: http://thomasfriedmanopedgenerator.com/ you might enjoy this < 1365050777 99422 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :haha yes i do < 1365050797 531343 :Bike!~Glossina@67-5-198-245.ptld.qwest.net PRIVMSG #esoteric :god friedman < 1365050851 831138 :Bike!~Glossina@67-5-198-245.ptld.qwest.net PRIVMSG #esoteric :"It would be easy to forget that the problem even exists, when our headlines are constantly splashed with the violence in Fiji, the authoritarian crackdown in Somalia and the still-unstable democratic transition in Mexico." nailed it < 1365050865 99516 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Ugh, I seem to be sick or something again. < 1365050869 236945 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :It's been happening every month. < 1365050898 486767 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :Bike: um it's actually "It would be easy to forget that the problem even exists, when our headlines are constantly splashed with the violence in Greece, the authoritarian crackdown in Comoros and the still-unstable democratic transition in Ghana." < 1365050914 774020 :Bike!~Glossina@67-5-198-245.ptld.qwest.net PRIVMSG #esoteric :"When I visited Singapore in 2000, Mbantu, the cabbie who drove me from the airport," i think this adds to the experience really < 1365050921 277186 :Bike!~Glossina@67-5-198-245.ptld.qwest.net PRIVMSG #esoteric :I have actually never heard of Comoros. < 1365050925 367884 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :me too < 1365050948 7710 :Bike!~Glossina@67-5-198-245.ptld.qwest.net PRIVMSG #esoteric :oh it's one of those island states in the indian ocean < 1365050967 10803 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :i used to be able to name all the countries of the world < 1365050982 793941 :Bike!~Glossina@67-5-198-245.ptld.qwest.net PRIVMSG #esoteric :animaniacs? < 1365050983 647259 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :kmc: http://www.youtube.com/watch?v=IDtdQ8bTvRc with or without this? < 1365050989 373647 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :without < 1365051000 222170 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :(bike and I are literally the same person I swear) < 1365051027 720513 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :http://www.sporcle.com/games/g/world < 1365051050 743532 :Bike!~Glossina@67-5-198-245.ptld.qwest.net PRIVMSG #esoteric :hm comoros has a territory dispute with frane < 1365051052 568006 :Bike!~Glossina@67-5-198-245.ptld.qwest.net PRIVMSG #esoteric :france < 1365051098 397797 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :"The Comoros is the only state to be a member of all of the following: the African Union, Francophonie, Organisation of Islamic Cooperation, Arab League... and the Indian Ocean Commission" < 1365051103 784126 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :and yes apparently it's The Comoros < 1365051114 564954 :Bike!~Glossina@67-5-198-245.ptld.qwest.net PRIVMSG #esoteric :comoropodes < 1365051178 347434 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :http://en.wikipedia.org/wiki/File:Tree_map_export_2009_Comoros.jpeg < 1365051230 458780 :Bike!~Glossina@67-5-198-245.ptld.qwest.net PRIVMSG #esoteric :for... breaking up? like scrap? < 1365051233 848816 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric : It's been happening every month. <-- you're actually female hth < 1365051245 582597 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oerjan: I considered it. < 1365051269 913271 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :Bike: don't a lot of poorer nations get dumped with the job of shipbreaking nowadays? < 1365051294 20184 :Bike!~Glossina@67-5-198-245.ptld.qwest.net PRIVMSG #esoteric :i have no idea, i mean, it makes sense but i've never heard of it < 1365051304 670762 :Bike!~Glossina@67-5-198-245.ptld.qwest.net PRIVMSG #esoteric :in fact i've never even heard of "shipbreaking" < 1365051349 456852 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :"Today, most ship breaking yards are in developing countries, with the largest yards at Gadani in Pakistan, Alang in India, Chittagong in Bangladesh and Aliağa in Turkey. This is due to lower labor costs and less stringent environmental regulations dealing with the disposal of lead paint and other toxic substances. " < 1365051397 659065 :Bike!~Glossina@67-5-198-245.ptld.qwest.net PRIVMSG #esoteric :christ i thought pakistan was landlocked fuck me < 1365051448 721711 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :it's like electronics recycling < 1365051460 512521 :Bike!~Glossina@67-5-198-245.ptld.qwest.net PRIVMSG #esoteric :it's messy and go away but also profitable? < 1365051469 708814 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :(translation: a bunch of underpaid third world workers poisoning themselves to take apart your iphones) < 1365051499 437683 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :http://en.wikipedia.org/wiki/File:Agbogbloshie.JPG < 1365051509 160246 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :http://en.wikipedia.org/wiki/Agbogbloshie < 1365051528 467371 :Bike!~Glossina@67-5-198-245.ptld.qwest.net PRIVMSG #esoteric :Oh, wasn't that in some magazine? < 1365051542 155877 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :should i go to the comoros < 1365051543 579606 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :sounds like fun < 1365051546 619134 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :ps what's comoros like < 1365051553 119435 :Bike!~Glossina@67-5-198-245.ptld.qwest.net PRIVMSG #esoteric :shipbreaky < 1365051576 11599 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :man I love ships. that break. < 1365051576 205918 :Bike!~Glossina@67-5-198-245.ptld.qwest.net PRIVMSG #esoteric :Due to its harsh living conditions and rampant crime, the area is nicknamed "Sodom and Gomorrah". < 1365051580 34349 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :awww ye < 1365051601 111016 :pikhq!~pikhq@174-24-14-72.clsp.qwest.net PRIVMSG #esoteric :Yaaaay, people getting paid cents each day to take apart crap that's probably worth more than they'll make this year. < 1365051604 527293 :pikhq!~pikhq@174-24-14-72.clsp.qwest.net PRIVMSG #esoteric :Sigh. < 1365051605 26702 :pikhq!~pikhq@174-24-14-72.clsp.qwest.net PRIVMSG #esoteric :Fuck the world. < 1365051658 724364 :Bike!~Glossina@67-5-198-245.ptld.qwest.net PRIVMSG #esoteric :we should tweet about it < 1365052186 587705 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :oerjan: why are we still awake < 1365052251 96579 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :@localtime oerjan < 1365052252 749912 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :Local time for oerjan is Thu Apr 4 07:10:51 2013 < 1365052256 801637 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :@time elliott < 1365052258 638580 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :Local time for elliott is Thu Apr 4 06:10:57 2013 < 1365052276 113166 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Because you slept all night and woke up 20 minutes ago? < 1365052277 590761 :Bike!~Glossina@67-5-198-245.ptld.qwest.net PRIVMSG #esoteric :It's early in the morning! Time to get out and plow! < 1365052392 10524 :btiffin!~btiffin@24.212.223.48 JOIN :#esoteric < 1365052560 344260 :btiffin!~btiffin@24.212.223.48 PRIVMSG #esoteric :COBOL paragraph, compiles links and go's, will soon be part of frogSort in cbrain: < 1365052562 245764 :btiffin!~btiffin@24.212.223.48 PRIVMSG #esoteric :forkyourself. < 1365052578 400477 :btiffin!~btiffin@24.212.223.48 PRIVMSG #esoteric :....call "fork" returning opinion end-call < 1365052590 824214 :btiffin!~btiffin@24.212.223.48 PRIVMSG #esoteric :....if respect is zero then < 1365052621 629065 :btiffin!~btiffin@24.212.223.48 PRIVMSG #esoteric :........subtract 1 from shared-value < 1365052635 438760 :btiffin!~btiffin@24.212.223.48 PRIVMSG #esoteric :........if not fair then go forkyourself. < 1365052636 312574 :btiffin!~btiffin@24.212.223.48 PRIVMSG #esoteric :. < 1365052657 831262 :Bike!~Glossina@67-5-198-245.ptld.qwest.net PRIVMSG #esoteric :so you didn't answer my question before < 1365052664 683124 :Bike!~Glossina@67-5-198-245.ptld.qwest.net PRIVMSG #esoteric :does cobol have automatic memory management or what < 1365052674 118641 :btiffin!~btiffin@24.212.223.48 PRIVMSG #esoteric :Oh, I thought you were still taunting. ;-) < 1365052686 731481 :Bike!~Glossina@67-5-198-245.ptld.qwest.net PRIVMSG #esoteric :no i'm actually curious. < 1365052698 970320 :btiffin!~btiffin@24.212.223.48 PRIVMSG #esoteric :OpenCOBOL does, with BASED. Normal WORKING-STORAGE section is not, it's fixed. < 1365052723 944494 :btiffin!~btiffin@24.212.223.48 PRIVMSG #esoteric :Banks like fixed memory < 1365052724 266155 :Bike!~Glossina@67-5-198-245.ptld.qwest.net PRIVMSG #esoteric :based, is that like a stack or < 1365052739 646254 :btiffin!~btiffin@24.212.223.48 PRIVMSG #esoteric :No, more malloc and free < 1365052748 675587 :Bike!~Glossina@67-5-198-245.ptld.qwest.net PRIVMSG #esoteric :oh boy i love malloc < 1365052750 3494 :btiffin!~btiffin@24.212.223.48 PRIVMSG #esoteric :But ANY LENGTH is still in draft < 1365052771 277382 :btiffin!~btiffin@24.212.223.48 PRIVMSG #esoteric :so var-1 PIC X(65535) BASED. < 1365052772 141506 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :we may be approaching Peak COBOL < 1365052784 124050 :btiffin!~btiffin@24.212.223.48 PRIVMSG #esoteric :takes up no storage, but you need to set a max. < 1365052843 153532 :btiffin!~btiffin@24.212.223.48 PRIVMSG #esoteric :Linkage section allows for externals to do the management < 1365052971 854980 :btiffin!~btiffin@24.212.223.48 PRIVMSG #esoteric :kmc: I have a lot of fun with OpenCOBOL. COBOL in C space, which for all intensive purposes is the internet, is a lot of fun. (Intents and, yeah, yeah, this is intense) ;-) < 1365053165 903095 :Bike!~Glossina@67-5-198-245.ptld.qwest.net PRIVMSG #esoteric :so why should i use cobol rather than let's say snobol, what does cobol bring to the soda and cold pizza covered table < 1365053249 800875 :btiffin!~btiffin@24.212.223.48 PRIVMSG #esoteric :Umm, use them both. I'm writing up a sample linking Unicon. < 1365053294 814669 :Bike!~Glossina@67-5-198-245.ptld.qwest.net PRIVMSG #esoteric :ok like why add cobol to my repertoire of mad coding music then. i just, it's hard for me to register that somebody could /enjoy/ cobol, it's the stereotypical boring... uh... thing. < 1365053362 809900 :btiffin!~btiffin@24.212.223.48 PRIVMSG #esoteric :There is a vast pile of custom, closed COBOL. All the talk is rewrites and modernization. Nah, let them keep COBOL and attach (directly embedding) all the modern they want. < 1365053393 107838 :Bike!~Glossina@67-5-198-245.ptld.qwest.net PRIVMSG #esoteric :well i can appreciate that, but you said you didn't do this for business, you just like openCOBOL? < 1365053418 244210 :btiffin!~btiffin@24.212.223.48 PRIVMSG #esoteric :Yep. COBOL reads the beauty < 1365053419 50719 :Bike!~Glossina@67-5-198-245.ptld.qwest.net PRIVMSG #esoteric :so like, presumably you're writing new code that's mostly "standalone", not maintaining an existing system? < 1365053440 806898 :btiffin!~btiffin@24.212.223.48 PRIVMSG #esoteric :I'm actually just the fan boy writing prototypes and documentation. < 1365053484 262901 :Bike!~Glossina@67-5-198-245.ptld.qwest.net PRIVMSG #esoteric :oooooh < 1365053489 780357 :btiffin!~btiffin@24.212.223.48 PRIVMSG #esoteric :But most of the paid work would come from existent source code (which, may not read beautifully of course) < 1365053528 509272 :btiffin!~btiffin@24.212.223.48 PRIVMSG #esoteric :Last time I got paid to sling COBOL was umm, 83, 4? < 1365054021 632786 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :...someone here is older than me? < 1365054061 612500 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :elliott: THIS CHANGES EVERYTHING < 1365054110 910270 :carado!~carado@2a01:e35:8b61:e430:221:63ff:fe9a:3747 JOIN :#esoteric < 1365054220 261527 :btiffin!~btiffin@24.212.223.48 PRIVMSG #esoteric :Nearing 50, this summer. Fan of bf, (and as old guy, I'm sad about Urban's choice of name. I can't talk to my mom about bf, without calling it bffff), but now with pbrain, I can reference pbrain and well, yay, cbrain. < 1365054250 517901 :Bike!~Glossina@67-5-198-245.ptld.qwest.net PRIVMSG #esoteric :brainmomi'mgay < 1365054258 987305 :btiffin!~btiffin@24.212.223.48 PRIVMSG #esoteric ::-) < 1365054299 724871 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :
ACTION feels slightly less old
< 1365054327 221433 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :don't tell me Fiora is also older than me. < 1365054384 760692 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Fiora is 2013 years old hth < 1365054394 825496 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :oh ok < 1365054401 502207 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :23 -_- < 1365054410 148927 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :close enough < 1365054424 929551 :btiffin!~btiffin@24.212.223.48 PRIVMSG #esoteric :I grew up as a commercial fisherman, so cuss'es are a thing of beauty. My old man could rhyme off 30 in a row when nets got tangled Sweet. But, not in front of the mom. ;-) < 1365054448 73725 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :she didn't fish? < 1365054505 389069 :btiffin!~btiffin@24.212.223.48 PRIVMSG #esoteric :She came out a few times, but ended up seasick just about every run. < 1365054642 55913 :btiffin!~btiffin@24.212.223.48 PRIVMSG #esoteric :Anyone ever hear about micromorts? < 1365054658 973721 :Bike!~Glossina@67-5-198-245.ptld.qwest.net PRIVMSG #esoteric :the little death? < 1365054668 505875 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :Bike: that's fear < 1365054676 759053 :btiffin!~btiffin@24.212.223.48 PRIVMSG #esoteric :The chance per million of kakking doing a particular thing? < 1365054692 701158 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :curiously, "mort" is a norwegian word for baby fish < 1365054699 576043 :btiffin!~btiffin@24.212.223.48 PRIVMSG #esoteric :Like 1 million people got drunk yesterday, 70 didn't make it. 70 micromorts < 1365054699 878444 :Bike!~Glossina@67-5-198-245.ptld.qwest.net PRIVMSG #esoteric :I thought it was an orgasm. < 1365054704 592480 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :so i wasn't quite sure whether you had changed the subject < 1365054709 170230 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :Bike: fear is the little-death that brings total obliteration < 1365054711 524378 :Bike!~Glossina@67-5-198-245.ptld.qwest.net PRIVMSG #esoteric :I don't know "kakking" either. < 1365054719 203269 :doesthiswork!~Adium@75.87.251.5 QUIT :Quit: Leaving. < 1365054725 399000 :btiffin!~btiffin@24.212.223.48 PRIVMSG #esoteric :Writing code at a desk is sub-one micromort. < 1365054747 656020 :Bike!~Glossina@67-5-198-245.ptld.qwest.net PRIVMSG #esoteric :coppro: http://en.wikipedia.org/wiki/La_petite_mort Inject some class into your vocabulary! < 1365054752 818192 :Bike!~Glossina@67-5-198-245.ptld.qwest.net PRIVMSG #esoteric :By class I mean sex jokes < 1365054763 475023 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :french sex jokes are way classy < 1365054803 946298 :btiffin!~btiffin@24.212.223.48 PRIVMSG #esoteric :Fishing is 1600 ish, I get to go around and yell, Fished commercially, and LIVED. ;-) Now, with COBOL, no yelling. Just Dilbert nerd dances. < 1365054812 624892 :conehead!~conehead@unaffiliated/conehead QUIT :Quit: Computer has gone to sleep. < 1365054873 947620 :btiffin!~btiffin@24.212.223.48 PRIVMSG #esoteric :Bike: sorry, kakking is dropping dead, on the spot. < 1365054880 724171 :Bike!~Glossina@67-5-198-245.ptld.qwest.net PRIVMSG #esoteric :nice! < 1365055139 562320 :sebbu2!~sebbu@unaffiliated/sebbu QUIT :Ping timeout: 255 seconds < 1365055144 278173 :sebbu!~sebbu@ADijon-152-1-29-87.w83-194.abo.wanadoo.fr JOIN :#esoteric < 1365055168 201121 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i'm pretty sure i've managed to mention that both my grandfathers were fishermen. afaik neither died of it. < 1365055182 635124 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :although i had an uncle who drowned. < 1365055184 62879 :sebbu!~sebbu@ADijon-152-1-29-87.w83-194.abo.wanadoo.fr QUIT :Changing host < 1365055184 257574 :sebbu!~sebbu@unaffiliated/sebbu JOIN :#esoteric < 1365055230 736375 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :o_O < 1365055258 944993 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i don't think he was commercial fisherman though. < 1365055269 807067 :btiffin!~btiffin@24.212.223.48 PRIVMSG #esoteric :I traded a shift to go ashore on a night that sank our boat and drowned my dad's friends. < 1365055310 833068 :btiffin!~btiffin@24.212.223.48 PRIVMSG #esoteric :Fished commercially, and LIVED. < 1365055516 356857 :btiffin!~btiffin@24.212.223.48 PRIVMSG #esoteric :then wrote sad code and died a little inside, and LIVED. < 1365055585 799006 :Bike!~Glossina@67-5-198-245.ptld.qwest.net PRIVMSG #esoteric ::/ < 1365055697 818737 :btiffin!~btiffin@24.212.223.48 PRIVMSG #esoteric :Bike, not sure how long I'll hang out in esoland, but if you get to know me, I'm a fan of the lame. Lame is just grand. :-) Lamer the better. < 1365055714 717697 :btiffin!~btiffin@24.212.223.48 PRIVMSG #esoteric :What did Batman say to Robin, JUST before they got in the car? < 1365055731 345136 :btiffin!~btiffin@24.212.223.48 PRIVMSG #esoteric :Robin, get in the car. < 1365055733 590773 :Bike!~Glossina@67-5-198-245.ptld.qwest.net PRIVMSG #esoteric :do you mean like, dorky? because "lame" just makes me think of physical injuries, especially in the context of barely not drowning < 1365055774 506989 :btiffin!~btiffin@24.212.223.48 PRIVMSG #esoteric :Yeah, dorky, kinda. Lame as in "that's just lame" < 1365055782 706933 :Bike!~Glossina@67-5-198-245.ptld.qwest.net PRIVMSG #esoteric :groaner puns < 1365055803 180000 :btiffin!~btiffin@24.212.223.48 PRIVMSG #esoteric :Yes. Lamest rules. < 1365055861 505654 :btiffin!~btiffin@24.212.223.48 PRIVMSG #esoteric :Why do sea gulls fly over seas? If they flew over bays, they'd be bagels. < 1365056554 124 :oerjan!oerjan@sprocket.nvg.ntnu.no QUIT :Quit: leaving < 1365056754 236791 :fftw!~fastest@la-pinta.la.net.ua QUIT :Ping timeout: 264 seconds < 1365057288 725515 :fftw!~fastest@la-pinta.la.net.ua JOIN :#esoteric < 1365059688 625392 :ThatOtherPerson!~ThatOther@unaffiliated/thatotherpersony JOIN :#esoteric < 1365060701 455853 :Bike!~Glossina@67-5-198-245.ptld.qwest.net QUIT :Ping timeout: 245 seconds < 1365060974 659345 :copumpkin!~copumpkin@unaffiliated/copumpkin QUIT :Ping timeout: 252 seconds < 1365061005 805754 :copumpkin!~copumpkin@unaffiliated/copumpkin JOIN :#esoteric < 1365061256 450969 :doesthiswork!~Adium@75.87.251.5 JOIN :#esoteric < 1365061364 628488 :doesthiswork!~Adium@75.87.251.5 QUIT :Client Quit < 1365062391 531282 :ThatOtherPerson!~ThatOther@unaffiliated/thatotherpersony QUIT :Quit: Leaving < 1365062458 525538 :nooodl^!~nooodl@91.177.109.136 QUIT :Ping timeout: 245 seconds < 1365064247 271468 :Taneb!~nathan@host-92-23-115-199.as13285.net JOIN :#esoteric < 1365065133 741863 :btiffin!~btiffin@24.212.223.48 PART :#esoteric < 1365065244 35022 :nooga!~nooga@ip-46-250-173-30.ip.maverick.com.pl JOIN :#esoteric < 1365066527 649495 :AnotherTest!~AnotherTe@94-224-28-191.access.telenet.be JOIN :#esoteric < 1365066849 53397 :nooga!~nooga@ip-46-250-173-30.ip.maverick.com.pl QUIT :Ping timeout: 252 seconds < 1365067059 428614 :epicmonkey!~epicmonke@host-224-58.dataart.net JOIN :#esoteric < 1365067234 949813 :heroux!~heroux@5070823C.static.ziggozakelijk.nl JOIN :#esoteric < 1365067653 347003 :carado!~carado@2a01:e35:8b61:e430:221:63ff:fe9a:3747 QUIT :Quit: Leaving < 1365067665 906158 :carado!~user4539@2a01:e35:8b61:e430:6ef0:49ff:fe73:1fd0 JOIN :#esoteric < 1365068655 85670 :nooga!~nooga@ip-46-250-173-30.ip.maverick.com.pl JOIN :#esoteric < 1365069622 545021 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 JOIN :#esoteric < 1365071622 265624 :Taneb!~nathan@host-92-23-115-199.as13285.net QUIT :Ping timeout: 264 seconds < 1365071766 30775 :AnotherTest!~AnotherTe@94-224-28-191.access.telenet.be QUIT :Ping timeout: 252 seconds < 1365071787 500444 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net JOIN :#esoteric < 1365071913 868698 :Taneb!~nathan@host-92-23-115-199.as13285.net JOIN :#esoteric < 1365072361 700166 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :`slist < 1365072366 739158 :HackEgo!codu@codu.org PRIVMSG #esoteric :slist: Taneb atriq Ngevd Fiora nortti Sgeo ThatOtherPerson alot < 1365072916 634298 :Taneb!~nathan@host-92-23-115-199.as13285.net PRIVMSG #esoteric :Sgeo, you're a bit slow < 1365072929 382869 :Taneb!~nathan@host-92-23-115-199.as13285.net PRIVMSG #esoteric :I thought that was hours ago < 1365072932 309624 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :I was a bit asleep < 1365072960 808669 :Deewiant!~deewiant@deewiant.iki.fi PRIVMSG #esoteric :Isn't there a timestamp for the update you could also post < 1365073384 900054 :ThatOtherPerson!~ThatOther@unaffiliated/thatotherpersony JOIN :#esoteric < 1365073774 161505 :ais523_!93bcc208@gateway/web/freenode/ip.147.188.194.8 JOIN :#esoteric < 1365073901 386905 :Taneb!~nathan@host-92-23-115-199.as13285.net PRIVMSG #esoteric :Also, last night I think the Chinese Graphics Card problem came back < 1365073910 289014 :Taneb!~nathan@host-92-23-115-199.as13285.net PRIVMSG #esoteric :And then I had a bunch of nightmares < 1365073916 273305 :Taneb!~nathan@host-92-23-115-199.as13285.net PRIVMSG #esoteric :So I may be getting confused < 1365073951 88290 :ais523_!93bcc208@gateway/web/freenode/ip.147.188.194.8 PRIVMSG #esoteric :hmm < 1365073969 253443 :ais523_!93bcc208@gateway/web/freenode/ip.147.188.194.8 PRIVMSG #esoteric :I spent all night (after I woke up) working on my javascript database < 1365073983 713795 :ais523_!93bcc208@gateway/web/freenode/ip.147.188.194.8 PRIVMSG #esoteric :well, it's currently written in Perl, I'm planning to translate the read end of it into JS once it's working < 1365073994 537622 :ais523_!93bcc208@gateway/web/freenode/ip.147.188.194.8 PRIVMSG #esoteric :implementing databases is fun, really < 1365074007 117707 :Taneb!~nathan@host-92-23-115-199.as13285.net PRIVMSG #esoteric :So fun edwardk did it twice < 1365074021 136098 :ais523_!93bcc208@gateway/web/freenode/ip.147.188.194.8 PRIVMSG #esoteric :I invented a new user interface/API for them which is more limited than SQL, but also much easier to use in the situations where it works < 1365074089 560789 :ais523_!93bcc208@gateway/web/freenode/ip.147.188.194.8 PRIVMSG #esoteric :basically you just say which fields of which tables you care about, and it works out an appropriate sequence of joins, or complains and asks for more precision if there's more than one plausible way to do it < 1365074098 568082 :ais523_!93bcc208@gateway/web/freenode/ip.147.188.194.8 PRIVMSG #esoteric :and you can disambiguate < 1365074109 12706 :ais523_!93bcc208@gateway/web/freenode/ip.147.188.194.8 PRIVMSG #esoteric :the main limitation is that so far it doesn't handle many-to-many relationships < 1365074206 733352 :ais523_!93bcc208@gateway/web/freenode/ip.147.188.194.8 PRIVMSG #esoteric :(it doesn't produce the wrong answer, it just refuses to try) < 1365074654 471398 :nooodl^!~nooodl@91.177.109.136 JOIN :#esoteric < 1365074690 24874 :nooodl^!~nooodl@91.177.109.136 QUIT :Client Quit < 1365075036 90143 :nooga!~nooga@ip-46-250-173-30.ip.maverick.com.pl QUIT :Ping timeout: 260 seconds < 1365075136 300431 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :I have "?"s in the names of about one quarter of my course participants in this assignment grading table, due to not being able to get the list of registered people (it's in The System somewhere, and I don't have the privileges for that), and having to decipher them out of their handwritten answers. < 1365075166 377618 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :At least in the case of Finnish name there's usually enough context; but some of these others I really can't guess. < 1365075186 359864 :nooga!~nooga@ip-46-250-173-30.ip.maverick.com.pl JOIN :#esoteric < 1365075706 893127 :carado!~user4539@2a01:e35:8b61:e430:6ef0:49ff:fe73:1fd0 QUIT :Ping timeout: 246 seconds < 1365075750 872363 :ais523_!93bcc208@gateway/web/freenode/ip.147.188.194.8 PRIVMSG #esoteric :fizzie: we mostly got round the problem at this university by giving everyone an arbitrary number, and asking them to use them on submissions < 1365075761 797137 :ais523_!93bcc208@gateway/web/freenode/ip.147.188.194.8 PRIVMSG #esoteric :(and, often, to leave their actual name off, so that they can be marked pseudo-anonymously) < 1365075782 173469 :ais523_!93bcc208@gateway/web/freenode/ip.147.188.194.8 PRIVMSG #esoteric :it's harder to screw up a 7-digit number so badly that it can't be read, than a name < 1365075791 156960 :ais523_!93bcc208@gateway/web/freenode/ip.147.188.194.8 PRIVMSG #esoteric :also, < 1365075816 771932 :ais523_!93bcc208@gateway/web/freenode/ip.147.188.194.8 PRIVMSG #esoteric :people often put in extra effort to write it legibly because they know they won't get any marks if it's wrong because nobody will be able to figure out whose submission it is < 1365075819 975083 :atehwa!atehwa@aulis.sange.fi QUIT :Ping timeout: 260 seconds < 1365076020 510309 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :ais523_: We use the student number too, and there's an official rule of never publishing a list with both names and student numbers on them. < 1365076040 571244 :Deewiant!~deewiant@deewiant.iki.fi PRIVMSG #esoteric :Which is sometimes followed and sometimes not < 1365076043 936879 :ais523_!93bcc208@gateway/web/freenode/ip.147.188.194.8 PRIVMSG #esoteric :I'm not sure if we have that rule or not < 1365076049 326202 :ais523_!93bcc208@gateway/web/freenode/ip.147.188.194.8 PRIVMSG #esoteric :people try to avoid it, but sometimes it's unavoidable < 1365076065 74760 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Deewiant: Sometimes it's a list of student numbers only, but sorted according to name. < 1365076074 769989 :Deewiant!~deewiant@deewiant.iki.fi PRIVMSG #esoteric ::-D < 1365076078 95689 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :(That's the best, since you kind of have to do a linear search for your number.) < 1365076120 604719 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :I've figured out a couple of student numbers by taking the intersection of exam grade lists out of exams I've known the person to attend. < 1365076177 226663 :ais523_!93bcc208@gateway/web/freenode/ip.147.188.194.8 PRIVMSG #esoteric :oh, in my case I have a list of student number/name correspondences, because I need it for admin tasks (like working out who isn't submitting exercises), but I'm meant to keep it secret < 1365076198 688152 :ais523_!93bcc208@gateway/web/freenode/ip.147.188.194.8 PRIVMSG #esoteric :but there are interfaces via which you can give a name and get a number back, or vice versa, scattered around the computer system < 1365076208 799830 :ais523_!93bcc208@gateway/web/freenode/ip.147.188.194.8 PRIVMSG #esoteric :with various degrees of access control < 1365076211 158080 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :I used to get that list too, but just emailed by a guy with the right sort of access to The System. < 1365076224 131430 :ais523_!93bcc208@gateway/web/freenode/ip.147.188.194.8 PRIVMSG #esoteric :yeah, same here, emailed by someone with higher access < 1365076238 878653 :ais523_!93bcc208@gateway/web/freenode/ip.147.188.194.8 PRIVMSG #esoteric :one of my favourite boundaries in the system is that you used to be able to email an ID number < 1365076246 942104 :ais523_!93bcc208@gateway/web/freenode/ip.147.188.194.8 PRIVMSG #esoteric :which isn't obviously exploitable, but is interesting < 1365076251 925359 :ais523_!93bcc208@gateway/web/freenode/ip.147.188.194.8 PRIVMSG #esoteric :I'm not sure if that still works < 1365076254 911532 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Heh, we had that too. < 1365076299 229250 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Also, one of the earlier The Systems had a fault where you could type an ID number in the "people search" field, and it'd return details of the corresponding person, even if it doesn't show the ID number field in the results. < 1365076306 119732 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :(That one was obviously exploitable.) < 1365076370 671491 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Well, now. Here's one submission with no name or student number at all. < 1365076450 278290 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :And the one right next to it is missing the third digit of the six-digit ID (confirmed by matching with name). This is some sort of an unlucky round. < 1365076644 63672 :kallisti!~eris@168.28.136.16 JOIN :#esoteric < 1365076644 888935 :kallisti!~eris@168.28.136.16 QUIT :Changing host < 1365076645 83722 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake JOIN :#esoteric < 1365076995 940835 :ais523_!93bcc208@gateway/web/freenode/ip.147.188.194.8 QUIT :Quit: Page closed < 1365077159 751857 :Koen_!~Koen@vbo91-6-78-245-243-132.fbx.proxad.net JOIN :#esoteric < 1365077751 359117 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Heh, that's funny. If you type the word "attach" in an email in Thunderbird, it'll put up a notice banner reminding you that you might possibly have wanted to attach a file or something. < 1365077781 852184 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :I've sent my own share of "please see attached file" + "whoops, I mean, *here's* the file" email pairs, so I suppose that's a good idea. < 1365077784 111995 :ThatOtherPerson!~ThatOther@unaffiliated/thatotherpersony PRIVMSG #esoteric :GMail does that as well < 1365077809 560167 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :"Sending of message failed. The Kerberos/GSSAPI ticket was not accepted by the SMTP server mail.aalto.fi. Please check that you are logged in to the Kerberos/GSSAPI realm." < 1365077812 597786 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Well, that's less good. < 1365077826 553772 :Taneb!~nathan@host-92-23-115-199.as13285.net PRIVMSG #esoteric :Why am I thinking of toastie makers < 1365077832 7771 :Taneb!~nathan@host-92-23-115-199.as13285.net PRIVMSG #esoteric :Or possibly waffle irons < 1365077841 304335 :Taneb!~nathan@host-92-23-115-199.as13285.net PRIVMSG #esoteric :Something about my dreams last night... < 1365077860 325422 :Deewiant!~deewiant@deewiant.iki.fi PRIVMSG #esoteric :fizzie: And you can view/edit the list of keywords causing that banner in Preferences/Options -> Composition -> General -> Keywords < 1365077883 621216 :Taneb!~nathan@host-92-23-115-199.as13285.net PRIVMSG #esoteric :Anyway, we've got a new router, so I may brb < 1365078067 59055 :ThatOtherPerson!~ThatOther@unaffiliated/thatotherpersony PRIVMSG #esoteric :Taneb: turn the old router into a toaster! < 1365078092 911506 :Taneb!~nathan@host-92-23-115-199.as13285.net PRIVMSG #esoteric :ThatOtherPerson, that would mean we'd have a really crappy toaster < 1365078152 535832 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :But it would then run NetBSD! < 1365078158 750974 :ThatOtherPerson!~ThatOther@unaffiliated/thatotherpersony PRIVMSG #esoteric :Taneb: Your dream was a sign! You must do it! < 1365078159 427534 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Many toasters do. < 1365078200 673737 :Taneb!~nathan@host-92-23-115-199.as13285.net PRIVMSG #esoteric :But my dream also had me lose my shoes! < 1365078211 649312 :Taneb!~nathan@host-92-23-115-199.as13285.net PRIVMSG #esoteric :And look for them on the balcony of my school's main hall! < 1365078238 490872 :Taneb!~nathan@host-92-23-115-199.as13285.net PRIVMSG #esoteric :My school's main hall doesn't have a balcony! < 1365078243 4353 :Taneb!~nathan@host-92-23-115-199.as13285.net PRIVMSG #esoteric :Any, now I must go < 1365078259 16092 :Taneb!~nathan@host-92-23-115-199.as13285.net PRIVMSG #esoteric :My home planet needs me < 1365078486 593453 :ThatOtherPerson!~ThatOther@unaffiliated/thatotherpersony PRIVMSG #esoteric :Taneb: you must build a balcony for your school so that you can look for your shoes on it when you lose them! < 1365078556 831516 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :"2/3 = 0.75" (random quote from one of the submissions). < 1365078569 457202 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :It's correct up until the 2/3, and the "= 0.75" is the very last thing in it. < 1365078584 402645 :ThatOtherPerson!~ThatOther@unaffiliated/thatotherpersony PRIVMSG #esoteric ::/ < 1365078603 798832 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :It's the kind of thing that can happen. < 1365078816 181458 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake QUIT :Ping timeout: 260 seconds < 1365078846 456707 :GOMADWarrior!~Regis@189.34.44.144 JOIN :#esoteric < 1365080208 718584 :ais523!~ais523@unaffiliated/ais523 JOIN :#esoteric < 1365080229 618900 :boily!~boily@mtl.savoirfairelinux.net JOIN :#esoteric < 1365080277 80584 :fizzie!fis@unaffiliated/fizzie QUIT :Ping timeout: 245 seconds < 1365080285 118989 :metasepia!~metasepia@2607:fad8:4:6:f2de:f1ff:fe6c:6765 JOIN :#esoteric < 1365080303 632417 :Taneb!~nathan@host-92-23-115-199.as13285.net QUIT :Ping timeout: 255 seconds < 1365080357 729329 :fungot!fis@eos.zem.fi QUIT :Ping timeout: 248 seconds < 1365080619 841562 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :oh, bleh, wiki spam again < 1365080625 565932 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :despite being fast to clean up, it's still annoying to have to do so < 1365080674 629703 :AnotherTest!~AnotherTe@94-224-28-191.access.telenet.be JOIN :#esoteric < 1365080781 843965 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :I should reboot my bot. < 1365080805 173426 :ThatOtherPerson!~ThatOther@unaffiliated/thatotherpersony PRIVMSG #esoteric :I should rebot my boot. < 1365080805 368339 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :elliott: "Warning: This filter was automatically disabled as a safety measure. It reached the limit of matching more than 5.00% of actions." < 1365080894 679100 :ogrom!~del@gprs-inet-65-87.elisa.ee JOIN :#esoteric < 1365080959 713116 :Koen_!~Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :oklofok: do you have other games like your counting dots thingy? < 1365081038 897931 :nooodl!~nooodl@91.177.109.136 JOIN :#esoteric < 1365081112 28626 :GOMADWarrior!~Regis@189.34.44.144 QUIT :Ping timeout: 260 seconds < 1365081296 374374 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :anyway, basically MediaWiki decided that there were sufficient amounts of spam being caught by the filter, that it should disable the filter because it must be interfering with real editors by mistake < 1365081334 528367 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :also, it's now impossible to create a page on Esolang with a
tag and no newlines; there's no penalty for trying, it's just that the spambots don't seem to understand newlines < 1365081344 540351 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :so this should shut them down altogether until someone changes their framework < 1365081920 132733 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :what if a spambotter spies on this channel? < 1365082193 546716 :ThatOtherPerson!~ThatOther@unaffiliated/thatotherpersony PRIVMSG #esoteric :what if a spambot spies on this channel? < 1365082468 826599 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :hmm... there's a flurry of idlers here. maybe they're all bots? < 1365082597 310703 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :boily: the details of what exactly you aren't allowed to do are public < 1365082607 674130 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I could hide them, but if I did, I wouldn't tell the channel about them < 1365082618 828324 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :and it's a really easy restriction to figure out by experiment < 1365082687 282631 :ThatOtherPerson!~ThatOther@unaffiliated/thatotherpersony PRIVMSG #esoteric :I am a bot < 1365082702 508481 :ThatOtherPerson!~ThatOther@unaffiliated/thatotherpersony PRIVMSG #esoteric :Not a spambot though. That is beneath my talents. < 1365082824 517233 :sirdancealot!~sirdancea@98.82.broadband5.iol.cz QUIT :Ping timeout: 264 seconds < 1365083038 597424 :GOMADWarrior!~Regis@189.34.44.144 JOIN :#esoteric < 1365083204 285342 :ThatOtherPerson!~ThatOther@unaffiliated/thatotherpersony QUIT :Quit: Leaving < 1365083233 872360 :carado!~user4539@2a01:e35:8b61:e430:6ef0:49ff:fe73:1fd0 JOIN :#esoteric < 1365083550 771276 :sirdancealot!~sirdancea@98.82.broadband5.iol.cz JOIN :#esoteric < 1365084327 446134 :fizzie!fis@unaffiliated/fizzie JOIN :#esoteric < 1365084688 887374 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Every time there are network problems, there's the chance for some sort of an amazing support experience from the ISP. < 1365084706 680758 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :This time the problem reporting form just said "this service is temporarily out of order, try again later". < 1365084748 230913 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :They have an IM-over-the-browser kind of customer contact thing, but that one does not accept fault reports. < 1365084773 622941 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Would've'd to SPEAK with ANOTHER HUMAN. How unhygienic. < 1365084780 25117 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :(Fortunately, it fixed itself.) < 1365084949 341029 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net QUIT :Quit: hello < 1365084963 531423 :fungot!fis@eos.zem.fi JOIN :#esoteric < 1365085072 425434 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :fungot: Are YOU responsible for the wikispam? < 1365085072 830670 :fungot!fis@eos.zem.fi PRIVMSG #esoteric :fizzie: the variable file is not very fast". :) anyways, i mean syntax fnord etc. < 1365085312 615192 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :fungot: make it faster! < 1365085313 294335 :fungot!fis@eos.zem.fi PRIVMSG #esoteric :FireFly: it's " swap the comma and period" followed by another " a", a unicode local, and you output a newline, your interpreter might not show an ui :p there) < 1365085572 922169 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :fungot: what is a unicode local? < 1365085573 570508 :fungot!fis@eos.zem.fi PRIVMSG #esoteric :boily: does that allows to extend vim with scheme the implementation figures that out itself. technology is behind all 3 of those. at first the way dataflow folks play with it yourself. < 1365085883 384018 :nooodl_!~nooodl@91.177.109.136 JOIN :#esoteric < 1365086109 898379 :nooodl!~nooodl@91.177.109.136 QUIT :Ping timeout: 256 seconds < 1365086143 871310 :nooga!~nooga@ip-46-250-173-30.ip.maverick.com.pl QUIT :Ping timeout: 256 seconds < 1365086216 624198 :sirdancealot!~sirdancea@98.82.broadband5.iol.cz QUIT :Ping timeout: 255 seconds < 1365086410 958898 :Bike!~Glossina@67-5-198-245.ptld.qwest.net JOIN :#esoteric < 1365086776 524646 :aloril!~aloril@dsl-tkubrasgw3-54f97e-153.dhcp.inet.fi QUIT :Ping timeout: 245 seconds < 1365086839 373058 :fizzie!fis@unaffiliated/fizzie QUIT :Ping timeout: 264 seconds < 1365086853 695653 :fungot!fis@eos.zem.fi QUIT :Ping timeout: 248 seconds < 1365086915 371999 :fizzie!fis@unaffiliated/fizzie JOIN :#esoteric < 1365086964 810135 :carado!~user4539@2a01:e35:8b61:e430:6ef0:49ff:fe73:1fd0 QUIT :Quit: Leaving < 1365087053 930829 :carado!~user4539@2a01:e35:8b61:e430:6ef0:49ff:fe73:1fd0 JOIN :#esoteric < 1365087180 476970 :sirdancealot!~sirdancea@98.82.broadband5.iol.cz JOIN :#esoteric < 1365087597 692692 :aloril!~aloril@dsl-tkubrasgw3-54f97e-153.dhcp.inet.fi JOIN :#esoteric < 1365087705 568066 :btiffin!~btiffin@24.212.223.48 JOIN :#esoteric < 1365087870 223101 :ThatOtherPerson!~ThatOther@unaffiliated/thatotherpersony JOIN :#esoteric < 1365088015 195832 :ThatOtherPerson!~ThatOther@unaffiliated/thatotherpersony QUIT :Client Quit < 1365088108 828357 :Taneb!~nathan@host-92-30-190-31.as13285.net JOIN :#esoteric < 1365088626 489185 :btiffin!~btiffin@24.212.223.48 QUIT :Ping timeout: 276 seconds < 1365089968 562428 :ThatOtherPerson!~ThatOther@unaffiliated/thatotherpersony JOIN :#esoteric < 1365090115 996945 :ThatOtherPersonY!~ThatOther@unaffiliated/thatotherpersony JOIN :#esoteric < 1365090121 502897 :Taneb!~nathan@host-92-30-190-31.as13285.net PRIVMSG #esoteric :I wonder if learning OpenGL for C will help me learn it for Haskell enough for it to be worth it for the better-maintained and fuller tutorials? < 1365090226 426524 :ThatOtherPerson!~ThatOther@unaffiliated/thatotherpersony QUIT :Ping timeout: 245 seconds < 1365090278 380506 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :Taneb: yes. you can also learn it for C++/Java, as they're only thin wrappers with the same function names. < 1365090278 575694 :Taneb!~nathan@host-92-30-190-31.as13285.net PRIVMSG #esoteric :@ping < 1365090278 770605 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :pong < 1365090280 63942 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :the Haskell OpenGL library I used is a pretty low level mapping of the C API < 1365090300 991081 :Taneb!~nathan@host-92-30-190-31.as13285.net PRIVMSG #esoteric :Wow, this new router is great < 1365090318 954452 :ThatOtherPersonY!~ThatOther@unaffiliated/thatotherpersony PRIVMSG #esoteric :Taneb: is the old one a toaster yet? < 1365090322 641691 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :just be careful of the version of OpenGL you chose to learn, as there are multiple major semantic changes and tools and ways of doing things between them. < 1365090326 93629 :ThatOtherPersonY!~ThatOther@unaffiliated/thatotherpersony NICK :ThatOtherPerson < 1365090339 121603 :Taneb!~nathan@host-92-30-190-31.as13285.net PRIVMSG #esoteric :ThatOtherPerson, nah, we've already got a toaster, don't need a new one < 1365090347 503205 :ThatOtherPerson!~ThatOther@unaffiliated/thatotherpersony PRIVMSG #esoteric :aw D: < 1365090352 270531 :boily!~boily@mtl.savoirfairelinux.net NICK :new_toaster < 1365090361 274745 :ThatOtherPerson!~ThatOther@unaffiliated/thatotherpersony PRIVMSG #esoteric :yay :D < 1365090381 125188 :new_toaster!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :
ACTION even has a bagel button!
< 1365090394 883495 :new_toaster!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :(very important when you live in montréal or NYC) < 1365090450 259478 :Lymia!~moe@inportb/loli/cirno-chan QUIT :Ping timeout: 264 seconds < 1365090455 761782 :ThatOtherPerson!~ThatOther@unaffiliated/thatotherpersony PRIVMSG #esoteric :
ACTION slices a bagel in half and puts the slices into new_toaster, then pushes down the thingamabob and presses the bagel button
< 1365090487 946000 :ThatOtherPerson!~ThatOther@unaffiliated/thatotherpersony PRIVMSG #esoteric :new_toaster: Do you prefer Montr�al-style bagels or New York-style bagels? < 1365090557 973420 :Taneb!~nathan@host-92-30-190-31.as13285.net PRIVMSG #esoteric :Haskell is OpenGL 2.1, right? < 1365090558 168323 :Taneb!~nathan@host-92-30-190-31.as13285.net PRIVMSG #esoteric :Yeah < 1365090564 992954 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I'd say that with OpenGL, the old fixed function pipeline is an interesting introduction but shouldn't be used for actual code < 1365090987 337170 :new_toaster!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :ThatOtherPerson: Montréal style, definitely. Freshly made in the morning, with sesamee seeds. < 1365090994 365947 :ThatOtherPerson!~ThatOther@unaffiliated/thatotherpersony PRIVMSG #esoteric ::D < 1365091002 845496 :ThatOtherPerson!~ThatOther@unaffiliated/thatotherpersony PRIVMSG #esoteric :Yep, those are pretty nice < 1365091017 598912 :Taneb!~nathan@host-92-30-190-31.as13285.net QUIT :Quit: Leaving < 1365091337 42379 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :What's the difference? < 1365091353 149867 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :("The bagel button". Crazy.) < 1365091400 815779 :ThatOtherPerson!~ThatOther@unaffiliated/thatotherpersony PRIVMSG #esoteric :fizzie: Montreal-style bagels are thinner, chewier, and slightly sweeter < 1365091460 505157 :nooga!~nooga@public-gprs558332.centertel.pl JOIN :#esoteric < 1365091498 507339 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Hrm. I suppose I don't really have a point of reference here. < 1365091597 67513 :ThatOtherPerson!~ThatOther@unaffiliated/thatotherpersony PRIVMSG #esoteric :fizzie: Have you eaten bagels before? < 1365091620 988137 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Yes, several times, but I don't know which kind of they were, since it has all happened in Finland. < 1365091628 918712 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :If I give you a photo, can you tell from it what kind it is? < 1365091633 129145 :ThatOtherPerson!~ThatOther@unaffiliated/thatotherpersony PRIVMSG #esoteric :yeah < 1365091640 496822 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :http://arnolds.fi/bagels_en <- I've eaten those things. < 1365091657 279949 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Okay, so it mentions New York in the description. < 1365091671 93698 :ThatOtherPerson!~ThatOther@unaffiliated/thatotherpersony PRIVMSG #esoteric :Yep, those are New York-style bagels < 1365091692 413172 :ThatOtherPerson!~ThatOther@unaffiliated/thatotherpersony PRIVMSG #esoteric :except they probably were in Finland before they were in New York... < 1365091716 708008 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Then there's the ones I've eaten at home, I think they're thinner. At least the hole's bigger. < 1365091738 644283 :ThatOtherPerson!~ThatOther@unaffiliated/thatotherpersony PRIVMSG #esoteric :At any rate, I like all bagels < 1365091751 689292 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :It's a funny word. < 1365091800 714959 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :http://www.foodfactory.fi/dennisBagelit.php are the ones that they sell at our local grocery store. < 1365091881 731647 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Hey, the Wikipedia "Bagel" page lists the Finnish vesirinkeli. We used to buy a giant pile of those from the neighbour bakery when visiting the small town where my parents are from. < 1365091969 625059 :Lymia!~moe@tccd250-2.tccd.edu JOIN :#esoteric < 1365091969 819267 :Lymia!~moe@tccd250-2.tccd.edu QUIT :Changing host < 1365091969 819426 :Lymia!~moe@inportb/loli/cirno-chan JOIN :#esoteric < 1365092060 791073 :ogrom!~del@gprs-inet-65-87.elisa.ee QUIT :Quit: Left < 1365092364 533902 :ThatOtherPerson!~ThatOther@unaffiliated/thatotherpersony PRIVMSG #esoteric :Bagels are the bond which unites us all. < 1365092403 607671 :ThatOtherPerson!~ThatOther@unaffiliated/thatotherpersony QUIT :Read error: Connection reset by peer < 1365092432 416961 :ThatOtherPerson!~ThatOther@unaffiliated/thatotherpersony JOIN :#esoteric < 1365092574 726334 :doesthiswork!~Adium@75.87.251.5 JOIN :#esoteric < 1365092640 281389 :ThatOtherPerson!~ThatOther@unaffiliated/thatotherpersony QUIT :Client Quit < 1365093347 626211 :copumpkin!~copumpkin@unaffiliated/copumpkin QUIT :Ping timeout: 252 seconds < 1365093378 793026 :copumpkin!~copumpkin@unaffiliated/copumpkin JOIN :#esoteric < 1365093911 592657 :nooga!~nooga@public-gprs558332.centertel.pl QUIT :Ping timeout: 255 seconds < 1365094032 392205 :Taneb!~nathan@host-92-30-190-31.as13285.net JOIN :#esoteric < 1365094369 883021 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :ais523: heh, becauset here is too much spam? < 1365094509 649334 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :elliott: yes < 1365094519 424151 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I turned it off and on again to reset it < 1365094541 172966 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :sorry about that < 1365094548 912021 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :anyway, now we have a filter 2 that's prevents edits anywhere if they contain
and no newline, only consequence is preventing the edit < 1365094595 919759 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :this should block every spambot edit we've had recently < 1365094608 762348 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :OK < 1365094613 752173 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :the spambots have been trying various sorts of
to get around the filter; I'm reasonably sure there's some sort of human intervention < 1365094616 165623 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :I swear soon I'll upgrade the wiki and add more captchas < 1365094620 458058 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :perhaps some day they'll discover the existence of newlines ;) < 1365094624 84228 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :hopefully we won't even need the filters then < 1365094641 141656 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :ais523: hmm maybe I should look at the server logs < 1365094648 130090 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :to see where the human is < 1365094653 382474 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :elliott: well I have checkuser logs < 1365094660 136424 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :well they could be using another IP < 1365094660 584943 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I found the human at one point through checkuser < 1365094663 711908 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :and blocked the IP range < 1365094664 180656 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :and not editing themselves or something < 1365094675 466085 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :since then, everything's just been random proxies when I've checked < 1365094676 311786 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :then it would be beneficial to block them from /reading/ the wiki, at the webserver level < 1365094680 986206 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :so it's harder for them to try new strategies < 1365094681 767071 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :the usual cannot-block-stuff < 1365094684 791842 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :oh, proxies, of course :( < 1365094693 963117 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :(maybe they have a distinctive user agent...) < 1365094747 100963 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :well the person I suspect of being human stopped editing upon the "clicking submit will block you" warning < 1365094761 692852 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :then resumed a little later from a browser that identified as x64 firefox rather than x86 firefox < 1365094807 899258 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :You’re in a desert walking along in the sand when all of the sudden you look down, and you see a tortoise, crawling toward you. You reach down, you flip the tortoise over on its back. The tortoise lays on its back, its belly baking in the hot sun, beating its legs trying to turn itself over, but it can’t, not without your help. But you’re not helping. Why is that? < 1365094811 573927 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :most likely explanations: they physically changed to a different computer because they thought it would get around the spambot traps (while continuing to use the same username), or they're faking their useragent < 1365094836 604505 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :ais523: I'm baffled as to why, this behaviour does not fit with my mental model of wiki spammers at all < 1365094856 773215 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :it doesn't make a lot of sense to me either < 1365094859 161660 :olsner!~salparot@c83-252-194-156.bredband.comhem.se PRIVMSG #esoteric :kmc: is that the thing that makes your brain melt if you're a bot? < 1365094871 809145 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :which is: basically fully automated, targetting many thousands of wikis all at once, getting other people (without this kind of level of control) to solve CAPTCHAs < 1365094875 240358 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :i thought it was just for detecting bots < 1365094876 189417 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :the most likely thing I can think of is that they're trying to spam with very little idea of what they're doing < 1365094886 392002 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :so why would someone who has the ability to change the bot's behaviour be messing around with a wiki that they can surely tell is basically pointless to spam? < 1365094896 86433 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :probably the spammer variant of a script kiddie < 1365094907 104652 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :they have some tools from somewhere and feel really l33t for using them < 1365094915 4911 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :but don't fundamentally understand what they're doing < 1365094920 403610 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :hmm... maybe I should look at the links they're spamming < 1365094930 204992 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :although, I suppose they're links someone else is paying them to spam, most likely < 1365094941 846899 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :and don't, that'd mean they weren't 100% wasting their time < 1365094988 168225 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :ais523: they'll get no meaningful benefit from me looking at the link; I'll copy it so the referer doesn't show < 1365095004 375170 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :and I might get marginal benefit from it w.r.t. not being as confused < 1365095078 600562 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :ais523: anyway, I figure the easiest thing is to block these at registration time < 1365095104 788900 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :if there really is a human getting around each extra prevention one by one, then it shouldn't be too hard to make them get bored if they can't even get accounts registered without a bunch of work < 1365095130 268695 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :yep < 1365095139 193917 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :we're getting legitimate non-spammy newbies too < 1365095146 569336 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :so don't want to make things so hard for them < 1365095157 228853 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :there's always the INTERCAL CAPTCHA that Claudio Calvelli uses, it's hilarious < 1365095223 694988 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :ais523: so there was a non-proxy IP originally, right? < 1365095230 475423 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :maybe we could report them to their ISP < 1365095254 46365 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :elliott: there are some IPs that have been used multiple times, and also a range that had multiple spambots editing from it < 1365095257 438096 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :look at my blocks on IP ranges < 1365095285 956697 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :well, one range, one single IP < 1365095300 181476 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :
ACTION looks up the IPs
< 1365095441 230620 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :ais523: the 113.212.70.170 one is likely to be the spambot's unproxied IP, right? < 1365095452 385705 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :or at least, less-proxied < 1365095463 86818 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I think the range is their actual IP < 1365095468 349834 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :not sure, though < 1365095469 837555 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :or, hmm < 1365095522 99818 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :the one I just quoted is allocated to APNIC, fwiw < 1365095552 373439 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :and the range, some networking company in Vegas I've never heard of < 1365096122 101565 :atehwa!atehwa@aulis.sange.fi JOIN :#esoteric < 1365096154 802603 :impomatic!~digital_w@87.115.210.249 JOIN :#esoteric < 1365096841 270083 :Lymia!~moe@inportb/loli/cirno-chan QUIT :Ping timeout: 258 seconds < 1365097057 157037 :augur!~augur@208.58.5.87 QUIT :Remote host closed the connection < 1365097171 332855 :conehead!~conehead@unaffiliated/conehead JOIN :#esoteric < 1365097463 344122 :Taneb!~nathan@host-92-30-190-31.as13285.net QUIT :Ping timeout: 240 seconds < 1365097488 98359 :Taneb!~nathan@host-92-30-190-31.as13285.net JOIN :#esoteric < 1365097775 14915 :nooga!~nooga@ip-46-250-173-30.ip.maverick.com.pl JOIN :#esoteric < 1365097895 451789 :tromp_!~tromp@rtc35-148.rentec.com PRIVMSG #esoteric :hiais523. i like your reversible brainfuck. but now you have a challenge < 1365097923 814655 :tromp_!~tromp@rtc35-148.rentec.com PRIVMSG #esoteric :it needs a self interpreter:) < 1365097947 914778 :AnotherTest!~AnotherTe@94-224-28-191.access.telenet.be PRIVMSG #esoteric :tromp_: why don't you write one yourself? Could be real fun < 1365097955 854773 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :tromp_: IIRC it was proven TC < 1365097957 336226 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :maybe not < 1365098115 886311 :tromp_!~tromp@rtc35-148.rentec.com PRIVMSG #esoteric :yes, you proved that it's possible in http://esolangs.org/wiki/Reversible_Brainfuck#Computational_class < 1365098157 344207 :tromp_!~tromp@rtc35-148.rentec.com PRIVMSG #esoteric :you coulf write a RBF interpreter in BF and then convert that to RBF < 1365098163 526622 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :right < 1365098261 37880 :tromp_!~tromp@rtc35-148.rentec.com PRIVMSG #esoteric :but maybe it can be done directly and still be competitive (in size) with existing BF self-interpreters < 1365098770 685765 :Lymia!~moe@tccd250-2.tccd.edu JOIN :#esoteric < 1365098770 937210 :Lymia!~moe@tccd250-2.tccd.edu QUIT :Changing host < 1365098770 937299 :Lymia!~moe@inportb/loli/cirno-chan JOIN :#esoteric < 1365098924 208481 :new_toaster!~boily@mtl.savoirfairelinux.net NICK :boily < 1365099757 900993 :augur!~augur@ip-64-134-66-47.public.wayport.net JOIN :#esoteric < 1365100318 150038 :ThatOtherPerson!~ThatOther@unaffiliated/thatotherpersony JOIN :#esoteric < 1365101725 54173 :FreeFull!~freefull@defocus/sausage-lover QUIT : < 1365102308 563035 :epicmonkey!~epicmonke@host-224-58.dataart.net QUIT :Ping timeout: 245 seconds < 1365102570 757578 :AnotherTest!~AnotherTe@94-224-28-191.access.telenet.be QUIT :Quit: Leaving. < 1365103545 68262 :nooga!~nooga@ip-46-250-173-30.ip.maverick.com.pl QUIT :Ping timeout: 252 seconds < 1365103865 175479 :oerjan!oerjan@sprocket.nvg.ntnu.no JOIN :#esoteric < 1365104044 675858 :Lymia!~moe@inportb/loli/cirno-chan QUIT :Ping timeout: 256 seconds < 1365105429 961430 :ThatOtherPerson!~ThatOther@unaffiliated/thatotherpersony QUIT :Quit: Leaving < 1365105598 832937 :augur!~augur@ip-64-134-66-47.public.wayport.net QUIT :Remote host closed the connection < 1365106094 605161 :epicmonkey!~epicmonke@188.134.41.112 JOIN :#esoteric < 1365106137 823513 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric : Why do sea gulls fly over seas? If they flew over bays, they'd be bagels. <-- i fear this channel may not be big enough for the both of us. < 1365106204 942383 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :you're upset at having someone trying to outpun you? :3 < 1365106217 73232 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :_and_ being older to boot. < 1365106227 545519 :Taneb!~nathan@host-92-30-190-31.as13285.net PRIVMSG #esoteric :btiffin must accept the punishment < 1365106231 714229 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :oh no :P < 1365106407 987175 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :what is this channel's preferred form of punishment? tortue by brainfuck derivative? < 1365106416 567374 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :s/ue/ure/ < 1365106447 901047 :augur!~augur@129-2-129-34.wireless.umd.edu JOIN :#esoteric < 1365106480 74229 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :my preferred form of punishment is swatting. < 1365106610 968505 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :boily: there's always brainbricking < 1365106620 425738 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :though some have started to consider that practice barbaric. < 1365106648 81040 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :boily: A torte *of* brainfuck derivatives. < 1365106651 255006 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :You and your swatter.. < 1365106662 995583 :Taneb!~nathan@host-92-30-190-31.as13285.net PRIVMSG #esoteric :brainbricking was invented during the Punic wars < 1365106667 186545 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :tortilla of brainfuck derivatives < 1365106683 443051 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :
ACTION hits FireFly with the saucepan ===\__/
< 1365106705 114041 :Taneb!~nathan@host-92-30-190-31.as13285.net PRIVMSG #esoteric :It caused those who suffered it to have a puny intelligence < 1365106718 274084 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :oerjan: can you make a dependently-typed language with good coinduction please? < 1365106721 287703 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :coq is awful at it. < 1365106736 903140 :Taneb!~nathan@host-92-30-190-31.as13285.net PRIVMSG #esoteric :It was then rediscovered by the punk movement in the 80's < 1365106741 439711 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :elliott: unlikely. < 1365106767 594081 :Taneb!~nathan@host-92-30-190-31.as13285.net PRIVMSG #esoteric :oerjan, you can take a punt < 1365106772 841883 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :Taneb: it was written on stone tablets found in punjab < 1365106783 97985 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :
ACTION pours hot tea on oerjan C(__)`
< 1365106801 218497 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :(that is supposed to be a teapot) < 1365106803 162652 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :Mmm, tea. < 1365106806 190495 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :
ACTION sizzles
< 1365106823 830078 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :oerjan: I just want to write semantics with the partiality monad! < 1365106839 801431 :Taneb!~nathan@host-92-30-190-31.as13285.net PRIVMSG #esoteric :oerjan, my plot has been unspun! < 1365106840 139396 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :elliott: "semantics"? what are you, conal? < 1365106841 389766 :zzo38!~zzo38@24-207-49-17.eastlink.ca JOIN :#esoteric < 1365106959 111934 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :Taneb: i deciphered it with a lyapunov function < 1365106997 854183 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :
ACTION wetly slaps oerjan with a damp and humid metasepia just to see what happens (FOR SCIENCE!)
< 1365107047 518422 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :
ACTION scuttles fishily away
< 1365107078 163907 :Taneb!~nathan@host-92-30-190-31.as13285.net PRIVMSG #esoteric :...I'm going to stop. I happun to think this has gone to far. < 1365107227 375303 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :
ACTION noms sushi
< 1365107244 521869 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :well it did now, when you started opun fake spellings < 1365107274 649150 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :I think you're doing this on porpoise < 1365107293 409154 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :even if it's just for the halibut, these puns are pretty crappie < 1365107300 379704 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :cod be. < 1365107323 685482 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :I can't salmon the force to face this puns. < 1365107328 719656 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :s/this/these/ < 1365107347 855884 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :yeah that's the trout < 1365107350 854298 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :see, even my grammar is out of tuna. I need to go back to school. < 1365107370 990382 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :sharking < 1365107427 208565 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :it might be better if I clam up but I'm a bit shellfish when it comes to fintastic puns < 1365107427 912467 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :hey wiktionary actually has a picture on the crappie page < 1365107461 530009 :zzo38!~zzo38@24-207-49-17.eastlink.ca QUIT :Remote host closed the connection < 1365107521 173509 :Nisstyre!~yours@oftn/member/Nisstyre QUIT :Quit: Leaving < 1365107637 49091 :Taneb!~nathan@host-92-30-190-31.as13285.net PRIVMSG #esoteric :Something's fishy < 1365107671 453919 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :what < 1365107671 934700 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :what < 1365107672 929645 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :what < 1365107674 106762 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :are you < 1365107677 116691 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :people < 1365107680 314949 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :doing fish puns < 1365107684 317364 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :no, bots. < 1365107702 32418 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :this is all a load of mackerel < 1365107735 122383 :Taneb!~nathan@host-92-30-190-31.as13285.net PRIVMSG #esoteric :Phantom_Hoover, try harder. That was carp. < 1365107742 310211 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :if you don't like them, you can skipper them. < 1365107764 881691 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :yeah well why don't you go pufferfish yourself < 1365107784 834314 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :what kind of language is this i'm herring < 1365107839 517872 :Taneb!~nathan@host-92-30-190-31.as13285.net PRIVMSG #esoteric :It's somewhat angler-saxon < 1365107865 516639 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :eel be damned, that's what I was going to sail. < 1365107878 190361 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :Taneb: i think we're trawling the bottom here < 1365107901 888321 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :water you even saying, these puns are reely crayative < 1365107916 564219 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :we can always fit moray of them. < 1365107953 353540 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :no, i _really_ think this topic is floundering < 1365108034 669947 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :really we should wrasse the lot of it < 1365108038 804160 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :i shrimply refuse to bereef it < 1365108080 556224 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :this lobster meaning a page ago < 1365108163 478839 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :i think it still has lobsta meaning < 1365108205 798486 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :Fiora you are barnacle worst of the lot < 1365108235 108737 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :oh well at least we're krilling some time < 1365108242 88276 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :ah, it's fin to sea this channel filled to the bream with bad puns. < 1365108291 119229 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :i like how these conversations always just end up being about how awful puns are starfish < 1365108423 614980 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :now that we reached the pike of the subject, could someone quote the loach of it for posterity? < 1365108450 723636 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :no we should never speak of this again dolphin < 1365108475 55906 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :also we sacculina never do it again either < 1365108482 494480 :Bike!~Glossina@67-5-198-245.ptld.qwest.net PRIVMSG #esoteric :AAAAAH < 1365108486 375675 :Bike!~Glossina@67-5-198-245.ptld.qwest.net PRIVMSG #esoteric :
ACTION knocks over a table
< 1365108489 140238 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :
ACTION is suspicious of Phantom_Hoover's puns, they look fishy in the wrong way
< 1365108502 866080 :Bike!~Glossina@67-5-198-245.ptld.qwest.net PRIVMSG #esoteric :WHAT THE HELL ARE YOU DOING YOU MOTHERFUCKERS < 1365108514 450005 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :it happened once. leave it abalone once it's finished. < 1365108537 982156 :Taneb!~nathan@host-92-30-190-31.as13285.net PRIVMSG #esoteric :...you can drink SHOTS of beer? < 1365108549 701744 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :Taneb: yeah that's cannonical < 1365108556 114726 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :would you triplefin blenny think of Bike, he's suffering < 1365108573 214988 :Bike!~Glossina@67-5-198-245.ptld.qwest.net PRIVMSG #esoteric :triplefin blenny what the FUCK < 1365108575 111610 :Taneb!~nathan@host-92-30-190-31.as13285.net PRIVMSG #esoteric :Alcohol has more to offer me than I thought < 1365108578 508650 :pikhq!~pikhq@174-24-14-72.clsp.qwest.net PRIVMSG #esoteric :Shots of beer? What proof are you dealing with? < 1365108580 496405 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :a woman needs a man like a bike needs a fish? < 1365108587 804266 :Bike!~Glossina@67-5-198-245.ptld.qwest.net PRIVMSG #esoteric :those aren't even words < 1365108593 542537 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i haven't got a single of Phantom_Hoover's puns. is anyone sure they're real? < 1365108614 9285 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :ok i guess i get the mackerel one < 1365108632 19053 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :think harder, you'll staghorn sculpin it eventually < 1365108651 96693 :Bike!~Glossina@67-5-198-245.ptld.qwest.net PRIVMSG #esoteric :you're just putting fish words in they don't evne make sense < 1365108658 178358 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :yes < 1365108668 688610 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :well Phantom_Hoover's puns are making me laugh the most < 1365108669 844993 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :by far < 1365108674 377018 :Bike!~Glossina@67-5-198-245.ptld.qwest.net PRIVMSG #esoteric :
ACTION throws the table at Phantom_Hoover
< 1365108674 571626 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :thus deadlocking the pun thread while everyone else frantically tries to work it out < 1365108678 810096 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :that's the theory, at least < 1365108684 964670 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :sadly Taneb ruined the experiment < 1365108734 196412 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :in fact i am still laughing < 1365108754 743360 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :triplefin blenny is probably valid cockney for something. < 1365108776 330793 :Taneb!~nathan@host-92-30-190-31.as13285.net PRIVMSG #esoteric :Phantom_Hoover is blatantly the most cockney person here < 1365108804 40406 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :yes, that's fairly conception < 1365108848 869699 :Bike!~Glossina@67-5-198-245.ptld.qwest.net PRIVMSG #esoteric :no it's not nothing is fairly conception there is no conception and NOTHING IS FAIR < 1365108861 689282 :ais523!~ais523@unaffiliated/ais523 QUIT : < 1365108879 272155 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :surprising ais523 didn't quit earlier < 1365109062 89491 :Taneb!~nathan@host-92-30-190-31.as13285.net PRIVMSG #esoteric :Nothing is conception and everything is permitted < 1365109099 62036 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :~duck conception < 1365109099 500711 :metasepia!~metasepia@2607:fad8:4:6:f2de:f1ff:fe6c:6765 PRIVMSG #esoteric :conception definition: the process of becoming pregnant involving fertilization or implantation or both. < 1365109110 560472 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :~eval Nothing < 1365109111 668199 :metasepia!~metasepia@2607:fad8:4:6:f2de:f1ff:fe6c:6765 PRIVMSG #esoteric :Error (1): No instance for (GHC.Show.Show a0) < 1365109111 862660 :metasepia!~metasepia@2607:fad8:4:6:f2de:f1ff:fe6c:6765 PRIVMSG #esoteric : arising from a use of `M4607643867718357546.show_M4607643867718357546' < 1365109111 862751 :metasepia!~metasepia@2607:fad8:4:6:f2de:f1ff:fe6c:6765 PRIVMSG #esoteric :The type variable `a0' is ambiguous < 1365109111 862797 :metasepia!~metasepia@2607:fad8:4:6:f2de:f1ff:fe6c:6765 PRIVMSG #esoteric :Possible fix: add a type signature that fixes these type variable(s) < 1365109111 862841 :metasepia!~metasepia@2607:fad8:4:6:f2de:f1ff:fe6c:6765 PRIVMSG #esoteric :Note: there are several potential instances: < 1365109111 862884 :metasepia!~metasepia@2607:fad8:4:6:f2de:f1ff:fe6c:6765 PRIVMSG #esoteric : instance GHC.Show.Show GHC.Types.Double < 1365109111 862926 :metasepia!~metasepia@2607:fad8:4:6:f2de:f1ff:fe6c:6765 PRIVMSG #esoteric : -- Defined in `base:GHC.Float' < 1365109112 701529 :metasepia!~metasepia@2607:fad8:4:6:f2de:f1ff:fe6c:6765 PRIVMSG #esoteric : instance GHC.Show.Show GHC.Types.Float < 1365109112 896395 :metasepia!~metasepia@2607:fad8:4:6:f2de:f1ff:fe6c:6765 PRIVMSG #esoteric : -- Defined in `base:GHC.Float' < 1365109113 692924 :metasepia!~metasepia@2607:fad8:4:6:f2de:f1ff:fe6c:6765 PRIVMSG #esoteric : instance (GHC.Real.Integral a, GHC.Show.Show a) => < 1365109113 887153 :metasepia!~metasepia@2607:fad8:4:6:f2de:f1ff:fe6c:6765 PRIVMSG #esoteric : GHC.Show.Show (GHC.Real.Ratio a) < 1365109114 675970 :metasepia!~metasepia@2607:fad8:4:6:f2de:f1ff:fe6c:6765 PRIVMSG #esoteric : -- Defined in `base:GHC.Real' < 1365109133 870761 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :boily: ...you need defaulting rules. < 1365109157 288713 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :what should I put in this case? < 1365109190 773771 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :-XExtendedDefaultingRules < 1365109193 377923 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :or whatever it's called < 1365109202 857104 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :no can do for now. < 1365109210 717818 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :oh right. the opaque binary. < 1365109222 676676 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :you could make a ghc executable that comes before the real one in $PATH. < 1365109226 127433 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :and adds ExtendedDefaultingRules. < 1365109533 721230 :FreeFull!~freefull@defocus/sausage-lover JOIN :#esoteric < 1365110162 360746 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric : yes, you proved that it's possible in http://esolangs.org/wiki/Reversible_Brainfuck#Computational_class < 1365110171 25298 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :*GRUMBLE* i did that hth < 1365110189 417181 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oerjan: hello oerjan < 1365110196 763972 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`welcome oerjan < 1365110197 403707 :Taneb!~nathan@host-92-30-190-31.as13285.net PRIVMSG #esoteric :Rule 1 of #esoteric: < 1365110202 661728 :HackEgo!codu@codu.org PRIVMSG #esoteric :oerjan: 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.) < 1365110202 932824 :Taneb!~nathan@host-92-30-190-31.as13285.net PRIVMSG #esoteric :It was oerjan < 1365110251 470996 :tromp_!~tromp@rtc35-148.rentec.com PRIVMSG #esoteric :sorry oerjan, i cldnt tell from the webpage < 1365110256 13165 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :Taneb: i felt a little bad when someone else said they'd _almost_ showed emmental TC just after i put up my interpreter < 1365110313 390327 :tromp_!~tromp@rtc35-148.rentec.com PRIVMSG #esoteric :all hail oerjan, completeness-prover-extraordinaire < 1365110341 847824 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :oerjan, enemy of gödel < 1365110389 77380 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :tromp_: IT'S ALL IN THE PAGE HISTORY < 1365110390 42016 :Bike!~Glossina@67-5-198-245.ptld.qwest.net PRIVMSG #esoteric :*sworn < 1365110397 673484 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :
ACTION maybe should start crediting himself
< 1365110419 24501 :tromp_!~tromp@rtc35-148.rentec.com PRIVMSG #esoteric :yeah, i always read the whole history of every wiki page... < 1365110421 183667 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :but i sort of like that the wiki is neutral speaker < 1365110459 512705 :Bike!~Glossina@67-5-198-245.ptld.qwest.net PRIVMSG #esoteric :Emmental was proven TC by ørjan the eternal, enemy of the darkness < 1365110468 80069 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :oerjan: you can say that the work was done by oerjan < 1365110472 992568 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :maybe they will believe someone else wrote it up < 1365110479 823932 :tromp_!~tromp@rtc35-148.rentec.com PRIVMSG #esoteric :btw, you can remove " Included with permission. " from the Nora primes. < 1365110500 901439 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :oh no < 1365110542 575019 :tromp_!~tromp@rtc35-148.rentec.com PRIVMSG #esoteric :no need for legalese... < 1365110592 157302 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :øh nø < 1365110599 556920 :Taneb!~nathan@host-92-30-190-31.as13285.net PRIVMSG #esoteric :tromp_, did you just... < 1365110619 538945 :Taneb!~nathan@host-92-30-190-31.as13285.net PRIVMSG #esoteric :did you just shorten Real Fast Nora's Hair Salon 3: Shear Disaster Download? < 1365110626 145433 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :tromp_: well i needed to say it somewhere, maybe the edit summary would have been enough < 1365110628 529909 :tromp_!~tromp@rtc35-148.rentec.com PRIVMSG #esoteric :i sure did < 1365110665 425816 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :tromp_: i'm sorry, but this is for your own good... < 1365110672 88915 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :
ACTION swats tromp_ -----###
< 1365110692 796831 :tromp_!~tromp@rtc35-148.rentec.com PRIVMSG #esoteric :i hereby donate Nora prime sieve to the public domain < 1365110696 769613 :tromp_!~tromp@rtc35-148.rentec.com PRIVMSG #esoteric :there you have it:) < 1365110714 325583 :tromp_!~tromp@rtc35-148.rentec.com PRIVMSG #esoteric :sorry again taneb for my shortening:( < 1365110714 800266 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :hi oerjan < 1365110719 644259 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :can i be swatted a little bit < 1365110720 297669 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :hi shachaf < 1365110743 385656 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :
ACTION swats shachaf with the spare --#
< 1365110749 814773 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Oh, come on. < 1365110756 75037 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I don't get a full -----### ? < 1365110763 910495 :Taneb!~nathan@host-92-30-190-31.as13285.net PRIVMSG #esoteric :Real Fast Nora's Hair Salon 3: Shear Disaster Download is the longest-named esolang I know of < 1365110766 294472 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :you said "a little bit" < 1365110778 587329 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :true < 1365110782 468759 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Some of my bathrooms have baths; the rest are restrooms. < 1365110789 201185 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :can i be swatted for that < 1365110798 937952 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :Taneb: INTERCAL's official name is longer < 1365110806 385617 :tromp_!~tromp@rtc35-148.rentec.com PRIVMSG #esoteric :i cant even be bothered to write out the full name of BLC... < 1365110807 451224 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :or is it hm < 1365110829 775841 :Taneb!~nathan@host-92-30-190-31.as13285.net PRIVMSG #esoteric :> length "Compiler Language With No Pronouncable Acronym" < 1365110831 617371 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : 46 < 1365110836 652392 :Taneb!~nathan@host-92-30-190-31.as13285.net PRIVMSG #esoteric :> length "Real Fast Nora's Hair Salon 3: Shear Disaster Download" < 1365110838 549588 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : 54 < 1365110840 543374 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :eek < 1365110848 206881 :tromp_!~tromp@rtc35-148.rentec.com PRIVMSG #esoteric :here's the rule: if you need to cut&paste the name of your language, then it is too long < 1365110862 163858 :Taneb!~nathan@host-92-30-190-31.as13285.net PRIVMSG #esoteric :tromp_, it's not too hard to type it out < 1365110889 597967 :tromp_!~tromp@rtc35-148.rentec.com PRIVMSG #esoteric :if you had, we'd have seen a typo or two:) < 1365110897 123025 :Taneb!~nathan@host-92-30-190-31.as13285.net PRIVMSG #esoteric :Nah, I'm just good < 1365110907 71136 :Bike!~Glossina@67-5-198-245.ptld.qwest.net PRIVMSG #esoteric :real fast nora's hair salon three: shear disaster download < 1365110914 901860 :Taneb!~nathan@host-92-30-190-31.as13285.net PRIVMSG #esoteric :(I actually am typing it out each time) < 1365110920 934356 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :What kind of esolang is RFNHS3:SDD? < 1365110930 571261 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :I think abbreviating Nora into 「リファノヘサスシディダ」 is better. < 1365110936 120182 :Taneb!~nathan@host-92-30-190-31.as13285.net PRIVMSG #esoteric :FireFly, haven't heard of it < 1365110938 226160 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :IMO kick anyone who abbreviates that language < 1365110941 922076 :ion!ion@heh.fi PRIVMSG #esoteric :tromp: I wouldn’t bother to copy and paste that if my hand wasn’t on the mouse already. < 1365110945 235129 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :shachaf: don't be a loonie < 1365110962 699206 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :Taneb: okay then, Real Fast Nora's Hair Salon 3: Shear Disaster Download < 1365110970 451151 :Taneb!~nathan@host-92-30-190-31.as13285.net PRIVMSG #esoteric :FireFly, it's functional < 1365110975 144162 :Bike!~Glossina@67-5-198-245.ptld.qwest.net PRIVMSG #esoteric :elliot's o iso bjeectivel y correct < 1365110994 240886 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :tromp_: we don't agree with that rule here around these parts. < 1365111016 117389 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :tromp_: also i _don't_ need to cut&paste itflabtijtslwi. < 1365111030 567889 :pikhq!~pikhq@174-24-14-72.clsp.qwest.net PRIVMSG #esoteric :boily: rihuānohesesusitèītà? < 1365111034 316532 :Taneb!~nathan@host-92-30-190-31.as13285.net PRIVMSG #esoteric :FireFly, basically lambda calculus with a really "nice and readable" syntax < 1365111071 928479 :tromp_!~tromp@rtc35-148.rentec.com PRIVMSG #esoteric :basically a COBOLized lambda calculus < 1365111075 498327 :Bike!~Glossina@67-5-198-245.ptld.qwest.net PRIVMSG #esoteric :pikhq: does japanese use graves now < 1365111086 471151 :pikhq!~pikhq@174-24-14-72.clsp.qwest.net PRIVMSG #esoteric :Bike: If I'm Romanizing it. < 1365111086 816163 :Taneb!~nathan@host-92-30-190-31.as13285.net PRIVMSG #esoteric :Imagine if binary lambda calculus and BIT got married and had a child < 1365111114 756593 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :"nice and readable" < 1365111131 644969 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :pikhq: the first syllable of each word. < 1365111155 188989 :pikhq!~pikhq@174-24-14-72.clsp.qwest.net PRIVMSG #esoteric :Bike: The string he put out there is impossible to romanize with any other defined romanization scheme. < 1365111165 268784 :Bike!~Glossina@67-5-198-245.ptld.qwest.net PRIVMSG #esoteric :metal < 1365111177 89679 :pikhq!~pikhq@174-24-14-72.clsp.qwest.net PRIVMSG #esoteric :Bike: Only way to do it would basically be with the random hacks used for Japanese input on keyboards. < 1365111180 796821 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :I can't remember if it's ダ or ド for download. < 1365111194 446806 :pikhq!~pikhq@174-24-14-72.clsp.qwest.net PRIVMSG #esoteric :Then it'd be something like "rifanohesesushidelida" < 1365111206 164100 :pikhq!~pikhq@174-24-14-72.clsp.qwest.net PRIVMSG #esoteric :boily: It's ダウンロード, so ダ. < 1365111223 710415 :Bike!~Glossina@67-5-198-245.ptld.qwest.net PRIVMSG #esoteric :imo, make an esolang that does computation through romanizing tangut < 1365111237 498279 :zzo38!~zzo38@24-207-49-17.eastlink.ca JOIN :#esoteric < 1365111255 960917 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :time to go eat. < 1365111262 618779 :boily!~boily@mtl.savoirfairelinux.net QUIT :Quit: Poulet! < 1365111266 141276 :metasepia!~metasepia@2607:fad8:4:6:f2de:f1ff:fe6c:6765 QUIT :Remote host closed the connection < 1365111318 589984 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :Bike: imo you do that < 1365111406 723827 :Bike!~Glossina@67-5-198-245.ptld.qwest.net PRIVMSG #esoteric :but i don't know tangut :( < 1365111447 344604 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :it takes two to tangut < 1365111473 900652 :Taneb!~nathan@host-92-30-190-31.as13285.net QUIT :Ping timeout: 256 seconds < 1365112248 8261 :atehwa!atehwa@aulis.sange.fi QUIT :Ping timeout: 260 seconds < 1365112577 941295 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :ooh, new drive comic < 1365112616 754615 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :although it's still sort of filler < 1365112885 776438 :pikhq!~pikhq@174-24-14-72.clsp.qwest.net PRIVMSG #esoteric :Audio dithering is god damned silly. < 1365112908 755420 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :hither and dither < 1365112925 600594 :atehwa!atehwa@aulis.sange.fi JOIN :#esoteric < 1365112929 264394 :pikhq!~pikhq@174-24-14-72.clsp.qwest.net PRIVMSG #esoteric :The simple-but-effective way is to just add low-amplitude white noise. < 1365112948 63289 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :
ACTION wonders if there's a bot that makes better puns than these
< 1365112978 898684 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :puns puns puns < 1365112982 430724 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :funpuns < 1365112993 320262 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :except shachaf. < 1365113018 359751 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :wait, maybe all humans are secretly punbots < 1365113031 144180 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :fungot, are you a punbot? < 1365113044 657475 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :pun bots make fun gots < 1365113051 4495 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :mostly fungot is a runawaybot < 1365113052 398020 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :fungot is dead < 1365113066 601905 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :fizzie: SOMEONE KILLED FUNGOT < 1365113075 653726 :Bike!~Glossina@67-5-198-245.ptld.qwest.net PRIVMSG #esoteric :http://nothinginbiology.files.wordpress.com/2012/07/evo2012bingo.png So what does this sort of thing look like for CS and maths conferences < 1365113134 334007 :Nisstyre-laptop!~yours@oftn/member/Nisstyre JOIN :#esoteric < 1365113134 915178 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :probably mostly the same < 1365113141 976079 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i dunno, but i would put "is easily seen" and "obvious" in any math ones < 1365113156 890123 :Bike!~Glossina@67-5-198-245.ptld.qwest.net PRIVMSG #esoteric :yeah i figured you could switch out "Darwin (1859)" for "trivial" < 1365113174 101012 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :haha do people actually cite darwin like that < 1365113180 774350 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :programmers like to say something is "trivial" when it will require 250 hours of engineering effort but the basic idea is simple < 1365113192 319549 :Bike!~Glossina@67-5-198-245.ptld.qwest.net PRIVMSG #esoteric :elliott: I've seen it. It's hilarious. < 1365113221 397881 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :just in case anyone's reading the latest evolution papers and wants to find out about this "darwin" guy's work < 1365113233 950202 :Bike!~Glossina@67-5-198-245.ptld.qwest.net PRIVMSG #esoteric :Someday I'm going to cite Darwin (1881) and blow everybody's fucking mind < 1365113239 176007 :augur!~augur@129-2-129-34.wireless.umd.edu QUIT :Remote host closed the connection < 1365113254 926645 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :darwin did his most influential computer science work in 1881 < 1365113270 764360 :doesthiswork!~Adium@75.87.251.5 PRIVMSG #esoteric :he had some good material on earthworms < 1365113271 266288 :Bike!~Glossina@67-5-198-245.ptld.qwest.net PRIVMSG #esoteric :1881 is when he wrote his book on worm shit < 1365113273 828049 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :The Formation of Vegetable Mould through the Action of Worms would be a good name for an album < 1365113281 523847 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :kmc. < 1365113286 773139 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :it's sort of like The Mysterious Production of Eggs < 1365113286 969013 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :that would actually be a terrible name for an album < 1365113295 879047 :doesthiswork!~Adium@75.87.251.5 PRIVMSG #esoteric :hah, I knew my biology major was good for something < 1365113296 212462 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :Lovelace (1862) ? < 1365113305 837555 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :oh sorry it's "The Formation of Vegetable Mould through the Action of Worms, with Observations on their Habits" < 1365113309 343885 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :doesthiswork: don't try and comfort Bike < 1365113315 474358 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :he needs to know how futile it is < 1365113315 708509 :Bike!~Glossina@67-5-198-245.ptld.qwest.net PRIVMSG #esoteric :interestingly Formation of Vegetable Moulds is actually very interesting < 1365113328 21090 :Bike!~Glossina@67-5-198-245.ptld.qwest.net PRIVMSG #esoteric :not what you'd expect from a book about which direction worms pull leaves into their burrows < 1365113335 941104 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :oh she was already dead then < 1365113336 135126 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :the only thing more useless than a biology degree is a speech recognition researcher < 1365113339 57123 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :
ACTION looks at fizzie
< 1365113352 44663 :doesthiswork!~Adium@75.87.251.5 PRIVMSG #esoteric :... I have a friend who does that < 1365113353 331770 :Koen_!~Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :hey guys < 1365113354 853559 :Bike!~Glossina@67-5-198-245.ptld.qwest.net PRIVMSG #esoteric :oerjan: also wasn't lovelace's thing like a translation < 1365113363 339615 :Koen_!~Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :oerjan: how's my timing today, uh? < 1365113367 694964 :Bike!~Glossina@67-5-198-245.ptld.qwest.net PRIVMSG #esoteric :or a ltter, i forget < 1365113369 97089 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :doesthiswork: I hope they make you feel better about yourself < 1365113387 155768 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :Koen_: much better < 1365113399 560820 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :http://achewood.com/index.php?date=01312010 < 1365113406 405736 :Koen_!~Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :what's a speech recognition researcher? < 1365113410 165314 :Koen_!~Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :oh wait < 1365113413 67369 :Koen_!~Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :ok < 1365113431 286105 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :http://en.wikipedia.org/wiki/File:Earthworm_klitellum_copulation_beentree.jpg hot < 1365113440 271716 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :elliott: but I like trying to comfort bike < 1365113445 150633 :Koen_!~Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :
ACTION was imagining some guy analyzing speeches in a way similar to how some people analyze handwriting
< 1365113458 127407 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :Fiora: ok well you can tell him stories about speech recognition. that is acceptable < 1365113463 80450 :Bike!~Glossina@67-5-198-245.ptld.qwest.net PRIVMSG #esoteric :kmc: fun fact darwin's book on emotions was one of the first books to include photographs http://www.ucl.ac.uk/sts/engage_academics/impact/narratives/images/eema4.jpg < 1365113465 708834 :doesthiswork!~Adium@75.87.251.5 PRIVMSG #esoteric :the ladies love a man you knows that much about oral production < 1365113474 19403 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :what < 1365113484 925794 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :Bike: hahahaha < 1365113504 380354 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :that's him? < 1365113507 359544 :Bike!~Glossina@67-5-198-245.ptld.qwest.net PRIVMSG #esoteric :nah < 1365113520 893710 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :just some guy who also has a prodigious beard < 1365113530 499972 :Bike!~Glossina@67-5-198-245.ptld.qwest.net PRIVMSG #esoteric :this is him: http://images.arcadja.com/charles_darwin-the_expression_of_the_emotions_in_man~OMd4b300~10001_20071014_15400_4646.jpg < 1365113538 492695 :Bike!~Glossina@67-5-198-245.ptld.qwest.net PRIVMSG #esoteric :best plate in history imo < 1365113575 403033 :doesthiswork!~Adium@75.87.251.5 PRIVMSG #esoteric :troll face is one of the primative primate signals < 1365113580 682953 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :picture of charles darwin: http://upload.wikimedia.org/wikipedia/commons/thumb/9/9c/Oscar_Wilde_portrait.jpg/220px-Oscar_Wilde_portrait.jpg < 1365113608 739136 :doesthiswork!~Adium@75.87.251.5 PRIVMSG #esoteric :that might be the wrong photo < 1365113615 530286 :Bike!~Glossina@67-5-198-245.ptld.qwest.net PRIVMSG #esoteric :kmc: i'm pretty disappointed that those terms aren't actually composting things. < 1365113630 625121 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :are you a person who knows about compost < 1365113645 549388 :Bike!~Glossina@67-5-198-245.ptld.qwest.net PRIVMSG #esoteric :no i just wanted "open Tanoku matrix" to be real < 1365113855 634138 :Bike!~Glossina@67-5-198-245.ptld.qwest.net PRIVMSG #esoteric :"I have just received such a Box full from Mr Bateman with the astounding Angræcum sesquipedalia with a nectary a foot long— Good Heavens what insect can suck it" thinking i need to read darwin's letters < 1365113881 205110 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :did you see http://www.npr.org/blogs/krulwich/2012/10/18/163181524/charles-darwin-and-the-terrible-horrible-no-good-very-bad-day < 1365113908 575829 :Bike!~Glossina@67-5-198-245.ptld.qwest.net PRIVMSG #esoteric :haha yes < 1365113924 882563 :Bike!~Glossina@67-5-198-245.ptld.qwest.net PRIVMSG #esoteric :btw the answer to his question was apparently http://en.wikipedia.org/wiki/File:NHM_Xanthopan_morgani.jpg which is horrifying < 1365113936 390745 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :D: < 1365113964 763002 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :did darwin do any mushroom biology < 1365114019 226857 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :fungi are so weird, i think they're the least well studied kingdom by far < 1365114020 572761 :Bike!~Glossina@67-5-198-245.ptld.qwest.net PRIVMSG #esoteric :Let's see... no I think he mostly did botany, sucks. < 1365114042 758698 :Bike!~Glossina@67-5-198-245.ptld.qwest.net PRIVMSG #esoteric :I guess I can't blame him. Like, Origin of Species was literally written before the germ theory of disease, what the fuck. < 1365114265 116071 :pikhq!~pikhq@174-24-14-72.clsp.qwest.net PRIVMSG #esoteric :Given how little was known at the time, Darwin was really quite impressive. < 1365114319 978162 :Bike!~Glossina@67-5-198-245.ptld.qwest.net PRIVMSG #esoteric :Even without having any idea of microbiology, he mentioned the possibility of parasitic worms and fungi evolving, like wow dude. < 1365114339 562526 :doesthiswork!~Adium@75.87.251.5 PRIVMSG #esoteric :that's what 50 years of makeing sure it makes sense does for you < 1365114376 297994 :pikhq!~pikhq@174-24-14-72.clsp.qwest.net PRIVMSG #esoteric :Yup. He figured it out just by inferring very well. < 1365114636 814858 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :Yes, he was pretty good at it. Now that we actually have such science, though, our science improved to be better than Darwin's stuff. < 1365114637 295974 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :zzo38: You have 1 new message. '/msg lambdabot @messages' to read it. < 1365114640 825972 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :?messages < 1365114641 515597 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :shachaf asked 1d 1h 26m 47s ago: are you into alchemy < 1365114700 897688 :hagb4rdoux!~perdito@koln-4db4f087.pool.mediaWays.net JOIN :#esoteric < 1365114720 923856 :Bike!~Glossina@67-5-198-245.ptld.qwest.net PRIVMSG #esoteric :Well, yeah, Darwin's theory of how heredity actually worked is pretty fucking funny < 1365114779 850828 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :Darwin certainly did make a lot of mistakes, though; but, so do a lot of people. < 1365114815 995059 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :Now I wrote about a #% command in Esoteric Verilog to specify faulty components which have a given probability to give the correct answer instead of always working correctly. < 1365114863 670075 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric : fungi are so weird, i think they're the least well studied kingdom by far < 1365114880 869707 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :archae, bitch < 1365114883 978134 :carado!~user4539@2a01:e35:8b61:e430:6ef0:49ff:fe73:1fd0 QUIT :Quit: Leaving < 1365114910 973460 :hagb4rdoux!~perdito@koln-4db4f087.pool.mediaWays.net PRIVMSG #esoteric :high there! isn't that kalbrenners most awesome track? just enjoyous..(you may know one of the brothers - both music makers, bu also bot solo-artist < 1365114917 647624 :hagb4rdoux!~perdito@koln-4db4f087.pool.mediaWays.net PRIVMSG #esoteric :.. http://www.youtube.com/watch?feature=player_embedded&v=2hCo6X-1YcY#t=0s) < 1365114920 758893 :hagb4rdoux!~perdito@koln-4db4f087.pool.mediaWays.net PRIVMSG #esoteric :http://www.youtube.com/watch?feature=player_embedded&v=2hCo6X-1YcY#t=0s < 1365114923 182071 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :Phantom_Hoover: yeah maybe < 1365114932 757871 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :I sort of meant relative to complexity and variety < 1365114934 931092 :Bike!~Glossina@67-5-198-245.ptld.qwest.net PRIVMSG #esoteric :Phantom_Hoover: that's not really a kingdom so much as a miscellaneous dump :/ < 1365115023 870599 :hagb4rdoux!~perdito@koln-4db4f087.pool.mediaWays.net PRIVMSG #esoteric :
ACTION like died afte typing ít, leaving some riddles for futures archeologists
< 1365115024 851025 :fungot!fis@eos.zem.fi JOIN :#esoteric < 1365115036 620387 :hagb4rdoux!~perdito@koln-4db4f087.pool.mediaWays.net PRIVMSG #esoteric :hi < 1365115037 409151 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :fungot: Try to stay alive there. < 1365115037 655084 :fungot!fis@eos.zem.fi PRIVMSG #esoteric :fizzie: ( twb: except " initialization" is fnord < 1365115042 329012 :hagb4rdoux!~perdito@koln-4db4f087.pool.mediaWays.net NICK :hagb4rd < 1365115105 67891 :hagb4rd!~perdito@koln-4db4f087.pool.mediaWays.net PRIVMSG #esoteric :-- well that would be fair: the movie "berlin calling" .. if you've seen it you know him < 1365115159 187494 :hagb4rd!~perdito@koln-4db4f087.pool.mediaWays.net PRIVMSG #esoteric :he kinda played himself, after just consulting the regisseur they just did by one take :P < 1365115164 346479 :hagb4rd!~perdito@koln-4db4f087.pool.mediaWays.net PRIVMSG #esoteric :did it < 1365115332 152157 :hagb4rd!~perdito@koln-4db4f087.pool.mediaWays.net PRIVMSG #esoteric :damn! how can i be sooo wrong? heres the correct link < 1365115333 627757 :hagb4rd!~perdito@koln-4db4f087.pool.mediaWays.net PRIVMSG #esoteric :http://www.youtube.com/watch?feature=player_embedded&v=2hCo6X-1YcY#t=720s < 1365115340 32745 :hagb4rd!~perdito@koln-4db4f087.pool.mediaWays.net PRIVMSG #esoteric :12:000 < 1365115344 191324 :hagb4rd!~perdito@koln-4db4f087.pool.mediaWays.net PRIVMSG #esoteric :sry < 1365115530 756035 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :I read in some book about a experiment to distinguish many-worlds from Copenhagen. To me, the experiment described seems impossible. < 1365115550 421151 :Jafet!~Jafet@unaffiliated/jafet QUIT :Quit: Leaving. < 1365115552 262219 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :(Other than that the experiment looks OK, though.) < 1365115610 570140 :augur!~augur@pool-141-156-196-158.res.east.verizon.net JOIN :#esoteric < 1365115618 254858 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :what is the experiment < 1365115701 396040 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :I do not have that book with me right now, and I do not entirely remember, but it involves making the experiment entirely reversing itself and everything involved; that also includes whoever did the experiment, and if he gives the result to someone then it must involve them too; if he write it or put in the computer, it involves that paper/computer too, etc < 1365115722 928388 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :... < 1365115743 301558 :Bike!~Glossina@67-5-198-245.ptld.qwest.net PRIVMSG #esoteric :Sounds tractable < 1365115944 513630 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :so basically a quantum erasure experiment taken to macroscopic level? < 1365115964 49663 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :Yes < 1365115970 232283 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :I think so < 1365116321 784199 :augur!~augur@pool-141-156-196-158.res.east.verizon.net QUIT :Remote host closed the connection < 1365116624 600411 :epicmonkey!~epicmonke@188.134.41.112 QUIT :Ping timeout: 256 seconds < 1365117068 596018 :augur!~augur@pool-141-156-196-158.res.east.verizon.net JOIN :#esoteric < 1365118004 897218 :augur_!~augur@pool-138-88-106-35.res.east.verizon.net JOIN :#esoteric < 1365118099 603010 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :I broke the build :( < 1365118188 635248 :augur!~augur@pool-141-156-196-158.res.east.verizon.net QUIT :Ping timeout: 256 seconds < 1365118205 898705 :hagb4rd!~perdito@koln-4db4f087.pool.mediaWays.net QUIT :Ping timeout: 256 seconds < 1365118267 704519 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :don't break the build < 1365118274 106680 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net JOIN :#esoteric < 1365118284 263528 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :hi monqy < 1365118295 260177 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :hi shachaf < 1365118295 899181 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :Sgeo: does your company have a funny hat or a cardboard cutout of justin bieber or a vat of acid or other such zany tradition for punishing people who break the build < 1365118307 631407 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :firing squad < 1365118322 142071 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :"Fools! You kill only a man." < 1365118329 289565 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :did sgeo break the build < 1365118335 252876 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :yuuuuuup < 1365118339 893593 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric ::-D < 1365118374 184658 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :we've all broken the build in our time < 1365118378 190370 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :even elliott < 1365118380 297004 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :There was an email sent to several people about it. It's kind of embarrassing. Especially after my boss said the prior day to just make sure it builds, and commit it. < 1365118409 350192 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oerjan: imo make this channel +c < 1365118410 936357 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :shachaf: uh I use dynamic langugaes, there is no build to break, that's why they are better < 1365118452 725563 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :Sgeo: so whats the story behind committing & pushing this commit without checking it builds < 1365118464 640858 :Bike!~Glossina@67-5-198-245.ptld.qwest.net PRIVMSG #esoteric :Anyone ever heard of someone losing their doctorate before? < 1365118500 807258 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :for cheating < 1365118509 906598 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :It built and ran fine on my machine. But running it uses the 'local' profile, which I guess whatever automated process is used for checking that revisions build doesn't, or something < 1365118524 6769 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :Bike: yes < 1365118525 900829 :Bike!~Glossina@67-5-198-245.ptld.qwest.net PRIVMSG #esoteric :like after actually getting it < 1365118533 161298 :Bike!~Glossina@67-5-198-245.ptld.qwest.net PRIVMSG #esoteric :i'd never heard of it before < 1365118546 891105 :augur!~augur@141.156.130.74 JOIN :#esoteric < 1365118550 115809 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :(Well, I guess it technically built fine but didn't run) < 1365118551 743637 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :plagiarism can make that happen < 1365118556 759884 :Bike!~Glossina@67-5-198-245.ptld.qwest.net PRIVMSG #esoteric :also «A German professor who claims to have developed “a self-consistent field theory which is used to derive at all known interactions of the potential vortex” will have at least two papers retracted, thanks to the scrutiny of a concerned economist» nooooo vortices < 1365118565 153614 :Bike!~Glossina@67-5-198-245.ptld.qwest.net PRIVMSG #esoteric :oerjan: yeah that's what happened in the case i was looking at < 1365118572 607017 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :economists ruin everything, am i right < 1365118580 562504 :Bike!~Glossina@67-5-198-245.ptld.qwest.net PRIVMSG #esoteric :but according to random internet person, "Pretty sure people have been hanged for much less than it takes for someone to lose their PhD" < 1365118593 423480 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :kmc: well they have the theory of ruin, they should be good at it < 1365118615 327367 :Bike!~Glossina@67-5-198-245.ptld.qwest.net PRIVMSG #esoteric :To give you a glimpse of this: According to this paper, magnetic “scalar waves” (an invention of Meyl unknown in temporary physics) emanate from the DNA of human cells and bring these cells in resonance with each other, their environment, and other human beings. This, according to Meyl, explains not only epigenetics, but also the workings of telepathy, telekinesis, and the human “aura”. Moreover, it reveals why love will never be measu < 1365118615 661819 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :Incidentally, I am now convinced that, whatever the merits or lack thereof of dynamic typing, the stupidity of dynamic typing PEOPLE makes it suck < 1365118651 83525 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :shachaf: 4,9why? < 1365118670 650155 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :Sgeo: anyone who's committed enough to dynamic typing to be a "dynamic typing person" might be dumb yeah < 1365118675 736339 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :and likewise for "static typing person" < 1365118682 977621 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :but plenty of smart people use dynamic languages < 1365118685 615210 :Gregor!codu@codu.org PRIVMSG #esoteric :Bike: PhDs aren't revoked. It just isn't done. If that idiot Behe still has a PhD, no one can ever lose one. < 1365118706 249017 :Bike!~Glossina@67-5-198-245.ptld.qwest.net PRIVMSG #esoteric :Gregor: this person gave his up semi-voluntarily so I was wondering about it. < 1365118712 54271 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :i misread Behe as Bike at first < 1365118714 10449 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :
ACTION was more referring to this tendency to think it's a good idea to make clients check what type something is
< 1365118715 898275 :augur_!~augur@pool-138-88-106-35.res.east.verizon.net QUIT :Ping timeout: 256 seconds < 1365118725 965910 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :
ACTION wonders who this Behe is
< 1365118731 788917 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :As in, APIs that return a collection unless there would be one item in the collection, in which case it returns the item < 1365118734 96823 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :That sort of thing < 1365118734 292250 :Bike!~Glossina@67-5-198-245.ptld.qwest.net PRIVMSG #esoteric :"Michael J. Behe (pron.: /ˈbiːhiː/ bee-hee; born January 18, 1952) is an American biochemist, author, and intelligent design advocate." < 1365118746 399168 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :Sgeo: yeah that's bad < 1365118756 165618 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :a lot of people who use dynamic languages will agree that is bad < 1365118817 866356 :Gregor!codu@codu.org PRIVMSG #esoteric :Bike: That last bit is the relevant part. < 1365118832 311912 :Bike!~Glossina@67-5-198-245.ptld.qwest.net PRIVMSG #esoteric :Gregor: so i gathered < 1365118833 885545 :Bike!~Glossina@67-5-198-245.ptld.qwest.net PRIVMSG #esoteric :«We’ve asked Meyl — who sells various equipment, including a 3,600-euro device that allows users to “construct an energy transmission line according to Tesla” — for comment and will update with anything we learn.» < 1365118849 373335 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :It's in a library at work, it's in Clojure, I think it used to be in Python < 1365118851 880527 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :Thatn sort of thing, I mean < 1365118861 885205 :augur!~augur@141.156.130.74 QUIT :Ping timeout: 246 seconds < 1365118883 492531 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :Sgeo: an old version of `splice` from the JS standard library did that >.< < 1365118897 916198 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :and yes, it's awful < 1365118929 911924 :Bike!~Glossina@67-5-198-245.ptld.qwest.net PRIVMSG #esoteric :"In one case, my adviser’s name ended up on a paper describing work that she had actually forbade me to do. She was going for tenure at the time." i keep reading about academia... < 1365118930 822483 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :Bike: "it reveals why love will never be measu" < 1365118936 6997 :Bike!~Glossina@67-5-198-245.ptld.qwest.net PRIVMSG #esoteric :oerjan: measured. < 1365118953 851600 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :darn i was so sure it was some other word < 1365118960 993551 :Bike!~Glossina@67-5-198-245.ptld.qwest.net PRIVMSG #esoteric :sorry! < 1365119044 961016 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net QUIT :Remote host closed the connection < 1365119075 319264 :Bike!~Glossina@67-5-198-245.ptld.qwest.net QUIT :Quit: Reconnecting < 1365119091 468863 :Bike!~Glossina@67-5-198-245.ptld.qwest.net JOIN :#esoteric < 1365119210 367882 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :measúil probably < 1365119215 588658 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net JOIN :#esoteric < 1365119627 71975 :Bike_!~Glossina@65-102-1-207.ptld.qwest.net JOIN :#esoteric < 1365119776 455242 :Bike!~Glossina@67-5-198-245.ptld.qwest.net QUIT :Ping timeout: 245 seconds < 1365119941 784379 :madbr!boulam@198-84-253-87.cpe.teksavvy.com JOIN :#esoteric