< 1351038050 33212 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :our CEO sent himself an email last night with one word in the subject and no body < 1351038062 124339 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :and today nobody (including him) can figure out what it means < 1351038573 990516 :copumpkin!~copumpkin@unaffiliated/copumpkin PRIVMSG #esoteric ::O < 1351038783 538901 :Sgeo!~Sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :Oh great, now I have a new programming language/environment to be interested in < 1351038788 802700 :Sgeo!~Sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :http://www.ciaohome.org/ < 1351039026 561129 :Sgeo!~Sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :"This produces an executable called hello in Un*x-like systems and hello.cpx under Win32 systems." < 1351039030 367082 :Sgeo!~Sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :... .cpx < 1351039031 922824 :Sgeo!~Sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :wat. < 1351039554 361337 :Bike!~Glossina@65-102-1-43.ptld.qwest.net JOIN :#esoteric < 1351039674 566581 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Control Panel eXecutable? < 1351039679 956729 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I guess that's .cpl. < 1351039693 92569 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :kmc: What was the word? < 1351039727 718751 :Sgeo!~Sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :Oh, I think it's executables just for where Ciao is installed < 1351039729 521856 :copumpkin!~copumpkin@unaffiliated/copumpkin PRIVMSG #esoteric :the bird < 1351039736 794789 :Sgeo!~Sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :Hi Bike. You're a #lisp native, right? < 1351039811 456012 :Bike!~Glossina@65-102-1-43.ptld.qwest.net PRIVMSG #esoteric :I suppose I must be. < 1351039848 190212 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :hi Bike < 1351039855 572429 :Bike!~Glossina@65-102-1-43.ptld.qwest.net PRIVMSG #esoteric :Yo. < 1351039874 946251 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :yopumpkin < 1351039894 461703 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :yontrapumpkin < 1351040033 222185 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :shachaf: Rosebud < 1351040041 697147 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :not really < 1351040051 731481 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :on another note http://www.nietzschefamilycircus.com/ < 1351040074 208140 :Bike!~Glossina@65-102-1-43.ptld.qwest.net PRIVMSG #esoteric :«Surface is the disposition of woman: a mobile, stormy film over shallow water.» ergh. < 1351040085 374696 :Bike!~Glossina@65-102-1-43.ptld.qwest.net PRIVMSG #esoteric :Don't be like that, Billy. < 1351040176 178257 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :kmc: Did he also die? < 1351040319 987730 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 QUIT :Read error: Connection reset by peer < 1351040793 453667 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :no < 1351042645 280725 :hagb4rd|afk!~perdito@koln-4db4112f.pool.mediaWays.net QUIT :Ping timeout: 248 seconds < 1351047914 368302 :hagb4rd|afk!~perdito@koln-4db42f01.pool.mediaWays.net JOIN :#esoteric < 1351050282 570895 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :Someone asked what the government does with the hour they take from us when daylight saving time is on. < 1351050335 996258 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :haha < 1351050351 686631 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :zzo38: Did you read _Momo_? < 1351050820 161711 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :No < 1351050833 341440 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :But anyways daylight saving time does eventually is off too < 1351051412 962174 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :'The drama “SEAL Team Six,” about the raid that killed Osama bin Laden, was edited to give a starring role to the president. It will be shown on television two days before the election.' < 1351051416 807595 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :that is classy < 1351051489 193049 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :Do you know why (in Dungeons&Dragons) game I want the evil chancellor to be sunburned? < 1351051640 389909 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :why < 1351051686 234538 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :Same reason why I need the nail clippers and facial hair trimmer, and one of the two reasons I need the wig. < 1351051803 430164 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :Can you make any guess? < 1351052519 482189 :centrinia!~exc@adsl-184-36-89-123.asm.bellsouth.net JOIN :#esoteric < 1351052734 331796 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net JOIN :#esoteric < 1351052761 316944 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :"Learning Ruby if you know Python is like learning Spanish if you know French. It's not going to stretch your brain, but it will help you talk to half of San Francisco." < 1351052888 359409 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Hah. < 1351052890 403344 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Where's that from? < 1351053054 814577 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :I also want to know, where is that from? < 1351053078 95590 :zzo38!~zzo38@24-207-49-17.eastlink.ca QUIT :Quit: If you don't know my question, OK, you will figure out eventually when I write on my computer < 1351053265 327194 :Nisstyre!~yours@oftn/member/Nisstyre QUIT :Ping timeout: 256 seconds < 1351053743 221870 :Sgeo!~Sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :Eh, Ruby is more functional than Python < 1351053965 717850 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :whatever < 1351053973 137267 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :shachaf: a quote from a friend, paraphrased < 1351053977 910278 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Sgeo: but is it more of a lisp than python? < 1351053992 288048 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :i'm not sure that Ruby the language is actually more functional, but the Ruby community is less fearful and misunderstanding of FP < 1351053993 415313 :Nisstyre!~yours@oftn/member/Nisstyre JOIN :#esoteric < 1351054002 436013 :Sgeo!~Sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :
ACTION thwacks shachaf
< 1351054026 187515 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I'm not the one who should be thwacked here! < 1351054036 437468 :Sgeo!~Sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :Although, Ruby is more amenable to using the same forms to change definitions than Python is, if that counts for anything whatsoever < 1351054058 85208 :Sgeo!~Sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :class C: < 1351054067 737167 :Sgeo!~Sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :someinstance = C() < 1351054072 146746 :Sgeo!~Sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :class C: < 1351054088 424515 :Sgeo!~Sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :That won't change instances already made. < 1351054104 342775 :Sgeo!~Sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :It will instead make a new class called C, and the old class isn't referred to by C anymore < 1351054209 613695 :Bike!~Glossina@65-102-1-43.ptld.qwest.net PRIVMSG #esoteric :anything like update-instance-for-redefined-class? < 1351054238 637350 :Sgeo!~Sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :You can modify classes, just not with the class syntax < 1351054252 523977 :Sgeo!~Sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :And the instances will behave as by the changed class < 1351054254 999620 :Bike!~Glossina@65-102-1-43.ptld.qwest.net PRIVMSG #esoteric :ah. < 1351054263 353132 :hagb4rd|afk!~perdito@koln-4db42f01.pool.mediaWays.net QUIT :Ping timeout: 244 seconds < 1351055442 29971 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :kmc: Sigh, this Wikipedia article uses italic N to mean something completely different from bold N. < 1351055473 601895 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Well, not completely different. I guess N is an element of the image of N, or something. < 1351055504 142132 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :haha < 1351055508 224718 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :maths < 1351055747 45728 :tswett!~tswett@unaffiliated/tswett PRIVMSG #esoteric :So guys, you know how there's no computable set of axioms that uniquely defines the natural numbers? < 1351055769 460157 :Bike!~Glossina@65-102-1-43.ptld.qwest.net PRIVMSG #esoteric :"uniquely"? < 1351055785 65177 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :yeah what does that mean < 1351055788 230464 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :How do you catch a unique definition of the natural numbers? < 1351055796 266276 :tswett!~tswett@unaffiliated/tswett PRIVMSG #esoteric :Yeah. Like, there are computable sets of axioms that the natural numbers satisfy. < 1351055809 134394 :tswett!~tswett@unaffiliated/tswett PRIVMSG #esoteric :But for all such sets, there are also things other than the natural numbers that also satisfy the same axioms. < 1351055811 380868 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :up to isomoprhism? how are we defining isomorphisms in our metatheory? < 1351055849 30647 :tswett!~tswett@unaffiliated/tswett PRIVMSG #esoteric :According to their definition? < 1351055859 556243 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :i'm confused < 1351055867 706649 :tswett!~tswett@unaffiliated/tswett PRIVMSG #esoteric :Two monoids are isomorphic if there exists a bijection between them that commutes with the monoid operation. < 1351055889 990783 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :well i'm not too impressed with isomorphisms in the metatheory, as it's not formal < 1351055923 824227 :tswett!~tswett@unaffiliated/tswett PRIVMSG #esoteric :I suppose the tricky question is: how are we defining the phrase "the natural numbers" so that we can talk about them? < 1351055945 927696 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :well it's not so important which one is "the natural numbers", just that there are two non-isomorphic things satisfying these axioms < 1351055953 711348 :tswett!~tswett@unaffiliated/tswett PRIVMSG #esoteric :Right. < 1351055963 100509 :Bike!~Glossina@65-102-1-43.ptld.qwest.net PRIVMSG #esoteric :before you keep going, can I just ask if "uniquely" was actually important to what you said? < 1351055995 394601 :tswett!~tswett@unaffiliated/tswett PRIVMSG #esoteric :Well, yes, it is. Like I said, it's possible to come up with a computable set of axioms that is satisfied by the natural numbers. < 1351055995 915136 :tswett!~tswett@unaffiliated/tswett PRIVMSG #esoteric :For example, the natural numbers are a model of the Peano axioms. < 1351056000 829933 :tswett!~tswett@unaffiliated/tswett PRIVMSG #esoteric :But there are also other models of the Peano axioms. < 1351056025 752206 :Bike!~Glossina@65-102-1-43.ptld.qwest.net PRIVMSG #esoteric :ok, just checking. < 1351056081 846738 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :can you easily describe another model of PA? < 1351056100 213132 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :http://en.wikipedia.org/wiki/Peano_axioms#Nonstandard_models perhaps < 1351056116 258142 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :oh there's an *upward* Löwenheim–Skolem theorem?? < 1351056157 640251 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Also, smbc++ < 1351056215 334373 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :"there is no countable nonstandard model of PA in which either the addition or multiplication operation is computable" < 1351056246 986591 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :How many models of Palo Alto are there? < 1351056699 408877 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :you know there is all this consternation over the fact that things with mediocre design (UNIX, PHP, x86) get popular while their better-designed competitors languish in obscurity < 1351056707 110574 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :and much theory built around "worse is better" and such < 1351056715 142033 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :but i just realized what the simplest explanation is < 1351056725 50935 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :popularity is random, and most things are poorly designed < 1351056727 13853 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :that's all < 1351056741 770738 :Bike!~Glossina@65-102-1-43.ptld.qwest.net PRIVMSG #esoteric :but can you sell a book with that premise < 1351056756 197164 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :well i can but whether it becomes a best-seller is a crapshoot < 1351056757 240679 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric ::) < 1351056792 733944 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :popularity doesn't even have to be that random for this to hold < 1351056806 45286 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :because the degree to which most things are poorly designed is overwhelming < 1351056830 610547 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :though PHP is not so much poorly designed as not designed at all < 1351057172 200092 :tswett!~tswett@unaffiliated/tswett PRIVMSG #esoteric :So, just how *do* you define "natural number", anyway? < 1351057183 128515 :Jafet!~Jafet@unaffiliated/jafet PRIVMSG #esoteric :Go with your heart. < 1351057203 72075 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :what is natural number, baby don't hurt me, don't hurt me, no more < 1351057204 929056 :tswett!~tswett@unaffiliated/tswett PRIVMSG #esoteric :I guess it's easy if you have a definition of "set". < 1351057250 912479 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :http://www.macroeducation.org/wp-content/uploads/2012/07/calvin-hobbes-imaginary-numbers-and-calculus.gif < 1351057259 283176 :tswett!~tswett@unaffiliated/tswett PRIVMSG #esoteric :And the notion of "set" seems perfectly intuitive. < 1351057269 456907 :Bike!~Glossina@65-102-1-43.ptld.qwest.net PRIVMSG #esoteric :'seems', how tricky < 1351057292 532913 :tswett!~tswett@unaffiliated/tswett PRIVMSG #esoteric :Sets are those things such that, for every collection of thingies, there's a set containing precisely those thingies. < 1351057310 682080 :Bike!~Glossina@65-102-1-43.ptld.qwest.net PRIVMSG #esoteric :doesn't that just move the definition to 'collection'? < 1351057313 446825 :tswett!~tswett@unaffiliated/tswett PRIVMSG #esoteric :Yes. < 1351057469 789917 :Jafet!~Jafet@unaffiliated/jafet PRIVMSG #esoteric :Except the collection of all sets < 1351057512 260171 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :The collection of all sets that do not contain Jafet. < 1351057555 525771 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :Bike: ZFC's handling of 'classes' requires inelegant circumlocution in the metatheory < 1351057626 849422 :Jafet!~Jafet@unaffiliated/jafet PRIVMSG #esoteric :I am the set of all things that contain Jafet. < 1351057629 799519 :tswett!~tswett@unaffiliated/tswett PRIVMSG #esoteric :Jafet: well, not all sets are thingies. < 1351057650 797201 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :Bike: NBG is a conservative extension of ZFC that has proper classes < 1351057666 525462 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :but does not allow the use of arbitrary quantification over all classes, only over all sets < 1351057678 221896 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :however, this restriction is sort of arbitrary, really < 1351057712 370356 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :so if you allow quantification over all classes, you get MK < 1351057722 562332 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :unfortunately, that only works out with inelegant circumlocution in the metatheory < 1351057725 663640 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :so uh < 1351057736 111022 :Bike!~Glossina@65-102-1-43.ptld.qwest.net PRIVMSG #esoteric :Sorry, what did I say to prompt this? < 1351057774 674258 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :01:41:50 < Bike> doesn't that just move the definition to 'collection'? < 1351057781 647473 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :'inelegant circumlocution in the metatheory' sounds like a The Mars Volta song title < 1351057811 600182 :Jafet!~Jafet@unaffiliated/jafet PRIVMSG #esoteric :Theorem: any sufficiently advanced set theory requires inelegant circumlocution in the metatheory. < 1351057854 731951 :Jafet!~Jafet@unaffiliated/jafet PRIVMSG #esoteric :A The Mars Volta sounds like a Mothers of Invention song title < 1351058115 484879 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :"He would throw away a radio that was on without turning it off first." < 1351058228 844170 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :
ACTION likes NBG and things it should replace ZFC
< 1351058232 100716 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :*thinks < 1351058247 821819 :Bike!~Glossina@65-102-1-43.ptld.qwest.net PRIVMSG #esoteric :Oh, why? < 1351058265 176223 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :Because it has classes as actual objects < 1351058274 706638 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :some branches of math (like category theory) effectively work in NBG < 1351058279 298041 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :although this hasn't really trickled down < 1351058304 947070 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :also NBG has a wonderful axiom that implies global choice < 1351058311 152306 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :which is pretty cool < 1351058318 150985 :Bike!~Glossina@65-102-1-43.ptld.qwest.net PRIVMSG #esoteric :What's global choice? < 1351058390 493840 :tswett!~tswett@unaffiliated/tswett PRIVMSG #esoteric :I like NFU and think it should replace NBG. < 1351058395 278191 :tswett!~tswett@unaffiliated/tswett PRIVMSG #esoteric :ZFC can remain. < 1351058484 578077 :tswett!~tswett@unaffiliated/tswett PRIVMSG #esoteric :Then again, maybe category theory doesn't work so well in NFU? < 1351058486 496983 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :Bike: Regular choice except it applies to all classes, not just sets < 1351058499 785772 :Bike!~Glossina@65-102-1-43.ptld.qwest.net PRIVMSG #esoteric :Oh. < 1351058512 681548 :Bike!~Glossina@65-102-1-43.ptld.qwest.net PRIVMSG #esoteric :That is pretty cool. < 1351058532 917557 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :tswett: stratified formulas? ewwww < 1351058588 826857 :tswett!~tswett@unaffiliated/tswett PRIVMSG #esoteric :C'mon, stratified formulas are great. < 1351058628 870688 :tswett!~tswett@unaffiliated/tswett PRIVMSG #esoteric :I've completely forgotten why anyone would ever want a non-stratified formula. < 1351058655 820974 :tswett!~tswett@unaffiliated/tswett PRIVMSG #esoteric :You know what, I'm really sleepy and I should go to bed *right now*. I'm not even going to bo < 1351058734 913581 :oklopol!~oklopol@dyn58-51.yok.fi PRIVMSG #esoteric :dudde didn't even bo. < 1351058761 497228 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :`addquote < tswett> You know what, I'm really sleepy and I should go to bed *right now*. I'm not even going to bo < 1351058768 317601 :HackEgo!codu@codu.org PRIVMSG #esoteric :872) < tswett> You know what, I'm really sleepy and I should go to bed *right now*. I'm not even going to bo < 1351058958 180199 :centrinia!~exc@adsl-184-36-89-123.asm.bellsouth.net QUIT :Quit: Ex-Chat < 1351059120 530432 :oklopol!~oklopol@dyn58-51.yok.fi PRIVMSG #esoteric :you computer scientists always have such massive boners for set & category theory < 1351059179 482500 :Jafet!~Jafet@unaffiliated/jafet PRIVMSG #esoteric :I blame Gödel < 1351059220 73699 :oklopol!~oklopol@dyn58-51.yok.fi PRIVMSG #esoteric :i mostly wonder why mathematicians usually don't have equal boners for these things < 1351059238 975769 :Jafet!~Jafet@unaffiliated/jafet PRIVMSG #esoteric :I also blame reductionism < 1351059248 44958 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :oklopol: I am a mathematician < 1351059289 539467 :oklopol!~oklopol@dyn58-51.yok.fi PRIVMSG #esoteric :i'm mostly going by what i've seen in cs conferences versus what i've seen among mathematicians in our department < 1351059306 381292 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :oklopol: deparments are not necessarily representative < 1351059310 296175 :oklopol!~oklopol@dyn58-51.yok.fi PRIVMSG #esoteric :which is a somewhat silly comparison yeah < 1351059312 55442 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :I don't think my school has a set theorist < 1351059319 4292 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :and we have an entire faculty of mathematics < 1351059330 102655 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :(we do, however, have several logicians, and perhaps they count < 1351059330 928595 :oklopol!~oklopol@dyn58-51.yok.fi PRIVMSG #esoteric :right < 1351059353 948038 :oklopol!~oklopol@dyn58-51.yok.fi PRIVMSG #esoteric :we don't have many things < 1351059409 948491 :oklopol!~oklopol@dyn58-51.yok.fi PRIVMSG #esoteric :i guess just cellular automata, combinatorics on words, analytic number theory, functional analysis and coding theory < 1351059419 998400 :oklopol!~oklopol@dyn58-51.yok.fi PRIVMSG #esoteric :maybe ten more i just didn't come up with < 1351059421 33040 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :my school is kinda big on graph theory < 1351059467 717442 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :and other combinatorics stuff < 1351059470 87599 :oklopol!~oklopol@dyn58-51.yok.fi PRIVMSG #esoteric :oh right one guy in our dep wrote a book on two structures which are basically graphs (although perhaps you study slightly more coding-y stuff) < 1351059489 417329 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :actually there's a bit of hilarious history there < 1351059495 586012 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :you've heard of bill tutte? < 1351059505 691930 :oklopol!~oklopol@dyn58-51.yok.fi PRIVMSG #esoteric :well i've heard of tutte's formula < 1351059522 398463 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :yeah, it's that tutte < 1351059526 681035 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :so he was at the University of Toronto < 1351059597 803628 :Sgeo!~Sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :
ACTION pokes Bike into #clojure
< 1351059621 462189 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :in the first major hiring coup of the Department of Combinatorics and Optimization, UW successfully managed to get Tutte to come over < 1351059623 266494 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Can you poke the Clojure out of this channel and into #clojure while you're at it? < 1351059627 586898 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Clojure isn't an esolang. < 1351059633 838038 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :5 years before the department (or even the faculty) existed, mind you < 1351059645 946676 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :UW? < 1351059649 909408 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Oh, *that* UW. < 1351059653 180393 :Bike!~Glossina@65-102-1-43.ptld.qwest.net PRIVMSG #esoteric :sgeo was responding to me about another channel, sorry < 1351059653 630904 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Pft. < 1351059671 519365 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :shachaf: haha < 1351059678 810080 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :yeah, I'm at *that* UW < 1351059693 306837 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :how does it feel to be at the wrong uw < 1351059698 980268 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :the department was basically founded to get Tutte < 1351059705 104329 :oklopol!~oklopol@dyn58-51.yok.fi PRIVMSG #esoteric :heh < 1351059707 59887 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :shachaf: I am at the right one < 1351059724 41096 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :coppro: I thought you were at the east one. < 1351059742 300717 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :shachaf: I am. < 1351059747 26545 :oklopol!~oklopol@dyn58-51.yok.fi PRIVMSG #esoteric :soooo what's *that UW*? < 1351059749 572027 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :The east one is the wrong one. < 1351059751 655352 :oklopol!~oklopol@dyn58-51.yok.fi PRIVMSG #esoteric :erm < 1351059756 620126 :oklopol!~oklopol@dyn58-51.yok.fi PRIVMSG #esoteric :*that* UW < 1351059766 658577 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :oklopol: University of Waterloo < 1351059774 990295 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :coppro knows which UW I'm talkin' about. < 1351059806 323102 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :"In matroid theory he discovered the highly sophisticated homotopy theorem" < 1351059812 390635 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Is that different from the regular homotopy theorem? < 1351059904 360813 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :C&O recently hired Bill Cook, a graduate of the department (of like 20 years ago) who researches some piddly little problem about vagabond merchants < 1351059931 774465 :oklopol!~oklopol@dyn58-51.yok.fi PRIVMSG #esoteric :what's the regular homotopy theorem? < 1351059961 28468 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I don't know. < 1351059965 400372 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :But I bet it's not as sophisticated. < 1351059968 617193 :oklopol!~oklopol@dyn58-51.yok.fi PRIVMSG #esoteric :in any case presumably matroid stuff is rather different from "usual stuff" since matroids are finite objects < 1351060026 810931 :oklopol!~oklopol@dyn58-51.yok.fi PRIVMSG #esoteric :i don't know of a homotopy theorem < 1351060037 451399 :oklopol!~oklopol@dyn58-51.yok.fi PRIVMSG #esoteric :pointcare's theorem is a kind of homotopy theorem ofc < 1351060076 376774 :oklopol!~oklopol@dyn58-51.yok.fi PRIVMSG #esoteric :it states that if you're homotopy equivalent to the boundary of a 3-dimensional ball then you're homeomorphic to it < 1351060121 983517 :oklopol!~oklopol@dyn58-51.yok.fi PRIVMSG #esoteric :(homeomorphic being the usual topological equivalence, homotopy equivalence is somewhat more crazy, but easier to compute supposedly) < 1351061051 445807 :Frooxius!~Frooxius@cust-101.ktknet.cz QUIT :Ping timeout: 256 seconds < 1351061384 351093 :epicmonkey!~epicmonke@188.134.41.171 JOIN :#esoteric < 1351061531 565482 :oklopol!~oklopol@dyn58-51.yok.fi PRIVMSG #esoteric :matroids are awesome, you have paths in a finite set and shit < 1351061587 187168 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net QUIT :Quit: Lost terminal < 1351061605 125219 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net JOIN :#esoteric < 1351061626 763382 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :oklopol: yeah, matroid theory is pretty sweet < 1351061633 582369 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :Taking a course in it this summer < 1351061636 182355 :oklopol!~oklopol@dyn58-51.yok.fi PRIVMSG #esoteric :i guess you do in graph theory as well but i'm used to that < 1351061647 486728 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :I < 1351061648 862999 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :*I < 1351061651 40272 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :bah < 1351061659 514261 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :*I'm sort of sad it's a grad student teaching it though < 1351061670 672134 :oklopol!~oklopol@dyn58-51.yok.fi PRIVMSG #esoteric :understandable typo < 1351061697 162447 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :I have one of the department's eminent matroid theorists as a prof this term in graph theory (and second-year optimization, oddly) and he's quite good; I was hoping he'd be doing the matroid course too :( < 1351061702 440780 :oklopol!~oklopol@dyn58-51.yok.fi PRIVMSG #esoteric :we have a course on hyperreals starting next week :P < 1351061707 277828 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :ooh, cool < 1351061720 888981 :oklopol!~oklopol@dyn58-51.yok.fi PRIVMSG #esoteric :and nonstandard analysis in general < 1351061800 511043 :oklopol!~oklopol@dyn58-51.yok.fi PRIVMSG #esoteric :i talked to the prof about it, he said he decided this year that he's finally old enough to teach it. < 1351061822 470514 :oklopol!~oklopol@dyn58-51.yok.fi PRIVMSG #esoteric :prolly close to 70 < 1351061866 271210 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :haha < 1351061871 35462 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Are there some kind of legal age limits, then? < 1351061871 284374 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :that should be pretty sweet < 1351061887 729954 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :I've touched on nonstandard arithmetic; it's cool < 1351062015 160360 :oklopol!~oklopol@dyn58-51.yok.fi PRIVMSG #esoteric :he quoted "All Hope Abandon Ye Of Career Development Who Enter Here" to me < 1351062037 908429 :oklopol!~oklopol@dyn58-51.yok.fi PRIVMSG #esoteric :which apparently is a saying among people who do nonstandard analysis. < 1351062041 790815 :oklopol!~oklopol@dyn58-51.yok.fi PRIVMSG #esoteric :at least in finlandg < 1351062044 447087 :oklopol!~oklopol@dyn58-51.yok.fi PRIVMSG #esoteric :*finland < 1351062128 562920 :oklopol!~oklopol@dyn58-51.yok.fi PRIVMSG #esoteric :that's not on divine comedy's wp page so i wonder if it's considered the best line in the book in the english world. < 1351062277 972021 :oklopol!~oklopol@dyn58-51.yok.fi PRIVMSG #esoteric :what i know about the book is 1. it has a finnish version of "All Hope Abandon Ye Who Enter Here" 2. it's really boring and eww 3. some ridiculous shit about afterlife < 1351062347 202402 :oklopol!~oklopol@dyn58-51.yok.fi PRIVMSG #esoteric :not only am i planning to do nonstandard analysis, i'm planning to do CA theory using it. < 1351062376 756051 :oklopol!~oklopol@dyn58-51.yok.fi PRIVMSG #esoteric :because CA theory is just not unpopular enough. < 1351062509 349489 :epicmonkey!~epicmonke@188.134.41.171 QUIT :Ping timeout: 244 seconds < 1351062686 776772 :ion!ion@heh.fi PRIVMSG #esoteric :http://sphotos-h.ak.fbcdn.net/hphotos-ak-ash4/416836_4715798089966_820576442_n.jpg < 1351063136 274664 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :kmc: Did you know Hackage 2 upgrades the Hackage authentication mechanism? Instead of "salted DES: perl crypt", they use "md5 (username ++ ":" ++ realm ++ ":" ++ password)". < 1351063177 574568 :ion!ion@heh.fi PRIVMSG #esoteric :No salte? < 1351063228 800654 :Jafet!~Jafet@unaffiliated/jafet PRIVMSG #esoteric :Modernization at its best. < 1351063246 856007 :ion!ion@heh.fi PRIVMSG #esoteric :Also, is there a reason to choose MD5 for anything nowadays? < 1351063249 67513 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :ion: I'm not sure that's as big of a concern as the "md5" bit. < 1351063273 978603 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I mean, username+realm is probably nearly as good as a salt at the sorts of things a salt is supposed to prevent? < 1351063396 205359 :Tod-Autojoined!~Tod@166-70-93-209.ip.xmission.com JOIN :#esoteric < 1351063416 672698 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :As far as I know neither of those mechanisms is very good. < 1351063437 551412 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :ion: I use md5 to verify checksums of .isos sometimes. < 1351063519 726855 :TodPunk!~Tod@166-70-93-209.ip.xmission.com QUIT :Read error: Connection reset by peer < 1351064313 940947 :barts_!~barts@p57AEB20E.dip.t-dialin.net JOIN :#esoteric < 1351064693 72091 :barts_!~barts@p57AEB20E.dip.t-dialin.net QUIT :Ping timeout: 248 seconds < 1351064903 34048 :FreeFull!~freefull@defocus/sausage-lover QUIT : < 1351067079 802668 :Bike!~Glossina@65-102-1-43.ptld.qwest.net QUIT :Quit: sleep < 1351067418 49847 :epicmonkey!~epicmonke@host-224-58.dataart.net JOIN :#esoteric < 1351070069 454796 :Jafet!~Jafet@unaffiliated/jafet QUIT :Quit: Leaving. < 1351071237 327189 :Jafet!~Jafet@unaffiliated/jafet JOIN :#esoteric < 1351071415 255921 :barts_!~barts@p4FD0F95E.dip.t-dialin.net JOIN :#esoteric < 1351074291 287221 :hagb4rd|afk!~perdito@koln-d9329d6b.pool.mediaWays.net JOIN :#esoteric < 1351074563 463723 :ais523!~ais523@unaffiliated/ais523 JOIN :#esoteric < 1351074652 176122 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :why does email not have a "reply to multiple emails" option < 1351074672 787648 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :for when you get emails from more than one person asking much the same thing, who'd benefit from seeing each other's questions and your joint answers < 1351074786 339229 :Jafet!~Jafet@unaffiliated/jafet QUIT :Ping timeout: 240 seconds < 1351075211 150708 :Jafet!~Jafet@unaffiliated/jafet JOIN :#esoteric < 1351075594 853701 :ais523!~ais523@unaffiliated/ais523 QUIT :Ping timeout: 240 seconds < 1351076327 137434 :Jafet!~Jafet@unaffiliated/jafet QUIT :Quit: Leaving. < 1351076370 435102 :ion!ion@heh.fi PRIVMSG #esoteric :Should have used Bill once again. “EXT4 Data Corruption Bug Hits Stable Linux Kernels” http://www.phoronix.com/scan.php?page=news_item&px=MTIxNDQ < 1351076690 913830 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net QUIT :Quit: hello < 1351077517 461820 :Jafet!~Jafet@unaffiliated/jafet JOIN :#esoteric < 1351079284 228176 :impomatic!~digital_w@87.115.48.154 JOIN :#esoteric < 1351079728 235340 :ais523!~ais523@unaffiliated/ais523 JOIN :#esoteric < 1351080043 167146 :Nisstyre!~yours@oftn/member/Nisstyre QUIT :Ping timeout: 246 seconds < 1351080961 56885 :Nisstyre!~yours@oftn/member/Nisstyre JOIN :#esoteric < 1351080968 454327 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net JOIN :#esoteric < 1351081288 119390 :boily!~boily@mtl.savoirfairelinux.net JOIN :#esoteric < 1351081443 343585 :carado!~user4539@78.250.136.122 JOIN :#esoteric < 1351081954 101938 :AnotherTest!~tim@94-224-22-80.access.telenet.be JOIN :#esoteric < 1351081968 454999 :AnotherTest!~tim@94-224-22-80.access.telenet.be PRIVMSG #esoteric :Hello < 1351082245 128321 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :hello < 1351082612 279860 :ais523!~ais523@unaffiliated/ais523 QUIT :Remote host closed the connection < 1351082686 234182 :ais523!~ais523@unaffiliated/ais523 JOIN :#esoteric < 1351082820 482825 :impomatic!~digital_w@87.115.48.154 QUIT :Quit: http://BASICcomic.com < 1351083062 373660 :ais523!~ais523@unaffiliated/ais523 QUIT :Ping timeout: 244 seconds < 1351083098 383817 :barts_!~barts@p4FD0F95E.dip.t-dialin.net QUIT :Ping timeout: 268 seconds < 1351083197 175438 :nortti_!nortti@dsl-hkibrasgw3-ff25c000-52.dhcp.inet.fi NICK :nortti < 1351083487 353488 :elliott!~elliott@unaffiliated/elliott JOIN :#esoteric < 1351084109 505818 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 JOIN :#esoteric < 1351084926 99531 :ais523!~ais523@unaffiliated/ais523 JOIN :#esoteric < 1351085105 661695 :FreeFull!~freefull@defocus/sausage-lover JOIN :#esoteric < 1351086910 338331 :mindlessDrone!~mindlessd@vpn34-034.rz.hs-offenburg.de JOIN :#esoteric < 1351087094 808697 :copumpkin!~copumpkin@unaffiliated/copumpkin QUIT :Quit: Computer has gone to sleep. < 1351087468 241073 :Frooxius!~Frooxius@cust-101.ktknet.cz JOIN :#esoteric < 1351087947 533359 :MoALTz!~no@host86-132-136-34.range86-132.btcentralplus.com JOIN :#esoteric < 1351088236 929227 :krofna!~krofna@95-178-166-47.dsl.optinet.hr JOIN :#esoteric < 1351088344 494505 :copumpkin!~copumpkin@unaffiliated/copumpkin JOIN :#esoteric < 1351088892 430301 :elliott!~elliott@unaffiliated/elliott QUIT :Ping timeout: 260 seconds < 1351089021 438820 :elliott!~elliott@unaffiliated/elliott JOIN :#esoteric < 1351090328 4130 :hagb4rd|afk!~perdito@koln-d9329d6b.pool.mediaWays.net QUIT :Quit: hagb4rd|afk < 1351090562 72580 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :ais523: hi < 1351091997 852238 :mindlessDrone!~mindlessd@vpn34-034.rz.hs-offenburg.de PART :#esoteric < 1351092236 457082 :ais523!~ais523@unaffiliated/ais523 QUIT : < 1351092340 140343 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :my tumblr still hasn't been updated :( < 1351092762 836863 :AnotherTest!~tim@94-224-22-80.access.telenet.be QUIT :Quit: Leaving. < 1351093403 142448 :epicmonkey!~epicmonke@host-224-58.dataart.net QUIT :Ping timeout: 246 seconds < 1351093594 650278 :krofna!~krofna@95-178-166-47.dsl.optinet.hr QUIT :Quit: Leaving < 1351093844 432955 :Vorpal!~Vorpal@unaffiliated/vorpal JOIN :#esoteric < 1351094911 56664 :Frooxius!~Frooxius@cust-101.ktknet.cz QUIT :*.net *.split < 1351094916 502729 :sirdancealot7!~sirdancea@98.82.broadband5.iol.cz QUIT :*.net *.split < 1351094916 583455 :heroux!~heroux@5070823C.static.ziggozakelijk.nl QUIT :*.net *.split < 1351094936 251832 :heroux!~heroux@5070823C.static.ziggozakelijk.nl JOIN :#esoteric < 1351094951 416342 :Frooxius!~Frooxius@cust-101.ktknet.cz JOIN :#esoteric < 1351094961 358261 :sirdancealot7!~sirdancea@98.82.broadband5.iol.cz JOIN :#esoteric < 1351095193 679905 :Bike!~Glossina@65-102-1-43.ptld.qwest.net JOIN :#esoteric < 1351095262 12546 :ais523!~ais523@unaffiliated/ais523 JOIN :#esoteric < 1351095556 420725 :augur!~augur@208.58.5.87 QUIT :Remote host closed the connection < 1351097229 1229 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :Phantom_Hoover: and yet there are but so many derivatives/equivalents awaiting for their well-deserved brick < 1351097251 883084 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :it's unfortunate < 1351097566 233569 :augur!~augur@129-2-129-34.wireless.umd.edu JOIN :#esoteric < 1351097666 841819 :zzo38!~zzo38@24-207-49-17.eastlink.ca JOIN :#esoteric < 1351099875 696661 :zzo38!~zzo38@24-207-49-17.eastlink.ca QUIT :Remote host closed the connection < 1351100143 401067 :carado!~user4539@78.250.136.122 QUIT :Ping timeout: 244 seconds < 1351100165 289217 :epicmonkey!~epicmonke@188.134.41.171 JOIN :#esoteric < 1351100631 302505 :rapido!~rapido@2002:25fb:3a80:0:45d0:9d70:a459:7388 JOIN :#esoteric < 1351100807 166760 :rapido!~rapido@2002:25fb:3a80:0:45d0:9d70:a459:7388 PRIVMSG #esoteric :are there any 'spreadsheet' like esoteric programming languages? < 1351100846 972592 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :Possibly < 1351100923 353690 :rapido!~rapido@2002:25fb:3a80:0:45d0:9d70:a459:7388 PRIVMSG #esoteric :i've created one but i want to know about prior art < 1351100951 876427 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :I think Excel is turing-complete < 1351100959 788381 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :Someone made a 3D engine in Excel < 1351100963 89074 :ion!ion@heh.fi PRIVMSG #esoteric :rapido: loeb :: Functor f => f (f a -> a) -> f a < 1351100971 796800 :rapido!~rapido@2002:25fb:3a80:0:45d0:9d70:a459:7388 PRIVMSG #esoteric :without an escape to Visual basic i believe not < 1351100978 470834 :rapido!~rapido@2002:25fb:3a80:0:45d0:9d70:a459:7388 PRIVMSG #esoteric :excel is not turing complete < 1351100998 600988 :ion!ion@heh.fi PRIVMSG #esoteric :Related: http://youtu.be/_whSnPErl7c < 1351101021 738918 :rapido!~rapido@2002:25fb:3a80:0:45d0:9d70:a459:7388 PRIVMSG #esoteric :ion: cool - but it doesn't resemble a spreadsheet < 1351101029 627370 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :If you're going to have a 2D gridthing language, I prefer something like Befunge over spreadsheets < 1351101042 296744 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :rapido: http://blog.sigfpe.com/2006/11/from-l-theorem-to-spreadsheet.html < 1351101103 406166 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :loeb is in fact spreadsheety < 1351101108 78439 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :oh kmc already linked < 1351101186 422949 :rapido!~rapido@2002:25fb:3a80:0:45d0:9d70:a459:7388 PRIVMSG #esoteric :ah, cool - thanks for the pointer to loeb < 1351101230 66761 :rapido!~rapido@2002:25fb:3a80:0:45d0:9d70:a459:7388 PRIVMSG #esoteric :i've come up with another spreadsheet language which i believe is original < 1351101241 240707 :rapido!~rapido@2002:25fb:3a80:0:45d0:9d70:a459:7388 PRIVMSG #esoteric :i'm sure you guys will know if that's the case < 1351101257 405486 :rapido!~rapido@2002:25fb:3a80:0:45d0:9d70:a459:7388 PRIVMSG #esoteric :here it goes: < 1351101279 925705 :rapido!~rapido@2002:25fb:3a80:0:45d0:9d70:a459:7388 PRIVMSG #esoteric :i call it the SPREAD language < 1351101292 165942 :rapido!~rapido@2002:25fb:3a80:0:45d0:9d70:a459:7388 PRIVMSG #esoteric :this name isn't taking yes - which surprised me < 1351101300 427982 :rapido!~rapido@2002:25fb:3a80:0:45d0:9d70:a459:7388 PRIVMSG #esoteric :s/yes/yet < 1351101319 585052 :rapido!~rapido@2002:25fb:3a80:0:45d0:9d70:a459:7388 PRIVMSG #esoteric :SPREAD introduces three new concepts to a spreadsheet < 1351101365 665882 :rapido!~rapido@2002:25fb:3a80:0:45d0:9d70:a459:7388 PRIVMSG #esoteric :1) Instead of one single value, a cell can have more alternative values: a Set of values < 1351101371 443307 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :didn't https://groups.google.com/forum/?hl=en&fromgroups=#!topic/comp.lang.misc/USKSdYN_uHk introduce the concept of using a spreadsheet? < 1351101377 233877 :rapido!~rapido@2002:25fb:3a80:0:45d0:9d70:a459:7388 PRIVMSG #esoteric :2) Next to Numbers, Strings, Dates, etc, we have an additional cell type: the 'Spreadsheet' < 1351101404 488207 :rapido!~rapido@2002:25fb:3a80:0:45d0:9d70:a459:7388 PRIVMSG #esoteric :A cell can be named or 'Labeled' with anything - Numbers, Strings, Dates and …… spreadsheets < 1351101426 912954 :rapido!~rapido@2002:25fb:3a80:0:45d0:9d70:a459:7388 PRIVMSG #esoteric :such spreadsheet is called a higher-order spreadsheet < 1351101525 732978 :rapido!~rapido@2002:25fb:3a80:0:45d0:9d70:a459:7388 PRIVMSG #esoteric :i've written about it on my blog http://oercode.blogspot.nl/2012/10/higher-order-spreadheets.html < 1351101565 130705 :rapido!~rapido@2002:25fb:3a80:0:45d0:9d70:a459:7388 PRIVMSG #esoteric :i'm pretty sure it is an original idea - at least google doesn't show anything < 1351101622 107201 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net QUIT :Quit: Arc_Koen < 1351101649 659015 :rapido!~rapido@2002:25fb:3a80:0:45d0:9d70:a459:7388 PRIVMSG #esoteric :i've also creating a algebra of streams - which i may or may not include in SPREAD < 1351101650 205670 :rapido!~rapido@2002:25fb:3a80:0:45d0:9d70:a459:7388 PRIVMSG #esoteric :http://oercode.blogspot.nl/2012/10/stream-algebra.html < 1351101668 780141 :rapido!~rapido@2002:25fb:3a80:0:45d0:9d70:a459:7388 PRIVMSG #esoteric :hopefully this will give you guys food for thought < 1351101721 645646 :augur!~augur@129-2-129-34.wireless.umd.edu QUIT :Read error: Connection reset by peer < 1351101733 146599 :augur!~augur@129-2-129-34.wireless.umd.edu JOIN :#esoteric < 1351101760 349806 :augur!~augur@129-2-129-34.wireless.umd.edu QUIT :Read error: Connection reset by peer < 1351101786 686960 :augur!~augur@129-2-129-34.wireless.umd.edu JOIN :#esoteric < 1351101960 860562 :rapido!~rapido@2002:25fb:3a80:0:45d0:9d70:a459:7388 PRIVMSG #esoteric :i guess SPREAD is not esoteric enough < 1351102496 813329 :rapido!~rapido@2002:25fb:3a80:0:45d0:9d70:a459:7388 PRIVMSG #esoteric :i think higher-order spreadsheets are not turing complete < 1351102528 464768 :rapido!~rapido@2002:25fb:3a80:0:45d0:9d70:a459:7388 PRIVMSG #esoteric :but higher-order spreadsheets are certainly much more powerful than ordinary spreadsheets < 1351102631 824040 :rapido!~rapido@2002:25fb:3a80:0:45d0:9d70:a459:7388 PRIVMSG #esoteric :ping < 1351102691 477404 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :@ping < 1351102691 682449 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :pong < 1351102717 656757 :rapido!~rapido@2002:25fb:3a80:0:45d0:9d70:a459:7388 PRIVMSG #esoteric :ah < 1351102725 991541 :rapido!~rapido@2002:25fb:3a80:0:45d0:9d70:a459:7388 PRIVMSG #esoteric :i still have a connection < 1351102745 868133 :rapido!~rapido@2002:25fb:3a80:0:45d0:9d70:a459:7388 PRIVMSG #esoteric :colloquy is not always showing that < 1351102828 56406 :rapido!~rapido@2002:25fb:3a80:0:45d0:9d70:a459:7388 PRIVMSG #esoteric :does anyone care to comment on the 'higher-order spreadsheet' idea? < 1351103511 622125 :barts_!~barts@p57AEA228.dip.t-dialin.net JOIN :#esoteric < 1351103710 375937 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :rapido: Now have a cell that embeds a spreadsheet that has a cell that embeds the original spreadsheet < 1351103723 419469 :rapido!~rapido@2002:25fb:3a80:0:45d0:9d70:a459:7388 PRIVMSG #esoteric :you cannot express that < 1351103743 518252 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :I just did < 1351103822 889581 :rapido!~rapido@2002:25fb:3a80:0:45d0:9d70:a459:7388 PRIVMSG #esoteric :sure, but it is impossible to construct it - given the fact that spreadsheets are values (immutable), just like immutable lists < 1351103850 986195 :rapido!~rapido@2002:25fb:3a80:0:45d0:9d70:a459:7388 PRIVMSG #esoteric :(btw, spreadsheet are not lazy values) < 1351103864 593071 :rapido!~rapido@2002:25fb:3a80:0:45d0:9d70:a459:7388 PRIVMSG #esoteric :s/spreadsheet/spreadsheets < 1351103926 390385 :rapido!~rapido@2002:25fb:3a80:0:45d0:9d70:a459:7388 PRIVMSG #esoteric :there is no tying the loop - as in a lazy functional language < 1351103934 255690 :rapido!~rapido@2002:25fb:3a80:0:45d0:9d70:a459:7388 PRIVMSG #esoteric :but may be i'm wrong < 1351104064 322457 :rapido!~rapido@2002:25fb:3a80:0:45d0:9d70:a459:7388 PRIVMSG #esoteric :I also believe SPREAD can be seen as a total functional language < 1351104146 532302 :rapido!~rapido@2002:25fb:3a80:0:45d0:9d70:a459:7388 PRIVMSG #esoteric :the evaluation of a spreadsheet is lazy though (demand driven) < 1351104166 29691 :rapido!~rapido@2002:25fb:3a80:0:45d0:9d70:a459:7388 PRIVMSG #esoteric :or can be made demand driven < 1351104284 976657 :rapido!~rapido@2002:25fb:3a80:0:45d0:9d70:a459:7388 PRIVMSG #esoteric :there is no way a spreadsheet can refer to itself - it would create a cycle < 1351104385 307481 :rapido!~rapido@2002:25fb:3a80:0:45d0:9d70:a459:7388 PRIVMSG #esoteric :but it is an interesting idea to allow it < 1351104646 525016 :augur!~augur@129-2-129-34.wireless.umd.edu QUIT :Remote host closed the connection < 1351104835 14204 :oerjan!5bba487c@gateway/web/freenode/ip.91.186.72.124 JOIN :#esoteric < 1351104941 522878 :rapido!~rapido@2002:25fb:3a80:0:45d0:9d70:a459:7388 PRIVMSG #esoteric :enchilada is definitely esoteric < 1351105050 146662 :oerjan!5bba487c@gateway/web/freenode/ip.91.186.72.124 PRIVMSG #esoteric :The _whole_ enchilada? < 1351105074 323052 :rapido!~rapido@2002:25fb:3a80:0:45d0:9d70:a459:7388 PRIVMSG #esoteric :yes, if you want < 1351105096 948804 :rapido!~rapido@2002:25fb:3a80:0:45d0:9d70:a459:7388 PRIVMSG #esoteric :oerjan: do you know about http://www.enchiladacode.nl ? < 1351105124 209328 :rapido!~rapido@2002:25fb:3a80:0:45d0:9d70:a459:7388 PRIVMSG #esoteric :i chose the name enchilada exactly to make that pun 'the whole enchilada' < 1351105149 971492 :oerjan!5bba487c@gateway/web/freenode/ip.91.186.72.124 PRIVMSG #esoteric :good, good. < 1351105254 792220 :rapido!~rapido@2002:25fb:3a80:0:45d0:9d70:a459:7388 PRIVMSG #esoteric :i've also created the syrup language - 'a language that sticks' < 1351105263 523106 :oerjan!5bba487c@gateway/web/freenode/ip.91.186.72.124 PRIVMSG #esoteric :tape -> tap seems an unlikely typo correction for esolang... < 1351105273 274015 :oerjan!5bba487c@gateway/web/freenode/ip.91.186.72.124 PRIVMSG #esoteric :ic. < 1351105274 512549 :rapido!~rapido@2002:25fb:3a80:0:45d0:9d70:a459:7388 PRIVMSG #esoteric :(because it is transactional) < 1351105420 998803 :rapido!~rapido@2002:25fb:3a80:0:45d0:9d70:a459:7388 PRIVMSG #esoteric :and most recently the SPREAD language: 'get a taste of SPREAD' < 1351105443 305581 :rapido!~rapido@2002:25fb:3a80:0:45d0:9d70:a459:7388 PRIVMSG #esoteric :i still need to find a better pun for the SPREAD language < 1351105468 491219 :rapido!~rapido@2002:25fb:3a80:0:45d0:9d70:a459:7388 PRIVMSG #esoteric :naming a programming language can be difficult < 1351105507 974519 :oerjan!5bba487c@gateway/web/freenode/ip.91.186.72.124 PRIVMSG #esoteric :i don't know, does it have condiments? < 1351105556 585262 :rapido!~rapido@2002:25fb:3a80:0:45d0:9d70:a459:7388 PRIVMSG #esoteric :SPREAD! A tasteful language < 1351105590 922521 :oerjan!5bba487c@gateway/web/freenode/ip.91.186.72.124 PRIVMSG #esoteric :it has no deadlocks, although it does have jams < 1351105929 501922 :oerjan!5bba487c@gateway/web/freenode/ip.91.186.72.124 QUIT :Quit: Later < 1351106103 890516 :rapido!~rapido@2002:25fb:3a80:0:45d0:9d70:a459:7388 PRIVMSG #esoteric :let's smear some code < 1351106474 969566 :augur!~augur@129-2-129-34.wireless.umd.edu JOIN :#esoteric < 1351106937 452726 :copumpkin!~copumpkin@unaffiliated/copumpkin QUIT :Quit: Computer has gone to sleep. < 1351107228 484195 :rapido!~rapido@2002:25fb:3a80:0:45d0:9d70:a459:7388 QUIT :Remote host closed the connection < 1351107250 157333 :rapido!~rapido@37-251-58-128.FTTH.ispfabriek.nl JOIN :#esoteric < 1351108922 663410 :augur!~augur@129-2-129-34.wireless.umd.edu QUIT :Remote host closed the connection < 1351109464 892962 :augur!~augur@129-2-129-34.wireless.umd.edu JOIN :#esoteric < 1351109885 402041 :ais523!~ais523@unaffiliated/ais523 QUIT : < 1351109898 266358 :ais523!~ais523@unaffiliated/ais523 JOIN :#esoteric < 1351110217 671362 :lowtax!~lowtax@gateway/tor-sasl/lowtax JOIN :#esoteric < 1351110370 258716 :boily!~boily@mtl.savoirfairelinux.net QUIT :Quit: Poulet! < 1351110503 636873 :Araq!Araq@2a01:7e00::f03c:91ff:fe93:822b JOIN :#esoteric < 1351110539 210298 :Araq!Araq@2a01:7e00::f03c:91ff:fe93:822b PRIVMSG #esoteric :so this channel actually exists ... < 1351110543 109666 :Araq!Araq@2a01:7e00::f03c:91ff:fe93:822b PART :#esoteric < 1351110656 260334 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :no it doesn't < 1351110778 285243 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :it sounds to me like we're legendary or something < 1351110803 662662 :lowtax!~lowtax@gateway/tor-sasl/lowtax PRIVMSG #esoteric :brainfuckers! < 1351110824 282571 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :`welcome lowtax < 1351110835 741765 :HackEgo!codu@codu.org PRIVMSG #esoteric :lowtax: Welcome to the international hub for esoteric programming language design and deployment! For more information, check out our wiki: http://esolangs.org/wiki/Main_Page. (For the other kind of esoterica, try #esoteric on irc.dal.net.) < 1351110840 797102 :lowtax!~lowtax@gateway/tor-sasl/lowtax PRIVMSG #esoteric :\o/ < 1351110903 840086 :oklopol!~oklopol@dyn58-51.yok.fi PRIVMSG #esoteric :WE ARE LEGION < 1351110923 707498 :lowtax!~lowtax@gateway/tor-sasl/lowtax PRIVMSG #esoteric :ok lol < 1351111159 336250 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :lowtax? < 1351111163 967988 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :i know that name from somewhere < 1351111192 119094 :lowtax!~lowtax@gateway/tor-sasl/lowtax PRIVMSG #esoteric :from #nimrod < 1351111200 59313 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :oh, it's the nickname of the sa founder < 1351111240 693435 :impomatic!~digital_w@87.115.48.154 JOIN :#esoteric < 1351111311 746990 :impomatic!~digital_w@87.115.48.154 PRIVMSG #esoteric :I want one of these to play with! http://www.ebay.co.uk/itm/MAXIMITE-computer-/170924771749?pt=UK_VintageComputing_RL&hash=item27cbe909a5 < 1351111333 906676 :augur!~augur@129-2-129-34.wireless.umd.edu QUIT :Remote host closed the connection < 1351111489 28842 :bjelleklang!~chris@wikipedia/Bjelleklang JOIN :#esoteric < 1351111942 311432 :bjelleklang!~chris@wikipedia/Bjelleklang QUIT :Quit: Ex-Chat < 1351112401 306980 :Sgeo!~Sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :http://www.coderanch.com/t/580590/java/java/Laptop-battery-level-indicator-Java < 1351112427 894804 :Sgeo!~Sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :My brain just melted at the second post. < 1351112488 795446 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :http://www.wired.com/threatlevel/2012/10/dkim-vulnerability-widespread/all/ < 1351112527 545137 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :tl;dr: Dude receives sufficiently incompetent recruiting email from Google that he thinks it's a puzzle, guesses that the puzzle is that google.com's 512-bit DKIM key is crackable, proceeds to crack it, spoofs email from Larry Page < 1351112862 79256 :Sgeo!~Sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :Seems like it's easy to fix, at least, just generate stronger keys < 1351112868 803700 :Sgeo!~Sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :And revoke the weak ones < 1351112920 805555 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :don't know if this is one of the applications where key revocation actually works < 1351112923 782994 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :but yeah < 1351112967 35020 :impomatic!~digital_w@87.115.48.154 QUIT :Quit: http://BASICcomic.com < 1351113175 929160 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric : tl;dr: Dude receives sufficiently incompetent recruiting email from Google that he thinks it's a puzzle, guesses that the puzzle is that google.com's 512-bit DKIM key is crackable, proceeds to crack it, spoofs email from Larry Page < 1351113177 864461 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :wow < 1351113187 609380 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :kmc: i got a recruiting email from google once! < 1351113223 106295 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :haa < 1351113225 413034 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :me too elliott < 1351113226 248680 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :me too < 1351113279 804482 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :kmc: apparently i am good at "haskell programming and build systems" < 1351113296 510559 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :i think the latter is because i changed ninja's configure script once to work on arch < 1351113394 764998 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :haha < 1351113399 686864 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :are you a ninja ninja? < 1351113405 656034 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :or are you more of a ninja rockstar < 1351113465 531392 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :kmc: there has to be someone who uses jquery who is in a rock band < 1351113474 579219 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :kmc: and who also does martial arts stuff < 1351113476 742665 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :a true jquery ninja rockstar < 1351113491 888314 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :isn't that like 50% of san francisco < 1351113507 223987 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :kmc: close... those don't count as people < 1351113541 943550 :augur!~augur@208.58.5.87 JOIN :#esoteric < 1351113576 785643 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :unfortunately "rockstar" and "ninja" are higher standards than "in a band" and "does martial arts stuff" < 1351113623 652056 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :Christos Papadimitriou is a famous computer scientist and also wrote a graphic novel and is in a band < 1351113666 23474 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :"At UC Berkeley, in 2006, he joined a professor-and-graduate-student band called Lady X and The Positive Eigenvalues." < 1351113671 91474 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :that does not even count as a band, sorry kmc < 1351113833 773518 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net JOIN :#esoteric < 1351114040 329780 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Did you know there's a computer scientist called "Nikolaos Bourbakis"? < 1351114358 638756 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :an actual one? < 1351114399 512061 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :So they say. < 1351117122 830829 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net JOIN :#esoteric < 1351118092 355516 :Vorpal!~Vorpal@unaffiliated/vorpal QUIT :Ping timeout: 244 seconds < 1351118984 482959 :Nisstyre!~yours@oftn/member/Nisstyre QUIT :Quit: Leaving < 1351119426 904523 :Nisstyre!~yours@oftn/member/Nisstyre JOIN :#esoteric < 1351119493 240516 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :
ACTION sees misleading ad on YouTube, reports it to Google
< 1351119497 682460 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :just for fun, really, I don't expect much to happen < 1351119588 568278 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :Hello, Thanks for sending feedback about an ad that violates AdWords policies. Although we won't be able to respond to your feedback personally, we'll make sure it reaches the appropriate team and, if necessary, take the appropriate action. < 1351119599 780818 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I even checked the policies to make sure it was against them < 1351119618 942239 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :what was the ad < 1351120052 662016 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :youtube is promoting automatic differentiation?! < 1351120149 906486 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :shachaf: does lens support partial lenses < 1351120188 119470 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :elliott: Ask in #haskell. < 1351120194 131572 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :What's a partial lens? < 1351120205 885102 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :idk < 1351120235 650994 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :shachaf: probably (a -> Maybe (b, b -> a)) < 1351120307 188204 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :whose ad was it? < 1351120326 244729 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :One must differentiate between conal-style ad and edwardk-style ad. < 1351120351 60972 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :foreach x delete x < 1351120383 434948 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :elliott: You could turn that into (a -> (Maybe b, b -> a)) < 1351120396 466050 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I wonder whether that would be dishonest. < 1351120399 147955 :Phantom__Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 JOIN :#esoteric < 1351120468 401993 :rapido!~rapido@37-251-58-128.FTTH.ispfabriek.nl QUIT :Quit: rapido < 1351120497 667476 :Nisstyre!~yours@oftn/member/Nisstyre QUIT :Quit: Leaving < 1351120620 358747 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 QUIT :Ping timeout: 276 seconds < 1351120690 790050 :rapido!~rapido@37-251-58-128.FTTH.ispfabriek.nl JOIN :#esoteric < 1351120718 729337 :rapido!~rapido@37-251-58-128.FTTH.ispfabriek.nl QUIT :Client Quit < 1351120840 223869 :Sgeo!~Sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :I believe ais523 once said something about JVM being a better runtime? < 1351120840 824247 :Sgeo!~Sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :http://www.reddit.com/r/netsec/comments/11xt71/challenging_oracle_in_a_different_way_how_hard_it/ < 1351120846 827669 :Sgeo!~Sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :Although, hmm < 1351121165 783358 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric : elliott: You could turn that into (a -> (Maybe b, b -> a)) < 1351121169 218454 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :That's the other kind of partial lens. < 1351121181 461017 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :shachaf: It's dishonest when you have PartialLens (Either a b) a. < 1351121184 535844 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Or rather, < 1351121193 994029 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :data Foo a = Foo a String | Bar Int < 1351121202 242279 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :And try to put an Int into a Foo constructor. < 1351121204 166552 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :You drop the String. < 1351121209 247959 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :That's sort of bad. < 1351121218 504126 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Sgeo: Better than what? < 1351121229 610906 :Sgeo!~Sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :.NET < 1351121306 379718 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Sgeo: your comment seems to ignore the word "seem". < 1351121549 167668 :Sgeo!~Sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :elliott, feel free to reply on Reddit? I feel weird saying something in public and only being criticized in private < 1351121563 323511 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :that's effort though < 1351121586 911220 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :also I haven't posted on reddit in a whole month < 1351121589 87130 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :that's a streak to keep up < 1351121758 411112 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :haha < 1351121768 605786 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :i haven't posted on reddit in like a year < 1351121768 831647 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :it takes effor not to get dragged into the shitty reddits < 1351121774 343569 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :but today i told some random person off on stack overflow < 1351121777 87672 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :so it balances out < 1351121777 435288 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :(note: the shitty reddits are not shitty) < 1351121778 76298 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :elliott: You should ask edwardk. < 1351121780 570177 :Sgeo!~Sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :http://www.reddit.com/r/netsec/comments/11xt71/challenging_oracle_in_a_different_way_how_hard_it/c6rauet < 1351121790 626175 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :see < 1351121791 541197 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :the swan and paedo < 1351121794 557188 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :that one is shitty < 1351121812 470031 :Sgeo!~Sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :coppro, o.O /r/netsec is shitty? < 1351121886 297619 :Sgeo!~Sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :... < 1351121892 409200 :Sgeo!~Sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :I just claimed that elliott commented on Reddit. < 1351121897 114407 :epicmonkey!~epicmonke@188.134.41.171 QUIT :Ping timeout: 272 seconds < 1351121927 307708 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 JOIN :#esoteric < 1351121940 45318 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :kmc: link < 1351121955 549632 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :coppro: all the reddits are shitty < 1351121957 1165 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :Sgeo: examples of good reddits include /r/shittyaskscience and /r/lolphp < 1351121964 745645 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :except /r/haskell is ok sometimes and /r/roguelikes too < 1351121965 768476 :Sgeo!~Sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :
ACTION loves /r/lolphp
< 1351121977 336491 :Sgeo!~Sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :coppro, what's wrong with /r/askscience ? < 1351121994 709953 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :it's okay < 1351122011 335090 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :stackexchange sucks, I've learned this < 1351122077 50402 :Phantom__Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 QUIT :Ping timeout: 245 seconds < 1351122095 282476 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :Sgeo, robotrollcall, until she left < 1351122128 293219 :Sgeo!~Sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :
ACTION now has the MST3k theme in his head
< 1351122146 170623 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :stackexchange doesn't suck imo < 1351122150 333081 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :very useful for a certain subset of problems < 1351122281 947150 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :elliott: edwardk is in #haskell < 1351122288 227952 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :"nows ur chance" < 1351122328 804215 :Frooxius!~Frooxius@cust-101.ktknet.cz QUIT :Ping timeout: 252 seconds < 1351122356 113816 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :nop < 1351122384 272105 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :anyway < 1351122384 613019 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :type Lens a b c d = forall f. Functor f => (c -> f d) -> a -> f b < 1351122386 585203 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :let's set a=b, c=d < 1351122398 358680 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :forall f. Functor f => (c -> f c) -> a -> f a < 1351122400 118493 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :That's Simple Lens. < 1351122403 311336 :Sgeo!~Sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :I should probably watch that talk on lenses < 1351122403 493198 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :no < 1351122405 68475 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :well yes < 1351122406 297631 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :if you do that set < 1351122407 523142 :Sgeo!~Sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :Any links? < 1351122408 829044 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :so seems not < 1351122411 455556 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :but if you do like < 1351122418 679317 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :(c -> Maybe c) -> a -> Maybe a < 1351122420 193022 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :then maybe it works?? < 1351122424 643525 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :but then you can't compose it properly I gues < 1351122426 972028 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :s/gues/guess/ < 1351122431 104875 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Hmm? < 1351122438 989988 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :idk < 1351122446 976945 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :You're using Maybe as your f? < 1351122454 282992 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :What does that do? < 1351122465 37215 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :idk < 1351122597 528872 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :elliott: What if you used Either, though? < 1351122637 598345 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :idk < 1351122641 415360 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :but don't the lens utilities set f to various things < 1351122647 122087 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :so it doesn't work if you use one that isn't universally-quantified < 1351122654 90433 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :hm < 1351122654 556906 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :type Traversal a b c d = forall f. Applicative f => (c -> f d) -> a -> f b < 1351122657 851884 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :what if you use traverse on Maybe < 1351122661 223640 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Well, the way you quantify it depends on what the f is. < 1351122677 278930 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :i guess i will ask edwardk in a minute < 1351122686 323511 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :If you want just a setter you use Identity, if you want just a getter you use Const. < 1351122705 110026 :Sgeo!~Sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :elliott, :( sorry < 1351122719 918207 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Sgeo: what < 1351122735 980666 :Sgeo!~Sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :edwardk left immediately after finishing talking to me < 1351122746 38243 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :oh < 1351122747 419132 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :you suck < 1351122789 402400 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Sgeohno < 1351122809 350591 :Sgeo!~Sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :You could @ask him < 1351122827 348620 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :too lazy < 1351122848 133541 :Tod-Autojoined!~Tod@166-70-93-209.ip.xmission.com QUIT :Quit: This is me, signing off. Probably rebooting or something. < 1351122859 274009 :TodPunk!~Tod@166-70-93-209.ip.xmission.com JOIN :#esoteric < 1351122865 676497 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :shachaf: "This isn't *quite* a legal lens." :( < 1351122895 747451 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Otherwise, this is a perfectly cromulent Lens. < 1351122896 25753 :Jafet!~Jafet@unaffiliated/jafet PRIVMSG #esoteric :You can't bring this lens across state lines. < 1351122909 483095 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :elliott doesn't know what a state is < 1351122940 623924 :Sgeo!~Sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :elliott, well, at least because of me you now have a link to the slides from the recent talk if you didn't before < 1351122976 452086 :Sgeo!~Sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :Also, going to need to follow @PLT_Borat < 1351123055 635649 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :shachaf: you're a state :( < 1351123078 194302 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Sgeo: I think I already posted those slides. < 1351123168 415159 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :elliott: What are "f"s that make sense other than Identity and Const? < 1351123174 283693 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :idk < 1351123181 136872 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :You can use Writer to do Foldable-style things.