< 1383609607 345928 :Taneb!~Taneb@5.151.64.112 PRIVMSG #esoteric :quintopia, a) I was only mistaken for him by a drunk middle-aged unattractive man, and b) I'm asexual < 1383609638 722647 :Taneb!~Taneb@5.151.64.112 PRIVMSG #esoteric :And c) no < 1383609657 749418 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :i don't see how the being mistaken for mark zuckerberg by such an outlier has any bearing on the present decision on whether to go out in a bowtie < 1383609704 820594 :Taneb!~Taneb@5.151.64.112 PRIVMSG #esoteric :Hmm, maybe you're right < 1383610014 117624 :carado!~user4539@2a01:e35:8b61:e430:6ef0:49ff:fe73:1fd0 QUIT :Ping timeout: 252 seconds < 1383610381 369543 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu JOIN :#esoteric < 1383610410 754414 :realz!~pinky@pool-98-113-151-156.nycmny.fios.verizon.net JOIN :#esoteric < 1383610422 5464 :realz!~pinky@pool-98-113-151-156.nycmny.fios.verizon.net QUIT :Changing host < 1383610422 157053 :realz!~pinky@unaffiliated/realazthat JOIN :#esoteric < 1383611735 649552 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :do people actually use fibonacci heaps for anything < 1383611854 667420 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :http://www.quora.com/What-is-a-Fibonacci-Heap?share=1 has an answer in the negative from "Adam D'Angelo, former algorithms TA" < 1383612110 306616 :ais523\unfoog!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :kmc: I've used a heap library that had a fibonacci heap as one of the backends < 1383612117 55240 :ais523\unfoog!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :but I'm not sure whether it used that backend or not < 1383612132 869535 :ais523\unfoog!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :when I've written heaps manually, I typically use binary heaps < 1383612199 346164 :ais523\unfoog!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :hmm… I remember that paper which had an article hitting all the heap complexity bounds in actual time < 1383612201 647474 :ais523\unfoog!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :rather than amortized time < 1383612210 325932 :ais523\unfoog!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :using a really crazy and complex heap impl < 1383612280 42446 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :http://exoplanets.org/ attention astro nerds < 1383612321 862917 :ais523\unfoog!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :btw, I didn't tell you about my latest programming project that I haven't told you about yet < 1383612336 172050 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :ais523\unfoog: that's neat < 1383612337 438578 :ais523\unfoog!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :it's not particularly eso, but it's about the same order of bad idea < 1383612342 683068 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :I guess there is general research on de-amortization < 1383612357 807819 :ais523\unfoog!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :basically, it's a deparser for text documents < 1383612360 24965 :yorick!~yorick@oftn/member/yorick QUIT :Remote host closed the connection < 1383612374 804671 :ais523\unfoog!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :you know how you can format HTML or Texinfo or nroff or whatever as text? < 1383612386 872952 :ais523\unfoog!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :this would go the other way, with no knowledge of the source format < 1383612391 801754 :ais523\unfoog!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :trying to infer how various things were formatted < 1383612404 704860 :ais523\unfoog!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I can think of a huge many usecases for this < 1383612409 134953 :ais523\unfoog!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :but it's likely to be quite difficult to write < 1383612426 596274 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :there are some startups doing this, or similar < 1383612433 529749 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :finding PDFs on the web and extracting them to data tables < 1383612450 513011 :ais523\unfoog!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :that's not exactly what I want to do, but it's the same field < 1383612564 71333 :ais523\unfoog!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :actually the motivating example was to write a program that could display all the random files lying around /usr/share/doc in whatever format the user wanted < 1383612570 756671 :ais523\unfoog!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :and the motivating reason for /that/ was writing a better man/info/yelp < 1383612596 839921 :pikhq!~pikhq@2602:100:4751:9692:922b:34ff:fed8:75d PRIVMSG #esoteric :I was going to say "smoothsort", but it turns out that uses a completely different sort of heap. < 1383612638 905684 :pikhq!~pikhq@2602:100:4751:9692:922b:34ff:fed8:75d PRIVMSG #esoteric :The Leonardo numbers, apparently. < 1383612655 666999 :ais523\unfoog!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :(anyone who hangs out in #acehack will know that I have trivial motivating reasons for really complex projects) < 1383612721 881838 :ais523\unfoog!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I think I'll start by converting everything to elastic tabs < 1383612729 576831 :ais523\unfoog!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :(something that text editors should do anyway) < 1383612836 849783 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :kmc: i feel like i should read _Purely-Functional Data Structures_ < 1383612838 511962 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :did you read it < 1383612924 83894 :Taneb!~Taneb@5.151.64.112 QUIT :Quit: Leaving < 1383613091 172763 :john_metcalf!~digital_w@87.114.126.86 QUIT :*.net *.split < 1383613091 399705 :FreeFull!~freefull@defocus/sausage-lover QUIT :*.net *.split < 1383613091 399858 :ski!~md9slj@remote1.student.chalmers.se QUIT :*.net *.split < 1383613091 400011 :Lymia!~moe@inportb/loli/cirno-chan QUIT :*.net *.split < 1383613091 559485 :rodgort!~rodgort@li125-242.members.linode.com QUIT :*.net *.split < 1383613091 559606 :FireFly!~firefly@oftn/member/FireFly QUIT :*.net *.split < 1383613099 750638 :ski!~md9slj@remote1.student.chalmers.se JOIN :#esoteric < 1383613104 715386 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :some of it < 1383613106 231839 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :it's good < 1383613109 136750 :FreeFull!~freefull@2.120.148.116 JOIN :#esoteric < 1383613118 605825 :Lymia!~moe@108-205-143-75.lightspeed.rcsntx.sbcglobal.net JOIN :#esoteric < 1383613127 595650 :rodgort!~rodgort@li125-242.members.linode.com JOIN :#esoteric < 1383613137 680187 :FreeFull!~freefull@2.120.148.116 QUIT :Changing host < 1383613137 830978 :FreeFull!~freefull@defocus/sausage-lover JOIN :#esoteric < 1383613153 566803 :Lymia!~moe@108-205-143-75.lightspeed.rcsntx.sbcglobal.net QUIT :Changing host < 1383613153 717419 :Lymia!~moe@inportb/loli/cirno-chan JOIN :#esoteric < 1383613242 277046 :FireFly!~firefly@oftn/member/FireFly JOIN :#esoteric < 1383613526 762205 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric ::t flip (foldr id) < 1383613527 971161 :lambdabot!lambdabot@2a01:7e00::f03c:91ff:fedf:9fdd PRIVMSG #esoteric :[c -> c] -> c -> c < 1383613628 509184 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :> (flip (foldr id)) [succ, pred] 17 < 1383613630 109280 :lambdabot!lambdabot@2a01:7e00::f03c:91ff:fedf:9fdd PRIVMSG #esoteric : 17 < 1383613634 725065 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :metal < 1383613646 557924 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :> (flip (foldr id)) [(7+),(2*)] 17 < 1383613647 937446 :lambdabot!lambdabot@2a01:7e00::f03c:91ff:fedf:9fdd PRIVMSG #esoteric : 41 < 1383613724 345309 :ais523\unfoog!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :@pl \f.\g.\h.\x.g(f(h(x))) < 1383613724 685490 :lambdabot!lambdabot@2a01:7e00::f03c:91ff:fedf:9fdd PRIVMSG #esoteric :(line 1, column 3): < 1383613724 899708 :lambdabot!lambdabot@2a01:7e00::f03c:91ff:fedf:9fdd PRIVMSG #esoteric :unexpected "." < 1383613725 50772 :lambdabot!lambdabot@2a01:7e00::f03c:91ff:fedf:9fdd PRIVMSG #esoteric :expecting letter or digit, operator, pattern or "->" < 1383613733 699595 :ais523\unfoog!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :@pl \f->\g->\h->\x->g(f(h(x))) < 1383613736 932325 :lambdabot!lambdabot@2a01:7e00::f03c:91ff:fedf:9fdd PRIVMSG #esoteric :flip ((.) . (.)) . (.) < 1383613737 152906 :lambdabot!lambdabot@2a01:7e00::f03c:91ff:fedf:9fdd PRIVMSG #esoteric :optimization suspended, use @pl-resume to continue. < 1383613746 289180 :ais523\unfoog!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :bleh, lambdabot, why don't you work on Verity? < 1383613748 128256 :ais523\unfoog!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :@pl-resume < 1383613754 290227 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :is @pl still ill < 1383613754 441301 :lambdabot!lambdabot@2a01:7e00::f03c:91ff:fedf:9fdd PRIVMSG #esoteric :flip ((.) . (.)) . (.) < 1383613754 592178 :lambdabot!lambdabot@2a01:7e00::f03c:91ff:fedf:9fdd PRIVMSG #esoteric :optimization suspended, use @pl-resume to continue. < 1383613761 522096 :ais523\unfoog!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :@pl-resume < 1383613764 204979 :ais523\unfoog!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :oerjan: I think so < 1383613766 110347 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :i've yet to see @pl-resume give a different answer < 1383613773 926980 :lambdabot!lambdabot@2a01:7e00::f03c:91ff:fedf:9fdd PRIVMSG #esoteric :flip ((.) . (.)) . (.) < 1383613774 83184 :lambdabot!lambdabot@2a01:7e00::f03c:91ff:fedf:9fdd PRIVMSG #esoteric :optimization suspended, use @pl-resume to continue. < 1383613795 87372 :ais523\unfoog!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :anyway, that function seems to be the programming-language version of the functor \Rightarrow < 1383613797 208707 :ais523\unfoog!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :which is kind-of important < 1383613800 769689 :ais523\unfoog!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :so I was wondering if it had a name < 1383613847 159723 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :@pl \f g h x -> g (f (h x)) < 1383613850 629105 :lambdabot!lambdabot@2a01:7e00::f03c:91ff:fedf:9fdd PRIVMSG #esoteric :flip ((.) . (.)) . (.) < 1383613850 779995 :lambdabot!lambdabot@2a01:7e00::f03c:91ff:fedf:9fdd PRIVMSG #esoteric :optimization suspended, use @pl-resume to continue. < 1383613852 387178 :ais523\unfoog!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :@pl \(f,g)->\(x,y)->(f(x),g(y)) < 1383613852 772623 :lambdabot!lambdabot@2a01:7e00::f03c:91ff:fedf:9fdd PRIVMSG #esoteric :uncurry (flip flip snd . (ap .) . flip flip fst . ((.) .) . flip . (((.) . (,)) .)) < 1383613860 47787 :ais523\unfoog!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :that's even worse < 1383613863 152318 :ais523\unfoog!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :that one's \otimes < 1383613875 72239 :ais523\unfoog!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :and it looks reasonable that that one might have a name < 1383613878 608428 :ais523\unfoog!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :or at least a short impl < 1383613884 719381 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :@pl \f g h -> g . f . h < 1383613888 180418 :lambdabot!lambdabot@2a01:7e00::f03c:91ff:fedf:9fdd PRIVMSG #esoteric :flip ((.) . (.)) . (.) < 1383613888 393987 :lambdabot!lambdabot@2a01:7e00::f03c:91ff:fedf:9fdd PRIVMSG #esoteric :optimization suspended, use @pl-resume to continue. < 1383613904 742049 :ais523\unfoog!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :is Haskell this bad at functors? < 1383613912 703262 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :@pl \f g -> (.) (g . f) < 1383613916 277858 :lambdabot!lambdabot@2a01:7e00::f03c:91ff:fedf:9fdd PRIVMSG #esoteric :((.) .) . flip (.) < 1383613916 428770 :lambdabot!lambdabot@2a01:7e00::f03c:91ff:fedf:9fdd PRIVMSG #esoteric :optimization suspended, use @pl-resume to continue. < 1383613917 506113 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :isn't "\(f,g)->\(x,y)->(f(x),g(y))" a short implementation < 1383613961 815066 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric ::t uncurry (***) < 1383613962 915565 :lambdabot!lambdabot@2a01:7e00::f03c:91ff:fedf:9fdd PRIVMSG #esoteric :Arrow a => (a b c, a b' c') -> a (b, b') (c, c') < 1383613977 462998 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :uh i'm pretty sure arrow is the antichrist....>??? < 1383613983 982524 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :OKAY < 1383614003 199827 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :going off reliable esoteric information here < 1383614003 387825 :prooftechnique!~Also@c-24-147-92-50.hsd1.vt.comcast.net JOIN :#esoteric < 1383614017 72171 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :> uncurry (***) ((+1),(*2)) (5,10) < 1383614017 256291 :ais523\unfoog!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :in the categorical semantics I'm working on < 1383614018 497750 :lambdabot!lambdabot@2a01:7e00::f03c:91ff:fedf:9fdd PRIVMSG #esoteric : (6,20) < 1383614018 955174 :ais523\unfoog!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :uncurry = id < 1383614041 254535 :ais523\unfoog!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :oerjan: I like your impl < 1383614043 781104 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :ais523\unfoog: anyway @pl doesn't know much about Arrows. < 1383614052 231076 :ais523\unfoog!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :right < 1383614067 915180 :ais523\unfoog!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :Arrow's a bit of an ironic name, though < 1383614086 483560 :ais523\unfoog!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :given that arrow/morphism in categorical semantics = function in programming language < 1383614159 661908 :ais523\unfoog!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :sometimes I feel that Haskell isn't as category-theoretical as its supporters make it out to be < 1383614236 646630 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :i feel betrayed. < 1383614349 871591 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :ais523\unfoog: well Arrow is a subclass of Category nowadays. < 1383614360 682067 :ais523\unfoog!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :oerjan: that makes even less sense < 1383614361 244162 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :in particular, (->) is only one instance. < 1383614366 5160 :ais523\unfoog!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :category theory doesn't work like that < 1383614377 199288 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :the name Arrow is not particularly well-chosen, though. < 1383614415 888400 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :It seems better it should have: functor between categories, tensor categories, fanout category, etc, instead of being like such Arrow class < 1383614452 987603 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :ais523\unfoog: the idea is that a value of type Arrow a x y is an arrow from x to y in a category given by a. < 1383614460 474072 :ais523\unfoog!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :oerjan: right < 1383614478 886803 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :although the class heaps on stuff that isn't just arrow requirements. < 1383614486 726195 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :(Category alone has those.) < 1383614492 687393 :ais523\unfoog!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :the only actual requirement is for a composition operator < 1383614493 799609 :prooftechnique!~Also@c-24-147-92-50.hsd1.vt.comcast.net PRIVMSG #esoteric :I think it'd be fun to make a nethack clone with ed keybindings < 1383614509 842766 :ais523\unfoog!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :prooftechnique: NetHack 4 (my fork) has rebindable keys < 1383614522 95248 :ais523\unfoog!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :not sure if ed's keybindings even remotely correspond to the commands ed has, though < 1383614528 39479 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :prooftechnique: Try it, what key would they command < 1383614538 543137 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :ais523: What changes did you make though? < 1383614542 456895 :ais523\unfoog!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :zzo38: loads < 1383614545 332075 :ais523\unfoog!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :mostly to internals < 1383614583 704827 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :Did you add rebindable keys or is that already in there? < 1383614632 991286 :ais523\unfoog!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :NetHack 3.4.3 doesn't have rebindable keys < 1383614643 940076 :ais523\unfoog!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :but the key rebinding code was copied from another NetHack fork (NitroHack) < 1383614652 479895 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :O, well that is good you add it, then; it was missing then < 1383614658 550491 :ais523\unfoog!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :however, the key /parsing/ code is new < 1383614894 366370 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :OK < 1383615168 311586 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :is there a bf clone that does non-deterministic computations in deterministic time? because if not, i want to make one < 1383615180 446179 :ais523\unfoog!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :quintopia: interesting < 1383615184 957644 :ais523\unfoog!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :a sort of quantum BF? < 1383615187 761075 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :yes < 1383615188 117761 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :q: what does that mean < 1383615192 996990 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :everettian BF < 1383615193 686593 :ais523\unfoog!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :actually, I think Brainfork can do that < 1383615199 874432 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :
ACTION looks
< 1383615201 196963 :ais523\unfoog!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :so long as there's a way to kill threads, not sure if there is < 1383615224 431490 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :who is the guy in the google logo < 1383615258 710501 :ais523\unfoog!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :btw, Brainfork was invented before BF derivs got old < 1383615263 878805 :prooftechnique!~Also@c-24-147-92-50.hsd1.vt.comcast.net PRIVMSG #esoteric :quintopia: The doodle today? < 1383615266 814604 :ais523\unfoog!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :it was like the second or third semantics-changing deriv < 1383615288 292445 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :prooftechnique: yes < 1383615292 954282 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :i'm too lazy to click it < 1383615294 530052 :prooftechnique!~Also@c-24-147-92-50.hsd1.vt.comcast.net PRIVMSG #esoteric :http://en.wikipedia.org/wiki/Shakuntala_Devi < 1383615302 830568 :prooftechnique!~Also@c-24-147-92-50.hsd1.vt.comcast.net PRIVMSG #esoteric :Mental math world record or something < 1383615410 511187 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :ais523\unfoog: yeah, it doesn't look like there's a way to kill forked threads in brainfork. but you can sort of do nondeterministic computations by doing some very fancy algorithming. but my idea would add no new commands and wouldn't require thread management. < 1383615424 634958 :glogbackup!~glogbacku@64.31.59.246 JOIN :#esoteric < 1383615438 695533 :ais523\unfoog!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :hi glogbackup < 1383615515 661063 :ais523\unfoog!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :`welcome glogbackup < 1383615517 622369 :HackEgo!dlopen@libdl.so PRIVMSG #esoteric :glogbackup: Welcome to the international hub for esoteric programming language design and deployment! For more information, check out our wiki: . (For the other kind of esoterica, try #esoteric on irc.dal.net.) < 1383615612 376515 :Uguubee1111113!~uguubee@101.166.145.209 JOIN :#esoteric < 1383615652 559647 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :ais523\unfoog: my idea is to have the semantics of . change to "append byte to waiting-to-output queue" and the semantics of program halt change to "if waiting-to-output queue matches the tail of the input list, output, otherwise, move all amplitude of this universe's wavefunction into the universe where the tail of the input list is equal to the contents of the current waiting-to-output queue at the moment of program instantiation" < 1383615677 284195 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :obviously, , would not consume the input list, just advance an index into it < 1383615697 408707 :ais523\unfoog!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :`run grep '^: Welcome to the' /var/logs/_esoteric/*.txt | cut -f1 -d':' | cut -f2 -d'>' | sort | uniq -c < 1383615698 647700 :HackEgo!dlopen@libdl.so PRIVMSG #esoteric :grep: /var/logs/_esoteric/*.txt: No such file or directory < 1383615708 11510 :ais523\unfoog!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :`run grep '^: Welcome to the' /var/irclogs/_esoteric/*.txt | cut -f1 -d':' | cut -f2 -d'>' | sort | uniq -c < 1383615723 339155 :ais523\unfoog!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :wait, there's a stray ^ there < 1383615726 433681 :ais523\unfoog!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :`run grep ': Welcome to the' /var/irclogs/_esoteric/*.txt | cut -f1 -d':' | cut -f2 -d'>' | sort | uniq -c < 1383615739 459237 :HackEgo!dlopen@libdl.so PRIVMSG #esoteric :No output. < 1383615757 990257 :HackEgo!dlopen@libdl.so PRIVMSG #esoteric :No output. < 1383615788 493105 :ais523\unfoog!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :hmm < 1383615790 393931 :ais523\unfoog!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :is it timing out? < 1383615797 226117 :ais523\unfoog!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :`run grep ': Welcome to the' /var/irclogs/_esoteric/2013*.txt | cut -f1 -d':' | cut -f2 -d'>' | sort | uniq -c < 1383615805 760062 :ais523\unfoog!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :or is there something wrong with the line? < 1383615811 166414 :HackEgo!dlopen@libdl.so PRIVMSG #esoteric :​ 18 /var/irclogs/_esoteric/2013-01-04-raw.txt \ 18 /var/irclogs/_esoteric/2013-01-04.txt \ 1 /var/irclogs/_esoteric/2013-01-05-raw.txt \ 1 /var/irclogs/_esoteric/2013-01-05.txt \ 1 /var/irclogs/_esoteric/2013-01-06-raw.txt \ 1 /var/irclogs/_esoteric/2013-01-06.txt \ 1 /var/irclogs/_esoteric/2013-01-07-raw.t < 1383615818 523980 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :One thing is you should indicate whether you want raw or non-raw < 1383615819 526982 :ais523\unfoog!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :oh, right < 1383615834 622799 :Sgeo!~quassel@ool-ad034ea6.dyn.optonline.net JOIN :#esoteric < 1383615853 275482 :ais523\unfoog!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :`run grep -h ': Welcome to the' /var/irclogs/_esoteric/2013-??-??.txt | cut -f1 -d':' | cut -f2 -d'>' | sort | uniq -c < 1383615857 97773 :HackEgo!dlopen@libdl.so PRIVMSG #esoteric :​ 7 00 \ 16 01 \ 18 02 \ 6 03 \ 7 04 \ 11 05 \ 10 06 \ 11 07 \ 2 08 \ 2 09 \ 4 10 \ 10 11 \ 6 12 \ 7 13 \ 6 14 \ 11 15 \ 11 16 \ 14 17 \ 16 18 \ 15 19 \ 16 20 \ 19 21 \ 20 22 \ 18 23 < 1383615876 436664 :ais523\unfoog!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :aha, there are colons in the timestamp < 1383615880 586375 :ais523\unfoog!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :`run grep -h ': Welcome to the' /var/irclogs/_esoteric/2013-??-??.txt | cut -f1 -d'4' | cut -f2 -d'>' | sort | uniq -c < 1383615883 193715 :HackEgo!dlopen@libdl.so PRIVMSG #esoteric :​ 7 0 \ 2 ​0 \ 2 00: \ 1 00:10:3 \ 1 00:3 \ 1 00:32: \ 7 01: \ 1 01:05:3 \ 1 01:08: \ 1 01:13: \ 1 01:31: \ 1 02: \ 1 02:09: \ 1 02:56: \ 1 03: \ 1 03:19:0 \ 1 03:31:2 \ 1 03:5 \ 1 ​03{^Raven08^}: Welcome to the international < 1383615888 431228 :ais523\unfoog!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :`run grep -h ': Welcome to the' /var/irclogs/_esoteric/2013-??-??.txt | cut -f4 -d':' | cut -f2 -d'>' | sort | uniq -c < 1383615890 686750 :HackEgo!dlopen@libdl.so PRIVMSG #esoteric :​ 1 ​03boi10l07y \ 1 ​03lambda11bot \ 1 ​03P05h13antom_Hoove06r \ 1 ​03{^Raven08^} \ 1 ​04inten14sit12y \ 1 ​04kyyni \ 1 ​04shi05khi03n \ 1 ​05matth07iaskrgr \ 1 ​05simmarin07e_ \ 1 ​0610snuffeluf03fegus \ 1 ​06audioPhil07 < 1383615896 208040 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :this is good < 1383615902 844966 :ais523\unfoog!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :`run grep -h ': Welcome to the' /var/irclogs/_esoteric/2013-??-??.txt | cut -f4 -d':' | cut -f2 -d'>' | sort | uniq -c | sort -rn < 1383615905 136112 :HackEgo!dlopen@libdl.so PRIVMSG #esoteric :​ 13 Bike \ 8 oerjan \ 5 monqy \ 5 kmc \ 4 sivoais \ 4 `run grep -h ' \ 3 Taneb \ 3 SirCmpwn \ 3 Sgeo \ 3 Regis_ \ 3 Fiora \ 2 yhojeyisaac \ 2 windmill \ 2 Tritonio \ 2 ThatOtherPerson \ 2 surma \ 2 sploknee \ 2 Snowyowl \ < 1383615915 33532 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric ::o < 1383615921 369104 :ais523\unfoog!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :`run grep -h ': Welcome to the' /var/irclogs/_esoteric/20??-??-??.txt | cut -f4 -d':' | cut -f2 -d'>' | sort | uniq -c | sort -rn < 1383615936 164094 :HackEgo!dlopen@libdl.so PRIVMSG #esoteric :​ 22 fdhsfdsgdsg \ 19 oerjan \ 16 elliott \ 15 Bike \ 13 monqy \ 9 shachaf \ 8 ais523 \ 6 HackEgo \ 5 Taneb \ 5 sivoais \ 5 `run grep -h ' \ 5 -!- oerjan changed the topic of #esoteric to \ 5 kmc \ 5 fungot \ 5 Fiora \ 4 zzo38 \ 4 shub < 1383615970 580960 :ais523\unfoog!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :who was fdhsfdsgdsg and why did they get welcomed so much? < 1383615976 490156 :ais523\unfoog!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :`pastlog fdhsfdsgdsg < 1383615984 402301 :HackEgo!dlopen@libdl.so PRIVMSG #esoteric :2012-03-02.txt:12:29:26: ​^ul (?so `ok fdhsfdsgdsg: 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)S < 1383615998 80197 :ais523\unfoog!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :botloop, I guess < 1383616010 409337 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :ais523\unfoog: sorry to be zzo38ish, but does my description above make sense? should i wiki it? < 1383616013 434697 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :wait, i've been welcomed 15 times < 1383616014 468924 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :? < 1383616018 405906 :ais523\unfoog!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :Bike: yes < 1383616031 726953 :ais523\unfoog!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :quintopia: it needs to be explained in a bit more detail, I think < 1383616058 25502 :ais523\unfoog!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :`run grep -h ': Welcome to the' /var/irclogs/_esoteric/20??-??-??.txt | cut -f4 -d':' | cut -f2 -d'>' | sort | uniq -c | sort -rn | grep -v '!' | xargs < 1383616063 150059 :HackEgo!dlopen@libdl.so PRIVMSG #esoteric :xargs: unmatched single quote; by default quotes are special to xargs unless you use the -0 option \ 22 fdhsfdsgdsg 19 oerjan 16 elliott 15 Bike 13 monqy 9 shachaf 8 ais523 6 `run grep -h < 1383616076 555117 :ais523\unfoog!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :bleh < 1383616089 711361 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :ais523\unfoog: so it doesn't make sense? < 1383616094 931417 :ais523\unfoog!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :`run grep -h ': Welcome to the' /var/irclogs/_esoteric/20??-??-??.txt | cut -f4 -d':' | cut -f2 -d'>' | sort | uniq -c | sort -rn | grep -v '!' | grep -v '`' | xargs < 1383616097 111290 :ais523\unfoog!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :it almost makes sense < 1383616100 751909 :HackEgo!dlopen@libdl.so PRIVMSG #esoteric :22 fdhsfdsgdsg 19 oerjan 16 elliott 15 Bike 13 monqy 9 shachaf 8 ais523 6 HackEgo 5 Taneb 5 sivoais 5 kmc 5 fungot 5 Fiora 4 zzo38 4 shubshub 4 Sgeo 4 Gracenotes 4 CHeReP 4 carado 4 andrew12 3 WeThePeople 3 tswett 3 ThePope 3 test 3 Snowyowl 3 sirdancealot 3 SirCmpwn 3 segorev 3 Regis_ 3 ogrom 3 mean 3 john_metcalf 3 Jafet 3 hi 3 GreyKnight 3 Grego < 1383616105 697658 :ais523\unfoog!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :there, that's what I wanted < 1383616116 356632 :ais523\unfoog!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :sorry about all the pings, everyone < 1383616142 951331 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :ais523\unfoog: can you add background coloration to each number/name pair to make it easier to group them mentally? < 1383616155 64864 :ais523\unfoog!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :quintopia: no, because my client doesn't support background colors < 1383616181 380657 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :ais523\unfoog: colors are cool. lrn2bcolorful. < 1383616200 467641 :ais523\unfoog!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :it does support foreground colors except I disabled them < 1383616215 375249 :ais523\unfoog!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :which lead to this bug report: https://bugs.kde.org/show_bug.cgi?id=317034 < 1383616232 539183 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :you could be coolour with more colour. < 1383616310 771686 :nisstyre!~yours@oftn/member/Nisstyre QUIT :Ping timeout: 264 seconds < 1383616329 960167 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :ais523\unfoog: do you know of a way to compare two positive numbers in unbounded-cell BF using less than 5 cells? < 1383616359 374872 :ais523\unfoog!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :quintopia: does the interp support negative numbers? < 1383616367 511415 :ais523\unfoog!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :but yeah, I think regardless, it's doable < 1383616367 895622 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :sure < 1383616394 672686 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :i can't think of a way to do it in less than 5 < 1383616395 919262 :ais523\unfoog!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :or, hmm < 1383616404 886113 :ais523\unfoog!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :yeah, the way I was thinking of takes 5, if you include the two numbers themselves < 1383616417 699731 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :what way are you thinking? < 1383616426 368376 :ais523\unfoog!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :http://esolangs.org/wiki/Brainfuck_algorithms#z_.3D_x_.E2.89.A5_y < 1383616437 984001 :ais523\unfoog!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :oh, hmm, that needs a wrapping impl < 1383616464 762226 :ais523\unfoog!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :hadn't looked at that algo in a while < 1383616491 85388 :ais523\unfoog!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :you can do it in 2 if you don't mind an infinite loop if one particular number is higher < 1383616496 544260 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :haha < 1383616498 843213 :ais523\unfoog!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :and don't mind destroying the original number < 1383616501 190268 :ais523\unfoog!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :*numbers < 1383616523 364913 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :let's call that "might compare" :P < 1383616558 254993 :ais523\unfoog!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I bet it's doable in 3 if they're all consecutive and you don't mind the algo destroying the original numbers and returning using the position of the tape pointer < 1383616580 768127 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :show me < 1383616612 458300 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :the method i'm thinking of requires both those conditions and still takes 5 < 1383616750 365153 :Sprocklem!~Sprocklem@S010674440130be65.cg.shawcable.net JOIN :#esoteric < 1383616809 599117 :ais523\unfoog!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :actually no, that takes 4 < 1383616814 797204 :ais523\unfoog!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :put a zero either side of the two numbers you're comparing < 1383616832 980039 :ais523\unfoog!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :then from the first number, do [->-[>]<<] < 1383616872 842945 :ais523\unfoog!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :the two zeros never change, though < 1383616922 41990 :ais523\unfoog!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :come to think of it, that looks like the fastest compare algo I've ever seen < 1383616954 457750 :ais523\unfoog!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :it runs in O(a-b) if a is larger, O(a) if a is smaller, and the constant's pretty low too < 1383616991 991326 :ais523\unfoog!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :if you had an if rather than a while, you could do it in 3 < 1383617000 923721 :ais523\unfoog!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :by changing the [>] to an if[>] < 1383617109 398425 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :that's better than what i had, but the basic idea is the same. < 1383617138 326646 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :but how do you do a conditional on the result? < 1383617144 825206 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :without using an extra cell? < 1383617202 784898 :nisstyre!~yours@oftn/member/Nisstyre JOIN :#esoteric < 1383617246 865666 :ais523\unfoog!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :go right one cell < 1383617249 694240 :ais523\unfoog!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :then check for zero < 1383617270 855234 :ais523\unfoog!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :that leaves you still uncertain where the pointer is if you find that it's zero < 1383617280 662321 :ais523\unfoog!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :because it'll be in a different position for equal and for less than < 1383617286 639970 :ais523\unfoog!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :but it does technically fulfil the conditions < 1383617375 954326 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :no < 1383617386 910191 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :one cell to the right will always be nonzero unless x=y < 1383617426 435455 :ais523\unfoog!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :if x>y, then one cell to the right is x, and nonzero < 1383617435 51604 :ais523\unfoog!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :if x=y then one cell to the right is x, and zero < 1383617446 37136 :ais523\unfoog!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :if xy < 1383617599 996264 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :what would happen if you initialized it to 1 < 1383617626 343761 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :you end up back there with it zero < 1383617627 399216 :ais523\unfoog!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :you'd go round the loop again, it'd become 0, x would be tested for equality to 1 < 1383617639 640647 :ais523\unfoog!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :depending on the result you'd either end up there or to the left < 1383617649 589225 :ais523\unfoog!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :if you know that x-y isn't 1 it would work < 1383617656 5855 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :what would happen if you initialized it to -1 < 1383617706 554928 :ais523\unfoog!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :then it'd keep being decremented until x became 0, then you'd end up on the cell to the left < 1383617737 602762 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :yep < 1383617739 796256 :shikhin!~Shikhin@unaffiliated/shikhin JOIN :#esoteric < 1383617781 982522 :ais523\unfoog!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :which makes 5 cells :) < 1383617807 384079 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :what if you replace the << with <[<]>? same algorithm basically? < 1383617828 451738 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :oh no < 1383617829 693508 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :nvm < 1383617850 236213 :ais523\unfoog!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :that acts differently in the x=0 case < 1383617854 518962 :ais523\unfoog!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :err, x=y < 1383617865 247380 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :it also acts differently if y is less :P < 1383617887 513862 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :ah i know < 1383617960 736911 :ais523\unfoog!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :oh yeah, it just continues looping < 1383618021 952417 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :[>->-[>]<<<->[<]+] or something like that. starting with the left cell at 1. < 1383618077 847189 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :that may not terminate :P < 1383618086 662144 :ais523\unfoog!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :idea < 1383618095 990963 :ais523\unfoog!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :wait, no < 1383618110 869149 :ais523\unfoog!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :ah yes < 1383618121 425790 :ais523\unfoog!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :start the left cell at 1 and do [>-[>]<<-] < 1383618146 763861 :ais523\unfoog!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :not sure if that helps though :P < 1383618167 62974 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :huh? i'm not sure what that does... < 1383618178 709908 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :did you start it at x or at 1 < 1383618211 653936 :ais523\unfoog!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I started it at the x < 1383618214 575097 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :ah < 1383618220 590116 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :makes more sense < 1383618278 288650 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :looks like it runs off the left edge printing -1s < 1383618289 772486 :ais523\unfoog!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :no it doesn't < 1383618295 895263 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :
ACTION looks again
< 1383618307 853064 :ais523\unfoog!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :if x is smaller or equal, it ends when x is set to 0 < 1383618316 62053 :ais523\unfoog!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :if x is larger, it moves to the 1, sets it to 0, and exits < 1383618340 858718 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :ah i see < 1383618341 325516 :ais523\unfoog!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :so you end up at (0) x-y 0 0, or at 1 (0) y-x 0 < 1383618356 554158 :ais523\unfoog!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :sadly those still can't be distinguished without extra cells < 1383618371 175276 :ais523\unfoog!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :also there's an off by one in there somewhere I think < 1383618398 881758 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :yeah < 1383618411 421571 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :so it misses x=y < 1383618436 2726 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :i'll just stick with my five cell solution then :) < 1383618518 10166 :ais523\unfoog!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :it feels like it /should/ be possible :) < 1383618758 739220 :shikhin!~Shikhin@unaffiliated/shikhin QUIT :Ping timeout: 264 seconds < 1383618903 395517 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :i think i might have a way. it's pretty damn slow, but i think it can be done in 4 < 1383618921 205914 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :it's long so i'll just describe < 1383618968 968722 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :start by turning x,y,0,0 into 0,0,x-y,y-x in the obvious way < 1383619017 756624 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :then, increment the second cellwait no < 1383619022 308638 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :forget y-x < 1383619026 895083 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :
ACTION writes this down
< 1383619032 126687 :ais523\unfoog!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :you can't forget y-x < 1383619044 371620 :ais523\unfoog!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :there's no test for negative/positive in nonwrapping BF without loads of temporaries < 1383619047 619929 :ais523\unfoog!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :because you have to keep taking it past 0 < 1383619049 705904 :ais523\unfoog!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :wiggle clear style < 1383619055 269052 :ais523\unfoog!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :err, past its original value < 1383619058 701860 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :that's what i was going to do < 1383619061 421202 :ais523\unfoog!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :wow < 1383619065 618773 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :test the sign of x-y < 1383619074 595703 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :by going down 1, up 2, down 3, up 4 etc. < 1383619080 461465 :ais523\unfoog!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :well you have three temporaries to do that < 1383619083 65877 :ais523\unfoog!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :but I'm not sure that's enough < 1383619091 120807 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :using the two temps as indices, used alternately < 1383619227 902799 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :so one round increments temp0 temp1 and test until temp0 (known to be negative) is zero, then tests the test value. then temp1 is incremented and the next round decrements temp0 temp1 and test until temp1 (known to be positive) is zero, then tests, then temp0 is decremented and repeat < 1383619233 993809 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :uses only 3 cells < 1383619266 418126 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :which round you get test=0 in (even or odd) gives you test's sign < 1383619358 743740 :utopian!njm@ultra30.tptp.cc QUIT :Quit: Lost terminal < 1383619447 186773 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :(i'll still use the five-cell solution for being blindingly faster) < 1383619452 259682 :ais523\unfoog!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :hmm < 1383619457 432388 :ais523\unfoog!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :what's that in code < 1383619466 124865 :ais523\unfoog!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :let's start with x-y temp0 temp1 < 1383619478 536113 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :x-y (temp0) temp1 < 1383619479 240252 :ais523\unfoog!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I think you have problems leaving the loop < 1383619485 899488 :ais523\unfoog!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :nah you have to start on x-y < 1383619494 814162 :ais523\unfoog!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :to test for zero < 1383619517 655513 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :the test is "which round am i on" so it doesn't matter where you start < 1383619534 164049 :ais523\unfoog!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I'm not going to believe this doesn't need a fourth cell until you write it out < 1383619547 468209 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :okay give me a few < 1383619574 932335 :Sgeo!~quassel@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :Is it wrong that I was expecting Prolog to be a bit saner than the List monad? < 1383619618 548988 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :yes, turn yourself in < 1383619651 776547 :ais523\unfoog!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :Prolog's more /interesting/ than the List monad :) < 1383619667 580889 :ais523\unfoog!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :actually, Prolog has two main features < 1383619683 27215 :ais523\unfoog!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :nondeterminism, which the List monad does in a different and arguably saner way < 1383619690 852463 :ais523\unfoog!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :and unification, which the List monad doesn't do at all < 1383619746 395246 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :Then you would need to make up the unification monad too < 1383619755 261839 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :get on it < 1383619762 593975 :Sgeo!~quassel@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :I want Prolog to be more like the Logic monad < 1383619773 451195 :Sgeo!~quassel@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :Or, well, using the non-monady bits like >>- iirc < 1383619774 492187 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :is that a real monad < 1383619785 795569 :Sgeo!~quassel@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :http://hackage.haskell.org/package/logict-0.2.3/docs/Control-Monad-Logic.html < 1383619787 338077 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :I think the Logic monad is equivalent to the list monad as far as I can tell? < 1383619820 504155 :Sgeo!~quassel@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :I think the monad is equivalent but it also provides variations of bind and other things that make it... backtrack differently < 1383619844 310139 :Sgeo!~quassel@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :I think < 1383619859 830990 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :No, that is a class, which is provided to list monad too < 1383619898 109189 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :But there is LogicT which may be useful in some way as a kind of list monad transformer that is correct < 1383619903 415773 :Sgeo!~quassel@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :> do { x <- [1..]; y <- [2..]; guard (x == 2 && y == 2); return "Hi" } < 1383619910 741442 :lambdabot!lambdabot@2a01:7e00::f03c:91ff:fedf:9fdd PRIVMSG #esoteric : mueval-core: Time limit exceeded < 1383619960 900581 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :but the result is of the correct type! < 1383620160 124146 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :> [1..] >>- \x -> [2..] >>- \y -> do guard (x == 2 && y == 2); return "Hi" < 1383620161 581102 :lambdabot!lambdabot@2a01:7e00::f03c:91ff:fedf:9fdd PRIVMSG #esoteric : Not in scope: `>>-' < 1383620161 732054 :lambdabot!lambdabot@2a01:7e00::f03c:91ff:fedf:9fdd PRIVMSG #esoteric : Perhaps you meant one of these: < 1383620161 732237 :lambdabot!lambdabot@2a01:7e00::f03c:91ff:fedf:9fdd PRIVMSG #esoteric : `>>' (imported from... < 1383620167 425808 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :eep < 1383620174 583162 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :elliott!!! < 1383620195 73824 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oerjan: (>>-)? < 1383620200 857299 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Is that from semigroupoids? < 1383620215 7003 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :shachaf: no from logict < 1383620244 950906 :Sgeo!~quassel@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :oerjan: I don't think (Num a) => [a] is a (Num a) => Logic a, is it? Although I'd expect a different error < 1383620260 232105 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :http://hackage.haskell.org/package/semigroupoids-4.0/docs/Data-Functor-Bind.html has it too < 1383620276 360171 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :Sgeo: istr >>- worked just find with lists in previous versions of lambdabot < 1383620280 125475 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :*fine < 1383620328 574115 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :at least we were having fun with it < 1383620409 335630 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric ::t (Control.Monad.Logic.>>-) < 1383620412 186198 :lambdabot!lambdabot@2a01:7e00::f03c:91ff:fedf:9fdd PRIVMSG #esoteric :Control.Monad.Logic.Class.MonadLogic m => m a -> (a -> m b) -> m b < 1383620415 314488 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :oh. < 1383620445 283698 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :> [1..] Control.Monad.Logic.>>- \x -> [2..] Control.Monad.Logic.>>- \y -> do guard (x == 2 && y == 2); return "Hi" < 1383620446 561307 :lambdabot!lambdabot@2a01:7e00::f03c:91ff:fedf:9fdd PRIVMSG #esoteric : Not in scope: `Control.Monad.Logic.>>-' < 1383620446 779842 :lambdabot!lambdabot@2a01:7e00::f03c:91ff:fedf:9fdd PRIVMSG #esoteric : Perhaps you meant one of these: < 1383620446 931306 :lambdabot!lambdabot@2a01:7e00::f03c:91ff:fedf:9fdd PRIVMSG #esoteric : ... < 1383620452 758572 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :wat < 1383620457 170424 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :elliott!!!!!!!!!!!!!!!!!!!!!!! < 1383620468 47252 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric ::t (>>-) < 1383620469 78221 :lambdabot!lambdabot@2a01:7e00::f03c:91ff:fedf:9fdd PRIVMSG #esoteric : Not in scope: `>>-' < 1383620469 495271 :lambdabot!lambdabot@2a01:7e00::f03c:91ff:fedf:9fdd PRIVMSG #esoteric : Perhaps you meant one of these: < 1383620469 646729 :lambdabot!lambdabot@2a01:7e00::f03c:91ff:fedf:9fdd PRIVMSG #esoteric : `>>' (imported from Control.Monad.Writer), < 1383620537 509974 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :@let import Control.Monad.Logic < 1383620538 653611 :lambdabot!lambdabot@2a01:7e00::f03c:91ff:fedf:9fdd PRIVMSG #esoteric : Defined. < 1383620571 363525 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :huh < 1383620587 276072 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :> [1..] >>- \x -> [2..] >>- \y -> do guard (x == 2 && y == 2); return "Hi" < 1383620589 49122 :lambdabot!lambdabot@2a01:7e00::f03c:91ff:fedf:9fdd PRIVMSG #esoteric : *Exception: stack overflow < 1383620593 415269 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :OKAY < 1383620597 685077 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :AN IMPROBEMENT < 1383620661 567486 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :> take 1 $ [1..] >>- \x -> [2..] >>- \y -> do guard (x == 2 && y == 2); return "Hi" < 1383620663 422443 :lambdabot!lambdabot@2a01:7e00::f03c:91ff:fedf:9fdd PRIVMSG #esoteric : *Exception: stack overflow < 1383620668 830376 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :fff < 1383620749 963820 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :> take 1 $ [1..] >>- \x -> do guard (x == 2); return "Hi" < 1383620751 382193 :lambdabot!lambdabot@2a01:7e00::f03c:91ff:fedf:9fdd PRIVMSG #esoteric : ["Hi"] < 1383620756 75542 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :YAY < 1383620762 615363 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :SO POWEFRYL < 1383620804 421386 :shikhin!~Shikhin@unaffiliated/shikhin JOIN :#esoteric < 1383620837 599145 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :how illogical < 1383620885 489709 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :> [1..] >>- \x -> [2..] >>- \y -> [(x,y)] < 1383620887 127534 :lambdabot!lambdabot@2a01:7e00::f03c:91ff:fedf:9fdd PRIVMSG #esoteric : [(1,2),(2,2),(1,3),(3,2),(1,4),(2,3),(1,5),(4,2),(1,6),(2,4),(1,7),(3,3),(1... < 1383620904 314084 :ais523\unfoog!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :oerjan: someone (Martin Escardo) at Birmingham University's looking into how you can search infinite spaces in finite time < 1383620906 814963 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :> [1..] >>- \x -> [2..] >>- \y -> ["hi"] < 1383620908 319990 :lambdabot!lambdabot@2a01:7e00::f03c:91ff:fedf:9fdd PRIVMSG #esoteric : ["hi","hi","hi","hi","hi","hi","hi","hi","hi","hi","hi","hi","hi","hi","hi"... < 1383620917 877780 :ais523\unfoog!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :his research probably would allow you to filter a list of all integers to see which were 2 < 1383620956 768705 :shikhin_!~Shikhin@unaffiliated/shikhin JOIN :#esoteric < 1383620957 585828 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :ais523\unfoog: i recall some haskell discussion about using bottom checking for that. < 1383620975 282327 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :doesn't particularly work for integers, though. < 1383621000 21401 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :How worthless is the one million dollar wedge? I do not expect it to be worth much. < 1383621014 879389 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :i'm going to guess it's worth less than one million one dollars < 1383621068 534781 :shikhin!~Shikhin@unaffiliated/shikhin QUIT :Ping timeout: 240 seconds < 1383621082 680086 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :Bike: let's not jump to conclusions here < 1383621107 894168 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :> [1..] >>- \x -> [2..] >>- \y -> [] < 1383621109 405029 :lambdabot!lambdabot@2a01:7e00::f03c:91ff:fedf:9fdd PRIVMSG #esoteric : *Exception: stack overflow < 1383621144 195463 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :cool < 1383621159 220832 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :It may be worth as much as a lottery card. < 1383621178 243233 :lexande!arapp@terpsichore.ugcs.caltech.edu JOIN :#esoteric < 1383621301 618107 :shikhin_!~Shikhin@unaffiliated/shikhin QUIT :Ping timeout: 245 seconds < 1383622242 702040 :Sgeo!~quassel@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :Prolog strikes me as the sort of language that probably shouldn't have unrestricted side effects, like a lazy language probably shouldn't have unrestricted side effects < 1383622267 739041 :prooftechnique!~Also@c-24-147-92-50.hsd1.vt.comcast.net PRIVMSG #esoteric :My AI professor looooooves Prolog < 1383622295 498026 :prooftechnique!~Also@c-24-147-92-50.hsd1.vt.comcast.net PRIVMSG #esoteric :I've never seen someone gush so much about a language, and my PL prof used Ocaml < 1383622301 365746 :prooftechnique!~Also@c-24-147-92-50.hsd1.vt.comcast.net PRIVMSG #esoteric :zing < 1383622381 316968 :Sgeo!~quassel@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :Is there a reason for Ada wanting variables to be declared at the top of procedures/declare blocks/etc, other than historical reasons? < 1383622385 345747 :Sgeo!~quassel@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :Does it improve readability?' < 1383622430 187180 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :i tend to do that in any language < 1383622447 950627 :ais523\unfoog!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :@tell elliott not sure if you changed anything, but the abuse filter configuration started working again, time to filter out these spambots < 1383622448 101543 :lambdabot!lambdabot@2a01:7e00::f03c:91ff:fedf:9fdd PRIVMSG #esoteric :Consider it noted. < 1383622636 241651 :shikhin!~Shikhin@unaffiliated/shikhin JOIN :#esoteric < 1383622653 217462 :ais523\unfoog!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :oh wow < 1383622662 493868 :ais523\unfoog!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :some of these spambots are triggering the existing filters < 1383622669 733712 :ais523\unfoog!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :that explains why they don't seem to be editing < 1383622696 831466 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :charming < 1383622749 948699 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric : Prolog strikes me as the sort of language that probably shouldn't have unrestricted side effects <-- have you checked out mercury < 1383622789 661051 :Sgeo!~quassel@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :Some time ago, but I think last time I was put off my lack of living environment... which doesn't really explain why I checked out Racket recently < 1383622810 644349 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :were you homeless...? < 1383622835 136736 :Sgeo!~quassel@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :Also lack of macros. I mean, ISO Prolog also lacks macros, but most environments have them I think < 1383622904 81068 :Sgeo!~quassel@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :Although earlier I saw mention of Mercury's debugger < 1383622928 373540 :Sgeo!~quassel@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :Haven't looked more into it, but it in and of itself sounds awesome < 1383622940 275136 :ais523\unfoog!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :the unrestricted side effects are half the fun of Prolog < 1383622972 812711 :ais523\unfoog!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :not the useful half, admittedly < 1383623006 741491 :shikhin!~Shikhin@unaffiliated/shikhin QUIT :Ping timeout: 264 seconds < 1383623137 27316 :Sgeo!~quassel@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :Is there a language like Prolog except Cont monad instead of List monad? I'm not entirely sure what that means, but it sounds good >.>. And I don't mean 'scheme', although I guess Schemes that use delimited continuations might qualify < 1383623161 65523 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :sc... oh darn. < 1383623229 564074 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :now you've got me thinking instead about logic programming with continuations < 1383623685 718469 :Oj742!~Oj742@c-71-59-199-75.hsd1.or.comcast.net JOIN :#esoteric < 1383623905 204136 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :but I don't really know what that would mean < 1383623907 996727 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :so it's hard to think about < 1383623930 669563 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :amb? < 1383623932 910632 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :of course you can implement standard backtracking with continuations easily enough < 1383623941 964079 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :right >_> < 1383623943 452323 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :what about amb < 1383623968 749581 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :basically you just said it. < 1383624191 491628 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :ais523\unfoog: I changed the caching to use memcache rather than APC, which broke because APC was removed in the PHP version I upgraded to (by upgrading Debian) < 1383624199 489807 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :ais523\unfoog: it may have been that the PHP upgrade fixed it in general < 1383624204 44244 :ais523\unfoog!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :elliott: yeah, could be < 1383624212 176998 :Sgeo!~quassel@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :Is it just my imagination, or does Prolog seem like a very good language for manipulating data structures? < 1383624213 31510 :ais523\unfoog!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I wonder if this new filter has been hit yet < 1383624215 92067 :ais523\unfoog!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :it's hard to test < 1383624217 878235 :Sgeo!~quassel@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :It's like pattern matching on drugs < 1383624225 693641 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :03:08:24 oerjan: someone (Martin Escardo) at Birmingham University's looking into how you can search infinite spaces in finite time < 1383624233 658052 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :huh, Escardo is at bham? < 1383624233 809575 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :ais523\unfoog: alright, i did need an extra cell, but it *did* work in 4. so, mission accomplished i guess. < 1383624254 158727 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :ais523\unfoog: but, http://math.andrej.com/2007/09/28/seemingly-impossible-functional-programs/ < 1383624257 162825 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :(written by him) < 1383624261 226322 :ais523\unfoog!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :elliott: yeah, actually he's in charge of making sure I'm making progress in my PhD (as opposed to my supervisor, who's in charge of helping me make progress) < 1383624270 629552 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :oh, that was escuardo? < 1383624305 919638 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :oh, your Dan Ghica is even mentioned in that post < 1383624333 888289 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :ais523\unfoog: http://sprunge.us/JPjE < 1383624341 576551 :shikhin!~Shikhin@unaffiliated/shikhin JOIN :#esoteric < 1383624351 600388 :ais523\unfoog!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :elliott: well he doesn't really belong ot me < 1383624353 129954 :ais523\unfoog!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :*to me < 1383624392 865568 :ais523\unfoog!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :quintopia: you left a hyphen in a comment ;) < 1383624397 112460 :ais523\unfoog!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :on line 1 < 1383624401 715595 :ais523\unfoog!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I don't think that counts though < 1383624428 329839 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :it's not part of the program yeah. just background info. < 1383624461 152794 :ais523\unfoog!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :quintopia: ah clever < 1383624470 964256 :ais523\unfoog!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :you just waddle back and forth in the middle once you've found the result < 1383624476 415751 :ais523\unfoog!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :and jump between the edges when you haven't < 1383624520 111696 :ais523\unfoog!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :it's that >[>]> early on that I wasn't sure how you were going to implement it < 1383624534 916633 :ais523\unfoog!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :although, it does use four cells < 1383624542 602287 :ais523\unfoog!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :which is how much I thought it would take < 1383624568 750409 :ais523\unfoog!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :nope, I made a mistake in the filter < 1383624570 627628 :ais523\unfoog!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :but now I can test it < 1383624644 923023 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :ais523\unfoog: well, i wasn't convinced it could be done in less than 5, so now we concur :D < 1383624730 699291 :ais523\unfoog!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :OK, it matches now < 1383624791 898998 :ais523\unfoog!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I can't stop the spambots registering with my perms < 1383624794 964447 :ais523\unfoog!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :but I can stop them editing < 1383624816 822253 :ais523\unfoog!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :mediawiki needs an editable-via-the-wiki captcha system < 1383624827 612325 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :http://zero.milosz.ca/ < 1383624829 467802 :ais523\unfoog!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :actually, one thing that I don't want to implement yet, but I could < 1383624833 94321 :ais523\unfoog!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :would be a post-registration CAPTCHA < 1383624843 773551 :ais523\unfoog!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :where a user's first edit has to be a particular string on a particular page < 1383624857 956081 :shikhin_!~Shikhin@unaffiliated/shikhin JOIN :#esoteric < 1383624858 985458 :ais523\unfoog!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :that way the spambots would need human intervention in the registration process twice < 1383624864 342870 :ais523\unfoog!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :once to beat the registration CAPTCHA < 1383624867 751871 :ais523\unfoog!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :once to beat the first edit CAPTCHA < 1383624914 626515 :ais523\unfoog!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I'll keep that as a last resort though, or at least a later resort < 1383624922 589735 :Sgeo!~quassel@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :How is the captcha implemented? Is it just a reCAPTCHA? < 1383624934 473592 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric : ais523\unfoog: but, http://math.andrej.com/2007/09/28/seemingly-impossible-functional-programs/ <-- huh i somehow had got the idea that this kind of stuff needed trapping of undefineds < 1383624947 245753 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :ais523\unfoog: I can change the captchas if you give me new ones in a few days or something < 1383624958 381542 :ais523\unfoog!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :Sgeo: it's a question/answer CAPTCHA < 1383624961 895613 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :oerjan: http://lukepalmer.wordpress.com/2010/11/17/searchable-data-types/ has a maybe more accessible explanation of how the general technique works? < 1383624967 128554 :Sgeo!~quassel@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :Oh, right that < 1383624969 773002 :ais523\unfoog!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :you're asked a question about esoprogramming < 1383624989 146582 :ais523\unfoog!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :elliott found the spammers reading the logs to get the answers, though < 1383625001 583860 :shikhin!~Shikhin@unaffiliated/shikhin QUIT :Ping timeout: 245 seconds < 1383625008 927215 :ais523\unfoog!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I love the clc.intercal.org.uk CAPTCHA but it's probably too hard to implement < 1383625021 215772 :ais523\unfoog!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :it's effectively "go to this other web page and copy the answer you see there" < 1383625037 320156 :Sgeo!~quassel@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :But.... why would you need to read the logs to get the answers? < 1383625055 875041 :Sgeo!~quassel@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :Or are you not talking about IRC logs? < 1383625076 277147 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :ais523\unfoog: I feel like the INTERCAL CAPTCHA should have the answer in plain text on the page you get when you fail the CAPTCHA, so you need to submit to a different tab and then resubmit the original form < 1383625079 851222 :Sgeo!~quassel@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :Why is a human even involved, what human would decide that the wiki is a high-enough-value target to waste their time? < 1383625110 371767 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :a question i ask myself every day < 1383625111 349811 :ais523\unfoog!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :Sgeo: we think it's a CAPTCHA-solving farm < 1383625124 94208 :ais523\unfoog!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :they get bots to look at all the possible CAPTCHA options < 1383625129 76681 :ais523\unfoog!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :get a human to record the values in a database < 1383625131 706828 :ais523\unfoog!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :then the bots just use them < 1383625145 176241 :Sgeo!~quassel@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :Why hasn't qntm falled? < 1383625146 941877 :Sgeo!~quassel@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :fallen? < 1383625182 292225 :ais523\unfoog!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :elliott: anyway, I recommend you use "who created [[language]]", for some languages taken from Special:Random (filtering out boring ones) < 1383625194 790135 :ais523\unfoog!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :because the article text isn't regimented enough for that to be easily parseable yet < 1383625318 615346 :ais523\unfoog!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :or, hmm, I'll do that now < 1383625350 611325 :ais523\unfoog!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :oh wow, I just hit the language list off [[Special:Random]] < 1383625392 117267 :ais523\unfoog!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :actually I'll do years, even if it's potentially bottable I bet they'll use humans anyway < 1383625401 136815 :ais523\unfoog!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :the input format for those is more obvious < 1383625714 55805 :shikhin__!~Shikhin@unaffiliated/shikhin JOIN :#esoteric < 1383625749 370578 :shikhin_!~Shikhin@unaffiliated/shikhin QUIT :Ping timeout: 246 seconds < 1383625894 793045 :ais523\unfoog!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :this is only taking as long as it is because I decided to ignore BF derivatives < 1383625969 286732 :ais523\unfoog!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I'm taking BFO, though, because BF impls are not BF derivatives < 1383626137 291835 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :spammers are reading #esoteric logs? < 1383626180 788533 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :cool, I hope they enjoyed my drunken ramblings and my oversharing about my sex life and such < 1383626198 590408 :ais523\unfoog!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :elliott: here are your CAPTCHAs: http://esolangs.org/w/index.php?title=Special:Undelete&target=Esolang%3ACAPTCHAs×tamp=20131105043608 < 1383626204 657367 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :ais is going to make a captcha quiz based on your sex life, kmc < 1383626218 883139 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :what an honor < 1383626354 37849 :shikhin_!~Shikhin@unaffiliated/shikhin JOIN :#esoteric < 1383626481 344605 :pikhq!~pikhq@2602:100:4751:9692:922b:34ff:fed8:75d PRIVMSG #esoteric :You've talked about your sex life? Huh. < 1383626492 998048 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :i thought so < 1383626499 890398 :shikhin__!~Shikhin@unaffiliated/shikhin QUIT :Ping timeout: 260 seconds < 1383626500 42022 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :or was that sarcasm ;P < 1383626538 447382 :pikhq!~pikhq@2602:100:4751:9692:922b:34ff:fed8:75d PRIVMSG #esoteric :I hadn't noticed it quite honestly. < 1383626589 809162 :shikhin__!~Shikhin@unaffiliated/shikhin JOIN :#esoteric < 1383626679 180067 :lifthras1ir!~lifthrasi@115.68.131.49 QUIT :Ping timeout: 252 seconds < 1383626694 572441 :lifthrasiir!~lifthrasi@115.68.131.49 JOIN :#esoteric < 1383626700 645309 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`oohlist (928) < 1383626702 466161 :HackEgo!dlopen@libdl.so PRIVMSG #esoteric :oohlist (928): shachaf oerjan Sgeo FireFly < 1383626720 264178 :Sgeo!~quassel@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :You mean no one did it already? < 1383626751 939168 :shikhin_!~Shikhin@unaffiliated/shikhin QUIT :Ping timeout: 260 seconds < 1383626901 585956 :shikhin__!~Shikhin@unaffiliated/shikhin QUIT :Ping timeout: 245 seconds < 1383627113 23600 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :what's that about xykon being chilly < 1383627179 996626 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oerjan: http://www.giantitp.com/forums/showpost.php?p=16356153&postcount=76 < 1383627185 15305 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :hth < 1383627195 869250 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :http://math.andrej.com/2007/09/28/seemingly-impossible-functional-programs/ <<< i didn't quite bother to read all of this, but if you have a computable function (say, any haskell function) P of type Cantor -> Bool, then there exists n such that the value of P(x) each sequence x in the cantor space is a function of x_{[0,n]}. < 1383627204 959338 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :and you can effectively find such n by simulation < 1383627224 412093 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :this is well-known an obvious < 1383627227 955739 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :*and < 1383627248 536015 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :oh i love that shit so much < 1383627251 284658 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :(might be that it's some in some way that looks cool though) < 1383627253 908417 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :it fucking rocks my socks < 1383627255 116574 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :trivial, one might say < 1383627260 387932 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :yes < 1383627274 231402 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :i just read a paper that proved that actually < 1383627288 301249 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :and i was like come on everyone knows that < 1383627297 12918 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :(well proved something similar) < 1383627299 37803 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oklopol: Are you missing a word? < 1383627302 252765 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :maybe! < 1383627316 44041 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :"there exists n such that the value of P(x) each sequence x in the cantor space" < 1383627321 261099 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :oh. < 1383627326 263268 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :each sequence x in the cantor space is a function of x_{[0,n]}. < 1383627330 685007 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :got cut off maybe < 1383627339 203894 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :No, it wasn't cut off. < 1383627343 837127 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :erm < 1383627350 424269 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :oh < 1383627353 21676 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :!!! < 1383627354 328718 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :i know < 1383627355 587165 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :!!! < 1383627360 613844 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :i'm missing a "for" < 1383627363 145202 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :OK. < 1383627365 997281 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :erm < 1383627367 437448 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :yes < 1383627370 351461 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :that's it < 1383627371 339136 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :yeah < 1383627376 349598 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :i'm indeed missing a "for" < 1383627379 949900 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :there should be one < 1383627384 918832 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :s/\n/ /g < 1383627390 146815 :shikhin__!~Shikhin@unaffiliated/shikhin JOIN :#esoteric < 1383627392 144543 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :yes < 1383627393 420883 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :good point < 1383627399 902006 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :will keep that in mind < 1383627420 588328 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :excellent. < 1383627488 71874 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i'm pretty sure i had some proof in my "masters" thesis that used a version of this. < 1383627504 833616 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :but anyway, if there were, for each n, a point x_n such that the machine inspects the nth coordinate of x_n before deciding P(x_n), then on any limit point of the sequence, the machine will run forever < 1383627539 188083 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :except with continuous instead of computable < 1383627541 480936 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :so P is a partial function, which is forbidden < 1383627568 197337 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oerjan: all functions are continuous and computable anyway < 1383627593 841713 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :then it's even easier i guess: {0} is clopen in {0, 1}, so it's preimage is too < 1383627601 970365 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :and clopens are cylinders < 1383627636 877651 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :What's a cylinder, and what's {0, 1}? < 1383627641 883751 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :well in my case they were integer functions. < 1383627648 362323 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :a cylinder is basically a fancy name for a set of words < 1383627648 516392 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i think. < 1383627682 347014 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :but compactness means only a finite of points in the range. < 1383627690 729342 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :*number of < 1383627708 635572 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :more precisely, a cylinder C is a set of points of the cantor space which is defined by a set of words w_1, ..., w_k such that x \in C if and only if x starts with w_i for some i < 1383627734 187329 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :you can take those w_i to have the same length by extending them in all possible ways < 1383627759 670398 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I don't even know what the Cantor space is. :-( < 1383627775 187598 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :oerjan: oh okay < 1383627791 992071 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :OK, so {0, 1} is the discrete topology. < 1383627856 853631 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :yeah it has the discrete topology (a computable function will be continuous w.r.t. that topology) < 1383627917 326760 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :oerjan: so the proof is, cantor space is compact so image is compact so image is a finite set so image has a discrete topology so image has clopen base so function value is determined by clopen partition < 1383627943 280768 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :maybe you could remove some of those but anyway i like that < 1383627943 838773 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :that's about it < 1383627960 300065 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :maybe in a master's thesis, you would explain stuff a bit < 1383627989 680893 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :that was the idea. there weren't any really new results there, just explaining clearly some known stuff < 1383628075 902477 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :shachaf: the ordinary cantor set is an example. more generally, anything homeomorphic to that. < 1383628125 288155 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oerjan: what are those things floating around her head anyway (in `olist) < 1383628146 124695 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :shachaf: i wondered about that too... probably related to her powers somehow? < 1383628152 859970 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :it was in the previous one too < 1383628161 723545 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :it's been around since she appeared < 1383628166 689033 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :just wondering what it is < 1383628169 496968 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :oerjan: can you give me your master's thesis again < 1383628180 930339 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oerjan has no master < 1383628241 770898 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :
ACTION greps logs.
< 1383628243 283545 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :http://oerjan.nvg.org/main.pdf < 1383628269 736344 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i thought that might be it. < 1383628291 578894 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :thanks < 1383628339 149619 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :http://oerjan.nvg.org/main.pdfRecent results in topological dynamics, described in [3], have shown that ordered cohomology is the key to investigate the orbit structure of Cantor minimal dynamical systems. < 1383628353 259428 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :erm < 1383628358 18972 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :pasting failure < 1383628376 314637 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :but er yeah ordered cohomology? omg < 1383628400 699312 :Oj742!~Oj742@c-71-59-199-75.hsd1.or.comcast.net QUIT :Quit: irc2go < 1383628547 553306 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :is a topological conjugate a natural transformation thing < 1383628551 570601 :shikhin__!~Shikhin@unaffiliated/shikhin QUIT :Ping timeout: 245 seconds < 1383628629 162609 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :rather it's an isomorphism in the category of dynamical systems < 1383628630 320383 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :oklopol: lemma 2.4 may be one version. < 1383628691 496053 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :that's a proof of cylinders = clopens right < 1383628696 271369 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :oh < 1383628700 271980 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :yes < 1383628707 869261 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :
ACTION looks suspiciously at chat. this doesn't seem very ODEy.
< 1383628734 624732 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :yeah this ain't no ordinary differential equation < 1383628748 403782 :shikhin__!~Shikhin@unaffiliated/shikhin JOIN :#esoteric < 1383628774 862483 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :oerjan: that's the hard thing about proving what you said, but i was more interested in the way topology lets you state these results _after_ you know it. < 1383628778 496979 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :erm < 1383628783 153450 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :did that make any sense, prolly not < 1383629028 204714 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :cylinder sets are defined on the previous page < 1383629077 25939 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :or well at the top of the same page < 1383629131 247732 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :okay we have different cylinders < 1383629140 550419 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :by cylinder, i mean finite unions of cylinders < 1383629150 655399 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :SORRY < 1383629188 473393 :shikhin__!~Shikhin@unaffiliated/shikhin QUIT :Ping timeout: 240 seconds < 1383629204 266255 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :they are meant to be a clopen basis of the topology < 1383629205 887803 :shikhin_!~Shikhin@unaffiliated/shikhin JOIN :#esoteric < 1383629218 768706 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :well they are with my definition too! < 1383629220 930549 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :not all clopen sets < 1383629268 248075 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :i'm pretty sure some use them as i do < 1383629270 150865 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :this definition is more closely related to the diagrams < 1383629296 176618 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :i mean i think your definition is better but i'm still apparently using this one < 1383629309 294222 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :why would i do that if i was not _brainwashed_ < 1383629370 198871 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :do you mean because in the dynamics, the cylinders dance round and round < 1383629370 627688 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :well your definition makes them equivalent to clopen sets, so independent of basis < 1383629383 908792 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :yes they do... < 1383629411 152324 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :although the cylinders corresponding to maximal paths do get split up < 1383629459 20691 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :so erm these bratteli whatever diagrams, are they just some sort of generalization of an adding machine < 1383629494 985352 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i suppose so. the case where there is only one vertex at each level we call an "odometer" < 1383629513 654423 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :and is even more the same thing. < 1383629514 164306 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :oh right that's how it goes < 1383629603 580709 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :oh my god dimension groups < 1383629634 832538 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :i wish i knew as much cool stuff as you do < 1383629662 144805 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :i think your master's thesis is deeped shit than my phd thesis will be < 1383629667 709035 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :*deeper < 1383629669 747800 :prooftechnique!~Also@c-24-147-92-50.hsd1.vt.comcast.net QUIT : < 1383629673 495679 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :well take solace in the fact that some of these things have faded quite a bit. < 1383629683 518264 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :oh dear < 1383629733 26918 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :food -> < 1383629793 440448 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :my thesis will be like lolol here's a picture of a CA doing some weird shit -- maybe it indicates that simple machines can perform complex computations?? i call this the theory of simplicial complexes. < 1383629857 115269 :asie!~textual@178235038113.elblag.vectranet.pl JOIN :#esoteric < 1383629861 681368 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :u mad < 1383630014 992072 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :after this i'm gonna write a book called "THE THEORY OF SIMPLICIAL COMPLEXES -- THE STORY OF HOW ONE MAN REALIZED WHAT NO MAN COULD BEFORE: THAT SIMPLE MACHINES ARE AT THE _CORE_ OF COMPUTATION" < 1383630043 643196 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :and there's a footnote that says that that man is me < 1383630055 264873 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :oklopol: um you realize simplicial complexes is already a term in homology < 1383630065 580043 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :i think that's part of the joke < 1383630078 291467 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :it was yes < 1383630107 288200 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :good, good. < 1383630113 580579 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :i've been reading quite a bit of complex systems cancer recently because i'm google scholaring for anything that might contain interesting constructions of cellular automata < 1383630117 408497 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :as long as you stay funnier than wolfram. < 1383630146 14707 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :(i will give some examples of such constructions in the first section, my thesis will be about subshifts where cellular automata are boring, i'm the anti-wolfram) < 1383630254 352962 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :usually i find it most exciting when after months of research, it turns out that an object we're studying is completely trivial, for some weird-ass reason < 1383630324 292133 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :the grand theorem of your thesis will prove that the set of systems you've defined is empty < 1383630353 760601 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :that would be so awesome < 1383630384 448052 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :i hear that's happened in some sense, although it's probably an urban legend < 1383630389 608144 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :i'm gonna write a book called "The Beer, Burritos, and Bonghits Diet" < 1383630399 981 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :and on the cover is a picture of me wearing a lab coat (stolen) < 1383630399 967947 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :like someone made some class and wrote a phd thesis where they proved tons of cool stuff about it < 1383630406 708787 :shikhin__!~Shikhin@unaffiliated/shikhin JOIN :#esoteric < 1383630429 484166 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :all functions are continuous, a problem of hilbert's is solved, and it does your laundry < 1383630435 352939 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :kmc: i like burritos is that close enough < 1383630458 987575 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :and the what'shistitle told him that there are no such systems because trivially < 1383630482 625010 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :the opponent maybe < 1383630499 649632 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :the story says this happened at the actual dissertation, but that just sounds horribly mean < 1383630501 595660 :shikhin_!~Shikhin@unaffiliated/shikhin QUIT :Ping timeout: 245 seconds < 1383630511 184837 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :oklopol: i think the urban legend is about someone who had someone _else_ prove that at their thesis defence. not a good day. < 1383630533 781922 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :oh, i've heard oklopol's story too < 1383630538 278978 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :some guy at the audience? < 1383630556 873939 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :yeah at the actual thesis defence, not dissertation. < 1383630568 403709 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :yeah, some guy in the audience pops up and says lol that's trivial < 1383630569 251732 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :i'm good at anglis < 1383630582 521482 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :i assume "lol" is literally pronounced < 1383630608 407766 :Sprocklem!~Sprocklem@S010674440130be65.cg.shawcable.net QUIT :Ping timeout: 245 seconds < 1383630667 65315 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i vaguely think that _possibly_ it wasn't empty but they were all constant functions. probably there are myriad versions. < 1383631005 751239 :tertu!~tertu@143.44.72.124 QUIT :Ping timeout: 272 seconds < 1383631690 821273 :shikhin_!~Shikhin@unaffiliated/shikhin JOIN :#esoteric < 1383631847 965951 :shikhin__!~Shikhin@unaffiliated/shikhin QUIT :Ping timeout: 260 seconds < 1383632034 954965 :asie!~textual@178235038113.elblag.vectranet.pl QUIT :Quit: My MacBook Pro has gone to sleep. ZZZzzz... < 1383632484 809182 :shikhin__!~Shikhin@unaffiliated/shikhin JOIN :#esoteric < 1383632652 103670 :shikhin_!~Shikhin@unaffiliated/shikhin QUIT :Ping timeout: 252 seconds < 1383632680 891345 :shikhin!~Shikhin@unaffiliated/shikhin JOIN :#esoteric < 1383632751 577890 :shikhin__!~Shikhin@unaffiliated/shikhin QUIT :Ping timeout: 245 seconds < 1383633325 170881 :Sgeo!~quassel@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :The list monad doesn't have a good way to fail with information, does it? < 1383633343 709408 :Sgeo!~quassel@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :Maybe is a specialization of List, but Either isn't < 1383633412 435809 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :There is EitherT, as well as LogicT < 1383633463 739084 :Sgeo!~quassel@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :I think Prolog is stuck in the List monad, though. Although it (or just most impls?) does have exceptions < 1383633631 435537 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :prolog has the database modification commands though. < 1383633703 477867 :Sgeo!~quassel@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :I should read about ancestor cuts to see if continuations are implementable atop them < 1383633829 478005 :lexande!arapp@terpsichore.ugcs.caltech.edu PRIVMSG #esoteric :oklopol: somebody claimed there used to be theorems about doubly-periodic entire functions on the complex plane < 1383633876 68597 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :the best functions < 1383633943 767284 :lexande!arapp@terpsichore.ugcs.caltech.edu PRIVMSG #esoteric :i.e. entire functions that repeated along two different vectors in the complex plane < 1383633947 127928 :lexande!arapp@terpsichore.ugcs.caltech.edu PRIVMSG #esoteric :which implies bounded < 1383633954 6898 :lexande!arapp@terpsichore.ugcs.caltech.edu PRIVMSG #esoteric :and therefore by liouville's theorem, constant < 1383633990 137501 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :what if it's not analytic!! < 1383634004 633953 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :"entire" implies analytic < 1383634021 437512 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :yeah just managed to find the proof, and realized i should've realized that < 1383634032 235317 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :i thought it just meant defined everywhere, wow go me < 1383634062 22959 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :hexande < 1383634199 686427 :Sgeo!~quassel@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :Prolog : List :: Icon : Maybe ? < 1383634244 971752 :Sgeo!~quassel@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :No, Icon is also List < 1383634284 73230 :lexande!arapp@terpsichore.ugcs.caltech.edu PRIVMSG #esoteric :hachaf < 1383634355 973765 :ais523\unfoog!~ais523@unaffiliated/ais523 QUIT : < 1383634458 608180 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :you keep coming and going < 1383635043 355564 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :mroman: i asked a German person about the space-before-period thing and they didn't know about it < 1383635096 993347 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :maybe mroman wasn't entirely serious . < 1383635190 98181 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :maybe oerjan wasn't entirely serious . < 1383635234 682466 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i think you may be illegally violating my copyright . < 1383635253 667297 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :i think you may be illegally violating my copyright . < 1383635258 92331 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :i also think you have a time machine . < 1383635344 46445 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :http://www.irregularwebcomic.net/230.html < 1383635459 369548 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :that one was obvious from the beginning; C-; did not read again < 1383635553 605791 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :well in this context, naturally. < 1383635590 545767 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :there was a puzzle in the computer game Discworld II based on this < 1383635605 361306 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :with what's-her-name answering questions before you ask them < 1383636630 93452 :FreeFull!~freefull@defocus/sausage-lover QUIT : < 1383637436 476342 :oerjan!oerjan@sprocket.nvg.ntnu.no QUIT :Quit: leaving < 1383637464 144836 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :lexande: do you think train stations are a good environment for maths lectures < 1383637548 92074 :lexande!arapp@terpsichore.ugcs.caltech.edu PRIVMSG #esoteric :not usually < 1383640340 96692 :shikhin_!~Shikhin@unaffiliated/shikhin JOIN :#esoteric < 1383640458 403168 :shikhin!~Shikhin@unaffiliated/shikhin QUIT :Ping timeout: 245 seconds < 1383642110 223604 :fangkui!~fangkui@124.207.241.10 JOIN :#esoteric < 1383642311 769982 :fangkui!~fangkui@124.207.241.10 PRIVMSG #esoteric :哈哈哈哈哈哈哈 < 1383642315 630174 :fangkui!~fangkui@124.207.241.10 PRIVMSG #esoteric :work < 1383642318 782509 :fangkui!~fangkui@124.207.241.10 PRIVMSG #esoteric :maybe < 1383642321 352767 :fangkui!~fangkui@124.207.241.10 PRIVMSG #esoteric :good < 1383642324 137131 :ion!ion@heh.fi PRIVMSG #esoteric :ok < 1383642332 846324 :fangkui!~fangkui@124.207.241.10 PRIVMSG #esoteric :美好的注意 < 1383642353 940406 :ion!ion@heh.fi PRIVMSG #esoteric :Why do Asian IP addresses never have a reverse? < 1383642416 731447 :fangkui!~fangkui@124.207.241.10 PART :#esoteric < 1383642428 317078 :ion!ion@heh.fi PRIVMSG #esoteric :We should have a CJK `welcome. < 1383642593 213973 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :#japanese is talking about republican bananas, and #esoteric is listing japanese characters < 1383642595 888343 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :i was very confused < 1383642628 136674 :ion!ion@heh.fi PRIVMSG #esoteric :What’s a republican banana? < 1383642683 215048 :ion!ion@heh.fi PRIVMSG #esoteric :Wait… Japanese characters? < 1383642702 671752 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :ion: Well, you know, CJK. < 1383642851 147554 :carado!~user4539@2a01:e35:8b61:e430:6ef0:49ff:fe73:1fd0 JOIN :#esoteric < 1383642860 355605 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :ion: i'm pretty sure 美好的注意 are japanese characters < 1383642893 814682 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :something like beauty, like, don't remember, don't remember, sound, maybe < 1383642894 396440 :ion!ion@heh.fi PRIVMSG #esoteric :Even when spoken by a Chinese person? < 1383642941 543519 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :those particular ones exist in both i think < 1383642969 616105 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :although in japanese, that's a list of characters, whereas in chinese it might mean something < 1383642973 892748 :ion!ion@heh.fi PRIVMSG #esoteric :I just realized the channel is full of Finnish characters. < 1383643023 176166 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :While #finnish is probably talking about monarchic bananas. < 1383643023 350471 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :quite a bit of non-finnish characters too < 1383643036 154758 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :but okay maybe my message was phrased badly, i'll fix it < 1383643078 322687 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :#japanese is talking about how some guy always associates the word republican with bananas, and #esoteric is listing chinese characters. i'm not confused because the first one isn't very esoteric, and the second one has nothing to do with japanese. < 1383643118 139844 :ion!ion@heh.fi PRIVMSG #esoteric :Why does said guy always associate the word republican with bananas? < 1383643138 448046 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :" aah, banana republic" he eventually realized < 1383643146 90826 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :i didn't actually read the conversation < 1383643147 688288 :ion!ion@heh.fi PRIVMSG #esoteric :ah < 1383643231 699969 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :okay i guess 的 isn't a japanese character < 1383643256 859651 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :just looks very familiar < 1383643542 104510 :carado!~user4539@2a01:e35:8b61:e430:6ef0:49ff:fe73:1fd0 QUIT :Ping timeout: 252 seconds < 1383643957 283229 :shikhin_!~Shikhin@unaffiliated/shikhin NICK :shikhin < 1383644461 222862 :myndzi!myndzi@2600:3c00::f03c:91ff:fedf:3d4e PRIVMSG #esoteric :huh < 1383644468 420397 :myndzi!myndzi@2600:3c00::f03c:91ff:fedf:3d4e PRIVMSG #esoteric :i actually recognize both of those radicals < 1383644479 97350 :myndzi!myndzi@2600:3c00::f03c:91ff:fedf:3d4e PRIVMSG #esoteric :white moon? something like that < 1383644505 958237 :myndzi!myndzi@2600:3c00::f03c:91ff:fedf:3d4e PRIVMSG #esoteric :wait no, that's ummm < 1383644520 155671 :myndzi!myndzi@2600:3c00::f03c:91ff:fedf:3d4e PRIVMSG #esoteric :it's so small i can't make things out hardly, but i think that one is bullseye < 1383644548 901384 :myndzi!myndzi@2600:3c00::f03c:91ff:fedf:3d4e PRIVMSG #esoteric :haha, i actually remembered :D < 1383644559 174176 :myndzi!myndzi@2600:3c00::f03c:91ff:fedf:3d4e PRIVMSG #esoteric :'mato' - target, mark < 1383645061 376996 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric : \o/ < 1383645061 762921 :myndzi!myndzi@2600:3c00::f03c:91ff:fedf:3d4e PRIVMSG #esoteric :69   | < 1383645061 913913 :myndzi!myndzi@2600:3c00::f03c:91ff:fedf:3d4e PRIVMSG #esoteric :69   >\ < 1383645074 777403 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric ::( < 1383645155 530973 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric ::) < 1383645246 478575 :shikhin_!~Shikhin@unaffiliated/shikhin JOIN :#esoteric < 1383645401 234463 :Uguubee1111113!~uguubee@101.166.145.209 PART :#esoteric < 1383645408 335943 :shikhin!~Shikhin@unaffiliated/shikhin QUIT :Ping timeout: 245 seconds < 1383645500 831698 :shikhin__!~Shikhin@unaffiliated/shikhin JOIN :#esoteric < 1383645508 918134 :shikhin_!~Shikhin@unaffiliated/shikhin QUIT :Ping timeout: 240 seconds < 1383645676 200614 :shikhin_!~Shikhin@unaffiliated/shikhin JOIN :#esoteric < 1383645762 378527 :shikhin__!~Shikhin@unaffiliated/shikhin QUIT :Ping timeout: 246 seconds < 1383646944 154811 :augur!~augur@216-164-48-148.c3-0.slvr-ubr1.lnh-slvr.md.cable.rcn.com QUIT :Remote host closed the connection < 1383646970 777762 :augur!~augur@216-164-48-148.c3-0.slvr-ubr1.lnh-slvr.md.cable.rcn.com JOIN :#esoteric < 1383647045 136698 :augur!~augur@216-164-48-148.c3-0.slvr-ubr1.lnh-slvr.md.cable.rcn.com QUIT :Read error: Connection reset by peer < 1383647056 95253 :augur!~augur@216-164-48-148.c3-0.slvr-ubr1.lnh-slvr.md.cable.rcn.com JOIN :#esoteric < 1383647126 602622 :nisstyre!~yours@oftn/member/Nisstyre QUIT :Ping timeout: 245 seconds < 1383647168 801207 :KingOfKarlsruhe!~chatzilla@unaffiliated/kingofkarlsruhe JOIN :#esoteric < 1383648311 243569 :augur!~augur@216-164-48-148.c3-0.slvr-ubr1.lnh-slvr.md.cable.rcn.com QUIT :Read error: Connection reset by peer < 1383648323 111436 :augur!~augur@216-164-48-148.c3-0.slvr-ubr1.lnh-slvr.md.cable.rcn.com JOIN :#esoteric < 1383648567 80605 :Jafet!~jafet@static.77.207.4.46.clients.your-server.de QUIT :Changing host < 1383648567 231553 :Jafet!~jafet@unaffiliated/jafet JOIN :#esoteric < 1383648858 359918 :monotone!~monotone@room208.org QUIT :Ping timeout: 245 seconds < 1383650873 130052 :carado!~user4539@static.29.44.47.78.clients.your-server.de JOIN :#esoteric < 1383651160 209700 :carado_!~user4539@2a01:e35:8b61:e430:6ef0:49ff:fe73:1fd0 JOIN :#esoteric < 1383651454 571744 :yorick!~yorick@oftn/member/yorick JOIN :#esoteric < 1383651462 125597 :carado_!~user4539@2a01:e35:8b61:e430:6ef0:49ff:fe73:1fd0 QUIT :Ping timeout: 252 seconds < 1383651610 117250 :carado_!~user4539@2a01:e35:8b61:e430:6ef0:49ff:fe73:1fd0 JOIN :#esoteric < 1383651924 139290 :carado_!~user4539@2a01:e35:8b61:e430:6ef0:49ff:fe73:1fd0 QUIT :Ping timeout: 252 seconds < 1383652140 23311 :john_metcalf!~digital_w@87.114.126.86 JOIN :#esoteric < 1383652949 912111 :KingOfKarlsruhe!~chatzilla@unaffiliated/kingofkarlsruhe QUIT :Quit: ChatZilla 0.9.90.1 [Firefox 25.0/20131025151332] < 1383653801 464906 :carado!~user4539@static.29.44.47.78.clients.your-server.de QUIT :Quit: Leaving < 1383653817 710326 :Sgeo!~quassel@ool-ad034ea6.dyn.optonline.net QUIT :Read error: Connection reset by peer < 1383654903 138221 :carado_!~user4539@2a01:e35:8b61:e430:6ef0:49ff:fe73:1fd0 JOIN :#esoteric < 1383654979 642675 :carado_!~user4539@2a01:e35:8b61:e430:6ef0:49ff:fe73:1fd0 QUIT :Client Quit < 1383654990 127450 :carado!~user4539@2a01:e35:8b61:e430:6ef0:49ff:fe73:1fd0 JOIN :#esoteric < 1383656030 778264 :MindlessDrone!~MindlessD@141.70.114.6 JOIN :#esoteric < 1383657098 923962 :Taneb!~Taneb@5.151.65.5 JOIN :#esoteric < 1383657246 242182 :boily!~boily@mtl.savoirfairelinux.net JOIN :#esoteric < 1383657255 716108 :metasepia!~metasepia@2607:fad8:4:6:f2de:f1ff:fe6c:6765 JOIN :#esoteric < 1383657364 116858 :shikhin_!~Shikhin@unaffiliated/shikhin QUIT :Read error: Operation timed out < 1383657764 199218 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :good kettle morning! < 1383657799 794300 :Taneb!~Taneb@5.151.65.5 PRIVMSG #esoteric :Afternoon < 1383657818 347017 :Taneb!~Taneb@5.151.65.5 PRIVMSG #esoteric :shachaf, sometimes < 1383657878 303152 :monotone!~monotone@room208.org JOIN :#esoteric < 1383657908 558872 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :Tanellob, shachellof, monotonello. < 1383658199 945883 :shikhin_!~Shikhin@unaffiliated/shikhin JOIN :#esoteric < 1383659005 738277 :shikhin_!~Shikhin@unaffiliated/shikhin NICK :shikhin < 1383659497 559370 :Taneb!~Taneb@5.151.65.5 PRIVMSG #esoteric :Aaaah something in my room has just one dling and I don't know what < 1383659728 196246 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :`? dling < 1383659730 251364 :HackEgo!dlopen@libdl.so PRIVMSG #esoteric :dling? ¯\(°_o)/¯ < 1383659752 594416 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :@wn dling < 1383659753 625653 :lambdabot!lambdabot@2a01:7e00::f03c:91ff:fedf:9fdd PRIVMSG #esoteric :No match for "dling". < 1383659774 749587 :tertu!~tertu@143.44.72.124 JOIN :#esoteric < 1383660014 459786 :lambdabot!lambdabot@2a01:7e00::f03c:91ff:fedf:9fdd QUIT :Ping timeout: 246 seconds < 1383660394 501968 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :~duck dling < 1383660394 838705 :metasepia!~metasepia@2607:fad8:4:6:f2de:f1ff:fe6c:6765 PRIVMSG #esoteric :--- No relevant information < 1383660410 890912 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :hi boily < 1383660417 453449 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :hintopia! < 1383660465 218265 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :i've gotta pick out some southern things to send you. things you can only get down here afaik. < 1383660477 627399 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :do you like pickled pig's feet? < 1383660495 15141 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :never tried them, but they sound good :D < 1383660521 699547 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :me neither < 1383660656 524314 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :wikipédia always surprises me with the precisiveness of their articles → https://en.wikipedia.org/wiki/Lowcountry_cuisine < 1383660742 967607 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :@wn precisiveness < 1383660755 580289 :mrhmouse!~jordan.br@firewall1.photobooks.com JOIN :#esoteric < 1383660786 712958 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :Bike: fizzie kille lambdabot. < 1383660794 809609 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :s/e l/ed l/ < 1383660805 29971 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :~duck precisiveness < 1383660805 405442 :metasepia!~metasepia@2607:fad8:4:6:f2de:f1ff:fe6c:6765 PRIVMSG #esoteric :--- No relevant information < 1383660839 826511 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :boily: hominy is one thing i could probably acquire that you might like. i don't know where off the top of my head, but i know it can be had somewhere around here. < 1383660955 992375 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :oh, interesting choice! < 1383660971 257968 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :hominy grits that is < 1383660995 257422 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :i could easily get the instant microwave kind < 1383661259 389515 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :"kille /c/ 1. (colloquial) Boy, lad. 2. (colloquial) A (younger) adult male person; guy, bloke. 3. (colloquial) Boyfriend." < 1383662059 520539 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :hmm... I wonder if I can ship some cretons through the borders... < 1383663409 972446 :mrhmouse!~jordan.br@firewall1.photobooks.com PRIVMSG #esoteric :I've got a truck < 1383663425 258538 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :sing it mrhmouse! < 1383663443 371349 :asie!~textual@178235038113.elblag.vectranet.pl JOIN :#esoteric < 1383663505 87840 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :so what's up with the spamswarm over at the wiki? < 1383663561 738591 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :how are all these spambots making accounts? < 1383663567 295647 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :CrAzY < 1383663675 374115 :yorick!~yorick@oftn/member/yorick QUIT :Ping timeout: 246 seconds < 1383663687 343798 :yorick!~yorick@oftn/member/yorick JOIN :#esoteric < 1383663789 718476 :mrhmouse!~jordan.br@firewall1.photobooks.com PRIVMSG #esoteric :do we have a captcha for account creation? < 1383663965 901854 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :Has there previously been any research into whether all x86 SINGLE byte instructions would form a more-or-less turing complete language? < 1383663979 390084 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :more-or-less because you obviously can't address infinite memory < 1383664111 653273 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :you can't do call < 1383664119 842421 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :but you can do push reg; ret; combinations < 1383664139 277765 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :and I assume you can encode i.e. brainfucks [ ] in a jump table < 1383664152 9921 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :and then load the address from there somehow and push; ret; it < 1383664160 230038 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :but whether that can be done conditionally :( < 1383664177 195233 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :also you can load es, ds, si, di which enables you to do movsb < 1383664207 302706 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :(by inc ax * N; push ax; pop es;) < 1383664255 531444 :nooodl!~nooodl@91.179.160.127 JOIN :#esoteric < 1383664262 85482 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :the assumption is that some bootstrapping programming loads your code to memory and sets the registers correctly for programm start < 1383664271 318063 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :*bootstrapping program < 1383664298 123225 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :i.e. the bootloader may use multi-byte instructions :) < 1383664395 978969 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :also you can use xlat < 1383664525 248150 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :@tell ais523 SPAMRUSH! < 1383664536 359523 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :hm. lambdabot is still a young lad... < 1383664672 410513 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :meanwhile, some Japanese bots are trying to sell sneakers, watches, and lodgings in Africa... < 1383665365 51056 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :We might have an approach if we can get al to ah < 1383665516 533020 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :which might be doable by writing it to a given location in memory using movsb < 1383665524 309455 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :and then again with movsb with direction flag reversed? < 1383665566 714740 :Sprocklem!~Sprocklem@199.185.88.147 JOIN :#esoteric < 1383665667 184627 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :ah < 1383665672 75720 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :not necessary < 1383665680 630094 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :movsb can write the address directly to the stack :) < 1383665724 912735 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :and then ret it < 1383665901 618164 :Lymia!~moe@inportb/loli/cirno-chan QUIT :Ping timeout: 245 seconds < 1383667113 569446 :Taneb!~Taneb@5.151.65.5 QUIT :Quit: Leaving < 1383667536 678270 :KingOfKarlsruhe!~chatzilla@unaffiliated/kingofkarlsruhe JOIN :#esoteric < 1383667772 674777 :FreeFull!~freefull@defocus/sausage-lover JOIN :#esoteric < 1383667889 903061 :asie!~textual@178235038113.elblag.vectranet.pl QUIT :Quit: My MacBook Pro has gone to sleep. ZZZzzz... < 1383668367 905622 :conehead!~conehead@unaffiliated/conehead JOIN :#esoteric < 1383668551 623569 :tertu!~tertu@143.44.72.124 QUIT :Quit: Leaving < 1383670291 564202 :augur!~augur@216-164-48-148.c3-0.slvr-ubr1.lnh-slvr.md.cable.rcn.com QUIT :Remote host closed the connection < 1383670318 315708 :augur!~augur@216-164-48-148.c3-0.slvr-ubr1.lnh-slvr.md.cable.rcn.com JOIN :#esoteric < 1383670583 339463 :augur!~augur@216-164-48-148.c3-0.slvr-ubr1.lnh-slvr.md.cable.rcn.com QUIT :Ping timeout: 245 seconds < 1383670908 360336 :Sprocklem!~Sprocklem@199.185.88.147 QUIT :Ping timeout: 245 seconds < 1383671501 426932 :asie!~textual@178235038113.elblag.vectranet.pl JOIN :#esoteric < 1383672384 140808 :carado!~user4539@2a01:e35:8b61:e430:6ef0:49ff:fe73:1fd0 QUIT :Ping timeout: 252 seconds < 1383672462 112277 :oerjan!oerjan@sprocket.nvg.ntnu.no JOIN :#esoteric < 1383672497 281234 :shikhin!~Shikhin@unaffiliated/shikhin QUIT :Quit: Leaving < 1383673249 169778 :carado!~user4539@2a01:e35:8b61:e430:6ef0:49ff:fe73:1fd0 JOIN :#esoteric < 1383673612 652499 :asie!~textual@178235038113.elblag.vectranet.pl QUIT :Quit: My MacBook Pro has gone to sleep. ZZZzzz... < 1383673799 374868 :oerjan!oerjan@sprocket.nvg.ntnu.no QUIT :Quit: leaving < 1383674802 648309 :metasepia!~metasepia@2607:fad8:4:6:f2de:f1ff:fe6c:6765 QUIT :Read error: Connection reset by peer < 1383674802 943741 :boily!~boily@mtl.savoirfairelinux.net QUIT :Read error: Connection reset by peer < 1383674880 368786 :boily!~boily@mtl.savoirfairelinux.net JOIN :#esoteric < 1383674889 716971 :metasepia!~metasepia@2607:fad8:4:6:f2de:f1ff:fe6c:6765 JOIN :#esoteric < 1383675658 439837 :augur!~augur@129-2-129-35.wireless.umd.edu JOIN :#esoteric < 1383676264 873802 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover JOIN :#esoteric < 1383676266 781555 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :will the spambot flood NEVER END < 1383676415 34900 :njm!njm@tptp.cc PRIVMSG #esoteric :cat <<< "int getuid(void) { return 0; }" > /tmp/getuid.c; gcc -o /tmp/getuid.so /tmp/getuid.c -shared; LD_PRELOAD=/tmp/getuid.so id < 1383676481 577735 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :@tell ais523 While you're smacking down some spam accounts, you might move [[Paulo Jorente]] to [[User:Paulo Jorente]] < 1383676485 175874 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :fakeroot id < 1383676494 667132 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :oh right < 1383676497 943457 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :no lambda < 1383676499 860031 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :sad day < 1383676502 207483 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :lambdabot is dead? < 1383676503 354310 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :what have you done, fizzie? < 1383676507 226856 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :does fungot do that < 1383676507 438445 :fungot!fis@eos.zem.fi PRIVMSG #esoteric :quintopia: even just having lists and vectors?" " ugh... ( pause) ( display < 1383676510 613609 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :quintopia: that's probably incorrect < 1383676525 637687 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :we generally prefer mainspace encyclopedic articles for people < 1383676536 866730 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :hi elliott < 1383676540 510364 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :http://esolangs.org/w/index.php?title=Paulo_Jorente&action=history oh we've actually gone through this before < 1383676545 200897 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :fungot: Why can't you do memos? < 1383676545 584834 :fungot!fis@eos.zem.fi PRIVMSG #esoteric :fizzie: those pythonistas wanted to make public and sell, i wouldn't need to store the drives remotelly? ( physically or maybe network connections)? < 1383676546 883359 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :elliott: oh okay then < 1383676555 312948 :Lymia!~moe@tccd246-207.tccd.edu JOIN :#esoteric < 1383676555 463720 :Lymia!~moe@tccd246-207.tccd.edu QUIT :Changing host < 1383676555 463840 :Lymia!~moe@inportb/loli/cirno-chan JOIN :#esoteric < 1383676593 97500 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :elliott: can you smack down spam accounts? < 1383676630 488858 :FireFly!~firefly@oftn/member/FireFly QUIT :Excess Flood < 1383676720 978458 :FireFly!~firefly@oftn/member/FireFly JOIN :#esoteric < 1383676800 63203 :lambdabot!lambdabot@2a01:7e00::f03c:91ff:fedf:9fdd JOIN :#esoteric < 1383677019 241130 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :quintopia: I can block them manually but not all of them are actually managing to edit and I don't have the time < 1383677029 951514 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :can see about changing the captchas sometime today < 1383677034 579571 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :cool < 1383677430 383255 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu QUIT :Ping timeout: 246 seconds < 1383678630 28008 :Taneb!~Taneb@5.151.65.5 JOIN :#esoteric < 1383679215 310321 :tertu!~tertu@143.44.72.124 JOIN :#esoteric < 1383679477 921448 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover QUIT :Ping timeout: 272 seconds < 1383679974 109124 :lambdabot!lambdabot@2a01:7e00::f03c:91ff:fedf:9fdd QUIT :Ping timeout: 252 seconds < 1383680257 171786 :Bike!~Glossina@wl-nat110.it.wsu.edu JOIN :#esoteric < 1383680335 282295 :njm!njm@tptp.cc QUIT :Quit: Reconnecting < 1383680341 628083 :njm!njm@tptp.cc JOIN :#esoteric < 1383680548 345032 :nortti!nortti@nano.smar.fi QUIT :Ping timeout: 264 seconds < 1383680573 101559 :nortti!~juhani@nano.smar.fi JOIN :#esoteric < 1383680573 583956 :Bike!~Glossina@wl-nat110.it.wsu.edu QUIT :Ping timeout: 240 seconds < 1383680694 915840 :Bike!~Glossina@wl-nat105.it.wsu.edu JOIN :#esoteric < 1383680927 224776 :Taneb!~Taneb@5.151.65.5 PRIVMSG #esoteric :Bow tie experiment: two people noticed < 1383680982 194152 :mrhmouse!~jordan.br@firewall1.photobooks.com PRIVMSG #esoteric :did your bow tie spin and shoot water? < 1383680985 985266 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Noticed the experiment? < 1383681080 275998 :Taneb!~Taneb@5.151.65.5 PRIVMSG #esoteric :shachaf, notice the bow tie < 1383681103 294738 :john_metcalf!~digital_w@87.114.126.86 PRIVMSG #esoteric :Doctor Who wears a bow tie. Bow ties are cool. < 1383681124 910264 :mrhmouse!~jordan.br@firewall1.photobooks.com PRIVMSG #esoteric :john_metcalf: does he still, or was that just Smith and the one older one? < 1383681152 254951 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :doctor who is not cool, sorry < 1383681166 121954 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :you know who's cool? doctor whoooo < 1383681172 488023 :Taneb!~Taneb@5.151.65.5 PRIVMSG #esoteric :mrhmouse, we're still on Smith technically < 1383681174 529254 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :shachaf: no such preson < 1383681180 716774 :Taneb!~Taneb@5.151.65.5 PRIVMSG #esoteric :Capaldi has been announced but not taken over yet < 1383681184 139446 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :john_metcalf: no such person < 1383681203 847314 :Taneb!~Taneb@5.151.65.5 PRIVMSG #esoteric :kmc, it was a reference to the show, not an implication < 1383681221 163163 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :kmc: do you have a coolness oracle < 1383681253 499549 :mrhmouse!~jordan.br@firewall1.photobooks.com PRIVMSG #esoteric :I'm a few seasons behind, actually. Saw Smith's first season but started over (2005, not 1960) when my GF wanted to watch it < 1383681269 605234 :john_metcalf!~digital_w@87.114.126.86 PRIVMSG #esoteric :Just Smith as far as I know. Don't remember about the older ones. < 1383681302 65954 :Taneb!~Taneb@5.151.65.5 PRIVMSG #esoteric :I think Troughton or Pertwee wore one? < 1383681359 173475 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :john_metcalf: protip: his name is "The Doctor" < 1383681359 363952 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :I assume that Capaldi as the Doctor will in each episode unleash a several minute long stream of inventively graphic profanity at some creature or another < 1383681368 867253 :olsner!~salparot@c83-252-203-32.bredband.comhem.se PRIVMSG #esoteric :some of these have bow tie-like decorations: http://en.wikipedia.org/wiki/File:Versions_of_the_Doctor.jpg < 1383681420 394164 :copumpkin!~copumpkin@unaffiliated/copumpkin QUIT :Ping timeout: 246 seconds < 1383681466 199463 :mrhmouse!~jordan.br@firewall1.photobooks.com PRIVMSG #esoteric :kmc: The Doctor doesn't swear, generally. < 1383681488 288358 :mrhmouse!~jordan.br@firewall1.photobooks.com PRIVMSG #esoteric :Though I agree it would be amusing. < 1383681605 655446 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :"A man walks into a police call box. It's slightly smaller on the inside." < 1383681624 53340 :mrhmouse!~jordan.br@firewall1.photobooks.com PRIVMSG #esoteric :give this man a medal < 1383681715 541299 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :quintopia: ++++ < 1383681747 457136 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :i stole it. there are more: https://twitter.com/HardSciFiMovies < 1383681755 35465 :mrhmouse!~jordan.br@firewall1.photobooks.com PRIVMSG #esoteric :coppro: I think you meant +[+] < 1383681760 991766 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :mrhmouse: no < 1383681773 178257 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :mrhmouse: that's equivalent to nothing < 1383681778 544286 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :or bottom < 1383681780 244507 :mrhmouse!~jordan.br@firewall1.photobooks.com PRIVMSG #esoteric :I suppose that would overflow, depending on which interpreter you use < 1383681814 426988 :mrhmouse!~jordan.br@firewall1.photobooks.com PRIVMSG #esoteric :it isn't clear, though, whether it should always overflow < 1383682108 505364 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :mrhmouse: there is a surprising dearth of algorithms for non-wrapping implementations on the wiki. perhaps you'd like to add some? < 1383682160 214569 :mrhmouse!~jordan.br@firewall1.photobooks.com PRIVMSG #esoteric :quintopia: I'd probably have to write one. I don't know of any implementations that don't wrap, only that the original design isn't clear whether it should wrap < 1383682220 396739 :mrhmouse!~jordan.br@firewall1.photobooks.com PRIVMSG #esoteric :Correct me if I'm wrong here, please < 1383682227 621314 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :i've been adding algorithms without testing them. it's hard to analyse them entirely in my head, so if you happen to find or write a BigNum impl, let me know. < 1383682291 535598 :mrhmouse!~jordan.br@firewall1.photobooks.com PRIVMSG #esoteric :I didn't mean that it necessarily used BigNum, only that it didn't wrap. Could just stop at 255 or whatever the max value is. < 1383682345 259575 :mrhmouse!~jordan.br@firewall1.photobooks.com PRIVMSG #esoteric :Unless the behavior is defined in the original design for what happens at value boundaries. I'm working off of memory here. < 1383682530 215298 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :What would be fun is that if you ever try to increment past 255, the cell gets replaced with a random value < 1383682538 522855 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :Or a pointer to some other cell < 1383682604 441394 :mrhmouse!~jordan.br@firewall1.photobooks.com PRIVMSG #esoteric :FreeFull: How would the pointer work? Incrementing/decrementing would modify a different cell..? Moving left/right would move relative to the other cell..? < 1383682669 330415 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :mrhmouse: i like to think that nonwrapping implies unbounded < 1383682696 924202 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :mrhmouse: forcefully stopping a number from overflowing is just stupid and inelegant < 1383682737 619557 :mrhmouse!~jordan.br@firewall1.photobooks.com PRIVMSG #esoteric :quintopia: brainfuck is elegant otherwise? < 1383682785 416821 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :mrhmouse: wrapping algorithms tend to be very elegant. < 1383682831 233235 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :however, i suspect that an algorithm that works in the unbounded case should also work in the forcefully-size-limited case, assuming the numbers involved don't push up against that limit. < 1383682850 850184 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :that said, writing algorithms for the unbounded case is straight-up challenging < 1383682899 474368 :mrhmouse!~jordan.br@firewall1.photobooks.com PRIVMSG #esoteric :challenging, or just time-consuming? < 1383682928 728806 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :challenging < 1383682960 337724 :Lymia!~moe@inportb/loli/cirno-chan QUIT :Ping timeout: 264 seconds < 1383682973 33129 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :mrhmouse: You know what, not a pointer, but just randomly teleport you to a different position in the program < 1383682980 329448 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :That would be easier < 1383682990 972628 :mrhmouse!~jordan.br@firewall1.photobooks.com PRIVMSG #esoteric :FreeFull: It's also easier to explain :) < 1383682991 510229 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :Or maybe randomly teleport to a different cell < 1383682995 801725 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :easier eh < 1383683025 552004 :mrhmouse!~jordan.br@firewall1.photobooks.com PRIVMSG #esoteric :Depending on your implementation, I think teleporting to a different location in the source code is trivial < 1383683054 503553 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :so is moving to a different cell in the array < 1383683060 158043 :mrhmouse!~jordan.br@firewall1.photobooks.com PRIVMSG #esoteric :That's far easier < 1383683074 2521 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :apparently virtualbox causes my machine to panic. so I installed libvirt, which is very nice and nifty and fungot and everything else. but then, the kvm vagrant plugin refuses to compile, so I can't use that with projects that run on vagrant. fml. < 1383683074 272000 :fungot!fis@eos.zem.fi PRIVMSG #esoteric :boily: i'll let this fnord do this, unchecked conversion in code i've pasted from my fnord < 1383683086 409701 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :but from the programmer's perspective, the random cell seems easier to manage than the random instruction < 1383683153 141847 :mrhmouse!~jordan.br@firewall1.photobooks.com PRIVMSG #esoteric :Far easier, I would think. Especially if you're implementing a compiler (and not an interpreter) < 1383683208 521571 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :not the compiler programmer, the bf programmer < 1383683214 269854 :mrhmouse!~jordan.br@firewall1.photobooks.com PRIVMSG #esoteric :Ah, I see < 1383683653 758602 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :duduu < 1383683699 725909 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :oklellopol. < 1383683782 586195 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :i am! :) < 1383683864 163430 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :oklopol is a walrus. < 1383683878 753570 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :that i am? i am??? < 1383683951 743332 :mrhmouse!~jordan.br@firewall1.photobooks.com PRIVMSG #esoteric :Does #esolang house any Lojban speakers? < 1383683982 222108 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :i don't think so < 1383683998 468809 :Taneb!~Taneb@5.151.65.5 PRIVMSG #esoteric :I tried to learn once, didn't get very far < 1383684011 883613 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :yeah there are a few aficionados < 1383684031 517188 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :including myself (i even have the grammar in my bookshelf) < 1383684050 742798 :mrhmouse!~jordan.br@firewall1.photobooks.com PRIVMSG #esoteric :I'm thinking of taking a swing at it, thought there might be a few people here interested in that sort of thing < 1383684131 173532 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :Taneb: me too, long ago < 1383684139 609698 :MindlessDrone!~MindlessD@141.70.114.6 QUIT :Quit: MindlessDrone < 1383684189 898305 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :i was dating this woman and her other boyfriend was into lojban < 1383684435 874894 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :i was in some lojban channels for a while < 1383684603 182745 :ion!ion@heh.fi PRIVMSG #esoteric :It’s popular enough for there to be channels? < 1383684641 573022 :mrhmouse!~jordan.br@firewall1.photobooks.com PRIVMSG #esoteric :shachaf may be referring to a conlang channel in general < 1383684735 168252 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :there are multiple lojban channels on freenode.. < 1383684737 921328 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :no, #lojban (and #jbopre) < 1383684743 204678 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :or were, last time I joined them, anyway < 1383684752 988887 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :there's #ckule ("school") too < 1383684813 321782 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :i also went to a meeting of lojban speakers once < 1383684855 952738 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :was confused < 1383684890 126295 :mrhmouse!~jordan.br@firewall1.photobooks.com PRIVMSG #esoteric :FireFly: Thanks for directing me to #ckule! That's incredibly useful. < 1383684924 684465 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :Have fun < 1383685333 146847 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :
ACTION thinks his last message is one of the nerdiest things he's said in a while
< 1383685479 73695 :Taneb!~Taneb@5.151.65.5 PRIVMSG #esoteric :kmc, I disagree, it suggests you were dating someone < 1383685494 941794 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric : nerds have dates, too! < 1383685555 307985 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :yes < 1383685580 566274 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :i think dating a poly conlang enthusiast is nerdier than not dating anyone < 1383685587 923686 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :and i ♥ it < 1383685593 118429 :Taneb!~Taneb@5.151.65.5 PRIVMSG #esoteric :@ping < 1383685651 533019 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :today will be remembered as the Day the Fizzie Killed the Lambdabot. < 1383685679 641896 :olsner!~salparot@c83-252-203-32.bredband.comhem.se PRIVMSG #esoteric :fizzie did that? < 1383685742 515850 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :indeed. he is the perp. < 1383686160 986937 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :fungottttt, why can't you evaluate haskell? < 1383686161 246679 :fungot!fis@eos.zem.fi PRIVMSG #esoteric :FireFly: i was mistaken!! i want my five pounds. i feel bad making you read paul graham's account on viaweb and fnord and fnord < 1383686177 584720 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :(I love wikipédia. “instead of sounding like "YEEEEEE"”.) < 1383686199 70804 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :fungot: do you evaluate haskell if I pay you five pounds? < 1383686199 221777 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :FireFly: my bot can evaluate Haskell. fsvo evaluate. Error 1. < 1383686199 372682 :fungot!fis@eos.zem.fi PRIVMSG #esoteric :FireFly: i know; it's an occupational hazard for all of my mail.) < 1383686207 812377 :Taneb!~Taneb@5.151.65.5 PRIVMSG #esoteric :~ 7 + 2 < 1383686208 99645 :metasepia!~metasepia@2607:fad8:4:6:f2de:f1ff:fe6c:6765 PRIVMSG #esoteric :--- Possible commands: dice, duck, echo, eval, fortune, metar, ping, yi < 1383686211 657836 :Taneb!~Taneb@5.151.65.5 PRIVMSG #esoteric :~eval 7 + 2 < 1383686214 355854 :metasepia!~metasepia@2607:fad8:4:6:f2de:f1ff:fe6c:6765 PRIVMSG #esoteric :Error (1): < 1383686222 392267 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :~eval 7 + 2 < 1383686224 153560 :metasepia!~metasepia@2607:fad8:4:6:f2de:f1ff:fe6c:6765 PRIVMSG #esoteric :9 < 1383686226 70696 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :fungot: stop replying with kinda sensical replies; it's scary < 1383686226 246549 :fungot!fis@eos.zem.fi PRIVMSG #esoteric :FireFly: undefined variable ' a' combinator, which is all the rage < 1383686230 631997 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :~duck dog < 1383686231 53810 :metasepia!~metasepia@2607:fad8:4:6:f2de:f1ff:fe6c:6765 PRIVMSG #esoteric :Dog a domesticated canid, Canis familiaris, bred in many varieties. < 1383686247 298959 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :~duck cat < 1383686247 768933 :metasepia!~metasepia@2607:fad8:4:6:f2de:f1ff:fe6c:6765 PRIVMSG #esoteric :cat definition: a carnivorous mammal ('''Felis catus''') long domesticated as a pet and for catching rats and mice. < 1383686252 215522 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :fungot is sentient. it's just... sentient on a different axis. < 1383686252 503421 :fungot!fis@eos.zem.fi PRIVMSG #esoteric :boily: why not just disable web access then, the output just after i checked. how shall i hand a long list of books to buy < 1383686267 884429 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :~ duck befunge < 1383686268 156766 :metasepia!~metasepia@2607:fad8:4:6:f2de:f1ff:fe6c:6765 PRIVMSG #esoteric :--- Possible commands: dice, duck, echo, eval, fortune, metar, ping, yi < 1383686272 188283 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :~duck befunge < 1383686272 546843 :metasepia!~metasepia@2607:fad8:4:6:f2de:f1ff:fe6c:6765 PRIVMSG #esoteric :Befunge is a stack-based, reflective, esoteric programming language. < 1383686278 813453 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :fungot: very good question, I say < 1383686278 993917 :fungot!fis@eos.zem.fi PRIVMSG #esoteric :FireFly: every time someone bothers to look at them < 1383686281 938881 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :neat < 1383686410 401676 :olsner!~salparot@c83-252-203-32.bredband.comhem.se PRIVMSG #esoteric :fungot: duck! < 1383686410 553156 :fungot!fis@eos.zem.fi PRIVMSG #esoteric :olsner: he's a pathological liar < 1383686425 887246 :mrhmouse!~jordan.br@firewall1.photobooks.com PRIVMSG #esoteric :what is fungot written in? < 1383686426 38424 :fungot!fis@eos.zem.fi PRIVMSG #esoteric :mrhmouse: need to sleep on right now, not sure < 1383686430 510395 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :fungot, stop being sentient! < 1383686430 690435 :fungot!fis@eos.zem.fi PRIVMSG #esoteric :boily: you're missing the forest for the trees. :) < 1383686434 923348 :lambdabot!lambdabot@2a01:7e00::f03c:91ff:fedf:9fdd JOIN :#esoteric < 1383686435 342419 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :mrhmouse: befunge. < 1383686446 896377 :mrhmouse!~jordan.br@firewall1.photobooks.com PRIVMSG #esoteric :impressive. Is the source available? < 1383686448 734187 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :woohoo! fizzie casted necroresurrection! < 1383686469 606668 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :mrhmouse: ask the aforementioned necromancer. < 1383686508 313122 :mrhmouse!~jordan.br@firewall1.photobooks.com PRIVMSG #esoteric :Nevermind, found the website :) < 1383686515 163737 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :`source < 1383686516 688882 :HackEgo!dlopen@libdl.so PRIVMSG #esoteric :​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: source: not found < 1383686520 793249 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :er < 1383686524 782150 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :befungeprefixsource < 1383686532 794915 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :er, s/befunge/fungot/ < 1383686532 982047 :fungot!fis@eos.zem.fi PRIVMSG #esoteric :FireFly: fnord it. if our body likes it, it's only tangentially related < 1383686540 779807 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :Yes. Fnord it. < 1383686748 331944 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :someone will end up writing F&F&F slashfiction, I can sense it :D < 1383686756 433390 :mrhmouse!~jordan.br@firewall1.photobooks.com PRIVMSG #esoteric :Huh. "Fnord" is actually in fungot's source. I may have to learn Befunge. < 1383686756 594638 :fungot!fis@eos.zem.fi PRIVMSG #esoteric :mrhmouse: eval ( 1 0) returns 0 here < 1383686906 744872 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :really, fungot < 1383686906 975675 :fungot!fis@eos.zem.fi PRIVMSG #esoteric :FireFly: the devil is in the pipeline for that kind of language < 1383686968 802451 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :
ACTION gives botcrackers to fungot
< 1383686969 157253 :fungot!fis@eos.zem.fi PRIVMSG #esoteric :boily: i remember well. besides that perl is a neat write-only language if you know about t when he did it < 1383686984 473428 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :
ACTION pets fungot
< 1383686984 638380 :fungot!fis@eos.zem.fi PRIVMSG #esoteric :boily: perhaps not flying, as such < 1383687136 173194 :olsner!~salparot@c83-252-203-32.bredband.comhem.se PRIVMSG #esoteric :perhaps I should get a pet fungot < 1383687136 364108 :fungot!fis@eos.zem.fi PRIVMSG #esoteric :olsner: or pre-scheme. < 1383687146 440847 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :i thought of making a whitespace dialect with MONGOLIAN VOWEL SEPERATOR and the 2 zero width spaces < 1383687155 367533 :olsner!~salparot@c83-252-203-32.bredband.comhem.se PRIVMSG #esoteric :fungot: yes, or that < 1383687155 633381 :fungot!fis@eos.zem.fi PRIVMSG #esoteric :olsner: today: " zomg my vimrc broke u sux") ( bundle " mostly/ harmless") ( scheme-report-environment 5))) < 1383687160 652746 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :so you essentially can only write it with a hey editor < 1383687194 321998 :mrhmouse!~jordan.br@firewall1.photobooks.com PRIVMSG #esoteric :myname: is that Fonzi mode for emacs? < 1383687205 477052 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :myname: it should also use COMBINING GRAPHEME JOINER < 1383687218 687404 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :not to be confused with a hay editor, for when you are in performance horse-tuning. < 1383687230 389230 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :kmc: as long as it is zero width, everything should be fine < 1383687256 771185 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :fungot: good evening < 1383687257 54956 :fungot!fis@eos.zem.fi PRIVMSG #esoteric :shachaf: i have no idea at the moment, so i would favor the name " mono". err... < 1383687259 904729 :Bike!~Glossina@wl-nat105.it.wsu.edu QUIT :Ping timeout: 260 seconds < 1383687266 767783 :boily!~boily@mtl.savoirfairelinux.net QUIT :Quit: there may be unidentified chicken. < 1383687268 960270 :metasepia!~metasepia@2607:fad8:4:6:f2de:f1ff:fe6c:6765 QUIT :Remote host closed the connection < 1383687272 253986 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :what about a hax editor < 1383687274 328812 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :or a sax editor < 1383687276 68923 :olsner!~salparot@c83-252-203-32.bredband.comhem.se PRIVMSG #esoteric :good mono fungot < 1383687276 460000 :fungot!fis@eos.zem.fi PRIVMSG #esoteric :olsner: i tend to be very useful, as is necessary to tie the scheme system: a set of knowledge and irrational disdain for anything that reminds me of ' if' < 1383687279 609123 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :fungot: are you writing a .NET implementation < 1383687279 973892 :fungot!fis@eos.zem.fi PRIVMSG #esoteric :shachaf: well, essentially, but i'm still unsure about needing a clos-style type dispatch system, et cetera, as well as < 1383687285 873047 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :sex editor? < 1383687332 445965 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :i hardly know 'er! < 1383687340 920210 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :fungot's .NET implementation actually sounds interesting < 1383687341 215054 :fungot!fis@eos.zem.fi PRIVMSG #esoteric :FireFly: fnord? :d *goes to upload lost fnord partner. riastradh, you're always loading it fnord some later version... ( i think that's enough fnord. < 1383687360 6462 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :fungot: me too < 1383687360 209338 :fungot!fis@eos.zem.fi PRIVMSG #esoteric :kmc: and they reported this to dorai a year or so < 1383687365 881238 :mrhmouse!~jordan.br@firewall1.photobooks.com PRIVMSG #esoteric :fungot: there's never enough fnord < 1383687366 74695 :fungot!fis@eos.zem.fi PRIVMSG #esoteric :mrhmouse: why not quack? never heard of < 1383687368 339014 :olsner!~salparot@c83-252-203-32.bredband.comhem.se PRIVMSG #esoteric :hmm, these muffins may have been slightly moldy.. will I die? < 1383687388 319948 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :are they shot through with fungot? < 1383687388 489774 :fungot!fis@eos.zem.fi PRIVMSG #esoteric :kmc: ah i see what you mean by " c in scheme < 1383687388 691031 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :fungot: will olsner die? < 1383687388 905093 :fungot!fis@eos.zem.fi PRIVMSG #esoteric :FireFly: how? tetris requires delays and reflexes could make him type ' hi tusho' and hit enter < 1383687403 548081 :Sprocklem!~Sprocklem@199.185.88.147 JOIN :#esoteric < 1383687404 509635 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :olsner: if you type 'hi tusho' and hit enter I think you'll survive < 1383687411 640798 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :dr fungot < 1383687411 825832 :fungot!fis@eos.zem.fi PRIVMSG #esoteric :kmc: and adding interesting tidbits of teh information fnord industry every now and then. :d) < 1383687417 99028 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :The Fungot Diet < 1383687419 993668 :olsner!~salparot@c83-252-203-32.bredband.comhem.se PRIVMSG #esoteric :' hi tusho' < 1383687425 900713 :olsner!~salparot@c83-252-203-32.bredband.comhem.se PRIVMSG #esoteric :fungot: am I safe now? < 1383687426 189221 :fungot!fis@eos.zem.fi PRIVMSG #esoteric :olsner: alice owns the room i take it you can't do it on my own < 1383687498 160001 :carado!~user4539@2a01:e35:8b61:e430:6ef0:49ff:fe73:1fd0 QUIT :Ping timeout: 252 seconds < 1383687516 675124 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :Has fungot's chatter actually improved as of lately, or have I just been oblivious to it before? < 1383687516 843580 :fungot!fis@eos.zem.fi PRIVMSG #esoteric :FireFly: is that really you? done with exams? nothing, so it must be < 1383687540 752150 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :I'm probably just imagining things < 1383687541 520444 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :this song is called Alice's Room, and it's about Alice, and the Room < 1383687554 742331 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :and tommy wiseau < 1383687566 421047 :olsner!~salparot@c83-252-203-32.bredband.comhem.se PRIVMSG #esoteric :FireFly: we've just been doing a whole lot of fungot lately, and I guess you're filtering out the stuff that's not very good < 1383687566 590099 :fungot!fis@eos.zem.fi PRIVMSG #esoteric :olsner: well it starts to make sense now, thanks for the movie by the way, < 1383687579 596053 :olsner!~salparot@c83-252-203-32.bredband.comhem.se PRIVMSG #esoteric :you're welcome fungot < 1383687579 752025 :fungot!fis@eos.zem.fi PRIVMSG #esoteric :olsner: he's saying what the code is blazing fast, but it's not what i think < 1383687581 961612 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :Probably < 1383687599 580693 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :we were just outside of barstow, on the edge of the desert, when the fungot began to take hold < 1383687599 731647 :fungot!fis@eos.zem.fi PRIVMSG #esoteric :kmc: eval ( lambda foo) is usually syntax for () x < 1383687623 539749 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :oh is that how Scheme works? thanks fungot, it all makes sense now < 1383687623 690928 :fungot!fis@eos.zem.fi PRIVMSG #esoteric :kmc: in stew everything is a side-effect. < 1383687637 332026 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :((lambda (fungot) (fungot fungot)) (lambda (fungot) (fungot fungot))) < 1383687637 492271 :fungot!fis@eos.zem.fi PRIVMSG #esoteric :kmc: yes i have a " color", and such typos probably won't be able to get it < 1383687649 852193 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :fungot: im white < 1383687650 4950 :fungot!fis@eos.zem.fi PRIVMSG #esoteric :kmc: i mean, blender does it too. < 1383687695 467174 :mrhmouse!~jordan.br@firewall1.photobooks.com PRIVMSG #esoteric :what happens when you get two fungot's talking to one another? mindless chatter? < 1383687695 771256 :fungot!fis@eos.zem.fi PRIVMSG #esoteric :mrhmouse: reference implementations, like... 500-600 lines, iirc. any docs on why, even though there's no exclamation mark in the cases i'm familiar with < 1383687699 602155 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :fungot: is #esoteric a stew < 1383687699 810271 :fungot!fis@eos.zem.fi PRIVMSG #esoteric :shachaf: there are two gc's. look at " how an electron interacts", for that matter < 1383687762 155214 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :fungot, fungot, fungot < 1383687762 537492 :fungot!fis@eos.zem.fi PRIVMSG #esoteric :shachaf: as in, you can use syntax-case to pattern match on e.g. spidermonkey. c2bf. egobfi) in pseudo-haskell < 1383687774 48336 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :mrhmouse: there was a famous dialogue between ELIZA and PARRY < 1383687778 203363 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :fungot is p. obsessed with scheme < 1383687778 395400 :fungot!fis@eos.zem.fi PRIVMSG #esoteric :shachaf: and then tell me about x 5, y 4, z x+1 < 1383687812 611885 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :fungot: i don't know about those things < 1383687812 800023 :fungot!fis@eos.zem.fi PRIVMSG #esoteric :shachaf: iirc it will not be easy for me to update my own site. < 1383687813 874551 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :"Scheme is like a stew: everything is a side-effect." < 1383687827 19510 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :Today's fungot wisdom < 1383687827 319499 :fungot!fis@eos.zem.fi PRIVMSG #esoteric :FireFly: new environment every time you want to do in one line on irc matches the regex on the whole) pretty fun. < 1383687843 236867 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :fizzie: you should fix fungot's punctuation < 1383687843 634751 :fungot!fis@eos.zem.fi PRIVMSG #esoteric :shachaf: ahh, i get porn sites and forum messages complaining about network problems at the office ' til 1am and drum loudly, yeah, i understood to be magical < 1383687876 628916 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :you could match parens and just strip unmatched ones < 1383687885 956930 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :the spacing is also an issue < 1383687896 336917 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :fungot would seem much more realistic without the broken spacing < 1383687896 572218 :fungot!fis@eos.zem.fi PRIVMSG #esoteric :shachaf: paint shop fnord string to compare /etc/ password for its fnord. < 1383687927 399480 :mrhmouse!~jordan.br@firewall1.photobooks.com PRIVMSG #esoteric :I like to think of fungot as a drunken CS major, which makes the whitespace and parens just character points < 1383687927 603036 :fungot!fis@eos.zem.fi PRIVMSG #esoteric :mrhmouse: hello back. i think i'm about to drop a very large stream that contains all of the < 1383687937 957192 :mrhmouse!~jordan.br@firewall1.photobooks.com PRIVMSG #esoteric :fungot: all of the what? < 1383687938 252598 :fungot!fis@eos.zem.fi PRIVMSG #esoteric :mrhmouse: orbit's back end ( forgive the bad intentation.) < 1383687950 731192 :mrhmouse!~jordan.br@firewall1.photobooks.com PRIVMSG #esoteric :see, he's even sorry about the whitespace < 1383687968 618021 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :I thought it was "forgive the bad intent" < 1383687972 617690 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :is fungot a he? < 1383687972 865393 :fungot!fis@eos.zem.fi PRIVMSG #esoteric :shachaf: " fold" by haskell terminology and a fold-right by srfi-1... i wonder < 1383687981 316764 :mrhmouse!~jordan.br@firewall1.photobooks.com PRIVMSG #esoteric :I thought it was a typo of "indentation" < 1383687990 655157 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :Like, "sorry that I'm about to drop a very large stream that contains all of the orbit' back end" < 1383687998 612307 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :orbit's* < 1383688029 804207 :mrhmouse!~jordan.br@firewall1.photobooks.com PRIVMSG #esoteric :Curse you fungot, now I'm snickering in the office and getting odd looks < 1383688030 149851 :fungot!fis@eos.zem.fi PRIVMSG #esoteric :mrhmouse: for each stage there's a variable that is downcased. apple laptop loves qt. and i want to subtract " alpha" is that it < 1383688040 163103 :mrhmouse!~jordan.br@firewall1.photobooks.com PRIVMSG #esoteric :fungot: I think that's it < 1383688040 361176 :fungot!fis@eos.zem.fi PRIVMSG #esoteric :mrhmouse: http://pastebin.ca/ fnord my way through fnord right now, bkhl < 1383688058 955218 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :fungot: you can fnord it. < 1383688059 106097 :fungot!fis@eos.zem.fi PRIVMSG #esoteric :FireFly: ( in case the offset changes. i wouldn't be surprised if it was made < 1383688082 521098 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :fungot: should i read The Illuminatus! Trilogy? < 1383688082 871030 :fungot!fis@eos.zem.fi PRIVMSG #esoteric :shachaf: char is a number that inp will never return, some values must be the font. that's just for starters. that will require using it for < 1383688094 174115 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :fungot is as enigmatic as always < 1383688094 326018 :fungot!fis@eos.zem.fi PRIVMSG #esoteric :shachaf: no idea at all) < 1383688122 449508 :mrhmouse!~jordan.br@firewall1.photobooks.com PRIVMSG #esoteric :fungot has a special brand of enlightenment < 1383688122 732061 :fungot!fis@eos.zem.fi PRIVMSG #esoteric :mrhmouse: although i probably got the usage stuff for import ten times or anything.) i've had this for years without a problem < 1383688152 959984 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :fungot: do you like #drugz < 1383688153 128440 :fungot!fis@eos.zem.fi PRIVMSG #esoteric :shachaf: i'd prefer, say, scheme48.) < 1383688165 376205 :mrhmouse!~jordan.br@firewall1.photobooks.com PRIVMSG #esoteric :very into scheme indeed < 1383688229 303594 :Lymia!~moe@inportb/loli/cirno-chan JOIN :#esoteric < 1383688316 329263 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :I think fungot secretly gets high on scheme < 1383688316 637590 :fungot!fis@eos.zem.fi PRIVMSG #esoteric :FireFly: why wouldn't they look like locale names to me, a doylestown restaurant would have people dressed as 18th-century fnord, serving... i dunno < 1383688555 873398 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :FireFly: if that's a secret, then fungot is very bad at secrecy < 1383688556 174254 :fungot!fis@eos.zem.fi PRIVMSG #esoteric :shachaf: i gotta get me some o that sweet yelling, but noooo. you were talking about a forbidden page, whats to talk about < 1383688573 375328 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :fungot: tell me more about the forbidden page < 1383688574 88033 :fungot!fis@eos.zem.fi PRIVMSG #esoteric :shachaf: scheme is optimized for sparcs, but the list isn't laid out in readme and now m-x slime automatically loads slime48 stuff and doesnt ask me to, naa naa naa. < 1383688584 546678 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :(does it contain scheme source code?) < 1383688590 10147 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :fungot: naa naa naa yourself < 1383688590 189009 :fungot!fis@eos.zem.fi PRIVMSG #esoteric :shachaf: he is pretty fnord. between germany and france. --south. now < 1383688593 209915 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :^style < 1383688593 360915 :fungot!fis@eos.zem.fi PRIVMSG #esoteric :Available: agora alice c64 ct darwin discworld enron europarl ff7 fisher fungot homestuck ic irc* iwcs jargon lovecraft nethack pa qwantz sms speeches ss wp youtube < 1383688599 444873 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :^style fungot < 1383688599 595914 :fungot!fis@eos.zem.fi PRIVMSG #esoteric :Selected style: fungot (What I've said myself) < 1383688609 72125 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :fungot.fungot.moed++ < 1383688609 303297 :fungot!fis@eos.zem.fi PRIVMSG #esoteric :shachaf: " and this is a new game. there is no particularly good human translation for this concept. a concept usually denoted by a single, savage thrust of her was certain that the noise was as a distress signal is < 1383688663 171397 :Bike!~Glossina@wl-nat101.it.wsu.edu JOIN :#esoteric < 1383688888 329572 :augur!~augur@129-2-129-35.wireless.umd.edu QUIT :Remote host closed the connection < 1383688891 163705 :^v!~NotPing@2601:4:4500:887:b142:5632:6dc4:a86 JOIN :#esoteric < 1383688908 910876 :mrhmouse!~jordan.br@firewall1.photobooks.com QUIT :Quit: fungot! < 1383689723 519689 :lambdabot!lambdabot@2a01:7e00::f03c:91ff:fedf:9fdd QUIT :Quit: #lesswrong < 1383689948 387151 :Sprocklem!~Sprocklem@199.185.88.147 QUIT :Ping timeout: 240 seconds < 1383690495 157544 :ais523!~ais523@unaffiliated/ais523 JOIN :#esoteric < 1383690597 678659 :heroux!~heroux@50708181.static.ziggozakelijk.nl QUIT :Ping timeout: 248 seconds < 1383690667 267439 :heroux!~heroux@50708181.static.ziggozakelijk.nl JOIN :#esoteric < 1383690801 750801 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :elliott: the new abusefilter seems to be holding, at least < 1383690849 571256 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :except, hmm < 1383690857 357442 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :it doesn't seem 100% reliable < 1383690970 806312 :nooodl!~nooodl@91.179.160.127 PRIVMSG #esoteric :^style ss < 1383690970 957780 :fungot!fis@eos.zem.fi PRIVMSG #esoteric :Selected style: ss (Shakespeare's writings) < 1383691014 830780 :nooodl!~nooodl@91.179.160.127 PRIVMSG #esoteric :fungot: shakespeare huh? < 1383691015 502576 :fungot!fis@eos.zem.fi PRIVMSG #esoteric :nooodl: ale man. hold! in the orient when the gracious light lifts up his head, for the close night doth play the runaway, and we are come to fetch you home: i meete the captaines at the cittadell < 1383691042 762376 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :oh, bleh < 1383691056 315868 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :it gets automatically turned off because it assumes it's hitting false positives < 1383691059 524114 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :because it matches so many actions < 1383691077 247039 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :Can you remove that feature? < 1383691233 504672 :^v!~NotPing@2601:4:4500:887:b142:5632:6dc4:a86 QUIT :Remote host closed the connection < 1383691500 386565 :augur!~augur@pool-71-178-143-152.washdc.east.verizon.net JOIN :#esoteric < 1383691731 118301 :^v!~NotPing@2601:4:4500:887:4ccb:4b22:4803:ac44 JOIN :#esoteric < 1383691762 542248 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :elliott: Can you restart lambdabot? < 1383691782 302003 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Maybe set something up to restart like things used to work? < 1383691804 709845 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :(This time it looks like some admin told it to "@quit #lesswrong".) < 1383691916 901626 :augur_!~augur@216-164-48-148.c3-0.slvr-ubr1.lnh-slvr.md.cable.rcn.com JOIN :#esoteric < 1383691952 605901 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :elliott: can you please reconfigure MediaWiki to change $wgAbuseFilterEmergencyDisableThreshold to 1.0? < 1383692066 583224 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :ais523: in a minute < 1383692069 931308 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :shachaf: is it even in #lesswrong? < 1383692079 936151 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :No, it's not even online. < 1383692093 386660 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :sigh < 1383692103 490122 :elliott!~elliott@unaffiliated/elliott PART :#esoteric < 1383692109 371612 :augur!~augur@pool-71-178-143-152.washdc.east.verizon.net QUIT :Ping timeout: 246 seconds < 1383692247 439581 :elliott!~elliott@unaffiliated/elliott JOIN :#esoteric < 1383692296 863974 :lambdabot!lambdabot@2a01:7e00::f03c:91ff:fedf:9fdd JOIN :#esoteric < 1383692344 149140 :njm!njm@tptp.cc QUIT :Quit: getting off irc for a while < 1383692602 938002 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :I have made up something called "Block RPG" I don't know if it already exist under other name. How it works is, there is a hierarchy of referees and players, and both the referees and the players have to be ready in order to play something. If something depends on what someone else did in the past, or is encountering another player (or referee), that part of the game is blocked until it is resolved (the rest of the game can still continue). < 1383692691 235838 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :Are you aware of such things? < 1383692738 919516 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I am not aware of such things. < 1383692763 698146 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :Do you like this kind of idea, it could work if there are too many players and stuff like that? < 1383693466 102859 :oerjan!oerjan@sprocket.nvg.ntnu.no JOIN :#esoteric < 1383693975 307239 :Lymia!~moe@inportb/loli/cirno-chan QUIT :Ping timeout: 245 seconds < 1383694586 298994 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :shachaf: it's confusing that «foo 2>&1 >out» writes only stdout to 'out' but «foo 2>&1 | tee out» writes both stdout and stderr < 1383694722 341006 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :what about foo >out 2>&1 < 1383694735 599752 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :that will redirect both and is generally what you want < 1383694773 310092 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :if you think of it like «stdout = open("out"); stderr = stdout;» then it makes sense < 1383694778 405175 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :but it still "feels backwards" to me < 1383694816 298506 :Bike!~Glossina@wl-nat101.it.wsu.edu PRIVMSG #esoteric :wait, so what's foo 2>&1 >out do < 1383694843 833801 :Taneb!~Taneb@5.151.65.5 QUIT :Quit: Leaving < 1383694844 970236 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Writes stderr to where stdout would have gone, and stdout to "out". < 1383694845 874235 :Bike!~Glossina@wl-nat101.it.wsu.edu PRIVMSG #esoteric :writes stderr to stdout and stdout (without stderr) to out? < 1383694850 448579 :Bike!~Glossina@wl-nat101.it.wsu.edu PRIVMSG #esoteric :right. weird < 1383694873 320050 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :exec 3>&2 > >(ts >> "$log") 2>&1 < 1383694888 752313 :Bike!~Glossina@wl-nat101.it.wsu.edu PRIVMSG #esoteric :wat < 1383694963 606958 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Appends stdout and stderr with timestamps to $log, and keeps fd 3 around for referring to the original stderr? < 1383694965 460942 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :redirect stdout and stderr to append to $log through the program 'ts' (which timestamps each line), also keep original stderr open as fd 3 < 1383694968 905215 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :yep < 1383694985 199809 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :See, not rocket science. < 1383694987 61737 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :and it takes effect within the current shell script, because that's what 'exec' does without a command < 1383695001 134224 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :kmc: that's why there should be a write-to-file command, like a dual to cat (the way people actually use it) < 1383695008 912982 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :and then everything should be done with pipes, no < or > < 1383695016 330183 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :imo better that way < 1383695048 690701 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :readfile foo | ... | writefile bar < 1383695092 95312 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :sponge is like that, but it also buffers < 1383695098 602010 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :m>&n means "assign file descriptor m to point to whatever file descriptor n previously pointed to, with no further indirection through n" < 1383695103 735842 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :also tee >/dev/null < 1383695105 715161 :Bike!~Glossina@wl-nat101.it.wsu.edu PRIVMSG #esoteric :http://en.wikipedia.org/wiki/Hartmann_pipeline < 1383695122 931047 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :There's no way to "branch" in a pipeline, though. You couldn't "... | ts | writefile bar" just the stderr, and pipe stdout somewhere elsewhere. < 1383695137 485739 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :kmc: also cat > file < 1383695139 542784 :Bike!~Glossina@wl-nat101.it.wsu.edu PRIVMSG #esoteric :oerjan, kmc, fizzie: oh, i was confused because i wasn't sure what 3 was (like how 1 is stdout and 2 is stderr) < 1383695140 374396 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :if you're willing to use > < 1383695154 200734 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :Bike: yeah, 3 isn't anything by default, but doing that opens it < 1383695168 186390 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :fizzie: yeah, but process substitution can do that! which is why i used it above < 1383695174 245805 :Bike!~Glossina@wl-nat101.it.wsu.edu PRIVMSG #esoteric :my old enemy, create-a-variable and assign-a-variable being conflated < 1383695174 435804 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :Yes there should be write file command; it can be used, then, if you cannot use > for some reason; can dd write a file like that? < 1383695185 334428 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :The >(foo) and and <(foo) things always look kind of clunky to me for some reason. < 1383695187 428261 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :fizzie: well, it's kind of unfair that you can say 2>x 1>y but you can't pipe them to two different commands < 1383695190 246412 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :i <3 them so much < 1383695195 774517 :Bike!~Glossina@wl-nat101.it.wsu.edu PRIVMSG #esoteric :argh < 1383695197 946057 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :colordiff -u <(command) <(othercommand) | less -SR < 1383695242 721620 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :Bike: then you can do whatever >&3 later in the script to send things to original stderr, but all the stderr and stdout of the commands you run will be captured < 1383695269 753303 :Bike!~Glossina@wl-nat101.it.wsu.edu PRIVMSG #esoteric :@_@ < 1383695282 655557 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :i <($((3))) bash < 1383695294 729250 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover JOIN :#esoteric < 1383695432 208376 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :shachaf: There's the "clean" approach of (prog 2>&3 | stdoutpipeline) 3>&1 | stderrpipeline for that, of course. < 1383695534 431086 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :`run ((echo "aabb"; echo "bbaa" >&2) 2>&3 | tr 'a' 'A' >&2) 3>&1 | tr 'b' 'B' # so clean < 1383695536 84117 :HackEgo!dlopen@libdl.so PRIVMSG #esoteric :AAbb \ BBaa < 1383695633 51757 :nisstyre!~yours@oftn/member/Nisstyre JOIN :#esoteric < 1383695688 785591 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :Yes, you can do that!!! < 1383695927 141748 :yorick!~yorick@oftn/member/yorick QUIT :Remote host closed the connection