< 1372377600 894596 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :well < 1372377601 439632 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :i think no < 1372377605 505297 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :I know for a fact you've said cocks things in #esoteric < 1372377610 124141 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :but that cocks thing in particular < 1372377653 895309 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :Bike: it seems like the thing in this paper is that without the weak interaction you can't have core collapse supernovae, so it's way harder to get interesting elements out into the universe < 1372377654 305947 :lexande!arapp@terpsichore.ugcs.caltech.edu PRIVMSG #esoteric :i was in kmc's Caltech qdb before being accepted to Caltech < 1372377655 810080 :Bike!~Glossina@67-5-255-227.ptld.qwest.net PRIVMSG #esoteric :i hope we run into l-form aliens < 1372377657 631200 :Bike!~Glossina@67-5-255-227.ptld.qwest.net PRIVMSG #esoteric :just for fun < 1372377677 275248 :Bike!~Glossina@67-5-255-227.ptld.qwest.net PRIVMSG #esoteric :Fiora: hmmmmmmmm i remember some stuff about how to form carbon without the usual reactions < 1372377702 626555 :Bike!~Glossina@67-5-255-227.ptld.qwest.net PRIVMSG #esoteric :unfortunately it was in a pop sci book i don't have < 1372377704 150399 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :it's not about forming but about getting out of stars, I think < 1372377707 423062 :Bike!~Glossina@67-5-255-227.ptld.qwest.net PRIVMSG #esoteric :the links were, i mean < 1372377726 199427 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :like without the weak interaction you'd get a bunch of white dwarfs, I think? I'm not sure < 1372377747 233246 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :I wonder how bigger stars would collapse < 1372377756 149019 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :the point seems to be that proton + electron -> neutron is necessary for neutronium to form < 1372377763 345032 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :and requires the weak force < 1372377770 404724 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :there's also the thing that neutrinos are a huge part of the supernovae process, I think < 1372377773 355224 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :like, neutrino pressure < 1372377774 869475 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :yeah < 1372377788 558738 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :i assume there'd still be gravitational collapse though? < 1372377794 595949 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :yeah... geez. that is an interesting question < 1372377798 294685 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :how would it work < 1372377806 959918 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :like what would happen if you had a graviationally collapsing iron core < 1372377811 595337 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :but no weak force < 1372377830 623927 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :kmc: you're welcome < 1372377912 923429 :Bike!~Glossina@67-5-255-227.ptld.qwest.net PRIVMSG #esoteric :"weakless universe" sounds kinda cool though < 1372377936 765881 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :bike wants a strong universe < 1372377947 732701 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :i wonder what security holes my 2004 era perl quote webapp had < 1372378005 502835 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :CSRF for sure < 1372378060 330039 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :csrf is a really annoying sort of bug because you get it from not doing something, as opposed to doing something wrong < 1372378080 255187 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :yes < 1372378086 466983 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :(as opposed to, say, buffer overflows, xss, etc.) < 1372378111 835352 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :i wonder whether there are unknown classes of bugs like that that exist everywhere and no one knows about < 1372378115 957788 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :why would you want it to be secure by default, why not write a secure code for it < 1372378118 430969 :Bike!~Glossina@67-5-255-227.ptld.qwest.net PRIVMSG #esoteric :Fiora: maybe i want a universe that isn't so hardassed about strength/weakness dichotomies!! < 1372378133 467136 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :xss is also framed as from not doing something, "not escaping" < 1372378148 126652 :Bike!~Glossina@67-5-255-227.ptld.qwest.net PRIVMSG #esoteric :where's the mediocre force, i ask you. the "ok at friendly boxing but can't run" force < 1372378149 96725 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :that's just silly though < 1372378155 64210 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :sure < 1372378162 100842 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :Bike: electromagnetic, right? < 1372378165 648086 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :it happens because web developers only acknowledge one type < 1372378196 696690 :Bike!~Glossina@67-5-255-227.ptld.qwest.net PRIVMSG #esoteric :right what < 1372378211 800778 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :it's the medium force < 1372378213 958212 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :the mediocre force < 1372378227 827671 :Bike!~Glossina@67-5-255-227.ptld.qwest.net PRIVMSG #esoteric :i thought gravity was the weakest force < 1372378238 244907 :Bike!~Glossina@67-5-255-227.ptld.qwest.net PRIVMSG #esoteric :or protons are really light or whatever. < 1372378257 585691 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :yeah, gravity is like 10^30 something times weaker < 1372378259 774541 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :than the other 3 < 1372378269 463610 :Bike!~Glossina@67-5-255-227.ptld.qwest.net PRIVMSG #esoteric :"the kind of bullshit force, tbh" < 1372378276 23896 :Bike!~Glossina@67-5-255-227.ptld.qwest.net PRIVMSG #esoteric :the why bother force < 1372378302 225934 :ion!ion@heh.fi PRIVMSG #esoteric :Gravity is so weak i don’t even bother to submit to it. < 1372378418 577988 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :it's only a theory, right? < 1372378483 63423 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric : i don't click pdfs usually <-- i'm with Bike < 1372378499 64099 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :I-I'll try to link the arxiv pages from now on instea.d.. < 1372378547 596374 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :counterpoint: I click all pdfs < 1372378589 217495 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :counterpoint: i click links whenever Bike doesn't < 1372378696 217160 :lexande!arapp@terpsichore.ugcs.caltech.edu PRIVMSG #esoteric :Fiora: weak is stronger than electromagnetic right? < 1372378720 803271 :lexande!arapp@terpsichore.ugcs.caltech.edu PRIVMSG #esoteric :i thought it was like strong > weak > electromagnetic >> gravity < 1372378742 987937 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :aren't electromagnetic and weak secretly the same thing somehow < 1372378743 965263 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :is it? I can never remember >_< < 1372378747 370330 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :I thought weak was less < 1372378780 565639 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :wikipedia says strong=10^38 < 1372378784 853710 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :electromangetic 10^36 < 1372378786 383360 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :weak 10^25 < 1372378788 282004 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :and gravity 1? < 1372378792 925002 :lexande!arapp@terpsichore.ugcs.caltech.edu PRIVMSG #esoteric :oh ok < 1372378803 164146 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :that's a p. big difference < 1372378803 799436 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :rename gravity superweak force imo < 1372378807 130616 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :https://en.wikipedia.org/wiki/Fundamental_interaction < 1372378962 715586 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :fuck you all < 1372378967 87908 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :gravity's the best force < 1372378978 590622 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :but gravity makes event horizons :< < 1372378981 349193 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :quantum physicists just try to put it down because they can't really work it out < 1372379003 276709 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :gravity more like depravity < 1372379008 835216 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :the joke is that gravity is bad < 1372379060 34528 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`addquote you know, when people talk about emacs being an OS I doubt what they had in mind was that it needed a package manager < 1372379064 215280 :HackEgo!dlopen@libdl.so PRIVMSG #esoteric :1064) you know, when people talk about emacs being an OS I doubt what they had in mind was that it needed a package manager < 1372379388 716799 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :yay rust has or-patterns < 1372379418 512977 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :or-patterns? < 1372379448 67183 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :patterns that match either of two subpatterns < 1372379481 665022 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Oh, as in "p | q => ..." < 1372379491 522445 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :What happens when they bind variables? < 1372379499 734194 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I guess I can test it. < 1372379502 271701 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :they have to bind the same set of variables at the same types, I think < 1372379586 613231 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Looks right. < 1372379617 872224 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :i'm reading the rust tutorial and also building rust < 1372379649 984231 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :should I learn rust < 1372379652 552073 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :maybe I asked that already < 1372379663 68716 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :yeas < 1372379671 442702 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :elliott: the tutorial is p. simple < 1372379681 80520 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :kmc: I like how they're going to take "for" out of the language. < 1372379689 853738 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :(And then put it back in with a different, more reasonable behavior.) < 1372379693 766587 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :ok < 1372379699 325068 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :i like that too, then, I guess? < 1372379715 475440 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :The point is that it's not all that stable yet. < 1372379720 628950 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :sure < 1372379720 783393 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :"oh well" < 1372379732 463973 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :my first job will be to rewrite all the for loops in Servo, I'm sure < 1372379765 351572 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I hear Option is actually represented as a potentially-null pointer at runtime. < 1372379773 308526 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :i wonder why it has such curly-bracy, non-layout syntax. if it's what they really want or if it's some "people will be scared" thing < 1372379775 68282 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I don't know how Option> is represented. < 1372379791 659852 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :You know how in C you can do things like foo(T *x) { if (x == NULL) return ...; ...; }, without introducing an extra level of nesting? < 1372379801 693386 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Is there a nice pattern-matchy of doing that safely? < 1372379832 859848 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :elaborate? < 1372379881 838149 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :If you were matching on Maybe, you would say fn foo(x: Maybe) { match x { Nothing => ...; Just(y) => ... } } < 1372379894 338140 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :kmc: yeah rust's syntax seems erally ugly to me < 1372379897 716032 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :And everything in the Just case is nested an extra level -- which probably means your entire function. < 1372379898 147306 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :on a purely aesthetic level < 1372379946 732303 :Nisstyre-laptop!~yours@oftn/member/Nisstyre JOIN :#esoteric < 1372379983 911987 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :"You're invited to Human API Hackathon (Jul 6, 2013 - Jul 7, 2013)" < 1372379990 184875 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Than Francisco < 1372380018 174809 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :one day they'll hack that thon for good < 1372380041 126541 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :will rust have rank-2 types..... < 1372380057 713293 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :They have type-class-ish things which you can also use as a type and then they become existential. < 1372380058 924599 :Bike_!~Glossina@67-5-195-149.ptld.qwest.net JOIN :#esoteric < 1372380106 499746 :sprocklem!~sprocklem@S010674440130be65.cg.shawcable.net JOIN :#esoteric < 1372380109 309682 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :does rust have polymorphic recursion.....i bet the answer is no < 1372380120 186910 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :does rust support constructor classes...... < 1372380151 414060 :Bike!~Glossina@67-5-255-227.ptld.qwest.net QUIT :Ping timeout: 264 seconds < 1372380154 989614 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :kmc: I found the distinction between one-variant enums and structs kind of odd. < 1372380155 460428 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :i think no < 1372380158 359656 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :yes < 1372380162 666383 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :I was just going to remark on that < 1372380168 53435 :Bike_!~Glossina@67-5-195-149.ptld.qwest.net NICK :Bike < 1372380172 380593 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I guess it's because structs guarantee memory compatibility with C structs. < 1372380183 685705 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :So I wonder whether it's better to use a one-variant enum when you don't care about that. < 1372380203 164308 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Or maybe you can get them to merge the two! < 1372380248 889388 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :also it doesn't infer function arg / return types?? < 1372380283 814127 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :well for top level 'fn' < 1372380301 360337 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :it does infer them on lambdas, so I guess this amounts to enforcing a rule that GHC warns about anyway < 1372380331 395162 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :With GHC it's still sometimes nice to write a function and then ask for its type. < 1372380337 286427 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :sure < 1372380339 281558 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Though it's not all that common. < 1372380348 826580 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :rusti doesn't support :t :'( < 1372380360 395065 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :boo < 1372380389 33135 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :The semicolon thing is kind of weird. < 1372380402 460607 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :You can say { ...; x } or { ...; return x; } but not { ...; x; } < 1372380422 907537 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Seems like a very easy thing to accidentally write or forget a semicolon. < 1372380430 929091 :Bike!~Glossina@67-5-195-149.ptld.qwest.net PRIVMSG #esoteric :I guess x last isn't a statement, in the same waY? < 1372380435 343055 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I guess the typechecker would catch most of those kinds of bugs, though. < 1372380436 136020 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :you can say the latter and it gives you a function returning () right? < 1372380441 205146 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Yes. < 1372380457 744525 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Well, or a block. < 1372380473 76470 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Er, a function. < 1372380474 289741 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Never mind. < 1372380669 7868 :Bike!~Glossina@67-5-195-149.ptld.qwest.net PRIVMSG #esoteric :do you get a warning for a spurious statement? < 1372380892 872867 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :imo kmc should turn rust into haskell. < 1372380909 716158 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :haskel über alles < 1372380918 219154 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :did not care enough to fix typo, hth < 1372380918 635333 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :rust is already k. haskell < 1372380929 256555 :Bike!~Glossina@67-5-195-149.ptld.qwest.net PRIVMSG #esoteric :Klansmen's? < 1372380934 373596 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :c.c < 1372380939 672680 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :people say "foo is haskell-inspired" a lot when they mean something like list comprehensions < 1372380946 372452 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :yeah < 1372380951 79367 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :but rust has more significant similarities than that < 1372380956 91385 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :Haskell is the cool language to know and be inspired by and never use < 1372380958 669453 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :of course maybe they're similarities to ocaml or whatever it is < 1372380969 130529 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :but yeah I think rust is more substantial than that < 1372380972 936753 :Bike!~Glossina@67-5-195-149.ptld.qwest.net PRIVMSG #esoteric :some language that ends with an l < 1372380976 117130 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :kmc: you forgot the space < 1372380977 410983 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :in front of c.c < 1372380977 751972 :myndzi!myndzi@2600:3c00::f03c:91ff:fedf:3d4e PRIVMSG #esoteric :69            c.c.c < 1372380977 891318 :myndzi!myndzi@2600:3c00::f03c:91ff:fedf:3d4e PRIVMSG #esoteric :69             c.c < 1372380986 42876 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :Go's interfaces whatever are supposed to be "haskell like" but the language doesn't even have polymorphism < 1372380992 45328 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric : ꙮ.ꙮ < 1372380995 114658 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :I really doubt any part of Go is explicitly inspired by haskell < 1372380995 220594 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :`quote haskell-like < 1372380997 503713 :HackEgo!dlopen@libdl.so PRIVMSG #esoteric :870) i'm looking for a haskell-like programming language, meaning that it supports nesting multi-line comments < 1372381001 83491 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :kmc, do you... have something against being inspired by haskell but not using it? < 1372381011 579694 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :Phantom_Hoover: not really < 1372381012 963671 :Bike!~Glossina@67-5-195-149.ptld.qwest.net PRIVMSG #esoteric :read the cconversation man < 1372381024 836001 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :i mean it's what i do < 1372381027 252256 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :for the most part < 1372381036 543789 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :the conversation wasn't giving context! < 1372381041 172551 :Bike!~Glossina@67-5-195-149.ptld.qwest.net PRIVMSG #esoteric :yeah it was < 1372381077 631139 :Bike!~Glossina@67-5-195-149.ptld.qwest.net PRIVMSG #esoteric :a complaint is with languages saying they're haskell-inspired when it's something boringer than inference and type constructors and stuff < 1372381108 23592 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :oh < 1372381116 887709 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :it's just kmc says that kind of thing a lot < 1372381123 864571 :Bike!~Glossina@67-5-195-149.ptld.qwest.net PRIVMSG #esoteric :he does that's true < 1372381131 746404 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :yes I'm bitter and stuff < 1372381136 92000 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :and PH is annoyed by it < 1372381136 597521 :ion!ion@heh.fi PRIVMSG #esoteric :buff < 1372381151 792647 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :kmc: pigworker pointed out that type classes are a kind of program-inference-from-types, rather than type-inference-from-programs < 1372381159 191442 :Bike!~Glossina@67-5-195-149.ptld.qwest.net PRIVMSG #esoteric :i'll be really happy when i get into A Field and can feel dumb and behind the times about that instead of wih CS < 1372381170 982911 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :shachaf: that's cool < 1372381179 506153 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :Bike: I hear you're a biomathematician......... < 1372381193 942315 :Bike!~Glossina@67-5-195-149.ptld.qwest.net PRIVMSG #esoteric :come at me bro < 1372381197 600852 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :isn't that what ian stewart is these days < 1372381227 379883 :Bike!~Glossina@67-5-195-149.ptld.qwest.net PRIVMSG #esoteric :oh i read one of that guy's books < 1372381230 567983 :Bike!~Glossina@67-5-195-149.ptld.qwest.net PRIVMSG #esoteric :..................on biology < 1372381285 501299 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :my tutor did his phd with him, on animal gaits < 1372381319 448042 :Bike!~Glossina@67-5-195-149.ptld.qwest.net PRIVMSG #esoteric :ooh oscillators < 1372381327 411540 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :going to get on this plane soon < 1372381334 486062 :ion!ion@heh.fi PRIVMSG #esoteric :Look out for the snakes. < 1372381341 256601 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :afk (maybe back once I'm on the plane?) < 1372381345 167170 :Bike!~Glossina@67-5-195-149.ptld.qwest.net PRIVMSG #esoteric :"A group-theoretic approach to rings of coupled biological oscillators." well then < 1372381361 192210 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :yeah he has all that stuff on his walls < 1372381371 259520 :Bike!~Glossina@67-5-195-149.ptld.qwest.net PRIVMSG #esoteric :hmmmmmmmmmm did i read one of these papers, lessee < 1372381373 132028 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :although he did it on insects so he also has a lot of those on his walls < 1372381384 276030 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :it's quite weird really < 1372381386 746691 :Bike!~Glossina@67-5-195-149.ptld.qwest.net PRIVMSG #esoteric :insects are animals maaaaan < 1372381406 72092 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :yes, he did it on them specifically rather than animals in geneal < 1372381407 953063 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :*general < 1372381432 268517 :Bike!~Glossina@67-5-195-149.ptld.qwest.net PRIVMSG #esoteric :aww, my book on neuroethological robotics doesn't have any of these < 1372381437 116528 :Bike!~Glossina@67-5-195-149.ptld.qwest.net PRIVMSG #esoteric :clearly a new anthology is called for < 1372381653 100610 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :antology < 1372381794 17411 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :kmc: planes shouldn't ahve internet < 1372381795 527428 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :it's unhjoly < 1372381812 210125 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :oerjan: btw, op kmc. < 1372381855 421608 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oerjan: nop elliott < 1372381869 133652 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :@dice 1d2 < 1372381869 303488 :lambdabot!lambdabot@2a01:7e00::f03c:91ff:fedf:9fdd PRIVMSG #esoteric :oerjan: 2 < 1372381873 570901 :Bike!~Glossina@67-5-195-149.ptld.qwest.net PRIVMSG #esoteric :elliott: voice gregor. < 1372381879 175164 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :uh < 1372381882 783188 :ChanServ!ChanServ@services. MODE #esoteric +v :Gregor > 1372381882 805231 NAMES :#esoteric < 1372381882 945447 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :don't voice Gregor < 1372381890 68739 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :it's mandatory. < 1372381895 425329 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :elliott: SORRY < 1372381896 577768 :Bike!~Glossina@67-5-195-149.ptld.qwest.net PRIVMSG #esoteric :elliott how can you fail your constituency like that! < 1372381902 334691 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :oerjan: does 2 mean you op me instead < 1372381914 103131 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :1d2 < 1372381914 356601 :lambdabot!lambdabot@2a01:7e00::f03c:91ff:fedf:9fdd PRIVMSG #esoteric :shachaf: 2 < 1372381916 157225 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :btw have you noticed ais523 left for good < 1372381920 239784 :ion!ion@heh.fi PRIVMSG #esoteric :No, he’ll nop you instead. < 1372381920 470078 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :thxambdabot < 1372381922 427756 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :elliott: it would if shachaf had said "op" instead of "nop" < 1372381944 258929 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :an advantage of opping me is that i'm already in the access list < 1372381946 534011 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :less work to just modify it < 1372381948 631225 :ion!ion@heh.fi PRIVMSG #esoteric :You haven’t nopped him yet, though. < 1372381955 618136 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :ion: uh, yes he did < 1372381959 926674 :Bike!~Glossina@67-5-195-149.ptld.qwest.net PRIVMSG #esoteric :hasn't he, ion? hasn't he? < 1372381967 992359 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oerjan: the advantage of opping me is that i'm p. groovy < 1372381984 337897 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 QUIT :Read error: Connection reset by peer < 1372381990 911131 :ion!ion@heh.fi PRIVMSG #esoteric :Oh, that kind of nop. < 1372381993 868204 :ion!ion@heh.fi PRIVMSG #esoteric :Fair enough. < 1372382023 179296 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`seen ais523 < 1372382025 757208 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :I want to buy more memory for my work computer :/ < 1372382027 137054 :HackEgo!dlopen@libdl.so PRIVMSG #esoteric :2013-06-21 04:13:29: yeah, me not knowing how they work is a problem for working out ways to program with them, though < 1372382039 486687 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`seen ais523_ < 1372382044 449141 :HackEgo!dlopen@libdl.so PRIVMSG #esoteric :not lately; try `seen ais523_ ever < 1372382060 77167 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :elliott: hm it's been a while < 1372382083 421247 :Bike!~Glossina@67-5-195-149.ptld.qwest.net PRIVMSG #esoteric :his worldview was inadequate, obviously < 1372382097 598161 :Bike!~Glossina@67-5-195-149.ptld.qwest.net PRIVMSG #esoteric :just couldn't take the full force of Bike < 1372382107 96858 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :oerjan: iirc the logs were down when he /parted forever, though. < 1372382141 689117 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :the codu ones that is. < 1372382168 75308 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :the logs that is, the logs that isn't, and the logs that may or may not be < 1372382202 270228 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :shachaf: so are you made of vinyl < 1372382265 692399 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :vinylly tagless < 1372382386 267309 :Bike_!~Glossina@67-5-237-4.ptld.qwest.net JOIN :#esoteric < 1372382471 520924 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :elliott: this plane doesn't have internet, I'm just tethering while I'm still on the ground < 1372382496 694498 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :kmc: that's really sad < 1372382501 936754 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :you're really sad < 1372382504 626842 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :(not really) < 1372382509 923436 :Bike!~Glossina@67-5-195-149.ptld.qwest.net QUIT :Ping timeout: 246 seconds < 1372382511 868009 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :it's true :( < 1372382516 444042 :Bike_!~Glossina@67-5-237-4.ptld.qwest.net PRIVMSG #esoteric :can you send internet through flight radar < 1372382519 166681 :Bike_!~Glossina@67-5-237-4.ptld.qwest.net NICK :Bike < 1372382521 537910 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :i built rust 0.6 and i'm going to write some rust 0.6 code during this flight < 1372382531 131950 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :I assume my knowledge will be woefully out of date by the time i land < 1372382532 170648 :Bike!~Glossina@67-5-237-4.ptld.qwest.net PRIVMSG #esoteric :i'm pretty sure you should find an exploit in the plane software while you're in the hair < 1372382539 16658 :Bike!~Glossina@67-5-237-4.ptld.qwest.net PRIVMSG #esoteric :air < 1372382543 545550 :Bike!~Glossina@67-5-237-4.ptld.qwest.net PRIVMSG #esoteric :do some movie shit < 1372382547 212854 :Bike!~Glossina@67-5-237-4.ptld.qwest.net PRIVMSG #esoteric :redirect to the bahamas < 1372382610 814711 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :so like, by the time you land < 1372382614 122939 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :your knowledge will be a bit rusty? < 1372382621 448095 :Bike!~Glossina@67-5-237-4.ptld.qwest.net PRIVMSG #esoteric :no shut up nooooo < 1372382626 853977 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :
ACTION giggle
< 1372382638 710210 :SirCmpwn!~SirCmpwn@unaffiliated/sircmpwn QUIT :Quit: ZNC - http://znc.in < 1372382651 103574 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :Fiora: -____- < 1372382662 617724 :Bike!~Glossina@67-5-237-4.ptld.qwest.net PRIVMSG #esoteric :glad you got that in before you hit the air < 1372382695 734156 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :hit the air running < 1372382701 802495 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :i like the idea that kmc is learning rust on the flight in an emergency before the interview < 1372382712 439707 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :like "oh shit, I don't actually know any rust" < 1372382721 709155 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :yeah that's basically the case < 1372382722 84788 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :is the process of learning rust "oxidizing"? < 1372382722 753371 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :like < 1372382724 609478 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :except s/interview/job/ < 1372382725 332030 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :kmc is oxidizing on his flight < 1372382729 359187 :SirCmpwn!~SirCmpwn@unaffiliated/sircmpwn JOIN :#esoteric < 1372382730 950399 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :whats the difference < 1372382734 476508 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :well < 1372382736 265952 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :fair point < 1372382738 10097 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :job = really long interview that you get paid for < 1372382741 115738 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :in an at will employment state < 1372382765 752551 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :yeah some companies only hire through internship / contract work < 1372382773 218306 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :which is a long interview that you get paid for < 1372382873 553593 :Bike!~Glossina@67-5-237-4.ptld.qwest.net PRIVMSG #esoteric :truly, isn't life an interview, in the large < 1372382906 699936 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :`quote monad tutorial < 1372382907 875990 :HackEgo!dlopen@libdl.so PRIVMSG #esoteric :372) oerjan, little do you realise that everything you say and do is part of that great monad tutorial we call life. < 1372382925 362956 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :c.c < 1372382936 204530 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :life is an interview for applying to madoka's^W heaven? < 1372382958 143754 :Bike!~Glossina@67-5-237-4.ptld.qwest.net PRIVMSG #esoteric :kmc i'm not sure you get the c.c thing < 1372382958 480432 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :Who was that person who didn't watch PMMM yet < 1372382958 727261 :myndzi!myndzi@2600:3c00::f03c:91ff:fedf:3d4e PRIVMSG #esoteric :69                          c.c.c < 1372382958 967365 :myndzi!myndzi@2600:3c00::f03c:91ff:fedf:3d4e PRIVMSG #esoteric :69                           c.c < 1372382964 869791 :Bike!~Glossina@67-5-237-4.ptld.qwest.net PRIVMSG #esoteric :yessss sgeo < 1372382967 540979 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :PMMMMMMMMMMMMMMM < 1372382992 5038 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :I guess it's time for laptop to sleep now < 1372382996 294676 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :see you all later < 1372383004 362409 :Bike!~Glossina@67-5-237-4.ptld.qwest.net PRIVMSG #esoteric :have fun a billion feet up < 1372383005 228567 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :bye < 1372383007 595778 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :bye byeegan < 1372383009 810993 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :byyye~ < 1372383021 275821 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :∿ < 1372383175 518725 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :i refuse to say bye < 1372383176 589808 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :hi kmc < 1372383184 624332 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :hi elliott ! < 1372383202 491044 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Fiora: the new kmc?? < 1372383212 459432 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`relcome Fiora < 1372383215 948867 :HackEgo!dlopen@libdl.so PRIVMSG #esoteric :​11Fiora: Welcom10e to th02e i02n07te09rnational 04hub13 for esoteric program11min03g langu03age desig07n and deployme04nt! 02For more info08r12mat02io04n, check out 03our wiki: http://esol04angs.org/wiki/03Main_P10age08. (For the other k12ind of esote03rica, t03ry #08esoteric04 on10 i05rc.dal.14net13.) < 1372383230 465945 :Bike!~Glossina@67-5-237-4.ptld.qwest.net PRIVMSG #esoteric :`pastelogs come Fiora < 1372383239 95978 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :no shachaf.... remember what happened the last time we `*elcomed Fiora!! < 1372383249 379979 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I don't think that'll find WeLcOmE or WELCOME or all those things. < 1372383260 413324 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :elliott: no...........what happened < 1372383266 196026 :Bike!~Glossina@67-5-237-4.ptld.qwest.net PRIVMSG #esoteric :fuck the18:19 pleez < 1372383269 758782 :HackEgo!dlopen@libdl.so PRIVMSG #esoteric :http://codu.org/projects/hackbot/fshg/index.cgi/raw-file/tip/paste/paste.10777 < 1372383292 904940 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :hey remember Fiorara < 1372383293 240352 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :....? < 1372383298 585679 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :I'm not kmc... < 1372383298 886033 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Fiorara was cool < 1372383306 59422 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :fiorarararara? < 1372383317 249742 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Fiora: elliott said "hi kmc" and you said "hi elliott !" so the joke was that you were kmc. < 1372383325 607135 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :That's all. < 1372383341 147141 :Bike!~Glossina@67-5-237-4.ptld.qwest.net PRIVMSG #esoteric :`run welcome shachaf | tr 'a-zA-Z' 'n-za-mN-ZA-M' < 1372383343 640401 :HackEgo!dlopen@libdl.so PRIVMSG #esoteric :funpuns: Jrypbzr gb gur vagreangvbany uho sbe rfbgrevp cebtenzzvat ynathntr qrfvta naq qrcyblzrag! Sbe zber vasbezngvba, purpx bhg bhe jvxv: uggc://rfbynatf.bet/jvxv/Znva_Cntr. (Sbe gur bgure xvaq bs rfbgrevpn, gel #rfbgrevp ba vep.qny.arg.) < 1372383347 442717 :Bike!~Glossina@67-5-237-4.ptld.qwest.net PRIVMSG #esoteric :man < 1372383348 795147 :Bike!~Glossina@67-5-237-4.ptld.qwest.net PRIVMSG #esoteric :dark times < 1372383363 451637 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :elliott: please arrange for uggc://rfbynatf.bet/jvxv/Znva_Cntr to be a valid url < 1372383373 335781 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :invent a new protocol if you have to < 1372383377 468329 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :shachaf: oh, sorry < 1372383384 749674 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Fiora: Why? < 1372383391 736329 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :um.... for being confusing! < 1372383419 397569 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I think *I* was the confusing one here... < 1372383432 519372 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :You should be mad at me for not apologizing. < 1372383462 128576 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :...? why would I be... < 1372383482 833050 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :No reason. Never mind. < 1372383501 993392 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :shachaf: https://addons.mozilla.org/en-us/firefox/addon/uggc-protocol/ hth < 1372383546 20873 :Bike!~Glossina@67-5-237-4.ptld.qwest.net PRIVMSG #esoteric :Meet the Developer: Eli the Bearded. Learn why uggc protocol was created and find out what's next for this add-on. < 1372383612 674215 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oerjan: tth < 1372383666 910901 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i am not sure whether that lone commenter has got the point. < 1372383695 264351 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :*reviewer < 1372383726 710348 :Bike!~Glossina@67-5-237-4.ptld.qwest.net PRIVMSG #esoteric :is this bizarro shachaf < 1372383968 902544 :sprocklem!~sprocklem@S010674440130be65.cg.shawcable.net QUIT :Remote host closed the connection < 1372384027 283800 :kgoret!~terogk@u.nxsh.org QUIT :Quit: Lost terminal < 1372384097 241834 :aloril!~aloril@dsl-tkubrasgw3-54f97e-153.dhcp.inet.fi QUIT :Ping timeout: 248 seconds < 1372384914 299234 :aloril!~aloril@dsl-tkubrasgw3-54f97e-153.dhcp.inet.fi JOIN :#esoteric < 1372385298 80625 :pikhq_!~pikhq@24-107-196-13.dhcp.stls.mo.charter.com PRIVMSG #esoteric :shachaf: Syntactically, it *is* a valid URL. < 1372385300 586833 :pikhq_!~pikhq@24-107-196-13.dhcp.stls.mo.charter.com PRIVMSG #esoteric :Tada! < 1372385313 483283 :ion!ion@heh.fi PRIVMSG #esoteric :yes < 1372385321 346484 :Bike!~Glossina@67-5-237-4.ptld.qwest.net PRIVMSG #esoteric :but you need like, a scheme, man. < 1372385338 379118 :pikhq_!~pikhq@24-107-196-13.dhcp.stls.mo.charter.com PRIVMSG #esoteric :Looks like it matches the generic schema. < 1372385427 451895 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :I um, wish I knew what that commenter was trying to say < 1372385432 334583 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :Almost wrote commentor. Thagora < 1372385818 501906 :pikhq_!~pikhq@24-107-196-13.dhcp.stls.mo.charter.com PRIVMSG #esoteric :Whoa. < 1372385824 992517 :pikhq_!~pikhq@24-107-196-13.dhcp.stls.mo.charter.com PRIVMSG #esoteric :Opus audio on a video file in the wild. < 1372385978 34636 :sprocklem!~sprocklem@S010674440130be65.cg.shawcable.net JOIN :#esoteric < 1372386054 390383 :ion!ion@heh.fi PRIVMSG #esoteric :woot < 1372386081 781827 :pikhq_!~pikhq@24-107-196-13.dhcp.stls.mo.charter.com PRIVMSG #esoteric :Also fun, Ubuntu's shipped version of mplayer does not support Opus in mkv. < 1372386093 915151 :ion!ion@heh.fi PRIVMSG #esoteric :How about mplayer2? < 1372386105 914601 :pikhq_!~pikhq@24-107-196-13.dhcp.stls.mo.charter.com PRIVMSG #esoteric :Dunno. < 1372386116 101806 :pikhq_!~pikhq@24-107-196-13.dhcp.stls.mo.charter.com PRIVMSG #esoteric :I just know mpv works just fine. < 1372386279 275520 :Koen_!~Koen@vbo91-6-78-245-243-132.fbx.proxad.net QUIT :Quit: The struct held his beloved integer in his strong, protecting arms, his eyes like sapphire orbs staring into her own. "W-will you... Will you union me?" < 1372386520 170350 :lexande!arapp@terpsichore.ugcs.caltech.edu PART :#esoteric < 1372386913 210211 :Bike!~Glossina@67-5-237-4.ptld.qwest.net QUIT :Ping timeout: 248 seconds < 1372387035 935389 :Bike!~Glossina@75-164-162-110.ptld.qwest.net JOIN :#esoteric < 1372388784 606955 :oerjan!oerjan@sprocket.nvg.ntnu.no QUIT :Quit: Gnat < 1372390523 333035 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :>:D < 1372390704 852500 :Bike!~Glossina@75-164-162-110.ptld.qwest.net PRIVMSG #esoteric :http://retractionwatch.wordpress.com/2013/06/27/come-again-penile-strangulation-by-metallic-rings-retracted-for-duplication/ < 1372391510 982683 :NihilistDandy!~ND@c-24-128-161-213.hsd1.nh.comcast.net QUIT :Quit: NihilistDandy < 1372391665 411067 :Bike!~Glossina@75-164-162-110.ptld.qwest.net PRIVMSG #esoteric :kmc: http://en.wikipedia.org/wiki/Rozellida pseudofungi!! < 1372392071 688279 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :ion: little-known fact: that's how kmc got into haskell < 1372392076 32961 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :(drugz joke) < 1372392085 415461 :ion!ion@heh.fi PRIVMSG #esoteric :krr-TSS < 1372395267 647918 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :mnoqy............... < 1372395275 359183 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`smlist < 1372395277 833047 :HackEgo!dlopen@libdl.so PRIVMSG #esoteric :smlist: shachaf monqy elliott mnoqy < 1372395303 213075 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :mnoqy did you see the top of the page < 1372395404 671421 :mnoqy!~okay@pool-98-108-206-66.snloca.dsl-w.verizon.net PRIVMSG #esoteric :shachaf: !!!!!! < 1372395420 692240 :mnoqy!~okay@pool-98-108-206-66.snloca.dsl-w.verizon.net PRIVMSG #esoteric :very exciting and good < 1372395738 345439 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :mnoqy: also this is a good comic < 1372396151 947804 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oerjan: Wait, did you @quit kappabot? < 1372396167 577233 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oerjan: That bot is in more channels than just this one, you know! @part is there for a reason! < 1372396476 177504 :mnoqy!~okay@pool-98-108-206-66.snloca.dsl-w.verizon.net PRIVMSG #esoteric :shachaf: yes it is a good comic < 1372396544 442976 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :mnoqy: hey what's the cps-encoding of newtype Fix f = Fix (f (Fix f)) < 1372396552 129913 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :is it just newtype Fox f = Fox (forall r. f r -> r)............. that doesn't really sound right < 1372396598 948393 :mnoqy!~okay@pool-98-108-206-66.snloca.dsl-w.verizon.net PRIVMSG #esoteric :depenmds on what you mean by cps-encoding & how faithful you want to be to that newtype < 1372396614 853369 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :i want the boehm-berarducci-church-etc thing < 1372396624 988773 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :which turns lists into foldr and all that < 1372396692 3145 :mnoqy!~okay@pool-98-108-206-66.snloca.dsl-w.verizon.net PRIVMSG #esoteric :thhen thats it yes < 1372396700 82024 :mnoqy!~okay@pool-98-108-206-66.snloca.dsl-w.verizon.net PRIVMSG #esoteric :you might want to read http://homepages.inf.ed.ac.uk/wadler/papers/free-rectypes/free-rectypes.txt if you havent < 1372396723 969604 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :ok but that's kind of weird because isn't Fix f isomorphic to (forall a. (f a -> a) -> a) < 1372396789 76139 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oh ok i'll look < 1372396802 862654 :mnoqy!~okay@pool-98-108-206-66.snloca.dsl-w.verizon.net PRIVMSG #esoteric :i forget the name for that other thing youre saying woops < 1372396812 558558 :mnoqy!~okay@pool-98-108-206-66.snloca.dsl-w.verizon.net PRIVMSG #esoteric :i dont have "too much exposure" to it but ive seen it around < 1372396818 197113 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :well that thing is just the type of fold < 1372396827 571680 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :fol d:: Fix f -> (f a -> a) -> a < 1372396840 270513 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :and you can fold with the "initial algebra" or whatever it is to get Fix back < 1372396856 603275 :mnoqy!~okay@pool-98-108-206-66.snloca.dsl-w.verizon.net PRIVMSG #esoteric :thats what that paper is about :-) < 1372396867 969674 :mnoqy!~okay@pool-98-108-206-66.snloca.dsl-w.verizon.net PRIVMSG #esoteric :its a tutorial on helping peopel get an understanding of that < 1372396877 580904 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :ok < 1372396880 669578 :mnoqy!~okay@pool-98-108-206-66.snloca.dsl-w.verizon.net PRIVMSG #esoteric :or rather a draft draft draft draft draft thereof < 1372396889 265311 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :is (forall r. f r -> r) really ~ Fix f < 1372396892 920309 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :like for instance consider f = Const Void < 1372396899 571232 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :Fix (Const Void) ~ Void < 1372396909 410322 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :but (forall r. Const Void r -> r) ~ (forall r. Void -> r) < 1372396914 564888 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :Fix (Const Void) is uninhabited < 1372396915 694648 :mnoqy!~okay@pool-98-108-206-66.snloca.dsl-w.verizon.net PRIVMSG #esoteric :i i may have oopsed BUT ALSO < 1372396919 274989 :mnoqy!~okay@pool-98-108-206-66.snloca.dsl-w.verizon.net PRIVMSG #esoteric :theres the thing where < 1372396923 599275 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :but (forall r. Void -> r) is inhabited < 1372396944 486256 :mnoqy!~okay@pool-98-108-206-66.snloca.dsl-w.verizon.net PRIVMSG #esoteric :ill just pull up the actuall thing and well settile it once and for all < 1372396955 662489 :mnoqy!~okay@pool-98-108-206-66.snloca.dsl-w.verizon.net PRIVMSG #esoteric :Lfix X. F X = All X. (F X -> X) -> X. < 1372396961 652909 :mnoqy!~okay@pool-98-108-206-66.snloca.dsl-w.verizon.net PRIVMSG #esoteric :"th re r you have it" < 1372396970 737563 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :06:18:44 ok but that's kind of weird because isn't Fix f isomorphic to (forall a. (f a -> a) -> a) < 1372396970 835903 :mnoqy!~okay@pool-98-108-206-66.snloca.dsl-w.verizon.net PRIVMSG #esoteric :(i oopsed, oops) < 1372396977 295968 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :looks like the truth was with us all along.... < 1372396977 396775 :mnoqy!~okay@pool-98-108-206-66.snloca.dsl-w.verizon.net PRIVMSG #esoteric :Yes I geT it < 1372396987 421675 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :elliott: p. sure edwardk said it was once < 1372396992 984499 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :but he also said "in haskell" < 1372397003 506541 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :and there's def. a data/codata thing going on here so maybe that's related?? < 1372397028 91042 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :because for codata you have (exists a. (a, a -> f a)) ~ Fix f "or something like that" < 1372397042 432519 :mnoqy!~okay@pool-98-108-206-66.snloca.dsl-w.verizon.net PRIVMSG #esoteric :you can find the eqn for that in the .txt too :) :) < 1372397043 685759 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :i think that's the least/greatest fixed point thing < 1372397051 516016 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :mnoqy: HEY I'M GETTING TO THE TXT OK < 1372397112 961976 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :mnoqy: sorry for yelling :'( < 1372397144 593585 :mnoqy!~okay@pool-98-108-206-66.snloca.dsl-w.verizon.net PRIVMSG #esoteric :i just dont want to make the mistake again of seeing something that looks sort of like the right thing and saiyng "yes thats the right thing" when really its not < 1372397172 926644 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :wait which thing are you talking about < 1372397302 284957 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :21:26:10 newtype Mu f = Mu (forall a. (f a -> a) -> a); data Nu f = forall a. Nu a (a -> f a) -- build mappings from Mu f -> Nu f and vice versa given Functor f < 1372397324 336737 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :elliott: Nu (Const Void) also has exactly one inhabitant < 1372397350 626907 :Bike!~Glossina@75-164-162-110.ptld.qwest.net PRIVMSG #esoteric ::t Void < 1372397351 314325 :lambdabot!lambdabot@2a01:7e00::f03c:91ff:fedf:9fdd PRIVMSG #esoteric :Not in scope: data constructor `Void' < 1372397361 444127 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Bike: data Void < 1372397365 898685 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :(I.e. a type with no inhabitants.) < 1372397370 660359 :Bike!~Glossina@75-164-162-110.ptld.qwest.net PRIVMSG #esoteric :yeah i know < 1372397375 627288 :Bike!~Glossina@75-164-162-110.ptld.qwest.net PRIVMSG #esoteric :just wondering how it like looks < 1372397377 372758 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric ::k Void < 1372397378 184977 :lambdabot!lambdabot@2a01:7e00::f03c:91ff:fedf:9fdd PRIVMSG #esoteric :Not in scope: type constructor or class `Void' < 1372397381 379040 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :@let data Void < 1372397382 262848 :lambdabot!lambdabot@2a01:7e00::f03c:91ff:fedf:9fdd PRIVMSG #esoteric : Defined. < 1372397382 836590 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric ::k Void < 1372397383 559065 :lambdabot!lambdabot@2a01:7e00::f03c:91ff:fedf:9fdd PRIVMSG #esoteric :* < 1372397388 658990 :Bike!~Glossina@75-164-162-110.ptld.qwest.net PRIVMSG #esoteric :deep < 1372397394 759417 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric ::k Integer < 1372397395 483973 :lambdabot!lambdabot@2a01:7e00::f03c:91ff:fedf:9fdd PRIVMSG #esoteric :* < 1372397411 149448 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :Void can be of any kind with PolyKinds on I think < 1372397414 687124 :mnoqy!~okay@pool-98-108-206-66.snloca.dsl-w.verizon.net PRIVMSG #esoteric : Gfix X. F X = Exists X. (X -> F X) * X, < 1372397420 395116 :mnoqy!~okay@pool-98-108-206-66.snloca.dsl-w.verizon.net PRIVMSG #esoteric :whats up with edwardk's Nu < 1372397439 918633 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :mnoqy: he got it backwards < 1372397460 625171 :mnoqy!~okay@pool-98-108-206-66.snloca.dsl-w.verizon.net PRIVMSG #esoteric :ah that makes sense < 1372397462 945442 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oh that explains why my file says < 1372397463 380924 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :data Nu f = forall a. Nu a (a -> f a) < 1372397466 649313 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :because edwardk said it < 1372397469 807643 :mnoqy!~okay@pool-98-108-206-66.snloca.dsl-w.verizon.net PRIVMSG #esoteric :the Nu in his recschemes package is < 1372397472 959668 :mnoqy!~okay@pool-98-108-206-66.snloca.dsl-w.verizon.net PRIVMSG #esoteric :data Nu f whereSource < 1372397473 120364 :mnoqy!~okay@pool-98-108-206-66.snloca.dsl-w.verizon.net PRIVMSG #esoteric :Constructors < 1372397473 266451 :mnoqy!~okay@pool-98-108-206-66.snloca.dsl-w.verizon.net PRIVMSG #esoteric :Nu :: (a -> f a) -> a -> Nu f < 1372397477 553328 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oh wait < 1372397480 472647 :mnoqy!~okay@pool-98-108-206-66.snloca.dsl-w.verizon.net PRIVMSG #esoteric :^^good copy paste ^^ < 1372397482 949234 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :maybe he didn't get it backwards < 1372397488 571095 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :no i'm the one who got it backwards just now < 1372397494 919211 :mnoqy!~okay@pool-98-108-206-66.snloca.dsl-w.verizon.net PRIVMSG #esoteric :help < 1372397495 470461 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :but it got it correct earlier < 1372397501 309332 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :when i said (exists a. (a, a -> f a)) < 1372397553 483914 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :anyway it makes perfect sense < 1372397557 432945 :mnoqy!~okay@pool-98-108-206-66.snloca.dsl-w.verizon.net PRIVMSG #esoteric :yes < 1372397558 779426 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :it's just building up a tree and all that < 1372397598 573862 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :elliott: wait a minute < 1372397605 295418 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :elliott: i misunderstood again! < 1372397615 573686 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :(forall r. f r -> r) isn't (forall r. (f r -> r) -> r) at all < 1372397627 449897 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I really do doubt that (forall r. f r -> r) is right. < 1372397630 777538 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :But why isn't it? < 1372397761 605582 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Oh. < 1372397773 533258 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :because i'm bad at things < 1372397792 479157 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :data Foo a = Foo a ---> newtype Foo a = Foo (forall r. (a -> r) -> r) < 1372397816 285612 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :data Foo f a = Foo (f (Foo a)) ---> newtype Foo f a = Foo (forall r. (f r -> r) -> r) < 1372397821 229493 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Obviously it needs to be an argument. < 1372397841 944010 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :elliott: OK, so "church"(/boehm-berarducci) encoding of Fix gives you Mu. < 1372397879 75067 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Is there a cochurch encoding that gives you Nu? < 1372397918 357020 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :data Hi a = Hi a ----> data Ho a = forall x. Ho x (x -> a) -- totally making things up right now < 1372397987 387646 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :OK, I guess there's no point to this encoding. < 1372398018 344521 :sebbu2!~sebbu@unaffiliated/sebbu JOIN :#esoteric < 1372398194 895035 :sebbu!~sebbu@unaffiliated/sebbu QUIT :Ping timeout: 246 seconds < 1372398947 717822 :Bike!~Glossina@75-164-162-110.ptld.qwest.net PRIVMSG #esoteric :http://en.wikipedia.org/wiki/Wikipedia:Department_of_Fun < 1372398960 649134 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :https < 1372398988 105806 :Bike!~Glossina@75-164-162-110.ptld.qwest.net PRIVMSG #esoteric :https://en.wikipedia.org/wiki/Wikipedia:Department_of_Https < 1372398999 21568 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Wikipedia does not have a project page with this exact name. < 1372399117 896729 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :ok mnoqy i'm going to read that txt file now < 1372399127 2838 :mnoqy!~okay@pool-98-108-206-66.snloca.dsl-w.verizon.net PRIVMSG #esoteric :ok < 1372399157 728509 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :mnoqy: what does 'only allowing recursion in positive position' translate to in logic < 1372399171 494868 :mnoqy!~okay@pool-98-108-206-66.snloca.dsl-w.verizon.net PRIVMSG #esoteric :logic? < 1372399182 851561 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :sorry that's nonsense < 1372399198 498883 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :i can't say anything but nonsense ;'" < 1372399300 294442 :mnoqy!~okay@pool-98-108-206-66.snloca.dsl-w.verizon.net PRIVMSG #esoteric :as far as the category theory goes youre just dealing with endofunctors...recursion in the negative position translates to a contravatiant position and you cant do stuff there < 1372399325 466688 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :yes but i mean < 1372399326 154309 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :well < 1372399328 56421 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :what do i mean < 1372399353 750198 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :you get all kinds of paradoxes when you have self reference things < 1372399356 166337 :mnoqy!~okay@pool-98-108-206-66.snloca.dsl-w.verizon.net PRIVMSG #esoteric :that's what i'd like to know < 1372399375 245558 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :and curry's paradox is the kind of thing that you get with negative position recursion right < 1372399386 658403 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :and that sort of type lets you do r. evil things if you allow it < 1372399397 562786 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :but the types with plain old positive recursion don't < 1372399402 158887 :mnoqy!~okay@pool-98-108-206-66.snloca.dsl-w.verizon.net PRIVMSG #esoteric :sure? < 1372399409 153039 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :does that mean you can allow "certain kinds of self reference" or something < 1372399418 572784 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :i don't know < 1372400596 522089 :FreeFull!~freefull@defocus/sausage-lover QUIT :Quit: Gotta go < 1372401105 748730 :sacje!~sacre@unaffiliated/klet QUIT :Quit: sacje < 1372401670 220439 :sprocklem!~sprocklem@S010674440130be65.cg.shawcable.net QUIT :Remote host closed the connection < 1372404327 41715 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 JOIN :#esoteric < 1372404769 889719 :Bike!~Glossina@75-164-162-110.ptld.qwest.net QUIT :Ping timeout: 246 seconds < 1372408124 667065 :conehead!~conehead@unaffiliated/conehead QUIT :Quit: Textual IRC Client: www.textualapp.com < 1372408692 247557 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :welp i tried to write some rust code < 1372408697 380027 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :and got my brain twisted in I think a good way? < 1372408699 8982 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :time will tell < 1372408712 295018 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :I was hoping the second line would be "this is not the job for me" < 1372408718 548 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :first line had that kinda resignation to it that suggested the possibility < 1372408722 743130 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :haha < 1372408746 586210 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :one cool thing is, the type of a reference includes the region over which it's valid, and you can actually name and bind these regions < 1372408766 709379 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :so a function can return a reference which is valid as long as a particular reference argument is < 1372408798 580084 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :it's the 'r here: fn get_x<'r>(p: &'r Point) -> &'r float { &p.x } < 1372408882 356719 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :I tried to implement a lambda calculus interpreter without using any managed boxes but I think that's impossible < 1372408905 581657 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :without writing your own GC i mean < 1372408937 63883 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :hi kmc < 1372408942 443726 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :hichaf < 1372408943 391447 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :welcome to californeegan < 1372408956 807537 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :have you been to a california welcome center yet < 1372408968 313085 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :elliott: "had that kinda resignation to it that suggested that kinda resignation" hth < 1372409040 699764 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :oh also in rust the sugar for (*x).y is x.y not x->y < 1372409042 268920 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :"its weird" < 1372409068 151136 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :yes that's "the cool thing to do" < 1372409071 148229 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :go does that too i think < 1372409092 983549 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :mm < 1372409101 636955 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :well I suppose C doesn't do that because a C compiler is allowed to be dumb as rocks < 1372409102 939848 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :just like python............... < 1372409124 556705 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :but more modern languages might want to avoid it because more overloaded syntax => more bad programs typecheck < 1372409129 635730 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :but maybe there isn't much risk of that in this case < 1372409166 611703 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :my bag came off the carousel so afk again < 1372409178 517883 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :adiuaf < 1372410350 322691 :epicmonkey!~epicmonke@host-224-58.dataart.net JOIN :#esoteric < 1372411373 752063 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :I guess I officially live in San Francisco now :) < 1372411411 70657 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`relcome kmc < 1372411417 823592 :HackEgo!dlopen@libdl.so PRIVMSG #esoteric :​07kmc: Welcome to th08e i08nt10e03rnati10onal02 hub for eso08ter07ic programming 02languag03e design and de07ployment! 12For more i09n10f14ormation, chec04k out 10our wiki: http://esolangs.org/wiki/Main_06Page. (F09or07 the 07other03 kin02d of 10eso05terica10,09 t04r04y 11#eso07te05ric on irc.dal.net.04) < 1372411418 294948 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :\o/ < 1372411424 819386 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :uh \o/ < 1372411425 217791 :myndzi!myndzi@2600:3c00::f03c:91ff:fedf:3d4e PRIVMSG #esoteric :69 | < 1372411425 377916 :myndzi!myndzi@2600:3c00::f03c:91ff:fedf:3d4e PRIVMSG #esoteric :69/| < 1372411426 379989 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :finally a proper use of `relcome < 1372411430 568192 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :yes < 1372411436 845171 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :wow myndzi doesn't account for voice < 1372411442 186768 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :viz. https://sphotos-a.xx.fbcdn.net/hphotos-prn1/1011817_10100526803867865_340272139_n.jpg < 1372411450 436163 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :yes < 1372411453 853868 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :shachaf: that's what you get for setting empty nick whatever < 1372411605 348448 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :rust won't let me make a thing like an orphaned instance :( < 1372411623 109569 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Really? < 1372411629 503900 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Well, orphaned instances are evil. < 1372411634 921441 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :might relate to the fact that its polymorphism is accomplished through recompiling for each type (a la C++) rather than runtime parametric erasure whatever < 1372411655 476593 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :but maybe not < 1372411722 872682 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :kmc: you should join #rust on irc.mozilla.org < 1372411740 105007 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :i just might do that < 1372411759 951166 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :you p. know a lot of the p. there anyway < 1372411764 475975 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :m < 1372411768 797963 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :d < 1372411884 588921 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :https://www.imperialviolet.org/2013/06/27/botchingpfs.html < 1372411896 378637 :mnoqy!~okay@pool-98-108-206-66.snloca.dsl-w.verizon.net QUIT :Quit: hello < 1372412619 131619 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :so you're working in sf, right? not coming down to mv? < 1372412632 670826 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :right, except for the first day < 1372412647 390940 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :and maybe others from time to time? dunno < 1372415151 165424 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :Wow, the Mongol conquests killed like 17% of the world population at the time. < 1372417346 953918 :dessos!~dessos@c-174-60-176-249.hsd1.pa.comcast.net PART :#esoteric < 1372418214 303135 :sebbu!~sebbu@unaffiliated/sebbu JOIN :#esoteric < 1372418418 698865 :sebbu2!~sebbu@unaffiliated/sebbu QUIT :Ping timeout: 256 seconds < 1372418747 24241 :sacje!~sacre@unaffiliated/klet JOIN :#esoteric < 1372419608 679386 :Nisstyre-laptop!~yours@oftn/member/Nisstyre QUIT :Ping timeout: 256 seconds < 1372421545 294193 :nooodl!~nooodl@91.179.158.114 JOIN :#esoteric < 1372423363 224740 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :thought experiment: would agda still be cool if it used pascal-style syntax? < 1372423364 985120 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :imo: no < 1372424098 550273 :sacje!~sacre@unaffiliated/klet QUIT :Quit: sacje < 1372424741 174008 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`olist 896 < 1372424743 408027 :HackEgo!dlopen@libdl.so PRIVMSG #esoteric :olist 896: shachaf oerjan Sgeo FireFly < 1372425000 963527 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :good `olist < 1372425177 214806 :MindlessDrone!~MindlessD@141.70.114.6 JOIN :#esoteric < 1372425959 9027 :oerjan!oerjan@129.241.210.46 JOIN :#esoteric < 1372426436 600637 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oerjan: hi < 1372426656 899481 :oerjan!oerjan@129.241.210.46 PRIVMSG #esoteric :hi there < 1372426662 858945 :oerjan!oerjan@129.241.210.46 QUIT :Quit: leaving < 1372426691 89434 :oerjan!oerjan@sprocket.nvg.ntnu.no JOIN :#esoteric < 1372426749 750638 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :oh hm maybe... < 1372426752 829361 :oerjan!oerjan@sprocket.nvg.ntnu.no QUIT :Client Quit < 1372426769 148185 :oerjan!oerjan@sprocket.nvg.ntnu.no JOIN :#esoteric < 1372426852 474773 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :there we are, back to leguin < 1372426875 359277 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :(the norwegian server seems to be permanently refusing me) < 1372426896 948847 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :and the rotation keeps stupidly sending me across the atlantic < 1372426955 296554 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :you could just specify a server... < 1372426970 193984 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :elliott: um i just did < 1372426976 772577 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :to leguin, as i said. < 1372426994 63051 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i had gibson in norwegian before, which has refused connections for weeks. < 1372427001 130739 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :*in norway < 1372427013 898823 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :oh ok < 1372427202 108672 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oerjan: did you see the olist < 1372427204 496163 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :good olist < 1372427251 693860 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :not yet < 1372428260 248599 :olsner!~salparot@c83-252-194-156.bredband.comhem.se QUIT :Quit: Leaving < 1372428421 609291 :sacje!~sacre@unaffiliated/klet JOIN :#esoteric < 1372428443 117767 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric : oerjan: That bot is in more channels than just this one, you know! @part is there for a reason! < 1372428472 45380 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric : oerjan: That bot is in more channels than just this one, you know! @part is there for a reason! <-- oops sorry :P < 1372428745 226619 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :oerjan: I interpreted "i had gibson in norwegian" to mean that you had a collection of Norwegian translations of Gibson's novels, and it puzzled me a whole lot as to how exactly were they "refusing connections". < 1372428763 10911 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :"I'd really like to read this book, but it's refusing connections." < 1372428771 849311 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :I guess in this e-age of e-books that might happen. < 1372428914 140336 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :probably < 1372428993 940055 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oerjan: exercise: write a function to convert Mu f to Nu f < 1372429319 273179 :Nisstyre-laptop!~yours@oftn/member/Nisstyre JOIN :#esoteric < 1372429476 291158 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :shachaf: i don't even remember what those are hth < 1372429507 22812 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :newtype Mu f = Mu { runMu :: forall a. (f a -> a) -> a } < 1372429516 257947 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :data Nu f = forall a. Nu a (a -> f a) < 1372429516 946653 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :hth < 1372430387 540594 :tswett!~quassel@ec2-23-23-86-149.compute-1.amazonaws.com PRIVMSG #esoteric :ACCORDING TO WIKIPEDIA, TODAY IS AN INTERNATIONAL CAPS LOCK DAY. < 1372430432 793599 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :every day is an international caps lock day < 1372430460 70173 :tswett!~quassel@ec2-23-23-86-149.compute-1.amazonaws.com PRIVMSG #esoteric :SO, UH, WHAT'S MU SUPPOSED TO BE? < 1372430522 760550 :tswett!~quassel@ec2-23-23-86-149.compute-1.amazonaws.com PRIVMSG #esoteric :LIKE, UH, IT TAKES A FUNCTOR ALGEBRA THINGY AND THEN RETURNS THE UNDERLYING THING. < 1372430523 604254 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :tswett: folds < 1372430559 628502 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :also it's my birthday hth < 1372430563 190305 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oh < 1372430569 426769 :tswett!~quassel@ec2-23-23-86-149.compute-1.amazonaws.com PRIVMSG #esoteric :LIKE, WHY DON'T WE TAKE [] AS AN EXAMPLE. Mu [] IS forall a. ([a] -> a) -> a, RIGHT? < 1372430572 98575 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :are you a billion years old now < 1372430577 203282 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :no, just 43 < 1372430607 707828 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Happy oerjan++ ! < 1372430624 520580 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :tswett: [] is a complicated example............. < 1372430645 347392 :tswett!~quassel@ec2-23-23-86-149.compute-1.amazonaws.com PRIVMSG #esoteric :ALL RIGHT, HOW ABOUT Maybe? < 1372430651 598696 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :ok < 1372430667 54945 :tswett!~quassel@ec2-23-23-86-149.compute-1.amazonaws.com PRIVMSG #esoteric :Mu Maybe, THEN, WOULD BE forall a. (Maybe a -> a) -> a. < 1372430667 214287 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :oerjan: happy birthy < 1372430682 327950 :tswett!~quassel@ec2-23-23-86-149.compute-1.amazonaws.com PRIVMSG #esoteric :OF COURSE, A (Maybe a -> a) COULD BE PRETTY WEIRD. < 1372430711 575273 :tswett!~quassel@ec2-23-23-86-149.compute-1.amazonaws.com PRIVMSG #esoteric :ANYWAY, I GUESS THE ONLY THING YOU CAN DO, IF YOU'RE THIS MU VALUE THING, IS PASS Nothing INTO THAT FUNCTION. < 1372430711 929176 :NihilistDandy!~ND@c-24-128-161-213.hsd1.nh.comcast.net JOIN :#esoteric < 1372430718 817501 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :hang on hang on < 1372430726 976679 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :that's the only thing you can do *at first* < 1372430734 859508 :tswett!~quassel@ec2-23-23-86-149.compute-1.amazonaws.com PRIVMSG #esoteric :THEN YOU'LL GET AN a, WHICH YOU CAN RETURN, OR YOU CAN PUT IT INTO Just AND RETURN THE RESULT... < 1372430737 787417 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :but after you do that you get an a value < 1372430738 855186 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :right < 1372430744 368848 :tswett!~quassel@ec2-23-23-86-149.compute-1.amazonaws.com PRIVMSG #esoteric :OR YOU CAN PUT *THAT* INTO Just AND RETURN THAT RESULT, AND SO ON. < 1372430748 45681 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :yes < 1372430758 15404 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :so (Mu Maybe) is... < 1372430770 99829 :tswett!~quassel@ec2-23-23-86-149.compute-1.amazonaws.com PRIVMSG #esoteric :EFFECTIVELY THE NATURAL NUMBERS. < 1372430774 101180 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :right < 1372430781 433672 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :what about Nu Maybe? < 1372430795 544385 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :exists x. (x, x -> Maybe x) < 1372430847 433594 :tswett!~quassel@ec2-23-23-86-149.compute-1.amazonaws.com PRIVMSG #esoteric :YEAH, THAT. < 1372430870 161515 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :what can you do with that? < 1372430891 718967 :tswett!~quassel@ec2-23-23-86-149.compute-1.amazonaws.com PRIVMSG #esoteric :YEAH, THAT LOOKS LIKE THE NATURAL NUMBERS AS WELL. TAKE THE x, PASS IT INTO THAT FUNCTION, EITHER YOU GET Nothing OR YOU GET Just SOMETHING. < 1372430899 653840 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :right < 1372430907 822171 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :or............................................you never get Nothing!! < 1372430907 875552 :tswett!~quassel@ec2-23-23-86-149.compute-1.amazonaws.com PRIVMSG #esoteric :IF IT'S THE LATTER, YOU CAN PUT IT INTO THE FUNCTION AGAIN, MAYBE YOU'LL GET Nothing THIS TIME, MAYBE YOU'LL GET Just AGAIN... < 1372430926 211673 :tswett!~quassel@ec2-23-23-86-149.compute-1.amazonaws.com PRIVMSG #esoteric :RIGHT. IT'S THE-NATURAL-NUMBERS-PLUS-INFINITY. < 1372430932 418918 :tswett!~quassel@ec2-23-23-86-149.compute-1.amazonaws.com PRIVMSG #esoteric :THE CO-NATURAL NUMBERS, AMIRITE? < 1372430947 50548 :tswett!~quassel@ec2-23-23-86-149.compute-1.amazonaws.com PRIVMSG #esoteric :SINCE, LIKE, ISN'T THIS EFFECTIVELY A COINDUCTIVE DATA TYPE? < 1372430947 679178 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :ok < 1372430972 895969 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :yes < 1372430979 918336 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :so now write a function to turn Mu into Nu < 1372430981 507139 :tswett!~quassel@ec2-23-23-86-149.compute-1.amazonaws.com PRIVMSG #esoteric :WHAT ABOUT MU, CAN THAT ALSO BE INFINITY? < 1372430992 813431 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :in haskell it can.....since haskell is ""confused""" < 1372431034 555038 :tswett!~quassel@ec2-23-23-86-149.compute-1.amazonaws.com PRIVMSG #esoteric :HM. TO ME IT ALMOST KIND OF SEEMS LIKE A COINCIDENCE THAT THOSE THINGS ARE THE SAME THING. < 1372431036 689052 :tswett!~quassel@ec2-23-23-86-149.compute-1.amazonaws.com PRIVMSG #esoteric :BUT IN ANY CASE... < 1372431107 692956 :tswett!~quassel@ec2-23-23-86-149.compute-1.amazonaws.com PRIVMSG #esoteric :MU IS A FUNCTION TAKING THE ALGEBRA THINGY AND PLAYING WITH IT AND RETURNING THE ONE WHATEVER THING. < 1372431130 844646 :tswett!~quassel@ec2-23-23-86-149.compute-1.amazonaws.com PRIVMSG #esoteric :WHEREAS NU IS JUST THE PART THAT GOES IN BETWEEN OR WHATEVER. < 1372431157 550482 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :shachaf: elliott: thanks < 1372431237 241210 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :oerjan: in return you can outlaw international caps lock day in the channel < 1372431269 930211 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :sgtm < 1372431299 59283 :tswett!~quassel@ec2-23-23-86-149.compute-1.amazonaws.com PRIVMSG #esoteric :ONE THING THAT THE MU COULD BE, I GUESS, IS \f -> f . Just . f . Just . f . Just . f . Just . f $ Nothing, AYE? < 1372431322 376660 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :tswett: International Caps Lock Day has been outlawed in #esoteric < 1372431333 708359 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Now it's time For international shubshub Day. < 1372431348 756846 :tswett!~quassel@ec2-23-23-86-149.compute-1.amazonaws.com PRIVMSG #esoteric :What's that? < 1372431366 2610 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :you know, we Never Figured it out < 1372431386 874786 :tswett!~quassel@ec2-23-23-86-149.compute-1.amazonaws.com PRIVMSG #esoteric :Is It All Right If I Just Capitalize Every Word? < 1372431401 28970 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :That's Not how It work < 1372431401 765061 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :s < 1372431406 362079 :tswett!~quassel@ec2-23-23-86-149.compute-1.amazonaws.com PRIVMSG #esoteric :I dunnO, I don'T thinK thaT woulD bE thE besT ideA pragmaticallY speakinG. < 1372431420 355563 :tswett!~quassel@ec2-23-23-86-149.compute-1.amazonaws.com PRIVMSG #esoteric :Anyway, what could the Nu be. < 1372431447 579094 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Anyway, yes, sure, That's a Good Mu value. < 1372431453 405974 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric ::t \f -> f . Just . f . Just . f . Just . f . Just . f $ Nothing < 1372431454 126591 :lambdabot!lambdabot@2a01:7e00::f03c:91ff:fedf:9fdd PRIVMSG #esoteric :(Maybe b -> b) -> b < 1372431469 908246 :tswett!~quassel@ec2-23-23-86-149.compute-1.amazonaws.com PRIVMSG #esoteric :Going backwards... taking a layer off each time... why would you go backwards, why would that be the same thing... < 1372431484 370230 :tswett!~quassel@ec2-23-23-86-149.compute-1.amazonaws.com PRIVMSG #esoteric :Is it really possible to convert Mu into Nu or is this just an Elaborate practical joke... < 1372431491 989193 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :> (\f -> f . Just . f . Just . f . Just . f . Just . f $ Nothing) (maybe 0 (+1)) < 1372431495 255925 :lambdabot!lambdabot@2a01:7e00::f03c:91ff:fedf:9fdd PRIVMSG #esoteric : 4 < 1372431511 733231 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :It's really Possible to do it. < 1372431560 174001 :tswett!~quassel@ec2-23-23-86-149.compute-1.amazonaws.com PRIVMSG #esoteric :I mean, if you have the fixed Point of a Type, like, a Data Constructor representing that, then it seems like you can do it. < 1372431581 254986 :tswett!~quassel@ec2-23-23-86-149.compute-1.amazonaws.com PRIVMSG #esoteric :Like, define data Fix f = F (f (F f)). < 1372431585 988682 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :well You can Make Whatever data Constructors you Want < 1372431601 129202 :tswett!~quassel@ec2-23-23-86-149.compute-1.amazonaws.com PRIVMSG #esoteric :Then, uh, the Nu is... < 1372431603 710287 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :(but Say No To negative Recursion) < 1372431632 189612 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :that shachaf is always so positive all the time. < 1372431635 655130 :tswett!~quassel@ec2-23-23-86-149.compute-1.amazonaws.com PRIVMSG #esoteric :(F . Just . F . Just . F . Just . F . Just . F $ Nothing, \(F x) -> x)? < 1372431667 118040 :tswett!~quassel@ec2-23-23-86-149.compute-1.amazonaws.com PRIVMSG #esoteric :In which Case it seems pretty clear how to convert the Mu into the Nu. Just pass F in and then the other Thing is always that Thing. < 1372431681 365153 :tswett!~quassel@ec2-23-23-86-149.compute-1.amazonaws.com PRIVMSG #esoteric :(themu F, \(F x) -> x) < 1372431692 201983 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Yep. < 1372431694 589476 :tswett!~quassel@ec2-23-23-86-149.compute-1.amazonaws.com PRIVMSG #esoteric :If my Syntax is correct; I'm not sure you can put the Lambda Symbol directly after a Comma like that. < 1372431710 334545 :tswett!~quassel@ec2-23-23-86-149.compute-1.amazonaws.com PRIVMSG #esoteric ::t (\x -> x, \y -> y) < 1372431711 977691 :lambdabot!lambdabot@2a01:7e00::f03c:91ff:fedf:9fdd PRIVMSG #esoteric :(t -> t, t1 -> t1) < 1372431720 431611 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :The syntax Is Correct but haskell Doesn't Have first-Class Existentials < 1372431721 968723 :tswett!~quassel@ec2-23-23-86-149.compute-1.amazonaws.com PRIVMSG #esoteric :Yep, you can do that. < 1372431731 686572 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :So You Would instead make a Data Constructor In ghc < 1372431743 556356 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :data Nu f = forall a. Nu a (a -> f a) < 1372431755 373834 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Now convert Nu into Mu! < 1372431772 52956 :tswett!~quassel@ec2-23-23-86-149.compute-1.amazonaws.com PRIVMSG #esoteric :Oh Boy. < 1372431790 600681 :tswett!~quassel@ec2-23-23-86-149.compute-1.amazonaws.com PRIVMSG #esoteric :Right, it's \themu -> Nu (themu F) (\(F x) -> x). < 1372431809 206613 :tswett!~quassel@ec2-23-23-86-149.compute-1.amazonaws.com PRIVMSG #esoteric :So right. A Mu is effectively a forall a. (f a -> a) -> a, aye? < 1372431835 273116 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Yes. < 1372431847 724362 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :newtype Fix f = Fix { unFix :: f (Fix f) } < 1372431851 969477 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Fix :: f (Fix f) -> Fix f < 1372431858 90693 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :unFix :: Fix f -> f (Fix f) < 1372431864 341513 :tswett!~quassel@ec2-23-23-86-149.compute-1.amazonaws.com PRIVMSG #esoteric :SO YOU'VE GOT THIS THING, YOU DOn't know what it is, and you have to, like, effectively use it to guide your Behavior. < 1372431886 835058 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :What Thing < 1372431906 271722 :tswett!~quassel@ec2-23-23-86-149.compute-1.amazonaws.com PRIVMSG #esoteric :The first Argument to the Nu Constructor. < 1372431914 36333 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :also If you Want A Bonus exercise try Turning Nu Into Mu < 1372431916 933267 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`quote shubshub < 1372431919 64240 :HackEgo!dlopen@libdl.so PRIVMSG #esoteric :750) STOP CAPITALIZING It's making me feel weird the I has to be capitilized its proper grammer < 1372431937 857595 :tswett!~quassel@ec2-23-23-86-149.compute-1.amazonaws.com PRIVMSG #esoteric :And then the other Thing is, of course, the second Argument to the Nu Constructor. < 1372431938 264706 :nooodl!~nooodl@91.179.158.114 PRIVMSG #esoteric :oerjan: happy birthy < 1372431973 416726 :tswett!~quassel@ec2-23-23-86-149.compute-1.amazonaws.com PRIVMSG #esoteric :shachaf: happy Birthday to you. Happy Birthday to you. It is likely that quoting any more of the Song would be an Infringement of Copyright. < 1372431984 101809 :tswett!~quassel@ec2-23-23-86-149.compute-1.amazonaws.com PRIVMSG #esoteric :B'yeah. < 1372431990 53021 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :i Heard That was Just A rumour < 1372432007 679700 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Oops That was improper Grammer < 1372432022 705442 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :haha, I remember 750 < 1372432050 103706 :nooodl!~nooodl@91.179.158.114 PRIVMSG #esoteric :is shubshub the batch script esolang guy < 1372432057 365084 :tswett!~quassel@ec2-23-23-86-149.compute-1.amazonaws.com PRIVMSG #esoteric :I guess it's essentially, like, you have an a, and an (a -> f a), and an (f b -> b), and you have to appropriately produce a b. < 1372432075 443217 :nooodl!~nooodl@91.179.158.114 PRIVMSG #esoteric :ooh yes < 1372432083 477911 :tswett!~quassel@ec2-23-23-86-149.compute-1.amazonaws.com PRIVMSG #esoteric :Oh, and you know that the f is Maybe, of Course. < 1372432139 62839 :nooodl!~nooodl@91.179.158.114 PRIVMSG #esoteric :i googled his name and found http://www.youtube.com/watch?v=WOUKwJYhdss wow < 1372432216 324101 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :esoteric/2012-04-28.txt:10:24:19: I Just added capital lettering to !Py!Batch < 1372432226 562329 :tswett!~quassel@ec2-23-23-86-149.compute-1.amazonaws.com PRIVMSG #esoteric :So, keep operating on the a until you've gotten rid of all of the, like, a, and then do the same thing in reverse. < 1372432265 383054 :tswett!~quassel@ec2-23-23-86-149.compute-1.amazonaws.com PRIVMSG #esoteric :s/thing/Thing/ < 1372432296 576488 :tswett!~quassel@ec2-23-23-86-149.compute-1.amazonaws.com PRIVMSG #esoteric :So the first Thing we need is (a -> (a -> Maybe a) -> Fix Maybe). < 1372432316 374139 :tswett!~quassel@ec2-23-23-86-149.compute-1.amazonaws.com PRIVMSG #esoteric :And that's just, uh, what should I call it. How about shake. < 1372432398 329827 :tswett!~quassel@ec2-23-23-86-149.compute-1.amazonaws.com PRIVMSG #esoteric :Lemme interchange the arguments, so it's ((a -> Maybe a) -> a -> Fix Maybe). < 1372432404 812380 :tswett!~quassel@ec2-23-23-86-149.compute-1.amazonaws.com PRIVMSG #esoteric :shake f x = fmap (shake f) (f x)? < 1372432418 663853 :tswett!~quassel@ec2-23-23-86-149.compute-1.amazonaws.com PRIVMSG #esoteric :No, we need more constructors. < 1372432428 292082 :tswett!~quassel@ec2-23-23-86-149.compute-1.amazonaws.com PRIVMSG #esoteric :shake f x = Fix (fmap (shake f) (f x))? < 1372432469 629549 :tswett!~quassel@ec2-23-23-86-149.compute-1.amazonaws.com PRIVMSG #esoteric :s////////// < 1372432471 965206 :tswett!~quassel@ec2-23-23-86-149.compute-1.amazonaws.com PRIVMSG #esoteric :Looks right as far as I can tell. < 1372432477 231981 :Koen_!~Koen@vbo91-6-78-245-243-132.fbx.proxad.net JOIN :#esoteric < 1372432493 709521 :tswett!~quassel@ec2-23-23-86-149.compute-1.amazonaws.com PRIVMSG #esoteric :Then you just need to do the reverse. Let's call that one scrunch. < 1372432546 954962 :tswett!~quassel@ec2-23-23-86-149.compute-1.amazonaws.com PRIVMSG #esoteric :With a Type along the Lines of (Fix Maybe -> (Maybe b -> b) -> b). Yeah, that sounds easy. < 1372432584 898224 :tswett!~quassel@ec2-23-23-86-149.compute-1.amazonaws.com PRIVMSG #esoteric :I think we should interchange the Arguments again. ((Maybe b -> b) -> Fix Maybe -> b). < 1372432609 950685 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :by the way you can do hylo :: Functor f => (f b -> b) -> (a -> f a) -> (a -> b) if you prefer < 1372432658 642057 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :(Which is the same thing, of course.) < 1372432661 412108 :Koen_!~Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :hi lo < 1372432713 516411 :tswett!~quassel@ec2-23-23-86-149.compute-1.amazonaws.com PRIVMSG #esoteric :scrunch f t = f (fmap (scrunch f) (unFix t)) < 1372432734 265268 :tswett!~quassel@ec2-23-23-86-149.compute-1.amazonaws.com PRIVMSG #esoteric :So you just need to shake and then scrunch. < 1372432997 582293 :Koen_!~Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :he wanted to shake my hand but then I scrunched his fingers so hard there was blood everywhere < 1372433027 974732 :tswett!~quassel@ec2-23-23-86-149.compute-1.amazonaws.com PRIVMSG #esoteric :The metaphor is... a T-shirt or something. < 1372433037 581388 :tswett!~quassel@ec2-23-23-86-149.compute-1.amazonaws.com PRIVMSG #esoteric :If you want to turn a T-shirt into a hockey puck, what do you do? < 1372433039 421784 :tswett!~quassel@ec2-23-23-86-149.compute-1.amazonaws.com PRIVMSG #esoteric :You get the idea. < 1372433058 255991 :tswett!~quassel@ec2-23-23-86-149.compute-1.amazonaws.com PRIVMSG #esoteric :All right, I mUST LEAVE YOU GUYS FOR THE TIME BEING. < 1372434696 581332 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :nooodl: thanks < 1372434972 79496 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :itt t-shirts, hockey pucks and burritos < 1372435049 343397 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :kmc: your job is to find the best place in sf for a vegetarian burrito btw < 1372435800 375994 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :is shachaf... a vegetarian < 1372435817 750296 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :no nouning, please < 1372435821 973975 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :shachaf is vegetarian < 1372435824 177031 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :it sounds like the kid in the apartment above has recently acquired a marble or something similar. < 1372435847 250136 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :so, after all, that is what will finally be the end of me. < 1372435859 256817 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :too many marbles. < 1372435875 889445 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :just lose some? < 1372435897 760703 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :it has to be the ones making the noise, Phantom_Hoover < 1372436314 651110 :Gracenotes!~person@wikipedia/Gracenotes QUIT :Ping timeout: 256 seconds < 1372436489 199356 :mnoqy!~okay@pool-98-108-206-66.snloca.dsl-w.verizon.net JOIN :#esoteric < 1372437510 117313 :FreeFull!~freefull@defocus/sausage-lover JOIN :#esoteric < 1372438178 967574 :Bike!~Glossina@75-164-162-110.ptld.qwest.net JOIN :#esoteric < 1372438463 674212 :impomatic!~john_metc@46.208.115.220 QUIT :Read error: Connection reset by peer < 1372438876 830332 :itsy!~john_metc@46.208.115.220 QUIT :Read error: Connection reset by peer < 1372439201 507475 :impomatic!~john_metc@46.208.115.220 QUIT :Read error: Connection reset by peer < 1372439280 608544 :impomatic!~john_metc@46.208.115.220 QUIT :Read error: Connection reset by peer < 1372441788 475041 :Gracenotes!~person@wikipedia/Gracenotes JOIN :#esoteric < 1372442095 747750 :Gracenotes!~person@wikipedia/Gracenotes QUIT :Remote host closed the connection < 1372442114 254520 :Gracenotes!~person@wikipedia/Gracenotes JOIN :#esoteric < 1372442433 310848 :epicmonkey!~epicmonke@host-224-58.dataart.net QUIT :Ping timeout: 248 seconds < 1372443193 691429 :conehead!~conehead@unaffiliated/conehead JOIN :#esoteric < 1372443517 91390 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :shachaf is no-meat-food-seeky < 1372444667 56589 :Gracenotes!~person@wikipedia/Gracenotes QUIT :Remote host closed the connection < 1372445704 918556 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :can you even be a vegetarian if you're jewish < 1372446033 461955 :olsner!~salparot@c83-252-194-156.bredband.comhem.se JOIN :#esoteric < 1372446353 181526 :mnoqy!~okay@pool-98-108-206-66.snloca.dsl-w.verizon.net QUIT :Quit: hello < 1372446450 409911 :ion!ion@heh.fi PRIVMSG #esoteric :I had to stop being vegetarian recently. I feel bad about it, but i have to prioritize my health over the wellbeing of production animals. As a health issue i have (had for years before i even began vegetarianism) i have real trouble getting things done. Due to that i just didn’t manage to take care of the increased effort to get all the nutrition i need. < 1372446503 25742 :epicmonkey!~epicmonke@188.134.41.113 JOIN :#esoteric < 1372449154 909033 :Nisstyre-laptop!~yours@oftn/member/Nisstyre QUIT :Quit: Leaving < 1372449937 133803 :Koen_!~Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :being vegetarian was fun < 1372449943 171197 :Koen_!~Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :but meat is SO GOOD < 1372450022 991193 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 QUIT :Ping timeout: 246 seconds < 1372451387 163961 :ion!ion@heh.fi PRIVMSG #esoteric :I haven’t really got used to the taste of meat yet, it still feels subjectively disgusting. But that’s just a matter of getting used to it again. OTOH, i don’t think the bad conscience is going to go away. :-P < 1372451677 74378 :epicmonkey!~epicmonke@188.134.41.113 QUIT :Ping timeout: 276 seconds < 1372451889 254832 :Bike!~Glossina@75-164-162-110.ptld.qwest.net PRIVMSG #esoteric :just start with something easy, like drinking chilled pig blood, and then slowly move up to hunting squirrels and such < 1372452097 215647 :sivoais!~zaki@unaffiliated/sivoais QUIT :Ping timeout: 248 seconds < 1372452948 517889 :Koen_!~Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :ion: wait... are you saying you've NEVER eaten meat before? < 1372453037 91187 :ion!ion@heh.fi PRIVMSG #esoteric :koen: I have. < 1372453064 203212 :ion!ion@heh.fi PRIVMSG #esoteric :I stopped around 13 years ago. < 1372453183 37459 :Koen_!~Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :oh okay that's a long time < 1372453370 696375 :ion!ion@heh.fi PRIVMSG #esoteric :Enough for the desire to turn to disgust. < 1372454563 887595 :tswett!~quassel@ec2-23-23-86-149.compute-1.amazonaws.com PRIVMSG #esoteric :Do the Component Object Model and the Common Language Infrastructure have anything to do with each other? < 1372454802 329509 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :tswett: hello sir < 1372454811 691157 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :i would like to purchase an internet < 1372454813 813446 :tswett!~quassel@ec2-23-23-86-149.compute-1.amazonaws.com PRIVMSG #esoteric :Hi coppro. < 1372454815 221487 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :do you have any available? < 1372454820 680564 :tswett!~quassel@ec2-23-23-86-149.compute-1.amazonaws.com PRIVMSG #esoteric :Uh, lemme think. < 1372454840 420890 :tswett!~quassel@ec2-23-23-86-149.compute-1.amazonaws.com PRIVMSG #esoteric :I don't have any internets here at the moment, but I could create one given... let's say about three to six months. < 1372454908 222193 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :unfortunately, that timeline is unacceptable to me < 1372455705 388206 :MindlessDrone!~MindlessD@141.70.114.6 QUIT :Quit: MindlessDrone < 1372455919 53719 :tertu!~TeruFSX@65-128-175-59.mpls.qwest.net JOIN :#esoteric < 1372455947 19009 :Bike!~Glossina@75-164-162-110.ptld.qwest.net QUIT :Ping timeout: 246 seconds < 1372456074 44196 :Bike!~Glossina@75-164-162-110.ptld.qwest.net JOIN :#esoteric < 1372456092 169383 :TeruFSX2!~TeruFSX@65-128-175-59.mpls.qwest.net QUIT :Ping timeout: 246 seconds < 1372457116 640755 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i suggest going for an intern e.t. instead hth < 1372458104 91929 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :What does hth stand for again? < 1372458110 302958 :olsner!~salparot@c83-252-194-156.bredband.comhem.se PRIVMSG #esoteric :hth, hth < 1372458114 749940 :Bike!~Glossina@75-164-162-110.ptld.qwest.net PRIVMSG #esoteric :@wn hth < 1372458115 935401 :lambdabot!lambdabot@2a01:7e00::f03c:91ff:fedf:9fdd PRIVMSG #esoteric :No match for "hth". < 1372458122 574552 :Bike!~Glossina@75-164-162-110.ptld.qwest.net PRIVMSG #esoteric :`? hth < 1372458124 653981 :HackEgo!dlopen@libdl.so PRIVMSG #esoteric :hth is help received from a hairy toe. It is not at all hambiguitous. < 1372458143 367732 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :Hairy toe help. Got it < 1372458454 254788 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :shachaf: i will let you know < 1372458544 103726 :zzo38!~zzo38@24-207-49-17.eastlink.ca JOIN :#esoteric < 1372458686 418547 :Gracenotes!~person@wikipedia/Gracenotes JOIN :#esoteric < 1372459146 25338 :Bike!~Glossina@75-164-162-110.ptld.qwest.net QUIT :Ping timeout: 252 seconds < 1372459194 991991 :Bike!~Glossina@75-164-162-110.ptld.qwest.net JOIN :#esoteric < 1372459453 896437 :Gracenotes!~person@wikipedia/Gracenotes QUIT :Ping timeout: 246 seconds < 1372459479 761785 :Gracenotes!~person@wikipedia/Gracenotes JOIN :#esoteric < 1372459928 63410 :Gracenotes!~person@wikipedia/Gracenotes QUIT :Ping timeout: 256 seconds < 1372460752 66035 :TeruFSX2!~TeruFSX@65-128-175-59.mpls.qwest.net JOIN :#esoteric < 1372460948 14947 :tertu!~TeruFSX@65-128-175-59.mpls.qwest.net QUIT :Ping timeout: 256 seconds < 1372461477 307319 :tswett!~quassel@ec2-23-23-86-149.compute-1.amazonaws.com PRIVMSG #esoteric :coppro: I recommend taking your business elsewhere, hth. < 1372461485 975183 :tswett!~quassel@ec2-23-23-86-149.compute-1.amazonaws.com PRIVMSG #esoteric :elliott: I'm so glad you're not a baby any more. < 1372461573 200767 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :he isn't? < 1372461614 535063 :tswett!~quassel@ec2-23-23-86-149.compute-1.amazonaws.com PRIVMSG #esoteric :Nope. He's two years old now. < 1372461620 935549 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :wow < 1372461622 276393 :sebbu2!~sebbu@unaffiliated/sebbu JOIN :#esoteric < 1372461763 425694 :sebbu!~sebbu@unaffiliated/sebbu QUIT :Ping timeout: 264 seconds < 1372462827 459392 :Koen_!~Koen@vbo91-6-78-245-243-132.fbx.proxad.net QUIT :Quit: Koen_ < 1372463063 987382 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net QUIT :Ping timeout: 240 seconds < 1372463157 576086 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net JOIN :#esoteric < 1372463384 214505 :sarasic!~rafasc@ev2-84-90-182-100.netvisao.pt JOIN :#esoteric < 1372463414 653220 :Gracenotes!~person@wikipedia/Gracenotes JOIN :#esoteric < 1372463420 683125 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :@quote like.poetry < 1372463420 751811 :lambdabot!lambdabot@2a01:7e00::f03c:91ff:fedf:9fdd PRIVMSG #esoteric :DavidJacobs says: Code is like poetry; most of it shouldn't have been written. < 1372463461 982461 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :(belatedly reading HWN) < 1372463699 130579 :sarasic!~rafasc@ev2-84-90-182-100.netvisao.pt PART :#esoteric < 1372463924 981090 :Gracenotes!~person@wikipedia/Gracenotes QUIT :Ping timeout: 246 seconds