< 1476749323 0 :otherbot!~yaybot@unaffiliated/jeffl35/bot/jeffbot JOIN :#esoteric < 1476750382 0 :augur!~augur@noisebridge130.static.monkeybrains.net JOIN :#esoteric < 1476750512 0 :DHeadshot!~DHeadshot@82.2.190.177 QUIT :Ping timeout: 260 seconds < 1476750558 0 :Zarutian!~zarutian@168-110-22-46.fiber.hringdu.is QUIT :Quit: Zarutian < 1476750802 0 :moony!~luxon@unaffiliated/moonythedwarf JOIN :#esoteric < 1476750858 0 :moonheart08!~luxon@unaffiliated/moonythedwarf QUIT :Ping timeout: 265 seconds < 1476751695 0 :hppavilion[1]!~Doslowdow@93-231-58-66.gci.net PRIVMSG #esoteric :Today's smbc... actually seems like something that one could do < 1476751735 0 :hppavilion[1]!~Doslowdow@93-231-58-66.gci.net PRIVMSG #esoteric :Find someone with the last name Riemann and pay them to make utterly stupid mathematical statements < 1476752095 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :should be a rieot. < 1476752155 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :relcoerjan < 1476752172 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :yochaf < 1476752202 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`? oerjan < 1476752206 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :Your mysterious 4weevil bulgarian quack octoberlord oerjan is a lazy expert in suture computation. Also a Pre-recombination Glaswegian who mildly dislikes Roald Dahl and passion fruit. Lately when he tries to remember a word, "amortized" pops up. His arch-nemesis is Betty Crocker. He sometimes puns without noticing it. < 1476752214 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :still an octoberlord? < 1476752437 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :it is still october, after all < 1476752461 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :`slwd oerjan//s/quack/woof/ < 1476752463 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :wisdom/oerjan//Your mysterious 4weevil bulgarian woof octoberlord oerjan is a lazy expert in suture computation. Also a Pre-recombination Glaswegian who mildly dislikes Roald Dahl and passion fruit. Lately when he tries to remember a word, "amortized" pops up. His arch-nemesis is Betty Crocker. He sometimes puns without noticing it. < 1476752519 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :`slwd oerjan//s/comput/complic/ < 1476752520 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :wisdom/oerjan//Your mysterious 4weevil bulgarian woof octoberlord oerjan is a lazy expert in suture complication. Also a Pre-recombination Glaswegian who mildly dislikes Roald Dahl and passion fruit. Lately when he tries to remember a word, "amortized" pops up. His arch-nemesis is Betty Crocker. He sometimes puns without noticing it. < 1476752538 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :THE WISDOM MUST FLOW < 1476752628 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :i am computic < 1476752670 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :don't you mean computit hth < 1476752682 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :I forgot how time consuming installing new PCs is. < 1476752717 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :ah, right < 1476754079 0 :hppavilion[1]!~Doslowdow@93-231-58-66.gci.net PRIVMSG #esoteric :Oh my god < 1476754088 0 :hppavilion[1]!~Doslowdow@93-231-58-66.gci.net PRIVMSG #esoteric :I just spent over an hour trying to debug a caesar cypher < 1476754139 0 :hppavilion[1]!~Doslowdow@93-231-58-66.gci.net PRIVMSG #esoteric :It turns out I made ord() (which is defined for any alphabet object) return -1 when given the null character accidentally < 1476754608 0 :otherbot!~yaybot@unaffiliated/jeffl35/bot/jeffbot QUIT :Remote host closed the connection < 1476754622 0 :otherbot!~yaybot@unaffiliated/jeffl35/bot/jeffbot JOIN :#esoteric < 1476754639 0 :Cale!~cale@cpe-67-250-60-129.nyc.res.rr.com PRIVMSG #esoteric :int-e: yeah, and then you get it "mostly done" and get to discover all the things you forgot to set up over the next few weeks < 1476755145 0 :hppavilion[1]!~Doslowdow@93-231-58-66.gci.net PRIVMSG #esoteric :And now I also have Atbash < 1476755530 0 :Cale!~cale@cpe-67-250-60-129.nyc.res.rr.com QUIT :Ping timeout: 250 seconds < 1476755884 0 :moony!~luxon@unaffiliated/moonythedwarf QUIT :Ping timeout: 260 seconds < 1476755939 0 :hppavilion[1]!~Doslowdow@93-231-58-66.gci.net PRIVMSG #esoteric :I've set up a program that runs various tests on all of my encryption definitions < 1476756382 0 :hppavilion[1]!~Doslowdow@93-231-58-66.gci.net PRIVMSG #esoteric :And now it can handle cyphers that require multiple keys (e.g. affine) < 1476757302 0 :imode!~imode@unaffiliated/imode JOIN :#esoteric < 1476757935 0 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :Uh oh, what did I just sign myself up for? < 1476757984 0 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :I've decided to write the natural-number division and modulo functions using primitive recusion. < 1476758050 0 :hppavilion[1]!~Doslowdow@93-231-58-66.gci.net QUIT :Ping timeout: 244 seconds < 1476758064 0 :augur!~augur@noisebridge130.static.monkeybrains.net QUIT :Remote host closed the connection < 1476758092 0 :augur!~augur@noisebridge130.static.monkeybrains.net JOIN :#esoteric < 1476758432 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :tswett: that doesn't sound so hard. now try doing it in logspace hth < 1476758858 0 :Akaibu!uid118096@gateway/web/irccloud.com/x-rlpmtdafxuedryqw QUIT :Ping timeout: 250 seconds < 1476758963 0 :Akaibu!uid118096@gateway/web/irccloud.com/x-ifdnkqorxaruyjxq JOIN :#esoteric < 1476759215 0 :iconmaster!~iconmaste@2604:6000:b182:2400:1d14:f1d7:9f4:83d0 JOIN :#esoteric < 1476759247 0 :iconmaster!~iconmaste@2604:6000:b182:2400:1d14:f1d7:9f4:83d0 QUIT :Client Quit < 1476759548 0 :hppavilion[1]!~Doslowdow@93-231-58-66.gci.net JOIN :#esoteric < 1476760473 0 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :Roight. Modulo. < 1476760488 0 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :mod(x,y) should probably be computed by recursion over x. < 1476760496 0 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :Doing it by recursion over y sounds like a bad idea. < 1476760626 0 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :`? all < 1476760627 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :All that glitters is not gold. < 1476760774 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :tswett: have considered computing mod by using div as a subroutine hth < 1476760786 0 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :You can do that? < 1476760820 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :mod(x,y) = x - y*div(x,y) hth < 1476760839 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :*have you < 1476760844 0 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :Ooh. Yeah, gee, that's a good idea. < 1476760848 0 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :Thanks! < 1476760856 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :you're welcome < 1476761028 0 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover QUIT :Read error: Connection reset by peer < 1476761190 0 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :'Course, I went ahead and did the wrong thing. I defined modulo all by itself and now I have to define division. < 1476761382 0 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :Am I going to end up defining a helper function for this? < 1476761397 0 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :This feels like the sort of thing that will need a helper function. < 1476761616 0 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :Here we go. I can just define div_mod all in one shot. < 1476761630 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :that also works. < 1476761718 0 :Cale!~cale@pool-108-29-88-63.nycmny.fios.verizon.net JOIN :#esoteric < 1476762042 0 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :Next up: GCD. < 1476762171 0 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :Man. It's totally obvious how to implement GCD if I'm allowed to recurse back to arbitrary smaller arguments. < 1476762192 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :just count down from the original size hth < 1476762213 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :that'll always be larger, and will be enough to force it to halt. < 1476762257 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :or hm < 1476762284 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :well i think that should work, just requires a bit of a helper function < 1476762299 0 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :Yup, I'll probably do that. < 1476762540 0 :hppavilion[1]!~Doslowdow@93-231-58-66.gci.net PRIVMSG #esoteric :OK, "a div b" must mean something weird < 1476762546 0 :hppavilion[1]!~Doslowdow@93-231-58-66.gci.net PRIVMSG #esoteric :What is it? < 1476762564 0 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :I think it's usually floor(a/b). < 1476762571 0 :hppavilion[1]!~Doslowdow@93-231-58-66.gci.net PRIVMSG #esoteric :Oh. < 1476762588 0 :hppavilion[1]!~Doslowdow@93-231-58-66.gci.net PRIVMSG #esoteric :tswett: In this context?: https://en.wikipedia.org/wiki/Extended_Euclidean_algorithm#Pseudocode < 1476762648 0 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :I think so. < 1476762693 0 :hppavilion[1]!~Doslowdow@93-231-58-66.gci.net PRIVMSG #esoteric :OK < 1476762719 0 :hppavilion[1]!~Doslowdow@93-231-58-66.gci.net PRIVMSG #esoteric :YES! < 1476762724 0 :hppavilion[1]!~Doslowdow@93-231-58-66.gci.net PRIVMSG #esoteric :AFFINE CYPHER WORKS! < 1476762749 0 :hppavilion[1]!~Doslowdow@93-231-58-66.gci.net PRIVMSG #esoteric :(FOR EXACTLY ONE 6-LETTER TEST STRING WITH FIXED KEYS!) < 1476763265 0 :hppavilion[1]!~Doslowdow@93-231-58-66.gci.net PRIVMSG #esoteric :(s/EXACTLY/AT LEAST/ !) < 1476763285 0 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :Man, my code looks weird. < 1476763311 0 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :inductive of t append(_, y : List(t)) over List(t) { empty := y; cons(h, t) := cons(h, base); } < 1476763328 0 :hppavilion[1]!~Doslowdow@93-231-58-66.gci.net PRIVMSG #esoteric :tswett: I have code with the segment <> used multiple times < 1476763349 0 :hppavilion[1]!~Doslowdow@93-231-58-66.gci.net PRIVMSG #esoteric :I wrote it 20 minutes ago and I don't remember what it does < 1476763384 0 :hppavilion[1]!~Doslowdow@93-231-58-66.gci.net TOPIC #esoteric :There is currently an esolang contest: http://calesyta.xyz/en/ | Warning: This channel may contain large-scale traces of ionizing radiation | The international hub of esoteric pizza discussion and development | http://esolangs.org/ | logs: http://codu.org/logs/_esoteric/ http://tunes.org/~nef/logs/esoteric/?C=M;O=D | https://dl.dropboxusercontent.com/u/2023808/wisdom.pdf < 1476763409 0 :hppavilion[1]!~Doslowdow@93-231-58-66.gci.net PRIVMSG #esoteric :`? #esoteric < 1476763410 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :​#esoteric is the only channel that exists. After monqy left it became slightly off-centër. It's a 7-codimensional hyperenchilada about 30 m (100 ft) across. oerjan seems to be making a lawn in the northern part, but it keeps getting dug up by free ranging moons. May contain crude drawings of nuts. < 1476763997 0 :hppavilion[1]!~Doslowdow@93-231-58-66.gci.net PRIVMSG #esoteric :I forget, did the actual reactors at Fukushima explode, or was it only the systems sustaining them? < 1476764057 0 :hppavilion[1]!~Doslowdow@93-231-58-66.gci.net PRIVMSG #esoteric :I seem to remember hearing that they actually exploded in the sense that the television screen would have been turned entirely white due to the light < 1476764167 0 :hppavilion[1]!~Doslowdow@93-231-58-66.gci.net PRIVMSG #esoteric :It was definitely on the same day as the earthquake (in retrospect, I live in Alaska and probably would have felt it)... maybe they were referring to Chernobyl as an analogy for how bad it could get? < 1476764302 0 :pikhq!~pikhq@174-24-10-247.clsp.qwest.net PRIVMSG #esoteric :
ACTION blinks
< 1476764305 0 :pikhq!~pikhq@174-24-10-247.clsp.qwest.net PRIVMSG #esoteric :You live in AK? < 1476764315 0 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :In retrospect, hppavilion[1] lives in Alaska. < 1476764317 0 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :
ACTION coughs.
< 1476764325 0 :hppavilion[1]!~Doslowdow@93-231-58-66.gci.net PRIVMSG #esoteric :pikhq: ...yes. < 1476764331 0 :pikhq!~pikhq@174-24-10-247.clsp.qwest.net PRIVMSG #esoteric :Huh. < 1476764332 0 :hppavilion[1]!~Doslowdow@93-231-58-66.gci.net PRIVMSG #esoteric :pikhq: Were you not aware? < 1476764334 0 :pikhq!~pikhq@174-24-10-247.clsp.qwest.net PRIVMSG #esoteric :No. < 1476764342 0 :hppavilion[1]!~Doslowdow@93-231-58-66.gci.net PRIVMSG #esoteric :I'm pretty sure boily has my actual address. Somehow. < 1476764350 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :And body weigh, no doubt. < 1476764353 0 :hppavilion[1]!~Doslowdow@93-231-58-66.gci.net PRIVMSG #esoteric :And also, I @metar PAMR < 1476764356 0 :hppavilion[1]!~Doslowdow@93-231-58-66.gci.net PRIVMSG #esoteric :@metar PAMR < 1476764356 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :PAMR 180253Z AUTO 01004KT 10SM OVC075 04/M09 A2909 RMK AO2 SLP852 T00391089 53013 TSNO < 1476764364 0 :hppavilion[1]!~Doslowdow@93-231-58-66.gci.net PRIVMSG #esoteric :Which is an airport that's under a mile from my house < 1476764377 0 :hppavilion[1]!~Doslowdow@93-231-58-66.gci.net PRIVMSG #esoteric :Hm, still no negative temperatures < 1476764413 0 :pikhq!~pikhq@174-24-10-247.clsp.qwest.net PRIVMSG #esoteric :I don't read metar < 1476764427 0 :hppavilion[1]!~Doslowdow@93-231-58-66.gci.net PRIVMSG #esoteric :shachaf: If I were to enter cardiac arrest, boily would probably call an ambulance before the people around me. < 1476764444 0 :hppavilion[1]!~Doslowdow@93-231-58-66.gci.net PRIVMSG #esoteric :pikhq: I do, but only to feel smug at people who don't < 1476764451 0 :hppavilion[1]!~Doslowdow@93-231-58-66.gci.net PRIVMSG #esoteric :(Overcast, huh) < 1476764460 0 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :Man, recursion over just one argument is a tough way to get stuff done. < 1476764475 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :@quote Jafet argument < 1476764475 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :Jafet says: unsafeCoerce takes any argument. AND IT WINS THAT ARGUMENT. < 1476764485 0 :pikhq!~pikhq@174-24-10-247.clsp.qwest.net PRIVMSG #esoteric :@metar KCOS < 1476764485 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :KCOS 180254Z 03007KT 10SM CLR 09/M03 A2992 RMK AO2 SLP068 T00891033 51046 < 1476764487 0 :hppavilion[1]!~Doslowdow@93-231-58-66.gci.net PRIVMSG #esoteric :tswett: I prefer infinite recursion over infinitely many arguments < 1476764494 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oerjan: have you considered nopinging `quote wth < 1476764548 0 :hppavilion[1]!~Doslowdow@93-231-58-66.gci.net PRIVMSG #esoteric :Hm, there should be a /me's command < 1476764584 0 :hppavilion[1]!~Doslowdow@93-231-58-66.gci.net PRIVMSG #esoteric :(well, /my) < 1476764662 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :shachaf: very briefly. < 1476764702 0 :hppavilion[1]!~Doslowdow@93-231-58-66.gci.net PRIVMSG #esoteric :This election has hit forecasters hard; all they can really do is discuss HOW bad Trump is doing < 1476764734 0 :pikhq!~pikhq@174-24-10-247.clsp.qwest.net PRIVMSG #esoteric :No kidding. < 1476764800 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :copumpkin: are you going to vote early or wait until nov 8 < 1476764866 0 :hppavilion[1]!~Doslowdow@93-231-58-66.gci.net PRIVMSG #esoteric :shachaf: itym nov 28 < 1476764876 0 :pikhq!~pikhq@174-24-10-247.clsp.qwest.net PRIVMSG #esoteric :That's only the date for Trump votes. < 1476764883 0 :hppavilion[1]!~Doslowdow@93-231-58-66.gci.net PRIVMSG #esoteric :(Trump accidentally said that election day is nov 28) < 1476765035 0 :hppavilion[1]!~Doslowdow@93-231-58-66.gci.net PRIVMSG #esoteric :Utah's democrat senatorial candidate (0.3% chance) is apparently named "Misty Snow" < 1476765051 0 :hppavilion[1]!~Doslowdow@93-231-58-66.gci.net PRIVMSG #esoteric :Which I can't tell whether it's a videogame name or a pornstar name < 1476765251 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :What happens when you represent computable reals in balanced ternary? < 1476765468 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :is this a pun < 1476765476 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :No. < 1476765494 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :But does balanced ternary avoid the 0.111... = 1.000... problem? < 1476765565 0 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :Not really. < 1476765580 0 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :The number 1 only has one representation, but consider, lemme see. < 1476765609 0 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :Like, 0.111... versus 1.(-1)(-1)(-1)... < 1476765619 0 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :I'm pretty sure those are both the same number. < 1476765622 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :avoiding that would prove an interval homeomorphic to a cantor set tinp < 1476765629 0 :`^_^v!~nycs@36.81.161.141 JOIN :#esoteric < 1476765661 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oerjan: Well, I'm sure it causes some other problem, I'm not proposing that the reals are secretly disconnected and no one noticed. < 1476765671 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Which is why I'm asking what happens. < 1476765706 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :well i'm saying that automatically implies you _must_ have a collision < 1476765709 0 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :I think the answer is, you still end up with the 0.111... = 1.000... problem, just with different numbers. < 1476765727 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I'm not saying there isn't a collision. < 1476765731 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :or else, discontinuity, which you don't seem to have here. < 1476765740 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :But doesn't balanced ternary have this property that truncation is the same operation as rounding? < 1476765758 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :shachaf: what's the 0.111... = 1.000... problem other than a collision < 1476765844 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I guess you end up with tswett's collision. < 1476765856 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Both equal to 1/2 < 1476765959 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :trausiple < 1476765962 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :*b < 1476765982 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :
ACTION chases muphry across the channel with the swatter -----###
< 1476766005 0 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :Which letter is b supposed to be correcting? < 1476766012 0 :hppavilion[1]!~Doslowdow@93-231-58-66.gci.net PRIVMSG #esoteric :Hm, the problem with using Cladistics for taxonomy is that, over evolutionary time, you have to keep adding new levels < 1476766034 0 :Cale!~cale@pool-108-29-88-63.nycmny.fios.verizon.net QUIT :Quit: Leaving < 1476766043 0 :hppavilion[1]!~Doslowdow@93-231-58-66.gci.net PRIVMSG #esoteric :So what's a species today could be future peoples' relative equivalent of a class < 1476766084 0 :pikhq!~pikhq@174-24-10-247.clsp.qwest.net PRIVMSG #esoteric :Part of the thing with cladistic taxonomy is, you don't rank the groupings at all. < 1476766105 0 :pikhq!~pikhq@174-24-10-247.clsp.qwest.net PRIVMSG #esoteric :i.e. the kingdom domain etc. thing is bogus. < 1476766120 0 :pikhq!~pikhq@174-24-10-247.clsp.qwest.net PRIVMSG #esoteric :There's just life, which includes the bacteria and the archaea. < 1476766136 0 :pikhq!~pikhq@174-24-10-247.clsp.qwest.net PRIVMSG #esoteric :(the eukaryotes appear to be members of the archaean clade) < 1476766167 0 :hppavilion[1]!~Doslowdow@93-231-58-66.gci.net PRIVMSG #esoteric :Ah < 1476766190 0 :hppavilion[1]!~Doslowdow@93-231-58-66.gci.net PRIVMSG #esoteric :Right < 1476766550 0 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :Whelp, I'm tired of writing primitive-recursive functions. < 1476766604 0 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :I wanna do something more interesting, like proving that the natural numbers form a monoid. < 1476766904 0 :pikhq!~pikhq@174-24-10-247.clsp.qwest.net PRIVMSG #esoteric :Oh, c'mon. I can't even play the new Pokémon demo yet and there's already leaks from data mining happening? < 1476767108 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :tswett: p hth < 1476767128 0 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :The collection of all decision problems solvable in polynomial time? < 1476767207 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :no, the corrected letter hth < 1476767246 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :the ptime numbers < 1476767269 0 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :Ah. < 1476767855 0 :hppavilion[1]!~Doslowdow@93-231-58-66.gci.net PRIVMSG #esoteric :Henceforth, people who insist we COMPLETELY replace pi with tau (rather than just having them both on hand for convenience) shall be known as "taurrorists" < 1476767966 0 :hppavilion[1]!~Doslowdow@93-231-58-66.gci.net PRIVMSG #esoteric :Just because it's a nice pun < 1476768854 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :I'm nearly finished conquering all eurasia as the USSR < 1476768886 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :The iron curtain is now at the borders of france, belgium, and the netherlands < 1476768910 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :britain is slowly becoming communist < 1476769055 0 :hppavilion[1]!~Doslowdow@93-231-58-66.gci.net QUIT :Ping timeout: 244 seconds < 1476769149 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :\oren\: soon you will have it all except for a small, annoying village in bretagne that somehow defeats all your plans hth < 1476769198 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :(yep, that includes your nukes) < 1476769265 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :How do you draw a 0xn or nx0 matrix? < 1476769274 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :shachaf: ----------- < 1476769293 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Hard to tell the dimensionality that way. < 1476769303 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :yep < 1476769410 0 :izalove!~izabera@unaffiliated/izabera PRIVMSG #esoteric :\ < 1476769412 0 :izalove!~izabera@unaffiliated/izabera PRIVMSG #esoteric : \ < 1476769414 0 :izalove!~izabera@unaffiliated/izabera PRIVMSG #esoteric : \ < 1476769416 0 :izalove!~izabera@unaffiliated/izabera PRIVMSG #esoteric : \ < 1476769418 0 :izalove!~izabera@unaffiliated/izabera PRIVMSG #esoteric : \ < 1476769420 0 :izalove!~izabera@unaffiliated/izabera PRIVMSG #esoteric : \ < 1476769422 0 :izalove!~izabera@unaffiliated/izabera PRIVMSG #esoteric : \ < 1476769428 0 :atehwa!atehwa@aulis.sange.fi QUIT :Ping timeout: 245 seconds < 1476769435 0 :atehwa!atehwa@aulis.sange.fi JOIN :#esoteric < 1476769442 0 :izalove!~izabera@unaffiliated/izabera PRIVMSG #esoteric :shachaf: ^ < 1476769454 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :i think your basis is off hth < 1476769497 0 :izalove!~izabera@unaffiliated/izabera PRIVMSG #esoteric : / < 1476769499 0 :izalove!~izabera@unaffiliated/izabera PRIVMSG #esoteric : / < 1476769501 0 :izalove!~izabera@unaffiliated/izabera PRIVMSG #esoteric : / < 1476769503 0 :izalove!~izabera@unaffiliated/izabera PRIVMSG #esoteric : / < 1476769505 0 :izalove!~izabera@unaffiliated/izabera PRIVMSG #esoteric : / < 1476769507 0 :izalove!~izabera@unaffiliated/izabera PRIVMSG #esoteric : / < 1476769509 0 :izalove!~izabera@unaffiliated/izabera PRIVMSG #esoteric : / < 1476769511 0 :izalove!~izabera@unaffiliated/izabera PRIVMSG #esoteric : / < 1476769513 0 :izalove!~izabera@unaffiliated/izabera PRIVMSG #esoteric : / < 1476769515 0 :izalove!~izabera@unaffiliated/izabera PRIVMSG #esoteric :// < 1476769519 0 :izalove!~izabera@unaffiliated/izabera PRIVMSG #esoteric :did i fix the basis? < 1476769524 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oerjan: a baseless accusation hth < 1476769610 0 :hppavilion[1]!~Doslowdow@93-231-58-66.gci.net JOIN :#esoteric < 1476769665 0 :digin4!~digin4@unaffiliated/digin4 JOIN :#esoteric < 1476769763 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :shachaf: are you saying i'm thinking too linearly? < 1476769796 0 :otherbot!~yaybot@unaffiliated/jeffl35/bot/jeffbot QUIT :Remote host closed the connection < 1476770365 0 :digin4!~digin4@unaffiliated/digin4 QUIT :Quit: Leaving < 1476771232 0 :ais523!~ais523@unaffiliated/ais523 JOIN :#esoteric < 1476771537 0 :hppavilion[1]!~Doslowdow@93-231-58-66.gci.net PRIVMSG #esoteric :Fun little encrypter I made: seqxor (sequential xor) < 1476771544 0 :hppavilion[1]!~Doslowdow@93-231-58-66.gci.net PRIVMSG #esoteric :Almost certainly been done before, but I like it < 1476771554 0 :hppavilion[1]!~Doslowdow@93-231-58-66.gci.net PRIVMSG #esoteric :Turns "walrus" to (hex) 77 16 0D 1E 07 06 < 1476771697 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :oh, is it just xoring each byte of plaintext with the previous byte of ciphertext? < 1476771706 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :that seems fairly easy to cryptanalyse… < 1476771721 0 :hppavilion[1]!~Doslowdow@93-231-58-66.gci.net PRIVMSG #esoteric :ais523: No, it xors each byte in the plaintext with the previous byte in the plaintext < 1476771733 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :oh < 1476771738 0 :hppavilion[1]!~Doslowdow@93-231-58-66.gci.net PRIVMSG #esoteric :ais523: Obviously, it isn't good on its own because it violates Kerckhoffs's Assumption < 1476771740 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :that's even easier to cryptanalyse :-P < 1476771785 0 :hppavilion[1]!~Doslowdow@93-231-58-66.gci.net PRIVMSG #esoteric :(Unless, of course, you're using it against someone REALLY bad at crypto- pretty much exclusively if it's written on physical paper and passed to someone else) < 1476771787 0 :hppavilion[1]!~Doslowdow@93-231-58-66.gci.net PRIVMSG #esoteric :ais523: Yes :P < 1476771812 0 :hppavilion[1]!~Doslowdow@93-231-58-66.gci.net PRIVMSG #esoteric :But it'd probably make a good component of a larger system < 1476771821 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :not really < 1476771823 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :as there's no way to key it < 1476771832 0 :hppavilion[1]!~Doslowdow@93-231-58-66.gci.net PRIVMSG #esoteric :ais523: Yeah, exactly. No key < 1476771840 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :modern ciphers are basically just random number generators < 1476771849 0 :hppavilion[1]!~Doslowdow@93-231-58-66.gci.net PRIVMSG #esoteric :Yes < 1476771867 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :which you either seed with the message + key (block ciphers), or else seed with the key and xor with the message (stream ciphers) < 1476771868 0 :hppavilion[1]!~Doslowdow@93-231-58-66.gci.net PRIVMSG #esoteric :(If you want a key, you start with the key as a character and exclude it from the output) < 1476771883 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :hppavilion[1]: if keying only affects the first character it's not very useful < 1476771896 0 :hppavilion[1]!~Doslowdow@93-231-58-66.gci.net PRIVMSG #esoteric :ais523: Good point < 1476771908 0 :hppavilion[1]!~Doslowdow@93-231-58-66.gci.net PRIVMSG #esoteric :(Xoring cyphertext almost certainly works better) < 1476772029 0 :pikhq!~pikhq@174-24-10-247.clsp.qwest.net PRIVMSG #esoteric :*facepalm* Oh, GameFreak, how do you screw up like that? < 1476772070 0 :pikhq!~pikhq@174-24-10-247.clsp.qwest.net PRIVMSG #esoteric :Apparently, in the SUMO demo, they managed to scrub out data for everything... but the freaking models for shiny Pokémon. < 1476772214 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no QUIT :Quit: Nite < 1476772291 0 :hppavilion[1]!~Doslowdow@93-231-58-66.gci.net PRIVMSG #esoteric :ais523: There, now I have one that uses the previous CYPHERtext character each time, and can be keyed (...by a single byte) < 1476772318 0 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :pikhq: what's sumo? < 1476772333 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :Pokémon Sun/Moon? < 1476772345 0 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :ah < 1476772378 0 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :i don't really follow that in lack of console < 1476772392 0 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :the latest handheld i own is a ds phat < 1476772557 0 :pikhq!~pikhq@174-24-10-247.clsp.qwest.net PRIVMSG #esoteric :*If* you want to, the 2DS is fairly cheap these days. < 1476772572 0 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :i know, i thought about it < 1476772626 0 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :also, sky3ds looks promising < 1476774387 0 :hppavilion[1]!~Doslowdow@93-231-58-66.gci.net QUIT :Ping timeout: 244 seconds < 1476776722 0 :hppavilion[1]!~Doslowdow@93-231-58-66.gci.net JOIN :#esoteric < 1476776755 0 :hppavilion[1]!~Doslowdow@93-231-58-66.gci.net PRIVMSG #esoteric :Can OEIS extend indefinitely? < 1476776771 0 :hppavilion[1]!~Doslowdow@93-231-58-66.gci.net PRIVMSG #esoteric :(as in, sequences of the OEIS- can they be lazy-evaluated?) < 1476776836 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :OEIS often gives a formula, if there is one < 1476777174 0 :Frooxius!~Frooxius@194.108.5.201 JOIN :#esoteric < 1476777446 0 :MoALTz!~no@78-10-223-145.static.ip.netia.com.pl QUIT :Quit: Leaving < 1476778020 0 :imode!~imode@unaffiliated/imode QUIT :Ping timeout: 250 seconds < 1476778208 0 :augur!~augur@noisebridge130.static.monkeybrains.net QUIT :Ping timeout: 256 seconds < 1476778334 0 :augur!~augur@noisebridge130.static.monkeybrains.net JOIN :#esoteric < 1476778499 0 :augur!~augur@noisebridge130.static.monkeybrains.net QUIT :Remote host closed the connection < 1476778598 0 :hppavilion[1]!~Doslowdow@93-231-58-66.gci.net QUIT :Quit: Leaving < 1476778697 0 :copumpkin!~copumpkin@haskell/developer/copumpkin QUIT :Ping timeout: 250 seconds < 1476778880 0 :copumpkin!~copumpkin@haskell/developer/copumpkin JOIN :#esoteric < 1476779272 0 :ais523!~ais523@unaffiliated/ais523 QUIT : < 1476780581 0 :augur!~augur@2601:645:8100:c347:5420:3bd3:c7e1:4de9 JOIN :#esoteric < 1476781536 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :hpp: no, OEIS only contains static data. many entries contain code to compute the series, but OEIS itself doesn't run those. < 1476781552 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :hpp: http://oeis.org/eishelp2.html tells about the format < 1476781748 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :hppavilion[1]: in particular, OEIS is only allowed to have as many lines as fit in three lines of the screen. < 1476781840 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :At least 4 terms are required, and there's an "easy" keyword to mean that terms of the sequence are easy to compute. < 1476783661 0 :fungot!~fungot@momus.zem.fi JOIN :#esoteric < 1476784065 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :hi, fungot. < 1476784066 0 :fungot!~fungot@momus.zem.fi PRIVMSG #esoteric :b_jonas: headlines tell: the majority of the implementors who currently implement a dase must agree to withdraw it... maxium recursion fnord") < 1476790401 0 :boily!~alexandre@cable-192.222.245.222.electronicbox.net JOIN :#esoteric < 1476790830 0 :AnotherTest!~turingcom@ptr-2hj4tbos9tbg71awegh5304ob.ip6.access.telenet.be JOIN :#esoteric < 1476791121 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Headache14]]4 10 02https://esolangs.org/w/index.php?diff=50017&oldid=46810 5* 03YSomebody 5* (+7) 10 < 1476791129 0 :boily!~alexandre@cable-192.222.245.222.electronicbox.net PRIVMSG #esoteric :`wisdom < 1476791132 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :footnote 8//Isn't it fun reading through all the footnotes⁺? < 1476792541 0 :moony!~luxon@unaffiliated/moonythedwarf JOIN :#esoteric < 1476793120 0 :boily!~alexandre@cable-192.222.245.222.electronicbox.net QUIT :Quit: WEDDING CHICKEN < 1476793238 0 :`^_^v!~nycs@36.81.161.141 QUIT :Quit: This computer has gone to sleep < 1476793684 0 :moony!~luxon@unaffiliated/moonythedwarf QUIT :Ping timeout: 260 seconds < 1476796147 0 :`^_^v!~nycs@36.81.161.141 JOIN :#esoteric < 1476797791 0 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover JOIN :#esoteric < 1476802148 0 :AnotherTest!~turingcom@ptr-2hj4tbos9tbg71awegh5304ob.ip6.access.telenet.be QUIT :Ping timeout: 250 seconds < 1476802284 0 :Cale!~cale@cpe-67-250-60-129.nyc.res.rr.com JOIN :#esoteric < 1476802320 0 :copumpkin!~copumpkin@haskell/developer/copumpkin PRIVMSG #esoteric :shachaf: not sure :) < 1476802795 0 :ais523!~ais523@unaffiliated/ais523 JOIN :#esoteric < 1476803186 0 :AnotherTest!~turingcom@193.190.253.145 JOIN :#esoteric < 1476805454 0 :MoALTz!~no@78-10-223-145.static.ip.netia.com.pl JOIN :#esoteric < 1476806025 0 :HackEgo!~HackEgo@162.248.166.242 QUIT :Remote host closed the connection < 1476806036 0 :HackEgo!~HackEgo@162.248.166.242 JOIN :#esoteric < 1476806118 0 :lynn!sid154965@gateway/web/irccloud.com/x-itkljhartfvhctoi QUIT :Ping timeout: 258 seconds < 1476806633 0 :lynn__!sid154965@gateway/web/irccloud.com/x-ieiwvoaogohhbjer JOIN :#esoteric < 1476807955 0 :otherbot!~yaybot@unaffiliated/jeffl35/bot/jeffbot JOIN :#esoteric < 1476808528 0 :AnotherTest!~turingcom@193.190.253.145 QUIT :Ping timeout: 250 seconds < 1476809458 0 :AnotherTest!~turingcom@ptr-2hj4tbos9tbg71awegh5304ob.ip6.access.telenet.be JOIN :#esoteric < 1476809938 0 :lynn__!?@? NICK :lynn < 1476809958 0 :lynn!sid154965@gateway/web/irccloud.com/x-ieiwvoaogohhbjer QUIT :Changing host < 1476809958 0 :lynn!sid154965@unaffiliated/lynn JOIN :#esoteric < 1476809958 0 :lynn!sid154965@unaffiliated/lynn QUIT :Changing host < 1476809958 0 :lynn!sid154965@gateway/web/irccloud.com/x-ieiwvoaogohhbjer JOIN :#esoteric < 1476811217 0 :DHeadshot!~DHeadshot@82.2.190.177 JOIN :#esoteric < 1476813176 0 :DHeadshot!~DHeadshot@82.2.190.177 QUIT :Ping timeout: 260 seconds < 1476813293 0 :DHeadshot!~DHeadshot@cpc88301-woki8-2-0-cust688.6-2.cable.virginm.net JOIN :#esoteric < 1476813760 0 :alercah!raedford@unaffiliated/alercah PRIVMSG #esoteric :the worst coin flip in history is surely the sign of charge < 1476813817 0 :imode!~imode@unaffiliated/imode JOIN :#esoteric < 1476813884 0 :LKoen!~LKoen@vbo91-1-82-238-218-67.fbx.proxad.net JOIN :#esoteric < 1476814092 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :i,i "the sign of charge", more commonly known as "alternating current" < 1476814094 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :er < 1476814098 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :i,i "the sine of charge", more commonly known as "alternating current" < 1476814103 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :what a mess < 1476814160 0 :DHeadshot!~DHeadshot@cpc88301-woki8-2-0-cust688.6-2.cable.virginm.net QUIT :Ping timeout: 244 seconds < 1476814369 0 :DHeadshot!~DHeadshot@cpc88301-woki8-2-0-cust688.6-2.cable.virginm.net JOIN :#esoteric < 1476815601 0 :nisstyre!~yourstrul@oftn/oswg-member/Nisstyre QUIT :*.net *.split < 1476815601 0 :dingbat!uid70835@gateway/web/irccloud.com/x-wmeeeuqlimnozxzi QUIT :*.net *.split < 1476815601 0 :prooftechnique_!~prooftech@185.14.184.86 QUIT :*.net *.split < 1476815602 0 :Lord_of_-!Elite12246@gateway/shell/elitebnc/x-chlvwcdwvtnkpiog QUIT :*.net *.split < 1476815602 0 :jeffl35!jeffl@unaffiliated/jeffl35 QUIT :*.net *.split < 1476815605 0 :lambdabot!~lambdabot@haskell/bot/lambdabot QUIT :*.net *.split < 1476815605 0 :ski!~ski@remote11.chalmers.se QUIT :*.net *.split < 1476815605 0 :clog!~nef@bespin.org QUIT :*.net *.split < 1476815605 0 :Guest66666!~kragniz@nyaa.kragniz.eu QUIT :*.net *.split < 1476815605 0 :Taneb!~Taneb@runciman.hacksoc.org QUIT :*.net *.split < 1476815605 0 :kline!~kline@freenode/staff/enucs.kline QUIT :*.net *.split < 1476815605 0 :Jafet!~jafet@unaffiliated/jafet QUIT :*.net *.split < 1476815605 0 :BooK!~book@klonk.bruhat-souche.net QUIT :*.net *.split < 1476815605 0 :pdxleif!~pdxleif@ec2-54-68-166-10.us-west-2.compute.amazonaws.com QUIT :*.net *.split < 1476815605 0 :feliks!uQILaLoTzs@unaffiliated/feliks QUIT :*.net *.split < 1476815605 0 :zemhill!bfjoust@selene.zem.fi QUIT :*.net *.split < 1476815607 0 :clog_!~nef@bespin.org JOIN :#esoteric < 1476815611 0 :atriq!~Taneb@runciman.hacksoc.org JOIN :#esoteric < 1476815611 0 :zemhill_!bfjoust@selene.zem.fi JOIN :#esoteric < 1476815612 0 :ski_!~ski@remote11.chalmers.se JOIN :#esoteric < 1476815616 0 :Guest66666!~kragniz@nyaa.kragniz.eu JOIN :#esoteric < 1476815638 0 :BooK!~book@94.23.198.203 JOIN :#esoteric < 1476815642 0 :Jafet!~jafet@27-32-11-131.static.tpgi.com.au JOIN :#esoteric < 1476815642 0 :feliks!EXFjEOf7Ab@2a00:d0c0:200:0:b9:1a:9c17:380 JOIN :#esoteric < 1476815659 0 :kline!~kline@freenode/staff/enucs.kline JOIN :#esoteric < 1476815677 0 :prooftechnique!~prooftech@185.14.184.86 JOIN :#esoteric < 1476815703 0 :pdxleif!~pdxleif@ec2-54-68-166-10.us-west-2.compute.amazonaws.com JOIN :#esoteric < 1476815742 0 :Lord_of_Life!Elite12246@gateway/shell/elitebnc/x-ngaexaaqenvxahqe JOIN :#esoteric < 1476815773 0 :ocharles_!sid30093@gateway/web/irccloud.com/x-chcbqtvhwrqsjwqj QUIT :Ping timeout: 250 seconds < 1476815863 0 :jeffl35!jeffl@unaffiliated/jeffl35 JOIN :#esoteric < 1476815876 0 :lambdabot!~lambdabot@haskell/bot/lambdabot JOIN :#esoteric < 1476816011 0 :dingbat!uid70835@gateway/web/irccloud.com/x-ryaxdvcnlqrwovty JOIN :#esoteric < 1476816260 0 :ocharles_!sid30093@gateway/web/irccloud.com/x-xuidpakrzqxayxzf JOIN :#esoteric < 1476816613 0 :Zarutian!~zarutian@168-110-22-46.fiber.hringdu.is JOIN :#esoteric < 1476817778 0 :`^_^v!~nycs@36.81.161.141 QUIT :Quit: This computer has gone to sleep < 1476817943 0 :Zarutian!~zarutian@168-110-22-46.fiber.hringdu.is PRIVMSG #esoteric :hmm.. does a Forth machine without any other branch instruction than EXIT (or return) fall under esoteric programming? (it also does not have add or subtract instructions in its set) < 1476817952 0 :DHeadshot_!~DHeadshot@cpc88301-woki8-2-0-cust688.6-2.cable.virginm.net JOIN :#esoteric < 1476817964 0 :ais523!~ais523@unaffiliated/ais523 QUIT : < 1476817973 0 :ais523!~ais523@unaffiliated/ais523 JOIN :#esoteric < 1476817985 0 :DHeadshot!~DHeadshot@cpc88301-woki8-2-0-cust688.6-2.cable.virginm.net QUIT :Ping timeout: 252 seconds < 1476817993 0 :ais523!~ais523@unaffiliated/ais523 QUIT :Read error: Connection reset by peer < 1476818021 0 :ais523!~ais523@213.205.252.198 JOIN :#esoteric < 1476818026 0 :ais523!~ais523@213.205.252.198 QUIT :Changing host < 1476818026 0 :ais523!~ais523@unaffiliated/ais523 JOIN :#esoteric < 1476818250 0 :ratpuke!~AndChat63@69-10-210-57.rainierconnect.com JOIN :#esoteric < 1476818292 0 :ratpuke!~AndChat63@69-10-210-57.rainierconnect.com PRIVMSG #esoteric :Been a long thyme since I came 'ere < 1476818537 0 :ratpuke!?@? NICK :Abaddon < 1476818548 0 :Abaddon!~AndChat63@69-10-210-57.rainierconnect.com PART #esoteric :"Leaving" < 1476819064 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :huh, and they left before I noticed they were here < 1476819475 0 :APic!apic@apic.name PRIVMSG #esoteric :=] < 1476819479 0 :APic!apic@apic.name PRIVMSG #esoteric :Happens < 1476819792 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`wisdom < 1476819793 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`wisdom < 1476819793 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`wisdom < 1476819794 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`wisdom < 1476819794 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`wisdom < 1476819801 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :tdt//That doesn't tdt. < 1476819801 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :monoidal category//Monoidal categories are just 2-categories with a single object. < 1476819801 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :poland//Połąńd is a European country. Its population consists of two main ethnicities, the North Połes and the South Połes. < 1476819801 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :rust//Rust is C++ as designed by the makers of Haskell. < 1476819801 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :monad//Monads are just monoids in the category of endofunctors. < 1476819824 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Those are strong monoidal categories in particular, right? < 1476819835 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I imagine people usually talk about weak monoidal categories more often. < 1476819842 0 :hppavilion[1]!~Doslowdow@74-114-87-86.dynamic.asdk12.org JOIN :#esoteric < 1476819847 0 :hppavilion[1]!~Doslowdow@74-114-87-86.dynamic.asdk12.org PRIVMSG #esoteric :@metar PAMR < 1476819849 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :PAMR 181753Z 00000KT 10SM OVC110 01/M05 A2953 RMK AO2 SLP002 T00061050 10011 21033 53015 < 1476821011 0 :hppavilion[1]!~Doslowdow@74-114-87-86.dynamic.asdk12.org QUIT :Ping timeout: 244 seconds < 1476821140 0 :izalove!~izabera@unaffiliated/izabera PRIVMSG #esoteric :i wrote a sorta library thingy for small string optimization in c < 1476821143 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Hello world program in esoteric languages14]]4 10 02https://esolangs.org/w/index.php?diff=50018&oldid=50011 5* 03B jonas 5* (+179) 10+Homespring < 1476821144 0 :izalove!~izabera@unaffiliated/izabera PRIVMSG #esoteric :https://github.com/izabera/s < 1476821159 0 :izalove!~izabera@unaffiliated/izabera PRIVMSG #esoteric :can someone check it out and see if i made some huge blunder? < 1476821358 0 :LKoen!~LKoen@vbo91-1-82-238-218-67.fbx.proxad.net QUIT :Quit: “It’s only logical. First you learn to talk, then you learn to think. Too bad it’s not the other way round.” < 1476821554 0 :fizzie!?@? PRIVMSG #esoteric :I'm constitutionally unable to check non-portable code. < 1476821621 0 :hppavilion[1]!~Doslowdow@74-114-87-86.dynamic.asdk12.org JOIN :#esoteric < 1476821751 0 :izalove!~izabera@unaffiliated/izabera PRIVMSG #esoteric :it's portable to most 64 bit little endian archs if you compile with gcc or clang < 1476821874 0 :izalove!~izabera@unaffiliated/izabera PRIVMSG #esoteric :actually the endian isn't even necessary < 1476822012 0 :izalove!~izabera@unaffiliated/izabera PRIVMSG #esoteric :it just needs size_t to be at least 54 bits long and pointers to be at most 8 bytes long < 1476822033 0 :izalove!~izabera@unaffiliated/izabera PRIVMSG #esoteric :and a compiler that supports a few __builtin_* instructions < 1476822177 0 :fizzie!?@? PRIVMSG #esoteric :That's not really the full list of assumptions it makes. < 1476822200 0 :fizzie!?@? PRIVMSG #esoteric :It also assumes a particular way of packing bitfields, and support for #pragma once. < 1476822360 0 :bibibi!~bibibi@unaffiliated/bibibi QUIT :Ping timeout: 250 seconds < 1476822610 0 :izalove!~izabera@unaffiliated/izabera QUIT :Remote host closed the connection < 1476822623 0 :izabera!~izabera@unaffiliated/izabera JOIN :#esoteric < 1476822769 0 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :i was actually assuming that pragma once was standard < 1476822929 0 :bibibi!~bibibi@unaffiliated/bibibi JOIN :#esoteric < 1476822931 0 :fizzie!?@? PRIVMSG #esoteric :There's a total of three standard #pragma directives, they're all of the form "#pragma STDC on-off-switch" and they're about boring floating point stuff. < 1476822943 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :the whole purpose of pragma is for nonstandard things < 1476822963 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :but gcc decided to use __attribute__ instead because they didn't like the way pragma worked syntactically and were worried about clashing with other compilers < 1476822970 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :then C99 added _Pragma to fix the syntax issues < 1476823052 0 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :can you focus on the rest? <.< < 1476823218 0 :fizzie!?@? PRIVMSG #esoteric :Okay -- using size_t as the type of a bit-field relies on an implementation-defined extension. :) < 1476823238 0 :fizzie!?@? PRIVMSG #esoteric :(I'd be pointing out "real problems" (FSVO) if I had found one.) < 1476823257 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :fizzie: is that true even if size_t is an alias for an unsigned int variety < 1476823340 0 :MoALTz!~no@78-10-223-145.static.ip.netia.com.pl QUIT :Quit: Leaving < 1476823342 0 :fizzie!?@? PRIVMSG #esoteric :Well, sort-of no, but it's implementation-defined what integer type it is, so that seems like a relatively minor distinction. < 1476823408 0 :fizzie!?@? PRIVMSG #esoteric :The exact rule is: A bit-field shall have a type that is a qualified or unqualified version of _Bool, signed int, unsigned int, or some other implementation-defined tpye. It is implementation-defined whether atomic types are permitted. (C11 6.7.2.1p5) < 1476823676 0 :ocharles_!sid30093@gateway/web/irccloud.com/x-xuidpakrzqxayxzf QUIT :Ping timeout: 250 seconds < 1476823801 0 :ocharles_!sid30093@gateway/web/irccloud.com/x-hzuspayotgtioomo JOIN :#esoteric < 1476823901 0 :fizzie!?@? PRIVMSG #esoteric :izabera: I like the idea of using space_left instead of bytes_used to make the flag byte act as the null termination, but I guess that sort of restricts what you can use the other flag bits for. < 1476823928 0 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :they just have to be zeros when the string is in place and 15 bytes long < 1476823958 0 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :so instead of is_in_place there's is_on_heap < 1476824132 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Special:Log/newusers14]]4 create10 02 5* 03Ag8 5* 10New user account < 1476824141 0 :fizzie!?@? PRIVMSG #esoteric :You could probably make it a compile-time error to use s_small_temporary on an overlong string. < 1476824169 0 :DHeadshot_!~DHeadshot@cpc88301-woki8-2-0-cust688.6-2.cable.virginm.net QUIT :Ping timeout: 260 seconds < 1476824281 0 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :i couldn't come up with a way to put a static assert there < 1476824339 0 :fizzie!?@? PRIVMSG #esoteric :You can put a static assert anywhere an expression can go. < 1476824354 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :although it's best to only place them in places where declarations go < 1476824369 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :this is because static asserts can be implemented using declarations in older versions of C < 1476824380 0 :fizzie!?@? PRIVMSG #esoteric :Well, but a compound literal with a struct declaration is an expression that includes a declaration. < 1476824382 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :you could probably do some trick with sizeof, though? < 1476824470 0 :fizzie!?@? PRIVMSG #esoteric :x -> ((struct { _Static_assert(sizeof x <= 16, "it's too big"); int dummy; }){1}, x) < 1476824486 0 :fizzie!?@? PRIVMSG #esoteric :Approximately. < 1476824502 0 :fizzie!?@? PRIVMSG #esoteric :And possibly with one of the static-assert hacks instead of a real _Static_assert if you like. < 1476824527 0 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :i tried something like #define s_small_temporary(x) (_Static_assert(sizeof(x) <= 16, "no no no"), s_new(&s_literal_empty(), "" x) < 1476824552 0 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :error: expected expression before ‘_Static_assert’ < 1476824555 0 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric : #define s_small_temporary(x) (_Static_assert(sizeof(x) <= 16, "no no no"), s_new(&s_literal_empty(), "" x) < 1476824556 0 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric : ^ < 1476824560 0 :fizzie!?@? PRIVMSG #esoteric :Yeah, it's a declaration. < 1476824582 0 :fizzie!?@? PRIVMSG #esoteric :You need something like that struct literal to make it part of an expression. < 1476824671 0 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :error: expected ‘)’ before ‘;’ token < 1476824673 0 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric : s_cat(&s1, s_small_temporary("foo bar baz bat")); < 1476824675 0 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric : ^ < 1476824682 0 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :this is from #define s_small_temporary(x) ((struct { _Static_assert(sizeof x <= 16, "it's too big"); int dummy; }){1}, s_new(&s_literal_empty(), "" x) < 1476824693 0 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :oh i stupid < 1476824711 0 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :thanks it works < 1476824716 0 :fizzie!?@? PRIVMSG #esoteric :I'm not entirely sure *why* it's a declaration, although I vaguely recall I had a plausible argument at some point. < 1476824729 0 :fizzie!?@? PRIVMSG #esoteric :It certainly makes that sort of thing uglier, though. < 1476824773 0 :fizzie!?@? PRIVMSG #esoteric :Oh, right! Having it a declaration makes putting it outside functions less ugly. < 1476824814 0 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :and i guess it would be unreasonable to be special and behave as both an expression and a declaration? < 1476825832 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :izabera: I think in some cicumstances that would introduce parsing ambiguities < 1476825855 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :(not that C++ even tries to avoid those anyway) < 1476826007 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :df < 1476826031 0 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :Filesystem Size Used Avail Use% Mounted on < 1476826033 0 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :dev 1.9G 0 1.9G 0% /dev < 1476826035 0 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :run 1.9G 920K 1.9G 1% /run < 1476826132 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :IRC 250 105 120 42% #esoteric < 1476826250 0 :hppavilion[1]!~Doslowdow@74-114-87-86.dynamic.asdk12.org QUIT :Ping timeout: 244 seconds < 1476826452 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :but seriously, in canada you can't just "run for prime minister". You have to be an member of parliament and supported by a plurality of members in parliament. I think americans should really consider whether President Paul Ryan would be so bad. < 1476826823 0 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :you have the factorization of x! < 1476826826 0 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :how do you get x? < 1476826842 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :izabera: multiply the factors together? < 1476826848 0 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :and then what? < 1476826883 0 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :let me clarify < 1476826893 0 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :you have the factorization of x! (factorial of x) < 1476826913 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :ah right < 1476826924 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :it's fairly easy to figure out the largest prime ≤ x, at least < 1476826959 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :the power of 2 determines floor(x / 2) < 1476826977 0 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :good starting point < 1476826999 0 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :kind of < 1476827025 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :actually you just use the power of 2 and then test the two possibilities < 1476827026 0 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :is there an easy way to get that? < 1476827060 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :. o O ( inverse culmulative ruler function ) < 1476827061 0 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :but 6! = 2^4 * 3^2 * 5 < 1476827106 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :int-e is right, the problem is I'm not sure what the formula for the inverse cumulative ruler function looks like < 1476827118 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :@oeis 1 2 1 4 1 2 1 8 1 2 1 4 1 2 1 16 < 1476827125 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : https://oeis.org/A006519 Highest power of 2 dividing n. < 1476827125 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : [1,2,1,4,1,2,1,8,1,2,1,4,1,2,1,16,1,2,1,4,1,2,1,8,1,2,1,4,1,2,1,32,1,2,1,4,1... < 1476827128 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :4 = 1+2+1 --> it's 6 or 7; you need to test some prime factor of 7 to rule out 7! < 1476827181 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :@oeis 1 3 4 8 9 11 12 20 < 1476827185 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : https://oeis.org/A006520 Partial sums of A006519. < 1476827185 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : [1,3,4,8,9,11,12,20,21,23,24,28,29,31,32,48,49,51,52,56,57,59,60,68,69,71,72... < 1476827197 0 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :@oeis A006519 < 1476827198 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : https://oeis.org/A006519 Highest power of 2 dividing n. < 1476827198 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : [1,2,1,4,1,2,1,8,1,2,1,4,1,2,1,16,1,2,1,4,1,2,1,8,1,2,1,4,1,2,1,32,1,2,1,4,1... < 1476827275 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :note that it's easy to compute how often a prime p divides n!: just take n/p + n/p^2 + ... using truncating division and stopping when the terms reach 0 < 1476827602 0 :DHeadshot!~DHeadshot@cpc88301-woki8-2-0-cust688.6-2.cable.virginm.net JOIN :#esoteric < 1476827833 0 :S1!~s1feha@ip5f5ad5b9.dynamic.kabel-deutschland.de JOIN :#esoteric < 1476828183 0 :Cale!~cale@cpe-67-250-60-129.nyc.res.rr.com QUIT :Remote host closed the connection < 1476828341 0 :S1!~s1feha@ip5f5ad5b9.dynamic.kabel-deutschland.de PART #esoteric :"Leaving" < 1476828934 0 :lynn!sid154965@gateway/web/irccloud.com/x-ieiwvoaogohhbjer QUIT :Read error: Connection reset by peer < 1476829021 0 :lynn!sid154965@gateway/web/irccloud.com/x-yphvcnnvztwoiyvp JOIN :#esoteric < 1476829045 0 :lynn!?@? NICK :Guest23427 < 1476829110 0 :Guest23427!?@? NICK :lynn < 1476829114 0 :lynn!sid154965@gateway/web/irccloud.com/x-yphvcnnvztwoiyvp QUIT :Changing host < 1476829114 0 :lynn!sid154965@unaffiliated/lynn JOIN :#esoteric < 1476829114 0 :lynn!sid154965@unaffiliated/lynn QUIT :Changing host < 1476829114 0 :lynn!sid154965@gateway/web/irccloud.com/x-yphvcnnvztwoiyvp JOIN :#esoteric < 1476829792 0 :moonheart08!~luxon@unaffiliated/moonythedwarf JOIN :#esoteric < 1476830110 0 :atriq!?@? NICK :Taneb < 1476830187 0 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover QUIT :Ping timeout: 244 seconds < 1476830309 0 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover JOIN :#esoteric < 1476830478 0 :moonheart08!~luxon@unaffiliated/moonythedwarf PRIVMSG #esoteric :winderp: http://pasteboard.co/gAAPkAHyL.png < 1476830480 0 :moonheart08!~luxon@unaffiliated/moonythedwarf PRIVMSG #esoteric :pls explain < 1476830499 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :moonheart08: wrong channel? < 1476830530 0 :moonheart08!~luxon@unaffiliated/moonythedwarf PRIVMSG #esoteric :no. i want a explaination, derpiest thing i've ever seen windows do < 1476830549 0 :moonheart08!~luxon@unaffiliated/moonythedwarf PRIVMSG #esoteric :im on hexchat. its complaining it cant start hexchat (another instancE) due to a missing DLL < 1476830552 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :ah right < 1476830566 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I interpreted the "winderp:" as a nick, and mentally parsed it "winder-p" < 1476830882 0 :digin4!~digin4@unaffiliated/digin4 JOIN :#esoteric < 1476830919 0 :imode!~imode@unaffiliated/imode PRIVMSG #esoteric :winderp 10 < 1476830929 0 :moonheart08!~luxon@unaffiliated/moonythedwarf PRIVMSG #esoteric ::P < 1476830930 0 :digin4!~digin4@unaffiliated/digin4 PART #esoteric : < 1476831065 0 :moonheart08!~luxon@unaffiliated/moonythedwarf PRIVMSG #esoteric :imode: https://what-if.xkcd.com/imgs/a/16/lightning_bios.png < 1476831857 0 :ais523!~ais523@unaffiliated/ais523 QUIT :Remote host closed the connection < 1476831926 0 :ais523!~ais523@unaffiliated/ais523 JOIN :#esoteric < 1476832258 0 :moonheart08!?@? NICK :sshark < 1476832264 0 :sshark!?@? NICK :moony < 1476832393 0 :boily!~alexandre@cable-192.222.245.222.electronicbox.net JOIN :#esoteric < 1476832419 0 :boily!~alexandre@cable-192.222.245.222.electronicbox.net PRIVMSG #esoteric :`wisdom < 1476832420 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :morphism//A morphism is just a natural transformation between two functors on 1. < 1476832465 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :that is a terrible definition :-D < 1476832483 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :is there any non-circular way to make use of it? < 1476832541 0 :AnotherTest!~turingcom@ptr-2hj4tbos9tbg71awegh5304ob.ip6.access.telenet.be QUIT :Ping timeout: 260 seconds < 1476832739 0 :boily!~alexandre@cable-192.222.245.222.electronicbox.net PRIVMSG #esoteric :it's a good definition. it has words in it, the verb "to be", and is totally impenetrable. < 1476832748 0 :boily!~alexandre@cable-192.222.245.222.electronicbox.net PRIVMSG #esoteric :as to uncircularify it, fungot? < 1476832748 0 :fungot!~fungot@momus.zem.fi PRIVMSG #esoteric :boily: dmnt claimed it's 14. :p i think that < 1476832886 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :actually I'm not even sure it's correct (although it might be) < 1476832916 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :a morphism in a category C is a functor from 1 to C < 1476832924 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :what does "functor on 1" even mean? functors have two endpoints < 1476832937 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :and there is only one functor from 1 to 1 < 1476832947 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :wait, no < 1476832953 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I guess the definition is right < 1476832964 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :you need two functors because the morphism has two endpoints < 1476832969 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :What you said is an object. < 1476832979 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Yes. < 1476833021 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Though "functors on 1" is an odd way to say "functors : 1 -> C"? < 1476833097 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`? morphisms < 1476833098 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :A morphism is just a natural transformation between two functors on 1. < 1476833112 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :making it "functors from 1" would be clearer < 1476833116 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Ah, not one of the ones with two definitions. < 1476833134 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :@quote copumpkin terminal < 1476833134 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :copumpkin says: a monad is just a lax functor from a terminal bicategory, duh. fuck that monoid in category of endofunctors shit < 1476833164 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :it took me a while to understand the endofunctor definition < 1476833207 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :basically because the concept of an endofunctor violates my internal typechecker by merging things that I mentally consider different < 1476833215 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Did you know applicative functors are also monoids in the category of endofunctors? < 1476833241 0 :boily!~alexandre@cable-192.222.245.222.electronicbox.net PRIVMSG #esoteric :@quote boily < 1476833241 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :No quotes match. Where did you learn to type? < 1476833251 0 :boily!~alexandre@cable-192.222.245.222.electronicbox.net PRIVMSG #esoteric :
ACTION mapoles lambdabot for being cheeky
< 1476833315 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :shachaf: well monads are applicative functors < 1476833320 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :but the opposite isn't necessarily true? < 1476833322 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :`? monad < 1476833323 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :Monads are just monoids in the category of endofunctors. < 1476833336 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`? monads < 1476833337 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :Monads are just free monad monad monad algebras. < 1476833339 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :so I guess the definition of monad is more general than it should be? < 1476833346 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :? < 1476833361 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I'm talking about a different category of endofunctors. < 1476833377 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :or rather the same endofunctors but a different tensor product. < 1476833381 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :O < 1476833389 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :`? algebra < 1476833390 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :algebra? ¯\(°​_o)/¯ < 1476833401 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :`? endofunctor < 1476833402 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :Endofunctors are just endomorphisms in the category of categories. < 1476833410 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :`? endomorphism < 1476833411 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :Endomorphisms are just morphisms which compose with themselves. < 1476833420 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :`? morphism < 1476833421 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :A morphism is just a natural transformation between two functors on 1. < 1476833436 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :`? functor < 1476833437 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :Functors are just morphisms in the category of small categories. < 1476833449 0 :imode!~imode@unaffiliated/imode PRIVMSG #esoteric :what should I name my new programming language? candidates are Flame, SPL (Small Programming Language), SCL (Small Control Language), Nano, Nanostack, Jewel, Mark, and Oro. < 1476833449 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :ERROR! Cycle detected! < 1476833465 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :In the one where the tensor product is Day convolution. < 1476833508 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :particular < 1476833514 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Typing on phones is scow. < 1476833553 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :You shouldn't user an acronym. < 1476833559 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :use < 1476833595 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :imode: that possibly depends on the language's semantics < 1476833605 0 :Cale!~cale@pool-108-29-88-63.nycmny.fios.verizon.net JOIN :#esoteric < 1476833606 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :although I don't like SPL, you should probably have something more descriptive < 1476833662 0 :imode!~imode@unaffiliated/imode PRIVMSG #esoteric :ais523: based around a stack machine. intended as a "readable machine code"... has 48 commands, each of which are single-characters. < 1476833686 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :oh, hmm, an esoasm < 1476833692 0 :imode!~imode@unaffiliated/imode PRIVMSG #esoteric :heh. < 1476833708 0 :imode!~imode@unaffiliated/imode PRIVMSG #esoteric :can post an example of a factorial function if you want. < 1476833723 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :does it fit in one line of IRC? it probably should for that sort of language < 1476833728 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :it's not a tarpit, at least < 1476833735 0 :imode!~imode@unaffiliated/imode PRIVMSG #esoteric :indeed, you can fit in one line. < 1476833736 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :reminds me of Redcode more than anything else, from that description < 1476833748 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no JOIN :#esoteric < 1476833768 0 :imode!~imode@unaffiliated/imode PRIVMSG #esoteric :,:,1-[,1:?,:,2#,2#*,1#,1-]. < 1476833791 0 :imode!~imode@unaffiliated/imode PRIVMSG #esoteric :thaaat's factorial! I can post the equivalent forth code. < 1476833801 0 :boily!~alexandre@cable-192.222.245.222.electronicbox.net PRIVMSG #esoteric :`words < 1476833805 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :anajv < 1476833811 0 :boily!~alexandre@cable-192.222.245.222.electronicbox.net PRIVMSG #esoteric :`words -10 < 1476833813 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :Unknown option: 1 \ Unknown option: 0 < 1476833815 0 :boily!~alexandre@cable-192.222.245.222.electronicbox.net PRIVMSG #esoteric :`words -n10 < 1476833816 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :Unknown option: n \ Unknown option: 1 \ Unknown option: 0 < 1476833819 0 :boily!~alexandre@cable-192.222.245.222.electronicbox.net PRIVMSG #esoteric :... < 1476833835 0 :boily!~alexandre@cable-192.222.245.222.electronicbox.net PRIVMSG #esoteric :`words 10 < 1476833836 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :equaquil rrich orowing diphulen fidiq sec hau jem desidea mim < 1476833839 0 :boily!~alexandre@cable-192.222.245.222.electronicbox.net PRIVMSG #esoteric :ah! < 1476833843 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :imode: what does , do? < 1476833853 0 :imode!~imode@unaffiliated/imode PRIVMSG #esoteric :pushes a 0 to the stack. < 1476833865 0 :boily!~alexandre@cable-192.222.245.222.electronicbox.net PRIVMSG #esoteric :imode: imhellode. orowing? diphulen? mim? < 1476833873 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I'm a little surprised that the command's being used that often < 1476833891 0 :imode!~imode@unaffiliated/imode PRIVMSG #esoteric :characters 0 through 9 and A through F perform an operation like... < 1476833902 0 :imode!~imode@unaffiliated/imode PRIVMSG #esoteric :stack[top] = (stack[top] << 4) | < 1476833911 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :oh, it's a "this is the start of a number" < 1476833914 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :The blue jays just scored two goals in one faceoff! < 1476833919 0 :imode!~imode@unaffiliated/imode PRIVMSG #esoteric :yeah, kinda. < 1476833929 0 :boily!~alexandre@cable-192.222.245.222.electronicbox.net PRIVMSG #esoteric :he\\oren\. Go Maple Leafs! < 1476833936 0 :imode!~imode@unaffiliated/imode PRIVMSG #esoteric :so, to add two numbers together... < 1476833938 0 :imode!~imode@unaffiliated/imode PRIVMSG #esoteric :1,2+ < 1476833945 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :\oren\: ugh, my American sports knowledge is just good enough that I can probably figure out what that means given the sport, but just bad enough that I'm not 100% sure what sport it is < 1476833962 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :it's base ball < 1476833964 0 :imode!~imode@unaffiliated/imode PRIVMSG #esoteric :also, in lieu of a stack underflow, we just yield a ero. < 1476833967 0 :imode!~imode@unaffiliated/imode PRIVMSG #esoteric :*zero < 1476833972 0 :Cale!~cale@pool-108-29-88-63.nycmny.fios.verizon.net QUIT :Ping timeout: 250 seconds < 1476833979 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :imode: is this intended to be particularly golfy or just portable? < 1476833986 0 :imode!~imode@unaffiliated/imode PRIVMSG #esoteric :incredibly portable. < 1476833986 0 :pikhq!~pikhq@174-24-10-247.clsp.qwest.net PRIVMSG #esoteric :Goals? Baseball? Whut? < 1476833990 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :\oren\: no it isn't, baseball is the one US sport I'm really confident on < 1476834003 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I used to watch it back when it was shown in the UK < 1476834003 0 :pikhq!~pikhq@174-24-10-247.clsp.qwest.net PRIVMSG #esoteric :The Blue Jays are a baseball team. < 1476834004 0 :imode!~imode@unaffiliated/imode PRIVMSG #esoteric :no parsing required! the instruction set is ASCII. :P < 1476834014 0 :pikhq!~pikhq@174-24-10-247.clsp.qwest.net PRIVMSG #esoteric :But... goals? < 1476834030 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :hockey has goals, as do most variants of football (including american football) < 1476834038 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net JOIN :#esoteric < 1476834052 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :they got two points in one down < 1476834058 0 :pikhq!~pikhq@174-24-10-247.clsp.qwest.net PRIVMSG #esoteric :The Maple Leafs are the hockey team from the same city (Toronto, Canada), so... < 1476834061 0 :pikhq!~pikhq@174-24-10-247.clsp.qwest.net PRIVMSG #esoteric :*wince* < 1476834068 0 :pikhq!~pikhq@174-24-10-247.clsp.qwest.net PRIVMSG #esoteric :That is neither hockey nor baseball. < 1476834077 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :actually I think \oren\ is just trolling < 1476834080 0 :pikhq!~pikhq@174-24-10-247.clsp.qwest.net PRIVMSG #esoteric :Yeah. < 1476834087 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :because Encarnation hit the puck out of the stadium < 1476834093 0 :pikhq!~pikhq@174-24-10-247.clsp.qwest.net PRIVMSG #esoteric :Though, Toronto also has a (Canadian) football team... < 1476834093 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :is a safety worth 2? that would be an easy way to get 2 points in one down < 1476834102 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :What types of numbers are used in big-O? < 1476834112 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :Like, obviously it's mostly real numbers < 1476834126 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :oh, you're asking of big-O notation could use, say, complex numbers? < 1476834136 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :ais523: Not ATM < 1476834138 0 :pikhq!~pikhq@174-24-10-247.clsp.qwest.net PRIVMSG #esoteric :ais523: Yes, safeties are worth 2 in both common gridiron variants. < 1476834140 0 :boily!~alexandre@cable-192.222.245.222.electronicbox.net PRIVMSG #esoteric :\oren\: oooh, you tengwared your font! ^^ < 1476834144 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :But since you can have O(\inf) time, you clearly aren't just dealing with JUST real numbers < 1476834147 0 :DHeadshot!~DHeadshot@cpc88301-woki8-2-0-cust688.6-2.cable.virginm.net QUIT :Ping timeout: 252 seconds < 1476834147 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :the "n" in big-O notation acts a bit like whatever the reciprocal of an infinitesmal is < 1476834163 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :ais523: Yes... < 1476834169 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :(Isn't that infinity?) < 1476834177 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :Добройлый вечер! < 1476834181 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :hppavilion[1]: only in nonstandard analysis < 1476834186 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :so I guess it's a nonstandard number < 1476834206 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :ais523: By my understanding it just means an-arbitrary-but-fixed-constant < 1476834224 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :hppavilion[1]: n? no < 1476834231 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :ais523: I suppose not... < 1476834232 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :Wait... < 1476834235 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :Hm... < 1476834236 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :the most notable property that n in big-O notation has is that it's large compared to any real number < 1476834255 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :ais523: Wait, doesn't n usually mean "the size of the problem" < 1476834258 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :because the whole point of big-O notation is to deal with asymptotic performance < 1476834260 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :hppavilion[1]: yes < 1476834261 0 :boily!~alexandre@cable-192.222.245.222.electronicbox.net PRIVMSG #esoteric :晚尔亚安 < 1476834261 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :Yes < 1476834265 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :but, say, O(2n) = On) < 1476834272 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :*O(n) < 1476834273 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :Yes, I forgot about that for a momen < 1476834277 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :*moment < 1476834307 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :ais523: You could probably say "n is a finite infinity" and capture the meaning while saying something utterly meaningless < 1476834310 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :boily: yes, I put in tengwar, but the dots won't look right unless your terminal knows elvish < 1476834316 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :(Take THAT, Chomsky!) < 1476834343 0 :boily!~alexandre@cable-192.222.245.222.electronicbox.net PRIVMSG #esoteric :\oren\: bummer. at least you can write in Beleriand mode... < 1476834344 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I just realised what the hppavilion[1] style is < 1476834344 0 :pikhq!~pikhq@174-24-10-247.clsp.qwest.net PRIVMSG #esoteric :\oren\: Hrm, did they encode it with combining chars? < 1476834356 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :ais523: Wait, I have a style? < 1476834358 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :yeah. < 1476834359 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :What is it? < 1476834369 0 :pikhq!~pikhq@174-24-10-247.clsp.qwest.net PRIVMSG #esoteric :Grumble. < 1476834375 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :most people, when they have ideas, start with the assumption that they need something possible and try to maximise creativity < 1476834377 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :(...is it in season?) < 1476834383 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :whereas you start with the assumption that the idea has to be creative < 1476834391 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :and then an idea is better if it's more possible < 1476834391 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :ais523: Yeah, pretty much < 1476834400 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :But that wasn't what I was doing right now, was it? < 1476834406 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :so you approach the intersection of creative+reasonable from the opposite direction of most people < 1476834435 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :I should add sarati maybe < 1476834438 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :I was just trying to figure out what kinds of numbers you deal with in O < 1476834466 0 :boily!~alexandre@cable-192.222.245.222.electronicbox.net PRIVMSG #esoteric :\oren\: is there support for vertical text in common terminal software? < 1476834471 0 :pikhq!~pikhq@174-24-10-247.clsp.qwest.net PRIVMSG #esoteric :
ACTION wonders what's holding up the Tengwar proposal...
< 1476834474 0 :pikhq!~pikhq@174-24-10-247.clsp.qwest.net PRIVMSG #esoteric :boily: No. < 1476834490 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :also I'm not convinced O(∞) is a real complexity class < 1476834492 0 :boily!~alexandre@cable-192.222.245.222.electronicbox.net PRIVMSG #esoteric :pikhq: pikhelloq. aaaaaaaaaargh :( < 1476834493 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :any more than O(0) is < 1476834496 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :ais523: But it IS looking like n behaves exactly like infinity in every way, except it's finite < 1476834497 0 :alercah!raedford@unaffiliated/alercah PRIVMSG #esoteric :pikhq: I suspect nobody caring < 1476834502 0 :alercah!raedford@unaffiliated/alercah PRIVMSG #esoteric :ais523: O(0) is < 1476834505 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :ais523: Oh? It isn't? < 1476834511 0 :alercah!raedford@unaffiliated/alercah PRIVMSG #esoteric :O(\infty) is not < 1476834511 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :alercah: What's O(0) then? < 1476834513 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :alercah: but it differs from O(1) by a constnat < 1476834519 0 :boily!~alexandre@cable-192.222.245.222.electronicbox.net PRIVMSG #esoteric :alercah: hellorcah. < 1476834537 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :ais523: But then what's the worst case for bogosort? < 1476834551 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :Wait, do complexity classes only apply to algorithms? Probably < 1476834555 0 :alercah!raedford@unaffiliated/alercah PRIVMSG #esoteric :ais523: it does, but it's even a distinct class < 1476834557 0 :pikhq!~pikhq@174-24-10-247.clsp.qwest.net PRIVMSG #esoteric :Actually, possibly not much. It appears to have a tentative assignment to U+16080-U+160FF. < 1476834561 0 :alercah!raedford@unaffiliated/alercah PRIVMSG #esoteric :O(0) contains only the constant zero function < 1476834575 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :alercah: Wait, what? < 1476834580 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :alercah: not constant functions that return other numbers? < 1476834588 0 :alercah!raedford@unaffiliated/alercah PRIVMSG #esoteric :go back to the definition, folks ;) < 1476834588 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :alercah: You mean a function that always returns 0? < 1476834598 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :actually my guess as to what O(0) means is that it only captures identity functions < 1476834604 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :And an algorithm has to ALWAYS, PROVABLY return a CORRECT answer in FINITE time < 1476834622 0 :alercah!raedford@unaffiliated/alercah PRIVMSG #esoteric :f \in O(g) if there exists M and x_0 such that |f(x)| \le M|g(x)| for all x \ge x_0 < 1476834633 0 :alercah!raedford@unaffiliated/alercah PRIVMSG #esoteric :if g(x) = 0, then this can only be true if f(x) = 0 also < 1476834635 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :Therefor, Bogosort isn't a proper algorithm and complexity classes aren't 100% applicable < 1476834647 0 :alercah!raedford@unaffiliated/alercah PRIVMSG #esoteric :`? randomized algorithms < 1476834648 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :randomized algorithms? ¯\(°​_o)/¯ < 1476834650 0 :pikhq!~pikhq@174-24-10-247.clsp.qwest.net PRIVMSG #esoteric :Of course, a tentative allocation only means that the Unicode Roadmap Committee is aware of the proposal and hasn't thrown it out as completely ridiculous. < 1476834670 0 :alercah!raedford@unaffiliated/alercah PRIVMSG #esoteric :`le/rn randomized algorithms/Nobody tell hppavilion[1] about randomized algorithms. < 1476834673 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :Learned 'randomized algorithms': Nobody tell hppavilion[1] about randomized algorithms. < 1476834687 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :alercah: Those aren't properly algorithms under the mathematical definition < 1476834687 0 :myname!~myname@84.200.43.57 PRIVMSG #esoteric ::D < 1476834703 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :`rm "wisdom/randomized algorithms" < 1476834703 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :rm: cannot remove `"wisdom/randomized algorithms"': No such file or directory < 1476834707 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :`? strong pseudoprime < 1476834707 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :strong pseudoprime? ¯\(°​_o)/¯ < 1476834722 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :`rm wisdom/randomized algorithms < 1476834724 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :No output. < 1476834727 0 :pikhq!~pikhq@174-24-10-247.clsp.qwest.net PRIVMSG #esoteric :(for comparison, Klingon does not even have a tentative allocation as yet) < 1476834731 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :Hm, `rw would be nice < 1476834734 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :`rw < 1476834735 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: rw: not found < 1476834736 0 :alercah!raedford@unaffiliated/alercah PRIVMSG #esoteric :ais523: and \infty is not a valid value for a function (assuming the reals, which I suppose might be unreasonable) < 1476834737 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :pikhq: it has an unofficial one IIRC < 1476834748 0 :alercah!raedford@unaffiliated/alercah PRIVMSG #esoteric :if you're using the extended reals, O(\infty) is all functions < 1476834765 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :`mkx bin/rw//rm "wisdom/$1" < 1476834767 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :bin/rw < 1476834772 0 :pikhq!~pikhq@174-24-10-247.clsp.qwest.net PRIVMSG #esoteric :ais523: It has a PUA allocation with the Conscript Registry, much like what Tengwar has in use in the wild. < 1476834778 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :now I'm wondering if one of the uncomputable languages that support time travel would allow O(-1) < 1476834788 0 :alercah!raedford@unaffiliated/alercah PRIVMSG #esoteric :No < 1476834790 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :`le/rn phnglui/This wisdom exists only to test a command < 1476834792 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :Learned 'phnglui': This wisdom exists only to test a command < 1476834795 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :`? phnglui < 1476834796 0 :alercah!raedford@unaffiliated/alercah PRIVMSG #esoteric :because the definition uses the absolute value < 1476834796 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :This wisdom exists only to test a command < 1476834802 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :`rw phnglui < 1476834802 0 :pikhq!~pikhq@174-24-10-247.clsp.qwest.net PRIVMSG #esoteric :There was a proposal to Unicode to formally add Klingon, but it was rejected outright on the basis that no user of the language actually uses the script. < 1476834804 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :No output. < 1476834809 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :`? phnglui < 1476834810 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :phnglui? ¯\(°​_o)/¯ < 1476834812 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric ::) < 1476834813 0 :^v!pixel@me.pxtst.com QUIT :Quit: ZNC - http://znc.in < 1476834815 0 :pikhq!~pikhq@174-24-10-247.clsp.qwest.net PRIVMSG #esoteric :(which at the time was true) < 1476834821 0 :alercah!raedford@unaffiliated/alercah PRIVMSG #esoteric :`le/rn phnglui/This wisdom existed only to test a command, but then it was deleted. < 1476834823 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :Learned 'phnglui': This wisdom existed only to test a command, but then it was deleted. < 1476834828 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :alercah: any reason why the absolute value is needed in the definition? < 1476834852 0 :pikhq!~pikhq@174-24-10-247.clsp.qwest.net PRIVMSG #esoteric :Huh, TIL. The BMP isn't completely allocated yet. < 1476834857 0 :^v!pixel@me.pxtst.com JOIN :#esoteric < 1476834857 0 :alercah!raedford@unaffiliated/alercah PRIVMSG #esoteric :ais523: I don't think there's a technical reason, no, since most of the functions you generally care about are nonnegative < 1476834861 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :alercah: A randomized algorithm is, properly, a heuristic at best < 1476834867 0 :alercah!raedford@unaffiliated/alercah PRIVMSG #esoteric :but it's fun to write sin \in O(1) < 1476834867 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :pikhq: there's still plenty of space for relatively small things in the BMP < 1476834878 0 :Cale!~cale@24.114.80.116 JOIN :#esoteric < 1476834879 0 :pikhq!~pikhq@174-24-10-247.clsp.qwest.net PRIVMSG #esoteric :There aren't many free blocks, but there definitely are free blocks. < 1476834880 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :but I think new blocks are placed in the astral planes if there's any risk of them being fairly large < 1476834893 0 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :alercah: O(0) does not contain only the contant 0 function < 1476834895 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :(Alercahtively, it could be a potentially-nonterminating algorithm) < 1476834898 0 :alercah!raedford@unaffiliated/alercah PRIVMSG #esoteric :myname: oh? < 1476834902 0 :pikhq!~pikhq@174-24-10-247.clsp.qwest.net PRIVMSG #esoteric :Or being anything other than very high use. < 1476834907 0 :boily!~alexandre@cable-192.222.245.222.electronicbox.net PRIVMSG #esoteric :
ACTION mapoles hppavilion[1]. 0.87 Sh.
< 1476834912 0 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :alercah: sgn(x) - 1 should also be O(0) < 1476834920 0 :pikhq!~pikhq@174-24-10-247.clsp.qwest.net PRIVMSG #esoteric :And even then, I think the preference is that new allocations be for things used with scripts already in the BMP. < 1476834926 0 :alercah!raedford@unaffiliated/alercah PRIVMSG #esoteric :oh that's true < 1476834932 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :OK, what defines O(0)? < 1476834933 0 :alercah!raedford@unaffiliated/alercah PRIVMSG #esoteric :it includes all eventually constant functions < 1476834935 0 :alercah!raedford@unaffiliated/alercah PRIVMSG #esoteric :hppavilion[1]: see above < 1476834941 0 :alercah!raedford@unaffiliated/alercah PRIVMSG #esoteric :myname: thank you! < 1476834947 0 :alercah!raedford@unaffiliated/alercah PRIVMSG #esoteric :or more accurately < 1476834947 0 :pikhq!~pikhq@174-24-10-247.clsp.qwest.net PRIVMSG #esoteric :(see the not yet in Unicode, but accepted for the next version "Syriac Supplemental" block) < 1476834952 0 :moony!~luxon@unaffiliated/moonythedwarf PRIVMSG #esoteric :
ACTION gives boily sqrt(mapole)
< 1476834954 0 :alercah!raedford@unaffiliated/alercah PRIVMSG #esoteric :O(0) is exactly the eventually constant 0 functions < 1476834957 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :what about functions that are asymptotially constant, like 1/x? < 1476834963 0 :alercah!raedford@unaffiliated/alercah PRIVMSG #esoteric :nope < 1476834966 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :*asymptotically < 1476834980 0 :alercah!raedford@unaffiliated/alercah PRIVMSG #esoteric :because |f(x)| <= 0 if and only if f(x) = 0 < 1476834980 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I guess you'd have to call that, what, o(1)? < 1476834983 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :(little-o notation) < 1476834986 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :Because I'm pretty sure O(1) is just any algorithm that always takes the same amount of time to return an answer (*roughly* constant, not varying in a way predictable by problem size) < 1476834991 0 :alercah!raedford@unaffiliated/alercah PRIVMSG #esoteric :hppavilion[1]: no < 1476834997 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :alercah: Oh? < 1476835004 0 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :o(1) is a thing < 1476835004 0 :alercah!raedford@unaffiliated/alercah PRIVMSG #esoteric :hppavilion[1]: as I already said < 1476835011 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :hppavilion[1]: O(1) is bounded time < 1476835023 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :ais523: Oh, it is? < 1476835025 0 :boily!~alexandre@cable-192.222.245.222.electronicbox.net PRIVMSG #esoteric :moony: mhelloony. don't you dare root my mapole :P < 1476835032 0 :alercah!raedford@unaffiliated/alercah PRIVMSG #esoteric :f \in O(g) if and only if there exist M and x_0 such that |f(x)| <= M|g(x)| for all x >= x_0 < 1476835033 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :i.e. when applied to computational complexity, there's a limit to how long the algorithm takes regardless of input < 1476835037 0 :pikhq!~pikhq@174-24-10-247.clsp.qwest.net PRIVMSG #esoteric :An algorithm is O(1) iff for any n you can guarantee the algorithm will take at most x time. < 1476835037 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :it's allowed to return early though < 1476835049 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :ais523: Yes, I get it < 1476835052 0 :pikhq!~pikhq@174-24-10-247.clsp.qwest.net PRIVMSG #esoteric :O notation is always about the worst case. < 1476835053 0 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :hppavilion[1]: O(1) is any algorithm that takes at most some constant time no matter the input < 1476835055 0 :alercah!raedford@unaffiliated/alercah PRIVMSG #esoteric :saying that an algorithm is O(1) is really saying that its running time, as a function of input size, is O(1) < 1476835055 0 :moony!~luxon@unaffiliated/moonythedwarf PRIVMSG #esoteric :
ACTION gives boily the sqrt(-mapole)
< 1476835063 0 :alercah!raedford@unaffiliated/alercah PRIVMSG #esoteric :which means that it must be eventually bounded by a constant < 1476835066 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :note that alercah's definition is a little confusing, f here is the algorithm's runtime < 1476835066 0 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :it can however take different times depending on the input < 1476835084 0 :pikhq!~pikhq@174-24-10-247.clsp.qwest.net PRIVMSG #esoteric :An algorithm could be O(n log n), but in most cases take a constant amount of time. < 1476835099 0 :alercah!raedford@unaffiliated/alercah PRIVMSG #esoteric :assuming your input sizes are discrete, then O(1) means that the running time is bounded < 1476835105 0 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :pikhq: or every time < 1476835107 0 :alercah!raedford@unaffiliated/alercah PRIVMSG #esoteric :but 1/x is O(1) despite being unbounded < 1476835109 0 :pikhq!~pikhq@174-24-10-247.clsp.qwest.net PRIVMSG #esoteric :Similarly an implementation of an O(1) algorithm could usually take 1 hour but sometimes take 1 second. < 1476835124 0 :pikhq!~pikhq@174-24-10-247.clsp.qwest.net PRIVMSG #esoteric :myname: Well, then O(n log n) is a crap bound. < 1476835132 0 :alercah!raedford@unaffiliated/alercah PRIVMSG #esoteric :but a valid one < 1476835136 0 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :pikhq: a valid nontheless < 1476835137 0 :pikhq!~pikhq@174-24-10-247.clsp.qwest.net PRIVMSG #esoteric :Not *inaccurate*, but pretty crap. < 1476835146 0 :boily!~alexandre@cable-192.222.245.222.electronicbox.net PRIVMSG #esoteric :moony: my mapole ain't to be imaginarified. tsé. < 1476835152 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :pikhq: well, worst case insertion for a hash table is O(log n) < 1476835158 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :...yeah, I still don't get O(0) < 1476835159 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :but in most practical cases it's O(1) < 1476835164 0 :pikhq!~pikhq@174-24-10-247.clsp.qwest.net PRIVMSG #esoteric :Average case is O(1), yeah. < 1476835174 0 :alercah!raedford@unaffiliated/alercah PRIVMSG #esoteric :ais523: 1/x is o(1), yeah < 1476835186 0 :alercah!raedford@unaffiliated/alercah PRIVMSG #esoteric :hppavilion[1]: O(0) means that the function is eventually 0 < 1476835197 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :alercah: ...eventually? < 1476835198 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :however, I insist on using the O(log n) definition when calculating computational classes as you're meant to take the worst case