< 1351123262 354724 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :toListOf (both.traverse) :: Traversable t => (t a, t a) -> [a] < 1351123332 954443 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :what's :t both here again < 1351123350 686104 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Applicative f => (a -> f b) -> (a,a) -> f (b,b) < 1351123376 749925 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I charge 14 pence per ghci query from now on. < 1351123392 932369 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Do they still have pence in wherever-you-are? < 1351123439 988537 :Jafet!~Jafet@unaffiliated/jafet PRIVMSG #esoteric :Fourteen pants < 1351123500 821971 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :elliott: Does a Lens (Either a a) a make sense? < 1351123526 627709 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Oh, yes. < 1351123529 205407 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :It's called "chosen". < 1351123579 455218 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :shachaf: Traversal (a, a) a also makes sense < 1351123587 322863 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Hmm, choosing :: Functor f => LensLike f a b c c -> LensLike f a' b' c c -> LensLike f (Either a a') (Either b b') c c < 1351123592 741625 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :we still have pence yes < 1351123610 200338 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :elliott: That's "both". < 1351123628 721027 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Except I wrote it out for some reason. < 1351123832 675514 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Oh, so it is. < 1351123889 829850 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :elliott: Did you see my GHC bug report? < 1351123893 723190 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I guess you did. < 1351124081 11097 :copumpkin!~copumpkin@unaffiliated/copumpkin JOIN :#esoteric < 1351124116 880936 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :nope < 1351124117 434372 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :link < 1351124215 54164 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :http://hackage.haskell.org/trac/ghc/ticket/7364 < 1351124268 454069 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :shachaf: more reasons _|_ is bad < 1351124278 240080 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :_|_ is terrible. That's why I use ⊥. < 1351124288 402886 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :elliott: Anyway remember how I kept getting confused about semantics of that sort of thing? < 1351124294 995032 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :"we have an explanation" < 1351124297 964443 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :"thx" < 1351124341 18862 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :shachaf: isn't cutting off compiler optimisations for bad semantic reasons great! < 1351124344 531720 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :especially when nobody likes _|_s anyway! < 1351124370 680385 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :what about ⊥s tho < 1351125222 679205 :Nisstyre!~yours@oftn/member/Nisstyre JOIN :#esoteric < 1351125637 417645 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 QUIT :Read error: Connection reset by peer < 1351125978 479701 :Nisstyre!~yours@oftn/member/Nisstyre QUIT :Ping timeout: 260 seconds < 1351126231 19096 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :17:48 λx.x is equivalent to λy.y up to alpha-conversion, in the same way that your startup is equivalent to a startup with a good name, up to alpha-conversion. < 1351126317 409340 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :idgi < 1351126318 324858 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :haha < 1351126329 106463 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :is this about how all startups are the same and badly named < 1351126336 84670 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :I'm not in the know!! < 1351128433 86197 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :http://amoffat.github.com/sh/ is so cool < 1351128678 417849 :elliott!~elliott@unaffiliated/elliott QUIT :Ping timeout: 264 seconds < 1351128912 767664 :Sgeo!~Sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :monqy, arpderp < 1351128920 742323 :Sgeo!~Sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :tswett, you too < 1351129174 273529 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :i'm hoping this is the magic library that makes python actually pleasant for shell scripty things < 1351129326 800021 :Nisstyre!~yours@oftn/member/Nisstyre JOIN :#esoteric < 1351130376 356699 :Nisstyre!~yours@oftn/member/Nisstyre QUIT :Ping timeout: 240 seconds < 1351130671 565016 :pikhq!~pikhq@75-163-203-72.clsp.qwest.net PRIVMSG #esoteric :kmc: Looks like it. < 1351130693 441207 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :already hit a few snags < 1351130706 863692 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :like apparently i can run foo-bar as sh.foo_bar(), but not git ls-files as git.ls_files() < 1351130719 43632 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :even though subcommands like git.show() are supported generally < 1351130727 100727 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :still, pretty nice < 1351131045 896694 :pikhq!~pikhq@75-163-203-72.clsp.qwest.net PRIVMSG #esoteric :It's a freaking shell FFI. < 1351131257 544965 :Nisstyre!~yours@oftn/member/Nisstyre JOIN :#esoteric < 1351131383 529860 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :it's like ctypes for shell < 1351131408 902106 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :but more useful because "everything is a string" is a better universal type lie than "everything is a machine word" < 1351131506 649167 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :but ctypes is useful too < 1351131526 913585 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :sometimes i want to make nearly raw system calls, but do so from a language with real data types and abstractions < 1351131534 151381 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :*cough* kernel exploits *cough* < 1351131854 350091 :pikhq!~pikhq@75-163-203-72.clsp.qwest.net PRIVMSG #esoteric ::) < 1351133847 815630 :Canaimero-f560!~manuel@190.38.112.230 JOIN :#esoteric < 1351133946 210955 :Canaimero-f560!~manuel@190.38.112.230 PART :#esoteric < 1351134971 119586 :Nisstyre!~yours@oftn/member/Nisstyre QUIT :Read error: Operation timed out < 1351135481 793046 :Nisstyre!~yours@oftn/member/Nisstyre JOIN :#esoteric < 1351139551 610662 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :oh jesus, nested heredocs < 1351140330 903783 :pikhq!~pikhq@75-163-203-72.clsp.qwest.net PRIVMSG #esoteric :ACTION did not realize those "see no evil, hear no evil, speak no evil" monkeys were the result of a Japanese *pun*. < 1351140422 452215 :pikhq!~pikhq@75-163-203-72.clsp.qwest.net PRIVMSG #esoteric :"See no, hear no, speak no" in moderately archaic Japanese is "mizaru, kikazaru, iwazaru". And "seeing monkey, hearing monkey, speaking monkey" can be "mizaru, kikazaru, iwazaru". < 1351140426 463337 :pikhq!~pikhq@75-163-203-72.clsp.qwest.net PRIVMSG #esoteric :Just, huh. < 1351140520 544211 :Bike!~Glossina@65-102-1-43.ptld.qwest.net PRIVMSG #esoteric :I thought most everything in Japanese was a pun. < 1351140540 320890 :pikhq!~pikhq@75-163-203-72.clsp.qwest.net PRIVMSG #esoteric :Not really. < 1351140555 606236 :pikhq!~pikhq@75-163-203-72.clsp.qwest.net PRIVMSG #esoteric :Though wordplay isn't exactly unusual in Japanese. < 1351141887 393479 :hagb4rd|afk!~perdito@koln-4db43560.pool.mediaWays.net JOIN :#esoteric < 1351141950 185958 :hagb4rd|afk!~perdito@koln-4db43560.pool.mediaWays.net NICK :hagb4rd < 1351143260 558417 :hagb4rd!~perdito@koln-4db43560.pool.mediaWays.net PRIVMSG #esoteric :an astronaut on nasa tv: "th most important thing we have the discovered on the moon is the earth" < 1351144731 893400 :FreeFull!~freefull@defocus/sausage-lover QUIT : < 1351146233 805134 :Sgeo!~Sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :Maybe the Common Lisp quine will help me understand quines < 1351146255 474560 :oklopol!~oklopol@dyn58-51.yok.fi QUIT :Ping timeout: 256 seconds < 1351146266 670360 :Bike!~Glossina@65-102-1-43.ptld.qwest.net PRIVMSG #esoteric :what's to understand? < 1351146292 385920 :Sgeo!~Sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :How they work < 1351146303 606651 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :> ap(++)show"ap(++)show" < 1351146307 803907 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : mueval-core: Time limit exceeded < 1351146309 800451 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :> ap(++)show"ap(++)show" < 1351146313 296990 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : "ap(++)show\"ap(++)show\"" < 1351146323 347540 :Bike!~Glossina@65-102-1-43.ptld.qwest.net PRIVMSG #esoteric :backslashes. ruined < 1351146379 11459 :Sgeo!~Sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :That one's actually more understandable < 1351146381 540452 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :> text$ap(++)show"text$ap(++)show" < 1351146384 7067 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : text$ap(++)show"text$ap(++)show" < 1351146389 190857 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Sgeo: Pretty much all quines work that way. < 1351146397 987065 :Sgeo!~Sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric ::t ap < 1351146399 770739 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :forall (m :: * -> *) a b. (Monad m) => m (a -> b) -> m a -> m b < 1351146405 586229 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :ap x y z = x z (y z) < 1351146416 615385 :Bike!~Glossina@65-102-1-43.ptld.qwest.net PRIVMSG #esoteric :«(#1=(lambda (x) `(,x ',x)) '#1#)» i hope this has been enlightening < 1351146530 419737 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :hi < 1351146586 947885 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :hi < 1351148471 665334 :epicmonkey!~epicmonke@188.134.41.171 JOIN :#esoteric < 1351149629 347918 :Bike!~Glossina@65-102-1-43.ptld.qwest.net QUIT :Quit: there is no < 1351150002 429334 :epicmonkey!~epicmonke@188.134.41.171 QUIT :Ping timeout: 260 seconds < 1351150164 158303 :Frooxius!~Frooxius@cust-101.ktknet.cz JOIN :#esoteric < 1351150621 653994 :ais523!~ais523@unaffiliated/ais523 QUIT : < 1351151110 152155 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 JOIN :#esoteric < 1351152478 442856 :carado!~user4539@78.250.135.136 JOIN :#esoteric < 1351153649 322931 :carado!~user4539@78.250.135.136 QUIT :Ping timeout: 244 seconds < 1351154457 982405 :carado!~user4539@78.250.135.136 JOIN :#esoteric < 1351154910 370571 :epicmonkey!~epicmonke@host-224-58.dataart.net JOIN :#esoteric < 1351155072 351804 :ais523!~ais523@unaffiliated/ais523 JOIN :#esoteric < 1351156339 168124 :sivoais!~zaki@199.19.225.239 QUIT :Quit: Lost terminal < 1351158807 768350 :ais523!~ais523@unaffiliated/ais523 QUIT :Read error: Connection reset by peer < 1351158820 377674 :ais523!~ais523@unaffiliated/ais523 JOIN :#esoteric < 1351159294 60691 :ais523!~ais523@unaffiliated/ais523 QUIT :Read error: Connection reset by peer < 1351159298 323240 :ais523_!~ais523@unaffiliated/ais523 JOIN :#esoteric < 1351160027 894154 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net QUIT :Quit: hello < 1351160941 481707 :epicmonkey!~epicmonke@host-224-58.dataart.net QUIT :Remote host closed the connection < 1351160960 128340 :epicmonkey!~epicmonke@host-224-58.dataart.net JOIN :#esoteric < 1351162918 492400 :ais523_!~ais523@unaffiliated/ais523 QUIT :Ping timeout: 244 seconds < 1351163800 749567 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net QUIT :Quit: that's dr. turing to you, punk < 1351165536 341888 :sivoais!~zaki@199.19.225.239 JOIN :#esoteric < 1351169610 981910 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net JOIN :#esoteric < 1351169986 27026 :boily!~boily@mtl.savoirfairelinux.net JOIN :#esoteric < 1351170171 136352 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :what's the opposite of verbose? < 1351170198 261848 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :for instance how 'd you call a language where there are only symbols and no text at all < 1351170205 10734 :ion!ion@heh.fi PRIVMSG #esoteric :terse? < 1351170209 5592 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :"Quiet" is quite often used in terms of command line arguments. < 1351170216 348587 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :But a "quiet language" sounds a bit silly. < 1351170225 155735 :ion!ion@heh.fi PRIVMSG #esoteric :concise? < 1351170239 434570 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :ion: TERSE is a trademark of JimNeiL, you can't use it. < 1351170255 281396 :ion!ion@heh.fi PRIVMSG #esoteric :laconic? < 1351170258 357879 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :(Though possibly only when spelled uppercase like that.) < 1351170260 238448 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :"terse" seems to imply you're using words, but no more than the right amount < 1351170283 975518 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :(And I have to admit I couldn't actually find these trademark registrations in any databases.) < 1351170825 248863 :carado!~user4539@78.250.135.136 QUIT :Ping timeout: 268 seconds < 1351171328 905019 :Jafet!~Jafet@unaffiliated/jafet PRIVMSG #esoteric :APL < 1351171494 388058 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Perhaps "APLy", to coin an adjective. < 1351171560 479630 :ion!ion@heh.fi PRIVMSG #esoteric :Better not use APL, Apple will sue you. < 1351172511 153720 :copumpkin!~copumpkin@unaffiliated/copumpkin QUIT :Quit: Computer has gone to sleep. < 1351172528 839923 :elliott!~elliott@unaffiliated/elliott JOIN :#esoteric < 1351173514 125205 :Phantom__Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 JOIN :#esoteric < 1351173539 651599 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 QUIT :Ping timeout: 265 seconds < 1351173676 576673 :copumpkin!~copumpkin@unaffiliated/copumpkin JOIN :#esoteric < 1351174830 370958 :copumpkin!~copumpkin@unaffiliated/copumpkin QUIT :Ping timeout: 264 seconds < 1351175151 26258 :copumpkin!~copumpkin@unaffiliated/copumpkin JOIN :#esoteric < 1351175341 485432 :pumpkin!~copumpkin@unaffiliated/copumpkin JOIN :#esoteric < 1351175426 150405 :copumpkin!~copumpkin@unaffiliated/copumpkin QUIT :Ping timeout: 255 seconds < 1351175426 649681 :pumpkin!~copumpkin@unaffiliated/copumpkin NICK :copumpkin < 1351176323 469390 :tswett!~tswett@unaffiliated/tswett PRIVMSG #esoteric :I just took a psychological survey. The question it asked was kind of amusing. < 1351176333 986188 :epicmonkey!~epicmonke@host-224-58.dataart.net QUIT :Remote host closed the connection < 1351176339 516814 :tswett!~tswett@unaffiliated/tswett PRIVMSG #esoteric :You see, there's this runaway trolley. < 1351176344 346188 :epicmonkey!~epicmonke@host-224-58.dataart.net JOIN :#esoteric < 1351176359 8005 :tswett!~tswett@unaffiliated/tswett PRIVMSG #esoteric :On the track in front of a trolley, there are five oak branches. If the trolley hits the oak branches, the branches will be destroyed. < 1351176398 98264 :tswett!~tswett@unaffiliated/tswett PRIVMSG #esoteric :However, there is a footbridge above the track that has one large oak branch on it. You can push the branch off the bridge and onto the track. < 1351176449 216146 :tswett!~tswett@unaffiliated/tswett PRIVMSG #esoteric :If you do, the one large oak branch will be destroyed, but it will stop the trolley, causing the other five oak branches to remain intact. < 1351176454 834014 :tswett!~tswett@unaffiliated/tswett PRIVMSG #esoteric :Is it morally acceptable to do this? < 1351176547 496524 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :is the joke that the oak branches are people < 1351176563 604421 :tswett!~tswett@unaffiliated/tswett PRIVMSG #esoteric :It's not a joke. < 1351176568 839473 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :it is < 1351176686 852455 :augur!~augur@208.58.5.87 QUIT :Remote host closed the connection < 1351177148 301423 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :Fantastic :) < 1351177248 240602 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :or not. < 1351177266 71861 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :Why the fuck does burlesque have no binary shifts! < 1351177308 388472 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :well < 1351177313 997607 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :*2 should do the trick. < 1351177342 863094 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :tswett: well that depends, aren't you concerned that stopping the trolley might be too big a side-effect? < 1351177366 999615 :tswett!~tswett@unaffiliated/tswett PRIVMSG #esoteric :I guess it may be, yeah. I didn't think about that. < 1351177463 428528 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :well I'll let you think about it, see you later < 1351177477 467414 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net QUIT :Quit: that's dr. turing to you, punk < 1351177813 401195 :atriq!~Taneb@host-2-99-92-148.as13285.net JOIN :#esoteric < 1351177954 644979 :atriq!~Taneb@host-2-99-92-148.as13285.net PRIVMSG #esoteric :I need to say more stupid things in #haskell < 1351177976 620637 :atriq!~Taneb@host-2-99-92-148.as13285.net PRIVMSG #esoteric :Or be less of an attention seeker < 1351177979 344970 :atriq!~Taneb@host-2-99-92-148.as13285.net PRIVMSG #esoteric :One of the two < 1351178014 201971 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric ::) < 1351178185 685429 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :trololol < 1351178206 993435 :atriq!~Taneb@host-2-99-92-148.as13285.net PRIVMSG #esoteric :I've had one quote on the Haskell Weekly Blog, ever < 1351178210 541056 :atriq!~Taneb@host-2-99-92-148.as13285.net PRIVMSG #esoteric :28th of June < 1351178256 868617 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :i've had like 15 < 1351178261 476276 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :clearly i am a better person than you < 1351178300 173225 :atriq!~Taneb@host-2-99-92-148.as13285.net PRIVMSG #esoteric :I'm gonna find that list of stupid things I've said < 1351178411 152534 :atriq!~Taneb@host-2-99-92-148.as13285.net PRIVMSG #esoteric :Hmm < 1351178448 94780 :atriq!~Taneb@host-2-99-92-148.as13285.net PRIVMSG #esoteric :I can't find it < 1351178527 225665 :Phantom__Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :`pastlog atriq < 1351178555 324870 :atriq!~Taneb@host-2-99-92-148.as13285.net PRIVMSG #esoteric :Touché < 1351178565 699260 :HackEgo!codu@codu.org PRIVMSG #esoteric :2012-08-18.txt:16:48:55: The one in New York'd be my guess < 1351178571 261981 :Phantom__Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :http://www.youtube.com/watch?v=wnNWz7amCwE < 1351178585 681778 :Phantom__Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :why do things this beautiful exist :'( < 1351178746 511508 :Phantom__Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :(That thing actually has an onboard microprocessor to calibrate and alternate the engine voltage because that's very slightly lighter than mechanical alternatives.) < 1351178834 750625 :augur!~augur@129-2-129-34.wireless.umd.edu JOIN :#esoteric < 1351178856 324339 :atriq!~Taneb@host-2-99-92-148.as13285.net PRIVMSG #esoteric :Having ice cream for lunch was either a very good or a very bad idea < 1351178917 133409 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :> (0$0$) < 1351178918 74799 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : The operator `GHC.Base.$' [infixr 0] of a section < 1351178918 155654 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : must have lower prec... < 1351179092 269549 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :ice cream for lunch, bonghits for dinner < 1351179403 100966 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :what's bonghits? < 1351179802 912064 :oerjan!5bba487c@gateway/web/freenode/ip.91.186.72.124 JOIN :#esoteric < 1351180122 349518 :oerjan!5bba487c@gateway/web/freenode/ip.91.186.72.124 PRIVMSG #esoteric :whee, new Drive comic < 1351180208 293662 :Phantom__Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :yay? < 1351180375 587279 :oerjan!5bba487c@gateway/web/freenode/ip.91.186.72.124 PRIVMSG #esoteric :it's been on a long hiatus < 1351180391 693535 :oerjan!5bba487c@gateway/web/freenode/ip.91.186.72.124 PRIVMSG #esoteric :also, http://www.drivecomic.com/ < 1351180438 311453 :atriq!~Taneb@host-2-99-92-148.as13285.net PRIVMSG #esoteric :Aaaargh < 1351180446 684151 :atriq!~Taneb@host-2-99-92-148.as13285.net PRIVMSG #esoteric :TVTropes just used "whom" incorrectly < 1351180471 420338 :atriq!~Taneb@host-2-99-92-148.as13285.net PRIVMSG #esoteric :It's the case of the subjunctive clause, not the main cause, that decides whether it's "who" or "whom" < 1351180483 591312 :atriq!~Taneb@host-2-99-92-148.as13285.net PRIVMSG #esoteric :...says the person who never ends a sentence with a full stop < 1351180539 184900 :Phantom__Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 QUIT :Ping timeout: 260 seconds < 1351180556 889953 :pikhq!~pikhq@75-163-203-72.clsp.qwest.net PRIVMSG #esoteric :atriq: And in many idiolects, it's just "who". < 1351180583 889581 :atriq!~Taneb@host-2-99-92-148.as13285.net PRIVMSG #esoteric :pikhq, the fact that they're using the word "whom" implies they are not using one of those idolects < 1351180602 227232 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :you're an idolect < 1351180609 646502 :atriq!~Taneb@host-2-99-92-148.as13285.net PRIVMSG #esoteric :*+i < 1351180673 683017 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :shut up idolect < 1351180695 382244 :oerjan!5bba487c@gateway/web/freenode/ip.91.186.72.124 PRIVMSG #esoteric :we should not tolerate whomsoever would do such a horrible thing < 1351180703 881251 :nortti!nortti@dsl-hkibrasgw3-ff25c000-52.dhcp.inet.fi PRIVMSG #esoteric ::P < 1351180727 60842 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :oerjan: did you ever see my awful haskell horror < 1351180734 360977 :oerjan!5bba487c@gateway/web/freenode/ip.91.186.72.124 PRIVMSG #esoteric :probably not < 1351180761 600435 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :oerjan: http://hpaste.org/76553 < 1351180914 591424 :oerjan!5bba487c@gateway/web/freenode/ip.91.186.72.124 PRIVMSG #esoteric :i still think we should not tolerate whomsoever would do such a horrible thing < 1351180934 846563 :atriq!~Taneb@host-2-99-92-148.as13285.net PRIVMSG #esoteric :I've edited the article in question < 1351180959 622410 :atriq!~Taneb@host-2-99-92-148.as13285.net PRIVMSG #esoteric :(Must Have Caffeine, in the entry for the Big Bang Theory) < 1351181325 153067 :mindlessDrone!~mindlessd@vpn34-074.rz.hs-offenburg.de JOIN :#esoteric < 1351181358 591694 :oerjan!5bba487c@gateway/web/freenode/ip.91.186.72.124 PRIVMSG #esoteric :ah i've been having an opportunity to watch tv recently, which has finally brought me in contact with that series. < 1351181380 959623 :atriq!~Taneb@host-2-99-92-148.as13285.net PRIVMSG #esoteric :Thoughts on it? < 1351181382 971674 :oerjan!5bba487c@gateway/web/freenode/ip.91.186.72.124 PRIVMSG #esoteric :i have far too many similarities to Sheldon. not the lack of empathy, but otherwise... < 1351181393 49437 :atriq!~Taneb@host-2-99-92-148.as13285.net PRIVMSG #esoteric :So do we all < 1351181393 505087 :oerjan!5bba487c@gateway/web/freenode/ip.91.186.72.124 PRIVMSG #esoteric :well i laughed. < 1351181451 30361 :oerjan!5bba487c@gateway/web/freenode/ip.91.186.72.124 PRIVMSG #esoteric :does "all" refer to just this channel, or most people... < 1351181464 996441 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :that show is so bad < 1351181544 331971 :oerjan!5bba487c@gateway/web/freenode/ip.91.186.72.124 PRIVMSG #esoteric :kmc: sarcasm? < 1351181560 54833 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :no < 1351181564 61811 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :Big Bang Theory is really bad < 1351181597 695575 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :kmc++ < 1351181649 232011 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :hey let's make an unfunny laugh track multicamera sitcom except we base it around nerd stereotypes instead of racial stereotypes and gay people stereotypes and NOW NERDS LOVE US < 1351181666 297297 :nortti!nortti@dsl-hkibrasgw3-ff25c000-52.dhcp.inet.fi PRIVMSG #esoteric :basicaly yes < 1351181670 485703 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :nerds don't act that way < 1351181672 788093 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :people don't act that way < 1351181693 96132 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :that type of sitcom is really just a vehicle for delivering one liner jokes < 1351181705 825949 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :i could just watch standup comedy instead and be infinitely less annoyed < 1351181724 584061 :oerjan!5bba487c@gateway/web/freenode/ip.91.186.72.124 PRIVMSG #esoteric :but are your reasons for hating it themselves nerdy? *ducks* < 1351181737 963126 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :probably < 1351181738 828018 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :kmc: it wouldn't even be so objectionable if it was, you know, actually funny < 1351181739 794480 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :who gives a shit < 1351181786 231837 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :i have watched a fair amount of BBT and also a fair amount of two and a half men (same creater) < 1351181794 294467 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :and then one day i was just like "why?????" < 1351181796 518801 :oerjan!5bba487c@gateway/web/freenode/ip.91.186.72.124 PRIVMSG #esoteric :next you'll tell me you also hate phineas & ferb, the other show i've just started watching < 1351181796 788674 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :and quit < 1351181810 741221 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :i've never seen phineas & ferb, and i have no opinion on it < 1351181820 960944 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :i mean if you enjoy BBT, then go ahead and watch it, don't let me tell you not to like something < 1351181843 986069 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :it's not like i didn't ever laugh while i was watching it < 1351181904 782174 :oerjan!5bba487c@gateway/web/freenode/ip.91.186.72.124 PRIVMSG #esoteric :i did get a glimpse of two and a half men too, and i didn't like that < 1351182027 629753 :atriq!~Taneb@host-2-99-92-148.as13285.net PRIVMSG #esoteric :Trivia: Big Bang Theory doesn't actually have a laugh track < 1351182072 242789 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :clearly we have differing definitions of laugh track. < 1351182073 959841 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :or laugh. or track. < 1351182089 197867 :atriq!~Taneb@host-2-99-92-148.as13285.net PRIVMSG #esoteric :It's filmed in front of a live audience < 1351182095 177437 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :yeah < 1351182103 67125 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :these things are technically different, but you take my meaning < 1351182107 315645 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :that's still a laugh track < 1351182119 62837 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :it exists for the purpose of putting laughs in because that makes people laugh more < 1351182130 44565 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :either way it completely changes the pacing of the show < 1351182134 754140 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :and i suspect most "live audiences" are directed when to laugh, or at least mixed misleadingly < 1351182152 87808 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :the characters will say something and then just stand there for 1-2 seconds while people laugh < 1351182156 612124 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :there are good sitcoms with laugh tracks < 1351182166 242944 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :IT Crowd, for example < 1351182174 426503 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :it probably wouldn't lose much if it didn't have the laugh track though < 1351182180 814348 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :but it isn't annoying imo < 1351182181 885359 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :That Mitchell and Webb Look has a laugh track and is very good, but it's sketch comedy < 1351182207 708983 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :i think Peep Show doesn't < 1351182211 741025 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :can't recall < 1351182311 783731 :Robdgreat!~rob@unaffiliated/robdgreat PRIVMSG #esoteric :I don't think so < 1351182326 962001 :Robdgreat!~rob@unaffiliated/robdgreat PRIVMSG #esoteric :though it's amazing how little attention I pay to things like that < 1351182739 425996 :FreeFull!~freefull@defocus/sausage-lover JOIN :#esoteric < 1351183064 154374 :oerjan!5bba487c@gateway/web/freenode/ip.91.186.72.124 PRIVMSG #esoteric :^ul (((1)S:^)(!(0)S:^)):^(^!^!^^!^^^!^)^ < 1351183064 530999 :fungot!fis@selene.zem.fi PRIVMSG #esoteric :01101001 < 1351183110 689447 :oerjan!5bba487c@gateway/web/freenode/ip.91.186.72.124 PRIVMSG #esoteric :^ul (S:):((x)~^(y)~^(z)~^)^ < 1351183111 90105 :fungot!fis@selene.zem.fi PRIVMSG #esoteric :xyz < 1351183131 90496 :oerjan!5bba487c@gateway/web/freenode/ip.91.186.72.124 PRIVMSG #esoteric :^ul ((:a~*(x)):a~*(x))(~^S~:^):^ < 1351183131 506114 :fungot!fis@selene.zem.fi PRIVMSG #esoteric :xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx ...too much output! < 1351183152 70013 :oerjan!5bba487c@gateway/web/freenode/ip.91.186.72.124 PRIVMSG #esoteric :^ul (((x))(!(y))(!!(z)))^!^S < 1351183152 402895 :fungot!fis@selene.zem.fi PRIVMSG #esoteric :y < 1351183169 243974 :oerjan!5bba487c@gateway/web/freenode/ip.91.186.72.124 PRIVMSG #esoteric :^ul (((9)S)(!(8)S)(!!(7)S)(!!!(6)S)(!!!!(5)S)(!!!!!(4)S)(!!!!!!(3)S)(!!!!!!!(2)S)(!!!!!!!!(1)S)(!!!!!!!!!(0)S))^(!)(::*:**)^^^ < 1351183169 615449 :fungot!fis@selene.zem.fi PRIVMSG #esoteric :5 < 1351183348 152917 :oerjan!5bba487c@gateway/web/freenode/ip.91.186.72.124 PRIVMSG #esoteric :Excellent, the examples all work < 1351183409 351009 :Vorpal!~Vorpal@unaffiliated/vorpal JOIN :#esoteric < 1351183428 368084 :oerjan!5bba487c@gateway/web/freenode/ip.91.186.72.124 QUIT :Quit: Supper < 1351183514 578141 :atriq!~Taneb@host-2-99-92-148.as13285.net QUIT :Quit: Leaving < 1351183705 374196 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :What is ul? unlambda? < 1351183715 503620 :nortti!nortti@dsl-hkibrasgw3-ff25c000-52.dhcp.inet.fi PRIVMSG #esoteric :underload < 1351183736 149259 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :> print "01101001" < 1351183737 858199 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : < 1351183744 177662 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :> "01101001" < 1351183746 484019 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : "01101001" < 1351183751 38238 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :> "xyz" < 1351183752 448076 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : "xyz" < 1351183757 392602 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :> repeat 'x' < 1351183759 35457 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : "xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx... < 1351183766 339326 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :> 'y' < 1351183767 793994 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : 'y' < 1351183771 289024 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :> 5 < 1351183772 639695 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : 5 < 1351183873 704081 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Which examples were those? < 1351183884 240378 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Oh, there isn't an oerjan any more. < 1351184029 879725 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :RIP oerjan < 1351184299 413321 :barts__!~barts@p4FD0F768.dip.t-dialin.net JOIN :#esoteric < 1351184498 522736 :barts_!~barts@p57AEA228.dip.t-dialin.net QUIT :Ping timeout: 260 seconds < 1351185011 937622 :Phantom__Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 JOIN :#esoteric < 1351185414 511288 :epicmonkey!~epicmonke@host-224-58.dataart.net QUIT :Ping timeout: 264 seconds < 1351186535 726430 :Gregor!codu@codu.org PRIVMSG #esoteric :pikhq: How does Go implement interface method dispatch when interfaces are entirely implicit? PICs. < 1351186563 776691 :Gregor!codu@codu.org PRIVMSG #esoteric :Straight from Rob Pike. < 1351186602 350039 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :meaning what? < 1351186620 259109 :lowtax!~lowtax@gateway/tor-sasl/lowtax PART #esoteric :"Leaving" < 1351186644 246818 :Gregor!codu@codu.org PRIVMSG #esoteric :Polymorphic inline cache. It inlines particular addresses to dispatch to based on particular types. < 1351186834 882147 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Gregor: what's the context here < 1351189702 638494 :tswett!~tswett@unaffiliated/tswett PRIVMSG #esoteric :> let xs = 0 : zipWith (\x y -> 1 + x + 3*y) xs (concatMap (\x -> [x,x]) xs) < 1351189703 680694 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : not an expression: `let xs = 0 : zipWith (\x y -> 1 + x + 3*y) xs (concatMa... < 1351189706 178859 :tswett!~tswett@unaffiliated/tswett PRIVMSG #esoteric :> let xs = 0 : zipWith (\x y -> 1 + x + 3*y) xs (concatMap (\x -> [x,x]) xs) in xs < 1351189707 451717 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : [0,1,2,6,10,17,24,43,62,93,124,176,228,301,374,504,634,821,1008,1288,1568,1... < 1351189787 361456 :epicmonkey!~epicmonke@188.134.41.171 JOIN :#esoteric < 1351189875 900078 :Gregor!codu@codu.org QUIT :Excess Flood < 1351189883 867689 :Gregor!codu@codu.org JOIN :#esoteric < 1351190230 378662 :Nisstyre!~yours@oftn/member/Nisstyre QUIT :Read error: Operation timed out < 1351190250 788161 :tswett!~tswett@unaffiliated/tswett PRIVMSG #esoteric :I'm pondering a notion of "bigness" of numbers. Let's define the number 3 has having a bigness of 1, 3 -> 3 as having a bigness of 2, 3 -> 3 -> 3 as having a bigness of 3, 3 -> 3 -> 3 -> 3 as having a bigness of 4, and so on. < 1351190273 49427 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :Using conway's arrows? < 1351190276 487284 :tswett!~tswett@unaffiliated/tswett PRIVMSG #esoteric :Yep. < 1351190280 558114 :tswett!~tswett@unaffiliated/tswett PRIVMSG #esoteric :Graham's number must then have a bigness between 3 and 4. So what should its bigness be, exactly? < 1351190310 98029 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :How big is A(6,3) < 1351190355 620878 :tswett!~tswett@unaffiliated/tswett PRIVMSG #esoteric :Well, that's the same as... 2 -> 6 -> 4, I think? So it looks like its bigness is around 3. < 1351190437 636477 :tswett!~tswett@unaffiliated/tswett PRIVMSG #esoteric :It's 2 ^^^^ 6, or 2 ^^^ 2 ^^^ 2 ^^^ 2 ^^^ 2 ^^^ 2. I'm reasonably sure its bigness is greater than 3, then, since 3 -> 3 -> 3 is only 3 ^^^ 3. < 1351190543 525762 :mindlessDrone!~mindlessd@vpn34-074.rz.hs-offenburg.de PART :#esoteric < 1351191083 986038 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :@tell ais523 tavern isn't run by the devs < 1351191084 152758 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :Consider it noted. < 1351191088 548762 :tswett!~tswett@unaffiliated/tswett PRIVMSG #esoteric :TREE(3) could very well have a very large bigness. < 1351191197 125893 :olsner!~salparot@c83-252-194-156.bredband.comhem.se PRIVMSG #esoteric :what happened to oerjan? < 1351191275 498613 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :A very long supper, based on the quit message. < 1351191293 863795 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Actually I suppose it's been only two hours so far, that's not so long. < 1351191624 869597 :pikhq!~pikhq@75-163-203-72.clsp.qwest.net PRIVMSG #esoteric :Gregor: Huh. < 1351192582 398073 :tswett!~tswett@unaffiliated/tswett PRIVMSG #esoteric :ACTION ponders what's between 3 -> 3 -> 3 -> 2 and 3 -> 3 -> 3 -> 3. < 1351192614 729978 :tswett!~tswett@unaffiliated/tswett PRIVMSG #esoteric :What's a simple number that's subjectively midway between them? < 1351192622 791379 :copumpkin!~copumpkin@unaffiliated/copumpkin PRIVMSG #esoteric :ACTION wonders what the first decimal digit of TREE(3) is < 1351192632 482277 :tswett!~tswett@unaffiliated/tswett PRIVMSG #esoteric :The way that 3 -> 3 -> 3 -> 2 is subjectively midway between 3 -> 3 -> 3 -> 3 and 3 -> 3 -> 3 -> 1. < 1351192740 200493 :copumpkin!~copumpkin@unaffiliated/copumpkin PRIVMSG #esoteric :or even the first digit of graham's number < 1351192790 917681 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :tsethat's a silly definition < 1351192799 922580 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :*tswett: that's a silly definition < 1351192816 813864 :tswett!~tswett@unaffiliated/tswett PRIVMSG #esoteric :It's not a definition at all; it's an example. < 1351192820 895078 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :of bigness < 1351192821 594650 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :4 has bigness 2 and 1 by your def < 1351192839 522715 :tswett!~tswett@unaffiliated/tswett PRIVMSG #esoteric :Huh? < 1351192845 12124 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :4 = 4 < 1351192847 350181 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :4 = 2 -> 2 < 1351192881 21242 :tswett!~tswett@unaffiliated/tswett PRIVMSG #esoteric :You're overgeneralizing. This definition of bigness is only for numbers of the form 3 -> 3 -> ... -> 3 -> 3. < 1351192916 432264 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :tswett: A(100,100)? < 1351192947 392999 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :then Graham's number has no bigness < 1351192954 516093 :tswett!~tswett@unaffiliated/tswett PRIVMSG #esoteric :FreeFull: Wikipedia says that's (2 -> 103 -> 98) - 3. < 1351192959 210567 :tswett!~tswett@unaffiliated/tswett PRIVMSG #esoteric :Well, its bigness is, so far, undefined. < 1351193149 153309 :augur!~augur@129-2-129-34.wireless.umd.edu QUIT :Remote host closed the connection < 1351193170 539210 :tswett!~tswett@unaffiliated/tswett PRIVMSG #esoteric :Lessee. If you define E(n) as 3 -> 3 -> (n) -> 2, then 3 -> 3 -> 3 -> 2 is E(3) whereas 3 -> 3 -> 3 -> 3 is... E(E(27)), I guess. And 27 = E(1). < 1351193189 902663 :tswett!~tswett@unaffiliated/tswett PRIVMSG #esoteric :What's subjectively midway between E(3) and E(E(E(1)))? I dunno. E(E(2))? < 1351193264 562860 :augur!~augur@129-2-129-34.wireless.umd.edu JOIN :#esoteric < 1351193303 330906 :Bike!~Glossina@65-102-1-43.ptld.qwest.net JOIN :#esoteric < 1351193486 759790 :tswett!~tswett@unaffiliated/tswett PRIVMSG #esoteric :If I could just think of a function that takes 3 to 3 -> 3, 3 -> 3 to 3 -> 3 -> 3, 3 -> 3 -> 3 to 3 -> 3 -> 3 -> 3, and so on... < 1351193505 237685 :Nisstyre!~yours@oftn/member/Nisstyre JOIN :#esoteric < 1351193804 714562 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :f(x) = x -> 3 < 1351193829 140785 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :Unless you mean 3 -> 3 becomes 3 -> 3 -> 3 -> 3 -> 3 < 1351194746 854994 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :FreeFull: That's not how -> works. < 1351194804 406833 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :See http://en.wikipedia.org/wiki/Conway_chained_arrow_notation#Interpretation < 1351195006 793349 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :2 -> 3 -> 2 is not 2 -> (3 -> 2), nor is it (2 -> 3) -> 2. < 1351195148 85359 :Bike!~Glossina@65-102-1-43.ptld.qwest.net PRIVMSG #esoteric :fast growing function, then. < 1351195773 505063 :augur!~augur@129-2-129-34.wireless.umd.edu QUIT :Read error: Connection reset by peer < 1351195799 397385 :augur!~augur@129-2-129-34.wireless.umd.edu JOIN :#esoteric < 1351196470 67067 :copumpkin!~copumpkin@unaffiliated/copumpkin NICK :john_smith < 1351196597 926922 :john_smith!~copumpkin@unaffiliated/copumpkin NICK :copumpkin < 1351196978 652239 :epicmonkey_!~epicmonke@188.134.41.171 JOIN :#esoteric < 1351196987 396333 :epicmonkey!~epicmonke@188.134.41.171 QUIT :Ping timeout: 244 seconds < 1351199869 517717 :carado!~user4539@78.250.130.83 JOIN :#esoteric < 1351200247 160557 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net JOIN :#esoteric < 1351200270 590055 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :monqy: help < 1351200287 682797 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :hello < 1351200297 159442 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :monqy: awwww dammit < 1351200301 141801 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :hi monqy, elliott, monqy, shachaf < 1351200307 494021 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :shut up < 1351200314 571876 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :hi shachaf < 1351200335 354694 :carado!~user4539@78.250.130.83 QUIT :Ping timeout: 244 seconds < 1351200549 635127 :boily!~boily@mtl.savoirfairelinux.net QUIT :Quit: Poulet! < 1351201298 432904 :epicmonkey_!~epicmonke@188.134.41.171 QUIT :Ping timeout: 260 seconds < 1351201945 716600 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net JOIN :#esoteric < 1351202013 440069 :Vorpal!~Vorpal@unaffiliated/vorpal QUIT :Ping timeout: 276 seconds < 1351202527 563329 :FreeFull!~freefull@defocus/sausage-lover QUIT :Quit: Sleeep? Sleep! ??? < 1351202542 705324 :copumpkin!~copumpkin@unaffiliated/copumpkin QUIT :Quit: Computer has gone to sleep. < 1351203558 952237 :augur!~augur@129-2-129-34.wireless.umd.edu QUIT :Remote host closed the connection < 1351203815 796893 :copumpkin!~copumpkin@unaffiliated/copumpkin JOIN :#esoteric < 1351204870 203969 :tswett!~tswett@unaffiliated/tswett PRIVMSG #esoteric :Hm. Conway's chained arrow notation makes sense for ordinal numbers. < 1351204948 556778 :tswett!~tswett@unaffiliated/tswett PRIVMSG #esoteric :Let w = omega. Then w -> w is simply w^w. w -> w -> w is... I guess we have to say it's the limit of w -> w -> n for natural numbers n. < 1351204967 774642 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :tswett: any extension of arithmetic does, pretty much < 1351205014 832381 :Phantom__Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 QUIT :Ping timeout: 240 seconds < 1351205090 876583 :tswett!~tswett@unaffiliated/tswett PRIVMSG #esoteric :Which... let's assume that it still corresponds to up-arrow notation; that means w -> w -> w is the limit of w ^(n) w for natural numbers n, where ^(n) is n up-arrows. < 1351205213 284666 :tswett!~tswett@unaffiliated/tswett PRIVMSG #esoteric :w ^(2) w is epsilon_0, isn't it? Then I have no idea what w ^(3) w is, and w ^(w) w must be really, really big. < 1351205247 47152 :augur!~augur@208.58.5.87 JOIN :#esoteric < 1351205362 100285 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 JOIN :#esoteric < 1351205383 599511 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :tswett: epsilon_0? < 1351205464 698406 :tswett!~tswett@unaffiliated/tswett PRIVMSG #esoteric :Yeah. http://en.wikipedia.org/wiki/Epsilon_nought < 1351208991 742801 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :http://phpmanualmasterpieces.tumblr.com/ < 1351209241 886779 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :Tex Wasabi Rock-N-Roll Sushi BBQ