< 1448064156 668835 :hppavilion[1]!~Devourero@74-114-87-89.dynamic.asdk12.org PRIVMSG #esoteric :tswett: Have any suggestions? < 1448064164 766629 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :2x + y? < 1448064169 66882 :hppavilion[1]!~Devourero@74-114-87-89.dynamic.asdk12.org PRIVMSG #esoteric :Sure. Why not. < 1448064180 964323 :hppavilion[1]!~Devourero@74-114-87-89.dynamic.asdk12.org PRIVMSG #esoteric :What should I name it? < 1448064183 154794 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :Ooh, and don't forget: < 1448064185 230192 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :max(x,y) < 1448064188 278180 :hppavilion[1]!~Devourero@74-114-87-89.dynamic.asdk12.org PRIVMSG #esoteric :Ah, yes < 1448064202 93818 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :Call it the... twexply function! < 1448064226 240757 :hppavilion[1]!~Devourero@74-114-87-89.dynamic.asdk12.org PRIVMSG #esoteric :tswett: TPY function. T(x, y) for short. < 1448064294 947142 :hppavilion[1]!~Devourero@74-114-87-89.dynamic.asdk12.org PRIVMSG #esoteric :tswett: What does max return if x=y? < 1448064305 102848 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :x, or, equivalently, y. < 1448064322 528663 :hppavilion[1]!~Devourero@74-114-87-89.dynamic.asdk12.org PRIVMSG #esoteric :OK < 1448064385 782247 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :Or, if you want to throw a wrench in the monkey works, use the "chamfered max" function. < 1448064400 888524 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :If x > y, returns x. If y > x, returns y. If x = y, returns x+1, or, equivalently, y+1. < 1448064443 105423 :hppavilion[1]!~Devourero@74-114-87-89.dynamic.asdk12.org PRIVMSG #esoteric :I'll also include sgn() for the variety < 1448064557 566157 :hppavilion[1]!~Devourero@74-114-87-89.dynamic.asdk12.org PRIVMSG #esoteric :tswett: Here's an idea for a variant of max(x, y) where "it just returns the value" is /not/ the logical output. far(x, y) < 1448065022 952967 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :And what would that be? < 1448065056 359316 :zzo38!~zzo38@24-207-56-9.eastlink.ca PRIVMSG #esoteric :Why does CUPS convert the PBM to PDF and then to PostScript and then to ZjStream format when printing my document rather than just converting it directly? < 1448065109 921360 :hppavilion[1]!~Devourero@74-114-87-89.dynamic.asdk12.org PRIVMSG #esoteric :tswett: Returns which is farther away from 0 < 1448065130 260344 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :*nod* < 1448065149 624010 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :Right, and the question is, what does it return if they have the same magnitude, opposite signs? < 1448065182 826184 :hppavilion[1]!~Devourero@74-114-87-89.dynamic.asdk12.org PRIVMSG #esoteric :tswett: Exactly. It's fairly simple if it's max(), but not if it's this. < 1448065305 185449 :hppavilion[1]!~Devourero@74-114-87-89.dynamic.asdk12.org PRIVMSG #esoteric :What does f**-1(x) return if f has multiple values that equal x? < 1448065608 801137 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I say that f^-1 only exists if f is a bijection. < 1448065660 985871 :hppavilion[1]!~Devourero@74-114-87-89.dynamic.asdk12.org PRIVMSG #esoteric :shachaf: Oh. I would say it returns a set. < 1448065671 639654 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :That's a different f^-1 < 1448065680 162275 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :It works for any surjection. < 1448065804 496255 :hppavilion[1]!~Devourero@74-114-87-89.dynamic.asdk12.org PRIVMSG #esoteric :Oh. I think I'll just stick with that one for mine. < 1448065827 199739 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Wait, it works for any function, not just surjections. < 1448066032 471064 :\oren\!~oren@TOROON0949W-LP140-02-1242510774.dsl.bell.ca PRIVMSG #esoteric :hi[6~[6~[6~[6~[6~[6~[6~[6~[6~[6~[6~[6~[6~[6~[6~[6~[6~[6~ < 1448066070 661270 :\oren\!~oren@TOROON0949W-LP140-02-1242510774.dsl.bell.ca PRIVMSG #esoteric :wtf where did [6~ come from < 1448066156 76955 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :lots of misinterpreted "page down"s? < 1448066215 424564 :\oren\!~oren@TOROON0949W-LP140-02-1242510774.dsl.bell.ca PRIVMSG #esoteric :weird i don't know why irssi did that < 1448066257 702702 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :It sometimes does such things to me on laggy connections. Screen might play a role in that as well. < 1448066408 803986 :Taneb!~Taneb@runciman.default.hacksoc.uk0.bigv.io PRIVMSG #esoteric :Final round of try-outs for my uni's University Challenge team is tomorrow... < 1448066429 155609 :mathe0logic!~matick@104-245-159-79.ri.cgocable.ca JOIN :#esoteric < 1448066477 65108 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :hppavilion[1]: I'd say there are two variants of the ^-1 operator. < 1448066524 230255 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :The first variant returns a single value, and is only defined for functions that are one-to-one. f can't have multiple values that equal x; by definition, such a function would not be one-to-one. < 1448066545 423589 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :The second variant is defined for all functions, and *always* returns a set, even if it happens that f only has one value that equals x. < 1448066553 590734 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :If "one-to-one" means injective, that's not enough. < 1448066555 906532 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :In which case it returns a set containing that one value. < 1448066578 381020 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :I do mean injective, and I guess the ^-1 would have a restricted domain for a non-surjective function. < 1448066578 562449 :\oren\!~oren@TOROON0949W-LP140-02-1242510774.dsl.bell.ca PRIVMSG #esoteric :am I the only one who hates hates hates the ^-1 notation for function inversion? < 1448066581 358963 :mathe0logic!~matick@104-245-159-79.ri.cgocable.ca QUIT :Client Quit < 1448066594 211168 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :If you mean the ASCII version of it, it's pretty dang bad. < 1448066611 725012 :\oren\!~oren@TOROON0949W-LP140-02-1242510774.dsl.bell.ca PRIVMSG #esoteric :no even in typeset math I hate it < 1448066705 246467 :\oren\!~oren@TOROON0949W-LP140-02-1242510774.dsl.bell.ca PRIVMSG #esoteric :because of how sin^2 x means (sin(x))^2 and sin^-1 doesn't < 1448066728 270293 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :sin^2(x) should mean sin(sin(x)) < 1448066734 423839 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :That's the one that's broken. < 1448066920 999680 :\oren\!~oren@TOROON0949W-LP140-02-1242510774.dsl.bell.ca PRIVMSG #esoteric :that kind of makes sense. actually maybe it's just the trig functions which break a lot of rules. i mean why is it it sin x but g(x)? < 1448066966 525318 :\oren\!~oren@TOROON0949W-LP140-02-1242510774.dsl.bell.ca PRIVMSG #esoteric :damn math profs too lazy to write a couple brackets < 1448067124 55792 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :> (sin 2^2, (sin 2)^2) < 1448067126 48205 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : (0.826821810431806,0.826821810431806) < 1448067130 344770 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :> [sin x, g x] < 1448067132 108440 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : [sin x,g x] < 1448067152 686129 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :> (sin^2) 2 < 1448067154 389158 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : 0.826821810431806 < 1448067186 561156 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :ugh... I don't particularly like that num instance... why does lb have it? < 1448067236 658233 :hppavilion[1]!~Devourero@74-114-87-89.dynamic.asdk12.org PRIVMSG #esoteric :What form of the multiplication operator should I use? < 1448067257 308537 :hppavilion[1]!~Devourero@74-114-87-89.dynamic.asdk12.org PRIVMSG #esoteric :Cross, dot, star, or juxtapositon? < 1448067272 123967 :hppavilion[1]!~Devourero@74-114-87-89.dynamic.asdk12.org PRIVMSG #esoteric :I'll go with the dot I think < 1448067341 788024 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :bah < 1448067343 93863 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :@undef < 1448067343 236238 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :Undefined. < 1448067348 922188 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :> (sin^2) 2 < 1448067350 581579 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : No instance for (Show a0) < 1448067350 723810 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : arising from a use of ‘show_M708850256494014920331324’ < 1448067350 723919 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : The type variable ‘a0’ is ambiguous < 1448067485 890126 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :int-e: i imported it sttdnh < 1448067634 116445 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :ACTION is still occasionally amazed by how much crap lambdabot depends on < 1448067759 159191 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :shachaf: not sure what the "st" means there. < 1448067787 481787 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :originally i typed httdnh but that seemed a bit mean < 1448067865 28322 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :ACTION is in no mood for guessing < 1448068042 386943 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :seems that < 1448068123 802158 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :seems that that did not help? < 1448068158 508230 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :hmm, now that I've typed it it looks reasonable < 1448070248 467885 :llue!~gnomebad@unaffiliated/lleu QUIT :Quit: That's what she said < 1448070258 61412 :lleu!~gnomebad@unaffiliated/lleu JOIN :#esoteric < 1448070516 568649 :hppavilion[1]!~Devourero@74-114-87-89.dynamic.asdk12.org QUIT :Ping timeout: 265 seconds < 1448070639 805043 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover QUIT :Read error: Connection reset by peer < 1448070823 429516 :hppavilion[1]!~Devourero@93-231-58-66.gci.net JOIN :#esoteric < 1448070852 507630 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :\oren\: I need a symbol for the inverse of function composition. Do you know of one? < 1448070897 372367 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :tswett: Or perhaps you have an idea for me < 1448071049 508977 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :I think I'll use □ because it makes sense; circle for composition, square for disposition. < 1448071644 907306 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :you can decompose a composed function? < 1448071716 612137 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :quintopia: No. I think. < 1448071722 911486 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :is that like D(f(g(x)),g(x))=f(x) < 1448071747 454805 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :In my system, function composition is equivalent to multiplication < 1448071789 673054 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :I realized something after thinking about function powers and about regular powers < 1448071805 751430 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :f^0=I (I is the identity function, which is the compositional identity) < 1448071820 813915 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :n^0=1 (1 is the multiplicative identity) < 1448071841 469082 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :n^-1=1/n (the identity divided by a number) < 1448071872 963666 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :So, I figured, f^-1 must equal I/f, or using the proper disposition operator, I □ f < 1448071880 326402 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :quintopia: Comprende? < 1448071914 338067 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :How it works otherwise, I have no idea < 1448072014 492827 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :I would say you just divide x (where x is from I(x)) by the definition of the original function (with the one variable being x), but that forms a problem for pairs of functions with differing numbers of arguments, piecewise functions, and primitive functions < 1448072099 200563 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :quintopia? < 1448072128 555180 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :quintopia: What you said might be right. < 1448072312 476859 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :but compositon is not associative is it? < 1448072323 607499 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :quintopia: It is not. < 1448072327 189642 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :AFAIK < 1448072339 841413 :Xe!xe@unaffiliated/xe QUIT :Quit: *.yolo *.swag < 1448072340 491074 :Lord_of_Life!Elite12246@gateway/shell/elitebnc/x-ojcycdlrexqfakud QUIT :Quit: EliteBNC free bnc service - http://elitebnc.org - be a part of the Elite! < 1448072340 687557 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :it doesnt make sense to call a nonassociative operation multiplication < 1448072378 229742 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :quintopia: There's Octonion multiplication, which isn't associative < 1448072395 60139 :Xe`!~xe@unaffiliated/xe JOIN :#esoteric < 1448072402 681685 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :Hi Xe`! < 1448072410 218731 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :and i've always thought octonions were weird < 1448072430 618819 :Lord_of_-!Elite12246@gateway/shell/elitebnc/x-ieqxhsayrqitbdsy JOIN :#esoteric < 1448072465 986459 :Xe`!~xe@unaffiliated/xe NICK :Xe < 1448072478 966429 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :do octonions define a multiplicative inverse? < 1448072491 358167 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :*inverses < 1448072513 557955 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :obvi a noncommutatie op has two inverses < 1448072557 654629 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :quintopia: Oh right. That < 1448072587 722420 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :Well there may be another inverse for it that I don't know about < 1448073003 682685 :mauris!~mauris@unaffiliated/nooodl JOIN :#esoteric < 1448074182 781670 :hppavilion[1]!~Devourero@93-231-58-66.gci.net QUIT :Ping timeout: 260 seconds < 1448075760 863266 :bb010g!uid21050@gateway/web/irccloud.com/x-ivmqagslmyqmzaxx JOIN :#esoteric < 1448077221 884114 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :Hmm, function composition isn't associative? < 1448077245 365722 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :I would think it is.. < 1448077620 852944 :zzo38!~zzo38@24-207-56-9.eastlink.ca PRIVMSG #esoteric :This is one of idea I have of Magic: the Gathering cards: "If your life total is exactly 666, you win the game." < 1448077625 788070 :jaboja!~jaboja@ese97.neoplus.adsl.tpnet.pl JOIN :#esoteric < 1448077677 389490 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Seems like Felidar Sovereign would be easier in most cases. < 1448077696 333527 :hppavilion[1]!~Devourero@93-231-58-66.gci.net JOIN :#esoteric < 1448077923 664084 :zzo38!~zzo38@24-207-56-9.eastlink.ca PRIVMSG #esoteric :Yes, although the one I had made up it costs only one mana and has split-second, but it is a sorcery and black and madness < 1448078007 397586 :jaboja64!~jaboja@esb59.neoplus.adsl.tpnet.pl JOIN :#esoteric < 1448078242 775529 :jaboja!~jaboja@ese97.neoplus.adsl.tpnet.pl QUIT :Ping timeout: 260 seconds < 1448078301 698031 :andrew_!~andrew@116.30.110.181 JOIN :#esoteric < 1448080389 484714 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :quintopia: So my next step is to have functions to the powers of other functions xD. Either that or another arithmetic operation, involving a function as one argument and either a function or a general number as its other < 1448080400 343483 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :Wait, maybe I should get arround to defining f**i < 1448080637 57196 :zzo38!~zzo38@24-207-56-9.eastlink.ca PRIVMSG #esoteric :Why do I get SIGILL signals in the _dl_fixup() function? < 1448081129 659851 :lleu!~gnomebad@unaffiliated/lleu QUIT :Quit: That's what she said < 1448081622 295536 :zzo38!~zzo38@24-207-56-9.eastlink.ca PRIVMSG #esoteric :I think popen_noshell confuses gdb < 1448081828 423519 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :Arithmetic of the functia is going well, but I've encountered an issue for complex powers of functions. Here's what I have so far: https://drive.google.com/file/d/0ByRvNdqqy3GPd3FxdmRrbnF5eE0/view < 1448081843 88990 :andrew_!~andrew@116.30.110.181 QUIT :Remote host closed the connection < 1448081844 491390 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :(that's a PDF, zzo38, just hosted on Drive) < 1448081864 709101 :andrew!~andrew@116.30.110.181 JOIN :#esoteric < 1448082220 808101 :zzo38!~zzo38@24-207-56-9.eastlink.ca PRIVMSG #esoteric :It doesn't load a PDF, just the login screen < 1448082253 720704 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :for i in {0..99};do for j in {0..90};do if ((i/10+i%10+j/10+j%10<19));then printf x;else printf \ ;fi done;echo;done < 1448082262 573202 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :^ ascii art < 1448082324 650098 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :dammit, should have been for j in {0..99} < 1448082369 993881 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :Ugh... How do I do a complex iterated function... < 1448082407 692760 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :make a simple iterated function < 1448082417 41232 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :ACTION solves all problems < 1448082425 110023 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :(I just need to know how I do f**i; I'd /prefer/ to just know how to do f**i so I cn figure it out myself) < 1448082466 436070 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :izabera: I'm making an Arithmetic of the Functia that supports function exponents and need to figure out how to generalize it to complex numbers xD < 1448082556 83315 :zzo38!~zzo38@24-207-56-9.eastlink.ca PRIVMSG #esoteric :Maybe you need to mark such file as public? < 1448082572 438080 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :i don't know much about what you're doing but one "standard" approach is to try to reduce your function to stuff that you can do with complex numbers < 1448082694 214461 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :e.g. you don't know how to compute exponentiation? ok, e^x can be expressed as an infinite sum of x^k/k! with k from 0 to infinity < 1448082705 874066 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :so let's use this to express e^ix < 1448082755 319750 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :(not sure if expressed is the right word) < 1448082829 247088 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :or you can try to find a complex valued function that happens to have the same values as your function on real numbers < 1448082877 318438 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :now what are you doing < 1448082889 457087 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :izabera: I'm discussing things like f**i(x), not f(x)**i or the like. It's similar to f**-1(x), but generalized to the complexes < 1448082903 741861 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :what is ** ? < 1448082908 475089 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :izabera: Power < 1448082910 975701 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :ok < 1448082914 220087 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :It's python's exponentiation operator < 1448082917 237705 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :ok < 1448083026 683202 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :izabera: But f^n has already been generalized to the integers and to reals of the form 1/n where n is an integer; I trivially extended it to any real number and am now trying to generalize it to the complexes < 1448083036 344157 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :I should probably figure out imaginary powers first xD < 1448083101 491167 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :The problem I thought of though is that . (composition) isn't commutative, and the complex power f^(a+bi) will surely be defined as f^a . f^(bi), and that's problematic as + has to be commutative I'm pretty sure < 1448083166 825894 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :why wouldn't it be commutative? < 1448083217 523736 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :anyway, keep in mind that a^b == e^(log(a)b) < 1448083221 38862 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :does this help? < 1448083222 229351 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :izabera: Function composition commutative? < 1448083249 176329 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :that's not composition? < 1448083283 693037 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :izabera: Multiplication of functions is the same as Composition in my AotF < 1448083292 62103 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :f^(a+bi) == f^a * f^bi < 1448083301 713920 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :what is aotf? < 1448083303 129906 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :f(x) = 2x, g(x)=x+1, f.g(3) != g.f(3) < 1448083309 458513 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :izabera: Arithmetic of the Functia < 1448083318 273059 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :i don't know what it is < 1448083322 353888 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :(Functia is a corruption of Functions) < 1448083339 784043 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :izabera: It's me being stupid and generalizing inverse functions into functions to the power of complex numbers < 1448083364 927511 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :And functions divided by other functions. Which actually works, believe it or not. < 1448083385 561507 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :Sgeo_: I would like to find what happens when I raise a function to a c@mplex number xD < 1448083440 678784 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :izabera: What I've been trying to figure out is how you iterate a function over a complex number < 1448083499 717809 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :example? < 1448083503 366087 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :izabera: If you want more information on the AotF, here's a PDF: https://drive.google.com/file/d/0ByRvNdqqy3GPd3FxdmRrbnF5eE0/view < 1448083516 140112 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :private < 1448083518 956630 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :Oh < 1448083537 96099 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :https://drive.google.com/file/d/0ByRvNdqqy3GPd3FxdmRrbnF5eE0/view?usp=sharing < 1448083635 632255 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :not sure why but the text is in a really light grey over a white bg < 1448083672 508864 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :izabera: No clue. It isn't on my end; could be your . I made it in TeX. It's currently incomplete. < 1448083674 336900 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :i must have messed up something in firefox < 1448083701 936741 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :hppavilion[1]: http://mathoverflow.net/questions/71429/do-complex-iterates-of-functions-have-any-meaning < 1448083707 88905 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :Sounds like something one of us would do < 1448083712 866132 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :Jafet: THANK YOU! < 1448083717 346746 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :ok i downloaded it < 1448083727 349564 :Sgeo_!~Sgeo@ool-44c0f875.dyn.optonline.net PRIVMSG #esoteric :hppavilion[1], we didn't even figure out how to take the absolute value of c@mplexes, did we? < 1448083747 366764 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :Sgeo_: We did not, AFAIK < 1448083784 122808 :Sgeo_!~Sgeo@ool-44c0f875.dyn.optonline.net PRIVMSG #esoteric :I just remember shooting down one of my approaches, unsure about the other and unsure about tswett's < 1448083828 955800 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :I just changed the official author of AotF to Hedwig Notta, included myself as translator < 1448083830 840704 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :mathoverflow isn't stackoverflow < 1448083978 770131 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :izabera: Um... correct? < 1448083993 49707 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :Jafet: I began to read that, and now I've given up xD < 1448084026 337504 :jaboja64!~jaboja@esb59.neoplus.adsl.tpnet.pl QUIT :Ping timeout: 250 seconds < 1448084436 435408 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :meanwhile, my trackpad decided to go nuts < 1448084444 830194 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :i need it :C < 1448085365 739866 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :> take 4 . map (take 5) $ iterate (tail . (`iterate` 1) . (!!)) [1..] < 1448085367 611201 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : [[1,2,3,4,5],[2,3,4,5,6],[3,5,7,9,11],[5,13,29,61,125]] < 1448085385 834873 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :haskell is so easy to understand < 1448085388 493144 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :I forgot about this one < 1448085397 799806 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :well, it's not the most readable Haskell < 1448085414 175066 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :is there such a thing? < 1448085420 362134 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :it's an infinite-list-of-lists formulation of the Ackermann function < 1448085466 41796 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :Dunno, but there is at least such a thing as *more* readable Haskell (than this) < 1448085468 668235 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :A rather inefficient one, judging by the (!!) < 1448085482 771781 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :hah! unreadable and inefficient < 1448085484 688838 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :Right, codegolf was the goal < 1448085497 783652 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :is it space sensitive? < 1448085523 377574 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :> take 4.map(take 5)$ iterate(tail.(`iterate` 1).(!!))[1..] < 1448085525 25185 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : [[1,2,3,4,5],[2,3,4,5,6],[3,5,7,9,11],[5,13,29,61,125]] < 1448085533 472326 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :oh, as in whitespace? < 1448085551 782187 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :no, you can remove them (apart from the one between 'take' and '4' of course < 1448085572 173528 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :isn't that the most obvious thing to do with codegolf < 1448085621 986570 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :so obvious it's boring? fair i guess < 1448085680 382663 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :Yeah, iterate(tail.(`iterate`1).(!!))[1..] is the actual list-of-lists < 1448086165 10700 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :"Porn Logic" would be an interesting humorous (albeit a bit inappropriate) formal logic. < 1448086224 379465 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :x -> y < 1448086252 903473 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :∴x⚤y < 1448086317 664626 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :Presumably read as "XX moves towards XY". < 1448086326 498602 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :Perhaps < 1448086381 386863 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :Also available is Troll Logic; x -> y, ∴santa <=> your parents < 1448086415 804406 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :You know, for the less perverse people among us < 1448087402 525413 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :Jafet: Well I suppose it'd have to be a modal logic... < 1448087937 264284 :mauris!~mauris@unaffiliated/nooodl QUIT :Read error: Connection reset by peer < 1448087962 808778 :mauris!~mauris@unaffiliated/nooodl JOIN :#esoteric < 1448088353 110707 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :Hm... < 1448088359 724476 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :Unary division and multiplication < 1448088587 457491 :\oren\!~oren@TOROON0949W-LP140-02-1242510774.dsl.bell.ca PRIVMSG #esoteric :nah, pron logic is more: "She doesnt have money to tip the pizza dude" -> "she must pay with her body" < 1448088710 752238 :\oren\!~oren@TOROON0949W-LP140-02-1242510774.dsl.bell.ca PRIVMSG #esoteric :e.g. it's a branch of the pre-Boole non-algebraic logic < 1448089448 840229 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :Ah < 1448089469 769091 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :I actually started formalizing porn logic xD < 1448090588 102621 :heroux!sandroco@gateway/shell/insomnia247/x-xzoesnqfqzayxduc QUIT :Ping timeout: 244 seconds < 1448090621 487667 :heroux!sandroco@gateway/shell/insomnia247/x-ezxjeyzmunxhgfch JOIN :#esoteric < 1448090722 775228 :^v!~^v@c-68-41-215-101.hsd1.mi.comcast.net JOIN :#esoteric < 1448091717 814296 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :hppavilion[1]: i think it is insane to have a complex-exponent of a function < 1448091734 302684 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :quintopia: It probably is xD < 1448091763 357092 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :It doesn't make too much sense when you consider the commutatiy-of addition, noncommutativity-of-composition issue < 1448092094 921662 :HackEgo!~HackEgo@162.248.166.242 QUIT :Ping timeout: 260 seconds < 1448092187 445971 :HackEgo!~HackEgo@162.248.166.242 JOIN :#esoteric < 1448092242 779701 :^v!~^v@c-68-41-215-101.hsd1.mi.comcast.net QUIT :Ping timeout: 260 seconds < 1448092411 578653 :heroux!sandroco@gateway/shell/insomnia247/x-ezxjeyzmunxhgfch QUIT :Ping timeout: 265 seconds < 1448092424 994596 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :what if she does have money to tip the pizza dude < 1448092686 276116 :heroux!sandroco@gateway/shell/insomnia247/x-yehlqvvohvjgfbrw JOIN :#esoteric < 1448092733 865604 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :izabera: That's why he used "->" instead of "<->" < 1448093049 624506 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07UberGenes14]]4 10 02http://esolangs.org/w/index.php?diff=45579&oldid=45552 5* 03Quintopia 5* (-48) 10/* Python 2 */ removed some unnecessary crap (tho more remains I think?) < 1448093155 93957 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :quintopia: Should I make ‰ the "Supermodulus" in Kastor? < 1448093238 737804 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :\oren\: ‰ looks a helluva lot like % in neoletters < 1448093431 626200 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :I think I'll lambdabot it to him < 1448093445 193657 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :@tell \oren\ ‰ looks a helluva lot like % in neoletters < 1448093445 336134 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :Consider it noted. < 1448093468 547326 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :@tell \oren\ Same goes for ‱ < 1448093468 689830 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :Consider it noted. < 1448093918 89530 :J_Arcane!~chatzilla@37-219-95-164.nat.bb.dnainternet.fi QUIT :Ping timeout: 276 seconds < 1448094034 791414 :ski!~ski@remote11.chalmers.se QUIT :Ping timeout: 260 seconds < 1448094100 982092 :zzo38!~zzo38@24-207-56-9.eastlink.ca PRIVMSG #esoteric :I made up the one to one correspondence of natural numbers with finite lists of natural numbers, which is sequence starting with: [] [0] [1] [0,0] [3] [0,1] [2] [0,0,0] [7] [0,3] [1,0] [0,0,1] [5] [0,2] [2,0] [0,0,0,0] [15] [0,7] [1,1] [0,0,3] [4] [0,1,0] [2,1] [0,0,0,1] [11] [0,5] [1,0,0] [0,0,2] [6] [0,2,0] [2,0,0] [0,0,0,0,0] [31] [0,15] [1,3] [0,0,7] [3,0] [0,1,1] [2,3] [0,0,0,3] [9] < 1448094125 681667 :ski!~ski@remote11.chalmers.se JOIN :#esoteric < 1448094140 127722 :zzo38!~zzo38@24-207-56-9.eastlink.ca PRIVMSG #esoteric :Do you like this? Is there a better way? < 1448094296 100530 :zzo38!~zzo38@24-207-56-9.eastlink.ca PRIVMSG #esoteric :We can see what kind of properties it has, and possibly other ways you can even come up with such the same thing rather than only how I did it at first. < 1448094430 455920 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :[] [0] [1] [0,0] [0,1] [0,2] [1,0] [1,1] [1,2] [2,0] [2,1] [2,2] [0,0,0] ... < 1448094443 237806 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :no wait < 1448094496 357757 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :[] [0] [1] [0,0] [0,1] [0,2] [1,0] [1,1] [1,2] [2,0] [2,1] [2,2] [2] [0,0,0] ... < 1448094674 741281 :andrew!~andrew@116.30.110.181 QUIT :Read error: Connection reset by peer < 1448094699 566993 :andrew!~andrew@116.30.110.181 JOIN :#esoteric < 1448094713 454491 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :let me start over <.< < 1448094729 769672 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :Is there some form of hypermodulus out there that works for hyperoperation inverses where n>=3? < 1448094739 166970 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :enumerate all the sequences of 0..n of size at most n, then n++, repeat < 1448094767 562958 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :For example modulog(9, 2)=1 because 2**3=8 and 9=8-1 < 1448094783 505184 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :And moduroot defined similarly < 1448094813 375713 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Purple14]]4 10 02http://esolangs.org/w/index.php?diff=45580&oldid=45570 5* 03Quintopia 5* (+1160) 10Removed 0 instruction just because it wasn't strictly necessary. < 1448094869 922726 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Purple14]]4 10 02http://esolangs.org/w/index.php?diff=45581&oldid=45580 5* 03Quintopia 5* (+0) 10lol, it hadn't even been invented yet! < 1448095065 852023 :mroman!~mroman@160.85.232.226 JOIN :#esoteric < 1448095094 688592 :oerjan!~oerjan@hagbart.nvg.ntnu.no JOIN :#esoteric < 1448095216 726605 :mroman!~mroman@160.85.232.226 PRIVMSG #esoteric :fnird < 1448095391 264027 :zzo38!~zzo38@24-207-56-9.eastlink.ca PRIVMSG #esoteric :How I defined it is: Each element in the list is you write the number one more than that in base two and then add however many leading zeros is one less than how many bits in that number, and then put all of them together and then reverse the bits. < 1448095556 11480 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Point operator14]]4 N10 02http://esolangs.org/w/index.php?oldid=45582 5* 03Hppavilion1 5* (+1823) 10Created Page < 1448095630 701556 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Point operator14]]4 10 02http://esolangs.org/w/index.php?diff=45583&oldid=45582 5* 03Hppavilion1 5* (+1) 10Fixed a link < 1448095686 677933 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Point operator14]]4 10 02http://esolangs.org/w/index.php?diff=45584&oldid=45583 5* 03Hppavilion1 5* (-4) 10Delinked < 1448095703 193425 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :helloerjan < 1448095789 127091 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :hippavilion < 1448095812 729127 :bb010g!uid21050@gateway/web/irccloud.com/x-ivmqagslmyqmzaxx QUIT :Quit: Connection closed for inactivity < 1448095877 682473 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :oerjan: Is there a hypermodulus for roots and logs that works something like mlog(2, 9)=1? < 1448095886 819827 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :If there isn't, would such an operator be useful? < 1448095898 152020 :zzo38!~zzo38@24-207-56-9.eastlink.ca PRIVMSG #esoteric :(Another kind of correspondence could be: Add one to the last element of the list (if any), make Godel encoding of the sequence, and then subtract one from the answer.) < 1448095933 632461 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :hppavilion[1]: i have no idea what you mean by that. < 1448095984 921974 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :oerjan: hypermodulus is like :log|root :: %:/ < 1448096005 750504 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :what is %: < 1448096017 448558 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :oerjan: Modulus. At least, in a lot of languages < 1448096032 440741 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :pretty sure the : isn't normally included. < 1448096052 287939 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :oh wait < 1448096053 836256 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :oerjan: Oh, the : was because it was an Aristotilean analogy clause < 1448096070 606728 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :by mlog(2, 9)=1 I meant that the modular log[2] of 9 is equal to 1, because 2**3=8 and 9=8-1 < 1448096084 873343 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :finally an actual definition < 1448096085 460872 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :mroot is defined similarly < 1448096096 90346 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :xD < 1448096142 961467 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :It's basically the remainder of integer logarithms or roots. If that makes any sense. < 1448096154 692237 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :erm < 1448096175 954337 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :could you describe how to calculate mlog(m, n) < 1448096254 153614 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :oerjan: The inefficient way is to, starting with x=0, increment x by m until x+m>n, then to return n-m < 1448096262 326334 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :Wait, not < 1448096263 814516 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Purple14]]4 10 02http://esolangs.org/w/index.php?diff=45585&oldid=45581 5* 03Quintopia 5* (-6) 10/* Python 2 */ Moved file loading to the Purple class to make it easy to use when imported as a module. < 1448096263 956852 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :*no < 1448096277 794516 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :Not increment by x, you start with x=1 and multiply by x < 1448096300 639320 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :Of course, that doesn't account for x <= 0, but it's a start. < 1448096377 555218 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :so basically you write n in base m and subtract 1 from the first digit? < 1448096391 376169 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :oerjan: Maybe? < 1448096425 385467 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :mlog(3,80) = 53 then? < 1448096440 380842 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :(which is _larger_ than the power you're subtracting) < 1448096455 674460 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :i don't see how this is particularly useful < 1448096459 663454 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :I might've gotten my definition wrong; the point is that mlog like modulus, except it uses logarithms instead of division < 1448096486 130598 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :It isn't, but it's a nice generaliation I guess. < 1448096546 204337 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :modulus comes from a deep mathematical theory. it's not going to be very useful without it. < 1448096576 86251 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :Ah < 1448096582 18285 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :(basically, the modulus relation is a ring congruence) < 1448096601 776751 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :You've just lost me xD < 1448096609 56913 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :It might have its uses < 1448096657 785285 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :Really, I'm just looking for something for the binary/infix ‰ operator in Kastor < 1448096676 339385 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :`unidecode ‰ < 1448096677 780792 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :​[U+2030 PER MILLE SIGN] < 1448096733 4094 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :the closest thing that i know is useful is discrete logarithm < 1448096767 68419 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :however, that's not always defined, and you need to factorize to find it. < 1448096797 656505 :mroman!~mroman@160.85.232.226 PRIVMSG #esoteric :If you implement operator precedence you might as well parse floats correctly < 1448096808 528042 :mroman!~mroman@160.85.232.226 PRIVMSG #esoteric :seeing as implementing operater procedence is way harder than parsing floats < 1448096958 441652 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :Hm... < 1448096962 114337 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :mroman: ? < 1448096980 453813 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :Are you refering to the point operator? < 1448096989 528802 :mroman!~mroman@160.85.232.226 PRIVMSG #esoteric :also, you could define it not as "joining" but as uhm x + 1/y or something ;) < 1448096990 992385 :mroman!~mroman@160.85.232.226 PRIVMSG #esoteric :hppavilion[1]: yes < 1448097003 659263 :mroman!~mroman@160.85.232.226 PRIVMSG #esoteric :> 3 + (1/20) < 1448097007 90459 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : 3.05 < 1448097012 782218 :mroman!~mroman@160.85.232.226 PRIVMSG #esoteric :so it would be 3.20 < 1448097018 480790 :mroman!~mroman@160.85.232.226 PRIVMSG #esoteric :which translates to 3.05 < 1448097035 544022 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :mroman: That was just a stupid idea; not something I'm going to use < 1448097046 712763 :mroman!~mroman@160.85.232.226 PRIVMSG #esoteric :I know :) < 1448097056 336886 :mroman!~mroman@160.85.232.226 PRIVMSG #esoteric :I'm just making suggestions for other stupid ideas :) < 1448097057 775026 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :Also, I'm implementing in Python at least initially so... < 1448097059 76047 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :xD < 1448097064 2612 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :Of course xD < 1448097081 849161 :mroman!~mroman@160.85.232.226 PRIVMSG #esoteric :but that'd might solve the 3.05 problem ;) < 1448097099 760245 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :Yes, but it would also be incredibly hard to know what you're doing < 1448097142 905195 :mroman!~mroman@160.85.232.226 PRIVMSG #esoteric :I call it the backslash operator < 1448097147 777114 :mroman!~mroman@160.85.232.226 PRIVMSG #esoteric :a\b = a + (1/b) < 1448097157 529194 :mroman!~mroman@160.85.232.226 PRIVMSG #esoteric :> 3 \ 20 < 1448097159 9530 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : :1:3: parse error on input ‘\’ < 1448097168 913560 :mroman!~mroman@160.85.232.226 PRIVMSG #esoteric :oh right. You can't define that in haskell. < 1448097183 956649 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :> [] \\ [] < 1448097185 544248 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : [] < 1448097194 530927 :mroman!~mroman@160.85.232.226 PRIVMSG #esoteric :@type (\\\) < 1448097195 740012 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : Not in scope: ‘\\\’ < 1448097195 882501 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : Perhaps you meant one of these: < 1448097195 882563 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : ‘IM.\\’ (imported from Data.IntMap), < 1448097208 47058 :mroman!~mroman@160.85.232.226 PRIVMSG #esoteric :@define (\\\) a b = a + (a / b) < 1448097209 876915 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : Defined. < 1448097213 297799 :mroman!~mroman@160.85.232.226 PRIVMSG #esoteric :ah shit < 1448097215 760034 :mroman!~mroman@160.85.232.226 PRIVMSG #esoteric :@define (\\\) a b = a + (1 / b) < 1448097216 926130 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : .L.hs:160:1: Warning: < 1448097217 68460 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : Pattern match(es) are overlapped < 1448097217 68527 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : In an equation for ‘\\\’: \\\ a b = ... < 1448097221 121806 :mroman!~mroman@160.85.232.226 PRIVMSG #esoteric ::D < 1448097224 233371 :mroman!~mroman@160.85.232.226 PRIVMSG #esoteric :there's no redefine is there? < 1448097231 825657 :mroman!~mroman@160.85.232.226 PRIVMSG #esoteric :@redefine (\\\) a b = a + (1 / b) < 1448097231 968060 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :Maybe you meant: undefine define < 1448097237 377406 :mroman!~mroman@160.85.232.226 PRIVMSG #esoteric :@undefine (\\\) < 1448097237 520097 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :There's currently no way to undefine just one thing. Say @undefine (with no extra words) to undefine everything. < 1448097237 520220 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :@redefine < 1448097237 662391 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :Maybe you meant: undefine define < 1448097256 297611 :mroman!~mroman@160.85.232.226 PRIVMSG #esoteric :@define (\\\\) a b = a + (1 / b) < 1448097258 248776 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : Defined. < 1448097262 193608 :mroman!~mroman@160.85.232.226 PRIVMSG #esoteric :hm < 1448097267 935343 :mroman!~mroman@160.85.232.226 PRIVMSG #esoteric :> 3 \\\\ 20 < 1448097269 604136 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : 3.05 < 1448097280 865482 :mroman!~mroman@160.85.232.226 PRIVMSG #esoteric :> 3 \\\ 20 < 1448097282 543261 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : 3.15 < 1448097294 385714 :mroman!~mroman@160.85.232.226 PRIVMSG #esoteric :> 10 \\\ 100 < 1448097296 175878 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : 10.1 < 1448097300 956929 :mroman!~mroman@160.85.232.226 PRIVMSG #esoteric :This isn't too bad actually < 1448097368 794136 :mroman!~mroman@160.85.232.226 PRIVMSG #esoteric :@define (\\\\\) a b = a + (b / a) < 1448097370 200431 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : Defined. < 1448097374 377960 :mroman!~mroman@160.85.232.226 PRIVMSG #esoteric :> 3 \\\\\ 20 < 1448097376 60626 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : 9.666666666666668 < 1448097395 482524 :mroman!~mroman@160.85.232.226 PRIVMSG #esoteric :I propose a language with only \\\\ operators . < 1448097404 920202 :mroman!~mroman@160.85.232.226 PRIVMSG #esoteric :> (3 \\\\\ 20) \\\ 10 < 1448097406 744636 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : 10.633333333333335 < 1448097411 265865 :mroman!~mroman@160.85.232.226 PRIVMSG #esoteric :> (3 \\\\\ 20) \\\ 10 \\\\ 9 < 1448097412 796959 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : 10.744444444444445 < 1448097433 226325 :mroman!~mroman@160.85.232.226 PRIVMSG #esoteric :> 10 \\\ 1 < 1448097434 915202 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : 20.0 < 1448097439 466399 :mroman!~mroman@160.85.232.226 PRIVMSG #esoteric :> 50 \\\ 1 < 1448097441 125627 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : 100.0 < 1448097446 506369 :mroman!~mroman@160.85.232.226 PRIVMSG #esoteric :> 50 \\\\ 1 < 1448097448 54341 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : 51.0 < 1448097457 18179 :mroman!~mroman@160.85.232.226 PRIVMSG #esoteric :> 50 \\\\ -1 < 1448097458 585338 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : Precedence parsing error < 1448097458 727754 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : cannot mix ‘\\\\’ [infixl 9] and prefix `-' [infixl 6] in the same i... < 1448097462 850358 :mroman!~mroman@160.85.232.226 PRIVMSG #esoteric :> 50 \\\\ (-1) < 1448097464 434187 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : 49.0 < 1448097481 226175 :mroman!~mroman@160.85.232.226 PRIVMSG #esoteric :> 50 \\\\ (-2) < 1448097482 917311 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : 49.5 < 1448097496 434776 :mroman!~mroman@160.85.232.226 PRIVMSG #esoteric :at least you can do incs/decs quite conveniently < 1448097523 466651 :mroman!~mroman@160.85.232.226 PRIVMSG #esoteric :> foldl1 (\\\) [1..10] < 1448097525 56023 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : 5.5 < 1448097527 924448 :mroman!~mroman@160.85.232.226 PRIVMSG #esoteric :> foldl1 (\\\\) [1..10] < 1448097529 670584 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : 2.9289682539682538 < 1448097533 98213 :mroman!~mroman@160.85.232.226 PRIVMSG #esoteric :> foldl1 (\\\\\) [1..10] < 1448097534 976461 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : 11.0 < 1448097540 953707 :mroman!~mroman@160.85.232.226 PRIVMSG #esoteric :> foldl1 (\\\) [1..100] < 1448097542 693172 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : 50.5 < 1448097548 850515 :mroman!~mroman@160.85.232.226 PRIVMSG #esoteric :> foldl1 (\\\\) [1..100] < 1448097550 472483 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : 5.187377517639621 < 1448097568 858796 :mroman!~mroman@160.85.232.226 PRIVMSG #esoteric :does any of those converge at some point? < 1448097582 820106 :mroman!~mroman@160.85.232.226 PRIVMSG #esoteric :maybe \\\\\ the others probably not. < 1448097599 94855 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :mroman: Should I include the backslash operator in Kastor just as a reference no one will ever get? xD < 1448097655 418584 :mroman!~mroman@160.85.232.226 PRIVMSG #esoteric :Yes. < 1448097656 774441 :mroman!~mroman@160.85.232.226 PRIVMSG #esoteric :Totally. < 1448097697 341185 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :mroman: Should I make it sinlge-backslash or triple-backslash? < 1448097707 411809 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :Wait, no, quadruple-backslash < 1448097858 49539 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :I'm making "\\\" equal to a+(a/b) and calling it "mroman's folley" < 1448097871 219668 :mroman!~mroman@160.85.232.226 PRIVMSG #esoteric :Well a\b should be a + (a /b), a\\b should be a + (1 / b) and a\\\b should be a + (b / a) ;) < 1448097879 483791 :mroman!~mroman@160.85.232.226 PRIVMSG #esoteric :or whatever < 1448097890 63605 :mroman!~mroman@160.85.232.226 PRIVMSG #esoteric :If you only implement one then use the a + (1 / b) one < 1448097900 276033 :mroman!~mroman@160.85.232.226 PRIVMSG #esoteric :that's probably the most practical of those < 1448098093 600508 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :mroman: I'm keeping them the way they were implemented here, partially because I'll likely never want to use the \\\ operator for anything else, but I might want the \ < 1448098099 983254 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :What's the \\\\\ operator called? < 1448098218 990294 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :> 10 \\\ 5 < 1448098221 115690 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : 12.0 < 1448098273 722716 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :mroman: Should I exclusively define \\\\\\(\\(\\)?)? for INTs, or should I allow floats as arguments as well (NUM in general)? < 1448098382 919803 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :> 10.5 \\\\ 3.2 < 1448098384 905010 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : 10.8125 < 1448098399 343600 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :Meh. NUMs it is. < 1448098422 753259 :andrew_!~andrew@116.30.110.181 JOIN :#esoteric < 1448098456 55836 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric ::h < 1448098460 767309 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :> :h < 1448098462 129612 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : :1:1: parse error on input ‘:’ < 1448098466 600056 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :> help < 1448098468 226327 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : Not in scope: ‘help’ < 1448098741 197075 :mroman!~mroman@160.85.232.226 PRIVMSG #esoteric :I call them the backslash operators of n-th order :D < 1448098744 247194 :mroman!~mroman@160.85.232.226 PRIVMSG #esoteric :I don't know. < 1448098749 400536 :mroman!~mroman@160.85.232.226 PRIVMSG #esoteric :They probably don't have an official name < 1448098794 776522 :hppavilion[1]!~Devourero@93-231-58-66.gci.net QUIT :Ping timeout: 260 seconds < 1448098870 871889 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :@metar ENVA < 1448098871 254544 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :ENVA 210920Z 11005KT 7000 2000W SHSN FEW000 SCT009 BKN020 M03/M03 Q1001 TEMPO 0600 SHSN VV005 RMK WIND 670FT 17007KT < 1448098881 651032 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :SNOW < 1448098893 403103 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :@metar KOAK < 1448098893 669808 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :KOAK 210853Z 03003KT 7SM MIFG FEW005 09/08 A3007 RMK AO2 SLP182 T00940083 58001 < 1448098903 795594 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :SYESW < 1448100096 456211 :andrew__!~andrew@116.30.105.108 JOIN :#esoteric < 1448100272 711167 :andrew_!~andrew@116.30.110.181 QUIT :Ping timeout: 246 seconds < 1448100290 872428 :andrew_!~andrew@116.30.105.108 JOIN :#esoteric < 1448100299 739442 :andrew!~andrew@116.30.110.181 QUIT :Ping timeout: 265 seconds < 1448100508 700186 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :i have a string and several substrings of it < 1448100513 119515 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :no actually < 1448100523 321033 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :i don't have the string, i have several substrings of it < 1448100525 33203 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :they overlap < 1448100536 108806 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :i need to recreate the original string < 1448100580 289101 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :it is known that at each step there is a pair of substrings with the maximal overlap, and i should join those < 1448100687 688776 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :so if i have ABCDEF, DEFG, BCDE, XYZABC and XCDEZ < 1448100729 489737 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :you could join ABCDEF with DEFG, but you mustn't because you have to join ABCDEF with BCDE < 1448100768 286842 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :what's an efficient way to do it? < 1448100792 850762 :madai1!~owner2@softbank126117164171.bbtec.net JOIN :#esoteric < 1448101012 772139 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :did i ask this already < 1448101064 957466 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :i was working on this a few days ago and i kinda ignored it since then < 1448101529 59343 :madai1!~owner2@softbank126117164171.bbtec.net PART :#esoteric < 1448102278 337707 :Patashu!~Patashu@c27-253-115-204.carlnfd2.nsw.optusnet.com.au QUIT :Ping timeout: 250 seconds < 1448102417 874402 :Patashu!~Patashu@c27-253-115-204.carlnfd2.nsw.optusnet.com.au JOIN :#esoteric < 1448102589 102264 :Welo!~hato@546A4E77.cm-12-3b.dynamic.ziggo.nl JOIN :#esoteric < 1448102807 36580 :Taneb!~Taneb@runciman.default.hacksoc.uk0.bigv.io PRIVMSG #esoteric :izabera: I don't see a way to do that nicely < 1448102874 399744 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :my not nice way is O(too^much) < 1448102939 541434 :Taneb!~Taneb@runciman.default.hacksoc.uk0.bigv.io PRIVMSG #esoteric :That is probably similar to my not nice way < 1448102992 239762 :Taneb!~Taneb@runciman.default.hacksoc.uk0.bigv.io PRIVMSG #esoteric :Ugh, I need to learn how to actually do things < 1448103003 64783 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :step 1: get off irc < 1448103054 44554 :Taneb!~Taneb@runciman.default.hacksoc.uk0.bigv.io PRIVMSG #esoteric :I've tried that, it doesn't help < 1448103065 692299 :Taneb!~Taneb@runciman.default.hacksoc.uk0.bigv.io PRIVMSG #esoteric :I think I have ADHD or something, I need to book an appointment or something to get that checked out < 1448103392 76161 :AnotherTest!~turingcom@94-224-66-163.access.telenet.be JOIN :#esoteric < 1448103676 617796 :andrew__!~andrew@116.30.105.108 QUIT :Remote host closed the connection < 1448103676 798588 :andrew_!~andrew@116.30.105.108 QUIT :Remote host closed the connection < 1448104802 868420 :mroman!~mroman@160.85.232.226 PRIVMSG #esoteric :O(2^n) algorithms are actually pretty fast < 1448104812 287308 :mroman!~mroman@160.85.232.226 PRIVMSG #esoteric :if your input size is 0 < n < 1 < 1448104834 31712 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :this is wrong in so many ways < 1448104844 415024 :mroman!~mroman@160.85.232.226 PRIVMSG #esoteric :I'm wrong in so many ways. < 1448105019 680079 :mroman!~mroman@160.85.232.226 PRIVMSG #esoteric :but that's mostly due to me not having any notable academic degree :) < 1448105184 311931 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :that's not how academic degrees work... < 1448105417 24875 :mroman!~mroman@160.85.232.226 PRIVMSG #esoteric :that's exactly how they work < 1448105426 240678 :mroman!~mroman@160.85.232.226 PRIVMSG #esoteric :I you have one, you have been taught a lot of stuff < 1448105429 385320 :mroman!~mroman@160.85.232.226 PRIVMSG #esoteric ::D < 1448105437 216449 :mroman!~mroman@160.85.232.226 PRIVMSG #esoteric :of course < 1448105439 888784 :mroman!~mroman@160.85.232.226 PRIVMSG #esoteric :even if I had one < 1448105445 356034 :mroman!~mroman@160.85.232.226 PRIVMSG #esoteric :I'd still be wrong in so many other ways. < 1448105575 791762 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :You'd still be a layperson about almost everything. < 1448105609 79613 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :"To err is human" goes really, really deep. < 1448105622 41222 :mroman!~mroman@160.85.232.226 PRIVMSG #esoteric :aw man < 1448105630 930882 :mroman!~mroman@160.85.232.226 PRIVMSG #esoteric :youtube removed pretty much all the hogan's heroes episodes < 1448105637 983460 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :you can get multiple degrees < 1448105651 882125 :mroman!~mroman@160.85.232.226 PRIVMSG #esoteric :True. < 1448105653 57312 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :izabera: right. drops in the desert < 1448105665 56354 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :get moar < 1448105678 612318 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :izabera: if you're lucky you can create a small oasis < 1448105679 653408 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :with enough degrees there's not gonna be much left to be a layman about < 1448105693 11511 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :Sand grains in the desert < 1448105696 538876 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :there's only so much time < 1448105703 178527 :mroman!~mroman@160.85.232.226 PRIVMSG #esoteric :It's just that in the time I'd need to calculate 5-19 the exam will already be over :) < 1448105711 278578 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :invent time travel? < 1448105731 142646 :mroman!~mroman@160.85.232.226 PRIVMSG #esoteric :otherwise I would have tried to get a degree < 1448105736 729139 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :how does time travel help? rejuvenation/immortality however... < 1448105752 638622 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :but you said there's only so much time < 1448105753 30907 :boily!~alexandre@96.127.201.149 JOIN :#esoteric < 1448105762 872987 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :I meant personal time. < 1448105768 243290 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :i.e. lifetime < 1448105786 218312 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :time travel, as I understand it, doesn't prolong that < 1448105811 337749 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :but you surely can travel in the future so there's less research to do < 1448105837 2924 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :that means there would be even more to be ignorant about... < 1448105837 836514 :mroman!~mroman@160.85.232.226 PRIVMSG #esoteric :Taneb: They are going to check me next thursday < 1448105849 525661 :Taneb!~Taneb@runciman.default.hacksoc.uk0.bigv.io PRIVMSG #esoteric :Oh, good luck! < 1448105854 213343 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :so actually, a time machine *would* work wonders, but you have to travel back in time. < 1448105857 18878 :mroman!~mroman@160.85.232.226 PRIVMSG #esoteric :Not that I think I have ADHD < 1448105875 51924 :mroman!~mroman@160.85.232.226 PRIVMSG #esoteric :but for insurance purposes they'll do some general testing. < 1448105955 850671 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :int-e: did you see the last girl genius < 1448106023 256066 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :obvious guess as to who is speaking in the last panel < 1448106117 278815 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :No guess, I haven't thought about it. It's been too long. < 1448106130 191697 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :my guess is othar < 1448106144 695973 :Taneb!~Taneb@runciman.default.hacksoc.uk0.bigv.io PRIVMSG #esoteric :That makes perfect sense < 1448106166 463057 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :oh the dispensible indestructible superhero... makes sense < 1448106183 969524 :mroman!~mroman@160.85.232.226 PRIVMSG #esoteric :(Actually they want me to screen for Aspergers) < 1448106223 615318 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :ACTION finally got to see in writing that he's actually diagnosed with Aspergers < 1448106228 132710 :mroman!~mroman@160.85.232.226 PRIVMSG #esoteric :(I definitely don't have Aspergers. I'd know that.) < 1448106239 562493 :mroman!~mroman@160.85.232.226 PRIVMSG #esoteric :And I'd know if I had ADHD. < 1448106240 609943 :mroman!~mroman@160.85.232.226 PRIVMSG #esoteric :so < 1448106246 624048 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :mroman: ARE YOU SURE < 1448106251 20444 :mroman!~mroman@160.85.232.226 PRIVMSG #esoteric :Yeah < 1448106253 189460 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :JOOOIN US... < 1448106255 380656 :mroman!~mroman@160.85.232.226 PRIVMSG #esoteric :Why the hell wouldn't I know that? < 1448106281 53125 :mroman!~mroman@160.85.232.226 PRIVMSG #esoteric :You can't really diagnose it past childhood anyway < 1448106288 525770 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :ACTION isn't sure the diagnosis was properly set. it was done in a bit of a hurry. < 1448106299 717900 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :oh? < 1448106315 941816 :mroman!~mroman@160.85.232.226 PRIVMSG #esoteric :The formal requirement is that symptoms must exist since early childhood. < 1448106321 456895 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :or rather, i'm pretty sure it wasn't. < 1448106337 181809 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :mroman: ic < 1448106339 293373 :mroman!~mroman@160.85.232.226 PRIVMSG #esoteric :and I'm pretty sure either my parents or a teacher would have picked up on signs if I had Aspergers. < 1448106343 364279 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :oerjan: anyway I'm still annoyed, I'd rather see progress on the Paris story ... above ground ... < 1448106384 11028 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :oerjan: but now it seems likely that that won't happen this year. < 1448106385 432578 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :well i got the diagnosis because my Dad kept blathering about it, so obviously _he_ thought there had been signs - but it wasn't a known thing when i grew up. < 1448106391 605389 :mroman!~mroman@160.85.232.226 PRIVMSG #esoteric :I'm more of a generally depressed/negative/anxious personality. < 1448106416 901915 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :int-e: i'm wondering if they'll return and find the place already overrun with revenants < 1448106433 682684 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :possibly < 1448106439 810275 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :maybe that's what will get Gil there < 1448106454 308235 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :mroman: i got that in my diagnosis too. < 1448106492 524343 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :hmm, is there another story arc that they could switch to? "meantime, in Sturmhalten castle ..." < 1448106495 822081 :mroman!~mroman@160.85.232.226 PRIVMSG #esoteric :"Did you have trouble doing homework on time?" "I don't know. I never did homework." < 1448106501 798140 :mroman!~mroman@160.85.232.226 PRIVMSG #esoteric :That interview is going to be awkward. < 1448106519 892614 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :I wanted "meanwhile" < 1448106570 216006 :mroman!~mroman@160.85.232.226 PRIVMSG #esoteric :oerjan: Psychiatrists in the past kept wondering whether I have social phobia, AvPD, Asperger's, BPD, NPD etc. < 1448106602 606698 :mroman!~mroman@160.85.232.226 PRIVMSG #esoteric :and now they want a formal diagnosis (because at some point the insurance company wants to know what the fuck is going on) < 1448106706 331533 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :int-e: hm if Gil (and Klaus) don't know about Anevka being the other, she _might_ still be in control there. < 1448106727 623323 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :"Anevka" < 1448106732 591731 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :wait < 1448106737 638598 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :Klaus knows, duh < 1448106746 931911 :mroman!~mroman@160.85.232.226 PRIVMSG #esoteric :those standardized questionaires are highly inaccurate anyway. < 1448106747 178319 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :which makes it unlikely that Gil doesn't... < 1448106755 541873 :mroman!~mroman@160.85.232.226 PRIVMSG #esoteric :"Did you ever think about hurting someone?" [ ] Yes [ ] No < 1448106765 158889 :mroman!~mroman@160.85.232.226 PRIVMSG #esoteric :If you cross yes, you'll get a point in Anti Social Behaviour < 1448106769 856123 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :ACTION wonders how well they can communicate when sharing a body... < 1448106775 263409 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :what kind of question is that... < 1448106799 202262 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :(don't answer that) < 1448106824 547777 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :[ ] Right now I want to stab whoever came up with this question. < 1448106825 228985 :j-bot!~j-bot@li1285-84.members.linode.com PRIVMSG #esoteric :int-e: |spelling error < 1448106825 371351 :j-bot!~j-bot@li1285-84.members.linode.com PRIVMSG #esoteric :int-e: | ] Right now I want to stab whoever came up with this question. < 1448106825 371408 :j-bot!~j-bot@li1285-84.members.linode.com PRIVMSG #esoteric :int-e: | ^ < 1448106835 668073 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :uh. another prefix. < 1448106853 919170 :mroman!~mroman@160.85.232.226 PRIVMSG #esoteric :int-e: That's how these work. < 1448106870 218339 :mroman!~mroman@160.85.232.226 PRIVMSG #esoteric :They don't ask for "pathological" stuff, more for behaviours. < 1448106877 471361 :mroman!~mroman@160.85.232.226 PRIVMSG #esoteric :Including if you have hurt animals as a chil < 1448106879 55147 :mroman!~mroman@160.85.232.226 PRIVMSG #esoteric :*child < 1448106889 15690 :mroman!~mroman@160.85.232.226 PRIVMSG #esoteric :I mean common... who hasn't done that at some point during childhood < 1448106901 46557 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :mroman: more like if you cross No, you'll get a point in Lying. < 1448106904 25187 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :yes, it makes sense... but apparently they expect the answers to be filtered through social norms rather than being honest. < 1448106912 751890 :mroman!~mroman@160.85.232.226 PRIVMSG #esoteric :They should ask "have you severly fucked up an animal other than maybe snakes or shitty animals like that" < 1448106928 17612 :mroman!~mroman@160.85.232.226 PRIVMSG #esoteric :I've stepped on a snake on purpose as a child. < 1448106937 839572 :mroman!~mroman@160.85.232.226 PRIVMSG #esoteric :so technically I have intentionally hurt an animal. < 1448106948 810560 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :or perhaps you're supposed to forget about such thoughts... oh well < 1448107029 143886 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :sometimes i swat insects. and sometimes i carefully trap them in a glass to let them out unharmed. consistency, overrated... < 1448107051 224105 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :also... "I did hurt someone... it was an accident. I thought about it for a long time wondering how I could've avoided it." <-- does that count? < 1448107058 896688 :mroman!~mroman@160.85.232.226 PRIVMSG #esoteric :http://image.slidesharecdn.com/rydera-g-costap-t-jr-bagbyr-m-2007-120826023040-phpapp02/95/trastornos-de-personalidadryder-2007-10-728.jpg?cb=1345948301 < 1448107084 352127 :mroman!~mroman@160.85.232.226 PRIVMSG #esoteric :"Are you afraid to try new things" < 1448107094 761657 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :AYE < 1448107098 471933 :mroman!~mroman@160.85.232.226 PRIVMSG #esoteric :Well... sure < 1448107102 864285 :mroman!~mroman@160.85.232.226 PRIVMSG #esoteric :but I guess that's pretty normal. < 1448107103 87711 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :trick question! there is no right answer! < 1448107109 690395 :mroman!~mroman@160.85.232.226 PRIVMSG #esoteric :also it depends on that thing < 1448107179 480451 :mroman!~mroman@160.85.232.226 PRIVMSG #esoteric :"... so devoted to work ..." < 1448107182 369977 :mroman!~mroman@160.85.232.226 PRIVMSG #esoteric :I'm at work right now. < 1448107184 872535 :mroman!~mroman@160.85.232.226 PRIVMSG #esoteric :In my free time. < 1448107202 745593 :mroman!~mroman@160.85.232.226 PRIVMSG #esoteric :and I use my vacation days and still go to work. Nobody notices. < 1448107323 913094 :mroman!~mroman@160.85.232.226 PRIVMSG #esoteric :119. before you were 13, did you often skip school? < 1448107326 875689 :mroman!~mroman@160.85.232.226 PRIVMSG #esoteric :No, only morons do that :D < 1448107337 130409 :mroman!~mroman@160.85.232.226 PRIVMSG #esoteric :or in other terms: Only cool kids skip school. < 1448108756 456001 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :@tell hppavilion[1] function composition is associative hth < 1448108756 634594 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :Consider it noted. < 1448108777 624445 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :sometimes you have to beat it in before it sticks < 1448108860 871216 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :`unidecode ‱ < 1448108861 848174 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :​[U+2031 PER TEN THOUSAND SIGN] < 1448108881 835020 :Patashu!~Patashu@c27-253-115-204.carlnfd2.nsw.optusnet.com.au QUIT :Ping timeout: 252 seconds < 1448108984 891054 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric : I made up the one to one correspondence of natural numbers with finite lists of natural numbers, which is sequence starting with: [] [0] [1] [0,0] [3] [0,1] [2] [0,0,0] [7] [0,3] [1,0] [0,0,1] [5] [0,2] [2,0] [0,0,0,0] [15] ... <-- is that the same as Taneb's < 1448109068 856528 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :wait, [3] before [2]? oh well. < 1448109075 888659 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :huh... [] [0] [1] [0,0] [2] <-- expected a 2 here... and a 3 instead of the 7... < 1448109086 770597 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :there are as many finite sequences of natural numbers than natural numbers? < 1448109090 694694 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :ACTION doesn't remember Taneb's, anyway < 1448109098 142656 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :boily: yes hth < 1448109163 894415 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :tdnrh, bitiafv... < 1448109174 782600 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :Is Taneb's one-to-one? < 1448109189 77212 :J_Arcane!~chatzilla@37-219-95-164.nat.bb.dnainternet.fi JOIN :#esoteric < 1448109192 709201 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :hm if that [3] is a misprint then that's pretty much the "obvious" binary based one. < 1448109194 743002 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :Taneb is isomorphic to His tanebventions. < 1448109208 419797 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :Jafet: PROBABLY < 1448109218 754406 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :possibly that's what Taneb also used. < 1448109252 298843 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :you write the number in binary, and then take stretches of zeroes. < 1448109260 326581 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :their lengths, that is. < 1448109313 937662 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :so 5 -> 101 -> [0,1]. actually that doesn't tell which end he's starting from... < 1448109350 432722 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :8 -> 0001 [7] ... confused. < 1448109377 153255 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :10 -> 0101 [1,0] (yes I'm putting the lsb first) < 1448109383 251310 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :hm zzo38 must be doing something differently < 1448109414 464968 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :or wait [0,1] must start with lsb if it's to be 5. < 1448109447 369639 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :this may be Taneb's we are describing. < 1448109512 890709 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :well he applied it recursively, to get a list of lists of ... < 1448109534 41999 :mroman!~mroman@160.85.232.226 PRIVMSG #esoteric :there's a ghc 8? < 1448109541 203298 :mroman!~mroman@160.85.232.226 PRIVMSG #esoteric :ApplicativeDo < 1448109543 824263 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :int-e: pretty sure 10 should be [1,1] < 1448109557 238044 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :mroman: the upcoming one < 1448109570 472921 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :did they make a release candidate? < 1448109586 418213 :mroman!~mroman@160.85.232.226 PRIVMSG #esoteric :I don't know. < 1448109593 705400 :mroman!~mroman@160.85.232.226 PRIVMSG #esoteric :I just randomly stumbled upon Typed.Spreadsheet < 1448109612 414100 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :with this computer problem i may never be able to catch up to my haskell reading. < 1448109617 280019 :boily!~alexandre@96.127.201.149 QUIT :Quit: POURED CHICKEN < 1448109631 922427 :mroman!~mroman@160.85.232.226 PRIVMSG #esoteric :7.10.2 is current < 1448109651 600733 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :anyway, ApplicativeDo is slated for 8.0. < 1448109673 253767 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :(8.0.1) < 1448109711 24057 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :oerjan: which syntax is that? < 1448109787 918532 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :normal do syntax, just reinterpreted as Applicative when possible < 1448109810 242681 :mroman!~mroman@160.85.232.226 PRIVMSG #esoteric :I don't understand much of the fancy extensions anyway < 1448109814 98955 :mroman!~mroman@160.85.232.226 PRIVMSG #esoteric :InjectiveTypeFamalies < 1448109820 258157 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :oh well, everything zzo38 says is a reverse engineering task... this is just another one I'll give up on < 1448109825 836186 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :do x <- a; y <- b; return (f x y) --> liftA2 f a b < 1448109850 102403 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :or f <$> a <*> b < 1448109896 172804 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :oerjan: I'm not sure... note the odd encoding of [2] which is the same as concatenating the encodings of [0] and [1]. For a moment I thought he was mapping 1 bits to 0, and zero bits and eof to two-bit stings... but that's not right either. < 1448110008 229625 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :(in that idea, the true interpretation of [1] would be 010, which isn't a prefix of 011, the encoding of 1; this is compatible with the "odd" interpretation of 10, the concatenation of 010 = [1] and 1 = [0]) < 1448110028 339690 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :s/the encoding of 1/the encoding of [2]/ < 1448110067 640121 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :oerjan: ok < 1448110067 782337 :\oren\!~oren@TOROON0949W-LP140-02-1242510774.dsl.bell.ca PRIVMSG #esoteric :good mroing < 1448110133 452751 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :oerjan: so basically, that's possible when the library defines Monad to require Applicative? < 1448110142 188679 :mroman!~mroman@160.85.232.226 PRIVMSG #esoteric :now I'm gonna screw with the global drug survey < 1448110152 796635 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :and is there also a Functor do? < 1448110160 419565 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :i suppose that's a requirement < 1448110176 443817 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :b_jonas: i dunno, seems reasonable but limited < 1448110240 649439 :J_Arcane_!~chatzilla@37-219-95-164.nat.bb.dnainternet.fi JOIN :#esoteric < 1448110256 351750 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :oh I get it... < 1448110361 997693 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :http://sprunge.us/aAWf < 1448110366 113029 :J_Arcane!~chatzilla@37-219-95-164.nat.bb.dnainternet.fi QUIT :Ping timeout: 244 seconds < 1448110370 86565 :J_Arcane_!~chatzilla@37-219-95-164.nat.bb.dnainternet.fi NICK :J_Arcane < 1448110395 5132 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :(lsb first, and of course trailing zeros don't contribute to the encoding) < 1448110504 750982 :mroman!~mroman@160.85.232.226 PRIVMSG #esoteric :"How easy would it be for you get it prescribed to you within the next 7 days?" Pretty easy :D < 1448110520 272178 :Taneb!~Taneb@runciman.default.hacksoc.uk0.bigv.io PRIVMSG #esoteric :ACTION HELLO < 1448110548 273982 :Taneb!~Taneb@runciman.default.hacksoc.uk0.bigv.io PRIVMSG #esoteric :ACTION has just picked up my copy of TAoCP from the post office < 1448110611 138455 :Taneb!~Taneb@runciman.default.hacksoc.uk0.bigv.io PRIVMSG #esoteric :oerjan: zzo38's system looks similar to mine, but his is weird in some way I don't understand < 1448110621 115838 :Taneb!~Taneb@runciman.default.hacksoc.uk0.bigv.io PRIVMSG #esoteric :oerjan: int-e has the right of it < 1448110631 620119 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :Taneb: which volume(s), what translation, and in dead tree or ebook? < 1448110633 843648 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :ACTION still has no idea what int-e means, either < 1448110640 658156 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :also, great < 1448110643 36180 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :that's a good book < 1448110649 948954 :Taneb!~Taneb@runciman.default.hacksoc.uk0.bigv.io PRIVMSG #esoteric :b_jonas: it's in English, 1-4A, dead tree (hardback) < 1448110658 999210 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :i might not be trying very hard. < 1448110667 560504 :Taneb!~Taneb@runciman.default.hacksoc.uk0.bigv.io PRIVMSG #esoteric :If it was an ebook I could have saved some time and not walked to the post office < 1448110673 539966 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :ok < 1448110678 518205 :Taneb!~Taneb@runciman.default.hacksoc.uk0.bigv.io PRIVMSG #esoteric :oerjan: the numbers are the distances between the bits < 1448110681 695580 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :oerjan: that paste lists the encodings of singleton lists (lsb first); to encode longer lists, you concatenate the corresponding singleton lists, then read off a natural number. < 1448110689 537090 :Taneb!~Taneb@runciman.default.hacksoc.uk0.bigv.io PRIVMSG #esoteric :So 0d0 => 0b0 => [] < 1448110704 39281 :Taneb!~Taneb@runciman.default.hacksoc.uk0.bigv.io PRIVMSG #esoteric :0d10 => 0b1010 => [1,1] I think < 1448110720 107552 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :so [0,1] --> 1 010 -> 5; [1,0] -> 010 1 -> 10 < 1448110752 923270 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :Taneb: i mean in zzo38's system < 1448110761 627669 :Taneb!~Taneb@runciman.default.hacksoc.uk0.bigv.io PRIVMSG #esoteric :Oh, yeah, I have no idea what's up with that < 1448110765 253480 :Taneb!~Taneb@runciman.default.hacksoc.uk0.bigv.io PRIVMSG #esoteric :Something to do with primes? < 1448110818 714831 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :[4] = 00101 = 24 comes after [15] = 000010000 = 16 < 1448110840 190890 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :oh ic < 1448110861 709746 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :err, [4] = 20 < 1448110872 417499 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :so to decode the other way, you first see how many 0's the number starts with, and chop off twice as many bits + 1 < 1448110883 948246 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :(lsb first) < 1448110886 169625 :Taneb!~Taneb@runciman.default.hacksoc.uk0.bigv.io PRIVMSG #esoteric :I still have no idea what is going on < 1448110886 577015 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :right < 1448110968 483766 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :so it's a prefix-free encoding < 1448110979 67623 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :put differently, you encode n+1 in binary, and prefix that by 0 for each non-leading digit in the result. 4: encode 5: 101; it has 1+2 digits, so it becomes 00101 < 1448111042 200992 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :(and then there's a bit reversal... yay) < 1448111076 221350 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :help im covered in chameleons and no one believes me < 1448111166 171528 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :sounds like a setup for a joke < 1448111192 891500 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :izabera: but if the first part is true, maybe IRC is not the right place to ask for help. < 1448111282 866676 :Taneb!~Taneb@runciman.default.hacksoc.uk0.bigv.io PRIVMSG #esoteric :izabera: :DD < 1448111305 831604 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :So what happens when a chameleon sits on the invisible pink unicorn? < 1448111325 383004 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :Maybe the chameleon becomes pink < 1448111509 978642 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :hmm I wonder what the ETA of volume 4B is < 1448111535 661374 :oerjan!~oerjan@hagbart.nvg.ntnu.no QUIT :Quit: Later < 1448111576 604634 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :(sorry for dropping the chameleon question, but it seems that I have no arguments for either of the three obvious possibilities (ping, invisible, no change)) < 1448111579 679979 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :pink < 1448111752 531409 :mroman!~mroman@160.85.232.226 PRIVMSG #esoteric :How do you know it's pink when you can't see it? < 1448111792 179519 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :Maybe it's pink on the inside < 1448111807 872587 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :because otherwise it wouldn't be the invisble pink unicorn, duh. < 1448111818 467015 :mroman!~mroman@160.85.232.226 PRIVMSG #esoteric :but if it's invisible there's no observable colour. < 1448111832 731553 :mroman!~mroman@160.85.232.226 PRIVMSG #esoteric :Ok, so it's pink under the surface. < 1448111848 639171 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :pink is part of its essence < 1448111850 403768 :mroman!~mroman@160.85.232.226 PRIVMSG #esoteric :The chameleon can't see that the unicorn is pink. < 1448111934 491915 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :mroman: surely you must have heard of the invisible pink unicorn before... < 1448111945 206445 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :It's ontologically pink, of course. < 1448111964 532445 :mroman!~mroman@160.85.232.226 PRIVMSG #esoteric :int-e: Nope. < 1448111966 937444 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :(How does anyone know that it's a unicorn, for that matter?) < 1448111971 166385 :mroman!~mroman@160.85.232.226 PRIVMSG #esoteric :Not much of a unicorn fan. < 1448111979 532431 :mroman!~mroman@160.85.232.226 PRIVMSG #esoteric :Although I have heard that scots seem to like unicorns. < 1448111985 307612 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :https://en.wikipedia.org/wiki/Invisible_Pink_Unicorn < 1448111999 706378 :mroman!~mroman@160.85.232.226 PRIVMSG #esoteric :Jafet: You can touch it and get a rough estimate of it's shape. < 1448112002 663170 :mroman!~mroman@160.85.232.226 PRIVMSG #esoteric :Or you can do a sonar < 1448112007 565926 :mroman!~mroman@160.85.232.226 PRIVMSG #esoteric :which gives you the shape of a unicorn. < 1448112047 464129 :mroman!~mroman@160.85.232.226 PRIVMSG #esoteric :(assuming it somehow alters electromagnetic waves to make it invisible. So using x-ray might not work then) < 1448112149 621772 :mroman!~mroman@160.85.232.226 PRIVMSG #esoteric :"It is common when discussing the Invisible Pink Unicorn to point out that because she is invisible, no one can prove that she does not exist" < 1448112152 797310 :mroman!~mroman@160.85.232.226 PRIVMSG #esoteric :That is so unscientific. < 1448112168 710763 :mroman!~mroman@160.85.232.226 PRIVMSG #esoteric :If it's just invisible doesn't mean it leaves no traces or does not reflect sound waves. < 1448112173 511362 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :(I like the IPU much better than the FSM; they both have equal right to exist, but the IPU is so much more poetic) < 1448112173 722893 :mroman!~mroman@160.85.232.226 PRIVMSG #esoteric :(or produces sound waves for that matter) < 1448112209 693802 :Taneb!~Taneb@runciman.default.hacksoc.uk0.bigv.io PRIVMSG #esoteric :How did they sex the invisible pink unicorn if she's invisible < 1448112226 152028 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :Maybe she told them < 1448112227 857261 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :Better leave that one unanswered. < 1448112304 999461 :mroman!~mroman@160.85.232.226 PRIVMSG #esoteric :FSM makes way more sense than an invisible unicorn. < 1448112421 252182 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :no no, the invisible pink unicorn is much simpler than that < 1448112439 41085 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :it's just a unicorn that is shy and almost never shows himself in front of others < 1448112461 660094 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :so almost nobody has seen him, and the ones who have seen him generally aren't allowed to talk about it < 1448112473 648288 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :but we know he's pink for two reasons: < 1448112493 608969 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :1. he does sometimes show his horn, which is pink, and most unicorns have the same body color as their horn, < 1448112509 28199 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :and 2. he can see himself, and says he's pink, and we trust him. < 1448112609 269349 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :(there's an alternative of course, namely that he's a unicorn represented as rgba without premultiplied alpha, so there's color data of him stored even in the fully transparent pixels.) < 1448113474 402615 :mroman!~mroman@160.85.232.226 PRIVMSG #esoteric :FSM > IPU < 1448114306 954478 :mroman!~mroman@160.85.232.226 QUIT :Quit: Lost terminal < 1448114531 764596 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :> "FSM" `compare` "IPU" < 1448114533 807931 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : LT < 1448114729 846299 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :fsm < ipu < eris < 1448116724 912289 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :As for these wiki formats that are supposed to be easy to use, I hate two things about the bbcode parser of phpBB: < 1448116795 524640 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :(1) it takes all newlines in the source code to mean a
in the output, so you must leave no newlines in foo [list][*] bar [*] bar [/list] foo [quote=someone] hi [/quote] or else you'll get ugly output with way too much vertical blank space, < 1448116809 132648 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :(2) it has no way to specify alternate text for images. < 1448116906 197540 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :I mean, mediawiki very rarely does this thing where extra newlines in the source result in extra lines in the output, but it comes up in very rare conditions only, not like around every list or something. < 1448116932 132369 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :Maybe I have to write some sort of html to bbcode transator for myself. < 1448117233 818401 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :As the saying goes, it makes easy things easy and hard things impossible. < 1448118278 792947 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :ok, crazy question, why does linux 4.4 add an mlock2 system call rather than just adding a mode to madvise, which already has modes that do more than just advise. < 1448118505 326430 :andrew!~andrew@59.38.97.147 JOIN :#esoteric < 1448118659 407853 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :madvise(2): "This call does not influence the semantics of the application"... < 1448119063 77552 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :Jafet: that's the theory. no. < 1448119075 462246 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :Jafet: some modes of madvise and fadvise are like that, but not all < 1448119101 468371 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :s/fadvise/posix_fadvise/ or whatever it's called these days < 1448119160 28474 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :Jafet: MADV_NORMAL, MADV_RANDOM, MADV_SEQUENTIAL, MADV_WILLNEED are indeed only optimization advise, < 1448119263 208634 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :but MADV_DONTNEED does have semantics, it means what you wrote to that memory area can be discarded, MADV_REMOVE and MADV_DONTFORK and MADV_DOFORK similarly has semantics. < 1448119291 547752 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :Well, DONTNEED only exists because people conflated address space and memory. < 1448119305 85168 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :you could say that some of those should be modes in mprotect rather than madvise, but whatever. < 1448119351 664760 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :I admit I'm not really familiar with the details of all this memory handling stuff, but I'm quite sure some modes of madvise can have semantics in Linux. < 1448122055 186869 :andrew!~andrew@59.38.97.147 QUIT :Remote host closed the connection < 1448122766 208064 :lleu!~gnomebad@cpc15-croy20-2-0-cust489.croy.cable.virginm.net JOIN :#esoteric < 1448122766 350541 :lleu!~gnomebad@cpc15-croy20-2-0-cust489.croy.cable.virginm.net QUIT :Changing host < 1448122766 350601 :lleu!~gnomebad@unaffiliated/lleu JOIN :#esoteric < 1448124406 345176 :Frooxius!~Frooxius@193.86.27.79 JOIN :#esoteric < 1448125884 813058 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :https://www.codeeval.com/open_challenges/77/ i'm not sure about a thing, help me out < 1448125920 683375 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :they say that every time i have to join the two words with the longest overlap < 1448125974 297356 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :ok so i joined two words in turn 1. now, next turn: will the longest overlap always be the new word + something? < 1448125999 201509 :Taneb!~Taneb@runciman.default.hacksoc.uk0.bigv.io PRIVMSG #esoteric :Not necessarily < 1448126010 309957 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :can you show an example? < 1448126033 523466 :Taneb!~Taneb@runciman.default.hacksoc.uk0.bigv.io PRIVMSG #esoteric :ABCD, DEFG, MNO, NOP < 1448126044 2876 :Taneb!~Taneb@runciman.default.hacksoc.uk0.bigv.io PRIVMSG #esoteric :First match makes ABCDEFG < 1448126046 385764 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :well but there must be an overlap < 1448126070 87186 :Taneb!~Taneb@runciman.default.hacksoc.uk0.bigv.io PRIVMSG #esoteric :ABCD, DEFG, GMNO, NOP then < 1448126079 669825 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :thanks < 1448126137 289275 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :now i'm being pedantic, but can you show an example in which joining the word i generated in turn 1 with something leads to an incorrect result? < 1448126229 668833 :Taneb!~Taneb@runciman.default.hacksoc.uk0.bigv.io PRIVMSG #esoteric :ABCDE, CDEFG, GMNOP, MNOPQFG, FGX? < 1448126244 800053 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :ok thanks, let me see < 1448126247 284208 :Taneb!~Taneb@runciman.default.hacksoc.uk0.bigv.io PRIVMSG #esoteric :No, that's not right, but I think the principle's there < 1448126274 424450 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :thanks < 1448126275 3997 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :fungot, did you join two words with the longest overlap? < 1448126278 291773 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :perfect example < 1448126353 533869 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :They say that if at first you don't succeed, trie, trie, trie again. < 1448126513 633620 :Taneb!~Taneb@runciman.default.hacksoc.uk0.bigv.io PRIVMSG #esoteric :It says that "Fragments must overlap at their start or end.", but also says ""ABCDEF" and "BCDE" overlap with overlap length 4" which doesn't overlap at the start or end of ABCDEF... < 1448127044 205199 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :is this the "rebuild the secret message from lots of tiny scraps" challenge? < 1448127193 727104 :Taneb!~Taneb@runciman.default.hacksoc.uk0.bigv.io PRIVMSG #esoteric :Yes < 1448127463 731768 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :there are two similar ones < 1448127507 857678 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :the other one is https://www.codeeval.com/open_challenges/185/ < 1448127521 498247 :Taneb!~Taneb@runciman.default.hacksoc.uk0.bigv.io PRIVMSG #esoteric :I've never done any of these, would you recommend them? < 1448127531 590884 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :dunno < 1448127542 848929 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :all i know is that they're painful to do in bash < 1448127671 691333 :Taneb!~Taneb@runciman.default.hacksoc.uk0.bigv.io PRIVMSG #esoteric :Ahahaha < 1448127677 90615 :Taneb!~Taneb@runciman.default.hacksoc.uk0.bigv.io PRIVMSG #esoteric :A lot of things are, to be fair < 1448127846 229405 :edwardk!sid47016@haskell/developer/edwardk QUIT :Ping timeout: 240 seconds < 1448127906 277937 :mbrcknl!sid28171@gateway/web/irccloud.com/x-keqsiqpsbtoyhaoe QUIT :Ping timeout: 240 seconds < 1448127946 408908 :ocharles__!sid30093@gateway/web/irccloud.com/x-liulfdxmzhlnhauj QUIT :Ping timeout: 240 seconds < 1448128042 334004 :edwardk!sid47016@haskell/developer/edwardk JOIN :#esoteric < 1448128130 888678 :ocharles__!sid30093@gateway/web/irccloud.com/x-nbmebjjtzckteahu JOIN :#esoteric < 1448128133 969160 :mbrcknl!sid28171@gateway/web/irccloud.com/x-gxmjfsczrkaozccf JOIN :#esoteric < 1448128365 44882 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :is it possible that a piece that didn't exist at the beginning (== it was created by joining two pieces) fits inside another piece that likewise didn't exists at the beginning? < 1448128509 460629 :Taneb!~Taneb@runciman.default.hacksoc.uk0.bigv.io PRIVMSG #esoteric :ABC, DEF, BCD, DCE < 1448128518 83924 :Taneb!~Taneb@runciman.default.hacksoc.uk0.bigv.io PRIVMSG #esoteric :No < 1448128525 924188 :Taneb!~Taneb@runciman.default.hacksoc.uk0.bigv.io PRIVMSG #esoteric :That doesn't work < 1448128528 268169 :Taneb!~Taneb@runciman.default.hacksoc.uk0.bigv.io PRIVMSG #esoteric :Um... maybe? < 1448128769 414549 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :i was just wondering if i can just join all of them in a preliminary step and never check that case again < 1448128823 115895 :impomatic_!~digital_w@42.147.189.80.dyn.plus.net QUIT :Ping timeout: 276 seconds < 1448129785 704056 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :blub < 1448130259 624577 :Taneb!~Taneb@runciman.default.hacksoc.uk0.bigv.io PRIVMSG #esoteric :Oh wow I am so nervous < 1448130789 620915 :mroman!~mroman@160.85.232.229 JOIN :#esoteric < 1448130792 38269 :mroman!~mroman@160.85.232.229 PRIVMSG #esoteric :fnard < 1448130937 15674 :bb010g!uid21050@gateway/web/irccloud.com/x-bpeouiaxpaixkirc JOIN :#esoteric < 1448133072 744262 :mroman!~mroman@160.85.232.229 QUIT :Quit: Lost terminal < 1448134200 543955 :zzo38!~zzo38@24-207-56-9.eastlink.ca PRIVMSG #esoteric :The [3] before [2] is not a mistake. Also it is not related to prime numbers, but the "Modified Godel Encoding" which I suggested afterward is related to prime numbers. < 1448134327 987766 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Brackit14]]4 10 02http://esolangs.org/w/index.php?diff=45586&oldid=45533 5* 03Blakusl 5* (+138) 10 < 1448134419 654378 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :i am dizzy < 1448134424 39059 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :and sluggish < 1448134434 508313 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :need more calories, liquid, and possibly caffeine < 1448136411 393188 :hppavilion[1]!~Devourero@93-231-58-66.gci.net JOIN :#esoteric < 1448137207 611807 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :http://slbkbs.org/dontclick.txt < 1448137286 71070 :hppavilion[1]!~Devourero@93-231-58-66.gci.net QUIT :Ping timeout: 276 seconds < 1448137327 780493 :shikhin!~shikhin@unaffiliated/shikhin PRIVMSG #esoteric :shachaf: 404 Not Found. < 1448137512 118154 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Joke language list14]]4 10 02http://esolangs.org/w/index.php?diff=45587&oldid=45217 5* 03114.78.113.191 5* (+93) 10/* General languages */ < 1448137700 303480 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07C++14]]4 N10 02http://esolangs.org/w/index.php?oldid=45588 5* 03114.78.113.191 5* (+77) 10Created page with "A language created by Bjarne Stroustrup as a joke, but later got out of hand." < 1448137981 531286 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Joke language list14]]4 10 02http://esolangs.org/w/index.php?diff=45589&oldid=45587 5* 03114.78.113.191 5* (+62) 10/* General languages */ < 1448138451 724191 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :lol < 1448138500 570180 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :what is slbkbs < 1448138602 638062 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :something like ben-kiki but snazzier < 1448139507 975828 :rdococ!~rdococ@unaffiliated/octagonfly QUIT :Read error: Connection reset by peer < 1448140332 691073 :\oren\!~oren@TOROON0949W-LP140-02-1242510774.dsl.bell.ca PRIVMSG #esoteric :should I have bacon and cookies for dinner? < 1448140474 886559 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :no < 1448140476 975779 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :that's silly < 1448140496 331138 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :it's not a full dinner unless its cookies baked with bacon, or encrusted in bacon crumbles < 1448140623 329449 :\oren\!~oren@TOROON0949W-LP140-02-1242510774.dsl.bell.ca PRIVMSG #esoteric :argh. maybe I'll get pizza. < 1448140647 921052 :\oren\!~oren@TOROON0949W-LP140-02-1242510774.dsl.bell.ca PRIVMSG #esoteric :pizza is always good in this neighbourhood (I live in the centre of little italy) < 1448143783 369454 :Doxin!~Doxin@unaffiliated/doxin JOIN :#esoteric < 1448143813 697922 :Doxin!~Doxin@unaffiliated/doxin PRIVMSG #esoteric :so why would this program be an infinite loop: ++++++++++>++++++++++++[-<[->>+>+<<<]>>>[-<<<+>>>]<[->>+<<]<]>>>. ? < 1448143869 55186 :Patashu!~Patashu@c27-253-115-204.carlnfd2.nsw.optusnet.com.au JOIN :#esoteric < 1448144118 519946 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :Hey there. < 1448144148 261787 :Doxin!~Doxin@unaffiliated/doxin PRIVMSG #esoteric :tswett: that aimed at me? < 1448144151 61995 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :Lemme renotate that. < 1448144153 292377 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :Yeah. < 1448144306 701272 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :in brainfuck? it's not an infinite loop; it prints an 'x', apperently < 1448144324 346483 :Doxin!~Doxin@unaffiliated/doxin PRIVMSG #esoteric :huh < 1448144334 981861 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :Silly notation: 10+ > 12+ [ - < dump(2R, 3R) >>> dump(3L) < dump(2R) < ] < 1448144335 567045 :Doxin!~Doxin@unaffiliated/doxin PRIVMSG #esoteric :well I must have been using a broken interpreter then < 1448144347 408028 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :Which I made up just now and which isn't very good. < 1448144362 907683 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :> chr 120 < 1448144364 465707 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : 'x' < 1448144391 506909 :Doxin!~Doxin@unaffiliated/doxin PRIVMSG #esoteric :tswett: interestingly enough that bf code was generated from this: http://paste.pound-python.org/show/RyvonUvzf8BpWfFPXvDM/ < 1448144392 631559 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :(it computes 10*12) < 1448144460 685206 :Doxin!~Doxin@unaffiliated/doxin PRIVMSG #esoteric :int-e: that's the intention < 1448144477 446795 :Doxin!~Doxin@unaffiliated/doxin PRIVMSG #esoteric :so anyone know a good brainfuck interpreter that'll work on linux? https://www.youtube.com/watch?v=_iSRYfV_toY < 1448144479 909266 :Doxin!~Doxin@unaffiliated/doxin PRIVMSG #esoteric :uh < 1448144483 208922 :Doxin!~Doxin@unaffiliated/doxin PRIVMSG #esoteric :ignore that link < 1448144583 773335 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :t[0] = 10; t[1] = 12; while (t[1]) { t[1]--; t[2] += t[0]; t[3] += t[0]; t[0] = 0; t[0] = t[3]; t[3] = 0; t[4] += t[2]; t[2] = 0 }; print(t[4]) < 1448144586 109285 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :Something like that. < 1448144590 692953 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :That can be simplified, obviously. < 1448144617 189034 :Doxin!~Doxin@unaffiliated/doxin PRIVMSG #esoteric :well yes clearly < 1448144983 878299 :mauris!~mauris@unaffiliated/nooodl QUIT :Ping timeout: 252 seconds < 1448145028 669570 :mauris!~mauris@unaffiliated/nooodl JOIN :#esoteric < 1448145057 220348 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :https://esolangs.org/wiki/Brainfuck_implementations is quite an impressive list < 1448145438 184666 :kline!~kline@unaffiliated/kline QUIT :Ping timeout: 276 seconds < 1448145504 234192 :Doxin!~Doxin@unaffiliated/doxin PRIVMSG #esoteric :right, found one < 1448145614 675045 :oerjan!~oerjan@hagbart.nvg.ntnu.no JOIN :#esoteric < 1448145662 880386 :Doxin!~Doxin@unaffiliated/doxin PRIVMSG #esoteric :next question: how do I go about doing indirect lookups without losing track of where the memory pointer is pointing? < 1448145666 283459 :Doxin!~Doxin@unaffiliated/doxin PRIVMSG #esoteric :indirection is hard < 1448145764 815851 :kline!~kline@unaffiliated/kline JOIN :#esoteric < 1448145976 828708 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :Leave a marker behind. < 1448146001 998916 :Doxin!~Doxin@unaffiliated/doxin PRIVMSG #esoteric :that seems prone to failure < 1448146009 271754 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :Not if you do it perfectly. < 1448146014 450323 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :I mean... < 1448146022 662876 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :You can't pack the tape with payload data; some of it will have to be reserved for navigation data instead. < 1448146028 79474 :Doxin!~Doxin@unaffiliated/doxin PRIVMSG #esoteric :right < 1448146039 126810 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :One common approach, I think, is to just alternate. One cell of payload, one cell of navigation, and so forth. < 1448146044 448351 :Doxin!~Doxin@unaffiliated/doxin PRIVMSG #esoteric :right < 1448146066 162246 :Doxin!~Doxin@unaffiliated/doxin PRIVMSG #esoteric :still doesn't tell me how to actually do it though < 1448146082 20877 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :the rest is trivial < 1448146087 218187 :Doxin!~Doxin@unaffiliated/doxin PRIVMSG #esoteric :not to me < 1448146090 609151 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :in the mathematical sense < 1448146116 22469 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :where it means "possibly a lot of work but requires no real new ideas" < 1448146128 865844 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :Well, here's one technique. < 1448146146 526104 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :Figure out what your pointer is. Leave a marker in one navigation cell. Put your pointer into the other navigation cell. < 1448146171 993946 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :Now, repeatedly copy the pointer to the next navigation cell, subtracting one each time. < 1448146178 877128 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :One it hits zero, you're there, more or less. < 1448146183 502729 :Doxin!~Doxin@unaffiliated/doxin PRIVMSG #esoteric :ah, that's sensible < 1448146185 528692 :Doxin!~Doxin@unaffiliated/doxin PRIVMSG #esoteric :neat! < 1448146192 775443 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :Then, when you want to go back, just look for the marker. < 1448146241 116533 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :that has the disadvantage that it won't work for unbounded distance with bounded cells < 1448146265 142100 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :but you can leave bookmarks behind < 1448146267 185832 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :ACTION shrugs < 1448146286 325575 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :it is tedious. < 1448146345 695178 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :bookmarks are simpler when you don't need actual heaps of pointers < 1448146373 318196 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :oerjan: do I misremeber or did you (plan to, perhaps) implement a linear slowdown brainfuck self-interpreter that moves its state along the tape? < 1448146376 905926 :Doxin!~Doxin@unaffiliated/doxin PRIVMSG #esoteric :tswett: that does limit your address size to the cell size < 1448146396 834101 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :int-e: i thought about its design, no actual implementation < 1448146402 529004 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :ah < 1448146431 711409 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :because all the usual interpreters don't have eigenratios because they're slowdown is quadratic < 1448146444 281663 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :or rather, dependent on tape length < 1448146450 144369 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :their. right. < 1448146455 786959 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :oops < 1448146545 346678 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :Yeah, if you want to be able to access an *infinite* amount of memory (rather than a practically unlimited amount of memory), pointers don't really do the trick any more. < 1448146562 350933 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :Well, I mean, I guess they do. < 1448146576 792284 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :It's just that you'll have to do some weird stuff. < 1448146599 786452 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :Like variable-size pointers. If you want to address more memory than your pointers can currently address, then make pointers bigger. < 1448146619 428320 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :Double the size of your memory words. < 1448146640 823527 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :Of course, that's going to require copying *all* of your memory (except maybe the first word) to a different location. < 1448146642 155118 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :so anyway, yes, simulating a heap with pointers directly is a challenge. there's no doubt that it can be done in principle, but it's a mess. < 1448146646 107382 :Doxin!~Doxin@unaffiliated/doxin PRIVMSG #esoteric :tswett: I don't really care about infinite < 1448146651 365628 :Doxin!~Doxin@unaffiliated/doxin PRIVMSG #esoteric :tswett: I care about reasonable < 1448146654 944733 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :*nod* < 1448146673 109827 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :Well, if you can use one cell to represent an 8-bit number, you can use eight cells to represent a 64-bit number. < 1448146678 922738 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :Or 32-bit or whichever. < 1448146683 214713 :Doxin!~Doxin@unaffiliated/doxin PRIVMSG #esoteric :right < 1448146748 87202 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :(and if that's still boring you can think about making memory access faster by caching recently used cells nearby... *ducks*) < 1448146791 548449 :Doxin!~Doxin@unaffiliated/doxin PRIVMSG #esoteric :hah < 1448146800 956565 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :Now, I wonder how you can serialize a graph as a sequence of symbols, without using ID strings. < 1448146815 739545 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :And such that a Turing machine can reasonably operate on it. < 1448146836 456189 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :(a "simple" memory access implementation will be linear, at best, in the address being accessed) < 1448146851 639886 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :linear time, that is < 1448146870 957012 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :(and it's much more likely to be quadratic) < 1448146942 469404 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :I guess what makes the most sense to me is to serialize it as some sort of list of instructions for constructing the graph. < 1448147088 459682 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :Start with a node, remember this node, dig, dig, dig, dig, dig to the remembered node, dig, remember this node, dig, dig, dig, dig, dig to the remembered node, follow this edge, that edge, blah blah blah. < 1448147105 475051 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :I was actually going somewhere with that and then I decided to give up. < 1448147155 86722 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :Y'know what, screw it, I'm going to come up with a complete list of instructions. < 1448147157 615499 :AnotherTest!~turingcom@94-224-66-163.access.telenet.be QUIT :Quit: ZNC - http://znc.in < 1448147225 701210 :hppavilion[1]!~Devourero@58-0-174-206.gci.net JOIN :#esoteric < 1448147250 960322 :hppavilion[1]!~Devourero@58-0-174-206.gci.net PRIVMSG #esoteric :Ok, for the Arithmetic of the Functia I've defined a way that all real numbers and acceptable substitutes are a subset of functions < 1448147306 697142 :hppavilion[1]!~Devourero@58-0-174-206.gci.net PRIVMSG #esoteric :(Acceptable substitutes include naturals, integers, reals, complexes, surreals, surcomplexes, quaternions, octonions, sedenions, matrices of the aforementioned, etc.) < 1448147361 541550 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :Start with a node, remember this node, dig a blue edge, dig a green edge, dig a red edge, dig a blue edge, dig a green edge to the remembered node, dig a red edge, remember this node, dig green, dig pink, dig blue, dig pink, dig blue to the remembered node, follow the green edge, remember this node, follow green, follow red, follow blue, follow green, dig blue to remembered, follow pink, remember, follow pink, follow blue, follow red, follow blue, dig < 1448147361 684011 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :red to remembered, follow blue, remember, follow blue, pink, blue, green, dig red to remembered, follow pink, remember, follow pink, red, green, red, dig green to remembered. < 1448147368 304669 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Special:Log/delete14]]4 delete10 02 5* 03Oerjan 5* 10deleted "[[02C++10]]": I'll just quote ehird from the previous Deletion log item: "I can't wait for the third time I delete this page" < 1448147461 953913 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Joke language list14]]4 10 02http://esolangs.org/w/index.php?diff=45590&oldid=45589 5* 03Oerjan 5* (-155) 10This page is not a joke, even if its contents are. Er... < 1448147712 860352 :Welo!~hato@546A4E77.cm-12-3b.dynamic.ziggo.nl QUIT :Quit: Leaving < 1448147713 10716 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :tswett: how are the colors not IDs tdnh < 1448147743 330469 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :They don't uniquely identify edges. < 1448147772 833381 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :you might need an unlimited number of colors anyway. < 1448147776 683418 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :Yep. < 1448147780 744434 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :Well, maybe not. < 1448147808 511109 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :What if you're allowed to recolor edges, and also to delete edges and vertices and to join two vertices together along an edge? < 1448147832 706841 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :god this monitor is awful < 1448147983 752818 :Doxin!~Doxin@unaffiliated/doxin QUIT :Remote host closed the connection < 1448148012 937892 :bb010g!uid21050@gateway/web/irccloud.com/x-bpeouiaxpaixkirc QUIT :Quit: Connection closed for inactivity < 1448148584 910342 :hppavilion[1]!~Devourero@58-0-174-206.gci.net PRIVMSG #esoteric :I think I'll roll BOOL into the supertype NUM < 1448148678 369564 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :as long as you make true + true = false = false + false < 1448148711 23746 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :(spoiler: + should be xor) < 1448149791 741865 :hppavilion[1]!~Devourero@58-0-174-206.gci.net PRIVMSG #esoteric :oerjan: ^ is xor, but ⊤+⊥ will probably mean something < 1448149892 857852 :hppavilion[1]!~Devourero@58-0-174-206.gci.net PRIVMSG #esoteric :oerjan: Possibly xor as welll < 1448149894 745655 :hppavilion[1]!~Devourero@58-0-174-206.gci.net PRIVMSG #esoteric :*well < 1448149935 216078 :hppavilion[1]!~Devourero@58-0-174-206.gci.net PRIVMSG #esoteric :And ⊻ ALSO means xor < 1448149998 143939 :hppavilion[1]!~Devourero@58-0-174-206.gci.net PRIVMSG #esoteric :(But it's the logical xor, so it always returns a bool and accepts any boolable argument combination, whereas ^ is bitwise for ints and + will probably mean some other kind of xor) < 1448150026 849897 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :oerjan: hmm, that palisade puzzle is addictive < 1448150096 41560 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :int-e: YOU DON'T SAY < 1448150128 854993 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :18x16 with regions of size 12 still works well < 1448150178 336534 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :10x10 with regions of size 50 is kind of relaxing :) < 1448150198 431876 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :ACTION still on standard 15 x 10 < 1448150208 280331 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :er wait < 1448150214 966542 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :15 x 12, size 10 < 1448150253 998532 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :of course that has to be the only one in the menu where the region size isn't a side length < 1448150311 629989 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :i think it's fun when you pick up little tricks < 1448150340 39304 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :like, if there is a choke point in the walls, you can tell which side it belongs to, by counting < 1448150388 255306 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :(possibly both)