< 1369874081 417124 :hagb4rd!~perdito@koln-4db42299.pool.mediaWays.net QUIT :Quit: hagb4rd < 1369874182 663266 :NihilistDandy!~NihilistD@c-24-128-161-213.hsd1.nh.comcast.net QUIT :Quit: leaving < 1369874507 250863 :carado!~user4539@2a01:e35:8b61:e430:6ef0:49ff:fe73:1fd0 QUIT :Remote host closed the connection < 1369874576 80807 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :Hmm, I guess REBEL's compose is effectively quasiquoting? < 1369874587 178715 :Bike!~Glossina@71-222-62-46.ptld.qwest.net PRIVMSG #esoteric :and with a rebol yell < 1369874644 736094 :carado!~user4539@2a01:e35:8b61:e430:6ab5:99ff:fef3:f256 JOIN :#esoteric < 1369874994 268445 :Bike!~Glossina@71-222-62-46.ptld.qwest.net QUIT :Ping timeout: 264 seconds < 1369875009 340489 :Bike!~Glossina@71-222-62-46.ptld.qwest.net JOIN :#esoteric < 1369875287 432791 :SirCmpwn!~SirCmpwn@unaffiliated/sircmpwn QUIT :Excess Flood < 1369875305 193687 :SirCmpwn!~SirCmpwn@unaffiliated/sircmpwn JOIN :#esoteric < 1369876053 794556 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :I think I really like the refinements thing < 1369876066 767905 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :Although it bears some similarities to keyword arguments in Racket or CL < 1369876068 834470 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric : jsvine: Oh, you're good. Well -- I used to, but I'm not currently near a beach. I do enjoy long walks, though. < 1369876070 662856 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :it is, uh < 1369876077 490332 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :not easy to be far from a beach in cornwall < 1369876264 413729 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :"When I try to run REBOL on my Mac68K, it says I don't have enough memory. Why?" < 1369876422 219196 :FreeFull!~freefull@defocus/sausage-lover QUIT :Read error: Operation timed out < 1369876544 320434 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :Found a bug in REBOL 3 < 1369876549 340881 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :Unfortunately, I can't access chat < 1369876613 9570 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :Sgeo < 1369876618 980876 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :you're writing a deadfish interpreter < 1369876626 921477 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :why do you even need an implementation of rebol < 1369876636 306003 :Bike!~Glossina@71-222-62-46.ptld.qwest.net PRIVMSG #esoteric :what kind of uncreative question is that < 1369876647 129811 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :Phantom_Hoover, I didn't start writing a deadfish interpreter yet < 1369876665 566922 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :stop trying to learn every fucking language on the planet! < 1369876679 356855 :FreeFull!~freefull@defocus/sausage-lover JOIN :#esoteric < 1369876695 240972 :mnoqy!~okay@pool-98-108-206-66.snloca.dsl-w.verizon.net PRIVMSG #esoteric :for what values of learn are we talking < 1369876739 36219 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :i mean learn in the biblical sense < 1369876750 188305 :mnoqy!~okay@pool-98-108-206-66.snloca.dsl-w.verizon.net PRIVMSG #esoteric :language tourism < 1369876761 147501 :mnoqy!~okay@pool-98-108-206-66.snloca.dsl-w.verizon.net PRIVMSG #esoteric :oh that biblical sense < 1369876776 116989 :mnoqy!~okay@pool-98-108-206-66.snloca.dsl-w.verizon.net PRIVMSG #esoteric :hm i dont think sgeo actually learns his languages that much? < 1369876791 230662 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :are there other biblical senses of learn < 1369876796 646337 :Bike!~Glossina@71-222-62-46.ptld.qwest.net PRIVMSG #esoteric :does looking at a language constitute learning < 1369876802 513013 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :Sgeo: btw you missed the thingy < 1369876816 606042 :mnoqy!~okay@pool-98-108-206-66.snloca.dsl-w.verizon.net PRIVMSG #esoteric :see i had a good thing written up but then ph said a thing and i shortened it so i could respond quicker < 1369876819 942574 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :if you mean looking in the biblical sense, then yes < 1369876825 716885 :mnoqy!~okay@pool-98-108-206-66.snloca.dsl-w.verizon.net PRIVMSG #esoteric :"eg im sure sgeos written a line of haskell but has he truly learned it? i put forward the claim that sgeo is merely practicing language tourism" < 1369876849 199823 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :elliott, I saw in the logs < 1369876859 600658 :Bike!~Glossina@71-222-62-46.ptld.qwest.net PRIVMSG #esoteric :is the biblical sense of looking getting burned alive by a fire tornado? < 1369876875 295103 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :i'll be frank with you, i don't actually know < 1369876882 292447 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :i haven't read the bible < 1369877009 111578 :mnoqy!~okay@pool-98-108-206-66.snloca.dsl-w.verizon.net PRIVMSG #esoteric :does anyone, truly < 1369877094 606126 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :I have read the Bible, but it doesn't seem to help to answer your question. < 1369877119 613195 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :do you even know what know means in the biblical sense < 1369877136 668059 :Bike!~Glossina@71-222-62-46.ptld.qwest.net PRIVMSG #esoteric :Fucking < 1369877253 405126 :Frooxius_!~Frooxius@cust-101.ktknet.cz QUIT :Quit: ChatZilla 0.9.90-rdmsoft [XULRunner 1.9.0.17/2009122204] < 1369877269 45341 :Frooxius!~Frooxius@cust-101.ktknet.cz JOIN :#esoteric < 1369877595 283027 :hagb4rd!~perdito@koln-4db42299.pool.mediaWays.net JOIN :#esoteric < 1369877693 972421 :tswett!~quassel@unaffiliated/tswett PRIVMSG #esoteric :Coq abuse of the day: let's add axioms stating that every Type is a probability distribution! < 1369877920 429296 :tswett!~quassel@unaffiliated/tswett PRIVMSG #esoteric :And then, uhh... no, don't do that at all. < 1369877932 699260 :tswett!~quassel@unaffiliated/tswett PRIVMSG #esoteric :Instead, just add axioms stating that every Prop has a probability, and they obey the laws of probability theory. < 1369877956 516496 :mnoqy!~okay@pool-98-108-206-66.snloca.dsl-w.verizon.net PRIVMSG #esoteric ::) < 1369877958 963927 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :I ... think REBOL answers one of the things I dislike about Tcl. < 1369877971 397465 :mnoqy!~okay@pool-98-108-206-66.snloca.dsl-w.verizon.net PRIVMSG #esoteric :Sgeo: go on < 1369878011 307443 :tswett!~quassel@unaffiliated/tswett PRIVMSG #esoteric :I wonder if you could do anything interesting with that. I would think that there would exist no (Prop, real number) pair, with the real number strictly between 0 and 1, such that you can prove that the probability of Prop is that number. < 1369878016 844093 :tswett!~quassel@unaffiliated/tswett PRIVMSG #esoteric :Simply because that would be weird. < 1369878024 783534 :mnoqy!~okay@pool-98-108-206-66.snloca.dsl-w.verizon.net PRIVMSG #esoteric :youre not sgeo < 1369878035 67500 :tswett!~quassel@unaffiliated/tswett PRIVMSG #esoteric :Good thing I'm not talking about REBOL and Tcl, then. < 1369878046 966192 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :mnoqy, the compose function effectively acts as a quasiquoting mechanism < 1369878078 797427 :mnoqy!~okay@pool-98-108-206-66.snloca.dsl-w.verizon.net PRIVMSG #esoteric :how so < 1369878106 312088 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :So if you have a function that's accepting a block of literal values, you can use compose to easily dynamically make the data to be passed into it < 1369878123 148302 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :mnoqy, by having absolutely nothing to do with what a sane functional programmer would consider composing. The name does suck. < 1369878128 104137 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :http://www.rebol.com/r3/docs/functions/compose.html < 1369878149 686930 :mnoqy!~okay@pool-98-108-206-66.snloca.dsl-w.verizon.net PRIVMSG #esoteric :ah < 1369878198 148844 :mnoqy!~okay@pool-98-108-206-66.snloca.dsl-w.verizon.net PRIVMSG #esoteric :yeah i was thinking function composition < 1369878220 606939 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :Hmm, it's not quite adequate, though. I think. It does an automatic splicing thing, but automatic splicing skeeves me out. But disabling it leaves you with no form of splicing < 1369878229 835751 :Bike!~Glossina@71-222-62-46.ptld.qwest.net PRIVMSG #esoteric :wow what does that have to do with composition at all < 1369878255 47167 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :What does composing a letter have to do with composition at all? < 1369878270 986396 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :(I still think the name sucks, despite my retort) < 1369878272 372243 :Bike!~Glossina@71-222-62-46.ptld.qwest.net PRIVMSG #esoteric :ok fair < 1369878281 11167 :Bike!~Glossina@71-222-62-46.ptld.qwest.net PRIVMSG #esoteric :it still looks weirdly used in these docs < 1369878327 303899 :tswett!~quassel@unaffiliated/tswett PRIVMSG #esoteric :"If the result of an expression is a block, then the elements of that block are inserted into the output block:" < 1369878330 409519 :tswett!~quassel@unaffiliated/tswett PRIVMSG #esoteric :That fact hurts a little bit. < 1369878356 452163 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :tswett, that can be disabled by using compose/only. But then you lose splicing altogether, I think. < 1369878356 662934 :tswett!~quassel@unaffiliated/tswett PRIVMSG #esoteric :Okay, /only changes that. Whew. < 1369878500 87235 :tswett!~quassel@unaffiliated/tswett PRIVMSG #esoteric :Sgeo: hey, lemme tell you about ultrafilters! < 1369878526 438633 :tswett!~quassel@unaffiliated/tswett PRIVMSG #esoteric :Sgeo: suppose you have a set X. Then an ultrafilter on X is a collection U of subsets of X with all of the following properties: < 1369878544 418504 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Hey, lexande was telling me about ultrafilters the other day. < 1369878571 293094 :tswett!~quassel@unaffiliated/tswett PRIVMSG #esoteric :The empty set is not a subset of U; given an element of U, all of its supersets are also in U; given two elements of U, their intersection is in U; and given a subset A of X, either A or the complement of A must be an element of U. < 1369878571 863619 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :And Arrow's theorem. < 1369878625 56247 :tswett!~quassel@unaffiliated/tswett PRIVMSG #esoteric :Now, the obvious ultrafilters are the ones of the form { A : x is an element of A, A is a subset of X }, for elements x of X. < 1369878640 42210 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :All supersets of every element of U is in U? Does this include those supersets that contain elements that are not in X? < 1369878646 304349 :tswett!~quassel@unaffiliated/tswett PRIVMSG #esoteric :No. < 1369878696 957574 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :Also "The empty set is not a subset of U" seems ... weird < 1369878705 223898 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :Actually, it seems impossible, come to think of it. < 1369878706 675754 :tswett!~quassel@unaffiliated/tswett PRIVMSG #esoteric :Er, whoops. The empty set is not an *element* of U. < 1369878720 512031 :tswett!~quassel@unaffiliated/tswett PRIVMSG #esoteric :Thinking about it for a while, it seems like these obvious ultrafilters (called "trivial ultrafilters") are probably the only ultrafilters that exist. If there are any other ultrafilters, something really weird must be going on. < 1369878788 409557 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :REBOL reduce also has nothing to do with functional reduce, but the name does make more sense than compose < 1369878793 435043 :tswett!~quassel@unaffiliated/tswett PRIVMSG #esoteric :Indeed, I think it's possible to prove that it is impossible to define a non-trivial ultrafilter. < 1369878822 46001 :tswett!~quassel@unaffiliated/tswett PRIVMSG #esoteric :However: in ZFC, every infinite set has non-trivial ultrafilters. < 1369878835 732935 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :It says there is also free ultrafilters, according to Wikipedia, but not on finite sets. < 1369878864 912440 :tswett!~quassel@unaffiliated/tswett PRIVMSG #esoteric :Right. Finite sets don't have non-trivial ultrafilters. < 1369878880 180393 :tswett!~quassel@unaffiliated/tswett PRIVMSG #esoteric :("Free" is a synonym of "non-trivial".) < 1369878958 998479 :copumpkin!~copumpkin@unaffiliated/copumpkin PRIVMSG #esoteric :ultrafilter : ((x : A) -> Dec (P x)) -> (xs : [A]) -> ... < 1369878960 951208 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :REBOL has ... issues with mutability < 1369878972 597303 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :The copy function is essential to understand well, I think < 1369879034 731290 :tswett!~quassel@unaffiliated/tswett PRIVMSG #esoteric :Come to think of it, maybe I can define a non-trivial ultrafilter on the integers? < 1369879093 882062 :tswett!~quassel@unaffiliated/tswett PRIVMSG #esoteric :How about this: a set A is in U if and only if for every alternating string of 1s and 0s that ends with 1 (like "1010101"), there is an integer in A whose binary expansion ends with that string. < 1369879115 2739 :Bike!~Glossina@71-222-62-46.ptld.qwest.net PRIVMSG #esoteric :shachaf: have you seen the Tao post < 1369879120 752560 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Whike < 1369879135 493235 :Bike!~Glossina@71-222-62-46.ptld.qwest.net PRIVMSG #esoteric :Which bike? < 1369879137 207021 :tswett!~quassel@unaffiliated/tswett PRIVMSG #esoteric :Mm, no, that doesn't work. Consider the set A = {11, 1101, 110101, 11010101, ...} and the set B = {111, 11101, 1110101, 111010101, ...}. A and B are disjoint, but they are both elements of U. < 1369879139 704682 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :@where Tao < 1369879139 925413 :lambdabot!lambdabot@2600:3c00::f03c:91ff:fe70:53e1 PRIVMSG #esoteric :I know nothing about tao. < 1369879145 154952 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :That's the spirit! < 1369879175 959630 :Bike!~Glossina@71-222-62-46.ptld.qwest.net PRIVMSG #esoteric :shachaf: http://terrytao.wordpress.com/2007/06/25/ultrafilters-nonstandard-analysis-and-epsilon-management/ < 1369879191 758206 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Oh, that Tao. < 1369879197 455331 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :The Tao that *can* be spoken of. < 1369879203 556831 :Bike!~Glossina@71-222-62-46.ptld.qwest.net PRIVMSG #esoteric :quite so. < 1369879234 759765 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :No, I haven't seen it. < 1369879259 694444 :Bike!~Glossina@71-222-62-46.ptld.qwest.net PRIVMSG #esoteric :It defines ultrafilters, and relates them to voting (and so arrow's theorem) < 1369879339 591371 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :do does [print "This is silly"] < 1369879354 125071 :tswett!~quassel@unaffiliated/tswett PRIVMSG #esoteric :Hm. If you have an infinite set of voters, you can say that a bill passes if and only if the set of all yeas is an element of the ultrafilter. < 1369879374 109431 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :Static analysis of a bunch of REBOL code is probably harder than TCL < 1369879390 68213 :tswett!~quassel@unaffiliated/tswett PRIVMSG #esoteric :Which has the curious property that no vote matters individually, under any circumstances. < 1369879413 743402 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :just like real voting < 1369879419 352967 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :tswett, can a pair of votes matter? < 1369879423 900879 :tswett!~quassel@unaffiliated/tswett PRIVMSG #esoteric :Sgeo: nope. < 1369879432 14104 :tswett!~quassel@unaffiliated/tswett PRIVMSG #esoteric :No finite set of votes matters. < 1369879453 183551 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :I guess that's easily seeable from no single vote ever mattering < 1369879474 76873 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :If a finite set mattered, it's possible that that finite set depends on 1 vote... unless the finite set is constrained in what it could look like < 1369879484 40959 :Bike!~Glossina@71-222-62-46.ptld.qwest.net PRIVMSG #esoteric :i hear bachman is courting the Vitali set's vote, i wonder how that'll work out < 1369879487 976139 :tswett!~quassel@unaffiliated/tswett PRIVMSG #esoteric :I guess that's true. < 1369879544 822310 :tswett!~quassel@unaffiliated/tswett PRIVMSG #esoteric :Like if you have three people, and the bill passes only if those three people all vote for it, but then it also happens that (for some reason) the three voters can't possibly all vote the same way. < 1369879669 510705 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :Not sure if I prefer REBOL refinements or keyword arguments. (Note that Smalltalk does not count as having keyword arguments) < 1369880240 49346 :Bike_!~Glossina@75-164-172-217.ptld.qwest.net JOIN :#esoteric < 1369880282 327824 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :Bike_: has anyone used "take a hike, Bike" on you yet < 1369880327 218089 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :I wish the whole 'so many datatypes that the parser just knows' wasn't considered such a maor selling point. Unless I can easily define my own, I'm not especially interested. < 1369880330 811542 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :*major < 1369880355 848455 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :there must be 50 ways to leave your bicycle < 1369880383 395830 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :i left my bicycle in washington :'( < 1369880386 509420 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :is Bike my bicycle < 1369880430 350563 :Bike!~Glossina@71-222-62-46.ptld.qwest.net QUIT :Ping timeout: 264 seconds < 1369880523 131283 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :wow what a waste < 1369880524 48249 :Bike_!~Glossina@75-164-172-217.ptld.qwest.net QUIT :Ping timeout: 276 seconds < 1369880528 561641 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :wow what a waste_ < 1369880553 424498 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 QUIT :Read error: Connection reset by peer < 1369880585 257400 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :"Type secure [debug allow] or put it in your rebol.r file. < 1369880585 459632 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :Type secure none (but don't put it in your rebol.r file.)" < 1369880595 460168 :Bike!~Glossina@75-164-173-11.ptld.qwest.net JOIN :#esoteric < 1369880603 628480 :Jafet!~Jafet@unaffiliated/jafet PRIVMSG #esoteric :Has anyone asked to ride Bike < 1369880804 813169 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :ACTION wants to think through the differences between Factor and a hypothetical post-fixed REBOL < 1369880843 13012 :Bike!~Glossina@75-164-173-11.ptld.qwest.net PRIVMSG #esoteric :but you can't, because you're ritually forbidden from thinking about computers on wednesdays < 1369880858 266879 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Bike: did you even see all the bicycle talk we had here while you were timing out < 1369880920 76615 :Bike!~Glossina@75-164-173-11.ptld.qwest.net PRIVMSG #esoteric :yes:no < 1369880937 441476 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :Actually, I don't think there's a difference < 1369880945 516985 :Bike!~Glossina@75-164-173-11.ptld.qwest.net PRIVMSG #esoteric :elliott: no < 1369881059 628040 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Sgeo: when will you stop caring about languages < 1369881074 698460 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :shachaf, probably when I die. < 1369881091 730438 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :Or earlier is possible. < 1369881104 131860 :Bike!~Glossina@75-164-173-11.ptld.qwest.net PRIVMSG #esoteric :i feel that sgeo should become a rebbe < 1369881120 907049 :mnoqy!~okay@pool-98-108-206-66.snloca.dsl-w.verizon.net PRIVMSG #esoteric :whats a rebbe < 1369881133 37133 :Bike!~Glossina@75-164-173-11.ptld.qwest.net PRIVMSG #esoteric :hardcore rabbi. < 1369881912 215812 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :Found an asymmetry: Can't have a function in REBOL return multiple values < 1369881920 658814 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :I think < 1369882061 505248 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :tswett, I may have found a use for compose without /only < 1369882450 857716 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :From a page on REBOL, this is valid code < 1369882451 464203 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :head insert tail block select list name < 1369882492 798895 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric ::/ that's not really code to show people imo < 1369882576 30241 :elieser224!~elieser22@190.121.239.26 JOIN :#esoteric < 1369882637 110348 :elieser224!~elieser22@190.121.239.26 PART :#esoteric < 1369882688 64623 :Bike!~Glossina@75-164-173-11.ptld.qwest.net PRIVMSG #esoteric :it's just a bunch of words < 1369882886 495090 :Bike_!~Glossina@174-25-62-227.ptld.qwest.net JOIN :#esoteric < 1369882913 117814 :Bike!~Glossina@75-164-173-11.ptld.qwest.net QUIT :Disconnected by services < 1369882918 64743 :Bike_!~Glossina@174-25-62-227.ptld.qwest.net NICK :Bike < 1369883037 101499 :Bike!~Glossina@174-25-62-227.ptld.qwest.net PRIVMSG #esoteric :hey elliott weren't you going to set up a bouncer for me or something < 1369883056 21153 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :no i just wanted to steal your password < 1369883063 772205 :Bike!~Glossina@174-25-62-227.ptld.qwest.net PRIVMSG #esoteric :god dammit < 1369883475 250683 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :>> $5 / $1 < 1369883475 397133 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :== $5.0000000000000000000000000 < 1369883478 321094 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :le sigh < 1369883550 155563 :Bike!~Glossina@174-25-62-227.ptld.qwest.net PRIVMSG #esoteric :floats are the future < 1369883564 989112 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :ACTION was more concerned with the unit mangling < 1369883611 267113 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :"If I have $5 and see a bunch of $1 items, how many can I buy?" "FIVE DOLLARS!" < 1369883634 69087 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :I suck at examples < 1369883789 478104 :Bike_!~Glossina@67-5-201-187.ptld.qwest.net JOIN :#esoteric < 1369883814 89314 :Bike_!~Glossina@67-5-201-187.ptld.qwest.net QUIT :Client Quit < 1369883830 247183 :Bike_!~Glossina@67-5-201-187.ptld.qwest.net JOIN :#esoteric < 1369883842 96362 :Bike_!~Glossina@67-5-201-187.ptld.qwest.net PRIVMSG #esoteric :ok so: sgeo does this thing use floats for currency < 1369883859 638628 :Bike!~Glossina@174-25-62-227.ptld.qwest.net QUIT :Disconnected by services < 1369883864 626902 :Bike_!~Glossina@67-5-201-187.ptld.qwest.net NICK :Bike < 1369883869 619672 :Bike!~Glossina@67-5-201-187.ptld.qwest.net PRIVMSG #esoteric :does my connection use floats for currency? MAYBE < 1369883887 737034 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :yes :( < 1369883889 949494 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :"The money! datatype uses standard IEEE floating point numbers allowing up to 15 digits of precision including cents." < 1369883890 813708 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :maybe it uses floats for concurrency < 1369883892 460875 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :Fuck you REBOL < 1369883905 442644 :mnoqy!~okay@pool-98-108-206-66.snloca.dsl-w.verizon.net PRIVMSG #esoteric :the money! datatype < 1369883925 28299 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :All datatype names are suffixed with ! < 1369883936 133410 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :i wonder what comes next after rebol < 1369883941 669599 :mnoqy!~okay@pool-98-108-206-66.snloca.dsl-w.verizon.net PRIVMSG #esoteric :so what's the point of money! < 1369883942 274352 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :doubleplusbol < 1369883944 414769 :Bike_!~Glossina@67-5-204-202.ptld.qwest.net JOIN :#esoteric < 1369883960 897607 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :hey kmc landed a few minutes ago < 1369883964 423344 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :welkeegan tosfo < 1369883989 253023 :Bike_!~Glossina@67-5-204-202.ptld.qwest.net PRIVMSG #esoteric :dumbest cant ever < 1369883992 150721 :Bike!~Glossina@67-5-201-187.ptld.qwest.net QUIT :Disconnected by services < 1369883993 745175 :Bike_!~Glossina@67-5-204-202.ptld.qwest.net NICK :Bike < 1369884169 265491 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :Oh hey Rebol3 wasn't upgraded since 2011 < 1369884172 232360 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric ::/ < 1369884645 720846 :Tritonio!~Tritonio@cust-208-22.on5.ontelecoms.gr QUIT :Ping timeout: 248 seconds < 1369884710 81998 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :It's possible that the "we're using floating-point for money" thing is obsolete < 1369884732 270550 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :http://www.rebol.net/wiki/Money < 1369884765 216216 :coppro!~scshunt@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :oh man < 1369884769 963339 :coppro!~scshunt@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :we totally need a bitcoin-based language < 1369884771 870360 :Bike!~Glossina@67-5-204-202.ptld.qwest.net PRIVMSG #esoteric :money for scientific applications < 1369884879 43280 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :"Trembmax, unlike in R2, which you clearly used, in R3 is money! datatype BCD internally." < 1369885027 244413 :mnoqy!~okay@pool-98-108-206-66.snloca.dsl-w.verizon.net PRIVMSG #esoteric :what does that mean < 1369885092 22166 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :mnoey! < 1369885101 151963 :mnoqy!~okay@pool-98-108-206-66.snloca.dsl-w.verizon.net PRIVMSG #esoteric :hi shachaf < 1369885102 914502 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :hey mnoqy mind if i call you mnoqy! < 1369885110 699423 :mnoqy!~okay@pool-98-108-206-66.snloca.dsl-w.verizon.net PRIVMSG #esoteric :that's fine < 1369885113 460099 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :you look like a data type to me < 1369885118 812478 :mnoqy!~okay@pool-98-108-206-66.snloca.dsl-w.verizon.net PRIVMSG #esoteric :i get that a lot < 1369885127 657182 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :a data type interpreted as a proposition.......a true proposition < 1369885143 871584 :mnoqy!~okay@pool-98-108-206-66.snloca.dsl-w.verizon.net PRIVMSG #esoteric :yeah < 1369885151 909305 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :mnoqy are you inhabited < 1369885159 312144 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :by demons < 1369885160 61112 :mnoqy!~okay@pool-98-108-206-66.snloca.dsl-w.verizon.net PRIVMSG #esoteric :who isn't, these days? < 1369885253 713919 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :mnoqy, binary-coded decimal, according to someone in another channel < 1369885294 79329 :Bike!~Glossina@67-5-204-202.ptld.qwest.net PRIVMSG #esoteric :kick it like it's 1989 < 1369885303 42027 :Bike!~Glossina@67-5-204-202.ptld.qwest.net PRIVMSG #esoteric :or whenever x86 had that idk. < 1369885323 767762 :mnoqy!~okay@pool-98-108-206-66.snloca.dsl-w.verizon.net PRIVMSG #esoteric :binary-coded decimal. cute. < 1369885494 424331 :sprocklem!~sprocklem@S010674440130be65.cg.shawcable.net JOIN :#esoteric < 1369885689 838031 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :I... don't know what to think of the way apply interacts with refinements < 1369885699 728783 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :They're simply positional arguments < 1369885823 325675 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :"A scheme specifies a type of port. Schemes are defined for files, networking, sound, and many other functions. Users can define their own schemes or modify the existing schemes." < 1369885831 62900 :tswett!~quassel@unaffiliated/tswett PRIVMSG #esoteric :So I heard once that accountants and whatnot actually need to use arbitrary-precision arithmetic. < 1369885831 696737 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :That last sentence makes me happy < 1369885860 713060 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :mnoqy: Are you happy? < 1369885870 477341 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :Ok, I misunderstood what schemes are < 1369885887 32939 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :They're lisp dialects. There's a report for each one. < 1369885930 760656 :tswett!~quassel@unaffiliated/tswett PRIVMSG #esoteric :So if someone has $10,000 in an account with 12% interest compounded monthly, then one year later, the balance on the account must be exactly $11,268.25030131969720661201. < 1369885979 543184 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :So, Rebol is still a bad idea in finance. < 1369885980 675327 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :Got it. < 1369885992 135030 :Bike!~Glossina@67-5-204-202.ptld.qwest.net PRIVMSG #esoteric :i assume they meed computable numbers for continuously compounded interest < 1369886003 203642 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :all numbers are computable < 1369886008 158550 :Bike!~Glossina@67-5-204-202.ptld.qwest.net PRIVMSG #esoteric :thx < 1369886016 580975 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :classicalist scum < 1369886030 449285 :Jafet!~Jafet@unaffiliated/jafet PRIVMSG #esoteric :THOSE REBOL SCUM < 1369886031 211433 :tswett!~quassel@unaffiliated/tswett PRIVMSG #esoteric :Bike: I think computable numbers are sort of overkill there. < 1369886066 976049 :tswett!~quassel@unaffiliated/tswett PRIVMSG #esoteric :Do they actually use continuous compounding somewhere? < 1369886184 370730 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :I like how this advocacy section lumps Lisp, Scheme, Haskell, and Caml together, and then proceeds to talk about Lisp < 1369886195 823762 :Jafet!~Jafet@unaffiliated/jafet PRIVMSG #esoteric :Calculus student loans. < 1369886197 308980 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :http://www.rebol.net/wiki/Advocacy#Lisp.2C_Scheme.2C_Haskell.2C_Caml < 1369886256 981290 :mnoqy!~okay@pool-98-108-206-66.snloca.dsl-w.verizon.net PRIVMSG #esoteric :well look at all those other section things though < 1369886287 450813 :Bike!~Glossina@67-5-204-202.ptld.qwest.net QUIT :Ping timeout: 264 seconds < 1369886313 695745 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :like inverses????????? < 1369886430 902707 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :I feel like I've mostly been mocking REBOL, despite being genuinely interested in it < 1369886605 319879 :Bike!~Glossina@71-222-50-45.ptld.qwest.net JOIN :#esoteric < 1369886606 653062 :Bike!~Glossina@71-222-50-45.ptld.qwest.net PART :#esoteric < 1369886965 561873 :hagb4rd!~perdito@koln-4db42299.pool.mediaWays.net QUIT :Quit: hagb4rd < 1369887127 928824 :tswett!~quassel@unaffiliated/tswett PRIVMSG #esoteric :Unfair question: < 1369887132 203400 :tswett!~quassel@unaffiliated/tswett PRIVMSG #esoteric :Continue this sequence: 1, 1, 1, 1, 1, 1, 1, 2, 2, 3, 3, 4, 4, 5, 5, 6, 6, 7, 7, 8, 8, 9, 9, 10, 10, 11, 11, 12, 12, 13, 13, 14, 14, 15, 15, 16, 16, 17, 17, 18, 18, 81, ... < 1369887137 403032 :tswett!~quassel@unaffiliated/tswett PRIVMSG #esoteric :Or, rather, unfair problem. < 1369887144 722735 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :-2834198237481273409 < 1369887154 40617 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :sdksdkh[pntn/.yj;rslg,. < 1369887154 291502 :tswett!~quassel@unaffiliated/tswett PRIVMSG #esoteric :Nope. It's a strictly increasing sequence. < 1369887163 122515 :tswett!~quassel@unaffiliated/tswett PRIVMSG #esoteric :And all of its elements are integers. < 1369887200 294073 :tswett!~quassel@unaffiliated/tswett PRIVMSG #esoteric :I'm not actually sure that that part of the sequence is correct. Pretty sure, but not completely sure. < 1369887201 398761 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :ERR COUNTABLY INFINITE NUMBER OF CONTINUATIONS < 1369887209 877325 :tswett!~quassel@unaffiliated/tswett PRIVMSG #esoteric :Uncountably, in fact. < 1369887223 210696 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :You said integers... oh, I meant for just the next number < 1369887234 496058 :tswett!~quassel@unaffiliated/tswett PRIVMSG #esoteric :ACTION nods. < 1369887241 411096 :tswett!~quassel@unaffiliated/tswett PRIVMSG #esoteric :I'm pretty sure the next number is 81. < 1369887264 156801 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :Are there more infinite sequences of real numbers than there are real numbers? < 1369887271 217764 :Jafet!~Jafet@unaffiliated/jafet PRIVMSG #esoteric :Not strictly, strictly speaking. < 1369887271 289357 :tswett!~quassel@unaffiliated/tswett PRIVMSG #esoteric :No. < 1369887334 543303 :tswett!~quassel@unaffiliated/tswett PRIVMSG #esoteric :The numbers after that... probably 256 and 256. Then probably 1024 and 1024. Then probably 4096 and 4096. Then probably 16,384 and 16,384, then probably 78,125 and 78,125. < 1369887342 260016 :tswett!~quassel@unaffiliated/tswett PRIVMSG #esoteric :But I'm getting less and less sure with each number I name. < 1369887448 787410 :tswett!~quassel@unaffiliated/tswett PRIVMSG #esoteric :I could write this sequence as a Haskell function, but that would probably take hours. < 1369887521 837165 :tswett!~quassel@unaffiliated/tswett PRIVMSG #esoteric :I could implement Conway's chained arrow notation in Haskell, and that would only take a couple of minutes. < 1369887565 582103 :tswett!~quassel@unaffiliated/tswett PRIVMSG #esoteric :But this sequence grows faster than any sequence concisely expressible using Conway's notation. Indeed, writing any sequence that grows as quickly as this one would also take me hours. < 1369887696 785009 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :Is your lack of certainty reflective of your own personal lack of certainty only, or of the lack of certainty of the mathematical community in general? < 1369887714 377723 :tswett!~quassel@unaffiliated/tswett PRIVMSG #esoteric :My personal lack of certainty. The mathematical community could probably figure it out reasonably easily. < 1369887754 343084 :tswett!~quassel@unaffiliated/tswett PRIVMSG #esoteric :Pretty sure this sequence isn't in OEIS. < 1369887780 292234 :Jafet!~Jafet@unaffiliated/jafet PRIVMSG #esoteric :Yet < 1369887801 642968 :comex!~comex@ec2-23-22-255-183.compute-1.amazonaws.com QUIT :Remote host closed the connection < 1369887804 897139 :tswett!~quassel@unaffiliated/tswett PRIVMSG #esoteric :Anyway: < 1369887854 311080 :tswett!~quassel@unaffiliated/tswett PRIVMSG #esoteric :The nth term is the largest integer that can be written as a Church numeral in the calculus of constructions using at most n+9 symbols. < 1369887854 522679 :Jafet!~Jafet@unaffiliated/jafet PRIVMSG #esoteric :(http://oeis.org/A182369) < 1369887964 72164 :tswett!~quassel@unaffiliated/tswett PRIVMSG #esoteric :Where a Church numeral is a term of the type forall o : T, (o -> o) -> (o -> o). < 1369888005 923781 :copumpkin!~copumpkin@unaffiliated/copumpkin PRIVMSG #esoteric :oooo < 1369888056 347301 :tswett!~quassel@unaffiliated/tswett PRIVMSG #esoteric :The number 1 can be written in 10 symbols, so the first few terms are just 1. Any number n can be written in 13 + 2n symbols, so it stutters all the way through 18. < 1369888120 338001 :tswett!~quassel@unaffiliated/tswett PRIVMSG #esoteric :The number a^b can always be written using (13 + 2a) + (13 + 2b) + 11 symbols, which explains the following few terms. < 1369888134 174176 :Bike!~Glossina@71-222-50-45.ptld.qwest.net JOIN :#esoteric < 1369888236 304697 :tswett!~quassel@unaffiliated/tswett PRIVMSG #esoteric :Presumably, as n increases, the "winning expression" will become nested exponentiation, then tetration, then pentation, then the Ackermann function, then Conway's chains, then variations on those, and eventually something we haven't imagined yet. < 1369888247 505310 :Jafet!~Jafet@unaffiliated/jafet PRIVMSG #esoteric :It's kind of like a busy beaver. A... colossal coq. < 1369888260 250270 :tswett!~quassel@unaffiliated/tswett PRIVMSG #esoteric :Yeah. It's just the busy beaver sequence for the calculus of constructions. < 1369888260 678124 :copumpkin!~copumpkin@unaffiliated/copumpkin PRIVMSG #esoteric :you talking about me again? < 1369888271 103378 :tswett!~quassel@unaffiliated/tswett PRIVMSG #esoteric :Which, unlike the busy beaver sequence for Turing machines, is computable. < 1369888279 575168 :Jafet!~Jafet@unaffiliated/jafet PRIVMSG #esoteric :coqumqkin < 1369888448 310878 :tswett!~quassel@unaffiliated/tswett PRIVMSG #esoteric :I guess after a while, it seems likely that the sequence would just use the fast-growing hierarchy directly. < 1369888501 695881 :carado!~user4539@2a01:e35:8b61:e430:6ab5:99ff:fef3:f256 QUIT :Ping timeout: 240 seconds < 1369888567 671766 :tswett!~quassel@unaffiliated/tswett PRIVMSG #esoteric :We can probably figure out where the sequence falls on the fast-growing hierarchy. < 1369888647 519748 :tswett!~quassel@unaffiliated/tswett PRIVMSG #esoteric :Perhaps it corresponds to the proof theoretic ordinal of the calculus of constructions. < 1369889098 532143 :coppro!~scshunt@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :I have discovered the identity of the biggest pervert in the world < 1369889105 578831 :coppro!~scshunt@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :http://csclub.uwaterloo.ca/~scshunt/pervert.png < 1369889337 689658 :tswett!~quassel@unaffiliated/tswett PRIVMSG #esoteric :Man, f_epsilon_0 on the fast-growing hierarchy grows pretty quickly. < 1369889425 731341 :tswett!~quassel@unaffiliated/tswett PRIVMSG #esoteric :Let's just call it fe0. fe0(1) = 2, fe0(2) = 4, and fe0(3) is too large to have an upper bound concisely expressible using Conway chains. < 1369889464 240647 :coppro!~scshunt@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :f_epsilon_0? < 1369889467 33434 :coppro!~scshunt@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :how is that defined? < 1369889574 256666 :DHeadshot!~DH____@unaffiliated/dh----/x-6288474 QUIT :Ping timeout: 264 seconds < 1369889647 762698 :DHeadshot!~DH____@unaffiliated/dh----/x-6288474 JOIN :#esoteric < 1369889654 670253 :tswett!~quassel@unaffiliated/tswett PRIVMSG #esoteric :http://en.wikipedia.org/wiki/Fast-growing_hierarchy, and see http://en.wikipedia.org/wiki/Large_numbers#Systematically_creating_ever_faster_increasing_sequences for how to evaluate functions up to f_(omega^2). < 1369890192 649366 :tswett!~quassel@unaffiliated/tswett PRIVMSG #esoteric :Huh. Apparently the Esperanto Wikipedia claims that "Lasero" comes from the phrase "Lum-Amplifo per Stimulata Eligo de Radioj". < 1369890414 809193 :Jafet!~Jafet@unaffiliated/jafet PRIVMSG #esoteric :Language architecture by stealing english rendition < 1369890580 520816 :comex!~comex@ec2-23-22-255-183.compute-1.amazonaws.com JOIN :#esoteric < 1369890786 769626 :mnoqy!~okay@pool-98-108-206-66.snloca.dsl-w.verizon.net PRIVMSG #esoteric :shachaf: btw you should smlist hth < 1369890797 309408 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`smlist < 1369890799 570043 :HackEgo!dlopen@libdl.so PRIVMSG #esoteric :smlist: shachaf monqy elliott mnoqy < 1369890803 154620 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :mnoqy: Thanks! < 1369890824 755922 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :Rebol is worse than Tcl in a way: Given a block of Rebol code, you can't tell where one expression ends and the next begins. With Tcl, you can do that much, even if you can't proceed to interpret code blocks inside of that block < 1369890946 723277 :coppro!~scshunt@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :which is smlist again? < 1369890969 343142 :Bike!~Glossina@71-222-50-45.ptld.qwest.net PRIVMSG #esoteric :super mega < 1369890970 620973 :Bike!~Glossina@71-222-50-45.ptld.qwest.net PRIVMSG #esoteric :lsit < 1369891106 634765 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :ACTION isn't entirely sure why either exists < 1369891110 393793 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :if/else is equivalent < 1369891210 115638 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :mnoqy: 22:19 -!- ifeellikeabadperson whenitalkbynicking Nick change too fast. Please wait 20 seconds. < 1369891225 690142 :mnoqy!~okay@pool-98-108-206-66.snloca.dsl-w.verizon.net PRIVMSG #esoteric :have you tried waiting 20 seconds < 1369891233 158421 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :mnoqy: no < 1369891239 384555 :Bike!~Glossina@71-222-50-45.ptld.qwest.net PRIVMSG #esoteric :fuck birsd < 1369891241 259365 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :where did you get that idea < 1369891252 122959 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :are you some "kind of computer genius"......... < 1369891261 736687 :mnoqy!~okay@pool-98-108-206-66.snloca.dsl-w.verizon.net PRIVMSG #esoteric ::☺) < 1369891436 114017 :hagb4rd!~perdito@koln-4d0b6897.pool.mediaWays.net JOIN :#esoteric < 1369892705 423617 :zzo38!~zzo38@24-207-49-17.eastlink.ca QUIT :Quit: zzo38 < 1369893171 635083 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :hichaf < 1369893198 943941 :sprocklem!~sprocklem@S010674440130be65.cg.shawcable.net QUIT :Remote host closed the connection < 1369893217 488273 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :yogan < 1369893240 25090 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :kmc: it happened < 1369893281 24696 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :how did it go < 1369893283 773921 :hagb4rd!~perdito@koln-4d0b6897.pool.mediaWays.net PRIVMSG #esoteric :elliott: first pubic hair? < 1369893289 450766 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :what < 1369893293 366188 :hagb4rd!~perdito@koln-4d0b6897.pool.mediaWays.net PRIVMSG #esoteric :hi < 1369893295 888965 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :thanks hagb4rd < 1369893347 504243 :hagb4rd!~perdito@koln-4d0b6897.pool.mediaWays.net PRIVMSG #esoteric :ACTION trolls aside < 1369893384 735417 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :it's generally considered bad to troll < 1369893419 254442 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :kmc: welcome to california < 1369893420 996588 :hagb4rd!~perdito@koln-4d0b6897.pool.mediaWays.net PRIVMSG #esoteric :you're right. i'm sorry. please go ahead < 1369893424 977073 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :have you been to a california welcome center yet < 1369893431 614916 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :thaxchaf < 1369893437 535083 :hagb4rd!~perdito@koln-4d0b6897.pool.mediaWays.net PRIVMSG #esoteric :oh you were done < 1369893444 185236 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :shachaf: that's the building that says "In-n-Out Burger" right < 1369893446 809387 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :in that case, yes < 1369893461 725071 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I suppose I can't argue with that. < 1369893490 157362 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Everyone said I should go there, so I went there. But there isn't much point to it when you're vegetarian. < 1369893519 265752 :mnoqy!~okay@pool-98-108-206-66.snloca.dsl-w.verizon.net PRIVMSG #esoteric :oops < 1369893537 530484 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :mnoqy: are you expert in "In-n-Out Burger" < 1369893545 847866 :mnoqy!~okay@pool-98-108-206-66.snloca.dsl-w.verizon.net PRIVMSG #esoteric :i wouldn't call myself an expert < 1369893554 753557 :mnoqy!~okay@pool-98-108-206-66.snloca.dsl-w.verizon.net PRIVMSG #esoteric :but i know a few techs < 1369893561 642315 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :expert means you went there in your life ever < 1369893565 605773 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :or have thought about it < 1369893577 257824 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :tell me about the techs < 1369893594 313764 :mnoqy!~okay@pool-98-108-206-66.snloca.dsl-w.verizon.net PRIVMSG #esoteric :if you ask for "animal style" fries they put their goop on it, just like with their burger's < 1369893601 332320 :hagb4rd!~perdito@koln-4d0b6897.pool.mediaWays.net PRIVMSG #esoteric :we say 2 experts ~ 3 opinions < 1369893605 281343 :mnoqy!~okay@pool-98-108-206-66.snloca.dsl-w.verizon.net PRIVMSG #esoteric :hm what other techs are there < 1369893609 248852 :hagb4rd!~perdito@koln-4d0b6897.pool.mediaWays.net PRIVMSG #esoteric :locally < 1369893644 822355 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :mnoqy: teach me < 1369893654 984075 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :kmc: Are you in SF or MV? < 1369893670 961403 :mnoqy!~okay@pool-98-108-206-66.snloca.dsl-w.verizon.net PRIVMSG #esoteric :shachaf: that's the tech you just say "animal style" when ordering and that's the magic words < 1369893682 872543 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :mnoqy: yes i meant teach me other techs < 1369893686 318010 :mnoqy!~okay@pool-98-108-206-66.snloca.dsl-w.verizon.net PRIVMSG #esoteric :ah < 1369893693 144692 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :mnoqy.beaky.moed++ < 1369893694 991419 :mnoqy!~okay@pool-98-108-206-66.snloca.dsl-w.verizon.net PRIVMSG #esoteric :i wonder if you can get an "animal style" shake that'd be hm < 1369893710 197546 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :that doesn't sound delicious < 1369893713 697031 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :but what do i know < 1369893732 332782 :mnoqy!~okay@pool-98-108-206-66.snloca.dsl-w.verizon.net PRIVMSG #esoteric :gosh im having trouble remembering techs < 1369893736 482497 :mnoqy!~okay@pool-98-108-206-66.snloca.dsl-w.verizon.net PRIVMSG #esoteric :oh i remember a tech < 1369893756 151281 :mnoqy!~okay@pool-98-108-206-66.snloca.dsl-w.verizon.net PRIVMSG #esoteric :i think if you ask for "grilled cheese" you get bread with cheese on it < 1369893766 791501 :mnoqy!~okay@pool-98-108-206-66.snloca.dsl-w.verizon.net PRIVMSG #esoteric :i've never done it myself but i have memories of witnessing it < 1369893775 593737 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :how often do you go < 1369893782 486940 :mnoqy!~okay@pool-98-108-206-66.snloca.dsl-w.verizon.net PRIVMSG #esoteric :not often at all < 1369893783 88878 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :are we talking, like, untoasted bread here < 1369893795 100784 :mnoqy!~okay@pool-98-108-206-66.snloca.dsl-w.verizon.net PRIVMSG #esoteric :it's hamberger bun elliott < 1369893798 419977 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :oh < 1369893798 786327 :mnoqy!~okay@pool-98-108-206-66.snloca.dsl-w.verizon.net PRIVMSG #esoteric :im pretty sure they "toast" it < 1369893799 942805 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :that makes more sense < 1369893808 48208 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :i was really confused about california for a minute < 1369893821 497441 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :elliott: we're talking a hamburger with cheese and without the meat < 1369893840 655895 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :it's just a hamburger bun with cheese and maybe some vegetables < 1369893846 178804 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :that's what i had < 1369893883 54500 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :A grassburger is what you can get if you be vegetarian. It's like where you put some freshly-mowed lawn in place of the meat. < 1369893925 363030 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :are you sure you don't put drugz instead < 1369893934 116030 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :shachaf: I'm in a hotel in MV < 1369893935 683481 :mnoqy!~okay@pool-98-108-206-66.snloca.dsl-w.verizon.net PRIVMSG #esoteric :i've seen lots of vegetarian burger alternatives < 1369893946 368736 :mnoqy!~okay@pool-98-108-206-66.snloca.dsl-w.verizon.net PRIVMSG #esoteric :veggy burger, soy berger < 1369893947 580093 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :shachaf: in-n-out Animal Style fries are good < 1369893949 244909 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :as are the shakes < 1369893956 672997 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :and they will make a 'grilled cheese' which is like a burger minus meat < 1369893971 494985 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :07:02:36 i think if you ask for "grilled cheese" you get bread with cheese on it < 1369893977 263914 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :EARLIER < 1369893979 377028 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :06:59:54 if you ask for "animal style" fries they put their goop on it, just like with their burger's < 1369893983 350061 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :i got scoop'd < 1369893983 885533 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :way behind kmc, way behind < 1369894072 915641 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :scoop'd'd < 1369894104 122854 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :kscoopd < 1369894120 766054 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :so how did the interview go < 1369894157 129491 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :it was "alr" ight < 1369894188 616055 :mnoqy!~okay@pool-98-108-206-66.snloca.dsl-w.verizon.net PRIVMSG #esoteric :interview? < 1369894195 745193 :mnoqy!~okay@pool-98-108-206-66.snloca.dsl-w.verizon.net PRIVMSG #esoteric :oh, that interview < 1369894200 847991 :mnoqy!~okay@pool-98-108-206-66.snloca.dsl-w.verizon.net PRIVMSG #esoteric :yeah it went swimmingly < 1369894206 930186 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :kmc has some interviews this weekend....... < 1369894208 780628 :mnoqy!~okay@pool-98-108-206-66.snloca.dsl-w.verizon.net PRIVMSG #esoteric :he even left us a gift < 1369894213 684894 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :or maybe tomorrow "who knows" < 1369894300 468363 :mnoqy!~okay@pool-98-108-206-66.snloca.dsl-w.verizon.net PRIVMSG #esoteric :but is it for wsj!! < 1369894334 150171 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :no its for the csc(CASTRO STREET COMPANIES) < 1369894420 513701 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :kmc: Were we going to meet in SF on Fri or something like that? < 1369894467 445338 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :shachaf: sounds good to me < 1369894492 59643 :`^_^v!~nycs@rrcs-24-39-141-128.nyc.biz.rr.com QUIT :Ping timeout: 256 seconds < 1369894767 407784 :hagb4rd!~perdito@koln-4d0b6897.pool.mediaWays.net PRIVMSG #esoteric :can somebody pick me please explain in few words whats that reporter-interview-wsj thing is about? i somehow missed the kickoff and it seems to keep you all excited these days < 1369894782 641908 :hagb4rd!~perdito@koln-4d0b6897.pool.mediaWays.net PRIVMSG #esoteric :*pick me up < 1369894821 337416 :hagb4rd!~perdito@koln-4d0b6897.pool.mediaWays.net PRIVMSG #esoteric :link to sth? < 1369894845 657432 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :shachaf: help how do i prepare for job interview < 1369894853 78060 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :hagb4rd: http://catseye.tc/wsj.html <- good link < 1369894861 660455 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :kmc: how about... drugz < 1369894864 371099 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :(If slightly outdated.) < 1369894864 908518 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :this answer was personalised to you < 1369894870 882703 :hagb4rd!~perdito@koln-4d0b6897.pool.mediaWays.net PRIVMSG #esoteric :thx fizzie < 1369894873 172065 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :elliott: thx < 1369894883 22986 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Was the extent of the personalization that "z"? < 1369894888 83813 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :elliott: they do say memory is state dependent so maybe if i have some bong hits I will remember some of the CS i learned while stoned < 1369894902 346064 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :they say memory is state dependent b/c we rely on the govt for everything < 1369894923 168149 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :kmc: i don't know :'( < 1369894952 236618 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :kmc: teach me when you find out plz thx < 1369894963 331986 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :kmc: who are you interview'sin'g with first < 1369894974 749542 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :elliott: hey that was goin g to be my question < 1369895190 167331 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :mozilla < 1369895294 477730 :comex!~comex@ec2-23-22-255-183.compute-1.amazonaws.com NICK :iamthewolf < 1369895493 108148 :iamthewolf!~comex@ec2-23-22-255-183.compute-1.amazonaws.com NICK :comex < 1369895549 513350 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :who s interviewing you < 1369895560 291587 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :you could blackmail them or kidnap their children/pets < 1369895560 363596 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :flew into SFO today. got as far as Milbrae station before I smelled someone smoking pot and heard someone use the word "hella" < 1369895563 362121 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :god bless SF < 1369895780 812372 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :Sgeo, shachaf: I finished _The Tangled Web_ < 1369895786 117475 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :good stuff < 1369895792 254206 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :yay < 1369895794 444473 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :should i read it < 1369895797 132659 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :yes!! < 1369895811 249164 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :two exclamation marks? ok i m in < 1369895856 296179 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :i like that you can convince the user to manually change the character encoding of a page, which also changes the encoding used for a hidden iframe of an unrelated site, defeating escaping mechanisms on that site < 1369895878 630679 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Hah. < 1369895954 852850 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :kmc: What are your plans on Fri if any? < 1369895995 158953 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :no plans, you? < 1369896032 404756 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Ideally I'll get there sometime before 13:00 and try to do the passport thing. I might also meet $people but I'm not sure. < 1369896054 868502 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :also there's discussion in that book of a mechanism that's kind of like the NX bit for the web, and a workaround exploit strategy that's like ROP for the web < 1369896071 389252 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Which? < 1369896089 648175 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :some HTTP header that says which URLs can be used for