< 1475193756 0 :Zarutian!~zarutian@168-110-22-46.fiber.hringdu.is PRIVMSG #esoteric :boily: only the ones on crustaseans, otherwise it is not salty enough < 1475193772 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :getting this strange impression Zarutian doesn't like hákarl, even marinated. < 1475193797 0 :Zarutian!~zarutian@168-110-22-46.fiber.hringdu.is PRIVMSG #esoteric :oerjan: it is too basic for me < 1475193849 0 :Zarutian!~zarutian@168-110-22-46.fiber.hringdu.is PRIVMSG #esoteric :(antonymic of acid for the ones slow on the uptake) < 1475193879 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :
ACTION btw learned yesterday that crustaceans are to insects like dinosaurs are to birds
< 1475193952 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :except for the extinct part, i guess. < 1475193953 0 :Zarutian!~zarutian@168-110-22-46.fiber.hringdu.is PRIVMSG #esoteric :oerjan: well isnt that exoskelent (excelent)? < 1475193962 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :oerjan: I'm sure there are some extinct crustaceans < 1475194027 0 :boily!~alexandre@cable-192.222.252.9.electronicbox.net PRIVMSG #esoteric :
ACTION thwacks Zarutian. 0.33 shachafs.
< 1475194031 0 :Zarutian!~zarutian@168-110-22-46.fiber.hringdu.is PRIVMSG #esoteric :humm, I wonder if you could keep land crabs in lower and lower airpressure for their generations and get a space worthy one. Call it Something Blue < 1475194047 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :boily: It would be good if you switched to a different unit that doesn't hilight me. < 1475194057 0 :boily!~alexandre@cable-192.222.252.9.electronicbox.net PRIVMSG #esoteric :oh hm. right. < 1475194068 0 :boily!~alexandre@cable-192.222.252.9.electronicbox.net PRIVMSG #esoteric :the symbol shall be the «Sh». < 1475194101 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`slwd shachaf//s# T.*## < 1475194105 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :wisdom/shachaf//Shachaf of the Dawn sprø som selleri and cosplays Nepeta Leijon on weekends. He hates bell peppers with a passion. < 1475194115 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`? oerjan < 1475194116 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :Your mysterious 4evil hungarian oerlord quack doctor oerjan is a lazy expert in future computation. Also a Pre-recombination Norwegian who mildly dislikes Roald Dahl with a pasjon. Lately when he tries to remember a word, "amortized" pops up. His arch-nemesis is Betty Crocker. He sometimes puns without noticing it. < 1475194125 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :boily: i hope you subtracted points for explaining the pun < 1475194125 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`slwd oerjan//s#doctor ## < 1475194127 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :wisdom/oerjan//Your mysterious 4evil hungarian oerlord quack oerjan is a lazy expert in future computation. Also a Pre-recombination Norwegian who mildly dislikes Roald Dahl with a pasjon. Lately when he tries to remember a word, "amortized" pops up. His arch-nemesis is Betty Crocker. He sometimes puns without noticing it. < 1475194161 0 :boily!~alexandre@cable-192.222.252.9.electronicbox.net PRIVMSG #esoteric :oerjan: a good -0.1 Sh were removed. < 1475194183 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`slwd oerjan//s#hun#bul# < 1475194186 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :wisdom/oerjan//Your mysterious 4evil bulgarian oerlord quack oerjan is a lazy expert in future computation. Also a Pre-recombination Norwegian who mildly dislikes Roald Dahl with a pasjon. Lately when he tries to remember a word, "amortized" pops up. His arch-nemesis is Betty Crocker. He sometimes puns without noticing it. < 1475194343 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :shachaf: why do you remove one of the few true parts tdnh < 1475194362 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oerjan: whoa whoa whoa < 1475194362 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :also, what's the fun in the unit if it's abbreviated... < 1475194369 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oerjan: hun or dr? < 1475194378 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :"doctor" < 1475194379 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net JOIN :#esoteric < 1475194411 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Herr Professor Doktor Oerjan < 1475194433 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oerjan: Are you sure you *want* "doctor" to be there, if it's preceded by "quack"? < 1475194448 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :`slwd oerjan//s/Nor/Glas/ < 1475194450 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :wisdom/oerjan//Your mysterious 4evil bulgarian oerlord quack oerjan is a lazy expert in future computation. Also a Pre-recombination Glaswegian who mildly dislikes Roald Dahl with a pasjon. Lately when he tries to remember a word, "amortized" pops up. His arch-nemesis is Betty Crocker. He sometimes puns without noticing it. < 1475194461 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :escalation! < 1475194572 0 :olsner!~salparot@c80-217-126-39.bredband.comhem.se PRIVMSG #esoteric :ah, of course Spaghetti is already an esolang < 1475194620 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :resistance is Fusilli < 1475194632 0 :Menphis!~textual@213.250.174.215 QUIT :Quit: My iMac has gone to sleep. ZZZzzz… < 1475194632 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Is "Oerjan" or "OErjan" the correct capitalization? < 1475194646 0 :olsner!~salparot@c80-217-126-39.bredband.comhem.se PRIVMSG #esoteric :had a vague idea that might match such a name (some kind of goto-oriented programming) < 1475194665 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :the former looks better < 1475194718 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`slwd oerjan//s#fu#su# < 1475194721 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :wisdom/oerjan//Your mysterious 4evil bulgarian oerlord quack oerjan is a lazy expert in suture computation. Also a Pre-recombination Glaswegian who mildly dislikes Roald Dahl with a pasjon. Lately when he tries to remember a word, "amortized" pops up. His arch-nemesis is Betty Crocker. He sometimes puns without noticing it. < 1475194723 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :There you go. Doctor. < 1475194743 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :doctoerjan < 1475194776 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`slwd oerjan//s#(oerlord) (quack)#\2 \1# < 1475194777 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :sed: -e expression #1, char 26: invalid reference \2 on `s' command's RHS < 1475194787 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :That was too much to hope for. < 1475194808 0 :olsner!~salparot@c80-217-126-39.bredband.comhem.se PRIVMSG #esoteric :slwd might be using the stupid regexps by default < 1475194816 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`slwd oerjan//s#\(oerlord\) \(quack\)#\2 \1# < 1475194818 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :wisdom/oerjan//Your mysterious 4evil bulgarian quack oerlord oerjan is a lazy expert in suture computation. Also a Pre-recombination Glaswegian who mildly dislikes Roald Dahl with a pasjon. Lately when he tries to remember a word, "amortized" pops up. His arch-nemesis is Betty Crocker. He sometimes puns without noticing it. < 1475194860 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`slwd oerjan//s#oer#doctover# < 1475194863 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :wisdom/oerjan//Your mysterious 4evil bulgarian quack doctoverlord oerjan is a lazy expert in suture computation. Also a Pre-recombination Glaswegian who mildly dislikes Roald Dahl with a pasjon. Lately when he tries to remember a word, "amortized" pops up. His arch-nemesis is Betty Crocker. He sometimes puns without noticing it. < 1475194918 0 :boily!~alexandre@cable-192.222.252.9.electronicbox.net PRIVMSG #esoteric :hellolsner. < 1475194933 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`sedlast s#with a pasjon#and passion fruit# < 1475194941 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :wisdom/oerjan//Your mysterious 4evil bulgarian quack doctoverlord 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. < 1475194957 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :hm that may actually be true < 1475194959 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`? betty crocker < 1475194960 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :Betty Crocker is a notorious gambler. < 1475194969 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`cwlprits betty crocker < 1475194975 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :fizzie evilipse shachaf < 1475194980 0 :olsner!~salparot@c80-217-126-39.bredband.comhem.se PRIVMSG #esoteric :helloily and byely (niht) < 1475194980 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :i am not a crock < 1475194991 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`relcome olsner < 1475194995 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :​06olsner: 13Welcome 04to 07the 08international 09hub 02for 06esoteric 13programming 04language 07design 08and 09deployment! 02For 06more 13information, 04check 07out 08our 09wiki: 02. 06(For 13the 04other 07kind 08of 09esoterica, 02try 06#esoteric 13on 04EFnet 07or 08DALnet.) < 1475194997 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I thought "relcome" meant "welcome back". < 1475194997 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :@nixon what about you < 1475194998 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :The press is the enemy. < 1475195005 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :@nixon < 1475195005 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :I can take it. The tougher it gets, the cooler I get. < 1475195017 0 :olsner!~salparot@c80-217-126-39.bredband.comhem.se PRIVMSG #esoteric :shachaf: back? I was always here < 1475195029 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :`? olsner < 1475195030 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :@nixon what do you think about the upcoming presidential election in the united states < 1475195030 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :I played by the rules of politics as I found them. < 1475195031 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :olsner seems to exist at least. He builds all his esolangs in diesel engines. < 1475195049 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :@nixon and you think the current candidates should do the same? < 1475195049 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :Scrubbing floors and emptying bedpans has as much dignity as the Presidency. < 1475195136 0 :Zarutian!~zarutian@168-110-22-46.fiber.hringdu.is PRIVMSG #esoteric :
ACTION finds the USA presidental election cycle as apealing and quick as removing teeth through the use of live bambo sprouts.
< 1475195156 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :You just want Nixon back? < 1475195207 0 :Zarutian!~zarutian@168-110-22-46.fiber.hringdu.is PRIVMSG #esoteric :add on top of that the local parlimentary elections here that came about due to exposure of corruption and you get me rather cranky < 1475195233 0 :Zarutian!~zarutian@168-110-22-46.fiber.hringdu.is PRIVMSG #esoteric :shachaf: more like Kennedy < 1475195237 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :Hm, do Spivak pronouns distinguish animate-inanimate? < 1475195263 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :parliament? are you some sort of communist < 1475195268 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :@nixon < 1475195268 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :Voters quickly forget what a man says. < 1475195335 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :@time oerjan < 1475195336 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :Local time for oerjan is Fri Sep 30 01:28:55 2016 < 1475195341 0 :Zarutian!~zarutian@168-110-22-46.fiber.hringdu.is PRIVMSG #esoteric :but people remember what you have done (against them) on their part < 1475195354 0 :boily!~alexandre@cable-192.222.252.9.electronicbox.net PRIVMSG #esoteric :oerjan: are you wearing an orange t-shirt? < 1475195377 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oerjan: Hmm, are you actually 4evil? < 1475195394 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :If not, maybe we should update that wisdom entry. < 1475195426 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`slwd oerjan//s#doctoverlord#octoberlord# < 1475195429 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :wisdom/oerjan//Your mysterious 4evil 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. < 1475195441 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :boily: grey hth < 1475195464 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Your 04m08y09s11t12e13r04i08o09u11s evil bulgarian quack octoberlord 04o08e09r11j12a13n < 1475195473 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Your 04m08y09s11t12e13r04i08o09u11s evil bulgarian quack 04o08c09t11o12b13e04rlord 04o08e09r11j12a13n < 1475195477 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :This is pretty good. < 1475195497 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :OK, the lack of adverbial forms of numbers other than {1, 2, 3} is REALLY bugging me < 1475195506 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :Can we please just invent a system for this? < 1475195509 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :adversarial forms < 1475195535 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :We have "once, twice, thrice" < 1475195559 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :`slwd oerjan//s/evil/weevil/ < 1475195561 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :wisdom/oerjan//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. < 1475195571 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :We can add {-1, -2, -3} with "negative once, negative twice, negative thrice" (or s/negative/minus) < 1475195604 0 :Menphis!~textual@213.250.174.215 JOIN :#esoteric < 1475195619 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :0 should probably be 'nulce' < 1475195621 0 :Zarutian!~zarutian@168-110-22-46.fiber.hringdu.is PRIVMSG #esoteric :hppavilion[1]: "einnar" is adverbial form? ("Single (feminine) ") < 1475195641 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :Zarutian: ...no? < 1475195645 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :Oh, I'm doing it for English < 1475195674 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric : `slwd oerjan//s#doctoverlord#octoberlord# <-- hey i had that thought < 1475195682 0 :Zarutian!~zarutian@168-110-22-46.fiber.hringdu.is PRIVMSG #esoteric :hppavilion[1]: you have actually made this lack in English saliant to me < 1475195693 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :If we go by the same system as ordinals (e.g. "ninety-first"), we just need to name 0..19 (and probably just 0..9) and have a way of naming multiples of 10 < 1475195738 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :hppavilion[1]: stop complaining, norwegian doesn't have adverbial forms for numbers at all... < 1475195754 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :oerjan: That's Norwegian's problem < 1475195800 0 :Zarutian!~zarutian@168-110-22-46.fiber.hringdu.is PRIVMSG #esoteric :oerjan: hvad? det kan ikke vera svo? eller er det svo? < 1475195840 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :So if second is the object at index 2 and something twice means something that has occurred 2 times, when ninety-first is the object at index 91, and something that has occurred 91 times happened ninety-once < 1475195841 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :Zarutian: once = en gang, twice = to ganger, etc. no inflection. < 1475195882 0 :Zarutian!~zarutian@168-110-22-46.fiber.hringdu.is PRIVMSG #esoteric :oerjan: so it is. This means it is also such in Danish and Swedish. < 1475195966 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :nulce, once, twice, thrice, fice, vice, sice, sevice, eice, nince, tence, elevence, twelce, thirteence, fourteence, .., ninteence, twentiece < 1475195984 0 :boily!~alexandre@cable-192.222.252.9.electronicbox.net PRIVMSG #esoteric :une fois, deux fois, trois fois, quatre fois... pour une fois que le français fait du sens, tsé... < 1475196012 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :thirtiece, fourtiece, fiftiece, sixtiece, seventiece, eightiece, ninetiece, hundredce < 1475196040 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :Thousandce, [myiace], millionce, billionce, trillionce < 1475196040 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :the white cliffs of doctoverlord < 1475196043 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :And so on < 1475196069 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :There, english is now less bad < 1475196070 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :boily: meanwhile, latin has a comprehensive set. semel, bis, ter, quater ... < 1475196088 0 :Zarutian!~zarutian@168-110-22-46.fiber.hringdu.is PRIVMSG #esoteric :hppavilion[1]: but this applies to how something happens n times and not the exact cardinality of something else? < 1475196095 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :That's a scow way to extend a language. < 1475196098 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :Zarutian: Correct < 1475196108 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Better to use separate words than inflecting. < 1475196117 0 :boily!~alexandre@cable-192.222.252.9.electronicbox.net PRIVMSG #esoteric :itym a scowce way hth < 1475196119 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :shachaf: -ce is no different from -th < 1475196133 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :boily: No, ace scow way < 1475196147 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :? < 1475196149 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :fith? < 1475196149 0 :Zarutian!~zarutian@168-110-22-46.fiber.hringdu.is PRIVMSG #esoteric :oerjan: can you tell me if this phrase "memento vitae" is correct latin for "I am reminded that I am alive and joyously existant" < 1475196152 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :vith? < 1475196160 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :shachaf: fifth < 1475196171 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Better to learn Chinese. < 1475196190 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :Fource and fifce would be fine, I guess... < 1475196205 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :(Though 'quice' might be better for 4) < 1475196207 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :sith? < 1475196216 0 :Zarutian!~zarutian@168-110-22-46.fiber.hringdu.is PRIVMSG #esoteric :shachaf: lojban has its charms and doesnt require you to trying to learn to differeniate between modal tones. < 1475196216 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :absolutely not < 1475196222 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Lojban is scow. < 1475196236 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :The "absolutely not" was a response to "sith?", not to lojban. < 1475196250 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Tones aren't even that hard, I assume. < 1475196262 0 :Menphis!~textual@213.250.174.215 QUIT :Quit: My iMac has gone to sleep. ZZZzzz… < 1475196263 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :Zarutian: no, memento is imperative. https://en.wiktionary.org/wiki/memini#Latin < 1475196272 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :When I listen to Mandarin for a while I can usually distinguish them after a bit. < 1475196286 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oerjanto < 1475196287 0 :Zarutian!~zarutian@168-110-22-46.fiber.hringdu.is PRIVMSG #esoteric :shachaf: for someone who is somewhat tonechange deaf it is a problem. < 1475196304 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :How do you think Chinese speakers handle it? < 1475196315 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Or are they none of them "tonechange deaf"? < 1475196331 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Or maybe it's too late for you, in your advanced age, to learn it. < 1475196332 0 :Zarutian!~zarutian@168-110-22-46.fiber.hringdu.is PRIVMSG #esoteric :oerjan: oh, as the phrase "memento mori" as said to Cesar literally means "remember thou art mortal" < 1475196373 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Why would it literally mean something in Elizabethan English? < 1475196395 0 :Zarutian!~zarutian@168-110-22-46.fiber.hringdu.is PRIVMSG #esoteric :shachaf: literally used here in figgurative sense < 1475196413 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :remember you are figurative < 1475196431 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :whoa whoa whoa < 1475196432 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :https://en.wikipedia.org/wiki/Early_Modern_English < 1475196432 0 :Zarutian!~zarutian@168-110-22-46.fiber.hringdu.is PRIVMSG #esoteric :shachaf: and not verbtaim unless as a quote to a movie on the life and death of Cesar < 1475196456 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :The King James Bible came out after (most of) Shakespeare's plays. < 1475196467 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :Zarutian: well "mori" means to die, infinitive, but i guess latin uses it metaphorically < 1475196485 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :In the Jacobian era. And yet Leibniz was only born decades later? < 1475196496 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :this does not add up hth < 1475196516 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :https://en.wiktionary.org/wiki/memento_mori#Latin < 1475196548 0 :Zarutian!~zarutian@168-110-22-46.fiber.hringdu.is PRIVMSG #esoteric :shafchaf: oyj dont expose the timewars stitchings this harshly < 1475196584 0 :Zarutian!~zarutian@168-110-22-46.fiber.hringdu.is PRIVMSG #esoteric :shafchaf: it is bad enough to have some people so hopelessly stuck in the past that never was. < 1475196585 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :whoa whoa whoa < 1475196593 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :The Jacobian is named after King James. < 1475196626 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no TOPIC #esoteric :The Everchanging Topic | This counter has been incremented six times | 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" < 1475196687 0 :Zarutian!~zarutian@168-110-22-46.fiber.hringdu.is PRIVMSG #esoteric :
ACTION adds: specially when we got historical characters that never should have been at all.
< 1475196699 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Taneb: favorite king james: i-v of scotland, i-iii/vi-viii of england and scotland, or one of the spanish ones? < 1475196778 0 :Zarutian!~zarutian@168-110-22-46.fiber.hringdu.is PRIVMSG #esoteric :well, I am off to bed < 1475196788 0 :Zarutian!~zarutian@168-110-22-46.fiber.hringdu.is QUIT :Quit: Zarutian < 1475196932 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :King John / Put up a notice, / "LOST or STOLEN or STRAYED! / JAMES JAMES / MORRISON'S MOTHER / SEEMS TO HAVE BEEN MISLAID. / LAST SEEN / WANDERING VAGUELY / QUITE OF HER OWN ACCORD, / SHE TRIED TO GET DOWN TO THE END OF / THE TOWN - FORTY SHILLINGS REWARD!" < 1475197026 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :That lining is all wrong. < 1475197220 0 :augur!~augur@noisebridge130.static.monkeybrains.net JOIN :#esoteric < 1475197557 0 :augur!~augur@noisebridge130.static.monkeybrains.net QUIT :Ping timeout: 244 seconds < 1475197868 0 :augur!~augur@noisebridge130.static.monkeybrains.net JOIN :#esoteric < 1475197874 0 :fizzie!?@? PRIVMSG #esoteric :shachaf: What, the matrix? < 1475197881 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Who? < 1475197886 0 :fizzie!?@? PRIVMSG #esoteric :Jacobian. < 1475197895 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Yes. < 1475197899 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Very mysterious. < 1475197907 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :16:48 In the Jacobian era. And yet Leibniz was only born decades later? < 1475197952 0 :fizzie!?@? PRIVMSG #esoteric :I didn't read that far back up. < 1475197969 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :i think the picture here has the right expression for your claim https://en.wikipedia.org/wiki/Carl_Gustav_Jacob_Jacobi < 1475198059 0 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :boily: hello < 1475198756 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :...wtf, doctors. You want BMI calculated as m/h^2, but you want us to just drop the units? seriously? < 1475198792 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :They say you calculate BMI with weight (kg) divided by height (m), but the result isn't given in kg/m^2 < 1475198793 0 :DHeadshot!~DHeadshot@82.2.190.177 JOIN :#esoteric < 1475199560 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :If dy/dx is the derivative of a function, can one do other derivatives? < 1475199576 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :hppavilion[1]: dy/dx is the derivative of y with respect to x < 1475199581 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :ais523: Yes < 1475199586 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :and in this case, y is defined as a function of x < 1475199602 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :for example, if y=x², then dy/dx = 2x < 1475199605 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :Like, if I have a function f(x, y, z) = o, I can do do/dx, do/dy, do/dz < 1475199618 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :you could also write that like this: d(x²)/dx = 2x < 1475199631 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :hppavilion[1]: in that case you have what's called partial derivatives < 1475199635 0 :boily!~alexandre@cable-192.222.252.9.electronicbox.net PRIVMSG #esoteric :quintopia: QUINTHELLOPIA. < 1475199674 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :ais523: But can I then do derivative in multiple dimensions? Probably something like f(x, z) = y, dy/dxdz or something? < 1475199687 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :(How do you even refer to slope in multiple dimensions?) < 1475199842 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :hppavilion[1]: you could do it at an angle, dy/d(x+z) < 1475199848 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :OK... < 1475199861 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :but slope in multiple dimensions is normally referred to using two different slopes < 1475199869 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :dy/dx and dy/dz in this case < 1475199952 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :ais523: Would dx/dy (for y = f x) mean the derivative of a function g x = 1/f x? < 1475199981 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :hppavilion[1]: depends on what you mean by "1/f"; it's the derivative of the inverse of f < 1475200016 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :ais523: 1/(f x) < 1475200019 0 :DHeadshot!~DHeadshot@82.2.190.177 PRIVMSG #esoteric :possibly f-1'(x)? < 1475200034 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :(I suddenly curried everything) < 1475200038 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :ais523: Did you see all my questions about Leibniz notation in here? < 1475200045 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Maybe you know the answers. < 1475200050 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :shachaf: no, but I'm not sure I could answer them < 1475200057 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :It sounds like you have the same answer to the first question that I did. < 1475200069 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :hppavilion[1]: the derivative of 1/(f x) is calculated quite differently < 1475200073 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :ais523: Oh < 1475200085 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Namely, when you write dy/dx, y is an expression with free variable x, and it means D(\x. y)(x) < 1475200097 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Where D : (R -> R) -> (R -> R) is the differentiation operator on functions. < 1475200118 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :ais523: I defined division of strings yesterday... < 1475200119 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :shachaf: I don't think of it like that at all, although it does seem correct < 1475200128 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Oh, then how do you think of it? < 1475200128 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :like, that's just a really alien point of view to me < 1475200134 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :shachaf: in terms of limits < 1475200144 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :One person I talked to insisted that the thing on top of dy/dx is a function, rather than an expression. < 1475200163 0 :DHeadshot!~DHeadshot@82.2.190.177 PRIVMSG #esoteric :Would dx/dy be basically f-1'(x) than or have I got that wrong? It's been years since I did all this in my first year of Uni... < 1475200176 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Well, sure. Df(x) = lim_{h->0}{ (f(x+h) - f(x)) / h } < 1475200178 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :DHeadshot: no, that's right < 1475200202 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :shachaf: I'll buy that < 1475200205 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :dx/dy = 1/(dy/dx) < 1475200205 0 :DHeadshot!~DHeadshot@82.2.190.177 PRIVMSG #esoteric :Thanks ais523 < 1475200223 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :the thing is I think of the dx and dy things as being deltas on x and y that are inherently self-limiting < 1475200251 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :This notation is obviously great because it works so well. < 1475200262 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :dy/du * du/dx = dy/dx, 1/(dy/dx) = dx/dy, etc. < 1475200271 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :shachaf: right, and the delta notation explains why it works < 1475200274 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :shachaf: I'm pretty sure d is just an abstract symbol; dy/dx = limit(λ k -> (y*k/x)/(k), approach=0) < 1475200281 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :If I'm reading Wikipedia right < 1475200297 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :And turning limit into a function anybody could ever understand < 1475200313 0 :DHeadshot!~DHeadshot@82.2.190.177 PRIVMSG #esoteric :I have seen delta-x/delta-y in some equations, though I forget why < 1475200332 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :like, the way I think about d is < 1475200337 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :you replace it with delta < 1475200347 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :then take a limit on the entire expression containing it in which you tend the deltas to 0 < 1475200365 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :ais523: What do you think of the thing people do where they have e.g.: x^2 + y^2 = 1; d(x^2 + y^2) = d(1); 2x dx + 2y dy = 0; dy/dx = -x/y < 1475200367 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :the fact that it has an effect on the containing expression means that it isn't quite a variable or something that can be manipulated in its own right < 1475200404 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :shachaf: it's fun when it works, but not necessarily worth memorizing the rules needed to know whether it will work or not < 1475200410 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :limit :: t → (t → u) → u < 1475200419 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :ais523: What are the rules? < 1475200431 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I don't know, I didn't memorize them < 1475200432 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :lim : (R -> R) -> (R -> R) < 1475200447 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :ais523: Everyone says these rules are ad-hoc. < 1475200458 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :shachaf: I think my version is better < 1475200460 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Well, physicists just use them. < 1475200466 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :well, I think there's a mathematical basis behind why it works < 1475200489 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :But they work so well that I think there has to be a good way of formalizing them. Even if dx is just a synthetic symbol or whatever. < 1475200499 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric : is the limit of (f x) as x goes to a < 1475200499 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :My L : (R -> R) -> (R -> R) is pretty good. < 1475200507 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :A function f is continous if Lf=f < 1475200516 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :shachaf: L is a continuiser? < 1475200518 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :shachaf: Mine doesn't require that you use the real numbers < 1475200531 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Neither does mine, if you come up with another structure that it works for. < 1475200543 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :OTOH, shachaf understands Calculus and I do not < 1475200551 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :But you need to constrain t and u somehow. < 1475200561 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :hppavilion[1]: it's not as hard as people think it is < 1475200563 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :...I searched Duck Duck Go for "limits". The first suggestion for meaning was in the BDSM sense < 1475200566 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Lf(x) is a function which behaves kind of like f but maybe differently. Except it might be extremely different. < 1475200570 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :at least, differential calculus < 1475200586 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :ais523: Anyway, the thing about x^2 + y^2 = 1 is that neither x nor y is a function of the other one. < 1475200597 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :But the derivative is still defined. < 1475200608 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :One way to make sense of that is to parameterize them both on some other variable t. < 1475200613 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :x=sin t, y=cos t < 1475200620 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :yes, that's a well-known trick < 1475200625 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :And then "dy" really means "dy/dt" and "dx" really means "dx/dt" < 1475200636 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :But the thing is that the value of dy/dx is independent of your parameterization. < 1475200646 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :it would have to be < 1475200651 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :So why should you have to say that it's parameterized in the first place? I just want a direct meaning of "d". < 1475200733 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :People also do other tricks. They write: dy/dx = Ky; dy/y = K dx; \Int{dy/y} = \Int{K dx}; log(y) + C = Kx + D < 1475200738 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :well, with the limits interpretation, dy/dx is perfectly meaningful here, so long as you can describe "a small change in x and y simultaneously while obeying the equation" < 1475200740 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :It almost always seems to work. < 1475200743 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :that's basically what t does < 1475200757 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :it allows you to describe how to change x and y while keeping the equation satisfied < 1475200768 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Another thing you can write is d(x^3)/d(x^2). So the thing on the bottom isn't even a variable. < 1475200781 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :there are other equations, such as cos(x)+sin(y)=2, which can't be perturbed while keeping the equation satisfied < 1475200793 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :so I suspect that equation isn't differentiable < 1475200809 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :what happens if you try the physicist trick on it? < 1475200831 0 :boily!~alexandre@cable-192.222.252.9.electronicbox.net QUIT :Quit: DECANTED CHICKEN < 1475200848 0 :DHeadshot!~DHeadshot@82.2.190.177 PRIVMSG #esoteric :This is all starting to get a bit "black-magic proofs"... < 1475200863 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :DHeadshot: right, we're busy debating if the proofs work or not and if so why < 1475200865 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :hmm, let's try it < 1475200869 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :cos(x)+sin(y)=2 < 1475200874 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :d cos(x) + d sin(y) = d 2 < 1475200886 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :cos(y) - sin (x) = 0 < 1475200891 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :dy/dx = sin(x)/cos(y) < 1475200898 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :You're missing the dx and dy < 1475200898 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :ais523: But if we define the division of two strings s and t s/t (where every character in t appears at least as many times in s- written tally(s) :≥ tally(t)) as- non-deterministically- any string that can be generated by removing the same number of occurrences of a character from the top string as appear in the bottom string < 1475200906 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :shachaf: ah right < 1475200907 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :s/But // < 1475200987 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :ais523: http://www.wolframalpha.com/input/?i=cos(x)%2Bsin(y)%3D2 is the graph of that function. < 1475201010 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :It doesn't look very interesting, so I'd expect its tangents aren't very interesting either. < 1475201013 0 :augur!~augur@noisebridge130.static.monkeybrains.net QUIT :Remote host closed the connection < 1475201035 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :But take cos(x)+sin(y)=0 instead. < 1475201035 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :shachaf: it's basically a grid of dots < 1475201055 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I did that intentionally, to make it impossible to usefully draw a tangent < 1475201058 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Ah, right. < 1475201093 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Points like (0,pi/2) < 1475201119 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :But note that the derivative dy/dx is independent of the value 2 here. < 1475201137 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :(There are certain special types of quotient; for example, a Simple Quotient of s/t is any string in the set of quotients of s/t that have the smallest edit distance using the Simple Distance metric (which allows nothing but insertion and deletion of arbitrary-length continuous blocks of text)) < 1475201158 0 :DHeadshot!~DHeadshot@82.2.190.177 PRIVMSG #esoteric :Graph isn't showing up for me? < 1475201161 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :shachaf: try cos(x)-cos(y)=0 < 1475201172 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :the tangents to that are really easy to define < 1475201186 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :however, changing the 0 to a different value changes them < 1475201190 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :(A Proper Quotient of s/t is only possible when t is a proper substring of s (and you just remove that substring), a Perfect Quotient is a Perfect Quotient where the substring is at the very end) < 1475201199 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :ais523: Right, but dy/dx is defined in terms of both x and y < 1475201206 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :oh right < 1475201211 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :that's a good point < 1475201212 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :So 'abcdefg'/'fg' = 'abcde', and that's a perfect quotient < 1475201222 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :ais523: Same thing for the circle: x^2+y^2=k has the same tangents no matter what the radius is, in terms of x and y. < 1475201247 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :ais523: Which makes dy/dx = -x/y a much better answer than something like dy/dx = -x/sqrt(1-x^2), which only works for one radius. < 1475201265 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :(And also it works for the whole circle rather than just the top half.) < 1475201267 0 :carado!~carado@2a01:e34:ec1e:2390:8341:b3f5:2d6:41fa QUIT :Ping timeout: 272 seconds < 1475201269 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :ais523: But my point is, with this needlessly convoluted system of string functions, can we start to play with dy/dx of y = f(x) when the function is f : String → String? < 1475201287 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :shachaf: the formula with sqrt also works for both halves :-P < 1475201299 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :hppavilion[1]: I'm not really interested in the topic, sorry < 1475201302 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Depending on what you mean by sqrt. < 1475201304 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :;/ < 1475201306 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :*:/ < 1475201368 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Anyway, dy/dx = sin(x)/cos(y), at (0,pi/2), is 0/0 < 1475201375 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :And the derivative is indeed not defined. < 1475201384 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :So it's not so bad. < 1475201466 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Er, no. < 1475201474 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Er, yes. < 1475201486 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric : ...OK, on second thought, the GoJ is terrible. <-- that didn't take long < 1475201499 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Oh, you wrote cos(x)+sin(y)=2 < 1475201505 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :That's why it wasn't working. < 1475201526 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :But when cos(x)+sin(y)=2, cos(y) will always be 0 < 1475201618 0 :augur!~augur@noisebridge130.static.monkeybrains.net JOIN :#esoteric < 1475201804 0 :DHeadshot!~DHeadshot@82.2.190.177 QUIT :Ping timeout: 244 seconds < 1475201857 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I have more things on this topic but I'm not sure whether ais523 isn't interested in either one. < 1475201863 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I'm curious about the "self-limiting" thing. < 1475201979 0 :Kaynato!~Aedile@cpe-174-100-169-144.neo.res.rr.com JOIN :#esoteric < 1475202013 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Last time I was wondering about how this worked for second derivatives. < 1475202043 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I'm fairly sure it does but am possibly too tired to figure out how < 1475202056 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I think you have to take a limit /of/ a limit < 1475202063 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :What do you think about the notation d^2y/dx^2? < 1475202073 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :which is why the d²y notation exists < 1475202082 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Right, I believe that d(dy) has a meaning. < 1475202088 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :But why do you divide by dx twice? < 1475202089 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :(specifically, it's d²y/(dx)²) < 1475202102 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :bleh, I can't remember < 1475202109 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :And in particular if you work it out, you get an extra term. < 1475202110 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I knew the reason once, and it was a good one < 1475202113 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I just can't remember what it was < 1475202124 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Which maybe should be 0 and maybe shouldn't? oerjan was saying something about it. < 1475202129 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Say you parameterize everything in terms of dt. < 1475202148 0 :Bowserinator!~Bowserina@unaffiliated/bowserinator PRIVMSG #esoteric :Question: what's this channel for? < 1475202152 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :So d(...) really means what people usually write as d(...)/dt < 1475202156 0 :Bowserinator!~Bowserina@unaffiliated/bowserinator PRIVMSG #esoteric :it's like ##programming ##math and ##english < 1475202158 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`welcome Bowserinator < 1475202159 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :Bowserinator: Welcome to the international hub for esoteric programming language design and deployment! For more information, check out our wiki: . (For the other kind of esoterica, try #esoteric on EFnet or DALnet.) < 1475202169 0 :Bowserinator!~Bowserina@unaffiliated/bowserinator PRIVMSG #esoteric :*clicks* < 1475202173 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :Bowserinator: notionally it's about esoteric programming languages < 1475202176 0 :Bowserinator!~Bowserina@unaffiliated/bowserinator PRIVMSG #esoteric :oh :) < 1475202179 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :but it tends to go offtopic a lot < 1475202181 0 :Bowserinator!~Bowserina@unaffiliated/bowserinator PRIVMSG #esoteric :I like this channel already < 1475202189 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I think Leibniz notation isn't really too far from esoteric languages. < 1475202201 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :right, the things we discuss are normally related to esolangs in some ways < 1475202209 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Recently I learned a new word, "exoteric", meaning the opposite of esoteric. < 1475202214 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :e.g. they're the result of applying an esolang frame of mind to something other than programming < 1475202221 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :English is an esoteric natural language, for example :-P < 1475202292 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :if you tried to design an esolang to work like English < 1475202301 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :admittedly you'd probably end up with Perl, which is not quite esoteric < 1475202317 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :(Larry Wall was a specialist on natural languages and used English as a model when creating Perl) < 1475202338 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :ais523: Anyway, I think you get: d(dy) = d(dy/dx)/dx^3 + (dy/dx) d(dx) < 1475202388 0 :jeffl35!jeffl@unaffiliated/jeffl35 PRIVMSG #esoteric :Bowserinator: ohai < 1475202396 0 :otherbot!~yaybot@unaffiliated/jeffl35/bot/jeffbot JOIN :#esoteric < 1475202401 0 :jeffl35!jeffl@unaffiliated/jeffl35 PRIVMSG #esoteric :my bot has too many interpreters < 1475202405 0 :jeffl35!jeffl@unaffiliated/jeffl35 PRIVMSG #esoteric :blame moonythedwarf < 1475202407 0 :jeffl35!jeffl@unaffiliated/jeffl35 PRIVMSG #esoteric :-list < 1475202407 0 :otherbot!~yaybot@unaffiliated/jeffl35/bot/jeffbot PRIVMSG #esoteric :jeffl35: echo ping pong eval flushq help list use store cash inv savecstate buy sell give kick ban unban op deop mode attack poke join part reload whois nick pyc pad pyr giac befr padclr lolr ><>r js rsc ul makeCmd userland rulc pnig < 1475202410 0 :jeffl35!jeffl@unaffiliated/jeffl35 PRIVMSG #esoteric :-pnig < 1475202410 0 :otherbot!~yaybot@unaffiliated/jeffl35/bot/jeffbot PRIVMSG #esoteric :LEARN TO TYPE!!!!!!!!!!!!!!!!11!11!!!!1!!! < 1475202412 0 :jeffl35!jeffl@unaffiliated/jeffl35 PRIVMSG #esoteric :lol < 1475202413 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :jeffl35: hackego has way more < 1475202424 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :ais523: So d^2y/dx^2 = d(dy/dx)/dx + (dy/dx) d^2x/dx^2 < 1475202428 0 :jeffl35!jeffl@unaffiliated/jeffl35 PRIVMSG #esoteric :ais523: yeah, probably, considering it's been in development for a few years < 1475202432 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :What's the meaning of that extra term? < 1475202439 0 :jeffl35!jeffl@unaffiliated/jeffl35 PRIVMSG #esoteric :ohb tw < 1475202443 0 :jeffl35!jeffl@unaffiliated/jeffl35 PRIVMSG #esoteric :otherbot has a cas! < 1475202447 0 :jeffl35!jeffl@unaffiliated/jeffl35 PRIVMSG #esoteric :-giac integrate() < 1475202448 0 :otherbot!~yaybot@unaffiliated/jeffl35/bot/jeffbot PRIVMSG #esoteric :Added 0 synonyms "integrate(NULL) Error: Bad Argument Value" // Time 0 // Total time 0 < 1475202455 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :jeffl35: the main bot in this channel for years was egobot < 1475202461 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :hackego has all its interpreters < 1475202462 0 :jeffl35!jeffl@unaffiliated/jeffl35 PRIVMSG #esoteric :yeah, ik < 1475202471 0 :jeffl35!jeffl@unaffiliated/jeffl35 PRIVMSG #esoteric :oh < 1475202473 0 :jeffl35!jeffl@unaffiliated/jeffl35 PRIVMSG #esoteric :read that wrong < 1475202479 0 :jeffl35!jeffl@unaffiliated/jeffl35 PRIVMSG #esoteric :lol < 1475202482 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :`! underload (test)S < 1475202483 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :test < 1475202488 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Wasn't bot spam supposed to go in #esoteric-blah, anyway? < 1475202494 0 :jeffl35!jeffl@unaffiliated/jeffl35 PRIVMSG #esoteric :-ul (test)S < 1475202494 0 :otherbot!~yaybot@unaffiliated/jeffl35/bot/jeffbot PRIVMSG #esoteric :​test < 1475202497 0 :jeffl35!jeffl@unaffiliated/jeffl35 PRIVMSG #esoteric ::D < 1475202505 0 :jeffl35!jeffl@unaffiliated/jeffl35 PRIVMSG #esoteric :shachaf: no idea < 1475202507 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :shachaf: #esoteric-blah is basically for anything that's particularly spammy that we don't want cluttering this channel < 1475202513 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :like pasting entire text files directly into IRC < 1475202513 0 :jeffl35!jeffl@unaffiliated/jeffl35 PRIVMSG #esoteric :like stack traces! < 1475202515 0 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover QUIT :Read error: Connection reset by peer < 1475202518 0 :jeffl35!jeffl@unaffiliated/jeffl35 PRIVMSG #esoteric :or that < 1475202530 0 :jeffl35!jeffl@unaffiliated/jeffl35 PRIVMSG #esoteric :my bot has a bad habit of outputting whole stack traces to irc when run on the wrong node.js version < 1475202545 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :its rules are very similar to #esoteric's except a) there's no rule against flooding (in fact, it's somewhat encouraged) and b) people hardly ever speak there unless a conversation gets moved there from here < 1475202569 0 :jeffl35!jeffl@unaffiliated/jeffl35 PRIVMSG #esoteric :-giac integrate(5x-4) < 1475202570 0 :otherbot!~yaybot@unaffiliated/jeffl35/bot/jeffbot PRIVMSG #esoteric :Added 0 synonyms 5*x^2/2-4*x // Time 0.01 // Total time 0.01 < 1475202574 0 :jeffl35!jeffl@unaffiliated/jeffl35 PRIVMSG #esoteric :well, there we go < 1475202586 0 :jeffl35!jeffl@unaffiliated/jeffl35 PRIVMSG #esoteric :-giac dxdy() < 1475202586 0 :otherbot!~yaybot@unaffiliated/jeffl35/bot/jeffbot PRIVMSG #esoteric :Help file /usr/share/giac/doc/local/aide_cas not found Added 0 synonyms dxdy // Time 0 // Total time 0 < 1475202596 0 :jeffl35!jeffl@unaffiliated/jeffl35 PRIVMSG #esoteric :definitely not a thing < 1475202603 0 :jeffl35!jeffl@unaffiliated/jeffl35 PRIVMSG #esoteric :-giac derivative() < 1475202603 0 :otherbot!~yaybot@unaffiliated/jeffl35/bot/jeffbot PRIVMSG #esoteric :// Maximum number of parallel threads 8 Help file /usr/share/giac/doc/local/aide_cas not found Added derivative < 1475202610 0 :jeffl35!jeffl@unaffiliated/jeffl35 PRIVMSG #esoteric :-giac derivative() < 1475202611 0 :otherbot!~yaybot@unaffiliated/jeffl35/bot/jeffbot PRIVMSG #esoteric :C.UTF-8 // /usr/share/locale/ // derivative < 1475202615 0 :jeffl35!jeffl@unaffiliated/jeffl35 PRIVMSG #esoteric :-giac derivative() < 1475202615 0 :otherbot!~yaybot@unaffiliated/jeffl35/bot/jeffbot PRIVMSG #esoteric :Added 0 synonyms derivative // Time 0 // Total time 0 < 1475202617 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :ais523: Is (dy/dx)^2 = dy^2/dx^2? < 1475202622 0 :jeffl35!jeffl@unaffiliated/jeffl35 PRIVMSG #esoteric :???????????????????????????????????? < 1475202639 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :shachaf: I think so < 1475202659 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oerjan was pointing out some counterexample a few days ago. < 1475202671 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Which led me to think that I wasn't sure about d^2x/dx^2 < 1475202680 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Should it be 0? < 1475202705 0 :augur!~augur@noisebridge130.static.monkeybrains.net QUIT :Read error: Connection reset by peer < 1475202773 0 :augur!~augur@noisebridge130.static.monkeybrains.net JOIN :#esoteric < 1475202788 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :shachaf: good point, second derivative of x is 0 < 1475202850 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :which means that you can't treat that like a normal division < 1475202851 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Say you parameterize it in t, so d means derivative with respect to t. x = t^2; d(dx) = 2; dx^2 = 4x^2; d^2x/dx^2 = 1/(2x^2) < 1475202874 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :So certainly it doesn't just naively work when you parameterize it like this. < 1475203111 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :If it's not normal division, what is it? < 1475203220 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Say everything is parameterized in t, dy/dx = u. That means dy = u dx, so d(dy) = du dx + u d(dx) < 1475203228 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Should that much be permitted? < 1475203278 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :ugh, I'm too tired to figure this out < 1475203283 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :also haven't had to calculus this much in years < 1475203291 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :@time ais523 < 1475203292 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :Local time for ais523 is Fri Sep 30 02:41:32 2016 < 1475203494 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net QUIT :Ping timeout: 264 seconds < 1475203559 0 :Akaibu!uid118096@gateway/web/irccloud.com/x-indowaqezzbmkyym QUIT : < 1475203687 0 :ais523!~ais523@unaffiliated/ais523 QUIT : < 1475203975 0 :super_bender!~bender@2404:e800:e61a:41d:f101:e3fe:525d:e7d8 JOIN :#esoteric < 1475204200 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :shachaf: i assumed this was what those extra terms in https://en.wikipedia.org/wiki/Differential_of_a_function#Higher-order_differentials were supposed to fix < 1475204218 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oerjan: Didn't we have a counterexample? < 1475204220 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :(for the x not the independent variable case) < 1475204252 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I mean, those extra terms were the same as the ones I had given before. < 1475204286 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :i'm pretty sure i was all quacked out at that point < 1475204294 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Ah, right. < 1475204351 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Let's see. < 1475204383 0 :super_bender!~bender@2404:e800:e61a:41d:f101:e3fe:525d:e7d8 QUIT :Ping timeout: 272 seconds < 1475204570 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I've forgotten the example. There were two of them. < 1475204690 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :i vaguely think my original example was based on assuming f''(x) = d^2 y / (dx)^2 held and getting a contradiction if dx is 0 because x = g(t) where g'(t) = 0. < 1475204773 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :OK, one example had x=t^2, y=t^3 < 1475204777 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Let me work through that again. < 1475204810 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :hm i suppose what happens with the expanded formula is that d^2 y does not determine f''(x) < 1475204837 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :f'' means d(dy/dx)/dx? < 1475204844 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Er, f''(x) < 1475204881 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :instead, when dx = 0, you get f'(x) = d^2 y / d^2 x. which looks like l'hôpital. < 1475204932 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :(vaguely) < 1475204942 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Hmm, there's an easier way of looking at it, I guess. If d(dy/dx)/dx = d(dy)/dx^2, then d(u/v) = d(u)/v, which is obviously not true in general. In general d(u/v) = (v du - u dv)/v^2 < 1475204962 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Which is equal to d(u)/v when dv = 0 < 1475204985 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :shachaf: oh, i still cannot get my head around trying to calculate second derivatives like d(dy/dx)/dx, because scope. < 1475204994 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oerjan: What? There's no scope issue there. < 1475205014 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :If y is an expression in x, y = x^2, then dy/dx is also an expression in x, dy/dx = 2x < 1475205056 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :OK, I guess what you're saying is that there might be confusing shadowing going on there. < 1475205064 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :yeah < 1475205075 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I'm hoping that that's not true but I can see the objection. < 1475205094 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :But I don't want to write f''(x), because y might not be a function of x < 1475205136 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :i think it might be worth avoiding explicit division. < 1475205167 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :OK. < 1475205175 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Well, you can do it with products too. < 1475205185 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Instead of dy/dx = u, write dy = u dx < 1475205205 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :that way, you won't divide by zeros < 1475205207 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Then d(dy) = du dx + u d(dx) < 1475205251 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :If you could divide by dx^2 here, you would get d(dy)/dx^2 = du/dx + du d(dx)/dx^2 < 1475205266 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :But that probably isn't necessary. < 1475205281 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :i think that's precisely the formula from wikipedia? < 1475205311 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Sure, except I wrote u instead of f'(x) < 1475205383 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Anyway: If dy = u dx, then d(dy) = du dx + u d(dx) < 1475205384 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Always true? < 1475205411 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :and we're allowed to replace du dx by f''(x) dx^2 assuming f''(x) exists, even if dx is 0 < 1475205438 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :But that one only makes sense if y is a function of x. < 1475205466 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :no, because the ordinary chain rule works for first derivatives < 1475205485 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Doesn't f only make sense if y = f(x)? < 1475205492 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :well yeah < 1475205504 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :that's the assumption in the formula. < 1475205506 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :That's why I was avoiding it. < 1475205545 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :but if it isn't, then i'm not sure dy = u dx is conceptually true < 1475205564 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Because y = f(t), x = g(t) < 1475205585 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :And dy/dt = u dx/dt < 1475205610 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :OK, I got the algebra wrong last time, I think. < 1475205622 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :ok, assuming dx/dt isn't 0 anywhere dy/dt isn't < 1475205651 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Sure. < 1475205667 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Say x=t^2, y=t^3. < 1475205670 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Then it works out. < 1475205672 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :or actually, if both are 0 you need l'hôpital again < 1475205686 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :d(dy) = 6t, du dx = 3t, u d(dx) = 3t < 1475205827 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oerjan: So it's sounding like it actually is the same scope? < 1475205877 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :yeah maybe < 1475205905 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :So the lesson here is that the notation d^2y/dx^2 is kind of broken. < 1475205932 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :In particular it only works when d^2x = 0? < 1475205943 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :But what does it mean for d^2x to be 0? < 1475205971 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :well it's true if x is the independent variable < 1475205979 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :What does that mean? < 1475205997 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :the one everything bottoms out as functions of < 1475205997 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I thought half the point of this notation was that you can just do these mafipulations on their own and they work. < 1475206013 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I'm trying to get a parameterization-free version of it. < 1475206030 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :and then you need the d^2 x term, i guess. < 1475206053 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I'm OK with that. < 1475206099 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :It's even useful to know: The usual second derivative expression d^2y/dx^2 off by (dy/dx) (d^2x/dx^2) < 1475206106 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :What's the meaning of that? < 1475206150 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I mean, that looks like an important expression, so where else does it come up? < 1475206297 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Say I just have some expressions or functions or whatever else. How do I decide whether d^2x = 0? < 1475206309 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :In differential geometry, d^2 = 0 always, right? Are these related? < 1475206328 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :differential geometry is antisymmetric, i don't think this is < 1475206342 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :As in dx dy = -dy dx? < 1475206344 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :*the forms of < 1475206390 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Maybe this is antisymmetric when you have multiple independent variables? < 1475206402 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :We've been making the assumptions that y and x are functions of the same thing. < 1475206476 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :On the other hand https://wikimedia.org/api/rest_v1/media/math/render/svg/ae52a2c75169e1884e87a001e385e94ce7164111 doesn't look very antisymmetric either... < 1475206500 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :i'm not sure what happens for second derivatives when you vary more than one independent variable, although there was some partial stuff in that wp section too < 1475206595 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :If dy = f'(x) dx, then dy dx = (f'(x) dx) dx and dx dy = dx (f'(x) dx) < 1475206640 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :And given that these things are linear, those should maybe be equal? < 1475206652 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :you'd think. < 1475206653 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I guess it depends on how you define the product. < 1475206755 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :https://en.wikipedia.org/wiki/Differential_form says the exterior derivative "extends the differential of a function" < 1475207043 0 :wanderman!~wanderman@unaffiliated/wanderman JOIN :#esoteric < 1475207094 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :oh well < 1475207560 0 :augur!~augur@noisebridge130.static.monkeybrains.net QUIT :Quit: Leaving... < 1475207981 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no QUIT :Quit: Nite < 1475208016 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`? oerjan < 1475208017 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. < 1475208043 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oerjan: whoa whoa whoa, did you slwd your own wisdom entry? < 1475208065 0 :Tefaj!?@? NICK :Jafet < 1475208213 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`emoclew Tefaj < 1475208215 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :​(.tenLAD ro tenFE no ciretose# yrt ,aciretose fo dnik rehto eht roF) . :ikiw ruo tuo kcehc ,noitamrofni erom roF !tnemyolped dna ngised egaugnal gnimmargorp ciretose rof buh lanoitanretni eht ot emocleW :jafeT < 1475208310 0 :wanderman!~wanderman@unaffiliated/wanderman QUIT :Quit: Leaving < 1475208555 0 :izalove!~izabera@unaffiliated/izabera PRIVMSG #esoteric :is 960x720 720p? < 1475208600 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :> 720 * 16/9 < 1475208602 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : 1280.0 < 1475208605 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :no hth < 1475208616 0 :izalove!~izabera@unaffiliated/izabera PRIVMSG #esoteric :then i feel cheated < 1475208646 0 :izalove!~izabera@unaffiliated/izabera PRIVMSG #esoteric :this torrent i just illegally downloaded was supposed to be evangelion in 720p but it's 960x720 < 1475208673 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :> 960/720 < 1475208675 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : 1.3333333333333333 < 1475208691 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :maybe it didn't claim to be 16:9 < 1475208703 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :i guess "4:3 720p" would be that < 1475208708 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :> 1280-960 < 1475208710 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : 320 < 1475208725 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :it's only off by a few pixels < 1475208757 0 :izalove!~izabera@unaffiliated/izabera PRIVMSG #esoteric :i'll ask for a full refund < 1475208972 0 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :fahcahellos < 1475208981 0 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :full refund? what nerv. < 1475209501 0 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :720p is literally "720 vertical lines, progressive" (as opposed to interlaced) < 1475209512 0 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :It could be just 1 pixel thick and still count < 1475209665 0 :FreeFull!~freefull@defocus/sausage-lover QUIT :Quit: Powering off < 1475209710 0 :izalove!~izabera@unaffiliated/izabera PRIVMSG #esoteric :that's why i couldn't get a refund < 1475210309 0 :tromp!~tromp@ool-944bc34f.dyn.optonline.net QUIT : < 1475213193 0 :`^_^v!~nycs@96.9.69.5 JOIN :#esoteric < 1475213539 0 :`^_^v!~nycs@96.9.69.5 QUIT :Quit: This computer has gone to sleep < 1475213580 0 :`^_^v!~nycs@96.9.69.5 JOIN :#esoteric < 1475213832 0 :`^_^v!~nycs@96.9.69.5 QUIT :Ping timeout: 244 seconds < 1475213918 0 :otherbot!~yaybot@unaffiliated/jeffl35/bot/jeffbot QUIT :Remote host closed the connection < 1475214164 0 :wanderman!~wanderman@unaffiliated/wanderman JOIN :#esoteric < 1475214438 0 :Kaynato!~Aedile@cpe-174-100-169-144.neo.res.rr.com QUIT :Ping timeout: 264 seconds < 1475215429 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net JOIN :#esoteric < 1475216417 0 :brandonson!~g8p8@thetis.ugrad.cs.ubc.ca QUIT :Read error: Connection reset by peer < 1475216694 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :Is it appropriate just to say n! = gamma(n+1) and be done with it? < 1475216856 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :For whom? < 1475218443 0 :Froo!~Frooxius@194.108.5.201 QUIT :Quit: *bubbles away* < 1475218464 0 :Frooxius!~Frooxius@194.108.5.201 JOIN :#esoteric < 1475219513 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :shachaf: Humans? < 1475219677 0 :wander___!~wanderman@unaffiliated/wanderman JOIN :#esoteric < 1475219849 0 :wanderman!~wanderman@unaffiliated/wanderman QUIT :Ping timeout: 272 seconds < 1475219897 0 :Elronnd!?@? NICK :radiohead < 1475219941 0 :radiohead!?@? NICK :Elronnd < 1475220454 0 :lifthrasiir!~lifthrasi@115.68.131.49 PRIVMSG #esoteric :hppavilion[1]: only when the audience has enough knowledge about gamma function < 1475220467 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :lifthrasiir: Well yeah < 1475221616 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Biota14]]4 10 02https://esolangs.org/w/index.php?diff=49824&oldid=30500 5* 03Martin Ender 5* (+19) 10 < 1475221673 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Quipu14]]4 10 02https://esolangs.org/w/index.php?diff=49825&oldid=45982 5* 03Martin Ender 5* (+39) 10 < 1475221739 0 :augur!~augur@c-24-7-90-158.hsd1.ca.comcast.net JOIN :#esoteric < 1475221740 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Marbelous14]]4 10 02https://esolangs.org/w/index.php?diff=49826&oldid=45195 5* 03Martin Ender 5* (+57) 10 < 1475222512 0 :wander___!~wanderman@unaffiliated/wanderman QUIT :Ping timeout: 244 seconds < 1475224128 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :I vote we make Abortion clinics (and anything associated with birth control) use a variant symbol of the Rod of Aesculapius that replaces the snake with a wire coathanger. Because I'm a bad person. < 1475224275 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Do you actually mean that you're a bad person? < 1475224313 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :If so, saying you're a bad person doesn't exempt you from any of the consequence of acting in a bad way. < 1475224325 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :shachaf: I know < 1475224333 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :shachaf: I thought the imagery was funny < 1475224355 0 :wanderman!~wanderman@unaffiliated/wanderman JOIN :#esoteric < 1475224485 0 :impomatic_!~digital_w@host86-144-16-251.range86-144.btcentralplus.com QUIT :Ping timeout: 272 seconds < 1475224720 0 :AnotherTest!~turingcom@d51a4bf3b.access.telenet.be JOIN :#esoteric < 1475224957 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Half-Broken Car in Heavy Traffic14]]4 10 02https://esolangs.org/w/index.php?diff=49827&oldid=35363 5* 03Martin Ender 5* (+57) 10 < 1475224968 0 :augur!~augur@c-24-7-90-158.hsd1.ca.comcast.net QUIT :Remote host closed the connection < 1475224996 0 :augur!~augur@c-24-7-90-158.hsd1.ca.comcast.net JOIN :#esoteric < 1475225253 0 :augur!~augur@c-24-7-90-158.hsd1.ca.comcast.net QUIT :Read error: Connection reset by peer < 1475225253 0 :augur!~augur@c-24-7-90-158.hsd1.ca.comcast.net JOIN :#esoteric < 1475225526 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net QUIT :Ping timeout: 264 seconds < 1475226528 0 :carado!~carado@bea44-1-78-193-226-57.fbxo.proxad.net JOIN :#esoteric < 1475227303 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07RUBE14]]4 10 02https://esolangs.org/w/index.php?diff=49828&oldid=33697 5* 03Martin Ender 5* (+39) 10 < 1475227388 0 :augur!~augur@c-24-7-90-158.hsd1.ca.comcast.net QUIT :Read error: Connection reset by peer < 1475227519 0 :augur!~augur@c-24-7-90-158.hsd1.ca.comcast.net JOIN :#esoteric < 1475228858 0 :`^_^v!~nycs@96.9.69.5 JOIN :#esoteric < 1475229920 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oerjan: So when people differentiate twice, they write (d/dx) . (d/dx) < 1475229932 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :(d/dx) really means (/dx) . d < 1475229948 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :So differentiating twice is (*1/dx) . d . (*1/dx) . d < 1475229996 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :If 1/dx is a constant, then the multiplication commutes with d. If not then you need to add an extra term. to account for how it changes. < 1475230040 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :((d^2/dx^2) means ((*1/x) . (*1/x) . d . d), of course.) < 1475230277 0 :augur!~augur@c-24-7-90-158.hsd1.ca.comcast.net QUIT :Remote host closed the connection < 1475230298 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :s=/x=/dx=g < 1475230314 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Er, yes. < 1475230386 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :and you're in somewhat murky territory (treating d as a separate operator), but I suppose you know that. < 1475230413 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Yes, see either conversation with ais523 a few hours ago or the conversation with oerjan a few days ago. < 1475230425 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :It's somewhat murky but I'm trying to figure out how d behaves in order to make it less murky. < 1475230440 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :In order to make it work I've been saying that x and y are both secretly defined in terms of t. < 1475230457 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :d(e) means what people would normally write as de/dt < 1475230484 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :And everything works pretty well, d(x^2) = 2x dx and so on. < 1475230557 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :But the second derivative of y in terms of x isn't d^2y/dx^2, it's d^2y/dx^2 - (dy/dx) d^2x/dx^2 < 1475230600 0 :DHeadshot!~DHeadshot@cpc88301-woki8-2-0-cust688.6-2.cable.virginm.net JOIN :#esoteric < 1475230645 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Or you can just say d(dy) = d(dy/dx) dx + (dy/dx) d(dx) < 1475230735 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Is it the case that (dy/dx)^2 = dy^2/dx^2? < 1475230840 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :If y is in terms of an independent variable x, (dy/dx)^2 = dy^2/dx^2, and the second derivative is d^2y/dx^2. So f''(x)/f'(x)^2 = d^2y/dy^2? < 1475230851 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :(Where y = f(x).) < 1475230874 0 :Taneb!~Taneb@2001:41c8:51:10d:feff:ff:fe00:316b PRIVMSG #esoteric :d(2x)/dx = 2; d((2x)^2)/d(x^2) = d(4x^2)/d(x^2) = 4 = 2^2 < 1475230876 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Does f''(x)/f'(x)^2 have a standard name? < 1475230899 0 :Taneb!~Taneb@2001:41c8:51:10d:feff:ff:fe00:316b PRIVMSG #esoteric :So, that's one black crow < 1475230906 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Taneb: ? < 1475230918 0 :Taneb!~Taneb@2001:41c8:51:10d:feff:ff:fe00:316b PRIVMSG #esoteric :shachaf, https://en.wikipedia.org/wiki/Raven_paradox < 1475230958 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I'm not following. Are you saying that there's a flaw or that what you just said is irrelevant? < 1475231014 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :d(4x^2)/d(x^2) is certainly 4. < 1475231038 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :d(4u)/du = 4 for any choice of u < 1475231065 0 :Taneb!~Taneb@2001:41c8:51:10d:feff:ff:fe00:316b PRIVMSG #esoteric :shachaf, I'm saying it's a tiiiiny bit of evidence that's ultimately useless < 1475231077 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Evidence of what? < 1475231095 0 :Taneb!~Taneb@2001:41c8:51:10d:feff:ff:fe00:316b PRIVMSG #esoteric : Is it the case that (dy/dx)^2 = dy^2/dx^2? < 1475231122 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :dx^2 means (dx)^2 < 1475231153 0 :Taneb!~Taneb@2001:41c8:51:10d:feff:ff:fe00:316b PRIVMSG #esoteric :Ah, I misinterpreted you < 1475231184 0 :Taneb!~Taneb@2001:41c8:51:10d:feff:ff:fe00:316b PRIVMSG #esoteric :This isn't something I know very well at all I'm afraid < 1475231263 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :The question I asked was kind of meaningless in itself. < 1475231301 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Taneb: Wait, didn't you invent D-modules? < 1475231319 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net JOIN :#esoteric < 1475231319 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :D-modules were the original tanebvention. < 1475231340 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Your name is right there on the Wikipedia page. < 1475231595 0 :Taneb!~Taneb@2001:41c8:51:10d:feff:ff:fe00:316b PRIVMSG #esoteric :shachaf, that was a long time ago, I'm very rusty < 1475231623 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oldneb < 1475231636 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Taneb: are you interested in the lentil stew i made in the pressure cooker today < 1475231672 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :this reminds me that I wanted to understand https://en.wikipedia.org/wiki/Local_ring a while ago... < 1475231692 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :(well, the concept, not necessarily the wikipedia page) < 1475231704 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :what about https://en.wikipedia.org/wiki/Web_ring < 1475231739 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :No I wasn't reminded of that at all until you brought it up. < 1475231777 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :webrings were kind of cute < 1475231797 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Oh, this seems interesting. < 1475231834 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I didn't know people talked about "local" behavior in purely algebraic structures like rings. < 1475232423 0 :wanderman!~wanderman@unaffiliated/wanderman QUIT :Quit: Leaving < 1475233337 0 :Frooxius!~Frooxius@194.108.5.201 QUIT :Quit: *bubbles away* < 1475233359 0 :Frooxius!~Frooxius@194.108.5.201 JOIN :#esoteric < 1475233383 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Say y=sin(x). Then d^2y/dy^2 = -tan(x)/cos(x)? < 1475233396 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I'm going to sleep. < 1475234345 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :http://orenwatson.be/hoi4uk.PNG < 1475234364 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :I think the uk has done well foer itself this time < 1475234381 0 :Taneb!~Taneb@2001:41c8:51:10d:feff:ff:fe00:316b PRIVMSG #esoteric :Very united < 1475234428 0 :Taneb!~Taneb@2001:41c8:51:10d:feff:ff:fe00:316b PRIVMSG #esoteric :I never got the hang of HOI4 < 1475234440 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :the trick is to use lots of nukes I find < 1475234460 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :annihilate anything even resembling industry < 1475234468 0 :Taneb!~Taneb@2001:41c8:51:10d:feff:ff:fe00:316b PRIVMSG #esoteric :Historically only two were used < 1475234515 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :I used uh... well, basically several on every city in continental europe... < 1475234538 0 :Taneb!~Taneb@2001:41c8:51:10d:feff:ff:fe00:316b PRIVMSG #esoteric :Could you use strategic bombing instead? < 1475234556 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :you can < 1475234568 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :but I used nuclear ballistic missiles < 1475234582 0 :Taneb!~Taneb@2001:41c8:51:10d:feff:ff:fe00:316b PRIVMSG #esoteric :That's a bit of a nuclear option, so to speak < 1475234593 0 :DHeadshot!~DHeadshot@cpc88301-woki8-2-0-cust688.6-2.cable.virginm.net QUIT :Ping timeout: 272 seconds < 1475234610 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :I also used them to soften up the maginot line for my advance into germany < 1475234701 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :hoi4 doesn't seem to model the problems resulting from driving a tank into a fallout zone mere hours after the nuke was used < 1475234725 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :not very realistic < 1475234731 0 :Taneb!~Taneb@2001:41c8:51:10d:feff:ff:fe00:316b PRIVMSG #esoteric :I suspect that if it did you'd be playing this somewhat differently < 1475234752 0 :Taneb!~Taneb@2001:41c8:51:10d:feff:ff:fe00:316b PRIVMSG #esoteric :Or at least not telling your tank drivers everything < 1475234890 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :Ooh, with all this territory, I can create various countries with stupid borders, causing hilarous problems. < 1475234916 0 :Deepfriedice!~Deepfried@110-174-193-155.static.tpgi.com.au JOIN :#esoteric < 1475234918 0 :Taneb!~Taneb@2001:41c8:51:10d:feff:ff:fe00:316b PRIVMSG #esoteric :Just like the UK did in real life! < 1475234930 0 :Taneb!~Taneb@2001:41c8:51:10d:feff:ff:fe00:316b PRIVMSG #esoteric :(who the hell thought East Pakistan was a good idea) < 1475234936 0 :Deepfriedice!~Deepfried@110-174-193-155.static.tpgi.com.au PART #esoteric : < 1475235019 0 :Taneb!~Taneb@2001:41c8:51:10d:feff:ff:fe00:316b PRIVMSG #esoteric :(and whatever happened in the middle east) < 1475235029 0 :Taneb!~Taneb@2001:41c8:51:10d:feff:ff:fe00:316b PRIVMSG #esoteric :My best game of HOI4 I think I was playing as Iran < 1475235039 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :I creared west germany. but its capital and only major city is Arad < 1475235063 0 :Taneb!~Taneb@2001:41c8:51:10d:feff:ff:fe00:316b PRIVMSG #esoteric :I went fascist and took most of the middle east that wasn't British or French < 1475235153 0 :Taneb!~Taneb@2001:41c8:51:10d:feff:ff:fe00:316b PRIVMSG #esoteric :Then I ended up at war with the Soviet Union and realised not having manpower could be an issue < 1475235407 0 :boily!~alexandre@192.222.252.9 JOIN :#esoteric < 1475235455 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :I know what I'll do. I'll try to fill up every building slot in my giant territory, then create a new set of european countries < 1475235474 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :then nuke the USA < 1475235592 0 :boily!~alexandre@192.222.252.9 PRIVMSG #esoteric :he\\oren\. < 1475235858 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net QUIT :Ping timeout: 264 seconds < 1475236280 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :boily: Hi < 1475236299 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :http://orenwatson.be/hoi4uk.PNG <-- here's where I'm at now < 1475236519 0 :boily!~alexandre@192.222.252.9 PRIVMSG #esoteric :that's a very big UK... < 1475236644 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :I may try to make it bigger by killing the USA < 1475236754 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net JOIN :#esoteric < 1475236972 0 :FireFly!znc@freenode/staff/firefly PRIVMSG #esoteric :United Kingdoms of Eurasia-Africa < 1475237735 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net QUIT :Read error: Connection reset by peer < 1475238242 0 :boily!~alexandre@192.222.252.9 QUIT :Quit: HEAVY CHICKEN < 1475239037 0 :izalove!~izabera@unaffiliated/izabera PRIVMSG #esoteric :i have 32 bytes. what's the best way rotate them right by 123? < 1475239471 0 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover JOIN :#esoteric < 1475239989 0 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :ror rax, 123 < 1475240217 0 :AnotherTest!~turingcom@d51a4bf3b.access.telenet.be QUIT :Ping timeout: 272 seconds < 1475240678 0 :`^_^v!~nycs@96.9.69.5 QUIT :Quit: This computer has gone to sleep < 1475241275 0 :`^_^v!~nycs@96.9.69.5 JOIN :#esoteric < 1475241417 0 :Kaynato!~Aedile@casewireless03.CWRU.Edu JOIN :#esoteric < 1475242710 0 :FreeFull!~freefull@defocus/sausage-lover JOIN :#esoteric < 1475242945 0 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :how do i celebrate the day i will be able to breath through my nose again? < 1475244305 0 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover QUIT :Ping timeout: 244 seconds < 1475245085 0 :moonythedwarf!~ubuntu@unaffiliated/moonythedwarf JOIN :#esoteric < 1475245089 0 :moonythedwarf!~ubuntu@unaffiliated/moonythedwarf PRIVMSG #esoteric :Boo < 1475245130 0 :`^_^v!~nycs@96.9.69.5 QUIT :Quit: This computer has gone to sleep < 1475245142 0 :`^_^v!~nycs@96.9.69.5 JOIN :#esoteric < 1475245187 0 :`^_^v!~nycs@96.9.69.5 QUIT :Client Quit < 1475245235 0 :Kaynato!~Aedile@casewireless03.CWRU.Edu QUIT :Ping timeout: 244 seconds < 1475246612 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no JOIN :#esoteric < 1475246976 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :@tell shachaf oerjan: whoa whoa whoa, did you slwd your own wisdom entry? <-- see `? overlord hth < 1475246976 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :Consider it noted. < 1475247337 0 :moonythedwarf!~ubuntu@unaffiliated/moonythedwarf PRIVMSG #esoteric :`? overlord < 1475247340 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :Evil overlords do evil acts like taking over the world, kicking puppies, and changing their own wisdom entries. < 1475247514 0 :Kaynato!~Aedile@casewireless03.CWRU.Edu JOIN :#esoteric < 1475247626 0 :moonythedwarf!~ubuntu@unaffiliated/moonythedwarf PRIVMSG #esoteric :`? lambdabot < 1475247627 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :lambdabot is a fully functional bot. just don't ask about @src. < 1475247632 0 :moonythedwarf!~ubuntu@unaffiliated/moonythedwarf PRIVMSG #esoteric :@src < 1475247632 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :src . Display the implementation of a standard function < 1475247636 0 :moonythedwarf!~ubuntu@unaffiliated/moonythedwarf PRIVMSG #esoteric :@src 1 < 1475247637 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :Source not found. My mind is going. I can feel it. < 1475247641 0 :moonythedwarf!~ubuntu@unaffiliated/moonythedwarf PRIVMSG #esoteric :@src list < 1475247641 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :Source not found. < 1475247645 0 :moonythedwarf!~ubuntu@unaffiliated/moonythedwarf PRIVMSG #esoteric :@src 2 < 1475247645 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :Source not found. Your mind just hasn't been the same since the electro-shock, has it? < 1475247649 0 :moonythedwarf!~ubuntu@unaffiliated/moonythedwarf PRIVMSG #esoteric :@src 3 < 1475247649 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :Source not found. You untyped fool! < 1475247652 0 :moonythedwarf!~ubuntu@unaffiliated/moonythedwarf PRIVMSG #esoteric :@src 4 < 1475247652 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :Source not found. BOB says: You seem to have forgotten your passwd, enter another! < 1475247657 0 :moonythedwarf!~ubuntu@unaffiliated/moonythedwarf PRIVMSG #esoteric :wat < 1475247664 0 :moonythedwarf!~ubuntu@unaffiliated/moonythedwarf PRIVMSG #esoteric :@src 4 < 1475247665 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :Source not found. Abort, Retry, Panic? < 1475247666 0 :moonythedwarf!~ubuntu@unaffiliated/moonythedwarf PRIVMSG #esoteric :@src 4 < 1475247666 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :Source not found. Listen, broccoli brains, I don't have time to listen to this trash. < 1475247670 0 :moonythedwarf!~ubuntu@unaffiliated/moonythedwarf PRIVMSG #esoteric :@src 4 < 1475247670 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :Source not found. My brain just exploded < 1475247671 0 :moonythedwarf!~ubuntu@unaffiliated/moonythedwarf PRIVMSG #esoteric :@src 4 < 1475247671 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :Source not found. Just what do you think you're doing Dave? < 1475247673 0 :moonythedwarf!~ubuntu@unaffiliated/moonythedwarf PRIVMSG #esoteric :@src 4 < 1475247673 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :Source not found. And you call yourself a Rocket Scientist! < 1475247675 0 :moonythedwarf!~ubuntu@unaffiliated/moonythedwarf PRIVMSG #esoteric :@src 4 < 1475247675 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :Source not found. Do you think like you type? < 1475247677 0 :moonythedwarf!~ubuntu@unaffiliated/moonythedwarf PRIVMSG #esoteric :@src 4 < 1475247677 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :Source not found. :( < 1475247678 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :why would you expect number literals to have sources < 1475247683 0 :moonythedwarf!~ubuntu@unaffiliated/moonythedwarf PRIVMSG #esoteric :Dunno < 1475247695 0 :moonythedwarf!~ubuntu@unaffiliated/moonythedwarf PRIVMSG #esoteric :@src > < 1475247695 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :x > y = case compare x y of < 1475247695 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : GT -> True < 1475247695 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : _ -> False < 1475247719 0 :moonythedwarf!~ubuntu@unaffiliated/moonythedwarf PRIVMSG #esoteric :oh thats for haskell things. ok < 1475247731 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :also, a certain fake einstein quote comes to mind. < 1475247810 0 :Caesura!~Aedile@casewireless03.CWRU.Edu JOIN :#esoteric < 1475247925 0 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover JOIN :#esoteric < 1475247927 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :hm, well actually lambdabot _did_ respond differently. < 1475247941 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :`quote insane < 1475247944 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :122) pikhq: it was fragrant with the scent of abomination. hear a speech declaring a holy war, is the man insane? some idiot missionary gets himself killed, some man writes some gibberish about the shape of a dragon, wonse?" \ 397) There's that saying that the definition of insanity is doing the same thing over and over again and < 1475247952 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :`quote 397 < 1475247955 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :397) There's that saying that the definition of insanity is doing the same thing over and over again and expecting different results. [...] You've just gave me a different result [...] It's always insane to expect different results, even when it's likely to occur. < 1475248007 0 :Kaynato!~Aedile@casewireless03.CWRU.Edu QUIT :Ping timeout: 272 seconds < 1475248348 0 :`^_^v!~nycs@96.9.69.5 JOIN :#esoteric < 1475248757 0 :AnotherTest!~turingcom@ptr-2hj4tbos9tbg50ebwxdcq425o.ip6.access.telenet.be JOIN :#esoteric < 1475248760 0 :wanderman!~wanderman@unaffiliated/wanderman JOIN :#esoteric < 1475249301 0 :izalove!~izabera@unaffiliated/izabera PRIVMSG #esoteric :myname: 32 bytes < 1475249945 0 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :eax < 1475249954 0 :Menphis!~textual@213.250.174.215 JOIN :#esoteric < 1475250242 0 :izalove!~izabera@unaffiliated/izabera PRIVMSG #esoteric :my eax isn't that large <.< < 1475250307 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :izalove: try xmm0 < 1475251482 0 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :izalove: how is your rax too large and your eax not large enough? < 1475251503 0 :izalove!~izabera@unaffiliated/izabera PRIVMSG #esoteric :rax isn't too large -.- < 1475251513 0 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :huh < 1475251523 0 :izalove!~izabera@unaffiliated/izabera PRIVMSG #esoteric :32 >>bytes<< < 1475251532 0 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :ah m( < 1475251538 0 :Taneb!~Taneb@2001:41c8:51:10d:feff:ff:fe00:316b PRIVMSG #esoteric :256 bits < 1475251620 0 :Taneb!~Taneb@2001:41c8:51:10d:feff:ff:fe00:316b PRIVMSG #esoteric :Would that I knew x86 to help :( < 1475251635 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :right, I should've suggested ymm0 < 1475251695 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :oh and they have zmmi as well... what will they use for 1024 bit registers? < 1475251715 0 :Taneb!~Taneb@2001:41c8:51:10d:feff:ff:fe00:316b PRIVMSG #esoteric :@djinn ((a -> b) -> c) -> a -> b -> c < 1475251716 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :f a _ b = a (\ _ -> b) < 1475251735 0 :izalove!~izabera@unaffiliated/izabera PRIVMSG #esoteric :int-e: ammi < 1475251738 0 :FireFly!znc@freenode/staff/firefly PRIVMSG #esoteric :int-e: wmmi? < 1475251747 0 :Menphis!~textual@213.250.174.215 QUIT :Quit: My iMac has gone to sleep. ZZZzzz… < 1475251747 0 :FireFly!znc@freenode/staff/firefly PRIVMSG #esoteric :following the x,y,z,w convention for 4D coordinates < 1475251755 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :> succ 'z' < 1475251757 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : '{' < 1475251766 0 :izalove!~izabera@unaffiliated/izabera PRIVMSG #esoteric :{mmi ok < 1475251783 0 :FireFly!znc@freenode/staff/firefly PRIVMSG #esoteric :|mmi }mmi ~mmi DELmmi < 1475251937 0 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :interesting... i cannot smell yet but i can somehow "taste" that the tissues i use have some kind of balsam herbs in them < 1475252066 0 :moonythedwarf!~ubuntu@unaffiliated/moonythedwarf PRIVMSG #esoteric :
ACTION is still trying to figure out how to make and present proof of turing completeness for gravbox (https://esolangs.org/wiki/Gravbox)
< 1475252114 0 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :you should put urls in <> rather than () < 1475252120 0 :moonythedwarf!~ubuntu@unaffiliated/moonythedwarf PRIVMSG #esoteric :kk < 1475252143 0 :izalove!~izabera@unaffiliated/izabera PRIVMSG #esoteric :template your urls < 1475252179 0 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :x> is the official(tm) way to do that < 1475252196 0 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :most software recognizes that and does not make the > as part of the link < 1475252212 0 :Taneb!~Taneb@2001:41c8:51:10d:feff:ff:fe00:316b PRIVMSG #esoteric :@djinn a -> (b -> c) -> (a -> b) -> c < 1475252212 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :f a b c = b (c a) < 1475252215 0 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :the ) however will be made part of the link somewhere < 1475252216 0 :moonythedwarf!~ubuntu@unaffiliated/moonythedwarf PRIVMSG #esoteric :oerjan suggusted fractran, but managing the value might be a issue, any better lanugage to use to prove turing completeness? < 1475252272 0 :moonythedwarf!~ubuntu@unaffiliated/moonythedwarf PRIVMSG #esoteric : <<< there < 1475252279 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :what's hard about managing the value, just keep it on top of the stack < 1475252298 0 :moonythedwarf!~ubuntu@unaffiliated/moonythedwarf PRIVMSG #esoteric :oh true enough. ais was confusing me there < 1475252360 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :ais idea is if you want to avoid bignums < 1475252399 0 :moonythedwarf!~ubuntu@unaffiliated/moonythedwarf PRIVMSG #esoteric :ah < 1475252422 0 :moonythedwarf!~ubuntu@unaffiliated/moonythedwarf PRIVMSG #esoteric :well i _dont_ want to. *me goes off to translatea fractran program to gravbox < 1475252503 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :what happens on division by 0? < 1475252521 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :shouldn't be an issue with a normal fractran program < 1475252537 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Gravbox14]]4 M10 02https://esolangs.org/w/index.php?diff=49829&oldid=49822 5* 03Moon 5* (+103) 10Minor instruction change < 1475252553 0 :moonythedwarf!~ubuntu@unaffiliated/moonythedwarf PRIVMSG #esoteric :int-e: depends on interp sadly, most likely a error < 1475252624 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :moonythedwarf: that's not minor, now you have a full queue i think < 1475252670 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :unless you don't actually remove the original second to bottom, in which case it just became useless. < 1475252707 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :moonythedwarf: also, this will be much more awkward to use when you _do_ want to manipulate as a stack. < 1475252778 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :also that phrasing is pretty confusing. < 1475252796 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :speaking of confusing phrasing, what does "divide from" mean? < 1475252853 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :yeah there are also plenty of commands that don't say whether they delete their arguments < 1475252876 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :although it would be pretty awkward if they didn't < 1475252960 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :
ACTION recommends forthy stack notation. see e.g. Underload or Glass pages.
< 1475253033 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Gravbox14]]4 M10 02https://esolangs.org/w/index.php?diff=49830&oldid=49829 5* 03Moon 5* (-106) 10 < 1475253128 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :so basically you have *one* scratch register now < 1475253137 0 :AnotherTest!~turingcom@ptr-2hj4tbos9tbg50ebwxdcq425o.ip6.access.telenet.be QUIT :Ping timeout: 272 seconds < 1475253208 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :looks like it. < 1475253250 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :now if we could somehow pop a value without any other effect that could be used to swap the top two elements of the stack, hmm < 1475253264 0 :Caesura!~Aedile@casewireless03.CWRU.Edu QUIT :Ping timeout: 244 seconds < 1475253269 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :0*+ does that < 1475253277 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Gravbox14]]4 M10 02https://esolangs.org/w/index.php?diff=49831&oldid=49830 5* 03Moon 5* (+3) 10 < 1475253313 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :int-e: ^ < 1475253317 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :ah. so :0*+:^: < 1475253343 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :oh actually there's a % command < 1475253346 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :oh now it's back. < 1475253363 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :ah. so :%:^: then < 1475253374 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :(but : has just changed once again) < 1475253403 0 :moonythedwarf!~ubuntu@unaffiliated/moonythedwarf PRIVMSG #esoteric :oerjan: you pointed out a way for me to cut out % :P now its gone because you pointed out a alternative, or should i keep it < 1475253411 0 :moonythedwarf!~ubuntu@unaffiliated/moonythedwarf PRIVMSG #esoteric :because 0*+ makes it into a wimpmode < 1475253424 0 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :you don't have to be as minimal as possible < 1475253431 0 :moonythedwarf!~ubuntu@unaffiliated/moonythedwarf PRIVMSG #esoteric :true enough. < 1475253439 0 :moonythedwarf!~ubuntu@unaffiliated/moonythedwarf PRIVMSG #esoteric :afk < 1475253461 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :moonythedwarf: well technically 0*+ only works if there's at least two stack elements to start with < 1475253512 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :but in the context where one treats the bottom element of the stack as a scratch register that's true already, so it was perfectly in line with what I needed < 1475253524 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :moonythedwarf: also, int-e pointed out how to implement the top 2 swap using the top and bottom swap < 1475253530 0 :AnotherTest!~turingcom@ptr-2hj4tbos9tbg50ebwxdcq425o.ip6.access.telenet.be JOIN :#esoteric < 1475253533 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :or wanted... I don't really need any of this. < 1475253592 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Gravbox14]]4 M10 02https://esolangs.org/w/index.php?diff=49832&oldid=49831 5* 03Moon 5* (-3) 10Reverted < 1475253675 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :int-e: i don't think your :0*+:^: can be right because it deletes the bottom of the stack < 1475253698 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :oerjan: it's a scratch register < 1475253705 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric ::-P < 1475253741 0 :DHeadshot!~DHeadshot@cpc88301-woki8-2-0-cust688.6-2.cable.virginm.net JOIN :#esoteric < 1475253744 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :(My idea was to just not use the bottom of the stack for anything besides temporary storage.) < 1475253767 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :ok < 1475253791 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :but yes, I could've mentioned that. < 1475255565 0 :moonythedwarf!~ubuntu@unaffiliated/moonythedwarf PRIVMSG #esoteric :back < 1475256488 0 :DHeadshot!~DHeadshot@cpc88301-woki8-2-0-cust688.6-2.cable.virginm.net QUIT :Ping timeout: 244 seconds < 1475256693 0 :Caesura!~Aedile@casewireless09.cwru.edu JOIN :#esoteric < 1475258217 0 :DHeadshot!~DHeadshot@cpc88301-woki8-2-0-cust688.6-2.cable.virginm.net JOIN :#esoteric < 1475259380 0 :wanderman!~wanderman@unaffiliated/wanderman QUIT :Quit: Leaving < 1475259434 0 :Zoroaster!~Aedile@casewireless09.cwru.edu JOIN :#esoteric < 1475259654 0 :Caesura!~Aedile@casewireless09.cwru.edu QUIT :Ping timeout: 264 seconds < 1475259901 0 :AnotherTest!~turingcom@ptr-2hj4tbos9tbg50ebwxdcq425o.ip6.access.telenet.be QUIT :Ping timeout: 272 seconds < 1475259916 0 :AnotherTest!~turingcom@d51A4BF3B.access.telenet.be JOIN :#esoteric < 1475260710 0 :newsham!~chat@udp217044uds.hawaiiantel.net JOIN :#esoteric < 1475261449 0 :LKoen!~LKoen@vbo91-1-82-238-218-67.fbx.proxad.net JOIN :#esoteric < 1475261989 0 :augur!~augur@c-24-7-90-158.hsd1.ca.comcast.net JOIN :#esoteric < 1475262498 0 :augur!~augur@c-24-7-90-158.hsd1.ca.comcast.net QUIT :Ping timeout: 264 seconds < 1475262506 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no QUIT :Quit: Later < 1475263017 0 :augur!~augur@2601:645:8100:c347:9ce4:564f:13ba:f5db JOIN :#esoteric < 1475264146 0 :`^_^v!~nycs@96.9.69.5 QUIT :Quit: This computer has gone to sleep < 1475264157 0 :augur!~augur@2601:645:8100:c347:9ce4:564f:13ba:f5db QUIT :Ping timeout: 272 seconds < 1475264188 0 :augur!~augur@c-24-7-90-158.hsd1.ca.comcast.net JOIN :#esoteric < 1475264842 0 :Menphis!~textual@213.250.174.215 JOIN :#esoteric < 1475265559 0 :Bowserinator!~Bowserina@unaffiliated/bowserinator QUIT :Remote host closed the connection < 1475265571 0 :Bowserinator!~Bowserina@vps.wolfy1339.com JOIN :#esoteric < 1475265924 0 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover QUIT :Read error: Connection reset by peer < 1475266986 0 :Reece`!~Ner@host-92-13-207-71.as43234.net JOIN :#esoteric < 1475267501 0 :Cale!~cale@2607:fea8:9840:324:4156:671f:5489:d611 QUIT :Ping timeout: 272 seconds < 1475267819 0 :zzo38!~zzo38@24-207-15-88.eastlink.ca JOIN :#esoteric < 1475268218 0 :Cale!~cale@2607:fea8:9840:324:bdc1:6279:7a41:aaf7 JOIN :#esoteric < 1475269330 0 :Bowserinator!~Bowserina@vps.wolfy1339.com QUIT :Changing host < 1475269330 0 :Bowserinator!~Bowserina@unaffiliated/bowserinator JOIN :#esoteric < 1475269342 0 :nitrix!?@? NICK :MeMyselfAndI < 1475269381 0 :MeMyselfAndI!?@? NICK :nitrix < 1475269461 0 :zzo38!~zzo38@24-207-15-88.eastlink.ca PRIVMSG #esoteric :In the rule update bulletin for Magic: the Gathering, they mention that the first card that created any tokens did use the term "create", although they changed it and now they changed it back to "create". < 1475269525 0 :zzo38!~zzo38@24-207-15-88.eastlink.ca PRIVMSG #esoteric :?messages-loud < 1475269525 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :boily asked 4d 19h 58m 4s ago: hezzo38. are you unprovable? < 1475269526 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :wob_jonas said 4d 59m 1s ago: You know that Agner Fog's calling conventions manual http://www.agner.org/optimize/#manual_call_conv describes most of the details of the schemes used by popular C++ < 1475269526 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :compilers, right? In theory that allows you to call C++ functions, but \ < 1475269526 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :wob_jonas said 4d 58m 43s ago: it doesn't allow you to access a lot of structures defined by the C++ standard library, because the ABI for that is decided not by the mangling, but by the struct < 1475269526 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :declarations, inline function definitions, and other declarations and macro definitions in the headers, and Agner's manual doesn't describe that because it would be almost imp < 1475269527 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :shachaf said 3d 9h 32m 40s ago: https://en.wikipedia.org/wiki/Differential_of_a_function#Higher-order_differentials < 1475269564 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :zzo38: As that page points out, d^2y/dx^2 = d(dy/dx)/dx + (dy/dx) d^2x/dx^2 < 1475269610 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Or just d^2y = d(dy/dx) dx + (dy/dx) d^2x < 1475269613 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Or something. < 1475269675 0 :zzo38!~zzo38@24-207-15-88.eastlink.ca PRIVMSG #esoteric :Yes I did read that now < 1475269742 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Do you like that? < 1475269767 0 :zzo38!~zzo38@24-207-15-88.eastlink.ca PRIVMSG #esoteric :Yes, OK now I can understand better < 1475269931 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :You can? < 1475269944 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :How can you tell whether d^2x = 0? < 1475269955 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Is (dy/dx)^2 = (dy^2/dx^2)? < 1475270001 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Say d^2x = 0. Then (d^2y/dx^2)/((dy/dx)^2) = (d^2y/dx^2)/(dy^2/dx^2) = d^2y/dy^2? < 1475270029 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :If y = f(x), then d^2y/dy^2 would be f''(x)/f'(x)^2? < 1475270066 0 :DHeadshot!~DHeadshot@cpc88301-woki8-2-0-cust688.6-2.cable.virginm.net QUIT :Ping timeout: 244 seconds < 1475270891 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.” < 1475271326 0 :Caesura!~Aedile@casewireless09.cwru.edu JOIN :#esoteric < 1475271523 0 :Zoroaster!~Aedile@casewireless09.cwru.edu QUIT :Ping timeout: 244 seconds < 1475271945 0 :ais523!~ais523@unaffiliated/ais523 JOIN :#esoteric < 1475272546 0 :DHeadshot!~DHeadshot@cpc88301-woki8-2-0-cust688.6-2.cable.virginm.net JOIN :#esoteric < 1475273794 0 :AnotherTest!~turingcom@d51A4BF3B.access.telenet.be QUIT :Quit: ZNC - http://znc.in < 1475273802 0 :heroux!sandroco@gateway/shell/insomnia247/x-kryojcdmxyydwudd QUIT :Ping timeout: 264 seconds < 1475274402 0 :Zarutian!~zarutian@168-110-22-46.fiber.hringdu.is JOIN :#esoteric < 1475274432 0 :Zarutian!~zarutian@168-110-22-46.fiber.hringdu.is QUIT :Read error: Connection reset by peer < 1475274445 0 :Zarutian!~zarutian@168-110-22-46.fiber.hringdu.is JOIN :#esoteric < 1475274597 0 :heroux!~heroux@gateway/shell/insomnia247/x-tazphjsoslqdrdra JOIN :#esoteric < 1475275761 0 :boily!~alexandre@cable-192.222.252.9.electronicbox.net JOIN :#esoteric < 1475275863 0 :Caesura!~Aedile@casewireless09.cwru.edu QUIT :Ping timeout: 244 seconds < 1475276059 0 :Caesura!~Aedile@casewireless02.CWRU.Edu JOIN :#esoteric < 1475276122 0 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover JOIN :#esoteric < 1475276202 0 :boily!~alexandre@cable-192.222.252.9.electronicbox.net PRIVMSG #esoteric :`wisdom < 1475276211 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :obell//The obell is what we ring each time a new strip of the o webcomic is published. < 1475276288 0 :zzo38!~zzo38@24-207-15-88.eastlink.ca PRIVMSG #esoteric :When at library recently I have read book about GURPS; there is a lot of stuff there, but some things it doesn't seems to say such as about defining a group of powers that share the number of limited use per day, or limited number of uses per day of an attack that only expends a usage if the attack hits, or for an advantage or disadvantage to enable, disable, or alter another advantage or disadvantage < 1475276303 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`learn OL stands for Original Lyrics. A person who sings songs unmodified is called an OList. < 1475276309 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :Learned 'ol': OL stands for Original Lyrics. A person who sings songs unmodified is called an OList. < 1475276360 0 :boily!~alexandre@cable-192.222.252.9.electronicbox.net PRIVMSG #esoteric :I like GURPS. it has Montréal as a city-state ^^ < 1475278730 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no JOIN :#esoteric < 1475278768 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :`date < 1475278770 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :Fri Sep 30 22:39:17 UTC 2016 < 1475278787 0 :heroux!~heroux@gateway/shell/insomnia247/x-tazphjsoslqdrdra QUIT :Ping timeout: 272 seconds < 1475278813 0 :heroux!sandroco@gateway/shell/insomnia247/x-uejmfwjqpbcqnyab JOIN :#esoteric < 1475278838 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :The Year of Our Lord Two Thousand Sixteen < 1475278861 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :shachaf: i am eagerly looking forward to my time of lordship hth < 1475278880 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :that would be The Year of Our Overlord < 1475278889 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :`? oerjan < 1475278891 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. < 1475278897 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :shachaf: just the month, for now. < 1475278914 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oh, right < 1475278924 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :The Month of Our Lord October < 1475278932 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`? password of the month < 1475278933 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :password of the month? ¯\(°​_o)/¯ < 1475278939 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`? password < 1475278942 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :The password of the month is au cœur de septembre < 1475278947 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :PRAY THAT I DON'T MAKE IT A RED ONE < 1475278960 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :red? < 1475278967 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :a 4red one < 1475278973 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :by all means go ahead... < 1475278982 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :shachaf: changing it before the month starts by HackEgo's time is scow, of course. < 1475278988 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :agreed < 1475278994 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :it'll just make me even more glad that I'm filtering colors. < 1475279033 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`learn The password of the month is 04j08o09h11a12n13s04e08n < 1475279171 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net JOIN :#esoteric < 1475279188 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :hmm, what now? < 1475279191 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :`learn_append int-e Hen gillar inte färger. < 1475279195 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :Learned 'int-e': int-e är inte svensk. Hen kommer att spränga solen. Hen står för sig själv. Hen gillar inte färger. < 1475279239 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :
ACTION is pleased to have spelled that correctly before checking
< 1475279262 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :hmm, "he does not approve of colors"? < 1475279273 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :or just "like"? < 1475279328 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Hen kommer att spränga solen? < 1475279329 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :mostly the latter < 1475279349 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :heute die Welt, morgen das Sonnensystem < 1475279362 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :`? password < 1475279364 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :The password of the month is au cœur de septembre < 1475279410 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :`cwlprits password < 1475279418 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :fizzie evilipse oerjan oerjan oerjan oerjan oerjan oerjan gamemanj int-e oerjan int-e oerjan mroman oerjan oerjan oerjan mroman_ < 1475279482 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :i was not aware of the approve meaning. i have a hunch it might be archaic or very formal. any swedes who can tell? < 1475279490 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :What would a binary absolute value be like... < 1475279495 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :Is there anything even remotely like that? < 1475279502 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :The same as the regular one. < 1475279504 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :(binary as in arity, not as in base) < 1475279539 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :sounds unintuitive. < 1475279574 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :So you mean dyadic rather than monadic. < 1475279577 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :although if you want a real number result, that's just a "norm". < 1475279579 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :Yes < 1475279590 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :oerjan: It does, but if there's anything remotely like it it'd be nice. < 1475279624 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :then you would interpret the two arguments as a point in the plane. < 1475279659 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :euclidean norm is pretty common, and the same as complex absolute value. < 1475279666 0 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :Gonwild is a place for closed, Euclidean Geometric shapes to exchange their nth terms for karma; showing off their edges in a comfortable environment without pressure. < 1475279669 0 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :lmao < 1475279683 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :lmabo < 1475279734 0 :Menphis!~textual@213.250.174.215 QUIT :Quit: My iMac has gone to sleep. ZZZzzz… < 1475279779 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :I suppose it could be a sort of... relative value? a||b is the distance of a from b without sign? < 1475279792 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :(making |a| equal to a||0) < 1475279802 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :"relative" doesn't sound right though... < 1475279807 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :just check what apl does < 1475279845 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :Good point... < 1475279859 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :APL defines ∣B to be absolute value, and A∣B to be residue: B modulo A < 1475279887 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :hppavilion[1]: well that's just abs(b-a) < 1475279901 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :oerjan: Well yea < 1475279902 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :*yes < 1475279908 0 :boily!~alexandre@cable-192.222.252.9.electronicbox.net PRIVMSG #esoteric :olsner: hellolsner. are you the Only Swede? < 1475279915 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :helloily < 1475279919 0 :boily!~alexandre@cable-192.222.252.9.electronicbox.net PRIVMSG #esoteric :hellørjan. < 1475279919 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :It doesn't matter how trivial of a difference it is; a-b is just a+(-b) < 1475279922 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :ahoily < 1475279926 0 :boily!~alexandre@cable-192.222.252.9.electronicbox.net PRIVMSG #esoteric :hppavellon[1]. < 1475279931 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :there's also FireFly < 1475279938 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :http://tunes.org/~nef/logs/esoteric/16.03.14 has context for the sun thing (13:51:25 ff.) < 1475279941 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :(Though whether a-b or -n came first is debatable...) < 1475279945 0 :boily!~alexandre@cable-192.222.252.9.electronicbox.net PRIVMSG #esoteric :Firellofly. are you Both Swede? < 1475279951 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :oerjan: what about FireFly? < 1475279955 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :(I had to remind myself) < 1475279962 0 :FireFly!znc@freenode/staff/firefly PRIVMSG #esoteric :I think so < 1475279965 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :hppavilion[1]: he's doing a lot of sweding < 1475279969 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :Ah < 1475279974 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :Right < 1475279987 0 :FireFly!znc@freenode/staff/firefly PRIVMSG #esoteric :oerjan: how sweed of me? < 1475279997 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :FireFly: do you know if the "approve of" meaning of "gilla" is used in ordinary swedish?